@agentshouse/mdruntime 0.1.0-c91a238f9703e → 0.1.0-c9260f23cccf4

package/dist/conversation.js

@@ -1,6 +1,6 @@
 import { conversationChangeSet } from './change-set.js';
 import { runtimeError } from './failure.js';
-import { declaredFile } from './file.js';
+import { refusedForSpace } from './durability.js';
 import { changeBatchIdentity, chatDraftRevision } from './identity.js';
 import { OFFLINE } from './outcome.js';
 import { capped, cursorOf, decodedCursor, FROM_START, messageOrder, precedes } from './windows.js';
@@ -10,7 +10,19 @@ const QUIET = {
     process: null,
     commands: [],
     options: [],
+    starting: null,
+    link: null,
+    deliveryUnknown: [],
 };
+const FACTS = [
+    'questions',
+    'process',
+    'commands',
+    'options',
+    'starting',
+    'link',
+    'deliveryUnknown',
+];
 export function unheldView(conversation) {
     return {
         conversation,
@@ -20,19 +32,25 @@ export function unheldView(conversation) {
         process: null,
         commands: [],
         options: [],
+        starting: null,
+        link: null,
+        deliveryUnknown: [],
         chatDraft: null,
     };
 }
 export const SESSION_STARTED = 'Session started';
 const NEW_CHAT = 'new:';
+export const HISTORY_CONVERSATIONS = 64;
 export function newChat(agent) {
     return `${NEW_CHAT}${agent}`;
 }
 function creationOf(input) {
     if (typeof input !== 'object' || input === null)
         return null;
-    const { agent_id: agent, operation_id: operation } = input;
-    return typeof agent === 'string' && typeof operation === 'string' ? { agent, operation } : null;
+    const { agent_id: agent, operation_id: operation, replaces, } = input;
+    return typeof agent === 'string' && typeof operation === 'string' && replaces === undefined
+        ? { agent, operation }
+        : null;
 }
 function startedTurn(turn, operation) {
     if (operation.op === 'begin')
@@ -192,8 +210,14 @@ function askedOf(options) {
     return { limit: capped(limit), after, before: beforeOf(after), total: total === true };
 }
 const EXPIRED = { kind: 'rejected', code: 'expired', fields: {}, retryable: false };
+const DURABLE_WRITE = {
+    kind: 'rejected',
+    code: 'durable-write',
+    fields: {},
+    retryable: true,
+};
 function unwritten(draft) {
-    return draft.text === '' && draft.files.length === 0;
+    return draft.text === '';
 }
 function pending(draft) {
     return {
@@ -209,10 +233,7 @@ function withSubmitted(draft, submitted) {
     return submitted.length === 0 ? unsent : { ...unsent, submitted };
 }
 function prepended(draft, said) {
-    return {
-        text: [said.text, draft.text].filter((one) => one !== '').join('\n'),
-        files: [...said.files, ...draft.files],
-    };
+    return { text: [said.text, draft.text].filter((one) => one !== '').join('\n') };
 }
 function returned(draft, submission, others) {
     return withSubmitted({
@@ -231,15 +252,22 @@ export function createConversationStore(deps) {
     const catching = new Map();
     const gaps = new Map();
     const lives = new Map();
+    const unsent = new Map();
     const views = new Map();
     const listing = new Map();
     const creations = new Set();
     const listWatchers = new Set();
+    const unlisted = new Set();
     let listKnown = false;
+    let listHeld = false;
+    let listKept = false;
     const agentWatchers = new Set();
+    const unnamed = new Set();
+    let agentsKnown = false;
     let agentNames = new Map();
     let retiredAgents = new Set();
     let agentsRead = null;
+    let agentsFrom;
     let replicated = new Set();
     let handedReplicated;
     function liveOf(conversation) {
@@ -262,9 +290,12 @@ export function createConversationStore(deps) {
             process: facts.process === null ? null : { ...facts.process },
             commands: structuredClone(facts.commands),
             options: structuredClone(facts.options),
+            starting: facts.starting,
+            link: facts.link === null ? null : { ...facts.link },
+            deliveryUnknown: [...facts.deliveryUnknown],
             chatDraft: draft === undefined || unwritten(draft)
                 ? null
-                : { text: draft.text, files: [...draft.files], revision: draft.revision },
+                : { text: draft.text, revision: draft.revision },
         };
     }
     function emit(conversation) {
@@ -306,9 +337,6 @@ export function createConversationStore(deps) {
             }
         }
     }
-    function changesOf(conversation, arriving) {
-        return arriving.map(({ identity, text }) => ({ conversation, identity, text }));
-    }
     function stateOf(conversation) {
         const facts = liveOf(conversation);
         if (facts.questions.length > 0)
@@ -323,16 +351,58 @@ export function createConversationStore(deps) {
             created: entry.created,
             finished: entry.finished,
             outcome: entry.outcome,
+            waiting: entry.waiting,
             state: stateOf(entry.conversation),
             started: lives.get(entry.conversation)?.turn?.started ?? null,
         }));
     }
+    function keepList() {
+        if (!listKnown || listKept)
+            return;
+        listKept = true;
+        queueMicrotask(() => {
+            listKept = false;
+            if (deps.closed())
+                return;
+            const entries = [...listing.values()];
+            void deps.durably((local) => local.fact('conversationList', entries)).catch(() => { });
+        });
+    }
     function emitList() {
-        if (deps.closed() || listWatchers.size === 0)
+        if (deps.closed())
             return;
-        const value = entries();
-        for (const watcher of listWatchers)
-            watcher(value);
+        if (listWatchers.size > 0) {
+            const value = entries();
+            for (const watcher of listWatchers)
+                watcher(value);
+        }
+        learned();
+    }
+    function unlearnable() {
+        return !deps.online() || (deps.listed() && deps.agents() === undefined);
+    }
+    function learned() {
+        if (deps.closed())
+            return;
+        const named = agentsKnown || unlearnable();
+        if (unlisted.size > 0 &&
+            named &&
+            (listKnown || listHeld || deps.stream() === undefined || unlearnable())) {
+            const value = entries();
+            for (const watcher of [...unlisted]) {
+                unlisted.delete(watcher);
+                listWatchers.add(watcher);
+                watcher(value);
+            }
+        }
+        if (unnamed.size > 0 && named) {
+            const value = agents();
+            for (const watcher of [...unnamed]) {
+                unnamed.delete(watcher);
+                agentWatchers.add(watcher);
+                watcher(value);
+            }
+        }
     }
     function agents() {
         return [...agentNames]
@@ -363,34 +433,46 @@ export function createConversationStore(deps) {
     }
     async function readAgents() {
         const declaration = deps.agents();
+        agentsFrom = JSON.stringify(declaration);
         if (declaration === undefined)
             return;
-        const held = await deps.documents(declaration);
-        if ('pending' in held)
-            return;
-        const { documents } = held;
         const names = new Map();
         const retired = new Set();
-        for (const document of documents) {
-            if (document.type !== declaration.type)
-                continue;
-            const identity = document.fields?.[declaration.identity];
-            const name = document.fields?.[declaration.name];
-            if (typeof identity !== 'string' || typeof name !== 'string')
-                continue;
-            names.set(identity, name);
-            const ended = declaration.retired === undefined ? null : document.fields?.[declaration.retired];
-            if (ended !== undefined && ended !== null)
-                retired.add(identity);
+        let covered = null;
+        for (let after;;) {
+            const read = await deps.documents(declaration, after);
+            if ('pending' in read)
+                return;
+            const coverage = JSON.stringify(read.coverage);
+            if (covered !== null && coverage !== covered)
+                return readAgents();
+            covered = coverage;
+            for (const document of read.documents) {
+                const identity = document.fields?.[declaration.identity];
+                const name = document.fields?.[declaration.name];
+                if (typeof identity !== 'string' || typeof name !== 'string')
+                    continue;
+                names.set(identity, name);
+                const ended = declaration.retired === undefined ? null : document.fields?.[declaration.retired];
+                if (ended !== undefined && ended !== null)
+                    retired.add(identity);
+            }
+            if (read.next === undefined)
+                break;
+            after = read.next;
         }
+        agentsKnown = true;
         const named = JSON.stringify([...names]) !== JSON.stringify([...agentNames]);
-        if (!named && JSON.stringify([...retired]) === JSON.stringify([...retiredAgents]))
+        if (!named && JSON.stringify([...retired]) === JSON.stringify([...retiredAgents])) {
+            learned();
             return;
+        }
         agentNames = names;
         retiredAgents = retired;
+        emitAgents();
         if (named)
             emitList();
-        emitAgents();
+        learned();
         const ended = [...drafts.keys()].filter(retiredChat);
         if (ended.length > 0)
             await remove(ended);
@@ -405,9 +487,34 @@ export function createConversationStore(deps) {
         return agentsRead;
     }
     function live(conversation, change) {
+        const owed = unsent.get(conversation);
+        for (const fact of FACTS.filter((one) => one in change))
+            owed?.delete(fact);
         setLive(conversation, { ...liveOf(conversation), ...change });
         emit(conversation);
     }
+    function openingEnded() {
+        const owed = [...unsent];
+        unsent.clear();
+        for (const [conversation, facts] of owed) {
+            const held = lives.get(conversation);
+            if (held === undefined || facts.size === 0)
+                continue;
+            setLive(conversation, {
+                turn: held.turn,
+                questions: facts.has('questions') ? QUIET.questions : held.questions,
+                process: facts.has('process') ? QUIET.process : held.process,
+                commands: facts.has('commands') ? QUIET.commands : held.commands,
+                options: facts.has('options') ? QUIET.options : held.options,
+                starting: facts.has('starting') ? QUIET.starting : held.starting,
+                link: facts.has('link') ? QUIET.link : held.link,
+                deliveryUnknown: facts.has('deliveryUnknown')
+                    ? QUIET.deliveryUnknown
+                    : held.deliveryUnknown,
+            });
+            emit(conversation);
+        }
+    }
     function relayed(conversation, turn, operation) {
         const held = liveOf(conversation).turn;
         const next = held?.turn === turn ? appliedTurn(held, operation) : startedTurn(turn, operation);
@@ -434,12 +541,6 @@ export function createConversationStore(deps) {
     }
     async function remove(leaving) {
         await deps.durably(async (local) => {
-            const removed = [];
-            for (const conversation of leaving) {
-                for (const identity of await local.messageIdentities(conversation)) {
-                    removed.push({ conversation, identity, text: null });
-                }
-            }
             await local.dropConversations(leaving);
             const changed = [];
             for (const conversation of leaving) {
@@ -451,13 +552,28 @@ export function createConversationStore(deps) {
                 partials.delete(conversation);
                 drafts.delete(conversation);
                 behind.delete(conversation);
+                unsent.delete(conversation);
                 setLive(conversation, null);
                 await slide(local, conversation, null);
             }
             if (changed.length > 0)
-                deps.publish(conversationChangeSet(removed, changed));
+                deps.publish(conversationChangeSet(changed));
         });
     }
+    function missed(conversation) {
+        const read = reads.get(conversation);
+        const newest = listing.get(conversation)?.newest;
+        return (read === undefined ||
+            newest === undefined ||
+            partials.has(conversation) ||
+            (newest !== null && (read === null || newest > read)));
+    }
+    function noted(conversation, message) {
+        const entry = listing.get(conversation);
+        if (entry === undefined || (entry.newest !== null && entry.newest >= message.position))
+            return;
+        listing.set(conversation, { ...entry, newest: message.position });
+    }
     function gap(conversation) {
         gaps.set(conversation, (gaps.get(conversation) ?? 0) + 1);
         behind.add(conversation);
@@ -481,16 +597,17 @@ export function createConversationStore(deps) {
                 reads.set(conversation, message.position);
             sealTurns(conversation, new Set([message.turn]));
             await slide(local, conversation, [message]);
-            deps.publish(conversationChangeSet(changesOf(conversation, [message]), [conversation]));
+            deps.publish(conversationChangeSet([conversation]));
         });
     }
     async function readHistories(conversations, ended) {
         const generations = new Map(conversations.map((one) => [one, gaps.get(one) ?? 0]));
-        let asking = conversations.map((conversation) => ({
+        let waiting = conversations.map((conversation) => ({
             conversation,
             after: reads.get(conversation) ?? undefined,
         }));
-        while (asking.length > 0) {
+        while (waiting.length > 0) {
+            const asking = waiting.slice(0, HISTORY_CONVERSATIONS);
             const result = await deps.call('conversation.history', {
                 conversations: asking.map(({ conversation, after }) => ({
                     conversation,
@@ -514,7 +631,7 @@ export function createConversationStore(deps) {
                 if (!following.some((next) => next.conversation === conversation))
                     ended(conversation);
             }
-            asking = following;
+            waiting = [...waiting.slice(HISTORY_CONVERSATIONS), ...following];
         }
         return null;
     }
@@ -557,7 +674,7 @@ export function createConversationStore(deps) {
                 behind.delete(conversation);
             await slide(local, conversation, arriving);
             if (arriving.length > 0 || sealing || whole) {
-                deps.publish(conversationChangeSet(changesOf(conversation, arriving), [conversation]));
+                deps.publish(conversationChangeSet([conversation]));
             }
         });
     }
@@ -566,11 +683,8 @@ export function createConversationStore(deps) {
         if (event.kind === 'gap') {
             if (replicated.has(conversation))
                 gap(conversation);
-            const held = lives.get(conversation);
-            if (held === undefined)
-                return;
-            setLive(conversation, { ...QUIET, turn: held.turn });
-            emit(conversation);
+            if (lives.has(conversation))
+                unsent.set(conversation, new Set(FACTS));
             return;
         }
         if (event.kind === 'turn') {
@@ -593,11 +707,31 @@ export function createConversationStore(deps) {
             live(conversation, { options: structuredClone(event.options) });
             return;
         }
+        if (event.kind === 'starting') {
+            live(conversation, { starting: event.step });
+            return;
+        }
+        if (event.kind === 'link') {
+            live(conversation, { link: { connected: event.connected } });
+            return;
+        }
+        if (event.kind === 'deliveries') {
+            live(conversation, { deliveryUnknown: [...event.unknown] });
+            return;
+        }
         const arriving = acceptedMessage(event.message);
         if (arriving === null)
             return;
+        noted(conversation, arriving);
         if (replicated.has(conversation)) {
-            void keep(conversation, arriving).catch(() => { });
+            if (deps.full()) {
+                gap(conversation);
+                return;
+            }
+            void keep(conversation, arriving).catch((error) => {
+                if (refusedForSpace(error))
+                    gap(conversation);
+            });
             return;
         }
         if (sealTurns(conversation, new Set([arriving.turn])))
@@ -632,7 +766,6 @@ export function createConversationStore(deps) {
             const blank = {
                 conversation: from,
                 text: '',
-                files: [],
                 revision: chatDraftRevision(),
             };
             const { moves: _answered, ...unsent } = held ?? blank;
@@ -642,7 +775,7 @@ export function createConversationStore(deps) {
             drafts.set(from, left);
             for (const one of taken)
                 drafts.set(to, one);
-            deps.publish(conversationChangeSet([], [from, to]));
+            deps.publish(conversationChangeSet([from, to]));
         });
     }
     function withDraft(conversation, next) {
@@ -651,7 +784,7 @@ export function createConversationStore(deps) {
             if (following === undefined)
                 return;
             await kept(local, conversation, following);
-            deps.publish(conversationChangeSet([], [conversation]));
+            deps.publish(conversationChangeSet([conversation]));
         });
     }
     async function submitted(conversation, operation, draft) {
@@ -663,17 +796,12 @@ export function createConversationStore(deps) {
             if (submission !== undefined)
                 return undefined;
             const said = draft ?? current;
-            submission = {
-                operation,
-                text: said?.text ?? '',
-                files: [...(said?.files ?? [])],
-                turn: null,
-            };
+            submission = { operation, text: said?.text ?? '', turn: null };
             return {
                 conversation,
                 ...(draft === undefined || current === undefined
-                    ? { text: '', files: [], revision: chatDraftRevision() }
-                    : { text: current.text, files: current.files, revision: current.revision }),
+                    ? { text: '', revision: chatDraftRevision() }
+                    : { text: current.text, revision: current.revision }),
                 submitted: [...(current?.submitted ?? []), submission],
             };
         });
@@ -688,15 +816,14 @@ export function createConversationStore(deps) {
         });
     }
     async function dispatched(conversation, submission) {
-        const dispatch = {};
+        const dispatch = { answered: false };
         sending.set(submission.operation, dispatch);
         try {
-            const files = await Promise.all(submission.files.map(async (file) => ({ ...(await declaredFile(file)), blob: file.blob })));
             const result = await invoke('conversation.send', conversation, {
                 text: submission.text,
-                files,
                 operation_id: submission.operation,
             });
+            dispatch.answered = result.kind !== 'transport-uncertainty';
             if (result.kind === 'revoked-authorization')
                 return result;
             if (result.kind !== 'action' && result.retryable) {
@@ -729,7 +856,15 @@ export function createConversationStore(deps) {
     const surface = {
         async list() {
             await agentsReady();
-            return entries();
+            return new Promise((settle) => {
+                const answer = (listed) => {
+                    unlisted.delete(answer);
+                    listWatchers.delete(answer);
+                    settle(listed);
+                };
+                unlisted.add(answer);
+                learned();
+            });
         },
         async read(conversation, options = {}) {
             const asked = askedOf(options);
@@ -752,8 +887,17 @@ export function createConversationStore(deps) {
             return result;
         },
         async send(conversation, operation = changeBatchIdentity(), draft) {
+            if (deps.full())
+                return DURABLE_WRITE;
             if (deps.online()) {
-                const { submission, earlier } = await submitted(conversation, operation, draft);
+                const held = await submitted(conversation, operation, draft).catch((error) => {
+                    if (refusedForSpace(error))
+                        return null;
+                    throw error;
+                });
+                if (held === null)
+                    return DURABLE_WRITE;
+                const { submission, earlier } = held;
                 if (!earlier || !deps.expired(operation))
                     return dispatched(conversation, submission);
                 await forgotten(conversation, submission);
@@ -762,7 +906,7 @@ export function createConversationStore(deps) {
             if (draft !== undefined) {
                 await withDraft(conversation, (current) => current?.submitted?.some((one) => one.operation === operation) === true
                     ? undefined
-                    : returned(current ?? { conversation, text: '', files: [], revision: '' }, { operation, ...draft, turn: null }, current?.submitted ?? []));
+                    : returned(current ?? { conversation, text: '', revision: '' }, { operation, ...draft, turn: null }, current?.submitted ?? []));
             }
             return OFFLINE;
         },
@@ -796,7 +940,6 @@ export function createConversationStore(deps) {
             return withDraft(conversation, (current) => ({
                 conversation,
                 text: draft.text,
-                files: [...draft.files],
                 revision,
                 ...(current === undefined ? {} : pending(current)),
             }));
@@ -804,9 +947,7 @@ export function createConversationStore(deps) {
         prepend(conversation, draft) {
             return withDraft(conversation, (current) => ({
                 conversation,
-                ...(current === undefined
-                    ? { text: draft.text, files: [...draft.files] }
-                    : prepended(current, draft)),
+                ...(current === undefined ? { text: draft.text } : prepended(current, draft)),
                 revision: chatDraftRevision(),
                 ...(current === undefined ? {} : pending(current)),
             }));
@@ -814,19 +955,19 @@ export function createConversationStore(deps) {
         discard(conversation) {
             return withDraft(conversation, (current) => current === undefined
                 ? undefined
-                : {
-                    conversation,
-                    text: '',
-                    files: [],
-                    revision: chatDraftRevision(),
-                    ...pending(current),
-                });
+                : { conversation, text: '', revision: chatDraftRevision(), ...pending(current) });
         },
     };
     return {
         surface,
         chatDraft,
-        hydrate(held, kept) {
+        hydrate(held, kept, list) {
+            if (list !== null && !listKnown) {
+                listing.clear();
+                for (const entry of list)
+                    listing.set(entry.conversation, { ...entry });
+                listHeld = true;
+            }
             stored.clear();
             reads.clear();
             partials.clear();
@@ -840,6 +981,8 @@ export function createConversationStore(deps) {
             drafts.clear();
             for (const record of kept)
                 drafts.set(record.conversation, record);
+            if (listHeld)
+                learned();
         },
         async reconcile() {
             if (!listKnown)
@@ -851,7 +994,7 @@ export function createConversationStore(deps) {
                 !creations.has(conversation) &&
                 (!conversation.startsWith(NEW_CHAT) || retiredChat(conversation)));
             for (const conversation of named) {
-                if (!replicated.has(conversation))
+                if (!replicated.has(conversation) && missed(conversation))
                     behind.add(conversation);
             }
             replicated = named;
@@ -860,6 +1003,11 @@ export function createConversationStore(deps) {
                 await remove(leaving);
         },
         async catchUp(progress) {
+            if (deps.full()) {
+                if (behind.size > 0)
+                    progress.complete = false;
+                return;
+            }
             const owed = (conversation) => behind.has(conversation) && replicated.has(conversation);
             const read = async (conversations) => {
                 if (conversations.length === 0 || deps.closed())
@@ -908,12 +1056,10 @@ export function createConversationStore(deps) {
         known() {
             return listKnown;
         },
-        reconnected() {
-            for (const conversation of replicated)
-                gap(conversation);
-        },
         reopened() {
-            sending.clear();
+            for (const [operation, dispatch] of sending)
+                if (!dispatch.answered)
+                    sending.delete(operation);
         },
         lost() {
             catching.clear();
@@ -957,25 +1103,35 @@ export function createConversationStore(deps) {
             };
         },
         watchList(deliver) {
-            listWatchers.add(deliver);
+            let ended = false;
             void agentsReady().then(() => {
-                if (!deps.closed() && listWatchers.has(deliver))
-                    deliver(entries());
+                if (ended)
+                    return;
+                unlisted.add(deliver);
+                learned();
             });
             return () => {
+                ended = true;
+                unlisted.delete(deliver);
                 listWatchers.delete(deliver);
             };
         },
         watchAgents(deliver) {
-            agentWatchers.add(deliver);
-            void agentsReady().then(() => {
-                if (!deps.closed() && agentWatchers.has(deliver))
-                    deliver(agents());
-            });
+            unnamed.add(deliver);
+            void agentsReady().then(learned);
             return () => {
+                unnamed.delete(deliver);
                 agentWatchers.delete(deliver);
             };
         },
+        learned,
+        declared() {
+            if (JSON.stringify(deps.agents()) === agentsFrom)
+                return;
+            agentsRead = readAgents().catch(() => {
+                agentsRead = null;
+            });
+        },
         changed(set) {
             for (const conversation of set.conversations)
                 emit(conversation);
@@ -998,6 +1154,15 @@ export function createConversationStore(deps) {
                         creations.delete(entry.conversation);
                     }
                     listKnown = true;
+                    for (const conversation of replicated) {
+                        if (!listing.has(conversation))
+                            continue;
+                        if (!missed(conversation))
+                            behind.delete(conversation);
+                        else if (!behind.has(conversation))
+                            gap(conversation);
+                    }
+                    openingEnded();
                 }
                 else if (event.kind === 'listed') {
                     listing.set(event.entry.conversation, { ...event.entry });
@@ -1006,6 +1171,7 @@ export function createConversationStore(deps) {
                 else {
                     listing.delete(event.conversation);
                 }
+                keepList();
                 emitList();
                 return (event.kind !== 'list' &&
                     listKnown &&
@@ -1024,8 +1190,11 @@ export function createConversationStore(deps) {
         close() {
             views.clear();
             lives.clear();
+            unsent.clear();
             listWatchers.clear();
+            unlisted.clear();
             agentWatchers.clear();
+            unnamed.clear();
         },
     };
 }