{
"step": "C413",
"status": "passed",
"assertions_passed": 75,
"checks": [
"C404 completed",
"C404 data_sha256",
"C404 results_sha256",
"C404 next_step_decision_sha256",
"C404 next decision",
"C404 predecessor certificate",
"C405 completed",
"C405 data_sha256",
"C405 results_sha256",
"C405 next_step_decision_sha256",
"C405 next decision",
"C405 predecessor certificate",
"C406 completed",
"C406 data_sha256",
"C406 results_sha256",
"C406 next_step_decision_sha256",
"C406 next decision",
"C406 predecessor certificate",
"C407 completed",
"C407 data_sha256",
"C407 results_sha256",
"C407 next_step_decision_sha256",
"C407 next decision",
"C407 predecessor certificate",
"C408 completed",
"C408 data_sha256",
"C408 results_sha256",
"C408 next_step_decision_sha256",
"C408 next decision",
"C408 predecessor certificate",
"C409 completed",
"C409 data_sha256",
"C409 results_sha256",
"C409 next_step_decision_sha256",
"C409 next decision",
"C409 predecessor certificate",
"C410 completed",
"C410 data_sha256",
"C410 results_sha256",
"C410 next_step_decision_sha256",
"C410 next decision",
"C410 predecessor certificate",
"C411 completed",
"C411 data_sha256",
"C411 results_sha256",
"C411 next_step_decision_sha256",
"C411 next decision",
"C411 predecessor certificate",
"C412 completed",
"C412 data_sha256",
"C412 results_sha256",
"C412 next_step_decision_sha256",
"C412 next decision",
"C412 predecessor certificate",
"C403 baseline binding",
"nine sealed predecessor packets",
"E-chart return obstruction",
"complete500 source translation",
"independent Shem census",
"502 domain retained",
"squared E replacement exclusion",
"fixed Mirror source boundary",
"entire500 coordinate domain",
"bridge and continuous record lifts",
"full direct source reconstruction",
"alternate root verification",
"source bytes File_18.md",
"source bytes File_09.md",
"source bytes C265_CERTIFICATE.json",
"retained source unchanged File_02.md",
"retained source unchanged File_46.md",
"retained source unchanged File_11.md",
"retained source unchanged C365_DATA.json",
"C265 checkpoint readable",
"authorization boundary"
],
"source_checks_passed": 68,
"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 C404_CERTIFICATE.json",
"frozen C404_DATA.json",
"frozen C404_RESULTS.json",
"frozen C404_NEXT_STEP.json",
"frozen C405_CERTIFICATE.json",
"frozen C405_DATA.json",
"frozen C405_RESULTS.json",
"frozen C405_NEXT_STEP.json",
"frozen C406_CERTIFICATE.json",
"frozen C406_DATA.json",
"frozen C406_RESULTS.json",
"frozen C406_NEXT_STEP.json",
"frozen C407_CERTIFICATE.json",
"frozen C407_DATA.json",
"frozen C407_RESULTS.json",
"frozen C407_NEXT_STEP.json",
"frozen C408_CERTIFICATE.json",
"frozen C408_DATA.json",
"frozen C408_RESULTS.json",
"frozen C408_NEXT_STEP.json",
"frozen C409_CERTIFICATE.json",
"frozen C409_DATA.json",
"frozen C409_RESULTS.json",
"frozen C409_NEXT_STEP.json",
"frozen C410_CERTIFICATE.json",
"frozen C410_DATA.json",
"frozen C410_RESULTS.json",
"frozen C410_NEXT_STEP.json",
"frozen C411_CERTIFICATE.json",
"frozen C411_DATA.json",
"frozen C411_RESULTS.json",
"frozen C411_NEXT_STEP.json",
"frozen C412_CERTIFICATE.json",
"frozen C412_DATA.json",
"frozen C412_RESULTS.json",
"frozen C412_NEXT_STEP.json",
"frozen C361_DATA.json",
"frozen C365_DATA.json",
"frozen C388_DATA.json",
"frozen C396_DATA.json",
"frozen C400_DATA.json",
"frozen C403_DATA.json",
"frozen C403_CERTIFICATE.json",
"frozen C403_SOURCE_MANIFEST.json",
"frozen C412_SOURCE_MANIFEST.json",
"frozen C265_CHECKPOINT.md",
"frozen C265_CERTIFICATE.json",
"frozen PRE_C413_ARCHIVE_AUDIT.json",
"frozen File_02.md",
"frozen File_46.md",
"frozen File_11.md",
"frozen ROOT_SECOND_METHOD_RESULTS.json",
"frozen AUTHORIZATION.json",
"frozen BASELINE_ACCESS.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 b0138ddd16ebde8fc12bc115ec4627bbb315ab6ca39a841a9c6c5a2f59dee362
C01–C479/packets/C413/evidence/RESULTS.json