re-generate-report

用途：将逆向工程第一阶段到第三阶段的全部产物汇总为一份 As-Is 规格说明书。它读取 manifest.json 以发现产物，并生成单一综合报告。其三项原则为：代码即事实（As-Is 规格描述实际代码行为，疑似缺陷保留在问题清单而非从规格中移除，不做编辑性改进或“should”表述）；逐行可追溯（追溯矩阵将每条需求链接到源码行，所有发现可追溯到第一阶段至第三阶段产物，无来源的孤立发现会被标记复核）；行为优先于意图（执行摘要聚焦系统“做什么”而非“为什么”，架构模式依据观察到的结构描述，不假设业务意图）。执行方式：第一步读取 docs/reverse/{analysis}/manifest.json，校验 phase3.status 为 verified，否则报错停止；收集第一阶段结构图、第二阶段逻辑图、第三阶段需求文档，设置 phase4.status 为 in_progress。第二步交叉引用验证需求与逻辑图、逻辑图与结构图的对应关系，记录不一致。第三步构建追溯矩阵，合并第三阶段文档中的需求，列包含模块、REQ-ID、EARS 类型、需求、源文件:行与证据强度（强/中/弱）。第四步合并各阶段问题清单并按严重、重要、信息性分级。第五步生成执行摘要，涵盖系统类型与技术栈、主要功能、分析范围与覆盖、关键发现与技术债计数。第六步写入 docs/reverse/{analysis}/04-report.md，内含执行摘要、技术栈、模块目录、需求目录（按模块与 EARS 类型统计）、附录 A 逻辑图、附录 B 追溯矩阵、附录 C 问题清单、附录 D 分析约束。第七步更新 manifest：phase4.status 设为 completed，phase4.output 设为 04-report.md，更新时间戳。完成前校验包括：全部产物被收集引用、交叉引用完成、追溯矩阵链接全部需求、问题清单已分级、计数复核（执行摘要总数与需求目录一致，EARS 分布之和等于总数，问题清单数与附录 C 一致，需逐项重数而非沿用第三阶段或此前数字）、摘要反映真实发现、不添加第三阶段文档中不存在的需求、manifest.json 已更新。禁止事项：不得添加第三阶段产物中没有的需求，不得在 As-Is 规格中做编辑性改进或提出优化建议，不得移除疑似缺陷，不得推测业务意图，不得修改第一阶段至第三阶段产物。适用场景为对既有代码库进行逆向工程并整合规格。具体平台、收费与价格信息暂未提供。