Answer A-24: the gate's reading verbs answer the delivery records

Claude-Session: https://claude.ai/code/session_01JG73KEq4zoDfM9WtYpcQgZ
2026-11-11 21:54:44 +01:00
parent 21fa15d96d
commit d0597bd2e5
1 changed files with 5 additions and 0 deletions
@@ -92,3 +92,8 @@ names the principle that settles it, and is cited as "design 47 G A-n".
  writer's first statement. mesh-sdk keeps no old `views.Finding` or `FindingWriter` beside the generic writer.
 - **A-23** (§81, §132; principle 7) The gate's `recovery` marks the delivery record through its ordinary update, with one
  field `recovery` holding `by` (the proved caller), `why` and `commit`; no new operation. Then it says `recovery-merged`.
+- **A-24** (§431, §172, §592, §158; principles 7 and 4) Once the merge states go, `deliveries`, `show` and `groups` answer
+  the delivery records as the gate keeps them (G-3 *The delivery record*), filtered by their arguments, with no line
+  form of their own; `stalled` answers the records whose open wait is past its bound, with that wait. The pull-request
+  handlers and their effects stay only where G-3 §158 names what the gate owes the forge, rebuilt on the records; the
+  rest goes with the state table.