{
  "step": "C291",
  "date": "2026-09-24",
  "status": "completed",
  "title": "The16K bridge interlaces the source pairs",
  "previous_certificate_sha256": "aceca3faa40323338d6299b334ee562f7c7b3abedfcf3d6cb77cac4474366d89",
  "source_manifest_sha256": "f7bbe3c5a2d1314ab83cd9f17ba0001a146c169275e9f600cc21833a57668c8e",
  "step_sha256": "600ab25d2802c9c6d8929ac4c38b427b3181f1a3a12ca89298b414f36dce6d0a",
  "report_sha256": "7f218068a8281b49eeecee472d9245fd54cd1ea803ab14d660b799a62a4ba049",
  "checkpoint_sha256": "35d09e65e7e74d445ddd37224d78c3771f9297aabb8df371fcd34b3a6da34115",
  "results_sha256": "dece640772a1ddf70cd8124c4e2174a72dce356053399849eaae54a6905410ab",
  "data_sha256": "864ad5035226c40102ae93d9508bd057191e728b17f6d5fcd3c5aabd5a2821e9",
  "calculation_sha256": "954d53d8ed490350aa1e8932adb208160b577199c9606a93107df5e809e8aee0",
  "verifier_sha256": "1b0d77f7bd90c94c014bf13467830ac053579a4ca021d6d777d8442441f73259",
  "review_sha256": "ec39c6abedbfe69481c7867c2c30935252c0f981304860735e04e0354261f0fc",
  "replay_sha256": "3a079fe415454b214e3fdf223cb7ffc4984d26490cd37e6f857243a8982b77be",
  "control_integrity_sha256": "7d55ffe99d593f94d5565c8c6301a449eb4cc7b03956b4db28299117f407543d",
  "next_step_decision_sha256": "6d5851e6841918c40ef6327d754270df853ec27bc503549bf8e9a9910e526476",
  "assertions_passed": 27,
  "source_checks_passed": 7,
  "frozen_inputs": 5,
  "main_result": "The fixed16K bridge interlaces the two source pairs at(4,5,6,7)K+i, with four complete numerical rows and two partial rows.",
  "limits": [
    "Translated source landings are generated positions, not new AD events.",
    "The sixteen-K relation is derived from the seventeen-K correspondence.",
    "Two lower rows remain incomplete."
  ],
  "canonical_or_graph_edits": false,
  "new_independent_agent_review": false,
  "next_proposed_step": "C292: solve all equal-spacing translations of the same source pairs, without choosing a new bridge.",
  "next_step_executed": false
}