Repository navigation

v4 T-4 rust-slice: extdeps/languages/rust.dag — type-system vocabulary + classifiers (no STOP) - #3174

Merged

briansrls merged 60 commits into

mainfrom

session/loyal-koi-702

May 16, 2026

Merged

v4 T-4 rust-slice: extdeps/languages/rust.dag — type-system vocabulary + classifiers (no STOP)#3174
briansrls merged 60 commits into
mainfrom
session/loyal-koi-702

Commits on May 16, 2026
- WIP: T-4 extdeps/languages
  briansrls
  committed
  8ae05ed
- v4 T-4 rust-slice: model extdeps/languages/rust.dag — type-system vocabulary + classifiers (no STOP)
  
  briansrls
  and
  claude
  committed
  c9b602f
- WIP: T-4 extdeps/languages
  briansrls
  committed
  adff42e
- v4 T-4 rust: fix BLOCKING #3174 — Reference primitive-types partition (drop Unit, add Str + Never)
  
  briansrls
  and
  claude
  committed
  ae743e0
- v4 T-4 rust: fix BLOCKING #3174 visibility + add per-carrier Spec doc-anchors
  
  briansrls
  and
  claude
  committed
  d90431e
- v4 T-4 rust: fix BLOCKING #3174 — RustReference adds `referent: Node` (TypeNoBounds preserved)
  
  briansrls
  and
  claude
  committed
  138ea86
- v4 T-4 rust: fix BLOCKING #3174 — pub(self) ≡ Private (P2 canonicalization)
  
  briansrls
  and
  claude
  committed
  e878926
- v4 T-4 rust: add per-primitive named registry + IrToRust mapping shape (Bool worked example)
  
  briansrls
  and
  claude
  committed
  e341e9d
- v4 T-4 rust: remove rust_visibility_well_formed stub (FORBIDDEN-deferral fix)
  
  briansrls
  and
  claude
  committed
  03a43b7
- WIP: T-4 extdeps/languages
  briansrls
  committed
  5a7e13b
- v4 T-4 rust: structural P2 enforcement — introduce RustPathSegment (no Self variant)
  
  briansrls
  and
  claude
  committed
  c13c684
- Merge remote-tracking branch 'origin/main' into session/loyal-koi-702
  briansrls
  committed
  1ccec93
- Merge remote-tracking branch 'origin/main' into session/loyal-koi-702
  briansrls
  committed
  dc1395b
- Merge remote-tracking branch 'origin/main' into session/loyal-koi-702
  briansrls
  committed
  a6a1898
- Merge remote-tracking branch 'origin/main' into session/loyal-koi-702
  briansrls
  committed
  2df98e3
- v4 T-4 rust: land first concrete IR↔Rust row — Bool → rust_bool (post-T-3-merge)
  
  briansrls
  and
  claude
  committed
  ed1d47f
- v4 T-4 rust: fix post-refactor comment drift (List<Symbol> → List<RustPathSegment>)
  
  briansrls
  and
  claude
  committed
  deae63c
- Merge remote-tracking branch 'origin/main' into session/loyal-koi-702
  briansrls
  committed
  57666ad
- v4 T-4 rust: add Layer-2 structural-assertion fn + 3-layer testing pattern doc
  
  briansrls
  and
  claude
  committed
  aaa3c27
- v4 T-4 rust: refresh comment-only authoring guide post-refactor + Bool merge
  
  briansrls
  and
  claude
  committed
  8462eb4
- WIP: T-4 extdeps/languages
  briansrls
  committed
  07aa2db
- Merge remote-tracking branch 'origin/main' into session/loyal-koi-702
  briansrls
  committed
  0c5301e
- Merge remote-tracking branch 'origin/main' into session/loyal-koi-702
  briansrls
  committed
  85cd976
- WIP: T-4 extdeps/languages
  briansrls
  committed
  55a577a
- Merge remote-tracking branch 'origin/main' into session/loyal-koi-702
  briansrls
  committed
  7d48165
- WIP: T-4 extdeps/languages
  briansrls
  committed
  32bde0d
- Merge remote-tracking branch 'origin/main' into session/loyal-koi-702
  briansrls
  committed
  0e624c9
- v4 T-4 rust: fix BLOCKING #3174 — head-rooted PubInPath replaces unconstrained List<RustPathSegment>
  
  briansrls
  and
  claude
  committed
  1454893
- Merge remote-tracking branch 'origin/main' into session/loyal-koi-702
  briansrls
  committed
  a9b9633
- WIP: T-4 extdeps/languages
  briansrls
  committed
  a32981c
- v4 T-4 rust: fix BLOCKING #3174 — SuperHops 🟡 not 🟢 (M9/P5 — parent exists in v3 termination.dag scaffold)
  
  briansrls
  and
  claude
  committed
  c194385
- v4 T-4 rust: fix BLOCKING #3174 — explicit self-prefixed canonicalization rules at PubInPath
  
  briansrls
  and
  claude
  committed
  efab8f9
- v4 T-4 rust: fix BLOCKING #3174 — two more self-prefix overclaims in RustVisibility doc
  
  briansrls
  and
  claude
  committed
  a5e2469
- v4 T-4 rust: fix BLOCKING #3174 — context-dependent canonicalization for pub(in path) ≡ current-module ≡ Private
  
  briansrls
  and
  claude
  committed
  987f366
- v4 T-4 rust: Bool row spec pointer — single authority (std/logic.dag) not duplicate Wikipedia anchor
  
  briansrls
  and
  claude
  committed
  221a968
- WIP: T-4 extdeps/languages
  briansrls
  committed
  1d551b9
- v4 T-4 rust: fix BLOCKING #3174 — collapse PubInPath to absolute-path-from-crate-root (openai-pro REQUEST_CHANGES)
  
  briansrls
  and
  claude
  committed
  4a44103
- WIP: T-4 extdeps/languages
  briansrls
  committed
  b17dedb
- v4 T-4 rust: remove redundant Bool import + reconcile kernel-ambient vs imported framing
  
  briansrls
  and
  claude
  committed
  664de73
- v4 T-4 rust: fix openai-pro REQUEST_CHANGES — str DST surface + pub(crate)-at-crate-root canonicalization
  
  briansrls
  and
  claude
  committed
  9b47f46
- v4 T-4 rust: fix openai-pro REQUEST_CHANGES — fn declaration is Arrow, application is Transform (substrate split)
  
  briansrls
  and
  claude
  committed
  69ee91f
- WIP: T-4 extdeps/languages
  briansrls
  committed
  88e455e
- v4 T-4 rust: align RustVisibility well-formedness with PubInPath 🟡 scaffold (codex non-blocking)
  
  briansrls
  and
  claude
  committed
  c32561f
- WIP: T-4 extdeps/languages
  briansrls
  committed
  5628171
- v4 T-4 rust: fix openai-pro REQUEST_CHANGES — reconcile header/RustVisibility prose with PubInPath 🟡 scaffold
  
  briansrls
  and
  claude
  committed
  93c5d39
- WIP: T-4 extdeps/languages
  briansrls
  committed
  a05a867
- v4 T-4 rust: fix openai-pro REQUEST_CHANGES — delete RustScalarKind (P2 duplicate authority over RustScalar)
  
  briansrls
  and
  claude
  committed
  8a7bbd1
- Merge remote-tracking branch 'origin/main' into session/loyal-koi-702
  briansrls
  committed
  a17fcd2
- WIP: T-4 extdeps/languages
  briansrls
  committed
  1e7d03d
- v4 T-4 #3174: reshape rust.dag against encoded DECISIONS.md D2 row
  
  briansrls
  and
  claude
  committed
  0328bee
- v4 T-4 #3174: flag GroundingMap home as 🟡 OPERATOR-PENDING
  
  briansrls
  and
  claude
  committed
  57f2f02
- Merge remote-tracking branch 'origin/main' into session/loyal-koi-702
  briansrls
  committed
  f2dcea6
- Merge remote-tracking branch 'origin/main' into session/loyal-koi-702
  briansrls
  committed
  fbc89f4
- v4 T-4 #3174: fix OverflowDisposition fidelity per Rust Reference
  
  briansrls
  and
  claude
  committed
  dfb9464
- Merge remote-tracking branch 'origin/main' into session/loyal-koi-702
  briansrls
  committed
  3b56aef
- Merge remote-tracking branch 'origin/main' into session/loyal-koi-702
  briansrls
  committed
  3f12af9
- v4 T-4 #3174: reshape OverflowDisposition to 2-variant nullary Disj
  
  briansrls
  and
  claude
  committed
  c9ba92d
- v4 T-4 #3174: reconcile stale D1/D2 prose with ratified state
  
  briansrls
  and
  claude
  committed
  6df8662
- Merge remote-tracking branch 'origin/main' into session/loyal-koi-702
  briansrls
  committed
  9898fe7
- Merge remote-tracking branch 'origin/main' into session/loyal-koi-702
  briansrls
  committed
  a0397e5

Commits

Commits on May 16, 2026