Answer A-143: the recovery module's waits are bound keys

Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h
2026-11-12 03:28:16 +01:00
parent f9bb4a6d78
commit 47583173db
1 changed files with 2 additions and 0 deletions
@@ -542,3 +542,5 @@ names the principle that settles it, and is cited as "design 47 G A-n".
 - **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.
+- **A-143** (A-77, A-138; principle 1) The recovery module's dump wait and snapshot-restored wait are bound keys in
+  its state `bounds` as well, their expiry heard on its watch; no timer stays in the process.