Skip to content

Spend the power-variation root budget on outside-domain roots: 391 → 2987 certified (no new κ) - #5976

Merged
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
petalas:research/w9-1022ae-power-variation-outside-roots
Oct 28, 2026
Merged

Spend the power-variation root budget on outside-domain roots: 391 → 2987 certified (no new κ)#5976
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
petalas:research/w9-1022ae-power-variation-outside-roots

fix(research): keep outside-root verifier checks under -O

cf1504a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 27, 2026 in 4m 24s