From 29692693fa89f75f0104934ee1b4ba360c3b3c18 Mon Sep 17 00:00:00 2001 From: jochen Date: Thu, 12 Nov 2026 01:16:45 +0100 Subject: [PATCH] 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 --- 03-DESIGN/01-to-be/47-milestones/G-20-lead-answers.md | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/03-DESIGN/01-to-be/47-milestones/G-20-lead-answers.md b/03-DESIGN/01-to-be/47-milestones/G-20-lead-answers.md index 967135ec..fc93287b 100644 --- a/03-DESIGN/01-to-be/47-milestones/G-20-lead-answers.md +++ b/03-DESIGN/01-to-be/47-milestones/G-20-lead-answers.md @@ -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:.` 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.