@agentshouse/mdruntime 0.1.0-c069136dcb4e8 → 0.1.0-c076b00ebf42a

package/dist/queue.d.ts

@@ -0,0 +1,40 @@
+import type { MutationResult } from './adapter.js';
+import { type ChangeBatch } from './change.js';
+import { type HeldReplica, type ReplicaRecord, type Returned, type Slice } from './replica.js';
+import type { Runtime } from './runtime.js';
+import type { SavePlan } from './save.js';
+import type { SaveResult } from './saves.js';
+import type { PendingState, RoomCommit, Store, StoredFile, View, Work } from './store.js';
+export type Queueing = Pick<Runtime, 'store' | 'localSaves'> & {
+    readonly socket: Pick<Runtime['socket'], 'continuing'>;
+    readonly presence: Pick<Runtime['presence'], 'lost' | 'unheldModel' | 'room'>;
+};
+export type Restand = {
+    readonly locator: string;
+    readonly record: ReplicaRecord;
+    readonly accepted?: string;
+    readonly adopted?: Returned;
+    readonly installed?: Pick<RoomCommit, 'published' | 'refreshed'>;
+    readonly refused?: true;
+    readonly after?: () => void;
+};
+export type Appending = {
+    readonly plan: SavePlan;
+    readonly files: readonly StoredFile[];
+    readonly held: ReadonlyMap<string, {
+        readonly replica: HeldReplica;
+        readonly confirmed: Slice;
+    }>;
+    readonly after?: () => Promise<void>;
+};
+type Answer = Extract<MutationResult, {
+    kind: 'conflicted' | 'rejected';
+}>;
+export declare function withdrawable(states: ReadonlyMap<string, PendingState>): (batch: ChangeBatch) => boolean;
+export declare function sliceAt(store: Store, record: ReplicaRecord, view: View, queue: readonly ChangeBatch[], extra?: Iterable<string>, moved?: Iterable<string>): Promise<Slice>;
+export declare function settle(runtime: Queueing, locators: readonly string[], decide: (held: ReadonlyMap<string, Work>) => Promise<readonly Restand[]>): Promise<void>;
+export declare function answered(runtime: Queueing, locator: string, head: ChangeBatch, answer: Answer): Promise<void>;
+export declare function unpair(runtime: Queueing): Promise<void>;
+export declare function append(runtime: Queueing, appending: Appending): Promise<SaveResult>;
+export {};
+//# sourceMappingURL=queue.d.ts.map

package/dist/queue.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"queue.d.ts","sourceRoot":"","sources":["../src/queue.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAEnD,OAAO,EAAmC,KAAK,WAAW,EAAE,MAAM,aAAa,CAAC;AAKhF,OAAO,EAUL,KAAK,WAAW,EAChB,KAAK,aAAa,EAClB,KAAK,QAAQ,EACb,KAAK,KAAK,EAEX,MAAM,cAAc,CAAC;AAGtB,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,KAAK,EAGV,YAAY,EACZ,UAAU,EAEV,KAAK,EACL,UAAU,EACV,IAAI,EACJ,IAAI,EACL,MAAM,YAAY,CAAC;AAGpB,MAAM,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,EAAE,OAAO,GAAG,YAAY,CAAC,GAAG;IAC7D,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,YAAY,CAAC,CAAC;IACvD,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,MAAM,GAAG,aAAa,GAAG,MAAM,CAAC,CAAC;CAC/E,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG;IACpB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;IAC/B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,SAAS,CAAC,EAAE,IAAI,CAAC,UAAU,EAAE,WAAW,GAAG,WAAW,CAAC,CAAC;IACjE,QAAQ,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;IACxB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,IAAI,CAAC;CAC7B,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,CAAC;IACtC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;QAAC,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAA;KAAE,CAAC,CAAC;IACjG,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC;CACtC,CAAC;AAEF,KAAK,MAAM,GAAG,OAAO,CAAC,cAAc,EAAE;IAAE,IAAI,EAAE,YAAY,GAAG,UAAU,CAAA;CAAE,CAAC,CAAC;AAuB3E,wBAAgB,YAAY,CAC1B,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,GACxC,CAAC,KAAK,EAAE,WAAW,KAAK,OAAO,CAKjC;AAED,wBAAsB,OAAO,CAC3B,KAAK,EAAE,KAAK,EACZ,MAAM,EAAE,aAAa,EACrB,IAAI,EAAE,IAAI,EACV,KAAK,EAAE,SAAS,WAAW,EAAE,EAC7B,KAAK,GAAE,QAAQ,CAAC,MAAM,CAAM,EAC5B,KAAK,GAAE,QAAQ,CAAC,MAAM,CAAM,GAC3B,OAAO,CAAC,KAAK,CAAC,CAWhB;AAyaD,wBAAgB,MAAM,CACpB,OAAO,EAAE,QAAQ,EACjB,QAAQ,EAAE,SAAS,MAAM,EAAE,EAC3B,MAAM,EAAE,CAAC,IAAI,EAAE,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,OAAO,CAAC,SAAS,OAAO,EAAE,CAAC,GACvE,OAAO,CAAC,IAAI,CAAC,CAoCf;AAED,wBAAgB,QAAQ,CACtB,OAAO,EAAE,QAAQ,EACjB,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,WAAW,EACjB,MAAM,EAAE,MAAM,GACb,OAAO,CAAC,IAAI,CAAC,CAiDf;AAED,wBAAgB,MAAM,CAAC,OAAO,EAAE,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAEvD;AAED,wBAAsB,MAAM,CAAC,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,GAAG,OAAO,CAAC,UAAU,CAAC,CA4DzF"}

package/dist/queue.js

@@ -0,0 +1,450 @@
+import { changeSet, mergeChangeSets } from './change-set.js';
+import { leaving as leavingIn, partnerOf } from './change.js';
+import { composedOf, definitionsAt } from './collection.js';
+import { declared } from './declaration.js';
+import { runtimeError } from './failure.js';
+import { roomDraftRevision } from './identity.js';
+import { landed, movedBy, overlayOf, replaying, slicing, slicingWith, standing, storedRecord, touchedBy, } from './replica.js';
+import { returnedBy, returnedInto } from './room-draft.js';
+import { documentKey } from './rows.js';
+import { stepped } from './turn.js';
+export function withdrawable(states) {
+    return (batch) => {
+        const state = states.get(batch.id);
+        return state !== undefined && state.submission.state !== 'submitted' && !state.lost;
+    };
+}
+export async function sliceAt(store, record, view, queue, extra = [], moved = []) {
+    const local = await store.open();
+    const needed = new Set([...touchedBy(queue), ...extra]);
+    const movedPaths = [...new Set([...movedBy(queue, record.locator), ...moved])];
+    if (movedPaths.length > 0) {
+        for (const { path } of await local.referrers(record.key, view, movedPaths)) {
+            needed.add(path);
+        }
+    }
+    const paths = [...needed];
+    return stepped(slicing(await local.entries(record.key, view, paths), paths));
+}
+async function landedWhole(store, record, batch, confirmedLayer, current) {
+    if (!landed(batch, confirmedLayer, store.composed(record), current))
+        return false;
+    const partner = partnerOf(batch, record.locator);
+    if (partner === null)
+        return true;
+    const other = await store.replica(partner);
+    const half = other?.queue.find((one) => one.id === batch.id);
+    if (other === undefined || half === undefined)
+        return false;
+    return landed(half, await sliceAt(store, other.record, 'confirmed', [half]), store.composed(other.record));
+}
+async function returnedDrafts(store, locator, work, leaving, composition) {
+    const written = new Map();
+    for (const { batch, returned } of leaving) {
+        if (returned === null || batch.between?.destination.room === locator)
+            continue;
+        for (const saved of work.states.get(batch.id)?.drafts ?? []) {
+            const existing = written.get(saved.path) ?? (await store.draft(locator, saved.path));
+            const parts = returnedInto(existing?.parts, saved.parts, composition === undefined ? undefined : definitionsAt(composition, saved.path));
+            written.set(saved.path, parts === null
+                ? { ...existing, returned }
+                : { locator, path: saved.path, revision: roomDraftRevision(), parts, returned });
+        }
+    }
+    return written;
+}
+function unheldComposition({ store, presence }, locator) {
+    const model = presence.unheldModel(locator);
+    const listed = presence.room(locator);
+    if (model === null || listed === undefined)
+        return undefined;
+    return store.composed({ model, declaration: declared(listed) });
+}
+async function carriedBack(runtime, locator, unlanded, written) {
+    const { store } = runtime;
+    const back = new Map();
+    const taken = [];
+    for (const batch of unlanded) {
+        const between = batch.between;
+        if (between === undefined)
+            continue;
+        const source = between.source.room;
+        const destination = between.destination.room;
+        const local = await store.open();
+        const arrived = (await local.pending(destination, batch.id)).state?.drafts ?? [];
+        for (const { path: to } of arrived) {
+            const record = await store.draft(destination, to);
+            const path = between.moves.find((move) => move.to === to)?.path;
+            if (record === undefined || path === undefined)
+                continue;
+            const [into, key] = source === locator ? [written, path] : [back, documentKey(source, path)];
+            const existing = into.get(key) ?? (await store.draft(source, path));
+            const held = await store.record(source);
+            const composition = held === undefined ? unheldComposition(runtime, source) : store.composed(held);
+            const parts = returnedInto(existing?.parts, record.parts, composition === undefined ? undefined : definitionsAt(composition, path));
+            if (parts === null)
+                continue;
+            taken.push({ locator: destination, path: to });
+            into.set(key, {
+                locator: source,
+                path,
+                revision: roomDraftRevision(),
+                parts,
+                returned: existing?.returned ?? null,
+            });
+        }
+    }
+    const records = [...back.values()];
+    const elsewhere = taken.filter((one) => one.locator !== locator);
+    const rooms = new Set([...records, ...elsewhere].map((one) => one.locator));
+    return {
+        taken: taken.filter((one) => one.locator === locator).map(({ path }) => path),
+        writes: [...rooms].map((room) => ({
+            locator: room,
+            roomDrafts: records.filter((record) => record.locator === room),
+            consumedRoomDrafts: elsewhere.filter((one) => one.locator === room).map(({ path }) => path),
+        })),
+        changes: [...rooms].map((room) => changeSet(room, {
+            drafts: [...records, ...elsewhere]
+                .filter((one) => one.locator === room)
+                .map(({ path }) => path),
+        })),
+    };
+}
+function confirmedAgain(store, locator) {
+    store.installs.change(locator, (held) => ({
+        ...held,
+        confirmations: held.confirmations + 1,
+    }));
+}
+function replayed(store, record, confirmedLayer, queue) {
+    return stepped(replaying(confirmedLayer, queue, record.locator, store.composed(record)));
+}
+async function overlayDiff(record, before, visible, touched) {
+    const kept = before !== undefined && before.record.key === record.key ? before.overlaid : new Set();
+    return {
+        overlay: {
+            set: await stepped(overlayOf(visible, touched)),
+            cleared: [...kept].filter((path) => !touched.has(path)),
+        },
+        touched,
+    };
+}
+function unsent(state, batch, locator) {
+    if (state === undefined)
+        return false;
+    return !leavingIn(batch, locator) || withdrawable(new Map([[batch.id, state]]))(batch);
+}
+async function together(runtime, local, settlements) {
+    const settled = new Set(settlements.map(({ locator }) => locator));
+    const all = [...settlements];
+    for (let wave = settlements; wave.length > 0;) {
+        const partnered = new Map();
+        for (const { locator, left } of wave) {
+            for (const batch of left) {
+                const partner = partnerOf(batch, locator);
+                if (partner === null ||
+                    settled.has(partner) ||
+                    !unsent((await local.pending(partner, batch.id)).state, batch, partner)) {
+                    continue;
+                }
+                partnered.set(partner, [...(partnered.get(partner) ?? []), batch]);
+            }
+        }
+        const partners = [];
+        for (const [partner, batches] of partnered) {
+            settled.add(partner);
+            partners.push(await unpairing(runtime, local, partner, batches));
+        }
+        all.push(...partners);
+        wave = partners;
+    }
+    const answer = await local.commit({
+        rooms: all.flatMap(({ commit }) => commit.rooms),
+        writes: all.flatMap(({ commit }) => commit.writes),
+    });
+    return mergeChangeSets(all.map((one) => one.apply(answer)));
+}
+async function settlement(runtime, local, locator, work, record, queue, settling = {}) {
+    const { store, localSaves } = runtime;
+    const before = work.replica;
+    const view = settling.view ?? 'confirmed';
+    const previousQueue = work.queue;
+    const overrides = settling.changes;
+    const read = await sliceAt(store, record, view, queue, [
+        ...(before !== undefined && before.record.key === record.key ? before.overlaid : []),
+        ...(overrides?.set.map(({ path }) => path) ?? []),
+        ...(overrides?.removed ?? []),
+    ]);
+    const confirmedLayer = overrides === undefined
+        ? read
+        : await stepped(slicingWith(read, overrides.set, overrides.removed));
+    const composition = store.composed(record);
+    const shown = queue.filter((batch) => {
+        const held = store.landed.of(locator, batch.id);
+        return (held !== undefined &&
+            Object.entries(held).some(([path, revision]) => confirmedLayer.revisions[path] !== revision));
+    });
+    const unshown = queue.filter((batch) => !shown.includes(batch));
+    const { withdrawn, kept } = await stepped(standing(confirmedLayer, unshown, withdrawable(work.states), localSaves, locator, composition));
+    const founded = kept.filter((batch) => !unshown.includes(batch));
+    const queueChanged = kept.length !== previousQueue.length || founded.length > 0;
+    const unqueued = shown.map((batch) => ({ batch, landed: true }));
+    for (const batch of withdrawn) {
+        unqueued.push({ batch, landed: await landedWhole(store, record, batch, confirmedLayer) });
+    }
+    const returning = [
+        ...[...unqueued].reverse().map(({ batch, landed: held }) => ({
+            batch,
+            returned: localSaves || held ? null : returnedBy(),
+        })),
+        ...(settling.leaving ?? []),
+    ];
+    const written = await returnedDrafts(store, locator, work, returning, composition);
+    const carried = await carriedBack(runtime, locator, [
+        ...[...unqueued].reverse().flatMap(({ batch, landed: held }) => (held ? [] : [batch])),
+        ...(settling.leaving ?? []).flatMap(({ batch, returned }) => returned === null ? [] : [batch]),
+    ], written);
+    const replayedLayer = await replayed(store, record, confirmedLayer, kept);
+    const { overlay } = await overlayDiff(record, before, replayedLayer.visible, replayedLayer.touched);
+    const commit = {
+        rooms: [
+            {
+                locator,
+                key: record.key,
+                record: storedRecord(record),
+                roots: record.declaration.typedSelection?.roots ?? [],
+                composed: composedOf(composition),
+                ...settling.commit,
+                ...(overrides === undefined
+                    ? {}
+                    : { confirmed: { set: overrides.set, removed: overrides.removed } }),
+                overlay,
+            },
+        ],
+        writes: [
+            {
+                locator,
+                queue: kept,
+                stored: previousQueue,
+                founded,
+                roomDrafts: [...written.values()],
+                consumedRoomDrafts: carried.taken,
+            },
+            ...carried.writes,
+        ],
+    };
+    const staying = new Set(kept.map((batch) => batch.id));
+    return {
+        locator,
+        left: previousQueue.filter((batch) => !staying.has(batch.id)),
+        commit,
+        apply: (answer) => {
+            for (const batch of previousQueue) {
+                if (!staying.has(batch.id))
+                    store.landed.drop(locator, batch.id);
+            }
+            const drafts = [...written.keys(), ...carried.taken];
+            const changed = answer.changed[locator];
+            if (settling.commit?.published !== undefined ||
+                settling.commit?.refreshed === true ||
+                overrides !== undefined) {
+                confirmedAgain(store, locator);
+            }
+            return mergeChangeSets([
+                changeSet(locator, {
+                    documents: changed === undefined ? [] : changed,
+                    room: settling.room,
+                    queue: queueChanged,
+                    drafts,
+                    unindexed: answer.indexed[locator] === false,
+                    due: kept.length > 0 && settling.refused !== true,
+                }),
+                ...carried.changes,
+            ]);
+        },
+    };
+}
+async function unpairing(runtime, local, locator, batches) {
+    const { store, localSaves } = runtime;
+    const ids = new Set(batches.map(({ id }) => id));
+    const leaving = batches.map((batch) => ({
+        batch,
+        returned: !localSaves && leavingIn(batch, locator) ? returnedBy() : null,
+    }));
+    const work = await store.work(locator);
+    const current = work.replica;
+    if (current !== undefined) {
+        return settlement(runtime, local, locator, work, current.record, current.queue.filter((one) => !ids.has(one.id)), { leaving });
+    }
+    const queue = work.queue.filter((one) => !ids.has(one.id));
+    const written = await returnedDrafts(store, locator, work, leaving, unheldComposition(runtime, locator));
+    const carried = await carriedBack(runtime, locator, leaving.flatMap(({ batch, returned }) => (returned === null ? [] : [batch])), written);
+    return {
+        locator,
+        left: batches,
+        commit: {
+            rooms: [],
+            writes: [
+                {
+                    locator,
+                    queue,
+                    stored: work.queue,
+                    roomDrafts: [...written.values()],
+                    consumedRoomDrafts: carried.taken,
+                },
+                ...carried.writes,
+            ],
+        },
+        apply() {
+            return mergeChangeSets([
+                changeSet(locator, {
+                    queue: true,
+                    drafts: [...written.keys(), ...carried.taken],
+                    due: queue.length > 0,
+                }),
+                ...carried.changes,
+            ]);
+        },
+    };
+}
+async function orphaned(local) {
+    const { queued, moving } = await local.moving();
+    const halves = new Map();
+    for (const { locator, batch, state } of moving) {
+        const partner = partnerOf(batch, locator);
+        if (partner === null || queued.get(partner)?.includes(batch.id) === true)
+            continue;
+        if (unsent(state, batch, locator))
+            halves.set(locator, [...(halves.get(locator) ?? []), batch]);
+    }
+    return halves;
+}
+async function sweep(runtime, local) {
+    if (!runtime.socket.continuing())
+        return;
+    const halves = await orphaned(local);
+    if (halves.size === 0)
+        return;
+    const settlements = [];
+    for (const [locator, batches] of halves) {
+        settlements.push(await unpairing(runtime, local, locator, batches));
+    }
+    void runtime.store.changed(await together(runtime, local, settlements));
+}
+async function settled(runtime, local, settlements, steps) {
+    const set = await together(runtime, local, settlements);
+    for (const step of steps)
+        step();
+    void runtime.store.changed(set);
+    await sweep(runtime, local);
+}
+export function settle(runtime, locators, decide) {
+    const { store } = runtime;
+    return store.exclusive(async () => {
+        const local = await store.open();
+        const held = new Map();
+        for (const locator of locators)
+            held.set(locator, await store.work(locator));
+        const decided = await decide(held);
+        if (decided.length === 0)
+            return;
+        const settlements = [];
+        for (const { locator, record, accepted, adopted, installed, refused } of decided) {
+            const work = held.get(locator) ?? (await store.work(locator));
+            settlements.push(await settlement(runtime, local, locator, work, record, work.queue.filter((batch) => batch.id !== accepted), {
+                room: true,
+                view: installed?.refreshed === true ? 'refreshed' : 'confirmed',
+                ...(installed === undefined ? {} : { commit: installed }),
+                ...(adopted === undefined ? {} : { changes: adopted }),
+                ...(refused === undefined ? {} : { refused }),
+            }));
+        }
+        await settled(runtime, local, settlements, decided.flatMap(({ after }) => (after === undefined ? [] : [after])));
+    });
+}
+export function answered(runtime, locator, head, answer) {
+    const { store, socket } = runtime;
+    return store.exclusive(async () => {
+        if (!socket.continuing())
+            return;
+        const local = await store.open();
+        const work = await store.work(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 = answer.kind === 'conflicted' &&
+            (await landedWhole(store, current.record, head, confirmedLayer, answer.affected));
+        if (held &&
+            partnerOf(head, locator) === null &&
+            !landed(head, confirmedLayer, store.composed(current.record))) {
+            store.landed.hold(locator, head.id, Object.fromEntries([...touchedBy([head])].map((path) => [path, confirmedLayer.revisions[path]])));
+            return;
+        }
+        const returned = {
+            kind: answer.kind,
+            code: answer.code,
+            fields: answer.fields,
+            retryable: answer.retryable,
+        };
+        await settled(runtime, local, [
+            await settlement(runtime, local, locator, work, current.record, current.queue.filter((batch) => batch.id !== head.id), { leaving: [{ batch: head, returned: held ? null : returned }] }),
+        ], []);
+    });
+}
+export function unpair(runtime) {
+    return runtime.store.durably((local) => sweep(runtime, local));
+}
+export async function append(runtime, appending) {
+    const { plan, files, held, after } = appending;
+    if (plan.kind === 'refused')
+        return { outcome: 'refused', ...plan.refusal };
+    const { store } = runtime;
+    const local = await store.open();
+    const rooms = [];
+    const writes = [];
+    for (const { locator, queue, saved, consumed, carried } of plan.rooms) {
+        const { replica, confirmed } = held.get(locator);
+        const { record } = replica;
+        const replayedLayer = await replayed(store, record, confirmed, queue);
+        const { overlay } = await overlayDiff(record, replica, replayedLayer.visible, replayedLayer.touched);
+        rooms.push({
+            locator,
+            key: record.key,
+            roots: record.declaration.typedSelection?.roots ?? [],
+            composed: composedOf(store.composed(record)),
+            overlay,
+        });
+        writes.push({
+            locator,
+            queue,
+            stored: replica.queue,
+            saved,
+            consumedRoomDrafts: consumed,
+            roomDrafts: carried,
+        });
+    }
+    let answer;
+    try {
+        answer = await local.commit({ rooms, writes, files, whole: true });
+    }
+    catch {
+        return { outcome: 'refused', code: 'durable-write', retryable: true };
+    }
+    const lost = answer.fenced ?? plan.rooms.find(({ locator }) => runtime.presence.lost(locator))?.locator;
+    if (lost !== undefined)
+        throw runtimeError('unknown-room', `Unknown Room ${lost}`);
+    const [saving] = plan.rooms;
+    await Promise.all([
+        store.changed(mergeChangeSets(plan.rooms.map(({ locator, consumed, carried }) => changeSet(locator, {
+            documents: answer.changed[locator] ?? [],
+            queue: true,
+            drafts: [...consumed, ...carried.map(({ path }) => path)],
+            unindexed: answer.indexed[locator] === false,
+            due: locator === saving?.locator,
+        })))),
+        after?.(),
+    ]);
+    return { outcome: 'saved', identifier: plan.identifier };
+}

package/dist/reach.d.ts

@@ -1,7 +1,8 @@
-import type { AppRoom, MdRuntime, ReadinessPort, RuntimeTopic } from './connection.js';
+import type { AppRoom } from './listing.js';
+import type { ReadinessMessage, ReadinessPort } from './preparation.js';
+import type { MdRuntime, RuntimeTopic } from './surface.js';
 import type { Plan, PlanReach, QueryResult } from './query.js';
-import type { Readiness } from './readiness.js';
-import { type SearchResult } from './search.js';
+import type { SearchResult } from './search.js';
 export type ReachedDocument = {
     readonly room: string;
     readonly path: string;
@@ -9,7 +10,7 @@ export type ReachedDocument = {
 export type ReachedArea = {
     readonly room: string;
     readonly path: string;
-    readonly types: readonly string[];
+    readonly open: readonly string[];
 };
 export type PortReach = {
     readonly rooms: readonly string[];
@@ -18,26 +19,26 @@ export type PortReach = {
     readonly conversations: boolean;
 };
 export type Deliver = (message: unknown) => void;
-export type Watch = (topic: RuntimeTopic, input: readonly unknown[], deliver: Deliver) => () => void;
+export type Fail = (error: unknown) => void;
+export type Watch = (topic: RuntimeTopic, input: readonly unknown[], deliver: Deliver, fail: Fail) => () => void;
 export type RuntimeView = {
     md: MdRuntime;
     watch: Watch;
 };
 export type NarrowedView = RuntimeView & {
     narrow(reach: PortReach | null): void;
-    facts(port: ReadinessPort): void;
 };
 export type Reachable = RuntimeView & {
-    plan(input: unknown, reach: PortReach | null): Plan;
+    plan(input: unknown, reach: PortReach | null): Promise<Plan>;
     query(plan: Plan): Promise<QueryResult>;
-    watchPlan(plan: Plan, deliver: (message: unknown) => void): () => void;
-    search(input: unknown, reach: PortReach | null, locked: readonly string[]): Promise<SearchResult>;
-    watchReadiness(port: ReadinessPort, reach: PortReach | null, deliver: (readiness: Readiness) => void): () => void;
-    locked(room: string): boolean;
-    lockedRooms(): readonly string[];
+    watchPlan(plan: Plan, deliver: Deliver, fail: Fail): () => void;
+    search(input: unknown, reach: PortReach | null): Promise<SearchResult>;
+    watchReadiness(port: ReadinessPort, reach: PortReach | null, deliver: (readiness: ReadinessMessage) => void): () => void;
+    locked(room: string): Promise<boolean>;
+    lockedRooms(): Promise<readonly string[]>;
     watchLocks(notify: () => void): () => void;
-    located(room: string, path: string, destination: string): ReachedDocument | null;
-    room(locator: string): AppRoom | undefined;
+    located(room: string, path: string, destination: string): Promise<ReachedDocument | null>;
+    room(locator: string): Promise<AppRoom | undefined>;
 };
 export declare function holds(reach: PortReach | null, room: string): boolean;
 export declare function governs(reach: PortReach | null, room: {
@@ -50,5 +51,5 @@ export declare function governs(reach: PortReach | null, room: {
     readonly selection: boolean;
 };
 export declare function planReach(reach: PortReach | null): PlanReach | null;
-export declare function narrowed(runtime: Reachable, given: PortReach | null, told: ReadinessPort): NarrowedView;
+export declare function narrowed(runtime: Reachable, given: PortReach | null, port: ReadinessPort): NarrowedView;
 //# sourceMappingURL=reach.d.ts.map

package/dist/reach.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"reach.d.ts","sourceRoot":"","sources":["../src/reach.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,OAAO,EACP,SAAS,EACT,aAAa,EAEb,YAAY,EAEb,MAAM,iBAAiB,CAAC;AAyBzB,OAAO,KAAK,EAAiB,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAS9E,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,EAAoB,KAAK,YAAY,EAAE,MAAM,aAAa,CAAC;AAGlE,MAAM,MAAM,eAAe,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAE/E,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,SAAS,EAAE,SAAS,eAAe,EAAE,CAAC;IAC/C,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,WAAW,EAAE,CAAC;IACxC,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;CACjC,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG,CAAC,OAAO,EAAE,OAAO,KAAK,IAAI,CAAC;AAEjD,MAAM,MAAM,KAAK,GAAG,CAClB,KAAK,EAAE,YAAY,EACnB,KAAK,EAAE,SAAS,OAAO,EAAE,EACzB,OAAO,EAAE,OAAO,KACb,MAAM,IAAI,CAAC;AAEhB,MAAM,MAAM,WAAW,GAAG;IAAE,EAAE,EAAE,SAAS,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,CAAC;AAE1D,MAAM,MAAM,YAAY,GAAG,WAAW,GAAG;IACvC,MAAM,CAAC,KAAK,EAAE,SAAS,GAAG,IAAI,GAAG,IAAI,CAAC;IACtC,KAAK,CAAC,IAAI,EAAE,aAAa,GAAG,IAAI,CAAC;CAClC,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG,WAAW,GAAG;IACpC,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,GAAG,IAAI,GAAG,IAAI,CAAC;IACpD,KAAK,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;IACxC,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,OAAO,EAAE,OAAO,KAAK,IAAI,GAAG,MAAM,IAAI,CAAC;IACvE,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,GAAG,IAAI,EAAE,MAAM,EAAE,SAAS,MAAM,EAAE,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;IAClG,cAAc,CACZ,IAAI,EAAE,aAAa,EACnB,KAAK,EAAE,SAAS,GAAG,IAAI,EACvB,OAAO,EAAE,CAAC,SAAS,EAAE,SAAS,KAAK,IAAI,GACtC,MAAM,IAAI,CAAC;IACd,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IAC9B,WAAW,IAAI,SAAS,MAAM,EAAE,CAAC;IACjC,UAAU,CAAC,MAAM,EAAE,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC;IAC3C,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,eAAe,GAAG,IAAI,CAAC;IACjF,IAAI,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,CAAC;CAC5C,CAAC;AAsCF,wBAAgB,KAAK,CAAC,KAAK,EAAE,SAAS,GAAG,IAAI,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAOpE;AAMD,wBAAgB,OAAO,CACrB,KAAK,EAAE,SAAS,GAAG,IAAI,EACvB,IAAI,EAAE;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,cAAc,EAAE;QAAE,KAAK,EAAE,SAAS,MAAM,EAAE,CAAA;KAAE,GAAG,IAAI,CAAA;CAAE,GAC/F;IAAE,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAA;CAAE,CAa/D;AAeD,wBAAgB,SAAS,CAAC,KAAK,EAAE,SAAS,GAAG,IAAI,GAAG,SAAS,GAAG,IAAI,CAcnE;AA2GD,wBAAgB,QAAQ,CACtB,OAAO,EAAE,SAAS,EAClB,KAAK,EAAE,SAAS,GAAG,IAAI,EACvB,IAAI,EAAE,aAAa,GAClB,YAAY,CA0Sd"}
+{"version":3,"file":"reach.d.ts","sourceRoot":"","sources":["../src/reach.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,OAAO,EAAe,MAAM,cAAc,CAAC;AACzD,OAAO,KAAK,EAAE,gBAAgB,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACxE,OAAO,KAAK,EAAE,SAAS,EAAe,YAAY,EAAE,MAAM,cAAc,CAAC;AA6BzE,OAAO,KAAK,EAAiB,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAS9E,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAGhD,MAAM,MAAM,eAAe,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAE/E,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;CAClC,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,SAAS,EAAE,SAAS,eAAe,EAAE,CAAC;IAC/C,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,WAAW,EAAE,CAAC;IACxC,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;CACjC,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG,CAAC,OAAO,EAAE,OAAO,KAAK,IAAI,CAAC;AAIjD,MAAM,MAAM,IAAI,GAAG,CAAC,KAAK,EAAE,OAAO,KAAK,IAAI,CAAC;AAE5C,MAAM,MAAM,KAAK,GAAG,CAClB,KAAK,EAAE,YAAY,EACnB,KAAK,EAAE,SAAS,OAAO,EAAE,EACzB,OAAO,EAAE,OAAO,EAChB,IAAI,EAAE,IAAI,KACP,MAAM,IAAI,CAAC;AAEhB,MAAM,MAAM,WAAW,GAAG;IAAE,EAAE,EAAE,SAAS,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,CAAC;AAE1D,MAAM,MAAM,YAAY,GAAG,WAAW,GAAG;IACvC,MAAM,CAAC,KAAK,EAAE,SAAS,GAAG,IAAI,GAAG,IAAI,CAAC;CACvC,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG,WAAW,GAAG;IACpC,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,GAAG,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC7D,KAAK,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;IACxC,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,GAAG,MAAM,IAAI,CAAC;IAChE,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,GAAG,IAAI,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;IACvE,cAAc,CACZ,IAAI,EAAE,aAAa,EACnB,KAAK,EAAE,SAAS,GAAG,IAAI,EACvB,OAAO,EAAE,CAAC,SAAS,EAAE,gBAAgB,KAAK,IAAI,GAC7C,MAAM,IAAI,CAAC;IACd,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IACvC,WAAW,IAAI,OAAO,CAAC,SAAS,MAAM,EAAE,CAAC,CAAC;IAC1C,UAAU,CAAC,MAAM,EAAE,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC;IAC3C,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,eAAe,GAAG,IAAI,CAAC,CAAC;IAC1F,IAAI,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,GAAG,SAAS,CAAC,CAAC;CACrD,CAAC;AA+CF,wBAAgB,KAAK,CAAC,KAAK,EAAE,SAAS,GAAG,IAAI,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAMpE;AAMD,wBAAgB,OAAO,CACrB,KAAK,EAAE,SAAS,GAAG,IAAI,EACvB,IAAI,EAAE;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,cAAc,EAAE;QAAE,KAAK,EAAE,SAAS,MAAM,EAAE,CAAA;KAAE,GAAG,IAAI,CAAA;CAAE,GAC/F;IAAE,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAA;CAAE,CAS/D;AAiCD,wBAAgB,SAAS,CAAC,KAAK,EAAE,SAAS,GAAG,IAAI,GAAG,SAAS,GAAG,IAAI,CAcnE;AAwHD,wBAAgB,QAAQ,CACtB,OAAO,EAAE,SAAS,EAClB,KAAK,EAAE,SAAS,GAAG,IAAI,EACvB,IAAI,EAAE,aAAa,GAClB,YAAY,CAqZd"}