RESULTS.json

{
  "step": "C320",
  "status": "passed",
  "assertions_passed": 77,
  "checks": [
    "i0 frozen sourcepair",
    "i1 frozen sourcepair",
    "i2 frozen sourcepair",
    "i2 SP matched duration",
    "i2 SP rail boundary",
    "i2 SP -1/4 exactrectangle",
    "i2 -1/4 C271 Noah",
    "i2 -1/4 C271 Flood",
    "i2 SP 1/4 exactrectangle",
    "i2 1/4 C271 Noah",
    "i2 1/4 C271 Flood",
    "i2 source matched Shem",
    "i3 frozen sourcepair",
    "i3 SP matched duration",
    "i3 SP rail boundary",
    "i3 SP -1/4 exactrectangle",
    "i3 -1/4 C271 Noah",
    "i3 -1/4 C271 Flood",
    "i3 SP 1/4 exactrectangle",
    "i3 1/4 C271 Noah",
    "i3 1/4 C271 Flood",
    "i3 LXX matched duration",
    "i3 LXX no invented companion",
    "i3 LXX -1/4 exactrectangle",
    "i3 LXX 1/4 exactrectangle",
    "i3 source matched Shem",
    "i4 frozen sourcepair",
    "i4 SP matched duration",
    "i4 SP rail boundary",
    "i4 SP -1/4 exactrectangle",
    "i4 -1/4 C271 Noah",
    "i4 -1/4 C271 Flood",
    "i4 SP 1/4 exactrectangle",
    "i4 1/4 C271 Noah",
    "i4 1/4 C271 Flood",
    "i4 source matched Shem",
    "i5 frozen sourcepair",
    "i5 SP matched duration",
    "i5 SP rail boundary",
    "i5 SP -1/4 exactrectangle",
    "i5 -1/4 C271 Noah",
    "i5 -1/4 C271 Flood",
    "i5 SP 1/4 exactrectangle",
    "i5 1/4 C271 Noah",
    "i5 1/4 C271 Flood",
    "i5 LXX matched duration",
    "i5 LXX no invented companion",
    "i5 LXX -1/4 exactrectangle",
    "i5 LXX 1/4 exactrectangle",
    "i5 source matched Shem",
    "i6 frozen sourcepair",
    "i6 SP matched duration",
    "i6 SP rail boundary",
    "i6 SP -1/4 exactrectangle",
    "i6 -1/4 C271 Noah",
    "i6 -1/4 C271 Flood",
    "i6 SP 1/4 exactrectangle",
    "i6 1/4 C271 Noah",
    "i6 1/4 C271 Flood",
    "i6 source matched Shem",
    "i7 frozen sourcepair",
    "i7 SP matched duration",
    "i7 SP rail boundary",
    "i7 SP -1/4 exactrectangle",
    "i7 -1/4 C271 Noah",
    "i7 -1/4 C271 Flood",
    "i7 SP 1/4 exactrectangle",
    "i7 1/4 C271 Noah",
    "i7 1/4 C271 Flood",
    "i7 LXX matched duration",
    "i7 LXX no invented companion",
    "i7 LXX -1/4 exactrectangle",
    "i7 LXX 1/4 exactrectangle",
    "i7 source matched Shem",
    "entire existing register searched",
    "complete finite census",
    "only i2 through7 admitted"
  ],
  "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 C314_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."
}