{
  "checks": [
    {
      "name": "analytic-logistic-monomial_coefficient-1/4",
      "passed": true
    },
    {
      "name": "analytic-logistic-monomial_coefficient-1",
      "passed": true
    },
    {
      "name": "analytic-logistic-monomial_coefficient-3",
      "passed": true
    },
    {
      "name": "analytic-logistic-monomial_coefficient-10",
      "passed": true
    },
    {
      "name": "analytic-logistic-factorial_scaled_ode-1/4",
      "passed": true
    },
    {
      "name": "analytic-logistic-factorial_scaled_ode-1",
      "passed": true
    },
    {
      "name": "analytic-logistic-factorial_scaled_ode-3",
      "passed": true
    },
    {
      "name": "analytic-logistic-factorial_scaled_ode-10",
      "passed": true
    },
    {
      "name": "dimer-positive-invariant-box-sampled",
      "passed": true
    },
    {
      "name": "dimer-conservation-sampled",
      "passed": true
    },
    {
      "name": "coarse-euler-can-violate-verified-positive-box",
      "passed": true
    }
  ],
  "passed": 11,
  "failed": 0,
  "scope": "Floating sampled trajectories; no validated numerical enclosure, SBML/Catalyst execution, or source proof check."
}