getting an agent to stop safely: the version with actual constraints · PitHub