Researchers present a framework for bounded loops in agent systems that guarantees termination, prevents drift, and enforces spending limits through independent gates and repair relations. They introduce a measurement instrument to detect vacuous and self-attesting gates in agent harnesses, finding 47 problematic gates in production code across a 69-loop catalog.