{
  "step": "C342",
  "status": "passed",
  "assertions_passed": 96,
  "checks": [
    "i3 baseNoah",
    "i3 source generating values",
    "i3 exact ladder derivation",
    "i3 second stage condition",
    "i3 first stage restoration condition",
    "i5 baseNoah",
    "i5 source generating values",
    "i5 exact ladder derivation",
    "i5 second stage condition",
    "i5 first stage restoration condition",
    "two primary rows are uniform translation",
    "(0, 0, 7) SPsource",
    "(0, 0, 7) H/Fsource",
    "(0, 0, 7) ladder criterion",
    "(0, 0, 7) same selector as death criteria",
    "(0, 0, 6) SPsource",
    "(0, 0, 6) H/Fsource",
    "(0, 0, 6) ladder criterion",
    "(0, 0, 6) same selector as death criteria",
    "(0, 0, 5) SPsource",
    "(0, 0, 5) H/Fsource",
    "(0, 0, 5) ladder criterion",
    "(0, 0, 5) same selector as death criteria",
    "(0, 0, 4) SPsource",
    "(0, 0, 4) H/Fsource",
    "(0, 0, 4) ladder criterion",
    "(0, 0, 4) same selector as death criteria",
    "(0, 0, 3) SPsource",
    "(0, 0, 3) H/Fsource",
    "(0, 0, 3) ladder criterion",
    "(0, 0, 3) same selector as death criteria",
    "(0, 2, 7) SPsource",
    "(0, 2, 7) H/Fsource",
    "(0, 2, 7) ladder criterion",
    "(0, 2, 7) same selector as death criteria",
    "(0, 2, 6) SPsource",
    "(0, 2, 6) H/Fsource",
    "(0, 2, 6) ladder criterion",
    "(0, 2, 6) same selector as death criteria",
    "(0, 2, 5) SPsource",
    "(0, 2, 5) H/Fsource",
    "(0, 2, 5) ladder criterion",
    "(0, 2, 5) same selector as death criteria",
    "(0, 2, 4) SPsource",
    "(0, 2, 4) H/Fsource",
    "(0, 2, 4) ladder criterion",
    "(0, 2, 4) same selector as death criteria",
    "(0, 2, 3) SPsource",
    "(0, 2, 3) H/Fsource",
    "(0, 2, 3) ladder criterion",
    "(0, 2, 3) same selector as death criteria",
    "(2, 0, 7) SPsource",
    "(2, 0, 7) H/Fsource",
    "(2, 0, 7) ladder criterion",
    "(2, 0, 7) same selector as death criteria",
    "(2, 0, 6) SPsource",
    "(2, 0, 6) H/Fsource",
    "(2, 0, 6) ladder criterion",
    "(2, 0, 6) same selector as death criteria",
    "(2, 0, 5) SPsource",
    "(2, 0, 5) H/Fsource",
    "(2, 0, 5) ladder criterion",
    "(2, 0, 5) same selector as death criteria",
    "(2, 0, 4) SPsource",
    "(2, 0, 4) H/Fsource",
    "(2, 0, 4) ladder criterion",
    "(2, 0, 4) same selector as death criteria",
    "(2, 0, 3) SPsource",
    "(2, 0, 3) H/Fsource",
    "(2, 0, 3) ladder criterion",
    "(2, 0, 3) same selector as death criteria",
    "(2, 2, 7) SPsource",
    "(2, 2, 7) H/Fsource",
    "(2, 2, 7) ladder criterion",
    "(2, 2, 7) same selector as death criteria",
    "(2, 2, 6) SPsource",
    "(2, 2, 6) H/Fsource",
    "(2, 2, 6) ladder criterion",
    "(2, 2, 6) same selector as death criteria",
    "(2, 2, 5) SPsource",
    "(2, 2, 5) H/Fsource",
    "(2, 2, 5) ladder criterion",
    "(2, 2, 5) same selector as death criteria",
    "(2, 2, 4) SPsource",
    "(2, 2, 4) H/Fsource",
    "(2, 2, 4) ladder criterion",
    "(2, 2, 4) same selector as death criteria",
    "(2, 2, 3) SPsource",
    "(2, 2, 3) H/Fsource",
    "(2, 2, 3) ladder criterion",
    "(2, 2, 3) same selector as death criteria",
    "same four surviving selections",
    "two17K additionally selects22",
    "general integral double expansion",
    "old scalar ladder",
    "C89 distinct sourced ladder"
  ],
  "source_checks_passed": 23,
  "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 C338_DATA.json",
    "frozen C340_DATA.json",
    "frozen C319_DATA.json",
    "frozen C332_DATA.json",
    "frozen C334_DATA.json",
    "frozen C01_REPORT.md",
    "frozen C09_REPORT.md",
    "frozen C89_REPORT.md",
    "frozen File_46.md",
    "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."
}