{
  "parameters": {
    "K": "10",
    "release": "20",
    "delta": "1/20",
    "epsilon": "1/500000000"
  },
  "probability": {
    "V": 100000000,
    "H": "100",
    "complete_windows": 100,
    "component_log10": {
      "entry": "-1.118325662680149586274763",
      "startup_clock": "-260576.6891419510965906774",
      "resource_initial": "-43428.84613033385480272246",
      "resource_leak": "-21699.85807677652204905966",
      "return_initial": "-694.8711710452029242418063",
      "return_leak": "-2765.16687327031432263424",
      "all_windows": "-520.7075895547874416201247",
      "two_foods": "-10065930565.18160377091695",
      "gross_service": "-130288344.5709755482953387"
    },
    "failure_formula": "0.076150776706620636373442009861040925",
    "enabled_success_lower_ordinary": "0.92384922329337936362655799013895908",
    "log_failure_outward_interval": "[-2.57504000000000000000000000000000000000000000000000000000000000000000015622, -2.57503999999999999999999999999999999999999999999999999999999999999999975777]",
    "simplified_horizon_verified": true,
    "simplified_success_lower": "0.72932943352677461621200101005503119",
    "log10_exponential_horizon": "43.42944819032518276511289",
    "disabled_log10_upper": "-21699.858076776522049059661650761192",
    "scope": "Outward mpmath interval evaluation is numerical certificate checking, not Lean evidence; no independent-window assumption.",
    "disabled_log_upper_interval": "[-49965.7697276720613507967239242508836841876641991290996866457353085916714306, -49965.7697276720613507967239242508836841876641991290996866457353085916571873]",
    "disabled_below_10_power_minus_21699": true
  },
  "requested_failure": "1/100",
  "requested_failure_interval_pass": false,
  "sufficient_scales": {
    "simple_sufficient_V": 264915869,
    "individually_interval_checked_V": 194871710,
    "minimum_claimed": false
  },
  "event_guarantees": {
    "per_window_export_mass": "20000",
    "total_completed_export_mass": "2000000",
    "covalent_equivalents_per_window": "5000",
    "each_food_budget": "120000000000",
    "gross_drive_budget": "7500000000",
    "resident_mass_interval": [
      "360000000",
      "440000000"
    ],
    "service_per_export_upper": "3750",
    "recovery_ratio_lower": "1/240200",
    "scope": "Deterministic consequences conditional on the joint event; not expected physical efficiency."
  },
  "physical_reading": {
    "volume_pL": "166.0539067173846663790037",
    "startup_hours": "500.0",
    "post_startup_hours": "100.0",
    "covalent_equivalent_rate_pM_per_hour": "50.0",
    "reservoir_affinity_kBT": "25.10529247162029276843161",
    "reservoir_affinity_kJ_per_mol": "62.20363069923463753377543",
    "scope": "Unit translation and maintained-reservoir requirement, not calibration; collected complexes are not purified free active product."
  },
  "startup_no_seed_probability_lower_at_time_one": "0.8182192062323492956237428",
  "claimed_0_9238_success_interval_check": true,
  "algebraic_certificate": {
    "source_identities": {
      "A_restoring_drift": true,
      "A_quadratic_bound": true,
      "B_restoring_drift": true,
      "B_quadratic_bound": true,
      "Y_drift_expansion": true,
      "mass_balance_each_label": true,
      "internal_moiety_conservation": true,
      "disabled_pathwise_covalent_creation_bound": true,
      "disabled_generator_identity": true
    },
    "drift_coefficient_slack": [
      "4444799/8000000",
      "269/800",
      "277/500",
      "49/500"
    ],
    "noise_coefficient_slack": [
      "28842959/8000000",
      "3813/1600",
      "131/400",
      "112/25"
    ],
    "entry_exponent": "8047/312500000000",
    "window_exponent": "13/1080000",
    "disabled_creation_intensity_coefficient": "38841/16000000000000",
    "disabled_chernoff_slack": "435269089/84000000000000",
    "scope": "Source identities and rational coefficient checks, not a replay of the finite-kernel or Lean proof."
  },
  "expected_completed_export_lower_ordinary": "1847698.4465867587272531159802779182",
  "deterministic_illustration": {
    "entry_time": 9.712797689328449,
    "max_independent_solver_difference": 3.8780268241112026e-07,
    "scope": "Density-limit ODE with ledgers per V; does not estimate finite-copy startup or event probabilities."
  }
}