{
  "artifact_sha256": {
    "generator": "8a6c99ea8254293e29ab2537d243fd8567305e780a97abac0abbe885b8f7762c",
    "postcondition": "809bed02cdaa8a2f4755d8d167585869a7808f4be2a47a8ef5f48d6b268d0141"
  },
  "covered": [
    "Thread function signatures with no results/completion-token inputs, and input type matching against launch data operands."
  ],
  "decision": "approved",
  "reviewer": "Ben (execution/publication authorization); Codex (executable scope record)",
  "revision_manifest_sha256": "106aeda15f043d289ddca3d0d8bee0518ddd8d156ae7c08c62a5d3e6e95374f1",
  "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."
  ]
}