{
  "artifact_sha256": {
    "generator": "fe753d99ef7faca52dce59a4d8f1d912d5355b4d38cd0df5776281d8f6631808",
    "postcondition": "f62754955d08be6154989ab4a784f9f5663d3a4084f2a79711c52099539027ff"
  },
  "covered": [
    "Absence of the enumerated parallel-control operations and schedule attributes in graph output."
  ],
  "decision": "approved",
  "reviewer": "Ben (execution/publication authorization); Codex (executable scope record)",
  "revision_manifest_sha256": "20df2c542500e1c0613ca0bdff92b1649a1ecff80a60bc63fe2926781bbc2309",
  "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."
  ]
}