Skip to content

Prove an exact integer dirty-fanout shortening gap (no κ) - #6277

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w13-1030b-frontier
Oct 31, 2026
Merged

Prove an exact integer dirty-fanout shortening gap (no κ)#6277
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w13-1030b-frontier

feat(research): prove an integer fanout shortening gap

cd2404b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 30, 2026 in 4m 35s