Merge pull request 'Design 39 bus-and-switch: the lead's answer B42, the vault asks one first view again by name' (#567) from design/39-licence-answers-6 into main

2026-11-11 23:39:30 +00:00
parent 627ef84453 4e2bf72219
commit 7092d2afa9
1 changed files with 3 additions and 0 deletions
@@ -527,3 +527,6 @@ written; they are cited as "design 39 bus-and-switch B*n*".
 - **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).
+- **B42** (which first view `vault_first_view_again` asks again): a new argument `of` names the view by its owner's
+  state (`mesh-delivery-assigner.assignments` or `claude-licence-manager.bindings`); absent, both are asked again, as
+  the tool did before for its one view (P4).