From 5908076f338ac4641ac1e6c41accbf00ebe0de47 Mon Sep 17 00:00:00 2001 From: jochen Date: Thu, 12 Nov 2026 10:57:48 +0100 Subject: [PATCH] Area 1 (join 11): the bootstrapped seat definitions and their copies follow the contracts' files MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Builds: design 47 G A-234 (the step comment and input chunks of the node-engine seat), ADR 0635 §3 Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h --- go/seatlist/bootstrap/mesh-catalog.json | 13 +++- go/seatlist/bootstrap/mesh-conditions.json | 3 +- go/seatlist/bootstrap/node-engine.json | 67 +++++++++++++++++++ go/seatlist/bootstrap/operator-channel.json | 3 + .../seatlisttest/seats/mesh-catalog.json | 13 +++- .../seatlisttest/seats/mesh-conditions.json | 3 +- .../seatlisttest/seats/node-engine.json | 67 +++++++++++++++++++ .../seatlisttest/seats/operator-channel.json | 3 + .../seats/mesh-conditions/seat.json.captured | 3 +- .../seats/operator-channel/seat.json.captured | 3 + .../seats/node-engine/seat.json.captured | 67 +++++++++++++++++++ .../seats/mesh-catalog/seat.json.captured | 13 +++- 12 files changed, 252 insertions(+), 6 deletions(-) diff --git a/go/seatlist/bootstrap/mesh-catalog.json b/go/seatlist/bootstrap/mesh-catalog.json index 8c9841db..cd1d0387 100644 --- a/go/seatlist/bootstrap/mesh-catalog.json +++ b/go/seatlist/bootstrap/mesh-catalog.json @@ -266,6 +266,10 @@ "type": "string", "description": "a candidate's heads" }, + "source": { + "type": "integer", + "description": "a candidate's source revision: the revision of the branch's series taken in from it, with its entries (design 47 G section 441)" + }, "after": { "type": "string", "description": "the last module of the page before; absent: the first page" @@ -1846,7 +1850,7 @@ }, "step": { "type": "string", - "description": "take-in, validate, check, build, compose, grant or place" + "description": "take-in, validate, check, build, compose, grant, place or pipeline" }, "on": { "type": "string", @@ -1940,6 +1944,13 @@ "type": "string" } }, + "contributes": { + "type": "array", + "items": { + "type": "string" + }, + "description": "the requirements the manifest's contributes object names as keys, sorted, its local names not carried; each is also in requires (design 47 G section 709)" + }, "awaits": { "type": "array", "items": { diff --git a/go/seatlist/bootstrap/mesh-conditions.json b/go/seatlist/bootstrap/mesh-conditions.json index e5d45a86..256519bc 100644 --- a/go/seatlist/bootstrap/mesh-conditions.json +++ b/go/seatlist/bootstrap/mesh-conditions.json @@ -651,7 +651,8 @@ "silenced", "silence-ended", "cleared", - "words" + "words", + "owner" ] }, "was": { diff --git a/go/seatlist/bootstrap/node-engine.json b/go/seatlist/bootstrap/node-engine.json index 19a8dd52..37bc9853 100644 --- a/go/seatlist/bootstrap/node-engine.json +++ b/go/seatlist/bootstrap/node-engine.json @@ -494,6 +494,29 @@ "provisioner_account" ], "description": "of the node's own composition, its own fields beside what runs names" + }, + "withheld": { + "type": "array", + "description": "the module's marked subjects the grants part withholds from this node's runtime, each with why, read through mesh-grants' verb withheld (design 46 approval mark 6)", + "items": { + "type": "object", + "properties": { + "subject": { + "type": "string" + }, + "why": { + "type": "string" + } + }, + "required": [ + "subject", + "why" + ] + } + }, + "withheld-unknown": { + "type": "string", + "description": "withheld unknown: the grants part does not answer, when its verb withheld did not answer" } }, "required": [ @@ -1596,6 +1619,39 @@ } ], "description": "the findings this node's engine raises about itself, one key per finding, in the layout of the seat mesh-conditions (its findings state): a key written raises the condition of the same key, a key deleted clears it (novox/hq ADR 0564 §2, ADR 0636 §1); today `machine..seat-list-unread`" + }, + { + "name": "bounds", + "template": "state", + "writer": "holder", + "history": 1, + "key-forms": [ + { + "key": ".", + "value": { + "type": "object", + "description": "one bound a wait of the node-engine runs against, kept with its own time to live: its expiry is heard as the bus's delete marker and ends the wait (design 47 G §560, A-77)", + "properties": { + "v": { + "type": "integer", + "description": "layout version, 1" + }, + "since": { + "type": "string", + "description": "when the wait began, RFC 3339" + }, + "module": { + "type": "string" + } + }, + "required": [ + "v", + "since" + ] + } + } + ], + "description": "the bounds of the node-engine's waits, each a key . with its own time to live (design 47 G A-92)" } ], "defs": { @@ -2309,6 +2365,17 @@ "items": { "type": "string" } + }, + "runner-capabilities": { + "type": "array", + "items": { + "type": "string" + }, + "description": "the capabilities this node's tool runner states of the calls it answers, as its announcement carries them (design 46 approval mark 6)" + }, + "runner-fingerprint": { + "type": "string", + "description": "the fingerprint of the tool runner that stated runner-capabilities, as its announcement carries it; empty when it stated none" } }, "required": [ diff --git a/go/seatlist/bootstrap/operator-channel.json b/go/seatlist/bootstrap/operator-channel.json index 31f7db86..3c44a1b1 100644 --- a/go/seatlist/bootstrap/operator-channel.json +++ b/go/seatlist/bootstrap/operator-channel.json @@ -312,6 +312,9 @@ "type": "string", "description": "when the ask was held back, RFC 3339; present while its state is held-back" }, + "warrant": { + "$ref": "#/defs/Warrant" + }, "answer": { "type": "string", "description": "how it ended, in words" diff --git a/go/seatlist/seatlisttest/seats/mesh-catalog.json b/go/seatlist/seatlisttest/seats/mesh-catalog.json index 8c9841db..cd1d0387 100644 --- a/go/seatlist/seatlisttest/seats/mesh-catalog.json +++ b/go/seatlist/seatlisttest/seats/mesh-catalog.json @@ -266,6 +266,10 @@ "type": "string", "description": "a candidate's heads" }, + "source": { + "type": "integer", + "description": "a candidate's source revision: the revision of the branch's series taken in from it, with its entries (design 47 G section 441)" + }, "after": { "type": "string", "description": "the last module of the page before; absent: the first page" @@ -1846,7 +1850,7 @@ }, "step": { "type": "string", - "description": "take-in, validate, check, build, compose, grant or place" + "description": "take-in, validate, check, build, compose, grant, place or pipeline" }, "on": { "type": "string", @@ -1940,6 +1944,13 @@ "type": "string" } }, + "contributes": { + "type": "array", + "items": { + "type": "string" + }, + "description": "the requirements the manifest's contributes object names as keys, sorted, its local names not carried; each is also in requires (design 47 G section 709)" + }, "awaits": { "type": "array", "items": { diff --git a/go/seatlist/seatlisttest/seats/mesh-conditions.json b/go/seatlist/seatlisttest/seats/mesh-conditions.json index e5d45a86..256519bc 100644 --- a/go/seatlist/seatlisttest/seats/mesh-conditions.json +++ b/go/seatlist/seatlisttest/seats/mesh-conditions.json @@ -651,7 +651,8 @@ "silenced", "silence-ended", "cleared", - "words" + "words", + "owner" ] }, "was": { diff --git a/go/seatlist/seatlisttest/seats/node-engine.json b/go/seatlist/seatlisttest/seats/node-engine.json index 19a8dd52..37bc9853 100644 --- a/go/seatlist/seatlisttest/seats/node-engine.json +++ b/go/seatlist/seatlisttest/seats/node-engine.json @@ -494,6 +494,29 @@ "provisioner_account" ], "description": "of the node's own composition, its own fields beside what runs names" + }, + "withheld": { + "type": "array", + "description": "the module's marked subjects the grants part withholds from this node's runtime, each with why, read through mesh-grants' verb withheld (design 46 approval mark 6)", + "items": { + "type": "object", + "properties": { + "subject": { + "type": "string" + }, + "why": { + "type": "string" + } + }, + "required": [ + "subject", + "why" + ] + } + }, + "withheld-unknown": { + "type": "string", + "description": "withheld unknown: the grants part does not answer, when its verb withheld did not answer" } }, "required": [ @@ -1596,6 +1619,39 @@ } ], "description": "the findings this node's engine raises about itself, one key per finding, in the layout of the seat mesh-conditions (its findings state): a key written raises the condition of the same key, a key deleted clears it (novox/hq ADR 0564 §2, ADR 0636 §1); today `machine..seat-list-unread`" + }, + { + "name": "bounds", + "template": "state", + "writer": "holder", + "history": 1, + "key-forms": [ + { + "key": ".", + "value": { + "type": "object", + "description": "one bound a wait of the node-engine runs against, kept with its own time to live: its expiry is heard as the bus's delete marker and ends the wait (design 47 G §560, A-77)", + "properties": { + "v": { + "type": "integer", + "description": "layout version, 1" + }, + "since": { + "type": "string", + "description": "when the wait began, RFC 3339" + }, + "module": { + "type": "string" + } + }, + "required": [ + "v", + "since" + ] + } + } + ], + "description": "the bounds of the node-engine's waits, each a key . with its own time to live (design 47 G A-92)" } ], "defs": { @@ -2309,6 +2365,17 @@ "items": { "type": "string" } + }, + "runner-capabilities": { + "type": "array", + "items": { + "type": "string" + }, + "description": "the capabilities this node's tool runner states of the calls it answers, as its announcement carries them (design 46 approval mark 6)" + }, + "runner-fingerprint": { + "type": "string", + "description": "the fingerprint of the tool runner that stated runner-capabilities, as its announcement carries it; empty when it stated none" } }, "required": [ diff --git a/go/seatlist/seatlisttest/seats/operator-channel.json b/go/seatlist/seatlisttest/seats/operator-channel.json index 31f7db86..3c44a1b1 100644 --- a/go/seatlist/seatlisttest/seats/operator-channel.json +++ b/go/seatlist/seatlisttest/seats/operator-channel.json @@ -312,6 +312,9 @@ "type": "string", "description": "when the ask was held back, RFC 3339; present while its state is held-back" }, + "warrant": { + "$ref": "#/defs/Warrant" + }, "answer": { "type": "string", "description": "how it ended, in words" diff --git a/go/testdata/beside/mesh-contracts/health-and-repair/seats/mesh-conditions/seat.json.captured b/go/testdata/beside/mesh-contracts/health-and-repair/seats/mesh-conditions/seat.json.captured index e5d45a86..256519bc 100644 --- a/go/testdata/beside/mesh-contracts/health-and-repair/seats/mesh-conditions/seat.json.captured +++ b/go/testdata/beside/mesh-contracts/health-and-repair/seats/mesh-conditions/seat.json.captured @@ -651,7 +651,8 @@ "silenced", "silence-ended", "cleared", - "words" + "words", + "owner" ] }, "was": { diff --git a/go/testdata/beside/mesh-contracts/operator-and-conversation/seats/operator-channel/seat.json.captured b/go/testdata/beside/mesh-contracts/operator-and-conversation/seats/operator-channel/seat.json.captured index 31f7db86..3c44a1b1 100644 --- a/go/testdata/beside/mesh-contracts/operator-and-conversation/seats/operator-channel/seat.json.captured +++ b/go/testdata/beside/mesh-contracts/operator-and-conversation/seats/operator-channel/seat.json.captured @@ -312,6 +312,9 @@ "type": "string", "description": "when the ask was held back, RFC 3339; present while its state is held-back" }, + "warrant": { + "$ref": "#/defs/Warrant" + }, "answer": { "type": "string", "description": "how it ended, in words" diff --git a/go/testdata/beside/mesh-contracts/seats/node-engine/seat.json.captured b/go/testdata/beside/mesh-contracts/seats/node-engine/seat.json.captured index 19a8dd52..37bc9853 100644 --- a/go/testdata/beside/mesh-contracts/seats/node-engine/seat.json.captured +++ b/go/testdata/beside/mesh-contracts/seats/node-engine/seat.json.captured @@ -494,6 +494,29 @@ "provisioner_account" ], "description": "of the node's own composition, its own fields beside what runs names" + }, + "withheld": { + "type": "array", + "description": "the module's marked subjects the grants part withholds from this node's runtime, each with why, read through mesh-grants' verb withheld (design 46 approval mark 6)", + "items": { + "type": "object", + "properties": { + "subject": { + "type": "string" + }, + "why": { + "type": "string" + } + }, + "required": [ + "subject", + "why" + ] + } + }, + "withheld-unknown": { + "type": "string", + "description": "withheld unknown: the grants part does not answer, when its verb withheld did not answer" } }, "required": [ @@ -1596,6 +1619,39 @@ } ], "description": "the findings this node's engine raises about itself, one key per finding, in the layout of the seat mesh-conditions (its findings state): a key written raises the condition of the same key, a key deleted clears it (novox/hq ADR 0564 §2, ADR 0636 §1); today `machine..seat-list-unread`" + }, + { + "name": "bounds", + "template": "state", + "writer": "holder", + "history": 1, + "key-forms": [ + { + "key": ".", + "value": { + "type": "object", + "description": "one bound a wait of the node-engine runs against, kept with its own time to live: its expiry is heard as the bus's delete marker and ends the wait (design 47 G §560, A-77)", + "properties": { + "v": { + "type": "integer", + "description": "layout version, 1" + }, + "since": { + "type": "string", + "description": "when the wait began, RFC 3339" + }, + "module": { + "type": "string" + } + }, + "required": [ + "v", + "since" + ] + } + } + ], + "description": "the bounds of the node-engine's waits, each a key . with its own time to live (design 47 G A-92)" } ], "defs": { @@ -2309,6 +2365,17 @@ "items": { "type": "string" } + }, + "runner-capabilities": { + "type": "array", + "items": { + "type": "string" + }, + "description": "the capabilities this node's tool runner states of the calls it answers, as its announcement carries them (design 46 approval mark 6)" + }, + "runner-fingerprint": { + "type": "string", + "description": "the fingerprint of the tool runner that stated runner-capabilities, as its announcement carries it; empty when it stated none" } }, "required": [ diff --git a/go/testdata/beside/mesh-delivery/modules/mesh-delivery-contracts/seats/mesh-catalog/seat.json.captured b/go/testdata/beside/mesh-delivery/modules/mesh-delivery-contracts/seats/mesh-catalog/seat.json.captured index 8c9841db..cd1d0387 100644 --- a/go/testdata/beside/mesh-delivery/modules/mesh-delivery-contracts/seats/mesh-catalog/seat.json.captured +++ b/go/testdata/beside/mesh-delivery/modules/mesh-delivery-contracts/seats/mesh-catalog/seat.json.captured @@ -266,6 +266,10 @@ "type": "string", "description": "a candidate's heads" }, + "source": { + "type": "integer", + "description": "a candidate's source revision: the revision of the branch's series taken in from it, with its entries (design 47 G section 441)" + }, "after": { "type": "string", "description": "the last module of the page before; absent: the first page" @@ -1846,7 +1850,7 @@ }, "step": { "type": "string", - "description": "take-in, validate, check, build, compose, grant or place" + "description": "take-in, validate, check, build, compose, grant, place or pipeline" }, "on": { "type": "string", @@ -1940,6 +1944,13 @@ "type": "string" } }, + "contributes": { + "type": "array", + "items": { + "type": "string" + }, + "description": "the requirements the manifest's contributes object names as keys, sorted, its local names not carried; each is also in requires (design 47 G section 709)" + }, "awaits": { "type": "array", "items": {