§15 聚焦再评审双路汇总 + 修订记录
两路独立再评审（CC + Codex）聚焦 system-product-definition §15（L2→L3 承接层）。结论收敛：§15 方向正确、守住 L2 层、覆盖 G1–G7，但「不宜无修改直下推」，需就地修若干局部不闭合（均不动 §1–14）。CC 主笔已据收敛项修订。
收敛必修（两路一致）→ 已修
| # | 问题 | CC | Codex | 修订 |
|---|---|---|---|---|
| F1 | 状态对象不闭合：15.3 缺 Consumer 状态、却多出七对象外的 Authorization | B1 | blocking#1 | 15.3 补 Consumer 状态行；Authorization 降为 Source/受限 Asset 的「授权维度」（非独立对象），注明绑定与转移；与 15.2 七对象一一对应 |
| F2 | 六类资产↔七对象映射二义（Delivery 双归属 / 资产=对象？） | B2 | blocking#2 | 15.2 末段重写：分清「资产分类（Information Asset 子类型）」vs「流转阶段对象」两轴，投影/沉淀非等同；Delivery 生命周期归 ADR-04、资产快照归档归 ADR-08，二者非同物 |
| F3 | 状态命名推送偏置 / 15.1↔15.3 拓扑不一致 | B3 | blocking#3 | Delivery 通道中性「待交付 → 已交付（推送已发 / 拉取已取）」；15.1 三场景（突发 / 私域 / FinBayes）状态用语对齐 15.3；私域「草拟 → 可用 → 受限」改为后继拓扑 |
| F4 | L2 越界数字（push_status 0/1/2、retry<3） | N1 | blocking#4 | 15.3 收回工程数字，状态名纯定义层；与生产字段对应留 L3 / 工程包 |
收敛建议（两路一致）→ 已修
| # | 问题 | 修订 |
|---|---|---|
| F5 | 15.3 标题含「不变量」但表内只有状态轮廓 | 补「状态不变量」4 条基线（终态不可回退 / 受限不输出 / 低置信不进可用 / 终态留证据） |
| F6 | G6 回填路径不显式；ADR-03 不应直接 accepted | 15.4 ATM 行 + ADR-候选-03 补「对齐后回填 §8 / §15.4 / gap 第九节」，标 proposed |
| F7 | ADR 候选缺优先级、需筛选 | ADR 表加「优先级」列；注明 01/05/06 在 L3 拆「决策点+取舍」，07 属不变量约束（是否独立成 ADR 由 L3 定） |
| F8 | 15.6 缺反馈回流行 + 缺全局排序 | 补「反馈回流」取舍行；补「L3 仍需总体质量属性排序」提示 |
亮点（两路共识，保留）
- 边界守得住：15.5 七不变量与白皮书第十节完全自洽、无夹带自创约束。
- G1 场景覆盖完整（来源异常 / 突发 / 私域职业信号 / 复核 / 反馈回流 / FinBayes），L3 场景图入口齐。
- 15.4 七角色契约与 FinBayes 架构 §7 同构、维度更全（多「接入条件」），RLE/FEFM/外部正确标边界保留。
- G6 暂不冻结是正确判断（ATM 消费对象须跨项目对齐，非文案能定）。
- 15.2 泛化消解（Information Asset 为六类统称）方向正确，本轮 F2 进一步消除残余二义。
处置
F1–F8 已落 §15（不动 §1–14）。自检：节号不变、15.3 与 15.2 七对象一致、无工程数字、G6 标记与回填路径齐。§15 此后判为「正确 + 足以无障碍下推 L3」。