{
  "predictions": {
    "inside_identity": {
      "predicted": "d=0 for z in [lo,hi]",
      "observed_max_d": 0.0,
      "interval": [
        -0.5,
        0.5
      ]
    },
    "outside_linear_distance": {
      "predicted": "d=|z-boundary|, slope=1",
      "observed_left_slope": -0.9999999999999999,
      "observed_right_slope": 0.9999999999999997,
      "max_abs_slope_error": 3.3306690738754696e-16
    },
    "state_dependent_boundary": {
      "predicted": "upper boundary shift=-delta_v/(H dt)",
      "predicted_shifts": [
        -0.0,
        -0.1,
        0.1,
        -0.3,
        0.3
      ],
      "observed_hi_shifts": [
        0.0,
        -0.09999999999999998,
        0.09999999999999998,
        -0.3,
        0.30000000000000004
      ],
      "max_abs_residual": 5.551115123125783e-17
    },
    "zero_violation": {
      "predicted": "0 violations whenever solver feasible",
      "feasible_cases": 10000,
      "certified_fraction": 1.0
    },
    "clipping_comparison": {
      "predicted": "predictive projection has no certified one-step violations",
      "clipping_violations": 84,
      "projection_violations": 0
    }
  },
  "simulation": {
    "episodes": 30,
    "baseline_clip": {
      "mean_reward": -52.77031636612666,
      "violations_per_episode": 0.0,
      "mean_projection": 0.0
    },
    "idea_projection": {
      "mean_reward": -51.20000000000004,
      "violations_per_episode": 0.0,
      "mean_projection": 3.1836969762455234
    }
  }
}