Repository navigation

Shrunk frames under paired lockstep covers: conditional κ = 3.48102e-4 - #134

Closed

GamingPuzzled wants to merge 7 commits into

CrocSwap:mainfrom

GamingPuzzled:research/shrunk-paired-cover

Closed

Shrunk frames under paired lockstep covers: conditional κ = 3.48102e-4#134
GamingPuzzled wants to merge 7 commits into
CrocSwap:mainfrom
GamingPuzzled:research/shrunk-paired-cover

Commits on Oct 8, 2026
- Use stopped product-ring interchange for kappa = 7.79476e-5
  icekylinx
  committed
  948ce15
Commits on Oct 9, 2026
- Use partial source gauges for kappa = 9.26336e-5
  icekylinx
  committed
  cf60442
- Use three-stage Cayley covers for kappa = 3.146011e-4
  icekylinx
  committed
  6a9970a
- Paired lockstep first-stage vertices on three-stage covers: kappa = 3.416202e-4
  
  ikeboy
  and
  claude
  committed
  f7bc7a9
- Shrunk frames under paired lockstep covers: conditional kappa 3.48102e-4
  
  GamingPuzzled
  and
  claude
  committed
  2c097b4
- Add control: PR130's unmodified verifier rejects only the full-lift equality
  
  GamingPuzzled
  and
  claude
  committed
  5213f2f
- Repin Makefile in joint-dual source manifest after adding the shrunk-paired-cover target
  
  GamingPuzzled
  and
  claude
  committed
  51b9229