DM-04｜供给、质量与追溯领域模型

状态：working-draft；候选模型，不是已锁定的结构或状态契约。
上游：BC-04；输入：旧聚合材料（历史材料保留在 docs_bak/）。
编写：主会话；业务决策与长期维护人：待指定。日期：2026-09-18。

1. 对象分类与候选聚合

“候选根”表示需要独立身份、生命周期及一致性责任的提案，不代表每行已经确定为一个事务。历史、子实体、值对象及集合的最终边界还需基于规模和不变量核对。

2. 关系与引用

接收关联批次与物料；分配关联目标和 Lot；转换引用多个输入输出；账本行引用业务操作；包裹由 Fulfillment 拥有，Supply 只拥有 Lot 绑定边及追溯事实。Location/Bin 不进入本稿。

值对象及共享引用的统一含义见 MODELING-RULES。上下文之间引用 ID、版本或不可变快照，不共享可变实体。

3. 生命周期

质量：待判断 → 放行或隔离，解除必须有新决定；分配：有效 → 消耗或释放；转换：待确认 → 接受或拒绝；召回独立跟踪传播和处置，不靠单个批次状态表达全链完成。

这些是语义级路径，尚未列全每种政策下的迁移；不能直接生成生产枚举。业务对象状态、协调进度和技术回执分别保存与展示。

4. 业务动作与事件

授权质量人员接受证据并判断；履约流程请求分配、转换与绑定；公开查询只消费已发布摘要。事件候选：“批次已隔离”“物料已分配”“转换已接受”“包裹物料关系已建立”。

事件名称为中文业务语义候选，不新建机器事件名。进入后续契约设计时逐项确定输入、前置条件、结果、错误和受众。

5. 强一致性及并发边界

Lot 可用额度、质量限制和分配必须协调原子校验；多输入转换的扣减、输出与追溯边需全有或全无的本地事实提交。候选采用 Supply 本地协调及固定锁顺序/版本检查；具体聚合重组与竞争范围待验证，不假定事件延迟能保护该约束。

共同约束见 CONSISTENCY：单根版本不能替代跨对象约束；如需同 BC 多根本地事务，必须明确保护范围与理由，不能默认为整个 BC 一把锁。

6. 反例、未知与下一步

两个任务抢同一 Lot、隔离与分配竞态、多 Lot 部分扣减、重复转换、绑定失败后封包。单位换算、平衡容差、质量传播范围与召回关闭政策待定。

上述反例是设计验证目标，尚未执行产品测试。先关闭影响边界的不确定性，再完善动作级迁移表及精确模型。身份、权限与业务状态的联动仍遵守 07 的统一授权接缝，不在本页复制一套权限规则。

7. 交易严谨性补充（2026-09-29）

分配、加工投入/产出/损耗与质量决定在本域保护数量守恒。释放只归还尚未消费的分配；取消订单或撤销任务不把已切配实物凭空变回原料。退回先接受实际观察和质量处置，再追加合法物料事实；更正引用原账，不直接覆盖投影余额。已消费/释放的分配不复活，新分配有新身份。隔离与执行的跨域时效/停止握手仍需正式协议，不能只靠一条延迟事件证明安全。

共用不变量、反例与恢复主讲见TRANSACTION-INTEGRITY。本节是设计约束，不证明本域实现或全部状态契约完成。

8. 后台物料核对输入（2026-09-19）

后台新增物料账查询、观察核对、更正提案与复核入口，不改变 Supply 的事实归属，不默认增加仓位/WMS/采购结算模型。现场观察包含来源、时点、单位和证据；观察到达不等于已经入账。

更正意图引用目标批次、账本依据、原因、证据及复核结果。执行时仍须核对当前版本、并发变动与质量约束，不能按审批时的旧差额覆盖当前量；结果追加合法记录。更正错误通过后续更正处理，不能删除历史。

上述为候选模型责任，不预设新表或聚合；具体单位、允许原因、盘点/损耗政策与复核门槛待明确。统一接缝见 CONTEXT-MAP §5。