{
  "status": "PASS",
  "checks": 7205,
  "groups": {
    "certified_finite_pl_evaluations": 81,
    "pl_minimum_bound_budget": 1,
    "flat_direction_difference_identity": 1331,
    "flat_direction_mean_identity": 1331,
    "flat_noise_generic_floor": 1,
    "flat_noise_target_mean": 1,
    "quadratic_optimal_modal_discriminant": 330,
    "quadratic_stability_endpoints": 330,
    "quadratic_repeated_endpoints": 30,
    "heavy_ball_modal_closed_form": 100,
    "heavy_ball_initial_overshoot": 1,
    "heavy_ball_actual_budget": 1,
    "nonlinear_cycle_branches": 1,
    "nonlinear_cycle_exact_update": 3,
    "nonlinear_strong_monotonicity_finite_pairs": 1830,
    "nonlinear_piece_values": 1,
    "switched_matrix": 1,
    "switched_unstable_root_sign": 1,
    "switched_direct_product_replay": 40,
    "switched_initial_not_eigenline": 1,
    "switched_first_points": 1,
    "two_dimensional_aa_exact": 1,
    "two_dimensional_aa_guard": 1,
    "piecewise_aa_rejection": 1,
    "piecewise_fallback": 1,
    "weighted_contraction_constant": 1,
    "weighted_aa_coefficients": 1,
    "weighted_domain_rejection": 1,
    "weighted_misleading_residual": 1,
    "weighted_fallback_certificate": 1,
    "guarded_actual_residual_contract": 307,
    "guarded_actual_error_certificate": 307,
    "simplex_drop_then_good": 1,
    "simplex_exact_optimality": 1,
    "simplex_projection_kkt": 27,
    "afw_weight_invariant": 194,
    "afw_gap_certificate": 194,
    "afw_descent_payment": 194,
    "afw_good_step_budget": 162,
    "afw_drop_inventory": 194,
    "afw_accumulated_value_bound": 194,
    "same_point_distinct_state": 2,
    "same_point_post_gap": 2
  },
  "pl_bound_budget": 136,
  "heavy_ball_quadratic_first_target_step": 18,
  "heavy_ball_first_objective": "3232/81",
  "nonlinear_cycle": [
    "792/1225",
    "-2208/1225",
    "2592/1225"
  ],
  "switched_first_two_states": [
    [
      "-44/27",
      "8/9"
    ],
    [
      "112/27",
      "-208/81"
    ]
  ],
  "weighted_anderson": {
    "theta": "-4363/4321",
    "candidate": [
      "69304/4321",
      "19497/4321",
      "4869/4321"
    ],
    "domain_accepted": false,
    "fallback": [
      "12",
      "13/4",
      "15/16"
    ],
    "weighted_error_bound": "9/32"
  },
  "same_point_away_states": [
    {
      "gamma": "1/9",
      "x": [
        "7/9",
        "7/9"
      ],
      "weights": [
        "0",
        "2/9",
        "5/9",
        "2/9"
      ],
      "objective": "4/81",
      "gap": "8/81"
    },
    {
      "gamma": "1/4",
      "x": [
        "7/8",
        "7/8"
      ],
      "weights": [
        "0",
        "1/8",
        "3/4",
        "1/8"
      ],
      "objective": "1/64",
      "gap": "1/32"
    }
  ],
  "limits": [
    "Finite parameter grids test implementations and named examples, not global PL or convergence theorems.",
    "Sine comparisons use an explicit rational Taylor remainder; no floating-point tolerance is a certificate.",
    "A low residual does not waive the declared domain check.",
    "Good/drop counts follow the page definition; no unconditional half-good claim for arbitrary initial support."
  ]
}