{
  "step": "C458",
  "status": "completed",
  "title": "Source Equations for the Two 2K Interval Ladders",
  "previous_certificate_sha256": "220138e5ba92b0d9e4f488e7800a5e849edeed855082fc83551e7c02b234dade",
  "bindings": {
    "step": "STEP.json",
    "source_manifest": "SOURCE_MANIFEST.json",
    "report": "490d_C458_Source_Basis_of_1058_1150_1250_Ladders_20260925.md",
    "checkpoint": "490d_Mirror_Checkpoint_After_C458_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": "74b01fe385e5c3036eea846aa845d9feff6efecb42643c50f04bd81faea52e7e",
  "source_manifest_sha256": "b6d1e56d225296a10a7f456bb92e93189d21e61e449c3e830b732adbb0f22cd8",
  "report_sha256": "4db97619b0b6eaa0085e33339335bf5c6524c1738882a97fb5fa1ac0cc0dfb80",
  "checkpoint_sha256": "e80f231bee4f4a5400a38d6ad6374ceebd884bf688767cf943d9d61e9ede53db",
  "data_sha256": "df91797c50cc65815a2914442251f4dc5f6fa144a1e9c28b652e76c4cf423c81",
  "results_sha256": "a076c9e7cd30e315ffb5b8b2b6cf258a0341b6807d5397fca7ffc45053b70ca5",
  "calculation_sha256": "8f5dea8a2d90769f51d8d824c456dfde45763b2b01fbc0d56849e45c6b7f3f63",
  "verifier_sha256": "46964ade0128d97b589fb678853daf7b81ffff1d90eb1a99221031ba734b093f",
  "next_step_decision_sha256": "ea650f6af4a7a07add1e3532b88625b81eec9c82726a1cec706047985cd96f39",
  "replay_sha256": "c9b586b68c8ebaf7bf9e36dbbd700428d182120066d968b666ac2302249a21e6",
  "control_integrity_sha256": "24e687bf3e03c7f16c3ca2aafe4c72e9aab25f03d55fa644c44a178e698ff3df",
  "readme_sha256": "a47067fa54616bd61da0e010a89156d9553b72768550c322596e42e98a693571",
  "assertions_passed": 26,
  "source_checks_passed": 19,
  "main_result": "Both admitted2K ladders resolve exactly into source terms. Their input gaps are350+650+60−2 and600+650−130−60−2, each1058. Both first output gaps are500+650=1150; the complete second output is600+650=1250. Eleven required coordinates have16 retained source records.",
  "limits": "All source labels remain distinct. The650 is the normalized MT-to-SP/LXX-OFF offset in this register, not a blanket native-LXX offset for every state.",
  "canonical_or_graph_edits": false,
  "new_independent_agent_review": false,
  "next_step_executed": false,
  "next_proposed_step": "Place every admitted fixed-pivot E input in its signed23-unit lattice and determine whether the two transported2K seeds are one translated four-point configuration, including the corresponding source-state translation."
}