{
  "sympy": "1.14.0",
  "checks": [
    "3.1 field sums to zero",
    "3.1 positive branch steady",
    "3.1 witness for 3",
    "3.1 zero (2,1,1)",
    "3.1 zero (3,0,1)",
    "3.1 c(a-2) at (3,0,1)",
    "3.1 quotient generator",
    "3.2 bimolecular",
    "3.2 field",
    "3.2 identity 1",
    "3.2 identity 2",
    "3.2 comaximal",
    "3.2 zero (1,-1,1,1)",
    "3.2 positive curve",
    "3.2 stoichiometric rank 4",
    "3.2 raw rank 3 on curve",
    "4 torsion identity",
    "4 u^2-v^2 in I",
    "4 mixed reduced basis",
    "4 lex basis",
    "4 mixed leading coefficients",
    "4 block candidates",
    "4 normal form kills I",
    "4.2 v in specialised ideal",
    "4.2 leaders u^2,u,u",
    "6 necessity minor",
    "6 order minor",
    "6 Example 3.11 Jacobian zero",
    "9 printed field = literal field",
    "6.7 EnvZ minor",
    "9 conservation laws",
    "9.1 certificate 1",
    "9.1 certificate 2",
    "9.2 parametrisation steady",
    "9.2 totals",
    "9.2 quadratic",
    "9 gains coincide at equilibrium",
    "9 alpha interval",
    "9 y_-",
    "9 t_-",
    "9 gains",
    "8 total",
    "8.1 equilibrium",
    "8.2 characteristic polynomial",
    "8.2 imaginary part",
    "8.2 real part",
    "8.2 real part substitution",
    "8.3 nominal",
    "8.3 pools",
    "8.3 fluxes",
    "8.3 critical load",
    "8.3 floor load",
    "8.3 conditional bound",
    "8.3 box",
    "8.3 setpoint interval",
    "8.4 J",
    "8.4 u' = Ju + R(u)",
    "8.4 Lyapunov",
    "8.4 minors",
    "8.4 trace",
    "8.4 cubic form",
    "8.4 Frobenius",
    "8.4 P^-1 diagonal",
    "8.4 (a) coordinate bounds",
    "8.4 (c) gain",
    "8.4 (c) average",
    "8.4 (d) ball",
    "7 checker accepts",
    "7 checker rejects wrong identity and unsupported floor",
    "10 intermediate equations",
    "10 old field",
    "10 leak yield",
    "10 storage",
    "10 product-loss step"
  ],
  "status": "PASS",
  "count": 74
}