docs(proofs): align README, AFFIRMATION and EXPLAINME with the proof ledger; Agda-first convergence plan - #1030

docs(proofs): align README, AFFIRMATION and EXPLAINME with the proof ledger; Agda-first convergence plan#1030

hyperpolymath merged 3 commits into

claude/eager-wright-zwwbe2-proof-ledgerhyperpolymath/hypatia:claude/eager-wright-zwwbe2-proof-ledgerfrom

claude/eager-wright-zwwbe2-proof-claimshyperpolymath/hypatia:claude/eager-wright-zwwbe2-proof-claimsCopy head branch name to clipboard