{
  "conclusion": "inconclusive; no finite-index or infinite-index certificate",
  "maximum_coset_cap": 1000000000,
  "portfolio_runs": [
    {
      "name": "simple-default",
      "state": "enumeration_limit",
      "wall_seconds": 560.2005283711478,
      "cpu_seconds_observed": 555.43,
      "peak_rss_gib": 16.5,
      "final_temporary_alive": 984724751,
      "final_cumulative_definitions": 1269206523,
      "maximum_observed_integer_counter": 1269206523,
      "workspace_row_capacity": 1249999998
    },
    {
      "name": "simple-hlt",
      "state": "enumeration_limit",
      "wall_seconds": 270.1051535718143,
      "cpu_seconds_observed": 265.67,
      "peak_rss_gib": 14.8984375,
      "final_temporary_alive": 940346366,
      "final_cumulative_definitions": 1268244944,
      "maximum_observed_integer_counter": 1268244944,
      "workspace_row_capacity": 1249999998
    },
    {
      "name": "simple-hard",
      "state": "enumeration_limit",
      "wall_seconds": 265.1016171043739,
      "cpu_seconds_observed": 264.93,
      "peak_rss_gib": 14.6171875,
      "final_temporary_alive": 999999318,
      "final_cumulative_definitions": 1000000000,
      "maximum_observed_integer_counter": 1000000001,
      "workspace_row_capacity": 1249999998
    },
    {
      "name": "simple-felsch",
      "state": "enumeration_limit",
      "wall_seconds": 320.1199056264013,
      "cpu_seconds_observed": 319.54,
      "peak_rss_gib": 14.671875,
      "final_temporary_alive": 999991585,
      "final_cumulative_definitions": 1000000000,
      "maximum_observed_integer_counter": 1000000001,
      "workspace_row_capacity": 1249999998
    },
    {
      "name": "original-default",
      "state": "wall_time_limit",
      "wall_seconds": 725.2503177635372,
      "cpu_seconds_observed": 720.58,
      "peak_rss_gib": 45.453125,
      "final_temporary_alive": null,
      "final_cumulative_definitions": null,
      "maximum_observed_integer_counter": 1000000001,
      "workspace_row_capacity": 1090909088
    },
    {
      "name": "original-hlt",
      "state": "enumeration_limit",
      "wall_seconds": 605.2090548146516,
      "cpu_seconds_observed": 602.6,
      "peak_rss_gib": 40.9765625,
      "final_temporary_alive": 938079797,
      "final_cumulative_definitions": 1000000000,
      "maximum_observed_integer_counter": 1000000001,
      "workspace_row_capacity": 1090909088
    }
  ],
  "additional_conjugate_or_reduced_input_trials": 5,
  "conjugated_subgroup_word_lengths": [
    14,
    17
  ],
  "peak_portfolio_rss_gib": 141.1171875,
  "table_bytes_reserved": 176000000000,
  "runtime_records": "Immutable per-run status.json; portfolio display age after completion is not used as runtime. Corrected supervisor and executed snapshot both retained.",
  "remaining_jobs": 0,
  "exact_finite_quotient_bound": "projective index at least 12; if finite, divisible by 12",
  "geometric_scope": "The eight-wall chamber is for W=R2(L), not for the hypergeometric subgroup.",
  "temporary_coset_counts_are_index_bounds": false,
  "paid_inference_calls": 0
}