# Review 阶段执行原则

## 审计最佳实践

- Spec-Code 覆盖：从 spec 提取全量 AC，逐条比对实现
- AC 矩阵：输出 AC编号 | 覆盖状态 | 对应代码位置
- 证据驱动：每个结论必须附可验证依据
- 独立审计：开发者不自审，审计由独立角色执行
- 阻断标准：任意 AC 未实现或部分覆盖 = blocker
