The Executability Gate: Anchor-Failure Detection (V₂)

Extending the Consistency Gate The Consistency Gate (Passarelli 2026) specifies a validator V₁ that catches substrate-cancellation: premise sets containing {φ, ¬φ} are identified, returned as diagnostic objects, and removed before the inference engine fires. This covers one species of non-executable input. The second species &mdash; anchor-failure &mdash; is not yet formally specified.…