@agentshouse/mdruntime 0.1.0-c0ffc146f48dd → 0.1.0-c112fd663ab59

package/README.md

@@ -12,14 +12,14 @@ npm install @agentshouse/mdruntime
 
 ## Entries
 
-| Entry                           | For                                                                                 |
-| ------------------------------- | ----------------------------------------------------------------------------------- |
-| `@agentshouse/mdruntime/client` | The host's client: `connectMdRuntime(port)`                                         |
-| `@agentshouse/mdruntime/host`   | The host that serves a Runtime: `serveMdRuntime`                                    |
-| `@agentshouse/mdruntime`        | Shared types                                                                        |
-| `@agentshouse/mdruntime/memory` | Tests: `createMemoryAdapter`, an in-memory Adapter                                  |
-| `@agentshouse/mdruntime/tables` | The host's database: the Authored store's and opened files' tables, `answerRuntime` |
-| `@agentshouse/mdruntime/react`  | React over the client: `useObserve`, `useSave`                                      |
+| Entry                           | For                                                                                            |
+| ------------------------------- | ---------------------------------------------------------------------------------------------- |
+| `@agentshouse/mdruntime/client` | The host's client: `connectMdRuntime(port)`                                                    |
+| `@agentshouse/mdruntime/host`   | The host that serves a Runtime: `serveMdRuntime`                                               |
+| `@agentshouse/mdruntime`        | Shared types                                                                                   |
+| `@agentshouse/mdruntime/memory` | Tests: `createMemoryAdapter`, an in-memory Adapter                                             |
+| `@agentshouse/mdruntime/tables` | The host's database: the Authored store's and opened files' tables, `answerRuntime`            |
+| `@agentshouse/mdruntime/react`  | React over the client: `useObserve`, `useSave`; `useReading`, a reader of an expectation store |
 
 ## Usage
 
@@ -48,9 +48,9 @@ chat.update({ width: 'full', showChats: true });
 chat.unmount();
 ```
 
-The rules an App's agent follows, including Local Query, Local Search, Room
+The rules an App's agent follows, including Local Query, search, Room
 Draft, Save and the Chat, are the `apps/` pages of House's Guide, which House's
-`open_guide` opens.
+`guide/open` opens.
 
 ## License
 

package/dist/acceptance.d.ts

@@ -0,0 +1,6 @@
+import type { Runtime } from './runtime.js';
+import type { RuntimeStore } from './store.js';
+export declare function unpair(runtime: Runtime, local: RuntimeStore): Promise<void>;
+export declare function submitLater(runtime: Runtime, locator: string): void;
+export declare function submitAll(runtime: Runtime): Promise<void>;
+//# sourceMappingURL=acceptance.d.ts.map

package/dist/acceptance.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"acceptance.d.ts","sourceRoot":"","sources":["../src/acceptance.ts"],"names":[],"mappings":"AAqBA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAG5C,OAAO,KAAK,EAAE,YAAY,EAAe,MAAM,YAAY,CAAC;AAkO5D,wBAAsB,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,CAgBjF;AA+ND,wBAAgB,WAAW,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,QAK5D;AA4BD,wBAAsB,SAAS,CAAC,OAAO,EAAE,OAAO,iBAM/C"}

package/dist/acceptance.js

@@ -0,0 +1,385 @@
+import { changeSet } from './change-set.js';
+import { leaving as leavingIn, partnerOf } from './change.js';
+import { olderThan, showing } from './install.js';
+import { readable } from './listing.js';
+import { refuse } from './refusal.js';
+import { landed, returnedPaths, returning, slicing, touchedBy } from './replica.js';
+import { batchFile, landedWhole, settle, settlement, sliceAt, together, unpairing, withdrawable, } from './saves.js';
+import { rest, roomUnreadable, statusShown } from './shown.js';
+import { unconfirmed } from './transfer.js';
+import { stepped } from './turn.js';
+function pendingKey(locator, id) {
+    return `${locator}\u0000${id}`;
+}
+async function mark(runtime, local, locator, batch, submission, lost) {
+    const { store, socket } = runtime;
+    const partner = partnerOf(batch, locator);
+    for (const held of partner === null ? [locator] : [locator, partner]) {
+        const { state, room } = await local.pending(held, batch.id);
+        if (!socket.continuing() ||
+            state === undefined ||
+            (JSON.stringify(state.submission) === JSON.stringify(submission) && state.lost === lost)) {
+            continue;
+        }
+        await local.submit(held, batch.id, submission, lost);
+        if (store.fences.has(held))
+            continue;
+        if (room)
+            store.changed(changeSet(held, { queue: true }));
+    }
+    statusShown(runtime);
+}
+async function keepUpload({ store, socket }, local, locator, identifier, upload) {
+    if (!socket.continuing())
+        throw new Error();
+    await local.keepUpload(locator, identifier, upload);
+    if (store.fences.has(locator))
+        throw new Error();
+    if (!socket.continuing())
+        throw new Error();
+}
+function leaving(batch, result) {
+    return {
+        batch,
+        returned: {
+            kind: result.kind,
+            code: result.code,
+            fields: result.fields,
+            retryable: result.retryable,
+        },
+    };
+}
+function logAccepted({ journal }, locator, submitted, accepted) {
+    journal.record(`outcome ${locator} ${submitted.id} accepted ${accepted.roomVersion}` +
+        (accepted.author === undefined ? '' : ` author ${accepted.author}`) +
+        (accepted.time === undefined ? '' : ` time ${accepted.time}`));
+}
+function settling(acceptance) {
+    return acceptance !== null && 'apply' in acceptance;
+}
+function failureOf(acceptance) {
+    return settling(acceptance) ? null : acceptance;
+}
+async function acceptance(runtime, room, local, submitted, accepted) {
+    const { store, socket } = runtime;
+    if (!socket.continuing())
+        return unconfirmed;
+    const work = await store.work(room.locator);
+    const current = work.replica;
+    if (current === undefined || !current.queue.some((batch) => batch.id === submitted.id)) {
+        return null;
+    }
+    const held = current.record.roomVersion;
+    logAccepted(runtime, room.locator, submitted, accepted);
+    let record = current.record;
+    let changes;
+    if (!socket.reads.reached(room.locator, held, accepted.roomVersion) &&
+        !olderThan(runtime, room.locator, accepted.roomVersion, held)) {
+        const paths = [...returnedPaths(submitted, accepted)];
+        const confirmedLayer = await stepped(slicing(await local.entries(record.key, 'confirmed', paths), paths));
+        const back = await stepped(returning(confirmedLayer, submitted, accepted, accepted.roomVersion, store.composed(record)));
+        record = {
+            ...record,
+            roomVersion: socket.follows(room.locator, held, accepted.roomVersion)
+                ? accepted.roomVersion
+                : held,
+        };
+        changes = back;
+    }
+    const settled = await settlement(runtime, local, room.locator, work, record, current.queue.filter((batch) => batch.id !== submitted.id), { room: true, ...(changes === undefined ? {} : { changes }) });
+    const reached = record.roomVersion;
+    return {
+        ...settled,
+        apply(answer) {
+            const set = settled.apply(answer);
+            showing(runtime, room.locator, accepted.roomVersion, reached);
+            readable(runtime, room);
+            return set;
+        },
+    };
+}
+async function adoptedTogether(runtime, local, acceptances) {
+    const settlements = acceptances.filter(settling);
+    if (settlements.length > 0) {
+        const set = await together(runtime, local, settlements);
+        void statusShown(runtime);
+        void runtime.store.changed(set);
+    }
+    await unpair(runtime, local);
+}
+async function adopted(runtime, room, local, submitted, accepted) {
+    const failed = await runtime.store.exclusive(async () => {
+        const adopting = await acceptance(runtime, room, local, submitted, accepted);
+        await adoptedTogether(runtime, local, [adopting]);
+        return failureOf(adopting);
+    });
+    return failed === null;
+}
+async function adoptedMove(runtime, room, partner, local, submitted, accepted) {
+    const { store, socket } = runtime;
+    const other = socket.rooms.discovered(partner);
+    const failed = await store.exclusive(async () => {
+        const left = await acceptance(runtime, room, local, submitted, accepted);
+        const arriving = (await store.replica(partner))?.queue.find((batch) => batch.id === submitted.id);
+        const arrived = other === undefined || arriving === undefined || accepted.destination === undefined
+            ? null
+            : await acceptance(runtime, other, local, arriving, {
+                kind: 'accepted',
+                ...accepted.destination,
+            });
+        await adoptedTogether(runtime, local, [left, arrived]);
+        return failureOf(left);
+    });
+    submitLater(runtime, partner);
+    return failed === null;
+}
+async function behindIn({ store }, locator, batch) {
+    const local = await store.open();
+    const [order, { room }] = await Promise.all([
+        local.order(locator),
+        local.pending(locator, batch.id),
+    ]);
+    return room ? order.indexOf(batch.id) > 0 : order.length > 0;
+}
+async function unpaired(local, skipped) {
+    const { queued, moving } = await local.moving();
+    for (const { locator, batch, state } of moving) {
+        const partner = partnerOf(batch, locator);
+        if (partner === null || skipped.has(pendingKey(locator, batch.id)))
+            continue;
+        if (queued.get(partner)?.includes(batch.id) === true)
+            continue;
+        if (!leavingIn(batch, locator) || withdrawable(new Map([[batch.id, state]]))(batch)) {
+            return { locator, batch };
+        }
+    }
+    return null;
+}
+export async function unpair(runtime, local) {
+    const { store, socket } = runtime;
+    const handled = new Set();
+    for (let held = await unpaired(local, handled); held !== null && socket.continuing(); held = await unpaired(local, handled)) {
+        const { locator, batch } = held;
+        handled.add(pendingKey(locator, batch.id));
+        store.changed(await together(runtime, local, [await unpairing(runtime, local, locator, [batch])]));
+    }
+    if (handled.size === 0)
+        return;
+    statusShown(runtime);
+}
+async function submitRoom(runtime, room, local, authorized, progress, signal) {
+    const { store, socket, journal, advanced, withhold } = runtime;
+    while (socket.continuing() &&
+        socket.session.now().authorization !== undefined &&
+        !signal.aborted) {
+        const headId = (await local.order(room.locator)).find((id) => store.landed.of(room.locator, id) === undefined);
+        if (headId === undefined)
+            return 'done';
+        const [head, pending] = await Promise.all([
+            local.batch(room.locator, headId),
+            local.pending(room.locator, headId),
+        ]);
+        if (head === null || !pending.room)
+            return 'done';
+        const { state } = pending;
+        const partner = partnerOf(head, room.locator);
+        if (partner !== null && !leavingIn(head, room.locator)) {
+            submitLater(runtime, partner);
+            return 'done';
+        }
+        if (partner !== null && (await behindIn(runtime, partner, head))) {
+            progress.complete = false;
+            return 'done';
+        }
+        const { submission, lost: earlier } = state ?? {
+            submission: { state: 'waiting' },
+            lost: false,
+        };
+        if (submission.state === 'reset' && Date.now() < Date.parse(submission.reset)) {
+            progress.complete = false;
+            return { at: Date.parse(submission.reset) };
+        }
+        if (socket.writesHeld()) {
+            progress.complete = false;
+            journal.record(`submission ${room.locator} ${head.id} held`);
+            return 'done';
+        }
+        const lost = earlier || submission.state === 'submitted';
+        let result;
+        journal.record(`submission ${room.locator} ${head.id}`);
+        await store.exclusive(() => mark(runtime, local, room.locator, head, { state: 'submitted' }, lost));
+        if (socket.session.now().paused || store.fences.has(room.locator))
+            return 'done';
+        if (signal.aborted || socket.writesHeld()) {
+            await store.exclusive(() => mark(runtime, local, room.locator, head, submission, earlier));
+            if (signal.aborted)
+                return 'done';
+            progress.complete = false;
+            journal.record(`submission ${room.locator} ${head.id} held`);
+            return 'done';
+        }
+        const opensBefore = socket.session.now().openSignals;
+        const answeredHere = socket.awaitingAnswer(room.locator);
+        const answeredThere = partner === null ? () => { } : socket.awaitingAnswer(partner);
+        const answered = () => {
+            answeredHere();
+            answeredThere();
+        };
+        try {
+            result = await socket.mutate(authorized, {
+                locator: room.locator,
+                changeBatch: head,
+                file: batchFile(store, head),
+                ...(state?.upload === undefined ? {} : { upload: state.upload }),
+            }, (upload) => store.exclusive(() => keepUpload(runtime, local, room.locator, head.id, upload)));
+        }
+        catch {
+            answered();
+            progress.complete = false;
+            if (socket.continuing())
+                progress.reachable = false;
+            return 'again';
+        }
+        if (signal.aborted) {
+            answered();
+            return 'done';
+        }
+        if (result.kind !== 'accepted' || !socket.continuing())
+            answered();
+        if (!socket.continuing())
+            return 'done';
+        if (result.kind === 'transport-uncertainty') {
+            progress.complete = false;
+            progress.reachable = false;
+            return 'again';
+        }
+        if (result.kind === 'room-not-readable') {
+            progress.complete = false;
+            roomUnreadable(runtime, socket.rooms.discovered(result.locator) ?? room);
+            return 'done';
+        }
+        if (result.kind === 'revoked-authorization') {
+            await refuse(runtime, 'revoked-authorization');
+            return 'done';
+        }
+        if (result.kind === 'scoped-refusal') {
+            await runtime.scoped(result, room, local);
+            progress.complete = false;
+            return 'done';
+        }
+        if (result.kind === 'write-halted') {
+            journal.record(`outcome ${room.locator} ${head.id} write-halted`);
+            await store.exclusive(() => mark(runtime, local, room.locator, head, { state: 'waiting' }, lost));
+            if (!socket.haltedSince(opensBefore))
+                continue;
+            progress.complete = false;
+            return 'done';
+        }
+        const other = partner === null ? undefined : socket.rooms.discovered(partner);
+        if (result.kind === 'conflicted' ||
+            result.kind === 'rejected' ||
+            result.kind === 'retryable-refusal') {
+            journal.record(`outcome ${room.locator} ${head.id} ${result.kind}` +
+                (result.kind === 'conflicted' && result.roomVersion !== undefined
+                    ? ` ${result.roomVersion}`
+                    : ''));
+            journal.record(`refusal ${result.kind} ${result.code}`);
+        }
+        if (result.kind === 'retryable-refusal') {
+            const reset = result.reset;
+            progress.complete = false;
+            await store.exclusive(() => mark(runtime, local, room.locator, head, reset === undefined ? { state: 'waiting' } : { state: 'reset', reset }, lost));
+            return reset === undefined ? 'again' : { at: Date.parse(reset) };
+        }
+        if (result.kind === 'conflicted' || result.kind === 'rejected') {
+            const left = leaving(head, result);
+            const refreshed = async () => ({
+                there: other === undefined ? null : await advanced(other, local, authorized),
+                here: await advanced(room, local, authorized),
+            });
+            const judged = result.kind === 'conflicted' && other !== undefined ? await refreshed() : null;
+            if (judged !== null && (judged.there !== null || judged.here !== null)) {
+                await store.exclusive(() => mark(runtime, local, room.locator, head, { state: 'waiting' }, lost));
+                if (other !== undefined && judged.there !== null) {
+                    await withhold(judged.there, other, local, progress);
+                }
+                if (judged.here !== null)
+                    await withhold(judged.here, room, local, progress);
+                return 'done';
+            }
+            await store.exclusive(async () => {
+                if (!socket.continuing())
+                    return;
+                const work = await store.work(room.locator);
+                const current = work.replica;
+                if (current === undefined || !current.queue.some((batch) => batch.id === head.id)) {
+                    return;
+                }
+                const confirmedLayer = await sliceAt(store, current.record, 'confirmed', [head]);
+                const held = result.kind === 'conflicted' &&
+                    (await landedWhole(store, room.locator, head, confirmedLayer, result.affected));
+                if (held && partner === null && !landed(head, confirmedLayer)) {
+                    store.landed.hold(room.locator, head.id, Object.fromEntries([...touchedBy([head])].map((path) => [path, confirmedLayer.revisions[path]])));
+                    return;
+                }
+                store.changed(await settle(runtime, local, room.locator, work, current.record, current.queue.filter((batch) => batch.id !== head.id), { leaving: [held ? { ...left, returned: null } : left] }));
+                await unpair(runtime, local);
+                statusShown(runtime);
+            });
+            const { there, here } = judged ?? (await refreshed());
+            if (other !== undefined && there !== null)
+                await withhold(there, other, local, progress);
+            if (here !== null) {
+                await withhold(here, room, local, progress);
+                return 'done';
+            }
+            continue;
+        }
+        const kept = await (partner === null
+            ? adopted(runtime, room, local, head, result)
+            : adoptedMove(runtime, room, partner, local, head, result)).finally(answered);
+        if (!kept) {
+            progress.complete = false;
+            return 'done';
+        }
+    }
+    return 'done';
+}
+export function submitLater(runtime, locator) {
+    if (runtime.localSaves)
+        return;
+    void runtime.recovery.attempt(`submit ${locator}`, (signal) => submitPass(runtime, locator, signal));
+}
+async function submitPass(runtime, locator, signal) {
+    const { store, socket } = runtime;
+    const room = socket.rooms.discovered(locator);
+    if (!socket.continuing() || socket.stopping() || room === undefined) {
+        return 'done';
+    }
+    const progress = { complete: true, reachable: true };
+    let next;
+    try {
+        await socket.authorize();
+        const { authorization } = socket.session.now();
+        if (authorization === undefined)
+            return 'done';
+        next = await submitRoom(runtime, room, await store.open(), authorization, progress, signal);
+    }
+    catch {
+        progress.reachable = false;
+        next = 'again';
+    }
+    if (signal.aborted)
+        return 'done';
+    await rest(runtime, progress);
+    return next === 'again' && !socket.isOpen() ? 'done' : next;
+}
+export async function submitAll(runtime) {
+    const { store } = runtime;
+    if (runtime.localSaves)
+        return;
+    for (const locator of await (await store.open()).queued()) {
+        if (!store.fences.has(locator))
+            submitLater(runtime, locator);
+    }
+}

package/dist/actions.d.ts

@@ -0,0 +1,20 @@
+import type { ConversationHistoryRequest } from './adapter.js';
+import { type CallResult, type HistoryAnswer, type Resolution } from './outcome.js';
+import type { Attempted } from './recovery.js';
+import type { Runtime } from './runtime.js';
+export type HistoryQuery = {
+    revision?: string;
+    pageToken?: string;
+};
+export declare function readHistory(runtime: Runtime, locator: string, path: string, query?: HistoryQuery): Promise<HistoryAnswer>;
+export declare function located(runtime: Runtime, room: string, path: string, destination: string): Promise<{
+    room: string;
+    path: string;
+} | null>;
+export declare function resolveReference(runtime: Runtime, room: string, path: string, destination: string): Promise<Resolution>;
+export declare function invokeAction(runtime: Runtime, name: string, input: unknown, dispatching?: () => Promise<void>): Promise<CallResult>;
+export declare function readConversationHistory(runtime: Runtime, request: ConversationHistoryRequest): Promise<CallResult>;
+export declare function called(runtime: Runtime, name: string, input: unknown): Promise<CallResult>;
+export declare function resendCalls(runtime: Runtime, signal: AbortSignal): Promise<Attempted>;
+export declare function resendLater(runtime: Runtime): void;
+//# sourceMappingURL=actions.d.ts.map

package/dist/actions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"actions.d.ts","sourceRoot":"","sources":["../src/actions.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,cAAc,CAAC;AAK/D,OAAO,EAUL,KAAK,UAAU,EACf,KAAK,aAAa,EAClB,KAAK,UAAU,EAChB,MAAM,cAAc,CAAC;AACtB,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AAE/C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAG5C,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAOF,wBAAsB,WAAW,CAC/B,OAAO,EAAE,OAAO,EAChB,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,MAAM,EACZ,KAAK,GAAE,YAAiB,GACvB,OAAO,CAAC,aAAa,CAAC,CAqCxB;AAED,wBAAsB,OAAO,CAC3B,OAAO,EAAE,OAAO,EAChB,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,WAAW,EAAE,MAAM,GAClB,OAAO,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG,IAAI,CAAC,CAShD;AAED,wBAAsB,gBAAgB,CACpC,OAAO,EAAE,OAAO,EAChB,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,WAAW,EAAE,MAAM,GAClB,OAAO,CAAC,UAAU,CAAC,CAuBrB;AAwBD,wBAAsB,YAAY,CAChC,OAAO,EAAE,OAAO,EAChB,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,OAAO,EACd,WAAW,CAAC,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,GAChC,OAAO,CAAC,UAAU,CAAC,CA6BrB;AAED,wBAAsB,uBAAuB,CAC3C,OAAO,EAAE,OAAO,EAChB,OAAO,EAAE,0BAA0B,GAClC,OAAO,CAAC,UAAU,CAAC,CAiBrB;AAuCD,wBAAsB,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC,CAKhG;AAED,wBAAsB,WAAW,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,WAAW,GAAG,OAAO,CAAC,SAAS,CAAC,CAiB3F;AAiBD,wBAAgB,WAAW,CAAC,OAAO,EAAE,OAAO,QAG3C"}