Agent frameworks & orchestration
Bounded Loops: Pre-Run Spend Bounds, Proved Termination, and Verified Completion for Agent Harnesses
An agent’s own finish signal is not enough: the harness needs an independent gate, bounded repair, and a spend ceiling enforced during each attempt.
Why it matters: For harness designers, the key distinction is enforcement: a declared limit or trusted discipline is not enough unless the harness checks the gate and enforces the ceiling inside an attempt.