docs: PROOF-NEEDS reconciliation 2026-05-30 + profile-doc cleanup#118

hyperpolymath merged 1 commit into

mainhyperpolymath/typed-wasm:mainfrom

followup-stale-profile-and-proof-needshyperpolymath/typed-wasm:followup-stale-profile-and-proof-needsCopy head branch name to clipboard