RESULTS.json

{
  "step": "C374",
  "status": "passed",
  "assertions_passed": 23,
  "checks": [
    "source two-year displacements 3",
    "outer529 rectangle unchanged 3",
    "full cross matrix before 3",
    "full cross matrix delta 3",
    "local repaired partitions 3",
    "central cross span is not P remainder expansion 3",
    "source endpoint exchange survives 3",
    "finite reversal involution 3",
    "one affine map cannot fix ends and move middle 3",
    "same-offset cross spans (3, Fraction(-1, 4))",
    "same-offset cross spans (3, Fraction(1, 4))",
    "source two-year displacements 5",
    "outer529 rectangle unchanged 5",
    "full cross matrix before 5",
    "full cross matrix delta 5",
    "local repaired partitions 5",
    "central cross span is not P remainder expansion 5",
    "source endpoint exchange survives 5",
    "finite reversal involution 5",
    "one affine map cannot fix ends and move middle 5",
    "same-offset cross spans (5, Fraction(-1, 4))",
    "same-offset cross spans (5, Fraction(1, 4))",
    "two primary source realizations"
  ],
  "source_checks_passed": 16,
  "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",
    "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."
}