RESULTS.json

{
  "step": "C393",
  "status": "passed",
  "assertions_passed": 75,
  "checks": [
    "C384 completed",
    "C384 data_sha256",
    "C384 results_sha256",
    "C384 next_step_decision_sha256",
    "C384 next decision",
    "C384 predecessor certificate",
    "C385 completed",
    "C385 data_sha256",
    "C385 results_sha256",
    "C385 next_step_decision_sha256",
    "C385 next decision",
    "C385 predecessor certificate",
    "C386 completed",
    "C386 data_sha256",
    "C386 results_sha256",
    "C386 next_step_decision_sha256",
    "C386 next decision",
    "C386 predecessor certificate",
    "C387 completed",
    "C387 data_sha256",
    "C387 results_sha256",
    "C387 next_step_decision_sha256",
    "C387 next decision",
    "C387 predecessor certificate",
    "C388 completed",
    "C388 data_sha256",
    "C388 results_sha256",
    "C388 next_step_decision_sha256",
    "C388 next decision",
    "C388 predecessor certificate",
    "C389 completed",
    "C389 data_sha256",
    "C389 results_sha256",
    "C389 next_step_decision_sha256",
    "C389 next decision",
    "C389 predecessor certificate",
    "C390 completed",
    "C390 data_sha256",
    "C390 results_sha256",
    "C390 next_step_decision_sha256",
    "C390 next decision",
    "C390 predecessor certificate",
    "C391 completed",
    "C391 data_sha256",
    "C391 results_sha256",
    "C391 next_step_decision_sha256",
    "C391 next decision",
    "C391 predecessor certificate",
    "C392 completed",
    "C392 data_sha256",
    "C392 results_sha256",
    "C392 next_step_decision_sha256",
    "C392 next decision",
    "C392 predecessor certificate",
    "C383 baseline binding",
    "nine sealed predecessor packets",
    "direct mixed square distinction",
    "J pivot source P pivot absence",
    "whole affine and phase result",
    "valid alternative source modes retained",
    "finite source strips",
    "cumulative source obstruction",
    "unconditioned finite family census",
    "finite529 equivalence",
    "held Noah E graph census",
    "two source23 to25 edges",
    "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",
    "C265 checkpoint readable",
    "authorization boundary"
  ],
  "source_checks_passed": 62,
  "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 C384_CERTIFICATE.json",
    "frozen C384_DATA.json",
    "frozen C384_RESULTS.json",
    "frozen C384_NEXT_STEP.json",
    "frozen C385_CERTIFICATE.json",
    "frozen C385_DATA.json",
    "frozen C385_RESULTS.json",
    "frozen C385_NEXT_STEP.json",
    "frozen C386_CERTIFICATE.json",
    "frozen C386_DATA.json",
    "frozen C386_RESULTS.json",
    "frozen C386_NEXT_STEP.json",
    "frozen C387_CERTIFICATE.json",
    "frozen C387_DATA.json",
    "frozen C387_RESULTS.json",
    "frozen C387_NEXT_STEP.json",
    "frozen C388_CERTIFICATE.json",
    "frozen C388_DATA.json",
    "frozen C388_RESULTS.json",
    "frozen C388_NEXT_STEP.json",
    "frozen C389_CERTIFICATE.json",
    "frozen C389_DATA.json",
    "frozen C389_RESULTS.json",
    "frozen C389_NEXT_STEP.json",
    "frozen C390_CERTIFICATE.json",
    "frozen C390_DATA.json",
    "frozen C390_RESULTS.json",
    "frozen C390_NEXT_STEP.json",
    "frozen C391_CERTIFICATE.json",
    "frozen C391_DATA.json",
    "frozen C391_RESULTS.json",
    "frozen C391_NEXT_STEP.json",
    "frozen C392_CERTIFICATE.json",
    "frozen C392_DATA.json",
    "frozen C392_RESULTS.json",
    "frozen C392_NEXT_STEP.json",
    "frozen C365_DATA.json",
    "frozen C383_DATA.json",
    "frozen C383_CERTIFICATE.json",
    "frozen C383_SOURCE_MANIFEST.json",
    "frozen C265_CHECKPOINT.md",
    "frozen C265_CERTIFICATE.json",
    "frozen PRE_C393_ARCHIVE_AUDIT.json",
    "frozen File_02.md",
    "frozen File_46.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."
}