Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
30 commits
Select commit Hold shift + click to select a range
5d722a0
docs: DB-18 Part 1 — WorkflowEffect substrate carrier (Stage 2b)
briansrls Apr 18, 2026
868209b
WIP: B'
briansrls Apr 18, 2026
abbff11
Merge main into session/bright-bat-435
briansrls Apr 18, 2026
46544ab
docs: DB-18 — update WorkflowEffectConcern line-range citation
briansrls Apr 18, 2026
1e79315
WIP: B'
briansrls Apr 18, 2026
bb08594
WIP: B'
briansrls Apr 18, 2026
30cf1e0
WIP: B'
briansrls Apr 18, 2026
408cf02
WIP: B'
briansrls Apr 18, 2026
163da43
WIP: B'
briansrls Apr 18, 2026
ce34b0c
WIP: B'
briansrls Apr 18, 2026
1ac587a
docs: DB-18 R2 — typed BoolPortRef witness, empty LinearEffect, locke…
briansrls Apr 18, 2026
c712049
docs: DB-18 R2 propagation — two stale pre-R2 references in constrain…
briansrls Apr 18, 2026
c7b8357
WIP: B'
briansrls Apr 18, 2026
3c61feb
docs: DB-18 R2.2 — lock source-to-handle contract for BranchArm.condi…
briansrls Apr 18, 2026
d7f226a
WIP: B'
briansrls Apr 18, 2026
5e4c6e6
WIP: B'
briansrls Apr 18, 2026
a8dbe91
WIP: B'
briansrls Apr 18, 2026
4ac9859
WIP: B'
briansrls Apr 18, 2026
dea9fb4
docs: DB-18 — fix Workflow B type error in worked example
briansrls Apr 18, 2026
bcf8987
WIP: B'
briansrls Apr 18, 2026
c430a77
WIP: B'
briansrls Apr 18, 2026
7ebf685
WIP: B'
briansrls Apr 18, 2026
1231a83
WIP: B'
briansrls Apr 18, 2026
c944eb4
WIP: B'
briansrls Apr 18, 2026
74f0e47
docs: DB-18 — remediate to live state (β's PR #534 shipped; Part 3 de…
briansrls Apr 18, 2026
1b41230
WIP: B'
briansrls Apr 18, 2026
3325bf5
WIP: B'
briansrls Apr 18, 2026
907a8b0
WIP: B'
briansrls Apr 18, 2026
70593b2
WIP: B'
briansrls Apr 18, 2026
20c5814
docs: DB-18 — verify-against-β fixes (5 points)
briansrls Apr 18, 2026
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading
Loading