{
  "artifact_sha256": {
    "generator": "ef5f9a799c0a0a73ef7c21002f448f9c6840b8ffc9e393771ff60989244d60d0",
    "postcondition": "bc230712499f9a6c5ea17193b9774650bcd24e4bc25b19740923e94b2207ba5f"
  },
  "covered": [
    "Lane projection counts, uses and selector relationships for lowered while condition, execution and memory frontier values; correspondence is approximated by structural selectors and uses."
  ],
  "decision": "approved",
  "reviewer": "Ben (execution/publication authorization); Codex (executable scope record)",
  "revision_manifest_sha256": "72b5ede246cad198e9c145180062fb7a8a03d55e33ab92cb9c2e43fababf60f0",
  "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."
  ]
}