{
  "step": "C465",
  "status": "completed",
  "title": "LXX-OFF Alias Dependence Versus Coordinate Dependence",
  "previous_certificate_sha256": "b8c1213751185cabc888875992d5ee877c68b3708a6ddb46c107f2418210b892",
  "bindings": {
    "step": "STEP.json",
    "source_manifest": "SOURCE_MANIFEST.json",
    "report": "490d_C465_LXX_Off_Aliases_and_Stable_Source_Support_20260925.md",
    "checkpoint": "490d_Mirror_Checkpoint_After_C465_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": "e9ac51aac29083a2d19826a114fbab8fdc6cdf515f5ef6e29a2bc20c13d1c69a",
  "source_manifest_sha256": "70ae5af6688d9d6c52e30867c30ddcb9bb0a11e7ba568c23be5b53447e3d0684",
  "report_sha256": "9c65337d6242275382155c413d6fdaa481443fb398db19efd194dff8cfa77489",
  "checkpoint_sha256": "1a4e6871a0fd4294b43b5ae7eed76d90b9fad6740ea66a43131879b7dcfd0a9a",
  "data_sha256": "ebed3bdce46fc5f2d6adc7f6684d2b4a8ec940857a94286203278eea7db92535",
  "results_sha256": "e76e644f97ae3bdbae6131739f79a8c5c3708da2f2ac83e7af207cf88fd71bae",
  "calculation_sha256": "de85c3e85fb68fe33d0fcc03e28e9ccdc5f8b6fe5682293632cb1b3c6c1c17d4",
  "verifier_sha256": "46964ade0128d97b589fb678853daf7b81ffff1d90eb1a99221031ba734b093f",
  "next_step_decision_sha256": "956681b74be36e646cdfb520eec40c368e9e81078875b3fbfb91b49ba7c5f877",
  "replay_sha256": "6cf1023baadedf87e58aa1d70d76c2bd45e6c78b1ad6633aa4b65680807a3a4b",
  "control_integrity_sha256": "24e687bf3e03c7f16c3ca2aafe4c72e9aab25f03d55fa644c44a178e698ff3df",
  "readme_sha256": "6ef6a610f13706a9c09fc8cd9ece7a0f528bc7eea622a51e8408316c4f63805a",
  "assertions_passed": 2,
  "source_checks_passed": 21,
  "main_result": "Removing72 theoretical LXX-OFF labels leaves456 labels at all373 coordinates. All245 operator arrows and all60 direct529 pairs survive; labelled529 assignments fall119→88. The full two-E ladder retains one complete MT/SP source assignment instead of eight alias combinations. Its source support does not depend solely on LXX-OFF.",
  "limits": "The theoretical LXX-OFF states remain valid project comparison states. This control does not delete them from the active register or treat native and removal states as interchangeable.",
  "canonical_or_graph_edits": false,
  "new_independent_agent_review": false,
  "next_step_executed": false,
  "next_proposed_step": "Build the minimal source-provenance card for the seven distinct coordinates of the complete2K ladder, verify each against the controlling source excerpts, and solve its two pivots directly from the endpoint arrows."
}