{
  "status": "passed",
  "checks": [
    "central involutions are formal coefficients",
    "moment rows commute",
    "squared edge is a correct-sided consequence",
    "squared meridian is a correct-sided consequence",
    "the squared moment normal form gives the required vacuum",
    "eight tetrahedron multiples normalize to the vacuum",
    "finite identity uses squared moments before any sign specialization",
    "full central-ring identity with original generator sides",
    "right multipliers genuinely retain central variables",
    "inverse cyclic transport retains the complete formal identity",
    "native meridian and edge retain their central characters",
    "reversed meridian squared relation transports modulo the squared edge",
    "reversed longitude square transports modulo the squared edge",
    "full reversed-meridian squared identity",
    "full reversed-meridian central-ring identity",
    "ordered-monomial multiplication independently verifies the displayed identity"
  ],
  "count": 16,
  "scope": "Full central-vertex quotient, with no specialization of opposite-root involutions.",
  "limits": "Uses retained actual triangulation and named-action conventions. Does not prove the target zero or refute the existence of a nonzero quotient."
}
