Skip to content

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

fix(research): include dimension zero in the count bound

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