Skip to content

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

Prove exact full G20 boundary floor under arbitrary cross-component ADDs

5472e0f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error
plan
failed Oct 28, 2026 in 3m 57s