Repository navigation

Conditional κ = 0.001676855229071321: finer certified endpoints (1e-200) and deeper outer witness on PR1424 (80 bootstrap steps, eta=beta=1e-205, kappa grid 1e-195); construction unchanged - #1513

Merged

Mister-Meeseeks merged 1 commit into

CrocSwap:mainfrom

jeremykothe2:kappa-record-auto27

Oct 16, 2026

Merged

Conditional κ = 0.001676855229071321: finer certified endpoints (1e-200) and deeper outer witness on PR1424 (80 bootstrap steps, eta=beta=1e-205, kappa grid 1e-195); construction unchanged#1513
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
jeremykothe2:kappa-record-auto27

Commits on Oct 14, 2026
- Conditional κ = 0.001676855229071321: finer certified endpoints (1e-200) and deeper outer witness on PR1424 (80 bootstrap steps, eta=beta=1e-205, kappa grid 1e-195); construction unchanged
  jeremykothe
  committed
  968d7ea