{
  "math_verification": {
    "closure_sweep": {
      "k": 6,
      "rows": [
        [
          0,
          0.2857142857142653,
          0.2857142857142857
        ],
        [
          1,
          0.42857142857139796,
          0.42857142857142855
        ],
        [
          2,
          0.5714285714285307,
          0.5714285714285714
        ],
        [
          3,
          0.7142857142856632,
          0.7142857142857143
        ],
        [
          4,
          0.8571428571427959,
          0.8571428571428571
        ]
      ],
      "max_abs_error": 6.117328865684613e-14,
      "observed_slope": 0.14285714285713252,
      "predicted_slope": 0.14285714285714285
    },
    "gate_sweep": {
      "a0": -1.2,
      "a1": 4.0,
      "a2": 0.7,
      "r": 0.08,
      "predicted_C_at_alpha_half": 0.286,
      "observed_C_at_alpha_half": 0.29,
      "monotone_in_C": true,
      "alpha_at_0": 0.24158671334416873,
      "alpha_at_1": 0.9456280030042419
    },
    "update_sweep": {
      "predicted_slope_coordinate0": -1.5,
      "observed_slope_coordinate0": -1.499999999999999,
      "endpoint_error": 0.0
    }
  },
  "mini_experiment": {
    "n": 48,
    "edges": 215,
    "mean_C_directed": 0.44528704408397235,
    "train_nodes": 24,
    "baseline_error_all_and_test": [
      0.0833333358168602,
      0.1666666716337204
    ],
    "idea_error_all_and_test": [
      0.02083333395421505,
      0.0416666679084301
    ]
  }
}