{
  "step": "C356",
  "status": "passed",
  "assertions_passed": 56,
  "checks": [
    "one source pivot 3Noah birth",
    "affine covariance 3Noah birthN",
    "affine covariance 3Noah birthR",
    "affine covariance 3Noah birthH",
    "affine covariance 3Noah birthM",
    "one source pivot 3Shem birth",
    "affine covariance 3Shem birthN",
    "affine covariance 3Shem birthR",
    "affine covariance 3Shem birthH",
    "affine covariance 3Shem birthM",
    "one source pivot 3Flood start",
    "affine covariance 3Flood startN",
    "affine covariance 3Flood startR",
    "affine covariance 3Flood startH",
    "affine covariance 3Flood startM",
    "one source pivot 3Noah death",
    "affine covariance 3Noah deathN",
    "affine covariance 3Noah deathR",
    "affine covariance 3Noah deathH",
    "affine covariance 3Noah deathM",
    "one source pivot 3Shem death",
    "affine covariance 3Shem deathN",
    "affine covariance 3Shem deathR",
    "affine covariance 3Shem deathH",
    "affine covariance 3Shem deathM",
    "one source pivot 5Noah birth",
    "affine covariance 5Noah birthN",
    "affine covariance 5Noah birthR",
    "affine covariance 5Noah birthH",
    "affine covariance 5Noah birthM",
    "one source pivot 5Shem birth",
    "affine covariance 5Shem birthN",
    "affine covariance 5Shem birthR",
    "affine covariance 5Shem birthH",
    "affine covariance 5Shem birthM",
    "one source pivot 5Flood start",
    "affine covariance 5Flood startN",
    "affine covariance 5Flood startR",
    "affine covariance 5Flood startH",
    "affine covariance 5Flood startM",
    "one source pivot 5Noah death",
    "affine covariance 5Noah deathN",
    "affine covariance 5Noah deathR",
    "affine covariance 5Noah deathH",
    "affine covariance 5Noah deathM",
    "one source pivot 5Shem death",
    "affine covariance 5Shem deathN",
    "affine covariance 5Shem deathR",
    "affine covariance 5Shem deathH",
    "affine covariance 5Shem deathM",
    "bounded complete matches",
    "forty controls and ten nontrivial complete",
    "Shem death to Noah death source roles 3",
    "final460500 relation 3",
    "Shem death to Noah death source roles 5",
    "final460500 relation 5"
  ],
  "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 C349_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."
}