{
  "A1a det J == -2 identically": {
    "pass": true,
    "note": ""
  },
  "A1b independent raw encoding matches": {
    "pass": true,
    "note": ""
  },
  "A1c 3-point collision -> (-1/4,0,0)": {
    "pass": true,
    "note": ""
  },
  "A2a F3 z-linear, unique solve": {
    "pass": true,
    "note": ""
  },
  "A2b off-axis locus == hyperbola 2xy+3=0": {
    "pass": true,
    "note": "E=2*(2*x*y + 3)"
  },
  "A2c Res_z(F2,F3) factors exactly {x^2, 2xy+3}": {
    "pass": true,
    "note": "R=2*x**2*(2*x*y + 3)"
  },
  "A2d C(s) image = (-1/(4s^2),0,0) identically": {
    "pass": true,
    "note": ""
  },
  "A2e published triple is the s=1 fiber": {
    "pass": true,
    "note": ""
  },
  "A2f fiber over (t,0,0) = axis point + 2 curve points (s^2=-1/(4t))": {
    "pass": true,
    "note": "algebra above"
  },
  "A3 torus equivariance (identity in t)": {
    "pass": true,
    "note": ""
  },
  "A4a descent: F2F3, F1F3^2 are x-free in (a,b)": {
    "pass": true,
    "note": ""
  },
  "A4b descended Jacobian == 2(3a+b-2)^2": {
    "pass": true,
    "note": "Jab=2*(3*a + b - 2)**2"
  },
  "A4c collision pt (-3/2,13/2) ON fold line; axis (0,0) OFF": {
    "pass": true,
    "note": ""
  },
  "A5 generic fiber degree == 3 (x-elim AND y-elim, 3 targets each)": {
    "pass": true,
    "note": "x-elim [3, 3, 3], y-elim [3, 3, 3]"
  },
  "A6 slope integrability det[vx|vy|v] == 0 (symbolic m)": {
    "pass": true,
    "note": ""
  },
  "A6b (Sol finding) v_m slope is torus-equivariant ONLY for m=3": {
    "pass": true,
    "note": "weight(-x^m)=m, required weight 3 => m!=3 slopes break the torus"
  },
  "A7a G*J^T == I (full expansion)": {
    "pass": true,
    "note": ""
  },
  "A7b all 27 derivation commutators == 0": {
    "pass": true,
    "note": ""
  }
}