# Three-Condition Stop

> A run stops when saturation, completion and verification all hold, or when it is blocked on something outside it

Record: `reasoning:invariant-epi-terminate-on-three`
Kind: invariant
Canonical: https://banes-lab.com/ontology/reasoning#reasoning-invariant-epi-terminate-on-three

Listed in [Reasoning records](https://banes-lab.com/api/records/reasoning.md), after [Observation Scope](https://banes-lab.com/records/reasoning/invariant-epi-observation-locates.md) and before [Substrate](https://banes-lab.com/records/reasoning/layer-substrate.md).

## Grounded by

- [COMPLETION](https://banes-lab.com/records/pag/keyword-report-completion.md)

## Linked from

- [Failure shapes](https://banes-lab.com/ontology/reasoning/the-failure-shapes.md)
- [report](https://banes-lab.com/ontology/grammar/pag-keywords-report.md)