Skip to content

All-width certificate for the complete #5413 caller: group-algebra lifting lemma, 896 port identities, free body, abelian controller (no new kappa) - #5442

Merged
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
Matarener:fork/allwidth-certificate
Oct 25, 2026
Merged

All-width certificate for the complete #5413 caller: group-algebra lifting lemma, 896 port identities, free body, abelian controller (no new kappa)#5442
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
Matarener:fork/allwidth-certificate

Move the mode cache rows and certify the eight mode outputs as C8 z i…

4d5abe0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 24, 2026 in 4m 29s