{
  "runs_main": 6048,
  "runs_ablation": 584,
  "cells_main": 756,
  "seeds": 8,
  "paired_vs_none": [
    {
      "regime": "norms",
      "admin_capacity_ratio": 2.0,
      "n_pairs": 864,
      "share_lower_bits_per_success": 0.9965,
      "share_lower_bits_incl_setup": 0.0,
      "share_higher_success": 0.9931,
      "share_higher_welfare": 0.9005,
      "mean_d_bits_per_success": -5.4536,
      "mean_d_success": 0.0315,
      "mean_d_welfare": 1.5127
    },
    {
      "regime": "records",
      "admin_capacity_ratio": 2.0,
      "n_pairs": 864,
      "share_lower_bits_per_success": 0.7118,
      "share_lower_bits_incl_setup": 0.5,
      "share_higher_success": 1.0,
      "share_higher_welfare": 1.0,
      "mean_d_bits_per_success": -43.5683,
      "mean_d_success": 0.4343,
      "mean_d_welfare": 25.6705
    },
    {
      "regime": "central",
      "admin_capacity_ratio": 0.5,
      "n_pairs": 864,
      "share_lower_bits_per_success": 0.0,
      "share_lower_bits_incl_setup": 0.0,
      "share_higher_success": 0.0,
      "share_higher_welfare": 0.0,
      "mean_d_bits_per_success": 2450.8579,
      "mean_d_success": -0.4926,
      "mean_d_welfare": -32.0803
    },
    {
      "regime": "central",
      "admin_capacity_ratio": 2.0,
      "n_pairs": 864,
      "share_lower_bits_per_success": 0.3299,
      "share_lower_bits_incl_setup": 0.2465,
      "share_higher_success": 1.0,
      "share_higher_welfare": 0.5,
      "mean_d_bits_per_success": 19.5462,
      "mean_d_success": 0.4091,
      "mean_d_welfare": 9.6513
    },
    {
      "regime": "federated",
      "admin_capacity_ratio": 0.5,
      "n_pairs": 864,
      "share_lower_bits_per_success": 0.0926,
      "share_lower_bits_incl_setup": 0.0417,
      "share_higher_success": 0.2222,
      "share_higher_welfare": 0.1794,
      "mean_d_bits_per_success": 692.8941,
      "mean_d_success": -0.2935,
      "mean_d_welfare": -22.4144
    },
    {
      "regime": "federated",
      "admin_capacity_ratio": 2.0,
      "n_pairs": 864,
      "share_lower_bits_per_success": 0.4988,
      "share_lower_bits_incl_setup": 0.463,
      "share_higher_success": 1.0,
      "share_higher_welfare": 0.5,
      "mean_d_bits_per_success": -4.6099,
      "mean_d_success": 0.4125,
      "mean_d_welfare": 10.4911
    }
  ],
  "institution_loss_shares": [
    {
      "regime": "central",
      "admin_capacity_ratio": 0.5,
      "welfare_loss": 1.0,
      "bits_loss": 1.0,
      "success_loss": 1.0,
      "n_cells": 108
    },
    {
      "regime": "central",
      "admin_capacity_ratio": 2.0,
      "welfare_loss": 0.5,
      "bits_loss": 0.75,
      "success_loss": 0.0,
      "n_cells": 108
    },
    {
      "regime": "federated",
      "admin_capacity_ratio": 0.5,
      "welfare_loss": 0.7963,
      "bits_loss": 0.9537,
      "success_loss": 0.7778,
      "n_cells": 108
    },
    {
      "regime": "federated",
      "admin_capacity_ratio": 2.0,
      "welfare_loss": 0.5,
      "bits_loss": 0.537,
      "success_loss": 0.0,
      "n_cells": 108
    },
    {
      "regime": "norms",
      "admin_capacity_ratio": 2.0,
      "welfare_loss": 0.0648,
      "bits_loss": 1.0,
      "success_loss": 0.0,
      "n_cells": 108
    },
    {
      "regime": "records",
      "admin_capacity_ratio": 2.0,
      "welfare_loss": 0.0,
      "bits_loss": 0.5,
      "success_loss": 0.0,
      "n_cells": 108
    }
  ],
  "shock_effects": [
    {
      "shock_type": "distribution",
      "regime": "central",
      "admin_capacity_ratio": 0.5,
      "d_success_mean": 0.0,
      "d_success_std": 0.0,
      "d_success_count": 144,
      "d_bits_mean": 6.2857,
      "d_bits_std": 1.7988,
      "d_bits_count": 144,
      "kl_q_p_bits_mean": 1.0297,
      "kl_q_p_bits_std": 0.0,
      "kl_q_p_bits_count": 144
    },
    {
      "shock_type": "distribution",
      "regime": "central",
      "admin_capacity_ratio": 2.0,
      "d_success_mean": 0.0,
      "d_success_std": 0.0,
      "d_success_count": 144,
      "d_bits_mean": 6.2857,
      "d_bits_std": 1.7988,
      "d_bits_count": 144,
      "kl_q_p_bits_mean": 1.0297,
      "kl_q_p_bits_std": 0.0,
      "kl_q_p_bits_count": 144
    },
    {
      "shock_type": "distribution",
      "regime": "federated",
      "admin_capacity_ratio": 0.5,
      "d_success_mean": 0.0,
      "d_success_std": 0.0,
      "d_success_count": 144,
      "d_bits_mean": 4.224,
      "d_bits_std": 1.2649,
      "d_bits_count": 144,
      "kl_q_p_bits_mean": 1.0297,
      "kl_q_p_bits_std": 0.0,
      "kl_q_p_bits_count": 144
    },
    {
      "shock_type": "distribution",
      "regime": "federated",
      "admin_capacity_ratio": 2.0,
      "d_success_mean": 0.0,
      "d_success_std": 0.0,
      "d_success_count": 144,
      "d_bits_mean": 4.224,
      "d_bits_std": 1.2649,
      "d_bits_count": 144,
      "kl_q_p_bits_mean": 1.0297,
      "kl_q_p_bits_std": 0.0,
      "kl_q_p_bits_count": 144
    },
    {
      "shock_type": "distribution",
      "regime": "none",
      "admin_capacity_ratio": 2.0,
      "d_success_mean": 0.0,
      "d_success_std": 0.0,
      "d_success_count": 144,
      "d_bits_mean": 0.0,
      "d_bits_std": 0.0,
      "d_bits_count": 144,
      "kl_q_p_bits_mean": 1.0297,
      "kl_q_p_bits_std": 0.0,
      "kl_q_p_bits_count": 144
    },
    {
      "shock_type": "distribution",
      "regime": "norms",
      "admin_capacity_ratio": 2.0,
      "d_success_mean": 0.0,
      "d_success_std": 0.0,
      "d_success_count": 144,
      "d_bits_mean": 1.031,
      "d_bits_std": 0.1173,
      "d_bits_count": 144,
      "kl_q_p_bits_mean": 1.0297,
      "kl_q_p_bits_std": 0.0,
      "kl_q_p_bits_count": 144
    },
    {
      "shock_type": "distribution",
      "regime": "records",
      "admin_capacity_ratio": 2.0,
      "d_success_mean": 0.0,
      "d_success_std": 0.0,
      "d_success_count": 144,
      "d_bits_mean": 1.049,
      "d_bits_std": 0.102,
      "d_bits_count": 144,
      "kl_q_p_bits_mean": 1.0297,
      "kl_q_p_bits_std": 0.0,
      "kl_q_p_bits_count": 144
    },
    {
      "shock_type": "network",
      "regime": "central",
      "admin_capacity_ratio": 0.5,
      "d_success_mean": 0.0,
      "d_success_std": 0.0,
      "d_success_count": 288,
      "d_bits_mean": 0.0313,
      "d_bits_std": 0.6462,
      "d_bits_count": 288,
      "kl_q_p_bits_mean": 0.0,
      "kl_q_p_bits_std": 0.0,
      "kl_q_p_bits_count": 288
    },
    {
      "shock_type": "network",
      "regime": "central",
      "admin_capacity_ratio": 2.0,
      "d_success_mean": -0.0735,
      "d_success_std": 0.0989,
      "d_success_count": 288,
      "d_bits_mean": 0.0313,
      "d_bits_std": 0.6462,
      "d_bits_count": 288,
      "kl_q_p_bits_mean": 0.0,
      "kl_q_p_bits_std": 0.0,
      "kl_q_p_bits_count": 288
    },
    {
      "shock_type": "network",
      "regime": "federated",
      "admin_capacity_ratio": 0.5,
      "d_success_mean": -0.0192,
      "d_success_std": 0.0485,
      "d_success_count": 288,
      "d_bits_mean": 0.5653,
      "d_bits_std": 1.1726,
      "d_bits_count": 288,
      "kl_q_p_bits_mean": 0.0,
      "kl_q_p_bits_std": 0.0,
      "kl_q_p_bits_count": 288
    },
    {
      "shock_type": "network",
      "regime": "federated",
      "admin_capacity_ratio": 2.0,
      "d_success_mean": -0.0749,
      "d_success_std": 0.0992,
      "d_success_count": 288,
      "d_bits_mean": 0.5653,
      "d_bits_std": 1.1726,
      "d_bits_count": 288,
      "kl_q_p_bits_mean": 0.0,
      "kl_q_p_bits_std": 0.0,
      "kl_q_p_bits_count": 288
    },
    {
      "shock_type": "network",
      "regime": "none",
      "admin_capacity_ratio": 2.0,
      "d_success_mean": -0.0038,
      "d_success_std": 0.0181,
      "d_success_count": 288,
      "d_bits_mean": 0.0,
      "d_bits_std": 0.0,
      "d_bits_count": 288,
      "kl_q_p_bits_mean": 0.0,
      "kl_q_p_bits_std": 0.0,
      "kl_q_p_bits_count": 288
    },
    {
      "shock_type": "network",
      "regime": "norms",
      "admin_capacity_ratio": 2.0,
      "d_success_mean": -0.004,
      "d_success_std": 0.0182,
      "d_success_count": 288,
      "d_bits_mean": 0.0013,
      "d_bits_std": 0.1344,
      "d_bits_count": 288,
      "kl_q_p_bits_mean": 0.0,
      "kl_q_p_bits_std": 0.0,
      "kl_q_p_bits_count": 288
    },
    {
      "shock_type": "network",
      "regime": "records",
      "admin_capacity_ratio": 2.0,
      "d_success_mean": -0.0698,
      "d_success_std": 0.0834,
      "d_success_count": 288,
      "d_bits_mean": -0.0028,
      "d_bits_std": 0.1078,
      "d_bits_count": 288,
      "kl_q_p_bits_mean": 0.0,
      "kl_q_p_bits_std": 0.0,
      "kl_q_p_bits_count": 288
    }
  ],
  "ablations": {
    "reference": {
      "central": {
        "success_rate": 0.997,
        "bits_per_success_incl_setup": 82.815,
        "welfare_per_agent": 42.6682
      },
      "federated": {
        "success_rate": 1.0,
        "bits_per_success_incl_setup": 53.2697,
        "welfare_per_agent": 43.6894
      },
      "none": {
        "success_rate": 0.9178,
        "bits_per_success_incl_setup": 15.2547,
        "welfare_per_agent": 55.0433
      },
      "norms": {
        "success_rate": 0.9603,
        "bits_per_success_incl_setup": 23.7302,
        "welfare_per_agent": 57.2665
      },
      "records": {
        "success_rate": 1.0,
        "bits_per_success_incl_setup": 24.809,
        "welfare_per_agent": 59.3009
      }
    },
    "records_without_verification": {
      "success_rate": 0.9603,
      "bits_per_success_incl_setup": 25.8128,
      "welfare_per_agent": 57.1857
    },
    "norms_adaptation": {
      "0": {
        "d_bits": 0.0349,
        "success_post": 0.9634,
        "kl_q_p_bits": 1.9796
      },
      "10": {
        "d_bits": 1.9173,
        "success_post": 0.9634,
        "kl_q_p_bits": 1.9796
      },
      "1000": {
        "d_bits": 3.7915,
        "success_post": 0.9634,
        "kl_q_p_bits": 1.9796
      }
    },
    "breakeven_norms_wins_bits": {
      "s=16,zipf=0.0,T=40,learn=200.0": false,
      "s=64,zipf=0.0,T=40,learn=200.0": false,
      "s=64,zipf=0.5,T=40,learn=200.0": false,
      "s=64,zipf=1.0,T=10,learn=0.0": true,
      "s=64,zipf=1.0,T=10,learn=200.0": false,
      "s=64,zipf=1.0,T=10,learn=1000.0": false,
      "s=64,zipf=1.0,T=40,learn=0.0": true,
      "s=64,zipf=1.0,T=40,learn=200.0": false,
      "s=64,zipf=1.0,T=40,learn=1000.0": false,
      "s=64,zipf=1.0,T=160,learn=0.0": true,
      "s=64,zipf=1.0,T=160,learn=200.0": false,
      "s=64,zipf=1.0,T=160,learn=1000.0": false,
      "s=64,zipf=1.5,T=40,learn=200.0": false,
      "s=64,zipf=2.5,T=40,learn=200.0": false,
      "s=256,zipf=0.0,T=40,learn=200.0": false,
      "s=256,zipf=1.5,T=10,learn=200.0": false,
      "s=256,zipf=1.5,T=10,learn=1000.0": false,
      "s=256,zipf=1.5,T=40,learn=200.0": false,
      "s=256,zipf=1.5,T=40,learn=1000.0": false,
      "s=256,zipf=1.5,T=160,learn=200.0": true,
      "s=256,zipf=1.5,T=160,learn=1000.0": false
    },
    "heterogeneity_eps": {
      "eps=0.05,none": {
        "success_rate": 0.9835,
        "fail_decode_share": 0.0165
      },
      "eps=0.05,norms": {
        "success_rate": 0.9603,
        "fail_decode_share": 0.0397
      },
      "eps=0.25,none": {
        "success_rate": 0.9178,
        "fail_decode_share": 0.0822
      },
      "eps=0.25,norms": {
        "success_rate": 0.9603,
        "fail_decode_share": 0.0397
      },
      "eps=0.6,none": {
        "success_rate": 0.8077,
        "fail_decode_share": 0.1923
      },
      "eps=0.6,norms": {
        "success_rate": 0.9603,
        "fail_decode_share": 0.0397
      }
    },
    "federated_branching": {
      "4": {
        "success_rate": 0.9303,
        "msgs_per_task": 8.8566,
        "root_load_mean": 47.6688
      },
      "8": {
        "success_rate": 0.9871,
        "msgs_per_task": 6.6146,
        "root_load_mean": 41.8192
      },
      "16": {
        "success_rate": 0.9959,
        "msgs_per_task": 6.2688,
        "root_load_mean": 208.7415
      }
    },
    "coding_gain": {
      "s=16,zipf=0.0": {
        "H": 4.0,
        "L_code": 4.0,
        "L_raw": 4.0,
        "bits_per_task": 10.0
      },
      "s=64,zipf=0.0": {
        "H": 6.0,
        "L_code": 6.0,
        "L_raw": 6.0,
        "bits_per_task": 14.0
      },
      "s=64,zipf=0.5": {
        "H": 5.781,
        "L_code": 6.236,
        "L_raw": 6.0,
        "bits_per_task": 14.467
      },
      "s=64,zipf=1.0": {
        "H": 4.864,
        "L_code": 5.443,
        "L_raw": 6.0,
        "bits_per_task": 12.883
      },
      "s=64,zipf=1.5": {
        "H": 3.435,
        "L_code": 4.005,
        "L_raw": 6.0,
        "bits_per_task": 10.013
      },
      "s=64,zipf=2.5": {
        "H": 1.448,
        "L_code": 1.957,
        "L_raw": 6.0,
        "bits_per_task": 5.916
      },
      "s=256,zipf=0.0": {
        "H": 8.0,
        "L_code": 8.0,
        "L_raw": 8.0,
        "bits_per_task": 18.0
      },
      "s=256,zipf=1.5": {
        "H": 3.916,
        "L_code": 4.444,
        "L_raw": 8.0,
        "bits_per_task": 10.89
      }
    }
  },
  "theorem_checks": {
    "T1_code_shorter_than_raw_when_H_le_log2s_minus_1": true,
    "T1_cells_where_code_longer_than_raw": [
      {
        "s": 64,
        "zipf": 0.5,
        "H_p_bits": 5.781,
        "L_code_bits": 6.236,
        "L_raw_bits": 6.0
      }
    ],
    "T1_entropy_le_code_lt_entropy_plus_1": true,
    "T3_post_shock_extra_bits_per_recipient_norms_vs_KL": {
      "mean_extra_bits_per_recipient": 1.895726362235342,
      "mean_KL": 1.979594637192137,
      "within_KL_pm_1": true
    }
  }
}