Repository navigation

feat(v3): add ValueBody map carrier - #1017

Merged

briansrls merged 30 commits into

mainfrom

session/lively-ferret-24

Apr 27, 2026

Commits on Apr 27, 2026
- WIP: R2 Substrate
  briansrls
  committed
  71b6dee
- WIP: R2 Substrate
  briansrls
  committed
  4fc8f34
- fix(v3): preserve opacity through instantiation walks
  briansrls
  committed
  efb76b0
- WIP: R2 Substrate
  briansrls
  committed
  7fd0c43
- fix(v3): include opacity in instantiation interning
  briansrls
  committed
  fbef4d4
- WIP: R2 Substrate
  briansrls
  committed
  47ceb07
- chore: apply cargo fmt
  briansrls
  committed
  827d2ba
- WIP: R2 Substrate
  briansrls
  committed
  aac71d1
- Update map carrier bootstrap snapshot
  briansrls
  committed
  35edd13
- Trigger CI for ready map carrier PR
  briansrls
  committed
  85a5ce5
- WIP: R2 Substrate
  briansrls
  committed
  3d6a05f
- WIP: R2 Substrate
  briansrls
  committed
  9750289
- Fix tokenize regen after map carrier
  briansrls
  committed
  b8dec10
- Clarify map carrier rustdoc debt
  briansrls
  committed
  e706a8a
- Fix regen tokenize clippy
  briansrls
  committed
  925e09a
- WIP: R2 Substrate
  briansrls
  committed
  3f5bdca
- WIP: R2 Substrate
  briansrls
  committed
  2f898c9
- Fix map substrate reflection snapshots
  briansrls
  committed
  e8f1dbc
- WIP: R2 Substrate
  briansrls
  committed
  2ce685f
- WIP: R2 Substrate
  briansrls
  committed
  45aa423
- Fix substrate reflection CI expectations
  briansrls
  committed
  7f97808
- Merge remote-tracking branch 'origin/main' into session/lively-ferret-24
  briansrls
  committed
  98e3613
- WIP: R2 Substrate
  briansrls
  committed
  81fbec4
- Fix surface item reflection expectation
  briansrls
  committed
  4c9bfa2
- Allow generated parse RHS helper arity
  briansrls
  committed
  b9cfb6d
- WIP: R2 Substrate
  briansrls
  committed
  1e2fa64
- Fix v2 parser authority for nominal opaque
  briansrls
  committed
  6ecb53d
- WIP: R2 Substrate
  briansrls
  committed
  254521e
- Refresh v3 bootstrap after main merge
  briansrls
  committed
  b4cbf0e
- Merge remote-tracking branch 'origin/main' into session/lively-ferret-24
  briansrls
  committed
  46d0e28