gate_m6 lock flip: re-finalize design_commit to the §2.7.6 (#178) squash-merge

Final re-finalization. §2.7.6 (PR #178, squash-merge 4c6a0f6, twice-verified --
VERIFIED comment 4960583620) COMPLETED the forward rank-to-level + re-ranking
laws -- the forward earnings law the gate_m6 `covers` references. Per the block
draft's own design_commit_note (finalize the pin to the squash-merge at the lock
flip), the live design_commit is RE-FINALIZED from the interim #175 squash
(ce9893b) to the #178 squash (4c6a0f6), so the lock references the COMPLETE law.

Merges origin/master (#178, the §2.7.6 design-doc completion) and regenerates
gates.gate_m6 from the (unchanged) draft VERBATIM with the four lock-time deltas
(locked / status / +history / design_commit). The history
design_commit_finalized record now carries from d6abb16 -> to 4c6a0f6 with
refinalized_from ce9893b and the §2.7.6 reason; the content narrates the
two-step finalization.

Binding updates (tests/test_gate_m6_derivations.py): design_commit 4c6a0f6, the
design_commit_finalized.refinalized_from + the §2.7.6 reason; the design-commit
mutation now drifts the stale interim ce9893b. tests/test_gate_m6_floors.py
asserts live design_commit == 4c6a0f6 (draft d6abb16 unchanged).

runs/legacy_manifest_v1.json re-recorded via build_legacy_manifest.py
--transition (contract_revision + the gates.yaml entry only). Tier counts
unchanged (artifact 944, total 2,684). Sibling gates byte-identical to
origin/master (4c6a0f6); gate_m6 the sole new key. Both design dependencies now
satisfied: #175 (forward-law margin + re-pin) and #178 (§2.7.6 forward-law
completion).

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>

Author: MaxGhenis

gates.yaml

@@ -5135,26 +5135,28 @@ gates:
     # design_pr 175, the forward-earnings-law first-certification in covers +
     # not_certified.forward_earnings_law_not_gate1_certified) carried VERBATIM with
     # exactly the lock-time deltas: `locked: true`, `status: locked`, the `history`
-    # entry, AND the design_commit pin FINALIZED per design_commit_note to the #175
-    # squash-merge commit ce9893b (from PR #175's design commit d6abb16b). Ceremony:
-    # v1 floor fired the OC-before-lock PAUSE (1 gated flow cell / combined p_gate
-    # 0.8449) -> candidate-blind pinned-ladder redesign adjudicated -> v2 cleared
-    # 0.9067 -> adversarial referee AMEND x4 (comment 4958425437; the marital-ladder
-    # enumeration was incomplete) -> fixes + adjudicated v3 (comment 4958956779; 11
-    # gated = 5 flow + 6 earnings, p_seed 0.8934 / p_gate 0.9087) -> re-check PROCEED
-    # TO LOCK (comment 4959310892) -> ratified 2026-07-13 by merge of PR #172 (squash
-    # 1818784) under the standing campaign directive of 2026-07-07. The frozen floor
-    # runs/m6_holdout_floors_v3.json is RATIFIED = FROZEN and only READ (round(mean +
-    # k*sd, 3), capped at ln(1.5)), never rewritten. Bindings go LOCKED-HOT (tests/
-    # test_gate_m6_derivations.py). gate_1 / gate_2 (2a + 2b + 2c) / gate_3 / gate_m4
-    # / gate_w1 untouched.
+    # entry, AND the design_commit pin FINALIZED per design_commit_note. The pin is
+    # RE-FINALIZED to the #178 squash-merge 4c6a0f6 (SS 2.7.6, forward rank-to-level +
+    # re-ranking laws; twice-verified, comment 4960583620) which COMPLETES the forward
+    # law the covers references -- superseding the interim #175 squash ce9893b (off PR
+    # #175's design commit d6abb16b). Ceremony: v1 floor fired the OC-before-lock PAUSE
+    # (1 gated flow cell / combined p_gate 0.8449) -> candidate-blind pinned-ladder
+    # redesign adjudicated -> v2 cleared 0.9067 -> adversarial referee AMEND x4 (comment
+    # 4958425437; the marital-ladder enumeration was incomplete) -> fixes + adjudicated
+    # v3 (comment 4958956779; 11 gated = 5 flow + 6 earnings, p_seed 0.8934 / p_gate
+    # 0.9087) -> re-check PROCEED TO LOCK (comment 4959310892) -> ratified 2026-07-13 by
+    # merge of PR #172 (squash 1818784) under the standing campaign directive of
+    # 2026-07-07. The frozen floor runs/m6_holdout_floors_v3.json is RATIFIED = FROZEN
+    # and only READ (round(mean + k*sd, 3), capped at ln(1.5)), never rewritten. Bindings
+    # go LOCKED-HOT (tests/test_gate_m6_derivations.py). gate_1 / gate_2 (2a + 2b + 2c) /
+    # gate_3 / gate_m4 / gate_w1 untouched.
     id: m6_temporal_holdout_projection_drift
     status: locked
     locked: true
     kind: temporal_holdout
     design: docs/design/m6_projection_engine.md
     design_pr: "175"
-    design_commit: ce9893b13e74a99f38d04ace2d278fac495012d0
+    design_commit: 4c6a0f69f5637c6832659ab4dc8599b2c1a928b2
     design_commit_note: >-
       design_commit is re-pinned in this PR off 1d83a221 (PR #170, the
       pre-amendment revision-1 design) to this PR's design commit carrying the
@@ -5567,13 +5569,20 @@ gates:
         design_commit_finalized:
           rule: design_commit_note (finalize the design pin to the squash-merge at the lock flip)
           from: d6abb16b0a034ca08a26e3eb8fc9211967c53259
-          to: ce9893b13e74a99f38d04ace2d278fac495012d0
-          note: >-
+          to: 4c6a0f69f5637c6832659ab4dc8599b2c1a928b2
+          refinalized_from: ce9893b13e74a99f38d04ace2d278fac495012d0
+          reason: >-
             design_pr #175 amended the block draft (the design 2.7 forward-earnings
             law: first-certified by gate_m6, gate_1 does NOT cover it) and re-pinned
             design_commit off the stale 1d83a221 (PR #170) to PR #175's design commit
-            d6abb16b0a034ca08a26e3eb8fc9211967c53259. Per the draft's design_commit_note, this flip
-            FINALIZES that pin to the #175 squash-merge commit ce9893b13e74a99f38d04ace2d278fac495012d0.
+            d6abb16b0a034ca08a26e3eb8fc9211967c53259. Per the draft's design_commit_note, this flip first
+            FINALIZED that pin to the #175 squash-merge ce9893b13e74a99f38d04ace2d278fac495012d0. Sol's
+            round-2 review then found the forward rank-to-level + re-ranking laws
+            under-determined; SS 2.7.6 (PR #178, squash-merge 4c6a0f69f5637c6832659ab4dc8599b2c1a928b2,
+            twice-verified -- VERIFIED comment 4960583620) COMPLETED that forward law,
+            the law the covers references, so the pin is RE-FINALIZED from
+            ce9893b13e74a99f38d04ace2d278fac495012d0 to 4c6a0f69f5637c6832659ab4dc8599b2c1a928b2 to reference the COMPLETE
+            forward law, per the same finalize-at-lock-flip rule.
         referee_round:
           floor: >-
             PR #172 (runs/m6_holdout_floors_v3.json, sha256 e931c88622fad84e8f8b2cf18940cbe27da1c93e0d009dfbaa3d6c6cae050c77), the
@@ -5642,15 +5651,18 @@ gates:
           flip can claim any M7-seeding support. The PR #175 amendment adds the
           forward_earnings_law_not_gate1_certified margin: the gated {2016,2018}
           earnings cells ride the design 2.7 FORWARD earnings law, first-certified
-          by gate_m6 -- gate_1 does NOT cover it. ZERO mortality and ZERO
-          widowhood cells are gated -- on verified power grounds (no admissible
-          pooling clears either: mortality best ~0.472, widowhood best ~0.474,
-          and mortality's 85+ stratum stays attrition_confounded_truth). The
-          block is the PR #175-amended draft
+          by gate_m6 -- gate_1 does NOT cover it; SS 2.7.6 (PR #178, squash
+          4c6a0f69f5637c6832659ab4dc8599b2c1a928b2) COMPLETED that forward law. ZERO mortality and
+          ZERO widowhood cells are gated -- on verified power grounds (no
+          admissible pooling clears either: mortality best ~0.472, widowhood best
+          ~0.474, and mortality's 85+ stratum stays attrition_confounded_truth).
+          The block is the PR #175-amended draft
           (docs/design/gate_m6_block_draft.yaml) carried VERBATIM with exactly
           the lock-time deltas: locked true, status locked, this history entry,
-          AND the design_commit pin FINALIZED per design_commit_note from PR
-          #175's design commit d6abb16b0a034ca08a26e3eb8fc9211967c53259 to the #175 squash-merge
-          ce9893b13e74a99f38d04ace2d278fac495012d0. ZERO threshold movement vs the ratified frozen
-          floor: the flip READS runs/m6_holdout_floors_v3.json and rewrites
-          nothing. Bindings go LOCKED-HOT (tests/test_gate_m6_derivations.py).
+          AND the design_commit pin FINALIZED per design_commit_note -- from PR
+          #175's design commit d6abb16b0a034ca08a26e3eb8fc9211967c53259, first to the #175 squash
+          ce9893b13e74a99f38d04ace2d278fac495012d0, then RE-FINALIZED to the #178 squash
+          4c6a0f69f5637c6832659ab4dc8599b2c1a928b2 once SS 2.7.6 completed the forward law. ZERO
+          threshold movement vs the ratified frozen floor: the flip READS
+          runs/m6_holdout_floors_v3.json and rewrites nothing. Bindings go
+          LOCKED-HOT (tests/test_gate_m6_derivations.py).

runs/legacy_manifest_v1.json

@@ -1,12 +1,12 @@
 {
   "schema_version": "legacy_manifest.v1",
   "generated_at_commit": "747966cd7426a2a2292ce3dd093a8fe65d9a9351",
-  "contract_revision": "0c41aec41027a192f739ead683265aeffd2325fa",
+  "contract_revision": "f1a96e686017274210d81c6cc52674885c1ece0b",
   "entries": [
     {
       "path": "gates.yaml",
-      "sha256": "b9794e4b4941cd709aaaba603b3841687a5f78714c80c84f39642ff4d9421c72",
-      "n_bytes": 335416,
+      "sha256": "136256a8df6f9953ec620f3ef50c44e6f88e27fb69ecef1b2253196bcdcfd893",
+      "n_bytes": 336495,
       "originating_commit": "84a6721b686cef465150212432d8fc517dd53122"
     },
     {

tests/test_gate_m6_derivations.py

@@ -61,10 +61,13 @@
 
 # The design pin: PR #175 amended the draft and re-pinned design_commit off the
 # stale 1d83a221 (PR #170) to PR #175's design commit; the flip FINALIZES that
-# pin to the #175 squash-merge, per the draft's design_commit_note.
+# pin to a squash-merge per the draft's design_commit_note. It was first
+# finalized to the #175 squash (ce9893b), then RE-FINALIZED to the #178 squash
+# (4c6a0f6) once SS 2.7.6 COMPLETED the forward law the covers references.
 DESIGN_PR = "175"
-DESIGN_COMMIT_DRAFT = "d6abb16b0a034ca08a26e3eb8fc9211967c53259"
-DESIGN_COMMIT_FINAL = "ce9893b13e74a99f38d04ace2d278fac495012d0"  # #175 squash
+DESIGN_COMMIT_DRAFT = "d6abb16b0a034ca08a26e3eb8fc9211967c53259"  # PR #175 pin
+DESIGN_COMMIT_175 = "ce9893b13e74a99f38d04ace2d278fac495012d0"  # interim #175
+DESIGN_COMMIT_FINAL = "4c6a0f69f5637c6832659ab4dc8599b2c1a928b2"  # #178 squash
 # PR #175's new not_certified margin: the gated {2016,2018} earnings cells ride
 # the design 2.7 FORWARD earnings law, first-certified by gate_m6 (gate_1 does
 # NOT cover it).
@@ -395,6 +398,10 @@ def check_history(block: dict[str, Any]) -> None:
     fin = entry["design_commit_finalized"]
     assert fin["from"] == DESIGN_COMMIT_DRAFT
     assert fin["to"] == DESIGN_COMMIT_FINAL == block["design_commit"]
+    # the RE-finalization: the interim #175 squash was superseded by the #178
+    # squash once SS 2.7.6 completed the forward law (twice-verified).
+    assert fin["refinalized_from"] == DESIGN_COMMIT_175
+    assert "2.7.6" in fin["reason"] and "4960583620" in fin["reason"]
     # the ceremony narrative names the load-bearing facts
     content = entry["content"]
     assert "0.8449" in content  # v1 pause
@@ -579,10 +586,10 @@ def test_mutations_are_caught():
     with pytest.raises(AssertionError):
         check_partition_rollups(m8, v3)
 
-    # 9. DESIGN-COMMIT finalization drift: the un-finalized PR #175 design
-    # commit (not the #175 squash-merge) must fail the lock-delta binding.
+    # 9. DESIGN-COMMIT re-finalization drift: the interim #175 squash (not the
+    # #178 squash that completes the forward law) must fail the lock-delta bind.
     m9 = _deep(_gate())
-    m9["design_commit"] = DESIGN_COMMIT_DRAFT
+    m9["design_commit"] = DESIGN_COMMIT_175
     with pytest.raises(AssertionError):
         check_lock_deltas(m9)
 

tests/test_gate_m6_floors.py

@@ -561,14 +561,16 @@ def test_gates_yaml_gate_m6_locked_by_the_flip_and_design_amended():
     assert live["id"] == "m6_temporal_holdout_projection_drift"
     assert live["floor_run"] == "runs/m6_holdout_floors_v3.json"
     # the lock-time deltas: locked / status / +history / the design_commit pin
-    # finalized to the #175 squash-merge (the draft prescribes this in
-    # design_commit_note). design_pr stays "175" (carried verbatim).
+    # finalized to a squash-merge (the draft prescribes this in
+    # design_commit_note). It is re-finalized to the #178 squash-merge (4c6a0f6,
+    # SS 2.7.6 completing the forward law) from the interim #175 squash.
+    # design_pr stays "175" (carried verbatim).
     assert "history" in live and "history" not in block
     assert block["locked"] is False
     assert block["status"] == "draft_cleared_ready_for_lock_flip"
     assert live["design_pr"] == block["design_pr"] == "175"
     assert block["design_commit"] == "d6abb16b0a034ca08a26e3eb8fc9211967c53259"
-    assert live["design_commit"] == "ce9893b13e74a99f38d04ace2d278fac495012d0"
+    assert live["design_commit"] == "4c6a0f69f5637c6832659ab4dc8599b2c1a928b2"
     assert "design_commit_note" in live and "design_commit_note" in block
     _deltas = ("locked", "status", "history", "design_commit")
     live_cmp = {k: v for k, v in live.items() if k not in _deltas}