Answer A-179: the seat server refuses the unproven; the grants hold the rest

Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h
2026-11-12 09:41:28 +01:00
parent 07aa46a02d
commit f053779abe
1 changed files with 5 additions and 0 deletions
@@ -675,3 +675,8 @@ names the principle that settles it, and is cited as "design 47 G A-n".
  `view_read_answers` (mesh-sdk `views.ReadTool`, in the view's tools bundle, the teller among its callers) and a
  marks state `view-marks` (history 1), as the assigner and the indexer have; the teller's side is the same, with
  `teller_read_answers` and `teller-marks`.
+- **A-179** (refines A-165; §610, §336; principles 3 and 7) Where a seat's verb is answered, an unproven caller is
+  refused, and so is every caller when the verb's effective callers are empty; a proven caller is taken as among
+  them, since the grants part composes a verb's call subject only for the callers its effective list names, so the
+  bus holds the rest out. `seatdef.DefaultCallers` follows §610 (act, warrant and accept: operator, sessions and
+  invokers).