Repository navigation
Decide #4281's depth-five connector at m = 5 exactly (minima 25, 30, 35, 35) and at m = 6 for length 5m (c = 1 new, c = 3; others >= 36) by exact meet-in-the-middle (no new κ) - #4434
Merged
Mister-Meeseeks merged 1 commit intoOct 21, 2026
Annotations
1 error
|
Onboarding helper tests
Process completed with exit code 1.
|
background
wait
wait-all
cancel
parallel
Loading