{
  "batch": "result-review-2026-09-01-batch-24",
  "completion_radius": {
    "anchor_trie_edges": 310784,
    "empty_horizon_controls": 1,
    "metric_extension_edges": 310784,
    "nonempty_domains": 32767,
    "value_pairs": 1966080
  },
  "global_gauge": {
    "N_equals_2_state_boundary": 4,
    "abelianized_drift_checks": 6561,
    "canonical_lower_bound_checks": 6561,
    "global_delay_checks": 13122,
    "two_mode_collapse_checks": 404
  },
  "regular_domain": {
    "directed_edges": 41038,
    "state_controls": 22400,
    "trim_nfas": 5600
  },
  "status": "passed",
  "two_arm": {
    "canonical_split_indices": 136,
    "distinct_delay_indices": 5712,
    "equal_arm_hostile_controls": 112,
    "heisenberg_ball_elements": 446969,
    "heisenberg_norm_cases": 93,
    "integer_parameter_cases": 784
  }
}