{
  "artifact_sha256": {
    "generator": "6c976c167588035614e85a7ff54ba7f440329472b429433d0b1a63d420670a63",
    "postcondition": "840ba12c591c37fe0a0bf28ef27f6f8a496505d00629390bb6209f57e770e9bb"
  },
  "covered": [
    "Absence of enumerated LLVM memory intrinsic and leaf operation spellings within output graphs."
  ],
  "decision": "approved",
  "reviewer": "Ben (execution/publication authorization); Codex (executable scope record)",
  "revision_manifest_sha256": "901bdf544458664edefa2e9e6feca18308bd7d516ec4611c2a907dcba0a6f72f",
  "schema": "spectriad.pbt-review/v1",
  "scope": "partial",
  "summary": "Approved for execution and public reporting; translation accuracy and completeness remain separately unvalidated.",
  "uncovered": [
    "Full correspondence to the source passage and coverage beyond the authored generator/checker have not been established; empty selections may pass without exercising assertions."
  ]
}