outputs/claim3_run.log

{
  "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-