Observation Scope
Kind: invariant
Record: reasoning:invariant-epi-observation-locates
Canonical: Reasoning
Dynamic observation locates a failure and never certifies absence
Listed in Reasoning records, after Weakest Link and before Three-Condition Stop.