Answer A-187: the consumer ledger keeps a message's first delivery time

Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h
2026-11-12 09:41:28 +01:00
parent 0a10272f3d
commit 2f5268d97a
1 changed files with 3 additions and 0 deletions
@@ -28,3 +28,6 @@ the principle that settles it, cited as "design 47 G A-n".
 - **A-186** (A-179; principles 3 and 7) `conn.AnswerSeat` takes the seat's definition from its caller, which reads it
  from the seat list it already follows; a verb the definition does not hold, or a definition not yet read, is
  refused for every caller and said so, so a holder answers only once its seat list is read.
+- **A-187** (A-176, §76; principle 3) The consumer ledger keeps a message's first delivery time: a message delivered
+  again (asked again, or after a restart) keeps the time it was first delivered, so a message that never settles
+  grows old and §76's check fires for it.