{
  "core_math": [
    {
      "a": 0.8,
      "c": 0.35,
      "r": 0.2,
      "sampled_mu": 0.3636363636363637,
      "analytic_mu": 0.3636363636363637,
      "relative_error": 0.0
    },
    {
      "a": 0.8,
      "c": 0.8,
      "r": 0.65,
      "sampled_mu": 0.6500000000000004,
      "analytic_mu": 0.65,
      "relative_error": 5.124106267500722e-16
    },
    {
      "a": 0.4,
      "c": 0.1,
      "r": 0.3,
      "sampled_mu": 0.42857142857142855,
      "analytic_mu": 0.4285714285714286,
      "relative_error": 1.2952601953960158e-16
    }
  ],
  "boundary": {
    "A": 0.45000000000000007,
    "predicted_r_boundary": 0.5499999999999999,
    "observed_r_boundary": 0.54,
    "records": [
      [
        0.36999999999999994,
        true,
        2.4064965221324804e-09
      ],
      [
        0.38999999999999996,
        true,
        2.678727931661603e-08
      ],
      [
        0.4099999999999999,
        true,
        2.8173780346657175e-07
      ],
      [
        0.42999999999999994,
        true,
        2.8071603112136964e-06
      ],
      [
        0.44999999999999996,
        true,
        2.6561398887587544e-05
      ],
      [
        0.47,
        true,
        0.0002392118746569993
      ],
      [
        0.49,
        true,
        0.00205487477052361
      ],
      [
        0.51,
        true,
        0.016870319358849785
      ],
      [
        0.53,
        true,
        0.13261955589475447
      ],
      [
        0.55,
        false,
        1.0
      ],
      [
        0.57,
        false,
        7.244646118252347
      ],
      [
        0.59,
        false,
        50.50494818426958
      ],
      [
        0.61,
        false,
        339.3020835144871
      ],
      [
        0.63,
        false,
        2199.7612563413004
      ],
      [
        0.6499999999999999,
        false,
        13780.612339822379
      ],
      [
        0.6699999999999999,
        false,
        83522.26572653578
      ],
      [
        0.69,
        false,
        490326.2381264714
      ],
      [
        0.71,
        false,
        2791251.1993747996
      ],
      [
        0.73,
        false,
        15424131.905453516
      ]
    ],
    "boundary_error": 0.009999999999999898
  },
  "gain_prediction": {
    "a": 0.8,
    "r": 0.45,
    "predicted_optimal_gain": 0.8,
    "observed_mu_minimizer": 0.8,
    "observed_contraction_minimizer": 0.8,
    "controller_gain": 0.8,
    "controller_mu": 0.4500000000000002,
    "certificate": true,
    "baseline_gain": 0.35,
    "baseline_worst_pole": 0.9000000000000001,
    "idea_worst_pole": 0.45,
    "mu_at_zero_uncertainty": 0.0
  },
  "divergence_sweep": {
    "predicted_mu_boundary": 1.0,
    "rows": [
      {
        "r": 0.4,
        "mu": 0.7272727272727274,
        "divergence_probability": 0.0
      },
      {
        "r": 0.42000000000000004,
        "mu": 0.7636363636363638,
        "divergence_probability": 0.0
      },
      {
        "r": 0.44,
        "mu": 0.8000000000000002,
        "divergence_probability": 0.0
      },
      {
        "r": 0.46,
        "mu": 0.8363636363636365,
        "divergence_probability": 0.0
      },
      {
        "r": 0.48,
        "mu": 0.8727272727272728,
        "divergence_probability": 0.0
      },
      {
        "r": 0.5,
        "mu": 0.9090909090909092,
        "divergence_probability": 0.0
      },
      {
        "r": 0.52,
        "mu": 0.9454545454545455,
        "divergence_probability": 0.0
      },
      {
        "r": 0.54,
        "mu": 0.981818181818182,
        "divergence_probability": 0.0
      },
      {
        "r": 0.56,
        "mu": 1.0181818181818183,
        "divergence_probability": 0.0
      },
      {
        "r": 0.58,
        "mu": 1.0545454545454547,
        "divergence_probability": 0.001
      },
      {
        "r": 0.6,
        "mu": 1.090909090909091,
        "divergence_probability": 0.019
      },
      {
        "r": 0.62,
        "mu": 1.1272727272727274,
        "divergence_probability": 0.042
      },
      {
        "r": 0.64,
        "mu": 1.1636363636363638,
        "divergence_probability": 0.052
      },
      {
        "r": 0.6599999999999999,
        "mu": 1.2,
        "divergence_probability": 0.047
      },
      {
        "r": 0.6799999999999999,
        "mu": 1.2363636363636363,
        "divergence_probability": 0.073
      },
      {
        "r": 0.7,
        "mu": 1.2727272727272727,
        "divergence_probability": 0.081
      }
    ]
  },
  "mini_experiment": {
    "baseline": {
      "median_final_abs": 0.012560059139237516,
      "median_max_abs": 1.0,
      "fraction_max_over_10": 0.0
    },
    "idea": {
      "median_final_abs": 0.006363764910622407,
      "median_max_abs": 1.0,
      "fraction_max_over_10": 0.0
    },
    "controller_gain": 0.8
  }
}