{
  "artifact_sha256": {
    "generator": "620b17ccdb3080fae453055442bfb8a7c425f790fd5b39fd5d1d5dc3ab276df9",
    "postcondition": "981132546aa01e9aa4e6c62c2c474f81842870b55876f465b2fa7c9591848256"
  },
  "covered": [
    "Event-token reachability ordering for tagged atomic, volatile, release and acquire operations in generated source strands. Replay already reports one FAIL; this is an observed checker violation, not a confirmed compiler defect."
  ],
  "decision": "approved",
  "reviewer": "Ben (execution/publication authorization); Codex (executable scope record)",
  "revision_manifest_sha256": "c20aa948d6684974916b6253878cffe14113b21ec358d399ccb7451ac9024ca9",
  "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."
  ]
}