{
  "artifact_sha256": {
    "generator": "076a952e68de01c018b02a9c1290e5eb166995007ab3fb43079b28eb943ee363",
    "postcondition": "1b36ea6d4e36596888d4e5081bae7a2edc8494a8b4713cc2852e0b4c08951bdd"
  },
  "covered": [
    "Module-level callable/thread/graph definitions, absence of SCF within graphs, and graph-launch containment within threads."
  ],
  "decision": "approved",
  "reviewer": "Ben (execution/publication authorization); Codex (executable scope record)",
  "revision_manifest_sha256": "25625fd21fa44fc29b3be5a1bce88c8cd844e7172d1149fa2301e7375ffc312b",
  "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."
  ]
}