Home / Figures / Chapter 3

Figure 3.5: The loop has three ways out, and they are not equally trustworthy

The loop has three ways out, and they are not equally trustworthy.
Figure 3.5 The loop has three ways out, and they are not equally trustworthy. A verified check—a suite that goes green, a file that parses—is evidence, and where one exists it should pronounce the run finished (in accent). The model's own “done” is only testimony, believed with caution. And the budget cap is the safety net: it settles nothing about the work, but it guarantees the loop stops, so it must always be there.