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

Merged

hyperpolymath merged 6 commits into

mainfrom

codex/live-proof-stack-20260907

Sep 12, 2026

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

Commits on Sep 12, 2026

Merge branch 'main' into codex/live-proof-stack-20260907
hyperpolymath
authored
dd4f879