Repository navigation

Research notes (no κ claim): E8 decoder floors are tight; extension-ring, triple and Lorentzian units lose after helpers; cold-end, dispatch and fusion-search negatives - #620

Merged

Mister-Meeseeks merged 17 commits into

CrocSwap:mainfrom

GamingPuzzled:research/e8-decoder-floors-and-cold14-notes

Oct 16, 2026

Merged

Research notes (no κ claim): E8 decoder floors are tight; extension-ring, triple and Lorentzian units lose after helpers; cold-end, dispatch and fusion-search negatives#620
Mister-Meeseeks merged 17 commits into
CrocSwap:mainfrom
GamingPuzzled:research/e8-decoder-floors-and-cold14-notes

Commits on Oct 12, 2026
- Research notes (no kappa claim): E8 decoder floors and #615/#617 cold-end levers
  
  GamingPuzzled
  and
  claude
  committed
  384d1ee
- Add E8 extension-ring (Gaussian/Eisenstein/Hurwitz) and K12 unit screens
  
  GamingPuzzled
  and
  claude
  committed
  419c737
Commits on Oct 13, 2026
- Add unit-family notes (triple, Lorentzian I_{n,1}) and correct the E6 screen row (#630)
  
  GamingPuzzled
  and
  claude
  committed
  3759beb
- Add dispatch and cold-end pricing notes from the #639 lineage
  
  GamingPuzzled
  and
  claude
  committed
  e9cf03b
- Add Lorentzian puncture/helper notes and the no-new-kappa triage
  
  GamingPuzzled
  and
  claude
  committed
  8f0150e
- Freeze S4 expected logs; all five clique orbits UNSAT at k=19
  
  GamingPuzzled
  and
  claude
  committed
  b20f7bf
- Add exhaustive fusion/slot search results on the fused X54 words
  
  GamingPuzzled
  and
  claude
  committed
  7e0ced0
Commits on Oct 14, 2026
- Add extension-ring copy-cost floors: Eisenstein and Hurwitz excluded, Gaussian >= 40
  
  GamingPuzzled
  and
  claude
  committed
  1f57916
- Correct section 9: idle-overlay exchanges (#1268/#1280/#1305/#1324) were withdrawn as invalid
  
  GamingPuzzled
  and
  claude
  committed
  6416a6d
- Add helper-donor cold-kernel census on PR1319's word (no gains)
  
  GamingPuzzled
  and
  claude
  committed
  4fdf9c4
- Add supplier census on the 566+554 T74 word; explain section 11's missed kernels
  
  GamingPuzzled
  and
  claude
  committed
  2645bd2
- Add Gaussian E8 15-total theorem: every 15-total decoder costs exactly 60
  
  GamingPuzzled
  and
  claude
  committed
  c421a45
- Section 13: group-free sweep complete, all 1,500 3-flats UNSAT
  
  GamingPuzzled
  and
  claude
  committed
  792e193
- Force-add evidence and expected logs that the repository's *.log ignore rule had excluded
  
  GamingPuzzled
  and
  claude
  committed
  93273df
Commits on Oct 15, 2026
- Add Gaussian E8 16-total theorem: no 16-total decoder costs <= 42
  
  GamingPuzzled
  and
  claude
  committed
  0cacc03
- Add Gaussian E8 all-c bound cost >= max(40, 60-c) and exclusion of c = 18
  
  GamingPuzzled
  and
  claude
  committed
  d9f7494
- Add Gaussian E8 mu-packing theorem, exclusion of c = 19, and partial c = 20
  
  GamingPuzzled
  and
  claude
  committed
  a2b34f0

Commits

Commits on Oct 12, 2026

Commits on Oct 13, 2026

Commits on Oct 14, 2026

Commits on Oct 15, 2026