RESULTS.json

{
  "step": "C321",
  "status": "passed",
  "assertions_passed": 35,
  "checks": [
    "i0 nativeONsourcepair",
    "i1 nativeONsourcepair",
    "i2 nativeONsourcepair",
    "i3 nativeONsourcepair",
    "i3 pair600",
    "i3 uniqueSPantecedent",
    "i3 typed460",
    "i3 restoredMTcontext",
    "i3 -1/4 exactONrectangle",
    "i3 -1/4 fourcornercovariance",
    "i3 1/4 exactONrectangle",
    "i3 1/4 fourcornercovariance",
    "i4 nativeONsourcepair",
    "i5 nativeONsourcepair",
    "i5 pair600",
    "i5 uniqueSPantecedent",
    "i5 typed460",
    "i5 restoredMTcontext",
    "i5 -1/4 exactONrectangle",
    "i5 -1/4 fourcornercovariance",
    "i5 1/4 exactONrectangle",
    "i5 1/4 fourcornercovariance",
    "i6 nativeONsourcepair",
    "i7 nativeONsourcepair",
    "i7 pair600",
    "i7 uniqueSPantecedent",
    "i7 typed460",
    "i7 restoredMTcontext",
    "i7 -1/4 exactONrectangle",
    "i7 -1/4 fourcornercovariance",
    "i7 1/4 exactONrectangle",
    "i7 1/4 fourcornercovariance",
    "full register census",
    "nativeONcompleteindices",
    "sixFloodthreeNoah"
  ],
  "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 C320_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."
}