概念proof 门 / Proof 门
proof gate
AI Agent 代码审查中的一道质量门，要求存在一个在改动前失败、改动后通过的新测试，以验证变更确实修复了问题，而非仅凭感觉接受 diff。
时间轴 (近 90 天)
10月17日
审diff应使用三道门按顺序检查，遇到第一个失败即拒：build（测试套件是否通过）、scope（diff是否只触及允许路径）、proof（是否有新测试在改动前失败、改动后通过）。
待验证50%
AI Agent 代码审查中的一道质量门，要求存在一个在改动前失败、改动后通过的新测试，以验证变更确实修复了问题，而非仅凭感觉接受 diff。
审diff应使用三道门按顺序检查，遇到第一个失败即拒：build（测试套件是否通过）、scope（diff是否只触及允许路径）、proof（是否有新测试在改动前失败、改动后通过）。