{
  "artifact_sha256": {
    "generator": "5c9ba4836e8c909e87586164def05ac08480ea99441c38e8346c9faebbf16835",
    "postcondition": "0de7d2e8cdb0257be7bca4ae995ab0ebc1cad50088c0695c63302f67b288fecb"
  },
  "covered": [
    "Memref export payloads rooted in graph memory inputs, allocations or services via supported memref.cast views, and none-typed completion operands."
  ],
  "decision": "approved",
  "reviewer": "Ben (execution/publication authorization); Codex (executable scope record)",
  "revision_manifest_sha256": "8459829180350173de5169303b5f4b327cf6bfadfc9decdd1e829fb13df07c38",
  "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."
  ]
}