Skip to content

Finite R480 construction: 252 shortest quad12 circuits, 24 fewer ADDs (no new kappa) - #1027

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
bbMisk:research/r480-quad12-exact-seed12
Oct 13, 2026
Merged

Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
bbMisk:research/r480-quad12-exact-seed12

Add R480 shortest-circuit census and complete local prefix admission

ebc027e
Select commit
Loading
Failed to load commit list.