Repository navigation

Lane 3 Stage 3a partial — 3a.2 data values + 3a.4/5 tests + 3a.3 foundation - #496

Merged

briansrls merged 7 commits into

mainfrom

calm-ram-97-lane3-3a

Apr 17, 2026

Merged

Lane 3 Stage 3a partial — 3a.2 data values + 3a.4/5 tests + 3a.3 foundation#496
briansrls merged 7 commits into
mainfrom
calm-ram-97-lane3-3a

Commits on Apr 17, 2026
- Lane 3 Stage 3a partial — 3a.2 data values, 3a.4/5 tests, 3a.3 foundation
  
  briansrls
  and
  claude
  committed
  0d991e5
- style: cargo fmt --all
  
  briansrls
  and
  claude
  committed
  82a714b
- docs: DB-10/12/13 amendments + scaffold marker on Declaration.refinement
  
  briansrls
  and
  claude
  committed
  fedc874
- fix(3a.2): dependency-ordered lowering pre-passes for types + data
  
  briansrls
  and
  claude
  committed
  c521c73
- fix(review): narrow ValueBody::Scalar, diagnose where refinements, fix docstring
  
  briansrls
  and
  claude
  committed
  e0b4ded
- test(3a.2): ratchet data field access test to assert lowering-time inlining
  
  briansrls
  and
  claude
  committed
  2ae5e2d
- docs: commit DB-10 to lowering-time inlining; fix two stale comments
  
  briansrls
  and
  claude
  committed
  0dfb7ba