Repository navigation

Construct exact uniform two-capacity completions (no κ) - #6607

Merged

Mister-Meeseeks merged 2 commits into

CrocSwap:mainfrom

petalas:research/w5-1102j-native-obstruction

Nov 10, 2026

Merged

Construct exact uniform two-capacity completions (no κ)#6607
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
petalas:research/w5-1102j-native-obstruction

Commits on Nov 3, 2026
- feat(research): construct uniform two-capacity completions
  petalas
  committed
  c92a21f
- fix(research): include dimension zero in the count bound
  petalas
  committed
  0abcc97