diff --git a/03-DESIGN/01-to-be/47-milestones/G-20-lead-answers.md b/03-DESIGN/01-to-be/47-milestones/G-20-lead-answers.md index 988f4ff3..61bfb933 100644 --- a/03-DESIGN/01-to-be/47-milestones/G-20-lead-answers.md +++ b/03-DESIGN/01-to-be/47-milestones/G-20-lead-answers.md @@ -152,3 +152,7 @@ names the principle that settles it, and is cited as "design 47 G A-n". - **A-40** (A-29, A-37; principle 7) The held writer seeds what it holds from its state at `Start`, not when it is made, so every module makes it at once, as it makes the plain writer, and no stdio module waits for `Served` in an adapter of its own; a `Write` before `Start` is held and written at `Start`. +- **A-41** (§492, §604, §546; principle 1) A part reads another module's data only by asking it, so the checker and the + indexer stop reading the build modules' `toolchains` buckets: they take a toolchain from the builder's own read verb + or event where one serves it today. Where none does, the restored read stays for G, built as mesh-delivery 7a3c312a + has it, and the lead notes it for the next milestone; no new verb is added in G for it.