{
  "chemistry": {
    "composition": [
      [
        1,
        0,
        0
      ],
      [
        0,
        1,
        0
      ],
      [
        1,
        1,
        0
      ],
      [
        2,
        1,
        0
      ],
      [
        2,
        2,
        0
      ],
      [
        2,
        2,
        0
      ],
      [
        0,
        0,
        1
      ],
      [
        0,
        0,
        1
      ]
    ],
    "full_stoichiometry": [
      [
        "-1",
        "-1",
        "0",
        "0",
        "0",
        "1"
      ],
      [
        "-1",
        "0",
        "-1",
        "0",
        "0",
        "1"
      ],
      [
        "1",
        "-1",
        "0",
        "0",
        "2",
        "-1"
      ],
      [
        "0",
        "1",
        "-1",
        "0",
        "0",
        "0"
      ],
      [
        "0",
        "0",
        "1",
        "-1",
        "0",
        "0"
      ],
      [
        "0",
        "0",
        "0",
        "1",
        "-1",
        "0"
      ],
      [
        "0",
        "0",
        "0",
        "0",
        "0",
        "-1"
      ],
      [
        "0",
        "0",
        "0",
        "0",
        "0",
        "1"
      ]
    ],
    "internal_rank": 4,
    "full_rank": 5,
    "passive_cycle": [
      "-1",
      "1",
      "1",
      "1",
      "1",
      "0"
    ],
    "drive_cycle": [
      "1",
      "0",
      "0",
      "0",
      "0",
      "1"
    ],
    "rate_ratios": [
      "10",
      "1",
      "1",
      "10",
      "1",
      "8000000000"
    ],
    "boltzmann_weights": [
      "1",
      "1",
      "10",
      "10",
      "10",
      "100",
      "1/80000000000",
      "1"
    ],
    "drive_affinity": "log(80000000000)",
    "unit_activity_marked_source_identity": true
  },
  "neighboring_count_checks": [
    {
      "pair": "basal",
      "before": [
        4,
        6,
        2,
        4,
        1,
        7
      ],
      "after": [
        3,
        5,
        3,
        4,
        1,
        7
      ],
      "propensity_ratio": "80/31",
      "count_potential_factor": "80/31",
      "reservoir_factor": "1"
    },
    {
      "pair": "bind_U",
      "before": [
        4,
        5,
        3,
        4,
        1,
        7
      ],
      "after": [
        3,
        5,
        2,
        5,
        1,
        7
      ],
      "propensity_ratio": "12/155",
      "count_potential_factor": "12/155",
      "reservoir_factor": "1"
    },
    {
      "pair": "bind_W",
      "before": [
        3,
        6,
        2,
        5,
        1,
        7
      ],
      "after": [
        3,
        5,
        2,
        4,
        2,
        7
      ],
      "propensity_ratio": "15/31",
      "count_potential_factor": "15/31",
      "reservoir_factor": "1"
    },
    {
      "pair": "ligation",
      "before": [
        3,
        5,
        2,
        4,
        2,
        7
      ],
      "after": [
        3,
        5,
        2,
        4,
        1,
        8
      ],
      "propensity_ratio": "5/2",
      "count_potential_factor": "5/2",
      "reservoir_factor": "1"
    },
    {
      "pair": "release",
      "before": [
        3,
        5,
        2,
        4,
        1,
        8
      ],
      "after": [
        3,
        5,
        4,
        4,
        1,
        7
      ],
      "propensity_ratio": "62/3",
      "count_potential_factor": "62/3",
      "reservoir_factor": "1"
    },
    {
      "pair": "driven",
      "before": [
        3,
        5,
        3,
        4,
        1,
        7
      ],
      "after": [
        4,
        6,
        2,
        4,
        1,
        7
      ],
      "propensity_ratio": "31000000000",
      "count_potential_factor": "31/80",
      "reservoir_factor": "80000000000"
    }
  ],
  "operating_bound": {
    "V": 100000000,
    "H": "100",
    "success_lower_ordinary": "0.923849223293379363626557990139",
    "success_lower_certified_six_decimals": "0.923849",
    "failure_log_interval": "[-2.57504000000000000000000000000000000000000000000000000000000000000000015622, -2.57503999999999999999999999999999999999999999999999999999999999999999975777]",
    "failure_log10_ordinary": "-1.118325662680149586274763",
    "component_log10": {
      "entry": "-1.118325662680149586274763",
      "startup_clock": "-260576.6891419510965906774",
      "resource_initial": "-43428.84613033385480272246",
      "resource_leak": "-21699.85807677652204905966",
      "residence_initial": "-694.8711710452029242418063",
      "residence_leak": "-2765.16687327031432263424",
      "two_foods": "-10065930565.18160377091695",
      "gross_service": "-130288344.5709755482953387",
      "windows": "-520.7075895547874416201247"
    },
    "disabled": {
      "log10_ordinary": "-21699.85807677652204905966",
      "certified_less_than_10_power_minus": 21699,
      "log_outward_interval": "[-49965.7697276720613507967239242508836841876641991290996866457353085916714306, -49965.7697276720613507967239242508836841876641991290996866457353085916571873]"
    }
  },
  "worked_scales": [
    {
      "V": 100000000,
      "H": "100",
      "success_lower_ordinary": "0.923849223293379363626557990139",
      "success_lower_certified_six_decimals": "0.923849",
      "failure_log_interval": "[-2.57504000000000000000000000000000000000000000000000000000000000000000015622, -2.57503999999999999999999999999999999999999999999999999999999999999999975777]",
      "failure_log10_ordinary": "-1.118325662680149586274763",
      "component_log10": {
        "entry": "-1.118325662680149586274763",
        "startup_clock": "-260576.6891419510965906774",
        "resource_initial": "-43428.84613033385480272246",
        "resource_leak": "-21699.85807677652204905966",
        "residence_initial": "-694.8711710452029242418063",
        "residence_leak": "-2765.16687327031432263424",
        "two_foods": "-10065930565.18160377091695",
        "gross_service": "-130288344.5709755482953387",
        "windows": "-520.7075895547874416201247"
      },
      "disabled": {
        "log10_ordinary": "-21699.85807677652204905966",
        "certified_less_than_10_power_minus": 21699,
        "log_outward_interval": "[-49965.7697276720613507967239242508836841876641991290996866457353085916714306, -49965.7697276720613507967239242508836841876641991290996866457353085916571873]"
      }
    },
    {
      "V": 200000000,
      "H": "100",
      "success_lower_ordinary": "0.994201059206978403905784406567",
      "success_lower_certified_six_decimals": "0.994201",
      "failure_log_interval": "[-5.15008000000000000000000000000000000000000000000000000000000000000000031243, -5.15007999999999999999999999999999999999999999999999999999999999999999966042]",
      "failure_log10_ordinary": "-2.236651325360299172549526",
      "component_log10": {
        "entry": "-2.236651325360299172549526",
        "startup_clock": "-521153.3782839021931813547",
        "resource_initial": "-86858.29432065903756783536",
        "resource_leak": "-43414.28114194344945042089",
        "residence_initial": "-1389.742342090405848483613",
        "residence_leak": "-5544.350527455462038406251",
        "two_foods": "-20131861130.66423753749788",
        "gross_service": "-260576689.1419510965906774",
        "windows": "-1043.469465919812789718706"
      },
      "disabled": {
        "log10_ordinary": "-43414.28114194344945042089",
        "certified_less_than_10_power_minus": 43414,
        "log_outward_interval": "[-99965.0765804915014054873066921294255076195886989947394313916146285821861804, -99965.0765804915014054873066921294255076195886989947394313916146285821576937]"
      }
    },
    {
      "V": 300000000,
      "H": "100",
      "success_lower_ordinary": "0.99955840615453569883921008075",
      "success_lower_certified_six_decimals": "0.999558",
      "failure_log_interval": "[-7.72512000000000000000000000000000000000000000000000000000000000000000043242, -7.72511999999999999999999999999999999999999999999999999999999999999999956308]",
      "failure_log10_ordinary": "-3.354976988040448758824289",
      "component_log10": {
        "entry": "-3.354976988040448758824289",
        "startup_clock": "-781730.0674258532897720321",
        "resource_initial": "-130287.7425109842203329482",
        "resource_leak": "-65128.82914584698515173526",
        "residence_initial": "-2084.613513135608772725419",
        "residence_leak": "-8323.659120377218054131395",
        "two_foods": "-30197791696.14687130407882",
        "gross_service": "-390865033.712926644886016",
        "windows": "-1566.231342284838137817287"
      },
      "disabled": {
        "log10_ordinary": "-65128.82914584698515173526",
        "certified_less_than_10_power_minus": 65128,
        "log_outward_interval": "[-149964.671115383393241105328679013961158483016708571276937194000614258066367, -149964.671115383393241105328679013961158483016708571276937194000614258009393]"
      }
    }
  ],
  "target_failure": "1/100",
  "target_certified_at_selected_scale": false,
  "necessary_uniform_copy_scale": 4593686,
  "sufficient_sizes": {
    "simple_sufficient_V": 264915869,
    "full_budget_interval_checked_V": 178838783,
    "scope": "Smallest accepted integer in the V>=1e8 monotone search domain; not the smallest physically successful reactor."
  },
  "physical_accounting": {
    "volume_pL": "0.1660539067173846663790037",
    "startup_hours": "25/3",
    "total_hours": "10",
    "template_equivalents_per_window": "5000",
    "completed_template_equivalents": "500000",
    "completed_export_moles": "8.302695335869233318950187e-19",
    "each_food_allowance": "120000000000",
    "initial_each_food": 100000000,
    "gross_driven_allowance": "7500000000",
    "gross_driven_moles": "1.245404300380384997842528e-14",
    "service_per_equivalent_upper": "15000",
    "reservoir_force_kJ_per_mole": "62.23494125274704740201381",
    "chemical_work_bound_nJ": "0.7750766347009179764092787",
    "full_complex_dimensional_coefficients": [
      {
        "pair": "basal",
        "forward_order": 2,
        "reverse_order": 1,
        "forward_physical": "1/30000000",
        "reverse_physical": "1/300000000000"
      },
      {
        "pair": "bind_U",
        "forward_order": 2,
        "reverse_order": 1,
        "forward_physical": "1000/3",
        "reverse_physical": "1/3"
      },
      {
        "pair": "bind_W",
        "forward_order": 2,
        "reverse_order": 1,
        "forward_physical": "1000/3",
        "reverse_physical": "1/3"
      },
      {
        "pair": "ligation",
        "forward_order": 1,
        "reverse_order": 1,
        "forward_physical": "1/3",
        "reverse_physical": "1/30"
      },
      {
        "pair": "release",
        "forward_order": 1,
        "reverse_order": 2,
        "forward_physical": "1/3",
        "reverse_physical": "1000/3"
      },
      {
        "pair": "driven",
        "forward_order": 2,
        "reverse_order": 3,
        "forward_physical": "1/2",
        "reverse_physical": "1/16000000"
      }
    ],
    "conditional_bath_each_stock": 750000000000,
    "bath_volume_nL": "1.245404300380384997842528",
    "activity_ratio_corridor": [
      "99/808000000000",
      "101/792000000000"
    ],
    "force_variation_bound_RT": "0.02000066670666952403176422",
    "scope": "Allowances and output guarantees are conditional on the maintained-model event. Bath sizing is conditional accounting only; no operating probability transfers to a moving bath. Export includes complexes/duplexes, not purified free X. Work excludes feeds, pumping, maintenance and purification."
  },
  "deterministic_solver_difference": 9.324237382202227e-09,
  "preparation": "Food only: (V,V,0,0,0,0). Density trajectories illustrate dynamics, not finite-copy probability.",
  "manuscript_arithmetic_note": "The sentence after Corollary 6.2 says the full budget certifies 1e8 for 99% success; direct evaluation and Table 5 give only 0.923849 there. This package uses the evaluated bound and computes the target-specific sufficient scale.",
  "scope": "Chemical/source identities are freshly checked. Probability bounds are inherited symbolic theorems evaluated with outward intervals. Lean and infinite-state process identification are not rerun."
}