Merge main into feat/solo-core-metatheory-proofs (un-block #614)#615

hyperpolymath merged 12 commits into

feat/solo-core-metatheory-proofshyperpolymath/affinescript:feat/solo-core-metatheory-proofsfrom

claude/inspiring-newton-dg5wovhyperpolymath/affinescript:claude/inspiring-newton-dg5wovCopy head branch name to clipboard