{
  "generator": {
    "material_A": "V-A",
    "material_B": "V-B",
    "stock_correction": "20*N_X/(5V)",
    "chemical_inventory_marks": [
      1,
      -1,
      0,
      0,
      0,
      0,
      1,
      -1,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      -1,
      1
    ],
    "identities_exact": true
  },
  "phase": {
    "symbolic_recurrence": true,
    "window_coordinate_lower": [
      "1/12",
      "89/1800",
      "28391/675000",
      "1691/18000"
    ],
    "target": [
      "1/35",
      "9/280",
      "1/25",
      "9/175"
    ],
    "exp_upper": "35978386490443589931704330287208801/3986518855921875000000000000000000",
    "phase_exponent": "-1839/8750000000000"
  },
  "stopping_boundary": {
    "physical_closed": "1/2",
    "stopped_closed": "1",
    "physical_strict": "1/4",
    "stopped_strict": "1/4",
    "scope": "Separate illustrative chain, not a reactor counterexample or a replay of chronological-law identification."
  },
  "mission": {
    "V": 200000000000,
    "m": 100,
    "error_log10": "-6.685889638065036553022578",
    "error_log_interval": "[-15.3948298140119086319640170906312715847977970227424540479333441980648551437, -15.3948298140119086319640170906312715847977970227424540479333441980648542743]",
    "joint_product_lower_ordinary": "0.9999793886740677341379409",
    "joint_product_lower_certified": "0.999979388",
    "linear_lower_ordinary": "0.9999793884637756144217203",
    "component_log10": {
      "pulse_stock": "-102232.9210400254802291",
      "pulse_material": "-868588.3617465123273399",
      "free_counter": "-2171.472409516259138256",
      "phase_occupation": "-6.685889638065036553023",
      "free_clock_early": "-86858896380.65036553023",
      "free_clock_collection": "-434294481.9032518276511",
      "template_counter": "-868588.9638065036553023",
      "foods": "-289529654.3011378894368",
      "gross_service": "-43429448.19032518276511",
      "material_initial_twice": "-43429447.28723519577317",
      "material_leak_twice": "-43429431.8983380644235",
      "recovery": "-52115.33782839021931814",
      "recovery_clock": "-43429448190.32518276511",
      "residence_initial": "-8685889.638065036553023",
      "residence_leak": "-8685874.250036494167158",
      "terminal_material": "-271433.4491295410643196",
      "terminal_clock": "-86858896380.0483055389"
    },
    "scope": "Repeated bound conditions on actual successful returns; it does not assume independent cycles. Initial restart and admitted interventions are required."
  },
  "sizing": [
    {
      "m": 100,
      "sufficient_V": 200000000000,
      "taylor_degree": 8,
      "taylor_sum": "9113989/9",
      "taylor_target": "1010000",
      "earlier_linear_V": 200000000000,
      "certificate_bottleneck_lower_ordinary": "138155105579.6427410410795",
      "certificate_bottleneck_interval": "[138155105579.642741041079487281061852456066089317726378561999674058054355042, 138155105579.642741041079487281061852456066089317726378561999674058054357532]"
    },
    {
      "m": 10000,
      "sufficient_V": 200000000000,
      "taylor_degree": 16,
      "taylor_sum": "182627466464921/1702701",
      "taylor_target": "101000000",
      "earlier_linear_V": 5000000000000,
      "certificate_bottleneck_lower_ordinary": "184206807439.5236547214393",
      "certificate_bottleneck_interval": "[184206807439.523654721439316374749136608088119090301838082666232077405803404, 184206807439.523654721439316374749136608088119090301838082666232077405813361]"
    },
    {
      "m": 1000000,
      "sufficient_V": 230358012608,
      "taylor_degree": 62,
      "taylor_sum": "3304147000295427826772346012536307898776265981512773578836884518946397928129584835838381098193384304018754108774279377462801293921234961243802255576484985480353606067024311110312071511682104767674723027460995606545491044795220164969032037829819957582652152699313592117498186985813372638700657410025493751990035980441745642161042432651238854091070711649978217040488819688046001926531592744015194221123801287767586144965226130740739524349918907537172826939605889442951024824092438474129206018057334858622277380158087732355219229083429355404575620063989468719599444469655189364965600019758712563067671461609/327143267355620614605181315389568392441485707573223659145318048339003892345924451426469962099792404058577925345528247097000514638741797707530594913060223206929677122924408904723222314998766904896225320841555594525035455549200699982750239823828307481751176410966763796750456094741821289062500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "taylor_target": "10100000000",
      "earlier_linear_V": 500000000000000,
      "certificate_bottleneck_lower_ordinary": "230258509299.4045684017991",
      "certificate_bottleneck_interval": "[230258509299.404568401799145468436420760110148862877297603332790096757256744, 230258509299.404568401799145468436420760110148862877297603332790096757261723]"
    }
  ],
  "worked_budgets": [
    {
      "V": 200000000000,
      "m": 100,
      "error_log10": "-6.685889638065036553022578",
      "error_log_interval": "[-15.3948298140119086319640170906312715847977970227424540479333441980648551437, -15.3948298140119086319640170906312715847977970227424540479333441980648542743]",
      "joint_product_lower_ordinary": "0.9999793886740677341379409",
      "joint_product_lower_certified": "0.999979388",
      "linear_lower_ordinary": "0.9999793884637756144217203",
      "component_log10": {
        "pulse_stock": "-102232.9210400254802291",
        "pulse_material": "-868588.3617465123273399",
        "free_counter": "-2171.472409516259138256",
        "phase_occupation": "-6.685889638065036553023",
        "free_clock_early": "-86858896380.65036553023",
        "free_clock_collection": "-434294481.9032518276511",
        "template_counter": "-868588.9638065036553023",
        "foods": "-289529654.3011378894368",
        "gross_service": "-43429448.19032518276511",
        "material_initial_twice": "-43429447.28723519577317",
        "material_leak_twice": "-43429431.8983380644235",
        "recovery": "-52115.33782839021931814",
        "recovery_clock": "-43429448190.32518276511",
        "residence_initial": "-8685889.638065036553023",
        "residence_leak": "-8685874.250036494167158",
        "terminal_material": "-271433.4491295410643196",
        "terminal_clock": "-86858896380.0483055389"
      },
      "scope": "Repeated bound conditions on actual successful returns; it does not assume independent cycles. Initial restart and admitted interventions are required."
    },
    {
      "V": 230359000000,
      "m": 100,
      "error_log10": "-8.004364255675118776588641",
      "error_log_interval": "[-18.4307298140119086319640170906312715847977970227424540479333441980648560527, -18.4307298140119086319640170906312715847977970227424540479333441980648537344]",
      "joint_product_lower_ordinary": "0.9999990099992320137594974",
      "joint_product_lower_certified": "0.999999009",
      "linear_lower_ordinary": "0.9999990099987468631881951",
      "component_log10": {
        "pulse_stock": "-117751.3672892961480004",
        "pulse_material": "-1000435.823507520549696",
        "free_counter": "-2501.091063918779694147",
        "phase_occupation": "-8.004364255675118776589",
        "free_clock_early": "-100043642556.7511877659",
        "free_clock_collection": "-500218212.7837559388294",
        "template_counter": "-1000436.425567511877659",
        "foods": "-333478808.2214739635556",
        "gross_service": "-50021821.27837559388294",
        "material_initial_twice": "-50021820.375285606891",
        "material_leak_twice": "-50021804.92501328663753",
        "recovery": "-60026.18553405071265953",
        "recovery_clock": "-50021821278.37559388294",
        "residence_initial": "-10004364.25567511877659",
        "residence_leak": "-10004348.80627138748692",
        "terminal_material": "-312635.780929856133806",
        "terminal_clock": "-100043642556.1491277746"
      },
      "scope": "Repeated bound conditions on actual successful returns; it does not assume independent cycles. Initial restart and admitted interventions are required."
    },
    {
      "V": 300000000000,
      "m": 100,
      "error_log10": "-11.02883445709755482953387",
      "error_log_interval": "[-25.3948298140119086319640170906312715847977970227424540479333441980648555783, -25.3948298140119086319640170906312715847977970227424540479333441980648541294]",
      "joint_product_lower_ordinary": "0.9999999990642377035494298",
      "joint_product_lower_certified": "0.999999999",
      "linear_lower_ordinary": "0.9999999990642377031159825",
      "component_log10": {
        "pulse_stock": "-153349.3815600382203436",
        "pulse_material": "-1302882.843649764154991",
        "free_counter": "-3257.208614274388707383",
        "phase_occupation": "-11.02883445709755482953",
        "free_clock_early": "-130288344570.9755482953",
        "free_clock_collection": "-651441722.8548777414767",
        "template_counter": "-1302883.445709755482953",
        "foods": "-434294481.6022218319871",
        "gross_service": "-65144172.28548777414767",
        "material_initial_twice": "-65144171.38239778715573",
        "material_leak_twice": "-65144155.81740939675037",
        "recovery": "-78173.0067425853289772",
        "recovery_clock": "-65144172285.48777414767",
        "residence_initial": "-13028834.45709755482953",
        "residence_leak": "-13028818.89297775338799",
        "terminal_material": "-407150.4747243072604605",
        "terminal_clock": "-130288344570.373488304"
      },
      "scope": "Repeated bound conditions on actual successful returns; it does not assume independent cycles. Initial restart and admitted interventions are required."
    }
  ],
  "inventory_uniform": {
    "collected_I": 357142857200,
    "collected_X": 18518518600,
    "each_food": 100000000000000,
    "gross_drive": 4000000000000,
    "final_I": 7142857143,
    "initial_I": 201250000000,
    "net_synthesis": 163035714343
  },
  "inventory_initial_specific": {
    "collected_I": 357142857200,
    "collected_X": 18518518600,
    "each_food": 100000000000000,
    "gross_drive": 4000000000000,
    "final_I": 7142857143,
    "initial_I": 12800000000,
    "net_synthesis": 351485714343
  },
  "physical": {
    "volume_nL": 0.3321078134347693,
    "source_hours": 6.666666666666667,
    "template_pmol": 0.5930496669426903,
    "free_pmol": 0.03075072360148553,
    "scope": "Mixed effluent; free X is included in template equivalents. Time excludes preparation/handling. Supply allowances are not total energy costs."
  },
  "sampled_pulse": {
    "retained": [
      45766065023,
      46749908212,
      2939966255,
      49990544,
      49506997,
      50001688
    ],
    "withdrawn": [
      140099915178,
      140250091788,
      9000047185,
      150009456,
      149993264,
      149998312
    ],
    "lost": [
      934019799,
      0,
      59986560,
      0,
      499739,
      0
    ],
    "doses": [
      149000000000,
      151000000000
    ]
  },
  "small_count_path": {
    "history": [
      {
        "start": [
          0,
          0,
          1000,
          0,
          0,
          0
        ],
        "pulse": {
          "retained": [
            0,
            0,
            252,
            0,
            0,
            0
          ],
          "withdrawn": [
            0,
            0,
            744,
            0,
            0,
            0
          ],
          "lost": [
            0,
            0,
            4,
            0,
            0,
            0
          ],
          "doses": [
            745,
            755
          ]
        },
        "endpoint": [
          499,
          585,
          168,
          67,
          24,
          56
        ],
        "counters": {
          "collected_I": 362,
          "collected_X": 171,
          "food_U": 4699,
          "food_W": 4708,
          "gross_drive": 17,
          "all_wash_I": 1369,
          "net_synthesis": 1488
        },
        "complete": true,
        "elapsed": 4.0,
        "events": 40478,
        "success": false,
        "withdrawn_I": 744,
        "lost_I": 4
      },
      {
        "start": [
          499,
          585,
          168,
          67,
          24,
          56
        ],
        "pulse": {
          "retained": [
            384,
            445,
            121,
            47,
            16,
            38
          ],
          "withdrawn": [
            104,
            140,
            46,
            20,
            8,
            18
          ],
          "lost": [
            11,
            0,
            1,
            0,
            0,
            0
          ],
          "doses": [
            245,
            255
          ]
        },
        "endpoint": [
          532,
          633,
          190,
          62,
          23,
          34
        ],
        "counters": {
          "collected_I": 371,
          "collected_X": 159,
          "food_U": 4063,
          "food_W": 4194,
          "gross_drive": 19,
          "all_wash_I": 1321,
          "net_synthesis": 1404
        },
        "complete": true,
        "elapsed": 4.0,
        "events": 38730,
        "success": false,
        "withdrawn_I": 110,
        "lost_I": 1
      },
      {
        "start": [
          532,
          633,
          190,
          62,
          23,
          34
        ],
        "pulse": {
          "retained": [
            208,
            257,
            73,
            24,
            9,
            17
          ],
          "withdrawn": [
            317,
            376,
            115,
            38,
            14,
            17
          ],
          "lost": [
            7,
            0,
            2,
            0,
            0,
            0
          ],
          "doses": [
            595,
            605
          ]
        },
        "endpoint": [
          543,
          608,
          166,
          68,
          28,
          50
        ],
        "counters": {
          "collected_I": 378,
          "collected_X": 177,
          "food_U": 4689,
          "food_W": 4587,
          "gross_drive": 17,
          "all_wash_I": 1211,
          "net_synthesis": 1433
        },
        "complete": true,
        "elapsed": 4.0,
        "events": 37531,
        "success": true,
        "withdrawn_I": 201,
        "lost_I": 2
      }
    ],
    "complete": true,
    "all_success": false,
    "total_events": 116739,
    "initial_in_restart": true
  },
  "density_inventory_residual": 1.5543122344752192e-15,
  "density_solver_difference": 7.089948628191678e-10,
  "scope": "Chemical/algebraic identities and arithmetic are freshly checked. Operating probability and process-identification theorems are imported; Lean is not rerun. Density and one small-count trajectory do not validate those probabilities."
}