{
  "math_check": {
    "min_true_minus_model_lower_bound": 9.999996386511611e-10,
    "statement": "true residual >= model residual when epsilon >= |d|"
  },
  "margin_threshold_sweep": [
    {
      "kappa": 0.8,
      "predicted_margin_crossing_step": null,
      "observed_crossing_step": null,
      "violations": 73
    },
    {
      "kappa": 1.0,
      "predicted_margin_crossing_step": null,
      "observed_crossing_step": null,
      "violations": 0
    },
    {
      "kappa": 1.2,
      "predicted_margin_crossing_step": 9,
      "observed_crossing_step": 9,
      "violations": 0
    },
    {
      "kappa": 1.5,
      "predicted_margin_crossing_step": 5,
      "observed_crossing_step": 5,
      "violations": 0
    },
    {
      "kappa": 2.0,
      "predicted_margin_crossing_step": 4,
      "observed_crossing_step": 4,
      "violations": 0
    },
    {
      "kappa": 3.0,
      "predicted_margin_crossing_step": 2,
      "observed_crossing_step": 2,
      "violations": 0
    }
  ],
  "smoothing_law_sweep": [
    {
      "rho": 0.5,
      "target_fraction": 0.8,
      "predicted_step": 3,
      "observed_step": 3
    },
    {
      "rho": 0.8,
      "target_fraction": 0.8,
      "predicted_step": 8,
      "observed_step": 8
    },
    {
      "rho": 0.9,
      "target_fraction": 0.8,
      "predicted_step": 16,
      "observed_step": 16
    },
    {
      "rho": 0.95,
      "target_fraction": 0.8,
      "predicted_step": 32,
      "observed_step": 32
    }
  ],
  "intervention_violation_sweep": [
    {
      "kappa": 0.0,
      "mean_violations": 87.875,
      "mean_intervention": 106.31445333387649,
      "mean_max_x": 1.3499635962177918
    },
    {
      "kappa": 0.5,
      "mean_violations": 83.0,
      "mean_intervention": 108.23935020540935,
      "mean_max_x": 1.1574739090645043
    },
    {
      "kappa": 1.0,
      "mean_violations": 0.0,
      "mean_intervention": 110.16424762161338,
      "mean_max_x": 0.9649841674441023
    },
    {
      "kappa": 1.5,
      "mean_violations": 0.0,
      "mean_intervention": 112.0891452641003,
      "mean_max_x": 0.7724944031954118
    },
    {
      "kappa": 2.0,
      "mean_violations": 0.0,
      "mean_intervention": 114.01404300310672,
      "mean_max_x": 0.5924474577665813
    },
    {
      "kappa": 3.0,
      "mean_violations": 0.0,
      "mean_intervention": 117.86383848111953,
      "mean_max_x": 0.40771009700058425
    },
    {
      "kappa": 4.0,
      "mean_violations": 0.0,
      "mean_intervention": 121.71363395913237,
      "mean_max_x": 0.317645356242228
    }
  ],
  "baseline_static_clipping": {
    "mean_violations": 92.0,
    "mean_max_x": 11.981408929605442
  },
  "checks": {
    "smoothing_matches_exact_recursion": true,
    "intervention_monotone": true,
    "violations_nonincreasing": true,
    "adaptive_beats_clipping_at_kappa_2": true
  }
}