{
  "step": "C350",
  "status": "completed",
  "date": "2026-09-24",
  "title": "Composition order of the fixed-endpoint expressions",
  "previous_certificate_sha256": "aafbdff03d28daa8a707771f3f285b46f7fb88f0a8dcb02757180432ff8f481c",
  "bindings": {
    "step": "STEP.json",
    "source_manifest": "SOURCE_MANIFEST.json",
    "report": "490d_C350_Fixed_Endpoint_Composition_Order_20260924.md",
    "checkpoint": "490d_Mirror_Checkpoint_After_C350_20260924.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": "0ac136cacc87aafa0288c7c043ec0a824f9f96be7699d77b354f2611513e6d72",
  "source_manifest_sha256": "10926d1cffec72a750bdd420570b1e71babf9180c25078099918b2974ae17e77",
  "report_sha256": "ca01d610a0b904b7f2416854fdb0c79ede2f92f638784810c68059f91c581301",
  "checkpoint_sha256": "2cf440fa570247f05a2d688bb32af6eedfdc8847db2872134c3a3f60132ba4e7",
  "data_sha256": "ccb9ed0dbe6ddcb5a3ca7325c660bac27c67b0a46ddf26e4b2b74403c76cab98",
  "results_sha256": "1f395ec18f4ad1c3e1b730856f09c919d2c1964ba40eb90e50bb34edfbcfdbe1",
  "calculation_sha256": "734e0963630e00be161bfa0ca42fb4826c94035042001b21eb8ac6cab0af76ce",
  "verifier_sha256": "9f175670abb70f7819dd7f6d997ff0bef2e58df8dffd763b433f6c6cd62e332d",
  "next_step_decision_sha256": "a55ae9051cee7a161a28c7027048dd1307d4cc282a31c10f84626929362c589c",
  "replay_sha256": "aebb251045789a89018e34e83ba8616fe1f377fc08a54235e84517db7a213fc7",
  "control_integrity_sha256": "9810807cb07b02f43f568f68bb82cb41a6eeff6799902254b4932e5c350ac838",
  "readme_sha256": "2f7b00af73c48e6a6535c7e4b86d3763e5a189047ade811f2d1aff3487fa46ac",
  "assertions_passed": 144,
  "source_checks_passed": 14,
  "main_result": "Formal commutators are92/299,40/299 and−2/299 for the three existing anchor pairs. No field input supports both full composition orders. Scalar commutation does not create source-state interchangeability.",
  "limits": "Formal compositions beyond the admitted intermediate domain remain diagnostics. No global action, fitted anchor or canonical graph change.",
  "canonical_or_graph_edits": false,
  "new_independent_agent_review": false,
  "review_provenance": "Root-agent analysis and deterministic replay; no new independent-agent review",
  "next_proposed_step": "Test the cumulative counterpart of the two598→600 repairs on C287’s existing ON-Shem/OFF-Shem/OFF-Flood triples. Check all four complete paths, preserve annual-index and Cainan distinctions, and compare the result with the regular primary repairs.",
  "next_step_executed": false
}