Evidence

RESULTS.json

Download source fileOpen in research workspace
{
  "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."
}

Linked sources and evidence

Edition and provenance

RESULTS.json

SHA-256 c21586ea741d987bbf688d2961e561448f057e701c93390c41033daca6ce7728

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