{
  "step": "C317",
  "status": "completed",
  "date": "2026-09-24",
  "title": "Source-qualified600 rectangles carried by17K",
  "previous_certificate_sha256": "e18937e038aa0ff22349bceb7d8fb22cbb44f40f5241593bba8f57f562a163e7",
  "bindings": {
    "step": "STEP.json",
    "source_manifest": "SOURCE_MANIFEST.json",
    "report": "490d_C317_Source_Qualified_600_Rectangles_at_17K_20260924.md",
    "checkpoint": "490d_Mirror_Checkpoint_After_C317_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",
    "review_0": "evidence/C317_Independent_Math.py",
    "review_1": "evidence/C317_Independent_Math_Results.json",
    "review_2": "evidence/C317_Source_Review.md"
  },
  "step_sha256": "5103bfe2a5a2e6a71e604186d7e5ed306d67e1eed84ae75253f78e24826baed6",
  "source_manifest_sha256": "8fb03e32fc24ec4cd4bcdee5c893289b1e10da9d00fb4418d5abf3f03a8a96c7",
  "report_sha256": "794fc9b214da16196a86c2381ed63e8337fee89472da35e5fac5cce8bdab0d99",
  "checkpoint_sha256": "680aefc80aef9410fd01322b81892c0551e173e61caf254a2ffb0121eae98e3d",
  "data_sha256": "2fbae4c23692b209806cde5e518edd01faa584448c48656f5383f5e0c651a221",
  "results_sha256": "335c5a8d899294a433ee1dcc9d01a6e7e07b0991c84971360e70b6036d982737",
  "calculation_sha256": "73e02a30804b9981e9fe9469bbb15c97f2a46e15bb988b1eb0d91072fa9e6cd5",
  "verifier_sha256": "9f175670abb70f7819dd7f6d997ff0bef2e58df8dffd763b433f6c6cd62e332d",
  "next_step_decision_sha256": "57cce3fa5229c60e4c5f56d73178e2066abdc8ff7bbd6b3aaef636a5f76d5910",
  "replay_sha256": "64f732d73a06ca6995028fc542a8bab08f032bc503fe0879e252083b40a5af4e",
  "control_integrity_sha256": "9810807cb07b02f43f568f68bb82cb41a6eeff6799902254b4932e5c350ac838",
  "readme_sha256": "ca50dabfad4678a2218039e0ef552b5080b62121a191027462053d34857d508c",
  "review_0_sha256": "799d28947a2d82e97558ffdf2a28a75e0ec783b38468e480f15d435960cd034b",
  "review_1_sha256": "8eb01d3dc2913e6fb7ab76f6605d6325c0ecced189eaedd6f82e48eab8a93a38",
  "review_2_sha256": "4fe71eae806fdd9b549abb02cf22229b96e80abf501a59cba6e1c0a5d6347b90",
  "assertions_passed": 46,
  "source_checks_passed": 14,
  "main_result": "Five600 rectangles and ten phase rectangles share two17K paths. Their duration rank is3. Replacing both lower corners by−458 recoversC287 only at i3…5; no independent second17K constraint follows.",
  "limits": "The two rectangle paths are algebraically dependent given equal600 sides. The458 replacement changes source labels; it is not an unrestricted translation rule.",
  "canonical_or_graph_edits": false,
  "new_independent_agent_review": true,
  "next_proposed_step": "Audit the paired458 replacement as explicit source-state operations: cumulative CainanON plus annual-index change, and regular SP→MT Flood comparison plus declared restoration and Gear change. Check every intermediate source state and boundary.",
  "next_step_executed": false
}