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