{
  "checks": [
    {
      "check": "A1 dimension consistent: 22 variables, 22 components",
      "pass": true
    },
    {
      "check": "A2 every H_k has terms only of degree 2..3 (max found: 3)",
      "pass": true
    },
    {
      "check": "A3 J(0) == Identity",
      "pass": true
    },
    {
      "check": "A4 det J == 1 at 40 fresh random rational points (exact)",
      "pass": true
    },
    {
      "check": "A5 det J == 1 on 3 random lines x 60 exact samples (degree bound 2N=44 < 60)",
      "pass": true
    },
    {
      "check": "A6a collision points pairwise distinct",
      "pass": true
    },
    {
      "check": "A6b images identical across all 3 points (subs)",
      "pass": true
    },
    {
      "check": "A6c images identical across all 3 points (xreplace)",
      "pass": true
    },
    {
      "check": "A6d dual paths agree and match artifact's recorded image",
      "pass": true
    },
    {
      "check": "B1 base map det J == -2 identically",
      "pass": true
    },
    {
      "check": "B2 (R1) G * J^T == I (full expansion)",
      "pass": true
    },
    {
      "check": "B3 (R3) all 27 Weyl commutation identities == 0 (full expansion)",
      "pass": true
    },
    {
      "check": "C1 independent raw-monomial encoding == factored encoding",
      "pass": true
    },
    {
      "check": "C2 raw encoding: det J == -2 identically",
      "pass": true
    },
    {
      "check": "C3 raw encoding: 3-point collision",
      "pass": true
    }
  ],
  "ALL_PASS": true,
  "elapsed_sec": 40.63
}