briansrls · May 6, 2026 · May 6, 2026 · May 6, 2026 · May 6, 2026 · May 6, 2026
diff --git a/docs/briefs/r3-v-bridge-retirement-ledger-zero-audit.md b/docs/briefs/r3-v-bridge-retirement-ledger-zero-audit.md
@@ -9,6 +9,16 @@ authoring, and no new `TestPredicate` variants.
 in `src/v3/std/verification.dag` owns the fold predicate; `docs/r3-structure.md`
 L87-L92 names the five bridge gates and the unified ledger-zero gate.
 
+## Grep hygiene (SB5/6 + §3 P4 / V6 alignment)
+
+Phase-2 PM compile correlates merged PR history to ledger / predicate churn using the same **three path anchors** as the SB5/6 bridge appendix on PR [#1804](https://github.com/gunb-ai/gunbc/pull/1804):
+
+1. `src/v3/std/bridge_ledger.dag`
+2. `src/v3/compiler/tests/fixtures/r3_bridge_retirement_ledger_zero.dag`
+3. `src/v3/std/verification.dag`
+
+**Receipt commands** (numeric PR-window filters are PM-pass parameters — not hard-coded here) live in [`docs/r3-design-schedule-2026-05-06.md`](../r3-design-schedule-2026-05-06.md) §3 PB Mgr → **P4 — Verification V6 alignment + grep hygiene**. That subsection ties **§2 V6** (`bridge_retirement_ledger_zero` audit cadence, bold-crane) to PB-side doc hygiene without diluting gate ownership: Verification executes the gate; PB/Substrate retire bridge evidence in owning lanes.
+
 ## Summary
 
 The production fixture from PR #1352 is structurally wired:

diff --git a/docs/r3-design-schedule-2026-05-06.md b/docs/r3-design-schedule-2026-05-06.md
@@ -228,6 +228,8 @@ Per Substrate Mgr partition response 2026-05-06: **demonstration gate scope fold
 **Dispatch trigger**: ongoing (audit cadence). **Worker** (per Verification Mgr 2026-05-06): bold-crane-790 — ACTIVE.
 **Closure predicate**: gate #36 reaches PASSING.
 
+**Doc / grep alignment**: §3 **P4** (warm-ant-877) + [`docs/briefs/r3-v-bridge-retirement-ledger-zero-audit.md`](briefs/r3-v-bridge-retirement-ledger-zero-audit.md) §"Grep hygiene" maintain SB5/6-style enumeration receipts on the same three DAG paths (`bridge_ledger.dag`, `r3_bridge_retirement_ledger_zero.dag`, `verification.dag`). PB and Substrate retire evidence; Verification owns the ledger-zero gate — appendix hygiene complements execution audits without shifting gate ownership.
+
 ### V7 — ValueBody isomorphism gate design (Q-ValueBody-Isomorphism)
 
 **Scope**: per Verification canvas V6 + `feedback_isomorphism_or_generation_for_mirrors` — Rust↔.dag mirror conformance gate. Verification test-only pressure; Substrate Mgr authority on mirror.
@@ -245,13 +247,15 @@ Per Substrate Mgr partition response 2026-05-06: **demonstration gate scope fold
 
 | Schedule row | Worker / inbox | Dispatch posture |
 |---|---|---|
-| **P1** T-LensProducer-Retirement | sleek-eagle-514 (#1768) — PR #1805 path-1 + sub-briefs gunbc#828 (Sub1/2/3) | Next executable slice = `lens_apply` retirement design/audit receipts; not stalled on Director-thread unless §3 names HOLD |
+| **P1** T-LensProducer-Retirement | sleek-eagle-514 (#1768) — PR #1805 path-1 + sub-briefs gunbc#828 (Sub1/2/3) | Roadmap intent: Sub1–Sub3 retirement stack (`lens_apply` / `lens_testgen` / `regen_lens`). **Live dispatch:** Sub1 **parked** until Item 4 / Row 4 / canonical-lens prerequisites — PB Mgr STOP on [#1768](https://github.com/gunb-ai/gunbc/issues/1768). |
 | **P1** parallel doc spine | zesty-ram-316 (#1769) — PR #1806 regen_lens audit + Sub2/Sub3 brief threads | post-R2-Evaluator + PB-1 bin-shim pattern; parallel doc-spine on P1 |
-| **P4** bridge appendix / cross-links | warm-ant-877 (#1770) — grep / ledger hygiene against `bridge_ledger.dag` / `r3_bridge_retirement_ledger_zero.dag` / `verification.dag` | Lockstep with P1/P2 sequencing; `include_str!` post-T-FixedPoint per Q-Bridge-Retirement-Sequencing-Authority |
+| **P4** bridge appendix / cross-links | warm-ant-877 (#1770) — grep / ledger hygiene against `bridge_ledger.dag` / `r3_bridge_retirement_ledger_zero.dag` / `verification.dag` | Lockstep with §2 **V6** `bridge_retirement_ledger_zero` audit cadence (bold-crane) + P1/P2 sequencing; `include_str!` post-T-FixedPoint per Q-Bridge-Retirement-Sequencing-Authority |
 | **P5** F2 + F8 doc-sharpening | PB Mgr coordinates consumer-side with Substrate S12 owner | No duplicate PR; PB-named co-author OR comment-only on Substrate's PR (PM ratify if explicit co-author shape needed) |
 | **P2** T-FixedPoint | HOLD until P1 + SG-0 zero per F1 | No worker spawn that pretends LP is done; TC3 text stays proposal-side |
 | **P3** T-V2-Retirement | HOLD on broad ~79 .rs sweep until P2 + LP + T-Numeric-Construction `Int<N>` clear | Q-V2-Retirement-Boundary-Matrix split visible (PB vs Grounding vs Debt-Paydown) |
 
+*Schedule rows summarize roadmap intent and stable sequencing; **worker inbox STOP/park** states supersede “next slice” wording when PB Mgr accepts them (Sub1 example above).*
+
 **§2.2 sequencing authority — HARD DAG (PM ratification 2026-05-06)**: per PB Mgr ask + r3-structure.md §"Lane structure" → T-FixedPoint row "R2-close dependency: SG-0 zero from T-LensProducer-Retirement" — sequencing is **hard DAG, not staffing parallelism**. T-FixedPoint cannot complete until T-LP-Retirement completes (SG-0 zero is structural precondition; not just resource sequencing). Plan §2.2 sequence is canonical authority. Per r3-structure.md T-FixedPoint row: "SG-0 zero from T-LensProducer-Retirement" is named explicit dependency.
 
 ### P1 — T-LensProducer-Retirement (3 hand-Rust files retired)
@@ -286,6 +290,29 @@ Per Substrate Mgr partition response 2026-05-06: **demonstration gate scope fold
 **Dispatch trigger**: per per-bridge prerequisite chain.
 **Closure predicate**: contributes to §1.8 gate #36 (bridge_retirement_ledger_zero) + #69 (bridge_retirement_demonstration).
 
+#### P4 — Verification V6 alignment + grep hygiene (PR #1804 SB5/6 + PR #1810 schedule)
+
+**Cross-lane contract** ([gunbc#828](https://github.com/gunb-ai/gunbc/issues/828), PR [#1810](https://github.com/gunb-ai/gunbc/pull/1810) §3 table): PB (and Substrate, for Substrate-owned bridges) **lands retirement evidence** in owning programs; Verification **audits** unified `bridge_retirement_ledger_zero` via production `BridgeLedgerZero` + integration harness (**§2 V6**, bold-crane-790). Doc work here does not substitute for gate execution — it keeps PM compile passes **grep-aligned** with live ledger + predicate surfaces.
+
+**Authoritative paths** (same triple as Phase-2 SB5/6 bridge appendix on PR [#1804](https://github.com/gunb-ai/gunbc/pull/1804)):
+
+- `src/v3/std/bridge_ledger.dag` — row truth for the five named bridges + statuses
+- `src/v3/compiler/tests/fixtures/r3_bridge_retirement_ledger_zero.dag` — fixture wiring for `bridge_retirement_ledger_zero`
+- `src/v3/std/verification.dag` — `BridgeLedgerZero` and adjacent verification predicates that ride the harness
+
+**Repeatable enumeration gate** (squash-merge PR numbers from subjects; per-PR file receipt):
+
+```bash
+git log origin/main --format='%s' -- \
+  src/v3/std/bridge_ledger.dag \
+  src/v3/compiler/tests/fixtures/r3_bridge_retirement_ledger_zero.dag \
+  src/v3/std/verification.dag
+
+gh pr view <N> --repo gunb-ai/gunbc --json files,title
+```
+
+**Sequencing (ratified HARD-DAG)**: PB-owned `include_str!` side-channel retirement stays **post-T-FixedPoint** per Q-Bridge-Retirement-Sequencing-Authority — ledger rows remain **honestly Open** until structural receipts land; schedule ordering does not relax `BridgeLedgerZero` truth.
+
 ### P5 — F2 + F8 doc-sharpening PR (per S12 + B6)
 
 **Cross-lane**: Substrate-led; PB consumer-side coordination.