{
  "step": "C442",
  "status": "completed",
  "title": "Source Bounds of Reflection Conjugacy and Reversed E Order",
  "previous_certificate_sha256": "edfd3037f5d6c54aa6105d85ec29ef700549987e5de8c90400f48c859ab198d4",
  "bindings": {
    "step": "STEP.json",
    "source_manifest": "SOURCE_MANIFEST.json",
    "report": "490d_C442_Reflection_Conjugacy_and_Reversed_E_Source_Bounds_20260925.md",
    "checkpoint": "490d_Mirror_Checkpoint_After_C442_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": "32edc5f635440d4458abbfd33d4454f1bbe98c62f309118ef84216e5f9993309",
  "source_manifest_sha256": "012de4cdb0b73327e672ee5924276c003c66adee95a3325d716e0d9f5136d855",
  "report_sha256": "0afe326c461fa79be9f480cedb768439660f07761b955d174c4b3280a754f510",
  "checkpoint_sha256": "307ebc0927454615994730e99d1e4674700110bfda9f0ecd3a394c0b9907e6d2",
  "data_sha256": "391d117d738c79dcd38b6c7ddca11c11b0d1b490824c710325f9981334d99938",
  "results_sha256": "d68531e76e5f38f156454a686261e3545a8dc5dfbf971d41c3651d6fbd0acf1c",
  "calculation_sha256": "6bb8655b69759e5506405c080339179e420ce84f940a97c799f0b494f0bdda6c",
  "verifier_sha256": "61226d6621cddd2fc4ff6c4d4a19e4fdbe2eab7cf4ffab714d324c764479bc09",
  "next_step_decision_sha256": "aaa149cff48e118ba04d97640b432ffd905ff27b2686087a4b4c4102e292c1e4",
  "replay_sha256": "450c7826f5c0d32d0dcc17d18740813bc0ae1fef8d9936975bd929faa678c63c",
  "control_integrity_sha256": "08d2f8a5987f61e235f75753157ad528755f646694a8bcf86b733ccf4c9c9e57",
  "readme_sha256": "287cf7ac48b6714a0402cb3c894260fc31554e099837b27c01e519b98f0a5f7b",
  "assertions_passed": 2991,
  "source_checks_passed": 20,
  "main_result": "Reflection conjugacy R_cE_pR_c=E_q holds exactly, while forward/reverse two-E words fixc±18 and differ by−3456/529. All1492 reversed trials yield only3170→3206→3170 atc3188. Reflection of2148→2020→1956 is4228→4356→4420, all outside the fixed source range. Only five primitive reflected pairs survive:four zero-gap pivot arrows and one nonzero loop leg. Reversed integer outputs satisfyx≡c−18 mod529.",
  "limits": "Only a zero-net loop is fully sourced in both orders. The nonzero2K reflection and any global/calendar action remain unsupported; missing stations are not added.",
  "canonical_or_graph_edits": false,
  "new_independent_agent_review": false,
  "next_step_executed": false,
  "next_proposed_step": "Apply the two inherited fixed Mirror corner exchanges to the complete five-point3188 profile and the current local-reflection source domains. Test membership in the frozen cumulative register and preserve the original17K corner controls; do not fit a new exchange or cumulative source."
}