Design 39 bus-and-switch: the lead's answer B41, the whole test reads the condition through the seat's contract

Claude-Session: https://claude.ai/code/session_01NcbgfHb9d4T9nq5Q6WqdiJ
2026-11-12 00:27:38 +01:00
parent 4f19bdf6fb
commit 34f5ee62d2
1 changed files with 3 additions and 0 deletions
@@ -524,3 +524,6 @@ written; they are cited as "design 39 bus-and-switch B*n*".
 - **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).