fix(census): comment-aware proof-holes.sh, Idris2 undefined-declaration axioms; refresh 13 rows - #27

fix(census): comment-aware proof-holes.sh, Idris2 undefined-declaration axioms; refresh 13 rows#27

hyperpolymath wants to merge 4 commits into

mainhyperpolymath/mathesis:mainfrom

claude/ephapax-architecture-plan-gzyctrhyperpolymath/mathesis:claude/ephapax-architecture-plan-gzyctrCopy head branch name to clipboard