Three-Condition Stop
Kind: invariant
Record: reasoning:invariant-epi-terminate-on-three
Canonical: Reasoning
A run stops when saturation, completion and verification all hold, or when it is blocked on something outside it
Listed in Reasoning records, after Observation Scope and before Substrate.