When Correctness Feedback Erases Evidence: Phase-Separated Completeness Auditing in Verus.

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 intended behavior. We demonstrate this objec