@agentshouse/mdruntime 0.1.0-ce41fec66d91b → 0.1.0-ce5b3c1e6ea87

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 (274) hide show
  1. package/README.md +2 -2
  2. package/dist/acceptance.d.ts +6 -0
  3. package/dist/acceptance.d.ts.map +1 -0
  4. package/dist/acceptance.js +389 -0
  5. package/dist/actions.d.ts +20 -0
  6. package/dist/actions.d.ts.map +1 -0
  7. package/dist/actions.js +251 -0
  8. package/dist/adapter.d.ts +44 -25
  9. package/dist/adapter.d.ts.map +1 -1
  10. package/dist/attached-model.d.ts +3 -10
  11. package/dist/attached-model.d.ts.map +1 -1
  12. package/dist/attached-model.js +21 -56
  13. package/dist/bootstrap.d.ts +8 -4
  14. package/dist/bootstrap.d.ts.map +1 -1
  15. package/dist/bootstrap.js +209 -78
  16. package/dist/cell.d.ts +6 -0
  17. package/dist/cell.d.ts.map +1 -0
  18. package/dist/cell.js +9 -0
  19. package/dist/chain.d.ts +2 -1
  20. package/dist/chain.d.ts.map +1 -1
  21. package/dist/change.d.ts +1 -0
  22. package/dist/change.d.ts.map +1 -1
  23. package/dist/chat-types.d.ts +5 -0
  24. package/dist/chat-types.d.ts.map +1 -0
  25. package/dist/chat-types.js +13 -0
  26. package/dist/client.d.ts +20 -4
  27. package/dist/client.d.ts.map +1 -1
  28. package/dist/client.js +3 -0
  29. package/dist/collection.d.ts +2 -1
  30. package/dist/collection.d.ts.map +1 -1
  31. package/dist/compile.d.ts +6 -6
  32. package/dist/compile.d.ts.map +1 -1
  33. package/dist/compile.js +231 -300
  34. package/dist/connection.d.ts +5 -141
  35. package/dist/connection.d.ts.map +1 -1
  36. package/dist/connection.js +101 -5058
  37. package/dist/context.d.ts +2 -0
  38. package/dist/context.d.ts.map +1 -0
  39. package/dist/context.js +7 -0
  40. package/dist/conversation-live.d.ts +136 -0
  41. package/dist/conversation-live.d.ts.map +1 -0
  42. package/dist/conversation-live.js +248 -0
  43. package/dist/conversation-row.d.ts +33 -0
  44. package/dist/conversation-row.d.ts.map +1 -0
  45. package/dist/conversation-row.js +53 -0
  46. package/dist/conversation.d.ts +34 -38
  47. package/dist/conversation.d.ts.map +1 -1
  48. package/dist/conversation.js +856 -850
  49. package/dist/discovery.d.ts +10 -0
  50. package/dist/discovery.d.ts.map +1 -0
  51. package/dist/discovery.js +175 -0
  52. package/dist/durability.d.ts +15 -0
  53. package/dist/durability.d.ts.map +1 -1
  54. package/dist/entry.d.ts +2 -2
  55. package/dist/entry.d.ts.map +1 -1
  56. package/dist/entry.js +17 -7
  57. package/dist/figures.d.ts +48 -0
  58. package/dist/figures.d.ts.map +1 -0
  59. package/dist/figures.js +197 -0
  60. package/dist/holdings.d.ts +29 -0
  61. package/dist/holdings.d.ts.map +1 -0
  62. package/dist/holdings.js +95 -0
  63. package/dist/host.d.ts +4 -5
  64. package/dist/host.d.ts.map +1 -1
  65. package/dist/host.js +23 -22
  66. package/dist/identity.d.ts +0 -1
  67. package/dist/identity.d.ts.map +1 -1
  68. package/dist/identity.js +0 -3
  69. package/dist/index.d.ts +23 -8
  70. package/dist/index.d.ts.map +1 -1
  71. package/dist/index.js +5 -1
  72. package/dist/install.d.ts +56 -0
  73. package/dist/install.d.ts.map +1 -0
  74. package/dist/install.js +560 -0
  75. package/dist/job.d.ts +33 -0
  76. package/dist/job.d.ts.map +1 -0
  77. package/dist/job.js +54 -0
  78. package/dist/lifecycle.d.ts +7 -0
  79. package/dist/lifecycle.d.ts.map +1 -0
  80. package/dist/lifecycle.js +268 -0
  81. package/dist/listing.d.ts +53 -0
  82. package/dist/listing.d.ts.map +1 -0
  83. package/dist/listing.js +175 -0
  84. package/dist/live.d.ts +5 -4
  85. package/dist/live.d.ts.map +1 -1
  86. package/dist/live.js +62 -20
  87. package/dist/locks.d.ts +9 -0
  88. package/dist/locks.d.ts.map +1 -0
  89. package/dist/locks.js +61 -0
  90. package/dist/log.d.ts +1 -0
  91. package/dist/log.d.ts.map +1 -1
  92. package/dist/lost.d.ts +5 -0
  93. package/dist/lost.d.ts.map +1 -0
  94. package/dist/lost.js +61 -0
  95. package/dist/memory.d.ts +5 -1
  96. package/dist/memory.d.ts.map +1 -1
  97. package/dist/memory.js +47 -8
  98. package/dist/messages.d.ts +27 -3
  99. package/dist/messages.d.ts.map +1 -1
  100. package/dist/messages.js +97 -19
  101. package/dist/model.d.ts +2 -9
  102. package/dist/model.d.ts.map +1 -1
  103. package/dist/model.js +0 -9
  104. package/dist/models.d.ts +14 -0
  105. package/dist/models.d.ts.map +1 -0
  106. package/dist/models.js +193 -0
  107. package/dist/observation.d.ts +2 -2
  108. package/dist/observation.d.ts.map +1 -1
  109. package/dist/observation.js +7 -2
  110. package/dist/opening.d.ts +4 -0
  111. package/dist/opening.d.ts.map +1 -0
  112. package/dist/opening.js +57 -0
  113. package/dist/outcome.d.ts +4 -1
  114. package/dist/outcome.d.ts.map +1 -1
  115. package/dist/outcome.js +3 -0
  116. package/dist/overlay.d.ts +1 -0
  117. package/dist/overlay.d.ts.map +1 -1
  118. package/dist/overlay.js +11 -0
  119. package/dist/parts.d.ts +59 -0
  120. package/dist/parts.d.ts.map +1 -0
  121. package/dist/parts.js +118 -0
  122. package/dist/preparation.d.ts +20 -0
  123. package/dist/preparation.d.ts.map +1 -0
  124. package/dist/preparation.js +226 -0
  125. package/dist/queries.d.ts +16 -0
  126. package/dist/queries.d.ts.map +1 -0
  127. package/dist/queries.js +272 -0
  128. package/dist/query.d.ts +13 -208
  129. package/dist/query.d.ts.map +1 -1
  130. package/dist/query.js +3 -505
  131. package/dist/questions.d.ts +34 -0
  132. package/dist/questions.d.ts.map +1 -0
  133. package/dist/questions.js +122 -0
  134. package/dist/reach.d.ts +14 -12
  135. package/dist/reach.d.ts.map +1 -1
  136. package/dist/reach.js +167 -114
  137. package/dist/react.d.ts +10 -2
  138. package/dist/react.d.ts.map +1 -1
  139. package/dist/read.d.ts +7 -0
  140. package/dist/read.d.ts.map +1 -0
  141. package/dist/read.js +17 -0
  142. package/dist/readiness.d.ts +0 -2
  143. package/dist/readiness.d.ts.map +1 -1
  144. package/dist/reads.d.ts +37 -0
  145. package/dist/reads.d.ts.map +1 -0
  146. package/dist/reads.js +171 -0
  147. package/dist/recovery.d.ts.map +1 -1
  148. package/dist/recovery.js +9 -1
  149. package/dist/refresh.d.ts +1 -1
  150. package/dist/refresh.d.ts.map +1 -1
  151. package/dist/refresh.js +7 -0
  152. package/dist/refusal.d.ts +5 -0
  153. package/dist/refusal.d.ts.map +1 -0
  154. package/dist/refusal.js +56 -0
  155. package/dist/replica.d.ts +8 -8
  156. package/dist/replica.d.ts.map +1 -1
  157. package/dist/replica.js +52 -16
  158. package/dist/room-draft.d.ts +4 -3
  159. package/dist/room-draft.d.ts.map +1 -1
  160. package/dist/room-draft.js +65 -52
  161. package/dist/room-drafts.d.ts +24 -0
  162. package/dist/room-drafts.d.ts.map +1 -0
  163. package/dist/room-drafts.js +216 -0
  164. package/dist/rows.d.ts +14 -21
  165. package/dist/rows.d.ts.map +1 -1
  166. package/dist/rows.js +48 -184
  167. package/dist/runtime.d.ts +43 -0
  168. package/dist/runtime.d.ts.map +1 -0
  169. package/dist/runtime.js +1 -0
  170. package/dist/save.d.ts +3 -1
  171. package/dist/save.d.ts.map +1 -1
  172. package/dist/save.js +16 -11
  173. package/dist/saves.d.ts +70 -0
  174. package/dist/saves.d.ts.map +1 -0
  175. package/dist/saves.js +1006 -0
  176. package/dist/search.d.ts +12 -63
  177. package/dist/search.d.ts.map +1 -1
  178. package/dist/search.js +9 -52
  179. package/dist/seed.d.ts +11 -2
  180. package/dist/seed.d.ts.map +1 -1
  181. package/dist/seed.js +71 -0
  182. package/dist/shared.d.ts +1 -1
  183. package/dist/shared.d.ts.map +1 -1
  184. package/dist/shared.js +9 -5
  185. package/dist/shown.d.ts +31 -0
  186. package/dist/shown.d.ts.map +1 -0
  187. package/dist/shown.js +295 -0
  188. package/dist/socket/admission.d.ts +7 -0
  189. package/dist/socket/admission.d.ts.map +1 -0
  190. package/dist/socket/admission.js +39 -0
  191. package/dist/socket/answers.d.ts +6 -0
  192. package/dist/socket/answers.d.ts.map +1 -0
  193. package/dist/socket/answers.js +20 -0
  194. package/dist/socket/lanes.d.ts +20 -0
  195. package/dist/socket/lanes.d.ts.map +1 -0
  196. package/dist/socket/lanes.js +77 -0
  197. package/dist/socket/reads.d.ts +10 -0
  198. package/dist/socket/reads.d.ts.map +1 -0
  199. package/dist/socket/reads.js +31 -0
  200. package/dist/socket/rooms.d.ts +43 -0
  201. package/dist/socket/rooms.d.ts.map +1 -0
  202. package/dist/socket/rooms.js +90 -0
  203. package/dist/socket/session.d.ts +39 -0
  204. package/dist/socket/session.d.ts.map +1 -0
  205. package/dist/socket/session.js +23 -0
  206. package/dist/socket.d.ts +70 -0
  207. package/dist/socket.d.ts.map +1 -0
  208. package/dist/socket.js +175 -0
  209. package/dist/source.d.ts +61 -0
  210. package/dist/source.d.ts.map +1 -0
  211. package/dist/source.js +81 -0
  212. package/dist/status.d.ts +0 -2
  213. package/dist/status.d.ts.map +1 -1
  214. package/dist/status.js +0 -6
  215. package/dist/store/fences.d.ts +16 -0
  216. package/dist/store/fences.d.ts.map +1 -0
  217. package/dist/store/fences.js +26 -0
  218. package/dist/store/installs.d.ts +30 -0
  219. package/dist/store/installs.d.ts.map +1 -0
  220. package/dist/store/installs.js +34 -0
  221. package/dist/store/readiness.d.ts +10 -0
  222. package/dist/store/readiness.d.ts.map +1 -0
  223. package/dist/store/readiness.js +52 -0
  224. package/dist/store/records.d.ts +212 -0
  225. package/dist/store/records.d.ts.map +1 -0
  226. package/dist/store/records.js +408 -0
  227. package/dist/store/room-held.d.ts +8 -0
  228. package/dist/store/room-held.d.ts.map +1 -0
  229. package/dist/store/room-held.js +17 -0
  230. package/dist/store/space.d.ts +11 -0
  231. package/dist/store/space.d.ts.map +1 -0
  232. package/dist/store/space.js +43 -0
  233. package/dist/store/watchers.d.ts +17 -0
  234. package/dist/store/watchers.d.ts.map +1 -0
  235. package/dist/store/watchers.js +57 -0
  236. package/dist/store/writes.d.ts +24 -0
  237. package/dist/store/writes.d.ts.map +1 -0
  238. package/dist/store/writes.js +125 -0
  239. package/dist/store.d.ts +107 -145
  240. package/dist/store.d.ts.map +1 -1
  241. package/dist/store.js +143 -366
  242. package/dist/stored.d.ts +58 -32
  243. package/dist/stored.d.ts.map +1 -1
  244. package/dist/stored.js +264 -187
  245. package/dist/surface.d.ts +88 -0
  246. package/dist/surface.d.ts.map +1 -0
  247. package/dist/surface.js +223 -0
  248. package/dist/sync.d.ts +20 -0
  249. package/dist/sync.d.ts.map +1 -0
  250. package/dist/sync.js +532 -0
  251. package/dist/tables.d.ts +117 -27
  252. package/dist/tables.d.ts.map +1 -1
  253. package/dist/tables.js +211 -49
  254. package/dist/tallies.d.ts +18 -0
  255. package/dist/tallies.d.ts.map +1 -0
  256. package/dist/tallies.js +129 -0
  257. package/dist/validation.d.ts.map +1 -1
  258. package/dist/validation.js +7 -4
  259. package/dist/windows.d.ts +1 -12
  260. package/dist/windows.d.ts.map +1 -1
  261. package/dist/windows.js +2 -75
  262. package/dist/wire.d.ts +17 -1
  263. package/dist/wire.d.ts.map +1 -1
  264. package/dist/wire.js +7 -0
  265. package/package.json +2 -2
  266. package/dist/fence.d.ts +0 -6
  267. package/dist/fence.d.ts.map +0 -1
  268. package/dist/fence.js +0 -10
  269. package/dist/fulltext.d.ts +0 -27
  270. package/dist/fulltext.d.ts.map +0 -1
  271. package/dist/fulltext.js +0 -370
  272. package/dist/words.d.ts +0 -19
  273. package/dist/words.d.ts.map +0 -1
  274. package/dist/words.js +0 -156
@@ -1,31 +1,15 @@
1
+ import { cursorOf, decodedCursor } from '@agentshouse/mdmodel';
1
2
  import { conversationChangeSet } from './change-set.js';
3
+ import { FACTS, QUIET, } from './conversation-live.js';
4
+ import { heldFacts } from './conversation-row.js';
2
5
  import { runtimeError } from './failure.js';
3
6
  import { refusedForSpace } from './durability.js';
4
7
  import { changeBatchIdentity, chatDraftRevision } from './identity.js';
5
8
  import { OFFLINE } from './outcome.js';
9
+ import { jobsOf, runningLine } from './parts.js';
10
+ import { openQuestion, questionAsked } from './questions.js';
6
11
  import { untilAnswered } from './recovery.js';
7
- import { capped, cursorOf, decodedCursor, FROM_START, messageOrder, precedes } from './windows.js';
8
- const QUIET = {
9
- turn: null,
10
- questions: [],
11
- process: null,
12
- commands: [],
13
- options: [],
14
- starting: null,
15
- subagents: [],
16
- link: null,
17
- deliveryUnknown: [],
18
- };
19
- const FACTS = [
20
- 'questions',
21
- 'process',
22
- 'commands',
23
- 'options',
24
- 'starting',
25
- 'subagents',
26
- 'link',
27
- 'deliveryUnknown',
28
- ];
12
+ import { capped, FROM_START, messageOrder, precedes } from './windows.js';
29
13
  export function unheldView(conversation) {
30
14
  return {
31
15
  conversation,
@@ -33,6 +17,7 @@ export function unheldView(conversation) {
33
17
  turn: null,
34
18
  questions: [],
35
19
  process: null,
20
+ processEnded: null,
36
21
  commands: [],
37
22
  options: [],
38
23
  starting: null,
@@ -40,6 +25,7 @@ export function unheldView(conversation) {
40
25
  link: null,
41
26
  deliveryUnknown: [],
42
27
  chatDraft: null,
28
+ jobs: [],
43
29
  };
44
30
  }
45
31
  export const SESSION_STARTED = 'Session started';
@@ -51,10 +37,8 @@ export function newChat(agent) {
51
37
  function creationOf(input) {
52
38
  if (typeof input !== 'object' || input === null)
53
39
  return null;
54
- const { agent_id: agent, operation_id: operation, replaces, } = input;
55
- return typeof agent === 'string' && typeof operation === 'string' && replaces === undefined
56
- ? { agent, operation }
57
- : null;
40
+ const { agent_id: agent, operation_id: operation } = input;
41
+ return typeof agent === 'string' && typeof operation === 'string' ? { agent, operation } : null;
58
42
  }
59
43
  function startedTurn(turn, operation) {
60
44
  if (operation.op === 'begin')
@@ -213,7 +197,14 @@ function askedOf(options) {
213
197
  }
214
198
  return { limit: capped(limit), after, before: beforeOf(after), total: total === true };
215
199
  }
216
- const EXPIRED = { kind: 'rejected', code: 'expired', fields: {}, retryable: false };
200
+ function phraseOf(text) {
201
+ if (text === undefined)
202
+ return null;
203
+ if (typeof text !== 'string' || text === '') {
204
+ throw runtimeError('invalid-text', 'a conversation is found by a phrase');
205
+ }
206
+ return text;
207
+ }
217
208
  const DURABLE_WRITE = {
218
209
  kind: 'rejected',
219
210
  code: 'durable-write',
@@ -246,683 +237,776 @@ function returned(draft, submission, others) {
246
237
  revision: chatDraftRevision(),
247
238
  }, others);
248
239
  }
249
- export function createConversationStore(deps) {
250
- const stored = new Set();
251
- const reads = new Map();
252
- const partials = new Set();
253
- const drafts = new Map();
254
- const sending = new Map();
255
- const behind = new Set();
256
- const catching = new Map();
257
- const gaps = new Map();
258
- const lives = new Map();
259
- const unsent = new Map();
260
- const views = new Map();
261
- const listing = new Map();
262
- let relisting = null;
263
- let listCursor = null;
264
- const creations = new Set();
265
- const listWatchers = new Set();
266
- const unlisted = new Set();
267
- let listKnown = false;
268
- let listHeld = false;
269
- let listKept = false;
270
- const agentWatchers = new Set();
271
- const unnamed = new Set();
272
- let agentsShown = null;
273
- let listedAgents = null;
274
- let agentsReading = false;
275
- let replicated = new Set();
276
- let handedReplicated;
277
- function liveOf(conversation) {
278
- return lives.get(conversation) ?? QUIET;
279
- }
280
- function viewOf(conversation, held, frame) {
281
- const draft = drafts.get(conversation);
282
- const facts = liveOf(conversation);
283
- return {
284
- conversation,
285
- messages: held.map(({ identity, turn, text, message }) => ({
286
- identity,
287
- turn,
288
- text,
289
- message,
290
- })),
291
- ...frame,
292
- turn: structuredClone(facts.turn),
293
- questions: structuredClone(facts.questions),
294
- process: facts.process === null ? null : { ...facts.process },
295
- commands: structuredClone(facts.commands),
296
- options: structuredClone(facts.options),
297
- starting: facts.starting,
298
- subagents: structuredClone(facts.subagents),
299
- link: facts.link === null ? null : { ...facts.link },
300
- deliveryUnknown: [...facts.deliveryUnknown],
301
- chatDraft: draft === undefined || unwritten(draft)
302
- ? null
303
- : { text: draft.text, revision: draft.revision },
304
- };
240
+ function viewOf(alive, conversation, held, frame, draft, ended, marked) {
241
+ const facts = alive.liveOf(conversation);
242
+ return {
243
+ conversation,
244
+ messages: held.map(({ identity, turn, text, message }) => ({
245
+ identity,
246
+ turn,
247
+ text,
248
+ message,
249
+ })),
250
+ ...frame,
251
+ turn: structuredClone(facts.turn),
252
+ questions: structuredClone(facts.questions),
253
+ process: facts.process === null ? null : { ...facts.process },
254
+ processEnded: ended,
255
+ commands: structuredClone(facts.commands),
256
+ options: structuredClone(facts.options),
257
+ starting: facts.starting,
258
+ subagents: structuredClone(facts.subagents),
259
+ link: facts.link === null ? null : { ...facts.link },
260
+ deliveryUnknown: [...facts.deliveryUnknown],
261
+ chatDraft: draft === null || unwritten(draft) ? null : { text: draft.text, revision: draft.revision },
262
+ jobs: facts.process?.running === false
263
+ ? []
264
+ : jobsOf(marked.filter(({ at }) => ended === null || at > ended), facts.turn),
265
+ };
266
+ }
267
+ function emit(alive, conversation) {
268
+ if (alive.deps.closed())
269
+ return;
270
+ for (const view of alive.views()) {
271
+ const { window, draft, ended, marked } = view.held.now();
272
+ if (view.conversation !== conversation || window === null)
273
+ continue;
274
+ const ready = view.ready();
275
+ if (ready.length === 0)
276
+ continue;
277
+ const value = viewOf(alive, conversation, window, sharedFrame(view, window), draft, ended, marked);
278
+ for (const watcher of ready)
279
+ watcher.notify(value);
305
280
  }
306
- function emit(conversation) {
307
- if (deps.closed())
308
- return;
309
- for (const view of views.values()) {
310
- if (view.conversation !== conversation || view.window === null)
311
- continue;
312
- const ready = [...view.watchers].filter((watcher) => watcher.ready);
313
- if (ready.length === 0)
314
- continue;
315
- const value = viewOf(conversation, view.window, sharedFrame(view, view.window));
316
- for (const watcher of ready)
317
- watcher.notify(value);
281
+ }
282
+ function sharedFrame(view, window) {
283
+ const { more, total } = view.held.now();
284
+ return frameOf(view.asked, window, more, total);
285
+ }
286
+ async function slide(alive, local, conversation, arriving) {
287
+ let count;
288
+ let marked;
289
+ for (const view of alive.views()) {
290
+ const { held } = view;
291
+ const { window, total } = held.now();
292
+ if (view.conversation !== conversation || window === null)
293
+ continue;
294
+ if (arriving === null) {
295
+ held.set({ window: [], marked: [], more: false, total: total === null ? null : 0 });
296
+ continue;
318
297
  }
319
- }
320
- function sharedFrame(view, window) {
321
- return frameOf(view.asked, window, view.more, view.total);
322
- }
323
- async function slide(local, conversation, arriving) {
324
- let count;
325
- for (const view of views.values()) {
326
- if (view.conversation !== conversation || view.window === null)
327
- continue;
328
- if (arriving === null) {
329
- view.window = [];
330
- view.more = false;
331
- if (view.total !== null)
332
- view.total = 0;
333
- continue;
334
- }
335
- const joining = arriving.filter((message) => precedes(message, view.asked.before));
336
- const next = windowOf(view.window, joining, view.asked.limit);
337
- view.window = next.messages;
338
- view.more ||= next.dropped;
339
- if (view.total !== null && arriving.length > 0) {
340
- count ??= await local.messageCount(conversation);
341
- view.total = count;
342
- }
298
+ const joining = arriving.filter((message) => precedes(message, view.asked.before));
299
+ const next = windowOf(window, joining, view.asked.limit);
300
+ held.set({ window: next.messages, more: held.now().more || next.dropped });
301
+ if (arriving.length > 0) {
302
+ marked ??= await local.jobMarkers(conversation);
303
+ held.set({ marked });
343
304
  }
344
- }
345
- function stateOf(conversation) {
346
- const facts = liveOf(conversation);
347
- if (facts.questions.length > 0)
348
- return 'asking';
349
- return facts.turn === null ? 'idle' : 'working';
350
- }
351
- function entries() {
352
- return [...listing.values()].map((entry) => ({
353
- conversation: entry.conversation,
354
- agent: { identity: entry.agent, name: entry.agentName },
355
- name: entry.name,
356
- created: entry.created,
357
- finished: entry.finished,
358
- outcome: entry.outcome,
359
- waiting: entry.waiting,
360
- state: stateOf(entry.conversation),
361
- started: lives.get(entry.conversation)?.turn?.started ?? null,
362
- }));
363
- }
364
- function keepList() {
365
- if (!listKnown || listKept)
366
- return;
367
- listKept = true;
368
- queueMicrotask(() => {
369
- listKept = false;
370
- if (deps.closed())
371
- return;
372
- const entries = [...listing.values()];
373
- const cursor = listCursor;
374
- void deps
375
- .durably(async (local) => {
376
- await local.fact('conversationList', entries);
377
- await local.fact('conversationCursor', cursor);
378
- })
379
- .catch(() => { });
380
- });
381
- }
382
- function listed(entry) {
383
- listing.set(entry.conversation, { ...entry });
384
- creations.delete(entry.conversation);
385
- }
386
- function emitList() {
387
- if (deps.closed())
388
- return;
389
- if (listWatchers.size > 0) {
390
- const value = entries();
391
- for (const watcher of listWatchers)
392
- watcher(value);
305
+ if (held.now().total !== null && arriving.length > 0) {
306
+ count ??= await local.messageCount(conversation);
307
+ held.set({ total: count });
393
308
  }
394
- emitAgents();
395
- learned();
396
309
  }
397
- function learned() {
398
- if (deps.closed())
399
- return;
400
- if (!listKnown && !listHeld && deps.stream() !== undefined && deps.online())
401
- return;
402
- if (unlisted.size > 0) {
403
- const value = entries();
404
- for (const watcher of [...unlisted]) {
405
- unlisted.delete(watcher);
406
- listWatchers.add(watcher);
407
- watcher(value);
408
- }
310
+ }
311
+ function stateOf(alive, conversation) {
312
+ const facts = alive.liveOf(conversation);
313
+ if (facts.questions.length > 0)
314
+ return 'asking';
315
+ return facts.turn === null ? 'idle' : 'working';
316
+ }
317
+ function rowOf(alive, conversation) {
318
+ const { turn, questions } = alive.liveOf(conversation);
319
+ return {
320
+ state: stateOf(alive, conversation),
321
+ started: turn?.started ?? null,
322
+ line: turn === null ? null : runningLine(turn.parts),
323
+ question: openQuestion(questions),
324
+ asked: questionAsked(questions),
325
+ };
326
+ }
327
+ async function entries(alive) {
328
+ const list = await heldList(alive);
329
+ if (list === null)
330
+ return null;
331
+ const held = list.length === 0
332
+ ? []
333
+ : await alive.deps.durably((local) => local.conversationRows(list.map(({ conversation }) => conversation)));
334
+ const rows = new Map(held.map((one) => [one.conversation, one]));
335
+ return list.map((entry) => ({
336
+ conversation: entry.conversation,
337
+ agent: { identity: entry.agent, name: entry.agentName, retired: entry.agentRetired },
338
+ name: entry.name,
339
+ created: entry.created,
340
+ finished: entry.finished,
341
+ outcome: entry.outcome,
342
+ waiting: entry.waiting,
343
+ ...rowOf(alive, entry.conversation),
344
+ ...heldFacts(rows.get(entry.conversation), entry),
345
+ }));
346
+ }
347
+ async function heldList(alive) {
348
+ const stored = (await (await alive.deps.local()).facts()).conversationList;
349
+ if (stored !== null)
350
+ return stored;
351
+ return !alive.known() && alive.deps.stream() !== undefined && alive.deps.online() ? null : [];
352
+ }
353
+ async function endedIn(alive, conversation) {
354
+ const list = await heldList(alive);
355
+ return list?.find((entry) => entry.conversation === conversation)?.processEnded ?? null;
356
+ }
357
+ function listChanged(alive, change) {
358
+ void alive.deps
359
+ .durably(async (local) => {
360
+ const { conversationList, conversationCursor } = await local.facts();
361
+ const kept = change.replacing ? [] : (conversationList ?? []);
362
+ const held = new Map(kept.map((entry) => [entry.conversation, entry]));
363
+ for (const entry of change.set) {
364
+ held.set(entry.conversation, { ...entry });
365
+ alive.created(entry.conversation);
409
366
  }
410
- if (unnamed.size > 0) {
411
- const value = agents();
412
- for (const watcher of [...unnamed]) {
413
- unnamed.delete(watcher);
414
- agentWatchers.add(watcher);
415
- watcher(value);
416
- }
367
+ if (change.gone !== null)
368
+ held.delete(change.gone);
369
+ const list = [...held.values()];
370
+ if (JSON.stringify(list) !== JSON.stringify(conversationList)) {
371
+ await local.fact('conversationList', list);
417
372
  }
418
- }
419
- function agents() {
420
- const named = new Map();
421
- for (const agent of listedAgents ?? [])
422
- named.set(agent.agent, agent);
423
- for (const entry of listing.values()) {
424
- named.set(entry.agent, { name: entry.agentName, retired: entry.agentRetired });
373
+ if (change.cursor !== undefined) {
374
+ if (change.cursor !== conversationCursor) {
375
+ await local.fact('conversationCursor', change.cursor);
376
+ }
377
+ alive.deps.stream()?.hold(change.cursor);
425
378
  }
426
- return [...named]
427
- .filter(([, agent]) => !agent.retired)
428
- .map(([identity, agent]) => ({ identity, name: agent.name }))
429
- .sort((left, right) => left.name === right.name
430
- ? left.identity.localeCompare(right.identity)
431
- : left.name.localeCompare(right.name));
432
- }
433
- function readAgents() {
434
- const stream = deps.stream();
435
- if (stream?.agents === undefined || !deps.online() || agentsReading)
436
- return;
437
- agentsReading = true;
438
- void stream
439
- .agents()
440
- .then((read) => {
441
- if (read === null)
442
- return;
443
- listedAgents = read;
444
- emitAgents();
445
- }, () => { })
446
- .finally(() => {
447
- agentsReading = false;
448
- });
449
- }
450
- function emitAgents() {
451
- if (deps.closed() || agentWatchers.size === 0)
379
+ return list;
380
+ })
381
+ .catch(async () => (await (await alive.deps.local()).facts()).conversationList ?? [])
382
+ .then((list) => {
383
+ if (alive.deps.closed() || change.paged === true)
452
384
  return;
453
- const value = agents();
454
- const shown = JSON.stringify(value);
455
- if (shown === agentsShown)
385
+ endedAnew(alive, list);
386
+ if (change.cursor !== undefined) {
387
+ alive.held.set({ listKnown: true });
388
+ settleBehind(alive, list);
389
+ openingEnded(alive);
390
+ alive.deps.settled();
391
+ }
392
+ emitList(alive);
393
+ if (!alive.known())
456
394
  return;
457
- agentsShown = shown;
458
- for (const watcher of agentWatchers)
459
- watcher(value);
395
+ retiredDrafts(alive, list);
396
+ const { replicated } = alive.held.now();
397
+ if (change.cursor === undefined &&
398
+ (list.length !== replicated.size ||
399
+ list.some(({ conversation }) => !replicated.has(conversation)))) {
400
+ alive.deps.again();
401
+ }
402
+ }, () => { });
403
+ }
404
+ function endedAnew(alive, list) {
405
+ const entries = new Map(list.map((entry) => [entry.conversation, entry]));
406
+ for (const view of alive.views()) {
407
+ const ended = entries.get(view.conversation)?.processEnded ?? null;
408
+ const held = view.held.now();
409
+ if (held.window === null || ended === held.ended)
410
+ continue;
411
+ view.held.set({ ended });
412
+ emit(alive, view.conversation);
460
413
  }
461
- function setLive(conversation, next) {
462
- const before = stateOf(conversation);
463
- const began = lives.get(conversation)?.turn?.started;
464
- if (next === null)
465
- lives.delete(conversation);
466
- else
467
- lives.set(conversation, next);
468
- if (!listing.has(conversation))
414
+ }
415
+ function shownList(alive, work) {
416
+ const reading = heldList(alive);
417
+ alive.inOrder(async () => {
418
+ const list = await reading.catch(() => null);
419
+ if (list === null || alive.deps.closed())
469
420
  return;
470
- if (stateOf(conversation) !== before || next?.turn?.started !== began)
471
- emitList();
472
- }
473
- function retiredChat(conversation) {
474
- if (!conversation.startsWith(NEW_CHAT))
475
- return false;
476
- const agent = conversation.slice(NEW_CHAT.length);
477
- return [...listing.values()].some((entry) => entry.agent === agent && entry.agentRetired);
478
- }
479
- function live(conversation, change) {
480
- const owed = unsent.get(conversation);
481
- for (const fact of FACTS.filter((one) => one in change))
482
- owed?.delete(fact);
483
- setLive(conversation, { ...liveOf(conversation), ...change });
484
- emit(conversation);
485
- }
486
- function openingEnded() {
487
- const owed = [...unsent];
488
- unsent.clear();
489
- for (const [conversation, facts] of owed) {
490
- const held = lives.get(conversation);
491
- if (held === undefined || facts.size === 0)
421
+ work(list);
422
+ });
423
+ }
424
+ async function told(alive) {
425
+ try {
426
+ while (alive.held.now().listOwed && !alive.deps.closed()) {
427
+ alive.held.set({ listOwed: false });
428
+ const value = await untilAnswered(() => entries(alive), alive.closing);
429
+ if (alive.deps.closed())
430
+ return;
431
+ if (value === null)
492
432
  continue;
493
- setLive(conversation, {
494
- turn: held.turn,
495
- questions: facts.has('questions') ? QUIET.questions : held.questions,
496
- process: facts.has('process') ? QUIET.process : held.process,
497
- commands: facts.has('commands') ? QUIET.commands : held.commands,
498
- options: facts.has('options') ? QUIET.options : held.options,
499
- starting: facts.has('starting') ? QUIET.starting : held.starting,
500
- subagents: facts.has('subagents') ? QUIET.subagents : held.subagents,
501
- link: facts.has('link') ? QUIET.link : held.link,
502
- deliveryUnknown: facts.has('deliveryUnknown')
503
- ? QUIET.deliveryUnknown
504
- : held.deliveryUnknown,
505
- });
506
- emit(conversation);
433
+ alive.listeners.tell(value);
434
+ alive.listeners.welcome(value);
507
435
  }
508
436
  }
509
- function relayed(conversation, turn, operation) {
510
- const held = liveOf(conversation).turn;
511
- const next = held?.turn === turn ? appliedTurn(held, operation) : startedTurn(turn, operation);
512
- if (next !== null)
513
- live(conversation, { turn: next });
514
- }
515
- function sealTurns(conversation, turns) {
516
- const held = lives.get(conversation);
517
- if (held?.turn == null || !turns.has(held.turn.turn))
518
- return false;
519
- setLive(conversation, { ...held, turn: null });
520
- return true;
521
- }
522
- function handReplicated() {
523
- const stream = deps.stream();
524
- if (stream === undefined)
525
- return;
526
- const held = [...replicated].sort();
527
- const named = JSON.stringify(held);
528
- if (named === handedReplicated)
529
- return;
530
- handedReplicated = named;
531
- stream.replicate(held);
532
- }
533
- async function remove(leaving) {
534
- await deps.durably(async (local) => {
535
- await local.dropConversations(leaving);
536
- const changed = [];
537
- for (const conversation of leaving) {
538
- if (stored.has(conversation) || drafts.has(conversation) || lives.has(conversation)) {
539
- changed.push(conversation);
540
- }
541
- stored.delete(conversation);
542
- reads.delete(conversation);
543
- partials.delete(conversation);
544
- drafts.delete(conversation);
545
- behind.delete(conversation);
546
- unsent.delete(conversation);
547
- setLive(conversation, null);
548
- await slide(local, conversation, null);
549
- }
550
- if (changed.length > 0)
551
- deps.publish(conversationChangeSet(changed));
552
- });
437
+ finally {
438
+ alive.held.set({ listTelling: false });
553
439
  }
554
- function missed(conversation) {
555
- const read = reads.get(conversation);
556
- const newest = listing.get(conversation)?.newest;
557
- return (read === undefined ||
558
- newest === undefined ||
559
- partials.has(conversation) ||
560
- (newest !== null && (read === null || newest > read)));
440
+ }
441
+ function tellList(alive) {
442
+ const { listeners } = alive;
443
+ if (alive.deps.closed() || (!listeners.told() && !listeners.waiting()))
444
+ return;
445
+ alive.held.set({ listOwed: true });
446
+ if (alive.held.now().listTelling)
447
+ return;
448
+ alive.held.set({ listTelling: true });
449
+ void told(alive).catch(() => { });
450
+ }
451
+ function tellSoon(alive) {
452
+ alive.rowSoon(() => tellList(alive));
453
+ }
454
+ function emitList(alive) {
455
+ if (alive.deps.closed())
456
+ return;
457
+ tellList(alive);
458
+ emitAgents(alive);
459
+ conversationsLearned(alive);
460
+ }
461
+ export function conversationsLearned(alive) {
462
+ if (alive.deps.closed())
463
+ return;
464
+ if (alive.listeners.waiting())
465
+ tellList(alive);
466
+ if (!alive.agentListeners.waiting())
467
+ return;
468
+ shownList(alive, (list) => alive.agentListeners.welcome(agents(alive, list)));
469
+ }
470
+ function agents(alive, list) {
471
+ const named = new Map();
472
+ for (const agent of alive.held.now().listedAgents ?? [])
473
+ named.set(agent.agent, agent);
474
+ for (const entry of list) {
475
+ named.set(entry.agent, { name: entry.agentName, retired: entry.agentRetired });
561
476
  }
562
- function noted(conversation, message) {
563
- const entry = listing.get(conversation);
564
- if (entry === undefined || (entry.newest !== null && entry.newest >= message.position))
477
+ return [...named]
478
+ .filter(([, agent]) => !agent.retired)
479
+ .map(([identity, agent]) => ({ identity, name: agent.name }))
480
+ .sort((left, right) => left.name === right.name
481
+ ? left.identity.localeCompare(right.identity)
482
+ : left.name.localeCompare(right.name));
483
+ }
484
+ function readAgents(alive) {
485
+ const stream = alive.deps.stream();
486
+ if (stream?.agents === undefined || !alive.deps.online() || alive.held.now().agentsReading)
487
+ return;
488
+ const { agents: read } = stream;
489
+ const { agentListeners } = alive;
490
+ alive.held.set({ agentsReading: true });
491
+ void alive.deps.recovery
492
+ .attempt('agents', async () => {
493
+ if (!alive.deps.online() || (!agentListeners.waiting() && !agentListeners.told())) {
494
+ return 'done';
495
+ }
496
+ const listed = await read();
497
+ if (listed === null)
498
+ return 'done';
499
+ alive.held.set({ listedAgents: listed });
500
+ emitAgents(alive);
501
+ return 'done';
502
+ })
503
+ .finally(() => {
504
+ alive.held.set({ agentsReading: false });
505
+ });
506
+ }
507
+ function emitAgents(alive) {
508
+ if (alive.deps.closed() || !alive.agentListeners.told())
509
+ return;
510
+ shownList(alive, (list) => {
511
+ const value = agents(alive, list);
512
+ const shown = JSON.stringify(value);
513
+ if (shown === alive.held.now().agentsShown)
565
514
  return;
566
- listing.set(conversation, { ...entry, newest: message.position });
567
- }
568
- function gap(conversation) {
569
- gaps.set(conversation, (gaps.get(conversation) ?? 0) + 1);
570
- behind.add(conversation);
571
- }
572
- function keep(conversation, message) {
573
- return deps.durably(async (local) => {
574
- if (!replicated.has(conversation))
575
- return;
576
- const read = reads.get(conversation);
577
- const advances = read !== undefined &&
578
- !behind.has(conversation) &&
579
- (read === null || message.position > read);
580
- await sealed(local, conversation, new Set([message.turn]));
581
- await local.keepMessages({
582
- conversation,
583
- messages: [message],
584
- ...(advances ? { read: { at: message.position, partial: false } } : {}),
585
- });
586
- stored.add(conversation);
587
- if (advances)
588
- reads.set(conversation, message.position);
589
- sealTurns(conversation, new Set([message.turn]));
590
- await slide(local, conversation, [message]);
591
- deps.publish(conversationChangeSet([conversation]));
515
+ alive.held.set({ agentsShown: shown });
516
+ alive.agentListeners.tell(value);
517
+ });
518
+ }
519
+ function setLive(alive, conversation, next) {
520
+ const before = rowOf(alive, conversation);
521
+ alive.holdLive(conversation, next);
522
+ const after = rowOf(alive, conversation);
523
+ if (after.state !== before.state || after.started !== before.started)
524
+ emitList(alive);
525
+ else if (after.line !== before.line ||
526
+ after.question !== before.question ||
527
+ after.asked !== before.asked)
528
+ tellSoon(alive);
529
+ }
530
+ function retiredChat(conversation, list) {
531
+ if (!conversation.startsWith(NEW_CHAT))
532
+ return false;
533
+ const agent = conversation.slice(NEW_CHAT.length);
534
+ return list.some((entry) => entry.agent === agent && entry.agentRetired);
535
+ }
536
+ function live(alive, conversation, change) {
537
+ alive.factsHeard(conversation, FACTS.filter((one) => one in change));
538
+ setLive(alive, conversation, { ...alive.liveOf(conversation), ...change });
539
+ emit(alive, conversation);
540
+ }
541
+ function openingEnded(alive) {
542
+ for (const [conversation, facts] of alive.factsTaken()) {
543
+ const held = alive.liveHeld(conversation);
544
+ if (held === undefined || facts.size === 0)
545
+ continue;
546
+ setLive(alive, conversation, {
547
+ turn: held.turn,
548
+ questions: facts.has('questions') ? QUIET.questions : held.questions,
549
+ process: facts.has('process') ? QUIET.process : held.process,
550
+ commands: facts.has('commands') ? QUIET.commands : held.commands,
551
+ options: facts.has('options') ? QUIET.options : held.options,
552
+ starting: facts.has('starting') ? QUIET.starting : held.starting,
553
+ subagents: facts.has('subagents') ? QUIET.subagents : held.subagents,
554
+ link: facts.has('link') ? QUIET.link : held.link,
555
+ deliveryUnknown: facts.has('deliveryUnknown') ? QUIET.deliveryUnknown : held.deliveryUnknown,
592
556
  });
557
+ emit(alive, conversation);
593
558
  }
594
- async function readHistories(conversations, ended) {
595
- const generations = new Map(conversations.map((one) => [one, gaps.get(one) ?? 0]));
596
- let waiting = conversations.map((conversation) => ({
597
- conversation,
598
- after: reads.get(conversation) ?? undefined,
599
- }));
600
- while (waiting.length > 0) {
601
- const asking = waiting.slice(0, HISTORY_CONVERSATIONS);
602
- const result = await deps.history({
603
- conversations: asking.map(({ conversation, after }) => ({
604
- conversation,
605
- ...(after === undefined ? {} : { after }),
606
- })),
607
- });
608
- const pages = historyPages(result);
609
- if (pages === null)
610
- return result;
611
- const asked = new Map(asking.map(({ conversation, after }) => [conversation, after]));
612
- const following = [];
613
- for (const page of pages) {
614
- if (!asked.has(page.conversation))
615
- continue;
616
- await keepPage(page.conversation, page.messages, asked.get(page.conversation) ?? null, page.next, generations.get(page.conversation) ?? 0);
617
- if (page.next !== undefined) {
618
- following.push({ conversation: page.conversation, after: page.next });
619
- }
620
- }
621
- for (const { conversation } of asking) {
622
- if (!following.some((next) => next.conversation === conversation))
623
- ended(conversation);
559
+ }
560
+ function relayed(alive, conversation, turn, operation) {
561
+ const held = alive.liveOf(conversation).turn;
562
+ const next = held?.turn === turn ? appliedTurn(held, operation) : startedTurn(turn, operation);
563
+ if (next !== null)
564
+ live(alive, conversation, { turn: next });
565
+ }
566
+ function sealTurns(alive, conversation, turns) {
567
+ const held = alive.liveHeld(conversation);
568
+ if (held?.turn == null || !turns.has(held.turn.turn))
569
+ return false;
570
+ setLive(alive, conversation, { ...held, turn: null });
571
+ return true;
572
+ }
573
+ function handReplicated(alive) {
574
+ const stream = alive.deps.stream();
575
+ if (stream === undefined)
576
+ return;
577
+ const held = [...alive.held.now().replicated].sort();
578
+ const named = JSON.stringify(held);
579
+ if (named === alive.held.now().handedReplicated)
580
+ return;
581
+ alive.held.set({ handedReplicated: named });
582
+ stream.replicate(held);
583
+ }
584
+ async function remove(alive, leaving) {
585
+ await alive.deps.durably(async (local) => {
586
+ const kept = new Set([
587
+ ...(await local.conversations(leaving)).map(({ conversation }) => conversation),
588
+ ...(await local.chatDrafts())
589
+ .filter(({ conversation }) => leaving.includes(conversation))
590
+ .map(({ conversation }) => conversation),
591
+ ]);
592
+ await local.dropConversations(leaving);
593
+ const changed = [];
594
+ for (const conversation of leaving) {
595
+ if (kept.has(conversation) || alive.liveHeld(conversation) !== undefined) {
596
+ changed.push(conversation);
624
597
  }
625
- waiting = [...waiting.slice(HISTORY_CONVERSATIONS), ...following];
598
+ shownDraft(alive, conversation, null);
599
+ alive.forget(conversation);
600
+ setLive(alive, conversation, null);
601
+ await slide(alive, local, conversation, null);
626
602
  }
627
- return null;
628
- }
629
- function caughtUp(conversations) {
630
- const ends = new Map();
631
- for (const conversation of conversations) {
632
- const held = new Promise((end) => ends.set(conversation, end));
633
- catching.set(conversation, held);
634
- void held.then(() => {
635
- if (catching.get(conversation) === held)
636
- catching.delete(conversation);
637
- });
603
+ if (changed.length > 0)
604
+ alive.deps.publish(conversationChangeSet(changed));
605
+ });
606
+ }
607
+ function newestOfListed(alive, entry) {
608
+ if (entry === undefined)
609
+ return undefined;
610
+ const heard = alive.newestHeard(entry.conversation);
611
+ if (heard === undefined)
612
+ return entry.newest;
613
+ return entry.newest === null || heard > entry.newest ? heard : entry.newest;
614
+ }
615
+ function missed(alive, conversation, held, entry) {
616
+ const read = held?.read;
617
+ const newest = newestOfListed(alive, entry);
618
+ return (read === undefined ||
619
+ newest === undefined ||
620
+ held?.partial === true ||
621
+ (newest !== null && (read === null || newest > read)));
622
+ }
623
+ async function readsOf(local, conversations) {
624
+ return new Map((await local.conversations(conversations)).map((held) => [held.conversation, held]));
625
+ }
626
+ function retiredDrafts(alive, list) {
627
+ if (!list.some((entry) => entry.agentRetired))
628
+ return;
629
+ void alive.deps
630
+ .local()
631
+ .then((local) => local.chatDrafts())
632
+ .then((held) => {
633
+ if (!alive.deps.closed() &&
634
+ held.some(({ conversation }) => retiredChat(conversation, list))) {
635
+ alive.deps.again();
638
636
  }
639
- const ended = (conversation) => ends.get(conversation)?.();
640
- const read = readHistories(conversations, ended);
641
- const endAll = () => {
642
- for (const conversation of conversations)
643
- ended(conversation);
644
- };
645
- read.then(endAll, endAll);
646
- return read;
647
- }
648
- function keepPage(conversation, arriving, from, next, generation) {
649
- return deps.durably(async (local) => {
650
- if (!replicated.has(conversation))
651
- return;
652
- const whole = next === undefined;
653
- const cursor = next ?? newestOf(arriving, from);
654
- const partial = !whole && (partials.has(conversation) || !reads.has(conversation));
655
- const sealing = await sealed(local, conversation, new Set(arriving.map((message) => message.turn)));
656
- await local.keepMessages({ conversation, messages: arriving, read: { at: cursor, partial } });
657
- stored.add(conversation);
658
- reads.set(conversation, cursor);
659
- if (partial)
660
- partials.add(conversation);
661
- else
662
- partials.delete(conversation);
663
- sealTurns(conversation, new Set(arriving.map((message) => message.turn)));
664
- if (whole && (gaps.get(conversation) ?? 0) === generation)
665
- behind.delete(conversation);
666
- await slide(local, conversation, arriving);
667
- if (arriving.length > 0 || sealing || whole) {
668
- deps.publish(conversationChangeSet([conversation]));
637
+ }, () => { });
638
+ }
639
+ function settleBehind(alive, list) {
640
+ void alive.deps
641
+ .durably(async (local) => {
642
+ const entries = new Map(list.map((entry) => [entry.conversation, entry]));
643
+ const named = [...alive.held.now().replicated].filter((conversation) => entries.has(conversation));
644
+ const held = await readsOf(local, named);
645
+ let owed = false;
646
+ for (const conversation of named) {
647
+ if (!missed(alive, conversation, held.get(conversation), entries.get(conversation))) {
648
+ alive.caughtUpTo(conversation);
649
+ }
650
+ else if (!alive.behind(conversation)) {
651
+ alive.gapOpened(conversation);
652
+ owed = true;
669
653
  }
670
- });
671
- }
672
- function heard(event) {
673
- const { conversation } = event;
674
- if (event.kind === 'gap') {
675
- if (replicated.has(conversation))
676
- gap(conversation);
677
- if (lives.has(conversation))
678
- unsent.set(conversation, new Set(FACTS));
679
- return;
680
- }
681
- if (event.kind === 'turn') {
682
- relayed(conversation, event.turn, event.operation);
683
- return;
684
- }
685
- if (event.kind === 'questions') {
686
- live(conversation, { questions: structuredClone(event.questions) });
687
- return;
688
- }
689
- if (event.kind === 'process') {
690
- live(conversation, { process: { running: event.running } });
691
- return;
692
- }
693
- if (event.kind === 'commands') {
694
- live(conversation, { commands: structuredClone(event.commands) });
695
- return;
696
- }
697
- if (event.kind === 'options') {
698
- live(conversation, { options: structuredClone(event.options) });
699
- return;
700
- }
701
- if (event.kind === 'starting') {
702
- live(conversation, { starting: event.step });
703
- return;
704
654
  }
705
- if (event.kind === 'subagents') {
706
- live(conversation, { subagents: structuredClone(event.subagents) });
655
+ return owed;
656
+ })
657
+ .then((owed) => {
658
+ if (alive.deps.closed())
707
659
  return;
708
- }
709
- if (event.kind === 'link') {
710
- live(conversation, { link: { connected: event.connected } });
660
+ alive.deps.settled();
661
+ if (owed)
662
+ alive.deps.again();
663
+ }, () => { });
664
+ }
665
+ function keep(alive, conversation, message) {
666
+ return alive.deps.durably(async (local) => {
667
+ if (!alive.held.now().replicated.has(conversation))
711
668
  return;
669
+ const read = (await readsOf(local, [conversation])).get(conversation)?.read;
670
+ const advances = read !== undefined &&
671
+ !alive.behind(conversation) &&
672
+ (read === null || message.position > read);
673
+ await sealed(alive, local, conversation, new Set([message.turn]));
674
+ await local.keepMessages({
675
+ conversation,
676
+ messages: [message],
677
+ ...(advances ? { read: { at: message.position, partial: false } } : {}),
678
+ });
679
+ sealTurns(alive, conversation, new Set([message.turn]));
680
+ await slide(alive, local, conversation, [message]);
681
+ alive.deps.publish(conversationChangeSet([conversation]));
682
+ tellList(alive);
683
+ });
684
+ }
685
+ async function readHistories(alive, conversations, ended) {
686
+ const generations = new Map(conversations.map((one) => [one, alive.generation(one)]));
687
+ const held = await readsOf(await alive.deps.local(), conversations);
688
+ let waiting = conversations.map((conversation) => ({
689
+ conversation,
690
+ after: held.get(conversation)?.read ?? undefined,
691
+ }));
692
+ while (waiting.length > 0) {
693
+ const asking = waiting.slice(0, HISTORY_CONVERSATIONS);
694
+ const result = await alive.deps.history({
695
+ conversations: asking.map(({ conversation, after }) => ({
696
+ conversation,
697
+ ...(after === undefined ? {} : { after }),
698
+ })),
699
+ });
700
+ const pages = historyPages(result);
701
+ if (pages === null)
702
+ return result;
703
+ const asked = new Map(asking.map(({ conversation, after }) => [conversation, after]));
704
+ const following = [];
705
+ for (const page of pages) {
706
+ if (!asked.has(page.conversation))
707
+ continue;
708
+ await keepPage(alive, page.conversation, page.messages, asked.get(page.conversation) ?? null, page.next, generations.get(page.conversation) ?? 0);
709
+ if (page.next !== undefined) {
710
+ following.push({ conversation: page.conversation, after: page.next });
711
+ }
712
712
  }
713
- if (event.kind === 'deliveries') {
714
- live(conversation, { deliveryUnknown: [...event.unknown] });
715
- return;
713
+ for (const { conversation } of asking) {
714
+ if (!following.some((next) => next.conversation === conversation))
715
+ ended(conversation);
716
716
  }
717
- const arriving = acceptedMessage(event.message);
718
- if (arriving === null)
719
- return;
720
- noted(conversation, arriving);
721
- if (replicated.has(conversation)) {
722
- if (deps.full()) {
723
- gap(conversation);
724
- return;
725
- }
726
- void keep(conversation, arriving).catch((error) => {
727
- if (refusedForSpace(error))
728
- gap(conversation);
729
- });
717
+ waiting = [...waiting.slice(HISTORY_CONVERSATIONS), ...following];
718
+ }
719
+ return null;
720
+ }
721
+ function caughtUp(alive, conversations) {
722
+ const ends = new Map();
723
+ for (const conversation of conversations) {
724
+ alive.catchingUntil(conversation, new Promise((end) => ends.set(conversation, end)));
725
+ }
726
+ const ended = (conversation) => ends.get(conversation)?.();
727
+ const read = readHistories(alive, conversations, ended);
728
+ const endAll = () => {
729
+ for (const conversation of conversations)
730
+ ended(conversation);
731
+ };
732
+ read.then(endAll, endAll);
733
+ return read;
734
+ }
735
+ function keepPage(alive, conversation, arriving, from, next, generation) {
736
+ return alive.deps.durably(async (local) => {
737
+ if (!alive.held.now().replicated.has(conversation))
730
738
  return;
739
+ const whole = next === undefined;
740
+ const cursor = next ?? newestOf(arriving, from);
741
+ const held = (await readsOf(local, [conversation])).get(conversation);
742
+ const partial = !whole && (held?.partial === true || held?.read === undefined);
743
+ const sealing = await sealed(alive, local, conversation, new Set(arriving.map((message) => message.turn)));
744
+ await local.keepMessages({ conversation, messages: arriving, read: { at: cursor, partial } });
745
+ sealTurns(alive, conversation, new Set(arriving.map((message) => message.turn)));
746
+ if (whole && alive.generation(conversation) === generation)
747
+ alive.caughtUpTo(conversation);
748
+ await slide(alive, local, conversation, arriving);
749
+ if (arriving.length > 0 || sealing || whole) {
750
+ alive.deps.publish(conversationChangeSet([conversation]));
731
751
  }
732
- if (sealTurns(conversation, new Set([arriving.turn])))
733
- emit(conversation);
752
+ if (arriving.length > 0)
753
+ tellSoon(alive);
754
+ });
755
+ }
756
+ function heard(alive, event) {
757
+ const { conversation } = event;
758
+ if (event.kind === 'gap') {
759
+ if (alive.held.now().replicated.has(conversation))
760
+ alive.gapOpened(conversation);
761
+ if (alive.liveHeld(conversation) !== undefined)
762
+ alive.factsOwed(conversation);
763
+ return;
734
764
  }
735
- async function kept(local, conversation, following) {
736
- if (following === null || empty(following)) {
737
- await local.dropChatDraft(conversation);
738
- drafts.delete(conversation);
739
- }
740
- else {
741
- await local.keepChatDrafts([following]);
742
- drafts.set(conversation, following);
743
- }
765
+ if (event.kind === 'turn') {
766
+ relayed(alive, conversation, event.turn, event.operation);
767
+ return;
744
768
  }
745
- async function sealed(local, conversation, turns) {
746
- const held = drafts.get(conversation);
747
- const submitted = held?.submitted ?? [];
748
- const left = submitted.filter((one) => one.turn === null || !turns.has(one.turn));
749
- if (held === undefined || left.length === submitted.length)
750
- return false;
751
- await kept(local, conversation, withSubmitted(held, left));
752
- return true;
769
+ if (event.kind === 'questions') {
770
+ live(alive, conversation, { questions: structuredClone(event.questions) });
771
+ return;
753
772
  }
754
- function moved(agent, operation, to) {
755
- const from = newChat(agent);
756
- return deps.durably(async (local) => {
757
- const held = drafts.get(from);
758
- const earlier = (held?.moves ?? []).filter((one) => !deps.expired(one));
759
- if (earlier.includes(operation))
760
- return;
761
- const blank = {
762
- conversation: from,
763
- text: '',
764
- revision: chatDraftRevision(),
765
- };
766
- const { moves: _answered, ...unsent } = held ?? blank;
767
- const taken = drafts.has(to) || empty(unsent) ? [] : [{ ...unsent, conversation: to }];
768
- const left = { ...(taken.length === 0 ? unsent : blank), moves: [...earlier, operation] };
769
- await local.keepChatDrafts([left, ...taken]);
770
- drafts.set(from, left);
771
- for (const one of taken)
772
- drafts.set(to, one);
773
- deps.publish(conversationChangeSet([from, to]));
774
- });
773
+ if (event.kind === 'process') {
774
+ live(alive, conversation, { process: { running: event.running } });
775
+ return;
775
776
  }
776
- function withDraft(conversation, next) {
777
- return deps.durably(async (local) => {
778
- const following = await next(drafts.get(conversation), local);
779
- if (following === undefined)
780
- return;
781
- await kept(local, conversation, following);
782
- deps.publish(conversationChangeSet([conversation]));
783
- });
777
+ if (event.kind === 'commands') {
778
+ live(alive, conversation, { commands: structuredClone(event.commands) });
779
+ return;
784
780
  }
785
- async function submitted(conversation, operation, draft) {
786
- let submission;
787
- let earlier = false;
788
- await withDraft(conversation, (current) => {
789
- submission = current?.submitted?.find((one) => one.operation === operation);
790
- earlier = submission !== undefined;
791
- if (submission !== undefined)
792
- return undefined;
793
- const said = draft ?? current;
794
- submission = { operation, text: said?.text ?? '', turn: null };
795
- return {
796
- conversation,
797
- ...(draft === undefined || current === undefined
798
- ? { text: '', revision: chatDraftRevision() }
799
- : { text: current.text, revision: current.revision }),
800
- submitted: [...(current?.submitted ?? []), submission],
801
- };
802
- });
803
- return { submission: submission, earlier };
781
+ if (event.kind === 'options') {
782
+ live(alive, conversation, { options: structuredClone(event.options) });
783
+ return;
804
784
  }
805
- function forgotten(conversation, submission) {
806
- return withDraft(conversation, (current) => {
807
- const held = current?.submitted ?? [];
808
- if (current === undefined || !held.includes(submission))
809
- return undefined;
810
- return withSubmitted(current, held.filter((one) => one !== submission));
785
+ if (event.kind === 'starting') {
786
+ live(alive, conversation, { starting: event.step });
787
+ return;
788
+ }
789
+ if (event.kind === 'subagents') {
790
+ live(alive, conversation, { subagents: structuredClone(event.subagents) });
791
+ return;
792
+ }
793
+ if (event.kind === 'link') {
794
+ live(alive, conversation, { link: { connected: event.connected } });
795
+ return;
796
+ }
797
+ if (event.kind === 'deliveries') {
798
+ live(alive, conversation, { deliveryUnknown: [...event.unknown] });
799
+ return;
800
+ }
801
+ const arriving = acceptedMessage(event.message);
802
+ if (arriving === null)
803
+ return;
804
+ alive.heardAt(conversation, arriving.position);
805
+ if (alive.held.now().replicated.has(conversation)) {
806
+ if (alive.deps.full()) {
807
+ alive.gapOpened(conversation);
808
+ return;
809
+ }
810
+ void keep(alive, conversation, arriving).catch((error) => {
811
+ if (refusedForSpace(error))
812
+ alive.gapOpened(conversation);
811
813
  });
814
+ return;
812
815
  }
813
- async function dispatched(conversation, submission) {
814
- const dispatch = { answered: false };
815
- sending.set(submission.operation, dispatch);
816
- try {
817
- const result = await invoke('conversations/send', conversation, {
818
- operation_id: submission.operation,
819
- text: submission.text,
820
- });
821
- dispatch.answered = result.kind !== 'transport-uncertainty';
822
- if (result.kind === 'revoked-authorization')
823
- return result;
824
- if (result.kind !== 'action' && result.retryable) {
825
- deps.unanswered();
826
- return result;
827
- }
828
- const turn = answered(result, 'message_id');
829
- await withDraft(conversation, async (current, local) => {
830
- const held = current?.submitted?.find((one) => one.operation === submission.operation);
831
- if (current === undefined || held === undefined || held.turn !== null)
832
- return undefined;
833
- const others = current.submitted.filter((one) => one !== held);
834
- if (result.kind !== 'action')
835
- return returned(current, held, others);
836
- const arrived = turn !== null && (await local.turnArrived(conversation, turn));
837
- return withSubmitted(current, turn === null || arrived
838
- ? others
839
- : current.submitted.map((one) => (one === held ? { ...held, turn } : one)));
840
- });
816
+ if (sealTurns(alive, conversation, new Set([arriving.turn])))
817
+ emit(alive, conversation);
818
+ }
819
+ async function kept(alive, local, conversation, following) {
820
+ const shown = following === null || empty(following) ? null : following;
821
+ if (shown === null)
822
+ await local.dropChatDraft(conversation);
823
+ else
824
+ await local.keepChatDrafts([shown]);
825
+ shownDraft(alive, conversation, shown);
826
+ }
827
+ function shownDraft(alive, conversation, draft) {
828
+ for (const view of alive.views()) {
829
+ if (view.conversation === conversation)
830
+ view.held.set({ draft });
831
+ }
832
+ }
833
+ async function draftAt(local, conversation) {
834
+ return (await local.chatDraft(conversation)) ?? undefined;
835
+ }
836
+ async function sealed(alive, local, conversation, turns) {
837
+ const held = await draftAt(local, conversation);
838
+ const submitted = held?.submitted ?? [];
839
+ const left = submitted.filter((one) => one.turn === null || !turns.has(one.turn));
840
+ if (held === undefined || left.length === submitted.length)
841
+ return false;
842
+ await kept(alive, local, conversation, withSubmitted(held, left));
843
+ return true;
844
+ }
845
+ function moved(alive, agent, operation, to) {
846
+ const from = newChat(agent);
847
+ return alive.deps.durably(async (local) => {
848
+ const held = await draftAt(local, from);
849
+ const earlier = held?.moves ?? [];
850
+ if (earlier.includes(operation))
851
+ return;
852
+ const blank = {
853
+ conversation: from,
854
+ text: '',
855
+ revision: chatDraftRevision(),
856
+ };
857
+ const { moves: _answered, ...unsent } = held ?? blank;
858
+ const taken = (await draftAt(local, to)) !== undefined || empty(unsent)
859
+ ? []
860
+ : [{ ...unsent, conversation: to }];
861
+ const left = { ...(taken.length === 0 ? unsent : blank), moves: [...earlier, operation] };
862
+ await local.keepChatDrafts([left, ...taken]);
863
+ shownDraft(alive, from, left);
864
+ for (const one of taken)
865
+ shownDraft(alive, to, one);
866
+ alive.deps.publish(conversationChangeSet([from, to]));
867
+ });
868
+ }
869
+ function withDraft(alive, conversation, next) {
870
+ return alive.deps.durably(async (local) => {
871
+ const following = await next(await draftAt(local, conversation), local);
872
+ if (following === undefined)
873
+ return;
874
+ await kept(alive, local, conversation, following);
875
+ alive.deps.publish(conversationChangeSet([conversation]));
876
+ });
877
+ }
878
+ async function submitted(alive, conversation, operation, draft) {
879
+ let submission;
880
+ await withDraft(alive, conversation, (current) => {
881
+ submission = current?.submitted?.find((one) => one.operation === operation);
882
+ if (submission !== undefined)
883
+ return undefined;
884
+ const said = draft ?? current;
885
+ submission = { operation, text: said?.text ?? '', turn: null };
886
+ return {
887
+ conversation,
888
+ ...(draft === undefined || current === undefined
889
+ ? { text: '', revision: chatDraftRevision() }
890
+ : { text: current.text, revision: current.revision }),
891
+ submitted: [...(current?.submitted ?? []), submission],
892
+ };
893
+ });
894
+ return submission;
895
+ }
896
+ async function dispatched(alive, conversation, submission) {
897
+ const dispatch = alive.sendingBegan(submission.operation);
898
+ try {
899
+ const result = await invoke(alive, 'conversations/send', conversation, {
900
+ operation_id: submission.operation,
901
+ text: submission.text,
902
+ });
903
+ dispatch.set({ answered: result.kind !== 'transport-uncertainty' });
904
+ if (result.kind === 'revoked-authorization')
905
+ return result;
906
+ if (result.kind !== 'action' && result.retryable) {
907
+ alive.deps.unanswered();
841
908
  return result;
842
909
  }
843
- finally {
844
- if (sending.get(submission.operation) === dispatch)
845
- sending.delete(submission.operation);
846
- }
910
+ const turn = answered(result, 'message_id');
911
+ await withDraft(alive, conversation, async (current, local) => {
912
+ const held = current?.submitted?.find((one) => one.operation === submission.operation);
913
+ if (current === undefined || held === undefined || held.turn !== null)
914
+ return undefined;
915
+ const others = current.submitted.filter((one) => one !== held);
916
+ if (result.kind !== 'action')
917
+ return returned(current, held, others);
918
+ const arrived = turn !== null && (await local.turnArrived(conversation, turn));
919
+ return withSubmitted(current, turn === null || arrived
920
+ ? others
921
+ : current.submitted.map((one) => (one === held ? { ...held, turn } : one)));
922
+ });
923
+ return result;
847
924
  }
848
- function invoke(name, conversation, extra = { operation_id: changeBatchIdentity() }) {
849
- return deps.call(name, { conversation_id: conversation, ...extra });
925
+ finally {
926
+ alive.sendingEnded(submission.operation, dispatch);
850
927
  }
851
- const surface = {
928
+ }
929
+ function invoke(alive, name, conversation, extra = { operation_id: changeBatchIdentity() }) {
930
+ return alive.deps.call(name, { conversation_id: conversation, ...extra });
931
+ }
932
+ export function conversationSurface(alive) {
933
+ return {
852
934
  list() {
853
935
  return new Promise((settle) => {
854
936
  const answer = (listed) => {
855
- unlisted.delete(answer);
856
- listWatchers.delete(answer);
937
+ alive.listeners.leave(answer);
857
938
  settle(listed);
858
939
  };
859
- unlisted.add(answer);
860
- learned();
940
+ alive.listeners.join(answer);
941
+ conversationsLearned(alive);
861
942
  });
862
943
  },
863
944
  async read(conversation, options = {}) {
864
- const asked = askedOf(options);
865
- return deps.durably(async (local) => {
866
- const { messages, more } = await local.messageWindow(conversation, asked.limit, asked.before);
867
- const total = asked.total ? await local.messageCount(conversation) : null;
868
- return structuredClone(viewOf(conversation, messages, frameOf(asked, messages, more, total)));
945
+ const { text, ...windowed } = options;
946
+ const asked = askedOf(windowed);
947
+ const phrase = phraseOf(text);
948
+ return alive.deps.durably(async (local) => {
949
+ const { messages, more } = await local.messageWindow(conversation, asked.limit, asked.before, phrase);
950
+ const total = asked.total ? await local.messageCount(conversation, phrase) : null;
951
+ const marked = await local.jobMarkers(conversation);
952
+ return structuredClone(viewOf(alive, conversation, messages, frameOf(asked, messages, more, total), (await local.chatDraft(conversation)) ?? null, await endedIn(alive, conversation), marked));
869
953
  });
870
954
  },
871
955
  async create(input) {
872
- const result = await deps.call('conversations/create', input);
956
+ const result = await alive.deps.call('conversations/create', input);
873
957
  const conversation = answered(result, 'conversation_id');
874
958
  if (conversation === null)
875
959
  return result;
876
- if (!listing.has(conversation))
877
- creations.add(conversation);
960
+ const listed = (await heldList(alive)) ?? [];
961
+ if (!listed.some((entry) => entry.conversation === conversation)) {
962
+ alive.creating(conversation);
963
+ }
878
964
  const creation = creationOf(input);
879
965
  if (creation !== null)
880
- await moved(creation.agent, creation.operation, conversation);
966
+ await moved(alive, creation.agent, creation.operation, conversation);
881
967
  return result;
882
968
  },
883
969
  async send(conversation, operation = changeBatchIdentity(), draft) {
884
- if (deps.full())
970
+ if (alive.deps.full())
885
971
  return DURABLE_WRITE;
886
- if (deps.online()) {
887
- const held = await submitted(conversation, operation, draft).catch((error) => {
972
+ if (alive.deps.online()) {
973
+ const held = await submitted(alive, conversation, operation, draft).catch((error) => {
888
974
  if (refusedForSpace(error))
889
975
  return null;
890
976
  throw error;
891
977
  });
892
978
  if (held === null)
893
979
  return DURABLE_WRITE;
894
- const { submission, earlier } = held;
895
- if (!earlier || !deps.expired(operation))
896
- return dispatched(conversation, submission);
897
- await forgotten(conversation, submission);
898
- return EXPIRED;
980
+ return dispatched(alive, conversation, held);
899
981
  }
900
982
  if (draft !== undefined) {
901
- await withDraft(conversation, (current) => current?.submitted?.some((one) => one.operation === operation) === true
983
+ await withDraft(alive, conversation, (current) => current?.submitted?.some((one) => one.operation === operation) === true
902
984
  ? undefined
903
985
  : returned(current ?? { conversation, text: '', revision: '' }, { operation, ...draft, turn: null }, current?.submitted ?? []));
904
986
  }
905
987
  return OFFLINE;
906
988
  },
907
989
  answer(conversation, answer) {
908
- return invoke('conversations/interaction/answer', conversation, {
990
+ return invoke(alive, 'conversations/interaction/answer', conversation, {
909
991
  operation_id: changeBatchIdentity(),
910
992
  ...answer,
911
993
  });
912
994
  },
913
995
  interrupt(conversation) {
914
- return invoke('conversations/interrupt', conversation);
996
+ return invoke(alive, 'conversations/interrupt', conversation);
915
997
  },
916
998
  kill(conversation) {
917
- return invoke('conversations/kill', conversation);
999
+ return invoke(alive, 'conversations/kill', conversation);
918
1000
  },
919
1001
  delete(conversation) {
920
- return invoke('conversations/delete', conversation);
1002
+ return invoke(alive, 'conversations/delete', conversation);
921
1003
  },
922
1004
  };
923
- const chatDraft = {
1005
+ }
1006
+ export function chatDraftSurface(alive) {
1007
+ return {
924
1008
  write(conversation, draft, revision = chatDraftRevision()) {
925
- return withDraft(conversation, (current) => ({
1009
+ return withDraft(alive, conversation, (current) => ({
926
1010
  conversation,
927
1011
  text: draft.text,
928
1012
  revision,
@@ -930,7 +1014,7 @@ export function createConversationStore(deps) {
930
1014
  }));
931
1015
  },
932
1016
  prepend(conversation, draft) {
933
- return withDraft(conversation, (current) => ({
1017
+ return withDraft(alive, conversation, (current) => ({
934
1018
  conversation,
935
1019
  ...(current === undefined ? { text: draft.text } : prepended(current, draft)),
936
1020
  revision: chatDraftRevision(),
@@ -938,248 +1022,170 @@ export function createConversationStore(deps) {
938
1022
  }));
939
1023
  },
940
1024
  discard(conversation) {
941
- return withDraft(conversation, (current) => current === undefined
1025
+ return withDraft(alive, conversation, (current) => current === undefined
942
1026
  ? undefined
943
1027
  : { conversation, text: '', revision: chatDraftRevision(), ...pending(current) });
944
1028
  },
945
1029
  };
946
- return {
947
- surface,
948
- chatDraft,
949
- hydrate(held, kept, list, cursor) {
950
- if (list !== null && !listKnown) {
951
- listing.clear();
952
- for (const entry of list)
953
- listing.set(entry.conversation, { ...entry });
954
- listHeld = true;
955
- listCursor = cursor;
956
- deps.stream()?.hold(cursor);
957
- }
958
- stored.clear();
959
- reads.clear();
960
- partials.clear();
961
- for (const entry of held) {
962
- stored.add(entry.conversation);
963
- if (entry.read !== undefined)
964
- reads.set(entry.conversation, entry.read);
965
- if (entry.partial)
966
- partials.add(entry.conversation);
967
- }
968
- drafts.clear();
969
- for (const record of kept)
970
- drafts.set(record.conversation, record);
971
- if (listHeld)
972
- learned();
973
- },
974
- async reconcile() {
975
- if (!listKnown)
1030
+ }
1031
+ export async function conversationsOpened(alive, local) {
1032
+ const { conversationList, conversationCursor } = await local.facts();
1033
+ if (conversationList === null || alive.known())
1034
+ return;
1035
+ alive.deps.stream()?.hold(conversationCursor);
1036
+ conversationsLearned(alive);
1037
+ }
1038
+ export async function reconcileConversations(alive) {
1039
+ if (!alive.known())
1040
+ return;
1041
+ const local = await alive.deps.local();
1042
+ const [held, kept, { conversationList }] = await Promise.all([
1043
+ local.conversations(),
1044
+ local.chatDrafts(),
1045
+ local.facts(),
1046
+ ]);
1047
+ const list = conversationList ?? [];
1048
+ const entries = new Map(list.map((entry) => [entry.conversation, entry]));
1049
+ const named = new Set(entries.keys());
1050
+ const reads = new Map(held.map((one) => [one.conversation, one]));
1051
+ const { replicated } = alive.held.now();
1052
+ const leaving = [
1053
+ ...new Set([...replicated, ...reads.keys(), ...kept.map(({ conversation }) => conversation)]),
1054
+ ].filter((conversation) => !named.has(conversation) &&
1055
+ !alive.isCreating(conversation) &&
1056
+ (!conversation.startsWith(NEW_CHAT) || retiredChat(conversation, list)));
1057
+ for (const conversation of named) {
1058
+ if (!replicated.has(conversation) &&
1059
+ missed(alive, conversation, reads.get(conversation), entries.get(conversation))) {
1060
+ alive.fellBehind(conversation);
1061
+ }
1062
+ }
1063
+ alive.held.set({ replicated: named });
1064
+ handReplicated(alive);
1065
+ if (leaving.length > 0)
1066
+ await remove(alive, leaving);
1067
+ }
1068
+ export async function catchUpConversations(alive, progress) {
1069
+ if (alive.deps.full()) {
1070
+ if (!alive.current())
1071
+ progress.complete = false;
1072
+ return;
1073
+ }
1074
+ const owed = (conversation) => alive.behind(conversation) && alive.held.now().replicated.has(conversation);
1075
+ const read = async (conversations) => {
1076
+ if (conversations.length === 0 || alive.deps.closed())
1077
+ return;
1078
+ const failed = await caughtUp(alive, conversations);
1079
+ if (failed?.kind === 'transport-uncertainty')
1080
+ progress.reachable = false;
1081
+ };
1082
+ const asking = alive.behindAll().filter(owed).sort();
1083
+ const awaited = asking.filter((conversation) => alive.catching(conversation) !== undefined);
1084
+ await Promise.all([
1085
+ read(asking.filter((conversation) => alive.catching(conversation) === undefined)),
1086
+ Promise.all(awaited.map((conversation) => alive.catching(conversation))).then(() => read(awaited.filter((conversation) => owed(conversation) && alive.catching(conversation) === undefined))),
1087
+ ]);
1088
+ if (!alive.current())
1089
+ progress.complete = false;
1090
+ }
1091
+ export async function resendConversations(alive, progress) {
1092
+ const local = await alive.deps.local();
1093
+ const tried = new Set();
1094
+ for (const { conversation } of await local.chatDrafts()) {
1095
+ for (;;) {
1096
+ const submission = (await local.chatDraft(conversation))?.submitted?.find((one) => one.turn === null && !alive.sending(one.operation) && !tried.has(one.operation));
1097
+ if (submission === undefined)
1098
+ break;
1099
+ if (alive.deps.closed())
976
1100
  return;
977
- const named = new Set(listing.keys());
978
- const leaving = [
979
- ...new Set([...replicated, ...stored, ...reads.keys(), ...drafts.keys()]),
980
- ].filter((conversation) => !named.has(conversation) &&
981
- !creations.has(conversation) &&
982
- (!conversation.startsWith(NEW_CHAT) || retiredChat(conversation)));
983
- for (const conversation of named) {
984
- if (!replicated.has(conversation) && missed(conversation))
985
- behind.add(conversation);
986
- }
987
- replicated = named;
988
- handReplicated();
989
- if (leaving.length > 0)
990
- await remove(leaving);
991
- },
992
- async catchUp(progress) {
993
- if (deps.full()) {
994
- if (behind.size > 0)
995
- progress.complete = false;
1101
+ tried.add(submission.operation);
1102
+ const result = await dispatched(alive, conversation, submission);
1103
+ if (result.kind === 'revoked-authorization')
1104
+ return;
1105
+ if (result.kind === 'transport-uncertainty') {
1106
+ progress.reachable = false;
996
1107
  return;
997
1108
  }
998
- const owed = (conversation) => behind.has(conversation) && replicated.has(conversation);
999
- const read = async (conversations) => {
1000
- if (conversations.length === 0 || deps.closed())
1001
- return;
1002
- const failed = await caughtUp(conversations);
1003
- if (failed?.kind === 'transport-uncertainty')
1004
- progress.reachable = false;
1005
- };
1006
- const asking = [...behind].filter(owed).sort();
1007
- const awaited = asking.filter((conversation) => catching.has(conversation));
1008
- await Promise.all([
1009
- read(asking.filter((conversation) => !catching.has(conversation))),
1010
- Promise.all(awaited.map((conversation) => catching.get(conversation))).then(() => read(awaited.filter((conversation) => owed(conversation) && !catching.has(conversation)))),
1011
- ]);
1012
- if (behind.size > 0)
1109
+ if (result.kind !== 'action' && result.retryable) {
1013
1110
  progress.complete = false;
1014
- },
1015
- async resend(progress) {
1016
- for (const [conversation, held] of [...drafts]) {
1017
- for (const submission of held.submitted ?? []) {
1018
- if (submission.turn !== null || sending.has(submission.operation))
1019
- continue;
1020
- if (deps.closed())
1021
- return;
1022
- if (deps.expired(submission.operation)) {
1023
- await forgotten(conversation, submission);
1024
- continue;
1025
- }
1026
- const result = await dispatched(conversation, submission);
1027
- if (result.kind === 'revoked-authorization')
1028
- return;
1029
- if (result.kind === 'transport-uncertainty') {
1030
- progress.reachable = false;
1031
- return;
1032
- }
1033
- if (result.kind !== 'action' && result.retryable) {
1034
- progress.complete = false;
1035
- return;
1036
- }
1037
- }
1038
- }
1039
- },
1040
- current() {
1041
- return behind.size === 0;
1042
- },
1043
- known() {
1044
- return listKnown;
1045
- },
1046
- reopened() {
1047
- relisting = null;
1048
- for (const [operation, dispatch] of sending)
1049
- if (!dispatch.answered)
1050
- sending.delete(operation);
1051
- },
1052
- lost() {
1053
- catching.clear();
1054
- },
1055
- watch(conversation, options, deliver) {
1056
- const asked = askedOf(options);
1057
- const key = JSON.stringify([conversation, asked.limit, asked.after ?? null, asked.total]);
1058
- const view = views.get(key) ?? {
1059
- conversation,
1060
- asked,
1061
- watchers: new Set(),
1062
- window: null,
1063
- more: false,
1064
- total: null,
1065
- };
1066
- views.set(key, view);
1067
- const watcher = { notify: deliver, ready: false };
1068
- view.watchers.add(watcher);
1069
- const reading = new AbortController();
1070
- void untilAnswered(() => deps.durably(async (local) => {
1071
- if (view.window !== null)
1072
- return;
1073
- const { messages, more } = await local.messageWindow(conversation, asked.limit, asked.before);
1074
- view.window = messages;
1075
- view.more = more;
1076
- view.total = asked.total ? await local.messageCount(conversation) : null;
1077
- }), reading.signal)
1078
- .then(() => {
1079
- if (deps.closed() || !view.watchers.has(watcher))
1080
- return;
1081
- watcher.ready = true;
1082
- const window = view.window ?? [];
1083
- watcher.notify(viewOf(conversation, window, sharedFrame(view, window)));
1084
- })
1085
- .catch(() => { });
1086
- return () => {
1087
- reading.abort();
1088
- if (!view.watchers.delete(watcher))
1089
- return;
1090
- if (view.watchers.size === 0)
1091
- views.delete(key);
1092
- };
1093
- },
1094
- watchList(deliver) {
1095
- unlisted.add(deliver);
1096
- learned();
1097
- return () => {
1098
- unlisted.delete(deliver);
1099
- listWatchers.delete(deliver);
1100
- };
1101
- },
1102
- watchAgents(deliver) {
1103
- unnamed.add(deliver);
1104
- learned();
1105
- readAgents();
1106
- return () => {
1107
- unnamed.delete(deliver);
1108
- agentWatchers.delete(deliver);
1109
- };
1110
- },
1111
- learned,
1112
- changed(set) {
1113
- for (const conversation of set.conversations)
1114
- emit(conversation);
1115
- },
1116
- receive(event) {
1117
- if (deps.closed())
1118
- return false;
1119
- if (event.kind === 'list' || event.kind === 'listed' || event.kind === 'unlisted') {
1120
- if (event.kind === 'list') {
1121
- if (event.whole)
1122
- relisting ??= new Map();
1123
- for (const entry of event.entries) {
1124
- if (relisting === null)
1125
- listed(entry);
1126
- else
1127
- relisting.set(entry.conversation, { ...entry });
1128
- }
1129
- if (event.more)
1130
- return false;
1131
- if (relisting !== null) {
1132
- listing.clear();
1133
- for (const entry of relisting.values())
1134
- listed(entry);
1135
- relisting = null;
1136
- }
1137
- listCursor = event.cursor;
1138
- deps.stream()?.hold(event.cursor);
1139
- listKnown = true;
1140
- for (const conversation of replicated) {
1141
- if (!listing.has(conversation))
1142
- continue;
1143
- if (!missed(conversation))
1144
- behind.delete(conversation);
1145
- else if (!behind.has(conversation))
1146
- gap(conversation);
1147
- }
1148
- openingEnded();
1149
- }
1150
- else if (event.kind === 'listed') {
1151
- listed(event.entry);
1152
- relisting?.set(event.entry.conversation, { ...event.entry });
1153
- }
1154
- else {
1155
- listing.delete(event.conversation);
1156
- relisting?.delete(event.conversation);
1157
- }
1158
- keepList();
1159
- emitList();
1160
- return ((event.kind !== 'list' &&
1161
- listKnown &&
1162
- (listing.size !== replicated.size ||
1163
- [...listing.keys()].some((conversation) => !replicated.has(conversation)))) ||
1164
- (listKnown && [...drafts.keys()].some(retiredChat)));
1111
+ return;
1165
1112
  }
1166
- heard(event);
1167
- return false;
1168
- },
1169
- searchable() {
1170
- return [...(listKnown ? listing.keys() : stored)].sort();
1171
- },
1172
- acquired(conversation) {
1173
- return reads.has(conversation) && !partials.has(conversation);
1174
- },
1175
- close() {
1176
- views.clear();
1177
- lives.clear();
1178
- unsent.clear();
1179
- listWatchers.clear();
1180
- unlisted.clear();
1181
- agentWatchers.clear();
1182
- unnamed.clear();
1183
- },
1113
+ }
1114
+ }
1115
+ }
1116
+ export function watchConversation(alive, conversation, options, deliver) {
1117
+ const asked = askedOf(options);
1118
+ const key = JSON.stringify([conversation, asked.limit, asked.after ?? null, asked.total]);
1119
+ const { view, watcher } = alive.viewJoined(key, conversation, asked, deliver);
1120
+ const { held } = view;
1121
+ const reading = new AbortController();
1122
+ void untilAnswered(() => alive.deps.durably(async (local) => {
1123
+ if (held.now().window !== null)
1124
+ return;
1125
+ const { messages, more } = await local.messageWindow(conversation, asked.limit, asked.before);
1126
+ held.set({ draft: (await local.chatDraft(conversation)) ?? null });
1127
+ held.set({ ended: await endedIn(alive, conversation) });
1128
+ held.set({ window: messages });
1129
+ held.set({ marked: await local.jobMarkers(conversation) });
1130
+ held.set({ more });
1131
+ held.set({ total: asked.total ? await local.messageCount(conversation) : null });
1132
+ }), reading.signal)
1133
+ .then(() => {
1134
+ if (alive.deps.closed() || !view.admit(watcher))
1135
+ return;
1136
+ const { window, draft, ended, marked } = held.now();
1137
+ const shown = window ?? [];
1138
+ watcher.notify(viewOf(alive, conversation, shown, sharedFrame(view, shown), draft, ended, marked));
1139
+ })
1140
+ .catch(() => { });
1141
+ return () => {
1142
+ reading.abort();
1143
+ alive.viewLeft(key, view, watcher);
1184
1144
  };
1185
1145
  }
1146
+ export function watchConversationList(alive, deliver) {
1147
+ alive.listeners.join(deliver);
1148
+ conversationsLearned(alive);
1149
+ return () => alive.listeners.leave(deliver);
1150
+ }
1151
+ export function watchConversationAgents(alive, deliver) {
1152
+ alive.agentListeners.join(deliver);
1153
+ conversationsLearned(alive);
1154
+ readAgents(alive);
1155
+ return () => alive.agentListeners.leave(deliver);
1156
+ }
1157
+ export function conversationsChanged(alive, set) {
1158
+ for (const conversation of set.conversations)
1159
+ emit(alive, conversation);
1160
+ }
1161
+ export function receiveConversationEvent(alive, event) {
1162
+ if (alive.deps.closed())
1163
+ return;
1164
+ if (event.kind === 'list') {
1165
+ if (event.whole)
1166
+ alive.relistBegun();
1167
+ if (alive.relisting())
1168
+ alive.relistHeard(event.entries);
1169
+ if (event.more && alive.relisting())
1170
+ return;
1171
+ const whole = alive.relistTaken();
1172
+ listChanged(alive, {
1173
+ replacing: whole !== null,
1174
+ set: whole === null ? event.entries : [...whole.values()],
1175
+ gone: null,
1176
+ ...(event.more ? { paged: true } : { cursor: event.cursor }),
1177
+ });
1178
+ return;
1179
+ }
1180
+ if (event.kind === 'listed') {
1181
+ alive.relistHeard([event.entry]);
1182
+ listChanged(alive, { replacing: false, set: [event.entry], gone: null });
1183
+ return;
1184
+ }
1185
+ if (event.kind === 'unlisted') {
1186
+ alive.relistDropped(event.conversation);
1187
+ listChanged(alive, { replacing: false, set: [], gone: event.conversation });
1188
+ return;
1189
+ }
1190
+ heard(alive, event);
1191
+ }