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

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

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