From a95c0d6d98dc34f5e0a8d3130a65166752bab1b2 Mon Sep 17 00:00:00 2001 From: jochen Date: Fri, 13 Nov 2026 23:18:26 +0100 Subject: [PATCH] Answer A-380: the runner's old-objects fallback uses the name grants creates Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h --- 03-DESIGN/01-to-be/47-milestones/G-22-lead-answers-2.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/03-DESIGN/01-to-be/47-milestones/G-22-lead-answers-2.md b/03-DESIGN/01-to-be/47-milestones/G-22-lead-answers-2.md index e33d7a6f..0f63f70d 100644 --- a/03-DESIGN/01-to-be/47-milestones/G-22-lead-answers-2.md +++ b/03-DESIGN/01-to-be/47-milestones/G-22-lead-answers-2.md @@ -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__`); 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, `_` (stream `OBJ__`); the bus's grants to the module's account decide whether it + may, and a refusal is said with the store's name.