outputs/claim3_cvar.json

{
  "seed": 20260725,
  "T1_cvar_crosscheck": {
    "max_abs_err_vs_tail_average": 8.881784197001252e-16,
    "n": 288
  },
  "T2_proposition26_bounds": {
    "n": 4000,
    "lower_violations": 0,
    "upper_violations": 0,
    "min_lower_slack": 4.026423463532325e-07,
    "min_upper_slack": 0.0011253816239219505,
    "max_rel_position": 0.6890328197815809,
    "min_rel_position": 7.271629792587947e-05,
    "examples": [
      {
        "kind": "bimodal",
        "n": 425,
        "lam": 0.01809273820688822,
        "rho": 0.001,
        "CVaR": 3.0649898447756696,
        "lam_F_rho": 2.9356991818783875,
        "lower": 2.9219168987089077,
        "upper": 21.01465510559713
      },
      {
        "kind": "uniform",
        "n": 186,
        "lam": 0.47899489132324236,
        "rho": 0.05,
        "CVaR": 4.747563473416904,
        "lam_F_rho": 3.449554544903358,
        "lower": 2.8336281272891384,
        "upper": 12.413525953753986
      },
      {
        "kind": "heavy",
        "n": 332,
        "lam": 0.4769249184680818,
        "rho": 0.05,
        "CVaR": 4.544405819336511,
        "lam_F_rho": 2.894506102692182,
        "lower": 2.6387415305514903,
        "upper": 12.177239899913127
      },
      {
        "kind": "uniform",
        "n": 96,
        "lam": 20.939936023553916,
        "rho": 0.05,
        "CVaR": 4.438357717831504,
        "lam_F_rho": -0.48251281763033593,
        "lower": -79.2320204576387,
        "upper": 339.5667000134396
      }
    ]
  },
  "T3_tightness_audit": {
    "upper_const_c_times_lam_over_rho__c=1.0": {
      "violations": 0,
      "n": 1500
    },
    "upper_const_c_times_lam_over_rho__c=0.9": {
      "violations": 0,
      "n": 1500
    },
    "upper_const_c_times_lam_over_rho__c=0.7": {
      "violations": 0,
      "n": 1500
    },
    "upper_const_c_times_lam_over_rho__c=0.5": {
      "violations": 107,
      "n": 1500
    },
    "upper_const_c_times_lam_over_rho__c=0.25": {
      "violations": 383,
      "n": 1500
    },
    "lower_shifted_by_d_times_lam__d=0.0": {
      "violations": 0,
      "n": 1500
    },
    "lower_shifted_by_d_times_lam__d=0.05": {
      "violations": 183,
      "n": 1500
    },
    "lower_shifted_by_d_times_lam__d=0.2": {
      "violations": 425,
      "n": 1500
    },
    "lower_shifted_by_d_times_lam__d=0.5": {
      "violations": 702,
      "n": 1500
    }
  },
  "T4_limit_CVaR": {
    "instances": [
      {
        "kind": "gauss",
        "rho": 0.1,
        "CVaR": 4.163574026907654,
        "lam_grid": [
          1.0,
          0.3,
          0.1,
          0.03,
          0.01,
          0.003,
          0.001,
          0.0003,
          0.0001
        ],
        "abs_err": [
          1.1003406697858713,
          0.11153454604888946,
          0.012089143855267714,
          0.000810094527718519,
          9.892194452376657e-05,
          1.5348530675751704e-05,
          5.069904463361752e-06,
          1.5209713373209865e-06,
          5.069904451815432e-07
        ]
      },
      {
        "kind": "bimodal",
        "rho": 0.5,
        "CVaR": 2.0119822880643743,
        "lam_grid": [
          1.0,
          0.3,
          0.1,
          0.03,
          0.01,
          0.003,
          0.001,
          0.0003,
          0.0001
        ],
        "abs_err": [
          0.3052800396050297,
          0.02039453502869426,
          0.003715264353071124,
          0.0006519925489070211,
          0.00017465451549147915,
          5.1704694501886195e-05,
          1.7234888391115533e-05,
          5.170466517157024e-06,
          1.7234888387562819e-06
        ]
      },
      {
        "kind": "heavy",
        "rho": 0.1,
        "CVaR": 2.9009221824370037,
        "lam_grid": [
          1.0,
          0.3,
          0.1,
          0.03,
          0.01,
          0.003,
          0.001,
          0.0003,
          0.0001
        ],
        "abs_err": [
          1.2870148132907353,
          0.09679373505408684,
          0.010858374049351749,
          0.001964168504087649,
          0.0005400397816455182,
          0.00011445733973802774,
          3.437110951765021e-05,
          1.0309123295026978e-05,
          3.4363744312315703e-06
        ]
      }
    ],
    "rate_exponent_mean": 1.1771558932977426,
    "rate_exponent_std": 0.22273983623452773,
    "rate_exponent_min": 1.0000000000004714,
    "note": "lam*F_rho(phi/lam) - lam(log rho - 1) -> CVaR_rho ; exponent of err ~ lam^p"
  },
  "T5_limit_LogSumExp": {
    "instances": [
      {
        "kind": "bimodal",
        "lam": 2.0,
        "logsumexp_value": 1.0665368331104945,
        "rho_grid": [
          0.5,
          0.1,
          0.01,
          0.001,
          0.0001,
          1e-05,
          1e-06
        ],
        "abs_err": [
          0.9702425698961514,
          0.16011566463409244,
          0.015429656576576134,
          0.0015374493414961332,
          0.0001536900604430791,
          1.5368457593645246e-05,
          1.5368402728199726e-06
        ]
      },
      {
        "kind": "uniform",
        "lam": 2.0,
        "logsumexp_value": 1.8094933692013004,
        "rho_grid": [
          0.5,
          0.1,
          0.01,
          0.001,
          0.0001,
          1e-05,
          1e-06
        ],
        "abs_err": [
          1.422540733854718,
          0.24780116327614587,
          0.024019576604609405,
          0.0023945011475030586,
          0.00023937571063048502,
          2.3936827184822818e-05,
          2.39367527821166e-06
        ]
      },
      {
        "kind": "heavy",
        "lam": 1.0,
        "logsumexp_value": 3.138239395584198,
        "rho_grid": [
          0.5,
          0.1,
          0.01,
          0.001,
          0.0001,
          1e-05,
          1e-06
        ],
        "abs_err": [
          3.2537148910601417,
          2.634301622509861,
          1.889581288509571,
          0.34634520737539365,
          0.02988875678383085,
          0.002946278918818823,
          0.00029420868384111287
        ]
      }
    ],
    "rate_exponent_mean": 1.0013051671083502,
    "rate_exponent_std": 0.02529173086278592,
    "note": "F_rho -> F (log-partition / LogSumExp) as rho -> 0 ; exponent of err ~ rho^p"
  },
  "T6_interpolation_table": {
    "mean_phi": 0.1218390324642104,
    "n": 300,
    "rows": [
      {
        "lam": 3.0,
        "rho": 0.5,
        "lam_F_rho": -0.5947219521104226,
        "CVaR_rho_shifted": -3.6987571157618344,
        "logsumexp_lam": 0.5505305170229493,
        "dist_to_CVaR_shifted": 3.104035163651412,
        "dist_to_logsumexp": 1.1452524691333719
      },
      {
        "lam": 3.0,
        "rho": 0.1,
        "lam_F_rho": 0.3458235467442893,
        "CVaR_rho_shifted": -6.917968826927693,
        "logsumexp_lam": 0.5505305170229493,
        "dist_to_CVaR_shifted": 7.263792373671982,
        "dist_to_logsumexp": 0.20470697027866003
      },
      {
        "lam": 3.0,
        "rho": 0.01,
        "lam_F_rho": 0.5303716142548894,
        "CVaR_rho_shifted": -12.300569132229345,
        "logsumexp_lam": 0.5505305170229493,
        "dist_to_CVaR_shifted": 12.830940746484234,
        "dist_to_logsumexp": 0.020158902768059872
      },
      {
        "lam": 3.0,
        "rho": 0.001,
        "lam_F_rho": 0.548517306682113,
        "CVaR_rho_shifted": -18.996903636636635,
        "logsumexp_lam": 0.5505305170229493,
        "dist_to_CVaR_shifted": 19.545420943318746,
        "dist_to_logsumexp": 0.0020132103408363466
      },
      {
        "lam": 1.0,
        "rho": 0.5,
        "lam_F_rho": 0.3243177218721969,
        "CVaR_rho_shifted": -0.31246275464194384,
        "logsumexp_lam": 1.4297341322799881,
        "dist_to_CVaR_shifted": 0.6367804765141407,
        "dist_to_logsumexp": 1.1054164104077913
      },
      {
        "lam": 1.0,
        "rho": 0.1,
        "lam_F_rho": 1.1137479811966502,
        "CVaR_rho_shifted": -0.3127986409396013,
        "logsumexp_lam": 1.4297341322799881,
        "dist_to_CVaR_shifted": 1.4265466221362515,
        "dist_to_logsumexp": 0.31598615108333794
      },
      {
        "lam": 1.0,
        "rho": 0.01,
        "lam_F_rho": 1.3902211384159264,
        "CVaR_rho_shifted": -1.0902287602531624,
        "logsumexp_lam": 1.4297341322799881,
        "dist_to_CVaR_shifted": 2.4804498986690886,
        "dist_to_logsumexp": 0.03951299386406171
      },
      {
        "lam": 1.0,
        "rho": 0.001,
        "lam_F_rho": 1.4256640880351432,
        "CVaR_rho_shifted": -3.181393078672362,
        "logsumexp_lam": 1.4297341322799881,
        "dist_to_CVaR_shifted": 4.607057166707505,
        "dist_to_logsumexp": 0.004070044244844917
      },
      {
        "lam": 0.3,
        "rho": 0.5,
        "lam_F_rho": 0.9476403530578819,
        "CVaR_rho_shifted": 0.872740271750018,
        "logsumexp_lam": 3.21753213467921,
        "dist_to_CVaR_shifted": 0.07490008130786385,
        "dist_to_logsumexp": 2.269891781621328
      },
      {
        "lam": 0.3,
        "rho": 0.1,
        "lam_F_rho": 2.1570135088179847,
        "CVaR_rho_shifted": 1.9990109241562306,
        "logsumexp_lam": 3.21753213467921,
        "dist_to_CVaR_shifted": 0.1580025846617541,
        "dist_to_logsumexp": 1.0605186258612251
      },
      {
        "lam": 0.3,
        "rho": 0.01,
        "lam_F_rho": 3.0601439493544524,
        "CVaR_rho_shifted": 2.8333903699385012,
        "logsumexp_lam": 3.21753213467921,
        "dist_to_CVaR_shifted": 0.2267535794159512,
        "dist_to_logsumexp": 0.1573881853247574
      },
      {
        "lam": 0.3,
        "rho": 0.001,
        "lam_F_rho": 3.202667219561625,
        "CVaR_rho_shifted": 2.354035616615134,
        "logsumexp_lam": 3.21753213467921,
        "dist_to_CVaR_shifted": 0.8486316029464906,
        "dist_to_logsumexp": 0.014864915117585031
      },
      {
        "lam": 0.1,
        "rho": 0.5,
        "lam_F_rho": 1.220998345096868,
        "CVaR_rho_shifted": 1.211369707862007,
        "logsumexp_lam": 4.164526231136468,
        "dist_to_CVaR_shifted": 0.00962863723486107,
        "dist_to_logsumexp": 2.9435278860395995
      },
      {
        "lam": 0.1,
        "rho": 0.1,
        "lam_F_rho": 2.6805700866612017,
        "CVaR_rho_shifted": 2.6595279427550396,
        "logsumexp_lam": 4.164526231136468,
        "dist_to_CVaR_shifted": 0.021042143906162103,
        "dist_to_logsumexp": 1.483956144475266
      },
      {
        "lam": 0.1,
        "rho": 0.01,
        "lam_F_rho": 3.9681054604095167,
        "CVaR_rho_shifted": 3.9544244071361194,
        "logsumexp_lam": 4.164526231136468,
        "dist_to_CVaR_shifted": 0.013681053273397303,
        "dist_to_logsumexp": 0.19642077072695097
      },
      {
        "lam": 0.1,
        "rho": 0.001,
        "lam_F_rho": 4.150846617761707,
        "CVaR_rho_shifted": 3.9355866724115613,
        "logsumexp_lam": 4.164526231136468,
        "dist_to_CVaR_shifted": 0.2152599453501458,
        "dist_to_logsumexp": 0.013679613374760535
      },
      {
        "lam": 0.03,
        "rho": 0.5,
        "lam_F_rho": 1.3307837353069083,
        "CVaR_rho_shifted": 1.3298900105012033,
        "logsumexp_lam": 4.555251233190164,
        "dist_to_CVaR_shifted": 0.0008937248057050429,
        "dist_to_logsumexp": 3.224467497883256
      },
      {
        "lam": 0.03,
        "rho": 0.1,
        "lam_F_rho": 2.8924565010339944,
        "CVaR_rho_shifted": 2.890708899264623,
        "logsumexp_lam": 4.555251233190164,
        "dist_to_CVaR_shifted": 0.0017476017693716095,
        "dist_to_logsumexp": 1.6627947321561698
      },
      {
        "lam": 0.03,
        "rho": 0.01,
        "lam_F_rho": 4.3468228558698145,
        "CVaR_rho_shifted": 4.346786320155286,
        "logsumexp_lam": 4.555251233190164,
        "dist_to_CVaR_shifted": 3.653571452844062e-05,
        "dist_to_logsumexp": 0.2084283773203497
      },
      {
        "lam": 0.03,
        "rho": 0.001,
        "lam_F_rho": 4.550219553538121,
        "CVaR_rho_shifted": 4.4891295419403106,
        "logsumexp_lam": 4.555251233190164,
        "dist_to_CVaR_shifted": 0.0610900115978108,
        "dist_to_logsumexp": 0.005031679652042875
      },
      {
        "lam": 0.01,
        "rho": 0.5,
        "lam_F_rho": 1.3638406478284333,
        "CVaR_rho_shifted": 1.363752954112402,
        "logsumexp_lam": 4.6693243755632174,
        "dist_to_CVaR_shifted": 8.76937160312341e-05,
        "dist_to_logsumexp": 3.305483727734784
      },
      {
        "lam": 0.01,
        "rho": 0.1,
        "lam_F_rho": 2.9569068768510403,
        "CVaR_rho_shifted": 2.9567606011245036,
        "logsumexp_lam": 4.6693243755632174,
        "dist_to_CVaR_shifted": 0.00014627572653669318,
        "dist_to_logsumexp": 1.7124174987121772
      },
      {
        "lam": 0.01,
        "rho": 0.01,
        "lam_F_rho": 4.458889723909179,
        "CVaR_rho_shifted": 4.458889723875048,
        "logsumexp_lam": 4.6693243755632174,
        "dist_to_CVaR_shifted": 3.413092031223641e-11,
        "dist_to_logsumexp": 0.21043465165403852
      },
      {
        "lam": 0.01,
        "rho": 0.001,
        "lam_F_rho": 4.66764679092179,
        "CVaR_rho_shifted": 4.647284647519953,
        "logsumexp_lam": 4.6693243755632174,
        "dist_to_CVaR_shifted": 0.02036214340183662,
        "dist_to_logsumexp": 0.001677584641427643
      }
    ]
  },
  "T7_boundary_rho_to_1": [
    {
      "rho": 0.9,
      "lam": 1.0,
      "lam_F_rho": -0.7003733787007871,
      "mean_minus_lam": -1.0055596225120733,
      "CVaR_rho": 0.19387266876152598,
      "mean": -0.005559622512073304
    },
    {
      "rho": 0.9,
      "lam": 0.1,
      "lam_F_rho": 0.08638871831774218,
      "mean_minus_lam": -0.1055596225120733,
      "CVaR_rho": 0.19387266876152598,
      "mean": -0.005559622512073304
    },
    {
      "rho": 0.99,
      "lam": 1.0,
      "lam_F_rho": -0.9538589800898407,
      "mean_minus_lam": -1.0055596225120733,
      "CVaR_rho": 0.023018725146200847,
      "mean": -0.005559622512073304
    },
    {
      "rho": 0.99,
      "lam": 0.1,
      "lam_F_rho": -0.07759047260168828,
      "mean_minus_lam": -0.1055596225120733,
      "CVaR_rho": 0.023018725146200847,
      "mean": -0.005559622512073304
    },
    {
      "rho": 0.999,
      "lam": 1.0,
      "lam_F_rho": -0.9981230877294704,
      "mean_minus_lam": -1.0055596225120733,
      "CVaR_rho": -0.0024506506868564593,
      "mean": -0.005559622512073304
    },
    {
      "rho": 0.999,
      "lam": 0.1,
      "lam_F_rho": -0.10235216612580161,
      "mean_minus_lam": -0.1055596225120733,
      "CVaR_rho": -0.0024506506868564593,
      "mean": -0.005559622512073304
    }
  ]
}