Skip to content

Transfer the δ halo exponents 11, 24, 26, 26, 6 across cells; robust to the 'rounded' reading (no new κ) - #4462

Merged
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
pinterbanget:delta-cross-transfer
Oct 22, 2026
Merged

Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
pinterbanget:delta-cross-transfer

delta transfer: the raw exponential oracle already fits Lemma B's budget

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

Annotations

1 error
plan
failed Oct 21, 2026 in 2m 59s