Repository navigation

feat(v3): T-Substrate-Lens-Primitive — Lens<C> carrier + Q6.5 widening - #1186

Merged

briansrls merged 28 commits into

mainfrom

session/tidy-wolf-507

Apr 29, 2026

Merged

feat(v3): T-Substrate-Lens-Primitive — Lens<C> carrier + Q6.5 widening#1186
briansrls merged 28 commits into
mainfrom
session/tidy-wolf-507

Commits on Apr 29, 2026
- WIP: tidy-wolf-507
  briansrls
  committed
  bd8725b
- WIP: tidy-wolf-507
  briansrls
  committed
  2fd9eed
- chore: apply cargo fmt
  briansrls
  committed
  7994d36
- Merge remote-tracking branch 'origin/main' into session/tidy-wolf-507
  briansrls
  committed
  fd494f6
- WIP: tidy-wolf-507
  briansrls
  committed
  ef14405
- chore: apply cargo fmt
  briansrls
  committed
  57bbd40
- Merge remote-tracking branch 'origin/main' into session/tidy-wolf-507
  briansrls
  committed
  d92b3e0
- WIP: tidy-wolf-507
  briansrls
  committed
  186c0f8
- Merge remote-tracking branch 'origin/main' into session/tidy-wolf-507
  briansrls
  committed
  4602659
- Merge remote-tracking branch 'origin/main' into session/tidy-wolf-507
  briansrls
  committed
  208150a
- Merge remote-tracking branch 'origin/main' into session/tidy-wolf-507
  briansrls
  committed
  660e2ab
- WIP: tidy-wolf-507
  briansrls
  committed
  51fb2b4
- fix(v3): SG-0 ratchet receipt + parse-corpus manifest refresh
  
  briansrls
  and
  claude
  committed
  6496a0c
- WIP: tidy-wolf-507
  briansrls
  committed
  7f475e0
- Merge remote-tracking branch 'origin/main' into session/tidy-wolf-507
  briansrls
  committed
  2c13dc8
- Merge remote-tracking branch 'origin/main' into session/tidy-wolf-507
  briansrls
  committed
  61ad6ea
- chore(v3): re-regen bootstrap on top of merged main
  
  briansrls
  and
  claude
  committed
  b18a5ec
- Merge remote-tracking branch 'origin/main' into session/tidy-wolf-507
  briansrls
  committed
  b7e6988
- Merge remote-tracking branch 'origin/main' into session/tidy-wolf-507
  briansrls
  committed
  66fa643
- Merge remote-tracking branch 'origin/main' into session/tidy-wolf-507
  briansrls
  committed
  45f24c9
- WIP: tidy-wolf-507
  briansrls
  committed
  0ef4771
- feat(v3): T-Substrate-Lens-Primitive — Lens<C> carrier + Q6.5 widening
  
  briansrls
  and
  claude
  committed
  fa5bba2
- WIP: tidy-wolf-507
  briansrls
  committed
  cdcaecc
- docs(v3): explicitly cover kind_decl resolution gap in SCAFFOLD comment
  
  briansrls
  and
  claude
  committed
  c515b7e
- Merge remote-tracking branch 'origin/main' into session/tidy-wolf-507
  briansrls
  committed
  818126b
- chore(v3): re-regen bootstrap on top of merged main
  
  briansrls
  and
  claude
  committed
  5bb049c
- Merge remote-tracking branch 'origin/main' into session/tidy-wolf-507
  briansrls
  committed
  1eeadb7
- chore(v3): re-regen bootstrap on top of merged main (#1188 fix)
  
  briansrls
  and
  claude
  committed
  d1d2599

Commits

Commits on Apr 29, 2026