@agentshouse/mdruntime-adapter 0.1.0-ca218e62303fd → 0.1.0-cac600691781e

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
package/AGENTS.md CHANGED
@@ -5,305 +5,292 @@ Repository, change it, build, and push. They are documentation, not enforcement.
5
5
 
6
6
  ## The MD Runtime API
7
7
 
8
- App code reaches the MD Runtime through the remote client. The surfaces are
9
- Rooms, Query, Search, Observe, Types, Room Draft, Save, History, the binary file
10
- reads, Call, Reached, Log, the reported persistence answer, reauthorization,
11
- conversation, the chat draft, and Presentation State. Sync Status, the Service
12
- Mode, the storage-loss statement, the deployment facts and the signed-in member
13
- are observations only.
14
-
15
- The host attaches each port with its reach, and every member and observation
16
- answers within it: a Room outside it answers as one the replica does not hold,
17
- Rooms lists only the Rooms reached whole, a Room reached for single Documents
18
- shows only those Documents and the Types of the models that govern them, and
19
- without conversations the conversation members, the chat draft and the
20
- conversation observation hold none. A change of the reach reaches every open
21
- observation as its new value, a query keeping unchanged Documents the same objects.
22
-
23
- Every `observe` resolves, once its first value has arrived, to a handle:
24
- `current()` is the latest complete value, `subscribe(listener)` hears each later
25
- value whole and returns its unsubscribe, and `close()` ends the observation.
26
- Closing the port ends every handle and rejects every pending call and
27
- observation; a client that reconnects observes again.
28
-
29
- `observe('agents')` answers every Agent a new conversation can go to, each
30
- `{ identity, name }`, whether or not it has a conversation yet. Each conversation
31
- the Provider's conversation list names is held complete in the browser.
32
- `conversation.list()` and `observe('conversations')` answer each with its Agent's
33
- identity and name, its name, created and finished times, last outcome and live
34
- `state`: `asking` while a question waits, `working` while a turn runs, else
35
- `idle`, and `started`, when the running turn began, or `null`. Observe one with
36
- `observe('conversation', id, { limit })`: the view holds a window of its latest
37
- `limit` messages, or all of them, oldest first, its chat draft, and what the Provider
38
- streams for it whether or not anything views it: the running `turn` with its
39
- message parts and its context in use and window, the open questions, the process
40
- state, and the CLI's commands and options. These live only in memory: the
41
- message accepted under the turn's id replaces the running turn, and none of them
42
- is stored or searchable. `chatDraft.write` and `chatDraft.discard` keep what the
43
- App Creator composes; sending it is a Provider Action that needs the Provider
44
- reachable and is never queued.
45
-
46
- A binary file at a Path is a binary Path entry. Query lists it by `path`, and
47
- History each of its revisions, with its `binaryFile` record and never its bytes:
48
- `{ state: 'accepted', revision, path, fileRef, byteLength, mediaType, sha256 }`,
49
- or, from a Save until the Provider accepts it, `{ state: 'pending', localId,
50
- path, byteLength, mediaType, sha256 }`. Write one with a Room Draft whose only
51
- part is `file: { blob }`, the `Blob`'s `type` its media type: Save keeps the
52
- bytes in its Pending Change, offline too, and acceptance gives the record the
53
- Provider's revision. Move or remove one as a Document, a pending one before or
54
- after Save too, its bytes following; once its Pending Change has gone to the
55
- Provider, Save refuses that as `unknown-revision` until it is accepted.
56
- `binaryFile.read(room, path, revision?)` answers a pending record's saved bytes,
57
- or asks the Provider again on every read of an accepted one or of a History
58
- revision, a removed file's last included, keeping nothing. Text, a Record
59
- attachment or a conversation message may name a file by its `fileRef`; read it
60
- with `binaryFile.readReference({ fileRef, referrer })`, the referrer being the
61
- `referrer` the Provider gave beside it, or `{ room, path }` of the document whose
62
- text names it. Both answer `{ kind: 'binary', blob }` or a refusal or failure.
63
-
64
- Rooms, Query, Search, Observe, Types, Room Draft, Save, and Reached never
65
- touch the network. History, the binary file reads and Call go to the Provider
66
- through the Adapter. Call takes the Action names the Adapter declares; any other
67
- name answers `undeclared` without reaching the Provider. A Call result whose
68
- effect the Provider places in a Room carries `at`, that Room and Room Version;
69
- `reached(room, roomVersion)` answers whether the Room's confirmed state has
70
- reached it, and the MD Runtime keeps refreshing that Room until it has;
71
- `reached(room, roomVersion, path)` answers whether the held confirmed copy of
72
- that document was written at a later Room Version. Each History revision
73
- names its author, `{ kind: 'user', id }` or `{ kind: 'site', id, name }`.
74
- History of a Path no current document holds answers the removed document's
75
- revisions with `deleted: true`, newest first; that revision is what a link to
76
- the Path opens. Every member of the client is asynchronous. Results are
77
- detached snapshots. Nothing in this surface returns the authorization, performs
78
- a request the App's code composes, or exposes the browser store.
79
-
80
- Every refusal and failure carries `code` and `retryable`: each Call and History
81
- answer other than its result, a refused Save or Room Draft write, a returned Room
82
- Draft's reason, a Room's refusal and the Connection Refusal, and every error a
83
- member rejects with, beside its message. A Provider refusal carries the
84
- Provider's own `retryable`. Every code and every value the API answers is open:
85
- handle one you do not know by its `code` and `retryable`.
86
-
87
- Read the deployment facts with `observe('deployment-facts')`, an opaque value
88
- the host's contract interprets. `observe('member')` answers who uses the App:
89
- the User the Provider signed in, `{ kind: 'user', id, name }` in the shape of a
90
- change's `author`, so a Document whose `change.author.id` equals its `id` is that
91
- User's own. It is `null` until the Provider first names one, and where it names
92
- none, such as a Site. The MD Runtime keeps it with the Local Replicas, so it
93
- answers offline once known, and every port hears the next member the Provider
94
- names; signing out answers `null`, then ends the observation with the
95
- authorization. It is the only way App code learns who uses it.
8
+ App code reaches the MD Runtime through the remote client. The surfaces are Rooms,
9
+ Query, Search, Observe, Types, Room Draft, Save, History, the binary file reads, Call,
10
+ Reached, Log, the reported persistence answer, reauthorization, conversation, the chat
11
+ draft, and Presentation State. Sync Status, the Service Mode, the storage-loss
12
+ statement, the deployment facts and the signed-in member are observations only.
13
+
14
+ The host attaches each port with its reach, and every member and observation answers
15
+ within it: a Room outside it answers as one the replica does not hold, Rooms lists only
16
+ the Rooms reached whole, a Room reached for single Documents shows only those Documents
17
+ and the Types of the models that govern them, and without conversations the conversation
18
+ members, the chat draft and the conversation observation hold none. A change of the
19
+ reach reaches every open observation as its new value, a query keeping unchanged
20
+ Documents the same objects.
21
+
22
+ Every `observe` resolves, once its first value has arrived, to a handle: `current()` is
23
+ the latest complete value, `subscribe(listener)` hears each later value whole and
24
+ returns its unsubscribe, and `close()` ends the observation. Closing the port ends every
25
+ handle and rejects every pending call and observation; a client that reconnects observes
26
+ again.
27
+
28
+ `observe('agents')` answers every Agent a new conversation can go to, each `{ identity,
29
+ name }`, whether or not it has a conversation yet. Each conversation the Provider's
30
+ conversation list names is held complete in the browser. `conversation.list()` and
31
+ `observe('conversations')` answer each with its Agent's identity and name, its name,
32
+ created and finished times, last outcome and live `state`: `asking` while a question
33
+ waits, `working` while a turn runs, else `idle`, and `started`, when the running turn
34
+ began, or `null`. Observe one with `observe('conversation', id, { limit })`: the view
35
+ holds a window of its latest `limit` messages, or all of them, oldest first, its chat
36
+ draft, and what the Provider streams for it whether or not anything views it: the
37
+ running `turn` with its message parts and its context in use and window, the open
38
+ questions, the process state, and the CLI's commands and options. These live only in
39
+ memory: the message accepted under the turn's id replaces the running turn, and none of
40
+ them is stored or searchable. `chatDraft.write` and `chatDraft.discard` keep what the
41
+ App Creator composes; sending it is a Provider Action that needs the Provider reachable
42
+ and is never queued.
43
+
44
+ A binary file at a Path is a binary Path entry. Query lists it by `path`, and History
45
+ each of its revisions, with its `binaryFile` record and never its bytes: `{ state:
46
+ 'accepted', revision, path, fileRef, byteLength, mediaType, sha256 }`, or, from a Save
47
+ until the Provider accepts it, `{ state: 'pending', localId, path, byteLength,
48
+ mediaType, sha256 }`. Write one with a Room Draft whose only part is `file: { blob }`,
49
+ the `Blob`'s `type` its media type: Save keeps the bytes in its Pending Change, offline
50
+ too, and acceptance gives the record the Provider's revision. Move or remove one as a
51
+ Document, a pending one before or after Save too, its bytes following; once its Pending
52
+ Change has gone to the Provider, Save refuses that as `unknown-revision` until it is
53
+ accepted. `binaryFile.read(room, path, revision?)` answers a pending record's saved
54
+ bytes, or asks the Provider again on every read of an accepted one or of a History
55
+ revision, a removed file's last included, keeping nothing. Text, a Record attachment or
56
+ a conversation message may name a file by its `fileRef`; read it with
57
+ `binaryFile.readReference({ fileRef, referrer })`, the referrer being the `referrer` the
58
+ Provider gave beside it, or `{ room, path }` of the document whose text names it. Both
59
+ answer `{ kind: 'binary', blob }` or a refusal or failure.
60
+
61
+ Rooms, Query, Search, Observe, Types, Room Draft, Save, and Reached never touch the
62
+ network. History, the binary file reads and Call go to the Provider through the Adapter.
63
+ Call takes the Action names the Adapter declares; any other name answers `undeclared`
64
+ without reaching the Provider. A Call result whose effect the Provider places in a Room
65
+ carries `at`, that Room and Room Version; `reached(room, roomVersion)` answers whether
66
+ the Room's confirmed state has reached it, and the MD Runtime keeps refreshing that Room
67
+ until it has; `reached(room, roomVersion, path)` answers whether the held confirmed copy
68
+ of that document was written at a later Room Version. Each History revision names its
69
+ author, `{ kind: 'user', id }` or `{ kind: 'site', id, name }`. History of a Path no
70
+ current document holds answers the removed document's revisions with `deleted: true`,
71
+ newest first; that revision is what a link to the Path opens. Every member of the client
72
+ is asynchronous. Results are detached snapshots. Nothing in this surface returns the
73
+ authorization, performs a request the App's code composes, or exposes the browser store.
74
+
75
+ Every refusal and failure carries `code` and `retryable`: each Call and History answer
76
+ other than its result, a refused Save or Room Draft write, a returned Room Draft's
77
+ reason, a Room's refusal and the Connection Refusal, and every error a member rejects
78
+ with, beside its message. A Provider refusal carries the Provider's own `retryable`.
79
+ Every code and every value the API answers is open: handle one you do not know by its
80
+ `code` and `retryable`.
81
+
82
+ Read the deployment facts with `observe('deployment-facts')`, an opaque value the host's
83
+ contract interprets. `observe('member')` answers who uses the App: the User the Provider
84
+ signed in, `{ kind: 'user', id, name }` in the shape of a change's `author`, so a
85
+ Document whose `change.author.id` equals its `id` is that User's own. It is `null` until
86
+ the Provider first names one, and where it names none, such as a Site. The MD Runtime
87
+ keeps it with the Local Replicas, so it answers offline once known, and every port hears
88
+ the next member the Provider names; signing out answers `null`, then ends the
89
+ observation with the authorization. It is the only way App code learns who uses it.
96
90
 
97
91
  ## Local Query rules
98
92
 
99
- `query(q)` answers once from local state; `observe('query', q)` holds the whole
100
- result and hears it again only when it changes, keeping every unchanged Document
101
- the same object, so a component can tell what changed by identity. An answer is
102
- complete or pending: `{ documents, coverage }` or `{ groups, coverage }` is
103
- complete for the Rooms its `coverage` names, and `{ pending }` names each Room
104
- not yet acquired or prepared, `[{ room, awaits }]`. Never read a pending answer as
105
- empty: draw it as loading, and observe the query to hear the complete one. A
106
- query is data:
107
-
108
- - **Filter.** `rooms` names Room locators and defaults to every Room. `types`
109
- names MD Types, and `any` names untyped Markdown Documents. `pathPrefix` is a
110
- directory: `notes` keeps `notes/a.md` and not `notes2/a.md`.
93
+ `query(q)` answers once from local state; `observe('query', q)` holds the whole result
94
+ and hears it again only when it changes, keeping every unchanged Document the same
95
+ object, so a component can tell what changed by identity. An answer is complete or
96
+ pending: `{ documents, coverage }` or `{ groups, coverage }` is complete for the Rooms
97
+ its `coverage` names, and `{ pending }` names each Room not yet acquired or prepared,
98
+ `[{ room, awaits }]`. Never read a pending answer as empty: draw it as loading, and
99
+ observe the query to hear the complete one. A query is data:
100
+
101
+ - **Filter.** `rooms` names Room locators and defaults to every Room. `types` names MD
102
+ Types, and `any` names untyped Markdown Documents. `pathPrefix` is a directory:
103
+ `notes` keeps `notes/a.md` and not `notes2/a.md`.
111
104
  - **Fields.** Every frontmatter value is named by JSON Pointer: `/status`,
112
- `/shipping/city`, `~1` for a `/` and `~0` for a `~` in a key. A segment that
113
- meets a list applies to every item and a number names one item. `where` names
114
- pointers, ANDs them, and nests `$and` and `$or`; a pointer through a list holds
115
- when any item satisfies it. A bare value is equality; the operators are `$eq`,
116
- `$ne`, `$in`, `$nin`, `$gt`, `$gte`, `$lt`, `$lte`, `$all`, `$size` and
117
- `$exists`. Equality on a list asks whether it contains the value. Missing,
118
- null and empty differ: `$exists: false` keeps a missing field, `null` an
119
- explicit null, `''` empty text and `$size: 0` an empty list. A date compares
120
- in calendar order and never with a date-time. A reference compares by the Room
121
- Path it resolves to. Untyped frontmatter, and a value under `oneOf` or a
122
- conditional, is plain values. There is no text containment or regular expression.
105
+ `/shipping/city`, `~1` for a `/` and `~0` for a `~` in a key. A segment that meets a
106
+ list applies to every item and a number names one item. `where` names pointers, ANDs
107
+ them, and nests `$and` and `$or`; a pointer through a list holds when any item
108
+ satisfies it. A bare value is equality; the operators are `$eq`, `$ne`, `$in`, `$nin`,
109
+ `$gt`, `$gte`, `$lt`, `$lte`, `$all`, `$size` and `$exists`. Equality on a list asks
110
+ whether it contains the value. Missing, null and empty differ: `$exists: false` keeps
111
+ a missing field, `null` an explicit null, `''` empty text and `$size: 0` an empty
112
+ list. A date compares in calendar order and never with a date-time. A reference
113
+ compares by the Room Path it resolves to. Untyped frontmatter, and a value under
114
+ `oneOf` or a conditional, is plain values. There is no text containment or regular
115
+ expression.
123
116
  - **Relations.** `hop: { field, types, where, pathPrefix }` keeps Documents whose
124
- reference at pointer `field`, at any depth, points to a matching Document of the
125
- same Room. `backlinks: { field, types, where, pathPrefix }` keeps Documents that a
126
- matching Document of the same Room references. Each keeps a Document once.
117
+ reference at pointer `field`, at any depth, points to a matching Document of the same
118
+ Room. `backlinks: { field, types, where, pathPrefix }` keeps Documents that a matching
119
+ Document of the same Room references. Each keeps a Document once.
127
120
  - **Parts.** A Document query must `select`: `'all'`, or `fields`, `sections`,
128
- `preamble`, `markdown`, `backlinks` and `change`, where `fields` is `'all'` or a
129
- list of pointers and `sections` `'all'` or a list of names. Selected pointers
130
- return the frontmatter holding only them, nested as written. A backlink names
131
- the referring Path, MD Type and the pointer it came from as `field`. Room and Path always return; a Markdown
132
- Document also returns its MD Type. A non-Markdown Document returns only Room
133
- and Path, and a binary Path entry Room, Path and its `binaryFile` record,
134
- whatever is selected. An unselected part is absent. Select only
135
- what a screen shows: a list that selects the Markdown hears every edit of it.
136
- - **Change.** `change` is `{ author, time }` of the Document's head revision as
137
- the Provider last delivered it: `author` is `{ kind: 'user' | 'site', id, name }`
138
- or `null` for a write the Provider made itself, and `time` is the Provider's
139
- ISO 8601 change time. It is `null` where the Provider delivered no time, as at
140
- a Site. An unsent edit or move keeps it, an unsent creation has none, and a
141
- saved write takes the Provider's own once it is Accepted. A
142
- Room's last change is its Document with the latest `time`.
143
- - **Order and groups.** `orderBy` sorts by `room`, `path`, `type` or `{ field }`
144
- with TanStack DB's own options, and ties end with Room, then Path. `groupBy` by
145
- `room`, `type` or `{ field }` answers `{ groups: [{ key, count }] }`, counted
146
- over every match and ordered by `count` or a key. A sort or group takes only a
147
- pointer that holds one value. `limit` bounds the Documents or the groups.
148
- - **Results and errors.** A result carries no Room Version: read freshness from
149
- Rooms and Sync Status. `coverage` names each Room read as `{ room, generation,
150
- current }`, `current` false while a newer copy of that Room is being fetched,
151
- and the queued changes it includes as `overlay`; a Save in a Room changes the
152
- `overlay` of every query over it. An invalid query fails with the `code`
153
- `invalid-query`, `unknown-type`, `unknown-field` or `wrong-kind`, naming where,
154
- and never answers an empty result in its place.
121
+ `preamble`, `markdown`, `backlinks` and `change`, where `fields` is `'all'` or a list
122
+ of pointers and `sections` `'all'` or a list of names. Selected pointers return the
123
+ frontmatter holding only them, nested as written. A backlink names the referring Path,
124
+ MD Type and the pointer it came from as `field`. Room and Path always return; a
125
+ Markdown Document also returns its MD Type. A non-Markdown Document returns only Room
126
+ and Path, and a binary Path entry Room, Path and its `binaryFile` record, whatever is
127
+ selected. An unselected part is absent. Select only what a screen shows: a list that
128
+ selects the Markdown hears every edit of it.
129
+ - **Change.** `change` is `{ author, time }` of the Document's head revision as the
130
+ Provider last delivered it: `author` is `{ kind: 'user' | 'site', id, name }` or
131
+ `null` for a write the Provider made itself, and `time` is the Provider's ISO 8601
132
+ change time. It is `null` where the Provider delivered no time, as at a Site. An
133
+ unsent edit or move keeps it, an unsent creation has none, and a saved write takes the
134
+ Provider's own once it is Accepted. A Room's last change is its Document with the
135
+ latest `time`.
136
+ - **Order and groups.** `orderBy` sorts by `room`, `path`, `type` or `{ field }` with
137
+ TanStack DB's own options, and ties end with Room, then Path. `groupBy` by `room`,
138
+ `type` or `{ field }` answers `{ groups: [{ key, count }] }`, counted over every match
139
+ and ordered by `count` or a key. A sort or group takes only a pointer that holds one
140
+ value. `limit` bounds the Documents or the groups.
141
+ - **Results and errors.** A result carries no Room Version: read freshness from Rooms
142
+ and Sync Status. `coverage` names each Room read as `{ room, generation, current }`,
143
+ `current` false while a newer copy of that Room is being fetched, and the queued
144
+ changes it includes as `overlay`; a Save in a Room changes the `overlay` of every
145
+ query over it. An invalid query fails with the `code` `invalid-query`, `unknown-type`,
146
+ `unknown-field` or `wrong-kind`, naming where, and never answers an empty result in
147
+ its place.
155
148
 
156
149
  ## Local Search rules
157
150
 
158
- `search({ text, documents, conversations, limit })` answers once, by words, from
159
- local state, with MiniSearch's defaults. There is no observed search.
151
+ `search({ text, documents, conversations, limit })` answers once, by words, from local
152
+ state, with MiniSearch's defaults. There is no observed search.
160
153
 
161
- - **What is found.** A Document by its field values, its sections' headings and
162
- text, its preamble and its Path; a message by its text. Frontmatter keys, Room
163
- Drafts, chat drafts and a running turn's parts are never found. There are no phrases,
164
- word forms, typo tolerance or prefix matching.
154
+ - **What is found.** A Document by its field values, its sections' headings and text,
155
+ its preamble and its Path; a message by its text. Frontmatter keys, Room Drafts, chat
156
+ drafts and a running turn's parts are never found. There are no phrases, word forms,
157
+ typo tolerance or prefix matching.
165
158
  - **Narrowing.** `documents` is a Local Query filter: `rooms`, `types`, `where`,
166
- `pathPrefix`, `hop` and `backlinks`. `conversations` names conversations. Both
167
- apply before `limit`, which bounds each list; without it every hit returns.
168
- - **Results.** `{ documents, messages, coverage }`, or `{ pending }` naming each
169
- Room or conversation the search waits for while its index is prepared: ask
170
- again, and never read pending as no hits. `coverage` names the Rooms and
171
- conversations searched. Each list is ranked by `score`, which compares
172
- hits of one list of one search. A Document hit names its `room`, `path` and
173
- `type`, a message hit its `conversation` and `identity`, and `matches` maps each
174
- matched word to the parts it matched in: `fields`, `sections`, `preamble` or
175
- `path`, or `text`. A hit carries no position; mark the words in the text you
176
- show. An invalid filter fails with its Local Query error.
159
+ `pathPrefix`, `hop` and `backlinks`. `conversations` names conversations. Both apply
160
+ before `limit`, which bounds each list; without it every hit returns.
161
+ - **Results.** `{ documents, messages, coverage }`, or `{ pending }` naming each Room or
162
+ conversation the search waits for while its index is prepared: ask again, and never
163
+ read pending as no hits. `coverage` names the Rooms and conversations searched. Each
164
+ list is ranked by `score`, which compares hits of one list of one search. A Document
165
+ hit names its `room`, `path` and `type`, a message hit its `conversation` and
166
+ `identity`, and `matches` maps each matched word to the parts it matched in: `fields`,
167
+ `sections`, `preamble` or `path`, or `text`. A hit carries no position; mark the words
168
+ in the text you show. An invalid filter fails with its Local Query error.
177
169
 
178
170
  ## Room Draft, Save, and outcome rules
179
171
 
180
- The MD Runtime owns one Room Draft per Room and Path, shared by every App and tab.
181
- It is durable: it survives reload and navigation. A Room that Discovery stops
182
- listing takes its Room Drafts and its queue with it. Write a Room Draft with
183
- `roomDraft.write(room, path, revision, parts)`, naming the revision you read, or
184
- `null` when there was none, and every part it should now change: fields, sections
185
- and the preamble, or the whole Markdown, a creation, a move, or a removal. A part
186
- new to the Room Draft names its base, the value you showed when it was opened; the
187
- MD Runtime keeps a part's first base; a binary Path entry's move or removal takes
188
- `null` as its base. A write or a discard from an older revision is refused as
189
- `stale` with the current Room Draft; read it and write again.
190
-
191
- Save takes one Room and the Room Drafts of it to save, each with its revision,
192
- validates locally, and on success appends one Change Batch to that Room's
193
- queue and removes those Room Drafts. It is refused with the `code` `stale`,
194
- `changed-underneath` naming each part whose base no longer matches the visible
195
- state, or a local validation rule, and then creates nothing and leaves every
196
- Room Draft in place. A directory move or removal is a move or removal part on
197
- each Document and binary Path entry beneath it, saved together.
198
-
199
- Outcomes follow the Provider's answer. An Accepted Change Batch stays in the
200
- queue, drawn over the confirmed layer, until the confirmed layer reaches the
201
- Room Version it was accepted at, and then leaves it. Conflicted and Rejected, an expired operation, and a change that no
202
- longer applies over the Room each leave the queue and return as Room Drafts on
203
- the Documents they changed, marked with why: the Provider's structured refusal
204
- code and fields as returned, not known to have applied, or withdrawn locally.
205
- The rest of the queue keeps synchronizing, and Sync Status requires attention
206
- until each returned Room Draft is saved again or discarded. A Change Batch
207
- keeps no outcome once it leaves the queue; `observe('queue', room)` shows each
208
- Pending one, and a returned Room Draft says why it returned. Transport
209
- failure and Provider unavailability keep work Pending and do not infer a
210
- rejection. A refusal the Provider marks retryable stays Pending until the reset
211
- it names; the MD Runtime retries the same Change Batch identity and payload and
212
- never infers an outcome from transport uncertainty. The MD Runtime never
213
- combines, reorders, or rebases.
214
-
215
- On a Site, every Save stays in the visitor's browser. Write grants and revisions
216
- do not refuse it, and its Pending Change shows in every query and across reloads
217
- until the browser's storage is cleared. It is never sent: `observe('queue', room)`
218
- shows it `local`, and Sync Status never waits on it. Once the Room changes so that
219
- it no longer applies, it leaves the queue and returns no Room Draft.
220
-
221
- `observe('service-mode')` answers the Provider's Service Mode, `open` or
222
- `write-halted`. While writes are halted, Save still succeeds, its Change Batch
223
- waits unsent, and the queue is submitted in order once the Provider reopens
224
- writes. An Action is never held: a write the Provider refuses for the halt returns
225
- that refusal to its caller. Show the Provider as read-only instead of retrying.
172
+ The MD Runtime owns one Room Draft per Room and Path, shared by every App and tab. It is
173
+ durable: it survives reload and navigation. A Room that Discovery stops listing takes
174
+ its Room Drafts and its queue with it. Write a Room Draft with `roomDraft.write(room,
175
+ path, revision, parts)`, naming the revision you read, or `null` when there was none,
176
+ and every part it should now change: fields, sections and the preamble, or the whole
177
+ Markdown, a creation, a move, or a removal. A part new to the Room Draft names its base,
178
+ the value you showed when it was opened; the MD Runtime keeps a part's first base; a
179
+ binary Path entry's move or removal takes `null` as its base. A write or a discard from
180
+ an older revision is refused as `stale` with the current Room Draft; read it and write
181
+ again.
182
+
183
+ Save takes one Room and the Room Drafts of it to save, each with its revision, validates
184
+ locally, and on success appends one Change Batch to that Room's queue and removes those
185
+ Room Drafts. It is refused with the `code` `stale`, `changed-underneath` naming each
186
+ part whose base no longer matches the visible state, or a local validation rule, and
187
+ then creates nothing and leaves every Room Draft in place. A directory move or removal
188
+ is a move or removal part on each Document and binary Path entry beneath it, saved
189
+ together.
190
+
191
+ Outcomes follow the Provider's answer. An Accepted Change Batch stays in the queue,
192
+ drawn over the confirmed layer, until the confirmed layer reaches the Room Version it
193
+ was accepted at, and then leaves it. Conflicted and Rejected, an expired operation, and
194
+ a change that no longer applies over the Room each leave the queue and return as Room
195
+ Drafts on the Documents they changed, marked with why: the Provider's structured refusal
196
+ code and fields as returned, not known to have applied, or withdrawn locally. The rest
197
+ of the queue keeps synchronizing, and Sync Status requires attention until each returned
198
+ Room Draft is saved again or discarded. A Change Batch keeps no outcome once it leaves
199
+ the queue; `observe('queue', room)` shows each Pending one, and a returned Room Draft
200
+ says why it returned. Transport failure and Provider unavailability keep work Pending
201
+ and do not infer a rejection. A refusal the Provider marks retryable stays Pending until
202
+ the reset it names; the MD Runtime retries the same Change Batch identity and payload
203
+ and never infers an outcome from transport uncertainty. The MD Runtime never combines,
204
+ reorders, or rebases.
205
+
206
+ On a Site, every Save stays in the visitor's browser. Write grants and revisions do not
207
+ refuse it, and its Pending Change shows in every query and across reloads until the
208
+ browser's storage is cleared. It is never sent: `observe('queue', room)` shows it
209
+ `local`, and Sync Status never waits on it. Once the Room changes so that it no longer
210
+ applies, it leaves the queue and returns no Room Draft.
211
+
212
+ `observe('service-mode')` answers the Provider's Service Mode, `open` or `write-halted`.
213
+ While writes are halted, Save still succeeds, its Change Batch waits unsent, and the
214
+ queue is submitted in order once the Provider reopens writes. An Action is never held: a
215
+ write the Provider refuses for the halt returns that refusal to its caller. Show the
216
+ Provider as read-only instead of retrying.
226
217
 
227
218
  ## The neutrality rule
228
219
 
229
- No module outside an Adapter package imports, names, or special-cases a
230
- Provider. MD UI and every App reach data only through the client entry.
220
+ No module outside an Adapter package imports, names, or special-cases a Provider. MD UI
221
+ and every App reach data only through the client entry.
231
222
 
232
223
  ## Content-safety rules
233
224
 
234
- The Provider authorization belongs to the Runtime host and is never readable
235
- by the App's code. The App's code reaches the network only at the external
236
- origins its manifest declares, empty by default, and the Provider enforces
237
- that set. Every request to the Provider itself goes through the MD Runtime.
238
- Rendered Markdown never executes scripts, renders raw HTML only for the
239
- details and summary elements, and loads images and other resources only from
240
- origins the Provider's policy allows.
225
+ The Provider authorization belongs to the Runtime host and is never readable by the
226
+ App's code. The App's code reaches the network only at the external origins its manifest
227
+ declares, empty by default, and the Provider enforces that set. Every request to the
228
+ Provider itself goes through the MD Runtime. Rendered Markdown never executes scripts,
229
+ renders raw HTML only for the details and summary elements, and loads images and other
230
+ resources only from origins the Provider's policy allows.
241
231
 
242
232
  ## Launch promises MD UI keeps
243
233
 
244
- MD UI uses semantic HTML, is fully operable from a keyboard with visible
245
- focus and labelled controls, and lays out from a 360 pixel wide viewport to
246
- a desktop. Its strings are English only, dates and numbers follow the
247
- browser locale, and content is never translated. Light and dark themes come
248
- from CSS custom properties with the browser's preference as the default and
249
- an App's override respected. What an App Creator's agent adds carries none
250
- of these promises by itself. Reading, querying and searching never wait for
251
- the network. Data lives only in the App Creator's browser and with the Provider.
234
+ MD UI uses semantic HTML, is fully operable from a keyboard with visible focus and
235
+ labelled controls, and lays out from a 360 pixel wide viewport to a desktop. Its strings
236
+ are English only, dates and numbers follow the browser locale, and content is never
237
+ translated. Light and dark themes come from CSS custom properties with the browser's
238
+ preference as the default and an App's override respected. What an App Creator's agent
239
+ adds carries none of these promises by itself. Reading, querying and searching never
240
+ wait for the network. Data lives only in the App Creator's browser and with the
241
+ Provider.
252
242
 
253
243
  ## App code takes the client its host hands it and never constructs a Runtime
254
244
 
255
- App code takes the client its host hands it: in House, `houseBridge().runtime`
256
- from `@agentshouse/app-bridge` resolves to the client House built into the page.
257
- It imports only types from `@agentshouse/mdruntime/client`, never calls
258
- `connectMdRuntime` or `serveMdRuntime`, and never imports the package main, the
259
- host entry or the Adapter package, which hosts and tests use. The in-memory
260
- Adapter at `@agentshouse/mdruntime/memory` is for tests and ships in no bundle.
261
- A Site's page fills its Entry Data Contract's `{"$param": name}` arguments with
262
- `boundQuery` from `@agentshouse/mdruntime/entry`, as House did for its HTML.
263
-
264
- A React App may observe and save through `@agentshouse/mdruntime/react`, which
265
- names React as a peer dependency. `useObserve(client, topic, ...input)` takes
266
- the arguments of `observe` and returns `{ state: 'loading' }` until the topic's
267
- first value arrives, then `{ state: 'ready', value }`, re-rendering on each
268
- change; a `null` client observes nothing and stays loading. `useSave(client)`
269
- returns `busy`, the last `outcome` or `failure`, and `save(room, roomDrafts)`,
270
- which writes each Path's parts onto the Room Draft already there, keeping the
271
- bases its parts have, or onto a new one, and saves them together. A refused
272
- Save leaves the Room Drafts for the App to save again or discard; a failure is
273
- recorded and rejects. `saveRoomDrafts(client, room, roomDrafts)` is that save
274
- outside a component. A react-admin or Refine App reads and writes its Rooms
275
- through the data providers of `@agentshouse/mdruntime-families`.
245
+ App code takes the client its host hands it: in House, `houseBridge().runtime` from
246
+ `@agentshouse/app-bridge` resolves to the client House built into the page. It imports
247
+ only types from `@agentshouse/mdruntime/client`, never calls `connectMdRuntime` or
248
+ `serveMdRuntime`, and never imports the package main, the host entry or the Adapter
249
+ package, which hosts and tests use. The in-memory Adapter at
250
+ `@agentshouse/mdruntime/memory` is for tests and ships in no bundle. A Site's page fills
251
+ its Entry Data Contract's `{"$param": name}` arguments with `boundQuery` from
252
+ `@agentshouse/mdruntime/entry`, as House did for its HTML.
253
+
254
+ A React App may observe and save through `@agentshouse/mdruntime/react`, which names
255
+ React as a peer dependency. `useObserve(client, topic, ...input)` takes the arguments of
256
+ `observe` and returns `{ state: 'loading' }` until the topic's first value arrives, then
257
+ `{ state: 'ready', value }`, re-rendering on each change; a `null` client observes
258
+ nothing and stays loading. `useSave(client)` returns `busy`, the last `outcome` or
259
+ `failure`, and `save(room, roomDrafts)`, which writes each Path's parts onto the Room
260
+ Draft already there, keeping the bases its parts have, or onto a new one, and saves them
261
+ together. A refused Save leaves the Room Drafts for the App to save again or discard; a
262
+ failure is recorded and rejects. `saveRoomDrafts(client, room, roomDrafts)` is that save
263
+ outside a component. A react-admin or Refine App reads and writes its Rooms through the
264
+ data providers of `@agentshouse/mdruntime-families`.
276
265
 
277
266
  ## The Chat
278
267
 
279
- `@agentshouse/mdruntime/chat` holds the Chat, one data layer for every App; add
280
- React as a dependency in any App, with React DOM and `@assistant-ui/react`.
281
-
282
- Place the ready chat with `<Chat client={runtime} conversation={id}
283
- agent={agent} width="1/3" showChats />`: `conversation` opens one, `null` for a
284
- new chat, `agent` is the Agent a new chat goes to, `onOpen` hears each one it
285
- opens, and `width` is `full` (the place you give it), or `3/4`, `1/2` or `1/3`
286
- of the window docked at its right edge, whole on a narrow window. `showChats`
287
- adds its conversation list; or draw your own inside a `ChatProvider` around a
288
- `<Chat />` with no `client`. It carries its own styles; theme it with CSS custom
289
- properties on it or an ancestor: `--chat-background`, `--chat-surface`,
290
- `--chat-text`, `--chat-text-muted`, `--chat-accent`, `--chat-line`,
268
+ `@agentshouse/mdruntime/chat` holds the Chat, one data layer for every App; add React as
269
+ a dependency in any App, with React DOM and `@assistant-ui/react`.
270
+
271
+ Place the ready chat with `<Chat client={runtime} conversation={id} agent={agent}
272
+ width="1/3" showChats />`: `conversation` opens one, `null` for a new chat, `agent` is
273
+ the Agent a new chat goes to, `onOpen` hears each one it opens, and `width` is `full`
274
+ (the place you give it), or `3/4`, `1/2` or `1/3` of the window docked at its right
275
+ edge, whole on a narrow window. `showChats` adds its conversation list; or draw your own
276
+ inside a `ChatProvider` around a `<Chat />` with no `client`. It carries its own styles;
277
+ theme it with CSS custom properties on it or an ancestor: `--chat-background`,
278
+ `--chat-surface`, `--chat-text`, `--chat-text-muted`, `--chat-accent`, `--chat-line`,
291
279
  `--chat-attention`, `--chat-danger`, `--chat-font`, `--chat-font-mono`,
292
- `--chat-font-size`, `--chat-radius` and `--chat-density` (a factor for spacing);
293
- an unset one keeps House's light or dark look. `mountChat(element, { client })`
294
- places it outside React and returns `update(props)` and `unmount()`.
295
-
296
- Mix `ChatMessageList` (`components` takes your `UserMessage` and
297
- `AssistantMessage`), `ChatInput` and `ChatQuestionCard` with your own design
298
- inside a `ChatProvider`, or compose assistant-ui's primitives there; `useChat()`
299
- gives `send`, the conversations, the Agents, questions to `answer`, `options`
300
- to `choose`, `commands`, the queue to `edit` or `unqueue`, `stop`, `kill` and
301
- outcomes; never replace its messages, sending or store. A secret question is
302
- never answered here; typed answers live in Presentation State's `typed` key:
303
- keep it, and change Presentation State only inside `inTurn(client, work)` from
304
- `@agentshouse/mdruntime/client`. `Markdown` draws Markdown safely.
280
+ `--chat-font-size`, `--chat-radius` and `--chat-density` (a factor for spacing); an
281
+ unset one keeps House's light or dark look. `mountChat(element, { client })` places it
282
+ outside React and returns `update(props)` and `unmount()`.
283
+
284
+ Mix `ChatMessageList` (`components` takes your `UserMessage` and `AssistantMessage`),
285
+ `ChatInput` and `ChatQuestionCard` with your own design inside a `ChatProvider`, or
286
+ compose assistant-ui's primitives there; `useChat()` gives `send`, the conversations,
287
+ the Agents, questions to `answer`, `options` to `choose`, `commands`, the queue to
288
+ `edit` or `unqueue`, `stop`, `kill` and outcomes; never replace its messages, sending or
289
+ store. A secret question is never answered here; typed answers live in Presentation
290
+ State's `typed` key: keep it, and change Presentation State only inside `inTurn(client,
291
+ work)` from `@agentshouse/mdruntime/client`. `Markdown` draws Markdown safely.
305
292
 
306
293
  ## What an agent must never do
307
294
 
308
- An agent must never read the authorization, load code from a Room, call the
309
- Provider directly, or rebase a refused Change Batch.
295
+ An agent must never read the authorization, load code from a Room, call the Provider
296
+ directly, or rebase a refused Change Batch.
package/dist/adapter.d.ts CHANGED
@@ -5,6 +5,7 @@ export type AgentsHouseAdapterOptions = {
5
5
  authorize(): Promise<Authorization>;
6
6
  } | {
7
7
  site: HouseSiteTransport;
8
+ snapshot?: boolean;
8
9
  };
9
10
  export declare function createAgentsHouseAdapter(options: AgentsHouseAdapterOptions): Adapter;
10
11
  //# sourceMappingURL=adapter.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"adapter.d.ts","sourceRoot":"","sources":["../src/adapter.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAIV,OAAO,EACP,aAAa,EAiBd,MAAM,wBAAwB,CAAC;AA4ChC,OAAO,EASL,KAAK,kBAAkB,EACvB,KAAK,cAAc,EACpB,MAAM,gBAAgB,CAAC;AAyBxB,MAAM,MAAM,yBAAyB,GACjC;IACE,SAAS,EAAE,cAAc,CAAC;IAC1B,SAAS,IAAI,OAAO,CAAC,aAAa,CAAC,CAAC;CACrC,GACD;IAAE,IAAI,EAAE,kBAAkB,CAAA;CAAE,CAAC;AAoEjC,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,yBAAyB,GAAG,OAAO,CA+gBpF"}
1
+ {"version":3,"file":"adapter.d.ts","sourceRoot":"","sources":["../src/adapter.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAIV,OAAO,EACP,aAAa,EAiBd,MAAM,wBAAwB,CAAC;AA4ChC,OAAO,EASL,KAAK,kBAAkB,EACvB,KAAK,cAAc,EACpB,MAAM,gBAAgB,CAAC;AAyBxB,MAAM,MAAM,yBAAyB,GACjC;IACE,SAAS,EAAE,cAAc,CAAC;IAC1B,SAAS,IAAI,OAAO,CAAC,aAAa,CAAC,CAAC;CACrC,GACD;IAAE,IAAI,EAAE,kBAAkB,CAAC;IAAC,QAAQ,CAAC,EAAE,OAAO,CAAA;CAAE,CAAC;AAoErD,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,yBAAyB,GAAG,OAAO,CA+gBpF"}
package/dist/adapter.js CHANGED
@@ -46,7 +46,7 @@ async function reused(scope, held) {
46
46
  }
47
47
  export function createAgentsHouseAdapter(options) {
48
48
  if ('site' in options)
49
- return createSiteAdapter(options.site);
49
+ return createSiteAdapter(options.site, options.snapshot === true);
50
50
  const transport = options.transport;
51
51
  const notifications = houseNotifications(transport, 'credential');
52
52
  const tracked = new Map();
package/dist/site.d.ts CHANGED
@@ -1,4 +1,4 @@
1
1
  import type { Adapter } from '@agentshouse/mdruntime';
2
2
  import { type HouseSiteTransport } from './transport.js';
3
- export declare function createSiteAdapter(transport: HouseSiteTransport): Adapter;
3
+ export declare function createSiteAdapter(transport: HouseSiteTransport, snapshot?: boolean): Adapter;
4
4
  //# sourceMappingURL=site.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"site.d.ts","sourceRoot":"","sources":["../src/site.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,OAAO,EAOR,MAAM,wBAAwB,CAAC;AA2BhC,OAAO,EAOL,KAAK,kBAAkB,EACxB,MAAM,gBAAgB,CAAC;AAmCxB,wBAAgB,iBAAiB,CAAC,SAAS,EAAE,kBAAkB,GAAG,OAAO,CAuQxE"}
1
+ {"version":3,"file":"site.d.ts","sourceRoot":"","sources":["../src/site.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,OAAO,EAOR,MAAM,wBAAwB,CAAC;AA2BhC,OAAO,EAOL,KAAK,kBAAkB,EACxB,MAAM,gBAAgB,CAAC;AAmCxB,wBAAgB,iBAAiB,CAAC,SAAS,EAAE,kBAAkB,EAAE,QAAQ,UAAQ,GAAG,OAAO,CA8Q1F"}
package/dist/site.js CHANGED
@@ -23,7 +23,7 @@ function siteRoom(tracked) {
23
23
  function settled(refused) {
24
24
  return refused.kind === 'beyond-horizon' ? UNCERTAIN : refused;
25
25
  }
26
- export function createSiteAdapter(transport) {
26
+ export function createSiteAdapter(transport, snapshot = false) {
27
27
  const notifications = houseNotifications(transport, 'site');
28
28
  const tracked = new Map();
29
29
  function published(referrer) {
@@ -184,6 +184,11 @@ export function createSiteAdapter(transport) {
184
184
  return { kind: 'room-not-readable', locator: request.locator };
185
185
  if (request.pageToken !== undefined)
186
186
  return UNCERTAIN;
187
+ if (snapshot) {
188
+ return request.fromRoomVersion === roomVersion(entry)
189
+ ? { kind: 'still-current' }
190
+ : { kind: 'beyond-horizon' };
191
+ }
187
192
  return refreshed(entry, request.fromRoomVersion);
188
193
  },
189
194
  async mutate() {
@@ -237,25 +242,27 @@ export function createSiteAdapter(transport) {
237
242
  return UNCERTAIN;
238
243
  return actionOutcome(await transport.door(SITE_DOOR_SUBMIT, request.input), SITE_SUBMIT);
239
244
  },
240
- roomStream: {
241
- hold(rooms) {
242
- notifications.send(rooms.flatMap((room) => {
243
- const entry = tracked.get(room.locator);
244
- const at = logPosition(room.roomVersion);
245
- if (entry === undefined || at === null)
246
- return [];
247
- notifications.reach(entry.authority, at);
248
- return [presented(entry.authority, at)];
249
- }));
250
- },
251
- reopen: notifications.reopen,
252
- observe: notifications.observe,
253
- published(locator, roomVersion) {
254
- const at = logPosition(roomVersion);
255
- if (at !== null)
256
- notifications.published(locator, at);
245
+ roomStream: snapshot
246
+ ? undefined
247
+ : {
248
+ hold(rooms) {
249
+ notifications.send(rooms.flatMap((room) => {
250
+ const entry = tracked.get(room.locator);
251
+ const at = logPosition(room.roomVersion);
252
+ if (entry === undefined || at === null)
253
+ return [];
254
+ notifications.reach(entry.authority, at);
255
+ return [presented(entry.authority, at)];
256
+ }));
257
+ },
258
+ reopen: notifications.reopen,
259
+ observe: notifications.observe,
260
+ published(locator, roomVersion) {
261
+ const at = logPosition(roomVersion);
262
+ if (at !== null)
263
+ notifications.published(locator, at);
264
+ },
257
265
  },
258
- },
259
266
  serviceMode: notifications.serviceMode,
260
267
  };
261
268
  }
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@agentshouse/mdruntime-adapter",
3
- "version": "0.1.0-ca218e62303fd",
3
+ "version": "0.1.0-cac600691781e",
4
4
  "description": "Agents House Adapter for the MD Runtime",
5
5
  "license": "MIT",
6
6
  "type": "module",
@@ -25,6 +25,6 @@
25
25
  "LICENSE"
26
26
  ],
27
27
  "dependencies": {
28
- "@agentshouse/mdruntime": "0.1.0-cb0eb0d87ff49"
28
+ "@agentshouse/mdruntime": "0.1.0-c89fa07b05d4b"
29
29
  }
30
30
  }