Evidence

RESULTS.json

Download source fileOpen in research workspace
{
  "step": "C403",
  "status": "passed",
  "assertions_passed": 75,
  "checks": [
    "C394 completed",
    "C394 data_sha256",
    "C394 results_sha256",
    "C394 next_step_decision_sha256",
    "C394 next decision",
    "C394 predecessor certificate",
    "C395 completed",
    "C395 data_sha256",
    "C395 results_sha256",
    "C395 next_step_decision_sha256",
    "C395 next decision",
    "C395 predecessor certificate",
    "C396 completed",
    "C396 data_sha256",
    "C396 results_sha256",
    "C396 next_step_decision_sha256",
    "C396 next decision",
    "C396 predecessor certificate",
    "C397 completed",
    "C397 data_sha256",
    "C397 results_sha256",
    "C397 next_step_decision_sha256",
    "C397 next decision",
    "C397 predecessor certificate",
    "C398 completed",
    "C398 data_sha256",
    "C398 results_sha256",
    "C398 next_step_decision_sha256",
    "C398 next decision",
    "C398 predecessor certificate",
    "C399 completed",
    "C399 data_sha256",
    "C399 results_sha256",
    "C399 next_step_decision_sha256",
    "C399 next decision",
    "C399 predecessor certificate",
    "C400 completed",
    "C400 data_sha256",
    "C400 results_sha256",
    "C400 next_step_decision_sha256",
    "C400 next decision",
    "C400 predecessor certificate",
    "C401 completed",
    "C401 data_sha256",
    "C401 results_sha256",
    "C401 next_step_decision_sha256",
    "C401 next decision",
    "C401 predecessor certificate",
    "C402 completed",
    "C402 data_sha256",
    "C402 results_sha256",
    "C402 next_step_decision_sha256",
    "C402 next decision",
    "C402 predecessor certificate",
    "C393 baseline binding",
    "nine sealed predecessor packets",
    "primitive reverse J loops",
    "affine loops and biography limits",
    "unfiltered source family census",
    "commuting complete circuits",
    "original17K branch E obstruction",
    "all common P J return closure",
    "shared source three point graph",
    "all circuit source domain obstruction",
    "direct source reconstruction and warrant",
    "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 C365_DATA.json",
    "File11 source binding",
    "C265 checkpoint readable",
    "authorization boundary"
  ],
  "source_checks_passed": 65,
  "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 C394_CERTIFICATE.json",
    "frozen C394_DATA.json",
    "frozen C394_RESULTS.json",
    "frozen C394_NEXT_STEP.json",
    "frozen C395_CERTIFICATE.json",
    "frozen C395_DATA.json",
    "frozen C395_RESULTS.json",
    "frozen C395_NEXT_STEP.json",
    "frozen C396_CERTIFICATE.json",
    "frozen C396_DATA.json",
    "frozen C396_RESULTS.json",
    "frozen C396_NEXT_STEP.json",
    "frozen C397_CERTIFICATE.json",
    "frozen C397_DATA.json",
    "frozen C397_RESULTS.json",
    "frozen C397_NEXT_STEP.json",
    "frozen C398_CERTIFICATE.json",
    "frozen C398_DATA.json",
    "frozen C398_RESULTS.json",
    "frozen C398_NEXT_STEP.json",
    "frozen C399_CERTIFICATE.json",
    "frozen C399_DATA.json",
    "frozen C399_RESULTS.json",
    "frozen C399_NEXT_STEP.json",
    "frozen C400_CERTIFICATE.json",
    "frozen C400_DATA.json",
    "frozen C400_RESULTS.json",
    "frozen C400_NEXT_STEP.json",
    "frozen C401_CERTIFICATE.json",
    "frozen C401_DATA.json",
    "frozen C401_RESULTS.json",
    "frozen C401_NEXT_STEP.json",
    "frozen C402_CERTIFICATE.json",
    "frozen C402_DATA.json",
    "frozen C402_RESULTS.json",
    "frozen C402_NEXT_STEP.json",
    "frozen C365_DATA.json",
    "frozen C378_DATA.json",
    "frozen C393_DATA.json",
    "frozen C393_CERTIFICATE.json",
    "frozen C393_SOURCE_MANIFEST.json",
    "frozen C402_SOURCE_MANIFEST.json",
    "frozen C265_CHECKPOINT.md",
    "frozen C265_CERTIFICATE.json",
    "frozen PRE_C403_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 be9d137bb1be34bb33a4768c0b3817b76395805db1d8b69df795d0acd5e56992

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