Repository navigation
Research note (no κ): #2435's entrance raise is a width exchange paid by 72 partner splits; further raises saturate at ≈ +3e-7 (split-free raises worth up to +4.3e-6) - #2453
Merged
Mister-Meeseeks merged 1 commit intoOct 16, 2026
Commits
Commits on Oct 15, 2026