{
  "seed": 2838,
  "G0": [
    [
      0.18,
      0.574,
      0.14759999999999998,
      0.082
    ],
    [
      0.39,
      0.22,
      0.33,
      0.09
    ],
    [
      0.132,
      0.4224,
      0.16,
      0.5544
    ],
    [
      0.2844,
      0.0869,
      0.4503,
      0.2
    ]
  ],
  "rho_G0": 1.0771359584629179,
  "predicted_alpha_boundary": 0.9283879088272278,
  "boundary": {
    "observed_grid_crossing": 0.9149999999999999,
    "interpolated_crossing": 0.9127750373470908,
    "relative_error": 0.016817185286115737
  },
  "predictions": {
    "P1_boundary_alpha_critical_1_over_rho_G0": "confirmed by positive linear realization",
    "P2_weighted_Lyapunov_contracts_iff_rho_below_1": [
      {
        "alpha": 0.7,
        "rho": 0.8110246776505364,
        "kappa_bound": 0.8110246776505368,
        "empirical_V_ratio": 0.8110246776505369,
        "contracts": true
      },
      {
        "alpha": 0.85,
        "rho": 0.9440646006227643,
        "kappa_bound": 0.9440646006227652,
        "empirical_V_ratio": 0.9440646006227652,
        "contracts": true
      },
      {
        "alpha": 0.95,
        "rho": 1.0327762668191791,
        "kappa_bound": 1.0327762668191804,
        "empirical_V_ratio": 1.0327762668191807,
        "contracts": false
      },
      {
        "alpha": 0.99,
        "rho": 1.068263843485628,
        "kappa_bound": 1.0682638434856284,
        "empirical_V_ratio": 1.0682638434856284,
        "contracts": false
      },
      {
        "alpha": 1.01,
        "rho": 1.0860081565105073,
        "kappa_bound": 1.0860081565105089,
        "empirical_V_ratio": 1.0860081565105089,
        "contracts": false
      },
      {
        "alpha": 1.15,
        "rho": 1.2102264365742403,
        "kappa_bound": 1.210226436574242,
        "empirical_V_ratio": 1.2102264365742423,
        "contracts": false
      }
    ],
    "P3_long_horizon_geometric_growth_equals_rho": [
      {
        "alpha": 0.7,
        "predicted_rho": 0.8110246776505364,
        "observed_geometric_ratio": 0.811110982944509
      },
      {
        "alpha": 0.85,
        "predicted_rho": 0.9440646006227643,
        "observed_geometric_ratio": 0.9441738842421123
      },
      {
        "alpha": 0.95,
        "predicted_rho": 1.0327762668191791,
        "observed_geometric_ratio": 1.0329003016620608
      },
      {
        "alpha": 1.05,
        "predicted_rho": 1.1214977318739412,
        "observed_geometric_ratio": 1.1216362270190119
      }
    ]
  },
  "quadratic_certificate": [
    {
      "alpha": 0.8,
      "rho": 0.8997135922846852,
      "P_min_eig": 1.0025742535275537,
      "quadratic_ratio": 0.8134194593318393
    },
    {
      "alpha": 0.95,
      "rho": 1.0327762668191791,
      "quadratic_ratio": null
    },
    {
      "alpha": 1.02,
      "rho": 1.094880435181917,
      "quadratic_ratio": null
    }
  ],
  "training_comparison": {
    "unconstrained": {
      "final_loss": 2.1620126918487739e-13,
      "max_loss": 0.11938569726146751,
      "final_rho": 0.8287606095117684,
      "steps_to_loss_1e-3": 31
    },
    "projected_small_gain": {
      "final_loss": 8.326463544198927e-14,
      "max_loss": 0.11938569726146751,
      "final_rho": 0.8287609337833792,
      "steps_to_loss_1e-3": 24
    }
  }
}