用途：从现有代码反向提取需求，生成可审阅的行为基线规格，适用于代码库缺少需求文档、重构迁移或交接前固化现有行为、接手无文档遗留系统等场景。
主要能力：界定最小完整分析范围；从代码中提取可观察行为（入口点、输入与校验、输出与副作用、错误路径、状态与生命周期），并逐项记录文件与行号证据；将行为事实归纳为可测试的需求；按 Spec Kit 结构产出 spec.md；标注不确定项与假设。
使用方式：输入目标范围（路径、文件清单、模块名或 glob 模式）与代码库上下文，若存在 .specify/ 目录则一并读取其中模板与脚本，可选提供业务背景。范围缺失或有歧义时先提出聚焦问题。产出写入 specs/<feature>/spec.md，若 .specify/templates/spec-template.md 存在则以它为准。
限制：这是只读分析流程，不修改代码，产出物只有规格文档；不臆测设计意图，代码没做的事不写成需求；产出的是当前行为基线而非期望状态；最多保留 3 个 [NEEDS CLARIFICATION] 标记，其余不确定处写入 Assumptions 章节；发现的实现缺口单列，不写入规格正文。成功标准需可度量、与技术无关、以用户为中心、可验证。