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