Skip to content

Prove exact dyadic cyclic balancing and grid cost (no κ) - #6468

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

Prove exact dyadic cyclic balancing and grid cost (no κ)#6468
petalas wants to merge 1 commit into
CrocSwap:mainfrom
petalas:research/w14-1102e-original-step

feat(research): prove exact dyadic cyclic balancing span

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