RESULTS.json

{
  "step": "C323",
  "status": "passed",
  "assertions_passed": 69,
  "checks": [
    "C314 certificate completed",
    "C314 predecessor chain",
    "C314 bound data",
    "C314 bound results",
    "C314 bound next_step_decision",
    "C314 honest forward decision",
    "C315 certificate completed",
    "C315 predecessor chain",
    "C315 bound data",
    "C315 bound results",
    "C315 bound next_step_decision",
    "C315 honest forward decision",
    "C316 certificate completed",
    "C316 predecessor chain",
    "C316 bound data",
    "C316 bound results",
    "C316 bound next_step_decision",
    "C316 honest forward decision",
    "C317 certificate completed",
    "C317 predecessor chain",
    "C317 bound data",
    "C317 bound results",
    "C317 bound next_step_decision",
    "C317 honest forward decision",
    "C318 certificate completed",
    "C318 predecessor chain",
    "C318 bound data",
    "C318 bound results",
    "C318 bound next_step_decision",
    "C318 honest forward decision",
    "C319 certificate completed",
    "C319 predecessor chain",
    "C319 bound data",
    "C319 bound results",
    "C319 bound next_step_decision",
    "C319 honest forward decision",
    "C320 certificate completed",
    "C320 predecessor chain",
    "C320 bound data",
    "C320 bound results",
    "C320 bound next_step_decision",
    "C320 honest forward decision",
    "C321 certificate completed",
    "C321 predecessor chain",
    "C321 bound data",
    "C321 bound results",
    "C321 bound next_step_decision",
    "C321 honest forward decision",
    "C322 certificate completed",
    "C322 predecessor chain",
    "C322 bound data",
    "C322 bound results",
    "C322 bound next_step_decision",
    "C322 honest forward decision",
    "C314 finitecorrespondence",
    "C315 commonancestor failure",
    "C316 ancestrydistinction",
    "C317 dependentrectangle",
    "C318 typedcomposition",
    "C319 control defeats17K uniqueness",
    "C320 fullOFFcensus",
    "C320 G1companion boundary",
    "C321 nativeONcensus",
    "C322 fullbioqualification",
    "supportsets exact",
    "K factorization",
    "rectangle fourthedge dependent",
    "460 sourceingredients",
    "458 sourceingredients"
  ],
  "source_checks_passed": 54,
  "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",
    "frozen C314_RESULTS.json",
    "frozen C314_CERTIFICATE.json",
    "frozen C314_NEXT_STEP.json",
    "frozen C315_DATA.json",
    "frozen C315_RESULTS.json",
    "frozen C315_CERTIFICATE.json",
    "frozen C315_NEXT_STEP.json",
    "frozen C316_DATA.json",
    "frozen C316_RESULTS.json",
    "frozen C316_CERTIFICATE.json",
    "frozen C316_NEXT_STEP.json",
    "frozen C317_DATA.json",
    "frozen C317_RESULTS.json",
    "frozen C317_CERTIFICATE.json",
    "frozen C317_NEXT_STEP.json",
    "frozen C318_DATA.json",
    "frozen C318_RESULTS.json",
    "frozen C318_CERTIFICATE.json",
    "frozen C318_NEXT_STEP.json",
    "frozen C319_DATA.json",
    "frozen C319_RESULTS.json",
    "frozen C319_CERTIFICATE.json",
    "frozen C319_NEXT_STEP.json",
    "frozen C320_DATA.json",
    "frozen C320_RESULTS.json",
    "frozen C320_CERTIFICATE.json",
    "frozen C320_NEXT_STEP.json",
    "frozen C321_DATA.json",
    "frozen C321_RESULTS.json",
    "frozen C321_CERTIFICATE.json",
    "frozen C321_NEXT_STEP.json",
    "frozen C322_DATA.json",
    "frozen C322_RESULTS.json",
    "frozen C322_CERTIFICATE.json",
    "frozen C322_NEXT_STEP.json",
    "frozen C313_CERTIFICATE.json",
    "frozen C265_CERTIFICATE.json",
    "frozen C265_CHECKPOINT.md",
    "frozen AXIS_REPORT.md",
    "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."
}