fix(proof): require real proof rejection and valid Coq submissions - #376

Open

hyperpolymath wants to merge 5 commits into

mainfrom

codex/live-proof-stack-20260907

Commits on Sep 7, 2026

fix(proof): reject satisfiable obligations and verify live Coq submissions
hyperpolymath
committed
39fa68b
fix(ci): install native build tools and patch vulnerable dependencies
hyperpolymath
committed
8b0b2fa
fix(ci): verify Isabelle downloads and repair governance source pointers
hyperpolymath
committed
2ddd1a3
fix(ci): retain allowlisted action owner spelling
hyperpolymath
committed
858e796
Reject forged SMT status output and address verification review findings
hyperpolymath
committed
f60248f