{
  "recorded_utc": "2026-10-05T17:28:03.206277+00:00",
  "passed": true,
  "finite_groups": 8,
  "groups": [
    {
      "name": "all-sign weights and embeddings",
      "passed": true,
      "detail": "500 deterministic two-weight Peetre and exact embedding samples"
    },
    {
      "name": "real multiplier derivatives",
      "passed": true,
      "detail": "Exact polynomial recursion through four derivatives, including negative and fractional exponents"
    },
    {
      "name": "one-sided Laplace multiplier",
      "passed": true,
      "detail": "24 convergent Laplace integrals, exact Fourier sign and real-power modulus"
    },
    {
      "name": "supported boundary source",
      "passed": true,
      "detail": "Exact delta decomposition with D=-i partial_t and both component norm ratios"
    },
    {
      "name": "minimal extension and sharp normal-step constant",
      "passed": true,
      "detail": "Exact exponential norms, both-side inverse formula and equality at one-half"
    },
    {
      "name": "boundary trace coefficient",
      "passed": true,
      "detail": "Four exact trace integrals, normal scaling and retained 1/(2pi) coefficient"
    },
    {
      "name": "complete integer jet norm",
      "passed": true,
      "detail": "Full binomial Fourier identity at every integer order zero through six"
    },
    {
      "name": "all-real recovery bookkeeping",
      "passed": true,
      "detail": "300 finite nested-cutoff index sequences at fixed total regularity"
    }
  ],
  "script_sha256": "17acd978158f311a0f3a7e7cbb7332cac45b44e9d672afa174946fb0f3581ebb",
  "source_hashes": {
    "halfspace-support-and-duality.md": "ab7fae44a2b1e0013986a2ad7ec07eaf03cd757ec295a8ea1569fe9e11a33ad4",
    "two-weight-hilbert-spaces-and-traces.md": "63e98019bd2cab489d3e2e94148d3dc55d8986ac2a6a8c8047895b4a4fafa0a2"
  },
  "finite_checks_are_not_general_proofs": true,
  "U031_restored": false,
  "public_release_authorized": false
}