跳到主要内容

ADR-016 — M1 范围界定：M1 = 状态化 only，认知核实化拆为 M1.5

§0 决策简述​

决议：

  1. M1 严格 = 状态化：Session 多会话生命周期 + Watchlist + Judgment Record + StateCandidate + candidate→confirmed 两步写入（见 ADR-007）。不含认知内核深化。
  2. 认知核实化拆为独立里程碑 M1.5：把 M0 遗留的"确定性 stub → 真算"——s1 完整子流程、MCA 多桶裁决 + MCAClassifier §7 收敛、posterior 真算、tag_version 锁定——归入新里程碑 M1.5「认知核实化」，置于 M1 后、M2 前（与 M2 的精确先后/并行待后续定）。
  3. 非破坏插入：M1.5 不重编号 M2–M7（避免大面积引用断裂）。

§1 触发：两份权威文档不一致​

  • arch §25 里程碑全景 标 M1 = 状态化（+ Session + Watchlist + Judgment Record）。
  • 但 里程碑字段演化矩阵 把 s1 完整子流程、MCA 多桶裁决、tag_version 锁定的收紧时点排在 M1——即认知内核真算也在 M1。
  • 两者对"M1 含不含认知核实化"口径冲突。owner 2026-05-31 裁 = 甲（M1 only 状态化）。

§2 理由（第一性原理）​

  • 窄 walking 增量是 M0 成功的根因：M0 靠"1×1×1×1 最薄端到端"跑通。M1 应同样先把"两步写入 + 判断沉淀"这一条价值链走通。
  • 状态机与认知引擎是两种性质的工作：前者是确定性的对象/状态/持久化；后者是概率推断质量。捆进一个里程碑会稀释焦点、放大风险、混淆 L8 判据。
  • 认知核实化接近 G2 护城河，价值与风险都更高，应独立推进 + 独立 L8 + 独立底线坐标读数（呼应 ADR-015 底线向量体系）。

§3 影响（须同步修正的下位文档）​

  • arch §25：M1 标注补"= 状态化 only；认知核实化见 M1.5"。
  • 字段演化矩阵：s1 / mca_bucket.worst_axis / tag_version 的"M1 状态"回正为"同 M0 stub（M1=状态化不碰认知核实）"，收紧时点 M1 → M1.5。
  • 二者均加指向本 ADR 的锚。

§4 M1.5「认知核实化」范围（占位，详细 spec 待起）​

  • s1 完整子流程（evidence / falsification_ref / convergence_flag 收紧 required）。
  • MCA 多桶裁决规则 + MCAClassifier §7 收敛（worst_axis required）。
  • posterior 真算（替换 M0 m0-deterministic-fill）。
  • tag_version mca-v1.0 锁定。
  • 验收：认知质量 L8 + 核心场景底线净增量须较 M0 提升（M0 的 mca/s1/posterior 是占位，认知深度增量≈0；M1.5 是兑现"认知内核净增量"的里程碑）。

§5 关联​