{
  "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."
}