{
  "claim_id": "INTERVENTION_DEMO",
  "claim_name": "Closed-form \u0394\u27e8P_\u03c3\u27e9_LEO under 80-object operator-fleet subset removal",
  "computed_at_utc": "2026-04-29T04:14:55.008800+00:00",
  "leverage_map_sha256": "47f32fd6942384e282c2691bb4f8a0142be07f4843dfb10fc27dfcd7027cdd40",
  "snapshot_id_reference": "2026-04-28",
  "methodology_reference": "KESSLER_CRITICAL_SURFACE preprint v0.8 \u00a710.10",
  "audit_charter_reference": "https://kessler.fancyland.net/audit/v0.4.1/",
  "computation_type": "closed_form_algebraic",
  "is_monte_carlo": false,
  "baseline": {
    "n_objects": 49998,
    "sum_mass_kg": 47565223.73,
    "P_sigma_LEO": 0.24103587882174005,
    "sum_L_signed": 942865.881266897,
    "sum_L_abs": 1502141.1450019623,
    "sum_rho": 3911724.204197006
  },
  "intervention": {
    "type": "subset_removal",
    "subset_filter": "80-object operator-fleet subset (active payloads, well-managed mid-LEO orbit, station-kept, low sigma-magnetization)",
    "subset_n_objects": 80,
    "subset_mass_kg": 68800.0,
    "subset_L_signed": 94.18249226,
    "subset_L_abs": 115.70343885999999,
    "subset_pct_of_catalog_mass": 0.14464349077918234,
    "subset_pct_of_total_L_abs": 0.007702567714423989,
    "subset_description": "Identity-blind subset selection: 80 active payloads at ~780 km altitude, station-kept, illustrating that yanking well-managed mid-LEO fleets does almost nothing to total LEO P_sigma. The substrate is correctly telling you that reserve dollars buy more if spent on the top-100 leverage list."
  },
  "post_intervention": {
    "n_objects_remaining": 49918,
    "sum_mass_kg": 47496423.73,
    "P_sigma_LEO": 0.241034019097001,
    "sum_L_signed": 942771.698774637,
    "sum_rho": 3911363.641973006
  },
  "delta": {
    "delta_P_sigma_LEO_absolute": -1.8597247390395033e-06,
    "delta_P_sigma_LEO_relative_pct": -0.0007715551510963549
  },
  "tolerance": "exact (closed-form algebraic; reproducible to floating-point precision)",
  "result": "DEMO",
  "leverage_map_basename": "leverage_map_v2_full_results.csv",
  "disclosure": "Public-demo artifact. The 80-object subset is identified by physics descriptors (active payloads, ~780 km altitude, station-kept) rather than by operator name; the math is identity-blind."
}