跳到主要内容

Codex 聚焦再评审结论（L2 §15）

总评​

§15 方向正确，基本足以支撑 L3 起稿；但不宜「无修改直下推」，主要卡在状态对象闭合、六类资产映射二义性、少量 L2 越界细节。

必修 blocking​

  • G3 未完全闭合：§15.2 七对象含 Consumer，但 §15.3 无 Consumer / 订阅消费记录状态，反而新增 Authorization（七对象外对象）。L3 状态机将缺消费方生命周期，且 Authorization 悬空。（§15.2 / §15.3）
  • 六类资产映射仍二义：§15.2 先说六类资产都是 Information Asset 子类型，又说原始↔Raw Signal、运行证据↔Feedback、输出交付↔Delivery Artifact；影响 L3 存储切分 ADR-08 的对象边界。（§15.2 ↔ §6/§7）
  • 状态命名推送偏置：§15.1 FinBayes 场景写 待提供 → 已提供，§15.3 Delivery 只写 待推送 → 已推送 / 失败 / 已确认消费；拉取 / 查询 / 证据包提供与推送通道状态未统一。（§15.1 / §15.3 / §15.4）
  • L2 越界细节需收回：§15.3 写 push_status 0/1/2 与 retry<3，接近字段 / 阈值 / 实施策略，应留给 L3 ADR-04 / 工程包。（§15.3 ↔ §15.6「不写阈值」）

建议 non-blocking​

  • §15.3 标题说「不变量」但表内只有状态轮廓；补每类对象 1–2 条状态不变量，否则弱于 FinBayes L3 §11「状态说明 + 关键约束」。（§15.3）
  • G6 标注得当但回填路径不够显式：待 G6 与 TM 对齐 是正确外部依赖，但 ADR-候选-03 只能 proposed 不可直接 accepted，且需说明对齐后回填 L2 §8 / gap / L3 §7+§16。（§15.4 / §15.5）
  • ADR 候选可喂 L3 §23 但需筛选：ADR-02/03/04/08 是真架构决策；ADR-07 更像战略不变量约束、未必独立成 ADR；ADR-01/05/06 需在 L3 拆「决策点 + 取舍」。（§15.5）
  • 质量取舍可用但缺全局排序：§15.6 给了链路内优先级足够起稿；L3 仍需像 FinBayes §3 给总体质量属性排序。（§15.6）

亮点​

  • 边界守得住：合成事实不代认知、信号非交易动作、私域授权、行情按需、FEFM 边界与白皮书 §10 一致。（§15.5）
  • G1 覆盖面基本完整：来源异常 / 突发事件 / 私域职业信号 / 高价值复核 / 反馈回流 / FinBayes 消费都覆盖 L3 场景图入口。（§15.1）
  • G6 暂不冻结是正确判断：ATM 消费对象（event/signal/feed/alert/evidence）必须跨项目对齐，非文案能定。（§15.4 / §15.5）