Repository navigation

Prove fixed common bases cannot improve idle coalescing (no κ) - #7207

Open

petalas wants to merge 1 commit into

CrocSwap:mainfrom

petalas:research/w6-1111c-original-obstruction

Open

Prove fixed common bases cannot improve idle coalescing (no κ)#7207
petalas wants to merge 1 commit into
CrocSwap:mainfrom
petalas:research/w6-1111c-original-obstruction

Commits on Nov 11, 2026
- feat(research): prove fixed-basis idle coalescing obstruction
  petalas
  committed
  fd4f5e5