October 10, 2026· ~7 min readpi /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