{
  "math_check": [
    [
      0.0,
      0.0,
      0.0
    ],
    [
      0.03,
      -3.663316527743438e-07,
      0.6026547079930374
    ],
    [
      0.08,
      -1.4721931197163097e-07,
      0.5575237010591277
    ],
    [
      0.15,
      -2.7402048734501487e-07,
      0.5153535609149476
    ],
    [
      0.25,
      -2.410918098324276e-05,
      0.4671501587815498
    ]
  ],
  "mechanism_predictions": {
    "delta_sweep": {
      "delta": [
        0.0,
        0.02,
        0.05,
        0.1,
        0.18,
        0.28
      ],
      "observed_min_certificate": [
        -0.3657137527975468,
        -0.40755196757726486,
        -0.4718092897468419,
        -0.5829048266961371,
        -0.7710576858150092,
        -1.0242487597135994
      ],
      "predicted_min_certificate": [
        -0.3657137527975468,
        -0.40755196757726486,
        -0.47180928974684194,
        -0.5829048266961371,
        -0.7710576858150091,
        -1.0242487597135994
      ]
    },
    "c2_sweep": {
      "c2": [
        0.0,
        0.01,
        0.02,
        0.03,
        0.05,
        0.08
      ],
      "observed_min_actual_certificate": [
        -0.1949976202770638,
        -0.25892100287679903,
        -0.32284438547653427,
        -0.38676776807626956,
        -0.5146145332757401,
        -0.7063846810749458
      ],
      "actual_violation_fraction": [
        0.3914166666666667,
        0.44266666666666665,
        0.49125,
        0.5434166666666667,
        0.6498333333333334,
        0.9589166666666666
      ]
    }
  },
  "training_comparison": [
    {
      "fraction": 1.0,
      "delta": 0.055,
      "baseline": {
        "min_robust": -0.6232030987739563,
        "median_robust": -0.049442701041698456,
        "min_nominal": -0.4958314895629883,
        "actual_violation": 0.5488888888888889,
        "convergence": 0.011333333333333334,
        "K": [
          [
            0.31106820702552795,
            0.8250079154968262
          ]
        ]
      },
      "robust": {
        "min_robust": -0.6184292435646057,
        "median_robust": -0.046637751162052155,
        "min_nominal": -0.49109792709350586,
        "actual_violation": 0.5427777777777778,
        "convergence": 0.009333333333333334,
        "K": [
          [
            0.2789806127548218,
            0.8940660357475281
          ]
        ]
      }
    },
    {
      "fraction": 0.5,
      "delta": 0.11,
      "baseline": {
        "min_robust": -0.7794639468193054,
        "median_robust": -0.1056281179189682,
        "min_nominal": -0.5165111422538757,
        "actual_violation": 0.5477777777777778,
        "convergence": 0.014666666666666666,
        "K": [
          [
            0.32203590869903564,
            0.7953565716743469
          ]
        ]
      },
      "robust": {
        "min_robust": -0.75145423412323,
        "median_robust": -0.09921781718730927,
        "min_nominal": -0.4889668822288513,
        "actual_violation": 0.5333333333333333,
        "convergence": 0.013333333333333334,
        "K": [
          [
            0.2883901298046112,
            1.0229500532150269
          ]
        ]
      }
    },
    {
      "fraction": 0.2,
      "delta": 0.18,
      "baseline": {
        "min_robust": -0.9439206719398499,
        "median_robust": -0.18656912446022034,
        "min_nominal": -0.5021734833717346,
        "actual_violation": 0.535,
        "convergence": 0.008666666666666666,
        "K": [
          [
            0.30155912041664124,
            0.7847724556922913
          ]
        ]
      },
      "robust": {
        "min_robust": -0.9152106046676636,
        "median_robust": -0.17125999927520752,
        "min_nominal": -0.47225475311279297,
        "actual_violation": 0.5066666666666667,
        "convergence": 0.008666666666666666,
        "K": [
          [
            0.18351659178733826,
            1.140769600868225
          ]
        ]
      }
    }
  ]
}