Design 39 bus-and-switch: the lead's answer B44, the carry-over carries live leases

Claude-Session: https://claude.ai/code/session_01NcbgfHb9d4T9nq5Q6WqdiJ
2026-11-12 01:05:36 +01:00
parent 93f8ef4a2f
commit 28cd959de4
1 changed files with 3 additions and 0 deletions
@@ -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).