From c6d92446e6973876477bfb9f876eba0780cb65ff Mon Sep 17 00:00:00 2001 From: jochen Date: Mon, 12 Oct 2026 21:09:24 +0200 Subject: [PATCH] =?UTF-8?q?To-be=2045=20=C2=A75:=20say=20what=20the=20hold?= =?UTF-8?q?er=20does=20while=20the=20controller=20cannot=20be=20read,=20an?= =?UTF-8?q?d=20that=20every=20fold=20and=20hold=20is=20recorded=20(ADR=200?= =?UTF-8?q?318,=20issue=20271)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .../01-to-be/45-a-core-that-cannot-fail-silently.md | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/03-DESIGN/01-to-be/45-a-core-that-cannot-fail-silently.md b/03-DESIGN/01-to-be/45-a-core-that-cannot-fail-silently.md index fe551841..01249661 100644 --- a/03-DESIGN/01-to-be/45-a-core-that-cannot-fail-silently.md +++ b/03-DESIGN/01-to-be/45-a-core-that-cannot-fail-silently.md @@ -384,10 +384,11 @@ section; to-be 46 §13 builds what follows from it. when an event older than its last reading arrives, the holder reads the open conditions from the controller and takes them as its state; an event is acted on only when it is newer than that reading (five seconds of clock slack) and its own `at` is no more than ten minutes old — otherwise it is - recorded as state and never said as its own message. Ends and drops below are recorded in the - holder's own history. A condition open in the holder's state but absent from the - controller's open set ended while the holder was away, and is closed quietly: edited where a channel - can, never sent to wake a desktop. A clearing of something never said says nothing, and a message + recorded as state and never said as its own message. While the controller cannot be read, the `at` + test alone decides, and the reading is asked for again until it is had. Every close, drop, fold into + a digest and hold under the cap is recorded in the holder's own history. A condition open in the + holder's state but absent from the controller's open set ended while the holder was away, and is + closed quietly: edited where a channel can, never sent to wake a desktop. A clearing of something never said says nothing, and a message still waiting is dropped the moment its clearing is read. Every urgent condition a reading finds open and unsaid is named once, together, in one digest; when the grace minute ends, each still open and unacknowledged is then sent as its own message with its answers. A grace minute follows every start or