Skip to content

Rule out profitable first-read captures of any G20 helper subset (no new kappa) - #6117

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
CubeJerry:research/g20-joint-capture-seed08-20261028
Oct 28, 2026
Merged

Rule out profitable first-read captures of any G20 helper subset (no new kappa)#6117
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
CubeJerry:research/g20-joint-capture-seed08-20261028

Bound every first-read G20 helper subset with an exact flag certificate

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

Annotations

1 error
plan
failed Oct 28, 2026 in 4m 23s