1{
  2  "seed": 2838,
  3  "G0": [
  4    [
  5      0.18,
  6      0.574,
  7      0.14759999999999998,
  8      0.082
  9    ],
 10    [
 11      0.39,
 12      0.22,
 13      0.33,
 14      0.09
 15    ],
 16    [
 17      0.132,
 18      0.4224,
 19      0.16,
 20      0.5544
 21    ],
 22    [
 23      0.2844,
 24      0.0869,
 25      0.4503,
 26      0.2
 27    ]
 28  ],
 29  "rho_G0": 1.0771359584629179,
 30  "predicted_alpha_boundary": 0.9283879088272278,
 31  "boundary": {
 32    "observed_grid_crossing": 0.9149999999999999,
 33    "interpolated_crossing": 0.9127750373470908,
 34    "relative_error": 0.016817185286115737
 35  },
 36  "predictions": {
 37    "P1_boundary_alpha_critical_1_over_rho_G0": "confirmed by positive linear realization",
 38    "P2_weighted_Lyapunov_contracts_iff_rho_below_1": [
 39      {
 40        "alpha": 0.7,
 41        "rho": 0.8110246776505364,
 42        "kappa_bound": 0.8110246776505368,
 43        "empirical_V_ratio": 0.8110246776505369,
 44        "contracts": true
 45      },
 46      {
 47        "alpha": 0.85,
 48        "rho": 0.9440646006227643,
 49        "kappa_bound": 0.9440646006227652,
 50        "empirical_V_ratio": 0.9440646006227652,
 51        "contracts": true
 52      },
 53      {
 54        "alpha": 0.95,
 55        "rho": 1.0327762668191791,
 56        "kappa_bound": 1.0327762668191804,
 57        "empirical_V_ratio": 1.0327762668191807,
 58        "contracts": false
 59      },
 60      {
 61        "alpha": 0.99,
 62        "rho": 1.068263843485628,
 63        "kappa_bound": 1.0682638434856284,
 64        "empirical_V_ratio": 1.0682638434856284,
 65        "contracts": false
 66      },
 67      {
 68        "alpha": 1.01,
 69        "rho": 1.0860081565105073,
 70        "kappa_bound": 1.0860081565105089,
 71        "empirical_V_ratio": 1.0860081565105089,
 72        "contracts": false
 73      },
 74      {
 75        "alpha": 1.15,
 76        "rho": 1.2102264365742403,
 77        "kappa_bound": 1.210226436574242,
 78        "empirical_V_ratio": 1.2102264365742423,
 79        "contracts": false
 80      }
 81    ],
 82    "P3_long_horizon_geometric_growth_equals_rho": [
 83      {
 84        "alpha": 0.7,
 85        "predicted_rho": 0.8110246776505364,
 86        "observed_geometric_ratio": 0.811110982944509
 87      },
 88      {
 89        "alpha": 0.85,
 90        "predicted_rho": 0.9440646006227643,
 91        "observed_geometric_ratio": 0.9441738842421123
 92      },
 93      {
 94        "alpha": 0.95,
 95        "predicted_rho": 1.0327762668191791,
 96        "observed_geometric_ratio": 1.0329003016620608
 97      },
 98      {
 99        "alpha": 1.05,
100        "predicted_rho": 1.1214977318739412,
101        "observed_geometric_ratio": 1.1216362270190119
102      }
103    ]
104  },
105  "quadratic_certificate": [
106    {
107      "alpha": 0.8,
108      "rho": 0.8997135922846852,
109      "P_min_eig": 1.0025742535275537,
110      "quadratic_ratio": 0.8134194593318393
111    },
112    {
113      "alpha": 0.95,
114      "rho": 1.0327762668191791,
115      "quadratic_ratio": null
116    },
117    {
118      "alpha": 1.02,
119      "rho": 1.094880435181917,
120      "quadratic_ratio": null
121    }
122  ],
123  "training_comparison": {
124    "unconstrained": {
125      "final_loss": 2.1620126918487739e-13,
126      "max_loss": 0.11938569726146751,
127      "final_rho": 0.8287606095117684,
128      "steps_to_loss_1e-3": 31
129    },
130    "projected_small_gain": {
131      "final_loss": 8.326463544198927e-14,
132      "max_loss": 0.11938569726146751,
133      "final_rho": 0.8287609337833792,
134      "steps_to_loss_1e-3": 24
135    }
136  }
137}