DM-05｜预约承诺与订阅领域模型

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

1. 对象分类与候选聚合

对象	分类	维护什么	要保护的业务含义
DeliverySlot	候选根	服务窗口与截止政策版本	时区与区域版本明确，不预设窗口全部互斥
CapacityResource / Bucket	候选根	一个承诺资源作用域的有效额度	可用性不能由客户端计算后直接写入
CapacityHold	候选根	目标意图、所需资源、有效期	多资源占用不可部分成功却宣称有效
CapacityCommitment	候选根	接受承诺及资源关系	能力降低不删除既有承诺
Reservation	通用预约概念，是否独立成根待其他模式定案	服务安排与承诺引用	一周鲜配由DeliveryInstruction唯一维护每日安排，不并存两套确认状态
DeliveryInstruction / ConfirmationRecord	候选安排根 / 不可变授权事实	本次订单行及数量范围、地址、送达时间、费用与明确同意	确认与到期同一权威裁决；到期安排不恢复，付款不替代授权
SubscriptionPlan / Contract	候选根及版本	计划政策；客户持续服务约定	已使用合同版本不回写
SubscriptionCycle / Entitlement	候选根，权益边界待决	周期选择；可使用权益	一个周期对应唯一标准出单意图
Availability / DemandConflict	投影 / 候选异常根	时点判断 / 承诺冲突	预测不等于硬占用

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

2. 关系与引用

Hold/Commitment 引用资源集合与业务意图；Reservation 引用承诺；周期引用合同版本；标准订单归 Commerce，以周期来源关联。是否独立 Subscription BC 不影响这些概念必须分开。

一周无忧不以订阅周期建模：餐次意图归 Customer，购买批次归 Commerce，每日安排归 Demand。鲜配订单不跨日期/地址，同单明细共用本次完整范围授权，独立时段拆单；多单可组合配送但授权和取消逐单记录，不让新单继承旧确认。付款后即可提前确认各日，无需每天重新确认。窗口及配置见确认政策，精确候选安排迁移以状态定义为唯一来源。

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

3. 生命周期

Hold：有效 → 已确认或已释放/过期；Commitment 的解除需要独立合法动作，不复活旧 Hold；订阅合同与周期分别处理暂停、锁定、出单及异常。周期结束不等于订单或交付全部成功。

本页概述对象责任；六机范围内的精确候选迁移以 state 单源定义为准，其余对象仍为语义级路径。两者均未锁定，不能直接生成生产枚举。业务对象状态、协调进度和技术回执分别保存与展示。

4. 业务动作与事件

顾客查询可预约结果、申请改期；Commerce 请求占用/确认/释放；运营配置政策；受限 Worker 生成周期。事件候选：“占用已建立”“承诺已确认”“预约已改期”“周期意图已形成”。

本节事件名称为中文业务语义候选；state 中的事件标识只用于候选状态模型，不是已发布的公共事件 Registry。后续契约设计仍须确定输入、前置条件、结果、错误和受众。

5. 强一致性及并发边界

多 Bucket 申请需受控的本地全有或全无提交，锁定顺序/版本冲突须明确；未改变旧义务的改期拒绝保留原安排，冻结后通过停止握手推进，旧终态不恢复。周期与订单按明确来源去重，不能仅靠 Worker 单次运行。每日确认与到期使用同一安排 revision 和互斥时间谓词；旧授权撤销与执行停止跨域核对，不能只广播事件。协议见交易级严谨性。

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

6. 反例、未知与下一步

最后容量争抢、占用过期与确认、两次改期、能力骤降、周期重复出单。容量公式、优先级、Hold 时长、支付截止及权益规则不能从旧默认值直接继承。

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