用途：为 AI 代码生成流水线提供规范驱动开发（SDD）方法论。规范是流水线的可执行输入与唯一事实来源，下游产物必须可追溯到规范。
主要能力：提供 5 阶段流水线思路（INCEPTION → SPECIFY → DECOMPOSE → IMPLEMENT → VERIFY → DELIVER），每阶段之间设门禁（Gate 1-4），在进入下一阶段前评审；给出 SDD 核心原则（精确优先于清晰、完整优先于简短、可测试优先于描述性、规范即测试等）；提供方法论选择矩阵（OpenAPI、AsyncAPI、BDD/Gherkin、Design by Contract、TLA+/Alloy、ADRs、C4、用户故事）及其 AI 就绪度；提供非功能需求编码、格式互转、批评与权衡的参考文档；提供 SPEC.md、REVIEW.md、TASK-PLAN.md、VERIFICATION.md 模板与示例规范；提供校验脚本。
使用方式：从与现有材料匹配的阶段进入（模糊想法→SPECIFY；已有规范→DECOMPOSE；规范与任务计划已批准→IMPLEMENT；已有代码待验证→VERIFY）。按需选择 Full、Lightweight 或 Minimal 模式及对应门禁。可运行 scripts/spec-quality-check.sh 校验 SPEC.md 必需段落，运行 scripts/spec-to-tasks.sh 校验每条规范 AC 都有对应任务引用。工具无关，模板为 markdown，可配合 CLAUDE.md、.cursorrules、AGENTS.md 等交接机制。
业务策略场景：将业务条款转为可重复的资格或路由判定时，使用发布契约，保留策略所有者权威与独立翻译保真证据，并设明确评审通道；可运行 python3 scripts/business_policy.py --input evals/loan-request.json 做只读合成演示（需 Python 3.10+ 与标准库），python3 -m pytest scripts/test_business_policy.py 运行契约测试（需 pytest）。确定性执行不等于生成解释正确。业务规则不得臆造权威条款或所有者批准，需完整有效事实、所有者评审的优先级、独立来源派生的测试夹具，并仅按权威事件日期/范围选出唯一适用版本；调用方指定版本不得绕过适用性；事实缺失或解释未定需转评审；正日政策必须拒绝零；无执行证据时测试须报告为未运行，测试通过也不能保证翻译正确或 100% 合规。
限制：不适用的情形包括目标单一的单个小改动（直接实现并按工作分类处理）、需要流水线外围控制面协议的场景（使用 bmad 处理意图契约、工作分类、自主性门控与失败路由），以及问题本身尚未验证时（先走产品发现）。工具细节与收费信息暂未提供。