From 28cd959de43924d75c8c4e42723113aef56316b5 Mon Sep 17 00:00:00 2001 From: jochen Date: Thu, 12 Nov 2026 01:05:36 +0100 Subject: [PATCH] Design 39 bus-and-switch: the lead's answer B44, the carry-over carries live leases Claude-Session: https://claude.ai/code/session_01NcbgfHb9d4T9nq5Q6WqdiJ --- 03-DESIGN/01-to-be/39-milestones/bus-and-switch.md | 3 +++ 1 file changed, 3 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 1b77b45c..d610e3ea 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 @@ -532,3 +532,6 @@ written; they are cited as "design 39 bus-and-switch B*n*". the tool did before for its one view (P4). - **B43** (B32 for a consumer absent from the first view): a `licence-bindings` key written by an event after the first view was asked is kept; only a key written before it was asked, and absent from the view, is removed (P3). +- **B44** (ยง12's leases, review round 1): the carry-over carries each lease still live at its run, as a `leases` key with + its remaining lifetime, so the new manager never refreshes a licence the old one holds a refresh lease on, whatever the + order in which the delivery stops one and starts the other; an expired lease is counted read and not written (P3, P7). -- 2.54.0