proofs: record theory grades as PROOF-POLICY §8 PWG; scan the import cone - #170

proofs: record theory grades as PROOF-POLICY §8 PWG; scan the import cone#170

hyperpolymath merged 4 commits into

mainhyperpolymath/januskey:mainfrom

claude/awesome-wright-va45xohyperpolymath/januskey:claude/awesome-wright-va45xoCopy head branch name to clipboard