fix(census): name a repo's PROOF-STATUS, not its PROOF-NEEDS, as status_doc - #23

fix(census): name a repo's PROOF-STATUS, not its PROOF-NEEDS, as status_doc#23

hyperpolymath merged 7 commits into

mainhyperpolymath/mathesis:mainfrom

claude/census-status-doc-preferencehyperpolymath/mathesis:claude/census-status-doc-preferenceCopy head branch name to clipboard