RESULTS.json

{
  "step": "C348",
  "status": "passed",
  "assertions_passed": 75,
  "checks": [
    "i2/Flood target",
    "i2/Flood/-1/4/-1/4/-1/4",
    "i2/Flood/-1/4/-1/4/1/4",
    "i2/Flood/-1/4/1/4/-1/4",
    "i2/Flood/-1/4/1/4/1/4",
    "i2/Flood/1/4/-1/4/-1/4",
    "i2/Flood/1/4/-1/4/1/4",
    "i2/Flood/1/4/1/4/-1/4",
    "i2/Flood/1/4/1/4/1/4",
    "i2/Noah target",
    "i2/Noah/-1/4/-1/4/-1/4",
    "i2/Noah/-1/4/-1/4/1/4",
    "i2/Noah/-1/4/1/4/-1/4",
    "i2/Noah/-1/4/1/4/1/4",
    "i2/Noah/1/4/-1/4/-1/4",
    "i2/Noah/1/4/-1/4/1/4",
    "i2/Noah/1/4/1/4/-1/4",
    "i2/Noah/1/4/1/4/1/4",
    "i3/Flood target",
    "i3/Flood/-1/4/-1/4/-1/4",
    "i3/Flood/-1/4/-1/4/1/4",
    "i3/Flood/-1/4/1/4/-1/4",
    "i3/Flood/-1/4/1/4/1/4",
    "i3/Flood/1/4/-1/4/-1/4",
    "i3/Flood/1/4/-1/4/1/4",
    "i3/Flood/1/4/1/4/-1/4",
    "i3/Flood/1/4/1/4/1/4",
    "i3/Noah target",
    "i3/Noah/-1/4/-1/4/-1/4",
    "i3/Noah/-1/4/-1/4/1/4",
    "i3/Noah/-1/4/1/4/-1/4",
    "i3/Noah/-1/4/1/4/1/4",
    "i3/Noah/1/4/-1/4/-1/4",
    "i3/Noah/1/4/-1/4/1/4",
    "i3/Noah/1/4/1/4/-1/4",
    "i3/Noah/1/4/1/4/1/4",
    "i4/Flood target",
    "i4/Flood/-1/4/-1/4/-1/4",
    "i4/Flood/-1/4/-1/4/1/4",
    "i4/Flood/-1/4/1/4/-1/4",
    "i4/Flood/-1/4/1/4/1/4",
    "i4/Flood/1/4/-1/4/-1/4",
    "i4/Flood/1/4/-1/4/1/4",
    "i4/Flood/1/4/1/4/-1/4",
    "i4/Flood/1/4/1/4/1/4",
    "i4/Noah target",
    "i4/Noah/-1/4/-1/4/-1/4",
    "i4/Noah/-1/4/-1/4/1/4",
    "i4/Noah/-1/4/1/4/-1/4",
    "i4/Noah/-1/4/1/4/1/4",
    "i4/Noah/1/4/-1/4/-1/4",
    "i4/Noah/1/4/-1/4/1/4",
    "i4/Noah/1/4/1/4/-1/4",
    "i4/Noah/1/4/1/4/1/4",
    "i5/Flood target",
    "i5/Flood/-1/4/-1/4/-1/4",
    "i5/Flood/-1/4/-1/4/1/4",
    "i5/Flood/-1/4/1/4/-1/4",
    "i5/Flood/-1/4/1/4/1/4",
    "i5/Flood/1/4/-1/4/-1/4",
    "i5/Flood/1/4/-1/4/1/4",
    "i5/Flood/1/4/1/4/-1/4",
    "i5/Flood/1/4/1/4/1/4",
    "i5/Noah target",
    "i5/Noah/-1/4/-1/4/-1/4",
    "i5/Noah/-1/4/-1/4/1/4",
    "i5/Noah/-1/4/1/4/-1/4",
    "i5/Noah/-1/4/1/4/1/4",
    "i5/Noah/1/4/-1/4/-1/4",
    "i5/Noah/1/4/-1/4/1/4",
    "i5/Noah/1/4/1/4/-1/4",
    "i5/Noah/1/4/1/4/1/4",
    "64 combinations and8 exact",
    "companion fails all",
    "physical phase separation"
  ],
  "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 C344_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."
}