Skip to content

Strengthen odd-unit rank bounds with balanced symplectic flags - #3544

Merged
Mister-Meeseeks merged 3 commits into
CrocSwap:mainfrom
jmbarrancoml:research/odd-unit-symplectic-flags
Oct 20, 2026
Merged

Strengthen odd-unit rank bounds with balanced symplectic flags#3544
Mister-Meeseeks merged 3 commits into
CrocSwap:mainfrom
jmbarrancoml:research/odd-unit-symplectic-flags

Prove the triangular-selector limit with an exhaustive sink-order check

6cfa433
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 18, 2026 in 2m 1s