deciding when an agent should stop: a study session that did not turn into more notes · PitHub