{
  "step": "C447",
  "status": "completed",
  "title": "All-Word 529 Test and Established-Path Connectivity",
  "previous_certificate_sha256": "052e7933e2a75f85f1db67b8a3431cc388c99f812bf3a7a25eaeb81470f3dde3",
  "bindings": {
    "step": "STEP.json",
    "source_manifest": "SOURCE_MANIFEST.json",
    "report": "490d_C447_All_Word_529_Exclusion_and_E_Path_Boundary_20260925.md",
    "checkpoint": "490d_Mirror_Checkpoint_After_C447_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": "d2755b360fb4b012c2824b837526cc57a0526650430b27e4d4abf946af77e749",
  "source_manifest_sha256": "da2d8c307dac99f92441175d020dc7f3c804ff19a4d4f2b7d7a3aa1f7e0abaea",
  "report_sha256": "ce10ab1bca64ad63f42dc3a5b590619f89b284dbdb94eb4362e3f26c981c7015",
  "checkpoint_sha256": "5bfd311d3dd862ca3cf79d436f78e4c3abf89a1b3c53a57e7c5dc83a6b6dc77c",
  "data_sha256": "aba4db3bd1d2800d95a68fc7e522f06a0e068eda6b949f1aeb2383dfe8ef9d0e",
  "results_sha256": "94ba34104701c511da3f540b91d462323bb4a8ec0d3a481ae84155f06deeb68a",
  "calculation_sha256": "e6c4d33dcbf94c5dfdeddc32de73491febddb3bb7479222fdc5ba15350c988ea",
  "verifier_sha256": "46964ade0128d97b589fb678853daf7b81ffff1d90eb1a99221031ba734b093f",
  "next_step_decision_sha256": "f9099f86d7e86dd1604876032cdfa790d88b38ca84cace40db4150913ef688ab",
  "replay_sha256": "750b11aeb24be962052b5385e08aaa2d24ce5072695cb5852ea4a92e683941cc",
  "control_integrity_sha256": "24e687bf3e03c7f16c3ca2aafe4c72e9aab25f03d55fa644c44a178e698ff3df",
  "readme_sha256": "6eeb136b0eed1cf46ac5b153dd59d6acae84e384d7c6d700dd6977ddc6747681",
  "assertions_passed": 192,
  "source_checks_passed": 19,
  "main_result": "No nonzero multiple of 529 occurs among all 191 reflection-reachable coordinate pairs. The nonzero E-path coordinates 2148, 2020 and 1956 are reflection-isolated. The source pivots 3620/2756 share a four-point component; 3206/3170 share a different four-point component; midpoint3188 is a loop-only singleton.",
  "limits": "This excludes 529 spans within the four fixed-reflection reachability relation only. It does not exclude direct 529 pairs elsewhere in the source register or paths using other declared operators.",
  "canonical_or_graph_edits": false,
  "new_independent_agent_review": false,
  "next_step_executed": false,
  "next_proposed_step": "Classify all simple cycles and fixed-point loops in the finite reflection graph, compute their full affine word, and separate formula identities from returns valid only at a particular point."
}