現況分析模型，非可部署流程。泳道代表業務權責；順序流不等於同步呼叫或單一交易。詳見 process-spec.md。 Event_Receipt Task_Check Gateway_Request Task_Receive Event_Received Event_Replay Event_Bad Flow_ReceiptToCheck receiptId、owner、facility、internal location、SKU、數量與日期；相同 receiptId 比對 payload。 Flow_ReceiptToCheck Flow_CheckToRequest Flow_CheckToRequest Flow_RequestToReceive Flow_RequestToReplay Flow_RequestToBad newValidRequest identicalSuccessfulReplay 同一交易：去重、inbound operation/move/line、onHand 增加及 availability Outbox。 Flow_RequestToReceive Flow_ReceiveToReceived Flow_ReceiveToReceived Flow_RequestToReplay 不合法 400；receiptId 不同 payload 409。技術失敗 rollback，不等於業務拒絕。 Flow_RequestToBad