1{
  2  "math_check": [
  3    [
  4      0.0,
  5      0.0,
  6      0.0
  7    ],
  8    [
  9      0.03,
 10      -3.663316527743438e-07,
 11      0.6026547079930374
 12    ],
 13    [
 14      0.08,
 15      -1.4721931197163097e-07,
 16      0.5575237010591277
 17    ],
 18    [
 19      0.15,
 20      -2.7402048734501487e-07,
 21      0.5153535609149476
 22    ],
 23    [
 24      0.25,
 25      -2.410918098324276e-05,
 26      0.4671501587815498
 27    ]
 28  ],
 29  "mechanism_predictions": {
 30    "delta_sweep": {
 31      "delta": [
 32        0.0,
 33        0.02,
 34        0.05,
 35        0.1,
 36        0.18,
 37        0.28
 38      ],
 39      "observed_min_certificate": [
 40        -0.3657137527975468,
 41        -0.40755196757726486,
 42        -0.4718092897468419,
 43        -0.5829048266961371,
 44        -0.7710576858150092,
 45        -1.0242487597135994
 46      ],
 47      "predicted_min_certificate": [
 48        -0.3657137527975468,
 49        -0.40755196757726486,
 50        -0.47180928974684194,
 51        -0.5829048266961371,
 52        -0.7710576858150091,
 53        -1.0242487597135994
 54      ]
 55    },
 56    "c2_sweep": {
 57      "c2": [
 58        0.0,
 59        0.01,
 60        0.02,
 61        0.03,
 62        0.05,
 63        0.08
 64      ],
 65      "observed_min_actual_certificate": [
 66        -0.1949976202770638,
 67        -0.25892100287679903,
 68        -0.32284438547653427,
 69        -0.38676776807626956,
 70        -0.5146145332757401,
 71        -0.7063846810749458
 72      ],
 73      "actual_violation_fraction": [
 74        0.3914166666666667,
 75        0.44266666666666665,
 76        0.49125,
 77        0.5434166666666667,
 78        0.6498333333333334,
 79        0.9589166666666666
 80      ]
 81    }
 82  },
 83  "training_comparison": [
 84    {
 85      "fraction": 1.0,
 86      "delta": 0.055,
 87      "baseline": {
 88        "min_robust": -0.6232030987739563,
 89        "median_robust": -0.049442701041698456,
 90        "min_nominal": -0.4958314895629883,
 91        "actual_violation": 0.5488888888888889,
 92        "convergence": 0.011333333333333334,
 93        "K": [
 94          [
 95            0.31106820702552795,
 96            0.8250079154968262
 97          ]
 98        ]
 99      },
100      "robust": {
101        "min_robust": -0.6184292435646057,
102        "median_robust": -0.046637751162052155,
103        "min_nominal": -0.49109792709350586,
104        "actual_violation": 0.5427777777777778,
105        "convergence": 0.009333333333333334,
106        "K": [
107          [
108            0.2789806127548218,
109            0.8940660357475281
110          ]
111        ]
112      }
113    },
114    {
115      "fraction": 0.5,
116      "delta": 0.11,
117      "baseline": {
118        "min_robust": -0.7794639468193054,
119        "median_robust": -0.1056281179189682,
120        "min_nominal": -0.5165111422538757,
121        "actual_violation": 0.5477777777777778,
122        "convergence": 0.014666666666666666,
123        "K": [
124          [
125            0.32203590869903564,
126            0.7953565716743469
127          ]
128        ]
129      },
130      "robust": {
131        "min_robust": -0.75145423412323,
132        "median_robust": -0.09921781718730927,
133        "min_nominal": -0.4889668822288513,
134        "actual_violation": 0.5333333333333333,
135        "convergence": 0.013333333333333334,
136        "K": [
137          [
138            0.2883901298046112,
139            1.0229500532150269
140          ]
141        ]
142      }
143    },
144    {
145      "fraction": 0.2,
146      "delta": 0.18,
147      "baseline": {
148        "min_robust": -0.9439206719398499,
149        "median_robust": -0.18656912446022034,
150        "min_nominal": -0.5021734833717346,
151        "actual_violation": 0.535,
152        "convergence": 0.008666666666666666,
153        "K": [
154          [
155            0.30155912041664124,
156            0.7847724556922913
157          ]
158        ]
159      },
160      "robust": {
161        "min_robust": -0.9152106046676636,
162        "median_robust": -0.17125999927520752,
163        "min_nominal": -0.47225475311279297,
164        "actual_violation": 0.5066666666666667,
165        "convergence": 0.008666666666666666,
166        "K": [
167          [
168            0.18351659178733826,
169            1.140769600868225
170          ]
171        ]
172      }
173    }
174  ]
175}