Repository navigation

Prove the exact 38-ADD floor for the full fixed G20 boundary - #6105

Merged

Mister-Meeseeks merged 1 commit into

CrocSwap:mainfrom

JoyboyBrian:brian/r20-task01-g20-full-boundary

Oct 28, 2026

Merged

Prove the exact 38-ADD floor for the full fixed G20 boundary#6105
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
JoyboyBrian:brian/r20-task01-g20-full-boundary

Commits on Oct 28, 2026
- Prove exact full G20 boundary floor under arbitrary cross-component ADDs
  JoyboyBrian
  committed
  5472e0f