Resolved inputs: {"rates": {"release": 19.0, "cleavage": 0.04, "epsilon": 2e-09, "eta": 1.25e-10}, "schedule": {"conditioning": 12.0, "recovery": 3.0, "collection": 1.0, "cycles": 32}, "initial_state": [0.934, 0.935, 0.06, 0.001, 0.001, 0.001], "retained_fractions": [0.25, 0.75, 0.4, 0.6], "loss_patterns": [[0.98, 0.98, 0.98, 0.98, 0.98, 0.98], [0.98, 1.0, 0.98, 1.0, 0.99, 1.0]], "refill_errors": [-0.005, 0.005], "conditioning_pulse": {"retained": 0.25, "survival": [0.98, 0.98, 0.98, 0.98, 0.98, 0.98], "food_error": [-0.005, -0.005]}, "rtol": 1e-09, "atol": 1e-12, "method": "Radau", "units": "Normalized, uncalibrated schematic chemistry; see README for dimensional conversion."}
{
  "inputs": {
    "rates": {
      "release": 19.0,
      "cleavage": 0.04,
      "epsilon": 2e-09,
      "eta": 1.25e-10
    },
    "schedule": {
      "conditioning": 12.0,
      "recovery": 3.0,
      "collection": 1.0,
      "cycles": 32
    },
    "initial_state": [
      0.934,
      0.935,
      0.06,
      0.001,
      0.001,
      0.001
    ],
    "retained_fractions": [
      0.25,
      0.75,
      0.4,
      0.6
    ],
    "loss_patterns": [
      [
        0.98,
        0.98,
        0.98,
        0.98,
        0.98,
        0.98
      ],
      [
        0.98,
        1.0,
        0.98,
        1.0,
        0.99,
        1.0
      ]
    ],
    "refill_errors": [
      -0.005,
      0.005
    ],
    "conditioning_pulse": {
      "retained": 0.25,
      "survival": [
        0.98,
        0.98,
        0.98,
        0.98,
        0.98,
        0.98
      ],
      "food_error": [
        -0.005,
        -0.005
      ]
    },
    "rtol": 1e-09,
    "atol": 1e-12,
    "method": "Radau",
    "units": "Normalized, uncalibrated schematic chemistry; see README for dimensional conversion."
  },
  "results": {
    "theorem_inputs_satisfied": true,
    "initial_inventory": 0.064,
    "final_inventory": 0.3655852366060113,
    "effluent": 42.923241355790076,
    "synthesis": 49.18527716183615,
    "withdrawn": 5.882173541632833,
    "handling_loss": 0.07827702780721889,
    "collected": 11.529069198614017,
    "free_collected": 5.5170417422997735,
    "service": 0.8118867760845228,
    "food_U": 156.745,
    "food_W": 156.745,
    "final_inventory_balance_residual": -1.4210854715202004e-14,
    "maximum_material_error": 3.056888076002906e-12,
    "maximum_segment_inventory_error": 1.7763568394002505e-15,
    "minimum_sampled_concentration": 0.00024296952238054987,
    "minimum_cycle_template_output": 0.3526935694685934,
    "minimum_cycle_free_X_output": 0.1683746999238797,
    "all_cycle_endpoints_in_operating_region": true,
    "independent_method_max_difference": 9.204859097167173e-13
  },
  "evidence": "Floating-point trajectories and exact balance identities; no Lean compilation or uniform numerical enclosure."
}