{
  "math_check": [
    {
      "d": 1,
      "empirical_max_jacobian": 0.7978845608027961,
      "exact_supremum": 0.7978845608028654,
      "directional_bound": 1.174,
      "global_bound": 1.174,
      "directional_holds": true,
      "global_holds": true
    },
    {
      "d": 2,
      "empirical_max_jacobian": 0.7978845607908157,
      "exact_supremum": 0.7978845608028654,
      "directional_bound": 1.174,
      "global_bound": 1.6602867222260136,
      "directional_holds": true,
      "global_holds": true
    },
    {
      "d": 8,
      "empirical_max_jacobian": 0.7978845608018172,
      "exact_supremum": 0.7978845608028654,
      "directional_bound": 1.174,
      "global_bound": 3.320573444452027,
      "directional_holds": true,
      "global_holds": true
    }
  ],
  "experiments": [
    {
      "d": 1,
      "device": "cuda",
      "L_star": 1.174,
      "initial_scale": 4.0,
      "baseline_uncapped": {
        "final_scale": 0.9191882610321045,
        "post_update_peak_jacobian": 3.9200000762939453,
        "cap_violations_after_updates": 45,
        "final_mse": 0.0012306981952860951,
        "mean_last50_mse": 0.0012391400441993028
      },
      "certificate_projected": {
        "final_scale": 0.9179075360298157,
        "post_update_peak_jacobian": 1.1740000247955322,
        "cap_violations_after_updates": 0,
        "final_mse": 0.0012302587274461985,
        "mean_last50_mse": 0.0012130588421132415
      }
    },
    {
      "d": 2,
      "device": "cuda",
      "L_star": 1.6602867222260136,
      "initial_scale": 4.0,
      "baseline_uncapped": {
        "final_scale": 0.9192270040512085,
        "post_update_peak_jacobian": 3.9200000762939453,
        "cap_violations_after_updates": 33,
        "final_mse": 0.001251482404768467,
        "mean_last50_mse": 0.001261235501151532
      },
      "certificate_projected": {
        "final_scale": 0.9181125164031982,
        "post_update_peak_jacobian": 1.6602866649627686,
        "cap_violations_after_updates": 0,
        "final_mse": 0.0012502276804298162,
        "mean_last50_mse": 0.0012490965402685106
      }
    },
    {
      "d": 8,
      "device": "cuda",
      "L_star": 3.320573444452027,
      "initial_scale": 4.0,
      "baseline_uncapped": {
        "final_scale": 0.9176469445228577,
        "post_update_peak_jacobian": 3.9200000762939453,
        "cap_violations_after_updates": 8,
        "final_mse": 0.0012451780494302511,
        "mean_last50_mse": 0.0012538962787948548
      },
      "certificate_projected": {
        "final_scale": 0.9178557395935059,
        "post_update_peak_jacobian": 3.320573329925537,
        "cap_violations_after_updates": 0,
        "final_mse": 0.0012452153023332357,
        "mean_last50_mse": 0.0012430797959677876
      }
    }
  ]
}