docs(pb): author R3 BinShim retirement planning brief

docs/briefs/r2-pb-canonical-lens-bridge-disposition.md

@@ -78,6 +78,6 @@ Either path is a substrate-level change outside PB authoring authority. PB terri
 - T-Bridge-Retirement distribution map: [`docs/r3-structure.md`](../r3-structure.md) §"Lane structure" T-Bridge-Retirement row.
 - Adjacent worker brief (already-retired §0.1/§0.2 carriers): [`b4-1-declarationref-consumer-migration-worker.md`](b4-1-declarationref-consumer-migration-worker.md).
 - Identity-carrier substrate pass: [`b4-identity-carrier-substrate-pass.md`](b4-identity-carrier-substrate-pass.md).
-- Substrate-fact-introduction procedure (escalation path): `INVARIANTS.md:86` §"Procedure: substrate-fact introduction".
+- Substrate-fact-introduction procedure (escalation path): `INVARIANTS.md:94` §"Procedure: substrate-fact introduction".
 - P2 cross-`Dag` reflection invariant (the constraint that holds the bridge in place): `INVARIANTS.md` §P2; runtime comment block at `src/v3/compiler/src/test_runner.rs:1762-1772` + `:1832-1833`.
 - Gating R3 lane: T-LensProducer-Retirement (PB-Runtime interpreter-as-data sub-gate); see [`r3-structure.md`](../r3-structure.md) §"Lane structure".

docs/briefs/r2-pure-bootstrap-manager.md

@@ -34,7 +34,7 @@
 | R3 Lane | Size | Description |
 |---|---|---|
 | **T-LensProducer-Retirement** | XL | Three program-sized hand-Rust files retired via PB-Runtime + PB-1 patterns per [`docs/design-pb-runtime-interpreter.md`](../design-pb-runtime-interpreter.md) (Items 4+5 LANDED via #1176). **Internal sub-gates** per [§5.1 — R3-T-LensProducer-Retirement sub-gates](../design-pb-runtime-interpreter.md): (i) `lens_apply.rs` retired (gated on PB-Runtime interpreter-as-data per §3); (ii) `lens_testgen.rs` retired (same gate as `lens_apply.rs`); (iii) `regen_lens.rs` retired (gated on PB-1 bin-shim emit pattern per §4.2 — distinct gate). **PB-Runtime foundation already landed:** ExecuteCommand typed-outcome hardening (#1049) + T-PB-B boundary coverage (#1082). The 5-primitive constraint (per §3.1) names `Node | Conj | Disj | Cardinality | Bit` as the DAG-processor execution vocabulary (the dispatch primitives PB-Runtime operates over; not the 5 L1 `Behavior` variants `Value | Transform | Branch | Loop | Bind` which `Node` carries — different scopes per §3.1 mapping note). PB-Runtime ≡ R2-Evaluator's runtime model expressed as `.dag` (load-bearing distinction per §2 — dissolution-shaped, not parallel). Closure ledger reports sub-gate progress; lane is one program. **Plus advanced lifetime analyzer cases d/e/f** (closures, async lifetimes, self-referential/Pin) folded in per `design-emission-model.md` Open call 2 — the lifetime analyzer is structurally what replaces `lens_apply.rs`'s reflection work, so advanced cases land alongside retirement. |
-| **BinShim instances + emit pattern + retirement dispatch** *(NEW; Item 5 ownership per #1176 §5.4)* | S | NOT YET AUTHORED — PB Manager owns per-shim `BinShim` instance declarations under `dsl/std/runtime/bin_shims/` + the bin-shim emit pattern + retirement dispatch (replaces hand-Rust `bin/regen_*` shims). Substrate Manager owns the `BinShim` carrier-type shape itself (additional fields, signature refinement) — generalized carrier-shape evolution escalates via INVARIANTS §P1 substrate-fact-introduction procedure. `regen_lens.rs` retirement (T-LensProducer-Retirement sub-gate iii) gates on this lane closing. Per §5.4 boundary: PB owns instance-row authoring + retirement; Substrate owns carrier-type evolution. |
+| **BinShim instances + emit pattern + retirement dispatch** *(NEW; Item 5 ownership per #1176 §5.4)* | S | PLANNING BRIEF AUTHORED at [`r3-pb-binshim-retirement-worker.md`](r3-pb-binshim-retirement-worker.md) (PROPOSAL; dispatch-gated). PB Manager owns per-shim `BinShim` instance declarations under `dsl/std/runtime/bin_shims/` + the bin-shim emit pattern + retirement dispatch (replaces hand-Rust `bin/regen_*` shims). Substrate Manager owns the `BinShim` carrier-type shape itself (additional fields, signature refinement) — generalized carrier-shape evolution escalates via INVARIANTS §P1 substrate-fact-introduction procedure. `regen_lens.rs` retirement (T-LensProducer-Retirement sub-gate iii) gates on this lane closing. Per §5.4 boundary: PB owns instance-row authoring + retirement; Substrate owns carrier-type evolution. |
 | **T-FixedPoint** | M | `compiler.dag` compiles to bit-identical stage0 Rust + bit-identical emitted artifacts; R1's `pb_self_compile_fixed_point` gate closes under stronger interpretation. Depends on R2-Evaluator + SG-0 zero from T-LensProducer-Retirement. |
 | **T-Tier3-Dissolution** *(may share with Tier 3 Manager continuing post-R2)* | M | Four hand-Rust mirrors of `.dag` types retired (mirror bodies replaced by Evaluator-backed authority inside `dag.rs` / `dag/effects.rs` / `workflow_idempotency.rs`); **consumer count / mirror-symbol count reaches zero**. SG-0 delta is reported and **usually 0** because the hand-authored file remains on the census after mirror-block retirement — SG-0 reaches 0 through broader PB-Substrate / generated-file retirement + T-LensProducer-Retirement. |
 | **3 distributed bridge retirements** *(part of T-Bridge-Retirement distribution map; see Cross-program below)* | varies | (3) canonical lens-name dispatch — lens-producer-retirement adjacent; (4) `include_str!` side channels (e.g., `pipeline_authority.rs`) — compiler-internal bootstrap; (5) `patch_lower_helpers_*` residual — Tier 2 retirement lineage; #1014 was first slice. Verification Manager owns the unified `bridge_retirement_ledger_zero` ledger gate; PB owns retirement work for these 3 bridges. |
@@ -118,6 +118,7 @@ Authored:
 - Pre-R1 PB program briefs (in `pure-bootstrap-zero-manager.md`, archives on R2 promotion); content migration here covers post-R1 deliverables only.
 - [`r2-pb-tier3-mirror-dissolution-workers.md`](r2-pb-tier3-mirror-dissolution-workers.md) — termination, computation, induction, and effect-carrier mirror dissolution worker pack.
 - [`r3-pb-t-fixedpoint-worker.md`](r3-pb-t-fixedpoint-worker.md) — T-FixedPoint planning artifact (PROPOSAL; dispatch-gated on R2-Evaluator + SG-0=0 from T-LensProducer-Retirement).
+- [`r3-pb-binshim-retirement-worker.md`](r3-pb-binshim-retirement-worker.md) — BinShim instances + emit pattern + retirement dispatch planning artifact (PROPOSAL; dispatch-gated on R2-Evaluator + Item 4 PB-Runtime + Substrate-owned `BinShim` carrier + §7.3 `CensusListConstant`/filter disposition).
 
 Pending — pre-spawn Director-authored per inbox #828 coordination split; post-spawn manager-authored autonomously:
 - `kernel_algebra_profile` worker brief (gated on Substrate Manager `ValueBody::Map` consumer plumbing)