Free practice · matching · medium
Practice
Match loop risks to evidence
Match each loop risk to the trace evidence that would expose it.
Repeated-state trace
A loop must make visible progress toward a defined stop
- InitializeSet deliberate starting state
- ReadTake the next item or state
- DecideEvaluate the loop condition
- UpdateChange counters and accumulators
- RecordWrite the reached state
- StopConfirm the stopping rule
Record the item, condition, counter, accumulator, and stopping decision on every pass to expose skipped, duplicated, or non-terminating work.