Verification gate

A check the model cannot argue its way past, because the harness enforces it rather than the model. Task and idle hooks that block a transition on a non-zero exit are one shape; pre-commit hooks and required CI checks are the same shape. Prefer deterministic graders where you can get them: a validator can prove a field is missing, where a model can only argue that its work is complete.