Looping Is Not Reliability: State-Bound Evidence and Typed Revision Contracts for Agentic Code Repair.

arXiv:2607.24604v3 Announce Type: replace-cross Abstract: Generate--test--revise loops are common in coding agents, but repetition alone provides no reliability guarantee. We study the gap between finding a correct patch and retaining, verifying, and submittin