RESULTS.json

{
  "step": "C319",
  "status": "passed",
  "assertions_passed": 121,
  "checks": [
    "00 i7 membership",
    "00 i7 exact formulas",
    "00 i7 two17K criterion",
    "00 i7 allK criterion",
    "00 i7 -1/4 phases",
    "00 i7 1/4 phases",
    "00 i6 membership",
    "00 i6 exact formulas",
    "00 i6 two17K criterion",
    "00 i6 allK criterion",
    "00 i6 -1/4 phases",
    "00 i6 1/4 phases",
    "00 i5 membership",
    "00 i5 exact formulas",
    "00 i5 two17K criterion",
    "00 i5 allK criterion",
    "00 i5 -1/4 phases",
    "00 i5 1/4 phases",
    "00 i4 membership",
    "00 i4 exact formulas",
    "00 i4 two17K criterion",
    "00 i4 allK criterion",
    "00 i4 -1/4 phases",
    "00 i4 1/4 phases",
    "00 i3 membership",
    "00 i3 exact formulas",
    "00 i3 two17K criterion",
    "00 i3 allK criterion",
    "00 i3 -1/4 phases",
    "00 i3 1/4 phases",
    "02 i7 membership",
    "02 i7 exact formulas",
    "02 i7 two17K criterion",
    "02 i7 allK criterion",
    "02 i7 -1/4 phases",
    "02 i7 1/4 phases",
    "02 i6 membership",
    "02 i6 exact formulas",
    "02 i6 two17K criterion",
    "02 i6 allK criterion",
    "02 i6 -1/4 phases",
    "02 i6 1/4 phases",
    "02 i5 membership",
    "02 i5 exact formulas",
    "02 i5 two17K criterion",
    "02 i5 allK criterion",
    "02 i5 -1/4 phases",
    "02 i5 1/4 phases",
    "02 i4 membership",
    "02 i4 exact formulas",
    "02 i4 two17K criterion",
    "02 i4 allK criterion",
    "02 i4 -1/4 phases",
    "02 i4 1/4 phases",
    "02 i3 membership",
    "02 i3 exact formulas",
    "02 i3 two17K criterion",
    "02 i3 allK criterion",
    "02 i3 -1/4 phases",
    "02 i3 1/4 phases",
    "20 i7 membership",
    "20 i7 exact formulas",
    "20 i7 two17K criterion",
    "20 i7 allK criterion",
    "20 i7 -1/4 phases",
    "20 i7 1/4 phases",
    "20 i6 membership",
    "20 i6 exact formulas",
    "20 i6 two17K criterion",
    "20 i6 allK criterion",
    "20 i6 -1/4 phases",
    "20 i6 1/4 phases",
    "20 i5 membership",
    "20 i5 exact formulas",
    "20 i5 two17K criterion",
    "20 i5 allK criterion",
    "20 i5 -1/4 phases",
    "20 i5 1/4 phases",
    "20 i4 membership",
    "20 i4 exact formulas",
    "20 i4 two17K criterion",
    "20 i4 allK criterion",
    "20 i4 -1/4 phases",
    "20 i4 1/4 phases",
    "20 i3 membership",
    "20 i3 exact formulas",
    "20 i3 two17K criterion",
    "20 i3 allK criterion",
    "20 i3 -1/4 phases",
    "20 i3 1/4 phases",
    "22 i7 membership",
    "22 i7 exact formulas",
    "22 i7 two17K criterion",
    "22 i7 allK criterion",
    "22 i7 -1/4 phases",
    "22 i7 1/4 phases",
    "22 i6 membership",
    "22 i6 exact formulas",
    "22 i6 two17K criterion",
    "22 i6 allK criterion",
    "22 i6 -1/4 phases",
    "22 i6 1/4 phases",
    "22 i5 membership",
    "22 i5 exact formulas",
    "22 i5 two17K criterion",
    "22 i5 allK criterion",
    "22 i5 -1/4 phases",
    "22 i5 1/4 phases",
    "22 i4 membership",
    "22 i4 exact formulas",
    "22 i4 two17K criterion",
    "22 i4 allK criterion",
    "22 i4 -1/4 phases",
    "22 i4 1/4 phases",
    "22 i3 membership",
    "22 i3 exact formulas",
    "22 i3 two17K criterion",
    "22 i3 allK criterion",
    "22 i3 -1/4 phases",
    "22 i3 1/4 phases",
    "admitted group counts"
  ],
  "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 C317_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."
}