Evidence

RESULTS.json

Download source fileOpen in research workspace
{
  "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."
}

Linked sources and evidence

Edition and provenance

RESULTS.json

SHA-256 b0138ddd16ebde8fc12bc115ec4627bbb315ab6ca39a841a9c6c5a2f59dee362

C01–C479/packets/C413/evidence/RESULTS.json