{
  "seed": 11,
  "system": {
    "mu": 0.055,
    "sigma": 0.2,
    "U": -0.8,
    "T": 0.8
  },
  "predictions": {
    "margin_slope_observed": 15.958429160401632,
    "margin_prediction": "positive approximately linear until infeasible",
    "mc_slope_observed": -0.5113969907459289,
    "mc_prediction": -0.5,
    "feasibility_cliff_between_delta": [
      0.03,
      0.04
    ]
  },
  "margin_sweep": [
    {
      "delta": 0,
      "min_initial_B": 0.1358980998171118,
      "p_cert": 0.8641019001828882,
      "feasible": true
    },
    {
      "delta": 0.002,
      "min_initial_B": 0.16781495813790323,
      "p_cert": 0.8321850418620967,
      "feasible": true
    },
    {
      "delta": 0.005,
      "min_initial_B": 0.21569024561910813,
      "p_cert": 0.7843097543808919,
      "feasible": true
    },
    {
      "delta": 0.01,
      "min_initial_B": 0.2954823914212426,
      "p_cert": 0.7045176085787574,
      "feasible": true
    },
    {
      "delta": 0.02,
      "min_initial_B": 0.455066683025447,
      "p_cert": 0.5449333169745529,
      "feasible": true
    },
    {
      "delta": 0.03,
      "min_initial_B": 0.6146509746296235,
      "p_cert": 0.3853490253703765,
      "feasible": true
    },
    {
      "delta": 0.04,
      "min_initial_B": null,
      "p_cert": null,
      "feasible": false
    },
    {
      "delta": 0.05,
      "min_initial_B": null,
      "p_cert": null,
      "feasible": false
    }
  ],
  "mc_true_expectation": 0.5774997243675102,
  "mc_scaling": [
    {
      "M": 8,
      "mae": 0.02787765295299081
    },
    {
      "M": 16,
      "mae": 0.020605521927450753
    },
    {
      "M": 32,
      "mae": 0.014353076400914308
    },
    {
      "M": 64,
      "mae": 0.010239305597520103
    },
    {
      "M": 128,
      "mae": 0.007574911191649707
    },
    {
      "M": 256,
      "mae": 0.004955760000340562
    },
    {
      "M": 512,
      "mae": 0.0035631615262848772
    },
    {
      "M": 1024,
      "mae": 0.0022852087134715817
    }
  ],
  "exact_failure_max_X0": 0.12995081649276266,
  "rollout_success_by_start": [
    0.8643864386438644,
    0.8907890789078908,
    0.8955895589558955,
    0.9102910291029103,
    0.9333933393339334,
    0.9378937893789379,
    0.9450945094509451,
    0.9543954395439544,
    0.9567956795679567
  ],
  "certificate_check": {
    "delta": 0.03,
    "max_B_X0": 0.6146509746296235,
    "max_exact_failure_X0": 0.12995081649276266,
    "conservative_gap": 0.48470015813686085
  },
  "neural_comparison": {
    "device": "cuda",
    "baseline": {
      "loss": 0.3060360252857208,
      "max_init_B": 0.22222056984901428,
      "max_init_limit_violation": -0.7577794790267944,
      "max_drift_residual": 0.28713932633399963,
      "boundary_rmse": 0.1437969207763672
    },
    "idea": {
      "loss": 8.059223175048828,
      "max_init_B": 0.009476847015321255,
      "max_init_limit_violation": -0.9705231785774231,
      "max_drift_residual": 0.2172824889421463,
      "boundary_rmse": 0.00011445609561633319
    }
  }
}