{
  "seed": 20261031,
  "samples_per_case": 20000,
  "plan_sha256": "defbe1378a0b5d44c04a6efdf6f40fe7eecdbf26d99750e35d9e0cbb24cffc24",
  "coverage_screen_passed": false,
  "cases": [
    {
      "coefficients": [
        0.0,
        0.0,
        6.0
      ],
      "pixel": [
        159.5,
        95.5
      ],
      "coverage": 0.7847,
      "old_coverage": 0.9832,
      "median_radius_deg": 90.0,
      "old_median_radius_deg": 90.0,
      "fraction_radius_le_15": 0.0
    },
    {
      "coefficients": [
        0.0,
        0.0,
        6.0
      ],
      "pixel": [
        40.0,
        40.0
      ],
      "coverage": 0.8567,
      "old_coverage": 0.9935,
      "median_radius_deg": 90.0,
      "old_median_radius_deg": 90.0,
      "fraction_radius_le_15": 0.0
    },
    {
      "coefficients": [
        0.0,
        0.0,
        6.0
      ],
      "pixel": [
        280.0,
        150.0
      ],
      "coverage": 0.8594,
      "old_coverage": 0.99365,
      "median_radius_deg": 90.0,
      "old_median_radius_deg": 90.0,
      "fraction_radius_le_15": 0.0
    },
    {
      "coefficients": [
        0.0,
        0.0,
        12.0
      ],
      "pixel": [
        159.5,
        95.5
      ],
      "coverage": 0.83175,
      "old_coverage": 0.979,
      "median_radius_deg": 90.0,
      "old_median_radius_deg": 90.0,
      "fraction_radius_le_15": 0.0
    },
    {
      "coefficients": [
        0.0,
        0.0,
        12.0
      ],
      "pixel": [
        40.0,
        40.0
      ],
      "coverage": 0.85705,
      "old_coverage": 0.99385,
      "median_radius_deg": 90.0,
      "old_median_radius_deg": 90.0,
      "fraction_radius_le_15": 0.0
    },
    {
      "coefficients": [
        0.0,
        0.0,
        12.0
      ],
      "pixel": [
        280.0,
        150.0
      ],
      "coverage": 0.8536,
      "old_coverage": 0.99455,
      "median_radius_deg": 90.0,
      "old_median_radius_deg": 90.0,
      "fraction_radius_le_15": 0.0
    },
    {
      "coefficients": [
        0.0,
        0.0,
        24.0
      ],
      "pixel": [
        159.5,
        95.5
      ],
      "coverage": 0.88575,
      "old_coverage": 0.9796,
      "median_radius_deg": 76.136701545238,
      "old_median_radius_deg": 90.0,
      "fraction_radius_le_15": 0.0
    },
    {
      "coefficients": [
        0.0,
        0.0,
        24.0
      ],
      "pixel": [
        40.0,
        40.0
      ],
      "coverage": 0.8979,
      "old_coverage": 0.99465,
      "median_radius_deg": 80.44643218086323,
      "old_median_radius_deg": 90.0,
      "fraction_radius_le_15": 0.0
    },
    {
      "coefficients": [
        0.0,
        0.0,
        24.0
      ],
      "pixel": [
        280.0,
        150.0
      ],
      "coverage": 0.8961,
      "old_coverage": 0.99475,
      "median_radius_deg": 80.59086415305232,
      "old_median_radius_deg": 90.0,
      "fraction_radius_le_15": 0.0
    },
    {
      "coefficients": [
        0.3,
        -0.1,
        6.0
      ],
      "pixel": [
        159.5,
        95.5
      ],
      "coverage": 0.97885,
      "old_coverage": 0.9945,
      "median_radius_deg": 30.571091485632657,
      "old_median_radius_deg": 37.543728216948864,
      "fraction_radius_le_15": 0.0
    },
    {
      "coefficients": [
        0.3,
        -0.1,
        6.0
      ],
      "pixel": [
        40.0,
        40.0
      ],
      "coverage": 0.97945,
      "old_coverage": 0.9973,
      "median_radius_deg": 29.408261511487268,
      "old_median_radius_deg": 39.16968511064757,
      "fraction_radius_le_15": 0.0
    },
    {
      "coefficients": [
        0.3,
        -0.1,
        6.0
      ],
      "pixel": [
        280.0,
        150.0
      ],
      "coverage": 0.982,
      "old_coverage": 0.99715,
      "median_radius_deg": 30.902861490733677,
      "old_median_radius_deg": 41.38745355820653,
      "fraction_radius_le_15": 0.0
    },
    {
      "coefficients": [
        0.3,
        -0.1,
        12.0
      ],
      "pixel": [
        159.5,
        95.5
      ],
      "coverage": 0.98005,
      "old_coverage": 0.99515,
      "median_radius_deg": 30.274987029781943,
      "old_median_radius_deg": 37.11843323000787,
      "fraction_radius_le_15": 0.0
    },
    {
      "coefficients": [
        0.3,
        -0.1,
        12.0
      ],
      "pixel": [
        40.0,
        40.0
      ],
      "coverage": 0.9811,
      "old_coverage": 0.99745,
      "median_radius_deg": 28.352756745894574,
      "old_median_radius_deg": 37.68852256341846,
      "fraction_radius_le_15": 5e-05
    },
    {
      "coefficients": [
        0.3,
        -0.1,
        12.0
      ],
      "pixel": [
        280.0,
        150.0
      ],
      "coverage": 0.9789,
      "old_coverage": 0.99675,
      "median_radius_deg": 31.65240913082431,
      "old_median_radius_deg": 42.51578251468122,
      "fraction_radius_le_15": 0.0
    },
    {
      "coefficients": [
        0.3,
        -0.1,
        24.0
      ],
      "pixel": [
        159.5,
        95.5
      ],
      "coverage": 0.9802,
      "old_coverage": 0.995,
      "median_radius_deg": 29.264658191247563,
      "old_median_radius_deg": 35.684810115708586,
      "fraction_radius_le_15": 0.0
    },
    {
      "coefficients": [
        0.3,
        -0.1,
        24.0
      ],
      "pixel": [
        40.0,
        40.0
      ],
      "coverage": 0.98185,
      "old_coverage": 0.99745,
      "median_radius_deg": 26.318790493919668,
      "old_median_radius_deg": 34.75530418331279,
      "fraction_radius_le_15": 0.0
    },
    {
      "coefficients": [
        0.3,
        -0.1,
        24.0
      ],
      "pixel": [
        280.0,
        150.0
      ],
      "coverage": 0.97865,
      "old_coverage": 0.99685,
      "median_radius_deg": 32.595604159517926,
      "old_median_radius_deg": 43.669291826366376,
      "fraction_radius_le_15": 0.0
    },
    {
      "coefficients": [
        0.8,
        0.4,
        6.0
      ],
      "pixel": [
        159.5,
        95.5
      ],
      "coverage": 0.9847,
      "old_coverage": 0.99515,
      "median_radius_deg": 11.050390790243465,
      "old_median_radius_deg": 12.724596541492813,
      "fraction_radius_le_15": 0.99955
    },
    {
      "coefficients": [
        0.8,
        0.4,
        6.0
      ],
      "pixel": [
        40.0,
        40.0
      ],
      "coverage": 0.98545,
      "old_coverage": 0.9985,
      "median_radius_deg": 9.598644512193896,
      "old_median_radius_deg": 12.596821895694728,
      "fraction_radius_le_15": 1.0
    },
    {
      "coefficients": [
        0.8,
        0.4,
        6.0
      ],
      "pixel": [
        280.0,
        150.0
      ],
      "coverage": 0.98405,
      "old_coverage": 0.99865,
      "median_radius_deg": 9.821485722265116,
      "old_median_radius_deg": 12.904415983945203,
      "fraction_radius_le_15": 1.0
    },
    {
      "coefficients": [
        0.8,
        0.4,
        12.0
      ],
      "pixel": [
        159.5,
        95.5
      ],
      "coverage": 0.9855,
      "old_coverage": 0.9952,
      "median_radius_deg": 11.037310540536518,
      "old_median_radius_deg": 12.709282395852904,
      "fraction_radius_le_15": 0.99945
    },
    {
      "coefficients": [
        0.8,
        0.4,
        12.0
      ],
      "pixel": [
        40.0,
        40.0
      ],
      "coverage": 0.98525,
      "old_coverage": 0.9988,
      "median_radius_deg": 9.47657744691778,
      "old_median_radius_deg": 12.434060198088751,
      "fraction_radius_le_15": 1.0
    },
    {
      "coefficients": [
        0.8,
        0.4,
        12.0
      ],
      "pixel": [
        280.0,
        150.0
      ],
      "coverage": 0.98435,
      "old_coverage": 0.9987,
      "median_radius_deg": 9.93513437749045,
      "old_median_radius_deg": 13.055621614031073,
      "fraction_radius_le_15": 0.99995
    },
    {
      "coefficients": [
        0.8,
        0.4,
        24.0
      ],
      "pixel": [
        159.5,
        95.5
      ],
      "coverage": 0.985,
      "old_coverage": 0.99485,
      "median_radius_deg": 10.991669521198297,
      "old_median_radius_deg": 12.6558538472901,
      "fraction_radius_le_15": 0.9997
    },
    {
      "coefficients": [
        0.8,
        0.4,
        24.0
      ],
      "pixel": [
        40.0,
        40.0
      ],
      "coverage": 0.98425,
      "old_coverage": 0.9986,
      "median_radius_deg": 9.240042374033383,
      "old_median_radius_deg": 12.12046560138687,
      "fraction_radius_le_15": 1.0
    },
    {
      "coefficients": [
        0.8,
        0.4,
        24.0
      ],
      "pixel": [
        280.0,
        150.0
      ],
      "coverage": 0.9859,
      "old_coverage": 0.99875,
      "median_radius_deg": 10.13432825447737,
      "old_median_radius_deg": 13.31962587860113,
      "fraction_radius_le_15": 0.99995
    }
  ]
}