{
  "artifact_sha256": {
    "generator": "d25d2cf1e0c2465a12f7cf709f2541a33457478bc67262313ece8a84e0105e44",
    "postcondition": "ff9c66934a80663d3a9367377881a0f1da9445caae680da37770c4bb6288b92f"
  },
  "covered": [
    "Module-scope symbol-bearing thread/graph definitions with function types, and callee-based launch-only uses."
  ],
  "decision": "approved",
  "reviewer": "Ben (execution/publication authorization); Codex (executable scope record)",
  "revision_manifest_sha256": "fdba04fc86a1ecfe2b1578254a2c8aa9b62b7aaa8f1e12a237b552ffec25ebd3",
  "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."
  ]
}