The integrity-aware finite release gate

The gate is a finite specification with possible refusals, not a general algorithm deciding arbitrary analytical coverage. A verifier does not formally certify itself by printing PASS.