RESULTS.json

{
  "step": "C351",
  "status": "passed",
  "assertions_passed": 30,
  "checks": [
    "i2 inherited triple",
    "i2 held Flood600",
    "i2 held Shem600",
    "i2 outer17K unchanged",
    "i2 simultaneous regular support",
    "i2/-1/4 exact components",
    "i2/1/4 exact components",
    "i3 inherited triple",
    "i3 held Flood600",
    "i3 held Shem600",
    "i3 outer17K unchanged",
    "i3 simultaneous regular support",
    "i3 dual458600",
    "i3/-1/4 exact components",
    "i3/1/4 exact components",
    "i4 inherited triple",
    "i4 held Flood600",
    "i4 held Shem600",
    "i4 outer17K unchanged",
    "i4 simultaneous regular support",
    "i4/-1/4 exact components",
    "i4/1/4 exact components",
    "i5 inherited triple",
    "i5 held Flood600",
    "i5 held Shem600",
    "i5 outer17K unchanged",
    "i5 simultaneous regular support",
    "i5 dual458600",
    "i5/-1/4 exact components",
    "i5/1/4 exact components"
  ],
  "source_checks_passed": 18,
  "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 C344_DATA.json",
    "frozen C345_DATA.json",
    "frozen C90_REPORT.md",
    "frozen File_02.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."
}