RESULTS.json

{
  "step": "C331",
  "status": "passed",
  "assertions_passed": 34,
  "checks": [
    "i2/SP/Noah death/unique",
    "i2/MT/Noah birth/unique",
    "i2/MT/Flood close/unique",
    "i2/allheld",
    "i2/950+108",
    "i2/rolequalifiedlegs",
    "i2/MTsourceboundary",
    "i2/inheritedC287",
    "i3/SP/Noah death/unique",
    "i3/MT/Noah birth/unique",
    "i3/MT/Flood start/unique",
    "i3/allheld",
    "i3/950+108",
    "i3/rolequalifiedlegs",
    "i3/MTsourceboundary",
    "i3/inheritedC287",
    "i4/SP/Noah death/unique",
    "i4/MT/Noah birth/unique",
    "i4/MT/Flood close/unique",
    "i4/allheld",
    "i4/950+108",
    "i4/rolequalifiedlegs",
    "i4/MTsourceboundary",
    "i4/inheritedC287",
    "i5/SP/Noah death/unique",
    "i5/MT/Noah birth/unique",
    "i5/MT/Flood start/unique",
    "i5/allheld",
    "i5/950+108",
    "i5/rolequalifiedlegs",
    "i5/MTsourceboundary",
    "i5/inheritedC287",
    "allphasecriterion",
    "counts"
  ],
  "source_checks_passed": 16,
  "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 C281_REPORT.md",
    "frozen PRIOR_ART_LOCATOR.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."
}