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
background
wait
wait-all
cancel
parallel
Loading