@agentshouse/mdruntime 0.1.0-ca7c26c6bc27e → 0.1.0-ca8707258fdde

package/dist/room-drafts.js

@@ -0,0 +1,216 @@
+import { plain } from '@agentshouse/mdmodel';
+import { changeSet } from './change-set.js';
+import { collectionOf } from './collection.js';
+import { runtimeError } from './failure.js';
+import { roomDraftRevision } from './identity.js';
+import { normalize } from './paths.js';
+import { slicing } from './replica.js';
+import { binaryBase, gatheredParts, held, heldFile, readParts, staleWrite, underneath, } from './room-draft.js';
+import { stepped } from './turn.js';
+const ROOM_DRAFTS = 'room-drafts';
+const presentationTopic = (app) => `presentation\u0000${app}`;
+export async function visibleOf(store, locator, paths) {
+    const kept = await store.record(locator);
+    if (kept === undefined)
+        return undefined;
+    const local = await store.open();
+    const slice = await stepped(slicing(await local.entries(kept.key, 'visible', paths), paths));
+    return { ...slice, collection: collectionOf(slice.documents, store.composed(kept)) };
+}
+function roomDraftOf(record, visible) {
+    return structuredClone({
+        room: record.locator,
+        path: record.path,
+        revision: record.revision,
+        parts: record.parts,
+        changedUnderneath: underneath(record.parts, record.path, visible),
+        returned: record.returned,
+    });
+}
+async function roomDraftsOf(store, records) {
+    const rooms = new Map();
+    for (const record of records) {
+        const paths = rooms.get(record.locator) ?? [];
+        paths.push(record.path);
+        rooms.set(record.locator, paths);
+    }
+    const layers = new Map();
+    for (const [locator, paths] of rooms) {
+        layers.set(locator, await visibleOf(store, locator, paths));
+    }
+    return records.map((record) => roomDraftOf(record, layers.get(record.locator)));
+}
+function inOrder(records) {
+    return [...records].sort((left, right) => {
+        if (left.locator !== right.locator)
+            return left.locator < right.locator ? -1 : 1;
+        if (left.path !== right.path)
+            return left.path < right.path ? -1 : 1;
+        return 0;
+    });
+}
+async function snapshotRoomDrafts(store) {
+    return roomDraftsOf(store, inOrder(await store.drafts()));
+}
+export function publishRoomDrafts({ store, closed }, waitingOnly, touched = null) {
+    const unwatched = () => closed() || store.watching(ROOM_DRAFTS).length === 0;
+    if (unwatched())
+        return Promise.resolve();
+    return store.publication(async () => {
+        if (unwatched())
+            return;
+        const records = await store.drafts();
+        if (closed())
+            return;
+        if (touched !== null &&
+            !records.some((record) => touched.some(({ locator, path }) => locator === record.locator && (path === null || path === record.path)))) {
+            return;
+        }
+        const value = await roomDraftsOf(store, inOrder(records));
+        if (closed())
+            return;
+        const answered = store.watching(ROOM_DRAFTS, waitingOnly ? 'waiting' : 'all');
+        for (const watcher of answered)
+            watcher.answer(value);
+    });
+}
+async function presentationOf(store, app) {
+    const value = await (await store.open()).presentation(app);
+    return value === undefined ? null : structuredClone(value);
+}
+export function emitPresentation({ store, closed }, app) {
+    const topic = presentationTopic(app);
+    const listening = () => store.watching(topic, 'ready');
+    if (closed() || listening().length === 0)
+        return Promise.resolve();
+    return store.publication(async () => {
+        if (closed() || listening().length === 0)
+            return;
+        const value = await presentationOf(store, app);
+        if (closed())
+            return;
+        for (const watcher of listening())
+            watcher.answer(value);
+    });
+}
+async function writtenRoomDraft({ store, publishChangeSet }, room, path, revision, input, next) {
+    const parts = readParts(input, path);
+    if (path === '' || normalize(path) !== path)
+        throw runtimeError('room-draft-malformed', `room-draft-malformed at ${path}: a path inside the Room, such as notes/a.md`);
+    const local = await store.open();
+    const current = await store.draft(room, path);
+    if ((current?.revision ?? null) !== revision) {
+        return staleWrite(current === undefined ? null : ((await roomDraftsOf(store, [current]))[0] ?? null));
+    }
+    const file = parts.file === undefined
+        ? undefined
+        : await heldFile(parts.file.blob, parts.file.base === undefined
+            ? binaryBase(await visibleOf(store, room, [path]), path)
+            : parts.file.base);
+    const record = {
+        locator: room,
+        path,
+        revision: next,
+        parts: held(current?.parts, parts, file),
+        returned: current?.returned ?? null,
+    };
+    await local.keepRoomDraft(record, parts.file === undefined || file === undefined
+        ? []
+        : [{ key: file.localId, blob: parts.file.blob }]);
+    await publishChangeSet(changeSet(room, { drafts: [path] }));
+    return { outcome: 'written', roomDraft: (await roomDraftsOf(store, [record]))[0] ?? null };
+}
+async function keptPresentation({ store, publishChangeSet }, app, next) {
+    const local = await store.open();
+    const stored = next(await local.presentation(app));
+    await local.present({ app, value: stored });
+    await publishChangeSet(changeSet('', { presentation: app }));
+}
+export function roomDraftSurface(drafting) {
+    const { store, publishChangeSet, statusShown } = drafting;
+    return {
+        list() {
+            return store
+                .exclusive(async () => {
+                await store.open();
+                return snapshotRoomDrafts(store);
+            })
+                .then((listed) => {
+                publishRoomDrafts(drafting, true);
+                return listed;
+            });
+        },
+        async read(room, path) {
+            const record = await store.draft(room, path);
+            return record === undefined ? null : ((await roomDraftsOf(store, [record]))[0] ?? null);
+        },
+        write(room, path, revision, input, next = roomDraftRevision()) {
+            if (typeof next !== 'string' || next === '')
+                return Promise.reject(runtimeError('room-draft-malformed'));
+            return store.gathered(`room-draft\u0000${room}\u0000${path}`, { revision, input, next }, (earlier, later) => {
+                if (later.revision !== earlier.next)
+                    return null;
+                const parts = gatheredParts(earlier.input, later.input);
+                return parts === null
+                    ? null
+                    : { revision: earlier.revision, input: parts, next: later.next };
+            }, (written) => writtenRoomDraft(drafting, room, path, written.revision, written.input, written.next));
+        },
+        discard(room, path, revision) {
+            return store.exclusive(async () => {
+                const local = await store.open();
+                const current = await store.draft(room, path);
+                if (current === undefined || current.revision !== revision) {
+                    return staleWrite(current === undefined ? null : ((await roomDraftsOf(store, [current]))[0] ?? null));
+                }
+                await local.discardRoomDraft(room, path);
+                await Promise.all([publishChangeSet(changeSet(room, { drafts: [path] })), statusShown()]);
+                return { outcome: 'written', roomDraft: null };
+            });
+        },
+    };
+}
+export function presentationSurface(drafting) {
+    const { store } = drafting;
+    return {
+        read(app) {
+            return store.exclusive(() => presentationOf(store, app));
+        },
+        write(app, value) {
+            return store.exclusive(() => keptPresentation(drafting, app, () => structuredClone(value)));
+        },
+        edit(app, members) {
+            return store.gathered(`presentation\u0000${app}`, structuredClone(members), (earlier, later) => ({ ...earlier, ...later }), (edited) => keptPresentation(drafting, app, (kept) => Object.fromEntries([
+                ...Object.entries(plain(kept) ? kept : {}).filter(([member]) => !Object.hasOwn(edited, member)),
+                ...Object.entries(edited).filter(([, value]) => value !== null),
+            ])));
+        },
+    };
+}
+export function watchRoomDrafts({ store, closed }, deliver) {
+    const watcher = store.watch(ROOM_DRAFTS, deliver);
+    const unwatched = () => closed() || !watcher.held();
+    void store
+        .exclusive(async () => {
+        await store.open();
+    })
+        .then(() => store.publication(async () => {
+        if (unwatched())
+            return;
+        const value = await snapshotRoomDrafts(store);
+        if (!unwatched())
+            watcher.answer(value);
+    }), () => { });
+    return watcher.stop;
+}
+export function watchPresentation({ store, closed }, app, deliver) {
+    const watcher = store.watch(presentationTopic(app), deliver);
+    void store
+        .exclusive(async () => {
+        const value = await presentationOf(store, app);
+        if (!closed() && watcher.held())
+            watcher.answer(value);
+    })
+        .catch(() => { });
+    return watcher.stop;
+}

package/dist/rows.d.ts

@@ -1,41 +1,39 @@
-import { type Document } from '@agentshouse/mdmodel';
-import type { HeadChange } from './adapter.js';
+import { type HeldValue } from '@agentshouse/mdmodel';
+import type { SavedFacts } from './adapter.js';
 import { type Composition } from './collection.js';
-type Fields = Readonly<Record<string, unknown>>;
-export type DocumentRow = {
-    key: string;
-    kind: 'document';
-    room: string;
-    path: string;
-    type: string | null;
-    fields: Fields;
-    values: Fields;
-    sizes: Readonly<Record<string, number>>;
-    directories: readonly string[];
-    body: string;
-    change: HeadChange | null;
+type LinkKind = 'field' | 'link';
+type HeldLink = {
+    readonly kind: LinkKind;
+    readonly keys: string;
+    readonly places: string;
+    readonly target: string;
+    readonly field: string;
 };
-export type BodyRow = {
-    key: string;
-    kind: 'body';
-    room: string;
-    path: string;
-    preamble: string;
-    sections: Readonly<Record<string, string>>;
-    markdown: string;
+export type Described = {
+    readonly type: string | null;
+    readonly declared: string | null;
+    readonly queried: boolean;
+    readonly folder: string;
+    readonly fields: string | null;
+    readonly links: string | null;
 };
-export type ReferenceRow = {
-    key: string;
-    kind: 'reference';
-    room: string;
-    source: string;
-    target: string;
-    field: string;
-    path: string;
-    type: string;
+export type Held = {
+    readonly type: string | null;
+    readonly fields: Readonly<Record<string, unknown>> | null;
+    readonly links: readonly string[];
+};
+export type Derived = {
+    readonly values: readonly HeldValue[];
+    readonly links: readonly HeldLink[];
 };
-export type Row = DocumentRow | BodyRow | ReferenceRow;
 export declare function documentKey(room: string, path: string): string;
-export declare function rowsOf(room: string, path: string, document: Document | null, composition: Composition, change: HeadChange | null): readonly Row[];
+export declare function roomOfKey(key: string): string;
+export declare function pathOfKey(key: string): string;
+export declare function markdownPath(path: string): boolean;
+export declare function folderOf(path: string): string;
+export declare function writtenFacts(path: string, content: string, composition: Composition): SavedFacts | null;
+export declare function described(path: string, content: string | null, facts: SavedFacts | null): Described;
+export declare function heldOf(path: string, content: string | null, facts: SavedFacts | null): Held;
+export declare function derived(path: string, held: Held, composition: Composition): Derived;
 export {};
 //# sourceMappingURL=rows.d.ts.map

package/dist/rows.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"rows.d.ts","sourceRoot":"","sources":["../src/rows.ts"],"names":[],"mappings":"AAAA,OAAO,EAAU,KAAK,QAAQ,EAAkB,MAAM,sBAAsB,CAAC;AAC7E,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,EAAa,KAAK,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAG9D,KAAK,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;AAEhD,MAAM,MAAM,WAAW,GAAG;IACxB,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACxC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,UAAU,GAAG,IAAI,CAAC;CAC3B,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG;IACpB,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC3C,QAAQ,EAAE,MAAM,CAAC;CAClB,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG;IACzB,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE,WAAW,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;CACd,CAAC;AAEF,MAAM,MAAM,GAAG,GAAG,WAAW,GAAG,OAAO,GAAG,YAAY,CAAC;AAMvD,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAE9D;AAqBD,wBAAgB,MAAM,CACpB,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,QAAQ,GAAG,IAAI,EACzB,WAAW,EAAE,WAAW,EACxB,MAAM,EAAE,UAAU,GAAG,IAAI,GACxB,SAAS,GAAG,EAAE,CAsEhB"}
+{"version":3,"file":"rows.d.ts","sourceRoot":"","sources":["../src/rows.ts"],"names":[],"mappings":"AAAA,OAAO,EAA8C,KAAK,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAClG,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,EAAa,KAAK,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAG9D,KAAK,QAAQ,GAAG,OAAO,GAAG,MAAM,CAAC;AAEjC,KAAK,QAAQ,GAAG;IACd,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;CAC/B,CAAC;AAEF,MAAM,MAAM,IAAI,GAAG;IACjB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,IAAI,CAAC;IAC1D,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG;IACpB,QAAQ,CAAC,MAAM,EAAE,SAAS,SAAS,EAAE,CAAC;IACtC,QAAQ,CAAC,KAAK,EAAE,SAAS,QAAQ,EAAE,CAAC;CACrC,CAAC;AAMF,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAE9D;AAED,wBAAgB,SAAS,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAE7C;AAED,wBAAgB,SAAS,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAE7C;AAED,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAElD;AAED,wBAAgB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAE7C;AAaD,wBAAgB,YAAY,CAC1B,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,EACf,WAAW,EAAE,WAAW,GACvB,UAAU,GAAG,IAAI,CAQnB;AAED,wBAAgB,SAAS,CACvB,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,GAAG,IAAI,EACtB,KAAK,EAAE,UAAU,GAAG,IAAI,GACvB,SAAS,CAeX;AAED,wBAAgB,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI,EAAE,KAAK,EAAE,UAAU,GAAG,IAAI,GAAG,IAAI,CAK3F;AAED,wBAAgB,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,GAAG,OAAO,CAYnF"}

package/dist/rows.js

@@ -1,4 +1,4 @@
-import { target } from '@agentshouse/mdmodel';
+import { byCodePoint, documentFacts, indexed, parse } from '@agentshouse/mdmodel';
 import { governing } from './collection.js';
 import { definitionOf } from './model.js';
 function keyOf(...parts) {
@@ -7,94 +7,72 @@ function keyOf(...parts) {
 export function documentKey(room, path) {
     return keyOf('d', room, path);
 }
-function referenceField(spec) {
-    return spec?.kind === 'reference' || (spec?.kind === 'list' && spec.of.kind === 'reference');
+export function roomOfKey(key) {
+    return key.split('\u0000')[1];
 }
-function targetOf(path, value) {
-    return typeof value === 'string' ? target(path, value) : null;
+export function pathOfKey(key) {
+    return key.split('\u0000')[2];
 }
-function resolved(path, value) {
-    if (value === null)
-        return null;
-    if (!Array.isArray(value))
-        return targetOf(path, value) ?? undefined;
-    return value.map((item) => targetOf(path, item)).filter((item) => item !== null);
+export function markdownPath(path) {
+    return path.endsWith('.md');
 }
-function directoriesOf(path) {
-    const parts = path.split('/').slice(0, -1);
-    return ['', ...parts.map((_, index) => parts.slice(0, index + 1).join('/'))];
+export function folderOf(path) {
+    return path.slice(0, Math.max(path.lastIndexOf('/'), 0));
 }
-export function rowsOf(room, path, document, composition, change) {
-    const key = documentKey(room, path);
-    const body = keyOf('b', room, path);
-    if (document === null || !path.endsWith('.md')) {
-        return [
-            {
-                key,
-                kind: 'document',
-                room,
-                path,
-                type: null,
-                fields: {},
-                values: {},
-                sizes: {},
-                directories: directoriesOf(path),
-                body,
-                change,
-            },
-        ];
-    }
-    const type = document.type ?? 'any';
-    const definition = definitionOf(governing(composition, path), document.type);
-    const values = {};
-    const sizes = {};
-    const references = [];
-    for (const [name, value] of Object.entries(document.fields)) {
-        const reference = referenceField(definition?.fields[name]);
-        const compared = reference ? resolved(path, value) : value;
-        if (compared !== undefined)
-            values[name] = compared;
-        if (Array.isArray(value))
-            sizes[name] = value.length;
-        if (!reference)
-            continue;
-        const targets = [compared].flat().filter((found) => typeof found === 'string');
-        for (const found of new Set(targets)) {
-            references.push({
-                key: keyOf('r', room, path, name, found),
-                kind: 'reference',
-                room,
-                source: key,
-                target: documentKey(room, found),
-                field: name,
-                path,
-                type,
-            });
-        }
-    }
-    return [
-        {
-            key,
-            kind: 'document',
-            room,
-            path,
-            type,
-            fields: document.fields,
-            values,
-            sizes,
-            directories: directoriesOf(path),
-            body,
-            change,
-        },
-        {
-            key: body,
-            kind: 'body',
-            room,
-            path,
-            preamble: document.preamble,
-            sections: document.sections,
-            markdown: document.content,
-        },
-        ...references,
-    ];
+function byKey(_key, value) {
+    if (typeof value !== 'object' || value === null || Array.isArray(value))
+        return value;
+    return Object.fromEntries(Object.entries(value).sort(([one], [other]) => byCodePoint(one, other)));
+}
+function fieldsText(fields) {
+    return JSON.stringify(fields, byKey);
+}
+export function writtenFacts(path, content, composition) {
+    const model = governing(composition, path);
+    const facts = documentFacts(path, parse(content, path), {
+        types: model.status === 'unavailable' ? {} : model.types,
+    });
+    return facts === null
+        ? null
+        : { ...facts, fields: JSON.parse(fieldsText(facts.fields)) };
+}
+export function described(path, content, facts) {
+    const folder = folderOf(path);
+    const unread = { type: null, fields: null, links: null, folder };
+    if (content === null)
+        return { ...unread, declared: null, queried: true };
+    if (facts === null)
+        return { ...unread, declared: null, queried: !markdownPath(path) };
+    const links = JSON.stringify(facts.links);
+    if (!markdownPath(path))
+        return { ...unread, declared: facts.type, queried: true, links };
+    return {
+        type: facts.type,
+        declared: facts.type,
+        queried: true,
+        folder,
+        fields: fieldsText(facts.fields),
+        links,
+    };
+}
+export function heldOf(path, content, facts) {
+    if (content === null || facts === null)
+        return { type: null, fields: null, links: [] };
+    return markdownPath(path)
+        ? { type: facts.type, fields: facts.fields, links: facts.links }
+        : { type: null, fields: null, links: facts.links };
+}
+export function derived(path, held, composition) {
+    const stored = held.links.map((target) => ({
+        kind: 'link',
+        keys: '',
+        places: '',
+        target,
+        field: '',
+    }));
+    if (held.type === null || held.fields === null)
+        return { values: [], links: stored };
+    const definition = definitionOf(governing(composition, path), held.type);
+    const { values, links: fields } = indexed(path, held.fields, definition);
+    return { values, links: [...fields, ...stored] };
 }

package/dist/save.d.ts

@@ -1,35 +1,103 @@
-import type { ProviderLimit } from './adapter.js';
+import { type Validation } from '@agentshouse/mdmodel';
+import type { OperationScopes, ProviderLimit } from './adapter.js';
 import { type Change, type ChangeBatch, type Precondition, type WrittenBy } from './change.js';
 import { type Composition } from './collection.js';
+import { type Layer } from './overlay.js';
 import type { VisibleLayer } from './replica.js';
 import type { ChangedPart } from './room-draft.js';
 export type SaveRefusal = {
-    rule: string;
+    code: string;
+    retryable: boolean;
     file?: string;
     location?: string;
     referrers?: readonly string[];
     parts?: readonly ChangedPart[];
 };
-export type Rewriting = 'runtime' | 'provider';
 export type SaveInput = {
+    local: boolean;
     composition: Composition;
-    rewriting: Rewriting;
     baseRoomVersion: string;
     operations: import('./adapter.js').OperationScopes;
     providerOwnedPaths: readonly string[];
     providerLimits: readonly ProviderLimit[];
     visible: VisibleLayer;
+    folders: ReadonlySet<string>;
+    handle: string;
     changes: readonly Change[];
     bases: readonly Precondition[];
+    queued?: ReadonlySet<string>;
     writtenBy?: WrittenBy;
+    unmodeled: boolean;
+    validate: Validator;
+};
+export type Validator = (resulting: Layer, touched: readonly string[]) => Promise<Validation>;
+type Refusing = {
+    kind: 'refused';
+    refusal: SaveRefusal;
 };
 export type BatchResult = {
     kind: 'batch';
     batch: ChangeBatch;
+} | Refusing;
+export declare function providerRewritten(batch: ChangeBatch, visible: VisibleLayer): Generator<number, ChangeBatch, void>;
+export declare function leavingRewritten(batch: ChangeBatch, visible: VisibleLayer): Generator<number, ChangeBatch, void>;
+export declare function rewriting(batch: ChangeBatch, locator: string): boolean;
+export declare function effectiveIn(batch: ChangeBatch, locator: string, visible: VisibleLayer): Generator<number, ChangeBatch, void>;
+export declare function queuedDocuments(queue: readonly ChangeBatch[]): ReadonlySet<string>;
+export type Requeued = {
+    kind: 'requeued';
+    queue: readonly ChangeBatch[];
+    changes: readonly Change[];
+    queued: ReadonlySet<string>;
+    withdrawn: ReadonlyMap<string, ChangeBatch | null>;
+    owners: ReadonlySet<string>;
+} | {
+    kind: 'refused';
+    refusal: SaveRefusal;
+};
+export type Joining = {
+    kind: 'joined';
+    batch: ChangeBatch;
+    queue: readonly ChangeBatch[];
 } | {
     kind: 'refused';
     refusal: SaveRefusal;
 };
-export declare function providerRewritten(batch: ChangeBatch, visible: VisibleLayer): ChangeBatch;
-export declare function buildBatch(input: SaveInput): BatchResult;
+type VisibleOver = (queue: readonly ChangeBatch[]) => Generator<number, VisibleLayer, void>;
+export declare function requeuing(queue: readonly ChangeBatch[], changes: readonly Change[], visible: VisibleLayer, changeable: (batch: ChangeBatch) => boolean, state: VisibleOver): Generator<number, Requeued, void>;
+export declare function joined(queue: readonly ChangeBatch[], owner: ChangeBatch, extra: ChangeBatch): Joining;
+export declare function limiting(queue: readonly ChangeBatch[], batch: ChangeBatch, limits: readonly ProviderLimit[], state: VisibleOver): Generator<number, SaveRefusal | null, void>;
+export declare const MOVE_DOCUMENTS = "move-documents";
+export type MoveSide = {
+    room: string;
+    handle: string;
+    baseRoomVersion: string;
+    composition: Composition;
+    operations: OperationScopes;
+    providerOwnedPaths: readonly string[];
+    visible: VisibleLayer;
+    folders: ReadonlySet<string>;
+    queued: ReadonlySet<string>;
+    unmodeled: boolean;
+    validate: Validator;
+};
+export type MoveInput = {
+    source: MoveSide;
+    destination: MoveSide;
+    moves: readonly {
+        readonly path: string;
+        readonly to: string;
+    }[];
+    providerLimits: readonly ProviderLimit[];
+    local: boolean;
+    writtenBy?: WrittenBy;
+};
+export type MoveResult = {
+    kind: 'moved';
+    leaving: ChangeBatch;
+    arriving: ChangeBatch;
+} | Refusing;
+export declare function buildMove(input: MoveInput): Promise<MoveResult>;
+export declare function buildBatch(input: SaveInput): Promise<BatchResult>;
+export {};
 //# sourceMappingURL=save.d.ts.map

package/dist/save.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"save.d.ts","sourceRoot":"","sources":["../src/save.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAClD,OAAO,EAEL,KAAK,MAAM,EACX,KAAK,WAAW,EAChB,KAAK,YAAY,EACjB,KAAK,SAAS,EACf,MAAM,aAAa,CAAC;AACrB,OAAO,EAKL,KAAK,WAAW,EACjB,MAAM,iBAAiB,CAAC;AAIzB,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AACjD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAEnD,MAAM,MAAM,WAAW,GAAG;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9B,KAAK,CAAC,EAAE,SAAS,WAAW,EAAE,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG,SAAS,GAAG,UAAU,CAAC;AAE/C,MAAM,MAAM,SAAS,GAAG;IACtB,WAAW,EAAE,WAAW,CAAC;IACzB,SAAS,EAAE,SAAS,CAAC;IACrB,eAAe,EAAE,MAAM,CAAC;IACxB,UAAU,EAAE,OAAO,cAAc,EAAE,eAAe,CAAC;IACnD,kBAAkB,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,cAAc,EAAE,SAAS,aAAa,EAAE,CAAC;IACzC,OAAO,EAAE,YAAY,CAAC;IACtB,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3B,KAAK,EAAE,SAAS,YAAY,EAAE,CAAC;IAC/B,SAAS,CAAC,EAAE,SAAS,CAAC;CACvB,CAAC;AAEF,MAAM,MAAM,WAAW,GACnB;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,WAAW,CAAA;CAAE,GACrC;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,OAAO,EAAE,WAAW,CAAA;CAAE,CAAC;AAwK9C,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,YAAY,GAAG,WAAW,CAOxF;AA2MD,wBAAgB,UAAU,CAAC,KAAK,EAAE,SAAS,GAAG,WAAW,CA8FxD"}
+{"version":3,"file":"save.d.ts","sourceRoot":"","sources":["../src/save.ts"],"names":[],"mappings":"AACA,OAAO,EAkBL,KAAK,UAAU,EAChB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,KAAK,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AACnE,OAAO,EAKL,KAAK,MAAM,EACX,KAAK,WAAW,EAChB,KAAK,YAAY,EAEjB,KAAK,SAAS,EACf,MAAM,aAAa,CAAC;AACrB,OAAO,EAKL,KAAK,WAAW,EACjB,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EAAc,KAAK,KAAK,EAAE,MAAM,cAAc,CAAC;AAEtD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAEjD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAInD,MAAM,MAAM,WAAW,GAAG;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,OAAO,CAAC;IACnB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9B,KAAK,CAAC,EAAE,SAAS,WAAW,EAAE,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACtB,KAAK,EAAE,OAAO,CAAC;IACf,WAAW,EAAE,WAAW,CAAC;IACzB,eAAe,EAAE,MAAM,CAAC;IACxB,UAAU,EAAE,OAAO,cAAc,EAAE,eAAe,CAAC;IACnD,kBAAkB,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,cAAc,EAAE,SAAS,aAAa,EAAE,CAAC;IACzC,OAAO,EAAE,YAAY,CAAC;IACtB,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC7B,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3B,KAAK,EAAE,SAAS,YAAY,EAAE,CAAC;IAC/B,MAAM,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC7B,SAAS,CAAC,EAAE,SAAS,CAAC;IACtB,SAAS,EAAE,OAAO,CAAC;IACnB,QAAQ,EAAE,SAAS,CAAC;CACrB,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG,CAAC,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,MAAM,EAAE,KAAK,OAAO,CAAC,UAAU,CAAC,CAAC;AAE9F,KAAK,QAAQ,GAAG;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,OAAO,EAAE,WAAW,CAAA;CAAE,CAAC;AAE1D,MAAM,MAAM,WAAW,GAAG;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,WAAW,CAAA;CAAE,GAAG,QAAQ,CAAC;AAgN3E,wBAAiB,iBAAiB,CAChC,KAAK,EAAE,WAAW,EAClB,OAAO,EAAE,YAAY,GACpB,SAAS,CAAC,MAAM,EAAE,WAAW,EAAE,IAAI,CAAC,CAOtC;AAoDD,wBAAiB,gBAAgB,CAC/B,KAAK,EAAE,WAAW,EAClB,OAAO,EAAE,YAAY,GACpB,SAAS,CAAC,MAAM,EAAE,WAAW,EAAE,IAAI,CAAC,CAyBtC;AAED,wBAAgB,SAAS,CAAC,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAEtE;AAED,wBAAiB,WAAW,CAC1B,KAAK,EAAE,WAAW,EAClB,OAAO,EAAE,MAAM,EACf,OAAO,EAAE,YAAY,GACpB,SAAS,CAAC,MAAM,EAAE,WAAW,EAAE,IAAI,CAAC,CAItC;AAwJD,wBAAgB,eAAe,CAAC,KAAK,EAAE,SAAS,WAAW,EAAE,GAAG,WAAW,CAAC,MAAM,CAAC,CAYlF;AAoND,MAAM,MAAM,QAAQ,GAChB;IACE,IAAI,EAAE,UAAU,CAAC;IACjB,KAAK,EAAE,SAAS,WAAW,EAAE,CAAC;IAC9B,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3B,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC5B,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,GAAG,IAAI,CAAC,CAAC;IACnD,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAC7B,GACD;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,OAAO,EAAE,WAAW,CAAA;CAAE,CAAC;AAM9C,MAAM,MAAM,OAAO,GACf;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,WAAW,CAAC;IAAC,KAAK,EAAE,SAAS,WAAW,EAAE,CAAA;CAAE,GACrE;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,OAAO,EAAE,WAAW,CAAA;CAAE,CAAC;AAmN9C,KAAK,WAAW,GAAG,CAAC,KAAK,EAAE,SAAS,WAAW,EAAE,KAAK,SAAS,CAAC,MAAM,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC;AAE5F,wBAAiB,SAAS,CACxB,KAAK,EAAE,SAAS,WAAW,EAAE,EAC7B,OAAO,EAAE,SAAS,MAAM,EAAE,EAC1B,OAAO,EAAE,YAAY,EACrB,UAAU,EAAE,CAAC,KAAK,EAAE,WAAW,KAAK,OAAO,EAC3C,KAAK,EAAE,WAAW,GACjB,SAAS,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,CAgEnC;AAUD,wBAAgB,MAAM,CACpB,KAAK,EAAE,SAAS,WAAW,EAAE,EAC7B,KAAK,EAAE,WAAW,EAClB,KAAK,EAAE,WAAW,GACjB,OAAO,CAsCT;AAED,wBAAiB,QAAQ,CACvB,KAAK,EAAE,SAAS,WAAW,EAAE,EAC7B,KAAK,EAAE,WAAW,EAClB,MAAM,EAAE,SAAS,aAAa,EAAE,EAChC,KAAK,EAAE,WAAW,GACjB,SAAS,CAAC,MAAM,EAAE,WAAW,GAAG,IAAI,EAAE,IAAI,CAAC,CAU7C;AAqND,eAAO,MAAM,cAAc,mBAAmB,CAAC;AAE/C,MAAM,MAAM,QAAQ,GAAG;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,eAAe,EAAE,MAAM,CAAC;IACxB,WAAW,EAAE,WAAW,CAAC;IACzB,UAAU,EAAE,eAAe,CAAC;IAC5B,kBAAkB,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,OAAO,EAAE,YAAY,CAAC;IACtB,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC7B,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC5B,SAAS,EAAE,OAAO,CAAC;IACnB,QAAQ,EAAE,SAAS,CAAC;CACrB,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACtB,MAAM,EAAE,QAAQ,CAAC;IACjB,WAAW,EAAE,QAAQ,CAAC;IACtB,KAAK,EAAE,SAAS;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACjE,cAAc,EAAE,SAAS,aAAa,EAAE,CAAC;IACzC,KAAK,EAAE,OAAO,CAAC;IACf,SAAS,CAAC,EAAE,SAAS,CAAC;CACvB,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,WAAW,CAAC;IAAC,QAAQ,EAAE,WAAW,CAAA;CAAE,GAAG,QAAQ,CAAC;AAoInG,wBAAgB,SAAS,CAAC,KAAK,EAAE,SAAS,GAAG,OAAO,CAAC,UAAU,CAAC,CAE/D;AAED,wBAAgB,UAAU,CAAC,KAAK,EAAE,SAAS,GAAG,OAAO,CAAC,WAAW,CAAC,CAEjE"}