{
"step": "C334",
"status": "passed",
"assertions_passed": 14,
"checks": [
"File_00.md:1050-1117 locator",
"File_02.md:646-808 locator",
"File_09.md:249-288 locator",
"File_11.md:331-353 locator",
"File_18.md:755-772 locator",
"File_18.md:1106-1116 locator",
"File_18.md:1254-1285 locator",
"File_18.md:1540-1552 locator",
"File_18.md:1870-1916 locator",
"File_18.md:2048-2080 locator",
"File18 common-origin and separate transport",
"File00 opposing directions",
"finite controls retained",
"death leaves both a choices"
],
"source_checks_passed": 19,
"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 File_00.md",
"frozen File_11.md",
"frozen C319_DATA.json",
"frozen C332_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 c21586ea741d987bbf688d2961e561448f057e701c93390c41033daca6ce7728
C01–C479/packets/C334/evidence/RESULTS.json