RESULTS.json

{
  "step": "C384",
  "status": "passed",
  "assertions_passed": 23,
  "checks": [
    "two retained primary rows",
    "ladder i3",
    "source common repair i3",
    "sourced Shem image i3",
    "fixed E output noninteger i3",
    "static affine conjugacy (3, 'P')",
    "static affine conjugacy (3, 'J')",
    "ladder i5",
    "source common repair i5",
    "sourced Shem image i5",
    "fixed E output noninteger i5",
    "static affine conjugacy (5, 'P')",
    "static affine conjugacy (5, 'J')",
    "all six recorded endpoints translate",
    "translation E intertwiner",
    "moving mixed defect P",
    "first route existing endpoints P",
    "second route non-source P",
    "moving mixed defect J",
    "first route existing endpoints J",
    "second route non-source J",
    "same component translation -1/4",
    "same component translation 1/4"
  ],
  "source_checks_passed": 18,
  "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 C340_DATA.json",
    "frozen C341_DATA.json",
    "frozen C379_DATA.json",
    "frozen C382_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."
}