Looping Is Not Reliability: State-Bound Evidence and Typed Revision Contracts for Agentic Code Repair
arXiv:2607.24604v1 Announce Type: 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 c