@agentshouse/mdruntime 0.1.0-c7fd3d0e03135 → 0.1.0-c835af48a82d3

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.
Files changed (255) hide show
  1. package/README.md +19 -16
  2. package/dist/adapter.d.ts +139 -85
  3. package/dist/adapter.d.ts.map +1 -1
  4. package/dist/attached-model.d.ts +7 -10
  5. package/dist/attached-model.d.ts.map +1 -1
  6. package/dist/attached-model.js +40 -41
  7. package/dist/binary.d.ts +0 -5
  8. package/dist/binary.d.ts.map +1 -1
  9. package/dist/binary.js +1 -1
  10. package/dist/bootstrap.d.ts +30 -11
  11. package/dist/bootstrap.d.ts.map +1 -1
  12. package/dist/bootstrap.js +319 -111
  13. package/dist/chain.d.ts +12 -0
  14. package/dist/chain.d.ts.map +1 -0
  15. package/dist/chain.js +64 -0
  16. package/dist/change-set.d.ts +9 -16
  17. package/dist/change-set.d.ts.map +1 -1
  18. package/dist/change-set.js +11 -89
  19. package/dist/change.d.ts +32 -1
  20. package/dist/change.d.ts.map +1 -1
  21. package/dist/change.js +10 -1
  22. package/dist/chat-types.d.ts +3 -0
  23. package/dist/chat-types.d.ts.map +1 -0
  24. package/dist/chat-types.js +2 -0
  25. package/dist/client.d.ts +26 -11
  26. package/dist/client.d.ts.map +1 -1
  27. package/dist/client.js +85 -7
  28. package/dist/collection.d.ts +11 -21
  29. package/dist/collection.d.ts.map +1 -1
  30. package/dist/collection.js +39 -291
  31. package/dist/compile.d.ts +16 -0
  32. package/dist/compile.d.ts.map +1 -0
  33. package/dist/compile.js +717 -0
  34. package/dist/connection.d.ts +36 -19
  35. package/dist/connection.d.ts.map +1 -1
  36. package/dist/connection.js +3638 -1887
  37. package/dist/context.d.ts +2 -0
  38. package/dist/context.d.ts.map +1 -0
  39. package/dist/{chat/context.js → context.js} +1 -4
  40. package/dist/conversation-row.d.ts +33 -0
  41. package/dist/conversation-row.d.ts.map +1 -0
  42. package/dist/conversation-row.js +47 -0
  43. package/dist/conversation.d.ts +36 -18
  44. package/dist/conversation.d.ts.map +1 -1
  45. package/dist/conversation.js +606 -286
  46. package/dist/digest.d.ts +7 -0
  47. package/dist/digest.d.ts.map +1 -0
  48. package/dist/digest.js +113 -0
  49. package/dist/durability.d.ts +7 -4
  50. package/dist/durability.d.ts.map +1 -1
  51. package/dist/durability.js +5 -0
  52. package/dist/entry.d.ts +5 -2
  53. package/dist/entry.d.ts.map +1 -1
  54. package/dist/entry.js +33 -28
  55. package/dist/figures.d.ts +48 -0
  56. package/dist/figures.d.ts.map +1 -0
  57. package/dist/figures.js +197 -0
  58. package/dist/file.d.ts +2 -19
  59. package/dist/file.d.ts.map +1 -1
  60. package/dist/file.js +7 -122
  61. package/dist/host.d.ts +3 -10
  62. package/dist/host.d.ts.map +1 -1
  63. package/dist/host.js +67 -41
  64. package/dist/identity.d.ts +0 -2
  65. package/dist/identity.d.ts.map +1 -1
  66. package/dist/identity.js +0 -6
  67. package/dist/index.d.ts +24 -13
  68. package/dist/index.d.ts.map +1 -1
  69. package/dist/index.js +10 -2
  70. package/dist/job.d.ts +33 -0
  71. package/dist/job.d.ts.map +1 -0
  72. package/dist/job.js +54 -0
  73. package/dist/live.d.ts +23 -0
  74. package/dist/live.d.ts.map +1 -0
  75. package/dist/live.js +165 -0
  76. package/dist/media.d.ts +8 -0
  77. package/dist/media.d.ts.map +1 -0
  78. package/dist/media.js +218 -0
  79. package/dist/memory.d.ts +14 -7
  80. package/dist/memory.d.ts.map +1 -1
  81. package/dist/memory.js +238 -108
  82. package/dist/messages.d.ts +52 -0
  83. package/dist/messages.d.ts.map +1 -0
  84. package/dist/messages.js +168 -0
  85. package/dist/model.d.ts +8 -10
  86. package/dist/model.d.ts.map +1 -1
  87. package/dist/model.js +6 -18
  88. package/dist/name.d.ts +4 -0
  89. package/dist/name.d.ts.map +1 -0
  90. package/dist/name.js +122 -0
  91. package/dist/observation.d.ts +15 -2
  92. package/dist/observation.d.ts.map +1 -1
  93. package/dist/observation.js +91 -2
  94. package/dist/opened.d.ts +22 -0
  95. package/dist/opened.d.ts.map +1 -0
  96. package/dist/opened.js +107 -0
  97. package/dist/outcome.d.ts +41 -8
  98. package/dist/outcome.d.ts.map +1 -1
  99. package/dist/outcome.js +41 -2
  100. package/dist/overlay.d.ts +3 -5
  101. package/dist/overlay.d.ts.map +1 -1
  102. package/dist/overlay.js +98 -172
  103. package/dist/{chat/parts.d.ts → parts.d.ts} +11 -9
  104. package/dist/parts.d.ts.map +1 -0
  105. package/dist/{chat/parts.js → parts.js} +45 -46
  106. package/dist/paths.d.ts +1 -0
  107. package/dist/paths.d.ts.map +1 -1
  108. package/dist/paths.js +4 -0
  109. package/dist/query.d.ts +21 -206
  110. package/dist/query.d.ts.map +1 -1
  111. package/dist/query.js +3 -493
  112. package/dist/{chat/questions.d.ts → questions.d.ts} +3 -2
  113. package/dist/questions.d.ts.map +1 -0
  114. package/dist/{chat/questions.js → questions.js} +8 -1
  115. package/dist/reach.d.ts +18 -9
  116. package/dist/reach.d.ts.map +1 -1
  117. package/dist/reach.js +287 -102
  118. package/dist/react.d.ts +4 -3
  119. package/dist/react.d.ts.map +1 -1
  120. package/dist/react.js +2 -14
  121. package/dist/{chat/read.d.ts → read.d.ts} +2 -0
  122. package/dist/read.d.ts.map +1 -0
  123. package/dist/{chat/read.js → read.js} +4 -0
  124. package/dist/readiness.d.ts +14 -17
  125. package/dist/readiness.d.ts.map +1 -1
  126. package/dist/readiness.js +2 -8
  127. package/dist/reads.d.ts +34 -10
  128. package/dist/reads.d.ts.map +1 -1
  129. package/dist/reads.js +114 -84
  130. package/dist/recovery.d.ts +3 -2
  131. package/dist/recovery.d.ts.map +1 -1
  132. package/dist/recovery.js +43 -8
  133. package/dist/refresh.d.ts +18 -15
  134. package/dist/refresh.d.ts.map +1 -1
  135. package/dist/refresh.js +143 -58
  136. package/dist/replica.d.ts +57 -36
  137. package/dist/replica.d.ts.map +1 -1
  138. package/dist/replica.js +313 -188
  139. package/dist/room-draft.d.ts +25 -6
  140. package/dist/room-draft.d.ts.map +1 -1
  141. package/dist/room-draft.js +158 -71
  142. package/dist/rows.d.ts +31 -31
  143. package/dist/rows.d.ts.map +1 -1
  144. package/dist/rows.js +59 -123
  145. package/dist/save.d.ts +52 -14
  146. package/dist/save.d.ts.map +1 -1
  147. package/dist/save.js +518 -187
  148. package/dist/search.d.ts +12 -95
  149. package/dist/search.d.ts.map +1 -1
  150. package/dist/search.js +10 -266
  151. package/dist/shared.d.ts +7 -3
  152. package/dist/shared.d.ts.map +1 -1
  153. package/dist/shared.js +119 -66
  154. package/dist/source.d.ts +61 -0
  155. package/dist/source.d.ts.map +1 -0
  156. package/dist/source.js +81 -0
  157. package/dist/status.d.ts +4 -5
  158. package/dist/status.d.ts.map +1 -1
  159. package/dist/status.js +3 -7
  160. package/dist/store.d.ts +151 -114
  161. package/dist/store.d.ts.map +1 -1
  162. package/dist/store.js +360 -720
  163. package/dist/stored.d.ts +156 -0
  164. package/dist/stored.d.ts.map +1 -0
  165. package/dist/stored.js +637 -0
  166. package/dist/tables.d.ts +407 -0
  167. package/dist/tables.d.ts.map +1 -0
  168. package/dist/tables.js +724 -0
  169. package/dist/tallies.d.ts +18 -0
  170. package/dist/tallies.d.ts.map +1 -0
  171. package/dist/tallies.js +129 -0
  172. package/dist/transfer.d.ts +0 -5
  173. package/dist/transfer.d.ts.map +1 -1
  174. package/dist/turn.d.ts +5 -3
  175. package/dist/turn.d.ts.map +1 -1
  176. package/dist/turn.js +51 -21
  177. package/dist/validation.d.ts +29 -0
  178. package/dist/validation.d.ts.map +1 -0
  179. package/dist/validation.js +104 -0
  180. package/dist/windows.d.ts +1 -16
  181. package/dist/windows.d.ts.map +1 -1
  182. package/dist/windows.js +2 -79
  183. package/dist/wire.d.ts +40 -5
  184. package/dist/wire.d.ts.map +1 -1
  185. package/dist/wire.js +13 -2
  186. package/package.json +18 -19
  187. package/AGENTS.md +0 -299
  188. package/dist/acquisition.d.ts +0 -14
  189. package/dist/acquisition.d.ts.map +0 -1
  190. package/dist/acquisition.js +0 -24
  191. package/dist/chat/acts.d.ts +0 -33
  192. package/dist/chat/acts.d.ts.map +0 -1
  193. package/dist/chat/acts.js +0 -36
  194. package/dist/chat/context.d.ts +0 -3
  195. package/dist/chat/context.d.ts.map +0 -1
  196. package/dist/chat/earlier.d.ts +0 -10
  197. package/dist/chat/earlier.d.ts.map +0 -1
  198. package/dist/chat/earlier.js +0 -54
  199. package/dist/chat/input.d.ts +0 -9
  200. package/dist/chat/input.d.ts.map +0 -1
  201. package/dist/chat/input.js +0 -99
  202. package/dist/chat/kit.d.ts +0 -61
  203. package/dist/chat/kit.d.ts.map +0 -1
  204. package/dist/chat/kit.js +0 -123
  205. package/dist/chat/lasting.d.ts +0 -6
  206. package/dist/chat/lasting.d.ts.map +0 -1
  207. package/dist/chat/lasting.js +0 -19
  208. package/dist/chat/list.d.ts +0 -27
  209. package/dist/chat/list.d.ts.map +0 -1
  210. package/dist/chat/list.js +0 -99
  211. package/dist/chat/markdown.d.ts +0 -20
  212. package/dist/chat/markdown.d.ts.map +0 -1
  213. package/dist/chat/markdown.js +0 -188
  214. package/dist/chat/message.d.ts +0 -6
  215. package/dist/chat/message.d.ts.map +0 -1
  216. package/dist/chat/message.js +0 -192
  217. package/dist/chat/messages.d.ts +0 -22
  218. package/dist/chat/messages.d.ts.map +0 -1
  219. package/dist/chat/messages.js +0 -155
  220. package/dist/chat/name.d.ts +0 -6
  221. package/dist/chat/name.d.ts.map +0 -1
  222. package/dist/chat/name.js +0 -37
  223. package/dist/chat/opened.d.ts +0 -11
  224. package/dist/chat/opened.d.ts.map +0 -1
  225. package/dist/chat/opened.js +0 -17
  226. package/dist/chat/overlay.d.ts +0 -31
  227. package/dist/chat/overlay.d.ts.map +0 -1
  228. package/dist/chat/overlay.js +0 -97
  229. package/dist/chat/parts.d.ts.map +0 -1
  230. package/dist/chat/process.d.ts +0 -20
  231. package/dist/chat/process.d.ts.map +0 -1
  232. package/dist/chat/process.js +0 -32
  233. package/dist/chat/provider.d.ts +0 -63
  234. package/dist/chat/provider.d.ts.map +0 -1
  235. package/dist/chat/provider.js +0 -635
  236. package/dist/chat/question.d.ts +0 -9
  237. package/dist/chat/question.d.ts.map +0 -1
  238. package/dist/chat/question.js +0 -69
  239. package/dist/chat/questions.d.ts.map +0 -1
  240. package/dist/chat/read.d.ts.map +0 -1
  241. package/dist/chat/ready.d.ts +0 -34
  242. package/dist/chat/ready.d.ts.map +0 -1
  243. package/dist/chat/ready.js +0 -91
  244. package/dist/chat/style.d.ts +0 -4
  245. package/dist/chat/style.d.ts.map +0 -1
  246. package/dist/chat/style.js +0 -302
  247. package/dist/chat.d.ts +0 -14
  248. package/dist/chat.d.ts.map +0 -1
  249. package/dist/chat.js +0 -8
  250. package/dist/fence.d.ts +0 -6
  251. package/dist/fence.d.ts.map +0 -1
  252. package/dist/fence.js +0 -10
  253. package/dist/read-side.d.ts +0 -25
  254. package/dist/read-side.d.ts.map +0 -1
  255. package/dist/read-side.js +0 -767
package/dist/client.js CHANGED
@@ -1,8 +1,25 @@
1
+ import { shownBy } from './media.js';
1
2
  import { observed } from './observation.js';
2
3
  import { runtimeError } from './failure.js';
3
4
  import { answer, AUTHORIZATION_ENDED, PORT_CLOSED, } from './wire.js';
4
5
  // React renders an arrived value in a later task and opens what that render observes as it commits, so this many frames opening nothing mean the page drew what it observes.
5
6
  const SETTLED_FRAMES = 2;
7
+ // A browser reads a download's address only after the click that hands it returns, so a copy's address is released a minute later.
8
+ const HANDED_COPY_MS = 60_000;
9
+ const PAGE = /\.html?$/iu;
10
+ const STARTED = { kind: 'started' };
11
+ const BLOCKED = {
12
+ kind: 'blocked',
13
+ code: 'popup-blocked',
14
+ fields: {},
15
+ retryable: true,
16
+ };
17
+ function handed(url, name) {
18
+ const anchor = document.createElement('a');
19
+ anchor.href = url;
20
+ anchor.download = name;
21
+ anchor.click();
22
+ }
6
23
  function refused(refusal) {
7
24
  return runtimeError(refusal.code, refusal.code, refusal.retryable);
8
25
  }
@@ -133,6 +150,57 @@ export function connectMdRuntime(port) {
133
150
  drawing?.();
134
151
  });
135
152
  }
153
+ function streamed(answer) {
154
+ if (answer.kind !== 'binary')
155
+ return answer;
156
+ const { file, byteLength, mediaType } = answer;
157
+ let part = 0;
158
+ let received = 0;
159
+ const stream = new ReadableStream({
160
+ async pull(controller) {
161
+ const bytes = await ask('binaryFile.part', [file, part]);
162
+ if (bytes === null) {
163
+ if (received === byteLength)
164
+ controller.close();
165
+ else
166
+ controller.error(runtimeError('binary-file-absent', 'The file ended early'));
167
+ return;
168
+ }
169
+ part += 1;
170
+ received += bytes.byteLength;
171
+ controller.enqueue(bytes);
172
+ },
173
+ }, { highWaterMark: 0 });
174
+ return { kind: 'binary', stream, byteLength, mediaType };
175
+ }
176
+ async function download(room, path, revision) {
177
+ const tab = PAGE.test(path) ? globalThis.open('', '_blank') : null;
178
+ const linked = await ask('binaryFile.link', [room, path, revision]);
179
+ if (linked.kind === 'link' && PAGE.test(linked.name)) {
180
+ const away = tab ?? globalThis.open('', '_blank');
181
+ if (away === null)
182
+ return BLOCKED;
183
+ away.location.replace(linked.url);
184
+ return STARTED;
185
+ }
186
+ tab?.close();
187
+ if (linked.kind === 'link') {
188
+ handed(linked.url, linked.name);
189
+ return STARTED;
190
+ }
191
+ if (linked.kind !== 'absent')
192
+ return linked;
193
+ const read = streamed(await ask('binaryFile.read', [room, path, revision]));
194
+ if (read.kind !== 'binary')
195
+ return read;
196
+ const copy = await new Response(read.stream, {
197
+ headers: { 'content-type': read.mediaType },
198
+ }).blob();
199
+ const url = URL.createObjectURL(copy);
200
+ handed(url, path.slice(path.lastIndexOf('/') + 1));
201
+ setTimeout(() => URL.revokeObjectURL(url), HANDED_COPY_MS);
202
+ return STARTED;
203
+ }
136
204
  function settled() {
137
205
  if (settling !== null)
138
206
  return settling;
@@ -162,7 +230,8 @@ export function connectMdRuntime(port) {
162
230
  });
163
231
  return settling;
164
232
  }
165
- return {
233
+ const show = (room, path, revision) => ask('binaryFile.show', [room, path, revision]).then((shown) => streamed(shown));
234
+ return shownBy(show, {
166
235
  rooms: () => ask('rooms', []),
167
236
  query: ((query) => ask('query', [query])),
168
237
  search: (request) => ask('search', [request]),
@@ -170,10 +239,11 @@ export function connectMdRuntime(port) {
170
239
  roomDraft: {
171
240
  list: () => ask('roomDraft.list', []),
172
241
  read: (room, path) => ask('roomDraft.read', [room, path]),
173
- write: (room, path, revision, parts) => ask('roomDraft.write', [room, path, revision, parts]),
242
+ write: (room, path, revision, parts, next) => ask('roomDraft.write', next === undefined ? [room, path, revision, parts] : [room, path, revision, parts, next]),
174
243
  discard: (room, path, revision) => ask('roomDraft.discard', [room, path, revision]),
175
244
  },
176
245
  save: (room, roomDrafts) => ask('save', [room, roomDrafts]),
246
+ saveParts: (room, parts) => ask('saveParts', [room, parts]),
177
247
  presentation: {
178
248
  read: () => ask('presentation.read', []),
179
249
  write: (value) => ask('presentation.write', [value]),
@@ -187,28 +257,33 @@ export function connectMdRuntime(port) {
187
257
  answer: (conversation, answer) => ask('conversation.answer', [conversation, answer]),
188
258
  interrupt: (conversation) => ask('conversation.interrupt', [conversation]),
189
259
  kill: (conversation) => ask('conversation.kill', [conversation]),
190
- cancel: (conversation, turn) => ask('conversation.cancel', [conversation, turn]),
191
260
  delete: (conversation) => ask('conversation.delete', [conversation]),
192
261
  },
193
262
  chatDraft: {
194
263
  write: (conversation, draft, revision) => ask('chatDraft.write', [conversation, draft, revision]),
264
+ prepend: (conversation, draft) => ask('chatDraft.prepend', [conversation, draft]),
195
265
  discard: (conversation) => ask('chatDraft.discard', [conversation]),
196
266
  },
197
267
  history: (locator, path, query) => ask('history', [locator, path, query]),
268
+ resolve: (room, path, destination) => ask('resolve', [room, path, destination]),
198
269
  binaryFile: {
199
- read: (room, path, revision) => ask('binaryFile.read', [room, path, revision]),
200
- link: (room, path, revision) => ask('binaryFile.link', [room, path, revision]),
201
- readReference: (reference) => ask('binaryFile.readReference', [reference]),
270
+ read: (room, path, revision) => ask('binaryFile.read', [room, path, revision]).then((read) => streamed(read)),
271
+ attach: (room, file) => ask('binaryFile.attach', [room, file]),
272
+ download,
202
273
  },
203
274
  call: (name, input) => ask('call', [name, input]),
204
275
  reached: (locator, roomVersion, path) => ask('reached', [locator, roomVersion, path]),
205
276
  log: () => ask('log', []),
206
277
  persistence: () => ask('persistence', []),
207
278
  retry: () => ask('retry', []),
279
+ cleanUp: () => ask('cleanUp', []),
280
+ unsent: () => ask('unsent', []),
281
+ reset: () => ask('reset', []),
282
+ readAgain: () => ask('readAgain', []),
208
283
  observe: ((topic, ...input) => watch(topic, input)),
209
284
  reauthorize: () => ask('reauthorize', []),
210
285
  settled,
211
- };
286
+ });
212
287
  }
213
288
  const turns = new WeakMap();
214
289
  export function inTurn(client, work) {
@@ -216,4 +291,7 @@ export function inTurn(client, work) {
216
291
  turns.set(client, turn.then(() => undefined, () => undefined));
217
292
  return turn;
218
293
  }
294
+ export { chainedWindows } from './chain.js';
295
+ export { roomDraftRevision } from './identity.js';
296
+ export { defineRoomMedia, ROOM_MEDIA } from './media.js';
219
297
  export { unanswered } from './wire.js';
@@ -1,9 +1,6 @@
1
- import { type Document, type Frontmatter, type Validation } from '@agentshouse/mdmodel';
2
- import { type ModelState } from './model.js';
1
+ import { type Document, type TypedPath } from '@agentshouse/mdmodel';
2
+ import type { ModelState } from './model.js';
3
3
  import type { MdModelIdentity } from './adapter.js';
4
- import { type Paths } from './shared.js';
5
- import type { Refused } from './transfer.js';
6
- import { type Later } from './turn.js';
7
4
  export declare const MD_MODEL: MdModelIdentity;
8
5
  export type Collection = {
9
6
  text: Readonly<Record<string, string>>;
@@ -16,24 +13,17 @@ export type Composition = {
16
13
  roots: readonly string[];
17
14
  model: ModelState;
18
15
  } | null;
16
+ typedPaths: readonly TypedPath[];
19
17
  };
18
+ export type Composed = {
19
+ readonly composition: Composition;
20
+ readonly fingerprint: string;
21
+ };
22
+ export declare function composedOf(composition: Composition): Composed;
23
+ export declare function selected(composition: Composition, path: string): boolean;
20
24
  export declare function governing(composition: Composition, path: string): ModelState;
21
- export declare function collectionOf(text: Readonly<Record<string, string>>, composition: Composition, previous?: Collection): Collection;
22
- export declare function passingFrontmatter(collection: Collection, path: string): Frontmatter | undefined;
23
- export declare function documentsOf(collection: Collection): Generator<readonly [string, Document]>;
24
- export declare function unreadable(text: Readonly<Record<string, string>>, previous?: Readonly<Record<string, string>>): Refused | null;
25
+ export declare function collectionOf(text: Readonly<Record<string, string>>, composition: Composition): Collection;
26
+ export declare function documentsOf(collection: Collection): Generator<number, Iterable<readonly [string, Document]>, void>;
25
27
  export declare function validRoot(root: unknown): root is string;
26
- export declare function validateCollection(text: Readonly<Record<string, string>>, binaryTargets: readonly string[], composition: Composition): Validation;
27
- type Held = {
28
- text: Paths<string>;
29
- binaries: Paths<unknown>;
30
- };
31
- export declare function indexReferrers(held: Held, composition: Composition): Later<void>;
32
- export declare function referencesIndexed(held: Held, composition: Composition): boolean;
33
- export declare function referring(held: Held, composition: Composition, targets: Iterable<string>): ReadonlySet<string> | null;
34
28
  export declare function available(composition: Composition): boolean;
35
- export declare function changedCleanly(next: Held, previous: Held & {
36
- composition: Composition;
37
- }, composition: Composition): boolean;
38
- export {};
39
29
  //# sourceMappingURL=collection.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"collection.d.ts","sourceRoot":"","sources":["../src/collection.ts"],"names":[],"mappings":"AAAA,OAAO,EAUL,KAAK,QAAQ,EAEb,KAAK,WAAW,EAChB,KAAK,UAAU,EAEhB,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAAc,KAAK,UAAU,EAAE,MAAM,YAAY,CAAC;AACzD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AACpD,OAAO,EAA8B,KAAK,KAAK,EAAE,MAAM,aAAa,CAAC;AACrE,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAuB,KAAK,KAAK,EAAE,MAAM,WAAW,CAAC;AAE5D,eAAO,MAAM,QAAQ,EAAE,eAAwE,CAAC;AAIhG,MAAM,MAAM,UAAU,GAAG;IACvB,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACvC,WAAW,EAAE,WAAW,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,GAAG,SAAS,CAAC;CAC9C,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACxB,KAAK,EAAE,UAAU,CAAC;IAClB,SAAS,EAAE;QAAE,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;QAAC,KAAK,EAAE,UAAU,CAAA;KAAE,GAAG,IAAI,CAAC;CACnE,CAAC;AASF,wBAAgB,SAAS,CAAC,WAAW,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,GAAG,UAAU,CAI5E;AAsBD,wBAAgB,YAAY,CAC1B,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EACtC,WAAW,EAAE,WAAW,EACxB,QAAQ,CAAC,EAAE,UAAU,GACpB,UAAU,CAoBZ;AAED,wBAAgB,kBAAkB,CAAC,UAAU,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,GAAG,WAAW,GAAG,SAAS,CAOhG;AAED,wBAAiB,WAAW,CAAC,UAAU,EAAE,UAAU,GAAG,SAAS,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAW3F;AAED,wBAAgB,UAAU,CACxB,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EACtC,QAAQ,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAC1C,OAAO,GAAG,IAAI,CAUhB;AAED,wBAAgB,SAAS,CAAC,IAAI,EAAE,OAAO,GAAG,IAAI,IAAI,MAAM,CAEvD;AAwBD,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EACtC,aAAa,EAAE,SAAS,MAAM,EAAE,EAChC,WAAW,EAAE,WAAW,GACvB,UAAU,CA0BZ;AAED,KAAK,IAAI,GAAG;IACV,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IACpB,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;CAC1B,CAAC;AAyGF,wBAAgB,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,GAAG,KAAK,CAAC,IAAI,CAAC,CAwBhF;AAED,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,GAAG,OAAO,CAE/E;AAED,wBAAgB,SAAS,CACvB,IAAI,EAAE,IAAI,EACV,WAAW,EAAE,WAAW,EACxB,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,GACxB,WAAW,CAAC,MAAM,CAAC,GAAG,IAAI,CAS5B;AAED,wBAAgB,SAAS,CAAC,WAAW,EAAE,WAAW,GAAG,OAAO,CAK3D;AAED,wBAAgB,cAAc,CAC5B,IAAI,EAAE,IAAI,EACV,QAAQ,EAAE,IAAI,GAAG;IAAE,WAAW,EAAE,WAAW,CAAA;CAAE,EAC7C,WAAW,EAAE,WAAW,GACvB,OAAO,CAiET"}
1
+ {"version":3,"file":"collection.d.ts","sourceRoot":"","sources":["../src/collection.ts"],"names":[],"mappings":"AAAA,OAAO,EAAkB,KAAK,QAAQ,EAAE,KAAK,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAErF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAIpD,eAAO,MAAM,QAAQ,EAAE,eAAwE,CAAC;AAEhG,MAAM,MAAM,UAAU,GAAG;IACvB,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACvC,WAAW,EAAE,WAAW,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,GAAG,SAAS,CAAC;CAC9C,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACxB,KAAK,EAAE,UAAU,CAAC;IAClB,SAAS,EAAE;QAAE,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;QAAC,KAAK,EAAE,UAAU,CAAA;KAAE,GAAG,IAAI,CAAC;IAClE,UAAU,EAAE,SAAS,SAAS,EAAE,CAAC;CAClC,CAAC;AAEF,MAAM,MAAM,QAAQ,GAAG;IAAE,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;CAAE,CAAC;AAc3F,wBAAgB,UAAU,CAAC,WAAW,EAAE,WAAW,GAAG,QAAQ,CAS7D;AAED,wBAAgB,QAAQ,CAAC,WAAW,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAKxE;AAED,wBAAgB,SAAS,CAAC,WAAW,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,GAAG,UAAU,CAI5E;AAED,wBAAgB,YAAY,CAC1B,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EACtC,WAAW,EAAE,WAAW,GACvB,UAAU,CAcZ;AAED,wBAAiB,WAAW,CAC1B,UAAU,EAAE,UAAU,GACrB,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,EAAE,IAAI,CAAC,CAQhE;AAED,wBAAgB,SAAS,CAAC,IAAI,EAAE,OAAO,GAAG,IAAI,IAAI,MAAM,CAEvD;AAED,wBAAgB,SAAS,CAAC,WAAW,EAAE,WAAW,GAAG,OAAO,CAE3D"}
@@ -1,11 +1,30 @@
1
- import { checkDocument, parseFrontmatter, references, sectionReferences, target, parse, resolves, validate, VERSION, } from '@agentshouse/mdmodel';
1
+ import { parse, VERSION } from '@agentshouse/mdmodel';
2
2
  import { beneath, normalize } from './paths.js';
3
- import { sameTyping } from './model.js';
4
- import { differing, patched, shared } from './shared.js';
5
- import { inUnits, ROW_WEIGHT } from './turn.js';
3
+ import { hashed } from './observation.js';
4
+ import { sortedKeys } from './shared.js';
6
5
  export const MD_MODEL = { identity: '@agentshouse/mdmodel', version: VERSION };
7
- const NO_TYPES = { types: {} };
8
- function selected(composition, path) {
6
+ const typesPrinted = new WeakMap();
7
+ function typesPrint(model) {
8
+ if (model.status === 'unavailable')
9
+ return '';
10
+ let print = typesPrinted.get(model.types);
11
+ if (print === undefined) {
12
+ print = hashed(JSON.stringify(model.types)).toString(36);
13
+ typesPrinted.set(model.types, print);
14
+ }
15
+ return print;
16
+ }
17
+ export function composedOf(composition) {
18
+ const { model, selection } = composition;
19
+ return {
20
+ composition,
21
+ fingerprint: JSON.stringify([
22
+ typesPrint(model),
23
+ selection === null ? null : [selection.roots, typesPrint(selection.model)],
24
+ ]),
25
+ };
26
+ }
27
+ export function selected(composition, path) {
9
28
  return (composition.selection !== null &&
10
29
  composition.selection.roots.some((root) => beneath(root, path)));
11
30
  }
@@ -14,307 +33,36 @@ export function governing(composition, path) {
14
33
  ? composition.selection.model
15
34
  : composition.model;
16
35
  }
17
- const parsedIn = new WeakMap();
18
- function carried(previous, text) {
19
- const held = parsedIn.get(previous);
20
- if (held === undefined)
21
- return shared({});
22
- const kept = patched(held.base, held.added);
23
- held.base = kept;
24
- held.added = new Map();
25
- return patched(kept, [], differing(previous.text, text));
26
- }
27
- function cachedIn(collection, path) {
28
- const held = parsedIn.get(collection);
29
- if (held === undefined)
30
- return undefined;
31
- if (held.added.has(path))
32
- return held.added.get(path);
33
- return Object.hasOwn(held.base, path) ? held.base[path] : undefined;
34
- }
35
- export function collectionOf(text, composition, previous) {
36
- const parsed = {
37
- base: previous === undefined ? shared({}) : carried(previous, text),
38
- added: new Map(),
39
- };
40
- const collection = {
36
+ export function collectionOf(text, composition) {
37
+ const parsed = new Map();
38
+ return {
41
39
  text,
42
40
  composition,
43
41
  document(path) {
44
- const held = cachedIn(collection, path);
45
- if (held !== undefined)
46
- return held ?? undefined;
42
+ if (parsed.has(path))
43
+ return parsed.get(path) ?? undefined;
47
44
  const content = text[path];
48
45
  if (content === undefined)
49
46
  return undefined;
50
47
  const read = parse(content, path);
51
- parsed.added.set(path, read.ok ? read.document : null);
48
+ parsed.set(path, read.ok ? read.document : null);
52
49
  return read.ok ? read.document : undefined;
53
50
  },
54
51
  };
55
- parsedIn.set(collection, parsed);
56
- return collection;
57
- }
58
- export function passingFrontmatter(collection, path) {
59
- const held = cachedIn(collection, path);
60
- if (held !== undefined)
61
- return held ?? undefined;
62
- const content = collection.text[path];
63
- if (content === undefined)
64
- return undefined;
65
- const read = parseFrontmatter(content, path);
66
- return read.ok ? read.frontmatter : undefined;
67
52
  }
68
53
  export function* documentsOf(collection) {
69
- for (const path of Object.keys(collection.text).sort()) {
70
- const held = cachedIn(collection, path);
71
- if (held === null)
72
- continue;
73
- if (held !== undefined) {
74
- yield [path, held];
75
- continue;
54
+ const paths = yield* sortedKeys(collection.text);
55
+ return (function* () {
56
+ for (const path of paths) {
57
+ const document = collection.document(path);
58
+ if (document !== undefined)
59
+ yield [path, document];
76
60
  }
77
- const read = parse(collection.text[path], path);
78
- if (read.ok)
79
- yield [path, read.document];
80
- }
81
- }
82
- export function unreadable(text, previous) {
83
- const paths = previous === undefined
84
- ? Object.keys(text)
85
- : [...differing(previous, text)].filter((path) => text[path] !== undefined);
86
- for (const path of paths.sort()) {
87
- const read = parse(text[path], path);
88
- if (!read.ok)
89
- return { kind: 'refused', refusal: read.refusal };
90
- }
91
- return null;
61
+ })();
92
62
  }
93
63
  export function validRoot(root) {
94
64
  return typeof root === 'string' && normalize(root) === root;
95
65
  }
96
- function validateAgainst(documents, binaryTargets, model) {
97
- if (model.status === 'unavailable') {
98
- const typed = Object.entries(documents).find(([, content]) => {
99
- const parsed = parse(content);
100
- return parsed.ok && parsed.document.type !== undefined && parsed.document.type !== 'any';
101
- });
102
- if (typed !== undefined)
103
- return { verdict: 'refuse', rule: 'model-unavailable', file: typed[0] };
104
- }
105
- return validate(documents, { binaryTargets }, model.status === 'unavailable' ? NO_TYPES : { types: model.types });
106
- }
107
- export function validateCollection(text, binaryTargets, composition) {
108
- const collection = {};
109
- const selection = {};
110
- for (const [path, content] of Object.entries(text)) {
111
- if (selected(composition, path))
112
- selection[path] = content;
113
- else
114
- collection[path] = content;
115
- }
116
- const verdicts = [
117
- validateAgainst(collection, binaryTargets.filter((path) => !selected(composition, path)), composition.model),
118
- ];
119
- if (composition.selection !== null) {
120
- verdicts.push(validateAgainst(selection, binaryTargets.filter((path) => selected(composition, path)), composition.selection.model));
121
- }
122
- const refusals = verdicts.filter((verdict) => verdict.verdict === 'refuse');
123
- if (refusals.length === 0)
124
- return verdicts[0];
125
- return refusals.find((refusal) => refusal.rule !== 'model-unavailable') ?? refusals[0];
126
- }
127
- const referrersOf = new WeakMap();
128
- function typing(left, right) {
129
- return (sameTyping(left.model, right.model) &&
130
- (left.selection === null || right.selection === null
131
- ? left.selection === right.selection
132
- : sameTyping(left.selection.model, right.selection.model)) &&
133
- JSON.stringify(left.selection?.roots ?? null) === JSON.stringify(right.selection?.roots ?? null));
134
- }
135
- function declared(content) {
136
- if (content === undefined)
137
- return undefined;
138
- const read = parseFrontmatter(content);
139
- return read.ok ? (read.frontmatter.type ?? 'any') : undefined;
140
- }
141
- function typedIn(content) {
142
- const type = declared(content);
143
- return type !== undefined && type !== 'any';
144
- }
145
- function modelOf(composition, path) {
146
- const model = governing(composition, path);
147
- return model.status === 'unavailable' ? null : { types: model.types };
148
- }
149
- function checked(path, content, composition) {
150
- return checkDocument(path, content, modelOf(composition, path) ?? NO_TYPES);
151
- }
152
- function targetsOf(check) {
153
- if (!check.ok)
154
- return [];
155
- return [...new Set(check.references.flatMap(({ target }) => (target === null ? [] : [target])))];
156
- }
157
- function referencedBy(path, content, composition) {
158
- const model = modelOf(composition, path);
159
- if (model === null)
160
- return [];
161
- const read = parseFrontmatter(content, path);
162
- const type = read.ok ? read.frontmatter.type : undefined;
163
- if (!read.ok || type === undefined || !Object.hasOwn(model.types, type))
164
- return [];
165
- const definition = model.types[type];
166
- return [
167
- ...new Set([
168
- ...references(read.frontmatter, definition).flatMap(({ value }) => {
169
- const found = target(path, value);
170
- return found === null ? [] : [found];
171
- }),
172
- ...sectionReferences(path, content, definition).flatMap(({ target }) => target === null ? [] : [target]),
173
- ]),
174
- ];
175
- }
176
- function reindexed(index, changed) {
177
- const referrers = new Map();
178
- const touch = (target) => {
179
- let held = referrers.get(target);
180
- if (held === undefined) {
181
- held = new Set(Object.hasOwn(index.referrers, target) ? index.referrers[target] : []);
182
- referrers.set(target, held);
183
- }
184
- return held;
185
- };
186
- for (const [path, found] of changed) {
187
- const before = Object.hasOwn(index.targets, path) ? index.targets[path] : [];
188
- for (const target of before)
189
- touch(target).delete(path);
190
- for (const target of found)
191
- touch(target).add(path);
192
- }
193
- const emptied = [...referrers].filter(([, held]) => held.size === 0).map(([target]) => target);
194
- return {
195
- composition: index.composition,
196
- targets: patched(index.targets, [...changed].filter(([, found]) => found.length > 0), [...changed].filter(([, found]) => found.length === 0).map(([path]) => path)),
197
- referrers: patched(index.referrers, [...referrers]
198
- .filter(([, held]) => held.size > 0)
199
- .map(([target, held]) => [target, [...held]]), emptied),
200
- };
201
- }
202
- function heldIndex(held, composition) {
203
- const index = referrersOf.get(held.text);
204
- return index !== undefined && typing(index.composition, composition) ? index : null;
205
- }
206
- const indexing = new WeakMap();
207
- export function indexReferrers(held, composition) {
208
- if (heldIndex(held, composition) !== null)
209
- return;
210
- const running = indexing.get(held.text);
211
- if (running !== undefined)
212
- return running;
213
- const targets = new Map();
214
- const referrers = new Map();
215
- const filled = inUnits(Object.keys(held.text), (path) => {
216
- const content = held.text[path];
217
- const found = referencedBy(path, content, composition);
218
- if (found.length > 0)
219
- targets.set(path, found);
220
- for (const target of found)
221
- referrers.set(target, [...(referrers.get(target) ?? []), path]);
222
- return ROW_WEIGHT + content.length;
223
- });
224
- const indexed = () => {
225
- referrersOf.set(held.text, {
226
- composition,
227
- targets: patched(shared({}), targets),
228
- referrers: patched(shared({}), referrers),
229
- });
230
- };
231
- if (!(filled instanceof Promise))
232
- return indexed();
233
- const building = filled.then(indexed).finally(() => indexing.delete(held.text));
234
- indexing.set(held.text, building);
235
- return building;
236
- }
237
- export function referencesIndexed(held, composition) {
238
- return heldIndex(held, composition) !== null;
239
- }
240
- export function referring(held, composition, targets) {
241
- const index = heldIndex(held, composition);
242
- if (index === null)
243
- return null;
244
- const found = new Set();
245
- for (const target of targets) {
246
- if (!Object.hasOwn(index.referrers, target))
247
- continue;
248
- for (const file of index.referrers[target])
249
- found.add(file);
250
- }
251
- return found;
252
- }
253
66
  export function available(composition) {
254
- return (composition.model.status !== 'unavailable' &&
255
- (composition.selection === null || composition.selection.model.status !== 'unavailable'));
256
- }
257
- export function changedCleanly(next, previous, composition) {
258
- if (!typing(previous.composition, composition))
259
- return false;
260
- const paths = new Set([
261
- ...differing(previous.text, next.text),
262
- ...differing(previous.binaries, next.binaries, () => true),
263
- ]);
264
- const binary = (path) => Object.hasOwn(next.binaries, path);
265
- const within = (file) => (path) => selected(composition, path) === selected(composition, file);
266
- const reaching = (file, check) => {
267
- if (!check.ok)
268
- return false;
269
- const part = within(file);
270
- return check.references.every((reference) => resolves(reference, (path) => (part(path) ? declared(next.text[path]) : undefined), (path) => part(path) && binary(path)));
271
- };
272
- const changedTargets = new Map();
273
- const shifted = [];
274
- for (const path of paths) {
275
- const now = next.text[path];
276
- const was = previous.text[path];
277
- const modeled = modelOf(composition, path) !== null;
278
- if ((now === undefined) !== (was === undefined) ||
279
- declared(now) !== declared(was) ||
280
- binary(path) !== Object.hasOwn(previous.binaries, path)) {
281
- shifted.push(path);
282
- }
283
- if (!modeled && typedIn(was) && !typedIn(now))
284
- return false;
285
- if (now === undefined) {
286
- if (modeled)
287
- changedTargets.set(path, []);
288
- continue;
289
- }
290
- if (binary(path))
291
- return false;
292
- if (!modeled) {
293
- if (declared(now) === undefined)
294
- return false;
295
- if (!typedIn(now) && !checked(path, now, composition).ok)
296
- return false;
297
- continue;
298
- }
299
- const check = checked(path, now, composition);
300
- if (!reaching(path, check))
301
- return false;
302
- changedTargets.set(path, targetsOf(check));
303
- }
304
- const index = heldIndex(previous, composition);
305
- if (index === null && shifted.length > 0)
306
- return false;
307
- for (const target of shifted) {
308
- const files = index !== null && Object.hasOwn(index.referrers, target) ? index.referrers[target] : [];
309
- for (const file of files) {
310
- if (paths.has(file))
311
- continue;
312
- if (!reaching(file, checked(file, next.text[file], composition)))
313
- return false;
314
- }
315
- }
316
- if (index !== null) {
317
- referrersOf.set(next.text, changedTargets.size === 0 ? index : reindexed(index, changedTargets));
318
- }
319
- return true;
67
+ return composition.model.status !== 'unavailable';
320
68
  }
@@ -0,0 +1,16 @@
1
+ import { sql } from '@agentshouse/mdmodel';
2
+ import type { Plan, QueryRows } from './query.js';
3
+ import type { Connection } from './tables.js';
4
+ export type QueryRoom = {
5
+ readonly locator: string;
6
+ readonly key: number;
7
+ };
8
+ type Fragment = sql.Fragment;
9
+ export declare const VISIBLE: (alias: string) => string;
10
+ export declare function within(alias: string, path: string): Fragment;
11
+ export type QueryAnswer = QueryRows & {
12
+ readonly more?: string;
13
+ };
14
+ export declare function answerQuery(connection: Connection, plan: Plan, rooms: readonly QueryRoom[], budget?: number | null): QueryAnswer;
15
+ export {};
16
+ //# sourceMappingURL=compile.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"compile.d.ts","sourceRoot":"","sources":["../src/compile.ts"],"names":[],"mappings":"AAAA,OAAO,EASL,GAAG,EAOJ,MAAM,sBAAsB,CAAC;AAI9B,OAAO,KAAK,EAAE,IAAI,EAAuC,SAAS,EAAE,MAAM,YAAY,CAAC;AAEvF,OAAO,KAAK,EAAE,UAAU,EAAc,MAAM,aAAa,CAAC;AAG1D,MAAM,MAAM,SAAS,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,CAAC;AAE3E,KAAK,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC;AAI7B,eAAO,MAAM,OAAO,UAAW,MAAM,KAAG,MACkC,CAAC;AAa3E,wBAAgB,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,QAAQ,CAM5D;AA0cD,MAAM,MAAM,WAAW,GAAG,SAAS,GAAG;IAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAmajE,wBAAgB,WAAW,CACzB,UAAU,EAAE,UAAU,EACtB,IAAI,EAAE,IAAI,EACV,KAAK,EAAE,SAAS,SAAS,EAAE,EAC3B,MAAM,GAAE,MAAM,GAAG,IAAW,GAC3B,WAAW,CAUb"}