{
  "quadratic_verification": {
    "L": 4.0,
    "lambda_min": 0.15,
    "sweep": [
      {
        "alphaL": 0.1,
        "lipschitz": 0.99625,
        "firm_gap": -0.0037359375000000083,
        "repeat10_ratio": 0.9631265257170253,
        "firm": true,
        "nonexpansive": true
      },
      {
        "alphaL": 0.2,
        "lipschitz": 0.9925,
        "firm_gap": -0.007443749999999971,
        "repeat10_ratio": 0.927481283510263,
        "firm": true,
        "nonexpansive": true
      },
      {
        "alphaL": 0.249,
        "lipschitz": 0.9906625,
        "firm_gap": -0.009250311093749963,
        "repeat10_ratio": 0.9104523842627101,
        "firm": true,
        "nonexpansive": true
      },
      {
        "alphaL": 0.251,
        "lipschitz": 0.9905875,
        "firm_gap": -0.009323904843750008,
        "repeat10_ratio": 0.9097633436411974,
        "firm": true,
        "nonexpansive": true
      },
      {
        "alphaL": 0.5,
        "lipschitz": 0.98125,
        "firm_gap": -0.01839843750000003,
        "repeat10_ratio": 0.8275546771109836,
        "firm": true,
        "nonexpansive": true
      },
      {
        "alphaL": 0.9,
        "lipschitz": 0.96625,
        "firm_gap": -0.03261093749999999,
        "repeat10_ratio": 0.7094063462055531,
        "firm": true,
        "nonexpansive": true
      },
      {
        "alphaL": 0.99,
        "lipschitz": 0.962875,
        "firm_gap": -0.00990000000000001,
        "repeat10_ratio": 0.6850134656087912,
        "firm": true,
        "nonexpansive": true
      },
      {
        "alphaL": 1.0,
        "lipschitz": 0.9625,
        "firm_gap": 0.0,
        "repeat10_ratio": 0.6823502921113933,
        "firm": true,
        "nonexpansive": true
      },
      {
        "alphaL": 1.01,
        "lipschitz": 0.962125,
        "firm_gap": 0.010100000000000008,
        "repeat10_ratio": 0.6796964406603462,
        "firm": false,
        "nonexpansive": true
      },
      {
        "alphaL": 1.5,
        "lipschitz": 0.94375,
        "firm_gap": 0.75,
        "repeat10_ratio": 0.5604922944564094,
        "firm": false,
        "nonexpansive": true
      },
      {
        "alphaL": 2.01,
        "lipschitz": 1.0099999999999998,
        "firm_gap": 2.030099999999999,
        "repeat10_ratio": 1.104622125411202,
        "firm": false,
        "nonexpansive": false
      },
      {
        "alphaL": 2.5,
        "lipschitz": 1.5,
        "firm_gap": 3.75,
        "repeat10_ratio": 57.6650390625,
        "firm": false,
        "nonexpansive": false
      }
    ],
    "prediction_firm_boundary_alphaL<=1": {
      "predicted": 1.0,
      "last_pass": 1.0,
      "first_fail": 1.01
    },
    "prediction_divergence_boundary_alphaL>2": {
      "predicted": 2.0,
      "first_observed": 2.01
    },
    "prediction_repeated_ratio_alphaL=.9": {
      "steps": [
        1,
        2,
        5,
        10,
        20
      ],
      "predicted": [
        0.96625,
        0.9336390625000001,
        0.8422626349337557,
        0.7094063462055531,
        0.5032573640367131
      ],
      "observed": [
        0.96625,
        0.9336390625000001,
        0.8422626349337557,
        0.7094063462055531,
        0.5032573640367131
      ],
      "formula": "max_i |1-alpha*lambda_i|^K; worst mode is lambda_min here"
    }
  },
  "mini_experiment": {
    "device": "cuda",
    "test_mse_idea": 0.24191606044769287,
    "test_mse_baseline": 0.27104777097702026,
    "paired_repeat10_sensitivity_idea": 0.3385774493217468,
    "paired_repeat10_sensitivity_baseline": 0.4089341163635254,
    "learned_A_max_eigenvalue": 4.0843987464904785
  }
}