From a92101fb52b3eeec20a085517bff2cf2e3602ec4 Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Mon, 11 May 2026 21:38:11 +0000 Subject: [PATCH 01/30] docs(audit): refresh SG-0 trajectory EOD + compute 7d velocity tripwire MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit - Snapshot origin/main eed86ffc9: 168 Σ-count (50+116+2) - Rolling path-set intro:dissolve vs 04fa1ed47 pre-05-04 = 38:3 (tripwire) - §6 aligns Alarm 1 with +35 Σ-count Δ; tie tripwire to Director RED surfacing Co-authored-by: Cursor --- docs/audit/r3-sg0-trajectory-tracker.md | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/docs/audit/r3-sg0-trajectory-tracker.md b/docs/audit/r3-sg0-trajectory-tracker.md index 9b2ef8eb4d6..cdb5237c4de 100644 --- a/docs/audit/r3-sg0-trajectory-tracker.md +++ b/docs/audit/r3-sg0-trajectory-tracker.md @@ -52,11 +52,11 @@ echo "$(date -u +%Y-%m-%d) | $sha | non_test=$non_test test=$test fragments=$fra | **2026-05-09 EOD** | **eb2cc15cd** (last commit before 2026-05-10 UTC) | **53** | **107** | **2** | **162** | **+12 (retroactive correction; 9-day total: +42)** | 12 entries landed during 2026-05-09 evening: T-CostLens γ-ratification (#2283), R3 plan audit (#2501), 21-PR cycle (R3 P0 dissolutions + gate landings + audit + bridge retirements) | retroactive baseline correction; previous tracker row (150) was taken mid-day on 2026-05-09 before the evening cycle landed; honest EOD count is 162 | | **2026-05-10 (00:38Z)** | **f1588bcc8** | **53** | **107** | **1** | **161** | **−1 (vs 2026-05-09 EOD)** | (none) — 1 fragment removed (`parse_corpus_manifest.txt`-class transient) between eb2cc15cd and f1588bcc8 | Director-receipted intermediate reading at gunbc#828 c#4414054598 (committed on `session/gentle-newt-665` branch as 88e6fca99; never merged to main due to session archival). Director framing: "Trajectory NOT yet inflected toward shrink — bulk events queued (gate #6 wise-crane-831 ACTIVE, F2 PR #2473, T-Tier3 D2a PR #2285, carve-promotion #81/#82/#83/#95) but pre-land at snapshot. Alarm 1 + Alarm 2 tripped on extrapolation against the (then-stale) 150 baseline." Honest delta vs corrected EOD baseline (162) is **−1** (a marginal shrinkage), not +11 | | **2026-05-10 (later)** | **cea1fbe87** | **53** | **108** | **2** | **163** | **+2 (vs f1588bcc8 intermediate; +1 vs 2026-05-09 EOD)** | PR #2506 [codex] add anthropic wire demo (1 test entry + 1 fragment re-added: `anthropic_messages_wire_demo_test.rs` + manifest fragment) | **velocity is steady, not anomalous** (prior +13 framing was a baseline-comparison artifact; Director's +11 framing was the same artifact against the 150 baseline). True 1-day delta vs 2026-05-09 EOD is +1 entry net; cumulative 10-day total is +43 (+30 prior + +12 retroactive 2026-05-09 evening + +1 today). Velocity tripwire (≥3:1 introduction:dissolution, 7-day): **status pending/uncomputed** — 7-day cumulative ratio not yet computed in this snapshot; will be computed once Cluster M Phase 1 lands | -| **2026-05-11** | **31acf4357** | **53** | **112** | **2** | **167** | **+4 (vs 2026-05-10 cea1fbe87)** | 4 new test entries from gate-related PR landings during 2026-05-10 → 2026-05-11 window: `lens_behavioral_parity_demonstration_test.rs` (PR #2525 / gate #73 evidence), `r3_gate_87_lens_cementing_regen_receipts_test.rs` (PR #2639 / gate #87 evidence), `r3_lens_producer_retirement_executable_witness_test.rs` (PR #2595), `t_ci_workflow_as_data_demo_test.rs` (T-Workflow-As-Data demo). PR-merge evidence accrued for many gates (T-Tests-As-Data #86 **CONSUMER_LANDED + PASSING** via PR #2645; #87 **CONSUMER_LANDED** via PR #2639 (not yet PASSING — 8 regen harnesses still `Compiles`-only placeholders per §1.8 close-criterion); #85 carriers landed via PR #2647 but **CONSUMER_LANDED not yet claimed** (§1.8 status remains **DECLARED**); #84 **DECLARED** in §1.8 — cannot promote until EXPECTED_HAND_AUTHORED_TEST = 0; T-Bridge-Retirement gate #31 + T-LensProducer gates #5/#6 + T-V-L7 gate #10 PR-merged with separate §1.8 status drift sweep pending). **Cluster M Phase 3 bulk port NOT yet kicked in to shrink census; PR-merge evidence ≠ §1.8 gate-PASSING per separate status drift sweep step.** | gate-landing/related PR-merges accrue evidence toward the 96 §1.8 gates GREEN target via separate drift sweeps; canonical §1.8 status authoritative per row. SG-0 census still accumulating until Phase 3 bulk-port worker migration completes (calm-newt-602 + silent-swift-300 active). True 1-day delta vs 2026-05-10 EOD is +4 test entries; cumulative 11-day total is +47. Velocity tripwire (≥3:1, 7-day): **status pending/uncomputed** — will be computable once Phase 3 bulk port migration begins shrinking census | +| **2026-05-11 (EOD)** | **eed86ffc9** | **50** | **116** | **2** | **168** | **+1 vs 31acf4357 (167)** | merge churn vs midday snapshot SHA: net **−3** non_test / **+4** test | Rolling 7d vs `04fa1ed47` (last main before **2026-05-04 00:00 UTC**): Σ-count **`133→168 (+35)`**. **Velocity tripwire** (`EXPECTED_HAND_AUTHORED_*` path-set intros:dissolves vs that baseline): **38:3 → 12.7:1 (≥3:1, TRIPPED)**. Midday causal story unchanged: four gate/T-Workflow-As-Data tests landed on the 31acf4357 ancestry (+4 vs cea1fbe87 on that lineage); §1.8 promoter sweeps are still separate bookkeeping. Bulk-port shrink not yet inflecting SG-0. | ## §4. Velocity-to-zero math -**Current state** (2026-05-11): 167 entries (53 non_test + 112 test + 2 fragments). True 11-day average is **+4.3/day** (47 entries over 2026-04-30 → 2026-05-11 window); 1-day delta vs 2026-05-10 EOD is **+4** (gate-landing tests from #73 / #87 / lens-producer retirement witness / T-Workflow-As-Data demo). Census still accumulating (Cluster M Phase 3 bulk port not yet kicked in). +**Current state** (2026-05-11 EOD / `origin/main`): **168** entries (50 non_test + 116 test + 2 fragments). Midday row (31acf4357) captured +4 vs 2026-05-10 cea1fbe87 on that SHA; HEAD advanced to **eed86ffc9** with **net +1** on the Σ-count (+4 test churn vs −3 non_test net). Rolling 7-day window anchored to **`04fa1ed47`** (2026-05-03 — last commit before **2026-05-04 00:00 UTC**): Σ-count **`133 → 168` (+35)**. **Introduction:dissolution path ratio** over that window (exclusive paths added vs removed between baseline and HEAD within the three lists): **38 : 3** — **fires the ≥3:1 standing tripwire** until bulk-dissolution events dominate. Census still accumulating (Cluster M Phase 3 bulk port not yet kicked in). **Required for R3 close**: 0 + 0 + 0. @@ -79,11 +79,12 @@ echo "$(date -u +%Y-%m-%d) | $sha | non_test=$non_test test=$test fragments=$fra ## §6. Threshold alarms Configure PM standing duty / dashboard: -- **Alarm 1**: 7-day net delta is `≥ +10` → trajectory-divergence flag (current state: +21 over last 7 days; alarm tripped) +- **Alarm 1**: 7-day net delta is `≥ +10` → trajectory-divergence flag (**2026-05-11 EOD**: Σ-count Δ vs `04fa1ed47` pre-05-04 anchor = **`+35` ; tripped**) +- **Standing velocity tripwire (Mgr)**: rolling 7d **path introductions : path dissolutions** in `EXPECTED_HAND_AUTHORED_{NON_TEST,TEST,FRAGMENTS}` **`≥ 3:1` ⇒ RED** (**2026-05-11 EOD**: **`38 : 3` ⇒ 12.7:1; tripped** — procedure: sort-unique `"src/v3/..."` lines inside each const slice; `comm` add/remove vs baseline SHA `04fa1ed47`). - **Alarm 2**: 14-day net delta is `≥ 0` → bulk-dissolution-events-not-firing flag (current state: +30 over 9 days; alarm tripped on extrapolation) - **Alarm 3**: 30-day net delta is `< -50` → progress-on-track flag (current state: not applicable; insufficient data) -When Alarm 1 or 2 trips, surface to Director cycle absorption + r3-program-plan §10 RED. +When Alarm 1, Alarm 2, or the standing velocity tripwire fires, surface to Director cycle absorption + `r3-program-plan` §10 RED. ## §7. Relationship to R3 progress bars From fa1a0ba7f60d62fa4f0f6ac7a8518f9c1a429669 Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Mon, 11 May 2026 21:51:58 +0000 Subject: [PATCH 02/30] docs(audit): anchor SG-0 tripwire to true 7 UTC-day window MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Reviewer-corrected: pre-05-04 baseline vs 05-11 EOD spanned ~8 days. Rebaseline to last main before 2026-05-05 00:00Z (4b156d839) into eed86ffc9. Path churn recomputed 37:6 (6.17:1 RED); Σ-count Δ +31 (+37/-6). Co-authored-by: Cursor --- docs/audit/r3-sg0-trajectory-tracker.md | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/docs/audit/r3-sg0-trajectory-tracker.md b/docs/audit/r3-sg0-trajectory-tracker.md index cdb5237c4de..c3e0f2b9076 100644 --- a/docs/audit/r3-sg0-trajectory-tracker.md +++ b/docs/audit/r3-sg0-trajectory-tracker.md @@ -40,6 +40,8 @@ total=$((non_test + test + fragments)) echo "$(date -u +%Y-%m-%d) | $sha | non_test=$non_test test=$test fragments=$fragments total=$total" ``` +**Seven-day velocity-tripwire anchor (canonical).** Path-churn/tripwire rows use fixed **seven** UTC calendar days ending on snapshot UTC date **`D`** (seven days means from UTC day **`D−6`** through **`D`** inclusive). **Baseline** = latest `origin/main` commit strictly before **`D−6` 00:00:00 UTC**; **head** = **`origin/main`** at snapshot row SHA. Anchoring **`--before` on `D−7` UTC midnight** against an **EOD** snapshot dated **`D`** spans **approximately eight** calendar days — it mislabeled earlier prose as rolling **7d** and inflated introductory counts; **2026‑05‑11** rows normalize to **`4b156d839`** → **`eed86ffc9`**. + ## §3. Snapshot history | Date | sha | non_test | test | fragments | total | delta | bulk events | notes | @@ -52,11 +54,11 @@ echo "$(date -u +%Y-%m-%d) | $sha | non_test=$non_test test=$test fragments=$fra | **2026-05-09 EOD** | **eb2cc15cd** (last commit before 2026-05-10 UTC) | **53** | **107** | **2** | **162** | **+12 (retroactive correction; 9-day total: +42)** | 12 entries landed during 2026-05-09 evening: T-CostLens γ-ratification (#2283), R3 plan audit (#2501), 21-PR cycle (R3 P0 dissolutions + gate landings + audit + bridge retirements) | retroactive baseline correction; previous tracker row (150) was taken mid-day on 2026-05-09 before the evening cycle landed; honest EOD count is 162 | | **2026-05-10 (00:38Z)** | **f1588bcc8** | **53** | **107** | **1** | **161** | **−1 (vs 2026-05-09 EOD)** | (none) — 1 fragment removed (`parse_corpus_manifest.txt`-class transient) between eb2cc15cd and f1588bcc8 | Director-receipted intermediate reading at gunbc#828 c#4414054598 (committed on `session/gentle-newt-665` branch as 88e6fca99; never merged to main due to session archival). Director framing: "Trajectory NOT yet inflected toward shrink — bulk events queued (gate #6 wise-crane-831 ACTIVE, F2 PR #2473, T-Tier3 D2a PR #2285, carve-promotion #81/#82/#83/#95) but pre-land at snapshot. Alarm 1 + Alarm 2 tripped on extrapolation against the (then-stale) 150 baseline." Honest delta vs corrected EOD baseline (162) is **−1** (a marginal shrinkage), not +11 | | **2026-05-10 (later)** | **cea1fbe87** | **53** | **108** | **2** | **163** | **+2 (vs f1588bcc8 intermediate; +1 vs 2026-05-09 EOD)** | PR #2506 [codex] add anthropic wire demo (1 test entry + 1 fragment re-added: `anthropic_messages_wire_demo_test.rs` + manifest fragment) | **velocity is steady, not anomalous** (prior +13 framing was a baseline-comparison artifact; Director's +11 framing was the same artifact against the 150 baseline). True 1-day delta vs 2026-05-09 EOD is +1 entry net; cumulative 10-day total is +43 (+30 prior + +12 retroactive 2026-05-09 evening + +1 today). Velocity tripwire (≥3:1 introduction:dissolution, 7-day): **status pending/uncomputed** — 7-day cumulative ratio not yet computed in this snapshot; will be computed once Cluster M Phase 1 lands | -| **2026-05-11 (EOD)** | **eed86ffc9** | **50** | **116** | **2** | **168** | **+1 vs 31acf4357 (167)** | merge churn vs midday snapshot SHA: net **−3** non_test / **+4** test | Rolling 7d vs `04fa1ed47` (last main before **2026-05-04 00:00 UTC**): Σ-count **`133→168 (+35)`**. **Velocity tripwire** (`EXPECTED_HAND_AUTHORED_*` path-set intros:dissolves vs that baseline): **38:3 → 12.7:1 (≥3:1, TRIPPED)**. Midday causal story unchanged: four gate/T-Workflow-As-Data tests landed on the 31acf4357 ancestry (+4 vs cea1fbe87 on that lineage); §1.8 promoter sweeps are still separate bookkeeping. Bulk-port shrink not yet inflecting SG-0. | +| **2026-05-11 (EOD)** | **eed86ffc9** | **50** | **116** | **2** | **168** | **+1 vs 31acf4357 (167)** | merge churn vs midday snapshot SHA: net **−3** non_test / **+4** test | **True rolling 7 calendar UTC days** ending **2026-05-11** (start **2026-05-05**): baseline `4b156d839` (last `origin/main` before **2026-05-05 00:00 UTC**). Σ-count **`137→168 (+31)`**. **Velocity tripwire** (`EXPECTED_HAND_AUTHORED_*` path-set intros:dissolves vs that baseline): **37:6 → 6.17:1 (≥3:1, TRIPPED)**. Midday causal story unchanged: four gate/T-Workflow-As-Data tests landed on the 31acf4357 ancestry (+4 vs cea1fbe87 on that lineage); §1.8 promoter sweeps are still separate bookkeeping. Bulk-port shrink not yet inflecting SG-0. | ## §4. Velocity-to-zero math -**Current state** (2026-05-11 EOD / `origin/main`): **168** entries (50 non_test + 116 test + 2 fragments). Midday row (31acf4357) captured +4 vs 2026-05-10 cea1fbe87 on that SHA; HEAD advanced to **eed86ffc9** with **net +1** on the Σ-count (+4 test churn vs −3 non_test net). Rolling 7-day window anchored to **`04fa1ed47`** (2026-05-03 — last commit before **2026-05-04 00:00 UTC**): Σ-count **`133 → 168` (+35)**. **Introduction:dissolution path ratio** over that window (exclusive paths added vs removed between baseline and HEAD within the three lists): **38 : 3** — **fires the ≥3:1 standing tripwire** until bulk-dissolution events dominate. Census still accumulating (Cluster M Phase 3 bulk port not yet kicked in). +**Current state** (2026-05-11 EOD / `origin/main`): **168** entries (50 non_test + 116 test + 2 fragments). Midday row (31acf4357) captured +4 vs 2026-05-10 cea1fbe87 on that SHA; HEAD advanced to **eed86ffc9** with **net +1** on the Σ-count (+4 test churn vs −3 non_test net). **Seven calendar UTC days** ending **2026-05-11** (inclusive): baseline **`4b156d839`** (last `origin/main` commit strictly before **2026-05-05 00:00 UTC**); head **eed86ffc9**. Σ-count **`137 → 168` (+31)**. **Introduction:dissolution path ratio** over that window (unique paths added vs removed within the three `EXPECTED_HAND_AUTHORED_*` slices): **37 : 6** (**6.17:1**) — **still fires the ≥3:1 standing tripwire** until bulk-dissolution events dominate. Census still accumulating (Cluster M Phase 3 bulk port not yet kicked in). **Required for R3 close**: 0 + 0 + 0. @@ -79,8 +81,8 @@ echo "$(date -u +%Y-%m-%d) | $sha | non_test=$non_test test=$test fragments=$fra ## §6. Threshold alarms Configure PM standing duty / dashboard: -- **Alarm 1**: 7-day net delta is `≥ +10` → trajectory-divergence flag (**2026-05-11 EOD**: Σ-count Δ vs `04fa1ed47` pre-05-04 anchor = **`+35` ; tripped**) -- **Standing velocity tripwire (Mgr)**: rolling 7d **path introductions : path dissolutions** in `EXPECTED_HAND_AUTHORED_{NON_TEST,TEST,FRAGMENTS}` **`≥ 3:1` ⇒ RED** (**2026-05-11 EOD**: **`38 : 3` ⇒ 12.7:1; tripped** — procedure: sort-unique `"src/v3/..."` lines inside each const slice; `comm` add/remove vs baseline SHA `04fa1ed47`). +- **Alarm 1**: 7-day net delta is `≥ +10` → trajectory-divergence flag (**2026-05-11 EOD**: Σ-count Δ vs true-7d baseline `4b156d839` (pre-**2026-05-05** UTC) = **`+31` ; tripped**) +- **Standing velocity tripwire (Mgr)**: rolling **7 calendar UTC days** **path introductions : path dissolutions** in `EXPECTED_HAND_AUTHORED_{NON_TEST,TEST,FRAGMENTS}` **`≥ 3:1` ⇒ RED** (**2026-05-11 EOD**: **`37 : 6` ⇒ 6.17:1; tripped** — procedure: sort-unique `"src/v3/..."` lines inside each const slice; `comm` add/remove vs baseline SHA **`4b156d839`**, snapshot head **`eed86ffc9`**; baseline encodes **start of UTC day May 5** vs **snapshot EOD May 11** inclusive). - **Alarm 2**: 14-day net delta is `≥ 0` → bulk-dissolution-events-not-firing flag (current state: +30 over 9 days; alarm tripped on extrapolation) - **Alarm 3**: 30-day net delta is `< -50` → progress-on-track flag (current state: not applicable; insufficient data) From f580e76f1671867b923c189de59c771a4ff3590c Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Mon, 11 May 2026 22:58:02 +0000 Subject: [PATCH 03/30] =?UTF-8?q?docs(audit):=20align=20=C2=A76=20Alarm=20?= =?UTF-8?q?2=20prose=20with=20calendar-window=20discipline?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Removes stale '+30 / 9-day' as contemporaneous Alarm 2 state; it was §3 2026-05-09 extrapolation shorthand, not the same rolling-7d convention as Alarm 1 per review 9697. Co-authored-by: Cursor --- docs/audit/r3-sg0-trajectory-tracker.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/audit/r3-sg0-trajectory-tracker.md b/docs/audit/r3-sg0-trajectory-tracker.md index c3e0f2b9076..1c0035d6264 100644 --- a/docs/audit/r3-sg0-trajectory-tracker.md +++ b/docs/audit/r3-sg0-trajectory-tracker.md @@ -83,7 +83,7 @@ echo "$(date -u +%Y-%m-%d) | $sha | non_test=$non_test test=$test fragments=$fra Configure PM standing duty / dashboard: - **Alarm 1**: 7-day net delta is `≥ +10` → trajectory-divergence flag (**2026-05-11 EOD**: Σ-count Δ vs true-7d baseline `4b156d839` (pre-**2026-05-05** UTC) = **`+31` ; tripped**) - **Standing velocity tripwire (Mgr)**: rolling **7 calendar UTC days** **path introductions : path dissolutions** in `EXPECTED_HAND_AUTHORED_{NON_TEST,TEST,FRAGMENTS}` **`≥ 3:1` ⇒ RED** (**2026-05-11 EOD**: **`37 : 6` ⇒ 6.17:1; tripped** — procedure: sort-unique `"src/v3/..."` lines inside each const slice; `comm` add/remove vs baseline SHA **`4b156d839`**, snapshot head **`eed86ffc9`**; baseline encodes **start of UTC day May 5** vs **snapshot EOD May 11** inclusive). -- **Alarm 2**: 14-day net delta is `≥ 0` → bulk-dissolution-events-not-firing flag (current state: +30 over 9 days; alarm tripped on extrapolation) +- **Alarm 2**: 14-day net Σ-count delta is `≥ 0` → bulk-dissolution-events-not-firing flag (**rolling fourteen UTC-calendar-day window** ending snapshot **`D`**, analogous to Alarm 1 — baseline = last `origin/main` strictly before **`D−13` 00:00:00 UTC**; **explicit Σ Δ deferred** until the next tracker row pairs that baseline with **`D`**. The retired shorthand “**+30 / 9 days**” referred only to **§3 mid-day 2026-05-09 extrapolation receipts**, **not** a live **2026-05-11** Alarm 1-compatible reading.) - **Alarm 3**: 30-day net delta is `< -50` → progress-on-track flag (current state: not applicable; insufficient data) When Alarm 1, Alarm 2, or the standing velocity tripwire fires, surface to Director cycle absorption + `r3-program-plan` §10 RED. From 4262239cc1a5709db47267800192be5b281e91f1 Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Tue, 12 May 2026 01:08:51 +0000 Subject: [PATCH 04/30] =?UTF-8?q?docs(audit):=20reconcile=20=C2=A73=20EOD?= =?UTF-8?q?=20=CE=B4=20with=20visible=20prior=20row=20(P1)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit BLOCKING inline review (#2714): delta column cited +1 vs midday 31acf4357 while that row was absent — δ_vs_prev per §1 now +5 vs listed cea1fbe87 (163→168). Intraday +1 vs 31acf4357 retained in notes; mirrors 05-09 mid-day/EOD split. Co-authored-by: Cursor --- docs/audit/r3-sg0-trajectory-tracker.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/audit/r3-sg0-trajectory-tracker.md b/docs/audit/r3-sg0-trajectory-tracker.md index 1c0035d6264..706271b1d8b 100644 --- a/docs/audit/r3-sg0-trajectory-tracker.md +++ b/docs/audit/r3-sg0-trajectory-tracker.md @@ -54,7 +54,7 @@ echo "$(date -u +%Y-%m-%d) | $sha | non_test=$non_test test=$test fragments=$fra | **2026-05-09 EOD** | **eb2cc15cd** (last commit before 2026-05-10 UTC) | **53** | **107** | **2** | **162** | **+12 (retroactive correction; 9-day total: +42)** | 12 entries landed during 2026-05-09 evening: T-CostLens γ-ratification (#2283), R3 plan audit (#2501), 21-PR cycle (R3 P0 dissolutions + gate landings + audit + bridge retirements) | retroactive baseline correction; previous tracker row (150) was taken mid-day on 2026-05-09 before the evening cycle landed; honest EOD count is 162 | | **2026-05-10 (00:38Z)** | **f1588bcc8** | **53** | **107** | **1** | **161** | **−1 (vs 2026-05-09 EOD)** | (none) — 1 fragment removed (`parse_corpus_manifest.txt`-class transient) between eb2cc15cd and f1588bcc8 | Director-receipted intermediate reading at gunbc#828 c#4414054598 (committed on `session/gentle-newt-665` branch as 88e6fca99; never merged to main due to session archival). Director framing: "Trajectory NOT yet inflected toward shrink — bulk events queued (gate #6 wise-crane-831 ACTIVE, F2 PR #2473, T-Tier3 D2a PR #2285, carve-promotion #81/#82/#83/#95) but pre-land at snapshot. Alarm 1 + Alarm 2 tripped on extrapolation against the (then-stale) 150 baseline." Honest delta vs corrected EOD baseline (162) is **−1** (a marginal shrinkage), not +11 | | **2026-05-10 (later)** | **cea1fbe87** | **53** | **108** | **2** | **163** | **+2 (vs f1588bcc8 intermediate; +1 vs 2026-05-09 EOD)** | PR #2506 [codex] add anthropic wire demo (1 test entry + 1 fragment re-added: `anthropic_messages_wire_demo_test.rs` + manifest fragment) | **velocity is steady, not anomalous** (prior +13 framing was a baseline-comparison artifact; Director's +11 framing was the same artifact against the 150 baseline). True 1-day delta vs 2026-05-09 EOD is +1 entry net; cumulative 10-day total is +43 (+30 prior + +12 retroactive 2026-05-09 evening + +1 today). Velocity tripwire (≥3:1 introduction:dissolution, 7-day): **status pending/uncomputed** — 7-day cumulative ratio not yet computed in this snapshot; will be computed once Cluster M Phase 1 lands | -| **2026-05-11 (EOD)** | **eed86ffc9** | **50** | **116** | **2** | **168** | **+1 vs 31acf4357 (167)** | merge churn vs midday snapshot SHA: net **−3** non_test / **+4** test | **True rolling 7 calendar UTC days** ending **2026-05-11** (start **2026-05-05**): baseline `4b156d839` (last `origin/main` before **2026-05-05 00:00 UTC**). Σ-count **`137→168 (+31)`**. **Velocity tripwire** (`EXPECTED_HAND_AUTHORED_*` path-set intros:dissolves vs that baseline): **37:6 → 6.17:1 (≥3:1, TRIPPED)**. Midday causal story unchanged: four gate/T-Workflow-As-Data tests landed on the 31acf4357 ancestry (+4 vs cea1fbe87 on that lineage); §1.8 promoter sweeps are still separate bookkeeping. Bulk-port shrink not yet inflecting SG-0. | +| **2026-05-11 (EOD)** | **eed86ffc9** | **50** | **116** | **2** | **168** | **+5 vs visible prior §3 row (`cea1fbe87`, Σ=163)** | merge churn on `eed86ffc9` ancestry: net **−3** non_test / **+4** test | **Intraday +1 vs midday interim `31acf4357` (Σ=167)** — midday row not listed above (same pattern as **2026-05-09** mid-day vs EOD pairing). **True rolling 7 calendar UTC days** ending **2026-05-11** (start **2026-05-05**): baseline `4b156d839` (last `origin/main` before **2026-05-05 00:00 UTC**). Σ-count **`137→168 (+31)`**. **Velocity tripwire** (`EXPECTED_HAND_AUTHORED_*` path-set intros:dissolves vs that baseline): **37:6 → 6.17:1 (≥3:1, TRIPPED)**. Four gate/T-Workflow-As-Data tests landed on **`31acf4357`** lineage (+4 vs **`cea1fbe87`** on that ancestry); §1.8 promoter sweeps are still separate bookkeeping. Bulk-port shrink not yet inflecting SG-0. | ## §4. Velocity-to-zero math From ceeae0c3a822147b87fa6d00fed87a290c11c04b Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Tue, 12 May 2026 01:27:29 +0000 Subject: [PATCH 05/30] =?UTF-8?q?docs(audit):=20=C2=A78=20appendix=20for?= =?UTF-8?q?=20operator=20hot-fix=20#2723=20+=20#846/trace?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Σ-orthogonal housekeeping: exemptions 80→84, SG-0 verified 169 @ d98d1e04b, ratchet-down protocol, digest #828 link + companion #2718 per Director MSG. Co-authored-by: Cursor --- docs/audit/r3-sg0-trajectory-tracker.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/docs/audit/r3-sg0-trajectory-tracker.md b/docs/audit/r3-sg0-trajectory-tracker.md index 706271b1d8b..dabf0382d70 100644 --- a/docs/audit/r3-sg0-trajectory-tracker.md +++ b/docs/audit/r3-sg0-trajectory-tracker.md @@ -98,6 +98,10 @@ When Director authors new R3-close progress bars (per operator ask 2026-05-09), This artifact replaces lane-completion-proxy tracking with **honest trajectory tracking** for the PB-0 closure thesis. +## §8. Appendix — operator-tier hot-fix bookkeeping (Σ-orthogonal) + +**2026-05-12 (~01:22Z) — hot-fix housekeeping** (**Σ trajectory unchanged**): [PR **#2723** — `hot-fix: cut cold-v3 slow tests`](https://github.com/gunb-ai/gunbc/pull/2723) — operator-tier **`main`** merge per operator directive ([**gunbc#846** comment `4426395595`](https://github.com/gunb-ai/gunbc/issues/846#issuecomment-4426395595)). **Sixteen** integration tests routed through **`#[ignore]`** (**no `.rs` deletions**); `slow-test-exemptions.txt` rows tagged **`hot-fix-2026-05-12`**; **`TEST_TIMEOUT_MAX_EXEMPTIONS`** bookkeeping ratchet **`80→84`** (covers **four** newly ignored **`m1_5_*`**/`testgen` rows among the cut set). `EXPECTED_HAND_AUTHORED_*` **Σ unchanged at 169** (**50** NON_TEST **/** **117** TEST **/** **2** FRAG) verified at **`d98d1e04b`** (§2 count procedure vs `origin/main`). **Ratchet-down protocol** (Debt-Paydown / §1.8): each rebuild-session PR **removes one `hot-fix-2026-05-12` exemption row** and **`decrements`** the same **`TEST_TIMEOUT_MAX_EXEMPTIONS`** **in one commit/PR**. Conformance anchors: [**#2723** comment `4426470021`](https://github.com/gunb-ai/gunbc/pull/2723#issuecomment-4426470021); operator-tier merge-bypass precedent + overnight digest [**#828** comment `4426439325`](https://github.com/gunb-ai/gunbc/issues/828#issuecomment-4426439325) (infra surface classes **#2** parser-lag, etc.). **Companion event**: [PR **#2718** — `ci(layer1): skip v3 job on docs-only PRs via changes-filter`](https://github.com/gunb-ai/gunbc/pull/2718) merged **01:05:04Z** same cadence (**docs-only CI mitigation**). + --- **End of tracker.** From 8947d123661dd43a4523736f4d1fa829cc8275b7 Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Tue, 12 May 2026 01:34:33 +0000 Subject: [PATCH 06/30] =?UTF-8?q?docs(audit):=20reconcile=20=C2=A73/=C2=A7?= =?UTF-8?q?4/=C2=A78=20=CE=A3=20authority=20(P2)=20per=20review=209798?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit - §3: row e3ad91d12 (+1 TEST vs eed86ffc9) for #2694; #2712 Σ-stable note - §4: scope seven-day math to archived eed86ffc9; link +1 to new row - §8: clarify #2723 Σ-orthogonal vs 169 explained by earlier lineage Co-authored-by: Cursor --- docs/audit/r3-sg0-trajectory-tracker.md | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) diff --git a/docs/audit/r3-sg0-trajectory-tracker.md b/docs/audit/r3-sg0-trajectory-tracker.md index dabf0382d70..908f167d405 100644 --- a/docs/audit/r3-sg0-trajectory-tracker.md +++ b/docs/audit/r3-sg0-trajectory-tracker.md @@ -54,11 +54,14 @@ echo "$(date -u +%Y-%m-%d) | $sha | non_test=$non_test test=$test fragments=$fra | **2026-05-09 EOD** | **eb2cc15cd** (last commit before 2026-05-10 UTC) | **53** | **107** | **2** | **162** | **+12 (retroactive correction; 9-day total: +42)** | 12 entries landed during 2026-05-09 evening: T-CostLens γ-ratification (#2283), R3 plan audit (#2501), 21-PR cycle (R3 P0 dissolutions + gate landings + audit + bridge retirements) | retroactive baseline correction; previous tracker row (150) was taken mid-day on 2026-05-09 before the evening cycle landed; honest EOD count is 162 | | **2026-05-10 (00:38Z)** | **f1588bcc8** | **53** | **107** | **1** | **161** | **−1 (vs 2026-05-09 EOD)** | (none) — 1 fragment removed (`parse_corpus_manifest.txt`-class transient) between eb2cc15cd and f1588bcc8 | Director-receipted intermediate reading at gunbc#828 c#4414054598 (committed on `session/gentle-newt-665` branch as 88e6fca99; never merged to main due to session archival). Director framing: "Trajectory NOT yet inflected toward shrink — bulk events queued (gate #6 wise-crane-831 ACTIVE, F2 PR #2473, T-Tier3 D2a PR #2285, carve-promotion #81/#82/#83/#95) but pre-land at snapshot. Alarm 1 + Alarm 2 tripped on extrapolation against the (then-stale) 150 baseline." Honest delta vs corrected EOD baseline (162) is **−1** (a marginal shrinkage), not +11 | | **2026-05-10 (later)** | **cea1fbe87** | **53** | **108** | **2** | **163** | **+2 (vs f1588bcc8 intermediate; +1 vs 2026-05-09 EOD)** | PR #2506 [codex] add anthropic wire demo (1 test entry + 1 fragment re-added: `anthropic_messages_wire_demo_test.rs` + manifest fragment) | **velocity is steady, not anomalous** (prior +13 framing was a baseline-comparison artifact; Director's +11 framing was the same artifact against the 150 baseline). True 1-day delta vs 2026-05-09 EOD is +1 entry net; cumulative 10-day total is +43 (+30 prior + +12 retroactive 2026-05-09 evening + +1 today). Velocity tripwire (≥3:1 introduction:dissolution, 7-day): **status pending/uncomputed** — 7-day cumulative ratio not yet computed in this snapshot; will be computed once Cluster M Phase 1 lands | -| **2026-05-11 (EOD)** | **eed86ffc9** | **50** | **116** | **2** | **168** | **+5 vs visible prior §3 row (`cea1fbe87`, Σ=163)** | merge churn on `eed86ffc9` ancestry: net **−3** non_test / **+4** test | **Intraday +1 vs midday interim `31acf4357` (Σ=167)** — midday row not listed above (same pattern as **2026-05-09** mid-day vs EOD pairing). **True rolling 7 calendar UTC days** ending **2026-05-11** (start **2026-05-05**): baseline `4b156d839` (last `origin/main` before **2026-05-05 00:00 UTC**). Σ-count **`137→168 (+31)`**. **Velocity tripwire** (`EXPECTED_HAND_AUTHORED_*` path-set intros:dissolves vs that baseline): **37:6 → 6.17:1 (≥3:1, TRIPPED)**. Four gate/T-Workflow-As-Data tests landed on **`31acf4357`** lineage (+4 vs **`cea1fbe87`** on that ancestry); §1.8 promoter sweeps are still separate bookkeeping. Bulk-port shrink not yet inflecting SG-0. | +| **2026-05-11 (EOD row snapshot)** | **eed86ffc9** | **50** | **116** | **2** | **168** | **+5 vs visible prior §3 row (`cea1fbe87`, Σ=163)** | merge churn on `eed86ffc9` ancestry: net **−3** non_test / **+4** test | **Intraday +1 vs midday interim `31acf4357` (Σ=167)** — midday row not listed above (same pattern as **2026-05-09** mid-day vs EOD pairing). **True rolling 7 calendar UTC days** ending **2026-05-11** (start **2026-05-05**): baseline `4b156d839` (last `origin/main` before **2026-05-05 00:00 UTC**). Σ-count **`137→168 (+31)`**. **Velocity tripwire** (`EXPECTED_HAND_AUTHORED_*` path-set intros:dissolves vs that baseline): **37:6 → 6.17:1 (≥3:1, TRIPPED)**. Four gate/T-Workflow-As-Data tests landed on **`31acf4357`** lineage (+4 vs **`cea1fbe87`** on that ancestry); §1.8 promoter sweeps are still separate bookkeeping. Bulk-port shrink not yet inflecting SG-0. | +| **2026-05-11 (later / `origin/main`)** | **e3ad91d12** | **50** | **117** | **2** | **169** | **+1 TEST vs documented §3 prior row (`eed86ffc9`, Σ=168)** | [PR **#2694** — R3 gate **#64** reflection closure substrate‑plumbing receipt](https://github.com/gunb-ai/gunbc/pull/2694) | Subsequent **PR #2712** (**`30da5fb1b`**) revises **`EXPECTED_HAND_AUTHORED_TEST`** **audit wiring** (**tests‑as‑data migration ratchet**) with **Σ count unchanged @ 169** (§2 procedure). Nominal timestamps **East**: **EOD row** **`eed86ffc9` ~16:51**, this row **~19:42** — labels are **authority-of-row**, not **UTC‑day exhaustion**. | ## §4. Velocity-to-zero math -**Current state** (2026-05-11 EOD / `origin/main`): **168** entries (50 non_test + 116 test + 2 fragments). Midday row (31acf4357) captured +4 vs 2026-05-10 cea1fbe87 on that SHA; HEAD advanced to **eed86ffc9** with **net +1** on the Σ-count (+4 test churn vs −3 non_test net). **Seven calendar UTC days** ending **2026-05-11** (inclusive): baseline **`4b156d839`** (last `origin/main` commit strictly before **2026-05-05 00:00 UTC**); head **eed86ffc9**. Σ-count **`137 → 168` (+31)**. **Introduction:dissolution path ratio** over that window (unique paths added vs removed within the three `EXPECTED_HAND_AUTHORED_*` slices): **37 : 6** (**6.17:1**) — **still fires the ≥3:1 standing tripwire** until bulk-dissolution events dominate. Census still accumulating (Cluster M Phase 3 bulk port not yet kicked in). +**Archived trajectory math (seven‑day anchoring pinned to §3 snapshot `eed86ffc9`; not `HEAD`‑of‑`main`)**: **168** entries (50 non_test + 116 test + 2 fragments). Midday row (31acf4357) captured +4 vs 2026-05-10 cea1fbe87 on that SHA; HEAD advanced to **eed86ffc9** with **net +1** on the Σ-count (+4 test churn vs −3 non_test net). **Seven calendar UTC days** ending **2026-05-11** (inclusive): baseline **`4b156d839`** (last `origin/main` commit strictly before **2026-05-05 00:00 UTC**); head **eed86ffc9**. Σ-count **`137 → 168` (+31)**. **Introduction:dissolution path ratio** over that window (unique paths added vs removed within the three `EXPECTED_HAND_AUTHORED_*` slices): **37 : 6** (**6.17:1**) — **still fires the ≥3:1 standing tripwire** until bulk-dissolution events dominate. Census still accumulating (Cluster M Phase 3 bulk port not yet kicked in). + +**Immediately after that snapshot**, **`origin/main`** advanced **`168→169` (+1 `EXPECTED_HAND_AUTHORED_TEST` path)** at **`e3ad91d12`** — see **§3** row (**PR #2694**). **Required for R3 close**: 0 + 0 + 0. @@ -100,7 +103,9 @@ This artifact replaces lane-completion-proxy tracking with **honest trajectory t ## §8. Appendix — operator-tier hot-fix bookkeeping (Σ-orthogonal) -**2026-05-12 (~01:22Z) — hot-fix housekeeping** (**Σ trajectory unchanged**): [PR **#2723** — `hot-fix: cut cold-v3 slow tests`](https://github.com/gunb-ai/gunbc/pull/2723) — operator-tier **`main`** merge per operator directive ([**gunbc#846** comment `4426395595`](https://github.com/gunb-ai/gunbc/issues/846#issuecomment-4426395595)). **Sixteen** integration tests routed through **`#[ignore]`** (**no `.rs` deletions**); `slow-test-exemptions.txt` rows tagged **`hot-fix-2026-05-12`**; **`TEST_TIMEOUT_MAX_EXEMPTIONS`** bookkeeping ratchet **`80→84`** (covers **four** newly ignored **`m1_5_*`**/`testgen` rows among the cut set). `EXPECTED_HAND_AUTHORED_*` **Σ unchanged at 169** (**50** NON_TEST **/** **117** TEST **/** **2** FRAG) verified at **`d98d1e04b`** (§2 count procedure vs `origin/main`). **Ratchet-down protocol** (Debt-Paydown / §1.8): each rebuild-session PR **removes one `hot-fix-2026-05-12` exemption row** and **`decrements`** the same **`TEST_TIMEOUT_MAX_EXEMPTIONS`** **in one commit/PR**. Conformance anchors: [**#2723** comment `4426470021`](https://github.com/gunb-ai/gunbc/pull/2723#issuecomment-4426470021); operator-tier merge-bypass precedent + overnight digest [**#828** comment `4426439325`](https://github.com/gunb-ai/gunbc/issues/828#issuecomment-4426439325) (infra surface classes **#2** parser-lag, etc.). **Companion event**: [PR **#2718** — `ci(layer1): skip v3 job on docs-only PRs via changes-filter`](https://github.com/gunb-ai/gunbc/pull/2718) merged **01:05:04Z** same cadence (**docs-only CI mitigation**). +**2026-05-12 (~01:22Z) — hot-fix housekeeping**: [PR **#2723** — `hot-fix: cut cold-v3 slow tests`](https://github.com/gunb-ai/gunbc/pull/2723) — operator-tier **`main`** merge per operator directive ([**gunbc#846** comment `4426395595`](https://github.com/gunb-ai/gunbc/issues/846#issuecomment-4426395595)). **Σ strictly Σ‑orthogonal to this merge:** **`EXPECTED_HAND_AUTHORED_*` paths unchanged** (**`#[ignore]`** / slow-test bookkeeping only — no census-list file churn). **`origin/main` @ `d98d1e04b`** nevertheless reads **`169 (50 / 117 / 2)** because **`168→169` landed earlier** via **§3** row **`e3ad91d12`** (**PR #2694** — **before** **`#2712`** re-audited the TEST slice **without Σ movement** **@ `30da5fb1b`**). + +**Sixteen** integration tests routed through **`#[ignore]`** (**no SG-0-listed `.rs` deletions attributable to this PR**); `slow-test-exemptions.txt` rows tagged **`hot-fix-2026-05-12`**; **`TEST_TIMEOUT_MAX_EXEMPTIONS`** bookkeeping ratchet **`80→84`** (covers **four** newly ignored **`m1_5_*`**/`testgen` rows among the cut set). **§2 recount @ `d98d1e04b`** — **`Σ=169`**. **Ratchet-down protocol** (Debt-Paydown / §1.8): each rebuild-session PR **removes one `hot-fix-2026-05-12` exemption row** and **`decrements`** the same **`TEST_TIMEOUT_MAX_EXEMPTIONS`** **in one commit/PR**. Conformance anchors: [**#2723** comment `4426470021`](https://github.com/gunb-ai/gunbc/pull/2723#issuecomment-4426470021); operator-tier merge-bypass precedent + overnight digest [**#828** comment `4426439325`](https://github.com/gunb-ai/gunbc/issues/828#issuecomment-4426439325) (infra surface classes **#2** parser-lag, etc.). **Companion event**: [PR **#2718** — `ci(layer1): skip v3 job on docs-only PRs via changes-filter`](https://github.com/gunb-ai/gunbc/pull/2718) merged **01:05:04Z** same cadence (**docs-only CI mitigation**). --- From b4627f842d3d8c7878024191c03c5a254b378240 Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Tue, 12 May 2026 02:02:23 +0000 Subject: [PATCH 07/30] =?UTF-8?q?docs(audit):=20fix=20=C2=A78=20code=20spa?= =?UTF-8?q?n=20Markdown=20for=20=CE=A3=3D169=20appendix?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Repair missing closing backtick so `169 (50 / 117 / 2)` renders (Codex 981x non-blocking). Co-authored-by: Cursor --- docs/audit/r3-sg0-trajectory-tracker.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/audit/r3-sg0-trajectory-tracker.md b/docs/audit/r3-sg0-trajectory-tracker.md index 908f167d405..9d944616640 100644 --- a/docs/audit/r3-sg0-trajectory-tracker.md +++ b/docs/audit/r3-sg0-trajectory-tracker.md @@ -103,7 +103,7 @@ This artifact replaces lane-completion-proxy tracking with **honest trajectory t ## §8. Appendix — operator-tier hot-fix bookkeeping (Σ-orthogonal) -**2026-05-12 (~01:22Z) — hot-fix housekeeping**: [PR **#2723** — `hot-fix: cut cold-v3 slow tests`](https://github.com/gunb-ai/gunbc/pull/2723) — operator-tier **`main`** merge per operator directive ([**gunbc#846** comment `4426395595`](https://github.com/gunb-ai/gunbc/issues/846#issuecomment-4426395595)). **Σ strictly Σ‑orthogonal to this merge:** **`EXPECTED_HAND_AUTHORED_*` paths unchanged** (**`#[ignore]`** / slow-test bookkeeping only — no census-list file churn). **`origin/main` @ `d98d1e04b`** nevertheless reads **`169 (50 / 117 / 2)** because **`168→169` landed earlier** via **§3** row **`e3ad91d12`** (**PR #2694** — **before** **`#2712`** re-audited the TEST slice **without Σ movement** **@ `30da5fb1b`**). +**2026-05-12 (~01:22Z) — hot-fix housekeeping**: [PR **#2723** — `hot-fix: cut cold-v3 slow tests`](https://github.com/gunb-ai/gunbc/pull/2723) — operator-tier **`main`** merge per operator directive ([**gunbc#846** comment `4426395595`](https://github.com/gunb-ai/gunbc/issues/846#issuecomment-4426395595)). **Σ strictly Σ‑orthogonal to this merge:** **`EXPECTED_HAND_AUTHORED_*` paths unchanged** (**`#[ignore]`** / slow-test bookkeeping only — no census-list file churn). **`origin/main` @ `d98d1e04b`** nevertheless reads **`169 (50 / 117 / 2)`** because **`168→169` landed earlier** via **§3** row **`e3ad91d12`** (**PR #2694** — **before** **`#2712`** re-audited the TEST slice **without Σ movement** **@ `30da5fb1b`**). **Sixteen** integration tests routed through **`#[ignore]`** (**no SG-0-listed `.rs` deletions attributable to this PR**); `slow-test-exemptions.txt` rows tagged **`hot-fix-2026-05-12`**; **`TEST_TIMEOUT_MAX_EXEMPTIONS`** bookkeeping ratchet **`80→84`** (covers **four** newly ignored **`m1_5_*`**/`testgen` rows among the cut set). **§2 recount @ `d98d1e04b`** — **`Σ=169`**. **Ratchet-down protocol** (Debt-Paydown / §1.8): each rebuild-session PR **removes one `hot-fix-2026-05-12` exemption row** and **`decrements`** the same **`TEST_TIMEOUT_MAX_EXEMPTIONS`** **in one commit/PR**. Conformance anchors: [**#2723** comment `4426470021`](https://github.com/gunb-ai/gunbc/pull/2723#issuecomment-4426470021); operator-tier merge-bypass precedent + overnight digest [**#828** comment `4426439325`](https://github.com/gunb-ai/gunbc/issues/828#issuecomment-4426439325) (infra surface classes **#2** parser-lag, etc.). **Companion event**: [PR **#2718** — `ci(layer1): skip v3 job on docs-only PRs via changes-filter`](https://github.com/gunb-ai/gunbc/pull/2718) merged **01:05:04Z** same cadence (**docs-only CI mitigation**). From ebaacadf315d79c34cd9eb21ffcf7154bde6fe48 Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Tue, 12 May 2026 02:08:52 +0000 Subject: [PATCH 08/30] ci: re-trigger PR #2714 checks (prior run jobs cancelled stale) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit noop: prior Actions attempt left fmt/ci/changes/v3 cancelled mid-flight against same head SHA while self_host_ratchet stayed queued — fresh SHA escapes the duplicate-run cancel window without changing docs. Co-authored-by: Cursor From d61b1bd36192ec14740d9d7789de8bf54d12713a Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Tue, 12 May 2026 02:27:56 +0000 Subject: [PATCH 09/30] ci: fresh Actions enqueue for PR #2714 (stuck queued/cancel cascade) noop: supersede zombie workflow whose jobs were starvation-cancelled mid-flight. Co-authored-by: Cursor From dc5193c4ff3a98b4a23501b0c254e2999e76f12b Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Tue, 12 May 2026 02:45:22 +0000 Subject: [PATCH 10/30] ci: re-enqueue Actions for #2714 (runner cancel starvation on d61b) Second noop: prior run stuck queued with cancelled leaf jobs; CLI rerun blocked. Co-authored-by: Cursor From b5673b7359a330c5c48e66bf8f51345ace5332f7 Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Wed, 13 May 2026 14:53:19 -0400 Subject: [PATCH 11/30] =?UTF-8?q?WIP:=20R3=20Debt-Paydown=20Mgr=20?= =?UTF-8?q?=E2=80=94=20lane=20through=20R3=20close?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- docs/audit/r3-sg0-trajectory-tracker.md | 3 +++ docs/briefs/r3-substrate-gate-63-workflow-scheduling-canvas.md | 2 +- docs/r3-program-plan.md | 2 +- 3 files changed, 5 insertions(+), 2 deletions(-) diff --git a/docs/audit/r3-sg0-trajectory-tracker.md b/docs/audit/r3-sg0-trajectory-tracker.md index 9d944616640..1938415c4eb 100644 --- a/docs/audit/r3-sg0-trajectory-tracker.md +++ b/docs/audit/r3-sg0-trajectory-tracker.md @@ -56,6 +56,7 @@ echo "$(date -u +%Y-%m-%d) | $sha | non_test=$non_test test=$test fragments=$fra | **2026-05-10 (later)** | **cea1fbe87** | **53** | **108** | **2** | **163** | **+2 (vs f1588bcc8 intermediate; +1 vs 2026-05-09 EOD)** | PR #2506 [codex] add anthropic wire demo (1 test entry + 1 fragment re-added: `anthropic_messages_wire_demo_test.rs` + manifest fragment) | **velocity is steady, not anomalous** (prior +13 framing was a baseline-comparison artifact; Director's +11 framing was the same artifact against the 150 baseline). True 1-day delta vs 2026-05-09 EOD is +1 entry net; cumulative 10-day total is +43 (+30 prior + +12 retroactive 2026-05-09 evening + +1 today). Velocity tripwire (≥3:1 introduction:dissolution, 7-day): **status pending/uncomputed** — 7-day cumulative ratio not yet computed in this snapshot; will be computed once Cluster M Phase 1 lands | | **2026-05-11 (EOD row snapshot)** | **eed86ffc9** | **50** | **116** | **2** | **168** | **+5 vs visible prior §3 row (`cea1fbe87`, Σ=163)** | merge churn on `eed86ffc9` ancestry: net **−3** non_test / **+4** test | **Intraday +1 vs midday interim `31acf4357` (Σ=167)** — midday row not listed above (same pattern as **2026-05-09** mid-day vs EOD pairing). **True rolling 7 calendar UTC days** ending **2026-05-11** (start **2026-05-05**): baseline `4b156d839` (last `origin/main` before **2026-05-05 00:00 UTC**). Σ-count **`137→168 (+31)`**. **Velocity tripwire** (`EXPECTED_HAND_AUTHORED_*` path-set intros:dissolves vs that baseline): **37:6 → 6.17:1 (≥3:1, TRIPPED)**. Four gate/T-Workflow-As-Data tests landed on **`31acf4357`** lineage (+4 vs **`cea1fbe87`** on that ancestry); §1.8 promoter sweeps are still separate bookkeeping. Bulk-port shrink not yet inflecting SG-0. | | **2026-05-11 (later / `origin/main`)** | **e3ad91d12** | **50** | **117** | **2** | **169** | **+1 TEST vs documented §3 prior row (`eed86ffc9`, Σ=168)** | [PR **#2694** — R3 gate **#64** reflection closure substrate‑plumbing receipt](https://github.com/gunb-ai/gunbc/pull/2694) | Subsequent **PR #2712** (**`30da5fb1b`**) revises **`EXPECTED_HAND_AUTHORED_TEST`** **audit wiring** (**tests‑as‑data migration ratchet**) with **Σ count unchanged @ 169** (§2 procedure). Nominal timestamps **East**: **EOD row** **`eed86ffc9` ~16:51**, this row **~19:42** — labels are **authority-of-row**, not **UTC‑day exhaustion**. | +| **2026-05-13** | **89df284e3** | **53** | **121** | **2** | **176** | **+7 vs §3 prior Σ-row (`e3ad91d12`, Σ=169)** | [PR **#2831** — gate **#63** workflow_scheduling Mgr canvas + worker brief](https://github.com/gunb-ai/gunbc/pull/2831) + intervening WAD / verification / ratchet landings on `main` | **Net +3 non_test / +4 test** vs `e3ad91d12` (fragments flat @ 2). **Not** bulk-dissolution inflection — census still climbing. §1.8 row **#63** → **CANVAS_RATIFIED** (ledger sync same cadence). True **7d** path-churn vs **`4b156d839`**-class anchor recomputed on next PM cycle if Alarm 1/tripwire needs a fresh paired receipt. | ## §4. Velocity-to-zero math @@ -63,6 +64,8 @@ echo "$(date -u +%Y-%m-%d) | $sha | non_test=$non_test test=$test fragments=$fra **Immediately after that snapshot**, **`origin/main`** advanced **`168→169` (+1 `EXPECTED_HAND_AUTHORED_TEST` path)** at **`e3ad91d12`** — see **§3** row (**PR #2694**). +**Latest `origin/main` (2026-05-13 §3 row):** **176** entries (**53** + **121** + **2**) at **`89df284e3`** — **+7** vs **`e3ad91d12`** (169). Paragraphs above stay pinned to historical SHAs for receipt integrity; see **§3** for the live row. + **Required for R3 close**: 0 + 0 + 0. **Bulk-dissolution events on critical path** (per `r3-cluster-m-sequencing-plan-2026-05-09.md`): diff --git a/docs/briefs/r3-substrate-gate-63-workflow-scheduling-canvas.md b/docs/briefs/r3-substrate-gate-63-workflow-scheduling-canvas.md index 5e4562db26b..257a4b99422 100644 --- a/docs/briefs/r3-substrate-gate-63-workflow-scheduling-canvas.md +++ b/docs/briefs/r3-substrate-gate-63-workflow-scheduling-canvas.md @@ -4,7 +4,7 @@ authority parent: R3 Substrate Manager (warm-wolf-698) authoring date: 2026-05-13 gate: §1.8 ledger row #63 `substrate_gap_workflow_scheduling_closed` authority docs: - - `docs/r3-program-plan.md:291` — gate #63 row (DECLARED 2026-05-06) + - `docs/r3-program-plan.md:291` — gate #63 row (**CANVAS_RATIFIED** 2026-05-13 via PR #2831; was DECLARED 2026-05-06) - `docs/r3-program-plan.md:77` + §4.4 — Class 4 (workflow/scheduling) criterion: "CI workflow modeled as .dag data executes through evaluator + produces DimensionReport" - `docs/r3-structure.md` — T-Workflow-As-Data + T-Lens-Self-Application lane assignment snappy-bear-502 audit anchor: msg_140d9bc7-6417-45bf-b541-41cba1ea98cd diff --git a/docs/r3-program-plan.md b/docs/r3-program-plan.md index d28b1faefe9..bb9849a3a83 100644 --- a/docs/r3-program-plan.md +++ b/docs/r3-program-plan.md @@ -288,7 +288,7 @@ This principle is NOT a separate lane; it's a per-lane gate-shape requirement ap | 60 | `substrate_gap_parser_grammar_closed` | substrate-gap-class | T-V2-Retirement + T-Numeric-Construction + Substrate (cross-lane) | DECLARED (NEW 2026-05-06) | concept faithfully modeled (per Q-MachineConstraint sub-decision 5): substrate carries algebra + machine-constraint as independent composing axes with `.dag`-generated interaction substrate; min existence-proof = `Int<64>` / `Real<64>` / `Nat<8>` lower without v2-fallback (evidence, not target) | | 61 | `substrate_gap_function_valued_data_closed` | substrate-gap-class | T-E-P-Producer-Broadening (Phase 1) + E6-G0d (landed #1813) | DECLARED YELLOW (NEW 2026-05-06; reframed RED→YELLOW 2026-05-06 per option (a) RATIFIED) | chain-break dissolved by Q-Class-2-Chain-Break option (a) gap-test re-pick + Q-LBP-R3-Closeability option (b) narrowing; single-prereq-blocked on T-E-P P1 / S10 | | 62 | `substrate_gap_file_ingestion_closed` | substrate-gap-class | T-Workflow-As-Data | **CONSUMER_LANDED** (`src/v3/std/timing_lens.dag` `FileAttachment` + `gate_62_file_attachment_demo_record`; `src/v3/compiler/tests/integration/file_attachment_substrate_carrier_test.rs` — ratified shape unchanged per msg_09df44c6 / msg_61e302c6 / PR #2820) | `.dag` program ingests external file w/o include_str!. **Ratified top-level shape**: workflow-substrate `FileAttachment` carrier extending gate #53 (sibling-carrier pattern with WorkflowSecret + CronExpression β-ratified via PR #2160). **Ratified carrier-internals** (Refined-B-1 — strict 5-of-7 subset of #55 `WorkflowObservationAnchor` at `src/v3/std/timing_lens.dag:98-106`): `FileAttachment { subject_node: NodeId, content_digest: ContentHash, producer_id: WorkflowProducerId, workflow_run_id: WorkflowRunId, attached_at_ns: Nanoseconds }`. Drops observer_id + prover_id (timing-observation-specific epistemological roles; not applicable to file attachment). **Q1-Q6 dispositions** (Director verbatim): Q2 encoding ABSENT default (if needed, `Encoding` from `dsl/std/encoding.dag` — NEVER novel `AttachmentEncoding`); Q3 `WorkflowAssetPath` NOT introduced (digest-only canonical); Q4 workflow-coupling deferred to worker brief / consumer evidence (#55 `TimingObservationSet = List` is own carrier, not embedded; analogy: no preemptive `List` on Job/Step); Q5 eager confirmed; Q6 `AttachmentEncoding` Practice-4 🔴 RED — dissolved to existing `dsl/std/encoding.dag` 6-variant `Encoding` BoundedLattice. **Disqualified top-level candidates** (per Director original disposition): (a) compile-time `read_utf8_file` — P5-style intrinsic, doesn't match §4.3 framing, re-introduces `include_str!` semantics under new syntax (PR #2819 STAND DOWN); (c) precedent-mirror — no precedent enumerated, §4.3 already names answer; (d) A+B bundle — creates parallel-authority violating §P1. **Disqualified carrier-shape candidates** (per Director sub-canvas disposition): B-2 path+digest — parallel-representation (two canonical identifiers for same fact); B-3 anchor+entry-pair — over-engineered (no separate payload to split). **Anti-patterns post-ratification** (Director-enumerated 7 total — 3 from top-level + 4 from sub-canvas): (1) compile-time `read_utf8_file`-equivalent additions; (2) FileAttachment landed without #55/#53 sibling-carrier alignment; (3) bridge variants alongside FileAttachment violating §P5 atomic-migration; (4) any `AttachmentEncoding` or equivalent encoding sum-type duplicating `dsl/std/encoding.dag`; (5) path field on FileAttachment (parallel-rep vs canonical digest); (6) `List` on Job/Step preemptively (consumer-evidence-required); (7) carrier-pattern deviation from Refined-B-1 5-field structure (no novel field-name renames; producer_id stays producer_id). **Ratification-time Director grep (PR #2820 snapshot, pre-`FileAttachment` land):** #55 anchor 7 fields at `timing_lens.dag:98-106`; 5 branded nominals (`ContentHash` :324, `WorkflowProducerId` :328, `WorkflowObserverId` :329, `WorkflowProverId` :330, `WorkflowRunId` :331) at `dsl/std/types.dag`; `dsl/std/encoding.dag` exists with `Encoding = ASCII \| UTF8 \| Latin1 \| Text \| Binary \| Unknown` BoundedLattice (compile-time narrowing); at ratification time none of `FileAttachment` / `AttachmentEncoding` / `WorkflowAssetPath` were present under those names (parallel-authority collision avoided). **Current tree (post gate-62 land):** `FileAttachment` is authored in `timing_lens.dag`; `AttachmentEncoding` / `WorkflowAssetPath` remain unauthored per Director Q2/Q3. **Sub-canvas-2 trigger** (follow-on, not blocking this carrier-internals ratification): workflow blob-store substrate — Refined-B-1 requires `content_digest → bytes` resolution; substrate may not exist at HEAD per sub-canvas §3.B-1.Cons; Substrate Mgr authors as separate canvas after Refined-B-1 lands. **PR #2823 land:** carrier (`FileAttachment`) + sibling-alignment / bootstrap ratchet (`file_attachment_substrate_carrier_test.rs`) + existence proof (`gate_62_file_attachment_demo_record`) per worker brief. **`include_str!` audit (ratification snapshot)** (Director-verified `grep -rn "include_str!" dsl/` on PR #2820 canvas): no matches — gate is forward-looking (model the carrier so future file-ingestion sites have first-class workflow-substrate form), not retire-existing-side-channel. | -| 63 | `substrate_gap_workflow_scheduling_closed` | substrate-gap-class | T-Workflow-As-Data + T-Lens-Self-Application | DECLARED (NEW 2026-05-06) | CI workflow as `.dag` data; substrate prereqs in §4.4 | +| 63 | `substrate_gap_workflow_scheduling_closed` | substrate-gap-class | T-Workflow-As-Data + T-Lens-Self-Application | **CANVAS_RATIFIED** (2026-05-13 per PR **#2831** squash `89df284e3` — Substrate Mgr canvas `docs/briefs/r3-substrate-gate-63-workflow-scheduling-canvas.md` + worker `docs/briefs/r3-substrate-gate-63-workflow-scheduling-worker.md`; Director **msg_804cdc93** ratifies **Q1=Candidate A** administrative closure path — gate-criterion test `ci_workflow_as_data_demo_timing_dimension_report_evaluates_via_evaluator` passes in isolation per snappy-bear-502 **msg_cef1340b**; **Q2 OR-semantics**; **Q3** planned-deferral anchor `73969f4a9`; **Q4** substrate-lane-owned; snappy-bear-502 audit **msg_140d9bc7**; sibling `--include-ignored` failures Director-allocated to §1.8 rows **#99/#100** per msg_804cdc93 — **not** gate #63 closure scope) | CI workflow as `.dag` data executes through evaluator + `DimensionReport`; §4.4 substrate-prereq mapping table in canvas §2. **CONSUMER_LANDED + PASSING** requires worker Phases A–C (un-ignore + §1.4 (a)+(b) receipts + §4.4 footnote reconciliation + ledger flip), not claimed at ratification. | | 64 | `substrate_gap_reflection_closure_closed` | substrate-gap-class | T-LensProducer-Retirement | **DECLARED** (substrate-plumbing receipt via PR #2694 — `src/v3/compiler/tests/fixtures/r3_substrate_gap_reflection_closure.dag` adds non-canonical claim `substrate_gap_reflection_residual_census_receipt` over the live `CensusSubsetCount` lens-producer residual predicate; `r3_substrate_gap_reflection_closure_test.rs` proves the state-check receipt executes and reports residual count 3 while residuals remain. This is **NOT** the canonical reflection-closure consumer.) | `lens_apply.rs` reflection via PB-Runtime; canonical Pass-condition per `r3-structure.md:181`: `lens_apply.rs` reflection routes via PB-Runtime interpreter-as-data and reflection-as-data substrate is exercised end-to-end. Status re-promotes only when PB-Runtime + T-LensProducer-Retirement land that consumer; census state-check is one half of the conjunctive class closure and remains a placeholder per PR #2657 / `feedback_grep_consumer_surfaces_for_lane_completeness`. P5 deferral receipts: non-test residual tracked under `ROADMAP.md` §"Lane acceptance — .dag gates" / T-PB-A row `lens_producer_files_remaining` (anchor `#lane-acceptance--dag-gates`), whose dissolution target is the priority lens-producer non-test census reaching zero; new host test harness tracked under `ROADMAP.md` §"Lane acceptance — .dag gates" / T-PB-B row `pb_rust_tests_outside_residual_zero` plus `EXPECTED_HAND_AUTHORED_TEST` in `sg0_census_test.rs`, dissolving when the generic TestClaim runner can execute the receipt without this harness. | | 65 | `tier3_dissolution_demonstration_executes` | demonstration | T-Tier3-Dissolution | PASSING | `src/v3/compiler/tests/dag/t_r3_tier3_dissolution_demonstration.dag` runs through `t_pb_b_1_dag_runner_test::r3_tier3_dissolution_demonstration_suite_passes_through_runner` | | 66 | `lens_producer_retirement_executable_witness` | demonstration | T-LensProducer-Retirement | **DECLARED** (substrate-plumbing landed via PR #2595 squash `a085f6e9` 2026-05-10 15:52Z — `src/v3/compiler/tests/integration/r3_lens_producer_retirement_executable_witness_test.rs` runs near-term `lens_producer_files_remaining` state-check claim and reports residual `CURRENT_RESIDUAL_COUNT = 3` per `r3-structure.md:184` "near-term demo = retirement state-check + doc receipts"; this is **NOT** the canonical demonstration consumer) | NEW 2026-05-06; canonical Pass-condition per `r3-structure.md:184`: `lens_apply` reflection routes via PB-Runtime on representative lens program; **execution-ready witness DEFERRED** to Row-4 equivalence receipt + Item 4 landing per `docs/design-pb-runtime-interpreter.md` §5.1; "demonstration" status re-promotes to CONSUMER_LANDED only when Row-4 + Item 4 receipts exist (state-check is placeholder, not canonical consumer for this `demonstration`-family gate) | From 61035caf2dbae8be917104ffd54ff45100e4ec1d Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Wed, 13 May 2026 18:56:44 +0000 Subject: [PATCH 12/30] =?UTF-8?q?docs(audit):=20SG-0=20=C2=A74.1=20intro-s?= =?UTF-8?q?ource=20decomposition=20e3ad91d12=E2=86=9289df284e3?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit - Anchor when Σ=169 row was logged vs 7d velocity-walk window - Per-slice intros/dissolves + path lists; rename caveat (cost_lens move) - Stratum read: NON_TEST +3 compiler/WAD/#87 vs TEST +4 instruments Co-authored-by: Cursor --- docs/audit/r3-sg0-trajectory-tracker.md | 27 ++++++++++++++++++++++++- 1 file changed, 26 insertions(+), 1 deletion(-) diff --git a/docs/audit/r3-sg0-trajectory-tracker.md b/docs/audit/r3-sg0-trajectory-tracker.md index 1938415c4eb..e985081ee30 100644 --- a/docs/audit/r3-sg0-trajectory-tracker.md +++ b/docs/audit/r3-sg0-trajectory-tracker.md @@ -56,7 +56,7 @@ echo "$(date -u +%Y-%m-%d) | $sha | non_test=$non_test test=$test fragments=$fra | **2026-05-10 (later)** | **cea1fbe87** | **53** | **108** | **2** | **163** | **+2 (vs f1588bcc8 intermediate; +1 vs 2026-05-09 EOD)** | PR #2506 [codex] add anthropic wire demo (1 test entry + 1 fragment re-added: `anthropic_messages_wire_demo_test.rs` + manifest fragment) | **velocity is steady, not anomalous** (prior +13 framing was a baseline-comparison artifact; Director's +11 framing was the same artifact against the 150 baseline). True 1-day delta vs 2026-05-09 EOD is +1 entry net; cumulative 10-day total is +43 (+30 prior + +12 retroactive 2026-05-09 evening + +1 today). Velocity tripwire (≥3:1 introduction:dissolution, 7-day): **status pending/uncomputed** — 7-day cumulative ratio not yet computed in this snapshot; will be computed once Cluster M Phase 1 lands | | **2026-05-11 (EOD row snapshot)** | **eed86ffc9** | **50** | **116** | **2** | **168** | **+5 vs visible prior §3 row (`cea1fbe87`, Σ=163)** | merge churn on `eed86ffc9` ancestry: net **−3** non_test / **+4** test | **Intraday +1 vs midday interim `31acf4357` (Σ=167)** — midday row not listed above (same pattern as **2026-05-09** mid-day vs EOD pairing). **True rolling 7 calendar UTC days** ending **2026-05-11** (start **2026-05-05**): baseline `4b156d839` (last `origin/main` before **2026-05-05 00:00 UTC**). Σ-count **`137→168 (+31)`**. **Velocity tripwire** (`EXPECTED_HAND_AUTHORED_*` path-set intros:dissolves vs that baseline): **37:6 → 6.17:1 (≥3:1, TRIPPED)**. Four gate/T-Workflow-As-Data tests landed on **`31acf4357`** lineage (+4 vs **`cea1fbe87`** on that ancestry); §1.8 promoter sweeps are still separate bookkeeping. Bulk-port shrink not yet inflecting SG-0. | | **2026-05-11 (later / `origin/main`)** | **e3ad91d12** | **50** | **117** | **2** | **169** | **+1 TEST vs documented §3 prior row (`eed86ffc9`, Σ=168)** | [PR **#2694** — R3 gate **#64** reflection closure substrate‑plumbing receipt](https://github.com/gunb-ai/gunbc/pull/2694) | Subsequent **PR #2712** (**`30da5fb1b`**) revises **`EXPECTED_HAND_AUTHORED_TEST`** **audit wiring** (**tests‑as‑data migration ratchet**) with **Σ count unchanged @ 169** (§2 procedure). Nominal timestamps **East**: **EOD row** **`eed86ffc9` ~16:51**, this row **~19:42** — labels are **authority-of-row**, not **UTC‑day exhaustion**. | -| **2026-05-13** | **89df284e3** | **53** | **121** | **2** | **176** | **+7 vs §3 prior Σ-row (`e3ad91d12`, Σ=169)** | [PR **#2831** — gate **#63** workflow_scheduling Mgr canvas + worker brief](https://github.com/gunb-ai/gunbc/pull/2831) + intervening WAD / verification / ratchet landings on `main` | **Net +3 non_test / +4 test** vs `e3ad91d12` (fragments flat @ 2). **Not** bulk-dissolution inflection — census still climbing. §1.8 row **#63** → **CANVAS_RATIFIED** (ledger sync same cadence). True **7d** path-churn vs **`4b156d839`**-class anchor recomputed on next PM cycle if Alarm 1/tripwire needs a fresh paired receipt. | +| **2026-05-13** | **89df284e3** | **53** | **121** | **2** | **176** | **+7 vs §3 prior Σ-row (`e3ad91d12`, Σ=169)** | [PR **#2831** — gate **#63** workflow_scheduling Mgr canvas + worker brief](https://github.com/gunb-ai/gunbc/pull/2831) + intervening WAD / verification / ratchet landings on `main` | **Net +3 non_test / +4 test** vs `e3ad91d12` (fragments flat @ 2). **Not** bulk-dissolution inflection — census still climbing. §1.8 row **#63** → **CANVAS_RATIFIED** (ledger sync same cadence). **Intro-source decomposition** (path-level intros/dissolves, rename caveat): **§4.1**. | ## §4. Velocity-to-zero math @@ -66,6 +66,31 @@ echo "$(date -u +%Y-%m-%d) | $sha | non_test=$non_test test=$test fragments=$fra **Latest `origin/main` (2026-05-13 §3 row):** **176** entries (**53** + **121** + **2**) at **`89df284e3`** — **+7** vs **`e3ad91d12`** (169). Paragraphs above stay pinned to historical SHAs for receipt integrity; see **§3** for the live row. +**§4.1 — Intro-source decomposition (`e3ad91d12` → `89df284e3`, `feedback_intro_rate_vs_residual_share`)** + +**Anchor (when was Σ=169 logged?).** The prior §3 row reading **169** is **`e3ad91d12`**, labeled **`2026-05-11 (later / origin/main)`** in the §3 table (authority-of-row timestamp — **East wall-clock ~19:42** per that row’s note, **not** “UTC day exhausted”). This interval is **§3-row-to-row** (**~2026-05-11 later → 2026-05-13**), **distinct** from the **seven-day velocity-walk** block above (baseline **`4b156d839`**, head **`eed86ffc9`**, **2026-05-11** receipt). The **+7** here is **not** “another +7 inside the same 7d window” unless explicitly re-anchored. + +**Procedure:** sort-unique `"src/v3/..."` lines per **`EXPECTED_HAND_AUTHORED_{NON_TEST,TEST,FRAGMENTS}`** slice at each SHA; `comm` intros (`-13`) / dissolutions (`-23`). + +| Slice | Σ @ `e3ad91d12` | Σ @ `89df284e3` | Intros | Dissolutions | Net | +|---|---:|---:|---:|---:|---:| +| NON_TEST | 50 | 53 | 5 | 2 | **+3** | +| TEST | 117 | 121 | 10 | 6 | **+4** | +| FRAGMENTS | 2 | 2 | 0 | 0 | **0** | +| **All** | **169** | **176** | 15 | 8 | **+7** | + +**NON_TEST intros (5):** `cementing_dispatch.rs`, `gunbc_ci.rs`, `integration_rs_wiring_scan.rs`, `lens_declaration_apply.rs`, `r3_gate_87_cementing_regen_runner_suites.rs` — all under **`src/v3/compiler/src/`** (compiler host / WAD / Cluster **#87** cementing harness surface). **No** `src/v2/` or `dsl/`‑only fragment intros in this delta set → **PB‑zero / v2‑stratum intro read:** **none observed** on this pair (does **not** prove absence elsewhere). + +**NON_TEST dissolutions (2):** `lens_apply.rs`, `workflow_parallelism.rs` — hand-path **removals** from the census (retirement / authority move off these files for SG‑0 purposes). + +**TEST intros (10):** `anthropic_tool_result_wire_demo_test.rs`, `cementing/cementing_provenance_origin_integration_test.rs`, `cementing/cost_lens_symbolic_consumer_test.rs`, `common/symbolic_cost_verification_fixture.rs`, `common/wiring_scanner_test.rs`, `ctrl_pr_digests_dag_smoke_test.rs`, `extdeps_sql_transport_test.rs`, `file_attachment_substrate_carrier_test.rs`, `r3_gate_60_phase2_width_nat_parser_test.rs`, `t_gate_58_apply_lens_self_application_test.rs`. + +**TEST dissolutions (6):** `cementing/cementing_lens_registry_dispatch_test.rs`, `cost_lens_symbolic_consumer_test.rs` *(root integration path)*, `r1c_d_pb_census_gates_test.rs`, `r1c_e_emit_gates_dag_test.rs`, `r1c_e_emit_gates_omni_dag_test.rs`, `t_pb_b_brief_d_fixture_smoke_test.rs`. + +**Relocation / rename caveat (intro-rate vs “economic” file moves):** **`cost_lens_symbolic_consumer_test.rs`** appears as **one dissolution** (old integration root path) **and** **one introduction** (new `cementing/` path) — **+0** net to Σ but **+2** path-churn events. At least one other churn pair may share this pattern inside the **10 / 6** TEST counts; **gross** intro rate **overstates** “new test files authored” vs **net** test Σ (**+4**). + +**Trajectory read (non-alarm framing for this row-pair alone):** **NON_TEST net +3** is **host-surface + cementing/CI instrumentation** (load-bearing for **R3 actual close** in the sense of `project_r3_close_load_bearing_non_test_inventory`, but **small magnitude** vs that inventory’s **scalar burst** examples). **TEST net +4** is **integration / gate / cementing subdirectory growth** with **partial churn offset** — **test-debt class** dominates the **gross** intro list; **fragments flat**. **Σ read:** mixed stratum; **not** a pure “NON_TEST spike only” signature. + **Required for R3 close**: 0 + 0 + 0. **Bulk-dissolution events on critical path** (per `r3-cluster-m-sequencing-plan-2026-05-09.md`): From f9f054120b94ccc6fe46bbb6fe581488529e9f14 Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Wed, 13 May 2026 19:02:15 +0000 Subject: [PATCH 13/30] docs(briefs): PB-0 NON_TEST SG-0 retirement worker brief (Gap 1) Director dispatch msg_3f8442f6 + PM msg_55c5f2fb: per-PR 5-10 path ratchet-down, priority T-LP > Tier3 #2 > cementing, gate #8 align Co-authored-by: Cursor --- .../r3-pb0-non-test-retirement-worker.md | 50 +++++++++++++++++++ 1 file changed, 50 insertions(+) create mode 100644 docs/briefs/r3-pb0-non-test-retirement-worker.md diff --git a/docs/briefs/r3-pb0-non-test-retirement-worker.md b/docs/briefs/r3-pb0-non-test-retirement-worker.md new file mode 100644 index 00000000000..4159c16c26f --- /dev/null +++ b/docs/briefs/r3-pb0-non-test-retirement-worker.md @@ -0,0 +1,50 @@ +--- +status: Mgr-authored worker brief (R3 Debt-Paydown Mgr → worker dispatch) +authority_parent: R3 Debt-Paydown Mgr (`zesty-boar-261`) +authoring_date: 2026-05-13 +director_dispatch: msg_3f8442f6-c46a-448d-8c55-2d0e0d945a32 +pm_endorsement: msg_55c5f2fb +program_anchor: PR #3013 R3-actual-close **Gap 1** — PB-0 `EXPECTED_HAND_AUTHORED_NON_TEST` retirement cluster +--- + +# PB-0 — SG-0 NON_TEST hand-Rust retirement worker brief + +**Dispatch.** Debt-Paydown Mgr standing program: sustained **per-PR** retirement of paths listed in `EXPECTED_HAND_AUTHORED_NON_TEST` inside `src/v3/compiler/tests/integration/sg0_census_test.rs` (const opens ~L237). **Target cadence:** retire **5–10** distinct census paths **per merged PR** (Director directive). **Ratchet:** `feedback_ratchet_only_down` — the `wc -l` / unique-path count for this const slice **must strictly decrease** on the PR that touches the census; **never** add a `NON_TEST` entry without Director-tier substrate-debt justification (substrate fix lands elsewhere; census expansion here is almost always STOP-and-escalate). + +**Closure alignment.** §1.8 gate **#8** `sg0_non_test_zero` (`docs/r3-program-plan.md`) — T-PB-A ratchet to **0** for `EXPECTED_HAND_AUTHORED_NON_TEST` ∪ `EXPECTED_HAND_AUTHORED_FRAGMENTS` per `docs/design-pure-bootstrap-zero.md` + `docs/r3-structure.md` §Acceptance. This brief owns **NON_TEST** slice only unless the same PR also carries an explicit, separately justified fragments row (out of scope by default). + +## Read first + +- [`docs/audit/r3-sg0-trajectory-tracker.md`](../audit/r3-sg0-trajectory-tracker.md) §2 (count procedure) + §4.1 (intro-source decomposition — **NON_TEST** churn vs TEST class). +- [`ROADMAP.md`](../../ROADMAP.md) T-PB-A row — lens-producer priority + SG-0 census authority. +- [`INVARIANTS.md`](../../INVARIANTS.md) Dispatch-Discipline **(b)** — census line removals carry **same-PR** dissolution / retirement receipt (no orphan drops). +- [`TESTING.md`](../../TESTING.md) Band-C / gate **#87** context — distinguish **transient cementing wiring** (retires when #87 closure completes) from **compiler-authority** retirement (preferred for this brief’s “highest-leverage” bucket when available). +- PR **#3013** Gap 1 framing + PM adversarial audit **msg_93d61169** (use **live** §2 count at your branch tip — do not assume a specific integer head-count without running the procedure). + +## Retirement source priority (Director-ordered) + +1. **Highest leverage — T-LP-Retirement / Cluster F-α adjacent** + Compiler-authority retirements in the shape of recent **`lens_apply.rs`** + **`workflow_parallelism.rs`** census dissolutions: consumers, call-site wiring, walker ports toward `.dag` / substrate authority. Aligns with gate **#5** + Cluster **F-α** program. + +2. **Medium leverage — T-Tier3 mirror dissolution (§1.8 #2 `tier3_computation_mirror_dissolved`)** + `std.computation` mirror surface called out in program-plan notes (e.g. `lower_call_pattern`, `size_bound_param`, `is_constant_bound`, `constant_bound_value`, `algebra_profile_to_dimension`). Evaluator-gated for full PASSING; **consumer wiring / mirror retirement** that removes `NON_TEST` paths is still in-scope pre-work for this cluster. + +3. **Lower leverage — cementing / test-discipline files** + `cementing_dispatch.rs`, `r3_gate_87_cementing_regen_runner_suites.rs`, etc. Prefer **after** buckets (1)–(2) when the same cycle cannot find authority retirements — structurally different debt class (transient until gate **#87** completes). + +## Per-PR acceptance checklist + +1. **Count proof:** before/after `EXPECTED_HAND_AUTHORED_NON_TEST` unique `"src/v3/..."` lines via tracker §2 `awk`+`grep` recipe; **after < before** by ≥ **5** (stretch **10** when safely batchable without violating atomic-migration / P5). +2. **`cargo test -p v3-compiler --test integration sg0_v3_hand_authored_census`** (or full workspace per `TESTING.md` if you touched cross-crate surfaces) — **green**. +3. **SG-0 PR-window** (`ROADMAP.md` SG-0 discipline): if this PR edits `sg0_census_test.rs`, PR description carries **`SG-0 hand-path delta: …`** signed net path change + pairing **(a)/(b)/(c)** when net-add would otherwise trip policy. +4. **No new compiler authority** smuggled as “wiring” without substrate receipt — if retirement forces a **new** substrate-shape question, **STOP** → escalate to Debt-Paydown Mgr → Director-tier canvas if needed. + +## STOP / escalate + +- Census **add** required for correctness → **do not** land in this brief’s PR; route substrate fix + Director justification first. +- Substrate-shape blocker discovered mid-retirement → pause worker; Mgr escalates to Director canvas authoring per `feedback_substrate_shape_belongs_in_mgr_canvas`. +- Scope creep into **`EXPECTED_HAND_AUTHORED_TEST`** bulk port (Cluster M / gate **#84**) → **out of scope** for this dispatch; hand off in dashboard / separate work item. + +## Deliverable + +One squash-ready PR: **5–10** fewer `NON_TEST` paths, tests green, SG-0 discipline satisfied, brief section “Retired this cycle” listing paths + one-line dissolution receipt each (mirror moved to `.dag`, file deleted, authority merged, etc.). From 58b9325d725bdf32ebeb565d1bd7ee4eb11c670c Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Wed, 13 May 2026 19:13:27 +0000 Subject: [PATCH 14/30] docs(briefs): PB-0 NON_TEST brief tail clause (openai-pro #3014) Per-PR minimum drop min(5,before); when before<5 require after=0 so closure PRs are satisfiable through PB-zero. Co-authored-by: Cursor --- docs/briefs/r3-pb0-non-test-retirement-worker.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/briefs/r3-pb0-non-test-retirement-worker.md b/docs/briefs/r3-pb0-non-test-retirement-worker.md index 4159c16c26f..1f286524001 100644 --- a/docs/briefs/r3-pb0-non-test-retirement-worker.md +++ b/docs/briefs/r3-pb0-non-test-retirement-worker.md @@ -9,7 +9,7 @@ program_anchor: PR #3013 R3-actual-close **Gap 1** — PB-0 `EXPECTED_HAND_AUTHO # PB-0 — SG-0 NON_TEST hand-Rust retirement worker brief -**Dispatch.** Debt-Paydown Mgr standing program: sustained **per-PR** retirement of paths listed in `EXPECTED_HAND_AUTHORED_NON_TEST` inside `src/v3/compiler/tests/integration/sg0_census_test.rs` (const opens ~L237). **Target cadence:** retire **5–10** distinct census paths **per merged PR** (Director directive). **Ratchet:** `feedback_ratchet_only_down` — the `wc -l` / unique-path count for this const slice **must strictly decrease** on the PR that touches the census; **never** add a `NON_TEST` entry without Director-tier substrate-debt justification (substrate fix lands elsewhere; census expansion here is almost always STOP-and-escalate). +**Dispatch.** Debt-Paydown Mgr standing program: sustained **per-PR** retirement of paths listed in `EXPECTED_HAND_AUTHORED_NON_TEST` inside `src/v3/compiler/tests/integration/sg0_census_test.rs` (const opens ~L237). **Target cadence:** retire **5–10** distinct census paths **per merged PR** when the pre-PR census count **`before ≥ 5`** (Director directive). **Tail closure:** when **`before < 5`**, the PR must retire **all remaining** `NON_TEST` paths (drop to **0** in that merge if P5/atomic-migration allows; otherwise the minimum legal decrement is **all paths in the tail set** for that PR — no indefinite stall at 1–4). **Ratchet:** `feedback_ratchet_only_down` — the `wc -l` / unique-path count for this const slice **must strictly decrease** on the PR that touches the census; **never** add a `NON_TEST` entry without Director-tier substrate-debt justification (substrate fix lands elsewhere; census expansion here is almost always STOP-and-escalate). **Closure alignment.** §1.8 gate **#8** `sg0_non_test_zero` (`docs/r3-program-plan.md`) — T-PB-A ratchet to **0** for `EXPECTED_HAND_AUTHORED_NON_TEST` ∪ `EXPECTED_HAND_AUTHORED_FRAGMENTS` per `docs/design-pure-bootstrap-zero.md` + `docs/r3-structure.md` §Acceptance. This brief owns **NON_TEST** slice only unless the same PR also carries an explicit, separately justified fragments row (out of scope by default). @@ -34,7 +34,7 @@ program_anchor: PR #3013 R3-actual-close **Gap 1** — PB-0 `EXPECTED_HAND_AUTHO ## Per-PR acceptance checklist -1. **Count proof:** before/after `EXPECTED_HAND_AUTHORED_NON_TEST` unique `"src/v3/..."` lines via tracker §2 `awk`+`grep` recipe; **after < before** by ≥ **5** (stretch **10** when safely batchable without violating atomic-migration / P5). +1. **Count proof:** before/after `EXPECTED_HAND_AUTHORED_NON_TEST` unique `"src/v3/..."` lines via tracker §2 `awk`+`grep` recipe; **`after < before`** with minimum drop **`min(5, before)`** — i.e. require **≥5** net removals when **`before ≥ 5`** (stretch **10** when safely batchable without violating atomic-migration / P5); when **`before < 5`**, require **`after = 0`** (retire every remaining path in the tail; matches Pure Bootstrap **0** target and avoids a brief that cannot be satisfied on the last stretch). 2. **`cargo test -p v3-compiler --test integration sg0_v3_hand_authored_census`** (or full workspace per `TESTING.md` if you touched cross-crate surfaces) — **green**. 3. **SG-0 PR-window** (`ROADMAP.md` SG-0 discipline): if this PR edits `sg0_census_test.rs`, PR description carries **`SG-0 hand-path delta: …`** signed net path change + pairing **(a)/(b)/(c)** when net-add would otherwise trip policy. 4. **No new compiler authority** smuggled as “wiring” without substrate receipt — if retirement forces a **new** substrate-shape question, **STOP** → escalate to Debt-Paydown Mgr → Director-tier canvas if needed. @@ -47,4 +47,4 @@ program_anchor: PR #3013 R3-actual-close **Gap 1** — PB-0 `EXPECTED_HAND_AUTHO ## Deliverable -One squash-ready PR: **5–10** fewer `NON_TEST` paths, tests green, SG-0 discipline satisfied, brief section “Retired this cycle” listing paths + one-line dissolution receipt each (mirror moved to `.dag`, file deleted, authority merged, etc.). +One squash-ready PR: when the pre-PR unique-path count **`before ≥ 5`**, retire **5–10** fewer `NON_TEST` paths; when **`before < 5`**, retire **all** remaining paths so **`after = 0`**. Tests green, SG-0 discipline satisfied, “Retired this cycle” listing paths + one-line dissolution receipt each (mirror moved to `.dag`, file deleted, authority merged, etc.). From 749e3a259add9174354501476ccf6f18ebb99cd3 Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Wed, 13 May 2026 15:38:26 -0400 Subject: [PATCH 15/30] =?UTF-8?q?WIP:=20R3=20Debt-Paydown=20Mgr=20?= =?UTF-8?q?=E2=80=94=20lane=20through=20R3=20close?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- docs/r3-program-plan.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/r3-program-plan.md b/docs/r3-program-plan.md index ed985d84f0e..c9a9df33d30 100644 --- a/docs/r3-program-plan.md +++ b/docs/r3-program-plan.md @@ -233,7 +233,7 @@ This principle is NOT a separate lane; it's a per-lane gate-shape requirement ap | 5 | `lens_apply_dot_rs_retired` | state-check | T-LensProducer-Retirement | DECLARED | gated on PB-Runtime interpreter-as-data | | 6 | `lens_testgen_dot_rs_retired` | state-check | T-LensProducer-Retirement | **CONSUMER_LANDED + PASSING** (PR #2392 squash `b11c8014` 2026-05-10 06:03Z producer-retirement: `src/v3/compiler/src/lens_testgen.rs` deleted; PR #2594 squash `484c719e` 2026-05-10 15:40Z regression-guard `r3_gate_6_lens_testgen_rs_stays_retired` in `sg0_census_test.rs`) | producer + consumer-side ratchet pair per `feedback_grep_consumer_surfaces_for_lane_completeness` | | 7 | `regen_lens_dot_rs_retired` | state-check | T-LensProducer-Retirement | DECLARED | gated on PB-1 bin-shim emit pattern | -| 8 | `sg0_non_test_zero` | state-check | T-LensProducer-Retirement | DECLARED | SG-0 T-PB-A non-test ratchet = 0 (`EXPECTED_HAND_AUTHORED_NON_TEST` + `EXPECTED_HAND_AUTHORED_FRAGMENTS`) | +| 8 | `sg0_non_test_zero` | state-check | T-LensProducer-Retirement | DECLARED | SG-0 T-PB-A non-test ratchet = 0 (`EXPECTED_HAND_AUTHORED_NON_TEST` + `EXPECTED_HAND_AUTHORED_FRAGMENTS`). **Per-PR retirement cadence** (Debt-Paydown Mgr brief [`docs/briefs/r3-pb0-non-test-retirement-worker.md`](briefs/r3-pb0-non-test-retirement-worker.md)): ratchet **strictly down**; target **5–10** path removals per merge when **`before ≥ 5`**; **tail** when **`before < 5`** → retire **all** remaining non-test census paths (**`after = 0`**) so the lane cannot stall indefinitely at 1–4 survivors. | | 9 | `l4_emit_eval_match` | structural-fold | T-V-L4-L7-Direct | **CONSUMER_LANDED** — executable consumer exists; §Acceptance corpus coverage **incomplete** (§1.7 corpus-quantified rule). **Slice-2 receipt added 2026-05-10** via PR #2585 (L4 add-then-branch emit/eval). | **Slice receipts (evidence, non-closure):** three Rust/Int W1 `DifferentialEquals` certification seeds Pass in CI (`r3_verification_l4_emit_eval_match.dag`, suite `r3_verification_l4_l7_direct_suite`, harness `r3_verification_l4_l7_l5_skeleton_test.rs`; canonical claim `l4_emit_eval_match`) + add-then-branch slice (PR #2585). **PASSING** = every certification-corpus program per `r3-structure.md` §Acceptance. **Ledger phrase:** per-program emit ↔ eval algebraic equality | | 10 | `l7_algebraic_laws_witnessed` | alg-law-witness | T-V-L4-L7-Direct | **CONSUMER_LANDED** — bounded `AlgebraicLaw` runner receipts on honest additive/multiplicative `Int` lenses (`src/v3/compiler/tests/fixtures/r3_verification_l7_algebraic_laws.dag`; canonical `TestClaim.name` `l7_algebraic_laws_witnessed`; integration `r3_verification_l4_l7_l5_skeleton_test.rs`); incremental coverage advanced 2026-05-10 via PR #2602. | **PASSING** = exhaustive per-(algebra, inhabitant, law) §Acceptance coverage per `r3-structure.md` (distributivity / lattice absorption / non-`AlgebraicLawKind` laws remain substrate §P1); slice receipts ≠ ledger closure | | 11 | `tc1_eta_equivalence_executable` | DimensionReport-typed | T-V-L4-L7-Direct | **DECLARED through R3** (scaffold authored PR #2184 with NotYetImplemented sentinel per Director (C-modified) ratification at #828). **AMENDED 2026-05-09 per Director (a)-disposition**: E3.c #1970 closed superseded-by-deferral; TC1 V1 strict-fire cannot reach PASSING absent #1972 substrate canvas-tier work, which is HELD-CANVAS-DEFERRED past R3 per Substrate Mgr Path-A confirmation 2026-05-08. Gate #11 stays DECLARED through R3 close; R3-close evidence routes through the Pattern A second-mover audit slice and is not load-bearing for R3-thesis honest-close arithmetic (105 enumerated - 1 canvas-deferred {#11} = 104 R3-load-bearing per §1.5). **PR #2603 (2026-05-10)** advances the executable scaffold but does not retire the canvas-deferral; status flip to PASSING requires fresh Director ratification post-#1972. | runtime prereq: G1.a static-rep OR G1.b generic + eta relation; #1972 canvas-tier substrate post-R3 | From 843acf3f39484eeb675c00cbed1b1d3acb695b17 Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Wed, 13 May 2026 19:38:35 +0000 Subject: [PATCH 16/30] =?UTF-8?q?docs(r3):=20=C2=A71.8=20gate=20#8=20notes?= =?UTF-8?q?=20mirror=20PB-0=20tail=20closure=20(claude=20#11295)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Per-PR cadence + before<5 => after=0 discoverable from ledger; links Mgr brief. Co-authored-by: Cursor --- docs/r3-program-plan.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/r3-program-plan.md b/docs/r3-program-plan.md index c9a9df33d30..22ff1e5a159 100644 --- a/docs/r3-program-plan.md +++ b/docs/r3-program-plan.md @@ -233,7 +233,7 @@ This principle is NOT a separate lane; it's a per-lane gate-shape requirement ap | 5 | `lens_apply_dot_rs_retired` | state-check | T-LensProducer-Retirement | DECLARED | gated on PB-Runtime interpreter-as-data | | 6 | `lens_testgen_dot_rs_retired` | state-check | T-LensProducer-Retirement | **CONSUMER_LANDED + PASSING** (PR #2392 squash `b11c8014` 2026-05-10 06:03Z producer-retirement: `src/v3/compiler/src/lens_testgen.rs` deleted; PR #2594 squash `484c719e` 2026-05-10 15:40Z regression-guard `r3_gate_6_lens_testgen_rs_stays_retired` in `sg0_census_test.rs`) | producer + consumer-side ratchet pair per `feedback_grep_consumer_surfaces_for_lane_completeness` | | 7 | `regen_lens_dot_rs_retired` | state-check | T-LensProducer-Retirement | DECLARED | gated on PB-1 bin-shim emit pattern | -| 8 | `sg0_non_test_zero` | state-check | T-LensProducer-Retirement | DECLARED | SG-0 T-PB-A non-test ratchet = 0 (`EXPECTED_HAND_AUTHORED_NON_TEST` + `EXPECTED_HAND_AUTHORED_FRAGMENTS`). **Per-PR retirement cadence** (Debt-Paydown Mgr brief [`docs/briefs/r3-pb0-non-test-retirement-worker.md`](briefs/r3-pb0-non-test-retirement-worker.md)): ratchet **strictly down**; target **5–10** path removals per merge when **`before ≥ 5`**; **tail** when **`before < 5`** → retire **all** remaining non-test census paths (**`after = 0`**) so the lane cannot stall indefinitely at 1–4 survivors. | +| 8 | `sg0_non_test_zero` | state-check | T-LensProducer-Retirement | DECLARED | SG-0 T-PB-A non-test ratchet = 0 (`EXPECTED_HAND_AUTHORED_NON_TEST` + `EXPECTED_HAND_AUTHORED_FRAGMENTS`). **Per-PR retirement cadence** (Debt-Paydown Mgr `docs/briefs/r3-pb0-non-test-retirement-worker.md`): ratchet **strictly down**; target **5–10** path removals per merge when **`before ≥ 5`**; **tail** when **`before < 5`** → retire **all** remaining non-test census paths (**`after = 0`**) so the lane cannot stall indefinitely at 1–4 survivors. | | 9 | `l4_emit_eval_match` | structural-fold | T-V-L4-L7-Direct | **CONSUMER_LANDED** — executable consumer exists; §Acceptance corpus coverage **incomplete** (§1.7 corpus-quantified rule). **Slice-2 receipt added 2026-05-10** via PR #2585 (L4 add-then-branch emit/eval). | **Slice receipts (evidence, non-closure):** three Rust/Int W1 `DifferentialEquals` certification seeds Pass in CI (`r3_verification_l4_emit_eval_match.dag`, suite `r3_verification_l4_l7_direct_suite`, harness `r3_verification_l4_l7_l5_skeleton_test.rs`; canonical claim `l4_emit_eval_match`) + add-then-branch slice (PR #2585). **PASSING** = every certification-corpus program per `r3-structure.md` §Acceptance. **Ledger phrase:** per-program emit ↔ eval algebraic equality | | 10 | `l7_algebraic_laws_witnessed` | alg-law-witness | T-V-L4-L7-Direct | **CONSUMER_LANDED** — bounded `AlgebraicLaw` runner receipts on honest additive/multiplicative `Int` lenses (`src/v3/compiler/tests/fixtures/r3_verification_l7_algebraic_laws.dag`; canonical `TestClaim.name` `l7_algebraic_laws_witnessed`; integration `r3_verification_l4_l7_l5_skeleton_test.rs`); incremental coverage advanced 2026-05-10 via PR #2602. | **PASSING** = exhaustive per-(algebra, inhabitant, law) §Acceptance coverage per `r3-structure.md` (distributivity / lattice absorption / non-`AlgebraicLawKind` laws remain substrate §P1); slice receipts ≠ ledger closure | | 11 | `tc1_eta_equivalence_executable` | DimensionReport-typed | T-V-L4-L7-Direct | **DECLARED through R3** (scaffold authored PR #2184 with NotYetImplemented sentinel per Director (C-modified) ratification at #828). **AMENDED 2026-05-09 per Director (a)-disposition**: E3.c #1970 closed superseded-by-deferral; TC1 V1 strict-fire cannot reach PASSING absent #1972 substrate canvas-tier work, which is HELD-CANVAS-DEFERRED past R3 per Substrate Mgr Path-A confirmation 2026-05-08. Gate #11 stays DECLARED through R3 close; R3-close evidence routes through the Pattern A second-mover audit slice and is not load-bearing for R3-thesis honest-close arithmetic (105 enumerated - 1 canvas-deferred {#11} = 104 R3-load-bearing per §1.5). **PR #2603 (2026-05-10)** advances the executable scaffold but does not retire the canvas-deferral; status flip to PASSING requires fresh Director ratification post-#1972. | runtime prereq: G1.a static-rep OR G1.b generic + eta relation; #1972 canvas-tier substrate post-R3 | From afa9d710e9e13989b6da193e42f414a5e68013ce Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Wed, 13 May 2026 20:12:27 +0000 Subject: [PATCH 17/30] docs: unify PB-0 tail rule (cursor #11313) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Single bar: after --- docs/briefs/r3-pb0-non-test-retirement-worker.md | 6 +++--- docs/r3-program-plan.md | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/docs/briefs/r3-pb0-non-test-retirement-worker.md b/docs/briefs/r3-pb0-non-test-retirement-worker.md index 1f286524001..2180582e16a 100644 --- a/docs/briefs/r3-pb0-non-test-retirement-worker.md +++ b/docs/briefs/r3-pb0-non-test-retirement-worker.md @@ -9,7 +9,7 @@ program_anchor: PR #3013 R3-actual-close **Gap 1** — PB-0 `EXPECTED_HAND_AUTHO # PB-0 — SG-0 NON_TEST hand-Rust retirement worker brief -**Dispatch.** Debt-Paydown Mgr standing program: sustained **per-PR** retirement of paths listed in `EXPECTED_HAND_AUTHORED_NON_TEST` inside `src/v3/compiler/tests/integration/sg0_census_test.rs` (const opens ~L237). **Target cadence:** retire **5–10** distinct census paths **per merged PR** when the pre-PR census count **`before ≥ 5`** (Director directive). **Tail closure:** when **`before < 5`**, the PR must retire **all remaining** `NON_TEST` paths (drop to **0** in that merge if P5/atomic-migration allows; otherwise the minimum legal decrement is **all paths in the tail set** for that PR — no indefinite stall at 1–4). **Ratchet:** `feedback_ratchet_only_down` — the `wc -l` / unique-path count for this const slice **must strictly decrease** on the PR that touches the census; **never** add a `NON_TEST` entry without Director-tier substrate-debt justification (substrate fix lands elsewhere; census expansion here is almost always STOP-and-escalate). +**Dispatch.** Debt-Paydown Mgr standing program: sustained **per-PR** retirement of paths listed in `EXPECTED_HAND_AUTHORED_NON_TEST` inside `src/v3/compiler/tests/integration/sg0_census_test.rs` (const opens ~L237). **Target cadence:** retire **5–10** distinct census paths **per merged PR** when the pre-PR census count **`before ≥ 5`** (Director directive). **Tail closure (`before < 5`) — single checkable bar:** let **`before`** / **`after`** be the unique-path counts in this const slice immediately before / after the merge. Require **`after < before`** on **every** tail merge (strict ratchet). **Lane exit** is **`after = 0`** on the merge that **finishes** the tail. If **P5 / atomic-migration** forbids deleting **all** remaining paths in **one** merge, **this** merge must still take the **largest strict subset** that **one** lawful commit can remove, and the **PR body** must record **(i)** the P5 barrier, **(ii)** paths removed vs paths remaining, **(iii)** the bound next step (follow-on PR or internal WI) that continues the tail until **`after = 0`**. **Forbidden:** landing with **`1 ≤ after ≤ 4`** with no P5 receipt and no bound continuation. **Ratchet:** `feedback_ratchet_only_down` — **never** add a `NON_TEST` entry without Director-tier substrate-debt justification (substrate fix lands elsewhere; census expansion here is almost always STOP-and-escalate). **Closure alignment.** §1.8 gate **#8** `sg0_non_test_zero` (`docs/r3-program-plan.md`) — T-PB-A ratchet to **0** for `EXPECTED_HAND_AUTHORED_NON_TEST` ∪ `EXPECTED_HAND_AUTHORED_FRAGMENTS` per `docs/design-pure-bootstrap-zero.md` + `docs/r3-structure.md` §Acceptance. This brief owns **NON_TEST** slice only unless the same PR also carries an explicit, separately justified fragments row (out of scope by default). @@ -34,7 +34,7 @@ program_anchor: PR #3013 R3-actual-close **Gap 1** — PB-0 `EXPECTED_HAND_AUTHO ## Per-PR acceptance checklist -1. **Count proof:** before/after `EXPECTED_HAND_AUTHORED_NON_TEST` unique `"src/v3/..."` lines via tracker §2 `awk`+`grep` recipe; **`after < before`** with minimum drop **`min(5, before)`** — i.e. require **≥5** net removals when **`before ≥ 5`** (stretch **10** when safely batchable without violating atomic-migration / P5); when **`before < 5`**, require **`after = 0`** (retire every remaining path in the tail; matches Pure Bootstrap **0** target and avoids a brief that cannot be satisfied on the last stretch). +1. **Count proof:** before/after `EXPECTED_HAND_AUTHORED_NON_TEST` unique `"src/v3/..."` lines via tracker §2 `awk`+`grep` recipe. Let **`before`** / **`after`** be those counts pre/post merge. When **`before ≥ 5`**: require **`after < before`** by at least **`min(5, before)`** (stretch **10** fewer when safely batchable under P5). When **`before < 5`**: require **`after < before`**; require **`after = 0`** on the merge that **completes** the tail; if P5 forbids one-shot **`after = 0`**, this merge removes the **largest strict subset** one commit may lawfully remove and the **PR body** satisfies **(i–iii)** in **Dispatch → Tail closure** (barrier + remainder + bound follow-up). **Forbidden:** **`1 ≤ after ≤ 4`** with no P5 receipt + no continuation. 2. **`cargo test -p v3-compiler --test integration sg0_v3_hand_authored_census`** (or full workspace per `TESTING.md` if you touched cross-crate surfaces) — **green**. 3. **SG-0 PR-window** (`ROADMAP.md` SG-0 discipline): if this PR edits `sg0_census_test.rs`, PR description carries **`SG-0 hand-path delta: …`** signed net path change + pairing **(a)/(b)/(c)** when net-add would otherwise trip policy. 4. **No new compiler authority** smuggled as “wiring” without substrate receipt — if retirement forces a **new** substrate-shape question, **STOP** → escalate to Debt-Paydown Mgr → Director-tier canvas if needed. @@ -47,4 +47,4 @@ program_anchor: PR #3013 R3-actual-close **Gap 1** — PB-0 `EXPECTED_HAND_AUTHO ## Deliverable -One squash-ready PR: when the pre-PR unique-path count **`before ≥ 5`**, retire **5–10** fewer `NON_TEST` paths; when **`before < 5`**, retire **all** remaining paths so **`after = 0`**. Tests green, SG-0 discipline satisfied, “Retired this cycle” listing paths + one-line dissolution receipt each (mirror moved to `.dag`, file deleted, authority merged, etc.). +One squash-ready PR: when **`before ≥ 5`**, retire **5–10** fewer `NON_TEST` paths (same receipts as checklist). When **`before < 5`**, obey the **single Tail closure bar** in **Dispatch** (strict **`after < before`**; **`after = 0`** on the closing merge; P5-split path with PR-body **(i–iii)** only when one-shot zero is unlawful). Tests green, SG-0 discipline satisfied, “Retired this cycle” listing paths + one-line dissolution receipt each. diff --git a/docs/r3-program-plan.md b/docs/r3-program-plan.md index 11cbc96a3d4..589d45a8555 100644 --- a/docs/r3-program-plan.md +++ b/docs/r3-program-plan.md @@ -233,7 +233,7 @@ This principle is NOT a separate lane; it's a per-lane gate-shape requirement ap | 5 | `lens_apply_dot_rs_retired` | state-check | T-LensProducer-Retirement | DECLARED | gated on PB-Runtime interpreter-as-data | | 6 | `lens_testgen_dot_rs_retired` | state-check | T-LensProducer-Retirement | **CONSUMER_LANDED + PASSING** (PR #2392 squash `b11c8014` 2026-05-10 06:03Z producer-retirement: `src/v3/compiler/src/lens_testgen.rs` deleted; PR #2594 squash `484c719e` 2026-05-10 15:40Z regression-guard `r3_gate_6_lens_testgen_rs_stays_retired` in `sg0_census_test.rs`) | producer + consumer-side ratchet pair per `feedback_grep_consumer_surfaces_for_lane_completeness` | | 7 | `regen_lens_dot_rs_retired` | state-check | T-LensProducer-Retirement | DECLARED | gated on PB-1 bin-shim emit pattern | -| 8 | `sg0_non_test_zero` | state-check | T-LensProducer-Retirement | DECLARED | SG-0 T-PB-A non-test ratchet = 0 (`EXPECTED_HAND_AUTHORED_NON_TEST` + `EXPECTED_HAND_AUTHORED_FRAGMENTS`). **Per-PR retirement cadence** (Debt-Paydown Mgr `docs/briefs/r3-pb0-non-test-retirement-worker.md`): ratchet **strictly down**; target **5–10** path removals per merge when **`before ≥ 5`**; **tail** when **`before < 5`** → retire **all** remaining non-test census paths (**`after = 0`**) so the lane cannot stall indefinitely at 1–4 survivors. | +| 8 | `sg0_non_test_zero` | state-check | T-LensProducer-Retirement | DECLARED | SG-0 T-PB-A non-test ratchet = 0 (`EXPECTED_HAND_AUTHORED_NON_TEST` + `EXPECTED_HAND_AUTHORED_FRAGMENTS`). **Per-PR retirement cadence** (Debt-Paydown Mgr `docs/briefs/r3-pb0-non-test-retirement-worker.md`): ratchet **strictly down**; target **5–10** path removals per merge when **`before ≥ 5`**; **tail (`before < 5`):** **`after < before`** every merge; **`after = 0`** on the merge that **closes** the tail; P5-split merges remove the **largest lawful subset** per commit and bind **(i–iii)** follow-up in the PR body (see brief **Dispatch → Tail closure**). | | 9 | `l4_emit_eval_match` | structural-fold | T-V-L4-L7-Direct | **CONSUMER_LANDED** — executable consumer exists; §Acceptance corpus coverage **incomplete** (§1.7 corpus-quantified rule). **Slice-2 receipt added 2026-05-10** via PR #2585 (L4 add-then-branch emit/eval). | **Slice receipts (evidence, non-closure):** three Rust/Int W1 `DifferentialEquals` certification seeds Pass in CI (`r3_verification_l4_emit_eval_match.dag`, suite `r3_verification_l4_l7_direct_suite`, harness `r3_verification_l4_l7_l5_skeleton_test.rs`; canonical claim `l4_emit_eval_match`) + add-then-branch slice (PR #2585). **PASSING** = every certification-corpus program per `r3-structure.md` §Acceptance. **Ledger phrase:** per-program emit ↔ eval algebraic equality | | 10 | `l7_algebraic_laws_witnessed` | alg-law-witness | T-V-L4-L7-Direct | **CONSUMER_LANDED** — bounded `AlgebraicLaw` runner receipts on honest additive/multiplicative `Int` lenses (`src/v3/compiler/tests/fixtures/r3_verification_l7_algebraic_laws.dag`; canonical `TestClaim.name` `l7_algebraic_laws_witnessed`; integration `r3_verification_l4_l7_l5_skeleton_test.rs`); incremental coverage advanced 2026-05-10 via PR #2602. | **PASSING** = exhaustive per-(algebra, inhabitant, law) §Acceptance coverage per `r3-structure.md` (distributivity / lattice absorption / non-`AlgebraicLawKind` laws remain substrate §P1); slice receipts ≠ ledger closure | | 11 | `tc1_eta_equivalence_executable` | DimensionReport-typed | T-V-L4-L7-Direct | **DECLARED through R3** (scaffold authored PR #2184 with NotYetImplemented sentinel per Director (C-modified) ratification at #828). **AMENDED 2026-05-09 per Director (a)-disposition**: E3.c #1970 closed superseded-by-deferral; TC1 V1 strict-fire cannot reach PASSING absent #1972 substrate canvas-tier work, which is HELD-CANVAS-DEFERRED past R3 per Substrate Mgr Path-A confirmation 2026-05-08. Gate #11 stays DECLARED through R3 close; R3-close evidence routes through the Pattern A second-mover audit slice and is not load-bearing for R3-thesis honest-close arithmetic (106 enumerated - 1 canvas-deferred {#11} = 105 R3-load-bearing per §1.5). **PR #2603 (2026-05-10)** advances the executable scaffold but does not retire the canvas-deferral; status flip to PASSING requires fresh Director ratification post-#1972. | runtime prereq: G1.a static-rep OR G1.b generic + eta relation; #1972 canvas-tier substrate post-R3 | From 1c1831c9b749b27109f7656a7da91b36b08fcd7d Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Wed, 13 May 2026 20:37:47 +0000 Subject: [PATCH 18/30] =?UTF-8?q?docs(r3):=20=C2=A71.8=20status=20legend?= =?UTF-8?q?=20includes=20CANVAS=5FRATIFIED=20(cursor=20#11319)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Self-explanatory ledger for rows #63/#105; canvas ratification ≠ closure. Co-authored-by: Cursor --- docs/r3-program-plan.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/r3-program-plan.md b/docs/r3-program-plan.md index 589d45a8555..95a3f0b5e4e 100644 --- a/docs/r3-program-plan.md +++ b/docs/r3-program-plan.md @@ -220,7 +220,7 @@ This principle is NOT a separate lane; it's a per-lane gate-shape requirement ap - **CI-discipline**: CI-enforced PR-authoring contract gate - **substrate-gap-class**: conjunctive closure-criterion over existing lane work (per §1.4) -**Status legend** (per §1.7): DECLARED (doc-level only) / CONSUMER_LANDED (executable consumer for gate id — coverage may be partial for corpus gates; see §1.7) / PASSING (consumer + §Acceptance condition true). +**Status legend** (per §1.7): DECLARED (doc-level only) / **CANVAS_RATIFIED** (Director/operator-ratified Mgr canvas — substrate/dispatch shape fixed; **not** `CONSUMER_LANDED` / not `PASSING`) / CONSUMER_LANDED (executable consumer for gate id — coverage may be partial for corpus gates; see §1.7) / PASSING (consumer + §Acceptance condition true). **§1.8 Status vs Notes (corpus gates):** For corpus-quantified §Acceptance predicates, the **Status** cell states **ledger closure progress only** (`CONSUMER_LANDED` → `PASSING`). **Slice receipts** (e.g. “N seeds Pass in CI”) live in **Notes** as implementation evidence — never substitute a slice receipt for **PASSING**, and do not mint a duplicate §1.8 row for the same gate id (P2). From d4f75124eae0f4fcd536dac31ae19dc9954d684a Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Wed, 13 May 2026 21:30:19 +0000 Subject: [PATCH 19/30] =?UTF-8?q?docs(r3):=20=C2=A71.8=20#8=20Notes=20poin?= =?UTF-8?q?t=20to=20PB-0=20brief=20(claude=20#11382)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Single-authority for tail/P5 cadence; ledger row keeps targets + link. Co-authored-by: Cursor --- docs/r3-program-plan.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/r3-program-plan.md b/docs/r3-program-plan.md index ec1e345cec9..d8270f4a80a 100644 --- a/docs/r3-program-plan.md +++ b/docs/r3-program-plan.md @@ -233,7 +233,7 @@ This principle is NOT a separate lane; it's a per-lane gate-shape requirement ap | 5 | `lens_apply_dot_rs_retired` | state-check | T-LensProducer-Retirement | DECLARED | gated on PB-Runtime interpreter-as-data | | 6 | `lens_testgen_dot_rs_retired` | state-check | T-LensProducer-Retirement | **CONSUMER_LANDED + PASSING** (PR #2392 squash `b11c8014` 2026-05-10 06:03Z producer-retirement: `src/v3/compiler/src/lens_testgen.rs` deleted; PR #2594 squash `484c719e` 2026-05-10 15:40Z regression-guard `r3_gate_6_lens_testgen_rs_stays_retired` in `sg0_census_test.rs`) | producer + consumer-side ratchet pair per `feedback_grep_consumer_surfaces_for_lane_completeness` | | 7 | `regen_lens_dot_rs_retired` | state-check | T-LensProducer-Retirement | DECLARED | gated on PB-1 bin-shim emit pattern | -| 8 | `sg0_non_test_zero` | state-check | T-LensProducer-Retirement | DECLARED | SG-0 T-PB-A non-test ratchet = 0 (`EXPECTED_HAND_AUTHORED_NON_TEST` + `EXPECTED_HAND_AUTHORED_FRAGMENTS`). **Per-PR retirement cadence** (Debt-Paydown Mgr `docs/briefs/r3-pb0-non-test-retirement-worker.md`): ratchet **strictly down**; target **5–10** path removals per merge when **`before ≥ 5`**; **tail (`before < 5`):** **`after < before`** every merge; **`after = 0`** on the merge that **closes** the tail; P5-split merges remove the **largest lawful subset** per commit and bind **(i–iii)** follow-up in the PR body (see brief **Dispatch → Tail closure**). | +| 8 | `sg0_non_test_zero` | state-check | T-LensProducer-Retirement | DECLARED | SG-0 T-PB-A: **`EXPECTED_HAND_AUTHORED_NON_TEST`** + **`EXPECTED_HAND_AUTHORED_FRAGMENTS`** ratchet → **0** (`docs/design-pure-bootstrap-zero.md`). **Per-PR cadence, tail closure, P5 (i–iii):** canonical text — [`docs/briefs/r3-pb0-non-test-retirement-worker.md`](briefs/r3-pb0-non-test-retirement-worker.md) (**Dispatch**, **Checklist**). | | 9 | `l4_emit_eval_match` | structural-fold | T-V-L4-L7-Direct | **CONSUMER_LANDED** — executable consumer exists; §Acceptance corpus coverage **incomplete** (§1.7 corpus-quantified rule). **Slice-2 receipt added 2026-05-10** via PR #2585 (L4 add-then-branch emit/eval). | **Slice receipts (evidence, non-closure):** three Rust/Int W1 `DifferentialEquals` certification seeds Pass in CI (`r3_verification_l4_emit_eval_match.dag`, suite `r3_verification_l4_l7_direct_suite`, harness `r3_verification_l4_l7_l5_skeleton_test.rs`; canonical claim `l4_emit_eval_match`) + add-then-branch slice (PR #2585). **PASSING** = every certification-corpus program per `r3-structure.md` §Acceptance. **Ledger phrase:** per-program emit ↔ eval algebraic equality | | 10 | `l7_algebraic_laws_witnessed` | alg-law-witness | T-V-L4-L7-Direct | **CONSUMER_LANDED** — bounded `AlgebraicLaw` runner receipts on honest additive/multiplicative `Int` lenses (`src/v3/compiler/tests/fixtures/r3_verification_l7_algebraic_laws.dag`; canonical `TestClaim.name` `l7_algebraic_laws_witnessed`; integration `r3_verification_l4_l7_l5_skeleton_test.rs`); incremental coverage advanced 2026-05-10 via PR #2602. | **PASSING** = exhaustive per-(algebra, inhabitant, law) §Acceptance coverage per `r3-structure.md` (distributivity / lattice absorption / non-`AlgebraicLawKind` laws remain substrate §P1); slice receipts ≠ ledger closure | | 11 | `tc1_eta_equivalence_executable` | DimensionReport-typed | T-V-L4-L7-Direct | **DECLARED through R3** (scaffold authored PR #2184 with NotYetImplemented sentinel per Director (C-modified) ratification at #828). **AMENDED 2026-05-09 per Director (a)-disposition**: E3.c #1970 closed superseded-by-deferral; TC1 V1 strict-fire cannot reach PASSING absent #1972 substrate canvas-tier work, which is HELD-CANVAS-DEFERRED past R3 per Substrate Mgr Path-A confirmation 2026-05-08. Gate #11 stays DECLARED through R3 close; R3-close evidence routes through the Pattern A second-mover audit slice and is not load-bearing for R3-thesis honest-close arithmetic (106 enumerated - 1 canvas-deferred {#11} = 105 R3-load-bearing per §1.5). **PR #2603 (2026-05-10)** advances the executable scaffold but does not retire the canvas-deferral; status flip to PASSING requires fresh Director ratification post-#1972. | runtime prereq: G1.a static-rep OR G1.b generic + eta relation; #1972 canvas-tier substrate post-R3 | From 8e9b73212b9c534cd66389efb4e37f490454de48 Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Wed, 13 May 2026 17:36:39 -0400 Subject: [PATCH 20/30] =?UTF-8?q?WIP:=20R3=20Debt-Paydown=20Mgr=20?= =?UTF-8?q?=E2=80=94=20lane=20through=20R3=20close?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- ...ion-mirror-consumer-prestage-2026-05-13.md | 96 +++++++++++++++++++ ...3-pb0-non-test-retirement-worker-cycle2.md | 60 ++++++++++++ 2 files changed, 156 insertions(+) create mode 100644 docs/audit/r3-tier3-computation-mirror-consumer-prestage-2026-05-13.md create mode 100644 docs/briefs/r3-pb0-non-test-retirement-worker-cycle2.md diff --git a/docs/audit/r3-tier3-computation-mirror-consumer-prestage-2026-05-13.md b/docs/audit/r3-tier3-computation-mirror-consumer-prestage-2026-05-13.md new file mode 100644 index 00000000000..5cb49f6b68a --- /dev/null +++ b/docs/audit/r3-tier3-computation-mirror-consumer-prestage-2026-05-13.md @@ -0,0 +1,96 @@ +# Tier-3 computation mirror — consumer-wiring pre-stage audit + +**Authority:** `docs/r3-program-plan.md` §1.8 row **#2** `tier3_computation_mirror_dissolved` — **CONSUMER_LANDED** (PR #2789 trivial constructors + `kernel_algebra_profile` / `type_iteration_dimension` substrate-authority ratchet); **PASSING** still requires Evaluator-backed dissolution of remaining **`SizeBound` / `CallPattern`** host mirrors and wider `std.computation` mirror surface (`lower_call_pattern`, `size_bound_param`, `is_constant_bound`, `constant_bound_value`, `algebra_profile_to_dimension`). + +**Mgr lane:** R3 Debt-Paydown (`zesty-boar-261`). **Director dispatch:** `msg_2e9a11ee-3a11-4d1c-a03b-999a6cf209fc` — **pre-stage only** (Evaluator Mgr execution lane still escalated blocked per operator `msg_acf78d37`; no host `evaluate_body` claims here). + +**Snapshot:** 2026-05-13 — inventory from ripgrep over `src/v3/compiler/` at authoring time (hand + generated + tests + benches). + +--- + +## §1. Symbol inventory (host mirror API surface) + +| Symbol | Canonical definition | Notes | +|--------|---------------------|--------| +| `SizeBound` | `src/v3/compiler/src/dag.rs` (`mod computation`) | Host coproduct scaffold; §1.8 #2 residual mirror class. | +| `CallPattern` | `dag.rs` (same module) | Host coproduct; pairs with `SizeBound` via `lower_call_pattern`. | +| `lower_call_pattern` | `dag.rs` | Maps `CallPattern` → `LoweringTarget` / `SizeBound`. | +| `size_bound_param` | `dag.rs` | Extracts structural param witness where applicable. | +| `is_constant_bound` | `dag.rs` | Predicate on `SizeBound`. | +| `constant_bound_value` | `dag.rs` | Numeric witness for constant bounds. | +| `algebra_profile_to_dimension` | `dag.rs` | Maps `AlgebraProfile` → `IterationDimension`. | +| `type_iteration_dimension` | `dag.rs` | **Slice B ratcheted:** must delegate through `BOOTSTRAPPED_DAG.kernel_algebra_profile` (see `m2_substrate_inhabitance_test.rs`). | + +`bootstrap_generated.rs` / `bootstrap_generated_without_parse_surface.rs` contain **string table entries** for the symbol names (bootstrap metadata) — **not** behavioral consumers. + +--- + +## §2. Consumer-side call-site / type-use inventory + +### 2.A Hand-written integration — **primary ratchet + behavioral consumer** + +| Artifact | Role | +|----------|------| +| `src/v3/compiler/tests/integration/m2_substrate_inhabitance_test.rs` | Imports and exercises **`lower_call_pattern`**, **`size_bound_param`**, **`is_constant_bound`**, **`constant_bound_value`**, **`algebra_profile_to_dimension`**, **`type_iteration_dimension`**, `CallPattern`, `SizeBound`, `AlgebraProfile`, …; hosts **`tier3_computation_mirror_*`** ratchets; documents that **full mirror dissolution** requires **evaluated** `std.computation` block (comments ~L528–L551). | + +### 2.B Performance harness + +| Artifact | Role | +|----------|------| +| `src/v3/compiler/benches/tier3_mirror_perf.rs` | **`lower_call_pattern`**, **`type_iteration_dimension`**, `CallPattern`, `positive_descent_count` — Phase-1 timing toward tier-3 perf budget brief. | + +### 2.C Generated lenses (Dag-emitted Rust; still **typed** against host `CallPattern`) + +| Artifact | Role | +|----------|------| +| `src/v3/compiler/src/complexity_lens_generated.rs` | From `src/v3/lenses/complexity.dag` — **`CallPattern`** in `complexity_when_descent_unknown`, `pattern_to_iter_bound`, … | +| `src/v3/compiler/src/lens_cost_symbolic_generated.rs` | From `src/v3/lenses/cost.dag` — **`CallPattern`** in `pattern_to_iter_bound` / recursive transform cost paths. | + +### 2.D Integration tests — **indirect** (no direct `lower_call_pattern` import) + +| Artifact | Role | +|----------|------| +| `src/v3/compiler/tests/integration/lens_behavioral_parity_demonstration_test.rs` | Imports other `dag` types (`SymbolicCost`, `WorkflowEffect`, …) for gate **#73**; not a direct consumer of the §1 table’s five free functions. | +| `src/v3/compiler/tests/integration/cementing/complexity_lens_behavioral_completion.rs` | `complexity_of` / `dag` behavior types — Band-C receipt; same indirect relationship. | + +### 2.E Census / comments + +| Artifact | Role | +|----------|------| +| `src/v3/compiler/tests/integration/sg0_census_test.rs` | Comment near census const references mirror names (documentation-only tie to gate #2 narrative). | + +--- + +## §3. Sequencing analysis (retirement readiness — **pre-execution**) + +**Hard dependency:** Evaluator Mgr lane must supply **evaluated `std.computation`** authority before the host scaffold in `dag.rs` can dissolve without losing §Acceptance-shaped evidence (see `m2_substrate_inhabitance_test.rs` comments). + +**Recommended conceptual order** (consumer-wiring pre-work → execution wave when unblocked): + +1. **Substrate / `.dag` authority expansion** — extend `std.computation` (and related induction/computation lowering) so **mirror semantics** are **data-first** where §P2 consumers can attach (Evaluator executes the block). +2. **Ratchet migration** — move `m2_substrate_inhabitance_test.rs` rows from “host literal” expectations toward **generated or fixture-backed** claims as the Dag surface becomes authoritative (preserves fail-closed discipline per INVARIANTS). +3. **Generated lens modules** — `complexity_lens_generated.rs` / `lens_cost_symbolic_generated.rs` **regenerate** when `complexity.dag` / `cost.dag` projections no longer need raw `CallPattern` host typing (ties to lens emitter + cost lens programs, not Debt-Paydown alone). +4. **Bench alignment** — refresh `tier3_mirror_perf.rs` only after public mirror API stabilizes on the new authority path (avoid churning perf baselines prematurely). + +**Parallel to PB-0:** Retire **`NON_TEST`** census paths that are **pure wiring** to deprecated mirror call-sites **only** when a **same-PR** dissolution receipt exists (Dispatch-Discipline **(b)**). Use PB-0 cycle briefs + this audit as cross-links when opening those PRs. + +--- + +## §4. Worker brief stub (fires when Evaluator Mgr lane unblocks) + +**Title (placeholder):** *Tier-3 computation mirror — consumer-wiring execution worker* + +**Dispatch shape (outline):** + +1. **Goal:** §1.8 #2 → **PASSING** — no remaining host-mirror obligations for the named `std.computation` surface; `computation_lowering_rust_mirror_matches_dag_authority` and related rows green under Evaluator-backed `std.computation`. +2. **Inputs:** This audit §§1–3; Substrate Mgr / Evaluator Mgr canvases; `docs/r3-structure.md` §Acceptance for Tier-3 dissolution. +3. **Deliverables:** PR sequence removing `dag.rs` mirror variants **only** behind substrate + consumer receipts; integration tests updated or replaced with `.dag` TestClaims per §P2 where applicable. +4. **STOP:** Any new substrate sum-type without Director canvas → escalate (Mgr cannot mint parallel authority). + +--- + +## §5. Changelog + +| Date | Change | +|------|--------| +| 2026-05-13 | Initial pre-stage audit (Director `msg_2e9a11ee`). | diff --git a/docs/briefs/r3-pb0-non-test-retirement-worker-cycle2.md b/docs/briefs/r3-pb0-non-test-retirement-worker-cycle2.md new file mode 100644 index 00000000000..1c12950508b --- /dev/null +++ b/docs/briefs/r3-pb0-non-test-retirement-worker-cycle2.md @@ -0,0 +1,60 @@ +--- +status: Mgr-pre-authored worker brief (queue — dispatch fires on PR #3014 merge) +authority_parent: R3 Debt-Paydown Mgr (`zesty-boar-261`) +authoring_date: 2026-05-13 +director_dispatch: msg_2e9a11ee-3a11-4d1c-a03b-999a6cf209fc +program_anchor: PB-0 **cycle 2** — sustained `EXPECTED_HAND_AUTHORED_NON_TEST` retirement (same bars as cycle 1) +predecessor_brief: [`r3-pb0-non-test-retirement-worker.md`](r3-pb0-non-test-retirement-worker.md) (cycle 1; Director msg_3f8442f6) +--- + +# PB-0 cycle 2 — SG-0 NON_TEST hand-Rust retirement worker brief + +## §0. Queue position (pre-authored) + +**Director:** `msg_2e9a11ee-3a11-4d1c-a03b-999a6cf209fc` — per `feedback_pre_authored_brief_queue`, this brief is **authored now** so worker dispatch can attach **immediately after** cycle 1 program PR **#3014** lands (no Mgr idle gap waiting on brief prose). + +**Relationship to cycle 1:** Identical **acceptance geometry** and **retirement source priority** as [`r3-pb0-non-test-retirement-worker.md`](r3-pb0-non-test-retirement-worker.md). Cycle 2 is the **next** merged-PR slice of the same standing program: another **5–10** distinct `EXPECTED_HAND_AUTHORED_NON_TEST` paths per merge when **`before ≥ 5`**, same tail bar, same P5 **(i–iii)** split rule, same `feedback_ratchet_only_down` STOP semantics. + +**Live census anchor:** `src/v3/compiler/tests/integration/sg0_census_test.rs` — const opens **~L237** (line drifts with merges; grep for `const EXPECTED_HAND_AUTHORED_NON_TEST`). + +--- + +**Dispatch.** Debt-Paydown Mgr standing program: sustained **per-PR** retirement of paths listed in `EXPECTED_HAND_AUTHORED_NON_TEST` inside `sg0_census_test.rs`. **Target cadence:** retire **5–10** distinct census paths **per merged PR** when the pre-PR census count **`before ≥ 5`** (Director directive). **Tail closure (`before < 5`) — single checkable bar:** let **`before`** / **`after`** be the unique-path counts in this const slice immediately before / after the merge. Require **`after < before`** on **every** tail merge (strict ratchet). **Lane exit** is **`after = 0`** on the merge that **finishes** the tail. If **P5 / atomic-migration** forbids deleting **all** remaining paths in **one** merge, **this** merge must still take the **largest strict subset** that **one** lawful commit can remove, and the **PR body** must record **(i)** the P5 barrier, **(ii)** paths removed vs paths remaining, **(iii)** the bound next step (follow-on PR or internal WI) that continues the tail until **`after = 0`**. **Forbidden:** landing with **`1 ≤ after ≤ 4`** with no P5 receipt and no bound continuation. **Ratchet:** `feedback_ratchet_only_down` — **never** add a `NON_TEST` entry without Director-tier substrate-debt justification (substrate fix lands elsewhere; census expansion here is almost always STOP-and-escalate). + +**Closure alignment.** §1.8 gate **#8** `sg0_non_test_zero` (`docs/r3-program-plan.md`) — T-PB-A ratchet to **0** for `EXPECTED_HAND_AUTHORED_NON_TEST` ∪ `EXPECTED_HAND_AUTHORED_FRAGMENTS` per `docs/design-pure-bootstrap-zero.md` + `docs/r3-structure.md` §Acceptance. This brief owns **NON_TEST** slice only unless the same PR also carries an explicit, separately justified fragments row (out of scope by default). + +## Read first + +- [`docs/audit/r3-sg0-trajectory-tracker.md`](../audit/r3-sg0-trajectory-tracker.md) §2 (count procedure) + §4.1 (intro-source decomposition — **NON_TEST** churn vs TEST class). +- [`ROADMAP.md`](../../ROADMAP.md) T-PB-A row — lens-producer priority + SG-0 census authority. +- [`INVARIANTS.md`](../../INVARIANTS.md) Dispatch-Discipline **(b)** — census line removals carry **same-PR** dissolution / retirement receipt (no orphan drops). +- [`TESTING.md`](../../TESTING.md) Band-C / gate **#87** context — distinguish **transient cementing wiring** (retires when #87 closure completes) from **compiler-authority** retirement (preferred for this brief’s “highest-leverage” bucket when available). +- PR **#3013** Gap 1 framing + cycle 1 brief above (use **live** §2 count at your branch tip — do not assume a specific integer head-count without running the procedure). + +## Retirement source priority (Director-ordered) + +1. **Highest leverage — T-LP-Retirement / Cluster F-α adjacent** + Compiler-authority retirements: consumers, call-site wiring, walker ports toward `.dag` / substrate authority. Aligns with gate **#5** + Cluster **F-α** program. + +2. **Medium leverage — T-Tier3 mirror dissolution (§1.8 #2 `tier3_computation_mirror_dissolved`)** + `std.computation` mirror surface in program-plan notes (e.g. `lower_call_pattern`, `size_bound_param`, `is_constant_bound`, `constant_bound_value`, `algebra_profile_to_dimension`). Evaluator-gated for full PASSING; **consumer wiring / mirror retirement** that removes `NON_TEST` paths remains in-scope pre-work. Pre-stage inventory: [`docs/audit/r3-tier3-computation-mirror-consumer-prestage-2026-05-13.md`](../audit/r3-tier3-computation-mirror-consumer-prestage-2026-05-13.md). + +3. **Lower leverage — cementing / test-discipline files** + Prefer **after** buckets (1)–(2) when the same cycle cannot find authority retirements — structurally different debt class (transient until gate **#87** completes). + +## Per-PR acceptance checklist + +1. **Count proof:** before/after `EXPECTED_HAND_AUTHORED_NON_TEST` unique `"src/v3/..."` lines via tracker §2 `awk`+`grep` recipe. Let **`before`** / **`after`** be those counts pre/post merge. When **`before ≥ 5`**: require **`after < before`** by at least **`min(5, before)`** (stretch **10** fewer when safely batchable under P5). When **`before < 5`**: require **`after < before`**; require **`after = 0`** on the merge that **completes** the tail; if P5 forbids one-shot **`after = 0`**, this merge removes the **largest strict subset** one commit may lawfully remove and the **PR body** satisfies **(i–iii)** in **Dispatch → Tail closure** (barrier + remainder + bound follow-up). **Forbidden:** **`1 ≤ after ≤ 4`** with no P5 receipt + no continuation. +2. **`cargo test -p v3-compiler --test integration sg0_v3_hand_authored_census`** (or full workspace per `TESTING.md` if you touched cross-crate surfaces) — **green**. +3. **SG-0 PR-window** (`ROADMAP.md` SG-0 discipline): if this PR edits `sg0_census_test.rs`, PR description carries **`SG-0 hand-path delta: …`** signed net path change + pairing **(a)/(b)/(c)** when net-add would otherwise trip policy. +4. **No new compiler authority** smuggled as “wiring” without substrate receipt — if retirement forces a **new** substrate-shape question, **STOP** → escalate to Debt-Paydown Mgr → Director-tier canvas if needed. + +## STOP / escalate + +- Census **add** required for correctness → **do not** land in this brief’s PR; route substrate fix + Director justification first. +- Substrate-shape blocker discovered mid-retirement → pause worker; Mgr escalates to Director canvas authoring per `feedback_substrate_shape_belongs_in_mgr_canvas`. +- Scope creep into **`EXPECTED_HAND_AUTHORED_TEST`** bulk port (Cluster M / gate **#84**) → **out of scope** for this dispatch; hand off in dashboard / separate work item. + +## Deliverable + +One squash-ready PR: when **`before ≥ 5`**, retire **5–10** fewer `NON_TEST` paths (same receipts as checklist). When **`before < 5`**, obey the **single Tail closure bar** in **Dispatch** (strict **`after < before`**; **`after = 0`** on the closing merge; P5-split path with PR-body **(i–iii)** only when one-shot zero is unlawful). Tests green, SG-0 discipline satisfied, “Retired this cycle” listing paths + one-line dissolution receipt each. From 11a43d0b543df2b98a9f998a33933228ac0556c1 Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Wed, 13 May 2026 21:36:52 +0000 Subject: [PATCH 21/30] docs: PB-0 cycle-2 brief + Tier-3 mirror pre-stage audit (msg_2e9a11ee) - Pre-authored cycle-2 NON_TEST retirement worker brief (queue on PR #3014) - Audit: host mirror symbol inventory, consumer wiring map, sequencing + worker stub Co-authored-by: Cursor --- docs/briefs/r3-pb0-non-test-retirement-worker-cycle2.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/docs/briefs/r3-pb0-non-test-retirement-worker-cycle2.md b/docs/briefs/r3-pb0-non-test-retirement-worker-cycle2.md index 1c12950508b..f056df35a1c 100644 --- a/docs/briefs/r3-pb0-non-test-retirement-worker-cycle2.md +++ b/docs/briefs/r3-pb0-non-test-retirement-worker-cycle2.md @@ -1,10 +1,10 @@ --- -status: Mgr-pre-authored worker brief (queue — dispatch fires on PR #3014 merge) -authority_parent: R3 Debt-Paydown Mgr (`zesty-boar-261`) +status: "Mgr-pre-authored worker brief (queue — dispatch fires on PR #3014 merge)" +authority_parent: "R3 Debt-Paydown Mgr (zesty-boar-261)" authoring_date: 2026-05-13 director_dispatch: msg_2e9a11ee-3a11-4d1c-a03b-999a6cf209fc -program_anchor: PB-0 **cycle 2** — sustained `EXPECTED_HAND_AUTHORED_NON_TEST` retirement (same bars as cycle 1) -predecessor_brief: [`r3-pb0-non-test-retirement-worker.md`](r3-pb0-non-test-retirement-worker.md) (cycle 1; Director msg_3f8442f6) +program_anchor: "PB-0 cycle 2 — sustained EXPECTED_HAND_AUTHORED_NON_TEST retirement (same bars as cycle 1)" +predecessor_brief: "docs/briefs/r3-pb0-non-test-retirement-worker.md (cycle 1; Director msg_3f8442f6)" --- # PB-0 cycle 2 — SG-0 NON_TEST hand-Rust retirement worker brief From 117ac8f06cc9ff2c715216b07a62104396c79407 Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Wed, 13 May 2026 22:10:36 +0000 Subject: [PATCH 22/30] =?UTF-8?q?docs(gate-63):=20sync=20canvas=20=C2=A70/?= =?UTF-8?q?=C2=A71=20with=20CANVAS=5FRATIFIED=20ledger=20(codex=20api-revi?= =?UTF-8?q?ew)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Frontmatter + §0 single status; §1 drops stale DECLARED blockquote; points to live §1.8 row #63. Co-authored-by: Cursor --- .../r3-substrate-gate-63-workflow-scheduling-canvas.md | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/docs/briefs/r3-substrate-gate-63-workflow-scheduling-canvas.md b/docs/briefs/r3-substrate-gate-63-workflow-scheduling-canvas.md index 257a4b99422..5f3aeedf31a 100644 --- a/docs/briefs/r3-substrate-gate-63-workflow-scheduling-canvas.md +++ b/docs/briefs/r3-substrate-gate-63-workflow-scheduling-canvas.md @@ -1,5 +1,5 @@ --- -status: Mgr canvas (substrate-shape question for Director ratification; surfaced per feedback_substrate_shape_belongs_in_mgr_canvas after snappy-bear-502 audit msg_140d9bc7 2026-05-13) +status: "Director-ratified Mgr canvas (gate #63 §1.8 CANVAS_RATIFIED 2026-05-13 per PR #2831 + Director msg_804cdc93; Q1=Candidate A). Originated from snappy-bear-502 audit msg_140d9bc7." authority parent: R3 Substrate Manager (warm-wolf-698) authoring date: 2026-05-13 gate: §1.8 ledger row #63 `substrate_gap_workflow_scheduling_closed` @@ -14,9 +14,9 @@ snappy-bear-502 audit anchor: msg_140d9bc7-6417-45bf-b541-41cba1ea98cd ## §0. Status -DECLARED at `docs/r3-program-plan.md:291` (NEW 2026-05-06). T-WAD Wave-1 substrate just landed extensively in this Substrate-mgr lane (PR #2774 Slice 4 YamlStatic, PR #2808 Slice 5 BinaryShim, PR #2798 Slice 7 affected-set, PR #2823 gate #62 FileAttachment). snappy-bear-502 was auto-spawned without authored brief and surfaced a clean STOP-condition audit revealing partial-landing state. +**Single visible surface:** §1.8 row **#63** is **CANVAS_RATIFIED** (2026-05-13, PR **#2831** squash `89df284e3`; Director **msg_804cdc93** — **Q1=Candidate A** administrative closure path). **CONSUMER_LANDED** and **PASSING** are **not** claimed at ratification — program-plan **Notes** + worker brief `docs/briefs/r3-substrate-gate-63-workflow-scheduling-worker.md` own executable closure. -This canvas frames the **closure-scope substrate-shape question** for Director ratification before worker brief authoring. +**Provenance:** Row **#63** was **DECLARED** (NEW 2026-05-06); T-WAD Wave-1 substrate landed (PR #2774 YamlStatic, PR #2808 BinaryShim, PR #2798 affected-set, PR #2823 gate #62 FileAttachment). snappy-bear-502 audit **msg_140d9bc7** forced STOP-condition inventory; gate-criterion test passes in isolation (**msg_cef1340b**). §§2–§7 below retain the **pre-ratification** engineering analysis that supported Director disposition; **ledger truth** is always `docs/r3-program-plan.md` §1.8 row **#63** at HEAD. ## §1. Source authority (verbatim) @@ -24,9 +24,9 @@ This canvas frames the **closure-scope substrate-shape question** for Director r > CI workflow modeled as `.dag` data executes through evaluator -### Gate #63 row (`docs/r3-program-plan.md:291`) +### Gate #63 row (`docs/r3-program-plan.md` §1.8) -> `substrate_gap_workflow_scheduling_closed` — substrate-gap-class — T-Workflow-As-Data + T-Lens-Self-Application — DECLARED (NEW 2026-05-06) — CI workflow as `.dag` data; substrate prereqs in §4.4 +Authoritative **Status** / **Notes** cells: **§1.8** table row **#63** at HEAD (**CANVAS_RATIFIED** — do not use stale DECLARED-era snapshots). Line numbers in this file’s YAML `authority_docs` cite may drift; grep the row by gate id. ### Class 4 §4.4 (full closure criterion per snappy-bear-502 grep) From bafd5a7b7a72eb39137eab958285624ef5640baf Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Wed, 13 May 2026 19:20:12 -0400 Subject: [PATCH 23/30] =?UTF-8?q?WIP:=20R3=20Debt-Paydown=20Mgr=20?= =?UTF-8?q?=E2=80=94=20lane=20through=20R3=20close?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- ...st-retirement-class-taxonomy-2026-05-13.md | 94 +++++++++++++++++++ .../tests/integration/sg0_census_test.rs | 6 ++ 2 files changed, 100 insertions(+) create mode 100644 docs/audit/r3-pb0-non-test-retirement-class-taxonomy-2026-05-13.md diff --git a/docs/audit/r3-pb0-non-test-retirement-class-taxonomy-2026-05-13.md b/docs/audit/r3-pb0-non-test-retirement-class-taxonomy-2026-05-13.md new file mode 100644 index 00000000000..ee30d29930b --- /dev/null +++ b/docs/audit/r3-pb0-non-test-retirement-class-taxonomy-2026-05-13.md @@ -0,0 +1,94 @@ +# 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). +**Procedure:** `docs/audit/r3-sg0-trajectory-tracker.md` §2 (`awk` window on `sg0_census_test.rs`). +**Snapshot:** `gunbc` @ `2b7241362` (`2b7241362a7f`). + +## §0. Count discipline vs close-plan narrative + +- **Live `EXPECTED_HAND_AUTHORED_NON_TEST` paths:** **55** (this table has one row per path). +- **Live Σ (`NON_TEST` + `TEST` + `FRAGMENTS`):** **179** at this snapshot (`55 + 122 + 2`). +- **Director / operator relay** cited **178** on the **non-test** slice alone; that figure **does not match** the live const at this SHA — operator reconciliation may be on a different HEAD or included auxiliary rows. **This taxonomy tracks the authoritative const at the snapshot SHA**; PM should amend close-plan arithmetic if the gap persists after operator recount. + +## §1. Classification legend + +- **(a) RETIREABLE NOW** — no named structural blocker in §3; 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). + +## §2. Track A — Cycle-2 named scope (immediate dispatch) + +Per Director Track A, the first cycle-2 worker batch **names** these **6** paths (also marked **(a)** in §3): + +- `src/v3/compiler/src/cementing_dispatch.rs` +- `src/v3/compiler/src/gunbc_ci.rs` +- `src/v3/compiler/src/integration_rs_wiring_scan.rs` +- `src/v3/compiler/src/lens_declaration_apply.rs` +- `src/v3/compiler/src/lens_t_las_carrier.rs` +- `src/v3/compiler/src/r3_gate_87_cementing_regen_runner_suites.rs` + +## §3. Per-path taxonomy (all `NON_TEST` rows) + +| 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)** | Bootstrap / regen toolchain + P5 atomic migration; substrate owned by Cluster M + `regen_*` briefs — not a single-PR retirement without canvas. | +| `src/v3/compiler/src/bin/gunbc_ci.rs` | **(b)** | Bootstrap / regen toolchain + P5 atomic migration; substrate owned by Cluster M + `regen_*` briefs — not a single-PR retirement without canvas. | +| `src/v3/compiler/src/bin/r1c_e_emit_gates.rs` | **(b)** | Bootstrap / regen toolchain + P5 atomic migration; substrate owned by Cluster M + `regen_*` briefs — not a single-PR retirement without canvas. | +| `src/v3/compiler/src/bin/regen_bootstrap.rs` | **(b)** | Bootstrap / regen toolchain + P5 atomic migration; substrate owned by Cluster M + `regen_*` briefs — not a single-PR retirement without canvas. | +| `src/v3/compiler/src/bin/regen_lens.rs` | **(b)** | Bootstrap / regen toolchain + P5 atomic migration; substrate owned by Cluster M + `regen_*` briefs — not a single-PR retirement without canvas. | +| `src/v3/compiler/src/bin/regen_parse.rs` | **(b)** | Bootstrap / regen toolchain + P5 atomic migration; substrate owned by Cluster M + `regen_*` briefs — not a single-PR retirement without canvas. | +| `src/v3/compiler/src/bin/regen_parse_tables.rs` | **(b)** | Bootstrap / regen toolchain + P5 atomic migration; substrate owned by Cluster M + `regen_*` briefs — not a single-PR retirement without canvas. | +| `src/v3/compiler/src/bin/regen_tokenize.rs` | **(b)** | Bootstrap / regen toolchain + P5 atomic migration; substrate owned by Cluster M + `regen_*` briefs — not a single-PR retirement without canvas. | +| `src/v3/compiler/src/bin/regen_v3.rs` | **(b)** | Bootstrap / regen toolchain + P5 atomic migration; substrate owned by Cluster M + `regen_*` briefs — not a single-PR retirement without canvas. | +| `src/v3/compiler/src/bin/self_host_fixed_point.rs` | **(b)** | Bootstrap / regen toolchain + P5 atomic migration; substrate owned by Cluster M + `regen_*` briefs — not a single-PR retirement without canvas. | +| `src/v3/compiler/src/bootstrap.rs` | **(b)** | Bootstrap / regen toolchain + P5 atomic migration; substrate owned by Cluster M + `regen_*` briefs — not a single-PR retirement without canvas. | +| `src/v3/compiler/src/bootstrap_regen_fresh.rs` | **(b)** | Bootstrap / regen toolchain + P5 atomic migration; substrate owned by Cluster M + `regen_*` briefs — not a single-PR retirement without canvas. | +| `src/v3/compiler/src/cementing_dispatch.rs` | **(a)** | Cycle-2 worker dispatch (Director msg_84abadad Track A); retire per `docs/briefs/r3-pb0-non-test-retirement-worker-cycle2.md` + gate #87 / T-WAD adjacent receipts. | +| `src/v3/compiler/src/complexity_lattice.rs` | **(b)** | Cost/complexity lattice host; couples to cementing + cost lenses — retire with owning `.dag` lens programs. | +| `src/v3/compiler/src/cost_basis_declaration.rs` | **(b)** | Cost basis declaration host; couples to cost-lens / cementing migration. | +| `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/collection_ops_method_contract.rs` | **(b)** | Emit surface; Gap 13 / R2-Grounding + collection-ops identity gates per adjacent census comments. | +| `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_bin_shim.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/enforced_lens_application.rs` | **(b)** | T-Lens-Self-Application enforcement host; ties gate #58 / timing lens program — not isolated drop. | +| `src/v3/compiler/src/gunbc_ci.rs` | **(a)** | Cycle-2 worker dispatch (Director msg_84abadad Track A); retire per `docs/briefs/r3-pb0-non-test-retirement-worker-cycle2.md` + gate #87 / T-WAD adjacent receipts. | +| `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/int_literal_ranges.rs` | **(b)** | Numeric / literal-range host; T-Numeric-Construction adjacent — retire with numeric program. | +| `src/v3/compiler/src/integration_rs_wiring_scan.rs` | **(a)** | Cycle-2 worker dispatch (Director msg_84abadad Track A); retire per `docs/briefs/r3-pb0-non-test-retirement-worker-cycle2.md` + gate #87 / T-WAD adjacent receipts. | +| `src/v3/compiler/src/lens_declaration_apply.rs` | **(a)** | Cycle-2 worker dispatch (Director msg_84abadad Track A); retire per `docs/briefs/r3-pb0-non-test-retirement-worker-cycle2.md` + gate #87 / T-WAD adjacent receipts. | +| `src/v3/compiler/src/lens_t_las_carrier.rs` | **(a)** | Cycle-2 worker dispatch (Director msg_84abadad Track A); retire per `docs/briefs/r3-pb0-non-test-retirement-worker-cycle2.md` + gate #87 / T-WAD adjacent receipts. | +| `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/pb_method_template_projection.rs` | **(b)** | Row-85 method-template read surface; `docs/decisions/r3-row85-method-template-read-surface.md` — PB-zero consumer bundle. | +| `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/r3_gate_87_cementing_regen_runner_suites.rs` | **(a)** | Cycle-2 worker dispatch (Director msg_84abadad Track A); retire per `docs/briefs/r3-pb0-non-test-retirement-worker-cycle2.md` + gate #87 / T-WAD adjacent receipts. | +| `src/v3/compiler/src/regen_bootstrap_emit.rs` | **(b)** | Bootstrap / regen toolchain + P5 atomic migration; substrate owned by Cluster M + `regen_*` briefs — not a single-PR retirement without canvas. | +| `src/v3/compiler/src/regen_parse_emit.rs` | **(b)** | Bootstrap / regen toolchain + P5 atomic migration; substrate owned by Cluster M + `regen_*` briefs — not a single-PR retirement without canvas. | +| `src/v3/compiler/src/regen_parse_tables_emit.rs` | **(b)** | Bootstrap / regen toolchain + P5 atomic migration; substrate owned by Cluster M + `regen_*` briefs — not a single-PR retirement without canvas. | +| `src/v3/compiler/src/regen_tokenize.rs` | **(b)** | Bootstrap / regen toolchain + P5 atomic migration; substrate owned by Cluster M + `regen_*` briefs — not a single-PR retirement without canvas. | +| `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. Changelog + +| Date | Change | +|------|--------| +| 2026-05-13 | Initial taxonomy + Track A six-path dispatch list (Director msg_84abadad). | diff --git a/src/v3/compiler/tests/integration/sg0_census_test.rs b/src/v3/compiler/tests/integration/sg0_census_test.rs index 3cc658acf4c..764fc1f7491 100644 --- a/src/v3/compiler/tests/integration/sg0_census_test.rs +++ b/src/v3/compiler/tests/integration/sg0_census_test.rs @@ -234,6 +234,12 @@ fn emit_production_code_has_no_declaration_by_name_calls() { // receipt-key surface (stable JSON field names for `self_host_fixed_point` trend reads), // not generated output. Dissolution: fold into a `.dag` or generated authority when one // owns receipt schema; until then this module + census line are the bounded ratchet receipt. +// +// PB-0 / Director **msg_84abadad** (2026-05-13): per-path **retirement class** + Track A cycle-2 +// named scope live in `docs/audit/r3-pb0-non-test-retirement-class-taxonomy-2026-05-13.md` +// (substitute visibility for dependency tree; not enforcement — see INVARIANTS). Inline +// `// blocked: …` comments on individual census lines are deferred until taxonomy stabilizes +// across sibling merges. const EXPECTED_HAND_AUTHORED_NON_TEST: &[&str] = &[ // R3 C1 perf-budget bench skeleton: Phase-1 Criterion harness for // `tier3_mirror_dissolution_perf_within_budget` per From c6b30e04f8adcbf14899548b4c2b1232a11524a5 Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Wed, 13 May 2026 19:23:11 -0400 Subject: [PATCH 24/30] =?UTF-8?q?WIP:=20R3=20Debt-Paydown=20Mgr=20?= =?UTF-8?q?=E2=80=94=20lane=20through=20R3=20close?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- ...0-non-test-retirement-class-taxonomy-2026-05-13.md | 11 +++++++---- src/v3/compiler/tests/integration/sg0_census_test.rs | 5 +++-- 2 files changed, 10 insertions(+), 6 deletions(-) diff --git a/docs/audit/r3-pb0-non-test-retirement-class-taxonomy-2026-05-13.md b/docs/audit/r3-pb0-non-test-retirement-class-taxonomy-2026-05-13.md index ee30d29930b..012f0cbf3a6 100644 --- a/docs/audit/r3-pb0-non-test-retirement-class-taxonomy-2026-05-13.md +++ b/docs/audit/r3-pb0-non-test-retirement-class-taxonomy-2026-05-13.md @@ -1,14 +1,16 @@ # 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). +**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:** `gunbc` @ `2b7241362` (`2b7241362a7f`). ## §0. Count discipline vs close-plan narrative -- **Live `EXPECTED_HAND_AUTHORED_NON_TEST` paths:** **55** (this table has one row per path). -- **Live Σ (`NON_TEST` + `TEST` + `FRAGMENTS`):** **179** at this snapshot (`55 + 122 + 2`). -- **Director / operator relay** cited **178** on the **non-test** slice alone; that figure **does not match** the live const at this SHA — operator reconciliation may be on a different HEAD or included auxiliary rows. **This taxonomy tracks the authoritative const at the snapshot SHA**; PM should amend close-plan arithmetic if the gap persists after operator recount. +- **Live `EXPECTED_HAND_AUTHORED_NON_TEST` paths:** **55** (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`:** **177** (`55 + 122`) — matches close-plan Σ narrative **excluding** fragments. +- **Live Σ (`NON_TEST` + `TEST` + `FRAGMENTS`):** **179** (`55 + 122 + 2`). +- **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 @@ -92,3 +94,4 @@ Per Director Track A, the first cycle-2 worker batch **names** these **6** paths | Date | Change | |------|--------| | 2026-05-13 | Initial taxonomy + Track A six-path dispatch list (Director msg_84abadad). | +| 2026-05-13 | §0 count narrative aligned to Director msg_dda96d21 (55 NON_TEST + 122 TEST = 177; Σ 179). | diff --git a/src/v3/compiler/tests/integration/sg0_census_test.rs b/src/v3/compiler/tests/integration/sg0_census_test.rs index 764fc1f7491..3e8a499d628 100644 --- a/src/v3/compiler/tests/integration/sg0_census_test.rs +++ b/src/v3/compiler/tests/integration/sg0_census_test.rs @@ -235,8 +235,9 @@ fn emit_production_code_has_no_declaration_by_name_calls() { // not generated output. Dissolution: fold into a `.dag` or generated authority when one // owns receipt schema; until then this module + census line are the bounded ratchet receipt. // -// PB-0 / Director **msg_84abadad** (2026-05-13): per-path **retirement class** + Track A cycle-2 -// named scope live in `docs/audit/r3-pb0-non-test-retirement-class-taxonomy-2026-05-13.md` +// PB-0 / Director **msg_84abadad** + scope correction **msg_dda96d21** (2026-05-13): **55-entry** +// `NON_TEST` taxonomy + Track A cycle-2 named scope live in +// `docs/audit/r3-pb0-non-test-retirement-class-taxonomy-2026-05-13.md` // (substitute visibility for dependency tree; not enforcement — see INVARIANTS). Inline // `// blocked: …` comments on individual census lines are deferred until taxonomy stabilizes // across sibling merges. From eb9f14bf926afdb39f60c5cba5fcb793fc9bf3f4 Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Wed, 13 May 2026 19:24:41 -0400 Subject: [PATCH 25/30] =?UTF-8?q?WIP:=20R3=20Debt-Paydown=20Mgr=20?= =?UTF-8?q?=E2=80=94=20lane=20through=20R3=20close?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- ...test-retirement-class-taxonomy-2026-05-13.md | 17 ++++++++++++++--- .../tests/integration/sg0_census_test.rs | 2 +- 2 files changed, 15 insertions(+), 4 deletions(-) diff --git a/docs/audit/r3-pb0-non-test-retirement-class-taxonomy-2026-05-13.md b/docs/audit/r3-pb0-non-test-retirement-class-taxonomy-2026-05-13.md index 012f0cbf3a6..dcf0497aa22 100644 --- a/docs/audit/r3-pb0-non-test-retirement-class-taxonomy-2026-05-13.md +++ b/docs/audit/r3-pb0-non-test-retirement-class-taxonomy-2026-05-13.md @@ -14,7 +14,7 @@ ## §1. Classification legend -- **(a) RETIREABLE NOW** — no named structural blocker in §3; 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). +- **(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). @@ -89,9 +89,20 @@ Per Director Track A, the first cycle-2 worker batch **names** these **6** paths | `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. Changelog +## §4. `EXPECTED_HAND_AUTHORED_FRAGMENTS` (T-PB-A / §1.8 gate **#8** companion) + +Same **(a)/(b)/(c)** lens as §3; **2** 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/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):** both rows classify under **(b) named prereq**-shaped blockers (SG / lens-testgen programs), **same debt grammar** as the bulk of the 55-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 | §0 count narrative aligned to Director msg_dda96d21 (55 NON_TEST + 122 TEST = 177; Σ 179). | +| 2026-05-13 | §4: `EXPECTED_HAND_AUTHORED_FRAGMENTS` (2) classified (Director msg_5b04ea2c). | diff --git a/src/v3/compiler/tests/integration/sg0_census_test.rs b/src/v3/compiler/tests/integration/sg0_census_test.rs index 3e8a499d628..bf7f1f23154 100644 --- a/src/v3/compiler/tests/integration/sg0_census_test.rs +++ b/src/v3/compiler/tests/integration/sg0_census_test.rs @@ -236,7 +236,7 @@ fn emit_production_code_has_no_declaration_by_name_calls() { // owns receipt schema; until then this module + census line are the bounded ratchet receipt. // // PB-0 / Director **msg_84abadad** + scope correction **msg_dda96d21** (2026-05-13): **55-entry** -// `NON_TEST` taxonomy + Track A cycle-2 named scope live in +// `NON_TEST` + **2** `FRAGMENTS` taxonomy (§3 + §4) in // `docs/audit/r3-pb0-non-test-retirement-class-taxonomy-2026-05-13.md` // (substitute visibility for dependency tree; not enforcement — see INVARIANTS). Inline // `// blocked: …` comments on individual census lines are deferred until taxonomy stabilizes From d1f4a97c97a4fc58833799fa0194a7391a34c9de Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Wed, 13 May 2026 19:36:44 -0400 Subject: [PATCH 26/30] =?UTF-8?q?WIP:=20R3=20Debt-Paydown=20Mgr=20?= =?UTF-8?q?=E2=80=94=20lane=20through=20R3=20close?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- ...3-pb0-non-test-retirement-worker-cycle3.md | 66 +++++++++++++++++++ ...3-pb0-non-test-retirement-worker-cycle4.md | 66 +++++++++++++++++++ 2 files changed, 132 insertions(+) create mode 100644 docs/briefs/r3-pb0-non-test-retirement-worker-cycle3.md create mode 100644 docs/briefs/r3-pb0-non-test-retirement-worker-cycle4.md diff --git a/docs/briefs/r3-pb0-non-test-retirement-worker-cycle3.md b/docs/briefs/r3-pb0-non-test-retirement-worker-cycle3.md new file mode 100644 index 00000000000..04d9fc38df7 --- /dev/null +++ b/docs/briefs/r3-pb0-non-test-retirement-worker-cycle3.md @@ -0,0 +1,66 @@ +--- +status: "Mgr-authored worker brief (dispatch — PB-0 cycle 3, parallel with cycle 2)" +authority_parent: "R3 Debt-Paydown Mgr (zesty-boar-261)" +authoring_date: 2026-05-13 +director_dispatch: "msg_5d7f3491-889b-4342-bf9f-8a97b8e55431" +program_anchor: "PB-0 cycle 3 — sustained EXPECTED_HAND_AUTHORED_NON_TEST retirement (same bars as cycles 1–2)" +predecessor_brief: "docs/briefs/r3-pb0-non-test-retirement-worker-cycle2.md" +taxonomy_anchor: "docs/audit/r3-pb0-non-test-retirement-class-taxonomy-2026-05-13.md" +--- + +# PB-0 cycle 3 — SG-0 NON_TEST hand-Rust retirement worker brief + +## §0. Dispatch position (named scope) + +**Director:** `msg_5d7f3491-889b-4342-bf9f-8a97b8e55431` — **operator-ratified parallel cycle** with **swift-bee-15** (cycle 2 / PR #3046). **Capacity:** this is **one of three** concurrent PB-0 retirement cycles until a cycle merges and frees headroom. + +**Relationship to cycles 1–2:** Identical **acceptance geometry** and **retirement source priority** as [`r3-pb0-non-test-retirement-worker.md`](r3-pb0-non-test-retirement-worker.md) and [`r3-pb0-non-test-retirement-worker-cycle2.md`](r3-pb0-non-test-retirement-worker-cycle2.md). Cycle 3 is another **merged-PR slice** of the same standing program. + +**Classification trail:** Prefer taxonomy **(a)** rows where available; this batch leads with the two remaining taxonomy **(a)** rows not assigned to cycle 2, then adds **narrow receipt / scaffold** hosts from the live census comments (same dissolution discipline as cycle 2 — **P5 / same-PR receipts** per `INVARIANTS.md` Dispatch-Discipline **(b)**). + +### §0.1 Named `EXPECTED_HAND_AUTHORED_NON_TEST` paths (this worker only) + +**Disjoint from cycle-2’s six paths** (`integration_rs_wiring_scan.rs`, `cementing_dispatch.rs`, `r3_gate_87_cementing_regen_runner_suites.rs`, `gunbc_ci.rs`, `lens_declaration_apply.rs`, `lens_t_las_carrier.rs`). Retire **these eight** paths in **this** PR (or fewer only if P5 forces a split — then PR body **(i–iii)** + bound follow-up): + +| # | Path | +|---|------| +| 1 | `src/v3/compiler/src/r3_fc_lane2_loop_witness.rs` | +| 2 | `src/v3/compiler/src/wall_clock_ratchet_manifest.rs` | +| 3 | `src/v3/compiler/src/memory_peak_cost.rs` | +| 4 | `src/v3/compiler/src/omni_shape_b_openapi.rs` | +| 5 | `src/v3/compiler/src/process_exit.rs` | +| 6 | `src/v3/compiler/src/self_host_receipt_p0.rs` | +| 7 | `src/v3/compiler/src/r1c_e_gates.rs` | +| 8 | `src/v3/compiler/src/emit_rust_roundtrip_fixtures.rs` | + +**Live census anchor:** `src/v3/compiler/tests/integration/sg0_census_test.rs` — grep for `const EXPECTED_HAND_AUTHORED_NON_TEST`. + +--- + +**Dispatch.** Same **Dispatch** paragraph as cycle 2 brief (cadence **5–10** when **`before ≥ 5`**, tail bar, P5 **(i–iii)** split, `feedback_ratchet_only_down`). **This brief additionally pins** the eight paths in §0.1 as the **visible dependency tree** for operator accountability. + +**Closure alignment.** Same as cycle 2 — §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 (classification; rows **(b)** in the table still require **named receipts** — do not orphan-drop). +- [`ROADMAP.md`](../../ROADMAP.md) T-PB-A row. +- [`INVARIANTS.md`](../../INVARIANTS.md) Dispatch-Discipline **(b)**. +- [`TESTING.md`](../../TESTING.md) gate **#87** context (distinguish transient cementing wiring vs authority retirement). + +## Retirement source priority (Director-ordered) + +Same ordered list as [`r3-pb0-non-test-retirement-worker-cycle2.md`](r3-pb0-non-test-retirement-worker-cycle2.md) §“Retirement source priority”. **Cycle-3 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 [`r3-pb0-non-test-retirement-worker-cycle2.md`](r3-pb0-non-test-retirement-worker-cycle2.md) §“Per-PR acceptance checklist”. + +## STOP / escalate + +Same as cycle 2 brief §“STOP / escalate”. + +## Deliverable + +One squash-ready PR: retire the §0.1 paths (count proof vs **all** `NON_TEST` lines, not only this batch), tests green, SG-0 discipline satisfied, each removed path paired with a **one-line dissolution receipt** in the PR body. diff --git a/docs/briefs/r3-pb0-non-test-retirement-worker-cycle4.md b/docs/briefs/r3-pb0-non-test-retirement-worker-cycle4.md new file mode 100644 index 00000000000..e00aa8465ff --- /dev/null +++ b/docs/briefs/r3-pb0-non-test-retirement-worker-cycle4.md @@ -0,0 +1,66 @@ +--- +status: "Mgr-authored worker brief (dispatch — PB-0 cycle 4, parallel with cycle 2)" +authority_parent: "R3 Debt-Paydown Mgr (zesty-boar-261)" +authoring_date: 2026-05-13 +director_dispatch: "msg_5d7f3491-889b-4342-bf9f-8a97b8e55431" +program_anchor: "PB-0 cycle 4 — sustained EXPECTED_HAND_AUTHORED_NON_TEST retirement (same bars as cycles 1–2)" +predecessor_brief: "docs/briefs/r3-pb0-non-test-retirement-worker-cycle2.md" +taxonomy_anchor: "docs/audit/r3-pb0-non-test-retirement-class-taxonomy-2026-05-13.md" +--- + +# PB-0 cycle 4 — SG-0 NON_TEST hand-Rust retirement worker brief + +## §0. Dispatch position (named scope) + +**Director:** `msg_5d7f3491-889b-4342-bf9f-8a97b8e55431` — **operator-ratified parallel cycle** with **swift-bee-15** (cycle 2 / PR #3046) and **cycle 3** (separate work item). **Capacity:** this is **one of three** concurrent PB-0 retirement cycles until a cycle merges and frees headroom. + +**Relationship to cycles 1–2:** Identical **acceptance geometry** and **retirement source priority** as [`r3-pb0-non-test-retirement-worker.md`](r3-pb0-non-test-retirement-worker.md) and [`r3-pb0-non-test-retirement-worker-cycle2.md`](r3-pb0-non-test-retirement-worker-cycle2.md). + +**Classification trail:** Taxonomy rows for several of these paths are **(b)** today — **named prereq / substrate bundles** in §3; this dispatch still **names** them for operator visibility. Workers **STOP** rather than orphan-drop if a path cannot lawfully retire in one PR under P5; use PR-body **(i–iii)** for a **largest strict subset** + bound follow-up when needed. + +### §0.1 Named `EXPECTED_HAND_AUTHORED_NON_TEST` paths (this worker only) + +**Disjoint from cycle-2’s six paths** and **disjoint from cycle-3’s eight paths** in [`r3-pb0-non-test-retirement-worker-cycle3.md`](r3-pb0-non-test-retirement-worker-cycle3.md) §0.1. Target **these seven** paths in **this** PR (subset landing only with **(i–iii)** if P5 blocks one-shot removal): + +| # | Path | +|---|------| +| 1 | `src/v3/compiler/src/complexity_lattice.rs` | +| 2 | `src/v3/compiler/src/cost_basis_declaration.rs` | +| 3 | `src/v3/compiler/src/enforced_lens_application.rs` | +| 4 | `src/v3/compiler/src/int_literal_ranges.rs` | +| 5 | `src/v3/compiler/src/pb_method_template_projection.rs` | +| 6 | `src/v3/compiler/src/emit/collection_ops_method_contract.rs` | +| 7 | `src/v3/compiler/src/emit_rust_bin_shim.rs` | + +**Live census anchor:** `src/v3/compiler/tests/integration/sg0_census_test.rs` — grep for `const EXPECTED_HAND_AUTHORED_NON_TEST`. + +--- + +**Dispatch.** Same **Dispatch** paragraph as cycle 2 brief (cadence **5–10** when **`before ≥ 5`**, tail bar, P5 **(i–iii)** split, `feedback_ratchet_only_down`). **This brief additionally pins** the seven paths in §0.1 as the **visible dependency tree** for operator accountability. + +**Closure alignment.** Same as cycle 2 — §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/decisions/r3-row85-method-template-read-surface.md`](../decisions/r3-row85-method-template-read-surface.md) — **pb_method_template_projection** authority context. +- [`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 [`r3-pb0-non-test-retirement-worker-cycle2.md`](r3-pb0-non-test-retirement-worker-cycle2.md) §“Retirement source priority”. **Cycle-4 scope** is pre-filtered to §0.1. + +## Per-PR acceptance checklist + +Same checklist as [`r3-pb0-non-test-retirement-worker-cycle2.md`](r3-pb0-non-test-retirement-worker-cycle2.md) §“Per-PR acceptance checklist”. + +## STOP / escalate + +Same as cycle 2 brief §“STOP / escalate”. + +## Deliverable + +One squash-ready PR: retire the §0.1 paths (count proof vs **all** `NON_TEST` lines), tests green, SG-0 discipline satisfied, each removed path paired with a **one-line dissolution receipt** in the PR body. From fb30c9c7ae09fd443bf121ba72d53a017f1a7118 Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Wed, 13 May 2026 23:46:55 +0000 Subject: [PATCH 27/30] =?UTF-8?q?docs(audit):=20taxonomy=20=C2=A71.1=20anc?= =?UTF-8?q?hors=20for=20bootstrap/regen=20(b)=20cluster?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Addresses api-review observation: repeated Cluster M + regen_* prose replaced by one canonical brief/program anchor block + §1.1 row refs. Co-authored-by: Cursor --- ...st-retirement-class-taxonomy-2026-05-13.md | 55 +++++++++++++------ 1 file changed, 39 insertions(+), 16 deletions(-) diff --git a/docs/audit/r3-pb0-non-test-retirement-class-taxonomy-2026-05-13.md b/docs/audit/r3-pb0-non-test-retirement-class-taxonomy-2026-05-13.md index dcf0497aa22..d201530ca8f 100644 --- a/docs/audit/r3-pb0-non-test-retirement-class-taxonomy-2026-05-13.md +++ b/docs/audit/r3-pb0-non-test-retirement-class-taxonomy-2026-05-13.md @@ -18,6 +18,29 @@ - **(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 (immediate dispatch) Per Director Track A, the first cycle-2 worker batch **names** these **6** paths (also marked **(a)** in §3): @@ -34,18 +57,18 @@ Per Director Track A, the first cycle-2 worker batch **names** these **6** paths | 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)** | Bootstrap / regen toolchain + P5 atomic migration; substrate owned by Cluster M + `regen_*` briefs — not a single-PR retirement without canvas. | -| `src/v3/compiler/src/bin/gunbc_ci.rs` | **(b)** | Bootstrap / regen toolchain + P5 atomic migration; substrate owned by Cluster M + `regen_*` briefs — not a single-PR retirement without canvas. | -| `src/v3/compiler/src/bin/r1c_e_emit_gates.rs` | **(b)** | Bootstrap / regen toolchain + P5 atomic migration; substrate owned by Cluster M + `regen_*` briefs — not a single-PR retirement without canvas. | -| `src/v3/compiler/src/bin/regen_bootstrap.rs` | **(b)** | Bootstrap / regen toolchain + P5 atomic migration; substrate owned by Cluster M + `regen_*` briefs — not a single-PR retirement without canvas. | -| `src/v3/compiler/src/bin/regen_lens.rs` | **(b)** | Bootstrap / regen toolchain + P5 atomic migration; substrate owned by Cluster M + `regen_*` briefs — not a single-PR retirement without canvas. | -| `src/v3/compiler/src/bin/regen_parse.rs` | **(b)** | Bootstrap / regen toolchain + P5 atomic migration; substrate owned by Cluster M + `regen_*` briefs — not a single-PR retirement without canvas. | -| `src/v3/compiler/src/bin/regen_parse_tables.rs` | **(b)** | Bootstrap / regen toolchain + P5 atomic migration; substrate owned by Cluster M + `regen_*` briefs — not a single-PR retirement without canvas. | -| `src/v3/compiler/src/bin/regen_tokenize.rs` | **(b)** | Bootstrap / regen toolchain + P5 atomic migration; substrate owned by Cluster M + `regen_*` briefs — not a single-PR retirement without canvas. | -| `src/v3/compiler/src/bin/regen_v3.rs` | **(b)** | Bootstrap / regen toolchain + P5 atomic migration; substrate owned by Cluster M + `regen_*` briefs — not a single-PR retirement without canvas. | -| `src/v3/compiler/src/bin/self_host_fixed_point.rs` | **(b)** | Bootstrap / regen toolchain + P5 atomic migration; substrate owned by Cluster M + `regen_*` briefs — not a single-PR retirement without canvas. | -| `src/v3/compiler/src/bootstrap.rs` | **(b)** | Bootstrap / regen toolchain + P5 atomic migration; substrate owned by Cluster M + `regen_*` briefs — not a single-PR retirement without canvas. | -| `src/v3/compiler/src/bootstrap_regen_fresh.rs` | **(b)** | Bootstrap / regen toolchain + P5 atomic migration; substrate owned by Cluster M + `regen_*` briefs — not a single-PR retirement without canvas. | +| `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)** | Cycle-2 worker dispatch (Director msg_84abadad Track A); retire per `docs/briefs/r3-pb0-non-test-retirement-worker-cycle2.md` + gate #87 / T-WAD adjacent receipts. | | `src/v3/compiler/src/complexity_lattice.rs` | **(b)** | Cost/complexity lattice host; couples to cementing + cost lenses — retire with owning `.dag` lens programs. | | `src/v3/compiler/src/cost_basis_declaration.rs` | **(b)** | Cost basis declaration host; couples to cost-lens / cementing migration. | @@ -81,10 +104,10 @@ Per Director Track A, the first cycle-2 worker batch **names** these **6** paths | `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/r3_gate_87_cementing_regen_runner_suites.rs` | **(a)** | Cycle-2 worker dispatch (Director msg_84abadad Track A); retire per `docs/briefs/r3-pb0-non-test-retirement-worker-cycle2.md` + gate #87 / T-WAD adjacent receipts. | -| `src/v3/compiler/src/regen_bootstrap_emit.rs` | **(b)** | Bootstrap / regen toolchain + P5 atomic migration; substrate owned by Cluster M + `regen_*` briefs — not a single-PR retirement without canvas. | -| `src/v3/compiler/src/regen_parse_emit.rs` | **(b)** | Bootstrap / regen toolchain + P5 atomic migration; substrate owned by Cluster M + `regen_*` briefs — not a single-PR retirement without canvas. | -| `src/v3/compiler/src/regen_parse_tables_emit.rs` | **(b)** | Bootstrap / regen toolchain + P5 atomic migration; substrate owned by Cluster M + `regen_*` briefs — not a single-PR retirement without canvas. | -| `src/v3/compiler/src/regen_tokenize.rs` | **(b)** | Bootstrap / regen toolchain + P5 atomic migration; substrate owned by Cluster M + `regen_*` briefs — not a single-PR retirement without canvas. | +| `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)). | From 391d76d5b0760b2f8367dbf3781e3acbb5409436 Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Wed, 13 May 2026 20:23:12 -0400 Subject: [PATCH 28/30] =?UTF-8?q?WIP:=20R3=20Debt-Paydown=20Mgr=20?= =?UTF-8?q?=E2=80=94=20lane=20through=20R3=20close?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- ...st-retirement-class-taxonomy-2026-05-13.md | 32 +++++++------------ .../tests/integration/sg0_census_test.rs | 4 +-- 2 files changed, 13 insertions(+), 23 deletions(-) diff --git a/docs/audit/r3-pb0-non-test-retirement-class-taxonomy-2026-05-13.md b/docs/audit/r3-pb0-non-test-retirement-class-taxonomy-2026-05-13.md index d201530ca8f..77c77f9cc0e 100644 --- a/docs/audit/r3-pb0-non-test-retirement-class-taxonomy-2026-05-13.md +++ b/docs/audit/r3-pb0-non-test-retirement-class-taxonomy-2026-05-13.md @@ -2,14 +2,14 @@ **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:** `gunbc` @ `2b7241362` (`2b7241362a7f`). +**Snapshot:** post–**PR #3046** (`main` @ merge **2026-05-14**); counts from per-const `awk` windows on `sg0_census_test.rs` at this branch tip. ## §0. Count discipline vs close-plan narrative -- **Live `EXPECTED_HAND_AUTHORED_NON_TEST` paths:** **55** (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_NON_TEST` paths:** **50** (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`:** **177** (`55 + 122`) — matches close-plan Σ narrative **excluding** fragments. -- **Live Σ (`NON_TEST` + `TEST` + `FRAGMENTS`):** **179** (`55 + 122 + 2`). +- **Combined `NON_TEST` + `TEST`:** **172** (`50 + 122`) — matches close-plan Σ narrative **excluding** fragments. +- **Live Σ (`NON_TEST` + `TEST` + `FRAGMENTS`):** **175** (`50 + 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 @@ -41,16 +41,9 @@ Several §3 rows share the same **substrate class**: `build.rs`, `src/.../bin/re 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 (immediate dispatch) +## §2. Track A — Cycle-2 named scope (**landed** PR #3046) -Per Director Track A, the first cycle-2 worker batch **names** these **6** paths (also marked **(a)** in §3): - -- `src/v3/compiler/src/cementing_dispatch.rs` -- `src/v3/compiler/src/gunbc_ci.rs` -- `src/v3/compiler/src/integration_rs_wiring_scan.rs` -- `src/v3/compiler/src/lens_declaration_apply.rs` -- `src/v3/compiler/src/lens_t_las_carrier.rs` -- `src/v3/compiler/src/r3_gate_87_cementing_regen_runner_suites.rs` +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. ## §3. Per-path taxonomy (all `NON_TEST` rows) @@ -69,7 +62,7 @@ Per Director Track A, the first cycle-2 worker batch **names** these **6** paths | `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)** | Cycle-2 worker dispatch (Director msg_84abadad Track A); retire per `docs/briefs/r3-pb0-non-test-retirement-worker-cycle2.md` + gate #87 / T-WAD adjacent receipts. | +| `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/complexity_lattice.rs` | **(b)** | Cost/complexity lattice host; couples to cementing + cost lenses — retire with owning `.dag` lens programs. | | `src/v3/compiler/src/cost_basis_declaration.rs` | **(b)** | Cost basis declaration host; couples to cost-lens / cementing migration. | | `src/v3/compiler/src/dag.rs` | **(b)** | Core compiler host; dissolution bundles multiple §1.8 / substrate gates — needs sequenced program, not opportunistic census drop. | @@ -87,12 +80,8 @@ Per Director Track A, the first cycle-2 worker batch **names** these **6** paths | `src/v3/compiler/src/emit_rust_bin_shim.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/enforced_lens_application.rs` | **(b)** | T-Lens-Self-Application enforcement host; ties gate #58 / timing lens program — not isolated drop. | -| `src/v3/compiler/src/gunbc_ci.rs` | **(a)** | Cycle-2 worker dispatch (Director msg_84abadad Track A); retire per `docs/briefs/r3-pb0-non-test-retirement-worker-cycle2.md` + gate #87 / T-WAD adjacent receipts. | | `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/int_literal_ranges.rs` | **(b)** | Numeric / literal-range host; T-Numeric-Construction adjacent — retire with numeric program. | -| `src/v3/compiler/src/integration_rs_wiring_scan.rs` | **(a)** | Cycle-2 worker dispatch (Director msg_84abadad Track A); retire per `docs/briefs/r3-pb0-non-test-retirement-worker-cycle2.md` + gate #87 / T-WAD adjacent receipts. | -| `src/v3/compiler/src/lens_declaration_apply.rs` | **(a)** | Cycle-2 worker dispatch (Director msg_84abadad Track A); retire per `docs/briefs/r3-pb0-non-test-retirement-worker-cycle2.md` + gate #87 / T-WAD adjacent receipts. | -| `src/v3/compiler/src/lens_t_las_carrier.rs` | **(a)** | Cycle-2 worker dispatch (Director msg_84abadad Track A); retire per `docs/briefs/r3-pb0-non-test-retirement-worker-cycle2.md` + gate #87 / T-WAD adjacent receipts. | | `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. | @@ -103,7 +92,6 @@ Per Director Track A, the first cycle-2 worker batch **names** these **6** paths | `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/r3_gate_87_cementing_regen_runner_suites.rs` | **(a)** | Cycle-2 worker dispatch (Director msg_84abadad Track A); retire per `docs/briefs/r3-pb0-non-test-retirement-worker-cycle2.md` + gate #87 / T-WAD adjacent receipts. | | `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). | @@ -114,14 +102,15 @@ Per Director Track A, the first cycle-2 worker batch **names** these **6** paths ## §4. `EXPECTED_HAND_AUTHORED_FRAGMENTS` (T-PB-A / §1.8 gate **#8** companion) -Same **(a)/(b)/(c)** lens as §3; **2** 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. +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):** both rows classify under **(b) named prereq**-shaped blockers (SG / lens-testgen programs), **same debt grammar** as the bulk of the 55-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. +**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 50-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 @@ -129,3 +118,4 @@ Same **(a)/(b)/(c)** lens as §3; **2** rows at this snapshot (`awk` window on ` |------|--------| | 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. | diff --git a/src/v3/compiler/tests/integration/sg0_census_test.rs b/src/v3/compiler/tests/integration/sg0_census_test.rs index 454829816bf..3d61ef9bed8 100644 --- a/src/v3/compiler/tests/integration/sg0_census_test.rs +++ b/src/v3/compiler/tests/integration/sg0_census_test.rs @@ -235,8 +235,8 @@ fn emit_production_code_has_no_declaration_by_name_calls() { // not generated output. Dissolution: fold into a `.dag` or generated authority when one // owns receipt schema; until then this module + census line are the bounded ratchet receipt. // -// PB-0 / Director **msg_84abadad** + scope correction **msg_dda96d21** (2026-05-13): **55-entry** -// `NON_TEST` + **2** `FRAGMENTS` taxonomy (§3 + §4) in +// PB-0 / Director **msg_84abadad** + scope correction **msg_dda96d21** (2026-05-13): **50-entry** +// `NON_TEST` + **3** `FRAGMENTS` taxonomy (§3 + §4) in // `docs/audit/r3-pb0-non-test-retirement-class-taxonomy-2026-05-13.md` // (substitute visibility for dependency tree; not enforcement — see INVARIANTS). Inline // `// blocked: …` comments on individual census lines are deferred until taxonomy stabilizes From 7c11c5ff7f8136e96e300a44b1b1c921a9249214 Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Wed, 13 May 2026 21:12:51 -0400 Subject: [PATCH 29/30] =?UTF-8?q?WIP:=20R3=20Debt-Paydown=20Mgr=20?= =?UTF-8?q?=E2=80=94=20lane=20through=20R3=20close?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- ...0-non-test-retirement-class-taxonomy-2026-05-13.md | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/docs/audit/r3-pb0-non-test-retirement-class-taxonomy-2026-05-13.md b/docs/audit/r3-pb0-non-test-retirement-class-taxonomy-2026-05-13.md index 77c77f9cc0e..562626c5117 100644 --- a/docs/audit/r3-pb0-non-test-retirement-class-taxonomy-2026-05-13.md +++ b/docs/audit/r3-pb0-non-test-retirement-class-taxonomy-2026-05-13.md @@ -2,14 +2,14 @@ **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:** post–**PR #3046** (`main` @ merge **2026-05-14**); counts from per-const `awk` windows on `sg0_census_test.rs` at this branch tip. +**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:** **50** (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_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`:** **172** (`50 + 122`) — matches close-plan Σ narrative **excluding** fragments. -- **Live Σ (`NON_TEST` + `TEST` + `FRAGMENTS`):** **175** (`50 + 122 + 3`). +- **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 @@ -110,7 +110,7 @@ Same **(a)/(b)/(c)** lens as §3; **3** rows at this snapshot (`awk` window on ` | `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 50-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. +**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 @@ -119,3 +119,4 @@ Same **(a)/(b)/(c)** lens as §3; **3** rows at this snapshot (`awk` window on ` | 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). | From 0a317b55488117bc6dd89621a17aba5d9848c5e9 Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Thu, 14 May 2026 01:13:44 +0000 Subject: [PATCH 30/30] docs(pb0): reconcile taxonomy + cycle-4 brief with live NON_TEST=43 post-#3048 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit - §0 counts and Σ (165 / 168) match per-const awk windows on main - §3 table: 43 rows in census order; drop paths retired in PR #3048 - §2 + changelog: record #3048 landing; note pb_method_template_projection_generated - cycle-4 brief: §0.1 historical landed scope (no stale dispatch targets) - sg0 pointer comment: 43-entry NON_TEST + 3 FRAGMENTS Fixes cursor review 11553 (stale 50-row headline + phantom §3 rows). Co-authored-by: Cursor --- ...-non-test-retirement-class-taxonomy-2026-05-13.md | 11 ++++------- .../r3-pb0-non-test-retirement-worker-cycle4.md | 12 ++++++------ src/v3/compiler/tests/integration/sg0_census_test.rs | 2 +- 3 files changed, 11 insertions(+), 14 deletions(-) diff --git a/docs/audit/r3-pb0-non-test-retirement-class-taxonomy-2026-05-13.md b/docs/audit/r3-pb0-non-test-retirement-class-taxonomy-2026-05-13.md index 562626c5117..3bfd4f61483 100644 --- a/docs/audit/r3-pb0-non-test-retirement-class-taxonomy-2026-05-13.md +++ b/docs/audit/r3-pb0-non-test-retirement-class-taxonomy-2026-05-13.md @@ -45,8 +45,12 @@ In §3, rows that reference **§1.1** inherit this anchor set instead of repeati 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`. | @@ -63,8 +67,6 @@ Director **msg_84abadad** Track A named **six** surfaces; **PR #3046** (swift-be | `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/complexity_lattice.rs` | **(b)** | Cost/complexity lattice host; couples to cementing + cost lenses — retire with owning `.dag` lens programs. | -| `src/v3/compiler/src/cost_basis_declaration.rs` | **(b)** | Cost basis declaration host; couples to cost-lens / cementing migration. | | `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. | @@ -73,20 +75,15 @@ Director **msg_84abadad** Track A named **six** surfaces; **PR #3046** (swift-be | `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/collection_ops_method_contract.rs` | **(b)** | Emit surface; Gap 13 / R2-Grounding + collection-ops identity gates per adjacent census comments. | | `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_bin_shim.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/enforced_lens_application.rs` | **(b)** | T-Lens-Self-Application enforcement host; ties gate #58 / timing lens program — not isolated drop. | | `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/int_literal_ranges.rs` | **(b)** | Numeric / literal-range host; T-Numeric-Construction adjacent — retire with numeric program. | | `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/pb_method_template_projection.rs` | **(b)** | Row-85 method-template read surface; `docs/decisions/r3-row85-method-template-read-surface.md` — PB-zero consumer bundle. | | `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. | diff --git a/docs/briefs/r3-pb0-non-test-retirement-worker-cycle4.md b/docs/briefs/r3-pb0-non-test-retirement-worker-cycle4.md index e00aa8465ff..a3a6b575aab 100644 --- a/docs/briefs/r3-pb0-non-test-retirement-worker-cycle4.md +++ b/docs/briefs/r3-pb0-non-test-retirement-worker-cycle4.md @@ -1,5 +1,5 @@ --- -status: "Mgr-authored worker brief (dispatch — PB-0 cycle 4, parallel with cycle 2)" +status: "Mgr-authored worker brief (dispatch — PB-0 cycle 4; **landed** PR #3048)" authority_parent: "R3 Debt-Paydown Mgr (zesty-boar-261)" authoring_date: 2026-05-13 director_dispatch: "msg_5d7f3491-889b-4342-bf9f-8a97b8e55431" @@ -18,12 +18,12 @@ taxonomy_anchor: "docs/audit/r3-pb0-non-test-retirement-class-taxonomy-2026-05-1 **Classification trail:** Taxonomy rows for several of these paths are **(b)** today — **named prereq / substrate bundles** in §3; this dispatch still **names** them for operator visibility. Workers **STOP** rather than orphan-drop if a path cannot lawfully retire in one PR under P5; use PR-body **(i–iii)** for a **largest strict subset** + bound follow-up when needed. -### §0.1 Named `EXPECTED_HAND_AUTHORED_NON_TEST` paths (this worker only) +### §0.1 Named scope (**landed** — PR #3048) -**Disjoint from cycle-2’s six paths** and **disjoint from cycle-3’s eight paths** in [`r3-pb0-non-test-retirement-worker-cycle3.md`](r3-pb0-non-test-retirement-worker-cycle3.md) §0.1. Target **these seven** paths in **this** PR (subset landing only with **(i–iii)** if P5 blocks one-shot removal): +**Bright-seal-412** merged **PR #3048** (2026-05-14). The **seven** paths below were the **dispatch-time** `NON_TEST` retirement targets (disjoint from cycle-2 + cycle-3 batches); they **no longer appear** in `EXPECTED_HAND_AUTHORED_NON_TEST` on `main`. Row-85 projection for method templates is now **`pb_method_template_projection_generated.rs`** (generated / `REGEN_OUTPUTS`); do **not** resurrect the deleted hand file name as a census path. -| # | Path | -|---|------| +| # | Path (historical) | +|---|-------------------| | 1 | `src/v3/compiler/src/complexity_lattice.rs` | | 2 | `src/v3/compiler/src/cost_basis_declaration.rs` | | 3 | `src/v3/compiler/src/enforced_lens_application.rs` | @@ -32,7 +32,7 @@ taxonomy_anchor: "docs/audit/r3-pb0-non-test-retirement-class-taxonomy-2026-05-1 | 6 | `src/v3/compiler/src/emit/collection_ops_method_contract.rs` | | 7 | `src/v3/compiler/src/emit_rust_bin_shim.rs` | -**Live census anchor:** `src/v3/compiler/tests/integration/sg0_census_test.rs` — grep for `const EXPECTED_HAND_AUTHORED_NON_TEST`. +**Live census anchor:** `src/v3/compiler/tests/integration/sg0_census_test.rs` — grep for `const EXPECTED_HAND_AUTHORED_NON_TEST` (taxonomy §3 stays row-aligned with the **live** slice). --- diff --git a/src/v3/compiler/tests/integration/sg0_census_test.rs b/src/v3/compiler/tests/integration/sg0_census_test.rs index 0f90bce3fe3..8db31527c3a 100644 --- a/src/v3/compiler/tests/integration/sg0_census_test.rs +++ b/src/v3/compiler/tests/integration/sg0_census_test.rs @@ -235,7 +235,7 @@ fn emit_production_code_has_no_declaration_by_name_calls() { // not generated output. Dissolution: fold into a `.dag` or generated authority when one // owns receipt schema; until then this module + census line are the bounded ratchet receipt. // -// PB-0 / Director **msg_84abadad** + scope correction **msg_dda96d21** (2026-05-13): **50-entry** +// PB-0 / Director **msg_84abadad** + scope correction **msg_dda96d21** (2026-05-13): **43-entry** // `NON_TEST` + **3** `FRAGMENTS` taxonomy (§3 + §4) in // `docs/audit/r3-pb0-non-test-retirement-class-taxonomy-2026-05-13.md` // (substitute visibility for dependency tree; not enforcement — see INVARIANTS). Inline