spec - 从架构生成可追踪规范
从已批准的架构创建可追踪规范，包括不变量、边界情况和验收标准
标签
更新于: 2026-05-28能力
典型输入
典型输出
该技能可以做什么
- 读取架构文档
- 提取不变量
- 列举边界情况
- 创建验收矩阵
- 定义失败模式
- 生成规范文档
- 分配测试ID
- 定义覆盖率目标
输入
- ARCHITECTURE.md
- Gate 1 批准
- SPEC_ID 列表
输出
- SPECIFICATION.md
- 不变量注册表
- 边界情况目录
- 验收矩阵
- 测试ID
- 失败模式分析
要求
- ARCHITECTURE.md 已批准
- Gate 1 完成
- GATE_1_ARCHITECTURE.md 存在