{
  "step": "C411",
  "status": "completed",
  "date": "2026-09-24",
  "title": "Source formula and record-path lift of the four-step 500 chain",
  "previous_certificate_sha256": "f3b5e9028ec284e651f32a64a19394b7b0831497064e1b216c3cdc27996cc49e",
  "bindings": {
    "step": "STEP.json",
    "source_manifest": "SOURCE_MANIFEST.json",
    "report": "490d_C411_Source_Formula_and_Record_Path_Lift_of_Four_Step_500_Chain_20260924.md",
    "checkpoint": "490d_Mirror_Checkpoint_After_C411_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": "f7eee214e57c0b52dbc5d58666d763a007c5a0e0bac2e6088db2c9df3b81d42b",
  "source_manifest_sha256": "dd3e1cad045de5d54bf8ae68a95816c77b3781f3d1e029c698dc03d96b67953d",
  "report_sha256": "fef42791fccc7ec57df1f714a03e84d3d002914c7a598cbd47383c162c4287d4",
  "checkpoint_sha256": "c3c8d10196bb348b6098e046b3a59b020ec4a67f8db1adf8d9fe52b5279e78d1",
  "data_sha256": "ddaa81944818d19c8ee41669632c996fe0b76e47331d2ce42f34951998da167f",
  "results_sha256": "46868bb6934186663efd7cd3467d51e48bc7cf448c66803c22b21f9289345516",
  "calculation_sha256": "f72113780415c90b802620e157d4aa22ec486aba87ccddbcea1c5f6fe428453e",
  "verifier_sha256": "9f175670abb70f7819dd7f6d997ff0bef2e58df8dffd763b433f6c6cd62e332d",
  "next_step_decision_sha256": "91c2c119d77334bc940a72791881d91013757f66b24546a0e425571f2d833959",
  "replay_sha256": "f62c09e81e7059302d05c8b295fd0b14a67628cb3d81aa5dee36401d331885fc",
  "control_integrity_sha256": "9810807cb07b02f43f568f68bb82cb41a6eeff6799902254b4932e5c350ac838",
  "readme_sha256": "a06d2863c3baaaab5176d98e833566be2be7905405ac0772d61ada6bce0bb6e9",
  "assertions_passed": 10,
  "source_checks_passed": 15,
  "main_result": "The new bridge3395→2895 is uniquely forced within the SP field by100+130+60+215−4−1=500. The four-step chain has two continuous record lifts, using SP or LXX OFF for the G3 Flood/death pair.240 role-defined arrows give192 paths of length≤2; adding the two bridge labels yields191 paths including two length4 lifts. Only uniform±¼ assignments pass; own950/600 lifespans remain unchanged.",
  "limits": "The bridge and path are derived comparisons, not a newly established source prescription. Coordinate aliases and coherent record lifts are not independent witnesses. No canonical graph edit or new endpoint was made.",
  "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": "Reconstruct the regular register and the newly used loop/chain records directly from the current source tables and stated variant rules. Audit the warrant for the500 role correspondence, SP companion/Flood-close handling, LXX removal and the new cross-context bridge; keep explicit source data distinct from derived path constructions.",
  "next_step_executed": false
}