A fail-closed local quality gate that makes generated code prove it works - View it on GitHub