Last released Sep 18, 2026
Proof-gated harness for AI coding agents — mechanical gates, local-first, evidence-backed