{
  "step": "C307",
  "date": "2026-09-24",
  "status": "completed",
  "title": "Typed affine model and dependency rank",
  "previous_certificate_sha256": "9534cc090bd499f5561620f383f7e2cb8124864cab926e55c560490b51ae32b0",
  "source_manifest_sha256": "90dab911ef95f2b7ca78db210ebbf612f2cf9f9993f1de0534a1df39fe8c3cfc",
  "step_sha256": "ea81fa3622bd9e7833616d8b263c92803982921b7506f87669c5b959a6096342",
  "report_sha256": "d8e161067f67480320b04c64c1101dcbdfc968372a0289f5ad4773c06bf922d6",
  "checkpoint_sha256": "d8a56cddd6a1b42f617733e47d1f239625a84a0a1d78536ed425aa39a8b20346",
  "results_sha256": "565252c058e2573b52cc4a99c519ccf7131b8168a9d0a3aab00a33bac2e07630",
  "data_sha256": "ff036a22598d2cb784ab39fefc3f0207d8f653237e7530afe602c6c4baf087a0",
  "calculation_sha256": "c2288c7014265e57d42053593c6a9beac13b4b761741b8b35d1998a07f3300cc",
  "verifier_sha256": "1b0d77f7bd90c94c014bf13467830ac053579a4ca021d6d777d8442441f73259",
  "review_sha256": "b5d0fd95b3be779e3adf8394c0508f7bfa4fff6e35aac216c22c2388c0057cb4",
  "replay_sha256": "0743669e79b4fd30f800f93cddf8b9b477a770ba78e596cfa2f8638568baedad",
  "control_integrity_sha256": "41aee61f77fbc03abaf36ac516ed70de5eb5b9e3532ea9adcb9d26b0eeb3b797",
  "next_step_decision_sha256": "beadfdf491664ff591f38b73208f271cb7f7df8593d2d5335da54ac6f56028ae",
  "assertions_passed": 15,
  "source_checks_passed": 8,
  "frozen_inputs": 6,
  "main_result": "The joint interface has rank4 in five centers;598 is dependent, while600 forces a non-admitted half-integer solution.",
  "limits": [
    "Rank is local to this typed interface, not a new full-graph rank.",
    "The conditional affine model does not establish historical necessity.",
    "Context and phase operations are not interchangeable."
  ],
  "canonical_or_graph_edits": false,
  "new_independent_agent_review": false,
  "next_proposed_step": "C308: Compare the two already supplied cumulative reflected anchorsAD1406 andAD1446 using the same bridges, regularAD6 and fixed72×528 register; distinguish point counts from complete600 segments.",
  "next_step_executed": false
}