Proof Agent

对 AI 生成的 diff 做独立验证：运行密封的验证流水线，报告 PASS、FAIL 或 PARTIAL，本身不评判代码。