{
  "passed": true,
  "finite_groups": 8,
  "checks": [
    "Exact positive-corner inverse, signed determinant and preservation of both side faces",
    "Full inverse kernel prefactors, radial inverse and fixed-output boundary measure",
    "Full nonlinear compressed covector transition including both tangential-normal cross terms",
    "Symplectic top-wedge sign in dimensions one through eight",
    "Exact radial first-difference integral before the signed Fourier integration by parts",
    "All nested boundary-jet coefficients against 400 polynomial operator/input/order cases",
    "Ordered matrix inverse derivative and parametrix cancellation with a noncommuting error",
    "Summable dyadic coordinate matrix at four positive and negative noninteger indices"
  ],
  "source_hashes": {
    "global-boundary-operator-calculus.md": "740a7742dd000e32184f517d89b281c4f0e52e7f904d8388f7e86749dd124a85",
    "stretched-kernels-and-compressed-geometry.md": "ca83a4885267d674ed871979f0ebebc6e8325d5fe72105512645160018906cba"
  },
  "script_sha256": "a0f0ae46825ea256f21ed5c11eded6a7146d347d14164dd27ef43ca6137f710a",
  "scope": "Finite symbolic and numerical checks support exact identities; the complete analytic proofs are in the companions.",
  "U031_restored": false
}