T5-R3 quiz

What is a step cap? Answer: A maximum number of tool rounds. It bounds the loop.

What belongs in the trace? Answer: Proposal, result, and stop reason. The path is the evidence.

What does lab 07 illustrate? Answer: A correction and a stop. The loop ends on purpose.

Sources and go deeper