Skip to content

Prove all-field rigidity of shortest permutation circuits (no κ) - #6449

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w15-1102d-original-step
Nov 10, 2026
Merged

Prove all-field rigidity of shortest permutation circuits (no κ)#6449
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w15-1102d-original-step

feat(research): prove all-field permutation geodesic rigidity

ca68394
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Nov 2, 2026 in 7m 2s