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