ProofRun

ProofRun 真实启动测试子进程、记录退出码，并把结果绑定到 Git HEAD、已跟踪 diff 和未跟踪文件内容的 SHA-256 指纹；任一字节变化都会把 PASS 改成 STALE。回执使用本地随机密钥做 HMAC-SHA256，命令按 argv 精确比较，状态限定为 PASS、FAIL、STALE、NOT RUN。它不尝试理解测试输出或代码质量，只解决 agent 声称“测试已跑”时证据能否对应当前工作树这一窄而关键的问题。