Area 1 (join 11): the bootstrapped seat definitions and their copies follow the contracts' files

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
This commit is contained in:
2026-11-12 10:57:48 +01:00
parent 78ed82c668
commit 5908076f33
12 changed files with 252 additions and 6 deletions
+12 -1
View File
@@ -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": {
+2 -1
View File
@@ -651,7 +651,8 @@
"silenced",
"silence-ended",
"cleared",
"words"
"words",
"owner"
]
},
"was": {
+67
View File
@@ -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.<node>.seat-list-unread`"
},
{
"name": "bounds",
"template": "state",
"writer": "holder",
"history": 1,
"key-forms": [
{
"key": "<what>.<id>",
"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 <what>.<id> 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": [
@@ -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"
@@ -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": {
@@ -651,7 +651,8 @@
"silenced",
"silence-ended",
"cleared",
"words"
"words",
"owner"
]
},
"was": {
@@ -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.<node>.seat-list-unread`"
},
{
"name": "bounds",
"template": "state",
"writer": "holder",
"history": 1,
"key-forms": [
{
"key": "<what>.<id>",
"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 <what>.<id> 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": [
@@ -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"
@@ -651,7 +651,8 @@
"silenced",
"silence-ended",
"cleared",
"words"
"words",
"owner"
]
},
"was": {
@@ -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"
@@ -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.<node>.seat-list-unread`"
},
{
"name": "bounds",
"template": "state",
"writer": "holder",
"history": 1,
"key-forms": [
{
"key": "<what>.<id>",
"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 <what>.<id> 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": [
@@ -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": {