Answer A-381: grants' own account may list stream names, which its stream assertion starts with

Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h
This commit is contained in:
2026-11-13 23:59:02 +01:00
parent a95c0d6d98
commit be264026b5
@@ -810,3 +810,8 @@ the principle that settles it, cited as "design 47 G A-n".
binding of that local name, the runner reaches the store under the name grants creates for a module's old `objects`
entry, `<module>_<name>` (stream `OBJ_<module>_<name>`); the bus's grants to the module's account decide whether it
may, and a refusal is said with the store's name.
- **A-381** (live start, novox 23:42-23:58: grants is "Permissions Violation for Publish to $JS.API.STREAM.NAMES" while the
loaded list grants it STREAM.CREATE/INFO of each kept seat stream, so its assertion of the seats' kept events never
reaches the create and SEAT_mesh-conditions_findings-asked stays missing; every bundle with a finding writer exits;
principle 7) Grants' own account carries `$JS.API.STREAM.NAMES` (the read its assertion of kept streams starts with),
composed with the create rights of A-364.