Skip to content

proofs: honest prover gate — absent prover = fail, z3 expect-checked, Print Assumptions gated, Agda 4/4 --safe (4b–4d) - #172

Merged
hyperpolymath merged 4 commits into
mainfrom
fix/4b-4d-prover-honesty
Sep 23, 2026
Merged

proofs: honest prover gate — absent prover = fail, z3 expect-checked, Print Assumptions gated, Agda 4/4 --safe (4b–4d)#172
hyperpolymath merged 4 commits into
mainfrom
fix/4b-4d-prover-honesty

verify-all-provers: run the Print Assumptions audit and its control i…

b0a08cc
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar