{
"step": "C344",
"status": "passed",
"assertions_passed": 18,
"checks": [
"source gap conversion",
"i2 controlled input",
"i2 converted gap",
"i2 existing endpoint matches",
"i3 controlled input",
"i3 converted gap",
"i3 existing endpoint matches",
"i3 same-Gear repairs",
"i3 directions",
"i4 controlled input",
"i4 converted gap",
"i4 existing endpoint matches",
"i5 controlled input",
"i5 converted gap",
"i5 existing endpoint matches",
"i5 same-Gear repairs",
"i5 directions",
"two primary realizations"
],
"source_checks_passed": 17,
"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 File_02.md",
"frozen C340_DATA.json",
"frozen C331_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."
}
Evidence
RESULTS.json
Linked sources and evidence
Edition and provenance
RESULTS.json
SHA-256 eb539584f1301332bff5d3f17777f8ea8290ce46975af6957ac280c7e3665ea4
C01–C479/packets/C344/evidence/RESULTS.json