{
  "config": {
    "A": -0.4,
    "C": 1.0,
    "alpha": 0.2,
    "gamma": 0.9
  },
  "baseline": {
    "K": 10.0,
    "lmi": [
      0.09048869476572478,
      0.07708096680538273
    ],
    "exact_hinf_gain": 0.9615384615384615,
    "zero_disturbance": {
      "observed_V_decay_rate": 20.80520000000001,
      "required_rate": 0.4,
      "V_initial": 0.09048869476572478,
      "V_final": 4.698139248563672e-74
    },
    "disturbance": {
      "P": 0.09048869476572478,
      "lmi_max_eigenvalue": 0.07708096680538273,
      "dissipation_residual": -0.5844619834425168,
      "induced_energy_ratio": 0.12991967828684448,
      "initial_V": 0.1529258941540749,
      "final_V": 0.00025032922811613474
    }
  },
  "idea": {
    "K": 1.7804347826086957,
    "lmi": [
      0.5064161095446302,
      -0.0009812140936630298
    ],
    "exact_hinf_gain": 0.8165503489531406,
    "zero_disturbance": {
      "observed_V_decay_rate": 4.361959782608726,
      "required_rate": 0.4,
      "V_initial": 0.5064161095446302,
      "V_final": 3.5441084393085284e-16
    },
    "disturbance": {
      "P": 0.5064161095446302,
      "lmi_max_eigenvalue": -0.0009812140936630298,
      "dissipation_residual": -0.9999337711623704,
      "induced_energy_ratio": 0.01979430583344683,
      "initial_V": 0.8558432251304252,
      "final_V": 2.7672738524787317e-05
    }
  },
  "claim_check": {
    "idea_lmi_feasible": true,
    "baseline_lmi_feasible": false,
    "idea_dissipation_holds": true,
    "idea_exact_hinf_below_gamma": true,
    "baseline_exact_hinf_below_gamma": false
  }
}