1{
 2  "verification": {
 3    "rho": 0.81,
 4    "predicted_boundary": 0.9,
 5    "observed_boundary_grid": 0.901,
 6    "boundary_abs_error": 0.0010000000000000009,
 7    "modes": [
 8      0.55,
 9      0.72,
10      0.89,
11      1.03
12    ],
13    "T": 80,
14    "predicted_worst_log_norm": 2.3647041793235544,
15    "observed_worst_log_norm": 2.364704179323554,
16    "random_sequence_log_norm": -18.71934479185195,
17    "quadratic_excess": [
18      0.01,
19      0.03,
20      0.07,
21      0.12
22    ],
23    "exact_violation": [
24      0.018100000000000005,
25      0.05490000000000006,
26      0.1308999999999999,
27      0.23039999999999994
28    ],
29    "local_slopes": [
30      1.840000000000003,
31      1.8999999999999957,
32      1.990000000000001
33    ],
34    "predicted_boundary_slope": 1.8,
35    "slope_relative_error_last": 0.10555555555555614,
36    "all_predictions_confirmed": true
37  },
38  "mini_experiment": {
39    "baseline_unregularized": {
40      "task_mse": 2.3213250637054443,
41      "max_abs_a": 0.49454018473625183,
42      "edge_violation_rate": 0.0,
43      "norm_after_1000_worst": -704.1268944740295,
44      "device": "cuda"
45    },
46    "graph_certified": {
47      "task_mse": 2.321169853210449,
48      "max_abs_a": 0.3906635642051697,
49      "edge_violation_rate": 0.0,
50      "norm_after_1000_worst": -939.9085640907288,
51      "device": "cuda"
52    }
53  }
54}