{
 "spec": "v14 SPEC - Cross-Layer Composition (registered).md",
 "run_date": "2026-07-09",
 "X0": {
  "anchors": {
   "validator_safety_capture": 613147000.0,
   "validator_H": 20000,
   "validator_bond": 5000.0,
   "validator_rent_id": 24000.0,
   "aggregator_qstar": 0.006156813069793599,
   "aggregator_bond": 250000.0,
   "aggregator_world": 10000,
   "oracle_2of3": 99536800.0,
   "oracle_R_seats": 1001,
   "identity_isolated_fraud": 0.0137
  },
  "v11_ok": true,
  "v12_ok": true,
  "v13o_ok": true,
  "v10_ref": 0.0137,
  "pass": true
 },
 "X1": {
  "indep": {
   "L0_registrar": 89696000.0,
   "L1_validator": 102341000.0,
   "L3_aggregator": 459696000.0,
   "L4_reporter": 85296000.0
  },
  "sum_indep": 737029000.0,
  "joint": 482941000.0,
  "ratio_joint_over_sum": 0.6552537281436687,
  "B_bloc": 84696000.0,
  "bloc_ids": 3529,
  "bar": "joint >= sum",
  "pass": false,
  "fails_as_registered": true
 },
 "X2": {
  "isolated_fraud": 0.0137,
  "composed_fraud": 0.03741722420857134,
  "leverage_s7": 2.731371878196005,
  "leverage_s11": 2.730996619405651,
  "gate": 0.02,
  "seeds_agree": true,
  "pass": false,
  "fails_as_registered": true,
  "multiple_over_isolated": 2.7311842488008278
 },
 "X3": {
  "oracle_inflation": 0.05,
  "delivery_min": 1.0,
  "reserve_months_to_drain": 4.0,
  "overpay_pm": 9000000.0,
  "bar_delivery": 1.0,
  "pass_delivery": true,
  "finding": "delivery holds (over-pays); the RESERVE is the victim, drains in 4.0 months -> 'EBI-real' needs an oracle-independent cross-check"
 },
 "X4": {
  "joint_cap": 0.15,
  "per_role_reach": 0.0375,
  "composed_fraud_under_cap": 0.00959,
  "restores_x1": true,
  "pass": true
 },
 "bar_summary": {
  "X0": true,
  "X1_fails_as_registered": true,
  "X2_fails_as_registered": true,
  "X3_delivery": true,
  "X4": true
 },
 "gate18_candidate": {
  "cross_layer_concentration_cap": 0.15,
  "measured_joint_over_sum": 0.6552537281436687,
  "composed_blast_radius": 0.03741722420857134
 }
}