Repository navigation
Record the length-28 flat-step budget forcing a rank-7 arc (no κ) - #7088
Open
unpaidmoon wants to merge 1 commit into
Open
unpaidmoon wants to merge 1 commit into
unpaidmoon wants to merge 1 commit into
Commits
Commits on Nov 10, 2026