{
  "passed": true,
  "finite_groups": 8,
  "checks": [
    "Scalar triple-product first correction cancels exactly",
    "Exact scalar square correction has sign +1/4",
    "Differential operator has constant term -1/2",
    "Gaussian norm and derivative energy agree with exact logarithmic test",
    "Independent quadrature confirms zero, negative value and asymptotic approach",
    "Symplectic covariance preserves the exact positive-form Planck parameter",
    "Classical metric ratio estimate checked at both small and separated frequencies",
    "Both Cotlar interaction matrices checked on a noncommuting finite family"
  ],
  "script_sha256": "fe24d86bb2537791d1ecacf725564a988719ab736967566784b30c8dd4a9c023",
  "source_hashes": {
    "metric-operator-bounds.md": "599e4faf261aebb0ad88d7b96270bf45ca9e74c71e1df128a185c17e97bbf8ec",
    "scalar-fefferman-phong.md": "133f02467366d991def07a02c2f80e56ad225d20483c93a10ed7cebc17fe9e1c"
  },
  "limitations": "Finite algebra and numerical model checks; analytic completeness is reviewed separately.",
  "general_metric_L2_theorem_included": true,
  "Fefferman_Phong_operator_theorem_included": true,
  "U033_restored": false
}