Skip to content

Conditional κ = 0.001614202339036103: 46 hyperplane-ended helpers per call via commuting-prefix cleanup - #601

Merged
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
jeremykothe2:hpe-m46
Oct 12, 2026
Merged

Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
jeremykothe2:hpe-m46

Ship the reviewed proof note PROOF-COMMUTING-PREFIX.md in the package

529ab7d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
certificate (3.11)
succeeded Oct 13, 2026 in 4m 5s