{
  "arithmetic": "exact integers, rationals and symbolic polynomials",
  "checks": {
    "clifford": 9,
    "orientation": 10,
    "lowered_gamma_completeness": 16,
    "grassmann_anticommutation": 64,
    "grassmann_associativity": 512,
    "graded_fierz": 32,
    "quartic_example": 3,
    "commuting_projector": 4
  },
  "total": 650,
  "parity_assignments": 16,
  "coefficient_of_theta1_theta2_theta3_theta4": {
    "scalar_squared": -2,
    "vector_squared": 6
  },
  "commuting_spinor": [
    "1",
    "1 + 2*I"
  ],
  "unit_direction": [
    "-2/3",
    "-1/3",
    "-2/3"
  ],
  "scope": "Pointwise algebra; no Killing equation or quantum composite renormalization."
}