fix(proofs): repair build harness; correct false 'all six compile' claim (ADR-0007)#61

hyperpolymath merged 1 commit into

mainhyperpolymath/burble:mainfrom

fix/proof-build-harnesshyperpolymath/burble:fix/proof-build-harnessCopy head branch name to clipboard