diff --git a/docs/audit/r3-cluster-f-sequencing-plan-2026-05-09.md b/docs/audit/r3-cluster-f-sequencing-plan-2026-05-09.md new file mode 100644 index 00000000000..ed846c8a27c --- /dev/null +++ b/docs/audit/r3-cluster-f-sequencing-plan-2026-05-09.md @@ -0,0 +1,207 @@ +# R3 Cluster F (Lens-Producer-Retirement) Sequencing Plan — 2026-05-09 + +**Author**: deep-wolf-155 (PM) +**Authority scope**: PM-tier sequencing plan per Director ratification at gunbc#846 #issuecomment-4412380947 (2026-05-09; Director RATIFIED (a) full carve-promotion including 4c) + greenlit Task 12 amendment PR at #issuecomment-4412392036. +**Parent docs**: +- [`docs/audit/r3-r4-carve-substrate-readiness-2026-05-09.md`](r3-r4-carve-substrate-readiness-2026-05-09.md) — substrate-readiness audit findings (PR #2363; sha `32afcd329`) +- [`docs/r3-program-plan.md`](../r3-program-plan.md) §1.8 gates #81/#82/#83/#95 +- [`docs/design-effect-enumeration-resource-threading.md`](../design-effect-enumeration-resource-threading.md) §3.2 + §6.2 — locked-design authority for C2 atomic migration +- Operator framing 2026-05-09 ("0 hand-Rust including tests AND stage0; bootstrap is data + self-generated") + Director ratification 2026-05-09 c#4412330468 (carve-promotion-IN-R3 thesis) + +--- + +## §0. Executive summary + +Cluster F (T-LP-Retirement) framework absorbs C1/C2/C3 carve-promotion per Director (a) ratification + audit substrate-readiness findings. Three carve gates promote to R3-load-bearing; #83 scope-narrowing dissolves alongside (since underlying lenses no longer carved). + +| Phase | Carve | Gate | Work | Substrate-readiness | +|---|---|---|---|---| +| **F-α** | C1 | #81 parallelism | walker port from `workflow_parallelism.rs` → `.dag`; rewire via `lane2_workflow_at` / `std.effects` | substrate-ready (M-sized port) | +| **F-β.1** | C2 | #82 (canvas) | **migration-shape ratification canvas** — Operation field/walker rewire shape per locked design `docs/design-effect-enumeration-resource-threading.md` §3.2 + §6.2; surfaces: which fields of `services.dag::Operation` the lens body reads, walker rewire surface, test-consumer breaking changes | Substrate Mgr standing-authority canvas; Director ratifies surfaced questions | +| **F-β.2** | C2 | #82 (impl) | atomic-migration implementation per F-β.1 ratified shape; 4a/4b/4d bounded migration over existing `services.dag::Operation` carrier (no new substrate type) | post-canvas-ratification worker dispatch | +| **F-γ.1** | (was C3) | #95 demo | opt-in iteration parallelism worked-example demo via `apply_lens(parallelism, fn, Enforce { ... })` | cascade post-F-α (parallelism BEHAVIORALLY COMPLETE) + T-LAS Slice B landing (#91 per-lens LensEnforcement projection) | +| **F-γ.2** | (#83 narrowing dissolution) | #83 register full-scope | register status update — fires for all 4 in-R3 lenses (complexity + cost + parallelism + effect_enum) at R3 close | cascade post-**all 4 lenses BEHAVIORALLY COMPLETE** = F-α (#81 parallelism) + F-β.2 (#82 effect_enum) + #79 (complexity, T-LBP existing) + #80 (cost, T-LBP existing) | + +**F-α + F-β.1 parallel-dispatchable** on Task 12 merge (both substrate-ready; F-β.1 is canvas-tier work, not blocked on substrate). F-β.2 cascade-gates on F-β.1 ratification. F-γ.1 cascade-gates on F-α + T-LAS Slice B. F-γ.2 cascade-gates on all 4 lenses BEHAVIORALLY COMPLETE. + +**Director sequencing per gunbc#846 #issuecomment-4412475559** (revising prior (a-corrected) at #issuecomment-4412433924): F-β.1 stays as separate migration-shape ratification canvas phase — migration shape decisions (Operation field reads / walker rewire surface / test-consumer breaking changes) are substantive enough to warrant early Director-tier ratification per `feedback_construction_over_ratchets`. Pattern: **substrate-shape canvases for novel substrate; migration-shape canvases for non-trivial ports**. Both surface decisions upfront. + +The locked-design discipline holds (no new top-level carrier per §3.2 + §6.2; uses existing `services.dag::Operation`); F-β.1 is canvas-tier ratification of migration shape, not substrate-fact-introduction. + +--- + +## §1. Phase scopes + +### §1.1 F-α — C1 #81 parallelism walker port + +**Owner**: Substrate Mgr (warm-wolf-698 / gunbc#2068). + +**Scope**: port `src/v3/compiler/src/workflow_parallelism.rs` to `.dag`. Per audit §1: substrate exists (`effects.dag` provides EffectShape/OperationEffect/CompositionVerdict; workflow_parallelism.rs imports map cleanly to substrate). Port + rewire bounded (M-sized lane per carve doc estimate). + +**Receipt**: +- `src/v3/compiler/src/workflow_parallelism.rs` retires (drops from `EXPECTED_HAND_AUTHORED_NON_TEST`). +- `.dag` parallelism walker lands in `src/v3/std/` (or `src/v3/lenses/`). +- Gate #81 status: DECLARED → CONSUMER_LANDED → PASSING. +- ~3 entries dissolve from SG-0 census. + +### §1.2 F-β.1 — C2 #82 migration-shape ratification canvas + +**Owner**: Substrate Mgr (warm-wolf-698 / gunbc#2068) — canvas authoring under standing authority. + +**Scope (per Director ratification at gunbc#846 #issuecomment-4412475559 — revised from prior (a-corrected) collapse)**: migration-shape ratification canvas (NOT new-substrate-introduction; substrate authority remains the existing `services.dag::Operation` carrier per locked design §3.2 + §6.2). Pattern: **migration-shape canvases for non-trivial ports** — surface decisions upfront per `feedback_construction_over_ratchets`. + +Director's sequencing reasoning: +> "Migration shape decisions that warrant early ratification: +> - Which fields of `services.dag::Operation` does the lens body read? +> - Walker rewire surface on Operation +> - Test-consumer breaking changes +> These are smaller than full substrate-shape questions but still worth Director-tier ratification before worker port." + +**Locked-design citations** (canvas authoring substrate): +- Design §3.2: "The pinning *substrate carrier* already exists: `src/v3/std/services.dag::Operation`. No new top-level carrier is required." +- Design §6.2: "Operation already exists. ... No new substrate type." + +**Migration-shape questions for canvas to surface** (Director ratifies): +- Which fields of `services.dag::Operation` does the new lens body read? +- Walker rewire surface (lens body kind-classification dispatch) +- Test-consumer breaking changes (e.g., effect_enumeration test fixtures that consume the old hand-Rust walker) +- Sequencing of 4a (resource-threading migration) / 4b (ambient metadata removal) / 4c (lens body change) / 4d (full OperationEffect retirement) + +**Receipt**: +- Canvas ratified by Director (with migration-shape dispositions on Operation field reads / walker rewire surface / test-consumer changes). +- F-β.2 implementation worker dispatches against locked migration shape. + +### §1.3 F-β.2 — C2 #82 atomic-migration implementation + +**Owner**: Substrate Mgr worker (post-F-β.1 canvas-ratification dispatch). + +**Scope** (per F-β.1 ratified migration shape): atomic migration per design §6.2 (single-PR shippable). Same shape as F-α walker port — port-and-rewire bounded work using existing `services.dag::Operation` carrier (no new substrate type per design §3.2/§6.2). + +- **4a — resource-threading migration**: substrate exists; consumer migration only (bounded) +- **4b — ambient metadata removal**: cleanup (bounded) +- **4c — lens body change (kind-classification dispatch)**: lens reads effect set from arrow signature directly + dispatches on `callable_inhabits` lookup per design §2.4(b). Bounded; no new substrate. +- **4d — full `OperationEffect` retirement**: depends on 4a-4c convergence. + +**Receipt**: +- Effect-enumeration walker hand-Rust retires (drops from `EXPECTED_HAND_AUTHORED_NON_TEST`). +- `Operation` carrier consumed as substrate-fact authority for caller-side effect-set pinning (per design §3.2). +- Gate #82 status: DECLARED → CONSUMER_LANDED → PASSING. +- ~3 entries dissolve from SG-0 census. + +**Receipt**: +- Effect-enumeration walker hand-Rust retires (drops from SG-0). +- Gate #82 status: DECLARED → CONSUMER_LANDED → PASSING. +- ~3 entries dissolve from SG-0 census. + +### §1.4 F-γ — split into F-γ.1 (#95 demo) + F-γ.2 (#83 register) + +**Split rationale (per codex BLOCKING on PR #2364 sha `14e4d8ff6` line 22)**: prior single-phase F-γ collapsed two gates with different prerequisite sets — #95 cascades on F-α + T-LAS Slice B (parallelism + apply_lens only), while #83 register cascades on ALL 4 lenses BEHAVIORALLY COMPLETE. Each gate gets one canonical close predicate per INVARIANTS P2. + +#### §1.4.1 F-γ.1 — C3 #95 demo + +**Owner**: Verification Mgr (wise-bear-525 / gunbc#2075). + +**Scope**: opt-in cross-iteration parallelism via lens application — worked example via `apply_lens(parallelism, fn, Enforce { ... })`. + +**Cascade prerequisites**: +- F-α completion (parallelism BEHAVIORALLY COMPLETE) +- T-LAS Slice B landing (per-lens LensEnforcement projection #91 + violation routing) + +**Receipt**: #95 status DECLARED → CONSUMER_LANDED → PASSING (worked-example demo). + +#### §1.4.2 F-γ.2 — #83 register full-scope + +**Owner**: Substrate Mgr (warm-wolf-698 / gunbc#2068) for register state update; cross-program with Verification. + +**Scope**: dissolution of prior "scope narrowing" framing (formerly C3 in carve doc); register fires for ALL 4 in-R3 lenses (complexity + cost + parallelism + effect_enum) at R3 close. + +**Cascade prerequisites** (all 4 lenses BEHAVIORALLY COMPLETE): +- F-α completion (#81 parallelism) +- F-β completion (#82 effect_enum) +- #79 (complexity lens BEHAVIORALLY COMPLETE — existing T-LBP scope) +- #80 (cost lens BEHAVIORALLY COMPLETE — existing T-LBP scope) + +**Receipt**: #83 status DECLARED → CONSUMER_LANDED → PASSING (register reports ZERO PROXY / ZERO STUB for all 4 in-R3 lenses). + +--- + +## §2. Cross-Mgr coordination + +| Phase | Substrate Mgr | Verification Mgr | PB Mgr | +|---|---|---|---| +| F-α | author worker brief; dispatch | (none) | (none) | +| F-β.1 | author canvas (migration-shape ratification) | (none) | (none) | +| F-β.2 | atomic-migration worker (port + rewire; same shape as F-α) | (none) | (none) | +| F-γ.1 | (none) | (#95 demo worker) | (none) | +| F-γ.2 | (#83 register status update — small) | (none) | (none) | + +T-LAS Slice B landing is a separate T-Lens-Application-Surface lane work item (not a Cluster F sub-phase); its sequencing is tracked in T-LAS lane-Mgr scope (Substrate Mgr per `r3-structure.md` §"Lane structure"). F-γ.1 cascade-gates on T-LAS Slice B landing as an external dependency. + +--- + +## §3. Velocity-to-zero contribution + +Per [`docs/audit/r3-pb0-velocity-walk-2026-05-09.md`](r3-pb0-velocity-walk-2026-05-09.md) §3.3 + Director's velocity update at #issuecomment-4412330468 + #issuecomment-4412380947: + +**Cluster F bulk-dissolution events (carve-promotion contribution)**: +- F-α: ~3 entries dissolve (workflow_parallelism.rs + supporting files) +- F-β.2: ~3 entries dissolve (effect-enum walker hand-Rust; post-F-β.1 canvas ratification) +- F-γ.1: ~2 entries dissolve (#95 demo wiring; varies by implementation shape) +- F-γ.2: 0 entries dissolve (#83 is a register-status update, not a hand-Rust retirement) + +Plus existing Cluster F scope (#5/#6/#7 LP-retirement + #71 self-host trampoline): ~14 entries dissolve. + +**Cluster F total**: ~22 entries dissolve via Cluster F bulk events. Combined with Cluster M's ~80-90 test-side dissolution, accounts for ~100+ of the 150 SG-0 entries (full PB-0 closure). + +--- + +## §4. Sequencing within R3 window (8-12 weeks) + +Per Director's bulk-event sequencing in #issuecomment-4412008376 §C, refined by carve-promotion at #issuecomment-4412380947: + +| Bulk event | Cycle window | Cluster F phase | +|---|---|---| +| Cluster M Phase 1 (#85/#86) | weeks 1-4 | (parallel with F-α + F-β.1) | +| Cluster M Phase 2 (#87) | weeks 2-5 | (parallel) | +| Cluster M Phase 3 (#84 bulk-port) | weeks 3-7 | (parallel with F-γ tail) | +| **F-α (C1 walker port)** | **weeks 1-3** | parallel with Cluster M Phase 1 | +| **F-β.1 (C2 migration-shape canvas)** | **weeks 1-2** | parallel with F-α (canvas-tier work; substrate-ready) | +| **F-β.2 (C2 atomic-migration implementation)** | **weeks 2-4** | post-F-β.1 ratification | +| **F-γ.1 (#95 demo)** | **weeks 4-6** | post-F-α + T-LAS Slice B | +| **F-γ.2 (#83 register full-scope)** | **weeks 4-7** | post-all-4-lenses-BEHAVIORALLY-COMPLETE (F-α + F-β.2 + #79 + #80) | +| Tail: per-file/small-class | weeks 6-8 | various | + +All phases bounded; staffing-not-a-concern directive applies. Fits 8-12 week R3 window. + +--- + +## §5. Operator-tier spawn-authority queue update + +Per Director's #issuecomment-4412392036: +> "Spawn-authority for new workers (multiple): consolidated queue at PM #846; operator-tier ratification batched." + +Cluster F adds to the spawn queue (alongside Cluster M Phase 1 #85/#86 canvases): +- **F-α worker** (C1 walker port; Substrate Mgr brief) +- **F-β.1 canvas-author** (Substrate Mgr standing authority — no operator spawn needed; mgr-tier canvas-drafting) +- **F-β.2 atomic-migration worker** (post-F-β.1 ratification; Substrate Mgr brief; same shape as F-α port + rewire) +- **F-γ.1 #95 demo worker** (Verification Mgr brief; post-F-α + Slice B) +- **F-γ.2 #83 register full-scope** (Substrate Mgr small-scope status update; post-all-4-lenses-BEHAVIORALLY-COMPLETE — no operator spawn needed) + +Operator authorizes spawns; Substrate/Verification Mgrs dispatch under standing authority. + +--- + +## §6. Dispatch readiness checklist + +After Task 12 carve-promotion amendment PR ratifies + merges: +- [ ] Substrate Mgr dispatched on F-α (C1 walker port worker brief) +- [ ] Substrate Mgr dispatched on F-β.1 (C2 migration-shape ratification canvas under standing authority) +- [ ] F-β.1 canvas surfaces migration-shape questions → Director ratifies → F-β.2 worker brief + dispatch +- [ ] F-α completion + T-LAS Slice B landing → Verification Mgr dispatches F-γ.1 #95 worker +- [ ] F-α (#81) + F-β.2 (#82) BEHAVIORALLY COMPLETE + existing #79/#80 → F-γ.2 #83 register full-scope status update +- [ ] §1.8 ledger Status updated for #81/#82/#83/#95 as each gate transitions DECLARED → CONSUMER_LANDED → PASSING +- [ ] `r4-carve-out-routing.md` C1/C2/C3 entries amended to dissolved-status (in this Task 12 PR) + +--- + +**End of plan.** diff --git a/docs/r3-program-plan.md b/docs/r3-program-plan.md index ccc31b293e8..32e3a95992c 100644 --- a/docs/r3-program-plan.md +++ b/docs/r3-program-plan.md @@ -5,7 +5,7 @@ **Merge gates** (distinct from PR-open status — per openai-pro 2026-05-06 finding): - **PR open**: ✓ at sha `d1bfbbe22` - **Plan PR merge-eligible**: open RED escalations in §10.3 acknowledged + tracked (not necessarily resolved); PR can merge with RED items in flight provided they're explicitly tracked + assigned routing -- **R3 close** (NOT plan PR merge): all **R3-load-bearing** §1.8 closure gates GREEN (**97** gate IDs enumerated; **96 R3-load-bearing** post-Director carve-promotion-IN-R3 ratification 2026-05-09 at gunbc#846 #issuecomment-4412330468 + (a) at #issuecomment-4412380947 — gates #81/#82/#95 PROMOTED-IN-R3 within Cluster F via concurrent PR #2364 Task 12 amendment; only #11 TC1 V1 strict-fire canvas-deferred per Director (a)-disposition 2026-05-09; #96 ValueBody isomorphism added 2026-05-08 per Q-ValueBody-Isomorphism RATIFIED at gunbc#828 #issuecomment-4403972737 + Brian sanction at gunbc#846; #97 emit-shim added 2026-05-08 per Q-V2-Retirement-Boundary-Matrix Gunbc **[#1982](https://github.com/gunb-ai/gunbc/issues/1982)**) + §10.3 Q-Lens-Behavioral-Parity-R3-Closeability option (b) original ratification — **all 4 lenses now R3-load-bearing per carve-promotion** (complexity + cost + parallelism + effect_enum) within Cluster F (T-LP-Retirement) + `r3_debt_paydown_zero_remaining` + comprehensive sweep zero-debt + other §10.3 RED items resolved per their owners +- **R3 close** (NOT plan PR merge): all **R3-load-bearing** §1.8 closure gates GREEN (**97** gate IDs enumerated; **96 R3-load-bearing** post-Director carve-promotion-IN-R3 ratification 2026-05-09 at gunbc#846 #issuecomment-4412330468 + (a) at #issuecomment-4412380947 — gates #81/#82/#95 PROMOTED-IN-R3 within Cluster F (Task 12 carve-promotion landed via PR #2364); only #11 TC1 V1 strict-fire canvas-deferred per Director (a)-disposition 2026-05-09; #96 ValueBody isomorphism added 2026-05-08 per Q-ValueBody-Isomorphism RATIFIED at gunbc#828 #issuecomment-4403972737 + Brian sanction at gunbc#846; #97 emit-shim added 2026-05-08 per Q-V2-Retirement-Boundary-Matrix Gunbc **[#1982](https://github.com/gunb-ai/gunbc/issues/1982)**) + §10.3 Q-Lens-Behavioral-Parity-R3-Closeability option (b) original ratification — **all 4 lenses now R3-load-bearing per carve-promotion** (complexity + cost + parallelism + effect_enum) within Cluster F (T-LP-Retirement) + `r3_debt_paydown_zero_remaining` + comprehensive sweep zero-debt + other §10.3 RED items resolved per their owners **Purpose.** Forward-looking program plan for **R3 close with zero debt**. Per user directive 2026-05-05 (gunbc#846): *"clear dependency graph from here to R3 close"* + *"surface escalations now and solve them"*. @@ -88,11 +88,10 @@ Per `r3-debt-sweep-2026-05-06.md` §Class A (line 39): *"parser/grammar surface, **No R4 carves at R3 close** per Director ratification 2026-05-09 c#4412330468 — gates #81/#82/#95 (formerly R4-carved as C1/C2/C3) are PROMOTED-IN-R3 as lens-producer-retirement work folded into Cluster F. The prior "94 post-R4-carve" intermediate count is superseded; forward-looking R3 close target is 96 (no carves; only #11 canvas-deferral subtracted). Composition: existing R3 lane gates across 18 lanes (`T-Tier3-Dissolution` 4, `T-LensProducer-Retirement` 4, `T-V-L4-L7-Direct` 2 + 4 NEW Pattern-A executable + 1 ValueBody isomorphism = 7, `T-V-L5-Corpus` 1, `T-FixedPoint` 1, `T-Numeric-Construction` 8, `T-Omni-Shape-B` 4, `T-Anthropic-Wire` 2, `T-Bridge-Retirement` 6, `T-CostLens-Composition` 3 + 1 NEW = 4, `T-V2-Retirement` 2, `T-Free-Consequences-Demonstration` 10, `T-E-P-Producer-Broadening` 3, `T-Lens-Behavioral-Parity` 5, `T-Tests-As-Data-Completeness` 4, `T-Lens-Application-Surface` 8, `T-Workflow-As-Data` 4, `T-Lens-Self-Application` 3) = 80 lane gates; **+ Gate #97** (`method_template_projection_emit_shim_retirement_coherence`, R2-Grounding-Rust / Gunbc **#1982**) = **81** lane-aligned gate rows; plus 5 substrate-gap-class gates + 10 demonstration gates + 1 PR-anticipation-discipline gate = 16 gates added 2026-05-06. Total: 81 + 16 = **97** across 18 lanes + 1 standing program. - **Gate-count canonicalization (per Director audit 2026-05-09 — ask 9, refined post-openai-pro REQUEST_CHANGES on PR #2361)**: - **97 enumerated** total -- **0 R4-carved at R3 close** (per Director ratification 2026-05-09 at gunbc#846 c#4412330468 + operator framing "0 hand-Rust including tests AND stage0; bootstrap is data + self-generated"). R4 carves C1 / C2 / C3 (gates #81 / #82 / #95) are **PROMOTED-IN-R3** as lens-producer-retirement work folded into Cluster F. `docs/r4-carve-out-routing.md` C1/C2/C3 entries amended to dissolved-status via concurrent carve-promotion PR (PR #2364 Task 12 amendment). +- **0 R4-carved at R3 close** (per Director ratification 2026-05-09 at gunbc#846 c#4412330468 + operator framing "0 hand-Rust including tests AND stage0; bootstrap is data + self-generated"). R4 carves C1 / C2 / C3 (gates #81 / #82 / #95) are **PROMOTED-IN-R3** as lens-producer-retirement work folded into Cluster F via PR #2364 Task 12 amendment. - **1 post-R3-canvas-deferred**: {#11} — TC1 V1 strict-fire; cannot reach PASSING absent #1972 substrate canvas-tier work which is HELD-CANVAS-DEFERRED past R3 per Director (a)-disposition 2026-05-09; effectively removed from R3-thesis-load-bearing arithmetic - **96 R3-thesis-load-bearing** = `97 − 1 (post-R3-canvas-deferred {#11}) = 96`. R3 close = all 96 GREEN + `r3_debt_paydown_zero_remaining` GREEN. @@ -106,7 +105,7 @@ Per PR #2358 §8 meta-finding (closure-claims-vs-HEAD drift): the prior "94 R3-l R3 closes when **all 96 R3-load-bearing §1.8 gates** pass + zero tracked-debt rows survive (`r3_debt_paydown_zero_remaining`). -**~~R4-carved §1.8 rows~~** — **DISSOLVED 2026-05-09** per Director carve-promotion-IN-R3 ratification at gunbc#846 #issuecomment-4412330468 + (a) ratification at #issuecomment-4412380947 + operator framing 2026-05-09 ("0 hand-Rust including tests AND stage0; bootstrap is data + self-generated"). Gates **#81** `parallelism_lens_behaviorally_complete` + **#82** `effect_enumeration_lens_behaviorally_complete` + **#95** `opt_in_iteration_parallelism_via_lens_application_demonstrated` are **R3-load-bearing** within **Cluster F (T-LP-Retirement)** per concurrent PR #2364 Task 12 amendment. `docs/r4-carve-out-routing.md` C1/C2/C3 entries amended to dissolved-status via that PR. R3 close target: **96 R3-load-bearing gates green** (no carves; only #11 canvas-deferral subtracted per Director (a)-disposition 2026-05-09). +**~~R4-carved §1.8 rows~~** — **DISSOLVED 2026-05-09** per Director carve-promotion-IN-R3 ratification at gunbc#846 #issuecomment-4412330468 + (a) ratification at #issuecomment-4412380947 + operator framing 2026-05-09 ("0 hand-Rust including tests AND stage0; bootstrap is data + self-generated"). Gates **#81** `parallelism_lens_behaviorally_complete` + **#82** `effect_enumeration_lens_behaviorally_complete` + **#95** `opt_in_iteration_parallelism_via_lens_application_demonstrated` are **R3-load-bearing** within **Cluster F (T-LP-Retirement)** per [`docs/audit/r3-cluster-f-sequencing-plan-2026-05-09.md`](audit/r3-cluster-f-sequencing-plan-2026-05-09.md) (landed via PR #2364 Task 12 amendment). Gate **#83** `lens_capability_register_zero_proxy_zero_stub` scope-narrowing dissolves; #83 now fires for ALL 4 in-R3 lenses (complexity + cost + parallelism + effect_enum). `docs/r4-carve-out-routing.md` C1/C2/C3 entries amended to dissolved-status. R3 close target: **96 R3-load-bearing gates green** (no carves; only #11 canvas-deferral subtracted per Director (a)-disposition 2026-05-09 — see §1.5 canonicalization above + §1.8 row #11 status). **Two distinct Pass surfaces** (per Debt-Paydown Mgr poke-hole 2026-05-06 — clarification prevents conflating predicates): - **Lane `.dag` TestClaim gates (97 enumerated; 96 R3-load-bearing post-carve-promotion 2026-05-09 — only #11 canvas-deferred)**: per-lane closure predicates passing via `.dag` evaluation, runtime demonstration, or CI consumer (per §1.7 status taxonomy). @@ -137,7 +136,7 @@ Per openai-pro meta-review on PR #1808 sha `cf249389` ([#issuecomment-4384405832 **Status at HEAD**: per §1.8 canonical ledger Status column — most gates are **DECLARED**; `pb_self_compile_fixed_point` is a canonical CONSUMER_LANDED exemplar (R1 horizon Pass = current `verification.dag` + `test_runner` evaluation). **`method_template_projection_emit_shim_retirement_coherence` (§1.8 #97)** is **CONSUMER_LANDED + PASSING** via the integration test cited in the §1.8 ledger row. `tier3_*_mirror_dissolved` gates remain **DECLARED** at HEAD (T-Tier3-Dissolution lane work in flight per §3 lane status; consumer count / mirror-symbol count test not yet authored). Per-gate status updates flow through §1.8 ledger as Mgrs land consumer infrastructure per their lane scope; all 16 NEW gates added 2026-05-06 in PR #1808 are DECLARED-only. -**R3 close criteria implies CONSUMER_LANDED for all R3-load-bearing §1.8 gates** (97 enumerated **minus** **#81**/**#82**/**#95** carved — see carve paragraph under §1.5): declarations alone don't satisfy `r3_debt_paydown_zero_remaining` or the substrate-gap-class closures or the demonstration principle. Per Brian directive `feedback_no_textual_enforcement_bridges` + Director poke-hole 2026-05-06 finding 1.1 (demo-gate minimum bar) — closure requires runtime-executable verification, not document-level claims. +**R3 close criteria implies CONSUMER_LANDED for all R3-load-bearing §1.8 gates** (97 enumerated **minus** **#11** canvas-deferred per Director (a)-disposition 2026-05-09 = **96 R3-load-bearing**; #81/#82/#95 carve-promoted-IN-R3 per Director ratification 2026-05-09 c#4412330468 — see §1.5 above): declarations alone don't satisfy `r3_debt_paydown_zero_remaining` or the substrate-gap-class closures or the demonstration principle. Per Brian directive `feedback_no_textual_enforcement_bridges` + Director poke-hole 2026-05-06 finding 1.1 (demo-gate minimum bar) — closure requires runtime-executable verification, not document-level claims. **Consumer infrastructure to land before R3 close**: - **T-Tests-As-Data-Completeness lane** (existing R3 lane): every test ports to `.dag` TestClaim or generated target-language test code; predicates execute via Evaluator. Closes the predicate→consumer gap for substrate-gap-class + Pattern-A predicate gates. @@ -184,7 +183,7 @@ Mgrs author per-gate spec citing the (a)/(b)/(c) satisfaction; closure-ledger en | T-V2-Retirement | deletion gates (state-check) | + `v3_self_host_demonstration` — bootstrap path through PB-Runtime trampoline executes end-to-end; v3-only self-host pipeline runs without v2 fallback (Director poke-hole 2026-05-06 finding 4.1: reframed from `v2_retirement_demonstration` "deletion's inverse" to direct positive-statement form) | | T-Free-Consequences-Demonstration | 10 demo gates ✓ | (existing — full demo suite) | | T-E-P-Producer-Broadening | substrate-shape gates | + `e_p_producer_demonstration` — representative call site produces full descent evidence at runtime | -| T-Lens-Behavioral-Parity | parity-complete gates | + `lens_behavioral_parity_demonstration` — **R3 (post-carve-promotion 2026-05-09):** **all 4 lenses** (complexity + cost + parallelism + effect_enumeration) demonstrate on representative input + match **frozen v2-oracle cementing-test snapshot**. Parallelism + effect_enumeration are **R3-load-bearing within Cluster F (T-LP-Retirement)** per Director carve-promotion ratification at gunbc#846 #issuecomment-4412330468 + (a) at #issuecomment-4412380947 (prior option (b) narrowing to complexity+cost DISSOLVED). Snapshot is captured pre-v2-retirement; demo at R3 close consumes the frozen receipt, NOT a live v2 oracle — preserves `v2_oracle_no_remaining_test_consumers` gate (per openai-pro 2026-05-06 finding 5 — v2-oracle conflict resolved) | +| T-Lens-Behavioral-Parity | parity-complete gates | + `lens_behavioral_parity_demonstration` — **R3 (post-carve-promotion 2026-05-09):** **all 4 lenses** (complexity + cost + parallelism + effect_enumeration) demonstrate on representative input + match **frozen v2-oracle cementing-test snapshot**. Parallelism + effect_enumeration are **R3-load-bearing within Cluster F (T-LP-Retirement)** per Director carve-promotion ratification at gunbc#846 #issuecomment-4412330468 + (a) at #issuecomment-4412380947 (prior option (b) narrowing to complexity+cost DISSOLVED — see §10.3 Q-Lens-Behavioral-Parity-R3-Closeability). Snapshot is captured pre-v2-retirement; demo at R3 close consumes the frozen receipt, NOT a live v2 oracle — preserves `v2_oracle_no_remaining_test_consumers` gate (per openai-pro 2026-05-06 finding 5 — v2-oracle conflict resolved) | | T-Tests-As-Data-Completeness | substrate-shape gates | + `tests_as_data_demonstration` — at least one Rust test ports to .dag TestClaim and executes | | T-Lens-Application-Surface | 4 worked-example demos ✓ | (existing) | | T-Workflow-As-Data | `ci_workflow_modeled_as_dag` ✓ | (existing) | @@ -296,9 +295,9 @@ This principle is NOT a separate lane; it's a per-lane gate-shape requirement ap | 78 | `e_p_sub_value_relation_per_call_landed` | substrate-shape | T-E-P-Producer-Broadening | DECLARED (added to §"Acceptance" 2026-05-06) | SubValueRelation per-call landing | | 79 | `complexity_lens_behaviorally_complete` | structural-fold | T-Lens-Behavioral-Parity | SATISFIED-BY-CONSTRUCTION — #2220 | symbolic CostExpr + work/span split + asymptotic classification + cementing test (`complexity_lens_behavioral_completion`) | | 80 | `cost_lens_behaviorally_complete` | structural-fold | T-Lens-Behavioral-Parity | DECLARED — **IN R3 (option b RATIFIED 2026-05-06)**; partial #1951 receipt covers v3-side `analyze_symbolic_cost_dimension` cementing only, not Band-C frozen-v2-oracle closure | Dimension wiring + SizeVar value semantics + cementing test | -| 81 | `parallelism_lens_behaviorally_complete` | structural-fold | T-Lens-Behavioral-Parity / **Cluster F (T-LP-Retirement)** | **R3-LOAD-BEARING (carve-promoted-IN-R3 2026-05-09)** per Director ratification at gunbc#846 #issuecomment-4412330468; Stage 2e walker port from `workflow_parallelism.rs` → `.dag` per Cluster F sub-phase. Folded into Cluster F via concurrent PR #2364 Task 12 amendment. Prior R4-CARVED (C1) status DISSOLVED. | -| 82 | `effect_enumeration_lens_behaviorally_complete` | structural-fold | T-Lens-Behavioral-Parity / **Cluster F (T-LP-Retirement)** | **R3-LOAD-BEARING (carve-promoted-IN-R3 2026-05-09)** per Director ratification at gunbc#846 #issuecomment-4412380947 (a). Atomic-migration shape over existing `services.dag::Operation` carrier per locked design `docs/design-effect-enumeration-resource-threading.md` §3.2 + §6.2 ("Operation carrier already exists at services.dag:122; no new top-level carrier required"). Folded into Cluster F via concurrent PR #2364 Task 12 amendment. Prior R4-CARVED (C2) status DISSOLVED. | -| 83 | `lens_capability_register_zero_proxy_zero_stub` | state-check | T-Lens-Behavioral-Parity / **Cluster F (T-LP-Retirement)** | **DECLARED — full scope IN R3 (carve-promotion-IN-R3 2026-05-09)** per Director carve-promotion ratification at gunbc#846 #issuecomment-4412330468. Prior C3 scope-narrowing ("ZERO PROXY / ZERO STUB for in-scope lenses (complexity + cost) only") DISSOLVED — register status now fires for **ALL 4 in-R3 lenses** (complexity + cost + parallelism + effect_enum) at R3 close per carve-promotion. | +| 81 | `parallelism_lens_behaviorally_complete` | structural-fold | T-Lens-Behavioral-Parity / **Cluster F (T-LP-Retirement)** | **R3-LOAD-BEARING (carve-promoted-IN-R3 2026-05-09)** per Director ratification at gunbc#846 #issuecomment-4412330468; Stage 2e walker port from `workflow_parallelism.rs` → `.dag` per Cluster F sub-phase F-α (substrate-ready M-sized lane). See `docs/audit/r3-cluster-f-sequencing-plan-2026-05-09.md` §1.1. Prior R4-CARVED (C1) status DISSOLVED. | +| 82 | `effect_enumeration_lens_behaviorally_complete` | structural-fold | T-Lens-Behavioral-Parity / **Cluster F (T-LP-Retirement)** | **R3-LOAD-BEARING (carve-promoted-IN-R3 2026-05-09)** per Director ratification cascade at gunbc#846 #issuecomment-4412380947 → #4412433924 → #4412475559. Cluster F sub-phases **F-β.1 (migration-shape ratification canvas)** + **F-β.2 (atomic-migration implementation)** using existing `services.dag::Operation` carrier per locked design `docs/design-effect-enumeration-resource-threading.md` §3.2 + §6.2 ("Operation carrier already exists at services.dag:122; no new top-level carrier required"). F-β.1 canvas authoring stays in Substrate Mgr standing authority; Director ratifies surfaced migration-shape questions (Operation field reads / walker rewire surface / test-consumer breaking changes); F-β.2 worker dispatches against ratified shape. See `docs/audit/r3-cluster-f-sequencing-plan-2026-05-09.md` §1.2-§1.3. Prior R4-CARVED (C2) status DISSOLVED. | +| 83 | `lens_capability_register_zero_proxy_zero_stub` | state-check | T-Lens-Behavioral-Parity / **Cluster F sub-phase F-γ** | **DECLARED — full scope IN R3 (carve-promotion-IN-R3 2026-05-09)** per Director carve-promotion ratification at gunbc#846 #issuecomment-4412330468. Prior C3 scope-narrowing ("ZERO PROXY / ZERO STUB for in-scope lenses (complexity + cost) only") DISSOLVED — register status now fires for **ALL 4 in-R3 lenses** (complexity + cost + parallelism + effect_enum) at R3 close per carve-promotion. Cluster F sub-phase F-γ.2 (post-all-4-lenses-BEHAVIORALLY-COMPLETE cascade). See `docs/audit/r3-cluster-f-sequencing-plan-2026-05-09.md` §1.4.2. | | 84 | `every_rust_test_ports_to_dag_or_generated` | state-check | T-Tests-As-Data-Completeness | DECLARED (added to §"Acceptance" 2026-05-06) | thesis facet 3; every Rust test ports | | 85 | `forall_exists_quantifier_substrate_landed` | substrate-shape | T-Tests-As-Data-Completeness | DECLARED (added to §"Acceptance" 2026-05-06) | ForAll / Exists quantifier substrate | | 86 | `program_generator_carrier_landed` | substrate-shape | T-Tests-As-Data-Completeness | DECLARED (added to §"Acceptance" 2026-05-06) | ProgramGenerator substrate carrier | @@ -310,7 +309,7 @@ This principle is NOT a separate lane; it's a per-lane gate-shape requirement ap | 92 | `complexity_violation_compile_error_demonstrated` | demonstration | T-Lens-Application-Surface | RECEIPT (`t_las_complexity_contract_demo.dag` + `t_las_complexity_contract_compile_error_test.rs`) | `EnforcedApplication` + `complexity_enforceable`; `complexity_of` > `ClassLog` ⇒ `ParseError` “lens enforcement violation” | | 93 | `crdt_cost_basis_demonstrated` | demonstration | T-Lens-Application-Surface | DECLARED (added to §"Acceptance" 2026-05-06) | CRDT cost basis via apply_lens | | 94 | `memory_peak_cost_basis_demonstrated` | demonstration | T-Lens-Application-Surface | **CONSUMER_LANDED + PASSING** (#1954 — `memory_peak_cost` + cementing demo; **Enforce**: `memory_peak_enforcement_violates` is true iff `!dominates(declared_budget, observed_peak)` (budget covers peak in the `SymbolicCost` order; ties + incomparable cases unit-pinned); **`SizeVariable`** matches `src/v3/std/algebra.dag` incl. optional `display_name`; parser `apply_lens(cost, …, Enforce { dimension: Memory, … })` still awaits gate #91) | memory-peak cost basis | -| 95 | `opt_in_iteration_parallelism_via_lens_application_demonstrated` | demonstration | T-Lens-Application-Surface / **Cluster F (T-LP-Retirement)** | **R3-LOAD-BEARING (carve-promoted-IN-R3 2026-05-09)** per Director ratification at gunbc#846 #issuecomment-4412330468 (cascade-promotion with C1 #81). Worked-example demo via `apply_lens(parallelism, fn, Enforce)`. Cascade-gates on parallelism lens BEHAVIORALLY COMPLETE (#81) + T-LAS Slice B substrate landing per `docs/design-lens-application-surface.md` §4.4 / §7. Folded into Cluster F via concurrent PR #2364 Task 12 amendment. Prior R4-CARVED (C1 cascade) status DISSOLVED. | +| 95 | `opt_in_iteration_parallelism_via_lens_application_demonstrated` | demonstration | T-Lens-Application-Surface / **Cluster F (T-LP-Retirement)** | **R3-LOAD-BEARING (carve-promoted-IN-R3 2026-05-09)** per Director ratification at gunbc#846 #issuecomment-4412330468 (cascade-promotion with C1 #81). Worked-example demo via `apply_lens(parallelism, fn, Enforce)`. Cascade-gates on F-α completion (parallelism BEHAVIORALLY COMPLETE #81) + T-LAS Slice B substrate landing (#91 per-lens LensEnforcement projection per `docs/design-lens-application-surface.md` §4.4 / §7). Cluster F sub-phase F-γ.1. See `docs/audit/r3-cluster-f-sequencing-plan-2026-05-09.md` §1.4.1. Prior R4-CARVED (C1 cascade) status DISSOLVED. | | 96 | `value_body_substrate_mirror_isomorphism_executable` | substrate-shape | T-V-L4-L7-Direct (Verification cross-program with Substrate) | DECLARED (NEW 2026-05-08; Q-ValueBody-Isomorphism RATIFIED at gunbc#828 #issuecomment-4403972737 + Brian sanction at gunbc#846) | Rust `ValueBody` ↔ substrate `.dag` mirror isomorphism gate; canonical Pass-condition body at `r3-structure.md` §Acceptance T-Verification-L4-L7-Direct (per §1.8 authority convention `r3-program-plan.md:302`); brief at `docs/briefs/r3-v-valuebody-substrate-mirror-isomorphism-v1-worker.md`. | | 97 | `method_template_projection_emit_shim_retirement_coherence` | state-check | R2-Grounding-Rust ([Gunbc **#1982**](https://github.com/gunb-ai/gunbc/issues/1982)) | **CONSUMER_LANDED + PASSING** | Q-V2-Retirement-Boundary-Matrix (**G6**) — Gap-4 `pb_method_template_projection_dag_emit` + **`[[bin]]` `emit_method_template_projection`** in `src/v3/compiler/Cargo.toml` + `src/bin/emit_method_template_projection.rs` must exist **iff** **`src/v2/stage0/`** remains (`autobins = false` — manifest target is load-bearing). Consumer: **`method_template_projection_emit_shim_coherence_test.rs`** + SG-0 census path gate. Terminal retirement = v2 tree absent ⇒ lib + bin table + bin source absent; coherence holds continuously. | @@ -1037,7 +1036,7 @@ Substrate canvas + plan-poke-hole both folded in. Key absorptions: | Q-Substrate-Grounding-DAG-Routing | Slice C residual `.dag` files overlap Grounding scope (`docs/parallelism-design.md` etc.) — routing | Substrate Mgr owns Slice C residual entirely; cross-Mgr coord with bold-ferret-748 for Grounding-impacting `.dag` content via comment-thread review (no separate Grounding dispatch). | RATIFIED-by-default (Substrate Mgr C4) | | Q-Substrate-Cadence-Throughput | 10 wait-window briefs in PR #1782 + 6+ substrate carrier dispatches form serialized queue; rate-limits R3 close | Authorize parallel-dispatch where lanes have no shared prerequisite (T-E-P + L6 + Numeric-Construction parallel; X1.b sequenced post-E6-G0c; coproduct paydowns sequenced post-variant-aware carrier). PM tracks cadence in §9 weekly cadence; lane-owning Mgr packages PR-sized specs. | RATIFIED-by-default (Substrate Mgr E1+E2) | | Q-Reification | Substrate-fact-introduction (P1 procedure) for compiled-Dag → evaluator-Value reification — does R3 require a new `ReflectedProgram` carrier, or is `src/v3/std/substrate.dag::Dag` already the reflected program? | **Option A (Dag-as-carrier) ratified** — `Dag` IS the reflected program; no new substrate carrier required. `ReflectedProgram` rejected (4-fail per `feedback_no_metadata_markers` + `feedback_parallel_representation_debt` + `feedback_dissolve_bridges` + `INVARIANTS.md` **P2 single authority** — adding a parallel `ReflectedProgram` carrier alongside `Dag` would introduce duplicate authority for the same structural fact). Proposal landed at [PR #2096](https://github.com/gunb-ai/gunbc/pull/2096) (merge commit `fec869202`, 2026-05-07); receipt = pass-by-construction (no new `.dag` declaration added to `src/v3/std/`). | **RATIFIED 2026-05-07 (Option A)** — Gate A receipt PR (Substrate Mgr): brief patches `ReflectedProgram` → `Dag` across `r3-v-pattern-a-tc1-v1-worker.md` + `r3-pr-e6-g1a-option3-static-lens-worker.md` + `r3-pr-e8-w1-producer-contract-test-plan-worker.md`; #1960 closed-as-non-addition. Gate B (Verification TC1 V1 lens body in `.dag` + Evaluator E3.c representative consumes `Dag`) coordinates separately. | -| Q-Lens-Behavioral-Parity-R3-Closeability | **WAS RED** (T-Lens-Behavioral-Parity 4-lens scope L-XL + 4 sub-slices per lens + T-E-P-Producer-Broadening foundational dep; Substrate Mgr honest assessment: may not close cleanly in R3 timeline). **Substrate Mgr S2 canvas authored 2026-05-06** (`docs/briefs/r3-substrate-s2-t-lbp-scope-calibration-canvas.md`): per-lens × per-sub-slice blocker matrix (16 cells); option (a) full T-LBP / option (b) narrow to complexity+cost / option (c) substrate-gap subdivision feasibility analysis. | **Director ratified option (b) 2026-05-06** at [gunbc#828 #issuecomment-4385329180](https://github.com/gunb-ai/gunbc/issues/828#issuecomment-4385329180) (zesty-bear-812 Director session; cross-relayed via deep-wolf-155 propagation PR). **Q1 (option a) REJECTED**: requires landing 4c (caller-side effect-set pinning carrier) inside R3 — substrate-fact-introduction-without-confirmed-bridge-consumer; circular against R3 close per `INVARIANTS.md` P1. **Q2 (option b) RATIFIED**: T-LBP narrows to **complexity + cost lenses only** in R3 (both share T-E-P producer dependency; closing simultaneously is critical-path fastest). **Carved to R4** per `docs/r4-carve-out-routing.md` (commit `811de219f`): C1 parallelism lens (Stage 2e walker port substrate exists; port + rewire), C2 effect_enumeration lens (4c carrier P1 substrate-fact-introduction required), C3 #83 register zero-proxy/zero-stub narrowed to in-R3 lenses (complexity + cost) with parallelism + effect_enum entries documented as R4-carved. Q3 N/A. **AMENDED 2026-05-09 — option (b) carve-narrowing DISSOLVED** per Director carve-promotion-IN-R3 ratification at gunbc#846 #issuecomment-4412330468 + (a) ratification at #issuecomment-4412380947 + operator framing 2026-05-09 ("0 hand-Rust including tests AND stage0; bootstrap is data + self-generated"). C1/C2/C3 carves DISSOLVED via concurrent PR #2364 Task 12 amendment; gates #81/#82/#95 PROMOTED-IN-R3 within Cluster F (T-LP-Retirement); gate #83 register fires for ALL 4 in-R3 lenses (complexity + cost + parallelism + effect_enum) at R3 close. | **RATIFIED 2026-05-06 (option b)** — INITIAL T-LBP narrowing; **AMENDED 2026-05-09 (carve-promotion-IN-R3 DISSOLVES option b carve-narrowing)** — full T-LBP all 4 lenses R3-load-bearing within Cluster F. | +| Q-Lens-Behavioral-Parity-R3-Closeability | **WAS RED** (T-Lens-Behavioral-Parity 4-lens scope L-XL + 4 sub-slices per lens + T-E-P-Producer-Broadening foundational dep; Substrate Mgr honest assessment: may not close cleanly in R3 timeline). **Substrate Mgr S2 canvas authored 2026-05-06** (`docs/briefs/r3-substrate-s2-t-lbp-scope-calibration-canvas.md`): per-lens × per-sub-slice blocker matrix (16 cells); option (a) full T-LBP / option (b) narrow to complexity+cost / option (c) substrate-gap subdivision feasibility analysis. | **Director ratified option (b) 2026-05-06** at [gunbc#828 #issuecomment-4385329180](https://github.com/gunb-ai/gunbc/issues/828#issuecomment-4385329180) (zesty-bear-812 Director session; cross-relayed via deep-wolf-155 propagation PR). **Q1 (option a) REJECTED**: requires landing 4c (caller-side effect-set pinning carrier) inside R3 — substrate-fact-introduction-without-confirmed-bridge-consumer; circular against R3 close per `INVARIANTS.md` P1. **Q2 (option b) RATIFIED**: T-LBP narrows to **complexity + cost lenses only** in R3 (both share T-E-P producer dependency; closing simultaneously is critical-path fastest). **Carved to R4** per `docs/r4-carve-out-routing.md` (commit `811de219f`): C1 parallelism lens (Stage 2e walker port substrate exists; port + rewire), C2 effect_enumeration lens (4c carrier P1 substrate-fact-introduction required), C3 #83 register zero-proxy/zero-stub narrowed to in-R3 lenses (complexity + cost) with parallelism + effect_enum entries documented as R4-carved. Q3 N/A. **AMENDED 2026-05-09 — option (b) carve-narrowing DISSOLVED** per Director carve-promotion-IN-R3 ratification at gunbc#846 #issuecomment-4412330468 + (a) ratification at #issuecomment-4412380947 + operator framing 2026-05-09 ("0 hand-Rust including tests AND stage0; bootstrap is data + self-generated"). C1/C2/C3 carves DISSOLVED; gates #81/#82/#95 PROMOTED-IN-R3 within Cluster F (T-LP-Retirement) per [`docs/audit/r3-cluster-f-sequencing-plan-2026-05-09.md`](audit/r3-cluster-f-sequencing-plan-2026-05-09.md); gate #83 register fires for ALL 4 in-R3 lenses (complexity + cost + parallelism + effect_enum) at R3 close. Substrate-readiness audit at PR #2363 confirms all 3 carves are substrate-ready (effects.dag substrate exists for parallelism walker port; locked design `docs/design-effect-enumeration-resource-threading.md` §3.2 + §6.2 says Operation carrier already exists at services.dag:122 — no new top-level carrier required for effect_enum atomic migration; #95 demo cascades on #81 + T-LAS Slice B). | **RATIFIED 2026-05-06 (option b)** — INITIAL T-LBP narrowing; **AMENDED 2026-05-09 (carve-promotion-IN-R3 DISSOLVES option b carve-narrowing)** — full T-LBP all 4 lenses R3-load-bearing within Cluster F. | | Q-PB0-Trajectory-Risk5 (NEW 2026-05-09) | **SG-0 census trajectory growth risk** — per PM PB-0 velocity walk at PR #2358 + `docs/audit/r3-pb0-velocity-walk-2026-05-09.md`: SG-0 census grew **+30 entries in 9 days** (120 → 150 fragments-inclusive surface per ROADMAP.md:177; numbers updated 2026-05-09 post-codex non-blocking on PR #2361 sha `b925b174`) at +3.3/day, gates #8 + #84 cannot reach zero at observed velocity. **Severity: load-bearing for R3 thesis** — at current trajectory, R3 close is structurally impossible inside 8-12 week window without bulk-dissolution events firing. | Per PM remediation program at `docs/audit/r3-cluster-m-sequencing-plan-2026-05-09.md`: track SG-0 daily; require 4-6 bulk-dissolution events to fire on critical path. Cluster M reclassification (Risk 6) is the load-bearing driver. Tighten SG-0 PR-window option-(c) discipline so deferrals require concrete dispatch evidence (proposed amendment to ROADMAP:177 + `scripts/check-pr-sg0-net-shrink-discipline.sh`). | **RATIFIED 2026-05-09 (Branch A: PB-0 stays load-bearing for R3)** per Director acknowledgment at gunbc#846 #issuecomment-4412008376 + operator directive ("course correct; existing plan stays canonical; staffing is not a concern"). Remediation program PR pending. | | Q-PB0-ClusterM-Cold-Risk6 (NEW 2026-05-09) | **Cluster M (T-Tests-As-Data-Completeness) dispatch status** — gates #84/#85/#86/#87 all DECLARED with no active worker at HEAD; ~80-90 of 101 SG-0 test entries dissolve via Cluster M bulk event. **Severity: load-bearing-blocking — without Cluster M dispatch, gate #84 cannot close inside 8-12 week R3 window.** | Per PM `docs/audit/r3-cluster-m-sequencing-plan-2026-05-09.md`: 3-phase dispatch program — Phase 1 parallel #85 + #86 substrate canvases (Substrate Mgr, ratification needed) → Phase 2 #87 cementing-test discipline (Verification Mgr, PM-pre-authored brief) → Phase 3 #84 bulk-port (Verification coordinator + per-class workers). 4-8 week total window with parallel dispatch per operator "staffing is not a concern" directive. | **RATIFIED 2026-05-09** per Director acknowledgment at gunbc#846 #issuecomment-4412008376 (Cluster M moves to critical-path; PM authors sequencing plan + briefs). Substrate Mgr canvases for #85/#86 + Verification Mgr briefs for #87/#84 dispatch awaiting plan ratification. | | Q-Cluster-M-Reclassification (NEW 2026-05-09) | **Cluster M reclassified from "parallel" to "critical-path-load-bearing" for PB-0 closure thesis** — corrects PR #2300 §2 cluster-analysis classification per Director ratification 2026-05-09. Rationale: ~80-90 of 101 SG-0 test entries dissolve via Cluster M single bulk event; per-file retirement velocity cannot make up the gap. | Adopt new dependency picture in §2 / §6: A T-E-P → B T-LBP → **M T-Tests-As-Data-Completeness (critical-path)** → gate #84 + ~80% test-side dissolution. Plus parallel critical: Cluster F (T-LP + PB-Runtime) for ~14 non-test dissolution + Cluster K (T-Tier3) + T-V2-Retirement. M → B → E sequencing-criticality (Cluster B oracle-freeze MUST precede T-V2-Retirement, per existing risk in PR #2300 §4 Risk 2). | **RATIFIED 2026-05-09** per Director acknowledgment at gunbc#846 #issuecomment-4412008376. PM updates §2 / §6 / §1.8 status table to reflect critical-path-classification in subsequent commit. | diff --git a/docs/r4-carve-out-routing.md b/docs/r4-carve-out-routing.md index 8bb0e9cf328..c89b08e4010 100644 --- a/docs/r4-carve-out-routing.md +++ b/docs/r4-carve-out-routing.md @@ -24,49 +24,17 @@ the R4 program plan as inputs. ## Carved-out items -### C1 — `parallelism_lens_behaviorally_complete` (was §1.8 row #81) - -**R3 status**: carved to R4 per S2 option-(b) ratification. -**Substrate gap**: Stage 2e parallelism walker port from -`src/v3/compiler/src/workflow_parallelism.rs` to `.dag`; rewire -via `lane2_workflow_at` / `std.effects` (idempotency closure -template). Substrate exists; work is port + rewire. -**R4 dispatch shape**: M-sized lane in Substrate-continuation -program. Independent from any other R4 critical-path; can dispatch -parallel. -**Cascade impact in R3**: T-LAS demonstration -`opt_in_iteration_parallelism_via_lens_application_demonstrated` -(originally part of T-LAS gates) carves alongside this lens — the -demo cannot land without parallelism lens COMPLETE. - -### C2 — `effect_enumeration_lens_behaviorally_complete` (was §1.8 row #82) - -**R3 status**: carved to R4 per S2 option-(b) ratification. -**Substrate gap**: -- 4a: resource-threading migration (substrate exists; consumer migration) -- 4b: ambient metadata removal (cleanup) -- 4c: caller-side effect-set pinning carrier — **NEW substrate - introduction required** (not landed at R3 horizon) -- 4d: full `OperationEffect` retirement (depends on 4a-4c) -**R4 dispatch shape**: 4c is substrate-fact-introduction (P1 -procedure); brief authoring + worker dispatch in R4 Substrate -continuation. 4a-4b-4d sequence after. -**Cascade impact in R3**: none beyond T-LAS demonstration scope -(no T-LAS demo specifically gates on effect_enumeration COMPLETE); -T-LBP "register zero proxy / zero stub" gate (#83) narrows scope -to in-R3 lenses (see C3). - -### C3 — `lens_capability_register_zero_proxy_zero_stub` scope narrowing (§1.8 row #83) - -**R3 status**: gate **redefined** for R3 horizon. Original closure -predicate "register status updated to ZERO PROXY / ZERO STUB at R3 -close" narrows to "ZERO PROXY / ZERO STUB **for in-scope lenses -(complexity + cost)**". Parallelism + effect_enumeration entries in -register remain at PROXY / STUB / PARTIAL with documented R4 -carve-out reference. -**R4 dispatch shape**: at R4 close, register reaches full ZERO -PROXY / ZERO STUB across all 4 lenses. In R3, gate #83 closes -under the narrowed scope. +### ~~C1 — `parallelism_lens_behaviorally_complete`~~ — **DISSOLVED 2026-05-09 (carve-promotion-IN-R3)** + +**Status**: carve-promoted to R3 per Director ratification 2026-05-09 at gunbc#846 #issuecomment-4412330468 + operator framing 2026-05-09 ("0 hand-Rust including tests AND stage0; bootstrap is data + self-generated"). Walker port + rewire (M-sized lane, substrate-ready) folded into **Cluster F sub-phase F-α** per [`docs/audit/r3-cluster-f-sequencing-plan-2026-05-09.md`](audit/r3-cluster-f-sequencing-plan-2026-05-09.md). Gate #81 reclassified R4-carved → R3-load-bearing. + +### ~~C2 — `effect_enumeration_lens_behaviorally_complete`~~ — **DISSOLVED 2026-05-09 (carve-promotion-IN-R3)** + +**Status**: carve-promoted to R3 per Director ratification 2026-05-09 at gunbc#846 #issuecomment-4412380947 (Director (a)-disposition). Per locked design [`docs/design-effect-enumeration-resource-threading.md`](design-effect-enumeration-resource-threading.md) §3.2 + §6.2: **carrier already exists** at `src/v3/std/services.dag::Operation`; atomic migration shape feasible (no new substrate type required). Folded into **Cluster F sub-phases F-β.1 (migration-shape canvas) + F-β.2 (atomic-migration implementation)** per Cluster F sequencing plan. Gate #82 reclassified R4-carved → R3-load-bearing. + +### ~~C3 — `lens_capability_register_zero_proxy_zero_stub` scope narrowing (§1.8 row #83)~~ — **DISSOLVED 2026-05-09 (carve-promotion-IN-R3)** + +**Status**: scope-narrowing dissolved alongside C1/C2 carve-promotion. Gate #83 fires for **all 4 in-R3 lenses** (complexity + cost + parallelism + effect_enum) at R3 close — no longer narrowed to complexity + cost only. Parallelism + effect_enumeration register entries are now in-R3-scope per C1/C2 promotion. Folded into **Cluster F sub-phase F-γ** alongside #95 demo. Gate #83 reclassified narrowed-scope → full-scope (#83 fires for ALL 4 lenses). ### C4 — Deferred `MachineConstraint` axes per S3 Q-ratification