docs(迭代34卡④): 报告补第六节审计结论（不通过 D1/D2）＋D2 分支尖回执读数；T4 状态随实证订正

reports/iter34-实现报告-2026-10-22.md

@@ -239,9 +239,26 @@ T4 里程碑跑批 `tools/run_all_gates.sh --code`，起跑 commit `4ef154b9`：
 | 10 熵增闸 | 0 | 一致 |
 | 11 回放确定性对拍 | NEED-APPROVAL | 本卡数值零变更，按档位规则不发起（需用户批准） |
 
-`6f04f29b` 修复后窄验证：`audit_type_hints` PASS；两套件 26＋19 项全绿；`ui_input_probe` PASS。最终合并回执见本批合并提交信息（起跑 commit＝分支尖）。
+`6f04f29b` 修复后窄验证：`audit_type_hints` PASS；两套件 26＋19 项全绿；`ui_input_probe` PASS。
+
+分支尖复跑（`8b9c6989`，即审计报告入库后那笔）：`all_green: true`、`changed_vs_baseline: []`、09 静态扫描 0（对基线「改善」）、02 单元 40 套件全绿、11 对拍按档位规则 NEED-APPROVAL。该回执对应的是**代码面最后一次变化之后**的分支状态；本笔之后只余 `reports/` 改动，合并前仍须在当次分支尖重跑一次并重取回执（D1 回炉若有代码改动，另须重跑）。
 
 ## 六、卡④ 独立验收审计
 
-待补（审计完成后写入结论与逐行依据）。
+审计报告：`reports/iter34-卡④-验收审计-2026-10-22.md`（未参与实现的子代理执行；被审 HEAD `6757c21e`；自跑 40 套件、探针、冒烟 1211 项，另自设变异注入）。
+
+**第一轮结论：不通过**——2 条缺漏，无测试削弱、无契约破坏、无越权自决、无数值/RNG 违规。M1/M2/M9/M10 四条变异由审计自跑，「红的位置与报告 §5.4 逐字一致，无复现不一致」。
+
+| 缺漏 | 内容 | 本批处置 |
+|---|---|---|
+| D2 回炉 T4/T5 | 缺与分支尖同 commit 的 `--code` 全绿回执（旧回执停在 `4ef154b9`、09 红、`all_green=false`） | **已闭合**：在分支尖重跑全量代码域闸，回执 `commit=8b9c6989`、`all_green=true`、`changed_vs_baseline=[]`（见 §5.7） |
+| D1 回炉 T2 | fv2「接线层验收」未成立：`display_probe()` 是逐节点重调 `node_display` 的快照，与 `_draw_graph` 的实际绘制是两次独立求值；审计注入「`_draw_graph` 两处条件改 `if true`」模拟接线坏，单元 19 项与探针仍全绿。审计判为**卡片 T2 对 `display_probe` 的定义与 §7.1 fv2「读绘制面」要求互相矛盾（spec-AC 不一致）** | **停卡呈报**：本项需要改验收接口语义或改卡片验收口径，均超出实现段授权（§9 白名单只含既有 API 命名，不含新增绘制输出观测手段；§7.1 是卡片的验收面，实现批只读），按实现段零裁断停卡退回上游，本批不自决、不合并 |
+
+审计附三条非阻塞观察项，随 D1 回炉一并处理：
+
+1. 探针 ⑱ 的「雾下图标不出示」判据自指——`fog_id` 正是按 `not draw_icon` 选出再断言其 `not draw_icon`，该半句恒真；有效的是文字通道半句与存在性判定（M2 时因选不到雾节点走「选取失败」分支变红）。建议选区与断言解耦（按层距/候选集独立选雾节点）。
+2. fv3 双 Boss 夹具手写 `type_vis=[1,7,9]`，未从 `type_visible_ids()` 推导两端点均在集；核心多 Boss 成员性由单 Boss 用例覆盖同一分支，风险低。
+3. 探针 PASS 文案只列到 ⑰（按 18 个 case 计），未点名 ⑱；报告 §5.2 称「探针⑱ 5 项断言」实为 4 个 `_pre_fail` 判据＋1 个选区前置，措辞/计数需订正。
+
+**合并状态：未合并。** 卡④ 停在 D1，待上游裁决后回炉 T2 并重交独立复审；卡③ 已在 `43c0f3c1` 合回 master。