until-done

pi /until-done in practice: the agent works until the proof lands

The core problem of every autonomous coding agent is not speed, it is honesty: the agent reports "done" as soon as it *believes* it is done, and test