Skip to content

[codex] Sharp 7q stage-rank budget for all even dimensions and coupled widths - #6717

Merged
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
thu-nmrc:codex/coupled-three-stage-rank-budget
Nov 10, 2026
Merged

[codex] Sharp 7q stage-rank budget for all even dimensions and coupled widths#6717
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
thu-nmrc:codex/coupled-three-stage-rank-budget

Extend seven-q theorem to all even dimensions and package exact sourc…

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