{
  "original_checker": {
    "status": "PASS",
    "arithmetic": "exact fractions.Fraction",
    "original_geometry": {
      "action_words_through_H6": 1092,
      "robust_different_word_pairs": 7182,
      "first_difference_counts": {
        "1": 5930,
        "2": 982,
        "3": 270
      },
      "violations": 0,
      "scope": "finite corroboration; all-horizon proof in report"
    },
    "extended_instance": {
      "inputs": [
        "1/2",
        "-1"
      ],
      "thresholds": [
        "1"
      ],
      "initial_intervals": [
        [
          "21/20",
          "23/20"
        ],
        [
          "37/20",
          "39/20"
        ]
      ],
      "checkpoint1_intervals": [
        [
          "29/40",
          "7/8"
        ],
        [
          "9/8",
          "51/40"
        ]
      ],
      "first_forecast": 1,
      "second_forecasts_by_query_answer": [
        0,
        1
      ],
      "online_minimum_total_probes": 1,
      "batch_budget": "infinity",
      "exact_DP_states": 8
    },
    "script_sha256": "95f1bf07618da88081c52e2021bae1e1e35d7e987d1f591ea690886cc6dbaa45",
    "runtime_seconds": 0.380174
  },
  "independent_checker": {
    "closed_prefix_endpoint_cases": 13284,
    "extended_instance_half_open_intervals": {
      "left_checkpoint1": [
        "29/40",
        "7/8"
      ],
      "left_checkpoint2": [
        "-3/16",
        "-1/80"
      ],
      "right_checkpoint1": [
        "9/8",
        "51/40"
      ],
      "right_checkpoint2": [
        "1/80",
        "3/16"
      ]
    },
    "integer_representations": 10,
    "ordered_tree_DP_instances": 21845,
    "scope": "Finite exact corroboration; universal claims depend on analytical proofs.",
    "script_sha256": "98acfe4ac9002628e2f25fc3bc311aa968af5f3b6d2c91e6c0d60af7b013ef70",
    "status": "PASS"
  },
  "scope": "Fresh execution in copies; finite exact corroboration, not a substitute for the analytical universal proofs."
}