現況分析模型，非可部署流程。泳道代表業務權責；順序流不等於同步呼叫或單一交易。詳見 process-spec.md。 Event_Demand Task_Register Gateway_RetryMerge Rule_Allocate Gateway_Enough Task_Commit Event_Assigned Task_Wait Gateway_Active Event_Cancelled Flow_DemandToRegister StockOperation 與全部 StockMove；CONFIRMED。 Flow_DemandToRegister Flow_RegisterToRetryMerge Flow_RegisterToRetryMerge Flow_ActiveToRetryMerge Flow_RetryMergeToAllocate 業務配貨規則。owner、facility、SKU 隔離；同 SKU 加總、SHIP_COMPLETE、FEFO、需求排序。 Flow_RetryMergeToAllocate Flow_AllocateToEnough Flow_AllocateToEnough Flow_EnoughToCommit Flow_EnoughToWait allocationPossible 成功一次預留全部明細；併發衝突 rollback/retry，不留部分承諾。 Flow_EnoughToCommit Flow_CommitToAssigned ASSIGNED；發布 allocation fact，Ordering 另更新 ALLOCATED。 Flow_CommitToAssigned CONFIRMED；可用量增加、前單釋放或 reconciliation 再評估。此為持久化等待的分析抽象。沒有自動逾時取消。 Flow_EnoughToWait Flow_WaitToActive Flow_WaitToActive Flow_ActiveToRetryMerge Flow_ActiveToCancelled demandCancelled 只有確認取消才結束等待；見圖 04、06。 Flow_ActiveToCancelled