docs(pb0): NON_TEST + fragments retirement taxonomy + SG-0 census pointers

docs/audit/r3-pb0-non-test-retirement-class-taxonomy-2026-05-13.md

@@ -0,0 +1,119 @@
+# PB-0 — `EXPECTED_HAND_AUTHORED_NON_TEST` retirement-class taxonomy
+
+**Authority:** R3 Debt-Paydown Mgr (`zesty-boar-261`) — Director dispatch **msg_84abadad-35fd-4c92-8db3-0e7737adfa4f** (operator-ratified); **scope correction** **msg_dda96d21-b937-448c-a72d-f7c8a44b691c** (PM awk-range verification **msg_bda6867a**).
+**Procedure:** `docs/audit/r3-sg0-trajectory-tracker.md` §2 (`awk` window on `sg0_census_test.rs`).
+**Snapshot:** `main` after **PR #3046** + **PR #3048** (2026-05-14); counts from per-const `awk` windows on `sg0_census_test.rs` (tracker §2 — **only** lines between the const opener and `];` that match `^\s*"src/v3/`).
+
+## §0. Count discipline vs close-plan narrative
+
+- **Live `EXPECTED_HAND_AUTHORED_NON_TEST` paths:** **43** (this table has one row per path) — **Gap 1 / Debt-Paydown lane** scope per Director **msg_dda96d21** (awk-range extraction; PM **msg_bda6867a**).
+- **Live `EXPECTED_HAND_AUTHORED_TEST` paths:** **122** — **Gap 5 / Verification lane** (`bright-bee-903` / `still-moth-538`); **not** classified here.
+- **Combined `NON_TEST` + `TEST`:** **165** (`43 + 122`) — matches close-plan Σ narrative **excluding** fragments.
+- **Live Σ (`NON_TEST` + `TEST` + `FRAGMENTS`):** **168** (`43 + 122 + 3`).
+- **Earlier relay inflation:** loose `grep -c` over the whole `sg0_census_test.rs` file inflated a **non-test-only** headline count; **authoritative** counts are always the **per-const `awk` windows** (tracker §2).
+
+## §1. Classification legend
+
+- **(a) RETIREABLE NOW** — no named structural blocker in §3 (**NON_TEST**) or §4 (**FRAGMENTS**); suitable for near-term cycle worker PRs under `docs/briefs/r3-pb0-non-test-retirement-worker-cycle2.md` (still subject to P5 / same-PR dissolution receipts).
+- **(b) BLOCKED ON NAMED PREREQ** — cite §1.8 row, Gap id, or audit doc anchor.
+- **(c) BLOCKED ON NEW CANVAS** — needs new or expanded Mgr canvas before census line can drop (or first-pass taxonomy bucket pending refinement).
+
+## §1.1 Bootstrap / regen `(b)` cluster — canonical ownership anchors
+
+Several §3 rows share the same **substrate class**: `build.rs`, `src/.../bin/regen_*`, `src/.../bin/{gunbc_ci,r1c_e_emit_gates,self_host_fixed_point}.rs`, `bootstrap*.rs`, `regen_*emit.rs`, and `src/v3/compiler/src/regen_tokenize.rs` — **P5 atomic migration** + **Cluster M**–sequenced regen/bootstrap authority (not opportunistic single-PR census drops).
+
+**Program / gap hooks**
+
+- `docs/r3-program-plan.md` §1.8 — **T-Tests-As-Data-Completeness** rows **#84–#87** (bulk-port, cementing harness, `regen.dag` corpus where cited).
+- `docs/r3-actual-close-plan.md` — **Gap 5** (Cluster M Phase **3** bulk-port + generator-manifest narrative).
+
+**Sequencing + lane ownership**
+
+- `docs/audit/r3-cluster-m-sequencing-plan-2026-05-09.md` — Cluster **M** phase ordering vs gate **#84/#85/#87** work.
+
+**Regen / lens-producer retirement briefs (artifact-specific entry points)**
+
+- `docs/briefs/r3-pb-t-lensproducer-sub3-regen-lens-retirement.md` — `regen_lens` / gate **#7** retirement thread.
+- `docs/briefs/r3-pb-regen-lens-first-binshim-target-retirement-readiness.md` + `docs/briefs/r3-pb-regen-lens-consumer-audit.md` — regen_lens readiness + consumer audit.
+- `docs/briefs/pb1-e-parse-surface-free-bootstrap-regen-p5-receipt.md` — parse-surface / bootstrap regen **P5** receipt discipline.
+
+**Census authority note:** SG-6 `regen_lens.rs` consolidation + `REGEN_OUTPUTS` / `regen.dag` pairing is documented in the preamble above `EXPECTED_HAND_AUTHORED_NON_TEST` in `src/v3/compiler/tests/integration/sg0_census_test.rs` (line numbers drift; grep the const).
+
+In §3, rows that reference **§1.1** inherit this anchor set instead of repeating a generic “Cluster M + `regen_*` briefs” sentence per line.
+
+## §2. Track A — Cycle-2 named scope (**landed** PR #3046)
+
+Director **msg_84abadad** Track A named **six** surfaces; **PR #3046** (swift-bee-15) **merged 2026-05-14**. **Five** former `NON_TEST` `.rs` census lines (`gunbc_ci.rs`, `integration_rs_wiring_scan.rs`, `lens_declaration_apply.rs`, `lens_t_las_carrier.rs`, `r3_gate_87_cementing_regen_runner_suites.rs`) **retired from** `EXPECTED_HAND_AUTHORED_NON_TEST` **with same-PR receipts** — nested `pub mod` / API surfaces folded under `cementing_dispatch.rs`, bounded lens application body recorded under `EXPECTED_HAND_AUTHORED_FRAGMENTS` as `lens_declaration_apply_body.txt` (see census comments on `main`). **`cementing_dispatch.rs`** remains a **single** `NON_TEST` hub row until gate **#87** / substrate dissolution completes.
+
+**PR #3048** (bright-seal-412, Director **msg_5d7f3491** cycle-4) **merged same window**: **seven** additional `NON_TEST` paths retired (see [`r3-pb0-non-test-retirement-worker-cycle4.md`](../briefs/r3-pb0-non-test-retirement-worker-cycle4.md) §0.1 historical table). Row-85 read surface moved to generated `pb_method_template_projection_generated.rs` + `REGEN_OUTPUTS` receipt — not a silent census orphan.
+
+## §3. Per-path taxonomy (all `NON_TEST` rows)
+
+Rows follow **`EXPECTED_HAND_AUTHORED_NON_TEST`** declaration order on `main` (post–**#3046**, **#3048**). **Seven** paths retired in **PR #3048** (bright-seal-412 cycle-4) are **historical** — see §5 changelog; they must **not** reappear here unless the census regresses.
+
+| Path | Class | Blocker / rationale |
+|------|-------|---------------------|
+| `src/v3/compiler/benches/tier3_mirror_perf.rs` | **(b)** | §1.8 #2 `tier3_computation_mirror_dissolved` PASSING + Evaluator/`std.computation`; see `docs/audit/r3-tier3-computation-mirror-consumer-prestage-2026-05-13.md`. |
+| `src/v3/compiler/build.rs` | **(b)** | §**1.1** bootstrap/regen cluster — P5 atomic migration; not a single-PR retirement without Cluster M / regen brief canvas (anchors in §1.1). |
+| `src/v3/compiler/src/bin/gunbc_ci.rs` | **(b)** | §**1.1** bootstrap/regen cluster — P5 atomic migration; not a single-PR retirement without Cluster M / regen brief canvas (anchors in §1.1). |
+| `src/v3/compiler/src/bin/r1c_e_emit_gates.rs` | **(b)** | §**1.1** bootstrap/regen cluster — P5 atomic migration; not a single-PR retirement without Cluster M / regen brief canvas (anchors in §1.1). |
+| `src/v3/compiler/src/bin/regen_bootstrap.rs` | **(b)** | §**1.1** bootstrap/regen cluster — P5 atomic migration; not a single-PR retirement without Cluster M / regen brief canvas (anchors in §1.1). |
+| `src/v3/compiler/src/bin/regen_lens.rs` | **(b)** | §**1.1** bootstrap/regen cluster — P5 atomic migration; not a single-PR retirement without Cluster M / regen brief canvas (anchors in §1.1). |
+| `src/v3/compiler/src/bin/regen_parse.rs` | **(b)** | §**1.1** bootstrap/regen cluster — P5 atomic migration; not a single-PR retirement without Cluster M / regen brief canvas (anchors in §1.1). |
+| `src/v3/compiler/src/bin/regen_parse_tables.rs` | **(b)** | §**1.1** bootstrap/regen cluster — P5 atomic migration; not a single-PR retirement without Cluster M / regen brief canvas (anchors in §1.1). |
+| `src/v3/compiler/src/bin/regen_tokenize.rs` | **(b)** | §**1.1** bootstrap/regen cluster — P5 atomic migration; not a single-PR retirement without Cluster M / regen brief canvas (anchors in §1.1). |
+| `src/v3/compiler/src/bin/regen_v3.rs` | **(b)** | §**1.1** bootstrap/regen cluster — P5 atomic migration; not a single-PR retirement without Cluster M / regen brief canvas (anchors in §1.1). |
+| `src/v3/compiler/src/bin/self_host_fixed_point.rs` | **(b)** | §**1.1** bootstrap/regen cluster — P5 atomic migration; not a single-PR retirement without Cluster M / regen brief canvas (anchors in §1.1). |
+| `src/v3/compiler/src/bootstrap.rs` | **(b)** | §**1.1** bootstrap/regen cluster — P5 atomic migration; not a single-PR retirement without Cluster M / regen brief canvas (anchors in §1.1). |
+| `src/v3/compiler/src/bootstrap_regen_fresh.rs` | **(b)** | §**1.1** bootstrap/regen cluster — P5 atomic migration; not a single-PR retirement without Cluster M / regen brief canvas (anchors in §1.1). |
+| `src/v3/compiler/src/cementing_dispatch.rs` | **(a)** | Post–PR #3046 **hub**: gate **#87** `CementingDispatchMatchesProjection` host + nested former cycle-2 surfaces (census comment block); retire when predicate substrate owns the walk / T-WAD + PB-Runtime arcs close — not an orphan drop. |
+| `src/v3/compiler/src/dag.rs` | **(b)** | Core compiler host; dissolution bundles multiple §1.8 / substrate gates — needs sequenced program, not opportunistic census drop. |
+| `src/v3/compiler/src/dag/builder.rs` | **(b)** | DAG substrate modules; tied to Tier3 + effects + cardinality program rows — retire with owning substrate move, not isolated. |
+| `src/v3/compiler/src/dag/cardinality_payload.rs` | **(b)** | DAG substrate modules; tied to Tier3 + effects + cardinality program rows — retire with owning substrate move, not isolated. |
+| `src/v3/compiler/src/dag/effects.rs` | **(b)** | DAG substrate modules; tied to Tier3 + effects + cardinality program rows — retire with owning substrate move, not isolated. |
+| `src/v3/compiler/src/dag/ports.rs` | **(b)** | DAG substrate modules; tied to Tier3 + effects + cardinality program rows — retire with owning substrate move, not isolated. |
+| `src/v3/compiler/src/diagnostics.rs` | **(b)** | Core compiler host; dissolution bundles multiple §1.8 / substrate gates — needs sequenced program, not opportunistic census drop. |
+| `src/v3/compiler/src/dimension.rs` | **(b)** | Core compiler host; dissolution bundles multiple §1.8 / substrate gates — needs sequenced program, not opportunistic census drop. |
+| `src/v3/compiler/src/emit.rs` | **(b)** | Core compiler host; dissolution bundles multiple §1.8 / substrate gates — needs sequenced program, not opportunistic census drop. |
+| `src/v3/compiler/src/emit/python_target.rs` | **(b)** | Emit surface; Gap 13 / R2-Grounding + collection-ops identity gates per adjacent census comments. |
+| `src/v3/compiler/src/emit/rust_target.rs` | **(b)** | Emit surface; Gap 13 / R2-Grounding + collection-ops identity gates per adjacent census comments. |
+| `src/v3/compiler/src/emit_rust.rs` | **(b)** | R1C-E / emit-rust host harness; shared with `r1c_e_emit_gates` bin — dissolve with R1 close / `.dag` TestClaim migration per census notes. |
+| `src/v3/compiler/src/emit_rust_roundtrip_fixtures.rs` | **(b)** | R1C-E / emit-rust host harness; shared with `r1c_e_emit_gates` bin — dissolve with R1 close / `.dag` TestClaim migration per census notes. |
+| `src/v3/compiler/src/infer.rs` | **(b)** | Core compiler host; dissolution bundles multiple §1.8 / substrate gates — needs sequenced program, not opportunistic census drop. |
+| `src/v3/compiler/src/lib.rs` | **(b)** | Core compiler host; dissolution bundles multiple §1.8 / substrate gates — needs sequenced program, not opportunistic census drop. |
+| `src/v3/compiler/src/lower.rs` | **(b)** | Core compiler host; dissolution bundles multiple §1.8 / substrate gates — needs sequenced program, not opportunistic census drop. |
+| `src/v3/compiler/src/memory_peak_cost.rs` | **(b)** | Gate #94 cost-lens memory-peak authority; dissolve with cost-lens substrate program. |
+| `src/v3/compiler/src/omni_shape_b_openapi.rs` | **(b)** | Shape B OpenAPI transitional host; dissolve when `.dag` owns projection end-to-end per census comment. |
+| `src/v3/compiler/src/pipeline_authority.rs` | **(b)** | Core compiler host; dissolution bundles multiple §1.8 / substrate gates — needs sequenced program, not opportunistic census drop. |
+| `src/v3/compiler/src/post_emit_verifier.rs` | **(b)** | Core compiler host; dissolution bundles multiple §1.8 / substrate gates — needs sequenced program, not opportunistic census drop. |
+| `src/v3/compiler/src/process_exit.rs` | **(b)** | PB-1 Item 5 host mirror of `dsl/std/process.dag` — dissolve with PB-1 bin-shim program. |
+| `src/v3/compiler/src/r1c_e_gates.rs` | **(b)** | R1C-E shared check API; scaffold until R1 close per census comment. |
+| `src/v3/compiler/src/r3_fc_lane2_loop_witness.rs` | **(a)** | Narrow T-Free-Consequences staging witness; candidate for cycle-3+ scoped dissolution once lowering owns lane2 text (Mgr provisional (a)). |
+| `src/v3/compiler/src/regen_bootstrap_emit.rs` | **(b)** | §**1.1** bootstrap/regen cluster — P5 atomic migration; not a single-PR retirement without Cluster M / regen brief canvas (anchors in §1.1). |
+| `src/v3/compiler/src/regen_parse_emit.rs` | **(b)** | §**1.1** bootstrap/regen cluster — P5 atomic migration; not a single-PR retirement without Cluster M / regen brief canvas (anchors in §1.1). |
+| `src/v3/compiler/src/regen_parse_tables_emit.rs` | **(b)** | §**1.1** bootstrap/regen cluster — P5 atomic migration; not a single-PR retirement without Cluster M / regen brief canvas (anchors in §1.1). |
+| `src/v3/compiler/src/regen_tokenize.rs` | **(b)** | §**1.1** bootstrap/regen cluster — P5 atomic migration; not a single-PR retirement without Cluster M / regen brief canvas (anchors in §1.1). |
+| `src/v3/compiler/src/self_host_receipt_p0.rs` | **(b)** | DB-8 receipt schema host mirror; dissolve when `.dag`/generated owns schema per census header comment. |
+| `src/v3/compiler/src/test_runner.rs` | **(b)** | Core compiler host; dissolution bundles multiple §1.8 / substrate gates — needs sequenced program, not opportunistic census drop. |
+| `src/v3/compiler/src/wall_clock_ratchet_manifest.rs` | **(a)** | Ratchet manifest host; candidate for batch with timing/WAD receipts (Mgr provisional (a)). |
+
+## §4. `EXPECTED_HAND_AUTHORED_FRAGMENTS` (T-PB-A / §1.8 gate **#8** companion)
+
+Same **(a)/(b)/(c)** lens as §3; **3** rows at this snapshot (`awk` window on `EXPECTED_HAND_AUTHORED_FRAGMENTS`). These are **non-`.rs` scaffolds** counted in Σ alongside `NON_TEST` for pure-bootstrap inventory (`project_r3_close_load_bearing_non_test_inventory` framing) — **not** the **122** `EXPECTED_HAND_AUTHORED_TEST` slice.
+
+| Path | Class | Blocker / rationale |
+|------|-------|---------------------|
+| `src/v3/compiler/lens_declaration_apply_body.txt` | **(b)** | **PB-0 cycle-2** (PR #3046): bounded lens application body split out of retired `lens_declaration_apply.rs`; dissolves with substrate-owned CI + cementing receipts / PB-Runtime lens surface (see adjacent `NON_TEST` comment on `cementing_dispatch.rs` on `main`). |
+| `src/v3/compiler/parse_parser_body.txt` | **(b)** | **SG-2b / SG-3f** parser-body reflection follow-on; census header ties dissolution to the same trigger as this scaffold’s own header (`parse_parser_body.txt` — not an opportunistic delete without SG program). |
+| `src/v3/compiler/src/lens_testgen_body.txt` | **(b)** | **Lens testgen** producer-body scaffold; dissolves when producer-owned/generated path owns the same surface (see census commentary on `lens_testgen` / gate **#6** retirement arc — not isolated fragment-only work). |
+
+**Director read (msg_5b04ea2c):** all three rows classify under **(b) named prereq**-shaped blockers (SG / lens-testgen / cementing programs), **same debt grammar** as the bulk of the 43-row `NON_TEST` table — they **fold into Gap 1 / gate #8** ratchet work rather than minting a **third** parallel “fragment-only” close program. No separate Director sub-program request from this pass.
+
+## §5. Changelog
+
+| Date | Change |
+|------|--------|
+| 2026-05-13 | Initial taxonomy + Track A six-path dispatch list (Director msg_84abadad). |
+| 2026-05-13 | §4: `EXPECTED_HAND_AUTHORED_FRAGMENTS` (2) classified (Director msg_5b04ea2c). |
+| 2026-05-14 | Reconcile §0/§2/§3/§4 with **PR #3046** landed on `main`: **50** `NON_TEST`, **3** `FRAGMENTS`; remove retired `.rs` rows; refresh `cementing_dispatch` + fragment rows. |
+| 2026-05-14 | Reconcile §0/§3 with **PR #3048** (cycle-4 seven-path retirement): **43** `NON_TEST`; §3 rows match live `awk` window only (drop stale paths). |