Repository navigation

Research: exclude three larger-simplex P112 beta shapes - #3170

Merged

Mister-Meeseeks merged 2 commits into

CrocSwap:mainfrom

petalas:research/20261017-p112-quotient-simplex

Oct 17, 2026

Merged

Research: exclude three larger-simplex P112 beta shapes#3170
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
petalas:research/20261017-p112-quotient-simplex

Commits on Oct 17, 2026
- test(research): exclude three larger-simplex P112 shapes
  petalas
  committed
  a7e3c41
- fix(research): replay vendored proofs without pending Git objects
  petalas
  committed
  182168c