{
  "scipy": "1.18.1",
  "numpy": "2.5.3",
  "method": "DOP853",
  "rtol": 1e-11,
  "atol": 1e-13,
  "logistic": [
    {
      "convention": "monomial_coefficient",
      "initial": "1/4",
      "input": {
        "schema": "reaction-network-v1",
        "dynamics": "deterministic_mass_action_ode",
        "species": [
          "A"
        ],
        "complexes": [
          [
            1
          ],
          [
            2
          ]
        ],
        "reactions": [
          {
            "source": 0,
            "target": 1,
            "rate": 1
          },
          {
            "source": 1,
            "target": 0,
            "rate": 1
          }
        ],
        "initial": [
          "1/4"
        ],
        "rate_convention": "monomial_coefficient",
        "box": {
          "lower": [
            "1/8"
          ],
          "upper": [
            12
          ]
        }
      },
      "certificate": {
        "schema": "reaction-network-audit-v1",
        "model_bridge_to_external_simulator_verified": false,
        "source_proof_verified": false,
        "source_scope_matches_effective_model": true,
        "source_numeric_epsilon": null,
        "source_entry_time": null,
        "source_scope": "Older selected formal statement: initial-state-dependent all-time bounds. Newer manuscript: eventual classwise bounds with initial-dependent entry time. Neither proof executed.",
        "normalized_coefficients": [
          {
            "index": 0,
            "coefficient": "1",
            "factorial_divisor": 1
          },
          {
            "index": 1,
            "coefficient": "1",
            "factorial_divisor": 1
          }
        ],
        "omitted_no_effect_reactions": [],
        "effective_edges": [
          {
            "source": 0,
            "target": 1,
            "coefficient": "1"
          },
          {
            "source": 1,
            "target": 0,
            "coefficient": "1"
          }
        ],
        "declared_graph": {
          "weakly_reversible": true,
          "reversible": true,
          "edges_without_return_path": [],
          "strong_components": [
            [
              0,
              1
            ]
          ],
          "linkage_classes": [
            [
              0,
              1
            ]
          ]
        },
        "effective_graph": {
          "weakly_reversible": true,
          "reversible": true,
          "edges_without_return_path": [],
          "strong_components": [
            [
              0,
              1
            ]
          ],
          "linkage_classes": [
            [
              0,
              1
            ]
          ]
        },
        "stoichiometric_rank": 1,
        "conservation_basis": [],
        "conserved_totals": [],
        "deficiency": 0,
        "polynomial_vector_field": [
          [
            {
              "exponent": [
                1
              ],
              "coefficient": "1"
            },
            {
              "exponent": [
                2
              ],
              "coefficient": "-1"
            }
          ]
        ],
        "initial_derivative": [
          "3/16"
        ],
        "supplied_conservation_certificates": [],
        "conservation_upper_bounds": [
          null
        ],
        "conservation_bounds_all_coordinates": false,
        "box": {
          "status": "invariant_box_verified",
          "lower": [
            "1/8"
          ],
          "upper": [
            "12"
          ],
          "faces": [
            {
              "species": "A",
              "side": "lower",
              "derivative_lower": "7/64",
              "derivative_upper": "7/64",
              "inward_verified": true
            },
            {
              "species": "A",
              "side": "upper",
              "derivative_lower": "-132",
              "derivative_upper": "-132",
              "inward_verified": true
            }
          ],
          "initial_contained": true,
          "all_time_bounds_for_initial": true,
          "scope": "Exact polynomial face enclosures; no attraction, entry-time, equilibrium-convergence or source-polytope construction claim. Failure is inconclusive."
        },
        "limits": {
          "max_species": 8,
          "max_complexes": 64,
          "max_reactions": 128,
          "max_degree": 8,
          "input_rational_bits": 32,
          "intermediate_rational_bits": 8192,
          "max_bytes": 1048576
        }
      },
      "times": [
        0.0,
        0.05,
        0.1,
        0.15000000000000002,
        0.2,
        0.25,
        0.30000000000000004,
        0.35000000000000003,
        0.4,
        0.45,
        0.5,
        0.55,
        0.6000000000000001,
        0.65,
        0.7000000000000001,
        0.75,
        0.8,
        0.8500000000000001,
        0.9,
        0.9500000000000001,
        1.0,
        1.05,
        1.1,
        1.1500000000000001,
        1.2000000000000002,
        1.25,
        1.3,
        1.35,
        1.4000000000000001,
        1.4500000000000002,
        1.5,
        1.55,
        1.6,
        1.6500000000000001,
        1.7000000000000002,
        1.75,
        1.8,
        1.85,
        1.9000000000000001,
        1.9500000000000002,
        2.0,
        2.0500000000000003,
        2.1,
        2.15,
        2.2,
        2.25,
        2.3000000000000003,
        2.35,
        2.4000000000000004,
        2.45,
        2.5,
        2.5500000000000003,
        2.6,
        2.6500000000000004,
        2.7,
        2.75,
        2.8000000000000003,
        2.85,
        2.9000000000000004,
        2.95,
        3.0,
        3.0500000000000003,
        3.1,
        3.1500000000000004,
        3.2,
        3.25,
        3.3000000000000003,
        3.35,
        3.4000000000000004,
        3.45,
        3.5,
        3.5500000000000003,
        3.6,
        3.6500000000000004,
        3.7,
        3.75,
        3.8000000000000003,
        3.85,
        3.9000000000000004,
        3.95,
        4.0,
        4.05,
        4.1000000000000005,
        4.15,
        4.2,
        4.25,
        4.3,
        4.3500000000000005,
        4.4,
        4.45,
        4.5,
        4.55,
        4.6000000000000005,
        4.65,
        4.7,
        4.75,
        4.800000000000001,
        4.8500000000000005,
        4.9,
        4.95,
        5.0,
        5.050000000000001,
        5.1000000000000005,
        5.15,
        5.2,
        5.25,
        5.300000000000001,
        5.3500000000000005,
        5.4,
        5.45,
        5.5,
        5.550000000000001,
        5.6000000000000005,
        5.65,
        5.7,
        5.75,
        5.800000000000001,
        5.8500000000000005,
        5.9,
        5.95,
        6.0,
        6.050000000000001,
        6.1000000000000005,
        6.15,
        6.2,
        6.25,
        6.300000000000001,
        6.3500000000000005,
        6.4,
        6.45,
        6.5,
        6.550000000000001,
        6.6000000000000005,
        6.65,
        6.7,
        6.75,
        6.800000000000001,
        6.8500000000000005,
        6.9,
        6.95,
        7.0,
        7.050000000000001,
        7.1000000000000005,
        7.15,
        7.2,
        7.25,
        7.300000000000001,
        7.3500000000000005,
        7.4,
        7.45,
        7.5,
        7.550000000000001,
        7.6000000000000005,
        7.65,
        7.7,
        7.75,
        7.800000000000001,
        7.8500000000000005,
        7.9,
        7.95,
        8.0
      ],
      "values": [
        0.25,
        0.25949166850785216,
        0.2692143494464495,
        0.2791639875519176,
        0.2893357559395912,
        0.29972404264545566,
        0.3103224420126012,
        0.3211237513321532,
        0.33211997307751145,
        0.3433023230050405,
        0.3546612443887326,
        0.3661864285130729,
        0.37786684148959104,
        0.38969075746623244,
        0.4016457980617324,
        0.4137189778654231,
        0.42589675574913094,
        0.4381650915883339,
        0.45050950794042754,
        0.46291515617964574,
        0.4753668864190871,
        0.4878493205663045,
        0.5003469277762629,
        0.5128441015091029,
        0.525325237384904,
        0.5377748110289085,
        0.5501774550580999,
        0.5625180344188,
        0.5747817192856913,
        0.5869540548019072,
        0.5990210269638351,
        0.6109691240492297,
        0.6227853930522453,
        0.6344574906767562,
        0.6459737285010542,
        0.6573231120794129,
        0.6684953737923568,
        0.6794809993120702,
        0.6902712477511298,
        0.7008581655489412,
        0.7112345942326948,
        0.7213941723297551,
        0.7313313317372073,
        0.7410412887963301,
        0.7505200305850639,
        0.759764296799516,
        0.7687715576421836,
        0.7775399882141152,
        0.7860684399472511,
        0.7943564094170931,
        0.8024040050478588,
        0.8102119122333014,
        0.8177813572093505,
        0.8251140701074894,
        0.832212247580697,
        0.8390785153811793,
        0.8457158910974084,
        0.8521277474508975,
        0.8583177763417169,
        0.8642899538777499,
        0.8700485065610991,
        0.8755978787845823,
        0.880942701790052,
        0.8860877641478705,
        0.8910379838488642,
        0.8957983820711998,
        0.9003740586168016,
        0.9047701690295593,
        0.9089919034437706,
        0.9130444670554401,
        0.916933062240666,
        0.920662872254307,
        0.9242390464587198,
        0.9276666870215595,
        0.9309508370153903,
        0.9340964698517761,
        0.9371084799703251,
        0.9399916747213207,
        0.9427507673551725,
        0.9453903710333498,
        0.947914993827937,
        0.9503290345876128,
        0.9526367796266032,
        0.9548424001752533,
        0.9569499505101248,
        0.9589633666828065,
        0.9608864658524742,
        0.9627229461045473,
        0.9644763867188415,
        0.9661502488478761,
        0.9677478765630639,
        0.9692724982149381,
        0.9707272280518149,
        0.9721150680660626,
        0.9734389101145049,
        0.9747015381351545,
        0.97590563054844,
        0.9770537627715848,
        0.978148409824312,
        0.9791919490093426,
        0.9801866626502778,
        0.981134740869459,
        0.9820382843883987,
        0.982899307334229,
        0.9837197400477106,
        0.9845014318673754,
        0.9852461539007239,
        0.9859556017660167,
        0.986631398284646,
        0.9872750961263471,
        0.9878881804100362,
        0.9884720712630597,
        0.9890281263317326,
        0.9895576431721553,
        0.9900618616306512,
        0.9905419661519388,
        0.9909990880185172,
        0.9914343075148526,
        0.9918486560215148,
        0.9922431180476114,
        0.9926186332098698,
        0.9929760981546024,
        0.993316368347072,
        0.9936402598585016,
        0.9939485510752136,
        0.9942419843415741,
        0.99452126753513,
        0.9947870755793171,
        0.995040051902117,
        0.9952808098490428,
        0.9955099340444029,
        0.9957279816455421,
        0.9959354836013441,
        0.9961329458410916,
        0.9963208504144578,
        0.9964996565784828,
        0.9966698018369962,
        0.9968317029393312,
        0.9969857568451773,
        0.9971323416530045,
        0.9972718174447601,
        0.9974045271368653,
        0.9975307972816033,
        0.9976509388330188,
        0.9977652478749863,
        0.9978740063148474,
        0.9979774825476808,
        0.9980759320962719,
        0.9981695982308133,
        0.9982587125341622,
        0.998343495449771,
        0.9984241568184973,
        0.9985008963819634,
        0.9985739042626015,
        0.9986433614188955,
        0.9987094400793376,
        0.998772304158614,
        0.9988321096595413,
        0.9988890050610016,
        0.9989431316583445,
        0.9989946239144114
      ],
      "analytic": [
        0.25,
        0.25949166850779637,
        0.26921434944631023,
        0.27916398755147076,
        0.2893357559401649,
        0.2997240426459713,
        0.3103224420123704,
        0.32112375133188353,
        0.3321199730756749,
        0.3433023230048567,
        0.35466124439244334,
        0.36618642851430033,
        0.37786684148946076,
        0.38969075746608567,
        0.40164579806060063,
        0.4137189778658777,
        0.42589675575166164,
        0.4381650915887984,
        0.4505095079403552,
        0.4629151561795554,
        0.4753668864186717,
        0.48784932056657687,
        0.5003469277772981,
        0.512844101509134,
        0.5253252373848442,
        0.5377748110289073,
        0.5501774550582531,
        0.562518034418219,
        0.5747817192853144,
        0.5869540548018923,
        0.5990210269638426,
        0.6109691240494272,
        0.6227853930536223,
        0.6344574906758501,
        0.6459737284976789,
        0.6573231120788289,
        0.668495373792485,
        0.6794809993124672,
        0.6902712477533418,
        0.7008581655483461,
        0.7112345942275939,
        0.7213941723291927,
        0.7313313317377101,
        0.7410412887972105,
        0.750520030589473,
        0.7597642968018763,
        0.7687715576339302,
        0.777539988206868,
        0.7860684399476447,
        0.7943564094177421,
        0.8024040050491812,
        0.8102119122359184,
        0.8177813572092778,
        0.8251140701021619,
        0.8322122475793838,
        0.8390785153814863,
        0.8457158910976329,
        0.8521277474503806,
        0.8583177763420207,
        0.8642899538793171,
        0.8700485065614079,
        0.8755978787847667,
        0.8809427017898273,
        0.8860877641463996,
        0.8910379838495566,
        0.8957983820743828,
        0.9003740586168973,
        0.9047701690296472,
        0.908991903443853,
        0.9130444670555437,
        0.9169330622407466,
        0.9206628722543686,
        0.924239046458826,
        0.9276666870215823,
        0.9309508370153958,
        0.934096469851137,
        0.9371084799703178,
        0.9399916747228848,
        0.9427507673551959,
        0.9453903710332945,
        0.9479149938275157,
        0.9503290345859655,
        0.9526367796264168,
        0.9548424001785611,
        0.9569499505112679,
        0.9589633666824408,
        0.9608864658521786,
        0.9627229461031573,
        0.964476386715434,
        0.9661502488461577,
        0.9677478765679459,
        0.9692724982228936,
        0.9707272280523237,
        0.9721150680654257,
        0.9734389101128526,
        0.9747015381341513,
        0.9759056305505635,
        0.9770537627772637,
        0.9781484098314918,
        0.9791919490152678,
        0.980186662653491,
        0.9811347408701703,
        0.9820382843873693,
        0.9828993073331271,
        0.9837197400461835,
        0.9845014318667761,
        0.9852461539040968,
        0.9859556017722099,
        0.9866313982873365,
        0.9872750961204245,
        0.9878881803998373,
        0.9884720712598216,
        0.9890281263311765,
        0.9895576431712083,
        0.9900618616306721,
        0.9905419661559457,
        0.9909990880251589,
        0.9914343075174422,
        0.9918486560148333,
        0.9922431180367238,
        0.9926186332070156,
        0.9929760981544263,
        0.9933163683465956,
        0.9936402598588467,
        0.9939485510786179,
        0.9942419843467198,
        0.9945212675366966,
        0.9947870755736564,
        0.9950400518940282,
        0.9952808098477536,
        0.9955099340444771,
        0.9957279816453323,
        0.9959354836019444,
        0.9961329458442839,
        0.9963208504190123,
        0.9964996565799553,
        0.9966698018323352,
        0.9968317029323724,
        0.9969857568438516,
        0.997132341653218,
        0.997271817444749,
        0.9974045271373077,
        0.9975307972841544,
        0.9976509388372615,
        0.9977652478775296,
        0.997874006312276,
        0.997977482541319,
        0.998075932092947,
        0.998169598231017,
        0.9982587125343927,
        0.9983434954498837,
        0.9984241568198193,
        0.9985008963853368,
        0.9985739042664373,
        0.9986433614198189,
        0.9987094400754549,
        0.998772304152857,
        0.9988321096579204,
        0.9988890050612138,
        0.9989431316585464,
        0.9989946239146035
      ],
      "max_absolute_error": 1.0887624135591523e-11,
      "solver_success": true,
      "nfev": 473
    },
    {
      "convention": "monomial_coefficient",
      "initial": "1",
      "input": {
        "schema": "reaction-network-v1",
        "dynamics": "deterministic_mass_action_ode",
        "species": [
          "A"
        ],
        "complexes": [
          [
            1
          ],
          [
            2
          ]
        ],
        "reactions": [
          {
            "source": 0,
            "target": 1,
            "rate": 1
          },
          {
            "source": 1,
            "target": 0,
            "rate": 1
          }
        ],
        "initial": [
          "1"
        ],
        "rate_convention": "monomial_coefficient",
        "box": {
          "lower": [
            "1/8"
          ],
          "upper": [
            12
          ]
        }
      },
      "certificate": {
        "schema": "reaction-network-audit-v1",
        "model_bridge_to_external_simulator_verified": false,
        "source_proof_verified": false,
        "source_scope_matches_effective_model": true,
        "source_numeric_epsilon": null,
        "source_entry_time": null,
        "source_scope": "Older selected formal statement: initial-state-dependent all-time bounds. Newer manuscript: eventual classwise bounds with initial-dependent entry time. Neither proof executed.",
        "normalized_coefficients": [
          {
            "index": 0,
            "coefficient": "1",
            "factorial_divisor": 1
          },
          {
            "index": 1,
            "coefficient": "1",
            "factorial_divisor": 1
          }
        ],
        "omitted_no_effect_reactions": [],
        "effective_edges": [
          {
            "source": 0,
            "target": 1,
            "coefficient": "1"
          },
          {
            "source": 1,
            "target": 0,
            "coefficient": "1"
          }
        ],
        "declared_graph": {
          "weakly_reversible": true,
          "reversible": true,
          "edges_without_return_path": [],
          "strong_components": [
            [
              0,
              1
            ]
          ],
          "linkage_classes": [
            [
              0,
              1
            ]
          ]
        },
        "effective_graph": {
          "weakly_reversible": true,
          "reversible": true,
          "edges_without_return_path": [],
          "strong_components": [
            [
              0,
              1
            ]
          ],
          "linkage_classes": [
            [
              0,
              1
            ]
          ]
        },
        "stoichiometric_rank": 1,
        "conservation_basis": [],
        "conserved_totals": [],
        "deficiency": 0,
        "polynomial_vector_field": [
          [
            {
              "exponent": [
                1
              ],
              "coefficient": "1"
            },
            {
              "exponent": [
                2
              ],
              "coefficient": "-1"
            }
          ]
        ],
        "initial_derivative": [
          "0"
        ],
        "supplied_conservation_certificates": [],
        "conservation_upper_bounds": [
          null
        ],
        "conservation_bounds_all_coordinates": false,
        "box": {
          "status": "invariant_box_verified",
          "lower": [
            "1/8"
          ],
          "upper": [
            "12"
          ],
          "faces": [
            {
              "species": "A",
              "side": "lower",
              "derivative_lower": "7/64",
              "derivative_upper": "7/64",
              "inward_verified": true
            },
            {
              "species": "A",
              "side": "upper",
              "derivative_lower": "-132",
              "derivative_upper": "-132",
              "inward_verified": true
            }
          ],
          "initial_contained": true,
          "all_time_bounds_for_initial": true,
          "scope": "Exact polynomial face enclosures; no attraction, entry-time, equilibrium-convergence or source-polytope construction claim. Failure is inconclusive."
        },
        "limits": {
          "max_species": 8,
          "max_complexes": 64,
          "max_reactions": 128,
          "max_degree": 8,
          "input_rational_bits": 32,
          "intermediate_rational_bits": 8192,
          "max_bytes": 1048576
        }
      },
      "times": [
        0.0,
        0.05,
        0.1,
        0.15000000000000002,
        0.2,
        0.25,
        0.30000000000000004,
        0.35000000000000003,
        0.4,
        0.45,
        0.5,
        0.55,
        0.6000000000000001,
        0.65,
        0.7000000000000001,
        0.75,
        0.8,
        0.8500000000000001,
        0.9,
        0.9500000000000001,
        1.0,
        1.05,
        1.1,
        1.1500000000000001,
        1.2000000000000002,
        1.25,
        1.3,
        1.35,
        1.4000000000000001,
        1.4500000000000002,
        1.5,
        1.55,
        1.6,
        1.6500000000000001,
        1.7000000000000002,
        1.75,
        1.8,
        1.85,
        1.9000000000000001,
        1.9500000000000002,
        2.0,
        2.0500000000000003,
        2.1,
        2.15,
        2.2,
        2.25,
        2.3000000000000003,
        2.35,
        2.4000000000000004,
        2.45,
        2.5,
        2.5500000000000003,
        2.6,
        2.6500000000000004,
        2.7,
        2.75,
        2.8000000000000003,
        2.85,
        2.9000000000000004,
        2.95,
        3.0,
        3.0500000000000003,
        3.1,
        3.1500000000000004,
        3.2,
        3.25,
        3.3000000000000003,
        3.35,
        3.4000000000000004,
        3.45,
        3.5,
        3.5500000000000003,
        3.6,
        3.6500000000000004,
        3.7,
        3.75,
        3.8000000000000003,
        3.85,
        3.9000000000000004,
        3.95,
        4.0,
        4.05,
        4.1000000000000005,
        4.15,
        4.2,
        4.25,
        4.3,
        4.3500000000000005,
        4.4,
        4.45,
        4.5,
        4.55,
        4.6000000000000005,
        4.65,
        4.7,
        4.75,
        4.800000000000001,
        4.8500000000000005,
        4.9,
        4.95,
        5.0,
        5.050000000000001,
        5.1000000000000005,
        5.15,
        5.2,
        5.25,
        5.300000000000001,
        5.3500000000000005,
        5.4,
        5.45,
        5.5,
        5.550000000000001,
        5.6000000000000005,
        5.65,
        5.7,
        5.75,
        5.800000000000001,
        5.8500000000000005,
        5.9,
        5.95,
        6.0,
        6.050000000000001,
        6.1000000000000005,
        6.15,
        6.2,
        6.25,
        6.300000000000001,
        6.3500000000000005,
        6.4,
        6.45,
        6.5,
        6.550000000000001,
        6.6000000000000005,
        6.65,
        6.7,
        6.75,
        6.800000000000001,
        6.8500000000000005,
        6.9,
        6.95,
        7.0,
        7.050000000000001,
        7.1000000000000005,
        7.15,
        7.2,
        7.25,
        7.300000000000001,
        7.3500000000000005,
        7.4,
        7.45,
        7.5,
        7.550000000000001,
        7.6000000000000005,
        7.65,
        7.7,
        7.75,
        7.800000000000001,
        7.8500000000000005,
        7.9,
        7.95,
        8.0
      ],
      "values": [
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0
      ],
      "analytic": [
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        1.0
      ],
      "max_absolute_error": 0.0,
      "solver_success": true,
      "nfev": 110
    },
    {
      "convention": "monomial_coefficient",
      "initial": "3",
      "input": {
        "schema": "reaction-network-v1",
        "dynamics": "deterministic_mass_action_ode",
        "species": [
          "A"
        ],
        "complexes": [
          [
            1
          ],
          [
            2
          ]
        ],
        "reactions": [
          {
            "source": 0,
            "target": 1,
            "rate": 1
          },
          {
            "source": 1,
            "target": 0,
            "rate": 1
          }
        ],
        "initial": [
          "3"
        ],
        "rate_convention": "monomial_coefficient",
        "box": {
          "lower": [
            "1/8"
          ],
          "upper": [
            12
          ]
        }
      },
      "certificate": {
        "schema": "reaction-network-audit-v1",
        "model_bridge_to_external_simulator_verified": false,
        "source_proof_verified": false,
        "source_scope_matches_effective_model": true,
        "source_numeric_epsilon": null,
        "source_entry_time": null,
        "source_scope": "Older selected formal statement: initial-state-dependent all-time bounds. Newer manuscript: eventual classwise bounds with initial-dependent entry time. Neither proof executed.",
        "normalized_coefficients": [
          {
            "index": 0,
            "coefficient": "1",
            "factorial_divisor": 1
          },
          {
            "index": 1,
            "coefficient": "1",
            "factorial_divisor": 1
          }
        ],
        "omitted_no_effect_reactions": [],
        "effective_edges": [
          {
            "source": 0,
            "target": 1,
            "coefficient": "1"
          },
          {
            "source": 1,
            "target": 0,
            "coefficient": "1"
          }
        ],
        "declared_graph": {
          "weakly_reversible": true,
          "reversible": true,
          "edges_without_return_path": [],
          "strong_components": [
            [
              0,
              1
            ]
          ],
          "linkage_classes": [
            [
              0,
              1
            ]
          ]
        },
        "effective_graph": {
          "weakly_reversible": true,
          "reversible": true,
          "edges_without_return_path": [],
          "strong_components": [
            [
              0,
              1
            ]
          ],
          "linkage_classes": [
            [
              0,
              1
            ]
          ]
        },
        "stoichiometric_rank": 1,
        "conservation_basis": [],
        "conserved_totals": [],
        "deficiency": 0,
        "polynomial_vector_field": [
          [
            {
              "exponent": [
                1
              ],
              "coefficient": "1"
            },
            {
              "exponent": [
                2
              ],
              "coefficient": "-1"
            }
          ]
        ],
        "initial_derivative": [
          "-6"
        ],
        "supplied_conservation_certificates": [],
        "conservation_upper_bounds": [
          null
        ],
        "conservation_bounds_all_coordinates": false,
        "box": {
          "status": "invariant_box_verified",
          "lower": [
            "1/8"
          ],
          "upper": [
            "12"
          ],
          "faces": [
            {
              "species": "A",
              "side": "lower",
              "derivative_lower": "7/64",
              "derivative_upper": "7/64",
              "inward_verified": true
            },
            {
              "species": "A",
              "side": "upper",
              "derivative_lower": "-132",
              "derivative_upper": "-132",
              "inward_verified": true
            }
          ],
          "initial_contained": true,
          "all_time_bounds_for_initial": true,
          "scope": "Exact polynomial face enclosures; no attraction, entry-time, equilibrium-convergence or source-polytope construction claim. Failure is inconclusive."
        },
        "limits": {
          "max_species": 8,
          "max_complexes": 64,
          "max_reactions": 128,
          "max_degree": 8,
          "input_rational_bits": 32,
          "intermediate_rational_bits": 8192,
          "max_bytes": 1048576
        }
      },
      "times": [
        0.0,
        0.05,
        0.1,
        0.15000000000000002,
        0.2,
        0.25,
        0.30000000000000004,
        0.35000000000000003,
        0.4,
        0.45,
        0.5,
        0.55,
        0.6000000000000001,
        0.65,
        0.7000000000000001,
        0.75,
        0.8,
        0.8500000000000001,
        0.9,
        0.9500000000000001,
        1.0,
        1.05,
        1.1,
        1.1500000000000001,
        1.2000000000000002,
        1.25,
        1.3,
        1.35,
        1.4000000000000001,
        1.4500000000000002,
        1.5,
        1.55,
        1.6,
        1.6500000000000001,
        1.7000000000000002,
        1.75,
        1.8,
        1.85,
        1.9000000000000001,
        1.9500000000000002,
        2.0,
        2.0500000000000003,
        2.1,
        2.15,
        2.2,
        2.25,
        2.3000000000000003,
        2.35,
        2.4000000000000004,
        2.45,
        2.5,
        2.5500000000000003,
        2.6,
        2.6500000000000004,
        2.7,
        2.75,
        2.8000000000000003,
        2.85,
        2.9000000000000004,
        2.95,
        3.0,
        3.0500000000000003,
        3.1,
        3.1500000000000004,
        3.2,
        3.25,
        3.3000000000000003,
        3.35,
        3.4000000000000004,
        3.45,
        3.5,
        3.5500000000000003,
        3.6,
        3.6500000000000004,
        3.7,
        3.75,
        3.8000000000000003,
        3.85,
        3.9000000000000004,
        3.95,
        4.0,
        4.05,
        4.1000000000000005,
        4.15,
        4.2,
        4.25,
        4.3,
        4.3500000000000005,
        4.4,
        4.45,
        4.5,
        4.55,
        4.6000000000000005,
        4.65,
        4.7,
        4.75,
        4.800000000000001,
        4.8500000000000005,
        4.9,
        4.95,
        5.0,
        5.050000000000001,
        5.1000000000000005,
        5.15,
        5.2,
        5.25,
        5.300000000000001,
        5.3500000000000005,
        5.4,
        5.45,
        5.5,
        5.550000000000001,
        5.6000000000000005,
        5.65,
        5.7,
        5.75,
        5.800000000000001,
        5.8500000000000005,
        5.9,
        5.95,
        6.0,
        6.050000000000001,
        6.1000000000000005,
        6.15,
        6.2,
        6.25,
        6.300000000000001,
        6.3500000000000005,
        6.4,
        6.45,
        6.5,
        6.550000000000001,
        6.6000000000000005,
        6.65,
        6.7,
        6.75,
        6.800000000000001,
        6.8500000000000005,
        6.9,
        6.95,
        7.0,
        7.050000000000001,
        7.1000000000000005,
        7.15,
        7.2,
        7.25,
        7.300000000000001,
        7.3500000000000005,
        7.4,
        7.45,
        7.5,
        7.550000000000001,
        7.6000000000000005,
        7.65,
        7.7,
        7.75,
        7.800000000000001,
        7.8500000000000005,
        7.9,
        7.95,
        8.0
      ],
      "values": [
        3.0,
        2.7333827048437107,
        2.5203197335596985,
        2.3463455583484003,
        2.2017726571080223,
        2.079869146820339,
        1.975811381233361,
        1.8860524790481752,
        1.8079260476684864,
        1.739388875948573,
        1.67884887858961,
        1.6250470633899718,
        1.5769747159655023,
        1.5338141237618255,
        1.4948953863930687,
        1.4596644396875766,
        1.4276590376761573,
        1.398490473790786,
        1.3718295027801592,
        1.3473953784353125,
        1.324947231374573,
        1.304277223981655,
        1.2852050695079753,
        1.267573608157075,
        1.2512452099460112,
        1.2360988293336097,
        1.2220275779713463,
        1.2089367122608128,
        1.1967419551810388,
        1.185368089499504,
        1.1747477723922812,
        1.1648205318376736,
        1.1555319131261212,
        1.146832749878539,
        1.1386785388261922,
        1.1310289015865438,
        1.1238471196010171,
        1.1170997307725345,
        1.1107561786187672,
        1.1047885059924034,
        1.099171086915716,
        1.093880391127977,
        1.088894776732424,
        1.084194307154647,
        1.0797605890264517,
        1.075576628395568,
        1.0716267027449768,
        1.0678962469343938,
        1.0643717512058974,
        1.0610406698857682,
        1.0578913394288647,
        1.0549129047204426,
        1.0520952526935539,
        1.049428952335837,
        1.0469052005302273,
        1.0445157729056411,
        1.042252979290845,
        1.0401096231930111,
        1.0380789648807185,
        1.0361546877864174,
        1.0343308677527265,
        1.0326019449538038,
        1.0309626981668811,
        1.029408221126705,
        1.0279339008979853,
        1.0265353979130702,
        1.0252086276204269,
        1.023949743586888,
        1.0227551218570772,
        1.0216213465221011,
        1.0205451963990095,
        1.0195236326473625,
        1.0185537873193444,
        1.0176329527456789,
        1.0167585716402825,
        1.015928227914935,
        1.0151396381664715,
        1.0143906436989638,
        1.013679203109485,
        1.0130033853839382,
        1.0123613634376436,
        1.0117514080491279,
        1.011171882253652,
        1.0106212360512206,
        1.0100980014546987,
        1.0096007878612943,
        1.0091282777197652,
        1.0086792224512564,
        1.008252438598278,
        1.007846804266618,
        1.0074612557367146,
        1.007094784283181,
        1.0067464331898373,
        1.0064152949473055,
        1.0061005086083115,
        1.005801257275589,
        1.005516765757463,
        1.0052462983696522,
        1.004989156830399,
        1.0047446782872829,
        1.0045122334595873,
        1.0042912248870124,
        1.0040810852687463,
        1.003881275878029,
        1.0036912850888242,
        1.0035106269863807,
        1.0033388400291838,
        1.0031754857939916,
        1.0030201477914138,
        1.002872430347963,
        1.002731957544701,
        1.0025983722025984,
        1.0024713349179135,
        1.0023505231866536,
        1.0022356305342421,
        1.0021263657044481,
        1.0020224518897354,
        1.0019236260056452,
        1.0018296380037617,
        1.0017402502171178,
        1.0016552367319018,
        1.001574382789671,
        1.0014974842526156,
        1.0014243470596522,
        1.0013547867236268,
        1.0012886278524218,
        1.0012257036973706,
        1.0011658557258873,
        1.0011089332144967,
        1.0010547928584559,
        1.0010032983943824,
        1.0009543202581248,
        1.0009077352612645,
        1.000863426266331,
        1.0008212818881057,
        1.0007811962085615,
        1.000743068508182,
        1.0007068030113102,
        1.0006723086431824,
        1.000639498796296,
        1.0006082911037681,
        1.0005786072313472,
        1.0005503726925407,
        1.0005235166476245,
        1.000497971726403,
        1.0004736738564195,
        1.0004505621014086,
        1.000428578508596,
        1.000407667963415,
        1.0003877780502222,
        1.000368858917586,
        1.0003508631467974,
        1.000333745638231,
        1.000317463504026,
        1.0003019759509377,
        1.0002872441798845,
        1.000273231288214,
        1.000259902177226,
        1.0002472234642026,
        1.0002351633982134,
        1.0002236917789502
      ],
      "analytic": [
        3.000000000000001,
        2.7333827048494004,
        2.5203197335591736,
        2.3463455583442925,
        2.20177265710586,
        2.0798691468192665,
        1.9758113812306535,
        1.8860524790449558,
        1.8079260476678136,
        1.739388875948229,
        1.6788488785944855,
        1.625047063386996,
        1.5769747159651728,
        1.5338141237654261,
        1.4948953863918484,
        1.45966443969001,
        1.4276590376736649,
        1.3984904737908348,
        1.3718295027776037,
        1.3473953784361827,
        1.32494723137269,
        1.3042772239856584,
        1.2852050695074804,
        1.2675736081582527,
        1.251245209945669,
        1.23609882933108,
        1.2220275779750314,
        1.2089367122605397,
        1.1967419551791463,
        1.1853680895009557,
        1.1747477723918731,
        1.1648205318359848,
        1.1555319131281894,
        1.1468327498782738,
        1.1386785388236864,
        1.1310289015905428,
        1.1238471196006836,
        1.1170997307707382,
        1.1107561786194105,
        1.1047885059930778,
        1.0991710869154667,
        1.0938803911254131,
        1.088894776734852,
        1.0841943071544726,
        1.0797605890261834,
        1.0755766283929904,
        1.0716267027465678,
        1.0678962469355842,
        1.064371751205628,
        1.0610406698839894,
        1.057891339427423,
        1.054912904724679,
        1.0520952526932266,
        1.0494289523354923,
        1.0469052005275776,
        1.0445157729056878,
        1.0422529792948256,
        1.0401096231926417,
        1.0380789648803597,
        1.0361546877837957,
        1.034330867751835,
        1.0326019449582828,
        1.0309626981666107,
        1.0294082211264566,
        1.0279339008964115,
        1.0265353979101244,
        1.0252086276225316,
        1.0239497435903966,
        1.0227551218566864,
        1.0216213465218362,
        1.0205451963969356,
        1.0195236326444623,
        1.0185537873216095,
        1.0176329527496135,
        1.0167585716399228,
        1.0159282279146957,
        1.0151396381650268,
        1.0143906436955987,
        1.0136792031091932,
        1.013003385388745,
        1.0123613634384299,
        1.0117514080487064,
        1.0111718822533147,
        1.01062123604901,
        1.0100980014513161,
        1.0096007878618476,
        1.009128277724793,
        1.008679222452008,
        1.0082524385978422,
        1.007846804266349,
        1.007461255734915,
        1.0070947842795963,
        1.0067464331886051,
        1.006415294951424,
        1.0061005086119887,
        1.0058012572752406,
        1.0055167657571533,
        1.005246298369063,
        1.0049891568277975,
        1.004744678283715,
        1.0045122334593213,
        1.0042912248916531,
        1.0040810852720878,
        1.0038812758776756,
        1.0036912850884978,
        1.0035106269859217,
        1.0033388400269634,
        1.0031754857902935,
        1.003020147789709,
        1.0028724303511625,
        1.0027319575496996,
        1.0025983722028784,
        1.0024713349174703,
        1.0023505231864336,
        1.002235630533341,
        1.0021263657016208,
        1.0020224518861205,
        1.0019236260046664,
        1.0018296380074185,
        1.001740250221966,
        1.001655236732213,
        1.0015743827892352,
        1.0014974842523838,
        1.001424347059015,
        1.0013547867213157,
        1.0012886278487925,
        1.001225703695053,
        1.0011658557276097,
        1.001108933219487,
        1.0010547928614915,
        1.0010032983940702,
        1.0009543202577293,
        1.0009077352610558,
        1.0008634262654266,
        1.000821281885548,
        1.000781196205005,
        1.0007430685060532,
        1.0007068030129223,
        1.0006723086479385,
        1.0006394987998162,
        1.0006082911034944,
        1.0005786072309346,
        1.0005503726923226,
        1.000523516647149,
        1.0004979717246663,
        1.0004736738532545,
        1.0004505620982413,
        1.0004285785077536,
        1.0004076679661997,
        1.0003877780549941,
        1.0003688589201676,
        1.0003508631465137,
        1.000333745637949,
        1.0003174635037728,
        1.0003019759505372,
        1.000287244179242,
        1.000273231287597,
        1.000259902177092,
        1.0002472234646411,
        1.0002351633985742,
        1.0002236917787564
      ],
      "max_absolute_error": 5.689670956599002e-12,
      "solver_success": true,
      "nfev": 599
    },
    {
      "convention": "monomial_coefficient",
      "initial": "10",
      "input": {
        "schema": "reaction-network-v1",
        "dynamics": "deterministic_mass_action_ode",
        "species": [
          "A"
        ],
        "complexes": [
          [
            1
          ],
          [
            2
          ]
        ],
        "reactions": [
          {
            "source": 0,
            "target": 1,
            "rate": 1
          },
          {
            "source": 1,
            "target": 0,
            "rate": 1
          }
        ],
        "initial": [
          "10"
        ],
        "rate_convention": "monomial_coefficient",
        "box": {
          "lower": [
            "1/8"
          ],
          "upper": [
            12
          ]
        }
      },
      "certificate": {
        "schema": "reaction-network-audit-v1",
        "model_bridge_to_external_simulator_verified": false,
        "source_proof_verified": false,
        "source_scope_matches_effective_model": true,
        "source_numeric_epsilon": null,
        "source_entry_time": null,
        "source_scope": "Older selected formal statement: initial-state-dependent all-time bounds. Newer manuscript: eventual classwise bounds with initial-dependent entry time. Neither proof executed.",
        "normalized_coefficients": [
          {
            "index": 0,
            "coefficient": "1",
            "factorial_divisor": 1
          },
          {
            "index": 1,
            "coefficient": "1",
            "factorial_divisor": 1
          }
        ],
        "omitted_no_effect_reactions": [],
        "effective_edges": [
          {
            "source": 0,
            "target": 1,
            "coefficient": "1"
          },
          {
            "source": 1,
            "target": 0,
            "coefficient": "1"
          }
        ],
        "declared_graph": {
          "weakly_reversible": true,
          "reversible": true,
          "edges_without_return_path": [],
          "strong_components": [
            [
              0,
              1
            ]
          ],
          "linkage_classes": [
            [
              0,
              1
            ]
          ]
        },
        "effective_graph": {
          "weakly_reversible": true,
          "reversible": true,
          "edges_without_return_path": [],
          "strong_components": [
            [
              0,
              1
            ]
          ],
          "linkage_classes": [
            [
              0,
              1
            ]
          ]
        },
        "stoichiometric_rank": 1,
        "conservation_basis": [],
        "conserved_totals": [],
        "deficiency": 0,
        "polynomial_vector_field": [
          [
            {
              "exponent": [
                1
              ],
              "coefficient": "1"
            },
            {
              "exponent": [
                2
              ],
              "coefficient": "-1"
            }
          ]
        ],
        "initial_derivative": [
          "-90"
        ],
        "supplied_conservation_certificates": [],
        "conservation_upper_bounds": [
          null
        ],
        "conservation_bounds_all_coordinates": false,
        "box": {
          "status": "invariant_box_verified",
          "lower": [
            "1/8"
          ],
          "upper": [
            "12"
          ],
          "faces": [
            {
              "species": "A",
              "side": "lower",
              "derivative_lower": "7/64",
              "derivative_upper": "7/64",
              "inward_verified": true
            },
            {
              "species": "A",
              "side": "upper",
              "derivative_lower": "-132",
              "derivative_upper": "-132",
              "inward_verified": true
            }
          ],
          "initial_contained": true,
          "all_time_bounds_for_initial": true,
          "scope": "Exact polynomial face enclosures; no attraction, entry-time, equilibrium-convergence or source-polytope construction claim. Failure is inconclusive."
        },
        "limits": {
          "max_species": 8,
          "max_complexes": 64,
          "max_reactions": 128,
          "max_degree": 8,
          "input_rational_bits": 32,
          "intermediate_rational_bits": 8192,
          "max_bytes": 1048576
        }
      },
      "times": [
        0.0,
        0.05,
        0.1,
        0.15000000000000002,
        0.2,
        0.25,
        0.30000000000000004,
        0.35000000000000003,
        0.4,
        0.45,
        0.5,
        0.55,
        0.6000000000000001,
        0.65,
        0.7000000000000001,
        0.75,
        0.8,
        0.8500000000000001,
        0.9,
        0.9500000000000001,
        1.0,
        1.05,
        1.1,
        1.1500000000000001,
        1.2000000000000002,
        1.25,
        1.3,
        1.35,
        1.4000000000000001,
        1.4500000000000002,
        1.5,
        1.55,
        1.6,
        1.6500000000000001,
        1.7000000000000002,
        1.75,
        1.8,
        1.85,
        1.9000000000000001,
        1.9500000000000002,
        2.0,
        2.0500000000000003,
        2.1,
        2.15,
        2.2,
        2.25,
        2.3000000000000003,
        2.35,
        2.4000000000000004,
        2.45,
        2.5,
        2.5500000000000003,
        2.6,
        2.6500000000000004,
        2.7,
        2.75,
        2.8000000000000003,
        2.85,
        2.9000000000000004,
        2.95,
        3.0,
        3.0500000000000003,
        3.1,
        3.1500000000000004,
        3.2,
        3.25,
        3.3000000000000003,
        3.35,
        3.4000000000000004,
        3.45,
        3.5,
        3.5500000000000003,
        3.6,
        3.6500000000000004,
        3.7,
        3.75,
        3.8000000000000003,
        3.85,
        3.9000000000000004,
        3.95,
        4.0,
        4.05,
        4.1000000000000005,
        4.15,
        4.2,
        4.25,
        4.3,
        4.3500000000000005,
        4.4,
        4.45,
        4.5,
        4.55,
        4.6000000000000005,
        4.65,
        4.7,
        4.75,
        4.800000000000001,
        4.8500000000000005,
        4.9,
        4.95,
        5.0,
        5.050000000000001,
        5.1000000000000005,
        5.15,
        5.2,
        5.25,
        5.300000000000001,
        5.3500000000000005,
        5.4,
        5.45,
        5.5,
        5.550000000000001,
        5.6000000000000005,
        5.65,
        5.7,
        5.75,
        5.800000000000001,
        5.8500000000000005,
        5.9,
        5.95,
        6.0,
        6.050000000000001,
        6.1000000000000005,
        6.15,
        6.2,
        6.25,
        6.300000000000001,
        6.3500000000000005,
        6.4,
        6.45,
        6.5,
        6.550000000000001,
        6.6000000000000005,
        6.65,
        6.7,
        6.75,
        6.800000000000001,
        6.8500000000000005,
        6.9,
        6.95,
        7.0,
        7.050000000000001,
        7.1000000000000005,
        7.15,
        7.2,
        7.25,
        7.300000000000001,
        7.3500000000000005,
        7.4,
        7.45,
        7.5,
        7.550000000000001,
        7.6000000000000005,
        7.65,
        7.7,
        7.75,
        7.800000000000001,
        7.8500000000000005,
        7.9,
        7.95,
        8.0
      ],
      "values": [
        10.0,
        6.949583374228655,
        5.386586600284667,
        4.437289143787864,
        3.8002248803023924,
        3.343594879109332,
        3.000627718841275,
        2.733878379489285,
        2.52072058430421,
        2.346676028865762,
        2.202049461147951,
        2.0801040988706765,
        1.97601306861301,
        1.8862272931688042,
        1.808078843685039,
        1.7395234081473316,
        1.6789680957071378,
        1.625153313671454,
        1.577069892694938,
        1.5338997703584696,
        1.4949727737022465,
        1.4597346236499984,
        1.4277229029256338,
        1.3985487670866625,
        1.3718828588582708,
        1.3474443402979785,
        1.324992266277235,
        1.304318736231693,
        1.285243410707905,
        1.2676090855462612,
        1.251278093192388,
        1.2361293560963462,
        1.2220559585421427,
        1.208963133360854,
        1.1967665831947314,
        1.1853910731870754,
        1.17476924512452,
        1.1648406135501366,
        1.1555507119911106,
        1.146850363667395,
        1.1386950561471305,
        1.1310444029509408,
        1.12386167827565,
        1.1171134136109522,
        1.1107690467269564,
        1.1048006153370524,
        1.0991824888358777,
        1.0938911328003134,
        1.0889049015989967,
        1.0842038552495659,
        1.0797695973213666,
        1.0755851310628766,
        1.0716347314363568,
        1.0679038309819648,
        1.0643789178315142,
        1.0610474443840643,
        1.0578977453259295,
        1.0549189639428436,
        1.05210098564981,
        1.0494343780877005,
        1.0469103368645671,
        1.0445206364587714,
        1.0422575856294896,
        1.0401139868698115,
        1.038083099547922,
        1.036158606230298,
        1.0343345819781988,
        1.0326054662420077,
        1.030966037088352,
        1.0294113876378406,
        1.0279369043536357,
        1.0265382471123747,
        1.0252113308671305,
        1.023952308686944,
        1.022757556161705,
        1.0216236569753665,
        1.020547389539716,
        1.0195257146460146,
        1.0185557640182634,
        1.0176348296453752,
        1.0167603539314283,
        1.0159299205167522,
        1.0151412457199287,
        1.0143921705884382,
        1.0136806534954828,
        1.0130047632042598,
        1.0123626723962227,
        1.0117526516685138,
        1.0111730638684941,
        1.0106223588113554,
        1.0100990683448146,
        1.0096018017227497,
        1.0091292412405972,
        1.008680138160984,
        1.0082533089107544,
        1.0078476314698361,
        1.0074620419932294,
        1.0070955316428394,
        1.0067471436076507,
        1.0064159702831905,
        1.0061011506060737,
        1.0058018675955414,
        1.0055173459849256,
        1.0052468500038014,
        1.0049896812888828,
        1.004745176918708,
        1.0045127075547824,
        1.0042916756714773,
        1.0040815138878165,
        1.003881683427205,
        1.0036916726162983,
        1.003510995483033,
        1.0033391904313262,
        1.0031758189921163,
        1.0030204646398322,
        1.0028727316633694,
        1.0027322440879696,
        1.0025986446937205,
        1.0024715940535758,
        1.0023507696268272,
        1.0022358649021648,
        1.0021265885894068,
        1.0020226638549339,
        1.0019238275940345,
        1.0018298297333805,
        1.0017404325657597,
        1.0016554101533794,
        1.0015745477263134,
        1.001497641123015,
        1.001424496258627,
        1.001354928623454,
        1.0012887628084075,
        1.0012258320532075,
        1.0011659778131192,
        1.0011090493405634,
        1.0010549033073965,
        1.001003403442519,
        1.0009544201739808,
        1.0009078302972514,
        1.0008635166595543,
        1.0008213678621616,
        1.000781277978043,
        1.0007431462822682,
        1.0007068769925587,
        1.000672379017614,
        1.0006395657332345,
        1.000608354768385,
        1.000578667787775,
        1.0005504302940165,
        1.0005235714379683,
        1.0004980238401748,
        1.000473723421812,
        1.000450609243558,
        1.0004286233508044,
        1.0004077106236213,
        1.000387818631782,
        1.0003688975165423,
        1.0003508998592077,
        1.0003337805589434,
        1.0003174967205528,
        1.0003020075463505
      ],
      "analytic": [
        10.000000000000002,
        6.949583374227777,
        5.386586600290811,
        4.437289143780821,
        3.8002248803088623,
        3.3435948791165755,
        3.0006277188380843,
        2.7338783794886057,
        2.520720584299656,
        2.3466760288680084,
        2.2020494611544983,
        2.0801040988767556,
        1.9760130686185533,
        1.8862272931694066,
        1.8080788436816055,
        1.7395234081467035,
        1.6789680957068345,
        1.625153313672697,
        1.5770698926936348,
        1.5338997703585975,
        1.4949727736996257,
        1.4597346236496063,
        1.4277229029257017,
        1.3985487670863526,
        1.3718828588588705,
        1.3474443402976526,
        1.3249922662759448,
        1.3043187362313389,
        1.2852434107052921,
        1.2676090855487336,
        1.2512780931916716,
        1.2361293560975073,
        1.222055958541787,
        1.2089631333586504,
        1.1967665831985321,
        1.185391073186756,
        1.1747692451220249,
        1.164840613554038,
        1.1555507119907735,
        1.146850363665211,
        1.1386950561497402,
        1.1310444029506384,
        1.123861678274733,
        1.1171134136096128,
        1.110769046729914,
        1.1048006153367695,
        1.099182488833742,
        1.093891132801246,
        1.088904901599962,
        1.0842038552493172,
        1.0797695973190562,
        1.0755851310635602,
        1.0716347314384194,
        1.0679038309816609,
        1.064378917829926,
        1.0610474443823883,
        1.0578977453301426,
        1.054918963942519,
        1.0521009856494579,
        1.049434378085032,
        1.046910336864863,
        1.0445206364624922,
        1.0422575856291039,
        1.0401139868693579,
        1.0380830995451382,
        1.0361586062301351,
        1.034334581982538,
        1.0326054662416821,
        1.030966037088102,
        1.0294113876357955,
        1.0279369043511795,
        1.0265382471157245,
        1.0252113308690365,
        1.023952308686538,
        1.022757556161243,
        1.0216236569726524,
        1.0205473895377795,
        1.0195257146499084,
        1.018555764020118,
        1.0176348296449542,
        1.016760353931085,
        1.0159299205144057,
        1.0151412457169864,
        1.0143921705905485,
        1.0136806534998906,
        1.0130047632039443,
        1.0123626723959385,
        1.0117526516675894,
        1.0111730638653114,
        1.0106223588092194,
        1.0100990683482058,
        1.0096018017266362,
        1.0091292412402484,
        1.0086801381607045,
        1.0082533089099137,
        1.007847631466774,
        1.0074620419903628,
        1.0070955316448689,
        1.006747143612695,
        1.0064159702832205,
        1.0061011506056499,
        1.005801867595257,
        1.0055173459831201,
        1.0052468500001808,
        1.0049896812871182,
        1.004745176922149,
        1.0045127075594207,
        1.0042916756711848,
        1.0040815138874082,
        1.0038816834269206,
        1.003691672614599,
        1.003510995479456,
        1.003339190428851,
        1.003175818994349,
        1.0030204646450553,
        1.0028727316645165,
        1.0027322440875357,
        1.0025986446934778,
        1.0024715940528615,
        1.0023507696242304,
        1.0022358648984853,
        1.0021265885880328,
        1.0020226638582648,
        1.001923827599034,
        1.0018298297339352,
        1.001740432565325,
        1.001655410153141,
        1.0015745477256928,
        1.0014976411207037,
        1.0014244962549819,
        1.0013549286211934,
        1.0012887628102949,
        1.0012258320582694,
        1.0011659778158806,
        1.0011090493402364,
        1.0010549033070177,
        1.0010034034422959,
        1.000954420172914,
        1.0009078302944723,
        1.0008635166560047,
        1.0008213678604843,
        1.0007812779803427,
        1.0007431462872336,
        1.000706876995307,
        1.000672379017308,
        1.0006395657328415,
        1.0006083547681859,
        1.0005786677870692,
        1.0005504302918486,
        1.0005235714345715,
        1.0004980238374135,
        1.0004737234220251,
        1.000450609247336,
        1.0004286233553887,
        1.0004077106248064,
        1.0003878186315025,
        1.0003688975162763,
        1.000350899858947,
        1.0003337805587007,
        1.0003174967203379,
        1.0003020075461329
      ],
      "max_absolute_error": 7.243539101864371e-12,
      "solver_success": true,
      "nfev": 833
    },
    {
      "convention": "factorial_scaled_ode",
      "initial": "1/4",
      "input": {
        "schema": "reaction-network-v1",
        "dynamics": "deterministic_mass_action_ode",
        "species": [
          "A"
        ],
        "complexes": [
          [
            1
          ],
          [
            2
          ]
        ],
        "reactions": [
          {
            "source": 0,
            "target": 1,
            "rate": 1
          },
          {
            "source": 1,
            "target": 0,
            "rate": 1
          }
        ],
        "initial": [
          "1/4"
        ],
        "rate_convention": "factorial_scaled_ode",
        "box": {
          "lower": [
            "1/8"
          ],
          "upper": [
            12
          ]
        }
      },
      "certificate": {
        "schema": "reaction-network-audit-v1",
        "model_bridge_to_external_simulator_verified": false,
        "source_proof_verified": false,
        "source_scope_matches_effective_model": true,
        "source_numeric_epsilon": null,
        "source_entry_time": null,
        "source_scope": "Older selected formal statement: initial-state-dependent all-time bounds. Newer manuscript: eventual classwise bounds with initial-dependent entry time. Neither proof executed.",
        "normalized_coefficients": [
          {
            "index": 0,
            "coefficient": "1",
            "factorial_divisor": 1
          },
          {
            "index": 1,
            "coefficient": "1/2",
            "factorial_divisor": 2
          }
        ],
        "omitted_no_effect_reactions": [],
        "effective_edges": [
          {
            "source": 0,
            "target": 1,
            "coefficient": "1"
          },
          {
            "source": 1,
            "target": 0,
            "coefficient": "1/2"
          }
        ],
        "declared_graph": {
          "weakly_reversible": true,
          "reversible": true,
          "edges_without_return_path": [],
          "strong_components": [
            [
              0,
              1
            ]
          ],
          "linkage_classes": [
            [
              0,
              1
            ]
          ]
        },
        "effective_graph": {
          "weakly_reversible": true,
          "reversible": true,
          "edges_without_return_path": [],
          "strong_components": [
            [
              0,
              1
            ]
          ],
          "linkage_classes": [
            [
              0,
              1
            ]
          ]
        },
        "stoichiometric_rank": 1,
        "conservation_basis": [],
        "conserved_totals": [],
        "deficiency": 0,
        "polynomial_vector_field": [
          [
            {
              "exponent": [
                1
              ],
              "coefficient": "1"
            },
            {
              "exponent": [
                2
              ],
              "coefficient": "-1/2"
            }
          ]
        ],
        "initial_derivative": [
          "7/32"
        ],
        "supplied_conservation_certificates": [],
        "conservation_upper_bounds": [
          null
        ],
        "conservation_bounds_all_coordinates": false,
        "box": {
          "status": "invariant_box_verified",
          "lower": [
            "1/8"
          ],
          "upper": [
            "12"
          ],
          "faces": [
            {
              "species": "A",
              "side": "lower",
              "derivative_lower": "15/128",
              "derivative_upper": "15/128",
              "inward_verified": true
            },
            {
              "species": "A",
              "side": "upper",
              "derivative_lower": "-60",
              "derivative_upper": "-60",
              "inward_verified": true
            }
          ],
          "initial_contained": true,
          "all_time_bounds_for_initial": true,
          "scope": "Exact polynomial face enclosures; no attraction, entry-time, equilibrium-convergence or source-polytope construction claim. Failure is inconclusive."
        },
        "limits": {
          "max_species": 8,
          "max_complexes": 64,
          "max_reactions": 128,
          "max_degree": 8,
          "input_rational_bits": 32,
          "intermediate_rational_bits": 8192,
          "max_bytes": 1048576
        }
      },
      "times": [
        0.0,
        0.05,
        0.1,
        0.15000000000000002,
        0.2,
        0.25,
        0.30000000000000004,
        0.35000000000000003,
        0.4,
        0.45,
        0.5,
        0.55,
        0.6000000000000001,
        0.65,
        0.7000000000000001,
        0.75,
        0.8,
        0.8500000000000001,
        0.9,
        0.9500000000000001,
        1.0,
        1.05,
        1.1,
        1.1500000000000001,
        1.2000000000000002,
        1.25,
        1.3,
        1.35,
        1.4000000000000001,
        1.4500000000000002,
        1.5,
        1.55,
        1.6,
        1.6500000000000001,
        1.7000000000000002,
        1.75,
        1.8,
        1.85,
        1.9000000000000001,
        1.9500000000000002,
        2.0,
        2.0500000000000003,
        2.1,
        2.15,
        2.2,
        2.25,
        2.3000000000000003,
        2.35,
        2.4000000000000004,
        2.45,
        2.5,
        2.5500000000000003,
        2.6,
        2.6500000000000004,
        2.7,
        2.75,
        2.8000000000000003,
        2.85,
        2.9000000000000004,
        2.95,
        3.0,
        3.0500000000000003,
        3.1,
        3.1500000000000004,
        3.2,
        3.25,
        3.3000000000000003,
        3.35,
        3.4000000000000004,
        3.45,
        3.5,
        3.5500000000000003,
        3.6,
        3.6500000000000004,
        3.7,
        3.75,
        3.8000000000000003,
        3.85,
        3.9000000000000004,
        3.95,
        4.0,
        4.05,
        4.1000000000000005,
        4.15,
        4.2,
        4.25,
        4.3,
        4.3500000000000005,
        4.4,
        4.45,
        4.5,
        4.55,
        4.6000000000000005,
        4.65,
        4.7,
        4.75,
        4.800000000000001,
        4.8500000000000005,
        4.9,
        4.95,
        5.0,
        5.050000000000001,
        5.1000000000000005,
        5.15,
        5.2,
        5.25,
        5.300000000000001,
        5.3500000000000005,
        5.4,
        5.45,
        5.5,
        5.550000000000001,
        5.6000000000000005,
        5.65,
        5.7,
        5.75,
        5.800000000000001,
        5.8500000000000005,
        5.9,
        5.95,
        6.0,
        6.050000000000001,
        6.1000000000000005,
        6.15,
        6.2,
        6.25,
        6.300000000000001,
        6.3500000000000005,
        6.4,
        6.45,
        6.5,
        6.550000000000001,
        6.6000000000000005,
        6.65,
        6.7,
        6.75,
        6.800000000000001,
        6.8500000000000005,
        6.9,
        6.95,
        7.0,
        7.050000000000001,
        7.1000000000000005,
        7.15,
        7.2,
        7.25,
        7.300000000000001,
        7.3500000000000005,
        7.4,
        7.45,
        7.5,
        7.550000000000001,
        7.6000000000000005,
        7.65,
        7.7,
        7.75,
        7.800000000000001,
        7.8500000000000005,
        7.9,
        7.95,
        8.0
      ],
      "values": [
        0.25,
        0.2611441308563463,
        0.2727076157297267,
        0.28469929875437666,
        0.2971275812877869,
        0.3100003566143694,
        0.32332494205808127,
        0.33710800879122643,
        0.35135550974224483,
        0.3660726060255883,
        0.381263592407761,
        0.3969318223856979,
        0.41307963350308824,
        0.4297082736218694,
        0.44681782889370314,
        0.464407154269962,
        0.48247380738813894,
        0.5010139867227753,
        0.5200224749962188,
        0.539492588712458,
        0.5594161347602115,
        0.579783375115765,
        0.6005830004497251,
        0.6218021133808989,
        0.6434262223175,
        0.6654392466716419,
        0.6878235336297838,
        0.7105598872893343,
        0.7336276103502084,
        0.7570045584505711,
        0.7806672072167115,
        0.8045907318451382,
        0.8287490987292394,
        0.8531151686776426,
        0.877660810937388,
        0.9023570270565284,
        0.927174083577092,
        0.9520816522773708,
        0.9770489565701076,
        1.0020449226198866,
        1.0270383335941746,
        1.0519979854127595,
        1.076892842377972,
        1.1016921910212432,
        1.1263657905503044,
        1.1508840183436109,
        1.175218009039602,
        1.1993397858687895,
        1.2232223829845528,
        1.2468399577693017,
        1.2701678922095485,
        1.293182882590752,
        1.315863017011082,
        1.338187840406874,
        1.3601384068116313,
        1.3816973189467887,
        1.4028487553366518,
        1.4235784851952082,
        1.443873871608279,
        1.4637238636911551,
        1.4831189782305023,
        1.5020512717255576,
        1.5205143037150777,
        1.5385030921738887,
        1.556014061928736,
        1.5730449871705827,
        1.5895949289466917,
        1.6056641682711266,
        1.621254136251388,
        1.6363673417193505,
        1.6510072972835712,
        1.6651784445470117,
        1.6788860792489593,
        1.692136276824082,
        1.7049358190357788,
        1.7172921221714512,
        1.72921316721504,
        1.7407074323599476,
        1.7517838281484839,
        1.7624516355478022,
        1.7727204470864364,
        1.782600111210185,
        1.7921006799949362,
        1.801232360212499,
        1.810005467740726,
        1.818430385443603,
        1.826517524293246,
        1.834277287781018,
        1.841720039482595,
        1.8488560736746138,
        1.8556955888887867,
        1.862248664258129,
        1.8685252385235593,
        1.8745350915484578,
        1.8802878282028017,
        1.8857928644449269,
        1.8910594154864857,
        1.8960964858706049,
        1.9009128612757678,
        1.9055171020161303,
        1.9099175379976983,
        1.9141222650297893,
        1.9181391423960197,
        1.9219757915569506,
        1.925639595828862,
        1.9291377009396495,
        1.9324770164957683,
        1.935664218062682,
        1.9387057499039613,
        1.9416078282642455,
        1.944376445140814,
        1.9470173724637105,
        1.9495361666037567,
        1.9519381731284362,
        1.9542285318565353,
        1.9564121821387042,
        1.9584938681673039,
        1.9604781444863817,
        1.9623693815456686,
        1.9641717712903624,
        1.9658893327703917,
        1.967525917752858,
        1.9690852163213541,
        1.9705707624135287,
        1.9719859392458754,
        1.9733339847265337,
        1.9746179967647726,
        1.9758409384756053,
        1.9770056432560363,
        1.9781148197440628,
        1.9791710566718408,
        1.9801768276244232,
        1.9811344956780903,
        1.9820463177563223,
        1.9829144490175714,
        1.9837409470561367,
        1.98452777596788,
        1.9852768102664167,
        1.985989838662524,
        1.9866685677241385,
        1.9873146254343097,
        1.9879295646237607,
        1.9885148661579959,
        1.989071942140414,
        1.98960213894344,
        1.9901067401248185,
        1.9905869692167173,
        1.9910439924013748,
        1.9914789210892043,
        1.991892814415268,
        1.9922866816282303,
        1.9926614842924408,
        1.9930181385080368,
        1.9933575169919828,
        1.9936804510753974,
        1.9939877326049924,
        1.9942801157602768,
        1.9945583187990346,
        1.9948230257435968,
        1.9950748879994642,
        1.995314525819399
      ],
      "analytic": [
        0.25,
        0.26114413085635985,
        0.2727076157298458,
        0.28469929875466643,
        0.2971275812872357,
        0.31000035661434316,
        0.3233249420580017,
        0.33710800879139385,
        0.3513555097423635,
        0.3660726060252554,
        0.38126359240772745,
        0.3969318223853876,
        0.4130796335025218,
        0.4297082736204046,
        0.44681782889417543,
        0.4644071542733689,
        0.48247380738814627,
        0.5010139867212468,
        0.5200224749928498,
        0.5394925887000827,
        0.5594161347531249,
        0.5797833751342251,
        0.6005830004731074,
        0.6218021133812509,
        0.643426222317676,
        0.665439246670032,
        0.6878235336271729,
        0.7105598872938994,
        0.7336276103564849,
        0.7570045584509304,
        0.7806672072171186,
        0.8045907318441378,
        0.8287490987285202,
        0.8531151686817864,
        0.8776608109406581,
        0.9023570270568176,
        0.927174083577452,
        0.9520816522771789,
        0.9770489565701765,
        1.0020449226219128,
        1.0270383335957363,
        1.0519979854130275,
        1.0768928423781727,
        1.1016921910220807,
        1.1263657905502313,
        1.150884018342446,
        1.1752180090400228,
        1.1993397858691663,
        1.2232223829847682,
        1.246839957771946,
        1.2701678922104775,
        1.2931828825850824,
        1.3158630170082295,
        1.33818784040747,
        1.3601384068121445,
        1.381697318950961,
        1.4028487553389188,
        1.4235784851864925,
        1.4438738716034623,
        1.4637238636924403,
        1.4831189782317096,
        1.5020512717327437,
        1.5205143037245057,
        1.5385030921646021,
        1.5560140619072995,
        1.5730449871713792,
        1.5895949289481122,
        1.605664168272919,
        1.621254136255216,
        1.6363673417213735,
        1.651007297277466,
        1.6651784445433897,
        1.6788860792497051,
        1.6921362768248855,
        1.7049358190350075,
        1.7172921221716795,
        1.7292131672183633,
        1.7407074323612053,
        1.7517838281489215,
        1.7624516355478788,
        1.772720447083768,
        1.7826001112106027,
        1.7921006800014254,
        1.8012323602132105,
        1.8100054677410327,
        1.8184303854436055,
        1.82651752429362,
        1.8342772877817868,
        1.841720039482836,
        1.848856073674768,
        1.8556955888890039,
        1.862248664258562,
        1.868525238523609,
        1.8745350915484515,
        1.8802878282009647,
        1.8857928644442594,
        1.891059415490896,
        1.8960964858718448,
        1.9009128612754664,
        1.9055171020158364,
        1.909917537994581,
        1.914122265025822,
        1.9181391423997525,
        1.9219757915665878,
        1.9256395958290877,
        1.9291377009383988,
        1.9324770164945522,
        1.9356642180594714,
        1.9387057498967781,
        1.9416078282589475,
        1.9443764451484162,
        1.947017372485112,
        1.9495361666184332,
        1.9519381731270402,
        1.954228531854862,
        1.9564121821364695,
        1.9584938681694393,
        1.9604781444955186,
        1.9623693815563013,
        1.964171771292758,
        1.9658893327613287,
        1.9675259177423927,
        1.9690852163197972,
        1.9705707624127615,
        1.9719859392438785,
        1.9733339847291462,
        1.9746179967779658,
        1.975840938492861,
        1.977005643260344,
        1.9781148197258236,
        1.9791710566468124,
        1.9801768276198912,
        1.9811344956779728,
        1.9820463177553715,
        1.982914449019035,
        1.9837409470650675,
        1.9845277759803375,
        1.9852768102695373,
        1.9859898386486008,
        1.9866685677058076,
        1.987314625432299,
        1.9879295646240476,
        1.9885148661576215,
        1.989071942142284,
        1.9896021389512022,
        1.990106740134654,
        1.9905869692182823,
        1.9910439923895107,
        1.9914789210753296,
        1.9918928144146872,
        1.9922866816287619,
        1.9926614842923975,
        1.993018138509967,
        1.993357516998932,
        1.9936804510843134,
        1.99398773260726,
        1.9942801157508512,
        1.9945583187862073,
        1.99482302574193,
        1.9950748879998177,
        1.9953145258197353
      ],
      "max_absolute_error": 2.502842377793968e-11,
      "solver_success": true,
      "nfev": 476
    },
    {
      "convention": "factorial_scaled_ode",
      "initial": "1",
      "input": {
        "schema": "reaction-network-v1",
        "dynamics": "deterministic_mass_action_ode",
        "species": [
          "A"
        ],
        "complexes": [
          [
            1
          ],
          [
            2
          ]
        ],
        "reactions": [
          {
            "source": 0,
            "target": 1,
            "rate": 1
          },
          {
            "source": 1,
            "target": 0,
            "rate": 1
          }
        ],
        "initial": [
          "1"
        ],
        "rate_convention": "factorial_scaled_ode",
        "box": {
          "lower": [
            "1/8"
          ],
          "upper": [
            12
          ]
        }
      },
      "certificate": {
        "schema": "reaction-network-audit-v1",
        "model_bridge_to_external_simulator_verified": false,
        "source_proof_verified": false,
        "source_scope_matches_effective_model": true,
        "source_numeric_epsilon": null,
        "source_entry_time": null,
        "source_scope": "Older selected formal statement: initial-state-dependent all-time bounds. Newer manuscript: eventual classwise bounds with initial-dependent entry time. Neither proof executed.",
        "normalized_coefficients": [
          {
            "index": 0,
            "coefficient": "1",
            "factorial_divisor": 1
          },
          {
            "index": 1,
            "coefficient": "1/2",
            "factorial_divisor": 2
          }
        ],
        "omitted_no_effect_reactions": [],
        "effective_edges": [
          {
            "source": 0,
            "target": 1,
            "coefficient": "1"
          },
          {
            "source": 1,
            "target": 0,
            "coefficient": "1/2"
          }
        ],
        "declared_graph": {
          "weakly_reversible": true,
          "reversible": true,
          "edges_without_return_path": [],
          "strong_components": [
            [
              0,
              1
            ]
          ],
          "linkage_classes": [
            [
              0,
              1
            ]
          ]
        },
        "effective_graph": {
          "weakly_reversible": true,
          "reversible": true,
          "edges_without_return_path": [],
          "strong_components": [
            [
              0,
              1
            ]
          ],
          "linkage_classes": [
            [
              0,
              1
            ]
          ]
        },
        "stoichiometric_rank": 1,
        "conservation_basis": [],
        "conserved_totals": [],
        "deficiency": 0,
        "polynomial_vector_field": [
          [
            {
              "exponent": [
                1
              ],
              "coefficient": "1"
            },
            {
              "exponent": [
                2
              ],
              "coefficient": "-1/2"
            }
          ]
        ],
        "initial_derivative": [
          "1/2"
        ],
        "supplied_conservation_certificates": [],
        "conservation_upper_bounds": [
          null
        ],
        "conservation_bounds_all_coordinates": false,
        "box": {
          "status": "invariant_box_verified",
          "lower": [
            "1/8"
          ],
          "upper": [
            "12"
          ],
          "faces": [
            {
              "species": "A",
              "side": "lower",
              "derivative_lower": "15/128",
              "derivative_upper": "15/128",
              "inward_verified": true
            },
            {
              "species": "A",
              "side": "upper",
              "derivative_lower": "-60",
              "derivative_upper": "-60",
              "inward_verified": true
            }
          ],
          "initial_contained": true,
          "all_time_bounds_for_initial": true,
          "scope": "Exact polynomial face enclosures; no attraction, entry-time, equilibrium-convergence or source-polytope construction claim. Failure is inconclusive."
        },
        "limits": {
          "max_species": 8,
          "max_complexes": 64,
          "max_reactions": 128,
          "max_degree": 8,
          "input_rational_bits": 32,
          "intermediate_rational_bits": 8192,
          "max_bytes": 1048576
        }
      },
      "times": [
        0.0,
        0.05,
        0.1,
        0.15000000000000002,
        0.2,
        0.25,
        0.30000000000000004,
        0.35000000000000003,
        0.4,
        0.45,
        0.5,
        0.55,
        0.6000000000000001,
        0.65,
        0.7000000000000001,
        0.75,
        0.8,
        0.8500000000000001,
        0.9,
        0.9500000000000001,
        1.0,
        1.05,
        1.1,
        1.1500000000000001,
        1.2000000000000002,
        1.25,
        1.3,
        1.35,
        1.4000000000000001,
        1.4500000000000002,
        1.5,
        1.55,
        1.6,
        1.6500000000000001,
        1.7000000000000002,
        1.75,
        1.8,
        1.85,
        1.9000000000000001,
        1.9500000000000002,
        2.0,
        2.0500000000000003,
        2.1,
        2.15,
        2.2,
        2.25,
        2.3000000000000003,
        2.35,
        2.4000000000000004,
        2.45,
        2.5,
        2.5500000000000003,
        2.6,
        2.6500000000000004,
        2.7,
        2.75,
        2.8000000000000003,
        2.85,
        2.9000000000000004,
        2.95,
        3.0,
        3.0500000000000003,
        3.1,
        3.1500000000000004,
        3.2,
        3.25,
        3.3000000000000003,
        3.35,
        3.4000000000000004,
        3.45,
        3.5,
        3.5500000000000003,
        3.6,
        3.6500000000000004,
        3.7,
        3.75,
        3.8000000000000003,
        3.85,
        3.9000000000000004,
        3.95,
        4.0,
        4.05,
        4.1000000000000005,
        4.15,
        4.2,
        4.25,
        4.3,
        4.3500000000000005,
        4.4,
        4.45,
        4.5,
        4.55,
        4.6000000000000005,
        4.65,
        4.7,
        4.75,
        4.800000000000001,
        4.8500000000000005,
        4.9,
        4.95,
        5.0,
        5.050000000000001,
        5.1000000000000005,
        5.15,
        5.2,
        5.25,
        5.300000000000001,
        5.3500000000000005,
        5.4,
        5.45,
        5.5,
        5.550000000000001,
        5.6000000000000005,
        5.65,
        5.7,
        5.75,
        5.800000000000001,
        5.8500000000000005,
        5.9,
        5.95,
        6.0,
        6.050000000000001,
        6.1000000000000005,
        6.15,
        6.2,
        6.25,
        6.300000000000001,
        6.3500000000000005,
        6.4,
        6.45,
        6.5,
        6.550000000000001,
        6.6000000000000005,
        6.65,
        6.7,
        6.75,
        6.800000000000001,
        6.8500000000000005,
        6.9,
        6.95,
        7.0,
        7.050000000000001,
        7.1000000000000005,
        7.15,
        7.2,
        7.25,
        7.300000000000001,
        7.3500000000000005,
        7.4,
        7.45,
        7.5,
        7.550000000000001,
        7.6000000000000005,
        7.65,
        7.7,
        7.75,
        7.800000000000001,
        7.8500000000000005,
        7.9,
        7.95,
        8.0
      ],
      "values": [
        1.0,
        1.0249947929683922,
        1.049958374957838,
        1.0748596906874472,
        1.0996679946251664,
        1.1243530017714087,
        1.1488850336230483,
        1.173235157834601,
        1.1973753202224917,
        1.2212784678965534,
        1.2449186624089632,
        1.2682711820265467,
        1.2913126124515568,
        1.3140209253467623,
        1.336375544334148,
        1.3583573983471728,
        1.379948962260064,
        1.4011342849553488,
        1.4218990052496052,
        1.4422303560450316,
        1.462117157256013,
        1.4815497983564192,
        1.5005202111950258,
        1.5190218339150128,
        1.5370495669978175,
        1.5545997223450376,
        1.5716699660803755,
        1.5882592563818576,
        1.6043677770867573,
        1.619996867959134,
        1.6351489524337879,
        1.6498274637347814,
        1.6640367702671515,
        1.6777821008446474,
        1.6910694698313824,
        1.7039056039360885,
        1.7162978701962868,
        1.7282542059780106,
        1.7397830512723786,
        1.7508932836234872,
        1.7615941559558512,
        1.7718952374416714,
        1.7818063576041918,
        1.791337553756319,
        1.8004990217594543,
        1.809301070200693,
        1.8177540779692196,
        1.8258684551182625,
        1.8336546070111575,
        1.8411229016311599,
        1.848283639956528,
        1.8551470292760435,
        1.8617231593125274,
        1.8680219810173126,
        1.8740532878868323,
        1.8798266996499107,
        1.8853516481989019,
        1.8906373655676796,
        1.895692873842692,
        1.9005269768841304,
        1.9051482536480289,
        1.9095650530313566,
        1.9137854901095814,
        1.917817443598072,
        1.9216685544069747,
        1.9253462253121212,
        1.9288576214578819,
        1.9322096716885782,
        1.935409070605475,
        1.9384622812740364,
        1.941375538479806,
        1.944154852430317,
        1.9468060128470914,
        1.9493345935487643,
        1.9517459571655722,
        1.9540452601742455,
        1.956237458115445,
        1.9583273109498822,
        1.9603193885257413,
        1.962218076128023,
        1.964027580080426,
        1.965751933370383,
        1.9673950012579156,
        1.9689604868461876,
        1.9704519366113893,
        1.9718727458955636,
        1.973226164314705,
        1.9745153010517733,
        1.9757431300438397,
        1.9769124950727788,
        1.9780261147689124,
        1.9790865875369774,
        1.9800963962666287,
        1.981057912837147,
        1.9819734026905125,
        1.9828450291608395,
        1.9836748576821066,
        1.9844648598464707,
        1.9852169173303467,
        1.9859328257054323,
        1.9866142981516528,
        1.987262968986336,
        1.9878803970171555,
        1.9884680688785672,
        1.9890274021916463,
        1.9895597486043717,
        1.9900663967029115,
        1.9905485748102596,
        1.9910074536885598,
        1.991444149160421,
        1.9918597245679155,
        1.9922551931185715,
        1.9926315201975968,
        1.992989625551399,
        1.9933303853774829,
        1.9936546343170314,
        1.993963167363253,
        1.9942567416985735,
        1.9945360784736494,
        1.9948018644747827,
        1.9950547536865852,
        1.9952953688555923,
        1.9955243029504695,
        1.9957421205598938,
        1.9959493592201678,
        1.9961465306821238,
        1.996334122126881,
        1.9965125973400242,
        1.9966823978389334,
        1.9968439438788363,
        1.9969976354857155,
        1.997143853419049,
        1.997282960091486,
        1.9974153004408983,
        1.9975412027585147,
        1.9976609794797224,
        1.9977749279441208,
        1.9978833311314081,
        1.997986458359044,
        1.998084565894688,
        1.9981778976103384,
        1.998266685574076,
        1.9983511506201503,
        1.9984315028877253,
        1.9985079423316274,
        1.99858065920942,
        1.9986498345491341,
        1.998715640601984,
        1.998778241280456,
        1.9988377925307461,
        1.9988944427257724,
        1.9989483330365538,
        1.9989995977808555,
        1.9990483647552142,
        1.9990947555483325,
        1.9991388858385697,
        1.999180865678269,
        1.999220799767645,
        1.9992587877209707,
        1.999294924323721,
        1.9993292997385566
      ],
      "analytic": [
        1.0,
        1.0249947929684207,
        1.04995837495788,
        1.0748596906874992,
        1.099667994624956,
        1.1243530017715961,
        1.148885033623318,
        1.1732351578346603,
        1.197375320224904,
        1.221278467898444,
        1.2449186624037092,
        1.2682711820216015,
        1.2913126124515908,
        1.3140209253469977,
        1.3363755443363323,
        1.358357398350786,
        1.379948962255225,
        1.401134284947946,
        1.4218990052500078,
        1.4422303560457261,
        1.4621171572600098,
        1.481549798364308,
        1.5005202111902354,
        1.519021833898222,
        1.5370495669980355,
        1.5545997223493822,
        1.5716699660851172,
        1.5882592563981055,
        1.6043677771171636,
        1.6199968679693741,
        1.6351489523872873,
        1.6498274636719203,
        1.664036770267849,
        1.6777821008468294,
        1.6910694698329305,
        1.7039056039366212,
        1.7162978701990246,
        1.7282542059818116,
        1.7397830512740042,
        1.7508932836251672,
        1.7615941559557646,
        1.7718952374404182,
        1.7818063576087741,
        1.7913375537619973,
        1.8004990217606296,
        1.809301070201781,
        1.8177540779702877,
        1.8258684551194573,
        1.8336546070121553,
        1.8411229016320432,
        1.848283639957513,
        1.8551470292769645,
        1.8617231593133066,
        1.8680219810175624,
        1.874053287886007,
        1.8798266996519848,
        1.8853516482022625,
        1.8906373655681183,
        1.8956928738431646,
        1.9005269768828867,
        1.9051482536448667,
        1.909565053033425,
        1.9137854901178277,
        1.91781744359907,
        1.9216685544064713,
        1.9253462253117413,
        1.9288576214547277,
        1.9322096716816437,
        1.935409070603099,
        1.938462281285704,
        1.9413755384972873,
        1.9441548524318542,
        1.946806012846268,
        1.9493345935462567,
        1.9517459571646616,
        1.9540452601799487,
        1.9562374581277389,
        1.9583273109626391,
        1.960319388531845,
        1.9622180761259218,
        1.964027580075817,
        1.9657519333685447,
        1.9673950012571182,
        1.9689604868431823,
        1.9704519366134539,
        1.9718727459135088,
        1.9732261643446702,
        1.9745153010717769,
        1.9757431300314514,
        1.9769124950321555,
        1.9780261147388136,
        1.9790865875361636,
        1.9800963962661915,
        1.9810579128361077,
        1.981973402694304,
        1.982845029172576,
        1.9836748576936802,
        1.9844648598439698,
        1.9852169173114362,
        1.9859328256900097,
        1.9866142981514305,
        1.9872629689863692,
        1.9878803970168315,
        1.98846806888215,
        1.989027402201099,
        1.9895597486128833,
        1.990066396699886,
        1.9905485747952092,
        1.9910074536781177,
        1.9914441491605903,
        1.991859724568208,
        1.9922551931186578,
        1.9926315202011282,
        1.9929896255598671,
        1.9933303853851734,
        1.9936546343150297,
        1.9939631673505833,
        1.994256741688599,
        1.994536078473978,
        1.9948018644753536,
        1.9950547536867307,
        1.995295368858044,
        1.9955243029574472,
        1.9957421205680714,
        1.9959493592219002,
        1.996146530673345,
        1.9963341221150144,
        1.9965125973380904,
        1.996682397839651,
        1.9968439438791923,
        1.996997635486526,
        1.997143853423155,
        1.9972829600991422,
        1.9974153004474253,
        1.9975412027574453,
        1.997660979469889,
        1.9977749279342796,
        1.9978833311310682,
        1.9979864583598288,
        1.9980845658950794,
        1.9981778976111988,
        1.9982666855778415,
        1.9983511506272034,
        1.9984315028944182,
        1.9985079423323266,
        1.998580659201799,
        1.9986498345387345,
        1.9987156405988282,
        1.9987782412811312,
        1.998837792531397,
        1.9988944427261528,
        1.9989483330384066,
        1.998999597785841,
        1.9990483647623232,
        1.999094755553519,
        1.9991388858373509,
        1.9991808656700278,
        1.9992207997583225,
        1.999258787718747,
        1.9992949243242577,
        1.9993292997390673
      ],
      "max_absolute_error": 6.286104969888129e-11,
      "solver_success": true,
      "nfev": 383
    },
    {
      "convention": "factorial_scaled_ode",
      "initial": "3",
      "input": {
        "schema": "reaction-network-v1",
        "dynamics": "deterministic_mass_action_ode",
        "species": [
          "A"
        ],
        "complexes": [
          [
            1
          ],
          [
            2
          ]
        ],
        "reactions": [
          {
            "source": 0,
            "target": 1,
            "rate": 1
          },
          {
            "source": 1,
            "target": 0,
            "rate": 1
          }
        ],
        "initial": [
          "3"
        ],
        "rate_convention": "factorial_scaled_ode",
        "box": {
          "lower": [
            "1/8"
          ],
          "upper": [
            12
          ]
        }
      },
      "certificate": {
        "schema": "reaction-network-audit-v1",
        "model_bridge_to_external_simulator_verified": false,
        "source_proof_verified": false,
        "source_scope_matches_effective_model": true,
        "source_numeric_epsilon": null,
        "source_entry_time": null,
        "source_scope": "Older selected formal statement: initial-state-dependent all-time bounds. Newer manuscript: eventual classwise bounds with initial-dependent entry time. Neither proof executed.",
        "normalized_coefficients": [
          {
            "index": 0,
            "coefficient": "1",
            "factorial_divisor": 1
          },
          {
            "index": 1,
            "coefficient": "1/2",
            "factorial_divisor": 2
          }
        ],
        "omitted_no_effect_reactions": [],
        "effective_edges": [
          {
            "source": 0,
            "target": 1,
            "coefficient": "1"
          },
          {
            "source": 1,
            "target": 0,
            "coefficient": "1/2"
          }
        ],
        "declared_graph": {
          "weakly_reversible": true,
          "reversible": true,
          "edges_without_return_path": [],
          "strong_components": [
            [
              0,
              1
            ]
          ],
          "linkage_classes": [
            [
              0,
              1
            ]
          ]
        },
        "effective_graph": {
          "weakly_reversible": true,
          "reversible": true,
          "edges_without_return_path": [],
          "strong_components": [
            [
              0,
              1
            ]
          ],
          "linkage_classes": [
            [
              0,
              1
            ]
          ]
        },
        "stoichiometric_rank": 1,
        "conservation_basis": [],
        "conserved_totals": [],
        "deficiency": 0,
        "polynomial_vector_field": [
          [
            {
              "exponent": [
                1
              ],
              "coefficient": "1"
            },
            {
              "exponent": [
                2
              ],
              "coefficient": "-1/2"
            }
          ]
        ],
        "initial_derivative": [
          "-3/2"
        ],
        "supplied_conservation_certificates": [],
        "conservation_upper_bounds": [
          null
        ],
        "conservation_bounds_all_coordinates": false,
        "box": {
          "status": "invariant_box_verified",
          "lower": [
            "1/8"
          ],
          "upper": [
            "12"
          ],
          "faces": [
            {
              "species": "A",
              "side": "lower",
              "derivative_lower": "15/128",
              "derivative_upper": "15/128",
              "inward_verified": true
            },
            {
              "species": "A",
              "side": "upper",
              "derivative_lower": "-60",
              "derivative_upper": "-60",
              "inward_verified": true
            }
          ],
          "initial_contained": true,
          "all_time_bounds_for_initial": true,
          "scope": "Exact polynomial face enclosures; no attraction, entry-time, equilibrium-convergence or source-polytope construction claim. Failure is inconclusive."
        },
        "limits": {
          "max_species": 8,
          "max_complexes": 64,
          "max_reactions": 128,
          "max_degree": 8,
          "input_rational_bits": 32,
          "intermediate_rational_bits": 8192,
          "max_bytes": 1048576
        }
      },
      "times": [
        0.0,
        0.05,
        0.1,
        0.15000000000000002,
        0.2,
        0.25,
        0.30000000000000004,
        0.35000000000000003,
        0.4,
        0.45,
        0.5,
        0.55,
        0.6000000000000001,
        0.65,
        0.7000000000000001,
        0.75,
        0.8,
        0.8500000000000001,
        0.9,
        0.9500000000000001,
        1.0,
        1.05,
        1.1,
        1.1500000000000001,
        1.2000000000000002,
        1.25,
        1.3,
        1.35,
        1.4000000000000001,
        1.4500000000000002,
        1.5,
        1.55,
        1.6,
        1.6500000000000001,
        1.7000000000000002,
        1.75,
        1.8,
        1.85,
        1.9000000000000001,
        1.9500000000000002,
        2.0,
        2.0500000000000003,
        2.1,
        2.15,
        2.2,
        2.25,
        2.3000000000000003,
        2.35,
        2.4000000000000004,
        2.45,
        2.5,
        2.5500000000000003,
        2.6,
        2.6500000000000004,
        2.7,
        2.75,
        2.8000000000000003,
        2.85,
        2.9000000000000004,
        2.95,
        3.0,
        3.0500000000000003,
        3.1,
        3.1500000000000004,
        3.2,
        3.25,
        3.3000000000000003,
        3.35,
        3.4000000000000004,
        3.45,
        3.5,
        3.5500000000000003,
        3.6,
        3.6500000000000004,
        3.7,
        3.75,
        3.8000000000000003,
        3.85,
        3.9000000000000004,
        3.95,
        4.0,
        4.05,
        4.1000000000000005,
        4.15,
        4.2,
        4.25,
        4.3,
        4.3500000000000005,
        4.4,
        4.45,
        4.5,
        4.55,
        4.6000000000000005,
        4.65,
        4.7,
        4.75,
        4.800000000000001,
        4.8500000000000005,
        4.9,
        4.95,
        5.0,
        5.050000000000001,
        5.1000000000000005,
        5.15,
        5.2,
        5.25,
        5.300000000000001,
        5.3500000000000005,
        5.4,
        5.45,
        5.5,
        5.550000000000001,
        5.6000000000000005,
        5.65,
        5.7,
        5.75,
        5.800000000000001,
        5.8500000000000005,
        5.9,
        5.95,
        6.0,
        6.050000000000001,
        6.1000000000000005,
        6.15,
        6.2,
        6.25,
        6.300000000000001,
        6.3500000000000005,
        6.4,
        6.45,
        6.5,
        6.550000000000001,
        6.6000000000000005,
        6.65,
        6.7,
        6.75,
        6.800000000000001,
        6.8500000000000005,
        6.9,
        6.95,
        7.0,
        7.050000000000001,
        7.1000000000000005,
        7.15,
        7.2,
        7.25,
        7.300000000000001,
        7.3500000000000005,
        7.4,
        7.45,
        7.5,
        7.550000000000001,
        7.6000000000000005,
        7.65,
        7.7,
        7.75,
        7.800000000000001,
        7.8500000000000005,
        7.9,
        7.95,
        8.0
      ],
      "values": [
        3.0,
        2.9285855975061565,
        2.8637395740183487,
        2.8046661857671835,
        2.750692060802826,
        2.701243523891724,
        2.6558287849670332,
        2.6140238165998952,
        2.5754610584147533,
        2.539820309880483,
        2.506821332121135,
        2.4762177959352227,
        2.4477922987688596,
        2.421352236348702,
        2.3967263630275712,
        2.3737619101807734,
        2.352322159775699,
        2.332284391490134,
        2.3135381378324955,
        2.2959836946359458,
        2.279530844383095,
        2.264097757699335,
        2.2496100444715106,
        2.235999931546298,
        2.223205547611001,
        2.2111702991261857,
        2.1998423243528022,
        2.18917401398791,
        2.1791215893300713,
        2.1696447297771897,
        2.1607062433757855,
        2.1522717744065534,
        2.144309543441844,
        2.1367901154742377,
        2.129686192956795,
        2.1229724303461954,
        2.1166252678529585,
        2.1106227817889174,
        2.104944549963472,
        2.099571530058121,
        2.0944859497395387,
        2.089671207127174,
        2.085111780378331,
        2.08079314569721,
        2.076701702541129,
        2.072824705529982,
        2.0691502022561936,
        2.0656669763163173,
        2.062364495320975,
        2.0592328630688512,
        2.056262775698447,
        2.053445481406231,
        2.050772743249285,
        2.0482368049696036,
        2.0458303594334066,
        2.043546519424474,
        2.041378790693298,
        2.0393210470005254,
        2.0373675068899133,
        2.0355127122723693,
        2.0337515084702154,
        2.0320790256492227,
        2.0304906615849223,
        2.0289820656217388,
        2.027549123652214,
        2.0261879441513493,
        2.024894845184213,
        2.023666342183723,
        2.022499136561828,
        2.0213901050759793,
        2.0203362898576582,
        2.019334889010183,
        2.0183832478862906,
        2.017478850876643,
        2.0166193136675385,
        2.015802375994865,
        2.0150258948518895,
        2.0142878380941758,
        2.013586278379146,
        2.012919387502022,
        2.0122854311002705,
        2.011682763593074,
        2.011109823440539,
        2.010565128685508,
        2.0100472727539387,
        2.0095549204748706,
        2.009086804289017,
        2.008641720744172,
        2.0082185271539843,
        2.007816138417784,
        2.0074335240301013,
        2.0070697052631865,
        2.0067237525059554,
        2.0063947827353457,
        2.006081957096813,
        2.005784478651544,
        2.0055015902654056,
        2.005232572554168,
        2.0049767419618463,
        2.004733448942855,
        2.0045020762464922,
        2.004282037288844,
        2.0040727745972022,
        2.0038737583160673,
        2.0036844848471542,
        2.0035044755334477,
        2.003333275393828,
        2.0031704519347033,
        2.0030155940257828,
        2.0028683108380814,
        2.0027282308348786,
        2.0025950008063624,
        2.002468284938692,
        2.0023477639504637,
        2.0022331343021387,
        2.0021241073887417,
        2.00202040880137,
        2.0019217776211296,
        2.0018279657537787,
        2.001738737299338,
        2.0016538679509397,
        2.001573144417176,
        2.0014963638623184,
        2.001423333399452,
        2.0013538696194275,
        2.001287798103877,
        2.0012249529846198,
        2.0011651765205536,
        2.001108318699313,
        2.001054236860198,
        2.0010027953348613,
        2.000953865102261,
        2.000907323454371,
        2.0008630536745446,
        2.000820944772659,
        2.0007808911908103,
        2.0007427925349446,
        2.0007065533204913,
        2.000672082731035,
        2.0006392943910307,
        2.0006081061504553,
        2.0005784398793067,
        2.0005502212698523,
        2.000523379644519,
        2.0004978477682016,
        2.0004735616970963,
        2.0004504606183855,
        2.0004284866884943,
        2.0004075848893788,
        2.0003877028890247,
        2.0003687909105556,
        2.0003508016087266,
        2.00033368995258,
        2.0003174131130383,
        2.0003019303542113,
        2.0002872029271876,
        2.0002731939655494,
        2.0002598684074058,
        2.00024719290917,
        2.000235135751361,
        2.000223666762975
      ],
      "analytic": [
        3.0,
        2.9285855975053714,
        2.8637395740312908,
        2.8046661857662056,
        2.7506920608111907,
        2.701243523890943,
        2.655828784972994,
        2.614023816599597,
        2.575461058412742,
        2.539820309880095,
        2.506821332116844,
        2.4762177959434544,
        2.4477922987684995,
        2.421352236344899,
        2.396726363030053,
        2.3737619101798626,
        2.352322159773701,
        2.3322843914914677,
        2.313538137831713,
        2.295983694632316,
        2.279530844388959,
        2.2640977576989254,
        2.249610044466556,
        2.235999931552898,
        2.2232055476104557,
        2.211170299124666,
        2.199842324348979,
        2.1891740139958307,
        2.179121589329414,
        2.1696447297748236,
        2.1607062433724704,
        2.1522717744146673,
        2.14430954344116,
        2.136790115472758,
        2.1296861929516178,
        2.122972430353006,
        2.116625267852583,
        2.1106227817884684,
        2.104944549959203,
        2.0995715300560676,
        2.094485949748088,
        2.089671207126549,
        2.085111780377759,
        2.080793145692277,
        2.0767017025392622,
        2.0728247055388223,
        2.0691502022556523,
        2.065666976315857,
        2.062364495317313,
        2.059232863063712,
        2.056262775704698,
        2.0534454814103538,
        2.0507727432484972,
        2.048236804968685,
        2.0458303594279674,
        2.0435465194209987,
        2.041378790701449,
        2.039321047003222,
        2.0373675068891113,
        2.0355127122715295,
        2.0337515084650657,
        2.0320790256441006,
        2.0304906615907434,
        2.0289820656290956,
        2.0275491236514798,
        2.0261879441508786,
        2.02489484518158,
        2.0236663421769663,
        2.022499136559644,
        2.0213901050847483,
        2.0203362898623323,
        2.0193348890093423,
        2.0183832478858323,
        2.0174788508738257,
        2.016619313660629,
        2.0158023759915022,
        2.0150258948593884,
        2.014287838101946,
        2.0135862783784746,
        2.0129193875014115,
        2.0122854310990235,
        2.011682763587679,
        2.0111098234336864,
        2.010565128686178,
        2.0100472727638405,
        2.009554920479567,
        2.009086804288206,
        2.008641720743657,
        2.008218527152497,
        2.0078161384122293,
        2.007433524023041,
        2.0070697052627167,
        2.0067237525150454,
        2.0063947827427016,
        2.006081957096167,
        2.005784478650812,
        2.005501590264762,
        2.0052325725506437,
        2.0049767419547457,
        2.0047334489375244,
        2.004502076249776,
        2.004282037299131,
        2.0040727746018656,
        2.003873758315323,
        2.0036844848465116,
        2.003504475532733,
        2.0033332753903164,
        2.0031704519277707,
        2.003015594019902,
        2.0028683108396064,
        2.0027282308442733,
        2.0025950008138875,
        2.0024682849380935,
        2.0023477639496337,
        2.002233134301726,
        2.0021241073870737,
        2.00202040879633,
        2.00192177761397,
        2.0018279657496127,
        2.0017387373029774,
        2.001653867960713,
        2.0015731444234826,
        2.0014963638617247,
        2.0014233333986446,
        2.0013538696190247,
        2.0012877981025428,
        2.0012249529803556,
        2.0011651765137537,
        2.0011083186937784,
        2.001054236860734,
        2.001002795342592,
        2.00095386511133,
        2.0009073234563086,
        2.0008630536738212,
        2.0008209447720127,
        2.000780891190388,
        2.0007427925331847,
        2.000706553315916,
        2.000672082724425,
        2.0006392943858198,
        2.0006081061507137,
        2.0005784398861843,
        2.0005502212789392,
        2.0005233796481696,
        2.0004978477676105,
        2.000473561696358,
        2.0004504606180005,
        2.000428486687661,
        2.0004075848865486,
        2.000387702883659,
        2.0003687909042602,
        2.0003508016048364,
        2.0003336899541657,
        2.000317413120232,
        2.0003019303626832,
        2.0002872029305574,
        2.0002731939650276,
        2.0002598684069097,
        2.0002471929086973,
        2.000235135750913,
        2.0002236667625484
      ],
      "max_absolute_error": 1.2942091842660375e-11,
      "solver_success": true,
      "nfev": 437
    },
    {
      "convention": "factorial_scaled_ode",
      "initial": "10",
      "input": {
        "schema": "reaction-network-v1",
        "dynamics": "deterministic_mass_action_ode",
        "species": [
          "A"
        ],
        "complexes": [
          [
            1
          ],
          [
            2
          ]
        ],
        "reactions": [
          {
            "source": 0,
            "target": 1,
            "rate": 1
          },
          {
            "source": 1,
            "target": 0,
            "rate": 1
          }
        ],
        "initial": [
          "10"
        ],
        "rate_convention": "factorial_scaled_ode",
        "box": {
          "lower": [
            "1/8"
          ],
          "upper": [
            12
          ]
        }
      },
      "certificate": {
        "schema": "reaction-network-audit-v1",
        "model_bridge_to_external_simulator_verified": false,
        "source_proof_verified": false,
        "source_scope_matches_effective_model": true,
        "source_numeric_epsilon": null,
        "source_entry_time": null,
        "source_scope": "Older selected formal statement: initial-state-dependent all-time bounds. Newer manuscript: eventual classwise bounds with initial-dependent entry time. Neither proof executed.",
        "normalized_coefficients": [
          {
            "index": 0,
            "coefficient": "1",
            "factorial_divisor": 1
          },
          {
            "index": 1,
            "coefficient": "1/2",
            "factorial_divisor": 2
          }
        ],
        "omitted_no_effect_reactions": [],
        "effective_edges": [
          {
            "source": 0,
            "target": 1,
            "coefficient": "1"
          },
          {
            "source": 1,
            "target": 0,
            "coefficient": "1/2"
          }
        ],
        "declared_graph": {
          "weakly_reversible": true,
          "reversible": true,
          "edges_without_return_path": [],
          "strong_components": [
            [
              0,
              1
            ]
          ],
          "linkage_classes": [
            [
              0,
              1
            ]
          ]
        },
        "effective_graph": {
          "weakly_reversible": true,
          "reversible": true,
          "edges_without_return_path": [],
          "strong_components": [
            [
              0,
              1
            ]
          ],
          "linkage_classes": [
            [
              0,
              1
            ]
          ]
        },
        "stoichiometric_rank": 1,
        "conservation_basis": [],
        "conserved_totals": [],
        "deficiency": 0,
        "polynomial_vector_field": [
          [
            {
              "exponent": [
                1
              ],
              "coefficient": "1"
            },
            {
              "exponent": [
                2
              ],
              "coefficient": "-1/2"
            }
          ]
        ],
        "initial_derivative": [
          "-40"
        ],
        "supplied_conservation_certificates": [],
        "conservation_upper_bounds": [
          null
        ],
        "conservation_bounds_all_coordinates": false,
        "box": {
          "status": "invariant_box_verified",
          "lower": [
            "1/8"
          ],
          "upper": [
            "12"
          ],
          "faces": [
            {
              "species": "A",
              "side": "lower",
              "derivative_lower": "15/128",
              "derivative_upper": "15/128",
              "inward_verified": true
            },
            {
              "species": "A",
              "side": "upper",
              "derivative_lower": "-60",
              "derivative_upper": "-60",
              "inward_verified": true
            }
          ],
          "initial_contained": true,
          "all_time_bounds_for_initial": true,
          "scope": "Exact polynomial face enclosures; no attraction, entry-time, equilibrium-convergence or source-polytope construction claim. Failure is inconclusive."
        },
        "limits": {
          "max_species": 8,
          "max_complexes": 64,
          "max_reactions": 128,
          "max_degree": 8,
          "input_rational_bits": 32,
          "intermediate_rational_bits": 8192,
          "max_bytes": 1048576
        }
      },
      "times": [
        0.0,
        0.05,
        0.1,
        0.15000000000000002,
        0.2,
        0.25,
        0.30000000000000004,
        0.35000000000000003,
        0.4,
        0.45,
        0.5,
        0.55,
        0.6000000000000001,
        0.65,
        0.7000000000000001,
        0.75,
        0.8,
        0.8500000000000001,
        0.9,
        0.9500000000000001,
        1.0,
        1.05,
        1.1,
        1.1500000000000001,
        1.2000000000000002,
        1.25,
        1.3,
        1.35,
        1.4000000000000001,
        1.4500000000000002,
        1.5,
        1.55,
        1.6,
        1.6500000000000001,
        1.7000000000000002,
        1.75,
        1.8,
        1.85,
        1.9000000000000001,
        1.9500000000000002,
        2.0,
        2.0500000000000003,
        2.1,
        2.15,
        2.2,
        2.25,
        2.3000000000000003,
        2.35,
        2.4000000000000004,
        2.45,
        2.5,
        2.5500000000000003,
        2.6,
        2.6500000000000004,
        2.7,
        2.75,
        2.8000000000000003,
        2.85,
        2.9000000000000004,
        2.95,
        3.0,
        3.0500000000000003,
        3.1,
        3.1500000000000004,
        3.2,
        3.25,
        3.3000000000000003,
        3.35,
        3.4000000000000004,
        3.45,
        3.5,
        3.5500000000000003,
        3.6,
        3.6500000000000004,
        3.7,
        3.75,
        3.8000000000000003,
        3.85,
        3.9000000000000004,
        3.95,
        4.0,
        4.05,
        4.1000000000000005,
        4.15,
        4.2,
        4.25,
        4.3,
        4.3500000000000005,
        4.4,
        4.45,
        4.5,
        4.55,
        4.6000000000000005,
        4.65,
        4.7,
        4.75,
        4.800000000000001,
        4.8500000000000005,
        4.9,
        4.95,
        5.0,
        5.050000000000001,
        5.1000000000000005,
        5.15,
        5.2,
        5.25,
        5.300000000000001,
        5.3500000000000005,
        5.4,
        5.45,
        5.5,
        5.550000000000001,
        5.6000000000000005,
        5.65,
        5.7,
        5.75,
        5.800000000000001,
        5.8500000000000005,
        5.9,
        5.95,
        6.0,
        6.050000000000001,
        6.1000000000000005,
        6.15,
        6.2,
        6.25,
        6.300000000000001,
        6.3500000000000005,
        6.4,
        6.45,
        6.5,
        6.550000000000001,
        6.6000000000000005,
        6.65,
        6.7,
        6.75,
        6.800000000000001,
        6.8500000000000005,
        6.9,
        6.95,
        7.0,
        7.050000000000001,
        7.1000000000000005,
        7.15,
        7.2,
        7.25,
        7.300000000000001,
        7.3500000000000005,
        7.4,
        7.45,
        7.5,
        7.550000000000001,
        7.6000000000000005,
        7.65,
        7.7,
        7.75,
        7.800000000000001,
        7.8500000000000005,
        7.9,
        7.95,
        8.0
      ],
      "values": [
        10.0,
        8.367624542060959,
        7.242963550029804,
        6.421914266402508,
        5.796842733042107,
        5.305611533681748,
        4.9098379037593824,
        4.584532178499726,
        4.3127246041671965,
        4.082486820100398,
        3.8851889957762324,
        3.7144332451854805,
        3.5653757658988323,
        3.4342818822720576,
        3.3182256897623104,
        3.2148822929526846,
        3.1223809629110213,
        3.039199344971554,
        2.9640859246677858,
        2.8960023213489334,
        2.8340797354507745,
        2.777585658691508,
        2.725898132272528,
        2.678485629155941,
        2.6348911772968115,
        2.5947197161520945,
        2.557627943480155,
        2.5233160984445,
        2.4915212632938224,
        2.462011866195547,
        2.4345831409037353,
        2.409053354694901,
        2.3852606569128234,
        2.3630604320328676,
        2.3423230656843743,
        2.3229320501827075,
        2.304782370791445,
        2.2877791254658697,
        2.2718363395221717,
        2.2568759436605514,
        2.2428268899120676,
        2.2296243840998287,
        2.2172092171376203,
        2.2055271808938515,
        2.194528556098585,
        2.1841676623396022,
        2.174402461244341,
        2.1651942059683322,
        2.1565071304991745,
        2.148308173777631,
        2.1405667339289263,
        2.133254449117664,
        2.1263450014111407,
        2.1198139411226706,
        2.1136385288635267,
        2.1077975936180025,
        2.1022714046161135,
        2.0970415557014106,
        2.0920908606432613,
        2.087403258184241,
        2.0829637259507314,
        2.0787582020126303,
        2.0747735135380485,
        2.0709973116321985,
        2.0674180117638565,
        2.0640247393762565,
        2.060807279912486,
        2.057756033044947,
        2.054861970621142,
        2.0521165978574083,
        2.0495119177694523,
        2.047040398243885,
        2.044694941660324,
        2.0424688568590272,
        2.040355833160586,
        2.0383499162371326,
        2.036445485891826,
        2.0346372352981508,
        2.0329201517524074,
        2.031289498806268,
        2.0297407996167194,
        2.0282698213589785,
        2.02687256082575,
        2.0255452309077544,
        2.0242842479636867,
        2.023086220045852,
        2.0219479359006365,
        2.0208663546319885,
        2.0198385959946283,
        2.018861931416985,
        2.017933775465889,
        2.0170516778727987,
        2.0162133160614384,
        2.0154164881369785,
        2.0146591062681924,
        2.0139391904274273,
        2.013254862612103,
        2.0126043413160657,
        2.011985936337036,
        2.011398043894883,
        2.0108391420434653,
        2.010307786336757,
        2.0098026057075717,
        2.00932229858973,
        2.008865629326119,
        2.0084314246874473,
        2.0080185706168923,
        2.007626009157307,
        2.0072527355558383,
        2.0068977955203158,
        2.006560282601773,
        2.006239335711082,
        2.0059341368502905,
        2.005643908877446,
        2.0053679134205193,
        2.0051054489008893,
        2.00485584867044,
        2.0046184792473336,
        2.0043927386345506,
        2.0041780547054624,
        2.0039738837017618,
        2.0037797088363547,
        2.003595038911146,
        2.003419407032448,
        2.003252369391275,
        2.003093504112723,
        2.0029424101645104,
        2.0027987063148136,
        2.002662030129478,
        2.002532037023358,
        2.0024083994148683,
        2.002290805852299,
        2.0021789602148026,
        2.0020725809483086,
        2.001971400345401,
        2.0018751638637364,
        2.001783629476878,
        2.00169656705142,
        2.001613757744273,
        2.0015349934456848,
        2.0014600762790913,
        2.0013888180714425,
        2.0013210398784462,
        2.001256571527122,
        2.0011952511852527,
        2.0011369249540114,
        2.0010814464800246,
        2.001028676583106,
        2.0009784828959214,
        2.0009307395167784,
        2.0008853267211895,
        2.00084213064658,
        2.000801043001787,
        2.0007619607926537,
        2.0007247860615487,
        2.0006894256420007,
        2.000655790926199,
        2.0006237976431005,
        2.0005933656448955,
        2.0005644186995775,
        2.000536884288883
      ],
      "analytic": [
        10.000000000000002,
        8.36762454208271,
        7.242963550030617,
        6.42191426642146,
        5.796842733031806,
        5.305611533685649,
        4.9098379037583095,
        4.584532178492915,
        4.312724604159251,
        4.082486820092838,
        3.8851889957702213,
        3.7144332451838284,
        3.5653757658979632,
        3.4342818822815757,
        3.318225689757251,
        3.214882292951827,
        3.1223809629177226,
        3.0391993449657053,
        2.964085924667013,
        2.8960023213476953,
        2.834079735450176,
        2.777585658693227,
        2.7258981322719475,
        2.6784856291551176,
        2.6348911772960872,
        2.5947197161470794,
        2.5576279434805103,
        2.5233160984415743,
        2.4915212633007333,
        2.46201186619496,
        2.434583140898719,
        2.4090533547005712,
        2.385260656912169,
        2.363060432029226,
        2.342323065687896,
        2.3229320501820494,
        2.3047823707870494,
        2.2877791254726283,
        2.2718363395216463,
        2.2568759436556336,
        2.2428268899182187,
        2.2296243840992247,
        2.2172092171360576,
        2.2055271808900234,
        2.1945285561063312,
        2.1841676623388957,
        2.174402461241688,
        2.1651942059655145,
        2.156507130506887,
        2.148308173776897,
        2.1405667339270096,
        2.133254449112885,
        2.1263450014188314,
        2.119813941122152,
        2.1136385288629818,
        2.1077975936130624,
        2.102271404615919,
        2.0970415557090436,
        2.0920908606425046,
        2.0874032581832904,
        2.0829637259451284,
        2.0787582020132893,
        2.074773513546022,
        2.0709973116314644,
        2.067418011763233,
        2.064024739371361,
        2.06080727990927,
        2.0577560330534377,
        2.0548619706214044,
        2.052116597856767,
        2.0495119177675503,
        2.0470403982376375,
        2.044694941660246,
        2.0424688568683704,
        2.0403558331600347,
        2.038349916236535,
        2.036445485889889,
        2.0346372352917736,
        2.0329201517505,
        2.0312894988153314,
        2.0297407996188395,
        2.028269821358144,
        2.0268725608250318,
        2.0255452309030937,
        2.0242842479573824,
        2.023086220048678,
        2.0219479359103985,
        2.0208663546315413,
        2.0198385959938827,
        2.018861931416019,
        2.017933775460797,
        2.0170516778662444,
        2.0162133160633697,
        2.0154164881471335,
        2.0146591062695816,
        2.013939190426552,
        2.0132548626116025,
        2.012604341312806,
        2.0119859363299297,
        2.011398043891181,
        2.010839142050257,
        2.010307786345837,
        2.009802605706967,
        2.0093222985889487,
        2.0088656293254608,
        2.008431424683617,
        2.008018570609614,
        2.0076260091534452,
        2.007252735561957,
        2.0068977955302376,
        2.0065602826019955,
        2.0062393357102026,
        2.005934136849849,
        2.005643908875175,
        2.005367913414244,
        2.0051054488941737,
        2.00485584867075,
        2.004618479256559,
        2.00439273864212,
        2.004178054704844,
        2.003973883700965,
        2.003779708835872,
        2.0035950389085517,
        2.003419407026104,
        2.0032523693845286,
        2.0030935041122113,
        2.0029424101727313,
        2.002798706323823,
        2.0026620301294966,
        2.002532037022495,
        2.002408399414422,
        2.002290805851037,
        2.002178960210337,
        2.002072580941188,
        2.0019714003403926,
        2.001875163866191,
        2.0017836294863076,
        2.0016965670587554,
        2.00161375774371,
        2.001534993444852,
        2.001460076278669,
        2.0013888180702786,
        2.001321039874429,
        2.001256571520379,
        2.0011952511794573,
        2.0011369249541358,
        2.0010814464875386,
        2.0010286765923446,
        2.000978482898106,
        2.000930739516058,
        2.000885326720534,
        2.000842130646155,
        2.000801042999999,
        2.0007619607880036,
        2.000724786054881,
        2.0006894256368812,
        2.000655790926753,
        2.000623797650294,
        2.000593365653921,
        2.0005644187027025,
        2.0005368842883353
      ],
      "max_absolute_error": 2.1751489498456067e-11,
      "solver_success": true,
      "nfev": 707
    }
  ],
  "dimer": {
    "input": {
      "schema": "reaction-network-v1",
      "dynamics": "deterministic_mass_action_ode",
      "species": [
        "A",
        "B"
      ],
      "complexes": [
        [
          2,
          0
        ],
        [
          0,
          1
        ]
      ],
      "reactions": [
        {
          "source": 0,
          "target": 1,
          "rate": 1
        },
        {
          "source": 1,
          "target": 0,
          "rate": 1
        }
      ],
      "initial": [
        2,
        8
      ],
      "rate_convention": "monomial_coefficient",
      "box": {
        "lower": [
          1,
          1
        ],
        "upper": [
          4,
          16
        ]
      },
      "conservation_vectors": [
        [
          1,
          2
        ],
        [
          1,
          1
        ],
        [
          0,
          0
        ]
      ]
    },
    "certificate": {
      "schema": "reaction-network-audit-v1",
      "model_bridge_to_external_simulator_verified": false,
      "source_proof_verified": false,
      "source_scope_matches_effective_model": true,
      "source_numeric_epsilon": null,
      "source_entry_time": null,
      "source_scope": "Older selected formal statement: initial-state-dependent all-time bounds. Newer manuscript: eventual classwise bounds with initial-dependent entry time. Neither proof executed.",
      "normalized_coefficients": [
        {
          "index": 0,
          "coefficient": "1",
          "factorial_divisor": 1
        },
        {
          "index": 1,
          "coefficient": "1",
          "factorial_divisor": 1
        }
      ],
      "omitted_no_effect_reactions": [],
      "effective_edges": [
        {
          "source": 0,
          "target": 1,
          "coefficient": "1"
        },
        {
          "source": 1,
          "target": 0,
          "coefficient": "1"
        }
      ],
      "declared_graph": {
        "weakly_reversible": true,
        "reversible": true,
        "edges_without_return_path": [],
        "strong_components": [
          [
            0,
            1
          ]
        ],
        "linkage_classes": [
          [
            0,
            1
          ]
        ]
      },
      "effective_graph": {
        "weakly_reversible": true,
        "reversible": true,
        "edges_without_return_path": [],
        "strong_components": [
          [
            0,
            1
          ]
        ],
        "linkage_classes": [
          [
            0,
            1
          ]
        ]
      },
      "stoichiometric_rank": 1,
      "conservation_basis": [
        [
          "1/2",
          "1"
        ]
      ],
      "conserved_totals": [
        "9"
      ],
      "deficiency": 0,
      "polynomial_vector_field": [
        [
          {
            "exponent": [
              0,
              1
            ],
            "coefficient": "2"
          },
          {
            "exponent": [
              2,
              0
            ],
            "coefficient": "-2"
          }
        ],
        [
          {
            "exponent": [
              0,
              1
            ],
            "coefficient": "-1"
          },
          {
            "exponent": [
              2,
              0
            ],
            "coefficient": "1"
          }
        ]
      ],
      "initial_derivative": [
        "8",
        "-4"
      ],
      "supplied_conservation_certificates": [
        {
          "weights": [
            "1",
            "2"
          ],
          "accepted": true,
          "residuals": [
            "0",
            "0"
          ],
          "conserved_total": "18",
          "coordinate_upper_bounds": [
            "18",
            "9"
          ]
        },
        {
          "weights": [
            "1",
            "1"
          ],
          "accepted": false,
          "residuals": [
            "-1",
            "1"
          ],
          "conserved_total": null,
          "coordinate_upper_bounds": [
            null,
            null
          ]
        },
        {
          "weights": [
            "0",
            "0"
          ],
          "accepted": false,
          "residuals": [
            "0",
            "0"
          ],
          "conserved_total": null,
          "coordinate_upper_bounds": [
            null,
            null
          ]
        }
      ],
      "conservation_upper_bounds": [
        "18",
        "9"
      ],
      "conservation_bounds_all_coordinates": true,
      "box": {
        "status": "invariant_box_verified",
        "lower": [
          "1",
          "1"
        ],
        "upper": [
          "4",
          "16"
        ],
        "faces": [
          {
            "species": "A",
            "side": "lower",
            "derivative_lower": "0",
            "derivative_upper": "30",
            "inward_verified": true
          },
          {
            "species": "A",
            "side": "upper",
            "derivative_lower": "-30",
            "derivative_upper": "0",
            "inward_verified": true
          },
          {
            "species": "B",
            "side": "lower",
            "derivative_lower": "0",
            "derivative_upper": "15",
            "inward_verified": true
          },
          {
            "species": "B",
            "side": "upper",
            "derivative_lower": "-15",
            "derivative_upper": "0",
            "inward_verified": true
          }
        ],
        "initial_contained": true,
        "all_time_bounds_for_initial": true,
        "scope": "Exact polynomial face enclosures; no attraction, entry-time, equilibrium-convergence or source-polytope construction claim. Failure is inconclusive."
      },
      "limits": {
        "max_species": 8,
        "max_complexes": 64,
        "max_reactions": 128,
        "max_degree": 8,
        "input_rational_bits": 32,
        "intermediate_rational_bits": 8192,
        "max_bytes": 1048576
      }
    },
    "times": [
      0.0,
      0.01,
      0.02,
      0.03,
      0.04,
      0.05,
      0.06,
      0.07,
      0.08,
      0.09,
      0.1,
      0.11,
      0.12,
      0.13,
      0.14,
      0.15,
      0.16,
      0.17,
      0.18,
      0.19,
      0.2,
      0.21,
      0.22,
      0.23,
      0.24,
      0.25,
      0.26,
      0.27,
      0.28,
      0.29,
      0.3,
      0.31,
      0.32,
      0.33,
      0.34,
      0.35000000000000003,
      0.36,
      0.37,
      0.38,
      0.39,
      0.4,
      0.41000000000000003,
      0.42,
      0.43,
      0.44,
      0.45,
      0.46,
      0.47000000000000003,
      0.48,
      0.49,
      0.5,
      0.51,
      0.52,
      0.53,
      0.54,
      0.55,
      0.56,
      0.5700000000000001,
      0.58,
      0.59,
      0.6,
      0.61,
      0.62,
      0.63,
      0.64,
      0.65,
      0.66,
      0.67,
      0.68,
      0.6900000000000001,
      0.7000000000000001,
      0.71,
      0.72,
      0.73,
      0.74,
      0.75,
      0.76,
      0.77,
      0.78,
      0.79,
      0.8,
      0.81,
      0.8200000000000001,
      0.8300000000000001,
      0.84,
      0.85,
      0.86,
      0.87,
      0.88,
      0.89,
      0.9,
      0.91,
      0.92,
      0.93,
      0.9400000000000001,
      0.9500000000000001,
      0.96,
      0.97,
      0.98,
      0.99,
      1.0,
      1.01,
      1.02,
      1.03,
      1.04,
      1.05,
      1.06,
      1.07,
      1.08,
      1.09,
      1.1,
      1.11,
      1.12,
      1.1300000000000001,
      1.1400000000000001,
      1.1500000000000001,
      1.16,
      1.17,
      1.18,
      1.19,
      1.2,
      1.21,
      1.22,
      1.23,
      1.24,
      1.25,
      1.26,
      1.27,
      1.28,
      1.29,
      1.3,
      1.31,
      1.32,
      1.33,
      1.34,
      1.35,
      1.36,
      1.37,
      1.3800000000000001,
      1.3900000000000001,
      1.4000000000000001,
      1.41,
      1.42,
      1.43,
      1.44,
      1.45,
      1.46,
      1.47,
      1.48,
      1.49,
      1.5,
      1.51,
      1.52,
      1.53,
      1.54,
      1.55,
      1.56,
      1.57,
      1.58,
      1.59,
      1.6,
      1.61,
      1.62,
      1.6300000000000001,
      1.6400000000000001,
      1.6500000000000001,
      1.6600000000000001,
      1.67,
      1.68,
      1.69,
      1.7,
      1.71,
      1.72,
      1.73,
      1.74,
      1.75,
      1.76,
      1.77,
      1.78,
      1.79,
      1.8,
      1.81,
      1.82,
      1.83,
      1.84,
      1.85,
      1.86,
      1.87,
      1.8800000000000001,
      1.8900000000000001,
      1.9000000000000001,
      1.9100000000000001,
      1.92,
      1.93,
      1.94,
      1.95,
      1.96,
      1.97,
      1.98,
      1.99,
      2.0
    ],
    "values": [
      [
        2.0,
        2.076466626935319,
        2.146141587941341,
        2.2094512392987102,
        2.2668314376743814,
        2.318718144757402,
        2.365539886842612,
        2.4077119110644665,
        2.4456318449736223,
        2.47967665127058,
        2.510200670538877,
        2.537534555122299,
        2.5619849156160597,
        2.5838345218433845,
        2.60334292142059,
        2.6207473627595532,
        2.636263926949669,
        2.6500887926603247,
        2.66239957347041,
        2.6733566817446026,
        2.6831046823856046,
        2.6917736108765205,
        2.6994802383127325,
        2.7063292692763925,
        2.712414466215537,
        2.717819696432897,
        2.7226198997952884,
        2.726881978885278,
        2.7306656130928157,
        2.7340240014143884,
        2.7370045362531665,
        2.7396494139061107,
        2.741996186025341,
        2.744078256309587,
        2.74592532740665,
        2.747563801753896,
        2.7490171415670974,
        2.7503061904343364,
        2.751449461365823,
        2.7524633937519343,
        2.7533625832022057,
        2.754159985989072,
        2.754867101594925,
        2.75549413508179,
        2.7560501419675694,
        2.756543156719988,
        2.756980307345809,
        2.757367917008466,
        2.7577115947560573,
        2.7580163156340274,
        2.7582864922613695,
        2.7585260380297685,
        2.7587384236736936,
        2.7589267270327937,
        2.7590936775433907,
        2.759241695550025,
        2.759372927198478,
        2.759489275629318,
        2.7595924282679305,
        2.7596838813807416,
        2.7597649616163507,
        2.7598368452225364,
        2.7599005752004357,
        2.7599570762338064,
        2.7600071682142935,
        2.7600515780544645,
        2.7600909501818642,
        2.7601258560500797,
        2.7601568022381233,
        2.760184237893791,
        2.76020856124776,
        2.760230125316649,
        2.760249243083148,
        2.76026619208446,
        2.7602812183235206,
        2.760294539921951,
        2.7603063502726357,
        2.760316820795458,
        2.760326103461691,
        2.760334333060879,
        2.7603416290421907,
        2.7603480973163395,
        2.7603538317955647,
        2.7603589157278825,
        2.7603634228889407,
        2.760367418718151,
        2.7603709612396043,
        2.7603741018686776,
        2.760376886197995,
        2.7603793546584336,
        2.7603815430874117,
        2.7603834832370318,
        2.7603852032672194,
        2.760386728172875,
        2.760388080081151,
        2.760389278614756,
        2.7603903411768926,
        2.7603912832001405,
        2.7603921183586695,
        2.7603928587634026,
        2.760393515159746,
        2.7603940970969796,
        2.760394613014966,
        2.760395070400983,
        2.760395475895627,
        2.760395835390093,
        2.760396154106193,
        2.7603964366668414,
        2.760396687164791,
        2.7603969092374254,
        2.7603971061224173,
        2.760397280671586,
        2.7603974354174476,
        2.7603975726060335,
        2.7603976942310338,
        2.7603978020608317,
        2.760397897661172,
        2.7603979824162312,
        2.7603980575508804,
        2.7603981241568927,
        2.7603981832111235,
        2.7603982355662353,
        2.7603982819814994,
        2.760398323129994,
        2.760398359609548,
        2.7603983919511976,
        2.7603984206257826,
        2.760398446049534,
        2.760398468589533,
        2.760398488569884,
        2.760398506279486,
        2.760398521981179,
        2.7603985359031635,
        2.760398548245907,
        2.7603985591881415,
        2.7603985688883976,
        2.7603985774877096,
        2.7603985851115826,
        2.7603985918714296,
        2.760398597865717,
        2.760398603181034,
        2.7603986078933205,
        2.760398612069467,
        2.760398615769527,
        2.7603986190497403,
        2.7603986219594456,
        2.760398624539145,
        2.7603986268262135,
        2.7603986288536366,
        2.760398630650742,
        2.760398632243714,
        2.760398633655942,
        2.7603986349082517,
        2.760398636019064,
        2.7603986370045295,
        2.760398637878685,
        2.760398638653678,
        2.76039863934011,
        2.7603986399475424,
        2.7603986404852128,
        2.760398640962694,
        2.76039864138644,
        2.7603986417621598,
        2.7603986420952755,
        2.760398642390547,
        2.7603986426522042,
        2.7603986428840424,
        2.760398643089481,
        2.760398643271601,
        2.7603986434331573,
        2.7603986435765906,
        2.760398643704026,
        2.7603986438172794,
        2.7603986439178763,
        2.7603986440070822,
        2.7603986440859676,
        2.7603986441554964,
        2.7603986442166604,
        2.7603986442706563,
        2.7603986443189727,
        2.760398644361974,
        2.7603986444001056,
        2.760398644433919,
        2.760398644463891,
        2.760398644490445,
        2.760398644513959,
        2.760398644534779,
        2.760398644553218,
        2.7603986445695625,
        2.7603986445840705,
        2.76039864459697,
        2.7603986446084585,
        2.7603986446187023,
        2.760398644627836,
        2.7603986446359636,
        2.760398644643166,
        2.7603986446495075,
        2.760398644655048,
        2.760398644659863,
        2.760398644664066,
        2.7603986446678377
      ],
      [
        8.0,
        7.96176668653234,
        7.926929206029329,
        7.895274380350645,
        7.866584281162809,
        7.8406409276212985,
        7.817230056578694,
        7.796144044467766,
        7.777184077513189,
        7.760161674364709,
        7.744899664730561,
        7.7312327224388495,
        7.719007542191969,
        7.708082739078307,
        7.698328539289704,
        7.689626318620222,
        7.681868036525165,
        7.6749556036698365,
        7.668800213264794,
        7.663321659127698,
        7.658447658807197,
        7.654113194561739,
        7.650259880843633,
        7.646835365361803,
        7.643792766892231,
        7.64109015178355,
        7.638690050102356,
        7.63655901055736,
        7.634667193453591,
        7.632987999292806,
        7.6314977318734165,
        7.630175293046944,
        7.629001906987329,
        7.6279608718452065,
        7.627037336296675,
        7.626218099123052,
        7.625491429216451,
        7.624846904782832,
        7.624275269317088,
        7.623768303124033,
        7.623318708398896,
        7.622920007005463,
        7.6225664492025365,
        7.622252932459104,
        7.621974929016214,
        7.621728421640005,
        7.621509846327094,
        7.621316041495765,
        7.62114420262197,
        7.620991842182985,
        7.6208567538693135,
        7.620736980985114,
        7.620630788163152,
        7.620536636483601,
        7.620453161228303,
        7.620379152224986,
        7.62031353640076,
        7.62025536218534,
        7.620203785866034,
        7.620158059309628,
        7.620117519191823,
        7.6200815773887305,
        7.620049712399781,
        7.620021461883096,
        7.619996415892852,
        7.619974210972766,
        7.619954524909066,
        7.619937071974959,
        7.619921598880937,
        7.619907881053103,
        7.619895719376118,
        7.619884937341674,
        7.619875378458425,
        7.619866903957768,
        7.619859390838238,
        7.619852730039023,
        7.61984682486368,
        7.619841589602269,
        7.619836948269152,
        7.619832833469559,
        7.619829185478903,
        7.619825951341828,
        7.619823084102215,
        7.619820542136057,
        7.6198182885555275,
        7.619816290640923,
        7.619814519380196,
        7.619812949065659,
        7.619811556901,
        7.619810322670781,
        7.619809228456292,
        7.619808258381482,
        7.6198073983663885,
        7.6198066359135606,
        7.619805959959423,
        7.61980536069262,
        7.619804829411551,
        7.619804358399928,
        7.619803940820663,
        7.619803570618297,
        7.619803242420125,
        7.619802951451509,
        7.619802693492515,
        7.619802464799506,
        7.619802262052184,
        7.619802082304952,
        7.619801922946902,
        7.6198017816665775,
        7.619801656417603,
        7.619801545381286,
        7.61980144693879,
        7.619801359664206,
        7.619801282291275,
        7.619801213696982,
        7.619801152884481,
        7.619801098969583,
        7.6198010511694125,
        7.619801008791883,
        7.619800971224558,
        7.619800937921552,
        7.619800908394436,
        7.619800882216881,
        7.619800859009248,
        7.619800838435001,
        7.619800820195224,
        7.6198008040244,
        7.619800789687107,
        7.619800776975231,
        7.619800765705232,
        7.619800755715056,
        7.619800746860256,
        7.619800739009409,
        7.619800732048417,
        7.619800725877045,
        7.6198007204059275,
        7.6198007155558,
        7.619800711256143,
        7.619800707444207,
        7.619800704064284,
        7.61980070106714,
        7.619800698409482,
        7.619800696053338,
        7.619800693965265,
        7.619800692115235,
        7.619800690475128,
        7.619800689020276,
        7.619800687730426,
        7.619800686586892,
        7.61980068557318,
        7.619800684674628,
        7.619800683878141,
        7.619800683172028,
        7.619800682545873,
        7.6198006819904665,
        7.619800681497734,
        7.6198006810606564,
        7.61980068067316,
        7.619800680329944,
        7.619800680026228,
        7.619800679757392,
        7.619800679518652,
        7.619800679306779,
        7.619800679118919,
        7.619800678952361,
        7.619800678804726,
        7.619800678673897,
        7.6198006785579775,
        7.619800678455258,
        7.619800678364198,
        7.61980067828342,
        7.619800678211703,
        7.619800678147986,
        7.61980067809136,
        7.619800678041061,
        7.619800677996458,
        7.6198006779570155,
        7.6198006779222505,
        7.619800677891669,
        7.619800677864671,
        7.619800677840513,
        7.619800677819012,
        7.6198006777999465,
        7.61980067778304,
        7.619800677768054,
        7.619800677754776,
        7.61980067774302,
        7.619800677732609,
        7.61980067772339,
        7.619800677715218,
        7.619800677707964,
        7.619800677701514,
        7.619800677695769,
        7.619800677690648,
        7.619800677686081,
        7.619800677682018,
        7.619800677678416,
        7.619800677675245,
        7.619800677672475,
        7.619800677670067,
        7.619800677667966,
        7.61980067766608
      ]
    ],
    "max_conserved_mass_drift": 3.552713678800501e-15,
    "nfev": 491
  },
  "coarse_euler": {
    "input": {
      "schema": "reaction-network-v1",
      "dynamics": "deterministic_mass_action_ode",
      "species": [
        "A"
      ],
      "complexes": [
        [
          1
        ],
        [
          2
        ]
      ],
      "reactions": [
        {
          "source": 0,
          "target": 1,
          "rate": 1
        },
        {
          "source": 1,
          "target": 0,
          "rate": 1
        }
      ],
      "initial": [
        3
      ],
      "rate_convention": "monomial_coefficient",
      "box": {
        "lower": [
          "1/8"
        ],
        "upper": [
          12
        ]
      }
    },
    "step_size": "1",
    "x0": "3",
    "derivative": "-6",
    "x1": "-3",
    "meaning": "A deliberately coarse explicit step violates an independently invariant positive interval. This is a numerical-method failure, not a source-theorem counterexample."
  },
  "scope": "Floating sampled trajectories; no validated numerical enclosure, SBML/Catalyst execution, or source proof check."
}