RESULTS.json

{
  "step": "C377",
  "status": "passed",
  "assertions_passed": 26,
  "checks": [
    "one restored SP death family 2",
    "death J conversion 2",
    "whole biography J obstruction 2",
    "whole biography translation 2",
    "same P pivot cannot share edge 2",
    "no cumulative source counterpart 2",
    "one restored SP death family 3",
    "death J conversion 3",
    "whole biography J obstruction 3",
    "whole biography translation 3",
    "same P pivot cannot share edge 3",
    "no cumulative source counterpart 3",
    "one restored SP death family 4",
    "death J conversion 4",
    "whole biography J obstruction 4",
    "whole biography translation 4",
    "same P pivot cannot share edge 4",
    "no cumulative source counterpart 4",
    "one restored SP death family 5",
    "death J conversion 5",
    "whole biography J obstruction 5",
    "whole biography translation 5",
    "same P pivot cannot share edge 5",
    "no cumulative source counterpart 5",
    "four-edge sequence",
    "same context across all source records"
  ],
  "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 C375_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."
}