{
  "math_checks": {
    "contraction_sum": [
      {
        "rho": 0.2,
        "observed_sum": 1.25,
        "finite_geom_prediction": 1.25,
        "infinite_bound": 1.25,
        "ratio_to_bound": 1.0
      },
      {
        "rho": 0.5,
        "observed_sum": 2.0,
        "finite_geom_prediction": 2.0,
        "infinite_bound": 2.0,
        "ratio_to_bound": 1.0
      },
      {
        "rho": 0.8,
        "observed_sum": 4.999999998981483,
        "finite_geom_prediction": 4.999999998981483,
        "infinite_bound": 5.000000000000001,
        "ratio_to_bound": 0.9999999997962965
      },
      {
        "rho": 0.95,
        "observed_sum": 19.8815894155933,
        "finite_geom_prediction": 19.8815894155933,
        "infinite_bound": 19.999999999999982,
        "ratio_to_bound": 0.9940794707796659
      },
      {
        "rho": 1.05,
        "observed_sum": 2610.0251569260786,
        "finite_geom_prediction": 2610.025156926078,
        "infinite_bound": null,
        "ratio_to_bound": null
      }
    ],
    "k95": [
      {
        "rho": 0.5,
        "predicted_k95_steps": 4.321928094887363,
        "observed_k95_steps": 5,
        "relative_error": 0.1568910657987958
      },
      {
        "rho": 0.8,
        "predicted_k95_steps": 13.425134878021561,
        "observed_k95_steps": 14,
        "relative_error": 0.04282006305348612
      },
      {
        "rho": 0.9,
        "predicted_k95_steps": 28.43315880574342,
        "observed_k95_steps": 29,
        "relative_error": 0.0199359205260753
      },
      {
        "rho": 0.95,
        "predicted_k95_steps": 58.40397481431972,
        "observed_k95_steps": 59,
        "relative_error": 0.010205216127415817
      }
    ],
    "alpha_scaling": [
      {
        "alpha": 0.01,
        "observed_proxy": 1.7128968991339932,
        "observed_reduction_vs_first": 1.0,
        "predicted_reduction": 1.0
      },
      {
        "alpha": 0.04,
        "observed_proxy": 1.0833309571610326,
        "observed_reduction_vs_first": 1.581139067254937,
        "predicted_reduction": 2.0
      },
      {
        "alpha": 0.16,
        "observed_proxy": 0.5875186597932832,
        "observed_reduction_vs_first": 2.9154765905421134,
        "predicted_reduction": 4.0
      },
      {
        "alpha": 0.64,
        "observed_proxy": 0.3004619195221151,
        "observed_reduction_vs_first": 5.700878506861558,
        "predicted_reduction": 8.0
      }
    ],
    "stability_boundary": [
      {
        "beta": 0.5,
        "predicted_rho": 0.5,
        "observed_final_abs": 9.094947017729282e-13,
        "predicted_contractive": true,
        "observed_decay": true
      },
      {
        "beta": 1.5,
        "predicted_rho": 0.5,
        "observed_final_abs": 9.094947017729282e-13,
        "predicted_contractive": true,
        "observed_decay": true
      },
      {
        "beta": 2.0,
        "predicted_rho": 1.0,
        "observed_final_abs": 1.0,
        "predicted_contractive": false,
        "observed_decay": false
      },
      {
        "beta": 2.1,
        "predicted_rho": 1.1,
        "observed_final_abs": 45.25925556817607,
        "predicted_contractive": false,
        "observed_decay": false
      },
      {
        "beta": 2.5,
        "predicted_rho": 1.5,
        "observed_final_abs": 11057332.320940012,
        "predicted_contractive": false,
        "observed_decay": false
      }
    ]
  },
  "federated": {
    "none": {
      "final_loss": 1.2272254572268149,
      "best_loss": 1.2269019991770125,
      "privacy_proxy_sum": Infinity,
      "mean_noise_variance": 0.0,
      "mean_disagreement": 0.017085053990947945,
      "loss_curve": [
        1.2269019991770125,
        1.2269105864580545,
        1.2269228604428357,
        1.2269375815650339,
        1.2269538014162304,
        1.2269708014584593,
        1.226988044072828,
        1.22700513350862,
        1.227021784774718,
        1.2270377988990648,
        1.227053043290641,
        1.2270674361867862,
        1.22708093436851,
        1.2270935234871974,
        1.2271052104754585,
        1.2271160176189462,
        1.2271259779496775,
        1.2271351316887409,
        1.227143523520423,
        1.2271512005233371,
        1.2271582106191077,
        1.2271646014272988,
        1.2271704194378341,
        1.2271757094302647,
        1.227180514083777,
        1.2271848737334674,
        1.2271888262377209,
        1.2271924069289917,
        1.2271956486262272,
        1.227198581691919,
        1.2272012341205545,
        1.2272036316482302,
        1.2272057978755782,
        1.2272077543980362,
        1.227209520938976,
        1.227211115482365,
        1.2272125544025658,
        1.2272138525895588,
        1.227215023568455,
        1.2272160796125595,
        1.2272170318495879,
        1.227217890360865,
        1.2272186642735226,
        1.2272193618458378,
        1.2272199905459513,
        1.2272205571242583,
        1.227221066842572,
        1.2272215250965317,
        1.2272219370498842,
        1.2272223073545787,
        1.2272226402002555,
        1.2272229393591947,
        1.227223208227091,
        1.2272234498600056,
        1.227223667007815,
        1.2272238621444713,
        1.2272240374953522,
        1.227224195061966,
        1.2272243366442548,
        1.2272244638607168,
        1.2272245781665567,
        1.2272246808700458,
        1.227224773147266,
        1.2272248560553929,
        1.2272249305446574,
        1.227224997469116,
        1.2272250575963468,
        1.2272251116161736,
        1.2272251601485187,
        1.227225203750463,
        1.2272252429226032,
        1.2272252781147632,
        1.2272253097311343,
        1.2272253381348954,
        1.2272253636523671,
        1.2272253865767477,
        1.2272254071714706,
        1.2272254256732211,
        1.2272254422946507,
        1.2272254572268149
      ]
    },
    "constant": {
      "final_loss": 1.2278087932276163,
      "best_loss": 1.2269418850900307,
      "privacy_proxy_sum": 12112.013156437988,
      "mean_noise_variance": 0.006400000000080006,
      "mean_disagreement": 0.017085053990947945,
      "loss_curve": [
        1.226945331856158,
        1.226969510391196,
        1.2269418850900307,
        1.2269840427208578,
        1.227024521259318,
        1.2270960172307042,
        1.2271821456316332,
        1.2272079732218872,
        1.2272242575508905,
        1.2273658402685848,
        1.2274867709391066,
        1.2274643390981193,
        1.2275092522047255,
        1.2274221547473245,
        1.2274145011296562,
        1.2273051324668187,
        1.2273836656666874,
        1.2275545116893745,
        1.2274705657389435,
        1.2274945536609334,
        1.2272500765004244,
        1.2271992694264853,
        1.2271103566041135,
        1.2270675649185836,
        1.2271896735218708,
        1.227300396812442,
        1.2274955650763661,
        1.2276204384803036,
        1.2276355526177063,
        1.227529548261012,
        1.2275814065155506,
        1.2277006460401965,
        1.2275114322800316,
        1.2274895169683355,
        1.227372236738188,
        1.2273891049105115,
        1.2275109206677381,
        1.2275365082875453,
        1.22754124507729,
        1.2273675242567226,
        1.2274368699245217,
        1.227391577137345,
        1.2273921991815768,
        1.2275488730940636,
        1.2274437193391594,
        1.2276228110269483,
        1.2277822495664723,
        1.2276956228331468,
        1.2276892478256352,
        1.2275869365323446,
        1.2275833396791203,
        1.2276039917632768,
        1.2276899161445427,
        1.2276389543638446,
        1.227488863297531,
        1.2274745614109963,
        1.227245229042666,
        1.2272612172663773,
        1.2273770249049358,
        1.227350109296241,
        1.2273115262571275,
        1.2271896523027854,
        1.2272057844371076,
        1.227184329687724,
        1.227075628522297,
        1.2271460589545518,
        1.2271383767588668,
        1.2271913479401895,
        1.2272546298239217,
        1.2273480160236183,
        1.2272373750115682,
        1.2272439410001519,
        1.2272277358607977,
        1.2272315819920494,
        1.2272271973020032,
        1.227354341770571,
        1.22747677558067,
        1.2277072233932962,
        1.2277001074749339,
        1.2278087932276163
      ]
    },
    "channel": {
      "final_loss": 1.227808853100706,
      "best_loss": 1.2270758531527133,
      "privacy_proxy_sum": 11991.5243295189,
      "mean_noise_variance": 0.008282553485620623,
      "mean_disagreement": 0.017085053990947945,
      "loss_curve": [
        1.2278738690909945,
        1.2277404264817444,
        1.2275115424490548,
        1.2273786802289783,
        1.2273351592603778,
        1.2272396315475944,
        1.2273855039834536,
        1.2273674767161649,
        1.2273821100999855,
        1.2275962585819755,
        1.227682707842934,
        1.2276009283018219,
        1.2276159991934745,
        1.2275248359894217,
        1.2274965121669132,
        1.2273793956462178,
        1.2274511340823469,
        1.227638450219057,
        1.2275430782688317,
        1.2275434534900114,
        1.2272786100531792,
        1.2272203817325447,
        1.22713889634179,
        1.2270879516563764,
        1.2272314720299173,
        1.2273382939322004,
        1.2275310112725073,
        1.2276522651565962,
        1.2276636030136494,
        1.2275514932062392,
        1.2275995853815174,
        1.227714260555971,
        1.227521515274494,
        1.2275003329652214,
        1.2273781707246747,
        1.2273931076045306,
        1.2275167827536475,
        1.227544833142725,
        1.2275487942142718,
        1.227373350562055,
        1.2274427514005364,
        1.2273960537428867,
        1.227394609567415,
        1.227551216932102,
        1.2274453869764361,
        1.2276241481610164,
        1.2277838819843712,
        1.2276976966376598,
        1.227690759448463,
        1.2275879121555895,
        1.2275835488337687,
        1.2276045932164918,
        1.2276903219467092,
        1.227639207742901,
        1.2274893128774587,
        1.227475178427346,
        1.2272456573257313,
        1.2272617259618275,
        1.2273776037336368,
        1.2273504679885028,
        1.2273118853799894,
        1.227189735356178,
        1.2272059633728358,
        1.2271844905100777,
        1.2270758531527133,
        1.2271461993223283,
        1.2271384908776408,
        1.2271914773475818,
        1.2272547435932015,
        1.2273481223757114,
        1.227237439716881,
        1.2272439917519022,
        1.2272277926194421,
        1.2272316279318414,
        1.2272272351985414,
        1.2273544319334257,
        1.2274768286657196,
        1.22770727267136,
        1.2277001704253838,
        1.227808853100706
      ]
    }
  },
  "estimated_contraction": {
    "true_rho": 0.8,
    "median_rho_hat": 0.8
  }
}