1{
  2  "core_math": [
  3    {
  4      "a": 0.8,
  5      "c": 0.35,
  6      "r": 0.2,
  7      "sampled_mu": 0.3636363636363637,
  8      "analytic_mu": 0.3636363636363637,
  9      "relative_error": 0.0
 10    },
 11    {
 12      "a": 0.8,
 13      "c": 0.8,
 14      "r": 0.65,
 15      "sampled_mu": 0.6500000000000004,
 16      "analytic_mu": 0.65,
 17      "relative_error": 5.124106267500722e-16
 18    },
 19    {
 20      "a": 0.4,
 21      "c": 0.1,
 22      "r": 0.3,
 23      "sampled_mu": 0.42857142857142855,
 24      "analytic_mu": 0.4285714285714286,
 25      "relative_error": 1.2952601953960158e-16
 26    }
 27  ],
 28  "boundary": {
 29    "A": 0.45000000000000007,
 30    "predicted_r_boundary": 0.5499999999999999,
 31    "observed_r_boundary": 0.54,
 32    "records": [
 33      [
 34        0.36999999999999994,
 35        true,
 36        2.4064965221324804e-09
 37      ],
 38      [
 39        0.38999999999999996,
 40        true,
 41        2.678727931661603e-08
 42      ],
 43      [
 44        0.4099999999999999,
 45        true,
 46        2.8173780346657175e-07
 47      ],
 48      [
 49        0.42999999999999994,
 50        true,
 51        2.8071603112136964e-06
 52      ],
 53      [
 54        0.44999999999999996,
 55        true,
 56        2.6561398887587544e-05
 57      ],
 58      [
 59        0.47,
 60        true,
 61        0.0002392118746569993
 62      ],
 63      [
 64        0.49,
 65        true,
 66        0.00205487477052361
 67      ],
 68      [
 69        0.51,
 70        true,
 71        0.016870319358849785
 72      ],
 73      [
 74        0.53,
 75        true,
 76        0.13261955589475447
 77      ],
 78      [
 79        0.55,
 80        false,
 81        1.0
 82      ],
 83      [
 84        0.57,
 85        false,
 86        7.244646118252347
 87      ],
 88      [
 89        0.59,
 90        false,
 91        50.50494818426958
 92      ],
 93      [
 94        0.61,
 95        false,
 96        339.3020835144871
 97      ],
 98      [
 99        0.63,
100        false,
101        2199.7612563413004
102      ],
103      [
104        0.6499999999999999,
105        false,
106        13780.612339822379
107      ],
108      [
109        0.6699999999999999,
110        false,
111        83522.26572653578
112      ],
113      [
114        0.69,
115        false,
116        490326.2381264714
117      ],
118      [
119        0.71,
120        false,
121        2791251.1993747996
122      ],
123      [
124        0.73,
125        false,
126        15424131.905453516
127      ]
128    ],
129    "boundary_error": 0.009999999999999898
130  },
131  "gain_prediction": {
132    "a": 0.8,
133    "r": 0.45,
134    "predicted_optimal_gain": 0.8,
135    "observed_mu_minimizer": 0.8,
136    "observed_contraction_minimizer": 0.8,
137    "controller_gain": 0.8,
138    "controller_mu": 0.4500000000000002,
139    "certificate": true,
140    "baseline_gain": 0.35,
141    "baseline_worst_pole": 0.9000000000000001,
142    "idea_worst_pole": 0.45,
143    "mu_at_zero_uncertainty": 0.0
144  },
145  "divergence_sweep": {
146    "predicted_mu_boundary": 1.0,
147    "rows": [
148      {
149        "r": 0.4,
150        "mu": 0.7272727272727274,
151        "divergence_probability": 0.0
152      },
153      {
154        "r": 0.42000000000000004,
155        "mu": 0.7636363636363638,
156        "divergence_probability": 0.0
157      },
158      {
159        "r": 0.44,
160        "mu": 0.8000000000000002,
161        "divergence_probability": 0.0
162      },
163      {
164        "r": 0.46,
165        "mu": 0.8363636363636365,
166        "divergence_probability": 0.0
167      },
168      {
169        "r": 0.48,
170        "mu": 0.8727272727272728,
171        "divergence_probability": 0.0
172      },
173      {
174        "r": 0.5,
175        "mu": 0.9090909090909092,
176        "divergence_probability": 0.0
177      },
178      {
179        "r": 0.52,
180        "mu": 0.9454545454545455,
181        "divergence_probability": 0.0
182      },
183      {
184        "r": 0.54,
185        "mu": 0.981818181818182,
186        "divergence_probability": 0.0
187      },
188      {
189        "r": 0.56,
190        "mu": 1.0181818181818183,
191        "divergence_probability": 0.0
192      },
193      {
194        "r": 0.58,
195        "mu": 1.0545454545454547,
196        "divergence_probability": 0.001
197      },
198      {
199        "r": 0.6,
200        "mu": 1.090909090909091,
201        "divergence_probability": 0.019
202      },
203      {
204        "r": 0.62,
205        "mu": 1.1272727272727274,
206        "divergence_probability": 0.042
207      },
208      {
209        "r": 0.64,
210        "mu": 1.1636363636363638,
211        "divergence_probability": 0.052
212      },
213      {
214        "r": 0.6599999999999999,
215        "mu": 1.2,
216        "divergence_probability": 0.047
217      },
218      {
219        "r": 0.6799999999999999,
220        "mu": 1.2363636363636363,
221        "divergence_probability": 0.073
222      },
223      {
224        "r": 0.7,
225        "mu": 1.2727272727272727,
226        "divergence_probability": 0.081
227      }
228    ]
229  },
230  "mini_experiment": {
231    "baseline": {
232      "median_final_abs": 0.012560059139237516,
233      "median_max_abs": 1.0,
234      "fraction_max_over_10": 0.0
235    },
236    "idea": {
237      "median_final_abs": 0.006363764910622407,
238      "median_max_abs": 1.0,
239      "fraction_max_over_10": 0.0
240    },
241    "controller_gain": 0.8
242  }
243}