Merge pull request 'Design 39 bus-and-switch: the lead's answer B40, a licence's target says where consumers go next' (#566) from design/39-licence-answers-5 into main

2026-11-11 23:32:37 +00:00
parent 84e9f8a192 34f5ee62d2
commit 627ef84453
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).