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

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

## 1. 对象分类与候选聚合

| 对象 | 分类 | 维护什么 | 要保护的业务含义 |
|:---|:---|:---|:---|
| Source / Receiving | 候选独立根 | 来源；一次接收依据 | 去重需包含来源作用范围 |
| SupplyBatch / Lot | 候选根 | 批次身份；物料身份及可操作版本 | 不是仓位；身份不复用 |
| QualityDecision / QualityHold | 不可变决定及候选根 | 证据解释；有效质量限制 | 观察不等于放行 |
| MaterialAllocation | 候选根 | 为目标分配的物料及释放 | 单分配根不能单独保证全 Lot 不超分配 |
| TransformationRun | 候选根 | 投入、产出、损耗与采用规则 | 仅合格确认产生账本效果 |
| SupplyLedgerEntry / Position | 追加事实 / 投影 | 变化依据 / 可重建余额 | 禁止直接改投影余额 |
| RecallCase | 候选流程根 | 影响范围、动作回执、关闭依据 | 不直接退款或删除物理历史 |
| PublicTracePublication / Token | 候选根 / 受控访问凭据 | 发布字段与撤销 | 公开追溯需最小化且可撤销 |

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

## 2. 关系与引用

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

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

## 3. 生命周期

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

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

## 4. 业务动作与事件

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

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

## 5. 强一致性及并发边界

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

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

## 6. 反例、未知与下一步

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

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

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

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

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

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

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

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

上述为候选模型责任，不预设新表或聚合；具体单位、允许原因、盘点/损耗政策与复核门槛待明确。统一接缝见 [CONTEXT-MAP §5](../07-bounded-context/CONTEXT-MAP.md#5-后台岗位动线引出的公共接缝2026-09-19)。