verification-gated

Definition

A design where output only advances if it passes an automatic check — tests, a type checker, a formal verifier, a simulator run — and anything that fails is discarded or regenerated. The purpose is to stop errors from propagating downstream, which matters most when later stages amplify earlier mistakes. It differs from post-hoc human review in that the gate is mechanical and unconditional: nothing gets through on the strength of looking plausible.

Explainers using this term

• Paper Explainer: SemaPLC — The Agent That Isn't Allowed to Say "Done"SemaPLC: A Project-Grounded, Verification-Gated Agent Harness for PLC Code Generation