{
  "step": "C471",
  "status": "completed",
  "title": "Source Bindings and Ancestry Gates of the Three 1250 Outputs",
  "previous_certificate_sha256": "287c87fa25b8a6d39093f73a3fd34d042f652b69843bb93cf957957c3af4c54e",
  "bindings": {
    "step": "STEP.json",
    "source_manifest": "SOURCE_MANIFEST.json",
    "report": "490d_C471_Source_Bindings_and_Inverse_Ancestry_of_1250_Outputs_20260925.md",
    "checkpoint": "490d_Mirror_Checkpoint_After_C471_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": "1de5386ede4356c0709e3cf20a5e3ca213a87fdacc7a45946d60ccdc7b9ebf7c",
  "source_manifest_sha256": "905100fb2664bfd7772e6bffb92a75e039c254e13ac66874773a889e62e59084",
  "report_sha256": "0ce336d0aaccd210dba5500af0293cd27640c29da89fbcdcbc6bdfe717f7390a",
  "checkpoint_sha256": "62b90298dec9e6d0610fea4e2a5aece596159fcb760ed9e69042d7bdf75108e1",
  "data_sha256": "a70094d1bdf97951e1c926210581920417937cce3c824609b4476bcbdb18db89",
  "results_sha256": "a7e8f6ac1f1750110f19160648f1038c8b63695ad99702a81610b70b945c5521",
  "calculation_sha256": "3c9f0dd1c898ec0b8cde84ba4d1987b7faeae34898f730aa02aef4a10cd55c02",
  "verifier_sha256": "522dc3d500a35472af7081298ec2b8c67e7c247ee8911c7ca17899c64f6cda87",
  "next_step_decision_sha256": "ac53fa8d1d58983e8a7be0304307e8e2522634da2b8c2fbd7bb112bd824e8b0b",
  "replay_sha256": "99bfb977c710c6f9fea2490c95ffd1bde834a9f5ee668d50c1e1e366cf58eaca",
  "control_integrity_sha256": "fef440ea1666c3c54d1a296e66d87da22a5fe1fcc3a83fe6e4412ad206c5665c",
  "readme_sha256": "531737f42cbdcabbfd1bcccc4473e2cf99f2d8be34c078cdd95bbb55c12b0c98",
  "assertions_passed": 52,
  "source_checks_passed": 21,
  "main_result": "All three1250 outputs have a matched-context MT Shem-death versus SP-primary/LXX-OFF Shem-birth binding, giving600+650. Their endpoint changes are−150/−50,−64/+36 and−128/−28. The first two-K ancestry fails at missing2093/3151; the third fails integrality at every fixed first pivot; only the established middle case has a sourced predecessor.",
  "limits": "The650 offset is between normalized MT and SP/LXX-OFF states. LXX native Cainan-ON input alternatives at3298 do not make its C0 output a native-ON record. No missing predecessor is generated or admitted.",
  "canonical_or_graph_edits": false,
  "new_independent_agent_review": false,
  "next_step_executed": false,
  "next_proposed_step": "Census all1250-year source pairs and their labelled role/context families, locate the three admitted E outputs, and distinguish the matched Shem600+650 family from other1250 comparisons and aliases."
}