{
  "exact": {
    "stationary_reconstruction": true,
    "imposed_brackets": {
      "L": {
        "z": [
          "0.98172",
          "0.98174"
        ],
        "endpoint_signs": [
          [
            "negative",
            "positive"
          ],
          [
            "negative",
            "positive"
          ]
        ],
        "energy_spectral_sandwich": true
      },
      "H": {
        "z": [
          "2.89014",
          "2.89017"
        ],
        "endpoint_signs": [
          [
            "negative",
            "positive"
          ],
          [
            "negative",
            "positive"
          ]
        ],
        "energy_spectral_sandwich": true
      }
    },
    "stationary_exclusion_polynomial": true,
    "quadratic_discriminant": "-90912242189968575151447071866603528775/8",
    "load_cap": "2239911/97656250",
    "feedback_intervals": [
      {
        "S": [
          "4067409/100000000",
          "1016853/25000000"
        ],
        "J": [
          "219914265973281/10000000000000000",
          "13744652523609/625000000000000"
        ],
        "load": [
          "1139223235351883101071/50000000000000000000000",
          "17800365097410617523/781250000000000000000"
        ]
      },
      {
        "S": [
          "701493/10000000",
          "7014933/100000000"
        ],
        "J": [
          "3999557429049/100000000000000",
          "399955934994489/10000000000000000"
        ],
        "load": [
          "701802413061304295763/50000000000000000000000",
          "701803460424129843/50000000000000000000"
        ]
      }
    ],
    "uptake_gap": "45010325631789/2500000000000000",
    "uptake_threshold": "154967545820661/5000000000000000",
    "half_gap": "45010325631789/5000000000000000",
    "uptake_ratio_lower": "207016430075/113827350092",
    "count_correction": [
      "A/(50000*m)",
      "-A/(100000*m)",
      "4*Z/m",
      "-2*Z/m"
    ],
    "scope": "Exact identities and enclosures; full uniform nonlinear energy and stochastic generator inequalities remain imported theorem premises"
  },
  "inheritance": {
    "joint_two_cycle_lower": "24482873/24500000",
    "nontransfer_upper": 2.008e-06,
    "transfer_first": "1/25000",
    "transfer_second": "4/6125",
    "log_error_terms": {
      "outer_initial": "-873.89043980193369822500361266492",
      "daughter_initial": "-487.25138247231843961048102780002",
      "outer_drift": "-909.72487653562184329146385426188",
      "spatial_initial": "-105.89043980193369822500361266492",
      "spatial_drift": "-141.72487653562184329146385426188",
      "bad_partition": "-1872457116.7222309683414061345037",
      "deadline": "-26214400000000000000.0",
      "size_odds": "-2490368000000000000.0",
      "low_output": "-2.62144e+32",
      "collection": "-13.815510557964274104107948728106",
      "batch_service": "-13.815510557964274104107948728106",
      "recovery_and_service": "-18.643824295266575227910226727785"
    },
    "count_log_odds_gain_numerical": 0.8143953835565251,
    "high_fraction_lower_numerical": 0.6930453421710093,
    "batch_output_strictly_greater_than": 1310720000000000000000000000000000,
    "prepared_precursor_at_most": 3145728000000000000000000000000000,
    "growth_consumption_at_most": 2359296000000000000000000000000000,
    "finite_repetition": [
      {
        "cycles": 1,
        "probability_lower": "999957/1000000",
        "count_fraction_lower_numerical": 0.5151513851914264
      },
      {
        "cycles": 2,
        "probability_lower": "24482873/24500000",
        "count_fraction_lower_numerical": 0.6930453421710093
      },
      {
        "cycles": 3,
        "probability_lower": "2373714351/2401000000",
        "count_fraction_lower_numerical": 0.8275220948750718
      },
      {
        "cycles": 4,
        "probability_lower": "23957912563/29412250000",
        "count_fraction_lower_numerical": 0.9106777062480212
      },
      {
        "cycles": 5,
        "probability_lower": "0",
        "count_fraction_lower_numerical": 0.9558795800332808
      },
      {
        "cycles": 6,
        "probability_lower": "0",
        "count_fraction_lower_numerical": 0.9787408708928385
      }
    ],
    "scope": "Imported source-kernel theorem; fresh error arithmetic. Repetitions beyond two are conventional corollaries, not rerun Lean roots."
  },
  "imposed_states": [
    {
      "tag": "L",
      "center": [
        12.875959314197663,
        20.122584008359812,
        0.9817244134785742,
        8.817137274984693
      ],
      "z_exact_enclosure": [
        "68416206250507900720922053519938958125364178139/69689828745408197317299119602026129706188800000",
        "3420810312525395036046102675996947906268208907/3484491437270409865864955980101306485309440000"
      ]
    },
    {
      "tag": "H",
      "center": [
        20.726262865862203,
        12.269564050054445,
        2.8901492958695427,
        31.472583690187044
      ],
      "z_exact_enclosure": [
        "402828018955622074662353240075423233182157095747/139379657490816394634598239204052259412377600000",
        "1611312075822488298649412960301692932728628383/557518629963265578538392956816209037649510400"
      ]
    }
  ],
  "feedback": [
    {
      "name": "low",
      "state": [
        12.763810633039569,
        20.234762565967333,
        0.965194170398296,
        8.652720513731536,
        0.5601713297462889,
        0.008134820379075931,
        0.012202230568613897,
        0.02033705094768983
      ],
      "observables": {
        "S": 0.04067410189537966,
        "W": 0.0,
        "J": 0.021991433512685555,
        "load": 0.022784465744970873,
        "p": [
          0.2,
          0.3,
          0.5
        ],
        "chi": 0.0
      },
      "residual": 3.930883396563445e-15,
      "largest_eigen_real": -0.03688153688979341,
      "balance_error_abundance": -7.105427357601002e-15,
      "balance_error_reservoir": -1.7763568394002505e-14,
      "instantaneous_readout_residual": 3.469446951953614e-18,
      "composition_identity_residual": 7.647013447811823e-18,
      "final_state_distance": 5.1514348342607263e-14
    },
    {
      "name": "high",
      "state": [
        20.623431032604906,
        12.37243943271387,
        2.84948827806378,
        30.913943974134416,
        0.200088317522374,
        0.014029863071501662,
        0.02104479460725249,
        0.03507465767875415
      ],
      "observables": {
        "S": 0.0701493153575083,
        "W": 0.0,
        "J": 0.03999558412388131,
        "load": 0.014036058485230268,
        "p": [
          0.2,
          0.3,
          0.5
        ],
        "chi": 0.0
      },
      "residual": 3.2585045772748344e-14,
      "largest_eigen_real": -0.010811599805610599,
      "balance_error_abundance": -7.105427357601002e-15,
      "balance_error_reservoir": -7.105427357601002e-15,
      "instantaneous_readout_residual": 6.938893903907228e-18,
      "composition_identity_residual": 1.2873417233528728e-17,
      "final_state_distance": 1.9481660729070427e-10
    }
  ],
  "synthetic_readouts": [
    {
      "E_S": "791/1000000",
      "E_R": "9/25000",
      "recovery_error": "1/1000",
      "outcome": "low",
      "reason": "Conditional on supplied calibration, alternatives and recovery assumptions"
    },
    {
      "E_S": "791/1000000",
      "E_R": "9/25000",
      "recovery_error": "1/1000",
      "outcome": "high",
      "reason": "Conditional on supplied calibration, alternatives and recovery assumptions"
    },
    {
      "outcome": "unresolved",
      "reason": "Calibration, alternatives and admitted recovery bound are required"
    },
    {
      "E_S": "791/1000000",
      "E_R": "9/25000",
      "recovery_error": "1/1000",
      "outcome": "unresolved",
      "reason": "Inconsistent balance measurements"
    },
    {
      "E_S": "791/1000000",
      "E_R": "9/25000",
      "recovery_error": "1/1000",
      "outcome": "unresolved",
      "reason": "No unique alternative within the guaranteed error regime"
    }
  ],
  "units": {
    "newborn_volume_liters": 108.82508830630522,
    "initial_population_liters": 435300353225.2209,
    "two_deadlines_and_recoveries_seconds": 1600000010752.0
  },
  "inputs": {
    "extraction": "1/100",
    "composition": [
      0.2,
      0.3,
      0.5
    ],
    "renewal": 0.05,
    "mortality": 0.5
  }
}