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