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

Xueping Gao, Jianwei Yang, Qiang Yang

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, ve…