Repository navigation

docs(design): lens-fold prerequisites audit (planning, no implementation) - #1207

Merged

briansrls merged 56 commits into

mainfrom

session/tidy-wolf-507

Apr 29, 2026

Merged

docs(design): lens-fold prerequisites audit (planning, no implementation)#1207
briansrls merged 56 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
- Merge remote-tracking branch 'origin/main' into session/tidy-wolf-507
  briansrls
  committed
  b0eb3d8
- WIP: tidy-wolf-507
  briansrls
  committed
  ec597ac
- feat(v3): minimal method-declaration registry + MethodRef refinement
  
  briansrls
  and
  claude
  committed
  1f695fe
- Merge remote-tracking branch 'origin/main' into session/tidy-wolf-507
  briansrls
  committed
  c865541
- WIP: tidy-wolf-507
  briansrls
  committed
  d6216b8
- test(v3): tighten method-registry authority enforcement
  
  briansrls
  and
  claude
  committed
  b9cf95f
- chore: apply cargo fmt
  briansrls
  committed
  fdaaee5
- WIP: tidy-wolf-507
  briansrls
  committed
  b2651ac
- test(v3): registry drift derives names from algebra.dag source
  
  briansrls
  and
  claude
  committed
  84755ce
- Merge remote-tracking branch 'origin/main' into session/tidy-wolf-507
  briansrls
  committed
  7900975
- Merge remote-tracking branch 'origin/main' into session/tidy-wolf-507
  briansrls
  committed
  ad39ecb
- Merge remote-tracking branch 'origin/main' into session/tidy-wolf-507
  briansrls
  committed
  944cf79
- Merge remote-tracking branch 'origin/main' into session/tidy-wolf-507
  briansrls
  committed
  073b077
- Merge remote-tracking branch 'origin/main' into session/tidy-wolf-507
  briansrls
  committed
  b5359e2
- Merge remote-tracking branch 'origin/main' into session/tidy-wolf-507
  briansrls
  committed
  b8d8693
- Merge remote-tracking branch 'origin/main' into session/tidy-wolf-507
  briansrls
  committed
  9056936
- docs(design): lens-fold prerequisites audit
  
  briansrls
  and
  claude
  committed
  359f658
- WIP: tidy-wolf-507
  briansrls
  committed
  83535ad
- docs(design): land Director dispositions on lens-fold prerequisites
  
  briansrls
  and
  claude
  committed
  d34ca4a
- Merge remote-tracking branch 'origin/main' into session/tidy-wolf-507
  briansrls
  committed
  8db65f7
- Merge remote-tracking branch 'origin/main' into session/tidy-wolf-507
  briansrls
  committed
  a49a8aa
- docs(design): fail-closed WorkflowRoot return type for accessor
  
  briansrls
  and
  claude
  committed
  09c221e
- docs(design): narrow Prereq-1 to Arrow-signature inhabitance
  
  briansrls
  and
  claude
  committed
  42bf818
- docs(design): add Prereq-3a standalone acceptance for accessor
  
  briansrls
  and
  claude
  committed
  a4950f5
- docs(design): resolve workflow-root contradiction in does-not-do list
  
  briansrls
  and
  claude
  committed
  cca85a6
- Merge remote-tracking branch 'origin/main' into session/tidy-wolf-507
  briansrls
  committed
  8f48849
- docs(design): fix stale -> PortId in Sub-slice 3a after WorkflowRoot refinement
  
  briansrls
  and
  claude
  committed
  ffd5723
- Merge remote-tracking branch 'origin/main' into session/tidy-wolf-507
  briansrls
  committed
  96c9901

Commits

Commits on Apr 29, 2026