K7, K8, K9 (the seat mesh-recovery): its verbs, its events and its place in the module

The seat is defined whole in scope mesh: snapshot-kept, restore-kept, kept-points, restore-aside and cancel (the verbs
of the four forms §516 gives and §566 names; take, restore, retry, aside, discard-aside and expire-points wait for D-19),
events ended, restore-started, restored, set-aside, aside-discarded, point-removed (<module>.<kept>) and expiry-ended,
each kept 90 days and last per subject but expiry-ended, which has no parts and so no last-per-subject. The four acts
that a process answers say by-caller; no verb names callers. The artifacts go-meshrecovery and ts-meshrecovery are in
module.json, the seat in seats/index.json. Generated code waits for K21; the generator reads a verb's by-caller only
once mesh-sdk's reader release (§621) knows it.

Builds: design 47 G §516, §517, §523, §551, §554, §560, §563, §566, §567, §656, §659

Claude-Session: https://claude.ai/code/session_01JG73KEq4zoDfM9WtYpcQgZ
This commit is contained in:
2026-11-11 20:31:03 +01:00
parent 9cefd47223
commit 9243f8c44f
5 changed files with 1052 additions and 0 deletions
+18
View File
@@ -29,6 +29,15 @@
],
"generated-from": "."
},
{
"name": "go-meshrecovery",
"kind": "package",
"language": "go",
"paths": [
"go/seats/meshrecovery"
],
"generated-from": "."
},
{
"name": "go-meshconfig",
"kind": "package",
@@ -56,6 +65,15 @@
],
"generated-from": "."
},
{
"name": "ts-meshrecovery",
"kind": "package",
"language": "typescript",
"paths": [
"ts/seats/meshrecovery"
],
"generated-from": "."
},
{
"name": "ts-meshconfig",
"kind": "package",