{
  "status": "PASS",
  "checks": [
    "Gaussian guided score equals completed-square score",
    "g0 recovers unconditional",
    "g1 recovers conditional",
    "nonpositive precision refuses density",
    "wider conditional precision boundary"
  ],
  "cases": 157,
  "empirical_benchmark": false,
  "source_proofs_verified": false,
  "figure_sha256": "5e6a48af31397b917a8caa3cd5ca0075ad48b5d161ab55c9863b750635986918"
}