{
  "artifact_sha256": {
    "generator": "97a68dc81cad0dd71e116229d14d3c702bcb8be9acb0ee412f52c70bb9831b21",
    "postcondition": "573cc4482ae8453da9112ae273eb55dd7f96c28487201d41ffc52934ebbaf826"
  },
  "covered": [
    "Absence of unresolved fmuladd, no mixed fused/split children, and enumerated fastmath restrictions in split materialization; backend choice is approximated by those output checks."
  ],
  "decision": "approved",
  "reviewer": "Ben (execution/publication authorization); Codex (executable scope record)",
  "revision_manifest_sha256": "dd43853b51a1461484180f4a2b6cdbaec0b05a177fd8719c7a51a62a029ac9c6",
  "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."
  ]
}