{
  "step": "C309",
  "date": "2026-09-24",
  "status": "completed",
  "title": "Independent constraints and claim boundaries",
  "previous_certificate_sha256": "60513c5670f78a4af18890609aeaeed171217b4e3e02ff61a54c7835fa50a0ce",
  "source_manifest_sha256": "45d89646d8b3692622f23b2ed0316aaa20cc4689a3ac3ce8691b4d946f34a354",
  "step_sha256": "18e5e7080200af9ee2d78b40a24419851bda95f87302eb6de1327629b066e86c",
  "report_sha256": "1fc8b416bde753309e828d75c351dc03ef808224351a0ff5ef0492a9ab4c6475",
  "checkpoint_sha256": "6fc9a3fc1d86fe09f2f644b6bc2a8487cf387579f2754ac83033b083c2fddc42",
  "results_sha256": "0394d23edb053156fc03a9d5c2bb03b80f88852007252c4db08f52961b79ef77",
  "data_sha256": "80942396f10b3449c290baac3415dc0c2976dd3c6677dd9cf3a20819cfd83ec3",
  "calculation_sha256": "b025700a8cc06854eab08b37c4a29c1070304d2fc5339f7bfe462b093e3f76d8",
  "verifier_sha256": "1b0d77f7bd90c94c014bf13467830ac053579a4ca021d6d777d8442441f73259",
  "review_sha256": "ba69e85b0345dca99595aacd634c337f816b90bee211ab780c2227f057ab438e",
  "replay_sha256": "cc5cc822f0de610f6b35b4c85da8538f51573936a442eeeaf9b7ff7c11771acb",
  "control_integrity_sha256": "7ba5afa6c80192a0d48af2157f7cf26538cbb1baa35d143592ef827b4641230d",
  "next_step_decision_sha256": "ad9d3f6930f9afd70f51e0c5ebf80e31a71c43c2ac42278dd1080ebb4cefa21c",
  "assertions_passed": 16,
  "source_checks_passed": 14,
  "frozen_inputs": 12,
  "main_result": "The six core duration equations have rank3; source-qualified structural gains survive, but aliases and dependent equations are not independent witnesses.",
  "limits": [
    "Scalar rank does not replace source membership or phase verification.",
    "The K-multiple coefficient pattern was read from supplied data, not derived without premises.",
    "Exact internal structure does not establish historical necessity or probability."
  ],
  "canonical_or_graph_edits": false,
  "new_independent_agent_review": false,
  "next_proposed_step": "C310: Compute the minimal fixed-context cover of the seven supported LXX600-segment indices, then synthesize the batch and publish the final restart package.",
  "next_step_executed": false
}