briansrls · May 11, 2026 · briansrls · May 11, 2026
diff --git a/docs/r3-program-plan.md b/docs/r3-program-plan.md
@@ -141,7 +141,7 @@ Per openai-pro meta-review on PR #1808 sha `cf249389` ([#issuecomment-4384405832
 
 **INVARIANTS §P2 vs this taxonomy:** Where a gate’s Pass condition is **substrate boundary discipline** (“landed” only when declaration + realization + **generated** consumer proof exist; INVARIANTS §P2), **CONSUMER_LANDED** in this ledger means that **generated** bar — a hand-written integration ratchet alone ratchets **DECLARED** substrate progress without claiming §P2 landed (see §1.8 **#17**).
 
-**Status at HEAD**: per §1.8 canonical ledger Status column — most gates are **DECLARED**; `pb_self_compile_fixed_point` is a canonical CONSUMER_LANDED exemplar (R1 horizon Pass = current `verification.dag` + `test_runner` evaluation). **`method_template_projection_emit_shim_retirement_coherence` (§1.8 #97)**, **`omni_layers_share_one_node_tree` (§1.8 #28)**, and **`anthropic_wire_typed_serde_alignment` (§1.8 #29)** are **CONSUMER_LANDED + PASSING** via the integration tests / ratchets cited in the §1.8 ledger rows. **`numeric_abstract_carriers_landed` (§1.8 #17)** is **DECLARED** — carriers + lowering + hand-written ratchet are landed; **CONSUMER_LANDED** (§P2 sense: generated consumer proof) is **not** claimed until that generator exists. `tier3_*_mirror_dissolved` gates remain **DECLARED** at HEAD (T-Tier3-Dissolution lane work in flight per §3 lane status; consumer count / mirror-symbol count test not yet authored). Per-gate status updates flow through §1.8 ledger as Mgrs land consumer infrastructure per their lane scope; all 16 NEW gates added 2026-05-06 in PR #1808 are DECLARED-only.
+**Status at HEAD**: per §1.8 canonical ledger Status column — most gates are **DECLARED**; `pb_self_compile_fixed_point` is a canonical CONSUMER_LANDED exemplar (R1 horizon Pass = current `verification.dag` + `test_runner` evaluation). **`method_template_projection_emit_shim_retirement_coherence` (§1.8 #97)**, **`omni_layers_share_one_node_tree` (§1.8 #28)**, and **`anthropic_wire_typed_serde_alignment` (§1.8 #29)** are **CONSUMER_LANDED + PASSING** via the integration tests / ratchets cited in the §1.8 ledger rows. **`numeric_abstract_carriers_landed` (§1.8 #17)** is **DECLARED** — carriers + lowering + hand-written ratchet are landed; **CONSUMER_LANDED** (§P2 sense: generated consumer proof) is **not** claimed until that generator exists. **`numeric_inherited_bake_ins_dissolved` (§1.8 #20)** is **CONSUMER_LANDED + PASSING** per §1.8 row #20 (`m2_substrate_inhabitance_test.rs` fail-closed structural receipt over `dsl/std/types.dag`). `tier3_*_mirror_dissolved` gates remain **DECLARED** at HEAD (T-Tier3-Dissolution lane work in flight per §3 lane status; consumer count / mirror-symbol count test not yet authored). Per-gate status updates flow through §1.8 ledger as Mgrs land consumer infrastructure per their lane scope; all 16 NEW gates added 2026-05-06 in PR #1808 are DECLARED-only.
 
 **R3 close criteria implies CONSUMER_LANDED for all R3-load-bearing §1.8 gates** (97 enumerated **minus** **#11** canvas-deferred per Director (a)-disposition 2026-05-09 = **96 R3-load-bearing**; #81/#82/#95 carve-promoted-IN-R3 per Director ratification 2026-05-09 c#4412330468 — see §1.5 above): declarations alone don't satisfy `r3_debt_paydown_zero_remaining` or the substrate-gap-class closures or the demonstration principle. Per Brian directive `feedback_no_textual_enforcement_bridges` + Director poke-hole 2026-05-06 finding 1.1 (demo-gate minimum bar) — closure requires runtime-executable verification, not document-level claims.
 
@@ -243,7 +243,7 @@ This principle is NOT a separate lane; it's a per-lane gate-shape requirement ap
 | 17 | `numeric_abstract_carriers_landed` | substrate-shape | T-Numeric-Construction | DECLARED | Magnitude (`dsl/std/magnitude.dag`) → Nat (`dsl/std/nat.dag`) → Int (`dsl/std/integer.dag`) → **`Rational = Field<FieldOfFractions<Int>>`** (`dsl/std/rational.dag`) → **`Real = ApproximateField<FieldOfFractions<Int>>`** (`dsl/std/float.dag`; STOP Option A — **not** `ApproximateField<Rational>`). Authority: [`docs/design-numeric-construction.md`](design-numeric-construction.md) + [`docs/r3-structure.md`](r3-structure.md) §T-Numeric-Construction. Hand-written integration ratchet: `real_default_alias_resolves_to_approximate_field_over_field_of_fractions_of_int`. **CONSUMER_LANDED** not claimed: INVARIANTS §P2 requires a **generated** consumer of the declared surface (see §1.7). |
 | 18 | `numeric_width_refinements_landed` | substrate-shape | T-Numeric-Construction | **CONSUMER_LANDED + PASSING for Grounding G2 primitive rows** (2026-05-10, PR #2570 squash `b96a51a2`). Producer-side substrate: Int<N> arm via `IntW32/64/128 = Compose<Int, MachineWidth<WordN>>` at `dsl/std/integer.dag:93-95` (PR #2161); Nat<N> arm via `UIntW32/64/128` at `dsl/std/integer.dag:96-98` + `UInt = Nat` axiom at `dsl/std/integer.dag:148`; Float/Real arm via `Float32/Float64 = Compose<Ieee754Float, MachineWidth<Word32|Word64>>` and `Real = ApproximateField<FieldOfFractions<Int>>` in `dsl/std/float.dag`. Consumer evidence: Rust `f32`/`f64` rows in `dsl/extdeps/languages/rust/primitives.dag`, `grounding_pilot` mirror routing, and `grounding_engine` full-list validation over loaded `rust_pilot_primitives`. | `Int<N>` / `Nat<N>` / `Real<N>` width-refinement surface has Grounding G2 primitive-row consumer evidence; broader Real<N> emission demonstrations remain under S9/Shape-A follow-ons. |
 | 19 | `numeric_aliases_align_to_refinements` | substrate-shape | T-Numeric-Construction | DECLARED | Int8/.../Int128 as refinements |
-| 20 | `numeric_inherited_bake_ins_dissolved` | substrate-shape | T-Numeric-Construction | DECLARED | Char/EpochMs/Duration consume abstract Int |
+| 20 | `numeric_inherited_bake_ins_dissolved` | substrate-shape | T-Numeric-Construction | **CONSUMER_LANDED + PASSING** | Producer: `Char` / `EpochMs` / `Duration` / `Milliseconds` / `Seconds` at `dsl/std/types.dag:193-303` refine abstract `Int` (`unicode_scalar`, `range(min: 0)`, `brand` where-clauses). Consumer: integration `numeric_inherited_bake_ins_dissolved_int_inherited_aliases_use_abstract_int` (`m2_substrate_inhabitance_test.rs`) pins each `dsl/std/types.dag` declaration’s resolved structural base to `Int` with non-empty `Declaration.refinement` (no parallel fixed-width integer defining carrier). |
 | 21 | `int_refinement_overflow_proven_parametric` | structural-fold | T-Numeric-Construction | DECLARED | overflow caught for any width refinement |
 | 22 | `int_lit_full_magnitude_consumer` | substrate-shape | T-Numeric-Construction | DECLARED | IntLit accepts full magnitude range |
 | 23 | `string_audit_receipt` | state-check | T-Numeric-Construction | DECLARED | String audit landed |
@@ -421,7 +421,7 @@ Each retires per its natural-owner program prerequisites. Verification Mgr's `br
 | T-V-L7 (algebraic-law witness coverage) | YELLOW | `r3-v-l7-algebra-coverage-matrix` briefs; **gate #10 `bounded L7 AlgebraicLaw witnesses (assoc / comm / identity)` MERGED in PR #2394 (2026-05-10)** | per-(algebra, inhabitant, law) exhaustive coverage gap remaining | (TBD; assoc/comm/identity bounded slice landed) |
 | T-V-L5-Corpus | RED | (waits on L4 corpus + Shape A grounding) | T-V-L4 corpus existing first | post-L4 |
 | T-FixedPoint | YELLOW | (TBD from PB canvas) | SG-0 zero from T-LensProducer | (TBD) |
-| T-Numeric-Construction | YELLOW | **PR #2526 u128 grounding-pilot Rust mirror sync MERGED 2026-05-10**; **PR #2570 Grounding G2 Phase 2 float primitive rows MERGED 2026-05-10** (closes proud-raven-495 G2 Phase 2 prior HELD; squash `b96a51a2`); **witty-deer-737 active on gate #17 numeric abstract carriers** (PR #2409 4 passing); **wise-pike-29 active on gate #20 numeric inherited bake-ins dissolved** (PR #2426 4 passing); T-NumericConstruction-ApproximateField #1523 prior-cycle | broader Real<N> emission demonstrations under S9 / Shape-A follow-ons (per §1.8 #18 close-criterion); #17 + #20 substrate-shape gates remaining DECLARED (per §1.8) | (TBD; #18 + #24 CONSUMER_LANDED + PASSING for Grounding G2 primitive rows; #17 + #20 in flight; #67 demonstration outstanding) |
+| T-Numeric-Construction | YELLOW | **PR #2526 u128 grounding-pilot Rust mirror sync MERGED 2026-05-10**; **PR #2570 Grounding G2 Phase 2 float primitive rows MERGED 2026-05-10** (closes proud-raven-495 G2 Phase 2 prior HELD; squash `b96a51a2`); **witty-deer-737 active on gate #17 numeric abstract carriers** (PR #2409 4 passing); **§1.8 gate #20 `numeric_inherited_bake_ins_dissolved` CONSUMER_LANDED + PASSING** (substrate + `m2_substrate_inhabitance_test.rs` ratchet; prior worker trace: wise-pike-29 / PR #2426). T-NumericConstruction-ApproximateField #1523 prior-cycle | broader Real<N> emission demonstrations under S9 / Shape-A follow-ons (per §1.8 #18 close-criterion); **#17** substrate-shape gate remains **DECLARED** (per §1.8) | (TBD; #18 + #24 CONSUMER_LANDED + PASSING for Grounding G2 primitive rows; #17 in flight; #67 demonstration outstanding) |
 | T-Omni-Shape-B | YELLOW | **gate #25 salvage path active** at warm-dove-618 PB Mgr lane via assignment #2550 (after sleek-eagle-557 archival left PR #2410 orphan + DIRTY); **gate #26** (omni doc drift lock — snappy-heron-259) + **gate #27** (omni sql ddl alt — gentle-hawk-401) workers idle, mis-parented under sunny-koi-893 Grounding subtree pending re-parent coordination per gunbc#828 c#4414249641 | dependencies (R2-Evaluator landed; Shape A targets in flight) | post-gate-#25 salvage PR + #26/#27 closure |
 | T-Anthropic-Wire | YELLOW | 3 coproduct worker briefs dispatched on PR #1782 wait-window + 2 OPEN closure tags at HEAD (`dsl/extdeps/llm/anthropic.dag` `:189` + `:68`); **PR #2506 [codex] add anthropic wire demo MERGED 2026-05-10** (1 test entry: `anthropic_messages_wire_demo_test.rs`) | three coproduct slices land + variant-aware projection carrier authored | post-#1782 merge + 3 follow-up paydown PRs |
 | T-Bridge-Retirement | YELLOW | per-bridge dispatches. Cycle PR-merge evidence (gate-promotion separate; see Status column below): PR #2459 (`include_str` retire) + PR #2449 (`canonical lens name dispatch` retire) — both partial evidence toward §1.8 #34 / #33 promotion respectively. Per §1.8 canonical status: **#32 PASSING** (`mark_bootstrap_secret_nominal_opacity_retired`) + **#35 PASSING** (`bridge_exact_string_patching_residual_retired` — PB lower-helper slice retired in `bridge_ledger.dag`) + **#33 DECLARED** (canonical-lens-name dispatch; PR #2449 merged but gate not yet promoted) + **#34 DECLARED** (include_str side channels; PR #2459 merged but gate not yet promoted) | per §1.8: 2 retired-and-promoted (#32 + #35) + 2 retired-and-pending-promotion (#33 + #34) + remaining `SourceSpan.file participation` (Substrate-owned hand-Rust audit sites; not numbered in §1.8) + residual semantic patching (`bridge_exact_string_semantic_patching_residual` Open per #35 close-criterion). Aggregate retirement count per §1.8 PASSING discipline = 2/5 (gate-promotion-tied), with 2 awaiting promotion drift sweep | per `r3-structure.md` §"Lane structure" T-Bridge-Retirement R2-close-dependency: post-R2 substrate carriers + per-bridge gates per natural-owner program prerequisites |
@@ -438,7 +438,7 @@ Each retires per its natural-owner program prerequisites. Verification Mgr's `br
 
 **Status legend**: GREEN = no open work, awaiting close audit. YELLOW = work in flight. RED = blocked on upstream.
 
-**PM compile note (2026-05-11 Monday cadence per §9.1)**: Updates above are PM-derived from observable PR merge data + worker session activity + silent-ram-834 status report (gunbc#828 c#4414611117). Mgr canvas refreshes are the formal authority per §3 framing; lane-owning Mgrs may correct/override any cell. **PR-merge evidence ≠ §1.8 gate-PASSING promotion** — this compile lists PR-merge events as evidence accruing toward gate promotion; canonical gate status lives in §1.8 (PASSING / DECLARED / etc.) and gets promoted via separate status-drift sweeps (e.g., PR #2399 Status drift sweep MERGED 2026-05-10). **Lanes with PR-merge evidence this cycle** (canonical §1.8 gate status varies; per-lane row authoritative): T-LensProducer-Retirement (gates #5 + #7 PR-evidence in flight under PB Mgr; gate #6 same-cascade), T-Numeric-Construction (PR #2526 u128 + PR #2570 G2 Phase 2 Float — §1.8 #18 + #24 actually CONSUMER_LANDED + PASSING for Grounding G2 primitive rows; #17 + #20 DECLARED, work in flight), T-V-L7 (PR #2394 merged toward §1.8 #10 — §1.8 status DECLARED skeleton/staged, exhaustive coverage gap remains), T-CostLens-Composition (PR #2433 toward gate #37 INTEGRATION_RECEIPT partial ε-slice; PR #2450 toward gate #40 DECLARED ε-RATIFIED; both DECLARED in §1.8), T-Bridge-Retirement (PR #2449 toward gate #33 + PR #2459 toward gate #34 — both still §1.8 DECLARED awaiting promotion drift; gate #32 + #35 already PASSING), T-Free-Consequences-Demonstration (PR #2495 toward gate #43 — §1.8 DECLARED), T-E-P-Producer-Broadening (PR #2505 + PR #2528 toward gate #72 — §1.8 CONSUMER_LANDED), T-Lens-Behavioral-Parity (#73 + #78 active under Substrate Mgr), T-Debt-Paydown (Mgr re-spawn + Phase 3 8/10 items), T-Omni-Shape-B (gate #25 salvage path), T-Anthropic-Wire (PR #2506 demo merged), T-V2-Retirement (PR #2334 brief merged), T-Tests-As-Data-Completeness (PR #2287 V1 TC1 first slice merged), T-Tier3-Dissolution (clever-bear-180 active on F1), T-Lens-Application-Surface (crisp-raven-202 active on F2). **Lanes with no observable change this cycle**: T-V-L4, T-V-L5-Corpus, T-FixedPoint, T-Workflow-As-Data, T-Lens-Self-Application.
+**PM compile note (2026-05-11 Monday cadence per §9.1)**: Updates above are PM-derived from observable PR merge data + worker session activity + silent-ram-834 status report (gunbc#828 c#4414611117). Mgr canvas refreshes are the formal authority per §3 framing; lane-owning Mgrs may correct/override any cell. **PR-merge evidence ≠ §1.8 gate-PASSING promotion** — this compile lists PR-merge events as evidence accruing toward gate promotion; canonical gate status lives in §1.8 (PASSING / DECLARED / etc.) and gets promoted via separate status-drift sweeps (e.g., PR #2399 Status drift sweep MERGED 2026-05-10). **Lanes with PR-merge evidence this cycle** (canonical §1.8 gate status varies; per-lane row authoritative): T-LensProducer-Retirement (gates #5 + #7 PR-evidence in flight under PB Mgr; gate #6 same-cascade), T-Numeric-Construction (PR #2526 u128 + PR #2570 G2 Phase 2 Float — §1.8 #18 + #24 actually CONSUMER_LANDED + PASSING for Grounding G2 primitive rows; **#20 CONSUMER_LANDED + PASSING** per §1.8 row #20; **#17 DECLARED**, work in flight), T-V-L7 (PR #2394 merged toward §1.8 #10 — §1.8 status DECLARED skeleton/staged, exhaustive coverage gap remains), T-CostLens-Composition (PR #2433 toward gate #37 INTEGRATION_RECEIPT partial ε-slice; PR #2450 toward gate #40 DECLARED ε-RATIFIED; both DECLARED in §1.8), T-Bridge-Retirement (PR #2449 toward gate #33 + PR #2459 toward gate #34 — both still §1.8 DECLARED awaiting promotion drift; gate #32 + #35 already PASSING), T-Free-Consequences-Demonstration (PR #2495 toward gate #43 — §1.8 DECLARED), T-E-P-Producer-Broadening (PR #2505 + PR #2528 toward gate #72 — §1.8 CONSUMER_LANDED), T-Lens-Behavioral-Parity (#73 + #78 active under Substrate Mgr), T-Debt-Paydown (Mgr re-spawn + Phase 3 8/10 items), T-Omni-Shape-B (gate #25 salvage path), T-Anthropic-Wire (PR #2506 demo merged), T-V2-Retirement (PR #2334 brief merged), T-Tests-As-Data-Completeness (PR #2287 V1 TC1 first slice merged), T-Tier3-Dissolution (clever-bear-180 active on F1), T-Lens-Application-Surface (crisp-raven-202 active on F2). **Lanes with no observable change this cycle**: T-V-L4, T-V-L5-Corpus, T-FixedPoint, T-Workflow-As-Data, T-Lens-Self-Application.
 
 (Mgr canvases populating; full table compiles within ~24h per canvas T+24h soft deadline. Per codex 2026-05-06 BLOCKING finding 1: lane Mgr / scope / R2-close-dependency NOT replicated here — see `r3-structure.md` §"Lane structure" for authoritative metadata. This delta-only refactor closes Q-Plan-vs-Structure-Drift-Discipline option (a) per Research PM R-3.)