{
  "recorded_utc": "2026-10-05T17:46:35.719281+00:00",
  "passed": true,
  "finite_groups": 8,
  "groups": [
    {
      "name": "Besov endpoint versus Sobolev sum",
      "passed": true,
      "detail": "Exact one-dimensional delta block norms: bounded supremum and linearly divergent square sum"
    },
    {
      "name": "weighted normal generators",
      "passed": true,
      "detail": "All lower imaginary coefficients in the triangular identity, orders zero through six"
    },
    {
      "name": "positive convolution commutator",
      "passed": true,
      "detail": "Exact finite moments on a positive normal interval, retaining the derivative-of-kernel term and sign"
    },
    {
      "name": "strict conormal approximation loss",
      "passed": true,
      "detail": "Both sides of the dyadic split, including delta=1 and fractional losses"
    },
    {
      "name": "intrinsic trace and delta jets",
      "passed": true,
      "detail": "Exact (-i)^j pairing for nine jet orders and the plus-i correction cancelling D H"
    },
    {
      "name": "scaled test Fourier remainder",
      "passed": true,
      "detail": "Low-frequency Taylor and high-frequency polynomial bounds for orders one through seven"
    },
    {
      "name": "finite scale cancellation",
      "passed": true,
      "detail": "Exact rational Lagrange weights cancel every intermediate Taylor degree, sizes one through eight"
    },
    {
      "name": "two-scale smoothness and interpolation",
      "passed": true,
      "detail": "Every displayed exponent inequality with the actual degree-dependent negative order"
    }
  ],
  "script_sha256": "d278ffa3822fc622f6ad7ef3600cb4f8016cf01b3db0b0339414c9aeb22d8f4c",
  "source_hashes": {
    "conormal-amplitudes-and-test-spaces.md": "45ca52560d03932fb18dec7d2d6bd4fa7dbfef7967836a3e45f1b0d18ca0c162",
    "conormal-duality-implies-smoothness.md": "325d92d6d6131f9d83bde83b941c6cad6dd9c43167f41689f0c08ca339ebb67f",
    "dual-conormal-distributions-and-jets.md": "614f96f74095baa2682ebb000e3ebe327c916923ce2df8e6d8aadeab279f4dcf"
  },
  "finite_checks_are_not_general_proofs": true,
  "U031_restored": false,
  "public_release_authorized": false
}