r003 · 四路评审报告
轮次报告全文 · 逐字真源投影
本页是轮次报告的逐字投影（仅隐私清洗，零改写）。渲染不了的元素退化为代码块原文。
时点提示：本页是仓内文件 adhoc_jobs/context_infra_migration_20260709/runs/r003_20260711_multimodel_plan_review/REVIEW_REPORT.md 的逐字投影（仅做隐私清洗：仓库根绝对路径→相对路径、家目录→~/；除此零改写）。若源文件后续有修订，以仓内真源为准。
报告元数据（frontmatter）
doc_type: multimodel_plan_review
program: context_infra_migration_20260709
run: r003_20260711_multimodel_plan_review
review_target: design/FINAL_MIGRATION_OPERATING_PLAN.md (design_version 0.1 / Level Y)
panel: Fable(主审+终裁) + GLM-zai(需求匹配) + Opus(环境适配, 顶替Kimi) + Codex GPT-5.5(内核技术, 顶替DeepSeek)
verdict: 修改（方向保留，不推翻）；进入 E0 实现前必须先修方案文本
claim_ceiling: bounded_static_review（四路独立静态评审 + 实测环境基线；未运行任何实现）
created_at: 2026-07-11
session_id: 6657c645-86ce-4f80-a201-e4b898149e23Codex 迁移方案多模型评审终裁报告
一、结论先行
终裁：修改，不推翻；但按当前文本直接进入实现（E0）不可接受，必须先完成方案文本修复与内核瘦身。
四路独立评审（Fable 初判、GLM 需求审计、Opus 环境适配、Codex 内核审查）无一主张推翻，全部落在「修改」。方案的骨架——check-in-first 总模型、ACTIVE 七项判据、M1/M2/M3 三方法、五维正交（Priority/Lifecycle/Readiness/Domain/Method）、owned truth 与 generated 投影分离、固定 prompt 只改 DOMAIN、prompt provenance 四事件链——与用户需求同构且贴合本环境，是全体评审一致认定的保留面。
但三类问题使它不能原样执行：
- 文本有阻断级缺陷（Codex）：至少两个恢复现场没有合法的持久化状态（reverse step 失败后 journal 无合法 postimage；补偿验证失败无对应 WAL 操作，事务会永久悬在 COMPENSATING），另有五处高危歧义会导出不同实现。按 4423 行现文直接分卡实现，最可能得到「schema 和测试很多、恢复边界静默错误」的系统。
- 成本剖面与用户三条原话错配（Opus + GLM + Fable）：把单机单用户任务按多租户分布式系统设防，首个可见迁移价值（DDP ACTIVE）被压在整套内核（13 张卡、
MIG-CTRL-01A一张即 9 模块 + 约 90 个 public 契约 + 10 组测试）之后，与「非常紧迫」失衡；全局写串行与「并行化」冲突；successor 跨 root handoff、admin 密码学 proof、generation exhaustion broker 防御的是本环境不存在的风险。 - 四类需求缺口（GLM + Fable + State/环境实测）：State-in-motion 无显式对接（用户明示约束）、CC/Codex host 侧记忆与历史 session 无建模（最高频断点）、绘图记录与巡检机制弱落地、P-001 即时痛点被系统性稀释（recency 偏置，方向罕见地偏向后期架构需求）。
二、对用户三个核心问题的回答
Q1 需求匹配度：方案如何满足需求、重点在哪、是否量身打造
方案的关注重点在迁移控制事务的可证明性：§6+§13+§14 约 2500/4423 行是 WAL/saga/fencing/incident/handoff/admin-proof 协议。这是把 P-001「这次迁移必须保证准确和完整」做到极致的产物。
强匹配面（有可执行落点、且确为本环境定制）：
- 迁移语义与验收：check-in-first、ACTIVE 七项（canonical/located/discoverable/wired/consumed/effective/independently verified）直接回应「落到实处」「文件出现 ≠ 迁移完成」，是全方案最贴合用户历史痛点（假完成）的设计。
- 任务分派（P-001 判为最关键能力）：selector + 固定 M1/M2/M3 模板 + 用户只改 DOMAIN + §11 容量门/角色分离/context 隔离，忠实落「专人专事」「session 焦点不能太多」。
- prompt 自动记录（P-002/D3）：§10.4 四事件 provenance 链，并明确「手工提取一次不算实现」。
- 收口任务专属记录（P-002/RB-20）：§6.5 residual（任务专属 ID、blocks/resolution、close oracle）。
- 环境定制证据：固定本机绝对路径、Darwin sandbox-exec verifier capsule、14 域 roster 来自真实 BT campaign、archive 双根沿用本仓现行目录并核对了 manifest 现状（0/11 行）、§16.1 对每个复用工具（phase_state/session_dispatch/reference_validator/landing_gate/eval_harness/fs_patrol/tool_receipts）写了真实 CLI 与诚实边界。这不是通用模板。
弱/无/被改写面（GLM 需求覆盖矩阵 + Fable 亲验）：
- 磁盘减压（P-001 开篇「非常紧迫」）排 PRI-4 链条最末端——【重大】。
- 绘图系统对 tool 绘图 + 结构状态图记录（P-001 点名）：全文零落点，仅 E4 一句「结构图」——【重大·无覆盖】。
- AAU 完善（MIG-06）：零引用（§11 是功能等价物但无对接）——【需修改】。
- 巡检 Agent「从一开始建立好」（MIG-08）：只把 fs_patrol 当迁移对象迁入（PRI-1），巡检机制建立与「整理收集」职责被推到 PRI-4 且收窄为 report-only——【需修改】。
- benchmark「可以丢弃」（两轮原话 + RB-06 重申）被升格为默认保留的逐项裁决——方向反转，有安全理由但默认取向不忠实——【需修改】。
- 收口记录与 design doc「深度耦合闭环」（P-002）：residual 是迁移控制维度，锚链只有 requirement→meaning→optional implementation 三环，缺功能设计/代码设计两层；§4:139 不变量声明了六环链但无落点——维度错配——【需修改】。
- MIG-09..12（fs-patrol reviewer 四条）：方案直接承接 0/4（job 层 requirement_delta 已判 deferred，但方案不引用该去向）。
等权检查（GLM 独立发现，Fable 采信）：存在 recency 偏置，方向与常见相反——P-002 后期架构性需求被忠实展开（约 80% 篇幅），P-001 早期即时痛点（磁盘、benchmark、巡检、绘图、并行、AAU）被系统性稀释或降级。
Q2 优先级与优化决策：机制是否明确、内容级决策怎么做
机制明确，两级结构成立。 结构级：PRI-0..4 冻结（控制内核 → 共享底座+DDP pilot → 新根最小 Harness → 14 域滚动+外部导入 → 清理与 cutover），P-002「跨域底层共性最高优先级」落在 PRI-0/1。对象级：M1 现场裁决 disposition（十值闭集），Action.priority 为唯一调度真源，selector 按 fanout/blocked_downstream/activation_value/reversibility 四键排序；「只剩一个优先级」由 active_priority + 每 session 一张卡实现。
「确定优先级后是否还需对具体内容做进一步优化处理决策」——方案的回答是肯定且结构化的：每个对象必须经 M1 DECIDE 绑定事实后给出唯一 disposition/effect oracle/rollback，具体处置延迟到 Action Card（§20 延迟清单：DDP 正典 source、CBE 40 条 dirty、泄露清单、Git history 逐项、destructive 授权）。这与用户直觉一致，是方案做对的部分。
但优先级的内容装载有两处错配：①用户最紧迫的磁盘减压装在 PRI-4；②正被两个 07-11 campaign 改写 landed 事实的域（testsys 映射域 + guardian/error_trace/evolvable/ddp）恰好装在 PRI-1/2，且 catalog seal 会把全部 backlog digest 锁定，使「按最新 State 重调」的成本被机制主动抬高（Opus 发现，Fable 采信为 State 问题的深层）。
Q3 环境适配性：前置工作、多余设计、是否真适配
做了的前置（真实到位）：Root Gate 五问先冻 path/Git/cutover/rollback；automation kind 契约给每个 hook/cron/launchd 配 install/status/disable/rollback 四命令；runtime-origin oracle（§16.2）用进程级观测证明「真的从新根跑」而非 cwd 名字推断，并配七类 mutation 反例；cutover 执行 manifest 枚举 anchors/scheduler 切换全集；对现行 archive manifest 的 11 行 legacy 逐条重算而非批量投影。最贴合本环境的一条 = check-in-first 并行窗口：旧根始终 live 可恢复，迁移不制造灾难性断点。
多余设计逐项裁（按用户指示「看实际运行效果」逐个判，不一票否决）——Opus 与 Codex 两路独立给出高度收敛的结论，Fable 终裁如下表（详见 §五 B 组）：successor 跨 root handoff＝砍；generation exhaustion broker＝降级；admin 密码学 proof＝降级为 TTY confirm-gate 单形态（TTY 逐字短语这一层保留，它能挡住自主 agent 静默批准破坏性操作，有真实价值）；incident latch 聚合＝降级为「失败停+等人」；controlled-retry continuation epoch 链＝降级为固定上限+resume 代数。判据 = 单机单用户单 actor 环境的真实风险率×后果；「LLM session 崩溃/超时/旧进程未死/重复执行」是真实常见风险（fence/mutex/journal/reservation 因此保留），「对抗 principal/跨机 campaign 分叉/多租户」不是。
未适配的断点（实测清单，方案只给了类别未给清单）：
~/.claude/settings.json：18 处 context-infra 引用、8 个绝对路径 hook 脚本、SessionStart 含 10 条内嵌硬编码 one-liner；且 PRI-0..3 禁触碰 hooks 与并行窗口从新根跑 CC 存在张力，方案未点名。- CC/Codex host 侧状态完全无建模【重大，Opus/Fable 双路独立发现】：
[session-path]按 cwd 绝对路径为 key（56+ 目录），主 key 下 MEMORY.md（每 session 自动注入）+ 113 个记忆文件 + 全部历史 session；[codex-path]同样按绝对路径作项目 key。改名即断链，方案 grep 零命中。 - crontab 34 行中 10 行硬编码绝对路径（
$WS改名救不了），若干 cron 直接依赖 adhoc_jobs/ 任务目录；~/.config/opencode/opencode.json7 条手工同步绝对路径；~/.local/bin6 个 wrapper symlink。 - 磁盘实测修正一个默认认知：91% 满（38Gi 余 ≈ repo 总量 37G），但大头是 adhoc_jobs 21G + contexts 8.3G，
.git只有 6G——「Git 占用非常多磁盘」的体感主要来自工作区数据而非 git 历史；opencode.db（约 17G，仓外）是单体最大可回收项，恰好是方案零承接的 MIG-11。
总评：适配一半。「不砸旧根、先证新根」这条轴很强；四处不适配（CC host 状态无主、前置成本 vs 紧迫失衡、并行被全局串行封死、seal 冻结仍在动的域）。过度工程的成本恰好落在用户最看重的「快」和「并行」上。
三、多模型评审过程（披露）
- 流程：Fable 亲读方案全文（§6.2 千行记录示例与 §18.4 fixtures 走结构掌握，其余精读）→ 三个信息收集 agent（环境盘点/任务目录全图/State 记录评估，Sonnet×2+Opus×1）→ Fable 初判落盘（FABLE_INITIAL_ASSESSMENT.md）→ 三路外部模型按独立角度评审（证据盲于 Fable 结论，防从众）→ Fable 终裁。
- 通道故障与替换：Kimi 双 key 401、DeepSeek key 401、Ollama key 401（证据在 evidence/channel_failure_*.txt，需用户侧续期）。实际面板 = GLM-zai（需求匹配审计，原定席位）+ Codex GPT-5.5（内核技术审查，顶替 DeepSeek；已对其声明对抗姿态，注意方案亦为 Codex 家族起草，同族审查风险已披露，但其产出以行号级矛盾为主、可独立核验）+ Opus（环境适配，顶替 Kimi）。三家族（GLM/GPT/Anthropic）+ Fable 维持了家族多样性。
- 分歧与终裁：唯一实质分歧 = 全局 production reservation。Opus 主张放宽为域/路径级以恢复并行；Codex 主张保留全局一把并简化（理由：隐式共享面迁移前不可枚举，全局串行大幅缩小 semantic-conflict 面，2-3 session 规模下吞吐损失低）。Fable 裁定采 Codex：v1 保留全局 singleton（只读 M1/验证照常并行），把 Opus 的域级方案登记为「共享面枚举完成后的放宽选项」。理由：并行诉求的主要满足面本就在 M1/验证侧，而 PRI-0/1 的 control-code 卡串行是本质性的；用一把锁换掉一整类最难实现的冲突恢复逻辑，符合瘦身方向。
- 各路对「保留/修改/推翻」的判定：4/4 修改，0 推翻。Codex 附加强条件：按现文直接实现应判不可接受并暂停——Fable 采纳为「E0 前置修复」硬门。
四、问题分级清单
阻断级（进入实现前必修，Codex 行号）：
- B1 reverse step 失败现场无合法 journal postimage（L903-918 ↔ L3329-3333）。
- B2 补偿验证失败无 WAL 操作，事务永久悬在 COMPENSATING（L814/L899/L3191 ↔ L3327-3335）。
高危（会导出不同实现/不安全投影）：
- H1 §14 的 M3 十项 destructive READY 条件未进 canonical readiness/selector（L1391-1517 ↔ L3534-3545）。
- H2 archive REVERTED 生效语义缺
M3_FAILED+COMPENSATED分支定义（L3350-3360 ↔ L3487）。 - H3 PREPARED archive append 时机两处矛盾（L3400 ↔ L3532）。
- H4 pause fence 与 recovery-owner readiness 次序矛盾（L1384 ↔ L1404-1435）。
- H5
LauncherIngressBinding不在落盘 schema 闭集（L687/L1014-1016/L1902）。 - H6 §6.1 文件清单与 §17.1 要求的模块集不一致；01A 一卡九模块不是可控 Action Unit（L208-246 ↔ L3687）。
- H7 CC/Codex host 状态（记忆/历史/项目 key）无 Object/无 Domain/无 cutover 步（全文零命中）。
- H8 State-in-motion 无显式延迟闸且 seal digest 锁定 backlog，与用户「按最新 State 重调」约束冲突（§20 无对应延迟类；§9.5:2726-2738）。
需修改：磁盘减压全押 PRI-4；绘图记录零落点；benchmark 默认反转；巡检机制 vs 巡检对象混同；residual 锚链缺两层 + DDP 模板四层闭环表无落点；AAU 零对接；并行面/串行面未向用户显式说明；successor handoff / exhaustion broker / admin proof / incident latch / continuation epochs 过度工程（处置见 §五 B）；仓外指针清单未落卡；KEEP_GOVERNED 对已 ACTIVE 对象的 no-op 转换未定义；successor START 无 ABORT（fail-closed 但活性不可恢复）。
观察/记录卫生（小问题）：
- 第三轮触发消息未按 append-only 纪律补录为 ORIGINAL_PROMPT.md P-003（只有 REQUIREMENT_MODEL 转述）。
- SELF_CONTAINMENT_REVIEW 命名与时间倒挂：带 V2 后缀的是较早的 flag 轮（07-10），无后缀的是修复后 pass 轮（07-11），仅凭文件名会误判先后。
- MIG-09..12 的 frontmatter
source_kind: user_oral与实际来源（fs-patrol-reviewer agent）不符。 - EXECUTION_ORDER.md 是 41 个支撑文件中唯一无 frontmatter 的，影响机械核验。
- 旧 C2 裁定的 M1-M9 缓解件只部分随入新方案（M9 锚点重 derive→CUTOVER-M1、M1 恢复演练→ROLLBACK-DRILL 已随入；M8 VACUUM 未随入）；r002 已显式声明「不能从旧 C2 自动继承」，此为记录性观察非缺陷。
- 每张 M2 的仪式成本对 skill 级小对象偏重；§11.1 cluster 缓解激活侧，但 discoverability 族按「一 Object 一 Action」重新原子化，建议同因成簇。
五、修改方案（原方案操作 → 修改后操作 对照）
性质：这是对原方案的修改集，不是推翻重来的第二套架构。保留面见 §六。
A 组 · 方案文本修复（进入 E0 的前置硬门）
| # | 原方案 | 修改后 |
|---|---|---|
| A1 | reverse step 失败 → COMPENSATE/RECOVERY_REQUIRED，但 journal schema 禁止该现场存在（清 receipt/reverse list、pending 只能 forward） | 为该现场补合法 postimage：RECOVERY_REQUIRED 允许保留 compensation binding 与 reverse 进度（新增 journal 分支或 COMPENSATING+RECOVERY_REQUIRED 复合态），配套恢复总函数 |
| A2 | 补偿完成后 semantic_restore_oracle=FLAG 无处落账 | 新增 VERIFY_COMPENSATION WAL 操作（或等价窄操作）持久化验证失败、attempt+1、latch |
| A3 | M3 十项 destructive READY 条件只写在 §14.4 文字里 | 逐项纳入 migration_action_readiness_v1 与 selector 过滤，投影不得对不满足项给 READY |
| A4 | archive REVERTED 生效语义只定义 COMPENSATED+M3_REVERTED | 补 M3_FAILED+COMPENSATED（semantic-conflict 分支）下 REVERTED 事件的抵消/审计语义 |
| A5 | PREPARED append 时机两处矛盾 | 统一为一个规范时点（建议：全部 hash/reference 前置 PASS 后、delayed verify 前 append） |
| A6 | pause fence 检查排在 open-journal readiness 之后 | readiness 伪代码把 operating_state fence 前移到 open-journal 分支之前，与 §6.3 文字一致 |
| A7 | LauncherIngressBinding 落盘但不在 schema 闭集；§6.1 文件清单漏 §17.1 模块 | schema 闭集补齐；§6.1 与 §17.1 清单对账一致 |
| A8 | MIG-CTRL-01A 一卡 9 模块 + 10 测试组 | 拆为六切片卡（schema/reference model → WAL/store → claim/fence/reservation → saga/recovery → commit/ACTIVE/verifier → archive/Gate）；另立独立卡先冻结 invariant ID → exact test node → mutation 清单，禁止实现与 oracle 同卡生成 |
| A9 | KEEP_GOVERNED 成功转换只定义 STAGED/DECIDED→ACTIVE | 补已 ACTIVE 对象的 no-op success（不生成重复 stability/M3） |
| A10 | successor START 后无退出路径 | v1 直接随 B4 砍掉 handoff；若保留则必须补 ABORT_SUCCESSOR_HANDOFF |
B 组 · 内核瘦身（Codex 最小安全内核 × Opus 裁定合并，Fable 终裁）
| 机制 | 原方案 | 修改后 | 损失与理由 |
|---|---|---|---|
| commit_decision 唯一晋级、closed transition、ACTIVE 七项、WAL+saga journal、fence+per-Action mutex、source/target 分离、verifier capsule、destructive TTY gate | 全量规格 | 保留原义（capsule/receipt DAG 可瘦 schema） | 这八件防御的是真实高频风险（假完成、崩溃半状态、旧 worker 重叠写、verifier 读叙事、静默破坏性操作） |
| singleton production reservation | 全局一把 | 保留并简化（Fable 裁定采 Codex；Opus 域级方案登记为后续放宽选项） | 2-3 session 下吞吐损失低；砍掉一整类冲突恢复复杂度 |
| incident latch 聚合（PAUSE_PENDING/PAUSED 两阶段+aggregate Gate 重物化） | 全量 | 降级：PAUSED + 单调 revision + append-only 原因清单，resume 走 TTY CAS | 失去多事故精确授权；单机并发多事故概率低 |
| controlled-retry continuation epoch 链 | 全量 | 降级：固定重试上限，到限 PAUSED；TTY resume 加 resume_generation + 新 fence | 失去无人值守续跑，只损活性不损安全 |
| residual 自动可达性证明图 | commit-schema 级图约束 | 降级：RECOVERY_REQUIRED blocker 绑 transaction/现场 digest/恢复步骤/close oracle，人工修复 + PASS 后 reset | fail-closed；遗忘会长期阻塞但不出错 |
| System generation/exhaustion broker | 独立事务+Gate-set digest 拓扑 | 降级：final commit 重算依赖 digest，漂移即 System=STALE + 补偿 + 人工重跑 | 失去自动 reverify 代际；漂移概率低至中 |
| admin principal issuer（OS peer credential + 签名 proof + 120s TTL + nonce） | 五条 admin CLI 全走密码学 proof | 降级：单用户 v1 全部管理操作走本地 TTY confirm-gate（isatty + 逐字短语，保留）；monitor 只能无权限 pause | 失去 headless/远程管理；本机唯一 actor 是用户本人 |
| successor 双 root handoff + launcher 代际链 | §12.2.3 全套跨 root 协议 | 砍：campaign 内禁止更换 control root；确需更换＝全静止后由 TTY 建新 campaign 手工导入 terminal snapshot | 失去无停机 root 迁移；触发概率低，届时人工可承受 |
| archive 事件闭表（N+1 prefix case 枚举） | 全量 | 降级：PREPARED 进通用 journal，terminal event 用 content-addressed 文件+原子索引，projection 仍要求 terminal Decision | 失去行级自动取证；概率低 |
| target manifest 完整历史链 | append-only chain | 降级：generation + whole-root digest CAS + Decision 历史 | 失去 tamper-evident lineage；取证场景概率低 |
| selector 两阶段发现 | 两阶段锁协议 | 简化：normal claim 单阶段 store lock 内完成；reclaim 才取 Action mutex 全量重验 | 2-3 session 无感 |
C 组 · 需求缺口补齐
| # | 原方案 | 修改后 |
|---|---|---|
| C1 State-in-motion 闸（用户明示） | 硬编码 07-09 快照（14 域 roster+237/210）；§20 延迟清单无 State 依赖；seal 把全 backlog digest 锁定 | §20 新增「State 未定稿」延迟类；testsys 映射域与 guardian/error_trace/evolvable/ddp 的 M1 DECIDE 卡 must-read=最新 STATE/SHC bundle 且新鲜度 digest 进 work_input_digest；这些域的卡标 provisional 晚绑定、不进 PRI-0 seal 的 digest 锁；MIG-12（STATE_20260709 目录搬迁）加「该 campaign 收口」前置。此即用户点名的「后续必须按最新 State 重调」的机制化落点 |
| C2 CC/Codex host 状态建模 | 零覆盖 | 新增 Object 类（agent host state：[session-path](memory 113 文件+历史 session)、[codex-path] 项目 key），owner 域=cross_platform_hook_bridge（或新增 agent_host_state 域走 §12.3 三门），cutover 清单加 re-home/copy 步骤，禁止改名断链 |
| C3 仓外指针清单落卡 | §5.1 只列类别 | MIG-ROOT-01A option manifest 必须含具体清单：~/.claude/settings.json（8 hook 路径+10 内嵌 one-liner）、项目 .claude/settings.json、crontab 34 行（10 硬编码+adhoc_jobs 依赖）、~/.local/bin 6 symlink、~/.config/opencode/opencode.json 7 路径、[codex-path]（项目 key+CBE 路径）、launchd plist、refs/sessions 1751 条 |
| C4 早期容量止血切片（回应「非常紧迫」） | 全部容量治理押 PRI-4 | 新增与 PRI-0 并行、不依赖新内核的切片：只读磁盘盘点（实测底账已有：37G/21G/8.3G/6G）+ 已授权快通道——opencode.db VACUUM（MIG-11，约 17G，仓外零耦合）、git worktree prune（418M detached）、按现行 ARCHIVE_SOP+git_safety 三档处理已判废弃项。产出清单喂 PRI-4 正式治理 |
| C5 绘图记录落卡（P-001 点名） | 零落点 | PRI-1 增 M1 卡：用 DLS/essence_diagramming 对 tools 架构与迁移前后结构状态出图并记录（STATE_20260709 已有 42 图为输入），图为 M1 survey 标准产出物之一 |
| C6 巡检机制与对象分离（MIG-08） | PRI-1 只迁 fs_patrol 对象；机制建立与长效治理在 PRI-4 | MIG-FSPATROL M1 扩 scope：同卡裁决巡检机制建立（整理收集职责、MIG-09 豁免持久化抑制）；新根自 E3 起挂巡检 schedule，不等 PRI-4 |
| C7 benchmark 默认反转（两轮原话+RB-06） | 默认逐项保留，仅 redundant/sensitive 进 archive/remove | 默认=用户已授权舍弃（archive/remove 快通道）；M1 只负责枚举清单+标「不可复算且支撑 claim」的例外保留项；枚举先行与 destructive gate 保留 |
| C8 residual 锚链补层 + DDP 四层闭环 | 锚链=requirement→meaning→optional implementation；§4 六环不变量无落点 | 锚链补 functional_design/implementation_design 两槽（可 optional）；DDP 正典化切片（§15.1）落「设计需求→功能设计→代码设计→落地实现」四层表，区分迁移控制层 residual 与 doc 层追溯 |
| C9 AAU/并行显式化 | AAU 零引用；并行未说明 | §11 补 AAU 对接行（§11.1/11.3 即 AAU 容量+注入纪律落点）或显式延迟声明；§9 补「并行面=跨域 M1/只读验证，串行面=共享生产写」说明 |
| C10 MIG-09..12 去向显式化 + 记录卫生 | 方案零引用；P-003 未补录；review 命名倒挂；source_kind 错标 | §9.5/§20 挂四条去向（09→C6、10→reference_validator M1 scope、11→C4、12→C1）；ORIGINAL_PROMPT.md 补录 P-003 逐字；两份 SELF_CONTAINMENT_REVIEW 加时序注记；MIG-09..12 frontmatter source_kind 改 reviewer_derived；EXECUTION_ORDER.md 补 frontmatter |
实施序建议（对 §17.2 的修正）
- 先做 A 组文本修复 + B 组瘦身改写（同一次方案 revision，design_version 0.1→0.2）；改后重跑 fresh-context 自包含审查（沿用 r002 的四角色配方）。
- C4 容量止血切片与上述并行启动（不依赖内核）。
- E0 只实现瘦身后的内核，按 A8 六切片分卡 + 独立 test-manifest 卡先行；每个 I/O 边界做真实 kill/restart crash injection。
- DDP pilot 照旧作为首个物理迁入；C1 的 provisional 域按 State 收口节奏晚绑定。
六、保留面（明确不动）
check-in-first 总模型；ACTIVE 七项判据与独立 effect oracle；M1/M2/M3 三方法及 typed outcome；五维正交与「只剩一个优先级」；六类 owned truth + generated 只读投影；固定 prompt 只改 DOMAIN + prompt factory；provenance 四事件链；residual 任务专属记录主体；verifier OS capsule 的安全语义；destructive TTY confirm-gate；§16 现有能力复用表与三层证据分层；archive 双根与「归档在旧根」的取向（符合用户「历史归档过去、新根只留准确完整」原话）；Root Gate 并行窗口与「稳定窗前不 identity swap」。
七、证据边界与残差
- 本报告是静态评审整合（bounded）：四路评审皆未运行实现；Codex 的行号级矛盾可独立核验但未经代码复现；工期估算（PRI-0 十几到数十 session）是经验判断非实测。
- 通道残差：Kimi/DeepSeek/Ollama key 失效待用户续期；Codex 同族审查风险已披露（其产出以可核验矛盾为主，风险可控）。
- 面板张力保留：reservation 全局 vs 域级已裁（采全局），域级方案留作放宽选项；「PRI-0 必要性」上 GLM/Opus 更激进（先轻量激活）而 Codex 更保守（先修内核再实现），Fable 终裁取中：内核瘦身后仍作为前置，但容量止血与绘图/巡检等不依赖内核的切片并行提前。
- 后续必做（用户已预告）：测试系统与 Base Tooling 的 State 收口后，按最新 State 重调相关域的迁移裁决（C1 机制即为此准备）。
附件
- evidence/panel_glm_zai_requirement_audit.md（GLM 需求覆盖矩阵全文）
- evidence/panel_opus_envfit_review.md（Opus 环境适配评审全文）
- evidence/panel_codex_gpt55_kernel_review.md（Codex 内核审查全文，含最小安全内核表）
- evidence/channel_failure_*.txt（四次 401 原始输出）
- FABLE_INITIAL_ASSESSMENT.md（终裁前的 Fable 独立初判，供对照）