{
  "step": "C287",
  "date": "2026-09-24",
  "status": "completed",
  "title": "The four-node529 normal form",
  "previous_certificate_sha256": "a81c0e31c549f93692634483b43de65085a6aa03faea2b257fb876f50492991e",
  "source_manifest_sha256": "38235e8ad2b010fd98551101ed9353f25a552f1b2674fb3799a692948c8563e3",
  "step_sha256": "e27d387b2b278a2ec490d91cbe9f2013fd3e95c9400c6682c496149be7c829ba",
  "report_sha256": "d6f1dfe137e1cee2c0f7bcba8172e58c0a50ab8ff32d66249441cd4d64cdf6ef",
  "checkpoint_sha256": "4242a7fb792439cc92609cf5118f8613151fb53fbbc5ac32cc02fed448665df9",
  "results_sha256": "681f183acd4103d156b978069a11b8b5e59ea30b7b57a053454b127e10fe6f88",
  "data_sha256": "1f3fe8798fb89b1559247a1b209aabfa854d0ae5399b45623f4c398a36fa8ce0",
  "calculation_sha256": "5d4db4fb22b1dc5ad1c7df7eea581e807eceb327c0cd02f6221f892d5abf4975",
  "verifier_sha256": "1b0d77f7bd90c94c014bf13467830ac053579a4ca021d6d777d8442441f73259",
  "review_sha256": "1f4c3bfbe50a6cb93b8922d9f82b7d79f681e69d387a53d3333efb2952dcf2ef",
  "replay_sha256": "96af7d45b35319515aad76cb80e28da93ce1257bbced7609f9242b108f39687d",
  "control_integrity_sha256": "94fd35529dba45546827d28fd1a566911e72e2138a94c385474d1e9c7e506837",
  "next_step_decision_sha256": "e6bb93cbd6e231caef0a49b4ae98e3cd30616402d3d7b5342a0dcfd64ae1e703",
  "assertions_passed": 38,
  "source_checks_passed": 6,
  "frozen_inputs": 4,
  "main_result": "The complete supported rows have coordinates(-12K+i,-10K+i,5K+i,7K+i), yielding widths2K,15K,17K,19K.",
  "limits": [
    "A comparison matrix is not a physical two-dimensional chronology.",
    "The4K width difference is not itself an admitted event separation here.",
    "Co-located LXX/SP labels remain separate source identities."
  ],
  "canonical_or_graph_edits": false,
  "new_independent_agent_review": false,
  "next_proposed_step": "C288: enumerate source-supported paths and contrast them with abstract integer combinations of K widths.",
  "next_step_executed": false
}