Looping Is Not Reliability: State-Bound Evidence and Typed Revision Contracts for Agentic Code Repair
The paper "Looping Is Not Reliability" challenges the assumption that more AI agent attempts lead to better code repair. The hosts discuss how correctness can drop during iterations and propose "evidence-bound typed loop contracts" using specific revision actions and code hashes to ensure stability and prevent errors.