P3: prove partition correctness generally (all n, k), not hand-picked vectors#40

hyperpolymath merged 4 commits into

mainhyperpolymath/chapeliser:mainfrom

claude/new-session-1fphithyperpolymath/chapeliser:claude/new-session-1fphitCopy head branch name to clipboard