A practice-first plan for deciding when an agent should stop · PitHub