Reference implementation and pattern library for proof gates: agent-authored verification contracts resistant to sycophancy and distribution skew. Reproducibility artifact for the paper 'Proof Gates' (Whittaker 2026).
Identity-aware pre-commit linter. Validates references to specific people against a JSON-defined SSOT. Sibling artifact to proof-gate-patterns; demonstrates the operator-authored verification pattern from the paper 'Proof Gates' (Whittaker 2026).
Add a description, image, and links to the proof-gates topic page so that developers can more easily learn about it.
To associate your repository with the proof-gates topic, visit your repo's landing page and select "manage topics."