Skip to content

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

test(research): certify a sharp P112 mixed-rank anchor bound

c2c7508
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 17, 2026 in 1m 38s