{
  "artifact_sha256": {
    "generator": "0b17b952fd3bc985cdcb20cc895228b8c7ca80441cc6f7dce1eeef4606bf33d2",
    "postcondition": "4e78786f5374b18cbbafc81bcb69ec15749e015ab6359de6e7af6022321918c8"
  },
  "covered": [
    "Reachability cycles through dataflow.carry for load/store actors in stream-bearing graphs; the relation includes all SSA operand-to-result flow and is an approximation of memory dependence."
  ],
  "decision": "approved",
  "reviewer": "Ben (execution/publication authorization); Codex (executable scope record)",
  "revision_manifest_sha256": "85a60ea2f8204bf5662dfa05d9a312ca483324fc40030bb2d62bd418970f9cf6",
  "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."
  ]
}