RESULTS.json

{
  "step": "C372",
  "status": "passed",
  "assertions_passed": 26,
  "checks": [
    "both ratios have unit numerator increment",
    "reduced integer-output ratios",
    "unit gain primitive inputs",
    "primitive pivot and side",
    "primitive output pair",
    "integer-input rational-family coefficients",
    "integer outputs require t divisible23",
    "C371 rational family consistency",
    "integer input alone is insufficient",
    "cumulative integer grammar 2",
    "cumulative source first segment equals pivot separation 2",
    "cumulative integer grammar 3",
    "cumulative source first segment equals pivot separation 3",
    "cumulative integer grammar 4",
    "cumulative source first segment equals pivot separation 4",
    "cumulative integer grammar 5",
    "cumulative source first segment equals pivot separation 5",
    "companion keeps distinct source gaps 2",
    "regular integer grammar 3",
    "regular source first segment equals pivot separation 3",
    "companion keeps distinct source gaps 4",
    "regular integer grammar 5",
    "regular source first segment equals pivot separation 5",
    "six source applications with dependent ancestry",
    "retained selector",
    "bridge complement agrees arithmetically"
  ],
  "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 C370_DATA.json",
    "frozen C364_DATA.json",
    "frozen C369_DATA.json",
    "frozen File_02.md",
    "frozen File_46.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."
}