Skip to content

Prove exact four-query capacity 2 floor(4r/3) (no new κ) - #6122

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w2-1022aj-original-obstruction
Oct 28, 2026
Merged

Prove exact four-query capacity 2 floor(4r/3) (no new κ)#6122
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w2-1022aj-original-obstruction

feat(research): prove sharp four-query rank capacity

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

Annotations

1 error
plan
failed Oct 28, 2026 in 4m 25s