{
  "passed": true,
  "finite_groups": 3,
  "groups": [
    "Complex integrating-factor signs, zero diagonal and resonance; variable input-time coefficient and fixed interpolation identity",
    "Exact homogeneous density degree and nontrivial triangular quotient/dilation Jacobian",
    "Original vector coordinates, full versus strict source-boundary inclusion, and the precise wavefront-slice description"
  ],
  "script_sha256": "5d6c865f4c453afd117db974d40f3b417c4fd2a3a7819e8adf56e434c3a0165c",
  "source_hashes": {
    "directional-transport-for-characteristic-symbols.md": "38f61dd274f68bb55186f4b18085b038114f9aa83993a4146090c3a6bb508c6f",
    "figures/directional-symbol-source-boundary.svg": "9555613cfdae87d03cb9126a696e4e380629a9dbd16a73a5056988a3d98160d5"
  },
  "full_theorems_proved_by_these_finite_checks": false
}