Repository navigation

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

Open

petalas wants to merge 1 commit into

CrocSwap:mainfrom

petalas:research/w15-1102d-original-step

Open

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

Commits on Nov 2, 2026
- feat(research): prove all-field permutation geodesic rigidity
  petalas
  committed
  ca68394