{
  "step": "C451",
  "status": "completed",
  "title": "Complete Directed E and Reflection Reachability",
  "previous_certificate_sha256": "80536e596842a6893f141db3c147f829238272212defd52dd8ab6748f2501784",
  "bindings": {
    "step": "STEP.json",
    "source_manifest": "SOURCE_MANIFEST.json",
    "report": "490d_C451_Mixed_E_Reflection_All_Word_Closure_20260925.md",
    "checkpoint": "490d_Mirror_Checkpoint_After_C451_20260925.md",
    "data": "evidence/DATA.json",
    "results": "evidence/RESULTS.json",
    "calculation": "evidence/CALCULATION.py",
    "verifier": "evidence/check.py",
    "next_step_decision": "NEXT_STEP_DECISION.json",
    "replay": "REPLAY.json",
    "control_integrity": "CONTROL_INTEGRITY.json",
    "readme": "README.md"
  },
  "step_sha256": "c58ada69c736c0cf3883f8df2ca43c7e6457e36a3f4ea4607f7e49e5634948f4",
  "source_manifest_sha256": "663885d66a529d5e093c4cf588dc745fdeb99477efdaef2213aae7d1d47c839c",
  "report_sha256": "45af2c026cfa740d6d4ec97ea008ddf33019787afa776d4fde53c402f555f475",
  "checkpoint_sha256": "0aec1c17161ab7583b42a8b82a386be4daf029fa8a546015530e13af6d4335f9",
  "data_sha256": "fdfba61c9b21b70ce8e09534478c6113da9890fc6469d743faa02aa692fdb3da",
  "results_sha256": "88b4829f5d0103f245461c8faae1d918c7e1a7dedd78106915192a7555137a3c",
  "calculation_sha256": "92032fa9e63fd49cc499325edc7668f2bc6abc846097f5efd0d01e73ba9ae6d5",
  "verifier_sha256": "46964ade0128d97b589fb678853daf7b81ffff1d90eb1a99221031ba734b093f",
  "next_step_decision_sha256": "7f0eef539bfed3aa0dfe8c1773d556885a414bb27a281c1e3268cf86d207338b",
  "replay_sha256": "19182909d216986235850947295eeb8c7a9fe37e06cc73ac5aff7d84cc57240e",
  "control_integrity_sha256": "24e687bf3e03c7f16c3ca2aafe4c72e9aab25f03d55fa644c44a178e698ff3df",
  "readme_sha256": "49a391137fe85263192892e27fbd77151cca6d054aa5b55c31b09f8a3a634351",
  "assertions_passed": 245,
  "source_checks_passed": 20,
  "main_result": "The combined fixed E/reflection graph has245 operator-labelled arrows and522 reachable directed distinct pairs,140 beyond reflection-only reachability. None has a nonzero529-multiple gap. One merged strong component has eight coordinates; all other strong components retain the reflection partition.",
  "limits": "Reachability is numerical and direction-sensitive. A strong component is not a chronology, and coordinate closure does not erase the original source labels.",
  "canonical_or_graph_edits": false,
  "new_independent_agent_review": false,
  "next_step_executed": false,
  "next_proposed_step": "Resolve the unique enlarged eight-coordinate strong component: enumerate its simple directed cycles containing E, retain their affine maps and source-label identities, and identify which arrows merge the old components."
}