{
  "recorded_utc": "2026-10-05T19:11:38.173082+00:00",
  "passed": true,
  "finite_groups": 7,
  "checks": [
    {
      "name": "nonlinear-half-density-coordinate-law",
      "passed": true,
      "detail": "Full nonblock-diagonal ambient chart and conormal Jacobian give the same squared half-density factor"
    },
    {
      "name": "intrinsic-orders-and-energy",
      "passed": true,
      "detail": "Exact codimension-independent symbol order, all Fourier-energy powers and ordinary diagonal normalization"
    },
    {
      "name": "ordered-two-Gauss-action",
      "passed": true,
      "detail": "30 monomial amplitudes compare both contraction signs against direct delta-jet differential action"
    },
    {
      "name": "corner-homogeneity",
      "passed": true,
      "detail": "Exact radial degree after the full nonlinear corner-coordinate substitution"
    },
    {
      "name": "inverse-Euler-and-logarithm",
      "passed": true,
      "detail": "Every polynomial and resonant log term through j=6, plus the separate j=0 integrable model"
    },
    {
      "name": "all-derivative-remainder-integrals",
      "passed": true,
      "detail": "Seven exact two-dimensional near/far integrals have the required negative frequency degree"
    },
    {
      "name": "point-supported-jet-identification",
      "passed": true,
      "detail": "Mixed normal jets depend on the full finite Taylor polynomial; their nonzero Fourier polynomial fails decay"
    }
  ],
  "source_hashes": {
    "intrinsic-conormal-symbols.md": "77373446061b12d1fb495304c4e9166b3b700c7f6efb85782a95da5f867bc2d6",
    "polyhomogeneous-corner-kernels.md": "9e8319a53ff4ce5e5004dc547e6d68e184a0e72744345f74a60b5d06ba9f228b"
  },
  "script_sha256": "fc3ad2ef082361e74af959699d79528e1fea838e253e3fd2aa857e81e91fa13f",
  "complete_proof_not_inferred_from_models": true
}