{
  "passed": true,
  "finite_groups": 7,
  "checks": [
    "Full raw normal commutator, including the normal-frequency derivative term, for sixteen polynomial symbols",
    "Complete weighted ordinary differential expression for all monomials through total order four",
    "All normal weights and both binomial sums in the tangential topology formula, sixteen differentiated cases",
    "Exact left-parametrix microlocal division and residual signs with noncommuting matrices",
    "Exact seven matrix-valued normal jets in the collar extension before local cutoffs",
    "Exact dyadic normal-frequency growth proving the increasing delta-jet local/global counterexample",
    "All weighted boundary-defect jets through normal order six vanish with the exact factor t^m"
  ],
  "source_hashes": {
    "compressed-wavefront-and-differential-action.md": "a344f465b7cd50a1a5a322a4106d86e5c32b43f6724dbed596938336cc02ddae",
    "normal-extension-and-tangential-action.md": "a3891a33321516e2a75178b3ac1d6d94195f718dd8ae30493436a607bc56c13b",
    "smooth-testers-and-boundary-consequences.md": "5ec77d9aff7c71f85e3e278ae8bfd7e167b5f6f14ca2650b0a48ba78e23bf8e3"
  },
  "script_sha256": "9a3aa10915d51dcd0973a2bb69b3a416f70ef92d87e61543c02fa89968e42417",
  "scope": "Finite identities support the signs, matrix order, jet coefficients and explicit counterexample. Full analytic proofs are in the three companions.",
  "U031_restored": false
}