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

> Толық мәтін ағылшын тілінде

**Published:** 2026 ж. 16 қазан
**Author:** Adarsh Agrawal (Independent Researcher)
**Source:** arXiv — cs.AI
**Language:** en-US
**HTML:** https://aiqazaqstan.com/kk/articles/when-correctness-feedback-erases-evidence-phase-separated-completeness-a

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 objective reversal on 12…

> Материал бастапқы дереккөзден алынған: **arXiv — cs.AI**
> [Толық мәтінді arXiv — cs.AI сайтында оқу](https://arxiv.org/abs/2610.20676)

**Тегтер:** #arXiv

---

*AI Qazaqstan — non-commercial informational portal about AI in Kazakhstan. Machine translations and summaries are AI-generated.*