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 e69d4043..988f4ff3 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 @@ -149,3 +149,6 @@ names the principle that settles it, and is cited as "design 47 G A-n". (` record : ()`, one line) and replaces each member pull request's delivery view with what `show` answers for the record; a comment is said only when the record ends failed or held, naming why. The gate's own findings (`approval-carried-open` first) go through one held writer over its own `findings` state (A-29, A-37). +- **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`.