Answer A-131: the first view of a seat's view is the holder's first-view tool

Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h
2026-11-12 03:28:15 +01:00
parent 53f119fb48
commit c764f46577
1 changed files with 4 additions and 0 deletions
@@ -506,3 +506,7 @@ names the principle that settles it, and is cited as "design 47 G A-n".
  `removed`, read from the engine; the tool `recovery_kept_points` shows it, and the health check reads the same.
 - **A-130** (A-124, §557; principle 7) The events `set-aside` and `aside-discarded` carry `names` as `Aside` does; the
  recovery module's two bounds are the settings `dump-wait-minutes` (default 60) and `point-keep-days`.
+- **A-131** (corrects A-119's first view; §616; principle 7) The builder's first view of the assignments is asked of
+  the view's own first-view tool on its holder (`<holder>.assignments`), the holder found at runtime by A-126's helper
+  and the builder among the view's callers; the seat-form `consumes` of the view covers it, and the seat verb
+  `assignments` keeps its own answer.