附录 C. 实践 SDD 检查清单

本附录可在实践周期中作为快速参考使用。它构建于第一卷的附录 C 之上：规范、实现和合并之前的基础检查清单不在此处重复。流程模板（合并请求、回顾、用于 /clear 和重新规划的最小提示）已移至 [examples/templates/](examples/templates/)：pr-template.md、retrospective.md、clear-prompt.md、replan-prompt.md。

在开始实践卷之前

• [ ] 已阅读第 0 部分，选定一个学习事故案例。
• [ ] 已了解各章节中哪些命令标记为 [runnable]，哪些标记为 [project script]。
• [ ] 已创建或规划好 capstone/ 目录用于最终交付包。
• [ ] 已理解第一卷中的 requirements.md、plan.md、validation.md、QWEN.md 以及证据包。
• [ ] 已选择阅读模式：学习最小集或完整生产路径。

在从遗留系统重建规范之前

• [ ] 所有来源都已列出，并注明所有者和链接。
• [ ] 事件时间已标准化。

• [ ] 需求与背景上下文已分离。
• [ ] 每项断言都有证据支持，或被标记为假设。
• [ ] 有争议的条目未进入已批准的合同。

在启动毒化规范之前

• [ ] 已注入且仅注入一个缺陷。
• [ ] 已描述预期的故障症状。
• [ ] 已制定恢复标准。
• [ ] 修复必须改动 spec/plan/validation，而不仅仅是修改解释。

在启用规范门禁（Spec CI）之前

• [ ] 需求具有稳定的 REQ-* 标识符。
• [ ] 计划项引用了相应的需求。
• [ ] 覆盖范围检查基于领域模型或 API 契约。
• [ ] validation.md 中的 JSON 示例通过模式验证。
• [ ] CI 错误信息包含文件、行号、规则、原因和修复建议。

在对争议变更进行文件仲裁之前

• [ ] 协调者、实现者和验证者的角色已提前说明。
• [ ] 验证者仅接受可验证的证据。
• [ ] 争议以文件差异（diff）解决，而非聊天中的争论。
• [ ] 重复出现的决策被记入 precedents.md。
• [ ] 已为人工评审设置停止条件。

在优化生产指标之前

• [ ] 目标指标与质量不变量已分离。
• [ ] 已为古德哈特情景设置红色按钮规则。
• [ ] 重放不仅检查聚合值，还检查行为漂移。
• [ ] 轨迹中包含决策来源、策略版本、提示词哈希或其他可复现的标识符。
• [ ] 阈值的调整被视为风险变更，而非对 YAML 的表面修改。

在自动修复之前

• [ ] 已明确后果影响半径。
• [ ] 已有试运行（dry-run）或安全预检。
• [ ] 回滚条件已在执行前记录。
• [ ] 在不确定、重复失败或后果半径扩大时，启用人工确认。
• [ ] 若风险较高，事件在获得两个独立的恢复确认前不得关闭。

在实践周期反模式审计之前

完整的症状与原因分析见第 12 部分。此处提供 12 个问题作为快速检查清单。

• [ ] constitution.md 作为执行前门禁生效，而非仅作为事后评审。
• [ ] mutable_rules 中没有缺失 ttl 或 ttl 超过 90 天的规则。

• [ ] 毒化规范失败后，至少修改一个产物（requirements.md、plan.md、validation.md），而不仅仅是解释。
• [ ] 验证者使用反例、hook 日志或 JSON Schema —— 而非自由文本。
• [ ] governance_protocol 中包含 Safety 的否决权和确定性的平局裁决机制。
• [ ] 可运行命令（[runnable]）与 [project script] 接口明确分离。
• [ ] 每个目标指标都配有对应的 anti-Goodhart 指标。
• [ ] 当 CI 失败时，修复代码而非放宽 validation.md。
• [ ] 层间切换设有预算上限和应急模式。
• [ ] QWEN.md 中的每条记录都包含作者、证据和 ttl。
• [ ] manual_review_floor 不受 KPI 数值影响而保留。
• [ ] 轨迹中的每条记录都填写了 evidence_ref 字段。

若有三个或以上条目为否，则不要新增自动化层；先关闭当前回路中的缺口。

在最终生产考核之前

• [ ] capstone/README.md 不依赖聊天历史即可解释该案例。
• [ ] genealogy.md 包含需求、来源、置信度级别和未决问题。

• [ ] Poisoned/fixed 对包含一个缺陷和一个可验证的修复。
• [ ] validation.md 至少引用一个实际运行的 runnable 示例或其项目等价物。
• [ ] judgment.md 包含判定、原因、evidence_ref 和下一步。
• [ ] 预算层和 anti-Goodhart 层各至少有一个阻塞性不变量。
• [ ] 就绪性结论将阻塞项与改进项区分开。
• [ ] 第 12 部分的诊断检查清单已完成，否定回答已指定负责人和下次复核时间。