{
  "affine_projection": {
    "equality_error": 1.2912310222636499e-15,
    "idempotence_error": 4.996003610813204e-16,
    "nullspace_orthogonality": 4.355503409735122e-16
  },
  "exact_toy": [
    {
      "lambda": 0.25,
      "predicted_rate_abs_1_minus_lambda": 0.75,
      "observed_rate": 0.75,
      "final_over_initial": 0.04223513603210449,
      "contractive": true
    },
    {
      "lambda": 0.5,
      "predicted_rate_abs_1_minus_lambda": 0.5,
      "observed_rate": 0.5,
      "final_over_initial": 0.00048828125,
      "contractive": true
    },
    {
      "lambda": 1.0,
      "predicted_rate_abs_1_minus_lambda": 0.0,
      "observed_rate": 0.0,
      "final_over_initial": 0.0,
      "contractive": true
    },
    {
      "lambda": 1.5,
      "predicted_rate_abs_1_minus_lambda": 0.5,
      "observed_rate": 0.5,
      "final_over_initial": 0.00048828125,
      "contractive": true
    },
    {
      "lambda": 1.75,
      "predicted_rate_abs_1_minus_lambda": 0.75,
      "observed_rate": 0.75,
      "final_over_initial": 0.04223513603210449,
      "contractive": true
    },
    {
      "lambda": 2.0,
      "predicted_rate_abs_1_minus_lambda": 1.0,
      "observed_rate": 1.0,
      "final_over_initial": 1.0,
      "contractive": false
    },
    {
      "lambda": 2.1,
      "predicted_rate_abs_1_minus_lambda": 1.1,
      "observed_rate": 1.1,
      "final_over_initial": 2.8531167061100033,
      "contractive": false
    },
    {
      "lambda": 2.5,
      "predicted_rate_abs_1_minus_lambda": 1.5,
      "observed_rate": 1.5,
      "final_over_initial": 86.49755859375,
      "contractive": false
    }
  ],
  "finite_step_bound": [
    {
      "lambda": 0.25,
      "N_min_r2": 3.775703124228652e-08,
      "bound": 0.01875,
      "ratio": 2.013708332921948e-06
    },
    {
      "lambda": 0.75,
      "N_min_r2": 2.299005293032903e-45,
      "bound": 0.07875,
      "ratio": 2.919371800676702e-44
    },
    {
      "lambda": 1.25,
      "N_min_r2": 2.299005293032903e-45,
      "bound": 0.21875,
      "ratio": 1.0509738482436128e-44
    },
    {
      "lambda": 1.75,
      "N_min_r2": 3.7757031242286553e-08,
      "bound": 0.91875,
      "ratio": 4.109608842697856e-08
    }
  ],
  "mini_experiment": {
    "trials": 100,
    "T": 24,
    "fixed_median_merit": 0.24442946062093868,
    "controller_median_merit": 1.25113324382289,
    "fixed_median_eq_violation": 0.02293512582010515,
    "controller_median_eq_violation": 0.12916689881310184,
    "fixed_median_residual": 0.024512513807944454,
    "controller_median_residual": 0.10303435915103587,
    "controller_final_lambda_median": 0.17749614272422143,
    "controller_final_beta_median": 0.891932606229355,
    "residual_win_fraction": 0.02
  }
}