{
 "spec": "v39 SPEC - The Whistle Market (registered).md",
 "params": {
  "central": {
   "eps_int": 0.05,
   "delta_auth": 0.2,
   "eps_forge": 0.1,
   "eps_cert": 0.02,
   "phi_cert": 0.5,
   "G": 1.0,
   "d_pre": 0.2,
   "T_adj": 0.5,
   "u_unverif": 0.7,
   "fee": 0.1,
   "k_med": 8.0,
   "k_sigma": 1.0,
   "R_ret": 2.0,
   "gamma": 1.0,
   "beta_share": 0.5,
   "B_central": 2.0,
   "beta_central": 0.5,
   "Npop": 20000
  },
  "sweeps": {
   "eps_int": [
    0.02,
    0.05,
    0.1,
    0.2
   ],
   "delta_auth": [
    0.1,
    0.2,
    0.3
   ],
   "eps_forge": [
    0.05,
    0.1,
    0.2
   ],
   "phi_cert": [
    0.1,
    0.3,
    0.5,
    0.7,
    0.9
   ],
   "G": [
    0.5,
    1.0,
    2.0
   ],
   "d_pre": [
    0.1,
    0.2,
    0.3
   ],
   "T_adj": [
    0.25,
    0.5,
    1.0
   ],
   "R_ret": [
    0.5,
    2.0,
    10.0
   ],
   "gamma": [
    1.0,
    3.0
   ],
   "beta_share": [
    0.3,
    0.5,
    0.7
   ],
   "exposure_mult": [
    0.5,
    1.0,
    2.0
   ]
  },
  "seeds": [
   7,
   11
  ]
 },
 "wb0_anchors": {
  "source_sha256": "86976fdac243313ed457cd437026757fcaaa0e0f636747003581e274dac0d933",
  "J1_transp_y30_base": 0.8052723808740847,
  "J1_transp_y30_tau0": 0.7786998070655728,
  "J3_err_ratio": 1.0374397991323645,
  "note": "values loaded at runtime from committed results_v7.json; no anchor constants in this file",
  "loaded_ok": true
 },
 "wb1_separation": {
  "region_nonempty": true,
  "region_share": 0.546,
  "central_point": {
   "B": 2.0,
   "beta": 0.5,
   "ev_true": 0.0702,
   "ev_false": -1.6
  },
  "eps_int_star": 0.639,
  "by_eps_int": {
   "0.02": true,
   "0.05": true,
   "0.1": true,
   "0.2": true
  }
 },
 "wb2_weaponization": {
  "flood_ev_per_claim": -1.6,
  "extortion_credible": false,
  "extortion_note": "a 'pay or I file' threat is empty against a rational victim when EV_false < 0; withdrawal leaves a permanent record either way",
  "sd_curve": {
   "0.25": {
    "1": -1.75,
    "5": -1.55,
    "20": -0.8,
    "100": 3.2
   },
   "0.5": {
    "1": -1.7,
    "5": -1.3,
    "20": 0.2,
    "100": 8.2
   },
   "1.0": {
    "1": -1.6,
    "5": -0.8,
    "20": 2.2,
    "100": 18.2
   }
  },
  "sd_note": "off-protocol position size L is invisible to EDEN by construction; pi_sd grows without bound in L - irreducible, bounded only by T_adj",
  "sd_irreducible_confirmed": true
 },
 "wb3_certified": {
  "by_phi_cert": {
   "0.1": {
    "separates": true,
    "region_share": 0.409
   },
   "0.3": {
    "separates": true,
    "region_share": 0.48
   },
   "0.5": {
    "separates": true,
    "region_share": 0.546
   },
   "0.7": {
    "separates": true,
    "region_share": 0.603
   },
   "0.9": {
    "separates": true,
    "region_share": 0.657
   }
  },
  "residual_error_at_full_cert": {
   "p_ts": 0.95,
   "note": "1 - eps_int only; delta_auth eliminated"
  },
  "holds_at_0p3": true,
  "fails_at_0p1": false,
  "stress_uncertified": {
   "0.1": {
    "separates": true,
    "region_share": 0.224
   },
   "0.3": {
    "separates": true,
    "region_share": 0.338
   },
   "0.5": {
    "separates": true,
    "region_share": 0.448
   },
   "0.7": {
    "separates": true,
    "region_share": 0.544
   },
   "0.9": {
    "separates": true,
    "region_share": 0.628
   }
  }
 },
 "wb4_anonymity": {
  "k_star_central": 7,
  "k_star_sponsored": 10,
  "k_star_by_R": {
   "0.5": 2,
   "2.0": 7,
   "10.0": 32
  },
  "k_star_gamma3": 19,
  "population_participation": {
   "seed7": {
    "unsponsored": 0.5548,
    "sponsored": 0.4496
   },
   "seed11": {
    "unsponsored": 0.5593,
    "sponsored": 0.4533
   }
  },
  "sponsor_split": {
   "uncertified_k_star_unsponsored": 10,
   "uncertified_k_star_sponsored": 11,
   "certified_k_star_unsponsored": 5,
   "certified_k_star_sponsored": 9
  },
  "sponsor_rescue_at_B5_uncertified": {
   "unsponsored_k_star": null,
   "sponsored_k_star": 11
  }
 },
 "wb5_double_edge": {
  "table": {
   "au0.5_hp0.5": {
    "V_star": 1.0,
    "net_at_Vstar": 0.25
   },
   "au0.5_hp1.0": {
    "V_star": 0.5,
    "net_at_Vstar": 0.125
   },
   "au0.5_hp2.0": {
    "V_star": 0.25,
    "net_at_Vstar": 0.062
   },
   "au1.0_hp0.5": {
    "V_star": 2.0,
    "net_at_Vstar": 1.0
   },
   "au1.0_hp1.0": {
    "V_star": 1.0,
    "net_at_Vstar": 0.5
   },
   "au1.0_hp2.0": {
    "V_star": 0.5,
    "net_at_Vstar": 0.25
   },
   "au2.0_hp0.5": {
    "V_star": 4.0,
    "net_at_Vstar": 4.0
   },
   "au2.0_hp1.0": {
    "V_star": 2.0,
    "net_at_Vstar": 2.0
   },
   "au2.0_hp2.0": {
    "V_star": 1.0,
    "net_at_Vstar": 1.0
   }
  },
  "monotone_sanity": true,
  "note": "assumption arithmetic: adoption uplift a_u*V vs shutdown pressure h_p*V^2; V* is where marginal pressure overtakes marginal uplift - a shape, not a forecast; feeds PRE-MORTEM obituary #7"
 },
 "bars": {
  "WB0": {
   "loaded_ok": true,
   "pass": true
  },
  "WB1": {
   "nonempty": true,
   "eps_int_star": 0.639,
   "pass": true
  },
  "WB2": {
   "flood_priced_out": true,
   "extortion_noncredible": true,
   "sd_irreducible": true,
   "pass": true
  },
  "WB3": {
   "holds_at_0p3": true,
   "fails_at_0p1": false,
   "pass": false
  },
  "WB4": {
   "k_star": 7,
   "sponsor_split_finding": false,
   "pass": false
  },
  "WB5": {
   "monotone": true,
   "pass": true
  },
  "WB6": {
   "seed_rel_gap": 0.008,
   "determinism": "verified externally by double run (byte-identical)",
   "pass": true
  }
 },
 "bar_summary": {
  "WB0": true,
  "WB1": true,
  "WB2": true,
  "WB3": false,
  "WB4": false,
  "WB5": true,
  "WB6": true
 }
}