{
  "step": "C334",
  "status": "passed",
  "assertions_passed": 14,
  "checks": [
    "File_00.md:1050-1117 locator",
    "File_02.md:646-808 locator",
    "File_09.md:249-288 locator",
    "File_11.md:331-353 locator",
    "File_18.md:755-772 locator",
    "File_18.md:1106-1116 locator",
    "File_18.md:1254-1285 locator",
    "File_18.md:1540-1552 locator",
    "File_18.md:1870-1916 locator",
    "File_18.md:2048-2080 locator",
    "File18 common-origin and separate transport",
    "File00 opposing directions",
    "finite controls retained",
    "death leaves both a choices"
  ],
  "source_checks_passed": 19,
  "source_checks": [
    "frozen PREVIOUS_CERTIFICATE.json",
    "frozen PREVIOUS_RESULTS.json",
    "frozen PREVIOUS_DATA.json",
    "frozen PREVIOUS_CHECKPOINT.md",
    "frozen PREVIOUS_NEXT_STEP.json",
    "frozen File_18.md",
    "frozen File_09.md",
    "frozen C286_DATA.json",
    "frozen C287_DATA.json",
    "frozen C271_REGISTER.json",
    "frozen File_02.md",
    "frozen File_00.md",
    "frozen File_11.md",
    "frozen C319_DATA.json",
    "frozen C332_DATA.json",
    "predecessor PREVIOUS_RESULTS.json",
    "predecessor PREVIOUS_DATA.json",
    "predecessor PREVIOUS_CHECKPOINT.md",
    "predecessor PREVIOUS_NEXT_STEP.json"
  ],
  "canonical_or_graph_edits": false,
  "check_scope": "Finite source-labelled calculation; counts are verification inventory, not witness counts."
}