From 24d99ddd249074e9665f277bce22cdde8d59e43c Mon Sep 17 00:00:00 2001 From: jochen Date: Sat, 26 Sep 2026 22:28:59 +0200 Subject: [PATCH] WBS: 3.9 done, and 1.4's client with it --- 03-DESIGN/01-to-be/28-building-the-bus.md | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/03-DESIGN/01-to-be/28-building-the-bus.md b/03-DESIGN/01-to-be/28-building-the-bus.md index 7020d0d..fc0d7db 100644 --- a/03-DESIGN/01-to-be/28-building-the-bus.md +++ b/03-DESIGN/01-to-be/28-building-the-bus.md @@ -237,7 +237,7 @@ pays for itself furthest away. - [ ] 3.8 **the declaration model** of [design 29](29-what-a-module-declares.md): local names derived to subjects, the three namespaces, permissions computed from a declaration, and a manifest that contains no subject -- [~] 3.9 **seats declared by modules** — the manifest now carries `seats` (name, scope, +- [x] 3.9 **seats declared by modules** — the manifest now carries `seats` (name, scope, accepts/emits/serves, retention) and `uses`, and registration refuses a `mesh-*` name, a duplicate declarer, an undeclared `uses` or claim, a seat with no protocol, a scope mismatch, and a holder that does not answer what its seat promises. **Still to do**: @@ -248,6 +248,10 @@ pays for itself furthest away. it from one manifest any more, because another module may legitimately declare that seat, so it is registration's. The test that encoded the old rule was rewritten rather than deleted, and a second one pins the case the parser could not distinguish. + + **Done**: a seat's work queue is derived and created, and a holder's worker with it. The + JetStream client behind them is wired and verified against a running server, which also + completes 1.4's missing half — the pure `Asserter` had no implementation until now. - [ ] 3.10 **the ten seat renames**, carried as a migration with a mapping rather than an edit, and the beds that name seats moved with them