Repository navigation

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

Open

Matarener wants to merge 2 commits into

CrocSwap:mainfrom

Matarener:fork/allwidth-certificate

Open

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

Commits on Oct 24, 2026
- All-width certificate for the complete #5413 caller: group-algebra lifting lemma, 896 port identities, free body, abelian controller (no new kappa)
  
  Matarener
  and
  claude
  committed
  19e8f04
- Move the mode cache rows and certify the eight mode outputs as C8 z in C[G]
  
  Matarener
  and
  claude
  committed
  4d5abe0