Abstract page for arXiv paper 2610.20676: When Correctness Feedback Erases Evidence: Phase-Separated Completeness Auditing in Verus