{
  "artifact_sha256": {
    "generator": "be0132fbdc4183aeceb0ce18d922e2d9a3da7d7c19612aae73762be1b29ab6de",
    "postcondition": "7335de40554c2959553a5de0c02886882a4779d2dd1eacf94f13877cc1ba64e5"
  },
  "covered": [
    "Entry block argument-prefix type matching against the function inputs for bodied thread definitions."
  ],
  "decision": "approved",
  "reviewer": "Ben (execution/publication authorization); Codex (executable scope record)",
  "revision_manifest_sha256": "eb17c6ff596d1c87071d05526ecbbb60de6323965402e35c5e832d7bf23b2e2f",
  "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."
  ]
}