用途：这是逆向工程工作流的第 4 阶段验证环节，用于核验 re-generate-report 生成的统合 As-Is 规格报告，对照第 1-3 阶段源产物检查完整性、可追溯性与准确性。它以独立 Critic 身份在独立智能体上下文中运行。
三项原则：代码即事实，第 1-3 阶段产物是唯一权威，报告写到产物中不存在的内容即为错误；可追溯至行，追溯矩阵中每条需求都必须回溯到第 3 阶段文档并最终指向源代码，链条断裂即失败；行为优先于意图，只核验报告声称与产物所示是否一致，不解释或合理化差异。
执行步骤：1) 读取 docs/reverse/{analysis}/manifest.json，确认 phase4.status 为 completed，否则报错停止；加载报告 04-report.md、结构图 01-structure-map.md、全部逻辑图 02-logic-.md、全部需求 03-requirements-.md。2) 完整性核验：对比结构图与报告模块目录、第 3 阶段需求与报告需求目录、逻辑图与报告附录引用，标记缺失项、缺失或多余需求。3) 追溯矩阵核验：确认每条 REQ-ID 存在于对应第 3 阶段文档，源 file:line 一致，EARS 类型分类一致。4) 交叉引用一致性：执行摘要与模块目录一致、摘要需求计数与实际计数一致、EARS 类型分布表算术正确、问题清单可追溯至第 1-3 阶段。5) 事实准确性抽查：随机选 5 条需求回溯至第 3 阶段文档与源代码。6) 生成验证报告写入 docs/reverse/{analysis}/verification/v4-report.md，含判定 PASS/WARN/FAIL、汇总表、缺失模块/需求/追溯问题/一致性问题/抽查结果及建议。7) 更新 manifest：设置 phase4.verification 为该路径，PASS 或 WARN 时置 phase4.status 为 verified，FAIL 时保持 completed，并更新 updated 时间戳。
判定标准：模块、需求、逻辑图完整性在 100% 为 PASS、>=90% 为 WARN、<90% 为 FAIL；追溯矩阵准确率 >=95% 为 PASS、85-94% 为 WARN、<85% 为 FAIL；内部一致性问题 0 为 PASS、1-2 为 WARN、>=3 为 FAIL；抽查准确性 5/5 为 PASS、4/5 为 WARN、<=3/5 为 FAIL。任一 FAIL 即整体 FAIL。
禁止事项：不得修改报告文档，不得修改第 1-3 阶段产物，不得在 FAIL 状态下批准文档，不得访问执行者（Doer）的对话上下文。具体工具调用与命令资料未提供。