@agentshouse/mdruntime 0.1.0-caee7332d2235 → 0.1.0-caf080a9a9c60
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 +19 -16
- package/dist/acceptance.d.ts +3 -0
- package/dist/acceptance.d.ts.map +1 -0
- package/dist/acceptance.js +318 -0
- package/dist/act-lanes.d.ts +29 -0
- package/dist/act-lanes.d.ts.map +1 -0
- package/dist/act-lanes.js +177 -0
- package/dist/actions.d.ts +25 -0
- package/dist/actions.d.ts.map +1 -0
- package/dist/actions.js +261 -0
- package/dist/adapter.d.ts +162 -122
- package/dist/adapter.d.ts.map +1 -1
- package/dist/attached-model.d.ts +7 -10
- package/dist/attached-model.d.ts.map +1 -1
- package/dist/attached-model.js +40 -41
- package/dist/binary.d.ts +0 -5
- package/dist/binary.d.ts.map +1 -1
- package/dist/binary.js +1 -1
- package/dist/bootstrap.d.ts +30 -11
- package/dist/bootstrap.d.ts.map +1 -1
- package/dist/bootstrap.js +309 -113
- 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 +12 -0
- package/dist/chain.d.ts.map +1 -0
- package/dist/chain.js +64 -0
- package/dist/change-set.d.ts +10 -16
- package/dist/change-set.d.ts.map +1 -1
- package/dist/change-set.js +17 -94
- package/dist/change.d.ts +32 -1
- package/dist/change.d.ts.map +1 -1
- package/dist/change.js +14 -3
- 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 +33 -19
- package/dist/client.d.ts.map +1 -1
- package/dist/client.js +112 -21
- package/dist/collection.d.ts +29 -22
- package/dist/collection.d.ts.map +1 -1
- package/dist/collection.js +47 -354
- package/dist/compile.d.ts +18 -0
- package/dist/compile.d.ts.map +1 -0
- package/dist/compile.js +724 -0
- package/dist/connection.d.ts +7 -137
- package/dist/connection.d.ts.map +1 -1
- package/dist/connection.js +111 -3623
- package/dist/context.d.ts +2 -0
- package/dist/context.d.ts.map +1 -0
- package/dist/{chat/context.js → context.js} +1 -4
- 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 +33 -0
- package/dist/conversation-row.d.ts.map +1 -0
- package/dist/conversation-row.js +53 -0
- package/dist/conversation.d.ts +66 -49
- package/dist/conversation.d.ts.map +1 -1
- package/dist/conversation.js +962 -799
- package/dist/declaration.d.ts +10 -0
- package/dist/declaration.d.ts.map +1 -0
- package/dist/declaration.js +24 -0
- package/dist/digest.d.ts +7 -0
- package/dist/digest.d.ts.map +1 -0
- package/dist/digest.js +113 -0
- package/dist/discovery.d.ts +10 -0
- package/dist/discovery.d.ts.map +1 -0
- package/dist/discovery.js +153 -0
- package/dist/durability.d.ts +19 -4
- package/dist/durability.d.ts.map +1 -1
- package/dist/durability.js +5 -0
- package/dist/entry.d.ts +5 -2
- package/dist/entry.d.ts.map +1 -1
- package/dist/entry.js +33 -29
- package/dist/expectation.d.ts +26 -13
- package/dist/expectation.d.ts.map +1 -1
- package/dist/expectation.js +72 -19
- package/dist/failure.d.ts +3 -0
- package/dist/failure.d.ts.map +1 -1
- package/dist/failure.js +6 -0
- package/dist/figures.d.ts +49 -0
- package/dist/figures.d.ts.map +1 -0
- package/dist/figures.js +197 -0
- package/dist/file.d.ts +2 -19
- package/dist/file.d.ts.map +1 -1
- package/dist/file.js +7 -122
- 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 +103 -45
- package/dist/identity.d.ts +0 -2
- package/dist/identity.d.ts.map +1 -1
- package/dist/identity.js +0 -6
- package/dist/index.d.ts +39 -15
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +18 -4
- package/dist/install.d.ts +54 -0
- package/dist/install.d.ts.map +1 -0
- package/dist/install.js +539 -0
- package/dist/lifecycle.d.ts +7 -0
- package/dist/lifecycle.d.ts.map +1 -0
- package/dist/lifecycle.js +279 -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 +23 -0
- package/dist/live.d.ts.map +1 -0
- package/dist/live.js +165 -0
- 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 +8 -0
- package/dist/media.d.ts.map +1 -0
- package/dist/media.js +218 -0
- package/dist/memory.d.ts +17 -7
- package/dist/memory.d.ts.map +1 -1
- package/dist/memory.js +272 -118
- package/dist/messages.d.ts +49 -0
- package/dist/messages.d.ts.map +1 -0
- package/dist/messages.js +150 -0
- package/dist/model.d.ts +8 -11
- package/dist/model.d.ts.map +1 -1
- package/dist/model.js +6 -23
- package/dist/models.d.ts +10 -0
- package/dist/models.d.ts.map +1 -0
- package/dist/models.js +156 -0
- package/dist/name.d.ts +4 -0
- package/dist/name.d.ts.map +1 -0
- package/dist/name.js +122 -0
- package/dist/observation.d.ts +15 -2
- package/dist/observation.d.ts.map +1 -1
- package/dist/observation.js +98 -14
- package/dist/opened.d.ts +22 -0
- package/dist/opened.d.ts.map +1 -0
- package/dist/opened.js +107 -0
- 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 +47 -9
- package/dist/outcome.d.ts.map +1 -1
- package/dist/outcome.js +56 -2
- package/dist/overlay.d.ts +7 -5
- package/dist/overlay.d.ts.map +1 -1
- package/dist/overlay.js +69 -169
- 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 -0
- package/dist/parts.d.ts.map +1 -0
- package/dist/parts.js +10 -0
- package/dist/paths.d.ts +2 -0
- package/dist/paths.d.ts.map +1 -1
- package/dist/paths.js +26 -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 +285 -0
- package/dist/query.d.ts +21 -207
- package/dist/query.d.ts.map +1 -1
- package/dist/query.js +3 -493
- package/dist/{chat/questions.d.ts → questions.d.ts} +5 -7
- package/dist/questions.d.ts.map +1 -0
- package/dist/{chat/questions.js → questions.js} +11 -7
- package/dist/queue.d.ts +40 -0
- package/dist/queue.d.ts.map +1 -0
- package/dist/queue.js +465 -0
- package/dist/reach.d.ts +20 -9
- package/dist/reach.d.ts.map +1 -1
- package/dist/reach.js +306 -111
- package/dist/react.d.ts +15 -2
- package/dist/react.d.ts.map +1 -1
- package/dist/react.js +33 -1
- package/dist/{chat/read.d.ts → read.d.ts} +2 -0
- package/dist/read.d.ts.map +1 -0
- package/dist/{chat/read.js → read.js} +4 -0
- package/dist/readiness.d.ts +13 -17
- package/dist/readiness.d.ts.map +1 -1
- package/dist/readiness.js +2 -8
- package/dist/reads.d.ts +38 -10
- package/dist/reads.d.ts.map +1 -1
- package/dist/reads.js +163 -83
- package/dist/recovery.d.ts +5 -2
- package/dist/recovery.d.ts.map +1 -1
- package/dist/recovery.js +65 -8
- package/dist/refresh.d.ts +18 -15
- package/dist/refresh.d.ts.map +1 -1
- package/dist/refresh.js +145 -79
- 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 +50 -39
- package/dist/replica.d.ts.map +1 -1
- package/dist/replica.js +319 -208
- 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 +28 -11
- package/dist/room-draft.d.ts.map +1 -1
- package/dist/room-draft.js +194 -117
- 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 +31 -31
- package/dist/rows.d.ts.map +1 -1
- package/dist/rows.js +60 -125
- package/dist/runtime.d.ts +36 -0
- package/dist/runtime.d.ts.map +1 -0
- package/dist/runtime.js +1 -0
- package/dist/save.d.ts +43 -50
- package/dist/save.d.ts.map +1 -1
- package/dist/save.js +661 -228
- 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 -95
- package/dist/search.d.ts.map +1 -1
- package/dist/search.js +10 -266
- 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 +4 -9
- package/dist/shared.d.ts.map +1 -1
- package/dist/shared.js +61 -120
- 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 +21 -0
- package/dist/socket/lanes.d.ts.map +1 -0
- package/dist/socket/lanes.js +80 -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 +68 -0
- package/dist/socket.d.ts.map +1 -0
- package/dist/socket.js +171 -0
- package/dist/source.d.ts +54 -0
- package/dist/source.d.ts.map +1 -0
- package/dist/source.js +82 -0
- package/dist/status.d.ts +4 -5
- package/dist/status.d.ts.map +1 -1
- package/dist/status.js +3 -7
- 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 +212 -0
- package/dist/store/records.d.ts.map +1 -0
- package/dist/store/records.js +430 -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 +111 -166
- package/dist/store.d.ts.map +1 -1
- package/dist/store.js +158 -797
- package/dist/stored.d.ts +156 -0
- package/dist/stored.d.ts.map +1 -0
- package/dist/stored.js +649 -0
- 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 +540 -0
- package/dist/tables.d.ts +412 -0
- package/dist/tables.d.ts.map +1 -0
- package/dist/tables.js +737 -0
- 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/turn.d.ts +1 -1
- package/dist/turn.d.ts.map +1 -1
- package/dist/turn.js +31 -20
- package/dist/validation.d.ts +29 -0
- package/dist/validation.d.ts.map +1 -0
- package/dist/validation.js +104 -0
- package/dist/windows.d.ts +1 -16
- package/dist/windows.d.ts.map +1 -1
- package/dist/windows.js +2 -79
- package/dist/wire.d.ts +72 -8
- package/dist/wire.d.ts.map +1 -1
- package/dist/wire.js +24 -5
- package/package.json +19 -19
- package/AGENTS.md +0 -299
- package/dist/attempt.d.ts +0 -16
- package/dist/attempt.d.ts.map +0 -1
- package/dist/attempt.js +0 -70
- package/dist/chat/acts.d.ts +0 -33
- package/dist/chat/acts.d.ts.map +0 -1
- package/dist/chat/acts.js +0 -36
- package/dist/chat/context.d.ts +0 -3
- package/dist/chat/context.d.ts.map +0 -1
- package/dist/chat/earlier.d.ts +0 -10
- package/dist/chat/earlier.d.ts.map +0 -1
- package/dist/chat/earlier.js +0 -54
- package/dist/chat/input.d.ts +0 -9
- package/dist/chat/input.d.ts.map +0 -1
- package/dist/chat/input.js +0 -99
- package/dist/chat/kit.d.ts +0 -61
- package/dist/chat/kit.d.ts.map +0 -1
- package/dist/chat/kit.js +0 -123
- package/dist/chat/lasting.d.ts +0 -6
- package/dist/chat/lasting.d.ts.map +0 -1
- package/dist/chat/lasting.js +0 -19
- package/dist/chat/list.d.ts +0 -27
- package/dist/chat/list.d.ts.map +0 -1
- package/dist/chat/list.js +0 -99
- package/dist/chat/markdown.d.ts +0 -21
- package/dist/chat/markdown.d.ts.map +0 -1
- package/dist/chat/markdown.js +0 -246
- package/dist/chat/message.d.ts +0 -6
- package/dist/chat/message.d.ts.map +0 -1
- package/dist/chat/message.js +0 -192
- package/dist/chat/messages.d.ts +0 -22
- package/dist/chat/messages.d.ts.map +0 -1
- package/dist/chat/messages.js +0 -171
- package/dist/chat/name.d.ts +0 -6
- package/dist/chat/name.d.ts.map +0 -1
- package/dist/chat/name.js +0 -37
- package/dist/chat/opened.d.ts +0 -11
- package/dist/chat/opened.d.ts.map +0 -1
- package/dist/chat/opened.js +0 -17
- package/dist/chat/overlay.d.ts +0 -31
- package/dist/chat/overlay.d.ts.map +0 -1
- package/dist/chat/overlay.js +0 -97
- package/dist/chat/parts.d.ts +0 -57
- package/dist/chat/parts.d.ts.map +0 -1
- package/dist/chat/parts.js +0 -119
- package/dist/chat/pieces.d.ts +0 -62
- package/dist/chat/pieces.d.ts.map +0 -1
- package/dist/chat/pieces.js +0 -1110
- package/dist/chat/process.d.ts +0 -20
- package/dist/chat/process.d.ts.map +0 -1
- package/dist/chat/process.js +0 -32
- package/dist/chat/provider.d.ts +0 -63
- package/dist/chat/provider.d.ts.map +0 -1
- package/dist/chat/provider.js +0 -630
- package/dist/chat/question.d.ts +0 -9
- package/dist/chat/question.d.ts.map +0 -1
- package/dist/chat/question.js +0 -69
- package/dist/chat/questions.d.ts.map +0 -1
- package/dist/chat/read.d.ts.map +0 -1
- package/dist/chat/ready.d.ts +0 -34
- package/dist/chat/ready.d.ts.map +0 -1
- package/dist/chat/ready.js +0 -91
- package/dist/chat/steady.d.ts +0 -3
- package/dist/chat/steady.d.ts.map +0 -1
- package/dist/chat/steady.js +0 -26
- package/dist/chat/style.d.ts +0 -4
- package/dist/chat/style.d.ts.map +0 -1
- package/dist/chat/style.js +0 -302
- package/dist/chat.d.ts +0 -14
- package/dist/chat.d.ts.map +0 -1
- package/dist/chat.js +0 -8
- package/dist/fence.d.ts +0 -6
- package/dist/fence.d.ts.map +0 -1
- package/dist/fence.js +0 -10
- package/dist/read-side.d.ts +0 -27
- package/dist/read-side.d.ts.map +0 -1
- package/dist/read-side.js +0 -826
package/dist/conversation.js
CHANGED
|
@@ -1,17 +1,18 @@
|
|
|
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 {
|
|
3
|
-
import {
|
|
4
|
+
import { FACTS, QUIET, } from './conversation-live.js';
|
|
5
|
+
import { heldFacts } from './conversation-row.js';
|
|
6
|
+
import { runtimeError, uncaught } from './failure.js';
|
|
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
|
-
|
|
12
|
-
options: [],
|
|
13
|
-
};
|
|
14
|
-
const FACTS = ['questions', 'process', 'commands', 'options'];
|
|
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 { retrying } from './retried.js';
|
|
15
|
+
import { capped, FROM_START, messageOrder, precedes } from './windows.js';
|
|
15
16
|
export function unheldView(conversation) {
|
|
16
17
|
return {
|
|
17
18
|
conversation,
|
|
@@ -19,13 +20,23 @@ export function unheldView(conversation) {
|
|
|
19
20
|
turn: null,
|
|
20
21
|
questions: [],
|
|
21
22
|
process: null,
|
|
23
|
+
processEnded: null,
|
|
22
24
|
commands: [],
|
|
23
25
|
options: [],
|
|
26
|
+
starting: null,
|
|
27
|
+
state: null,
|
|
28
|
+
link: null,
|
|
29
|
+
deliveryWaiting: [],
|
|
30
|
+
deliveryUnknown: [],
|
|
24
31
|
chatDraft: null,
|
|
25
32
|
};
|
|
26
33
|
}
|
|
27
34
|
export const SESSION_STARTED = 'Session started';
|
|
28
35
|
const NEW_CHAT = 'new:';
|
|
36
|
+
const LISTING = 'listing';
|
|
37
|
+
const AGENTS = 'agents';
|
|
38
|
+
export const CATCHING_UP = 'catching-up';
|
|
39
|
+
export const HISTORY_CONVERSATIONS = 64;
|
|
29
40
|
export function newChat(agent) {
|
|
30
41
|
return `${NEW_CHAT}${agent}`;
|
|
31
42
|
}
|
|
@@ -37,52 +48,15 @@ function creationOf(input) {
|
|
|
37
48
|
}
|
|
38
49
|
function startedTurn(turn, operation) {
|
|
39
50
|
if (operation.op === 'begin')
|
|
40
|
-
return { turn, started: operation.at, parts: []
|
|
41
|
-
|
|
42
|
-
|
|
43
|
-
turn,
|
|
44
|
-
started: null,
|
|
45
|
-
parts: [],
|
|
46
|
-
context: { used: operation.used, window: operation.window },
|
|
47
|
-
};
|
|
48
|
-
}
|
|
49
|
-
return operation.op === 'start' && operation.index === 0
|
|
50
|
-
? { turn, started: null, parts: [structuredClone(operation.part)], context: null }
|
|
51
|
-
: null;
|
|
52
|
-
}
|
|
53
|
-
function changedFields(part, operation) {
|
|
54
|
-
if (operation.op === 'append') {
|
|
55
|
-
return { text: `${String(part.text ?? '')}${operation.text}` };
|
|
56
|
-
}
|
|
57
|
-
if (operation.op === 'status') {
|
|
58
|
-
return { status: operation.status, result: structuredClone(operation.result) };
|
|
59
|
-
}
|
|
60
|
-
if (operation.op === 'count')
|
|
61
|
-
return { count: operation.count };
|
|
62
|
-
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 };
|
|
63
54
|
}
|
|
64
55
|
function appliedTurn(held, operation) {
|
|
65
56
|
if (operation.op === 'begin')
|
|
66
57
|
return { ...held, started: operation.at };
|
|
67
|
-
|
|
68
|
-
|
|
69
|
-
}
|
|
70
|
-
if (operation.op === 'start') {
|
|
71
|
-
if (operation.index !== 0 && operation.index !== held.parts.length)
|
|
72
|
-
return null;
|
|
73
|
-
return {
|
|
74
|
-
...held,
|
|
75
|
-
parts: [...held.parts.slice(0, operation.index), structuredClone(operation.part)],
|
|
76
|
-
};
|
|
77
|
-
}
|
|
78
|
-
const part = held.parts[operation.index];
|
|
79
|
-
if (typeof part !== 'object' || part === null)
|
|
80
|
-
return null;
|
|
81
|
-
const changed = { ...part, ...changedFields(part, operation) };
|
|
82
|
-
return {
|
|
83
|
-
...held,
|
|
84
|
-
parts: held.parts.map((kept, at) => (at === operation.index ? changed : kept)),
|
|
85
|
-
};
|
|
58
|
+
const parts = applied(held.parts, operation);
|
|
59
|
+
return parts === null ? null : { ...held, parts };
|
|
86
60
|
}
|
|
87
61
|
function windowOf(held, arriving, limit) {
|
|
88
62
|
const byIdentity = new Map(held.map((message) => [message.identity, message]));
|
|
@@ -105,7 +79,7 @@ function frameOf(asked, messages, more, total) {
|
|
|
105
79
|
};
|
|
106
80
|
}
|
|
107
81
|
function newestOf(arriving, from) {
|
|
108
|
-
return arriving.reduce((top, message) => (top === null || message.
|
|
82
|
+
return arriving.reduce((top, message) => (top === null || message.change > top ? message.change : top), from);
|
|
109
83
|
}
|
|
110
84
|
function acceptedMessage(value) {
|
|
111
85
|
if (typeof value !== 'object' || value === null)
|
|
@@ -114,6 +88,7 @@ function acceptedMessage(value) {
|
|
|
114
88
|
if (typeof record.identity !== 'string' ||
|
|
115
89
|
typeof record.turn !== 'string' ||
|
|
116
90
|
typeof record.position !== 'string' ||
|
|
91
|
+
typeof record.change !== 'string' ||
|
|
117
92
|
typeof record.text !== 'string') {
|
|
118
93
|
return null;
|
|
119
94
|
}
|
|
@@ -121,6 +96,7 @@ function acceptedMessage(value) {
|
|
|
121
96
|
identity: record.identity,
|
|
122
97
|
turn: record.turn,
|
|
123
98
|
position: record.position,
|
|
99
|
+
change: record.change,
|
|
124
100
|
text: record.text,
|
|
125
101
|
message: structuredClone(record.message),
|
|
126
102
|
};
|
|
@@ -192,9 +168,22 @@ function askedOf(options) {
|
|
|
192
168
|
}
|
|
193
169
|
return { limit: capped(limit), after, before: beforeOf(after), total: total === true };
|
|
194
170
|
}
|
|
195
|
-
|
|
171
|
+
function phraseOf(text) {
|
|
172
|
+
if (text === undefined)
|
|
173
|
+
return null;
|
|
174
|
+
if (typeof text !== 'string' || text === '') {
|
|
175
|
+
throw runtimeError('invalid-text', 'a conversation is found by a phrase');
|
|
176
|
+
}
|
|
177
|
+
return text;
|
|
178
|
+
}
|
|
179
|
+
const DURABLE_WRITE = {
|
|
180
|
+
kind: 'rejected',
|
|
181
|
+
code: 'durable-write',
|
|
182
|
+
fields: {},
|
|
183
|
+
retryable: true,
|
|
184
|
+
};
|
|
196
185
|
function unwritten(draft) {
|
|
197
|
-
return draft.text === ''
|
|
186
|
+
return draft.text === '';
|
|
198
187
|
}
|
|
199
188
|
function pending(draft) {
|
|
200
189
|
return {
|
|
@@ -210,10 +199,7 @@ function withSubmitted(draft, submitted) {
|
|
|
210
199
|
return submitted.length === 0 ? unsent : { ...unsent, submitted };
|
|
211
200
|
}
|
|
212
201
|
function prepended(draft, said) {
|
|
213
|
-
return {
|
|
214
|
-
text: [said.text, draft.text].filter((one) => one !== '').join('\n'),
|
|
215
|
-
files: [...said.files, ...draft.files],
|
|
216
|
-
};
|
|
202
|
+
return { text: [said.text, draft.text].filter((one) => one !== '').join('\n') };
|
|
217
203
|
}
|
|
218
204
|
function returned(draft, submission, others) {
|
|
219
205
|
return withSubmitted({
|
|
@@ -222,832 +208,1009 @@ function returned(draft, submission, others) {
|
|
|
222
208
|
revision: chatDraftRevision(),
|
|
223
209
|
}, others);
|
|
224
210
|
}
|
|
225
|
-
|
|
226
|
-
const
|
|
227
|
-
|
|
228
|
-
|
|
229
|
-
|
|
230
|
-
|
|
231
|
-
|
|
232
|
-
|
|
233
|
-
|
|
234
|
-
|
|
235
|
-
|
|
236
|
-
|
|
237
|
-
|
|
238
|
-
|
|
239
|
-
|
|
240
|
-
|
|
241
|
-
|
|
242
|
-
|
|
243
|
-
|
|
244
|
-
|
|
245
|
-
|
|
246
|
-
|
|
247
|
-
|
|
248
|
-
|
|
249
|
-
|
|
250
|
-
|
|
251
|
-
|
|
252
|
-
|
|
253
|
-
|
|
254
|
-
|
|
255
|
-
|
|
256
|
-
|
|
257
|
-
|
|
258
|
-
|
|
259
|
-
|
|
260
|
-
|
|
261
|
-
|
|
262
|
-
|
|
263
|
-
|
|
264
|
-
|
|
265
|
-
|
|
266
|
-
|
|
267
|
-
|
|
268
|
-
|
|
269
|
-
|
|
270
|
-
|
|
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);
|
|
271
262
|
}
|
|
272
|
-
|
|
273
|
-
|
|
274
|
-
|
|
275
|
-
|
|
276
|
-
|
|
277
|
-
|
|
278
|
-
|
|
279
|
-
|
|
280
|
-
|
|
281
|
-
|
|
282
|
-
|
|
283
|
-
|
|
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;
|
|
278
|
+
}
|
|
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 });
|
|
284
285
|
}
|
|
285
286
|
}
|
|
286
|
-
|
|
287
|
-
|
|
288
|
-
|
|
289
|
-
|
|
290
|
-
|
|
291
|
-
|
|
292
|
-
|
|
293
|
-
|
|
294
|
-
|
|
295
|
-
|
|
296
|
-
|
|
297
|
-
|
|
298
|
-
|
|
299
|
-
|
|
300
|
-
|
|
301
|
-
|
|
302
|
-
|
|
303
|
-
|
|
304
|
-
|
|
305
|
-
|
|
306
|
-
|
|
307
|
-
|
|
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);
|
|
343
|
+
}
|
|
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);
|
|
349
|
+
}
|
|
350
|
+
if (change.cursor !== undefined) {
|
|
351
|
+
if (change.cursor !== conversationCursor) {
|
|
352
|
+
await local.fact('conversationCursor', change.cursor);
|
|
308
353
|
}
|
|
354
|
+
alive.deps.stream()?.hold(change.cursor);
|
|
309
355
|
}
|
|
310
|
-
|
|
311
|
-
|
|
312
|
-
|
|
313
|
-
|
|
314
|
-
|
|
315
|
-
const facts = liveOf(conversation);
|
|
316
|
-
if (facts.questions.length > 0)
|
|
317
|
-
return 'asking';
|
|
318
|
-
return facts.turn === null ? 'idle' : 'working';
|
|
319
|
-
}
|
|
320
|
-
function entries() {
|
|
321
|
-
return [...listing.values()].map((entry) => ({
|
|
322
|
-
conversation: entry.conversation,
|
|
323
|
-
agent: { identity: entry.agent, name: agentNames.get(entry.agent) ?? null },
|
|
324
|
-
name: entry.name,
|
|
325
|
-
created: entry.created,
|
|
326
|
-
finished: entry.finished,
|
|
327
|
-
outcome: entry.outcome,
|
|
328
|
-
state: stateOf(entry.conversation),
|
|
329
|
-
started: lives.get(entry.conversation)?.turn?.started ?? null,
|
|
330
|
-
}));
|
|
331
|
-
}
|
|
332
|
-
function emitList() {
|
|
333
|
-
if (deps.closed() || listWatchers.size === 0)
|
|
334
|
-
return;
|
|
335
|
-
const value = entries();
|
|
336
|
-
for (const watcher of listWatchers)
|
|
337
|
-
watcher(value);
|
|
338
|
-
}
|
|
339
|
-
function agents() {
|
|
340
|
-
return [...agentNames]
|
|
341
|
-
.filter(([identity]) => !retiredAgents.has(identity))
|
|
342
|
-
.map(([identity, name]) => ({ identity, name }))
|
|
343
|
-
.sort((left, right) => left.name === right.name
|
|
344
|
-
? left.identity.localeCompare(right.identity)
|
|
345
|
-
: left.name.localeCompare(right.name));
|
|
346
|
-
}
|
|
347
|
-
function emitAgents() {
|
|
348
|
-
if (deps.closed() || agentWatchers.size === 0)
|
|
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)
|
|
349
361
|
return;
|
|
350
|
-
|
|
351
|
-
|
|
352
|
-
|
|
353
|
-
|
|
354
|
-
|
|
355
|
-
|
|
356
|
-
const began = lives.get(conversation)?.turn?.started;
|
|
357
|
-
if (next === null)
|
|
358
|
-
lives.delete(conversation);
|
|
359
|
-
else
|
|
360
|
-
lives.set(conversation, next);
|
|
361
|
-
if (!listing.has(conversation))
|
|
362
|
-
return;
|
|
363
|
-
if (stateOf(conversation) !== before || next?.turn?.started !== began)
|
|
364
|
-
emitList();
|
|
365
|
-
}
|
|
366
|
-
async function readAgents() {
|
|
367
|
-
const declaration = deps.agents();
|
|
368
|
-
if (declaration === undefined)
|
|
369
|
-
return;
|
|
370
|
-
const held = await deps.documents(declaration);
|
|
371
|
-
if ('pending' in held)
|
|
372
|
-
return;
|
|
373
|
-
const { documents } = held;
|
|
374
|
-
const names = new Map();
|
|
375
|
-
const retired = new Set();
|
|
376
|
-
for (const document of documents) {
|
|
377
|
-
if (document.type !== declaration.type)
|
|
378
|
-
continue;
|
|
379
|
-
const identity = document.fields?.[declaration.identity];
|
|
380
|
-
const name = document.fields?.[declaration.name];
|
|
381
|
-
if (typeof identity !== 'string' || typeof name !== 'string')
|
|
382
|
-
continue;
|
|
383
|
-
names.set(identity, name);
|
|
384
|
-
const ended = declaration.retired === undefined ? null : document.fields?.[declaration.retired];
|
|
385
|
-
if (ended !== undefined && ended !== null)
|
|
386
|
-
retired.add(identity);
|
|
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();
|
|
387
368
|
}
|
|
388
|
-
|
|
389
|
-
if (!
|
|
369
|
+
emitList(alive);
|
|
370
|
+
if (!alive.known())
|
|
390
371
|
return;
|
|
391
|
-
|
|
392
|
-
|
|
393
|
-
if (
|
|
394
|
-
|
|
395
|
-
|
|
396
|
-
|
|
397
|
-
|
|
398
|
-
|
|
399
|
-
|
|
400
|
-
|
|
401
|
-
|
|
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();
|
|
378
|
+
}
|
|
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);
|
|
402
390
|
}
|
|
403
|
-
|
|
404
|
-
|
|
405
|
-
|
|
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;
|
|
406
398
|
});
|
|
407
|
-
|
|
408
|
-
|
|
409
|
-
|
|
410
|
-
|
|
411
|
-
|
|
412
|
-
|
|
413
|
-
|
|
414
|
-
|
|
415
|
-
|
|
416
|
-
|
|
417
|
-
|
|
418
|
-
|
|
419
|
-
|
|
420
|
-
const held = lives.get(conversation);
|
|
421
|
-
if (held === undefined || facts.size === 0)
|
|
399
|
+
if (list === null || alive.deps.closed())
|
|
400
|
+
return;
|
|
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, () => true, alive.deps.recovery);
|
|
409
|
+
if (alive.deps.closed())
|
|
410
|
+
return;
|
|
411
|
+
if (value === null)
|
|
422
412
|
continue;
|
|
423
|
-
|
|
424
|
-
|
|
425
|
-
questions: facts.has('questions') ? QUIET.questions : held.questions,
|
|
426
|
-
process: facts.has('process') ? QUIET.process : held.process,
|
|
427
|
-
commands: facts.has('commands') ? QUIET.commands : held.commands,
|
|
428
|
-
options: facts.has('options') ? QUIET.options : held.options,
|
|
429
|
-
});
|
|
430
|
-
emit(conversation);
|
|
413
|
+
alive.listeners.tell(value);
|
|
414
|
+
alive.listeners.welcome(value);
|
|
431
415
|
}
|
|
432
416
|
}
|
|
433
|
-
|
|
434
|
-
|
|
435
|
-
const next = held?.turn === turn ? appliedTurn(held, operation) : startedTurn(turn, operation);
|
|
436
|
-
if (next !== null)
|
|
437
|
-
live(conversation, { turn: next });
|
|
417
|
+
finally {
|
|
418
|
+
alive.held.set({ listTelling: false });
|
|
438
419
|
}
|
|
439
|
-
|
|
440
|
-
|
|
441
|
-
|
|
442
|
-
|
|
443
|
-
|
|
444
|
-
|
|
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 });
|
|
445
455
|
}
|
|
446
|
-
|
|
447
|
-
|
|
448
|
-
|
|
449
|
-
|
|
450
|
-
|
|
451
|
-
|
|
452
|
-
|
|
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)
|
|
453
503
|
return;
|
|
454
|
-
|
|
455
|
-
|
|
456
|
-
}
|
|
457
|
-
|
|
458
|
-
|
|
459
|
-
|
|
460
|
-
|
|
461
|
-
|
|
462
|
-
|
|
463
|
-
|
|
464
|
-
|
|
465
|
-
|
|
466
|
-
|
|
467
|
-
|
|
468
|
-
|
|
469
|
-
|
|
470
|
-
|
|
471
|
-
|
|
472
|
-
|
|
473
|
-
|
|
474
|
-
|
|
475
|
-
|
|
476
|
-
|
|
477
|
-
|
|
478
|
-
|
|
479
|
-
|
|
480
|
-
|
|
481
|
-
|
|
482
|
-
|
|
483
|
-
|
|
484
|
-
|
|
485
|
-
|
|
486
|
-
|
|
487
|
-
|
|
488
|
-
|
|
489
|
-
|
|
490
|
-
|
|
491
|
-
|
|
492
|
-
|
|
493
|
-
|
|
494
|
-
|
|
495
|
-
|
|
496
|
-
await sealed(local, conversation, new Set([message.turn]));
|
|
497
|
-
await local.keepMessages({
|
|
498
|
-
conversation,
|
|
499
|
-
messages: [message],
|
|
500
|
-
...(advances ? { read: { at: message.position, partial: false } } : {}),
|
|
501
|
-
});
|
|
502
|
-
stored.add(conversation);
|
|
503
|
-
if (advances)
|
|
504
|
-
reads.set(conversation, message.position);
|
|
505
|
-
sealTurns(conversation, new Set([message.turn]));
|
|
506
|
-
await slide(local, conversation, [message]);
|
|
507
|
-
deps.publish(conversationChangeSet(changesOf(conversation, [message]), [conversation]));
|
|
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,
|
|
508
546
|
});
|
|
547
|
+
emit(alive, conversation);
|
|
509
548
|
}
|
|
510
|
-
|
|
511
|
-
|
|
512
|
-
|
|
513
|
-
|
|
514
|
-
|
|
515
|
-
})
|
|
516
|
-
|
|
517
|
-
|
|
518
|
-
|
|
519
|
-
|
|
520
|
-
|
|
521
|
-
|
|
522
|
-
|
|
523
|
-
|
|
524
|
-
|
|
525
|
-
|
|
526
|
-
|
|
527
|
-
|
|
528
|
-
|
|
529
|
-
|
|
530
|
-
|
|
531
|
-
|
|
532
|
-
|
|
533
|
-
|
|
534
|
-
|
|
535
|
-
|
|
536
|
-
|
|
537
|
-
|
|
538
|
-
|
|
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);
|
|
539
587
|
}
|
|
540
|
-
|
|
588
|
+
shownDraft(alive, conversation, null);
|
|
589
|
+
alive.forget(conversation);
|
|
590
|
+
setLive(alive, conversation, null);
|
|
591
|
+
await slide(alive, local, conversation, null);
|
|
541
592
|
}
|
|
542
|
-
|
|
543
|
-
|
|
544
|
-
|
|
545
|
-
|
|
546
|
-
|
|
547
|
-
|
|
548
|
-
|
|
549
|
-
|
|
550
|
-
|
|
551
|
-
|
|
552
|
-
|
|
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();
|
|
553
626
|
}
|
|
554
|
-
|
|
555
|
-
|
|
556
|
-
|
|
557
|
-
|
|
558
|
-
|
|
559
|
-
|
|
560
|
-
|
|
561
|
-
|
|
562
|
-
|
|
563
|
-
|
|
564
|
-
|
|
565
|
-
|
|
566
|
-
|
|
567
|
-
|
|
568
|
-
|
|
569
|
-
|
|
570
|
-
const sealing = await sealed(local, conversation, new Set(arriving.map((message) => message.turn)));
|
|
571
|
-
await local.keepMessages({ conversation, messages: arriving, read: { at: cursor, partial } });
|
|
572
|
-
stored.add(conversation);
|
|
573
|
-
reads.set(conversation, cursor);
|
|
574
|
-
if (partial)
|
|
575
|
-
partials.add(conversation);
|
|
576
|
-
else
|
|
577
|
-
partials.delete(conversation);
|
|
578
|
-
sealTurns(conversation, new Set(arriving.map((message) => message.turn)));
|
|
579
|
-
if (whole && (gaps.get(conversation) ?? 0) === generation)
|
|
580
|
-
behind.delete(conversation);
|
|
581
|
-
await slide(local, conversation, arriving);
|
|
582
|
-
if (arriving.length > 0 || sealing || whole) {
|
|
583
|
-
deps.publish(conversationChangeSet(changesOf(conversation, arriving), [conversation]));
|
|
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;
|
|
584
643
|
}
|
|
585
|
-
});
|
|
586
|
-
}
|
|
587
|
-
function heard(event) {
|
|
588
|
-
const { conversation } = event;
|
|
589
|
-
if (event.kind === 'gap') {
|
|
590
|
-
if (replicated.has(conversation))
|
|
591
|
-
gap(conversation);
|
|
592
|
-
if (lives.has(conversation))
|
|
593
|
-
unsent.set(conversation, new Set(FACTS));
|
|
594
|
-
return;
|
|
595
|
-
}
|
|
596
|
-
if (event.kind === 'turn') {
|
|
597
|
-
relayed(conversation, event.turn, event.operation);
|
|
598
|
-
return;
|
|
599
|
-
}
|
|
600
|
-
if (event.kind === 'questions') {
|
|
601
|
-
live(conversation, { questions: structuredClone(event.questions) });
|
|
602
|
-
return;
|
|
603
644
|
}
|
|
604
|
-
|
|
605
|
-
|
|
645
|
+
return owed;
|
|
646
|
+
})
|
|
647
|
+
.then((owed) => {
|
|
648
|
+
if (alive.deps.closed())
|
|
606
649
|
return;
|
|
607
|
-
|
|
608
|
-
if (
|
|
609
|
-
|
|
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))
|
|
610
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 }) => ({
|
|
684
|
+
conversation,
|
|
685
|
+
...(after === undefined ? {} : { after }),
|
|
686
|
+
})),
|
|
687
|
+
});
|
|
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 });
|
|
699
|
+
}
|
|
611
700
|
}
|
|
612
|
-
|
|
613
|
-
|
|
614
|
-
|
|
701
|
+
for (const { conversation } of asking) {
|
|
702
|
+
if (!following.some((next) => next.conversation === conversation))
|
|
703
|
+
ended(conversation);
|
|
615
704
|
}
|
|
616
|
-
|
|
617
|
-
|
|
618
|
-
|
|
619
|
-
|
|
620
|
-
|
|
705
|
+
waiting = [...waiting.slice(HISTORY_CONVERSATIONS), ...following];
|
|
706
|
+
}
|
|
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)));
|
|
713
|
+
}
|
|
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))
|
|
621
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]));
|
|
622
739
|
}
|
|
623
|
-
if (
|
|
624
|
-
|
|
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;
|
|
625
752
|
}
|
|
626
|
-
|
|
627
|
-
|
|
628
|
-
|
|
629
|
-
drafts.delete(conversation);
|
|
630
|
-
}
|
|
631
|
-
else {
|
|
632
|
-
await local.keepChatDrafts([following]);
|
|
633
|
-
drafts.set(conversation, following);
|
|
634
|
-
}
|
|
753
|
+
if (event.kind === 'turn') {
|
|
754
|
+
relayed(alive, conversation, event.turn, event.operation);
|
|
755
|
+
return;
|
|
635
756
|
}
|
|
636
|
-
|
|
637
|
-
|
|
638
|
-
|
|
639
|
-
const left = submitted.filter((one) => one.turn === null || !turns.has(one.turn));
|
|
640
|
-
if (held === undefined || left.length === submitted.length)
|
|
641
|
-
return false;
|
|
642
|
-
await kept(local, conversation, withSubmitted(held, left));
|
|
643
|
-
return true;
|
|
757
|
+
if (event.kind === 'questions') {
|
|
758
|
+
live(alive, conversation, { questions: structuredClone(event.questions) });
|
|
759
|
+
return;
|
|
644
760
|
}
|
|
645
|
-
|
|
646
|
-
|
|
647
|
-
return
|
|
648
|
-
const held = drafts.get(from);
|
|
649
|
-
const earlier = (held?.moves ?? []).filter((one) => !deps.expired(one));
|
|
650
|
-
if (earlier.includes(operation))
|
|
651
|
-
return;
|
|
652
|
-
const blank = {
|
|
653
|
-
conversation: from,
|
|
654
|
-
text: '',
|
|
655
|
-
files: [],
|
|
656
|
-
revision: chatDraftRevision(),
|
|
657
|
-
};
|
|
658
|
-
const { moves: _answered, ...unsent } = held ?? blank;
|
|
659
|
-
const taken = drafts.has(to) || empty(unsent) ? [] : [{ ...unsent, conversation: to }];
|
|
660
|
-
const left = { ...(taken.length === 0 ? unsent : blank), moves: [...earlier, operation] };
|
|
661
|
-
await local.keepChatDrafts([left, ...taken]);
|
|
662
|
-
drafts.set(from, left);
|
|
663
|
-
for (const one of taken)
|
|
664
|
-
drafts.set(to, one);
|
|
665
|
-
deps.publish(conversationChangeSet([], [from, to]));
|
|
666
|
-
});
|
|
761
|
+
if (event.kind === 'process') {
|
|
762
|
+
live(alive, conversation, { process: { running: event.running } });
|
|
763
|
+
return;
|
|
667
764
|
}
|
|
668
|
-
|
|
669
|
-
|
|
670
|
-
|
|
671
|
-
if (following === undefined)
|
|
672
|
-
return;
|
|
673
|
-
await kept(local, conversation, following);
|
|
674
|
-
deps.publish(conversationChangeSet([], [conversation]));
|
|
675
|
-
});
|
|
765
|
+
if (event.kind === 'commands') {
|
|
766
|
+
live(alive, conversation, { commands: structuredClone(event.commands) });
|
|
767
|
+
return;
|
|
676
768
|
}
|
|
677
|
-
|
|
678
|
-
|
|
679
|
-
|
|
680
|
-
|
|
681
|
-
|
|
682
|
-
|
|
683
|
-
|
|
684
|
-
|
|
685
|
-
|
|
686
|
-
|
|
687
|
-
|
|
688
|
-
|
|
689
|
-
|
|
690
|
-
|
|
691
|
-
|
|
692
|
-
|
|
693
|
-
|
|
694
|
-
|
|
695
|
-
|
|
696
|
-
|
|
697
|
-
submitted: [...(current?.submitted ?? []), submission],
|
|
698
|
-
};
|
|
769
|
+
if (event.kind === 'options') {
|
|
770
|
+
live(alive, conversation, { options: structuredClone(event.options) });
|
|
771
|
+
return;
|
|
772
|
+
}
|
|
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],
|
|
699
789
|
});
|
|
700
|
-
return
|
|
790
|
+
return;
|
|
701
791
|
}
|
|
702
|
-
|
|
703
|
-
|
|
704
|
-
|
|
705
|
-
|
|
706
|
-
|
|
707
|
-
|
|
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);
|
|
708
806
|
});
|
|
807
|
+
return;
|
|
709
808
|
}
|
|
710
|
-
|
|
711
|
-
|
|
712
|
-
|
|
713
|
-
|
|
714
|
-
|
|
715
|
-
|
|
716
|
-
|
|
717
|
-
|
|
718
|
-
|
|
719
|
-
|
|
720
|
-
|
|
721
|
-
|
|
722
|
-
|
|
723
|
-
|
|
724
|
-
|
|
725
|
-
|
|
726
|
-
|
|
727
|
-
|
|
728
|
-
|
|
729
|
-
|
|
730
|
-
|
|
731
|
-
|
|
732
|
-
|
|
733
|
-
|
|
734
|
-
|
|
735
|
-
|
|
736
|
-
|
|
737
|
-
|
|
738
|
-
|
|
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();
|
|
739
898
|
return result;
|
|
740
899
|
}
|
|
741
|
-
|
|
742
|
-
|
|
743
|
-
|
|
744
|
-
|
|
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;
|
|
745
914
|
}
|
|
746
|
-
|
|
747
|
-
|
|
915
|
+
finally {
|
|
916
|
+
alive.sendingEnded(submission.operation, dispatch);
|
|
748
917
|
}
|
|
749
|
-
|
|
750
|
-
|
|
751
|
-
|
|
752
|
-
|
|
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 {
|
|
924
|
+
list() {
|
|
925
|
+
return new Promise((settle) => {
|
|
926
|
+
const answer = (listed) => {
|
|
927
|
+
alive.listeners.leave(answer);
|
|
928
|
+
settle(listed);
|
|
929
|
+
};
|
|
930
|
+
alive.listeners.join(answer);
|
|
931
|
+
conversationsLearned(alive);
|
|
932
|
+
});
|
|
753
933
|
},
|
|
754
934
|
async read(conversation, options = {}) {
|
|
755
|
-
const
|
|
756
|
-
|
|
757
|
-
|
|
758
|
-
|
|
759
|
-
|
|
935
|
+
const { text, ...windowed } = options;
|
|
936
|
+
const asked = askedOf(windowed);
|
|
937
|
+
const phrase = phraseOf(text);
|
|
938
|
+
return alive.deps.durably(async (local) => {
|
|
939
|
+
const { messages, more } = await local.messageWindow(conversation, asked.limit, asked.before, phrase);
|
|
940
|
+
const total = asked.total ? await local.messageCount(conversation, phrase) : null;
|
|
941
|
+
return structuredClone(viewOf(alive, conversation, messages, frameOf(asked, messages, more, total), (await local.chatDraft(conversation)) ?? null, await endedIn(alive, conversation)));
|
|
760
942
|
});
|
|
761
943
|
},
|
|
762
944
|
async create(input) {
|
|
763
|
-
const result = await deps.call('
|
|
764
|
-
const conversation = answered(result, '
|
|
945
|
+
const result = await alive.deps.call('conversations/create', input);
|
|
946
|
+
const conversation = answered(result, 'conversation_id');
|
|
765
947
|
if (conversation === null)
|
|
766
948
|
return result;
|
|
767
|
-
|
|
768
|
-
|
|
949
|
+
const listed = (await heldList(alive)) ?? [];
|
|
950
|
+
if (!listed.some((entry) => entry.conversation === conversation)) {
|
|
951
|
+
alive.creating(conversation);
|
|
952
|
+
}
|
|
769
953
|
const creation = creationOf(input);
|
|
770
954
|
if (creation !== null)
|
|
771
|
-
await moved(creation.agent, creation.operation, conversation);
|
|
955
|
+
await moved(alive, creation.agent, creation.operation, conversation);
|
|
772
956
|
return result;
|
|
773
957
|
},
|
|
774
958
|
async send(conversation, operation = changeBatchIdentity(), draft) {
|
|
775
|
-
if (deps.
|
|
776
|
-
|
|
777
|
-
|
|
778
|
-
|
|
779
|
-
|
|
780
|
-
|
|
959
|
+
if (alive.deps.full())
|
|
960
|
+
return DURABLE_WRITE;
|
|
961
|
+
if (alive.deps.online()) {
|
|
962
|
+
const held = await submitted(alive, conversation, operation, draft).catch((error) => {
|
|
963
|
+
if (refusedForSpace(error))
|
|
964
|
+
return null;
|
|
965
|
+
throw error;
|
|
966
|
+
});
|
|
967
|
+
if (held === null)
|
|
968
|
+
return DURABLE_WRITE;
|
|
969
|
+
return dispatched(alive, conversation, held);
|
|
781
970
|
}
|
|
782
971
|
if (draft !== undefined) {
|
|
783
|
-
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
|
|
784
973
|
? undefined
|
|
785
|
-
: returned(current ?? { conversation, text: '',
|
|
974
|
+
: returned(current ?? { conversation, text: '', revision: '' }, { operation, ...draft, turn: null }, current?.submitted ?? []));
|
|
786
975
|
}
|
|
787
976
|
return OFFLINE;
|
|
788
977
|
},
|
|
789
|
-
answer(conversation, answer) {
|
|
790
|
-
return invoke('
|
|
978
|
+
answer(conversation, answer, operation) {
|
|
979
|
+
return invoke(alive, 'conversations/interaction/answer', conversation, operation, answer);
|
|
791
980
|
},
|
|
792
|
-
interrupt(conversation) {
|
|
793
|
-
return invoke('
|
|
981
|
+
interrupt(conversation, operation) {
|
|
982
|
+
return invoke(alive, 'conversations/interrupt', conversation, operation);
|
|
794
983
|
},
|
|
795
|
-
kill(conversation) {
|
|
796
|
-
return invoke('
|
|
984
|
+
kill(conversation, operation) {
|
|
985
|
+
return invoke(alive, 'conversations/kill', conversation, operation);
|
|
797
986
|
},
|
|
798
|
-
|
|
799
|
-
|
|
800
|
-
|
|
801
|
-
|
|
802
|
-
|
|
803
|
-
|
|
804
|
-
if (current === undefined || held === undefined)
|
|
805
|
-
return undefined;
|
|
806
|
-
return returned(current, held, current.submitted.filter((one) => one !== held));
|
|
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,
|
|
807
993
|
});
|
|
808
|
-
return result;
|
|
809
994
|
},
|
|
810
|
-
|
|
811
|
-
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]));
|
|
1020
|
+
},
|
|
1021
|
+
async openedTurns() {
|
|
1022
|
+
return (await (await alive.deps.local()).facts()).openedTurns;
|
|
1023
|
+
},
|
|
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
|
+
});
|
|
812
1029
|
},
|
|
813
1030
|
};
|
|
814
|
-
|
|
1031
|
+
}
|
|
1032
|
+
export function chatDraftSurface(alive) {
|
|
1033
|
+
return {
|
|
815
1034
|
write(conversation, draft, revision = chatDraftRevision()) {
|
|
816
|
-
return withDraft(conversation, (current) => ({
|
|
1035
|
+
return withDraft(alive, conversation, (current) => ({
|
|
817
1036
|
conversation,
|
|
818
1037
|
text: draft.text,
|
|
819
|
-
files: [...draft.files],
|
|
820
1038
|
revision,
|
|
821
1039
|
...(current === undefined ? {} : pending(current)),
|
|
822
1040
|
}));
|
|
823
1041
|
},
|
|
824
1042
|
prepend(conversation, draft) {
|
|
825
|
-
return withDraft(conversation, (current) => ({
|
|
1043
|
+
return withDraft(alive, conversation, (current) => ({
|
|
826
1044
|
conversation,
|
|
827
|
-
...(current === undefined
|
|
828
|
-
? { text: draft.text, files: [...draft.files] }
|
|
829
|
-
: prepended(current, draft)),
|
|
1045
|
+
...(current === undefined ? { text: draft.text } : prepended(current, draft)),
|
|
830
1046
|
revision: chatDraftRevision(),
|
|
831
1047
|
...(current === undefined ? {} : pending(current)),
|
|
832
1048
|
}));
|
|
833
1049
|
},
|
|
834
1050
|
discard(conversation) {
|
|
835
|
-
return withDraft(conversation, (current) => current === undefined
|
|
1051
|
+
return withDraft(alive, conversation, (current) => current === undefined
|
|
836
1052
|
? undefined
|
|
837
|
-
: {
|
|
838
|
-
conversation,
|
|
839
|
-
text: '',
|
|
840
|
-
files: [],
|
|
841
|
-
revision: chatDraftRevision(),
|
|
842
|
-
...pending(current),
|
|
843
|
-
});
|
|
1053
|
+
: { conversation, text: '', revision: chatDraftRevision(), ...pending(current) });
|
|
844
1054
|
},
|
|
845
1055
|
};
|
|
846
|
-
|
|
847
|
-
|
|
848
|
-
|
|
849
|
-
|
|
850
|
-
|
|
851
|
-
|
|
852
|
-
|
|
853
|
-
|
|
854
|
-
|
|
855
|
-
|
|
856
|
-
|
|
857
|
-
|
|
858
|
-
|
|
859
|
-
|
|
860
|
-
|
|
861
|
-
|
|
862
|
-
|
|
863
|
-
|
|
864
|
-
|
|
865
|
-
|
|
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())
|
|
1126
|
+
return;
|
|
1127
|
+
tried.add(submission.operation);
|
|
1128
|
+
const result = await dispatched(alive, conversation, submission);
|
|
1129
|
+
if (result.kind === 'revoked-authorization')
|
|
1130
|
+
return;
|
|
1131
|
+
if (result.kind === 'transport-uncertainty') {
|
|
1132
|
+
progress.reachable = false;
|
|
866
1133
|
return;
|
|
867
|
-
const named = new Set(listing.keys());
|
|
868
|
-
const leaving = [
|
|
869
|
-
...new Set([...replicated, ...stored, ...reads.keys(), ...drafts.keys()]),
|
|
870
|
-
].filter((conversation) => !named.has(conversation) &&
|
|
871
|
-
!creations.has(conversation) &&
|
|
872
|
-
(!conversation.startsWith(NEW_CHAT) || retiredChat(conversation)));
|
|
873
|
-
for (const conversation of named) {
|
|
874
|
-
if (!replicated.has(conversation))
|
|
875
|
-
behind.add(conversation);
|
|
876
1134
|
}
|
|
877
|
-
|
|
878
|
-
handReplicated();
|
|
879
|
-
if (leaving.length > 0)
|
|
880
|
-
await remove(leaving);
|
|
881
|
-
},
|
|
882
|
-
async catchUp(progress) {
|
|
883
|
-
const owed = (conversation) => behind.has(conversation) && replicated.has(conversation);
|
|
884
|
-
const read = async (conversations) => {
|
|
885
|
-
if (conversations.length === 0 || deps.closed())
|
|
886
|
-
return;
|
|
887
|
-
const failed = await caughtUp(conversations);
|
|
888
|
-
if (failed?.kind === 'transport-uncertainty')
|
|
889
|
-
progress.reachable = false;
|
|
890
|
-
};
|
|
891
|
-
const asking = [...behind].filter(owed).sort();
|
|
892
|
-
const awaited = asking.filter((conversation) => catching.has(conversation));
|
|
893
|
-
await Promise.all([
|
|
894
|
-
read(asking.filter((conversation) => !catching.has(conversation))),
|
|
895
|
-
Promise.all(awaited.map((conversation) => catching.get(conversation))).then(() => read(awaited.filter((conversation) => owed(conversation) && !catching.has(conversation)))),
|
|
896
|
-
]);
|
|
897
|
-
if (behind.size > 0)
|
|
1135
|
+
if (result.kind !== 'action' && result.retryable) {
|
|
898
1136
|
progress.complete = false;
|
|
899
|
-
|
|
900
|
-
async resend(progress) {
|
|
901
|
-
for (const [conversation, held] of [...drafts]) {
|
|
902
|
-
for (const submission of held.submitted ?? []) {
|
|
903
|
-
if (submission.turn !== null || sending.has(submission.operation))
|
|
904
|
-
continue;
|
|
905
|
-
if (deps.closed())
|
|
906
|
-
return;
|
|
907
|
-
if (deps.expired(submission.operation)) {
|
|
908
|
-
await forgotten(conversation, submission);
|
|
909
|
-
continue;
|
|
910
|
-
}
|
|
911
|
-
const result = await dispatched(conversation, submission);
|
|
912
|
-
if (result.kind === 'revoked-authorization')
|
|
913
|
-
return;
|
|
914
|
-
if (result.kind === 'transport-uncertainty') {
|
|
915
|
-
progress.reachable = false;
|
|
916
|
-
return;
|
|
917
|
-
}
|
|
918
|
-
if (result.kind !== 'action' && result.retryable) {
|
|
919
|
-
progress.complete = false;
|
|
920
|
-
return;
|
|
921
|
-
}
|
|
922
|
-
}
|
|
923
|
-
}
|
|
924
|
-
},
|
|
925
|
-
current() {
|
|
926
|
-
return behind.size === 0;
|
|
927
|
-
},
|
|
928
|
-
known() {
|
|
929
|
-
return listKnown;
|
|
930
|
-
},
|
|
931
|
-
reconnected() {
|
|
932
|
-
for (const conversation of replicated)
|
|
933
|
-
gap(conversation);
|
|
934
|
-
},
|
|
935
|
-
reopened() {
|
|
936
|
-
sending.clear();
|
|
937
|
-
},
|
|
938
|
-
lost() {
|
|
939
|
-
catching.clear();
|
|
940
|
-
},
|
|
941
|
-
watch(conversation, options, deliver) {
|
|
942
|
-
const asked = askedOf(options);
|
|
943
|
-
const key = JSON.stringify([conversation, asked.limit, asked.after ?? null, asked.total]);
|
|
944
|
-
const view = views.get(key) ?? {
|
|
945
|
-
conversation,
|
|
946
|
-
asked,
|
|
947
|
-
watchers: new Set(),
|
|
948
|
-
window: null,
|
|
949
|
-
more: false,
|
|
950
|
-
total: null,
|
|
951
|
-
};
|
|
952
|
-
views.set(key, view);
|
|
953
|
-
const watcher = { notify: deliver, ready: false };
|
|
954
|
-
view.watchers.add(watcher);
|
|
955
|
-
void deps
|
|
956
|
-
.durably(async (local) => {
|
|
957
|
-
if (view.window !== null)
|
|
958
|
-
return;
|
|
959
|
-
const { messages, more } = await local.messageWindow(conversation, asked.limit, asked.before);
|
|
960
|
-
view.window = messages;
|
|
961
|
-
view.more = more;
|
|
962
|
-
view.total = asked.total ? await local.messageCount(conversation) : null;
|
|
963
|
-
})
|
|
964
|
-
.then(() => {
|
|
965
|
-
if (deps.closed() || !view.watchers.has(watcher))
|
|
966
|
-
return;
|
|
967
|
-
watcher.ready = true;
|
|
968
|
-
const window = view.window ?? [];
|
|
969
|
-
watcher.notify(viewOf(conversation, window, sharedFrame(view, window)));
|
|
970
|
-
})
|
|
971
|
-
.catch(() => { });
|
|
972
|
-
return () => {
|
|
973
|
-
if (!view.watchers.delete(watcher))
|
|
974
|
-
return;
|
|
975
|
-
if (view.watchers.size === 0)
|
|
976
|
-
views.delete(key);
|
|
977
|
-
};
|
|
978
|
-
},
|
|
979
|
-
watchList(deliver) {
|
|
980
|
-
listWatchers.add(deliver);
|
|
981
|
-
void agentsReady().then(() => {
|
|
982
|
-
if (!deps.closed() && listWatchers.has(deliver))
|
|
983
|
-
deliver(entries());
|
|
984
|
-
});
|
|
985
|
-
return () => {
|
|
986
|
-
listWatchers.delete(deliver);
|
|
987
|
-
};
|
|
988
|
-
},
|
|
989
|
-
watchAgents(deliver) {
|
|
990
|
-
agentWatchers.add(deliver);
|
|
991
|
-
void agentsReady().then(() => {
|
|
992
|
-
if (!deps.closed() && agentWatchers.has(deliver))
|
|
993
|
-
deliver(agents());
|
|
994
|
-
});
|
|
995
|
-
return () => {
|
|
996
|
-
agentWatchers.delete(deliver);
|
|
997
|
-
};
|
|
998
|
-
},
|
|
999
|
-
changed(set) {
|
|
1000
|
-
for (const conversation of set.conversations)
|
|
1001
|
-
emit(conversation);
|
|
1002
|
-
const declaration = deps.agents();
|
|
1003
|
-
if (declaration !== undefined &&
|
|
1004
|
-
set.documents.some((change) => change.locator === declaration.locator)) {
|
|
1005
|
-
agentsRead = readAgents().catch(() => {
|
|
1006
|
-
agentsRead = null;
|
|
1007
|
-
});
|
|
1008
|
-
}
|
|
1009
|
-
},
|
|
1010
|
-
receive(event) {
|
|
1011
|
-
if (deps.closed())
|
|
1012
|
-
return false;
|
|
1013
|
-
if (event.kind === 'list' || event.kind === 'listed' || event.kind === 'unlisted') {
|
|
1014
|
-
if (event.kind === 'list') {
|
|
1015
|
-
listing.clear();
|
|
1016
|
-
for (const entry of event.entries) {
|
|
1017
|
-
listing.set(entry.conversation, { ...entry });
|
|
1018
|
-
creations.delete(entry.conversation);
|
|
1019
|
-
}
|
|
1020
|
-
listKnown = true;
|
|
1021
|
-
openingEnded();
|
|
1022
|
-
}
|
|
1023
|
-
else if (event.kind === 'listed') {
|
|
1024
|
-
listing.set(event.entry.conversation, { ...event.entry });
|
|
1025
|
-
creations.delete(event.entry.conversation);
|
|
1026
|
-
}
|
|
1027
|
-
else {
|
|
1028
|
-
listing.delete(event.conversation);
|
|
1029
|
-
}
|
|
1030
|
-
emitList();
|
|
1031
|
-
return (event.kind !== 'list' &&
|
|
1032
|
-
listKnown &&
|
|
1033
|
-
(listing.size !== replicated.size ||
|
|
1034
|
-
[...listing.keys()].some((conversation) => !replicated.has(conversation))));
|
|
1137
|
+
return;
|
|
1035
1138
|
}
|
|
1036
|
-
|
|
1037
|
-
|
|
1038
|
-
|
|
1039
|
-
|
|
1040
|
-
|
|
1041
|
-
|
|
1042
|
-
|
|
1043
|
-
|
|
1044
|
-
|
|
1045
|
-
|
|
1046
|
-
|
|
1047
|
-
|
|
1048
|
-
|
|
1049
|
-
|
|
1050
|
-
|
|
1051
|
-
}
|
|
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);
|
|
1052
1169
|
};
|
|
1053
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
|
+
}
|