Evidence

RESULTS.json

Download source fileOpen in research workspace
{
  "step": "C406",
  "status": "passed",
  "assertions_passed": 28,
  "checks": [
    "complete three Gear Shem families",
    "complete labelled match to independent500 proposal",
    "six coordinate and two complete loops",
    "fixed source loop geometry 0",
    "variant displacement 0",
    "fixed source loop geometry 1",
    "variant displacement 1",
    "fixed source loop geometry 2",
    "variant displacement 2",
    "fixed source loop geometry 3",
    "variant displacement 3",
    "fixed source loop geometry 4",
    "variant displacement 4",
    "fixed source loop geometry 5",
    "variant displacement 5",
    "fixed source loop geometry 6",
    "variant displacement 6",
    "fixed source loop geometry 7",
    "variant displacement 7",
    "fixed source loop geometry 8",
    "variant displacement 8",
    "fixed source loop geometry 9",
    "variant displacement 9",
    "fixed source loop geometry 10",
    "variant displacement 10",
    "fixed source loop geometry 11",
    "variant displacement 11",
    "all next death J comparisons pass"
  ],
  "source_checks_passed": 15,
  "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 C405_DATA.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 ba0ac70f70f774cf7bb797c2dab524e17097672105e27afe3adc9a6db4e53fb7

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