Answer A-40: the held writer seeds at Start

Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h
2026-11-11 22:16:18 +01:00
parent 867229003b
commit feebb8cb20
1 changed files with 3 additions and 0 deletions
@@ -149,3 +149,6 @@ names the principle that settles it, and is cited as "design 47 G A-n".
  (`<at> record <key>: <what changed> (<why>)`, 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`.