用途：从已建成的软件系统中逆向提取精确、行为优先的规格，产出 specs/features/<capability-name>/spec.md，使其他 AI 智能体或工程团队无需原代码库即可按行为、规则、字段逐项重建系统。定位是取证式领域写作，而非代码分析，不重新设计系统。
主要能力：按能力划分提取单元，识别领域核心概念（字段、类型、必填、默认值、状态、状态转换、不变量、身份规则）；完整定义用例（参与者、前置条件、输入校验、主流程、分支、后置状态、通知、授权、副作用、失败情形）；精确描述业务规则与校验逻辑；保留授权与可见性规则；保留副作用（数据库写入、通知、外部调用、后台任务、审计）。规格采用 Requirement 与 Scenario 结构，Scenario 使用 WHEN/THEN/AND 格式。
使用方式：先做 Phase 0 提取分区，按有界上下文或内聚文件组划分；在用户明确授权且运行环境支持子智能体时，可按上下文或文件组派发子智能体，并汇总去重后再写入规范。子智能体输出候选需求、证据表、覆盖矩阵与缺口表。随后建立强制覆盖矩阵，覆盖正常路径、输入契约、输出契约、持久化读写等。
限制：数据库契约必须原样保留，不得清理、重命名、规范化或现代化；输出只描述行为，不使用类名、方法名、文件名、框架名、分层名或 ORM 概念；每条陈述须标注 VERIFIED、INFERRED 或 UNCERTAIN；不得在规格中修复坏代码或遗漏边缘情况。资料未提供具体安装命令、收费、价格与平台信息。