Skip to content

Prove exact faithful widths for degenerate alternating labels (no κ) - #6456

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w2-1102e-frontier-step
Nov 10, 2026
Merged

Prove exact faithful widths for degenerate alternating labels (no κ)#6456
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w2-1102e-frontier-step

feat(research): prove exact faithful alternating label widths

e4b49c2
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Nov 3, 2026 in 4m 28s