Skip to content

Conditional κ = 0.001676855229071321: finer certified endpoints (1e-120) and deeper outer witness on PR1424 (46 bootstrap steps, eta=beta=1e-124, kappa grid 1e-67); construction unchanged - #1479

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
jeremykothe2:kappa-record-auto25
Oct 16, 2026
Merged

Conditional κ = 0.001676855229071321: finer certified endpoints (1e-120) and deeper outer witness on PR1424 (46 bootstrap steps, eta=beta=1e-124, kappa grid 1e-67); construction unchanged#1479
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
jeremykothe2:kappa-record-auto25

Conditional κ = 0.001676855229071321: finer certified endpoints (1e-1…

0a211a4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
formal (historical)
succeeded Oct 15, 2026 in 11m 34s