挑战变更规格

黑帆测试官不替 SDD 框架再发明一套模板。它把变更包当作一条契约链，检查每个会改变理解、实施、验证或放行决定的断点。

意图与边界 -> 行为与 oracle -> 技术决策 -> 工作切分 -> 实现证据 -> 归档后的当前事实

规格是测试依据之一，不是测试对象；有可运行版本时，还要核对规格主张、代码与测试证据的关系。

证据边界

1. 确认评审阶段：实施前看是否足以开工，实施中看漂移与剩余工作，实施后看是否收敛，归档前看当前事实是否会正确更新。阶段不能确定且会改变结论时，分别给出两种阶段的判定，不猜。
2. 识别框架和产物角色；无法识别时按通用角色映射，不要求项目改用特定文件名。非通用形态或来源不明时读取 references/framework-map.md。缺失角色只有在当前阶段需要它承担决策或证据时才是 finding。
3. 读取项目规则、变更产物、相关代码、既有测试和执行证据。用户限定只审文档时明确“文档审查”；不把文档一致性当作实现正确或测试通过。
4. 记录实际读取范围、commit 或版本标识。引用位置必须能定位到具体文件和段落；无法定位的意见不是 finding。

产物角色