用途：面向无文档的棕地/遗留项目，通过穷尽分析现有代码生成“不含实现细节”的行为规格，作为在既有代码库上自主开发的基础，支持安全重构、新增功能与现代化改造。核心原则是记录真实行为（包括缺陷），缺陷在被明确标记修复前视为“已记录的特性”。该技能为刚性流程，每条代码路径都必须追踪，不允许假设或跳过。
主要能力与流程：分四阶段。阶段一穷尽代码调查，通过 Agent 工具部署并行子代理（subagent_type="Explore"，最多 500 个），分析入口点、代码路径、数据流、状态变更、错误处理、副作用、配置、依赖、并发与隐式行为；按代码库规模选择策略（小 <50 文件单遍全扫 5-10 个子代理；中 50-500 文件逐模块 50-100；大 500+ 文件入口优先再深度扫描 200-500）。调查后暂停并汇报入口点、数据流与行为摘要，确认后再生成规格。阶段二生成行为规格，剥离全部实现细节，只描述 WHAT 不描述 HOW，用 Given/When/Then 写验收标准，包含数据契约，已知问题单独放入 KNOWN_ISSUES.md。阶段三按 specs/01-[能力].md 等命名组织文件，KNOWN_ISSUES.md 记录当前行为、预期行为、受影响规格、严重级别（Critical/High/Medium/Low）与备注。阶段四质量验证，12 项检查全部通过方可完成。
使用方式与限制：需按阶段暂停并让用户审阅；不得在规格中写入代码、技术名或架构；不得在逆向工程时修复缺陷，应记入 KNOWN_ISSUES.md；不得跳过并发与配置分析，不得凭函数名假设行为。与 spec-writing、autonomous-loop、acceptance-testing、self-learning、planning、systematic-debugging 等技能存在集成关系。具体安装命令与调用方式暂未提供。