K26 (D-34): the definition format takes a state's view field, and the assigner's assignments and seat-holders carry it

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

Claude-Session: https://claude.ai/code/session_01JG73KEq4zoDfM9WtYpcQgZ
This commit is contained in:
2026-11-11 21:36:41 +01:00
parent 78e61c9437
commit 3658ceb1b6
2 changed files with 7 additions and 0 deletions
+5
View File
@@ -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"
}
}
},
+2
View File
@@ -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>",