@agentshouse/mdruntime 0.1.0-cba6f2439bb25 → 0.1.0-cbbae1fff01c6

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