When Correctness Feedback Erases Evidence: Phase-Separated Completeness Auditing in Verus
Correctness feedback suppresses the very evidence that specification-completeness auditing is designed to uncover: programs that satisfy a written contract but violate intended behavior.
By Adarsh Agrawal (Independent Researcher)arXiv - cs.AI
Read the full story
Originally published by arXiv - cs.AI on Oct 16, 2026.
Comments
Sign in to join the discussion.