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 063f2ebb..95464c74 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 @@ -140,3 +140,10 @@ the principle that settles it, cited as "design 47 G A-n". revision before its take-in, as §16 says; A-86 holds only for `KeepInput`, which the indexer's `input` verb calls for a run on request's asker. The run's input and job, what holds the pending revision meanwhile, and how a non-trunk branch's pending revision and groups are made go to design lines. +- **A-214** (§366, §623; principle 7) `show` and `kept` read each store's fill through the bundle's state call + `mesh/state.info` (§623), as the forge module's read tool does; the runner's process writes nothing for it. + `pipeline-failed` takes scope `merge`, id the commit. +- **A-215** (§71, §275, §335, A-207; principles 3 and 7) For `widens`, the pipeline's own revision (the candidate) is + compared with the branch's newest revision: an acting rule widens when an entry's `Acts` gains a rule, or a rule's + `on` now names more, or its `bound` is longer; a credential widens when an entry's manifest names an own secret or + provision of a credential it did not name before; permissions come from `grants-for`.