{
  "passed": true,
  "finite_groups": 5,
  "checks": [
    {
      "name": "Moving-scale derivative identities",
      "passed": true,
      "scope": "Exact first-variable derivative, frequency sum and dilation operator for a quadratic probe; general Schwartz estimates use the written proof."
    },
    {
      "name": "Exact Jacobian and all ordinary second-order powers",
      "passed": true,
      "scope": "Both reciprocal window factors and the constant/linear/quadratic one-order losses."
    },
    {
      "name": "Linear-first adjoint sign",
      "passed": true,
      "scope": "A nonselfadjoint finite matrix gives a nonzero real quadratic form and rejects the reversed i/2 sign."
    },
    {
      "name": "Original weighted Hilbert norm test",
      "passed": true,
      "scope": "The exact two-weight E2s dual vector has norm one and attains the original norm, with complex coefficients and linear-first pairing."
    },
    {
      "name": "Weighted convolution normalization",
      "passed": true,
      "scope": "Exact finite-p kernel integral; endpoints and complete Young proof are in the integration companion."
    }
  ],
  "script_sha256": "48e6c7486fac609301596c78c3a68d70a67bf529cfa41bc80fda149a60b3372b",
  "source_hashes": {
    "integration-and-duality.md": "0e8e2d394dda75c573e1d6d628de23da505a53f2c2a86630ba431d2918712fa8",
    "sharp-lower-bound.md": "33a1609e262f154b0cfe38c16746b020b4bd9bba0bcc859aa3ac6230420a00bd"
  },
  "finite_checks_are_not_general_proofs": true,
  "U030_restored": false
}