The rules that end a run. Three families: the model's own judgment that the goal is met (testimony, and the least trustworthy exit); the budget, mandatory; and error exits, split by one question—can the model act on this error, or is it evidence the run is off the rails? Feed back the first kind; halt on the second (Chapter 3).