batch20_audit_results.json

{
  "scope": "independent lightweight numerical audits; not proof replacements or full benchmark replications",
  "bandit": {
    "check": "Rademacher lower-bound scaling",
    "results": {
      "d4_T400": {
        "mean_regret": 18.762218888694967,
        "sqrt_dT": 40.0,
        "normalized": 0.9381109444347484
      },
      "d16_T400": {
        "mean_regret": 19.66037792201822,
        "sqrt_dT": 80.0,
        "normalized": 0.983018896100911
      },
      "d16_T1600": {
        "mean_regret": 39.54154416210332,
        "sqrt_dT": 160.0,
        "normalized": 0.988538604052583
      }
    },
    "note": "With ||g_t||=1, regret scales as sqrt(T); dimension enters through the hard partial-feedback construction, not this full-information sanity check."
  },
  "renyi": {
    "alpha": 2.0,
    "renyi_before_postprocess": 0.22377827047230092,
    "renyi_after_postprocess": 0.04301738508369064,
    "data_processing_holds": true,
    "adaptive_composition_sum": 1.0555555555555556,
    "per_round_eps": [
      0.6944444444444444,
      0.25,
      0.1111111111111111
    ],
    "precision_sum": 1.0555555555555556
  },
  "universality": {
    "n": [
      10,
      100,
      1000,
      10000
    ],
    "ordinary_partial_sums": [
      2.9289682539682538,
      5.187377517639621,
      7.485470860550345,
      9.787606036044384
    ],
    "weighted_partial_sums": [
      1.5497677311665408,
      1.6349839001848931,
      1.6439345666815601,
      1.6448340718480603
    ],
    "weighted_limit_pi2_over6": 1.6449340668482264,
    "ordinary_growth_last_minus_first": 6.85863778207613,
    "weighted_tail_last_minus_prev": 0.0008995051665001697,
    "sum_duplication_factor": 3.0,
    "mean_duplication_error": 0.0
  },
  "causal_selection": {
    "n": 500000,
    "selected_fraction_generation1": 0.246632,
    "selected_fraction_generation2": 0.192946,
    "corr_unselected_population": 0.0007049639849222691,
    "corr_after_one_selection": -0.5577566225554706,
    "corr_after_two_selections": -0.551773488357103
  },
  "cgp": {
    "rows": [
      {
        "samples": 2,
        "active_fraction": 0.7400519896020796,
        "optimizer_retained": true,
        "best_gap": 0.37
      },
      {
        "samples": 4,
        "active_fraction": 0.07378524295140972,
        "optimizer_retained": true,
        "best_gap": 0.036799999999999944
      },
      {
        "samples": 8,
        "active_fraction": 0.11697660467906419,
        "optimizer_retained": true,
        "best_gap": 0.05840000000000001
      },
      {
        "samples": 16,
        "active_fraction": 0.060187962407518496,
        "optimizer_retained": true,
        "best_gap": 0.030000000000000027
      },
      {
        "samples": 32,
        "active_fraction": 0.03059388122375525,
        "optimizer_retained": true,
        "best_gap": 0.015199999999999991
      },
      {
        "samples": 64,
        "active_fraction": 0.010197960407918417,
        "optimizer_retained": true,
        "best_gap": 0.0050000000000000044
      }
    ],
    "all_optimizer_retained": true
  },
  "conformal": {
    "calibration_routes": 50,
    "test_routes": 20000,
    "target_phi": 0.75,
    "threshold": 0.11428571428571432,
    "empirical_coverage": 0.73345,
    "nested_threshold_sets": true,
    "selected_nodes": 32
  },
  "forest": {
    "n": 180,
    "rows": [
      {
        "samples": 20,
        "mean_relative_error": 0.12081767495259119,
        "seconds": 0.002970928995637223
      },
      {
        "samples": 100,
        "mean_relative_error": 0.05327490463468087,
        "seconds": 0.012987562018679455
      },
      {
        "samples": 500,
        "mean_relative_error": 0.020339303817097823,
        "seconds": 0.03637788601918146
      },
      {
        "samples": 2000,
        "mean_relative_error": 0.009827910851846651,
        "seconds": 0.1035532150126528
      }
    ],
    "error_reduced": true
  }
}