Answer A-128: a read in seat form is its own kind in mesh-sdk; reword to the validator

Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h
2026-11-12 03:28:15 +01:00
parent 401f5dcb8b
commit 29692693fa
1 changed files with 4 additions and 1 deletions
@@ -498,4 +498,7 @@ names the principle that settles it, and is cited as "design 47 G A-n".
  (`seatlist`), through the assigner's `assignments` verb; operatorask and the view call it, and no part keeps its own
  copy. The builder's holder at a catalog revision (`versions.HolderOf`) answers another question and stays.
 - **A-127** (A-115 over A-109, A-110) `serves` is read only beside a process's `bus`: mesh-sdk's process parse, the
-  grants part's process-serve composition and the indexer's manifest check test follow A-115; a `serves` inside `bus` is refused.
+  grants part's process-serve composition and the validator's test follow A-115; a `serves` inside `bus` is refused.
+- **A-128** (A-116; principle 7) A `reads` in seat form `seat:<seat>.<state>` is parsed by mesh-sdk's state reader as
+  its own kind, kept apart from a module's read; the validator checks the seat declares the state, and the holder is
+  resolved where it is read, by A-126's helper.