{
  "seed": 1215,
  "math_check": {
    "intersection_equivalence": true,
    "js_zero_equal": 0.0,
    "js_positive_unequal": 0.27539611524877045,
    "js_symmetric_error": 0.0,
    "js_upper_bound_log2": 0.41775106531117484
  },
  "safety_structure": {
    "feasible_intersection": [
      0
    ],
    "empty_intersection": [],
    "empty_intersection_rate": 1.0
  },
  "baseline_task_only": {
    "kappa": 0.6870363354682922,
    "feasible_violation": 0.5,
    "empty_robust_margin": 0.0,
    "empty_intersection_certificate": true,
    "task_ce": 0.0007453762227669358,
    "q": [
      [
        0.9993000030517578,
        0.000699999975040555
      ],
      [
        0.000699999975040555,
        0.9993000030517578
      ],
      [
        0.9993000030517578,
        0.000699999975040555
      ],
      [
        0.000699999975040555,
        0.9993000030517578
      ]
    ]
  },
  "consistency_sweep": {
    "0.0": {
      "kappa": 0.6870363354682922,
      "feasible_violation": 0.5,
      "empty_robust_margin": 0.0,
      "empty_intersection_certificate": true,
      "task_ce": 0.0007453762227669358,
      "q": [
        [
          0.9993000030517578,
          0.000699999975040555
        ],
        [
          0.000699999975040555,
          0.9993000030517578
        ],
        [
          0.9993000030517578,
          0.000699999975040555
        ],
        [
          0.000699999975040555,
          0.9993000030517578
        ]
      ]
    },
    "0.02": {
      "kappa": 0.6863622069358826,
      "feasible_violation": 0.5,
      "empty_robust_margin": 0.0,
      "empty_intersection_certificate": true,
      "task_ce": 0.0008398343343287706,
      "q": [
        [
          0.9991999864578247,
          0.0007999999797903001
        ],
        [
          0.0007999999797903001,
          0.9991999864578247
        ],
        [
          0.9991999864578247,
          0.0007999999797903001
        ],
        [
          0.0007999999797903001,
          0.9991999864578247
        ]
      ]
    },
    "0.05": {
      "kappa": 0.6850269436836243,
      "feasible_violation": 0.5,
      "empty_robust_margin": 0.0,
      "empty_intersection_certificate": true,
      "task_ce": 0.0010314626852050424,
      "q": [
        [
          0.9990000128746033,
          0.0010000000474974513
        ],
        [
          0.0010000000474974513,
          0.9990000128746033
        ],
        [
          0.9990000128746033,
          0.0010000000474974513
        ],
        [
          0.0010000000474974513,
          0.9990000128746033
        ]
      ]
    },
    "0.1": {
      "kappa": 0.6812583208084106,
      "feasible_violation": 0.5,
      "empty_robust_margin": 0.0,
      "empty_intersection_certificate": true,
      "task_ce": 0.0015997005393728614,
      "q": [
        [
          0.9983999729156494,
          0.0015999999595806003
        ],
        [
          0.0015999999595806003,
          0.9983999729156494
        ],
        [
          0.9983999729156494,
          0.0015999999595806003
        ],
        [
          0.0015999999595806003,
          0.9983999729156494
        ]
      ]
    },
    "0.25": {
      "kappa": 0.6077403426170349,
      "feasible_violation": 0.5,
      "empty_robust_margin": 0.0,
      "empty_intersection_certificate": true,
      "task_ce": 0.016967138275504112,
      "q": [
        [
          0.9832000136375427,
          0.01679999940097332
        ],
        [
          0.01679999940097332,
          0.9832000136375427
        ],
        [
          0.9832000136375427,
          0.01679999940097332
        ],
        [
          0.01679999940097332,
          0.9832000136375427
        ]
      ]
    },
    "0.5": {
      "kappa": 0.37210187315940857,
      "feasible_violation": 0.5,
      "empty_robust_margin": 0.0,
      "empty_intersection_certificate": true,
      "task_ce": 0.10333021730184555,
      "q": [
        [
          0.9017999768257141,
          0.0982000008225441
        ],
        [
          0.0982000008225441,
          0.9017999768257141
        ],
        [
          0.9017999768257141,
          0.0982000008225441
        ],
        [
          0.0982000008225441,
          0.9017999768257141
        ]
      ]
    },
    "1.0": {
      "kappa": 0.16902287304401398,
      "feasible_violation": 0.5,
      "empty_robust_margin": 0.0,
      "empty_intersection_certificate": true,
      "task_ce": 0.24565979838371277,
      "q": [
        [
          0.7821999788284302,
          0.21780000627040863
        ],
        [
          0.21780000627040863,
          0.7821999788284302
        ],
        [
          0.7821999788284302,
          0.21780000627040863
        ],
        [
          0.21780000627040863,
          0.7821999788284302
        ]
      ]
    },
    "2.0": {
      "kappa": 0.06384560465812683,
      "feasible_violation": 0.5,
      "empty_robust_margin": 0.0,
      "empty_intersection_certificate": true,
      "task_ce": 0.390466570854187,
      "q": [
        [
          0.6766999959945679,
          0.32330000400543213
        ],
        [
          0.32330000400543213,
          0.6766999959945679
        ],
        [
          0.6766999959945679,
          0.32330000400543213
        ],
        [
          0.32330000400543213,
          0.6766999959945679
        ]
      ]
    },
    "5.0": {
      "kappa": 0.014414504170417786,
      "feasible_violation": 0.5,
      "empty_robust_margin": 0.0,
      "empty_intersection_certificate": true,
      "task_ce": 0.5366716980934143,
      "q": [
        [
          0.5846999883651733,
          0.41530001163482666
        ],
        [
          0.41530001163482666,
          0.5846999883651733
        ],
        [
          0.5846999883651733,
          0.41530001163482666
        ],
        [
          0.41530001163482666,
          0.5846999883651733
        ]
      ]
    }
  },
  "safety_sweep": {
    "0.0": {
      "kappa": 0.16902287304401398,
      "feasible_violation": 0.5,
      "empty_robust_margin": 0.0,
      "empty_intersection_certificate": true,
      "task_ce": 0.24565979838371277,
      "q": [
        [
          0.7821999788284302,
          0.21780000627040863
        ],
        [
          0.21780000627040863,
          0.7821999788284302
        ],
        [
          0.7821999788284302,
          0.21780000627040863
        ],
        [
          0.21780000627040863,
          0.7821999788284302
        ]
      ]
    },
    "0.02": {
      "kappa": 0.16899904608726501,
      "feasible_violation": 0.48859095573425293,
      "empty_robust_margin": 0.0,
      "empty_intersection_certificate": true,
      "task_ce": 0.24579764902591705,
      "q": [
        [
          0.7935000061988831,
          0.20649999380111694
        ],
        [
          0.22939999401569366,
          0.7706000208854675
        ],
        [
          0.7821999788284302,
          0.21780000627040863
        ],
        [
          0.21780000627040863,
          0.7821999788284302
        ]
      ]
    },
    "0.05": {
      "kappa": 0.16887471079826355,
      "feasible_violation": 0.47155892848968506,
      "empty_robust_margin": 0.0,
      "empty_intersection_certificate": true,
      "task_ce": 0.24651779234409332,
      "q": [
        [
          0.8098000288009644,
          0.19020000100135803
        ],
        [
          0.24709999561309814,
          0.7529000043869019
        ],
        [
          0.7821999788284302,
          0.21780000627040863
        ],
        [
          0.21780000627040863,
          0.7821999788284302
        ]
      ]
    },
    "0.1": {
      "kappa": 0.16843822598457336,
      "feasible_violation": 0.44368624687194824,
      "empty_robust_margin": 0.0,
      "empty_intersection_certificate": true,
      "task_ce": 0.24904121458530426,
      "q": [
        [
          0.8353000283241272,
          0.1647000014781952
        ],
        [
          0.2773999869823456,
          0.722599983215332
        ],
        [
          0.7821999788284302,
          0.21780000627040863
        ],
        [
          0.21780000627040863,
          0.7821999788284302
        ]
      ]
    },
    "0.25": {
      "kappa": 0.16566991806030273,
      "feasible_violation": 0.36782193183898926,
      "empty_robust_margin": 0.0,
      "empty_intersection_certificate": true,
      "task_ce": 0.26491066813468933,
      "q": [
        [
          0.8963000178337097,
          0.10369999706745148
        ],
        [
          0.36800000071525574,
          0.6320000290870667
        ],
        [
          0.7821999788284302,
          0.21780000627040863
        ],
        [
          0.21780000627040863,
          0.7821999788284302
        ]
      ]
    },
    "0.5": {
      "kappa": 0.1583424210548401,
      "feasible_violation": 0.2753860354423523,
      "empty_robust_margin": 0.0,
      "empty_intersection_certificate": true,
      "task_ce": 0.3060367703437805,
      "q": [
        [
          0.9532999992370605,
          0.04670000076293945
        ],
        [
          0.4959000051021576,
          0.5041000247001648
        ],
        [
          0.7821999788284302,
          0.21780000627040863
        ],
        [
          0.21780000627040863,
          0.7821999788284302
        ]
      ]
    },
    "1.0": {
      "kappa": 0.14298632740974426,
      "feasible_violation": 0.17822718620300293,
      "empty_robust_margin": 0.0,
      "empty_intersection_certificate": true,
      "task_ce": 0.3909050226211548,
      "q": [
        [
          0.9894000291824341,
          0.010599999688565731
        ],
        [
          0.6541000008583069,
          0.3458999991416931
        ],
        [
          0.7821999788284302,
          0.21780000627040863
        ],
        [
          0.21780000627040863,
          0.7821999788284302
        ]
      ]
    },
    "2.0": {
      "kappa": 0.12127116322517395,
      "feasible_violation": 0.10490959882736206,
      "empty_robust_margin": 0.0,
      "empty_intersection_certificate": true,
      "task_ce": 0.5157949328422546,
      "q": [
        [
          0.998199999332428,
          0.0017999999690800905
        ],
        [
          0.7919999957084656,
          0.20800000429153442
        ],
        [
          0.7821999788284302,
          0.21780000627040863
        ],
        [
          0.21780000627040863,
          0.7821999788284302
        ]
      ]
    },
    "5.0": {
      "kappa": 0.11885703355073929,
      "feasible_violation": 0.10082364082336426,
      "empty_robust_margin": 0.0,
      "empty_intersection_certificate": true,
      "task_ce": 0.5267858505249023,
      "q": [
        [
          0.9976000189781189,
          0.002400000113993883
        ],
        [
          0.8008000254631042,
          0.19920000433921814
        ],
        [
          0.7821999788284302,
          0.21780000627040863
        ],
        [
          0.21780000627040863,
          0.7821999788284302
        ]
      ]
    }
  },
  "prediction_checks": {
    "P1_js_zero_is_exact": true,
    "P2_kappa_reduced_high_consistency": true,
    "P2_monotone_kappa_fraction": 1.0,
    "P3_feasible_violation_reduced_high_safety": true,
    "P3_empty_intersection_always_certificate": true
  },
  "prediction_summary": {
    "P1": "JS is exactly zero for equal distributions and positive for unequal ones.",
    "P2": "Increasing the JS coefficient reduces observational disagreement kappa.",
    "P3": "Increasing robust-safety weight reduces feasible-group unsafe probability; empty intersections stay explicitly infeasible."
  }
}