{
  "artifact_sha256": {
    "generator": "6a2fe1adb9703146ff9a404af89b98939ec6df3e632bfbd941d1b2928d9d2dd4",
    "postcondition": "7c406e983972e1c2f80992b17a778c1e5cac3509deb19758dbc5dda1dbb47894"
  },
  "covered": [
    "Prohibition of listed callable definitions, calls and launches in graph descendants."
  ],
  "decision": "approved",
  "reviewer": "Ben (execution/publication authorization); Codex (scope record)",
  "revision_manifest_sha256": "aabd93624ceee75a62564551fa3963206daa4ee933a5c51e214de5c3870a12b8",
  "schema": "spectriad.pbt-review/v1",
  "scope": "partial",
  "summary": "Approved to run and display existing artifacts; accuracy and completeness are measured separately.",
  "uncovered": [
    "Partial: directly checks listed forbidden operations throughout graph descendants. All 16 accepted outputs contain graphs. The four rejected seeds (2,4,14,17) selected func.call/llvm.call inside candidates and fail graph lowering; these are not checker passes. Injecting a forbidden func.call fails; removing a graph symbol still passes. Symbol-bearing, module-scope and function-like requirements are absent. Empty output passes, which is a campaign applicability limitation rather than a counterexample to the body-only universal prohibition."
  ]
}