From 128236e7a047d5456cd5847ed32e7f04a8eaeafc Mon Sep 17 00:00:00 2001 From: jochen Date: Wed, 11 Nov 2026 23:30:54 +0100 Subject: [PATCH] Design 39 bus-and-switch: the lead's answers B23 and B24 met in develop Claude-Session: https://claude.ai/code/session_01NcbgfHb9d4T9nq5Q6WqdiJ --- 03-DESIGN/01-to-be/39-milestones/bus-and-switch.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/03-DESIGN/01-to-be/39-milestones/bus-and-switch.md b/03-DESIGN/01-to-be/39-milestones/bus-and-switch.md index c8f632d8..6b0d1e82 100644 --- a/03-DESIGN/01-to-be/39-milestones/bus-and-switch.md +++ b/03-DESIGN/01-to-be/39-milestones/bus-and-switch.md @@ -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). - **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). +- **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).