{
  "step": "C460",
  "status": "completed",
  "title": "Modulo-23 Selection of the Unique Second Expansion",
  "previous_certificate_sha256": "fe7dc5db8930f3969f9976cb448be2f6dc9984ca5ad4e22ffa1e10058addb558",
  "bindings": {
    "step": "STEP.json",
    "source_manifest": "SOURCE_MANIFEST.json",
    "report": "490d_C460_Residue_Selection_of_the_Complete_2K_Ladder_20260925.md",
    "checkpoint": "490d_Mirror_Checkpoint_After_C460_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": "7ac1c7221729214b8c42e45f79886507be03ed687bd68f6a9f8db197ae90ca07",
  "source_manifest_sha256": "f20d73a39c51018aac0ef1743c56969dbca95d0b7463b8b25dbe61c94453abae",
  "report_sha256": "b2390d7449653644e2c7f102aa47784a89515f2e8ac0e7ee8778d66af2fb5cef",
  "checkpoint_sha256": "00a9087c9016bee93640bb2244527068fca4e53a775c131e262d1ed451cc53da",
  "data_sha256": "38bd6fe0292f41386b566bea794077fbdd656ae8280470268a126eb9055c0d92",
  "results_sha256": "51e806bf5ba4e46d9944bf70869cf4dedaa07ca3d1196d82b31dc856a739a469",
  "calculation_sha256": "dc5de79933d89d221b9774ee233feafa60ef031fc98e2e10b2ee45dec2a7c4dd",
  "verifier_sha256": "46964ade0128d97b589fb678853daf7b81ffff1d90eb1a99221031ba734b093f",
  "next_step_decision_sha256": "a4867851751fe4c67b5fb71a527e2f4ea9f01197a06079c7e1b1400faf1ca321",
  "replay_sha256": "ba080715c673d92f73ae7f30edfefd8c26c540399e3ebe76af67975b04b82c97",
  "control_integrity_sha256": "24e687bf3e03c7f16c3ca2aafe4c72e9aab25f03d55fa644c44a178e698ff3df",
  "readme_sha256": "7c1554bc6540acd732573ef78b53a6daf9b62819b8fe7a38b944ecf99d9c2c2b",
  "assertions_passed": 17,
  "source_checks_passed": 20,
  "main_result": "Of16 possible second E applications to the two1150 intervals, exactly one has integer outputs and it is fully sourced:2020/3170→1956/3206 about2756. The rows have residues20 and19 modulo23; the eight fixed pivots include residue19 only at2756 and no residue20.",
  "limits": "Modulo23 is an admission criterion for this fixed E menu. It is not a new general chronology rule, and the hypothetical translated pivot remains unadmitted.",
  "canonical_or_graph_edits": false,
  "new_independent_agent_review": false,
  "next_step_executed": false,
  "next_proposed_step": "Map all60 sourced529/1058 regular pairs through the two already fixed corner exchangesX_A(x)=A−x, A=−2639 and−2635, and require both reflected endpoints in the frozen48-record LXX cumulative register."
}