Skip to content

Prove a uniform 13q lower bound for five commuting stages (no κ) - #7173

Open
petalas wants to merge 1 commit into
CrocSwap:mainfrom
petalas:research/w9-1110b-five-stage-rank-budget
Open

Prove a uniform 13q lower bound for five commuting stages (no κ)#7173
petalas wants to merge 1 commit into
CrocSwap:mainfrom
petalas:research/w9-1110b-five-stage-rank-budget

feat(research): prove a five-stage rank floor of 13q

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

Annotations

1 error
plan
failed Nov 11, 2026 in 4m 27s