@agentshouse/mdruntime 0.1.0-c49444f2a8fc6 → 0.1.0-c4ef58fbdca7b

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