Answer A-141: the recovery module acts on its own stop
Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h
This commit is contained in:
@@ -536,3 +536,6 @@ names the principle that settles it, and is cited as "design 47 G A-n".
|
||||
- **A-140** (§681; principles 3 and 7) After its cancel is asked at the bound, the recovery module waits one more bound
|
||||
of `snapshot-restore-wait-minutes` for that act's snapshot-restored; none heard is "answers neither". A keeper that
|
||||
answers `busy` ends the act failed before any aside, naming the keeper's running act.
|
||||
- **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.
|
||||
|
||||
Reference in New Issue
Block a user