{
  "artifact_sha256": {
    "generator": "ad7f292d18204b31b966b3a0ad325fbbbc0e407b4a258c71ebee0190f748bfce",
    "postcondition": "cd479d53d3e454031c9da3cb497446c59c45d7b6625a2f2ecdd40196bdabaee4"
  },
  "covered": [
    "Fused-child operand/result types and sampled fast-math spelling preservation."
  ],
  "decision": "approved",
  "reviewer": "Ben (execution/publication authorization); Codex (scope record)",
  "revision_manifest_sha256": "5ce54b6b0a69d96bc32cb869dff6abb00800084cd9995e61b5cdf358afa585c9",
  "schema": "spectriad.pbt-review/v1",
  "scope": "partial",
  "summary": "Approved to run and display existing artifacts; accuracy and completeness are measured separately.",
  "uncovered": [
    "Partial: only fused materialization, comparing types and a small fast-math spelling table by callable name and slot position. Does not check source location, Ownership lineage, source-provenance projection, sole-finalizer use or output-set publication. Locations are omitted by the command printer. 14 outputs contain math.fma (including potentially preexisting operations); that is not a count of newly materialized children. Empty output passes."
  ]
}