SuperAPI AI 工具集

principle-evidence-follows-the-commit

测试与质量

查看项目

更新于 10-15 23:47

技能介绍

用途:在决定现有证据能否继续支持某个就绪(readiness)结论时使用。相似的 diff、通过的 CI 运行或早先的验证结论,都不能作为另一个修订的证明。

激活条件:当决策将依赖实现或验证证据、该证据用于支持某个 PR 或执行单元的就绪、且存在或应当存在确切的 PR 标识、head SHA、base SHA 与预期证据集时激活;当 head、base、下层堆叠分支或预期证据集自证据记录以来可能已变化时同样激活。

决策规则:仅当证据的 PR 标识、确切 head SHA、确切 base SHA 与预期证据 ID 均与被判定的修订一致时,才接受其为当前有效;否则标记判定为过期,并在声称就绪前重新获取受影响的新证据。

应用方式:验证前记录 PR 标识、完整 head SHA、完整 base SHA 与预期证据 ID;将每份回执与独立验证者的判定绑定到该修订与证据集;呈现判定前重新读取实际 head 与 base;比较标识与 SHA,而非补丁文本、树相似度、分支名、时间戳或 CI 标签;若绑定发生变化,保留旧回执作为历史、标记其判定过期,并针对新修订重跑所需证明;无法观察到确切修订或所需新证明时,报告为阻塞而非通过。

限制与反例:仅因 PR 标题、标签或讨论变化而批准范围、确切 head、确切 base 与证据集未变时,不应使判定失效;本原则不决定哪些证明方法足够,只管辖新鲜度与绑定;通过的 CI 结果是回执,不是独立验证判定;cherry-pick、rebase、修订提交或重新生成的提交即使文本补丁或树相同也有新 SHA,旧证据对新修订已过期;下层堆叠分支变化会改变上层 PR 的有效 base,其判定过期直至堆叠与受影响证明重新当前;历史证据仍可审计,过期指“对当前就绪无效”,而非删除记录。

可观察变化:就绪输出会列出 PR、完整 head 与 base SHA、预期证据 ID 与判定状态;绑定变化时输出从通过/当前变为过期或阻塞,并指出必须重跑的证明,绝不因两个 diff 看似等价而沿用判定。