{
  "step": "C418",
  "status": "passed",
  "assertions_passed": 23,
  "checks": [
    "six event records SP",
    "six event records MT",
    "same-boundary parity (103, 0)",
    "same-boundary parity (103, 16)",
    "same-boundary parity (103, 32)",
    "same-boundary parity (111, 8)",
    "same-boundary parity (111, 24)",
    "same-boundary parity (111, 40)",
    "same-boundary parity (119, 0)",
    "same-boundary parity (119, 16)",
    "same-boundary parity (119, 32)",
    "same-boundary parity (127, 8)",
    "same-boundary parity (127, 24)",
    "same-boundary parity (127, 40)",
    "same-boundary parity (135, 0)",
    "same-boundary parity (135, 16)",
    "same-boundary parity (135, 32)",
    "same-boundary parity (143, 8)",
    "same-boundary parity (143, 24)",
    "same-boundary parity (143, 40)",
    "selected mixed-boundary match",
    "selected five-station partition SP",
    "selected five-station partition MT"
  ],
  "source_checks_passed": 15,
  "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 C416_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."
}