RESULTS.json

{
  "step": "C359",
  "status": "passed",
  "assertions_passed": 14,
  "checks": [
    "one matched SP death 3",
    "existing source endpoints 3",
    "input and output legs 3",
    "two established ratios 3",
    "diagnostic total ratio and gain 3",
    "same sourced endpoint via translated arrow 3",
    "no single affine interpolation of all3 3",
    "one matched SP death 5",
    "existing source endpoints 5",
    "input and output legs 5",
    "two established ratios 5",
    "diagnostic total ratio and gain 5",
    "same sourced endpoint via translated arrow 5",
    "no single affine interpolation of all3 5"
  ],
  "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 C349_DATA.json",
    "frozen C356_DATA.json",
    "frozen File_02.md",
    "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."
}