{
  "comparisons": [
    {
      "name": "all_positive_recursive",
      "input": {
        "model": {
          "arena": "turn_based_deterministic",
          "reward": "signed_integer_edge",
          "objective": "liminf_mean_at_least_zero",
          "opponents": "full_history"
        },
        "owners": [
          "max",
          "min"
        ],
        "edges": [
          [
            0,
            0,
            64
          ],
          [
            0,
            1,
            64
          ],
          [
            1,
            0,
            64
          ],
          [
            1,
            1,
            64
          ]
        ]
      },
      "reference": {
        "algorithm": "deterministic_paper_procedure_4_1_bounded_reference",
        "model": {
          "arena": "turn_based_deterministic",
          "reward": "signed_integer_edge",
          "objective": "liminf_mean_at_least_zero",
          "opponents": "full_history"
        },
        "vertices": 2,
        "initial_width": "65536",
        "transformed_max_weight": "193",
        "limits": {
          "work": 2000000,
          "depth": 128
        },
        "source_proof_accepted": false,
        "outputs_values_or_strategies": false,
        "status": "unknown",
        "reason": "work_limit",
        "winning_vertices": null,
        "counts": {
          "work": 1999996,
          "calls": 175597,
          "nonbase_calls": 341,
          "mass_base_calls": 72100,
          "width_base_calls": 103156,
          "operator_evaluations": 216494,
          "edge_scans": 865976,
          "pivot_updates": 174919,
          "max_depth": 10
        },
        "counter_scope": "vertex visits at call/pivot and edge+vertex visits at operator evaluations; excludes bit cost, preprocessing, allocation, parsing and wall time"
      },
      "oracle": {
        "values": [
          "64",
          "64"
        ],
        "winning_vertices": [
          0,
          1
        ],
        "max_edges": {
          "0": 0
        },
        "min_edges": {},
        "positional_pairs": 4
      },
      "certificate": {
        "accepted": true,
        "status": "threshold_regions_finitely_certified",
        "winning_vertices": [
          0,
          1
        ],
        "checks": [
          {
            "player": "max",
            "vertices": [
              0,
              1
            ],
            "distance_potential": {
              "0": "0",
              "1": "0"
            },
            "retained_edges": 3
          },
          {
            "player": "min",
            "vertices": [],
            "distance_potential": {},
            "retained_edges": 0
          }
        ],
        "scope": "zero-threshold region strategies only; no exact value-optimality, stochastic, parity, or initial-credit claim"
      },
      "timings_ns": {
        "source_reference": 750271833,
        "exhaustive_oracle": 43625
      },
      "work_limit": 2000000,
      "source_schedules": {
        "randomized": {
          "transformed_W": "193",
          "B_star": "3088",
          "g": 13,
          "s": 2097152,
          "J": "124032922742682069932400044408879513075713",
          "basic_threshold": 268435456,
          "root_uses_basic": true,
          "warning": "J is used only when a wrapper is reached; no universal runtime lower bound"
        },
        "deterministic": {
          "initial_width": "65536",
          "mass_budget": 6,
          "call_count_upper_bound": "86588131198892531990604163692281",
          "warning": "Upper bound, not measured calls or a lower bound"
        }
      }
    },
    {
      "name": "all_negative_recursive",
      "input": {
        "model": {
          "arena": "turn_based_deterministic",
          "reward": "signed_integer_edge",
          "objective": "liminf_mean_at_least_zero",
          "opponents": "full_history"
        },
        "owners": [
          "max",
          "min"
        ],
        "edges": [
          [
            0,
            0,
            -64
          ],
          [
            0,
            1,
            -64
          ],
          [
            1,
            0,
            -64
          ],
          [
            1,
            1,
            -64
          ]
        ]
      },
      "reference": {
        "algorithm": "deterministic_paper_procedure_4_1_bounded_reference",
        "model": {
          "arena": "turn_based_deterministic",
          "reward": "signed_integer_edge",
          "objective": "liminf_mean_at_least_zero",
          "opponents": "full_history"
        },
        "vertices": 2,
        "initial_width": "65536",
        "transformed_max_weight": "191",
        "limits": {
          "work": 2000000,
          "depth": 128
        },
        "source_proof_accepted": false,
        "outputs_values_or_strategies": false,
        "status": "complete_labels_source_conditional",
        "winning_vertices": [],
        "counts": {
          "work": 1725258,
          "calls": 237877,
          "nonbase_calls": 461,
          "mass_base_calls": 108150,
          "width_base_calls": 129266,
          "operator_evaluations": 129266,
          "edge_scans": 517064,
          "pivot_updates": 236954,
          "max_depth": 10
        },
        "counter_scope": "vertex visits at call/pivot and edge+vertex visits at operator evaluations; excludes bit cost, preprocessing, allocation, parsing and wall time"
      },
      "oracle": {
        "values": [
          "-64",
          "-64"
        ],
        "winning_vertices": [],
        "max_edges": {},
        "min_edges": {
          "1": 2
        },
        "positional_pairs": 4
      },
      "certificate": {
        "accepted": true,
        "status": "threshold_regions_finitely_certified",
        "winning_vertices": [],
        "checks": [
          {
            "player": "max",
            "vertices": [],
            "distance_potential": {},
            "retained_edges": 0
          },
          {
            "player": "min",
            "vertices": [
              0,
              1
            ],
            "distance_potential": {
              "0": "0",
              "1": "0"
            },
            "retained_edges": 3
          }
        ],
        "scope": "zero-threshold region strategies only; no exact value-optimality, stochastic, parity, or initial-credit claim"
      },
      "timings_ns": {
        "source_reference": 868096792,
        "exhaustive_oracle": 61916
      },
      "work_limit": 2000000,
      "source_schedules": {
        "randomized": {
          "transformed_W": "191",
          "B_star": "3056",
          "g": 13,
          "s": 2097152,
          "J": "124032922742682069932400044408879513075713",
          "basic_threshold": 268435456,
          "root_uses_basic": true,
          "warning": "J is used only when a wrapper is reached; no universal runtime lower bound"
        },
        "deterministic": {
          "initial_width": "65536",
          "mass_budget": 6,
          "call_count_upper_bound": "86588131198892531990604163692281",
          "warning": "Upper bound, not measured calls or a lower bound"
        }
      }
    },
    {
      "name": "mixed_recursive",
      "input": {
        "model": {
          "arena": "turn_based_deterministic",
          "reward": "signed_integer_edge",
          "objective": "liminf_mean_at_least_zero",
          "opponents": "full_history"
        },
        "owners": [
          "max",
          "min"
        ],
        "edges": [
          [
            0,
            0,
            64
          ],
          [
            0,
            1,
            -64
          ],
          [
            1,
            0,
            64
          ],
          [
            1,
            1,
            -64
          ]
        ]
      },
      "reference": {
        "algorithm": "deterministic_paper_procedure_4_1_bounded_reference",
        "model": {
          "arena": "turn_based_deterministic",
          "reward": "signed_integer_edge",
          "objective": "liminf_mean_at_least_zero",
          "opponents": "full_history"
        },
        "vertices": 2,
        "initial_width": "65536",
        "transformed_max_weight": "193",
        "limits": {
          "work": 2000000,
          "depth": 128
        },
        "source_proof_accepted": false,
        "outputs_values_or_strategies": false,
        "status": "unknown",
        "reason": "work_limit",
        "winning_vertices": null,
        "counts": {
          "work": 1999996,
          "calls": 164451,
          "nonbase_calls": 160,
          "mass_base_calls": 55458,
          "width_base_calls": 108833,
          "operator_evaluations": 223804,
          "edge_scans": 895216,
          "pivot_updates": 164135,
          "max_depth": 10
        },
        "counter_scope": "vertex visits at call/pivot and edge+vertex visits at operator evaluations; excludes bit cost, preprocessing, allocation, parsing and wall time"
      },
      "oracle": {
        "values": [
          "64",
          "-64"
        ],
        "winning_vertices": [
          0
        ],
        "max_edges": {
          "0": 0
        },
        "min_edges": {
          "1": 3
        },
        "positional_pairs": 4
      },
      "certificate": {
        "accepted": true,
        "status": "threshold_regions_finitely_certified",
        "winning_vertices": [
          0
        ],
        "checks": [
          {
            "player": "max",
            "vertices": [
              0
            ],
            "distance_potential": {
              "0": "0"
            },
            "retained_edges": 1
          },
          {
            "player": "min",
            "vertices": [
              1
            ],
            "distance_potential": {
              "1": "0"
            },
            "retained_edges": 1
          }
        ],
        "scope": "zero-threshold region strategies only; no exact value-optimality, stochastic, parity, or initial-credit claim"
      },
      "timings_ns": {
        "source_reference": 712775708,
        "exhaustive_oracle": 43125
      },
      "work_limit": 2000000,
      "source_schedules": {
        "randomized": {
          "transformed_W": "193",
          "B_star": "3088",
          "g": 13,
          "s": 2097152,
          "J": "124032922742682069932400044408879513075713",
          "basic_threshold": 268435456,
          "root_uses_basic": true,
          "warning": "J is used only when a wrapper is reached; no universal runtime lower bound"
        },
        "deterministic": {
          "initial_width": "65536",
          "mass_budget": 6,
          "call_count_upper_bound": "86588131198892531990604163692281",
          "warning": "Upper bound, not measured calls or a lower bound"
        }
      }
    },
    {
      "name": "first_recursive_width",
      "input": {
        "model": {
          "arena": "turn_based_deterministic",
          "reward": "signed_integer_edge",
          "objective": "liminf_mean_at_least_zero",
          "opponents": "full_history"
        },
        "owners": [
          "max",
          "min"
        ],
        "edges": [
          [
            0,
            0,
            6
          ],
          [
            0,
            1,
            6
          ],
          [
            1,
            0,
            6
          ],
          [
            1,
            1,
            6
          ]
        ]
      },
      "reference": {
        "algorithm": "deterministic_paper_procedure_4_1_bounded_reference",
        "model": {
          "arena": "turn_based_deterministic",
          "reward": "signed_integer_edge",
          "objective": "liminf_mean_at_least_zero",
          "opponents": "full_history"
        },
        "vertices": 2,
        "initial_width": "4096",
        "transformed_max_weight": "19",
        "limits": {
          "work": 2000000,
          "depth": 128
        },
        "source_proof_accepted": false,
        "outputs_values_or_strategies": false,
        "status": "complete_labels_source_conditional",
        "winning_vertices": [
          0,
          1
        ],
        "counts": {
          "work": 62546,
          "calls": 3097,
          "nonbase_calls": 6,
          "mass_base_calls": 515,
          "width_base_calls": 2576,
          "operator_evaluations": 8364,
          "edge_scans": 33456,
          "pivot_updates": 3084,
          "max_depth": 6
        },
        "counter_scope": "vertex visits at call/pivot and edge+vertex visits at operator evaluations; excludes bit cost, preprocessing, allocation, parsing and wall time"
      },
      "oracle": {
        "values": [
          "6",
          "6"
        ],
        "winning_vertices": [
          0,
          1
        ],
        "max_edges": {
          "0": 0
        },
        "min_edges": {},
        "positional_pairs": 4
      },
      "certificate": {
        "accepted": true,
        "status": "threshold_regions_finitely_certified",
        "winning_vertices": [
          0,
          1
        ],
        "checks": [
          {
            "player": "max",
            "vertices": [
              0,
              1
            ],
            "distance_potential": {
              "0": "0",
              "1": "0"
            },
            "retained_edges": 3
          },
          {
            "player": "min",
            "vertices": [],
            "distance_potential": {},
            "retained_edges": 0
          }
        ],
        "scope": "zero-threshold region strategies only; no exact value-optimality, stochastic, parity, or initial-credit claim"
      },
      "timings_ns": {
        "source_reference": 17569166,
        "exhaustive_oracle": 32458
      },
      "work_limit": 2000000,
      "source_schedules": {
        "randomized": {
          "transformed_W": "19",
          "B_star": "304",
          "g": 10,
          "s": 2097152,
          "J": "124032922742682069932400044408879513075713",
          "basic_threshold": 268435456,
          "root_uses_basic": true,
          "warning": "J is used only when a wrapper is reached; no universal runtime lower bound"
        },
        "deterministic": {
          "initial_width": "4096",
          "mass_budget": 6,
          "call_count_upper_bound": "21458012717840050474808567709877",
          "warning": "Upper bound, not measured calls or a lower bound"
        }
      }
    }
  ],
  "source": "Deterministic Procedure 4.1, exact local bounded implementation; independently checked finite positional certificates."
}