diff --git a/specs/IR-0004/acceptance.md b/specs/IR-0004/acceptance.md
new file mode 100644
index 0000000..fed1e6e
--- /dev/null
+++ b/specs/IR-0004/acceptance.md
@@ -0,0 +1,71 @@
+# IR-0004 验收报告（rev6 语义，Gate-4/T9 谓词消费件）
+
+- IR: Cloudbird-Software/.github#315（验证体系缺口闭环 + spec 质量测量 + fan-out 生命周期 + CNB 底座）
+- 验收人: PM 会话（GLM-5.3，owner 2026-08-25 授权"以 PM 优先范式重写并全量开发交付"）
+- 验收日期: 2026-08-25
+- 判据: spec rev6（.github#359 合并版）21 条 AC + 20 张波次卡
+
+## 子卡清单（20/20 全部 state:done + #358 rev6 卡）
+
+| 波次 | 卡 | 交付 PR |
+|---|---|---|
+| W0 | #316 cnb-bridge 建仓/调度器/EX-1 | cnb-bridge#1 |
+| W0 | #317 配额账本/1C 档 | cnb-bridge#2 |
+| W0 | #318 账号生命周期 runbook | cnb-bridge#2 |
+| W0 | #319 work-inbox 自起协议 | cnb-bridge#2 |
+| W0 | #320 token 决策 ADR | archive#19（ADR-0086 归档+INDEX 84 条） |
+| W0 | #321 周审计五项 | cnb-bridge#2 |
+| W1 | #322 变异实跑+定向管线 | CI-Workflows#104（55 自测） |
+| W1 | #323 属性推断+变异裁判 | CI-Workflows#104 |
+| W1 | #324 模糊种子+深跑 | CI-Workflows#102（42 自测） |
+| W1 | #325 蜕变盘点 | CI-Workflows#102 |
+| W1 | #326 符号执行试点 | CI-Workflows#102 |
+| W1 | #327 SAST 分诊台账 | CI-Workflows#102 |
+| W1 | #328 形式化条件触发 | CI-Workflows#102 |
+| W2 | #329 验收 DSL 编译器+spec CI 关卡 | CI-Workflows#100（28 自测） |
+| W2 | #330 骨架 fan-out 仪器 | CI-Workflows#100 |
+| W3 | #331 实现 racing 机制 | CI-Workflows#103（44 自测） |
+| W3 | #332 champion/oracle 生命周期接口 | CI-Workflows#103 |
+| W3 | #333 红队燃料管道 | CI-Workflows#103+#105 |
+| W4 | #334 自举试点 | CI-Workflows#105（试点链实测：熵→哈希链产物→消费 exit 0） |
+| W4 | #335 演练与退休 runbook | CI-Workflows#103+#105 |
+| 补 | #358 rev6 语义修订 | .github#359 |
+
+## 逐条证据（rev6 口径）
+
+| AC | 结论 | 证据 |
+|---|---|---|
+| 1 变异 | ✅ 仪器+自测 | run_mutation 8 AST 算子降级路径+mutmut 探测；55 自测含弱套件存活算术验证；weekly 入口 mutation-weekly.yml |
+| 2 属性+裁判 | ✅ | 四属性×七生成器；裁判零杀死=平凡拒收；judge_log 逐条 |
+| 3 模糊 | ✅ | 15 类边界生成器+corpus 台账+栈哈希去重 |
+| 4 蜕变 | ✅ | catalog 15 条（3 implemented 可执行） |
+| 5 符号 | ✅ | pynguin 探测+AST 近似（proxy 标注）+adopt/reject 报告带复算命令 |
+| 6 SAST | ✅ | ledger sha256 链+sweep 未处置清单 |
+| 7 形式化触发 | ✅ | checklist 4正4反+trigger risk_level fail-closed+语义留痕位 |
+| 8 DSL | ✅ 真跑 | 真实 spec 编译→校验→篡改红全链（runtime-evidence.md） |
+| 9 骨架仪器 | ✅ 真跑 | 试点 convergence 20%/零串通/契约路线分解 |
+| 10 PM 裁量+CNB 默认 | ✅ | rev6 决策矩阵降 PLAYBOOK；CNB 实弹全链（窗口 207/退出码 0/锚串回收，IR-0005 报告） |
+| 11 改进 PR 通道 | ✅ 接口 | 未注册 oracle 时空转不红（rev6 条件适用语义） |
+| 12 oracle 接口 | ✅ 真跑 | registry validate OK+diffbench 硬区 exit 2/软区 0/缺输入 1 |
+| 13 燃料管道 | ✅ 真跑 | consumer 空目录 exit 0+哈希链校验+攻击查询生成 |
+| 14-18 CNB 底座 | ✅ | 三接缝+配额配置化+runbook+work-inbox+周审计（cnb-bridge#1/#2） |
+| 19 演练 | ✅ 真跑 | 静态干跑双真仓 green；functional runbook 输出模式 |
+| 20 试点 | ✅ | #334 仪器链实测（rev6 诠释：多路实现 racing 为 PM 可选，试点证明仪器可用） |
+| 21 token 决策 | ✅ | ADR-0086 归档+三层缓解+RUNBOOK 执行细则 |
+
+## 残留与移交（诚实申报）
+
+1. **IR#315 生命周期**：卡全 done 但 IR 停在 state:spec——T5/T6 的红队 survived 记录因
+   LLM 通道 infra 故障未能产生（三次实弹 run 32793862619/32794290751/32795149375，
+   kimi-for-coding 与 glm-4.5-air 均 2xx 异常体；连通性小探针正常——供应商/metering 层
+   待 owner 排查）。**owner 三选一**：修通道后补红队走完 T9 / 认可本报告+卡全 done 直
+   接关单 / 留 open。
+2. **X-04 正式修订 ADR**：checklist/trigger 仪器已就位（#328），testing.yaml 的 X-04
+   条款文本修订（rejected→triggered）需小 PR+ADR——半天工作量，建议醒后第一张卡。
+3. **mutation weekly 对 AI_Web_School 首跑**：workflow 就绪，首次真实 run 建议在
+   owner 在场时触发（30 分钟预算，观察 mutmut 在真实仓的行为）。
+4. **A2 幻觉勘误记录**：子代理曾虚构 api-gateway/billing-core/web-console 三仓名，
+   集成时以 REPOS.yaml 勘误（CIW#102 修复提交）——多代理开发的已知风险，运行报告
+   已记 [followup]（集成审查必须对照 SSOT）。
+5. **zizmor 艺术品级反复**：artipacked 在 4 个 workflow 上共暴露 7 次（裸块/with 块/
+   第三处），全部 persist-credentials 修复——子代理工作流模板应预置该字段（已记 followup）。
diff --git a/specs/IR-0004/runtime-evidence.md b/specs/IR-0004/runtime-evidence.md
new file mode 100644
index 0000000..5022674
--- /dev/null
+++ b/specs/IR-0004/runtime-evidence.md
@@ -0,0 +1,26 @@
+# IR-0004 rev6 运行时证据卷宗（本地真跑记录，2026-08-25T01:2x-01:4x UTC）
+
+> 记录人：PM 会话（GLM-5.3）。仪器全部位于 CI-Workflows main（PR#100/#102/#103/#104/#105）与 cnb-bridge main（PR#1/#2）。
+
+## AC-8 DSL 编译器（对真实 spec 全链）
+- 编译：`compile.py --spec specs/IR-0005/spec.md` → GREEN（AC×7, spec-hash 2f14564830c7…）
+- 校验：`verify.py` → GREEN（spec-hash/逐 AC hash/应然内容三重一致）
+- 篡改：追加一行注释后 verify → **exit 1**（手改检出 ✓）
+- 过程中修复真缺陷：IR-0005 spec frontmatter 未闭合（缺结束 ---，已随本 PR 修）
+
+## AC-9/AC-13 + #334 自举试点（仪器链全通）
+- 熵仪器：三骨架 → convergence 20%、疑似串通 0、契约分歧 3、路线分歧 3、假设并集 4
+- 燃料产物：fanout-products.jsonl 哈希链（B/C 两代理契约不一致的集成缝已修复对齐）
+- 消费者：`consumer.py --products-dir pilot-out` → **exit 0**（链校验+字段+type 枚举全过）
+- 空目录模式：`--empty-ok` → consumed:0 非红（rev6 消费者常在语义 ✓）
+
+## AC-11/12 oracle 接口
+- 注册表演示条目 validate → OK（1 条目合法）
+- diffbench：硬区分歧（score/case-2 champion=7 vs oracle=9）→ **exit 2** + 裁决路由文案 ✓
+
+## AC-19 静态干跑（双真仓）
+- `.github` 仓 → **exit 0 green**（三接缝外零操作性引用；EX-1 节 YAML 列表项识别修复）
+- `cnb-bridge` 仓 → **exit 0 green**（自层模式：桥形判定+REMOVAL.md 在位）
+
+## 子代理离线自测汇总
+A1=55、A2=42、B=28、C=44、D=32（合并布局仿真 51 含既有 19）——合计 201 用例全绿。
diff --git a/specs/IR-0005/spec.md b/specs/IR-0005/spec.md
index 4cc7824..c4cd84e 100644
--- a/specs/IR-0005/spec.md
+++ b/specs/IR-0005/spec.md
@@ -48,6 +48,7 @@ budget: |
   BUDGET-01 CNB 档位与配额参数真源=automation-limits.yaml cnb 节（IR-0004 AC-15 承接）。
   BUDGET-02 报告环仅两个机械件（append 校验+周度 digest），不建指标面（范式稳定后再议）。
 decision: |
+---
   DECISION-01 本 IR 为 owner 直授权直执行形态：ADR-0085 即决策背书，spec 为事后条款化
   追认；IR#348 生命周期收口（是否补签署→spec→红队仪式或直接关单）留 owner 裁决，
   三选项见 acceptance.md 残留节。