{
  "artifact_sha256": {
    "generator": "66425942f0b34a174c8c6cb06ff4d66fcbd8cd0467b35458b2f324da0ce1ab53",
    "postcondition": "4d70736d6383cf1db71046ef9d418e40b53e727f88e5c4c826ec228a91afdd1b"
  },
  "covered": [
    "No CF control in callables without enumerated obstacles, containment of recovered-region SSA uses, and preservation of callable symbol-name sets."
  ],
  "decision": "approved",
  "reviewer": "Ben (execution/publication authorization); Codex (executable scope record)",
  "revision_manifest_sha256": "45d5adc79f7a6691d55ae538cb815353daae72587309a322a2ce0bfcb78e18de",
  "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."
  ]
}