Skip to content

fix(census): prefer a repository's PROOF-STATUS file as its status document - #17

Open
hyperpolymath wants to merge 2 commits into
mainfrom
claude/census-prefers-proof-status
Open

hyperpolymath wants to merge 2 commits into
mainfrom
claude/census-prefers-proof-status

Commits

  1. Commits on Nov 9, 2026