{
  "verification": {
    "rho": 0.81,
    "predicted_boundary": 0.9,
    "observed_boundary_grid": 0.901,
    "boundary_abs_error": 0.0010000000000000009,
    "modes": [
      0.55,
      0.72,
      0.89,
      1.03
    ],
    "T": 80,
    "predicted_worst_log_norm": 2.3647041793235544,
    "observed_worst_log_norm": 2.364704179323554,
    "random_sequence_log_norm": -18.71934479185195,
    "quadratic_excess": [
      0.01,
      0.03,
      0.07,
      0.12
    ],
    "exact_violation": [
      0.018100000000000005,
      0.05490000000000006,
      0.1308999999999999,
      0.23039999999999994
    ],
    "local_slopes": [
      1.840000000000003,
      1.8999999999999957,
      1.990000000000001
    ],
    "predicted_boundary_slope": 1.8,
    "slope_relative_error_last": 0.10555555555555614,
    "all_predictions_confirmed": true
  },
  "mini_experiment": {
    "baseline_unregularized": {
      "task_mse": 2.3213250637054443,
      "max_abs_a": 0.49454018473625183,
      "edge_violation_rate": 0.0,
      "norm_after_1000_worst": -704.1268944740295,
      "device": "cuda"
    },
    "graph_certified": {
      "task_mse": 2.321169853210449,
      "max_abs_a": 0.3906635642051697,
      "edge_violation_rate": 0.0,
      "norm_after_1000_worst": -939.9085640907288,
      "device": "cuda"
    }
  }
}