From 240f6401ce70fb0139ac0ab06b2e0122b07cc564 Mon Sep 17 00:00:00 2001 From: jochen Date: Sat, 14 Nov 2026 01:32:07 +0100 Subject: [PATCH] Answer A-386: a runner kept as it runs still gains the runner grants of what it carries Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h --- 03-DESIGN/01-to-be/47-milestones/G-22-lead-answers-2.md | 6 ++++++ 1 file changed, 6 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 4790b16a..4448c3d8 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 @@ -837,3 +837,9 @@ the principle that settles it, cited as "design 47 G A-n". and 3; A-363's union) An account grants keeps beyond a pass, a runner's included, is written as the union of the list in force and what this pass composes for it (its carried modules' grants from the trunk's manifests and their bindings), never the list in force alone; a pass that only adds still never takes from a loaded user. +- **A-386** (completes A-385 for runners kept as they run; live 01:31: grants 3c582b1b in, novox.node-tools unchanged + (2004 publish rights, none on KV_mesh-delivery-gate_records_state), since `runnerUsersKept` keeps a runner whose running + manifest does not say it is the tool runner whole (ADR 0601 §4); principles 7 and 3) A runner kept as it runs is written + as the union of the list in force and the runner grants its carried modules' bindings and events give (the ledger + readers, the new-event rights of A-384, the streams' names of A-382): what a carrying runner is given, never what a + plain module is given, so ADR 0601 §4 stands.