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 9d507504..cc7d524f 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 @@ -521,3 +521,9 @@ written; they are cited as "design 39 bus-and-switch B*n*". short names only ("No licence has room for 4 machines", " at 99% weekly"); the full list, the licence and the reset time go in the condition's detail. A cut at 60 characters with "…" stays as the last guard so a condition is never refused unsaid (P3). +- **B40** (§34's `target`): true for the licence §26 would move a full licence's consumers to once it reaches its + threshold: the best licence with room now, whether or not any licence is at its threshold; so the tools say where + consumers go next (P4). +- **B41** (§9 and §29's whole test and the router): the manager runs whole on the test bus, and its condition is + taken off its subject and decoded by the operator channel's client, the contract the router reads; the router, another + module, is not run in this module's test, and the report says so (P1).