From f9bb4a6d7815efce2c2af69208ee625af1f403fb Mon Sep 17 00:00:00 2001 From: jochen Date: Thu, 12 Nov 2026 02:19:12 +0100 Subject: [PATCH] Answer A-142: a missed step-ended reaches the watchman by its durable consumer 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 d444cc21..a1550953 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 @@ -539,3 +539,6 @@ names the principle that settles it, and is cited as "design 47 G A-n". - **A-141** (§562; principles 1 and 7) The recovery module learns of a move from its own stop: from the stop signal on it answers every new call with an error naming the stop, cancels the running act so its own failure path runs, and ends every accepted act not ended `stopped` with its ending event; a restart is the same. +- **A-142** (§496, §602; principles 1 and 7) A `step-ended` said while the watchman was down reaches it on its + start through its durable consumer of EVENTS, and ends the stuck ask then; nothing re-reads the steps and no + expiry is added.