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.