@agentshouse/mdruntime 0.1.0-alpha.9 → 0.1.0-c30ed2b8e04d5

package/dist/refresh.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"refresh.d.ts","sourceRoot":"","sources":["../src/refresh.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AACvD,OAAO,KAAK,EAAE,OAAO,EAAE,cAAc,EAAE,aAAa,EAAe,MAAM,cAAc,CAAC;AACxF,OAAO,EAAc,KAAK,cAAc,EAAE,MAAM,cAAc,CAAC;AAC/D,OAAO,EAAe,KAAK,WAAW,EAAE,MAAM,eAAe,CAAC;AAE9D,MAAM,MAAM,cAAc,GACtB;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,GACzB;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,SAAS,EAAE,cAAc,CAAA;CAAE,GAC/C;IAAE,IAAI,EAAE,gBAAgB,CAAA;CAAE,GAC1B,WAAW,GACX,cAAc,CAAC;AAEnB,wBAAsB,WAAW,CAC/B,OAAO,EAAE,OAAO,EAChB,aAAa,EAAE,aAAa,EAC5B,SAAS,EAAE,cAAc,EACzB,OAAO,EAAE,oBAAoB,GAAG,IAAI,GACnC,OAAO,CAAC,cAAc,CAAC,CAsDzB"}
+{"version":3,"file":"refresh.d.ts","sourceRoot":"","sources":["../src/refresh.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,OAAO,EACP,cAAc,EACd,aAAa,EAGb,gBAAgB,EAEjB,MAAM,cAAc,CAAC;AAEtB,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,EAAc,KAAK,cAAc,EAAE,MAAM,cAAc,CAAC;AAC/D,OAAO,EAAe,KAAK,OAAO,EAAE,KAAK,WAAW,EAAE,MAAM,eAAe,CAAC;AAE5E,MAAM,MAAM,cAAc,GACtB;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,GACzB;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,SAAS,EAAE,cAAc,CAAA;CAAE,GAC/C;IAAE,IAAI,EAAE,gBAAgB,CAAA;CAAE,GAC1B,gBAAgB,GAChB,WAAW,GACX,OAAO,GACP,cAAc,CAAC;AAEnB,wBAAsB,WAAW,CAC/B,OAAO,EAAE,OAAO,EAChB,aAAa,EAAE,aAAa,EAC5B,SAAS,EAAE,cAAc,EACzB,OAAO,EAAE,OAAO,EAChB,UAAU,EAAE,MAAM,OAAO,GACxB,OAAO,CAAC,cAAc,CAAC,CA8EzB"}

package/dist/refresh.js

@@ -1,65 +1,84 @@
+import { declaredAttachments } from './attachment.js';
 import { readStaged } from './replica.js';
 import { unconfirmed } from './transfer.js';
-export async function refreshRoom(adapter, authorization, confirmed, binding) {
+export async function refreshRoom(adapter, authorization, confirmed, remodel, continuing) {
     const locator = confirmed.record.locator;
     const fromRoomVersion = confirmed.record.roomVersion;
     const first = await adapter.refresh(authorization, {
         locator,
         selection: confirmed.record.replica.selection,
-        fromRoomVersion
+        fromRoomVersion,
     });
-    if (first.kind !== 'net-advancement') return first;
+    if (first.kind !== 'net-advancement')
+        return first;
     const roomVersion = first.roomVersion;
-    const documents = {
-        ...confirmed.record.documents
-    };
-    const revisions = {
-        ...confirmed.record.revisions
-    };
+    const models = remodel(first.models, {
+        collection: confirmed.record.model,
+        selection: confirmed.record.selectionModel,
+    });
+    const documents = { ...confirmed.record.documents };
+    const revisions = { ...confirmed.record.revisions };
+    const changes = { ...confirmed.record.changes };
+    const written = { ...confirmed.record.written };
     const binaryTargets = new Set(confirmed.record.binaryTargets);
-    const stage = (page)=>{
+    const attachments = [];
+    const stage = (page) => {
+        if (page.attachments !== undefined)
+            attachments.push(page.attachments);
         Object.assign(documents, page.documents);
         Object.assign(revisions, page.revisions);
-        for (const path of Object.keys(page.documents))binaryTargets.delete(path);
-        for (const target of page.binaryTargets){
+        for (const path of Object.keys(page.documents)) {
+            binaryTargets.delete(path);
+            delete changes[path];
+            written[path] = roomVersion;
+        }
+        for (const target of page.binaryTargets) {
             delete documents[target];
             delete revisions[target];
+            delete changes[target];
+            delete written[target];
             binaryTargets.add(target);
         }
-        for (const path of page.removals){
+        Object.assign(changes, page.changes);
+        for (const path of page.removals) {
             delete documents[path];
             delete revisions[path];
+            delete changes[path];
+            delete written[path];
             binaryTargets.delete(path);
         }
     };
     stage(first);
     let pageToken = first.pageToken;
-    while(pageToken !== undefined){
+    while (pageToken !== undefined) {
+        if (!continuing())
+            return unconfirmed;
         const page = await adapter.refresh(authorization, {
             locator,
             selection: confirmed.record.replica.selection,
             fromRoomVersion,
-            pageToken
+            pageToken,
         });
-        if (page.kind === 'still-current' || page.kind === 'beyond-horizon') return unconfirmed;
-        if (page.kind !== 'net-advancement') return page;
-        if (page.roomVersion !== roomVersion) return unconfirmed;
+        if (page.kind === 'still-current' || page.kind === 'beyond-horizon')
+            return unconfirmed;
+        if (page.kind !== 'net-advancement')
+            return page;
+        if (page.roomVersion !== roomVersion)
+            return unconfirmed;
         stage(page);
         pageToken = page.pageToken;
     }
-    const advanced = readStaged({
+    const staged = readStaged({
         ...confirmed.record,
+        model: models.collection,
+        selectionModel: models.selection,
         roomVersion,
         documents,
-        binaryTargets: [
-            ...binaryTargets
-        ].sort(),
-        revisions
-    }, binding);
-    return advanced === null ? unconfirmed : {
-        kind: 'advanced',
-        confirmed: advanced
-    };
+        binaryTargets: [...binaryTargets].sort(),
+        revisions,
+        changes,
+        written,
+        attachments: attachments.length === 0 ? confirmed.record.attachments : declaredAttachments(attachments),
+    }, confirmed);
+    return staged.kind === 'staged' ? { kind: 'advanced', confirmed: staged.confirmed } : staged;
 }
-
-//# sourceMappingURL=refresh.js.map

package/dist/replica.d.ts

@@ -1,8 +1,9 @@
-import type { AttachedModelBinding } from './model.js';
 import { type ChangeBatch } from './change.js';
 import { type Collection, type Composition } from './collection.js';
 import { type Layer } from './overlay.js';
+import type { RoomAttachment } from './adapter.js';
 import type { ReplicaRecord } from './store.js';
+import type { Refused } from './transfer.js';
 export type ConfirmedLayer = {
     record: ReplicaRecord;
     collection: Collection;
@@ -10,14 +11,33 @@ export type ConfirmedLayer = {
 export type VisibleLayer = Layer & {
     collection: Collection;
 };
+export type Staged = {
+    kind: 'staged';
+    confirmed: ConfirmedLayer;
+} | Refused;
 export type Replica = {
     confirmed: ConfirmedLayer;
     queue: readonly ChangeBatch[];
     visible: VisibleLayer;
+    replay: readonly ReplayStep[];
+};
+type ReplayStep = {
+    id: string;
+    before: Layer;
+    after: Layer;
+    effective: ChangeBatch;
+    collection?: Collection;
 };
 export declare function compositionOf(record: ReplicaRecord): Composition;
-export declare function readConfirmed(record: ReplicaRecord): ConfirmedLayer | null;
-export declare function readStaged(record: ReplicaRecord, binding: AttachedModelBinding | null): ConfirmedLayer | null;
-export declare function applyReturned(confirmed: ConfirmedLayer, documents: Readonly<Record<string, string>>, revisions: Readonly<Record<string, string>>, removals: readonly string[], roomVersion: string, binding: AttachedModelBinding | null): ConfirmedLayer | null;
-export declare function replicaOf(confirmed: ConfirmedLayer, queue: readonly ChangeBatch[]): Replica;
+export declare function readConfirmed(record: ReplicaRecord, previous?: ConfirmedLayer): Staged;
+export declare function sameMembership(record: ReplicaRecord, other: ReplicaRecord): boolean;
+export declare function readStaged(record: ReplicaRecord, previous?: ConfirmedLayer): Staged;
+export declare function readReclassified(record: ReplicaRecord, previous: ConfirmedLayer): Staged | {
+    kind: 'deferred';
+};
+export declare function applyReturned(confirmed: ConfirmedLayer, documents: Readonly<Record<string, string>>, revisions: Readonly<Record<string, string>>, removals: readonly string[], attachments: readonly RoomAttachment[] | undefined, roomVersion: string, writtenAt: string): Staged;
+export declare function replicaOf(confirmed: ConfirmedLayer, queue: readonly ChangeBatch[], previous?: Replica): Replica;
+export declare function landed(batch: ChangeBatch, confirmed: ConfirmedLayer): boolean;
+export declare function withdrawals(confirmed: ConfirmedLayer, queue: readonly ChangeBatch[], withdrawable: (batch: ChangeBatch) => boolean): readonly ChangeBatch[];
+export {};
 //# sourceMappingURL=replica.d.ts.map

package/dist/replica.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"replica.d.ts","sourceRoot":"","sources":["../src/replica.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AACvD,OAAO,EAAa,KAAK,WAAW,EAAE,MAAM,aAAa,CAAC;AAC1D,OAAO,EAIL,KAAK,UAAU,EACf,KAAK,WAAW,EACjB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAW,KAAK,KAAK,EAAE,MAAM,cAAc,CAAC;AACnD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAEhD,MAAM,MAAM,cAAc,GAAG;IAC3B,MAAM,EAAE,aAAa,CAAC;IACtB,UAAU,EAAE,UAAU,CAAC;CACxB,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG,KAAK,GAAG;IACjC,UAAU,EAAE,UAAU,CAAC;CACxB,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG;IACpB,SAAS,EAAE,cAAc,CAAC;IAC1B,KAAK,EAAE,SAAS,WAAW,EAAE,CAAC;IAC9B,OAAO,EAAE,YAAY,CAAC;CACvB,CAAC;AAEF,wBAAgB,aAAa,CAAC,MAAM,EAAE,aAAa,GAAG,WAAW,CAShE;AAED,wBAAgB,aAAa,CAAC,MAAM,EAAE,aAAa,GAAG,cAAc,GAAG,IAAI,CAG1E;AAED,wBAAgB,UAAU,CACxB,MAAM,EAAE,aAAa,EACrB,OAAO,EAAE,oBAAoB,GAAG,IAAI,GACnC,cAAc,GAAG,IAAI,CAcvB;AAED,wBAAgB,aAAa,CAC3B,SAAS,EAAE,cAAc,EACzB,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAC3C,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAC3C,QAAQ,EAAE,SAAS,MAAM,EAAE,EAC3B,WAAW,EAAE,MAAM,EACnB,OAAO,EAAE,oBAAoB,GAAG,IAAI,GACnC,cAAc,GAAG,IAAI,CAmBvB;AAED,wBAAgB,SAAS,CAAC,SAAS,EAAE,cAAc,EAAE,KAAK,EAAE,SAAS,WAAW,EAAE,GAAG,OAAO,CAuB3F"}
+{"version":3,"file":"replica.d.ts","sourceRoot":"","sources":["../src/replica.ts"],"names":[],"mappings":"AACA,OAAO,EAA0B,KAAK,WAAW,EAAqB,MAAM,aAAa,CAAC;AAC1F,OAAO,EAIL,KAAK,UAAU,EACf,KAAK,WAAW,EACjB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAA0C,KAAK,KAAK,EAAE,MAAM,cAAc,CAAC;AAGlF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAEnD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAChD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAE7C,MAAM,MAAM,cAAc,GAAG;IAC3B,MAAM,EAAE,aAAa,CAAC;IACtB,UAAU,EAAE,UAAU,CAAC;CACxB,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG,KAAK,GAAG;IACjC,UAAU,EAAE,UAAU,CAAC;CACxB,CAAC;AAEF,MAAM,MAAM,MAAM,GAAG;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,SAAS,EAAE,cAAc,CAAA;CAAE,GAAG,OAAO,CAAC;AAE7E,MAAM,MAAM,OAAO,GAAG;IACpB,SAAS,EAAE,cAAc,CAAC;IAC1B,KAAK,EAAE,SAAS,WAAW,EAAE,CAAC;IAC9B,OAAO,EAAE,YAAY,CAAC;IACtB,MAAM,EAAE,SAAS,UAAU,EAAE,CAAC;CAC/B,CAAC;AAEF,KAAK,UAAU,GAAG;IAChB,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,KAAK,CAAC;IACd,KAAK,EAAE,KAAK,CAAC;IACb,SAAS,EAAE,WAAW,CAAC;IACvB,UAAU,CAAC,EAAE,UAAU,CAAC;CACzB,CAAC;AAEF,wBAAgB,aAAa,CAAC,MAAM,EAAE,aAAa,GAAG,WAAW,CAQhE;AAED,wBAAgB,aAAa,CAAC,MAAM,EAAE,aAAa,EAAE,QAAQ,CAAC,EAAE,cAAc,GAAG,MAAM,CAWtF;AAED,wBAAgB,cAAc,CAAC,MAAM,EAAE,aAAa,EAAE,KAAK,EAAE,aAAa,GAAG,OAAO,CAKnF;AAED,wBAAgB,UAAU,CAAC,MAAM,EAAE,aAAa,EAAE,QAAQ,CAAC,EAAE,cAAc,GAAG,MAAM,CAkBnF;AAED,wBAAgB,gBAAgB,CAC9B,MAAM,EAAE,aAAa,EACrB,QAAQ,EAAE,cAAc,GACvB,MAAM,GAAG;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,CAM/B;AAED,wBAAgB,aAAa,CAC3B,SAAS,EAAE,cAAc,EACzB,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAC3C,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAC3C,QAAQ,EAAE,SAAS,MAAM,EAAE,EAC3B,WAAW,EAAE,SAAS,cAAc,EAAE,GAAG,SAAS,EAClD,WAAW,EAAE,MAAM,EACnB,SAAS,EAAE,MAAM,GAChB,MAAM,CAmCR;AAsDD,wBAAgB,SAAS,CACvB,SAAS,EAAE,cAAc,EACzB,KAAK,EAAE,SAAS,WAAW,EAAE,EAC7B,QAAQ,CAAC,EAAE,OAAO,GACjB,OAAO,CAgCT;AAkFD,wBAAgB,MAAM,CAAC,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,cAAc,GAAG,OAAO,CAa7E;AAED,wBAAgB,WAAW,CACzB,SAAS,EAAE,cAAc,EACzB,KAAK,EAAE,SAAS,WAAW,EAAE,EAC7B,YAAY,EAAE,CAAC,KAAK,EAAE,WAAW,KAAK,OAAO,GAC5C,SAAS,WAAW,EAAE,CAmBxB"}

package/dist/replica.js

@@ -1,43 +1,69 @@
+import { parse } from '@agentshouse/mdmodel';
 import { immutable } from './change.js';
-import { parseCollection, readCollection, validateCollection } from './collection.js';
-import { overlay } from './overlay.js';
+import { parseCollection, readCollection, validateCollection, } from './collection.js';
+import { overlay, overlayChanged, sameLayerText } from './overlay.js';
+import { providerRewritten } from './save.js';
+import { equalValue } from './room-draft.js';
+import { declaredAttachments } from './attachment.js';
 export function compositionOf(record) {
     return {
-        collectionRoot: record.collectionRoot,
         model: record.model,
-        selection: record.typedSelection === null ? null : {
-            roots: record.typedSelection.roots,
-            model: record.selectionModel
-        }
+        selection: record.typedSelection === null
+            ? null
+            : { roots: record.typedSelection.roots, model: record.selectionModel },
     };
 }
-export function readConfirmed(record) {
-    const collection = readCollection(record.documents, compositionOf(record));
-    return collection === null ? null : {
-        record,
-        collection
-    };
+export function readConfirmed(record, previous) {
+    const read = readCollection(record.documents, compositionOf(record), previous === undefined
+        ? undefined
+        : { text: previous.record.documents, collection: previous.collection });
+    return read.kind === 'read'
+        ? { kind: 'staged', confirmed: { record, collection: read.collection } }
+        : read;
 }
-export function readStaged(record, binding) {
-    if (binding !== null && (record.model.status === 'current' || record.selectionModel.status === 'current')) {
-        const verdict = validateCollection(record.documents, record.binaryTargets, compositionOf(record), binding);
-        if (verdict.verdict === 'refuse' && verdict.rule !== 'model-unavailable') return null;
+export function sameMembership(record, other) {
+    return (JSON.stringify(record.typedSelection?.roots ?? null) ===
+        JSON.stringify(other.typedSelection?.roots ?? null));
+}
+export function readStaged(record, previous) {
+    if ((record.model.status !== 'unavailable' || record.selectionModel.status !== 'unavailable') &&
+        (previous === undefined ||
+            !sameLayerText(record, previous.record) ||
+            record.model !== previous.record.model ||
+            record.selectionModel !== previous.record.selectionModel)) {
+        const verdict = validateCollection(record.documents, record.binaryTargets, compositionOf(record));
+        if (verdict.verdict === 'refuse' && verdict.rule !== 'model-unavailable') {
+            return { kind: 'refused', refusal: verdict };
+        }
     }
-    return readConfirmed(record);
+    return readConfirmed(record, previous);
 }
-export function applyReturned(confirmed, documents, revisions, removals, roomVersion, binding) {
-    const nextDocuments = {
-        ...confirmed.record.documents,
-        ...documents
-    };
-    const nextRevisions = {
-        ...confirmed.record.revisions,
-        ...revisions
+export function readReclassified(record, previous) {
+    const verdict = validateCollection(record.documents, record.binaryTargets, compositionOf(record));
+    if (verdict.verdict !== 'refuse')
+        return readConfirmed(record, previous);
+    return verdict.rule === 'model-unavailable'
+        ? { kind: 'deferred' }
+        : { kind: 'refused', refusal: verdict };
+}
+export function applyReturned(confirmed, documents, revisions, removals, attachments, roomVersion, writtenAt) {
+    const nextDocuments = { ...confirmed.record.documents, ...documents };
+    const nextRevisions = { ...confirmed.record.revisions, ...revisions };
+    const nextChanges = { ...confirmed.record.changes };
+    const nextWritten = {
+        ...confirmed.record.written,
+        ...Object.fromEntries(Object.keys(documents).map((path) => [path, writtenAt])),
     };
     const binaryTargets = new Set(confirmed.record.binaryTargets);
-    for (const path of removals){
+    for (const [path, revision] of Object.entries(revisions)) {
+        if (confirmed.record.revisions[path] !== revision)
+            delete nextChanges[path];
+    }
+    for (const path of removals) {
         delete nextDocuments[path];
         delete nextRevisions[path];
+        delete nextChanges[path];
+        delete nextWritten[path];
         binaryTargets.delete(path);
     }
     return readStaged({
@@ -45,12 +71,56 @@ export function applyReturned(confirmed, documents, revisions, removals, roomVer
         roomVersion,
         documents: nextDocuments,
         revisions: nextRevisions,
-        binaryTargets: [
-            ...binaryTargets
-        ].sort()
-    }, binding);
+        changes: nextChanges,
+        written: nextWritten,
+        binaryTargets: [...binaryTargets].sort(),
+        attachments: attachments === undefined
+            ? confirmed.record.attachments
+            : declaredAttachments([attachments]),
+    }, confirmed);
 }
-export function replicaOf(confirmed, queue) {
+function predicted(confirmed, batches, previous) {
+    const composition = compositionOf(confirmed.record);
+    let layer = confirmed.record;
+    const replay = [];
+    const prior = new Map(previous?.replay.map((step) => [step.id, step]) ?? []);
+    for (const batch of batches) {
+        const before = layer;
+        const old = prior.get(batch.id);
+        const hasMove = batch.changes.some((change) => change.kind === 'move');
+        const reuseRewrite = old?.collection !== undefined &&
+            sameLayerText(before, old.before) &&
+            old.collection.composition.model === composition.model &&
+            old.collection.composition.selection?.model === composition.selection?.model &&
+            JSON.stringify(old.collection.composition.selection?.roots) ===
+                JSON.stringify(composition.selection?.roots);
+        const collection = hasMove
+            ? reuseRewrite
+                ? old.collection
+                : parseCollection(before.documents, composition, old?.collection === undefined
+                    ? { text: confirmed.record.documents, collection: confirmed.collection }
+                    : { text: old.before.documents, collection: old.collection })
+            : undefined;
+        const effective = collection === undefined
+            ? batch
+            : reuseRewrite
+                ? old.effective
+                : providerRewritten(batch, { ...before, collection });
+        layer =
+            old === undefined
+                ? overlay(before, [effective])
+                : overlayChanged(before, [effective], old.before, [old.effective], old.after);
+        replay.push({
+            id: batch.id,
+            before,
+            after: layer,
+            effective,
+            ...(collection === undefined ? {} : { collection }),
+        });
+    }
+    return { layer, replay };
+}
+export function replicaOf(confirmed, queue, previous) {
     const batches = Object.freeze(queue.map(immutable));
     if (batches.length === 0) {
         return {
@@ -60,19 +130,138 @@ export function replicaOf(confirmed, queue) {
                 documents: confirmed.record.documents,
                 binaryTargets: confirmed.record.binaryTargets,
                 revisions: confirmed.record.revisions,
-                collection: confirmed.collection
-            }
+                changes: confirmed.record.changes,
+                collection: confirmed.collection,
+            },
+            replay: [],
         };
     }
-    const layer = overlay(confirmed.record, batches);
+    const { layer, replay } = predicted(confirmed, batches, previous);
     return {
         confirmed,
         queue: batches,
+        replay,
         visible: {
             ...layer,
-            collection: parseCollection(layer.documents, compositionOf(confirmed.record))
+            collection: parseCollection(layer.documents, compositionOf(confirmed.record), previous === undefined
+                ? undefined
+                : { text: previous.visible.documents, collection: previous.visible.collection }),
+        },
+    };
+}
+function present(layer, path) {
+    return layer.documents[path] !== undefined || layer.binaryTargets.includes(path);
+}
+function holds(layer, preconditions) {
+    const parsed = new Map();
+    const documentAt = (path) => {
+        if (!parsed.has(path)) {
+            const text = layer.documents[path];
+            const opened = text === undefined ? null : parse(text, path);
+            parsed.set(path, opened?.ok === true ? opened.document : null);
         }
+        return parsed.get(path) ?? null;
     };
+    return preconditions.every((precondition) => {
+        const path = precondition.path;
+        if (precondition.kind === 'absent')
+            return !present(layer, path);
+        if (precondition.kind === 'present')
+            return present(layer, path);
+        if (precondition.kind === 'revision') {
+            return present(layer, path) && layer.revisions[path] === precondition.revision;
+        }
+        const document = documentAt(path);
+        if (document === null)
+            return false;
+        if (precondition.kind === 'field') {
+            const value = Object.hasOwn(document.fields, precondition.name)
+                ? document.fields[precondition.name]
+                : undefined;
+            return equalValue(value, precondition.value);
+        }
+        if (precondition.kind === 'section') {
+            return (Object.hasOwn(document.sections, precondition.name) &&
+                document.sections[precondition.name] === precondition.value);
+        }
+        return document.preamble === precondition.value;
+    });
+}
+function effects(change) {
+    const path = change.path;
+    if (change.kind === 'field' || change.kind === 'section' || change.kind === 'preamble') {
+        return [change];
+    }
+    if (change.kind === 'create' && !('content' in change)) {
+        return [
+            { kind: 'present', path },
+            ...Object.entries(change.fields).map(([name, value]) => ({
+                kind: 'field',
+                path,
+                name,
+                value,
+            })),
+            ...Object.entries(change.sections).map(([name, value]) => ({
+                kind: 'section',
+                path,
+                name,
+                value,
+            })),
+        ];
+    }
+    if (change.kind === 'move') {
+        return [
+            { kind: 'absent', path },
+            { kind: 'present', path: change.to },
+        ];
+    }
+    return [{ kind: 'absent', path }];
+}
+function after(changes, index, path) {
+    let at = path;
+    for (const change of changes.slice(index + 1)) {
+        if (change.path !== at)
+            continue;
+        if (change.kind === 'remove')
+            return null;
+        if (change.kind === 'move')
+            at = change.to;
+    }
+    return at;
+}
+export function landed(batch, confirmed) {
+    const layer = confirmed.record;
+    return batch.changes.every((change, index) => {
+        if (change.kind === 'replace' || (change.kind === 'create' && 'content' in change)) {
+            const at = after(batch.changes, index, change.path);
+            return at === null || layer.documents[at] === change.content;
+        }
+        return effects(change).every((effect) => {
+            if (effect.kind === 'absent')
+                return holds(layer, [effect]);
+            const at = after(batch.changes, index, effect.path);
+            return at === null || holds(layer, [{ ...effect, path: at }]);
+        });
+    });
+}
+export function withdrawals(confirmed, queue, withdrawable) {
+    if (!queue.some(withdrawable))
+        return [];
+    const composition = compositionOf(confirmed.record);
+    let layer = confirmed.record;
+    const withdrawn = [];
+    for (const batch of queue) {
+        if (withdrawable(batch) && !holds(layer, batch.preconditions)) {
+            withdrawn.push(batch);
+            continue;
+        }
+        const effective = batch.changes.some((change) => change.kind === 'move')
+            ? providerRewritten(batch, {
+                ...layer,
+                collection: parseCollection(layer.documents, composition),
+            })
+            : batch;
+        layer = overlay(layer, [effective]);
+    }
+    return withdrawn;
 }
-
-//# sourceMappingURL=replica.js.map

package/dist/room-draft.d.ts

@@ -0,0 +1,127 @@
+import type { ProviderRefusal } from './adapter.js';
+import type { Change, Precondition } from './change.js';
+import type { VisibleLayer } from './replica.js';
+export type FieldValue = {
+    readonly value: unknown;
+} | null;
+export type RoomDraftCreation = {
+    readonly type: string;
+    readonly fields: Readonly<Record<string, unknown>>;
+    readonly sections: Readonly<Record<string, string>>;
+} | {
+    readonly markdown: string;
+};
+export type RoomDraftParts = {
+    readonly fields?: Readonly<Record<string, {
+        readonly value: unknown;
+        readonly base?: FieldValue;
+    }>>;
+    readonly sections?: Readonly<Record<string, {
+        readonly value: string;
+        readonly base?: string;
+    }>>;
+    readonly preamble?: {
+        readonly value: string;
+        readonly base?: string;
+    };
+    readonly markdown?: {
+        readonly value: string;
+        readonly base?: string;
+    };
+    readonly creation?: RoomDraftCreation;
+    readonly move?: {
+        readonly to: string;
+        readonly base?: string | null;
+    };
+    readonly removal?: {
+        readonly base?: string | null;
+    };
+};
+type HeldParts = {
+    readonly fields?: Readonly<Record<string, {
+        readonly value: unknown;
+        readonly base: FieldValue;
+    }>>;
+    readonly sections?: Readonly<Record<string, {
+        readonly value: string;
+        readonly base: string;
+    }>>;
+    readonly preamble?: {
+        readonly value: string;
+        readonly base: string;
+    };
+    readonly markdown?: {
+        readonly value: string;
+        readonly base: string;
+    };
+    readonly creation?: RoomDraftCreation;
+    readonly move?: {
+        readonly to: string;
+        readonly base: string | null;
+    };
+    readonly removal?: {
+        readonly base: string | null;
+    };
+};
+type ChangedUnderneath = {
+    readonly fields?: Readonly<Record<string, FieldValue>>;
+    readonly sections?: Readonly<Record<string, string | null>>;
+    readonly preamble?: string | null;
+    readonly markdown?: string | null;
+    readonly creation?: string;
+    readonly move?: string | null;
+    readonly removal?: string | null;
+};
+export type ReturnReason = (ProviderRefusal & {
+    readonly kind: 'conflicted' | 'rejected';
+}) | {
+    readonly kind: 'expired';
+} | {
+    readonly kind: 'withdrawn';
+};
+export type RoomDraft = {
+    readonly room: string;
+    readonly path: string;
+    readonly revision: string;
+    readonly parts: HeldParts;
+    readonly changedUnderneath: ChangedUnderneath;
+    readonly returned: ReturnReason | null;
+};
+export type RoomDraftWrite = {
+    readonly outcome: 'written';
+    readonly roomDraft: RoomDraft | null;
+} | {
+    readonly outcome: 'stale';
+    readonly current: RoomDraft | null;
+};
+export type ChangedPart = {
+    readonly path: string;
+    readonly part: 'field' | 'section' | 'preamble' | 'markdown' | 'creation' | 'move' | 'removal';
+    readonly name?: string;
+};
+export type RoomDraftRecord = {
+    readonly locator: string;
+    readonly path: string;
+    readonly revision: string;
+    readonly parts: HeldParts;
+    readonly returned: ReturnReason | null;
+};
+export type SavedDraft = {
+    readonly path: string;
+    readonly parts: HeldParts;
+};
+export declare function readParts(value: unknown): RoomDraftParts;
+export declare function held(current: HeldParts | undefined, parts: RoomDraftParts): HeldParts;
+export declare function equalValue(left: unknown, right: unknown): boolean;
+export declare function underneath(parts: HeldParts, path: string, visible: VisibleLayer | undefined): ChangedUnderneath;
+export declare function changedParts(path: string, report: ChangedUnderneath): readonly ChangedPart[];
+export declare function returnedInto(existing: HeldParts | undefined, returned: HeldParts): HeldParts;
+export declare function moveTarget(move: {
+    readonly to: string;
+}): string;
+export declare function changesOf(path: string, parts: HeldParts): {
+    changes: readonly Change[];
+    bases: readonly Precondition[];
+};
+export {};
+//# sourceMappingURL=room-draft.d.ts.map

package/dist/room-draft.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"room-draft.d.ts","sourceRoot":"","sources":["../src/room-draft.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AACpD,OAAO,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAExD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAEjD,MAAM,MAAM,UAAU,GAAG;IAAE,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GAAG,IAAI,CAAC;AAE5D,MAAM,MAAM,iBAAiB,GACzB;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACnD,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CACrD,GACD;IAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC;AAElC,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,CAAC,MAAM,CAAC,EAAE,QAAQ,CACxB,MAAM,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;QAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,UAAU,CAAA;KAAE,CAAC,CACxE,CAAC;IACF,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC,CAAC;IACjG,QAAQ,CAAC,QAAQ,CAAC,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IACvE,QAAQ,CAAC,QAAQ,CAAC,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IACvE,QAAQ,CAAC,QAAQ,CAAC,EAAE,iBAAiB,CAAC;IACtC,QAAQ,CAAC,IAAI,CAAC,EAAE;QAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC;IACvE,QAAQ,CAAC,OAAO,CAAC,EAAE;QAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC;CACtD,CAAC;AAEF,KAAK,SAAS,GAAG;IACf,QAAQ,CAAC,MAAM,CAAC,EAAE,QAAQ,CACxB,MAAM,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;KAAE,CAAC,CACvE,CAAC;IACF,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC,CAAC;IAChG,QAAQ,CAAC,QAAQ,CAAC,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IACtE,QAAQ,CAAC,QAAQ,CAAC,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IACtE,QAAQ,CAAC,QAAQ,CAAC,EAAE,iBAAiB,CAAC;IACtC,QAAQ,CAAC,IAAI,CAAC,EAAE;QAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC;IACtE,QAAQ,CAAC,OAAO,CAAC,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC;CACrD,CAAC;AAEF,KAAK,iBAAiB,GAAG;IACvB,QAAQ,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;IACvD,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC;IAC5D,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CAClC,CAAC;AAEF,MAAM,MAAM,YAAY,GACpB,CAAC,eAAe,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,GAAG,UAAU,CAAA;CAAE,CAAC,GAChE;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,GAC5B;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAA;CAAE,CAAC;AAEnC,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,iBAAiB,EAAE,iBAAiB,CAAC;IAC9C,QAAQ,CAAC,QAAQ,EAAE,YAAY,GAAG,IAAI,CAAC;CACxC,CAAC;AAEF,MAAM,MAAM,cAAc,GACtB;IAAE,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,SAAS,GAAG,IAAI,CAAA;CAAE,GACrE;IAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,GAAG,IAAI,CAAA;CAAE,CAAC;AAEtE,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,SAAS,GAAG,UAAU,GAAG,UAAU,GAAG,UAAU,GAAG,MAAM,GAAG,SAAS,CAAC;IAC/F,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,YAAY,GAAG,IAAI,CAAC;CACxC,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAA;CAAE,CAAC;AAsE9E,wBAAgB,SAAS,CAAC,KAAK,EAAE,OAAO,GAAG,cAAc,CA4BxD;AAwBD,wBAAgB,IAAI,CAAC,OAAO,EAAE,SAAS,GAAG,SAAS,EAAE,KAAK,EAAE,cAAc,GAAG,SAAS,CA4CrF;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,GAAG,OAAO,CAQjE;AAOD,wBAAgB,UAAU,CACxB,KAAK,EAAE,SAAS,EAChB,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,YAAY,GAAG,SAAS,GAChC,iBAAiB,CA6BnB;AAED,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,iBAAiB,GAAG,SAAS,WAAW,EAAE,CAU5F;AAsCD,wBAAgB,YAAY,CAAC,QAAQ,EAAE,SAAS,GAAG,SAAS,EAAE,QAAQ,EAAE,SAAS,GAAG,SAAS,CAyB5F;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,GAAG,MAAM,CAGhE;AAED,wBAAgB,SAAS,CACvB,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,SAAS,GACf;IAAE,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,KAAK,EAAE,SAAS,YAAY,EAAE,CAAA;CAAE,CAkChE"}