Make candidate ordering an explicit deterministic policy and benchmark ascending, descending, and exact-width-first choices. Keep ascending as the default because it produces the best measured time to first solution despite best-fit's slightly smaller tree.
Retain the benchmark v1 interface and document why randomized and duplicate-work portfolio policies are deferred.
Tests: Release and Debug CTest (10 passed each)
Refs: #12
Codex instance