diff --git a/docs/briefs/r3-cluster-m-dispatch-verification-discipline-87-2026-05-09.md b/docs/briefs/r3-cluster-m-dispatch-verification-discipline-87-2026-05-09.md index f4f1304537b..0772a0171ae 100644 --- a/docs/briefs/r3-cluster-m-dispatch-verification-discipline-87-2026-05-09.md +++ b/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. diff --git a/docs/briefs/r3-v-cluster-m-87-cementing-worker.md b/docs/briefs/r3-v-cluster-m-87-cementing-worker.md index c9d1b50f7bb..cd47991a2da 100644 --- a/docs/briefs/r3-v-cluster-m-87-cementing-worker.md +++ b/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_.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.** diff --git a/docs/r3-remaining-work-dependency-graph.md b/docs/r3-remaining-work-dependency-graph.md index f17c315b6f2..abd45d9ee8d 100644 --- a/docs/r3-remaining-work-dependency-graph.md +++ b/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 ---