Answer A-38: the held writer answers what it holds

2026-11-11 22:11:30 +01:00
parent 528a7ee41c
commit efec941fa7
1 changed files with 3 additions and 0 deletions
@@ -138,3 +138,6 @@ names the principle that settles it, and is cited as "design 47 G A-n".
 - **A-37** (A-16, A-29, A-32; principles 7 and 3) The held writer has a stdio form, `views.NewStdioHeldWriter`, filling
  `Publish` and `Listen` as A-16's does, so no module writes the adapter; and the held writer holds every finding
  written through it, its `WriteWire` included, so a reader's findings are in its statement too.
+- **A-38** (A-29, A-32; principles 4 and 7) The held writer can be read: `HeldWriter.Held()` answers the findings it holds,
+  so a part that diffs or looks up its open findings (artifact-store-tools, mesh-config) reads them there and keeps no
+  set of its own.