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).