From 3658ceb1b68c21e6a3b4a8eca2e35a6e7d82b53b Mon Sep 17 00:00:00 2001
From: jochen <jschoubben@gmail.com>
Date: Wed, 11 Nov 2026 21:36:41 +0100
Subject: [PATCH] K26 (D-34): the definition format takes a state's view field,
 and the assigner's assignments and seat-holders carry it
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Builds: design 47 G §699 (§616; ADR 0571 §6)

Claude-Session: https://claude.ai/code/session_01JG73KEq4zoDfM9WtYpcQgZ
---
 format/seat-definition.schema.json   | 5 +++++
 seats/mesh-module-assigner/seat.json | 2 ++
 2 files changed, 7 insertions(+)

diff --git a/format/seat-definition.schema.json b/format/seat-definition.schema.json
index d162c07..504c2d5 100644
--- a/format/seat-definition.schema.json
+++ b/format/seat-definition.schema.json
@@ -525,6 +525,11 @@
         },
         "description": {
           "type": "string"
+        },
+        "view": {
+          "type": "boolean",
+          "const": true,
+          "description": "true when the seat offers the state as a view for a module to follow by `consumes` (design 47 G 699; ADR 0571 §6); the manifest validator refuses a seat-named view of a state without it"
         }
       }
     },
diff --git a/seats/mesh-module-assigner/seat.json b/seats/mesh-module-assigner/seat.json
index cd483f5..247f86b 100644
--- a/seats/mesh-module-assigner/seat.json
+++ b/seats/mesh-module-assigner/seat.json
@@ -190,6 +190,7 @@
     {
       "name": "assignments",
       "template": "state",
+      "view": true,
       "key-forms": [
         {
           "key": "<node>.node",
@@ -364,6 +365,7 @@
     {
       "name": "seat-holders",
       "template": "state",
+      "view": true,
       "key-forms": [
         {
           "key": "<seat>",