{
  "artifact_sha256": {
    "generator": "74f47c080a600739b3aa92cd9d629d4170ae677d17204b38bdd0425a9456a726",
    "postcondition": "32c2f1137fecabff3bcd614b253f87a8b83c567b0b3388187885ee0a1c0a5e59"
  },
  "covered": [
    "Absence of llvm.intr.fmuladd in the materialized output."
  ],
  "decision": "approved",
  "reviewer": "Ben (execution/publication authorization); Codex (executable scope record)",
  "revision_manifest_sha256": "c7ee54e525650572191513b7bbbb240629e950124354bbcdf084a3c6630b5610",
  "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."
  ]
}