1{
 2  "math_check": [
 3    {
 4      "d": 1,
 5      "empirical_max_jacobian": 0.7978845608027961,
 6      "exact_supremum": 0.7978845608028654,
 7      "directional_bound": 1.174,
 8      "global_bound": 1.174,
 9      "directional_holds": true,
10      "global_holds": true
11    },
12    {
13      "d": 2,
14      "empirical_max_jacobian": 0.7978845607908157,
15      "exact_supremum": 0.7978845608028654,
16      "directional_bound": 1.174,
17      "global_bound": 1.6602867222260136,
18      "directional_holds": true,
19      "global_holds": true
20    },
21    {
22      "d": 8,
23      "empirical_max_jacobian": 0.7978845608018172,
24      "exact_supremum": 0.7978845608028654,
25      "directional_bound": 1.174,
26      "global_bound": 3.320573444452027,
27      "directional_holds": true,
28      "global_holds": true
29    }
30  ],
31  "experiments": [
32    {
33      "d": 1,
34      "device": "cuda",
35      "L_star": 1.174,
36      "initial_scale": 4.0,
37      "baseline_uncapped": {
38        "final_scale": 0.9191882610321045,
39        "post_update_peak_jacobian": 3.9200000762939453,
40        "cap_violations_after_updates": 45,
41        "final_mse": 0.0012306981952860951,
42        "mean_last50_mse": 0.0012391400441993028
43      },
44      "certificate_projected": {
45        "final_scale": 0.9179075360298157,
46        "post_update_peak_jacobian": 1.1740000247955322,
47        "cap_violations_after_updates": 0,
48        "final_mse": 0.0012302587274461985,
49        "mean_last50_mse": 0.0012130588421132415
50      }
51    },
52    {
53      "d": 2,
54      "device": "cuda",
55      "L_star": 1.6602867222260136,
56      "initial_scale": 4.0,
57      "baseline_uncapped": {
58        "final_scale": 0.9192270040512085,
59        "post_update_peak_jacobian": 3.9200000762939453,
60        "cap_violations_after_updates": 33,
61        "final_mse": 0.001251482404768467,
62        "mean_last50_mse": 0.001261235501151532
63      },
64      "certificate_projected": {
65        "final_scale": 0.9181125164031982,
66        "post_update_peak_jacobian": 1.6602866649627686,
67        "cap_violations_after_updates": 0,
68        "final_mse": 0.0012502276804298162,
69        "mean_last50_mse": 0.0012490965402685106
70      }
71    },
72    {
73      "d": 8,
74      "device": "cuda",
75      "L_star": 3.320573444452027,
76      "initial_scale": 4.0,
77      "baseline_uncapped": {
78        "final_scale": 0.9176469445228577,
79        "post_update_peak_jacobian": 3.9200000762939453,
80        "cap_violations_after_updates": 8,
81        "final_mse": 0.0012451780494302511,
82        "mean_last50_mse": 0.0012538962787948548
83      },
84      "certificate_projected": {
85        "final_scale": 0.9178557395935059,
86        "post_update_peak_jacobian": 3.320573329925537,
87        "cap_violations_after_updates": 0,
88        "final_mse": 0.0012452153023332357,
89        "mean_last50_mse": 0.0012430797959677876
90      }
91    }
92  ]
93}