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