From feebb8cb202227f4effb6e74a6b99679c69fc0da Mon Sep 17 00:00:00 2001 From: jochen Date: Wed, 11 Nov 2026 22:16:18 +0100 Subject: [PATCH] Answer A-40: the held writer seeds at Start Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h --- 03-DESIGN/01-to-be/47-milestones/G-20-lead-answers.md | 3 +++ 1 file changed, 3 insertions(+) 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`.