{
  "checks": [
    {
      "c": "encodings agree (raw expanded == factored published)",
      "ok": true
    },
    {
      "c": "det J == -2 identically (fresh Bareiss)",
      "ok": true
    },
    {
      "c": "fold: F(C(s)) = (-1/(4s^2), 0, 0) identically in s",
      "ok": true
    },
    {
      "c": "fold completeness: Res_z(F2,F3) factors exactly {x, 2xy+3}",
      "ok": true
    },
    {
      "c": "torus equivariance identity in T",
      "ok": true
    },
    {
      "c": "descent: F2F3, F1F3^2 in C[a,b]",
      "ok": true
    },
    {
      "c": "descended Jacobian == 2*(3a+b-2)^2 (perfect square)",
      "ok": true
    },
    {
      "c": "collision curve descends to (-3/2,13/2) ON the fold line; axis to (0,0) OFF it",
      "ok": true
    },
    {
      "c": "GROEBNER cross-check: quotient dim = 3 AND squarefree eliminant deg = 3 at 3 targets (independent algorithm agrees with Degree Theorem)",
      "ok": true
    }
  ],
  "ALL": true,
  "elapsed": 0.44
}