{
  "batch": "result-review-2026-09-01-batch-25",
  "fixed_state_correction": {
    "baseline_instances": 480,
    "challenge_configurations": 46656,
    "cycle_mean_checks": 11690,
    "eligible_challenge_pairs": 960,
    "equal_slope_hostile_controls": 15840,
    "forbidden_denominator_checks": 20,
    "large_residual_witnesses": 46560,
    "raw_accumulation_checks": 32832,
    "same_state_merge_controls": 30,
    "shared_continuation_checks": 92640
  },
  "gradient_ambiguity": {
    "boundary_factorization_checks": 19600,
    "cone_rank_checks": 1950,
    "finite_two_affine_matches": 0,
    "five_state_least_period": 6,
    "period_support_checks": 121,
    "three_component_word_checks": 131071,
    "two_affine_pairs_excluded_on_grid": 31878
  },
  "status": "passed"
}