Skip to content

Bound the idle cover of the chain-nested root, its top targets and its best shape (no κ) - #6836

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
DreamingOfClouds:research/p104-chain-idle-cover-optimal
Nov 10, 2026
Merged

Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
DreamingOfClouds:research/p104-chain-idle-cover-optimal

Prove the chain idle cover optimal and fix the chain root's top ranks

99b1810
Select commit
Loading
Failed to load commit list.
Sign in for the full log view