{
  "step": "C318",
  "status": "completed",
  "date": "2026-09-24",
  "title": "Typed decomposition of the paired458 replacement",
  "previous_certificate_sha256": "726d3ff78ca71bee3af46200ae1b3be16d155e3175a74d9b68ca3490ec5b5497",
  "bindings": {
    "step": "STEP.json",
    "source_manifest": "SOURCE_MANIFEST.json",
    "report": "490d_C318_Typed_458_Source_State_Decomposition_20260924.md",
    "checkpoint": "490d_Mirror_Checkpoint_After_C318_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/C318_Independent_Math.py",
    "review_1": "evidence/C318_Independent_Math_Results.json",
    "review_2": "evidence/C318_Source_Review.md"
  },
  "step_sha256": "788da265ff3ad59cbfcf488739aa08634b7ecc3464bbfc80d3cbd23331bbf788",
  "source_manifest_sha256": "c4b7d35966492dc310a749f25c2b05ae1b00942aa996c3dcd5f65938496813bc",
  "report_sha256": "85f3051992a42a9cd471f03a5987c5f79ffa5f7d247f4113cb400fbfb9f7ed90",
  "checkpoint_sha256": "c4a45e6447070f52c3c091080e3ae41b5a421e6f85920b432d4e1b40aac7b321",
  "data_sha256": "a43db948e497541e5a00597fc6691275b7fe41c18ff89d0ae637befb7c4512f3",
  "results_sha256": "000ca45ff7917230a5fb99d96ec9d3d2e9d7f2f69a3f0e2d7f5ea49001ce3284",
  "calculation_sha256": "d2f899e9e883f5082f9a40627a1e671caa24d7c54dc0fcca4515596df987e7b1",
  "verifier_sha256": "9f175670abb70f7819dd7f6d997ff0bef2e58df8dffd763b433f6c6cd62e332d",
  "next_step_decision_sha256": "1097ef638503ebf64610a25e4d3bd73851693779422fba45f56e3ceda9018154",
  "replay_sha256": "d6c30dbd482c8adc18870aa91331f831cc0d02d042230672451c4304651d7d53",
  "control_integrity_sha256": "9810807cb07b02f43f568f68bb82cb41a6eeff6799902254b4932e5c350ac838",
  "readme_sha256": "ef5096f211f74e44ddd760026b8d4bd35bd496dc46380e3f98addbc1b5974450",
  "review_0_sha256": "4b6dc704a76a906370631e1032563d346f1f84ead2ed89dd074b6a73e1e9e417",
  "review_1_sha256": "a89e2a2bb1afe5fed84cf40e81071e7b2f3aea662c40ee56a13738e3d7701e80",
  "review_2_sha256": "f2484a0772cd2367c259b2a841744f2db6cf3668648e6d0a878fe735e8af075c",
  "assertions_passed": 57,
  "source_checks_passed": 14,
  "main_result": "Thepaired−458 replacement decomposes as cumulative−460+2 and regular−650+130+60+2. All intermediate states pass; finalsource endpoints exist onlyi3…5. The sources permit ingredients but do not prescribe the exactpairedselection.",
  "limits": "Signs and source roles remain explicit. Three admissible compositions do not authorize the missing annual members orGear4, nor establish a prescribed selector.",
  "canonical_or_graph_edits": false,
  "new_independent_agent_review": true,
  "next_proposed_step": "Hold all source contexts fixed and toggle the cumulative+2 annual selection and regular+2 Gear selection independently in a four-case sensitivity test. Which17K and all-K relations actually require coupling them?",
  "next_step_executed": false
}