Skip to content

Negative result (no κ): legal 400-helper owner fill of #2339's 80-alias T74 words reaches b = 0.00168654, 99.994% of a certified width-aware cap b < 0.0016867 — below #2269 - #2387

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
thakrarsagar:research/t74-80alias-owner-fill
Oct 16, 2026
Merged

Negative result (no κ): legal 400-helper owner fill of #2339's 80-alias T74 words reaches b = 0.00168654, 99.994% of a certified width-aware cap b < 0.0016867 — below #2269#2387
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
thakrarsagar:research/t74-80alias-owner-fill

Owner fill and width-aware ceiling for the PR2339 80-alias T74 words …

20fb695
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
ranked-pair-finite
succeeded Oct 16, 2026 in 44s