2026-09-27 17:06:40 +00:00
1 changed files with 5 additions and 1 deletions
@@ -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