{
"step": "C350",
"status": "passed",
"assertions_passed": 144,
"checks": [
"3/E_N/J_R/N/-1/4",
"3/E_N/J_R/N/1/4",
"3/E_N/J_R/R/-1/4",
"3/E_N/J_R/R/1/4",
"3/E_N/J_R/H/-1/4",
"3/E_N/J_R/H/1/4",
"3/E_N/J_R/F/-1/4",
"3/E_N/J_R/F/1/4",
"3/E_N/J_R/M/-1/4",
"3/E_N/J_R/M/1/4",
"3/E_N/J_R/D/-1/4",
"3/E_N/J_R/D/1/4",
"3/E_N/J_R/S/-1/4",
"3/E_N/J_R/S/1/4",
"3/E_N/J_R/U/-1/4",
"3/E_N/J_R/U/1/4",
"3/E_N/J_R/V/-1/4",
"3/E_N/J_R/V/1/4",
"3/E_N/J_R/B/-1/4",
"3/E_N/J_R/B/1/4",
"3/E_N/J_R/C/-1/4",
"3/E_N/J_R/C/1/4",
"3/E_N/J_R constant",
"3/E_N/J_R no full square",
"3/E_N/J_M/N/-1/4",
"3/E_N/J_M/N/1/4",
"3/E_N/J_M/R/-1/4",
"3/E_N/J_M/R/1/4",
"3/E_N/J_M/H/-1/4",
"3/E_N/J_M/H/1/4",
"3/E_N/J_M/F/-1/4",
"3/E_N/J_M/F/1/4",
"3/E_N/J_M/M/-1/4",
"3/E_N/J_M/M/1/4",
"3/E_N/J_M/D/-1/4",
"3/E_N/J_M/D/1/4",
"3/E_N/J_M/S/-1/4",
"3/E_N/J_M/S/1/4",
"3/E_N/J_M/U/-1/4",
"3/E_N/J_M/U/1/4",
"3/E_N/J_M/V/-1/4",
"3/E_N/J_M/V/1/4",
"3/E_N/J_M/B/-1/4",
"3/E_N/J_M/B/1/4",
"3/E_N/J_M/C/-1/4",
"3/E_N/J_M/C/1/4",
"3/E_N/J_M constant",
"3/E_N/J_M no full square",
"3/J_R/J_M/N/-1/4",
"3/J_R/J_M/N/1/4",
"3/J_R/J_M/R/-1/4",
"3/J_R/J_M/R/1/4",
"3/J_R/J_M/H/-1/4",
"3/J_R/J_M/H/1/4",
"3/J_R/J_M/F/-1/4",
"3/J_R/J_M/F/1/4",
"3/J_R/J_M/M/-1/4",
"3/J_R/J_M/M/1/4",
"3/J_R/J_M/D/-1/4",
"3/J_R/J_M/D/1/4",
"3/J_R/J_M/S/-1/4",
"3/J_R/J_M/S/1/4",
"3/J_R/J_M/U/-1/4",
"3/J_R/J_M/U/1/4",
"3/J_R/J_M/V/-1/4",
"3/J_R/J_M/V/1/4",
"3/J_R/J_M/B/-1/4",
"3/J_R/J_M/B/1/4",
"3/J_R/J_M/C/-1/4",
"3/J_R/J_M/C/1/4",
"3/J_R/J_M constant",
"3/J_R/J_M no full square",
"5/E_N/J_R/N/-1/4",
"5/E_N/J_R/N/1/4",
"5/E_N/J_R/R/-1/4",
"5/E_N/J_R/R/1/4",
"5/E_N/J_R/H/-1/4",
"5/E_N/J_R/H/1/4",
"5/E_N/J_R/F/-1/4",
"5/E_N/J_R/F/1/4",
"5/E_N/J_R/M/-1/4",
"5/E_N/J_R/M/1/4",
"5/E_N/J_R/D/-1/4",
"5/E_N/J_R/D/1/4",
"5/E_N/J_R/S/-1/4",
"5/E_N/J_R/S/1/4",
"5/E_N/J_R/U/-1/4",
"5/E_N/J_R/U/1/4",
"5/E_N/J_R/V/-1/4",
"5/E_N/J_R/V/1/4",
"5/E_N/J_R/B/-1/4",
"5/E_N/J_R/B/1/4",
"5/E_N/J_R/C/-1/4",
"5/E_N/J_R/C/1/4",
"5/E_N/J_R constant",
"5/E_N/J_R no full square",
"5/E_N/J_M/N/-1/4",
"5/E_N/J_M/N/1/4",
"5/E_N/J_M/R/-1/4",
"5/E_N/J_M/R/1/4",
"5/E_N/J_M/H/-1/4",
"5/E_N/J_M/H/1/4",
"5/E_N/J_M/F/-1/4",
"5/E_N/J_M/F/1/4",
"5/E_N/J_M/M/-1/4",
"5/E_N/J_M/M/1/4",
"5/E_N/J_M/D/-1/4",
"5/E_N/J_M/D/1/4",
"5/E_N/J_M/S/-1/4",
"5/E_N/J_M/S/1/4",
"5/E_N/J_M/U/-1/4",
"5/E_N/J_M/U/1/4",
"5/E_N/J_M/V/-1/4",
"5/E_N/J_M/V/1/4",
"5/E_N/J_M/B/-1/4",
"5/E_N/J_M/B/1/4",
"5/E_N/J_M/C/-1/4",
"5/E_N/J_M/C/1/4",
"5/E_N/J_M constant",
"5/E_N/J_M no full square",
"5/J_R/J_M/N/-1/4",
"5/J_R/J_M/N/1/4",
"5/J_R/J_M/R/-1/4",
"5/J_R/J_M/R/1/4",
"5/J_R/J_M/H/-1/4",
"5/J_R/J_M/H/1/4",
"5/J_R/J_M/F/-1/4",
"5/J_R/J_M/F/1/4",
"5/J_R/J_M/M/-1/4",
"5/J_R/J_M/M/1/4",
"5/J_R/J_M/D/-1/4",
"5/J_R/J_M/D/1/4",
"5/J_R/J_M/S/-1/4",
"5/J_R/J_M/S/1/4",
"5/J_R/J_M/U/-1/4",
"5/J_R/J_M/U/1/4",
"5/J_R/J_M/V/-1/4",
"5/J_R/J_M/V/1/4",
"5/J_R/J_M/B/-1/4",
"5/J_R/J_M/B/1/4",
"5/J_R/J_M/C/-1/4",
"5/J_R/J_M/C/1/4",
"5/J_R/J_M constant",
"5/J_R/J_M no full square"
],
"source_checks_passed": 14,
"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",
"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."
}
Evidence
RESULTS.json
Linked sources and evidence
Edition and provenance
RESULTS.json
SHA-256 1f395ec18f4ad1c3e1b730856f09c919d2c1964ba40eb90e50bb34edfbcfdbe1
C01–C479/packets/C350/evidence/RESULTS.json