{
  "step": "C454",
  "status": "completed",
  "title": "Direct 529 Pairs Versus Operator Reachability",
  "previous_certificate_sha256": "07871d3681a6299a91d6513429f8e4d68d5e89f5389e2a394beb64b0e98a107f",
  "bindings": {
    "step": "STEP.json",
    "source_manifest": "SOURCE_MANIFEST.json",
    "report": "490d_C454_Direct_529_Source_Pairs_and_Disconnected_Operators_20260925.md",
    "checkpoint": "490d_Mirror_Checkpoint_After_C454_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": "5fad6db5fb657a13444455e6c1747db278994be6b6cafe3eb414b5e76b7ae8cd",
  "source_manifest_sha256": "9a9eba007ad015ee9a2e2fca01e114fd6471b9dd9a0f486aa724814652c0ee5e",
  "report_sha256": "a40bc412367da8c29281afd63841befa25712f1cc83a7afa8c9ccd569f1cd328",
  "checkpoint_sha256": "908b96e4c6d3f938fc9ee387a851a3ccdaa35ceeb7555f3d1f38fc772864240d",
  "data_sha256": "3267938f5afccd157c8912dd1810e7d407267ee40a8e411d8b54dc57545b45f8",
  "results_sha256": "dc3b7eead428b58415c84153237a9f368fdb0b02c63e841d5682828651e69068",
  "calculation_sha256": "9c1c140998f1584e151cf7b052309168871f0711dd2466deb8bef6db909374d3",
  "verifier_sha256": "46964ade0128d97b589fb678853daf7b81ffff1d90eb1a99221031ba734b093f",
  "next_step_decision_sha256": "b148163a8405f8f82e60974b6265826c0ef8618e82a57a4a104c2b8261ff374f",
  "replay_sha256": "beb29b1d387ac8de45c688bf3c38147cd586da82a66f75a22b48992dd9c1b1d0",
  "control_integrity_sha256": "24e687bf3e03c7f16c3ca2aafe4c72e9aab25f03d55fa644c44a178e698ff3df",
  "readme_sha256": "7fc999b08a771ab0ef93f81ed9527eeb9907050bf8350b23cad38c7a563d6ec2",
  "assertions_passed": 60,
  "source_checks_passed": 20,
  "main_result": "The frozen register contains60 direct nonzero529-multiple coordinate pairs:34 at529 and26 at1058, with119 labelled source assignments. No pair is connected in either direction by the fixed mixed E/reflection menu. Thus the graph exclusion does not mean the source register lacks529 spans.",
  "limits": "This is a finite inventory and operator comparison. It makes no claim that these60 pairs are globally new to the project or historically independent.",
  "canonical_or_graph_edits": false,
  "new_independent_agent_review": false,
  "next_step_executed": false,
  "next_proposed_step": "Census all64 ordered two-E words at the eight fixed pivots, classify their effective fixed points as sourced or merely formal, and test complete paths for nonzero529-multiple input gaps from a sourced effective pivot."
}