Wave-1 V1: #87 Phase 2 cementing-discipline pattern brief

docs/briefs/r3-cluster-m-dispatch-verification-discipline-87-2026-05-09.md

@@ -1,5 +1,7 @@
 # R3 Cluster M Phase 2 — Verification Discipline #87 Dispatch (2026-05-09)
 
+**2026-05-12 follow-up (eager-eagle-692)**: Gate **#87** is **CONSUMER_LANDED + PASSING** in `docs/r3-program-plan.md` §1.8 at HEAD (PR **#2639** + **#2757**). Treat this file as the **2026-05-09 dispatch overlay** plus historical §3–§4 milestones; concrete “where did it land?” lives in [`r3-v-cluster-m-87-cementing-worker.md`](r3-v-cluster-m-87-cementing-worker.md) §7 and in `docs/r3-remaining-work-dependency-graph.md` §retractions.
+
 **Owner**: Verification Mgr (wise-bear-525 / gunbc#2075)
 **Authority**: PM-tier dispatch coordination per Director ratification at gunbc#846 #issuecomment-4412309986 (Director answered Ask 1 with "(γ) hybrid"). Sequencing structure lives at [`docs/audit/r3-cluster-m-sequencing-plan-2026-05-09.md`](../audit/r3-cluster-m-sequencing-plan-2026-05-09.md) §4 (in-flight via concurrent PR #2361; this brief is the dispatch overlay — substantive content here is self-contained and grounded in locked-design + live ledger authorities below). This brief is a light-touch dispatch surface.
 

docs/briefs/r3-v-cluster-m-87-cementing-worker.md

@@ -1,8 +1,10 @@
 # R3 Cluster M Phase 2 — #87 Cementing-Test Discipline Worker Brief
 
-**Status:** PRE-AUTH DISPATCH-READY (worker-facing). Light port of the multi-gate PRE-AUTH brief [`r3-v-tests-as-data-v1-worker.md`](r3-v-tests-as-data-v1-worker.md) narrowed to gate #87 per Cluster M Phase 2 dispatch overlay.
+**Status:** **PATTERN LANDED** — `docs/r3-program-plan.md` §1.8 gate **#87** `lens_cementing_test_discipline_complete` is **CONSUMER_LANDED + PASSING** at HEAD (receipt stack **PR #2639** + **PR #2757**; see §7). **Do not dispatch** new workers against the pre-land “first migration / dispatch successor” checklist; Phase 3 bulk-port consumes this pattern via [`r3-v-cluster-m-84-bulkport-coordinator.md`](r3-v-cluster-m-84-bulkport-coordinator.md). Historical intent below is retained for audit trail.
 
-**Owner**: worker (TBD on dispatch); coordinator: Verification Mgr (wise-bear-525 / gunbc#2075).
+This file began as a PRE-AUTH worker-facing port of [`r3-v-tests-as-data-v1-worker.md`](r3-v-tests-as-data-v1-worker.md) narrowed to gate #87 per Cluster M Phase 2 dispatch overlay.
+
+**Owner**: Verification Mgr (historical coordinator: wise-bear-525 / gunbc#2075); **no active worker dispatch** for #87 Phase 2 at HEAD.
 
 **Authority**:
 - Locked design: [`docs/design-tests-as-data-completeness.md`](../design-tests-as-data-completeness.md) §5 (Cementing test discipline) + §C5 (predicate-class table).
@@ -16,6 +18,8 @@
 
 ## §0. Scope
 
+**Historical scope** (pre-land checklist; execution complete per Status banner + §7):
+
 **Gate #87** `lens_cementing_test_discipline_complete`. Author the **discipline pattern** (`.dag` cementing-test shape), land the **first migration receipt** (smallest hand-Rust cementing test → `.dag` `TestClaim`), and prepare the **dispatch ratchet successor** that replaces `cementing_lens_registry_dispatch_test.rs`.
 
 **Out of scope (STOP+PING)**:
@@ -79,12 +83,13 @@ This dispatch successor lands in a follow-on slice within Phase 2 (after first-r
 
 ## §5. Receipt + ledger updates
 
-Per Phase 2 dispatch overlay §4:
-- #87 status DECLARED → CONSUMER_LANDED on first-migration receipt land (§3).
-- #87 status CONSUMER_LANDED → PASSING when dispatch-ratchet successor confirms 100% lens coverage in `.dag` cementing-test form.
-- Verification Mgr advances `docs/r3-program-plan.md` §1.8 row #87 per §10 cadence.
+**Achieved (ledger)**: `docs/r3-program-plan.md` §1.8 row #87 documents **CONSUMER_LANDED + PASSING** with the regen enumeration + runner + `LensOutputEquals` / `DifferentialEquals` / frozen-oracle witness stack (not re-argued here).
+
+Historical Phase 2 overlay milestones (for traceability):
+- ~~DECLARED → CONSUMER_LANDED on first-migration receipt~~
+- ~~CONSUMER_LANDED → PASSING when dispatch-ratchet successor confirms coverage~~ — superseded by the **§1.8** acceptance text tied to `regen.dag` + PR #2639 / #2757.
 
-Velocity context (per Phase 2 overlay §5): #87 dissolves ~20-25 of the SG-0 hand-Rust test entries (cementing-test class is the largest single class). Phase 2 is therefore a substantial bulk-dissolution sub-event en route to #84 close.
+Velocity context (per Phase 2 overlay §5): bulk SG-0 shrink for the full cementing-test **class** continues under **#84** Phase 3, not by re-opening #87.
 
 ## §6. Cross-Mgr signoff
 
@@ -94,6 +99,29 @@ When the first-receipt slice lands, original lane Mgr for the migrated lens revi
 
 This signoff workflow scales to Phase 3 per-class bulk-port (Phase 3 brief encodes the same pattern at scale).
 
+## §7. As-shipped pattern index (HEAD)
+
+Authoritative gate narrative: `docs/r3-program-plan.md` §1.8 row **#87** (grep at HEAD before citing Status).
+
+**Dispatch + runner (single authority for which `.dag` modules the runner loads)**:
+- `src/v3/compiler/src/r3_gate_87_cementing_regen_runner_suites.rs` — `R3_GATE_87_CEMENTING_REGEN_SUITES` table + `r3_gate_87_cementing_regen_lens_names_for_runner_table`.
+- `src/v3/compiler/tests/integration/t_pb_b_1_dag_runner_test.rs` — `r3_gate_87_cementing_regen_lens_suites_pass_through_runner` (PB-B-1 harness).
+
+**Per-lens regen harnesses** (`TestSuite` in each file; naming convention `t_r3_gate_87_cementing_regen_<lens>.dag`):
+- `src/v3/compiler/tests/dag/t_r3_gate_87_cementing_regen_*.dag` (10 lenses at HEAD; extend only with §1.8 / register + runner table updates in the same PR).
+
+**Band-C dispatch receipt** (register + regen projection vs receipt list):
+- `src/v3/compiler/tests/dag/cementing_dispatch.dag` — `CementingDispatchMatchesProjection` + `cementing_band_c_v2_complete_receipts`.
+- `src/v3/compiler/src/cementing_dispatch.rs` — host-side evaluation / wiring shared with the `.dag` claim.
+
+**Rust pin / behavioral contracts where `.dag` predicates stay intentionally narrower**:
+- `src/v3/compiler/tests/integration/r3_gate_87_lens_cementing_regen_receipts_test.rs`.
+
+**Design + ops prose** (cite-and-execute; not second authorities):
+- `docs/design-tests-as-data-completeness.md` §5 / §C5 (cementing discipline).
+- `TESTING.md` — *Cementing tests (Band C — lens subsumption)*.
+- `docs/v3-lens-capability-register.md` — human-readable mirror of `lens_capability_register_rows`.
+
 ---
 
 **End of brief.**

docs/r3-remaining-work-dependency-graph.md

@@ -70,8 +70,8 @@ Each entry documents a finding initially enumerated as in-scope here but RETRACT
 
 **Phase structure**:
 - **Phase 1** (parallel-dispatchable NOW): #85 quantifier substrate + #86 generator substrate. Locked-design-resolved, no canvas needed. Substrate Mgr owns.
-- **Phase 2** (cascade post-Phase 1): #87 cementing discipline pattern. Verification Mgr owns. Migrates hand-Rust cementing tests → .dag TestClaim + frozen-oracle witness.
-- **Phase 3** (cascade post-Phase 2): #84 bulk-port. Coordinator + 6 per-class workers (cementing / reflected-Dag / generic DimensionReport / boundary / R1C residuals / L4/L7/L5 skeleton). **~80-90 entries dissolve**.
+- **Phase 2** (#87 cementing discipline): **LANDED at HEAD** — `docs/r3-program-plan.md` §1.8 row #87 is **CONSUMER_LANDED + PASSING** (PR #2639 regen harness + PR #2757 `LensOutputEquals` / `DifferentialEquals` / frozen-oracle receipts; Band-C dispatch successor `src/v3/compiler/tests/dag/cementing_dispatch.dag`). Do **not** respawn “#87 pattern brief” Wave-1 workers; see §retractions. Residual cementing-adjacent Rust outside the `regen.dag` enumeration drains through Phase 3 #84 per [`docs/briefs/r3-v-cluster-m-84-bulkport-coordinator.md`](briefs/r3-v-cluster-m-84-bulkport-coordinator.md).
+- **Phase 3** (#84 bulk-port): Coordinator + 6 per-class workers (cementing / reflected-Dag / generic DimensionReport / boundary / R1C residuals / L4/L7/L5 skeleton). **~80-90 entries dissolve**. **Not** predicate-blocked on #87 at HEAD (pattern + dispatch receipt landed); gated on coordinator/class-brief readiness + per-row port work.
 
 **Timeline estimate** (per `docs/audit/r3-cluster-m-sequencing-plan-2026-05-09.md`):
 - Phase 1: 1-2 weeks
@@ -154,7 +154,6 @@ These gates have NO unsatisfied prerequisites. Each is an independent worker spa
 | **#82** F-β.1 canvas | T-LBP / Cluster F | Substrate | migration-shape ratification (canvas-tier; no predicate block on F-α) | S |
 | **#85** forall_exists_quantifier_substrate_landed | Tests-As-Data / Cluster M | Substrate | Quantifier/{ForAll, Exists}, QuantifiedTestClaim carriers; PR #2734 in flight | S-M |
 | **#86** program_generator_carrier_landed | Tests-As-Data / Cluster M | Substrate | ProgramGenerator + ProgramShape carriers; PR #2752 DRAFT (close out) | S-M |
-| **#87** cementing_discipline (Phase 2 brief authoring) | Tests-As-Data / Cluster M | Verification | cementing-discipline pattern: hand-Rust cementing test → .dag TestClaim + frozen-oracle | Brief NOW |
 | **#84** bulk-port coordinator (framework brief) | Tests-As-Data / Cluster M | Verification | coordinator framework + 6 per-class brief stubs | Brief NOW |
 | **#98** ci_yml_hand_authority_dissolved | T-WAD | Substrate | actual ci.yml swap with WAD-emitted artifact (Slice 5) | M (post-Slice 4) |
 | **#103** ci_uses_affected_set_selection | T-WAD | Substrate / Verification | Slice 7 affected-set integration; canvas at PR #2766 | M |
@@ -165,7 +164,7 @@ These gates have NO unsatisfied prerequisites. Each is an independent worker spa
 | **#70** cost_lens_demonstration | CostLens | Substrate | Rust-side composition fixture + ≥2 algebra-instances | M |
 | **#73** lens_behavioral_parity_demonstration | T-LBP | Substrate/Verification | all 4 lenses vs frozen v2-oracle snapshot | M |
 
-**Total parallel-dispatchable NOW: ~14 gates** (some are brief authoring, some are immediate worker spawn).
+**Total parallel-dispatchable NOW: ~13 gates** (some are brief authoring, some are immediate worker spawn). **#87** was incorrectly listed here at authoring time — §1.8 shows **PASSING**; see §retractions.
 
 ### Cascade-gated (waiting on specific predecessors)
 
@@ -174,7 +173,7 @@ These gates have NO unsatisfied prerequisites. Each is an independent worker spa
 | #82 F-β.2 implementation | F-β.1 canvas Director-ratified | post-canvas-ratification |
 | #83 register status | #81 + #82 + #79 + #80 all COMPLETE | end-chain Cluster F |
 | #95 opt-in iteration demo | #81 + T-LAS #91 | mid-chain Cluster F |
-| #84 Phase 3 bulk-port workers | #87 Phase 2 pattern landing | mid-Cluster M |
+| #84 Phase 3 bulk-port workers | #84 coordinator + per-class brief readiness (§1.8 **#87 already PASSING** — not pattern-blocked) | mid-Cluster M |
 | #91 T-LAS enforce_violation_routing | T-LBP cascade COMPLETE | post-cluster-F |
 | #56-#59 T-Lens-Self-Application | T-WAD + T-LAS cascade | post-cluster + slice-cascade |
 | #15 l5_cross_target_consistency | L4 (#9) corpus completion | L4 mature |
@@ -194,10 +193,9 @@ These gates have NO unsatisfied prerequisites. Each is an independent worker spa
 - Worker S6: **#103 Slice 7 implementation** (consumes PR #2766 canvas)
 - Worker S7: **#98 Slice 5 (post-Slice 4 / PR #2774 land)** — pre-stage brief; spawn worker on Slice 4 merge
 
-**Verification Mgr (clever-tern-670)** can spawn up to 8. Currently 3 (sharp-deer-47, calm-newt-227, tidy-gull-504). Spawn 3 more:
-- Worker V1: **#87 Phase 2 cementing-discipline pattern brief**
-- Worker V2: **#84 Phase 3 coordinator framework brief** (6 per-class stubs)
-- Worker V3: **#40 symbolic_cost_expr_equals + #70 cost_lens_demonstration** (bundled)
+**Verification Mgr (clever-tern-670)** can spawn up to 8. Currently 3 (sharp-deer-47, calm-newt-227, tidy-gull-504). Spawn 2 more (**#87** pattern work landed — do not duplicate):
+- Worker V1: **#84 Phase 3 coordinator framework brief** (6 per-class stubs)
+- Worker V2: **#40 symbolic_cost_expr_equals + #70 cost_lens_demonstration** (bundled)
 
 **Debt-Paydown Mgr (zesty-boar-261)** can spawn up to 8. Currently 0. Spawn 2-3:
 - Worker D1: **Slow-test residual sweep** (post-cost-dim-landing follow-on)
@@ -208,13 +206,13 @@ These gates have NO unsatisfied prerequisites. Each is an independent worker spa
 - Worker PB1: **#2** remainder — Evaluator-gated dissolution of `SizeBound` / `CallPattern` bootstrap mirrors (post-`kernel_algebra_profile` slice)
 - Worker PB2: **#16 pb_self_compile_fixed_point** (R3 interpretation strengthening; parent [`r3-pb-t-fixedpoint-worker.md`](briefs/r3-pb-t-fixedpoint-worker.md))
 
-**Wave 1 worker count: ~13-15 parallel workers**. Mgr capacity not exhausted; can scale further if needed.
+**Wave 1 worker count: ~12-14 parallel workers**. Mgr capacity not exhausted; can scale further if needed.
 
 ### **Wave 2 — Day 7-10 (cascade-gated)**
 
 Triggered by Wave 1 landings:
 - **#82 F-β.2 implementation** (4 sub-phase workers post-canvas-ratification)
-- **#84 Phase 3 bulk-port** (6 per-class workers post-#87 pattern landing — ~80-90 SG-0 dissolutions begin)
+- **#84 Phase 3 bulk-port** (6 per-class workers once coordinator + class briefs are ready — ~80-90 SG-0 dissolutions begin; **#87 PASSING** removes the old pattern gate)
 - **#83 register status** (post-all-4-lenses-COMPLETE)
 - **#95 opt-in iteration demo** (post-#81 + post-T-LAS #91)
 
@@ -271,12 +269,12 @@ Current state (per `dashboard-ops graph deep-wolf-155`):
 1. Relay Wave-1 dispatch plan to zesty-bear-812 (Director) for ratification + Mgr-tier dispatch
 2. Director ratifies and authors next-queue briefs OR delegates to Mgr-tier brief-queue depth
 3. Mgrs bulk-author briefs (5+ each) per Wave-1 catalog
-4. Mgrs spawn workers up to Wave-1 count (~13-15 workers)
+4. Mgrs spawn workers up to Wave-1 count (~12-14 workers)
 
 **Cluster M sequencing (critical path)**:
 - Day 1: Substrate Mgr spawns S2 (#85 + #86 bundled brief)
 - Day 1-3: Workers ship Phase 1 substrate; PR cycles
-- Day 4-7: Verification Mgr lands Phase 2 pattern (#87 first migration)
+- Day 4-7: ~~Verification Mgr lands Phase 2 pattern (#87)~~ **DONE at HEAD** (PR #2639 + #2757); focus shifts to #84 coordinator + Phase 3 spawn-up
 - Day 7+: Verification Mgr spawns 6 per-class Phase 3 bulk-port workers; ~80-90 SG-0 entries dissolve over 2-4 weeks
 
 **Cluster F sequencing (parallel critical path)**:
@@ -315,20 +313,20 @@ Current state (per `dashboard-ops graph deep-wolf-155`):
 
 - **Day 1-3**: Wave-1 brief authoring + worker spawn-up
 - **Week 1**: Phase 1 carriers land (#85 + #86); F-α + F-β.1 canvas in flight
-- **Week 2**: Phase 2 cementing-discipline pattern lands (#87); F-β.2 implementation begins; T-WAD Slice 4 lands
+- **Week 2**: ~~Phase 2 #87 pattern~~ **landed pre-snapshot**; F-β.2 implementation begins; T-WAD Slice 4 lands
 - **Week 3-4**: Phase 3 bulk-port begins (per-class workers); F-γ cascade; T-WAD Slice 5/7 cascade
 - **Week 5-6**: ~80-90 SG-0 entries dissolved via #84; Cluster F all-4-lenses COMPLETE
 - **Week 6-8**: Final cascade — T-LAS Slice B + T-Lens-Self-Application + remaining lane closures + ledger zero
 
 **Total**: 6-8 weeks honest timeline from full Wave-1 dispatch to R3-close-ready, contingent on:
-- Worker spawn-up reaches +13-15 parallel (currently 5)
+- Worker spawn-up reaches +12-14 parallel (currently 5)
 - Brief-queue-depth maintained (pre-authored)
 - Review-parser fix lands mid-window (reduces coordination tax)
 - No major substrate-cascade re-evaluations
 
 **Critical-path nodes**:
 - M1(2.8) compiler-surface lowering gap (PR #2774 — proud-dove-838) — substantive engineering; unblocks Slice 5
-- Cluster M Phase 2 cementing-discipline pattern landing — unblocks 80-90 entries
+- Cluster M Phase 3 #84 bulk-port execution — dissolves ~80-90 entries (**#87** receipt stack already landed)
 - F-β.1 canvas Director-ratification — unblocks F-β.2 → F-γ cascade
 
 ---