Answer A-383: a right every account carries reaches a kept account too

Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h
This commit is contained in:
2026-11-14 00:22:48 +01:00
parent 2c67b2e53b
commit 8af69b2082
@@ -820,3 +820,8 @@ the principle that settles it, cited as "design 47 G A-n".
through `$JS.API.STREAM.NAMES`, which novox.node-tools may not publish, while EVENTS carries `mesh.seat.*.event.>`;
principles 7 and 6) Every account grants composes carries `$JS.API.STREAM.NAMES`, the read of stream names by subject
that hearing an event starts with; it lists names only.
- **A-383** (completes A-382; live 00:21: list revision 274 loaded, yet novox.node-tools still lacks
`$JS.API.STREAM.NAMES` (1805 publish rights, unchanged), since grants keeps an account it holds "beyond this pass" as
the list in force while the catalog half is unread; principles 7 and 3) A right every account carries (A-382) is added
to every account grants writes, a kept one included: keeping an account in force never withholds what every account
is given. A pass that only adds still never takes from a loaded user.