Repository navigation

Research: prove a sharp P112 mixed-rank anchor bound - #3167

Merged

Mister-Meeseeks merged 1 commit into

CrocSwap:mainfrom

petalas:research/20261017-p112-frontier

Oct 17, 2026

Merged

Research: prove a sharp P112 mixed-rank anchor bound#3167
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/20261017-p112-frontier

Commits on Oct 17, 2026
- test(research): certify a sharp P112 mixed-rank anchor bound
  petalas
  committed
  c2c7508