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