docs(briefs): PB-0 cycle 3 redo + cycles 5–6 worker briefs (Director msg_b44f4320)

docs/briefs/r3-pb0-non-test-retirement-worker-cycle3-redo.md

@@ -0,0 +1,69 @@
+---
+status: "Mgr-authored worker brief (dispatch — PB-0 cycle 3 REDO; parallel with cycles 5–6)"
+authority_parent: "R3 Debt-Paydown Mgr (zesty-boar-261)"
+authoring_date: 2026-05-14
+director_dispatch: "msg_b44f4320-0e6c-4c3b-93d7-c6ccbd08f7fe"
+program_anchor: "PB-0 cycle 3 REDO — same eight census paths as prior cycle-3 dispatch; substantive (a)/(b)/(c) retirement only"
+predecessor_brief: "docs/briefs/r3-pb0-non-test-retirement-worker-cycle3.md"
+taxonomy_anchor: "docs/audit/r3-pb0-non-test-retirement-class-taxonomy-2026-05-13.md"
+---
+
+# PB-0 cycle 3 REDO — SG-0 NON_TEST hand-Rust retirement worker brief
+
+## §0. Dispatch position (named scope)
+
+**Director:** `msg_b44f4320-0e6c-4c3b-93d7-c6ccbd08f7fe` — **UNHOLD** after PR **#3049** §5.1 merge-default + Track A taxonomy authority on `main`. This cycle is **one of three** concurrent PB-0 retirement workers (with **cycle 5** and **cycle 6** briefs) until one merges and frees headroom.
+
+**Anti-pattern (closed PR #3047):** The prior attempt at these paths was **rejected** as **paper census shrink** / `REGEN_OUTPUTS`-only churn without **substantive** retirement geometry. **Do not** repeat: no silent `NON_TEST` line removal paired only with fixture regen or comment edits. PR **#3047** is the canonical **what not to do** lesson; merge-tier discipline is now enforced by the **PR template** §5.1 ratchet (substrate audit axes + **(a)/(b)/(c)** classification per path).
+
+**Track A bar:** For **each** path touched, the PR body names the taxonomy class **(a)** retire-now / **(b)** named prereq + receipt / **(c)** revert-and-restore — **not** **(d)** silent reclassify. Cite the taxonomy row in `docs/audit/r3-pb0-non-test-retirement-class-taxonomy-2026-05-13.md` §3.
+
+**Preference:** Path **(b)** **codegen-driver** consolidation (bright-seal-412 / PR **#3048** precedent) where a real substrate hand-off exists; path **(c)** only when **(a)/(b)** are not viable in one lawful merge; **STOP** + P5 **(i–iii)** when needed.
+
+### §0.1 Named `EXPECTED_HAND_AUTHORED_NON_TEST` paths + taxonomy class (this worker only)
+
+**Disjoint from cycle 5 and cycle 6** brief path sets. Retire **these eight** paths in **this** PR (or fewer only if P5 forces a split — then PR body **(i–iii)** + bound follow-up):
+
+| # | Path | Track A §3 class |
+|---|------|------------------|
+| 1 | `src/v3/compiler/src/r3_fc_lane2_loop_witness.rs` | **(a)** |
+| 2 | `src/v3/compiler/src/wall_clock_ratchet_manifest.rs` | **(a)** |
+| 3 | `src/v3/compiler/src/memory_peak_cost.rs` | **(b)** (gate **#94** / cost-lens substrate) |
+| 4 | `src/v3/compiler/src/omni_shape_b_openapi.rs` | **(b)** (Shape B / `.dag` projection end-to-end) |
+| 5 | `src/v3/compiler/src/process_exit.rs` | **(b)** (PB-1 Item 5 / `dsl/std/process.dag`) |
+| 6 | `src/v3/compiler/src/self_host_receipt_p0.rs` | **(b)** (DB-8 / schema ownership) |
+| 7 | `src/v3/compiler/src/r1c_e_gates.rs` | **(b)** (R1C-E / R1 close scaffold) |
+| 8 | `src/v3/compiler/src/emit_rust_roundtrip_fixtures.rs` | **(b)** (R1C-E harness / `.dag` TestClaim migration) |
+
+**Deferred (b) by Director dispatch — do not spend this cycle on:** emit / coercion-class rows owned by **Gap 13 / R3 Grounding** until that lane re-spawns post-deployment per `feedback_anchor_mgr_lane_synthesis_on_gap_tier_not_session_id`; **complexity / lens-class** rows until PR **#3053** lands and the R3 Evaluator Mgr lane re-spawns. The eight paths above are **not** in those deferral buckets per current taxonomy §3.
+
+**Live census anchor:** `src/v3/compiler/tests/integration/sg0_census_test.rs` — grep for `const EXPECTED_HAND_AUTHORED_NON_TEST`.
+
+---
+
+**Dispatch.** Same **Dispatch** cadence as [`r3-pb0-non-test-retirement-worker-cycle2.md`](r3-pb0-non-test-retirement-worker-cycle2.md) (strict ratchet, P5 **(i–iii)**, `feedback_ratchet_only_down`). **Mgr review-grep bridge:** treat `REGEN_OUTPUTS` + dissolution-trigger greps as first-class signals — receipts must show **compiler authority** or **generated replacement** moved, not census-only shrink.
+
+**Closure alignment.** §1.8 gate **#8** `sg0_non_test_zero`; **NON_TEST** slice unless an explicit fragments row is separately justified.
+
+## Read first
+
+- [`docs/audit/r3-sg0-trajectory-tracker.md`](../audit/r3-sg0-trajectory-tracker.md) §2 + §4.1.
+- [`docs/audit/r3-pb0-non-test-retirement-class-taxonomy-2026-05-13.md`](../audit/r3-pb0-non-test-retirement-class-taxonomy-2026-05-13.md) §0–§3.
+- [`docs/briefs/r3-pb0-non-test-retirement-worker-cycle2.md`](r3-pb0-non-test-retirement-worker-cycle2.md) + [`docs/briefs/r3-pb0-non-test-retirement-worker-cycle4.md`](r3-pb0-non-test-retirement-worker-cycle4.md) (landed path-(b) precedent).
+- [`ROADMAP.md`](../../ROADMAP.md) T-PB-A row; [`INVARIANTS.md`](../../INVARIANTS.md) Dispatch-Discipline **(b)**; [`TESTING.md`](../../TESTING.md) gate **#87** context.
+
+## Retirement source priority (Director-ordered)
+
+Same ordered list as cycle 2 brief. **Cycle-3 REDO scope** is pre-filtered to §0.1; execute dissolution **in dependency order within the PR** when imports/call graphs demand it.
+
+## Per-PR acceptance checklist
+
+Same checklist as cycle 2 brief §“Per-PR acceptance checklist”, plus: **PR template §5.1** axes satisfied at merge (substrate audit + per-path **(a)/(b)/(c)** in the PR body).
+
+## STOP / escalate
+
+Same as cycle 2 brief §“STOP / escalate”. If the only “progress” is shrinking the census const without the §5.1 classification + receipts bar, **STOP** (same failure mode as closed **#3047**).
+
+## Deliverable
+
+One squash-ready PR: retire the §0.1 paths with **substantive** dissolution receipts; count proof vs **all** `NON_TEST` lines; tests green; SG-0 discipline satisfied.

docs/briefs/r3-pb0-non-test-retirement-worker-cycle5.md

@@ -0,0 +1,64 @@
+---
+status: "Mgr-authored worker brief (dispatch — PB-0 cycle 5; parallel with cycle 3 REDO + cycle 6)"
+authority_parent: "R3 Debt-Paydown Mgr (zesty-boar-261)"
+authoring_date: 2026-05-14
+director_dispatch: "msg_b44f4320-0e6c-4c3b-93d7-c6ccbd08f7fe"
+program_anchor: "PB-0 cycle 5 — sustained EXPECTED_HAND_AUTHORED_NON_TEST retirement (same bars as cycles 2–4)"
+predecessor_brief: "docs/briefs/r3-pb0-non-test-retirement-worker-cycle4.md"
+taxonomy_anchor: "docs/audit/r3-pb0-non-test-retirement-class-taxonomy-2026-05-13.md"
+---
+
+# PB-0 cycle 5 — SG-0 NON_TEST hand-Rust retirement worker brief
+
+## §0. Dispatch position (named scope)
+
+**Director:** `msg_b44f4320-0e6c-4c3b-93d7-c6ccbd08f7fe` — **parallel cycle** with **cycle 3 REDO** and **cycle 6**. **Capacity:** one of **three** concurrent PB-0 retirement cycles.
+
+**Taxonomy queue honesty:** Track A §3 currently lists only **three** explicit **(a)** rows total; **two** of them are assigned to **cycle 3 REDO** (`r3_fc_lane2_loop_witness.rs`, `wall_clock_ratchet_manifest.rs`). This batch therefore **leads with** the **remaining** taxonomy **(a)** hub — `cementing_dispatch.rs` — and adds **five** **(b)** **core-host** rows that are **not** in the Director’s **Gap 13 / emit–coercion** deferral bucket and **not** in the **tier3 mirror / evaluator-gated** lane called out for deferral alongside **#3053**. Workers still owe **(a)/(b)/(c)** receipts per path per §5.1; **STOP** rather than orphan-drop.
+
+**Anti-pattern:** Closed PR **#3047** — no paper census shrink or `REGEN_OUTPUTS`-only churn; cite **#3047** in the PR body as the negative lesson if touching regen-adjacent surfaces.
+
+**Preference:** Path **(b)** codegen-driver shape per PR **#3048** when consolidation exists; path **(c)** when honest fallback is required.
+
+**Director note (`msg_f05c2d68`):** `cementing_dispatch.rs` was the **consolidation target** in swift-bee-15 **PR #3046** (large absorb of former `NON_TEST` surfaces into one hub). Retiring that hub in this cycle is coherent with a **gate #87** cementing-class **closure cascade** once predicate / projection substrate owns the walk — if prereqs are unclear, **STOP-AND-PING** with **gate / Gap-tier / substrate** citation (not session-id).
+
+### §0.1 Named `EXPECTED_HAND_AUTHORED_NON_TEST` paths + taxonomy class (this worker only)
+
+**Disjoint from** cycle **3 REDO** (eight paths) and **cycle 6** (six paths). Retire **these six** in **this** PR (or strict subset + **(i–iii)** only when P5 demands):
+
+| # | Path | Track A §3 class |
+|---|------|------------------|
+| 1 | `src/v3/compiler/src/cementing_dispatch.rs` | **(a)** |
+| 2 | `src/v3/compiler/src/diagnostics.rs` | **(b)** |
+| 3 | `src/v3/compiler/src/dimension.rs` | **(b)** |
+| 4 | `src/v3/compiler/src/pipeline_authority.rs` | **(b)** |
+| 5 | `src/v3/compiler/src/post_emit_verifier.rs` | **(b)** |
+| 6 | `src/v3/compiler/src/infer.rs` | **(b)** |
+
+**Live census anchor:** `src/v3/compiler/tests/integration/sg0_census_test.rs` — grep for `const EXPECTED_HAND_AUTHORED_NON_TEST`.
+
+---
+
+**Dispatch / closure / checklist / STOP / deliverable:** Same geometry as [`r3-pb0-non-test-retirement-worker-cycle2.md`](r3-pb0-non-test-retirement-worker-cycle2.md) and [`r3-pb0-non-test-retirement-worker-cycle4.md`](r3-pb0-non-test-retirement-worker-cycle4.md); **§5.1** classification per edited path at merge.
+
+## Read first
+
+- [`docs/audit/r3-sg0-trajectory-tracker.md`](../audit/r3-sg0-trajectory-tracker.md) §2 + §4.1.
+- [`docs/audit/r3-pb0-non-test-retirement-class-taxonomy-2026-05-13.md`](../audit/r3-pb0-non-test-retirement-class-taxonomy-2026-05-13.md) §0–§3.
+- [`TESTING.md`](../../TESTING.md) gate **#87** — `cementing_dispatch.rs` remains a **CementingDispatchMatchesProjection** host until predicate substrate owns the walk; do **not** orphan-drop gate **#87** wiring.
+
+## Retirement source priority (Director-ordered)
+
+Same ordered list as cycle 2 brief. Scope is pre-filtered to §0.1.
+
+## Per-PR acceptance checklist
+
+Same as cycle 2 brief + **§5.1** per-path **(a)/(b)/(c)** in the PR body.
+
+## STOP / escalate
+
+Same as cycle 2 brief. **Gap-tier cite** for any deferred **(b)** work: `feedback_anchor_mgr_lane_synthesis_on_gap_tier_not_session_id`.
+
+## Deliverable
+
+One squash-ready PR: retire §0.1 paths where lawfully batchable; count proof; tests green; SG-0 discipline satisfied; dissolution receipt per removed path.

docs/briefs/r3-pb0-non-test-retirement-worker-cycle6.md

@@ -0,0 +1,75 @@
+---
+status: "Mgr-authored worker brief (dispatch — PB-0 cycle 6; parallel with cycle 3 REDO + cycle 5)"
+authority_parent: "R3 Debt-Paydown Mgr (zesty-boar-261)"
+authoring_date: 2026-05-14
+director_dispatch: "msg_b44f4320-0e6c-4c3b-93d7-c6ccbd08f7fe"
+program_anchor: "PB-0 cycle 6 — sustained EXPECTED_HAND_AUTHORED_NON_TEST retirement (same bars as cycles 2–4)"
+predecessor_brief: "docs/briefs/r3-pb0-non-test-retirement-worker-cycle5.md"
+taxonomy_anchor: "docs/audit/r3-pb0-non-test-retirement-class-taxonomy-2026-05-13.md"
+---
+
+# PB-0 cycle 6 — SG-0 NON_TEST hand-Rust retirement worker brief
+
+## §0. Dispatch position (named scope)
+
+**Director:** `msg_b44f4320-0e6c-4c3b-93d7-c6ccbd08f7fe` — **parallel cycle** with **cycle 3 REDO** and **cycle 5**. **Capacity:** one of **three** concurrent PB-0 retirement cycles.
+
+**Queue geometry:** This batch is an **all–(b)** **DAG substrate + CI bin** slice (six paths), **disjoint** from cycle **3 REDO** and cycle **5**. Taxonomy §3 ties each row to **substrate / Tier3 / effects** bundles — expect **P5** pressure; prefer **path (b)** consolidation into generated or substrate-owned surfaces where PR **#3048** precedent applies; **STOP** + **(i–iii)** when a single merge cannot lawfully finish a row.
+
+**Excluded from this dispatch (Director deferral):** **`src/v3/compiler/src/emit/python_target.rs`**, **`emit/rust_target.rs`**, and other **emit / coercion-class** rows deferred to **Gap 13 / R3 Grounding** until lane re-spawn per `feedback_anchor_mgr_lane_synthesis_on_gap_tier_not_session_id`; **complexity / lens-class** hosts deferred until PR **#3053** + Evaluator Mgr lane re-spawn. This cycle’s six paths are **not** those deferral buckets.
+
+**Anti-pattern:** Closed PR **#3047** — no census-only shrink.
+
+### §0.1 Named `EXPECTED_HAND_AUTHORED_NON_TEST` paths + taxonomy class (this worker only)
+
+| # | Path | Track A §3 class |
+|---|------|------------------|
+| 1 | `src/v3/compiler/src/dag/builder.rs` | **(b)** |
+| 2 | `src/v3/compiler/src/dag/cardinality_payload.rs` | **(b)** |
+| 3 | `src/v3/compiler/src/dag/effects.rs` | **(b)** |
+| 4 | `src/v3/compiler/src/dag/ports.rs` | **(b)** |
+| 5 | `src/v3/compiler/src/bin/gunbc_ci.rs` | **(b)** |
+| 6 | `src/v3/compiler/src/bin/r1c_e_emit_gates.rs` | **(b)** |
+
+**Live census anchor:** `src/v3/compiler/tests/integration/sg0_census_test.rs` — grep for `const EXPECTED_HAND_AUTHORED_NON_TEST`.
+
+### §0.2 Pre-structured STOP anchors (Gap-tier / program; not session-id)
+
+Per Director `msg_f05c2d68` + `feedback_anchor_mgr_lane_synthesis_on_gap_tier_not_session_id`: this batch is **100% taxonomy (b)**. If a path cannot lawfully retire in one PR, **STOP** with the **named blocker below** (and taxonomy §3 row cite) — structured signals are an acceptable work product when substrate is not yet landed.
+
+| Path | Cite on STOP (taxonomy-anchored primary blocker) |
+|------|--------------------------------------------------|
+| `dag/builder.rs` | §1.8 **substrate bundle**; **Tier3 + effects + cardinality** owning program — not an isolated census drop (taxonomy §3). |
+| `dag/cardinality_payload.rs` | Same **DAG / Tier3 / cardinality** program bundle as sibling `dag/*` rows. |
+| `dag/effects.rs` | Same **DAG / Tier3 / effects** program bundle. |
+| `dag/ports.rs` | Same **DAG / Tier3 / ports–effects** program bundle. |
+| `bin/gunbc_ci.rs` | **§1.1** bootstrap/regen **Cluster M** canvas + **P5 atomic migration** (taxonomy §3 + §0 prose). |
+| `bin/r1c_e_emit_gates.rs` | **§1.1 Cluster M** canvas **plus** **R1C-E / R1 close** / `.dag` **TestClaim** migration surface (taxonomy §3; couples to `emit_rust.rs` program row). |
+
+**Gap 13 / emit–coercion** and **Gap 3 / evaluator–lens** deferrals apply elsewhere on the census; they are **not** the default cite for these six rows unless investigation proves a row-specific coupling (then cite **Gap tier + mechanism**, never a session id).
+
+---
+
+**Dispatch / closure / checklist / STOP / deliverable:** Same geometry as cycle 2 + cycle 4 briefs; **§5.1** per-path **(a)/(b)/(c)** at merge.
+
+## Read first
+
+- [`docs/audit/r3-sg0-trajectory-tracker.md`](../audit/r3-sg0-trajectory-tracker.md) §2 + §4.1.
+- [`docs/audit/r3-pb0-non-test-retirement-class-taxonomy-2026-05-13.md`](../audit/r3-pb0-non-test-retirement-class-taxonomy-2026-05-13.md) §0–§3 (especially DAG module rows + §1.1 cluster note for the two bins).
+- [`docs/audit/r3-tier3-computation-mirror-consumer-prestage-2026-05-13.md`](../audit/r3-tier3-computation-mirror-consumer-prestage-2026-05-13.md) — DAG / Tier3 coupling context.
+
+## Retirement source priority (Director-ordered)
+
+Same ordered list as cycle 2 brief. Scope is pre-filtered to §0.1.
+
+## Per-PR acceptance checklist
+
+Same as cycle 2 brief + **§5.1** per-path classification.
+
+## STOP / escalate
+
+Same as cycle 2 brief. If work collapses into **§1.1 bootstrap/regen cluster** atomic migration without Cluster M canvas, **STOP** and return a bound follow-up per taxonomy §3 §1.1 note — do not paper-shrink census. **Every** STOP on a §0.1 path must echo the matching **§0.2** blocker row (Gap-tier / program vocabulary per `feedback_anchor_mgr_lane_synthesis_on_gap_tier_not_session_id`).
+
+## Deliverable
+
+One squash-ready PR: retire §0.1 paths where lawfully batchable; count proof; tests green; SG-0 discipline satisfied; dissolution receipt per removed path.