当正确性反馈消除反例证据：Verus 中的阶段分离规范完整性审计

研究发现在 Verus/Rust 规范完整性审计中，正确性反馈会抑制用于证明规范不完备的关键反例。在 12 项任务与 4 个模型族的评测中，独立无反馈发现机制将认证反例生成率从 IntentShield 纠错反馈循环的 27.1% 提升至 59.0%。保留这些反例使 Phase-Revised 规范实现了 81.3% 的实现成功率，显著优于 IS-Revised 的 62.5%。