Answer A-166: the runner keeps when, the health works out the age

Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h
2026-11-12 09:41:28 +01:00
parent d71bd5d0fa
commit 7ebdfb3278
1 changed files with 4 additions and 0 deletions
@@ -619,3 +619,7 @@ names the principle that settles it, and is cited as "design 47 G A-n".
  mesh-sdk's seat server (`conn.AnswerSeat`) and the tool runner's `serveSeats` read `seatdef.EffectiveCallers` and
  refuse a caller outside them, the unproven one included, before the holder runs; a holder keeps no caller check of
  its own.
+- **A-166** (A-164, §76, §495; principles 1 and 7) The runner keeps a state `consumers` (history 1, a key per
+  consumer) holding the time its oldest unacknowledged message was delivered, written when a message is delivered or
+  acknowledged; `runner_health` works the age out as now minus that time when it is read, so nothing is read on a
+  timer.