{
  "status": "passed",
  "checks": [
    "GY candidate kernel identity:",
    "2-cable framing correction is exactly GY Eq100:",
    "1-cable framing correction differs by a tetrahedron multiple:",
    "full finite squared-edge identity:",
    "filled bracket is A^-4:",
    "published native representatives satisfy finite certificate",
    "every certificate monomial is even",
    "meridian operator commutes with edge",
    "independent ordered-product oracle verifies native identity",
    "two-cable twist has A^8 on the through summand",
    "two-cable twist has 1 on the trivial summand",
    "closed two-cable framing identity",
    "unused parity is zero on edge and meridian, one on witness",
    "witness insertion preserves the edge relation",
    "actual basis images have even unused parity",
    "translated witness evaluates to the unit before averaging",
    "minimum degree of squared summand k=-1",
    "minimum degree of squared summand k=0",
    "minimum degree of squared summand k=1",
    "detector unit constant is one"
  ],
  "count": 20,
  "F_unit_in_q_half_powers": {
    "0": 1,
    "2": -2,
    "4": -3,
    "6": 2,
    "8": 8,
    "10": 18,
    "12": 18
  },
  "cutoff_q_half_degree": 12,
  "outer_tail_q_half_degree": 20,
  "scope": "Finite native identity, correct module sides, cable framing, parity and a certified coefficient control. Published geometric trace formulas and the named-action theorem are proof dependencies."
}
