{
  "step": "C472",
  "status": "completed",
  "title": "Complete 1250 Source-Pair Inventory and Role Families",
  "previous_certificate_sha256": "de41097d28524a91eab6fb97e827077669f245ef0ac32ef0f9fa06e52b528b18",
  "bindings": {
    "step": "STEP.json",
    "source_manifest": "SOURCE_MANIFEST.json",
    "report": "490d_C472_Complete_1250_Role_and_Context_Grammar_20260925.md",
    "checkpoint": "490d_Mirror_Checkpoint_After_C472_20260925.md",
    "data": "evidence/DATA.json",
    "results": "evidence/RESULTS.json",
    "calculation": "evidence/CALCULATION.py",
    "verifier": "evidence/check.py",
    "next_step_decision": "NEXT_STEP_DECISION.json",
    "replay": "REPLAY.json",
    "control_integrity": "CONTROL_INTEGRITY.json",
    "readme": "README.md"
  },
  "step_sha256": "7524ccedde2b3b1ac0ea28aa95d7645054b57904fa07dedf785c5a803b28985c",
  "source_manifest_sha256": "0f17f738ce05f39d0825f3cb69d20663e417de3179bb02015418fd80b86e6615",
  "report_sha256": "4c7e31457bad58a37065ff0ecae124b87df5a0030fc7e911c73772e16714ce76",
  "checkpoint_sha256": "8a5f9360fdcc7fa51af8f31be2906780f2ab2dd6046dd0b4c941a93b8e2129f5",
  "data_sha256": "67d0e241ea678edc1d3483b370fe9f806e1ff842cb55c7650d553ff77217003a",
  "results_sha256": "03c39bcaeeb8f74aa53f45000269c707cf935b7427473129f2c82e81c942b936",
  "calculation_sha256": "86bbcab356f0230ac56e8199affe530340e54a520e96e92f74f918d72fc64c46",
  "verifier_sha256": "522dc3d500a35472af7081298ec2b8c67e7c247ee8911c7ca17899c64f6cda87",
  "next_step_decision_sha256": "64c4da13f0943aafee4bbf47173b3a9ae1d3ad1c5e20a974610bf65002ced145",
  "replay_sha256": "48e2077dc15d6450615fd93ec4628d7f8f589513462bd46dd45c0e313a973ec7",
  "control_integrity_sha256": "fef440ea1666c3c54d1a296e66d87da22a5fe1fcc3a83fe6e4412ad206c5665c",
  "readme_sha256": "4e9673e3cc3f0816c8c7f9221269fe8145e3be92a703c94f1ff7fc15c910f00c",
  "assertions_passed": 149,
  "source_checks_passed": 22,
  "main_result": "The complete1250 inventory contains74 coordinate pairs and130 label pairs. Three disjoint matched-context families contribute24 coordinate pairs each: MT Shem-death/SP-primary-or-LXX Shem-birth; MT Flood-start/SP-primary-or-LXX Noah-birth; and MT Flood-close/SP-companion Noah-birth. Two extra MT Noah-death/SP-companion Shem-birth pairs complete the coordinate inventory; eight additional label pairs are aliases of core coordinates. All three admitted E outputs lie in the Shem family.",
  "limits": "A coordinate alias is retained as a distinct record. The B-family −1 does not create an MT or LXX companion operator; its lower endpoint is an independently sourced Flood closing boundary.",
  "canonical_or_graph_edits": false,
  "new_independent_agent_review": false,
  "next_step_executed": false,
  "next_proposed_step": "Construct the typed common-context translations between the three24-pair1250 families, checking the +500 role correspondence and independent −1 Flood-boundary/SP-companion correspondence, then test whether the admitted E arrows translate with their required anchors."
}