Use before accepting generated code, reviews, tests, or fixes where happy-path correctness may hide edge-case, invariant, or control-flow errors.
