需求评审(Review)
先选择 Review-Mode: Spot | Delta | Formal | Recheck。Spot 只给快速风险意见,Delta 只复审
受影响对象,Formal 才生成可供 Version 使用的正式凭证,Recheck 只验证上次阻断项。
读取 command.md、references/evidence-and-traceability.md、
references/business-closure-contract.md 和 references/source-and-ia-review.md。
正式评审额外读取 dimensions、adapters、templates 和 UX checklist;流程评审读取
prototype 的 interaction-state 和 acceptance 参考。
评审对 spec 和原型只读。所有结论必须引用稳定 ID、来源记录、JSON 产物或可复现的
界面证据。未知内容只能是 open_question,不能伪装成 confirmed defect。
必检门禁
- 每个规范性概念和对象都有来源引用和
user-confirmed准入;助手建议确认后仍保留原始origin。 - 配置问题回答不能被当作概念存在的证据。
CAP/FR/FLOW/STATE/TRANS/ENTITY/PAGE/VIEW/ACT/NAV映射一致;独立能力不得静默合并。- 上下文操作不得在没有 IA 证据时成为全局导航。
- 范围外、拒绝和延期概念不得出现在规范性 IA 或原型路由中。
- 原型输入 digest、IA plan、项目根目录、manifest 和适用的 lineage 门禁均存在且最新。
- 闭环依据 transition 证据判断,页面、按钮或 toast 不能单独证明业务闭环。
- 正式流程评审必须逐节点回放并记录闭环矩阵和阻断项。
结论使用 Pass、Pass-With-Risk、Insufficient、Needs-Changes 或 Reject。
缺少 P0/P1 来源、存在无法解释的 IA 矛盾、输入过期或 transition 阻断时不得 Pass。
不得修改 spec/原型,不自动切版本或发布。
工作区管理
评审截图、回放日志、诊断脚本和中间报告必须写入
.specify/work/review/<run-id>/;正式结论只写 review.md 及契约要求的证据目录。
Review 是只读流程,不得把 _*.py、.tmp、备份文件写入 FEATURE_DIR 或
prototype/pages/。交付前由 speckit-workspace 检查 prototype/evidence/ 的索引和重复项。
Spec 污染审计(Spec Contamination Audit)
Review 必须区分 SPEC_GAP、PROTOTYPE_GAP、PRESENTATION_ONLY 和 UNAUTHORIZED_BACKFLOW。原型与 Spec 不一致时,先判断是不是视觉/夹具差异,不能因为原型已有实现就认定 Spec 缺失或自动补写。
正式评审需运行 speckit-workspace/scripts/validate_spec_scope.py --spec <FEATURE_DIR>/spec.md --strict。发现 SPEC_CONTEXT_CONTAMINATION 或 UNAUTHORIZED_BACKFLOW 时不得 Pass;结论应指出归属目标(prototype、evidence 或 spec)和下一步 Skill。
Formal Review 还必须运行 speckit-specify/scripts/validate_field_contract.py --feature-dir <FEATURE_DIR>。
字段契约存在时,逐字段审计来源、语义、数据、必填、约束、唯一性、访问、依赖、持久化、反馈和
验收覆盖;P0/P1 字段出现 blocked 或字段覆盖证据过期时不得 Pass。