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 cc7d524f..3de391f7 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 @@ -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).