Repository navigation

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

Open

petalas wants to merge 2 commits into

CrocSwap:mainfrom

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

Open

Construct exact uniform two-capacity completions (no κ)#6607
petalas wants to merge 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