Repository navigation
Research note (no κ; bit headroom): helper-deletion ladder under optimal window-respecting re-hosting — ≈ +0.082% c per deletion (d=0..6, certified) - #2465
Merged
Mister-Meeseeks merged 1 commit intoOct 16, 2026
Commits
Commits on Oct 15, 2026