{
  "trajectories": {
    "maintained": {
      "final_consumers": [
        0.13870634550388417,
        0.1387063455038842
      ],
      "final_total": 0.27741269100776833,
      "balance_max_error": null,
      "minimum_consumer": 8.645348713455682e-09,
      "integrated_uptake": 123.41221421909626,
      "integrated_abundance": 158.7927194502373,
      "variance_loss": 1.5179056233923827
    },
    "reservoir": {
      "final_consumers": [
        0.020337050947689388,
        0.020337050947690262
      ],
      "final_total": 0.04067410189537965,
      "balance_max_error": 2.2934543153496634e-11,
      "minimum_consumer": 7.009529422956334e-11,
      "integrated_uptake": 25.428805961691317,
      "integrated_abundance": 47.28926773579703,
      "variance_loss": 0.5841635314807686
    },
    "target": {
      "final_consumers": [
        0.010168525473840827,
        0.03050557642153879
      ],
      "final_total": 0.040674101895379615,
      "balance_max_error": 2.354072492494197e-11,
      "minimum_consumer": 6.527042468664052e-11,
      "integrated_uptake": 25.61892860379634,
      "integrated_abundance": 48.02505688901605,
      "variance_loss": 0.27666555827644634
    },
    "zero_supply": {
      "final_consumers": [
        6.056935962814656e-269,
        1.2106434534662153e-261
      ],
      "final_total": 1.210643514035575e-261,
      "balance_max_error": 2.111433250462369e-11,
      "minimum_consumer": 6.056935962814656e-269,
      "integrated_uptake": 0.00030175349630456183,
      "integrated_abundance": 0.8050260687950368,
      "variance_loss": 0.2988943544269932
    },
    "no_limitation": {
      "final_consumers": [
        1.4975852689033484,
        1.07453180323797e-57
      ],
      "final_total": 1.4975852689033484,
      "balance_max_error": null,
      "minimum_consumer": 1.07453180323797e-57,
      "integrated_uptake": 410.0272464735387,
      "integrated_abundance": 807.7602823901465,
      "variance_loss": 0.0
    }
  },
  "equilibrium": [
    12.76381063303956,
    20.23476256596734,
    0.9651941703982954,
    8.65272051373153,
    0.5601713297462894,
    0.020337050947689388,
    0.020337050947690262
  ],
  "per_capita_residual": 1.0658141036401503e-14,
  "spectral_split": {
    "composition_eigenvalue": -0.04067410189537965,
    "multiplicity": 1,
    "composition_block_error": 2.7755575615628914e-17,
    "coupling_error": 2.1495265811674293e-14,
    "reduced_eigenvalues": [
      [
        -46.24433819826955,
        0.0
      ],
      [
        -2.6626119441215734,
        0.0
      ],
      [
        -1.0001202778874443,
        0.0
      ],
      [
        -0.03688153688979431,
        0.0
      ],
      [
        -0.06544783424247089,
        0.14554622720692947
      ],
      [
        -0.06544783424247089,
        -0.14554622720692947
      ]
    ]
  },
  "independent_solver_max_difference": 1.6113652634430764e-08,
  "reservoir_copying_fraction": 0.43982867025371064,
  "copying_flux": 0.021991433512685534,
  "illustrative_units": {
    "concentration_scale_micromolar": 1.0,
    "time_scale_hours": 1.0,
    "copying_flux_micromolar_per_hour": 0.021991433512685534,
    "calibrated": false
  },
  "asymptotic_average_ceiling": 0.08541019662496845,
  "floors": {
    "A1": {
      "aggregate": {
        "prefactor": "1/480000016",
        "negative_exponent": "300000000000",
        "expression": "(1/480000016) * exp(-(300000000000))",
        "scope": "Paper theorem evaluated symbolically; not a numerical abundance estimate or independently rerun global proof."
      },
      "consumer_recovery": {
        "prefactor": "1/1920000064",
        "negative_exponent": "300000000000",
        "expression": "(1/1920000064) * exp(-(300000000000))",
        "scope": "Paper theorem evaluated symbolically; not a numerical abundance estimate or independently rerun global proof."
      }
    },
    "A2": {
      "aggregate": {
        "prefactor": "1/960000048",
        "negative_exponent": "300000000000",
        "expression": "(1/960000048) * exp(-(300000000000))",
        "scope": "Paper theorem evaluated symbolically; not a numerical abundance estimate or independently rerun global proof."
      },
      "consumer_recovery": {
        "prefactor": "1/23040001152",
        "negative_exponent": "300000000000",
        "expression": "(1/23040001152) * exp(-(300000000000))",
        "scope": "Paper theorem evaluated symbolically; not a numerical abundance estimate or independently rerun global proof."
      },
      "allowed_rate_radius": "min(1/10^18, aggregate_floor/1000)"
    },
    "B1": {
      "aggregate": {
        "prefactor": "1/1920276512",
        "negative_exponent": "300000002880",
        "expression": "(1/1920276512) * exp(-(300000002880))",
        "scope": "Paper theorem evaluated symbolically; not a numerical abundance estimate or independently rerun global proof."
      },
      "consumer_recovery": {
        "prefactor": "1/7681106048",
        "negative_exponent": "300000002880",
        "expression": "(1/7681106048) * exp(-(300000002880))",
        "scope": "Paper theorem evaluated symbolically; not a numerical abundance estimate or independently rerun global proof."
      }
    },
    "B2": {
      "aggregate": {
        "prefactor": "1/3841106048",
        "negative_exponent": "300000002880",
        "expression": "(1/3841106048) * exp(-(300000002880))",
        "scope": "Paper theorem evaluated symbolically; not a numerical abundance estimate or independently rerun global proof."
      },
      "consumer_recovery": {
        "prefactor": "1/92186545152",
        "negative_exponent": "300000002880",
        "expression": "(1/92186545152) * exp(-(300000002880))",
        "scope": "Paper theorem evaluated symbolically; not a numerical abundance estimate or independently rerun global proof."
      },
      "allowed_rate_radius": "min(1/10^18, dmin/4, 1/[1000(1+288/dmin)], aggregate_floor/1000)"
    },
    "warning": "The full robust radius includes the exponentially tiny floor/1000. Using 1e-18 alone is NOT sufficient. Floors require strictly positive initial states; zero consumer faces stay invariant."
  },
  "scope": "Numerical trajectories do not prove permanence or global convergence. Exact local rational certificate applies only to its fixed reference center/rates and ellipsoid. Lean not rerun."
}