{
  "date_utc": "2026-10-13T23:02:39.037867+00:00",
  "checks": 63,
  "passed": [
    "d2: smoothing",
    "d2: Sylvester",
    "d2: covariance",
    "d2: active count",
    "d2: ground quadratic source",
    "d2: ground scalar source",
    "d2: completed square linear term",
    "d2: switching cap quadratic",
    "d2: switching cap scalar",
    "d2: pair polynomial factor",
    "d3: smoothing",
    "d3: Sylvester",
    "d3: covariance",
    "d3: active count",
    "d3: ground quadratic source",
    "d3: ground scalar source",
    "d3: completed square linear term",
    "d3: switching cap quadratic",
    "d3: switching cap scalar",
    "d3: pair polynomial factor",
    "d4: smoothing",
    "d4: Sylvester",
    "d4: covariance",
    "d4: active count",
    "d4: ground quadratic source",
    "d4: ground scalar source",
    "d4: completed square linear term",
    "d4: switching cap quadratic",
    "d4: switching cap scalar",
    "d4: pair polynomial factor",
    "d5: smoothing",
    "d5: Sylvester",
    "d5: covariance",
    "d5: active count",
    "d5: ground quadratic source",
    "d5: ground scalar source",
    "d5: completed square linear term",
    "d5: switching cap quadratic",
    "d5: switching cap scalar",
    "d5: pair polynomial factor",
    "d6: smoothing",
    "d6: Sylvester",
    "d6: covariance",
    "d6: active count",
    "d6: ground quadratic source",
    "d6: ground scalar source",
    "d6: completed square linear term",
    "d6: switching cap quadratic",
    "d6: switching cap scalar",
    "d6: pair polynomial factor",
    "d10: smoothing",
    "d10: Sylvester",
    "d10: covariance",
    "d10: active count",
    "d10: ground quadratic source",
    "d10: ground scalar source",
    "d10: completed square linear term",
    "d10: switching cap quadratic",
    "d10: switching cap scalar",
    "d10: pair polynomial factor",
    "raw first moment derivative",
    "raw norm derivative",
    "centroid raw norm chain rule"
  ],
  "source_parent_sha256": "0de59924a050efd36a77f35832d552562c98d88063b1b6d6a1bf4c64714fb6fa",
  "scope": "Exact rational Gaussian identities, all six depths, common Householder rotation, translation, finite-band centroid cap. Continuum proof is in gaussian-window-pattern-action.md.",
  "script_sha256": "c514b4ef1eb487fe6c1af445dc997d92bbecf5885b33127214bbdc12ea6e1d38"
}