{
  "step": "C303",
  "date": "2026-09-24",
  "status": "completed",
  "title": "Overlap with the retained8395 and17K correspondences",
  "previous_certificate_sha256": "4741b77fcf276da0854a36e2d1a5c39731e23e60b5df95578af4c1b412422f96",
  "source_manifest_sha256": "5f0526a9ce56d48044ecd46eaf0e2b62df31ddb4b102c5f6b3af3df60349484c",
  "step_sha256": "7d90ec99b4ea7c85cd2c4f630697c28326bf7744cf4719ea8bef2c8c15d2e156",
  "report_sha256": "7574a85edf0812b7a25f42956fadd0ba630dd1d9baa15cf57a3675587070c09e",
  "checkpoint_sha256": "643490f3045ce7fd3542e56f87e65a13e4ea7d522f418342a29f627553f59a39",
  "results_sha256": "bd7ce0978438701023e9e1570663c16762da926b403e5421e978b2ff49068b20",
  "data_sha256": "a0ef503b5c291507afb37907008b7f2644c0d5e4f71773454643f95ecbf07207",
  "calculation_sha256": "24cf0007c3cbc53e243d0b731beff8147905f022f1b946f4f7e0faa2054615b0",
  "verifier_sha256": "1b0d77f7bd90c94c014bf13467830ac053579a4ca021d6d777d8442441f73259",
  "review_sha256": "27bc74f31d3ed6fb2583101e19b25149cf0d0dd3e0e237382a93808b7e85b9fc",
  "replay_sha256": "4473980362d68cdc24702f8a6b15fe69a9114645d5058d1a9441b482374bdb9a",
  "control_integrity_sha256": "41aee61f77fbc03abaf36ac516ed70de5eb5b9e3532ea9adcb9d26b0eeb3b797",
  "next_step_decision_sha256": "be75470583508bffca44e0a380ec17fd1021851edb6d1a8c9f1f589b4cbe0332",
  "assertions_passed": 8,
  "source_checks_passed": 8,
  "frozen_inputs": 6,
  "main_result": "Six fixed2832 Flood comparisons yield four8395 and two17K overlaps; the joint complete-family offsets are2 and3.",
  "limits": [
    "The endpoint intersection does not manufacture an interior path.",
    "MT and SP Flood endpoints in the table have different source bindings.",
    "Missing values are absent in the held domain, not universally impossible."
  ],
  "canonical_or_graph_edits": false,
  "new_independent_agent_review": false,
  "next_proposed_step": "C304: Check the two17K overlaps against retained original Report09 interfaces and the unchanged C127 graph, preserving interior path provenance.",
  "next_step_executed": false
}