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