2026-11-11 23:32:37 +00:00
1 changed files with 6 additions and 0 deletions
@@ -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", "<account> 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).