{
  "step": "C407",
  "status": "completed",
  "date": "2026-09-24",
  "title": "500 and 502 source bindings and the finite Gear boundary",
  "previous_certificate_sha256": "c0d8f84eaa1b0172bf3a68fb0f12491ca2960bde71fa171a74d3e8f3278d725d",
  "bindings": {
    "step": "STEP.json",
    "source_manifest": "SOURCE_MANIFEST.json",
    "report": "490d_C407_500_and_502_Source_Bindings_and_Finite_Gear_Boundary_20260924.md",
    "checkpoint": "490d_Mirror_Checkpoint_After_C407_20260924.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": "a5602d86e6dc21b8cf1228cd4e241e6372474c0b7c05eb446a54c351b28f9480",
  "source_manifest_sha256": "f253d158bf05493316696875437d3e46ad2e2fc0b35e8248edcafc28d2340f4d",
  "report_sha256": "ba88c308ab17e763da3c36ffbe4c85946743d909e100ffd7b9a1a1b2d9c345df",
  "checkpoint_sha256": "cb9ed09199091e3de9092b47a5411f89cedf58a12af90f12c32fab33045b1e23",
  "data_sha256": "857ba049247c20e9cb842098850bd553c883a6821cbc4827d96978be1ef3002f",
  "results_sha256": "21f7383920512fc491c760f3a72b6354c662af7d470b7178babbc9d82b4d2999",
  "calculation_sha256": "0c0423a2d72d35d1af2263f5975789ca128b0ed80205da28618362961381c4e8",
  "verifier_sha256": "9f175670abb70f7819dd7f6d997ff0bef2e58df8dffd763b433f6c6cd62e332d",
  "next_step_decision_sha256": "789820a58e10a74127b0d2c438b10ade6f58fc6dc6d6c8f3fcce4a274d19dfda",
  "replay_sha256": "6cd2b5b855ceb997a729084ea1134ef2ddc169fe8381e4af1a62db2740d8904e",
  "control_integrity_sha256": "9810807cb07b02f43f568f68bb82cb41a6eeff6799902254b4932e5c350ac838",
  "readme_sha256": "aa4c91cb18cc76ac659db9c6efa45a8ed8e95aad86810927507bc50b2ecd3674",
  "assertions_passed": 50,
  "source_checks_passed": 17,
  "main_result": "The500 binding admits all12 labelled/six coordinate loops and both E/P/J graphs. The502 binding admits six labelled/three coordinate loops, including one complete E/P/J graph, by mapping originalG2–G3 to targetG1–G2. All six other502 cases require unavailableGear0 births; the admitted images are existing500 configurations.",
  "limits": "A missingGear0 is a finite domain boundary. Both500/100 and502/98 remain valid; repeated image coordinates are not independent witnesses.",
  "canonical_or_graph_edits": false,
  "new_independent_agent_review": false,
  "review_provenance": "Root-agent analysis and deterministic replay; no new independent-agent review",
  "next_proposed_step": "Apply the fixed−500 translation to the two primary C343 Noah-held1058→1150→1250 ladders and compare their source endpoints with the C363 Shem-held squared-E construction. Identify precisely which intermediate roles remain sourced, preserving the original two17K contexts and all recorded phase qualifications.",
  "next_step_executed": false
}