{
  "artifact_sha256": {
    "generator": "f405323d96e2afd328b9fbc5778ed8c576332ab67a4cfc294770fffe60f0c2ce",
    "postcondition": "34f9ca85bfaa9ae4427738b59e3fd03a4e708d0659eecf385b0edaca942cb42b"
  },
  "covered": [
    "Counts of poison-flagged LLVM ctlz/cttz and absence of poison attributes on standard math forms."
  ],
  "decision": "approved",
  "reviewer": "Ben (execution/publication authorization); Codex (scope record)",
  "revision_manifest_sha256": "745d09de794d2342eac38cdf4bd86a25bf02634a039d345aa678a3c05c0b8324",
  "schema": "spectriad.pbt-review/v1",
  "scope": "partial",
  "summary": "Approved to run and display existing artifacts; accuracy and completeness are measured separately.",
  "uncovered": [
    "Partial: counts poison-flagged ctlz/cttz and prohibits poison attributes on math forms. Count equality does not establish per-operation correspondence or registered typed semantic projection. A compensated deletion/addition can escape. A flag-removal probe correctly fails."
  ]
}