From 0bcfff8e1189a619446e496fcb93361eee383c52 Mon Sep 17 00:00:00 2001 From: jochen Date: Wed, 11 Nov 2026 21:55:34 +0100 Subject: [PATCH] =?UTF-8?q?Correct=20A-18:=20checks=20goes=20with=20the=20?= =?UTF-8?q?merge=20states,=20as=20=C2=A7431=20says?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Claude-Session: https://claude.ai/code/session_01JG73KEq4zoDfM9WtYpcQgZ --- 03-DESIGN/01-to-be/47-milestones/G-20-lead-answers.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 bdb578de..1ea0d2d1 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 @@ -70,7 +70,7 @@ names the principle that settles it, and is cited as "design 47 G A-n". supplies it. - **A-18** (§587, §305; principle 7) What G retires leaves no trace: the gate's record type drops the `remove` operation and `OpRemove` (§587: a removal is no operation), and its `table`, `recheck` and `close` go with their handlers and - tools (§305). `checks`, which no line retires, stays. + tools (§305). `checks` goes too, as §431 retires it with the merge states; the check is the runner's now (G-2). - **A-19** (§641, §556; principles 1, 7 and 2) `HearSeatEvents` learns that a stream is kept last per subject from the stream's own info on the bus, with no new parameter; its ordered read at the start filters on the same subjects as its durable; the read's messages go to the same handler as the durable's, so one path handles both; it names the read