Repository navigation

Research: certified format ceilings for Eisenstein/Gaussian/Hurwitz E8 copy floors (no κ claim) - #801

Merged

Mister-Meeseeks merged 2 commits into

CrocSwap:mainfrom

Rohansguliani:structural-copy-lever

Oct 16, 2026

Merged

Research: certified format ceilings for Eisenstein/Gaussian/Hurwitz E8 copy floors (no κ claim)#801
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
Rohansguliani:structural-copy-lever

Commits on Oct 13, 2026
- Add label-field census: rank-k E8 labels do not beat the E8 unit (no kappa claim)
  Rohansguliani
  committed
  63450b7
- Reposition census on prior E8 floors (#620/#703/#738/#770/#798); add certified copy-cost sweep
  Rohansguliani
  committed
  f075865