Resolved inputs: {"pair_count": 3, "deletion": [0, 3], "greedy_budget": 2, "retention_grid": ["0", "1/50", "1/25", "3/50", "2/25", "1/10", "3/25", "7/50", "4/25", "9/50", "1/5", "11/50", "6/25", "13/50", "7/25", "3/10", "8/25", "17/50", "9/25", "19/50", "2/5", "21/50", "11/25", "23/50", "12/25", "1/2", "13/25", "27/50", "14/25", "29/50", "3/5", "31/50", "16/25", "33/50", "17/25", "7/10", "18/25", "37/50", "19/25", "39/50", "4/5", "41/50", "21/25", "43/50", "22/25", "9/10", "23/25", "47/50", "24/25", "49/50", "1"], "gateway_size": 12, "functional_parents": [0, 0, 1, 2, 3], "catalyst_addition": [2, 2], "addition_retention": "4/5", "exhaustive_reaction_cap": 14, "witness_pool_cap": 4096}
{
  "inputs": {
    "pair_count": 3,
    "deletion": [
      0,
      3
    ],
    "greedy_budget": 2,
    "retention_grid": [
      "0",
      "1/50",
      "1/25",
      "3/50",
      "2/25",
      "1/10",
      "3/25",
      "7/50",
      "4/25",
      "9/50",
      "1/5",
      "11/50",
      "6/25",
      "13/50",
      "7/25",
      "3/10",
      "8/25",
      "17/50",
      "9/25",
      "19/50",
      "2/5",
      "21/50",
      "11/25",
      "23/50",
      "12/25",
      "1/2",
      "13/25",
      "27/50",
      "14/25",
      "29/50",
      "3/5",
      "31/50",
      "16/25",
      "33/50",
      "17/25",
      "7/10",
      "18/25",
      "37/50",
      "19/25",
      "39/50",
      "4/5",
      "41/50",
      "21/25",
      "43/50",
      "22/25",
      "9/10",
      "23/25",
      "47/50",
      "24/25",
      "49/50",
      "1"
    ],
    "gateway_size": 12,
    "functional_parents": [
      0,
      0,
      1,
      2,
      3
    ],
    "catalyst_addition": [
      2,
      2
    ],
    "addition_retention": "4/5",
    "exhaustive_reaction_cap": 14,
    "witness_pool_cap": 4096
  },
  "localization_audits": [
    {
      "strategy": "single",
      "queries": 128,
      "inexact_regions": 19,
      "all_answers_exact": true
    },
    {
      "strategy": "two",
      "queries": 128,
      "inexact_regions": 12,
      "all_answers_exact": true
    },
    {
      "strategy": "full",
      "queries": 128,
      "inexact_regions": 0,
      "all_answers_exact": true
    }
  ],
  "greedy_selection": {
    "pool_indices": [
      0,
      7
    ],
    "rescued_training_events": 42
  },
  "greedy_query": {
    "deleted": [
      0,
      3
    ],
    "region": [
      0,
      3,
      6
    ],
    "retained": [
      1,
      2,
      4,
      5
    ],
    "surviving": [
      1,
      2,
      4,
      5,
      6
    ],
    "loss": [
      0,
      3
    ],
    "excess": 1,
    "route": "checked residual",
    "fallback": false,
    "certificate": [
      {
        "available": [
          6
        ],
        "schedule": [
          6
        ]
      }
    ]
  },
  "robustness_coefficients": {
    "cooperative": {
      "mean": [
        0,
        2,
        2,
        -1
      ],
      "nonempty": [
        0,
        2,
        -1,
        0
      ],
      "second_moment": [
        0,
        2,
        8,
        -1
      ]
    },
    "cycle": {
      "mean": [
        0,
        0,
        0,
        3
      ],
      "nonempty": [
        0,
        0,
        0,
        1
      ],
      "second_moment": [
        0,
        0,
        0,
        9
      ]
    }
  },
  "sensitivities": {
    "cooperative": {
      "first_derivative": 3,
      "second_derivative": -2,
      "singleton_losses": {
        "0": [
          0
        ],
        "1": [
          1
        ],
        "2": [
          2
        ]
      },
      "pair_terms": [
        {
          "first": 0,
          "second": 1,
          "overlap": 0,
          "cooperative": 1
        },
        {
          "first": 0,
          "second": 2,
          "overlap": 0,
          "cooperative": 0
        },
        {
          "first": 1,
          "second": 2,
          "overlap": 0,
          "cooperative": 0
        }
      ]
    },
    "cycle": {
      "first_derivative": 9,
      "second_derivative": 18,
      "singleton_losses": {
        "0": [
          0,
          1,
          2
        ],
        "1": [
          0,
          1,
          2
        ],
        "2": [
          0,
          1,
          2
        ]
      },
      "pair_terms": [
        {
          "first": 0,
          "second": 1,
          "overlap": 3,
          "cooperative": 0
        },
        {
          "first": 0,
          "second": 2,
          "overlap": 3,
          "cooperative": 0
        },
        {
          "first": 1,
          "second": 2,
          "overlap": 3,
          "cooperative": 0
        }
      ]
    }
  },
  "overlap_controls": [
    {
      "parents": [
        0,
        2,
        0,
        4,
        0
      ],
      "orbit_sizes": [
        1,
        2,
        2,
        3,
        3
      ],
      "mean": "5/4",
      "variance": "9/4"
    },
    {
      "parents": [
        0,
        2,
        1,
        1,
        1
      ],
      "orbit_sizes": [
        1,
        2,
        2,
        3,
        3
      ],
      "mean": "5/4",
      "variance": "33/16"
    }
  ],
  "best_single_catalyst_addition": {
    "site": 2,
    "parent": 2,
    "total_gain": "2196/3125"
  },
  "exposure_queries_checked": 32,
  "evidence": "Exact finite sets, checked closure/pruning schedules, rational availability laws. No Lean compilation, biological calibration, kinetic-persistence claim, or replay of the paper charge-model/runtime theorem."
}