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