Skip to content

Scoped negative result: cost-six terms force 67-copy E8 decoders at 25 punctures - #1521

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
bbMisk:research/complex-general-normal-boundary-seed31
Oct 14, 2026
Merged

Scoped negative result: cost-six terms force 67-copy E8 decoders at 25 punctures#1521
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
bbMisk:research/complex-general-normal-boundary-seed31

Prove the p25 complex decoder boundary and sharp cost-six completion

9006589
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
formal (gaussian)
succeeded Oct 15, 2026 in 49s