Run5 · final_report 域独立审查

轮次报告全文 · 逐字真源投影

本页是轮次报告的逐字投影（仅隐私清洗，零改写）。渲染不了的元素退化为代码块原文。

domain: final_report
reviewer: W4-P5 independent
verdict: worked_partially
ts: 2026-07-05T04:30:00+02:00

DOMAIN_final_report_REVIEW.md — Run5 W2-fr 独立审查

审查范围：final_report 域在 Run5 W2-fr 的落实收口（对账 + 真实 packet 运行 + RCL 重评）。
审查者独立通道，未读 W2-fr/RESULT.md 结论/claim 段、dispatch_log CHECKED 行、REVIEW_LEDGER 已有行。

总体结论

worked_partially。

FR-S1 的核心诚实信号（report_context_packet schema + validate_packet + check_report_completeness 的 packet-aware RC5/RC6/RC7/RC8 + oracle fixtures + 单元测试）已经落地，且有真实 packet 运行证据。但设计文档承诺的多个组件未实现：report_scaffold.py 未支持 --packet/--mode 与 packet block 渲染、report_state_snapshot.py 不存在、skill routing docs 未更新、phase-exit 调用路径因 regulator/receipt 性能问题无法快速通过。

维度 1：构建完整性（设计 → 实现覆盖对照）

已落地（有代码 + 有测试 + 亲验通过）

未实现或部分实现（带 file:line）

RCL 重评诚实性

• FR-S1..FR-S5 在 Run3/reports/DOMAIN_final_report_CLOSURE_REPORT.md:4/11/61/79 中确实是范围/切片标签或未来切片免责声明，不是残留声明；W2-fr 将其标记为 SATISFIED（report_only false positive accounted）是诚实的。
• FR-X01/03/04/05/07/09 在 Run3 closure report 的 Residual Table（:70-75）中已有边界说明，W2-fr 的 RCL 将 blocking_reason 规范化为带 Owner: 前缀的一句话，素材来自报告本身，未捏造边界。

维度 2：逻辑一致性（模块耦合 / 契约冲突）

发现 1：phase-exit gate 命令未传递 --profile shell，与 FR-D11 两 level gate 设计不一致

• FINAL_DOMAIN_IMPLEMENTATION_DESIGN.md:189-190 / FR-D11 设计："Two honest gate levels: shell (fast, structural, registered) and full (regulator, semantic closure); shell-only pass is at most bounded"。
• tools/phase_runtime/gate_registry.py:21-26 的 fallback registry 中，check_report_completeness 命令为 ["python3", "tools/report_scaffold/check_report_completeness.py", "--report", arg]，未传 --profile shell 或 --skip-regulator。
• tools/unified_gate/gate_manifest.yaml:14 中该 gate 的 regulator: forced。
• 结果：phase plan 写 exit_criteria: ["gate_pass:check_report_completeness:<report.md>"] 时会触发 regulator 模型调用，无法做快速的 shell-level phase exit。

发现 2：receipt 写入全扫 135MB 台账，可能加剧 phase-exit 超时

• contexts/tool_receipts/receipts.jsonl 当前 135M（ls -lh 亲测）。
• 已知 cross-cutting 性能问题：全扫大台账 × armed 写 × 锁竞争（project_testsys_landing_methodology.md 记忆）。
• 亲测：python3 tools/report_scaffold/check_report_completeness.py --report ... --skip-regulator --json 多次超时（exit 124），而 scan_file() 直接调用在 <1s 内返回。hang 点在 CLI 层的 receipt 记录或模型调用，不是核心扫描逻辑。

发现 3：report_context_packet.py 新引入 evidence_class 映射与 tools.infra_core.contracts 耦合

• report_context_packet.py:14 导入 tools.infra_core.contracts as shared_contracts；EVIDENCE_CLASS_BY_TYPE:39-50 将 evidence_type 映射到 EvidenceClass。
• 这是本次 W2-fr 的新增改动（git diff 可见），方向正确（统一证据词汇），但增加了 report_scaffold 对 infra_core 的依赖。该依赖目前无循环，且测试通过。

维度 3：产物可用性（真实入口调用走通）

亲测通过

1. Packet schema 验证
• ```bash
• python3 adhoc_jobs/context_infra_base_tooling_buildout_20260615/Run5/run_artifacts/W2-fr/evidence/run_real_packet.py
• ```
• 输出：{"issue_count": 0, "issues": [], "packet": ".../real_report_context_packet.json"}

1. Oracle 确定性 fixture
• ```bash
• python3 tools/report_scaffold/run_oracle.py --reps 0
• ```
• 输出：11/11 PASS（6 text + 5 packet fixtures），log 写入 tools/report_scaffold/logs/oracle_run_20260705_040809.md。

1. 单元测试
• ```bash
• python3 -m pytest tools/report_scaffold/tests/test_report_context_packet.py -v
• ```
• 输出：17 passed。

亲测失败 / 受阻

1. phase-exit gate_pass 谓词超时
• ```bash
• timeout 15 python3 -c "from tools.phase_runtime.gate_registry import run_gate_pass_predicate; print(run_gate_pass_predicate('gate_pass:check_report_completeness:tools/report_scaffold/fixtures/packet_existing_system_pass.md'))"
• ```
• 结果：exit 124（超时）。

1. report_scaffold 无法从 packet 渲染报告
• ```bash
• python3 tools/report_scaffold/report_scaffold.py --help
• ```
• 输出只有 task_id, --slug, --out-dir；无 --packet/--mode。

1. check_report_completeness CLI 在部分场景下超时
• ```bash
• timeout 5 python3 tools/report_scaffold/check_report_completeness.py --report tools/report_scaffold/fixtures/rc5_before_after_mermaid_pass.md --skip-regulator --json
• ```
• 结果：exit 124。
• 同文件直接调用 scan_file() 立即返回 PASS，说明 hang 在 CLI 外层（receipt/模型路径）。

维度 4：skill/session 引导（可见性三属性）

显著且可用

• tools/INDEX.md:25 明确列出 report_context_packet 工具，描述为 "final_report context packet 生成器"。
• tools/INDEX.md:64 将 check_report_completeness 与 workflow_landing_to_production 配对，并标注 gate_pass:<gate_id>:<arg> 入口。

不足

• rules/skills/drafts/workflow_report_writing_matrix.md 与 workflow_change_visualization.md 未将 packet 作为报告写作/变更可视化的输入路由。新能力入口在术 skill 和道 skill 中不可见。
• tools/report_scaffold/README.md 未更新 --packet/--mode/--profile 用法，冷启动 agent 读 README 会以为 scaffold 仍是旧路径。
• workflow_phase_framework.md 对 final_report phase 仍保持 advisory（FR-D16 / FR-X09 设计决策），未在 loader 强制；这与设计一致，但不利于新 agent 自动触发 final_report。

维度 5：忠于设计初衷

仍在解核心问题

设计的核心问题是 "final_report 作为 terminal evidence projection，不能成为平行 truth source，overclaim 必须机械可检测"。这一点通过 report_context_packet + validate_packet + RC6/RC7/RC8 实现了：

• evidence_index 只存引用、不内联上游事实（TH-002）。
• RC6 对 unresolved evidence id fail-closed。
• RC7 对 claim ceiling 超过最弱证据 fail-closed。
• RC8 对 forbidden claims 出现在报告正文中 fail-closed。

为转绿而窄化的迹象

1. 验收停在 shell fixture 级：设计明确说 "shell-only pass is at most bounded"，但本次 Run5 只跑了 shell profile 的真实 packet，未执行 FR-S3 semantic hidden-residual dogfood（RCL FR-X04 自己也承认）。
2. packet 仍依赖手工编写：report_state_snapshot.py 不存在，report_scaffold.py 不能从 packet 渲染，意味着 packet 机制没有形成闭环，仍需人工构造 JSON。这与 FR-D05/FR-D06 "自动生成 SSOT" 的意图有差距。
3. 缺失 hidden_residual regulator fixture：FR-D17 列了 6 个 fixture 场景，实际只有 5 个，regulator 维度未在 oracle 中覆盖。

RCL 行逐条抽验

F-单建议（回流协调者裁决）

1. F-FR-1：tools/phase_runtime/gate_registry.py:21-26 的 fallback check_report_completeness 命令应追加 --profile shell 或 --skip-regulator，使 phase-exit 走 fast deterministic path；如需 full profile，应在 manifest 中单独注册或让报告 header 声明 gate_profile 后由 checker 解析。当前 regulator: forced 与 "shell-only pass is at most bounded" 的设计意图冲突。
2. F-FR-2：report_scaffold.py 应实现 --packet/--mode CLI 与 render_packet_block（FR-D06），否则 packet 无法自动进入报告正文，SSOT 仍是手工旁路。
3. F-FR-3：report_state_snapshot.py 应至少实现一个 partial-aware 手工/半自动版本（FR-D05），让 W2-fr 的真实 packet 不必由 run_real_packet.py 硬编码构造。
4. F-FR-4：workflow_report_writing_matrix.md 与 workflow_change_visualization.md 应加入 packet 作为输入路由（FR-X07），让冷启动 agent 能在 skill 层找到本域能力入口。
5. F-FR-5：run_oracle.py 应补齐 packet_hidden_residual_flag regulator fixture（FR-D17），并验证 --profile full 路径能捕获 hidden residual。
6. F-FR-6：tools/report_scaffold/check_report_completeness.py CLI 层的 receipt 记录/模型调用路径存在 hang（即使 --skip-regulator 也超时），需与 cross-cutting 的 receipt.py 性能修复同步验证。

结论段

final_report 域在 Run5 W2-fr 完成了对账诚实性工作：RCL 边界声明准确，真实 packet 生成通过，核心 schema 与 shell-level deterministic checks 已落地且测试绿。但产物尚未形成完整 workflow：report_scaffold 不能消费 packet、report_state_snapshot 不存在、skill routing 未更新、phase-exit gate 调用因 regulator/receipt 路径无法快速通过。综合判定为 worked_partially。