novox/hq
9
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Design 39 bus-and-switch: the lead's answers B23 and B24 met in develop
mesh/check checking 128236e7a047 on 01b6441a48d2
mesh/delivery closed: a newer head of the same pull request
Details

Browse Source 
Claude-Session: https://claude.ai/code/session_01NcbgfHb9d4T9nq5Q6WqdiJ
This commit is contained in:
jschoubben
2026-11-11 23:30:54 +01:00
parent 01b6441a48
commit 128236e7a0
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
03-DESIGN/01-to-be/39-milestones/bus-and-switch.md
+4
View File
@@ -492,3 +492,7 @@ written; they are cited as "design 39 bus-and-switch B*n*".
- **B21** (no tool reads the vault's `licence-bindings`): `vault_first_views` and `vault_first_view_again` cover it (P4). - **B21** (no tool reads the vault's `licence-bindings`): `vault_first_views` and `vault_first_view_again` cover it (P4).
- **B22** (three internal forms): `bindings` stays at form 0; each reader decodes the event bodies with fixtures - **B22** (three internal forms): `bindings` stays at form 0; each reader decodes the event bodies with fixtures
copied from the writer; nothing to build for an inheriting consumer (P7). copied from the writer; nothing to build for an inheriting consumer (P7).
- **B23** (what `licence-put` names a licence by): its `licence` argument is the licence's key of §10; the manager forms
keys, the vault does not (P8).
- **B24** (an equal generation in `licence-put`): with the same value it is unchanged; with a different value it is
refused loudly as not newer (P3).