Answer A-380: the runner's old-objects fallback uses the name grants creates

Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h
2026-11-13 23:18:26 +01:00
parent c1065d9868
commit a95c0d6d98
1 changed files with 4 additions and 0 deletions
@@ -806,3 +806,7 @@ the principle that settles it, cited as "design 47 G A-n".
  principle 7: what exists) The tool runner reaches a module's object store by the binding when one is bound, and
  otherwise by the old `objects` entry its membership names, under the bus name grants created for it
  (`OBJ_<module>_<name>`); a name neither names stays refused as today.
+- **A-380** (corrects A-379's source of the name: grants issues no `objects` map in a membership; principle 7) With no
+  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.