Skip to content

Prove exact positive Turyn redundancy cost 27R (no κ) - #6439

Open
petalas wants to merge 1 commit into
CrocSwap:mainfrom
petalas:research/w2-1102d-original-step
Open

Prove exact positive Turyn redundancy cost 27R (no κ)#6439
petalas wants to merge 1 commit into
CrocSwap:mainfrom
petalas:research/w2-1102d-original-step

feat(research): bound positive Turyn encoder redundancy

4f6290b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Nov 2, 2026 in 4m 32s