{
  "prediction_checks": {
    "P1_mode_separation": {
      "prediction": "persistent d=2 gives p(d=2)>0.5 while clean d=0 retains p(d=0)",
      "delayed": {
        "delay": 2,
        "noise": 0.03,
        "slope": 0.0007785781526003521,
        "mean_KL": 1.3336887651940748,
        "cumulative_llr_slope": 1.3790153240337304,
        "slope_over_KL": 0.993561554348585,
        "alarm_median": 8.5,
        "dominant_median": 4.0,
        "final_true_posterior": 0.9605996611612697,
        "final_zero_posterior": 0.005663732997422032,
        "max_normalization_error": 4.440892098500626e-16
      },
      "clean": {
        "delay": 0,
        "noise": 0.03,
        "slope": 0.0,
        "mean_KL": 0.0,
        "cumulative_llr_slope": 0.0,
        "slope_over_KL": 0.0,
        "alarm_median": null,
        "dominant_median": null,
        "final_true_posterior": 0.9778142142508726,
        "final_zero_posterior": 0.9778142142508726,
        "max_normalization_error": 4.440892098500626e-16
      }
    },
    "P2_KL_slope": {
      "prediction": "early cumulative innovation log-likelihood slope approximately equals mean innovation KL",
      "noise_sweep": [
        {
          "delay": 2,
          "noise": 0.015,
          "slope": 0.0019416305413025238,
          "mean_KL": 2.6673775303881495,
          "cumulative_llr_slope": 2.748694855905076,
          "slope_over_KL": 0.9970763092026242,
          "alarm_median": 6.0,
          "dominant_median": 3.0,
          "final_true_posterior": 0.9758583872484718,
          "final_zero_posterior": 0.0030562652574435455,
          "max_normalization_error": 4.440892098500626e-16
        },
        {
          "delay": 2,
          "noise": 0.03,
          "slope": 0.0007785781526003521,
          "mean_KL": 1.3336887651940748,
          "cumulative_llr_slope": 1.3790153240337304,
          "slope_over_KL": 0.993561554348585,
          "alarm_median": 8.5,
          "dominant_median": 4.0,
          "final_true_posterior": 0.9605996611612697,
          "final_zero_posterior": 0.005663732997422032,
          "max_normalization_error": 4.440892098500626e-16
        },
        {
          "delay": 2,
          "noise": 0.06,
          "slope": 0.0008225903767851935,
          "mean_KL": 0.6668443825970374,
          "cumulative_llr_slope": 0.6922337369813991,
          "slope_over_KL": 0.9987247256394581,
          "alarm_median": 10.5,
          "dominant_median": 7.0,
          "final_true_posterior": 0.9239204397602936,
          "final_zero_posterior": 0.0111765248666157,
          "max_normalization_error": 4.440892098500626e-16
        },
        {
          "delay": 2,
          "noise": 0.12,
          "slope": 0.001977235648426705,
          "mean_KL": 0.3334221912985187,
          "cumulative_llr_slope": 0.3476555170092938,
          "slope_over_KL": 0.990748555671852,
          "alarm_median": 23.0,
          "dominant_median": 11.0,
          "final_true_posterior": 0.8600669036614939,
          "final_zero_posterior": 0.0216412733577526,
          "max_normalization_error": 4.440892098500626e-16
        }
      ]
    },
    "P3_detection_scaling": {
      "prediction": "alarm time increases as KL decreases (larger observation noise)",
      "noise_sweep": [
        {
          "delay": 2,
          "noise": 0.015,
          "slope": 0.002926337182553665,
          "mean_KL": 2.6831277090853902,
          "cumulative_llr_slope": 2.7217000323421514,
          "slope_over_KL": 0.9963331184663586,
          "alarm_median": 6.0,
          "dominant_median": 2.0,
          "final_true_posterior": 0.9777240715163967,
          "final_zero_posterior": 0.0030562652574435455,
          "max_normalization_error": 4.440892098500626e-16
        },
        {
          "delay": 2,
          "noise": 0.03,
          "slope": 0.0010502536788597526,
          "mean_KL": 1.3415638545426951,
          "cumulative_llr_slope": 1.3784283143154599,
          "slope_over_KL": 0.9995188912097914,
          "alarm_median": 8.5,
          "dominant_median": 3.0,
          "final_true_posterior": 0.9605996611612697,
          "final_zero_posterior": 0.005663732997422032,
          "max_normalization_error": 4.440892098500626e-16
        },
        {
          "delay": 2,
          "noise": 0.06,
          "slope": 0.0011164307743681623,
          "mean_KL": 0.6707819272713476,
          "cumulative_llr_slope": 0.6903288838713548,
          "slope_over_KL": 1.0003064693660588,
          "alarm_median": 9.5,
          "dominant_median": 5.5,
          "final_true_posterior": 0.9124826162425348,
          "final_zero_posterior": 0.0111765248666157,
          "max_normalization_error": 4.440892098500626e-16
        },
        {
          "delay": 2,
          "noise": 0.12,
          "slope": 0.001977235648426705,
          "mean_KL": 0.3353909636356738,
          "cumulative_llr_slope": 0.3409259316896296,
          "slope_over_KL": 1.0110868359305787,
          "alarm_median": 20.5,
          "dominant_median": 9.0,
          "final_true_posterior": 0.837563902349591,
          "final_zero_posterior": 0.022575170891595865,
          "max_normalization_error": 4.440892098500626e-16
        }
      ]
    },
    "P4_normalization": {
      "prediction": "posterior sums to one to numerical precision",
      "max_abs_sum_error": 4.440892098500626e-16
    }
  },
  "settings": {
    "a": 0.85,
    "q": 0.04,
    "D": 4,
    "persistence": 0.985,
    "steps": 1200,
    "threshold": 0.01,
    "replicates": 30,
    "likelihood": "exact Gaussian innovation with known state history"
  }
}