{
  "passed": true,
  "finite_groups": 3,
  "scope": [
    "Actual normal transpose and exact compact-middle commutator on both time regions",
    "Exact Gaussian square integral and divergent coefficient",
    "All return-cutoff diagram interval endpoints and marked times"
  ],
  "does_not_replace_general_proofs": true,
  "script_sha256": "ef25568f08814c1e5bc1ff88c3d2a45cc8befb4b2e25b13224540fbe0bcf989e",
  "source_hashes": {
    "comparing-global-parametrices-through-a-compact-middle.md": "b474bd732b94e2d84ffd9e2cdfb7d725703dc5dc34dc395b4659e0797f518c55",
    "figures/compact-middle-return-cutoff.svg": "9730d67246d42c2a3c0aed35079dbaea871af327b0089273747c97366ad0f5b4"
  }
}