RESULTS.json

{
  "step": "C332",
  "status": "passed",
  "assertions_passed": 163,
  "checks": [
    "i7/00 Nsource",
    "i7/00 D/Msource",
    "i7/00 originaladmission",
    "i7/00 deathformula",
    "i7/00 rail490formula",
    "i7/00 restated2K",
    "i7/00-1/4 inheritedcomponents",
    "i7/001/4 inheritedcomponents",
    "i6/00 Nsource",
    "i6/00 D/Msource",
    "i6/00 originaladmission",
    "i6/00 deathformula",
    "i6/00 rail490formula",
    "i6/00 restated2K",
    "i6/00-1/4 inheritedcomponents",
    "i6/001/4 inheritedcomponents",
    "i5/00 Nsource",
    "i5/00 D/Msource",
    "i5/00 originaladmission",
    "i5/00 deathformula",
    "i5/00 rail490formula",
    "i5/00 restated2K",
    "i5/00-1/4 inheritedcomponents",
    "i5/001/4 inheritedcomponents",
    "i4/00 Nsource",
    "i4/00 D/Msource",
    "i4/00 originaladmission",
    "i4/00 deathformula",
    "i4/00 rail490formula",
    "i4/00 restated2K",
    "i4/00-1/4 inheritedcomponents",
    "i4/001/4 inheritedcomponents",
    "i3/00 Nsource",
    "i3/00 D/Msource",
    "i3/00 originaladmission",
    "i3/00 deathformula",
    "i3/00 rail490formula",
    "i3/00 restated2K",
    "i3/00-1/4 inheritedcomponents",
    "i3/001/4 inheritedcomponents",
    "i7/02 Nsource",
    "i7/02 D/Msource",
    "i7/02 originaladmission",
    "i7/02 deathformula",
    "i7/02 rail490formula",
    "i7/02 restated2K",
    "i7/02-1/4 inheritedcomponents",
    "i7/021/4 inheritedcomponents",
    "i6/02 Nsource",
    "i6/02 D/Msource",
    "i6/02 originaladmission",
    "i6/02 deathformula",
    "i6/02 rail490formula",
    "i6/02 restated2K",
    "i6/02-1/4 inheritedcomponents",
    "i6/021/4 inheritedcomponents",
    "i5/02 Nsource",
    "i5/02 D/Msource",
    "i5/02 originaladmission",
    "i5/02 deathformula",
    "i5/02 rail490formula",
    "i5/02 restated2K",
    "i5/02-1/4 inheritedcomponents",
    "i5/021/4 inheritedcomponents",
    "i4/02 Nsource",
    "i4/02 D/Msource",
    "i4/02 originaladmission",
    "i4/02 deathformula",
    "i4/02 rail490formula",
    "i4/02 restated2K",
    "i4/02-1/4 inheritedcomponents",
    "i4/021/4 inheritedcomponents",
    "i3/02 Nsource",
    "i3/02 D/Msource",
    "i3/02 originaladmission",
    "i3/02 deathformula",
    "i3/02 rail490formula",
    "i3/02 restated2K",
    "i3/02-1/4 inheritedcomponents",
    "i3/021/4 inheritedcomponents",
    "i7/20 Nsource",
    "i7/20 D/Msource",
    "i7/20 originaladmission",
    "i7/20 deathformula",
    "i7/20 rail490formula",
    "i7/20 restated2K",
    "i7/20-1/4 inheritedcomponents",
    "i7/201/4 inheritedcomponents",
    "i6/20 Nsource",
    "i6/20 D/Msource",
    "i6/20 originaladmission",
    "i6/20 deathformula",
    "i6/20 rail490formula",
    "i6/20 restated2K",
    "i6/20-1/4 inheritedcomponents",
    "i6/201/4 inheritedcomponents",
    "i5/20 Nsource",
    "i5/20 D/Msource",
    "i5/20 originaladmission",
    "i5/20 deathformula",
    "i5/20 rail490formula",
    "i5/20 restated2K",
    "i5/20-1/4 inheritedcomponents",
    "i5/201/4 inheritedcomponents",
    "i4/20 Nsource",
    "i4/20 D/Msource",
    "i4/20 originaladmission",
    "i4/20 deathformula",
    "i4/20 rail490formula",
    "i4/20 restated2K",
    "i4/20-1/4 inheritedcomponents",
    "i4/201/4 inheritedcomponents",
    "i3/20 Nsource",
    "i3/20 D/Msource",
    "i3/20 originaladmission",
    "i3/20 deathformula",
    "i3/20 rail490formula",
    "i3/20 restated2K",
    "i3/20-1/4 inheritedcomponents",
    "i3/201/4 inheritedcomponents",
    "i7/22 Nsource",
    "i7/22 D/Msource",
    "i7/22 originaladmission",
    "i7/22 deathformula",
    "i7/22 rail490formula",
    "i7/22 restated2K",
    "i7/22-1/4 inheritedcomponents",
    "i7/221/4 inheritedcomponents",
    "i6/22 Nsource",
    "i6/22 D/Msource",
    "i6/22 originaladmission",
    "i6/22 deathformula",
    "i6/22 rail490formula",
    "i6/22 restated2K",
    "i6/22-1/4 inheritedcomponents",
    "i6/221/4 inheritedcomponents",
    "i5/22 Nsource",
    "i5/22 D/Msource",
    "i5/22 originaladmission",
    "i5/22 deathformula",
    "i5/22 rail490formula",
    "i5/22 restated2K",
    "i5/22-1/4 inheritedcomponents",
    "i5/221/4 inheritedcomponents",
    "i4/22 Nsource",
    "i4/22 D/Msource",
    "i4/22 originaladmission",
    "i4/22 deathformula",
    "i4/22 rail490formula",
    "i4/22 restated2K",
    "i4/22-1/4 inheritedcomponents",
    "i4/221/4 inheritedcomponents",
    "i3/22 Nsource",
    "i3/22 D/Msource",
    "i3/22 originaladmission",
    "i3/22 deathformula",
    "i3/22 rail490formula",
    "i3/22 restated2K",
    "i3/22-1/4 inheritedcomponents",
    "i3/221/4 inheritedcomponents",
    "two survivingtogglechoices",
    "combinedtwo17K conditional22",
    "counts"
  ],
  "source_checks_passed": 17,
  "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 C319_DATA.json",
    "frozen C319_REPORT.md",
    "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."
}