Repository navigation

Independent bound: deferred R439 scatter optimum is 94 over all undo ideals - #2279

Merged

Mister-Meeseeks merged 1 commit into

CrocSwap:mainfrom

cbethin:codex/hourly-0256-seed-9

Oct 15, 2026

Merged

Independent bound: deferred R439 scatter optimum is 94 over all undo ideals#2279
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
cbethin:codex/hourly-0256-seed-9

Commits on Oct 15, 2026
- Prove the deferred R439 scatter optimum over all undo ideals
  cbethin
  committed
  81fed97