Repository navigation

docs: DB-18 Part 1 — WorkflowEffect substrate carrier (Stage 2b) - #531

Merged

briansrls merged 30 commits into

mainfrom

session/bright-bat-435

Apr 18, 2026

Merged

docs: DB-18 Part 1 — WorkflowEffect substrate carrier (Stage 2b)#531
briansrls merged 30 commits into
mainfrom
session/bright-bat-435

Commits on Apr 18, 2026
- docs: DB-18 Part 1 — WorkflowEffect substrate carrier (Stage 2b)
  
  briansrls
  and
  claude
  committed
  5d722a0
- WIP: B'
  briansrls
  committed
  868209b
- Merge main into session/bright-bat-435
  
  briansrls
  and
  claude
  committed
  abbff11
- docs: DB-18 — update WorkflowEffectConcern line-range citation
  
  briansrls
  and
  claude
  committed
  46544ab
- WIP: B'
  briansrls
  committed
  1e79315
- WIP: B'
  briansrls
  committed
  bb08594
- WIP: B'
  briansrls
  committed
  30cf1e0
- WIP: B'
  briansrls
  committed
  408cf02
- WIP: B'
  briansrls
  committed
  163da43
- WIP: B'
  briansrls
  committed
  ce34b0c
- docs: DB-18 R2 — typed BoolPortRef witness, empty LinearEffect, locked authority site
  
  briansrls
  and
  claude
  committed
  1ac587a
- docs: DB-18 R2 propagation — two stale pre-R2 references in constraints + Pattern 3
  
  briansrls
  and
  claude
  committed
  c712049
- WIP: B'
  briansrls
  committed
  c7b8357
- docs: DB-18 R2.2 — lock source-to-handle contract for BranchArm.condition
  
  briansrls
  and
  claude
  committed
  3c61feb
- WIP: B'
  briansrls
  committed
  d7f226a
- WIP: B'
  briansrls
  committed
  5e4c6e6
- WIP: B'
  briansrls
  committed
  a8dbe91
- WIP: B'
  briansrls
  committed
  4ac9859
- docs: DB-18 — fix Workflow B type error in worked example
  
  briansrls
  and
  claude
  committed
  dea9fb4
- WIP: B'
  briansrls
  committed
  bcf8987
- WIP: B'
  briansrls
  committed
  c430a77
- WIP: B'
  briansrls
  committed
  7ebf685
- WIP: B'
  briansrls
  committed
  1231a83
- WIP: B'
  briansrls
  committed
  c944eb4
- docs: DB-18 — remediate to live state (β's PR #534 shipped; Part 3 deferred)
  
  briansrls
  and
  claude
  committed
  74f0e47
- WIP: B'
  briansrls
  committed
  1b41230
- WIP: B'
  briansrls
  committed
  3325bf5
- WIP: B'
  briansrls
  committed
  907a8b0
- WIP: B'
  briansrls
  committed
  70593b2
- docs: DB-18 — verify-against-β fixes (5 points)
  
  briansrls
  and
  claude
  committed
  20c5814

Commits

Commits on Apr 18, 2026