Skip to content

Prove exact Fibonacci stable-lane cost for Gray layouts (no κ) - #6423

Open
petalas wants to merge 1 commit into
CrocSwap:mainfrom
petalas:research/w5-1102c-first-improvement
Open

Prove exact Fibonacci stable-lane cost for Gray layouts (no κ)#6423
petalas wants to merge 1 commit into
CrocSwap:mainfrom
petalas:research/w5-1102c-first-improvement

feat(research): prove exact Gray-layout stable-lane requirement

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