Skip to content

Record the length-28 flat-step budget forcing a rank-7 arc (no κ) - #7088

Open
unpaidmoon wants to merge 1 commit into
CrocSwap:mainfrom
unpaidmoon:cursor/length28-flat-step-budget-5b16
Open

unpaidmoon wants to merge 1 commit into
CrocSwap:mainfrom
unpaidmoon:cursor/length28-flat-step-budget-5b16

Commits

  1. Commits on Nov 10, 2026