Correctness feedback suppresses evidence of specification-completeness auditing in Verus; independent no-feedback discovery doubles certified-witness yield across 12 Verus/Rust tasks.
Read original on arXiv cs.AI ↗arXiv:2610.20676v1 Announce Type: new Abstract: Correctness feedback suppresses the very evidence that specification-completeness auditing is designed to uncover: programs that satisfy a written contract but violate...
Original headline: "When Correctness Feedback Erases Evidence: Phase-Separated Completeness Auditing in Verus"
Timeline
- October 17, 2026 When Correctness Feedback Erases Evidence: Phase-Separated Completeness Auditing in Verus arXiv cs.AI