使用项目的结论注册表,或初始项目中的 context/CLAIMS.md。命名声明、状态、确切输入修订版本、证据路径和命令、作者、适用时的验证者、日期以及范围限制。集成所有者维护该注册表;其他人可提出基于证据的变更。
状态:
- VERIFIED:验收标准已通过,且一个独立的人、Agent 或适当独立的自动化检查已复现了相关结果。命名验证者及验证方法。
- PROVISIONAL:存在支持性证据,但某个已命名的检查或依赖项仍处于开放状态。
- NOT SHOWN:指定的测试未能建立该声明。保留观察到的结果和失败说明。
- VOID:证据或假设被无效化或被取代。保留原因和替代引用。
区分“测试通过”与“生产环境安全”,以及“在工作负载 X 上更快”与“普适性提速”。陈述最狭窄的支持性结论。作者的第二次运行增强了证据,但不等同于独立验证。
在可行时,随着证据更新条目。不要在新的结果出现后静默覆盖结论;记录转变过程和原因。报告可以包含注册表之外的新工作,前提是明确标识为未经验证。当现有证据仍然支持现有声明时,无需进行编辑。