Answer A-142: a missed step-ended reaches the watchman by its durable consumer

Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h
2026-11-12 03:28:16 +01:00
parent 61b2a273f2
commit f9bb4a6d78
1 changed files with 3 additions and 0 deletions
@@ -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.