Verus/Rust中正确性反馈抑制证据发现及分阶段完整性审计研究

发生了什么

据arXiv论文《When Correctness Feedback Erases Evidence: Phase-Separated Completeness Auditing in Verus》指出，正确性反馈会抑制规范完整性审计所需的证据发现。在12个Verus/Rust任务中，独立无反馈发现比IntentShield的纠正反馈循环多产生两倍的认证见证（59.0% vs 27.1%）。分阶段执行保留了这些见证，实现了81.3%的实现成功率，优于IS-Revised的62.5%。