@agentshouse/mdruntime 0.1.0-alpha.4 → 0.1.0-alpha.40

package/dist/replica.d.ts

@@ -1,7 +1,9 @@
 import { type ChangeBatch } from './change.js';
-import { type Collection } from './collection.js';
+import { type Collection, type Composition } from './collection.js';
 import { type Layer } from './overlay.js';
+import { type Rewriting } from './save.js';
 import type { ReplicaRecord } from './store.js';
+import type { Refused, Unconfirmed } from './transfer.js';
 export type ConfirmedLayer = {
     record: ReplicaRecord;
     collection: Collection;
@@ -9,12 +11,29 @@ export type ConfirmedLayer = {
 export type VisibleLayer = Layer & {
     collection: Collection;
 };
+export type Staged = {
+    kind: 'staged';
+    confirmed: ConfirmedLayer;
+} | Refused | Unconfirmed;
 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 readConfirmed(record: ReplicaRecord): ConfirmedLayer | null;
-export declare function applyReturned(confirmed: ConfirmedLayer, documents: Readonly<Record<string, string>>, revisions: Readonly<Record<string, string>>, removals: readonly string[], roomVersion: string): ConfirmedLayer | null;
-export declare function replicaOf(confirmed: ConfirmedLayer, queue: readonly ChangeBatch[]): Replica;
+export declare function compositionOf(record: ReplicaRecord): Composition;
+export declare function readConfirmed(record: ReplicaRecord, previous?: ConfirmedLayer): Staged;
+export declare function readStaged(record: ReplicaRecord, previous?: ConfirmedLayer): Staged;
+export declare function applyReturned(confirmed: ConfirmedLayer, documents: Readonly<Record<string, string>>, revisions: Readonly<Record<string, string>>, removals: readonly string[], roomVersion: string): Staged;
+export declare function replicaOf(confirmed: ConfirmedLayer, queue: readonly ChangeBatch[], rewriting: Rewriting, 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, rewriting: Rewriting): 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,EAAa,KAAK,WAAW,EAAE,MAAM,aAAa,CAAC;AAC1D,OAAO,EAAmC,KAAK,UAAU,EAAE,MAAM,iBAAiB,CAAC;AACnF,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,cAAc,GAAG,IAAI,CAG1E;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,GAClB,cAAc,GAAG,IAAI,CAgBvB;AAED,wBAAgB,SAAS,CAAC,SAAS,EAAE,cAAc,EAAE,KAAK,EAAE,SAAS,WAAW,EAAE,GAAG,OAAO,CAoB3F"}
+{"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;AAClF,OAAO,EAAqB,KAAK,SAAS,EAAE,MAAM,WAAW,CAAC;AAE9D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAChD,OAAO,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAE1D,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,GAAG,WAAW,CAAC;AAE3F,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,CAShE;AAED,wBAAgB,aAAa,CAAC,MAAM,EAAE,aAAa,EAAE,QAAQ,CAAC,EAAE,cAAc,GAAG,MAAM,CAWtF;AAED,wBAAgB,UAAU,CAAC,MAAM,EAAE,aAAa,EAAE,QAAQ,CAAC,EAAE,cAAc,GAAG,MAAM,CAkBnF;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,GAClB,MAAM,CAmBR;AAuDD,wBAAgB,SAAS,CACvB,SAAS,EAAE,cAAc,EACzB,KAAK,EAAE,SAAS,WAAW,EAAE,EAC7B,SAAS,EAAE,SAAS,EACpB,QAAQ,CAAC,EAAE,OAAO,GACjB,OAAO,CA2CT;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,EAC7C,SAAS,EAAE,SAAS,GACnB,SAAS,WAAW,EAAE,CAoBxB"}

package/dist/replica.js

@@ -1,13 +1,44 @@
+import { parse } from '@agentshouse/mdmodel';
 import { immutable } from './change.js';
-import { parseCollection, readCollection } from './collection.js';
-import { overlay } from './overlay.js';
-export function readConfirmed(record) {
-    const collection = readCollection(record.documents, record.binaryTargets);
-    return collection === null ? null : {
-        record,
-        collection
+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';
+export function compositionOf(record) {
+    return {
+        collectionRoot: record.collectionRoot,
+        model: record.model,
+        selection: record.typedSelection === null ? null : {
+            roots: record.typedSelection.roots,
+            model: record.selectionModel
+        }
     };
 }
+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, previous) {
+    if ((record.model.status === 'current' || record.selectionModel.status === 'current') && (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, previous);
+}
 export function applyReturned(confirmed, documents, revisions, removals, roomVersion) {
     const nextDocuments = {
         ...confirmed.record.documents,
@@ -23,7 +54,7 @@ export function applyReturned(confirmed, documents, revisions, removals, roomVer
         delete nextRevisions[path];
         binaryTargets.delete(path);
     }
-    return readConfirmed({
+    return readStaged({
         ...confirmed.record,
         roomVersion,
         documents: nextDocuments,
@@ -31,9 +62,55 @@ export function applyReturned(confirmed, documents, revisions, removals, roomVer
         binaryTargets: [
             ...binaryTargets
         ].sort()
-    });
+    }, 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.collectionRoot === composition.collectionRoot && 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, rewriting, previous) {
     const batches = Object.freeze(queue.map(immutable));
     if (batches.length === 0) {
         return {
@@ -44,18 +121,152 @@ export function replicaOf(confirmed, queue) {
                 binaryTargets: confirmed.record.binaryTargets,
                 revisions: confirmed.record.revisions,
                 collection: confirmed.collection
-            }
+            },
+            replay: []
         };
     }
-    const layer = overlay(confirmed.record, batches);
+    const predictedState = rewriting === 'provider' ? predicted(confirmed, batches, previous) : null;
+    const layer = rewriting === 'provider' ? predictedState.layer : previous === undefined ? overlay(confirmed.record, batches) : overlayChanged(confirmed.record, batches, previous.confirmed.record, previous.queue, previous.visible);
     return {
         confirmed,
         queue: batches,
+        replay: predictedState?.replay ?? [],
         visible: {
             ...layer,
-            collection: parseCollection(layer.documents)
+            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, rewriting) {
+    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 = rewriting === 'provider' && 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/replica.js.map

@@ -1 +1 @@
-{"version":3,"sources":["/workspace/packages/mdruntime/src/replica.ts"],"sourcesContent":["import { immutable, type ChangeBatch } from './change.js';\nimport { parseCollection, readCollection, type Collection } from './collection.js';\nimport { overlay, type Layer } from './overlay.js';\nimport type { ReplicaRecord } from './store.js';\n\nexport type ConfirmedLayer = {\n  record: ReplicaRecord;\n  collection: Collection;\n};\n\nexport type VisibleLayer = Layer & {\n  collection: Collection;\n};\n\nexport type Replica = {\n  confirmed: ConfirmedLayer;\n  queue: readonly ChangeBatch[];\n  visible: VisibleLayer;\n};\n\nexport function readConfirmed(record: ReplicaRecord): ConfirmedLayer | null {\n  const collection = readCollection(record.documents, record.binaryTargets);\n  return collection === null ? null : { record, collection };\n}\n\nexport function applyReturned(\n  confirmed: ConfirmedLayer,\n  documents: Readonly<Record<string, string>>,\n  revisions: Readonly<Record<string, string>>,\n  removals: readonly string[],\n  roomVersion: string,\n): ConfirmedLayer | null {\n  const nextDocuments = { ...confirmed.record.documents, ...documents };\n  const nextRevisions = { ...confirmed.record.revisions, ...revisions };\n  const binaryTargets = new Set(confirmed.record.binaryTargets);\n  for (const path of removals) {\n    delete nextDocuments[path];\n    delete nextRevisions[path];\n    binaryTargets.delete(path);\n  }\n  return readConfirmed({\n    ...confirmed.record,\n    roomVersion,\n    documents: nextDocuments,\n    revisions: nextRevisions,\n    binaryTargets: [...binaryTargets].sort(),\n  });\n}\n\nexport function replicaOf(confirmed: ConfirmedLayer, queue: readonly ChangeBatch[]): Replica {\n  const batches = Object.freeze(queue.map(immutable));\n  if (batches.length === 0) {\n    return {\n      confirmed,\n      queue: batches,\n      visible: {\n        documents: confirmed.record.documents,\n        binaryTargets: confirmed.record.binaryTargets,\n        revisions: confirmed.record.revisions,\n        collection: confirmed.collection,\n      },\n    };\n  }\n  const layer = overlay(confirmed.record, batches);\n  return {\n    confirmed,\n    queue: batches,\n    visible: { ...layer, collection: parseCollection(layer.documents) },\n  };\n}\n"],"names":["immutable","parseCollection","readCollection","overlay","readConfirmed","record","collection","documents","binaryTargets","applyReturned","confirmed","revisions","removals","roomVersion","nextDocuments","nextRevisions","Set","path","delete","sort","replicaOf","queue","batches","Object","freeze","map","length","visible","layer"],"mappings":"AAAA,SAASA,SAAS,QAA0B,cAAc;AAC1D,SAASC,eAAe,EAAEC,cAAc,QAAyB,kBAAkB;AACnF,SAASC,OAAO,QAAoB,eAAe;AAkBnD,OAAO,SAASC,cAAcC,MAAqB;IACjD,MAAMC,aAAaJ,eAAeG,OAAOE,SAAS,EAAEF,OAAOG,aAAa;IACxE,OAAOF,eAAe,OAAO,OAAO;QAAED;QAAQC;IAAW;AAC3D;AAEA,OAAO,SAASG,cACdC,SAAyB,EACzBH,SAA2C,EAC3CI,SAA2C,EAC3CC,QAA2B,EAC3BC,WAAmB;IAEnB,MAAMC,gBAAgB;QAAE,GAAGJ,UAAUL,MAAM,CAACE,SAAS;QAAE,GAAGA,SAAS;IAAC;IACpE,MAAMQ,gBAAgB;QAAE,GAAGL,UAAUL,MAAM,CAACM,SAAS;QAAE,GAAGA,SAAS;IAAC;IACpE,MAAMH,gBAAgB,IAAIQ,IAAIN,UAAUL,MAAM,CAACG,aAAa;IAC5D,KAAK,MAAMS,QAAQL,SAAU;QAC3B,OAAOE,aAAa,CAACG,KAAK;QAC1B,OAAOF,aAAa,CAACE,KAAK;QAC1BT,cAAcU,MAAM,CAACD;IACvB;IACA,OAAOb,cAAc;QACnB,GAAGM,UAAUL,MAAM;QACnBQ;QACAN,WAAWO;QACXH,WAAWI;QACXP,eAAe;eAAIA;SAAc,CAACW,IAAI;IACxC;AACF;AAEA,OAAO,SAASC,UAAUV,SAAyB,EAAEW,KAA6B;IAChF,MAAMC,UAAUC,OAAOC,MAAM,CAACH,MAAMI,GAAG,CAACzB;IACxC,IAAIsB,QAAQI,MAAM,KAAK,GAAG;QACxB,OAAO;YACLhB;YACAW,OAAOC;YACPK,SAAS;gBACPpB,WAAWG,UAAUL,MAAM,CAACE,SAAS;gBACrCC,eAAeE,UAAUL,MAAM,CAACG,aAAa;gBAC7CG,WAAWD,UAAUL,MAAM,CAACM,SAAS;gBACrCL,YAAYI,UAAUJ,UAAU;YAClC;QACF;IACF;IACA,MAAMsB,QAAQzB,QAAQO,UAAUL,MAAM,EAAEiB;IACxC,OAAO;QACLZ;QACAW,OAAOC;QACPK,SAAS;YAAE,GAAGC,KAAK;YAAEtB,YAAYL,gBAAgB2B,MAAMrB,SAAS;QAAE;IACpE;AACF"}
+{"version":3,"sources":["/workspace/packages/mdruntime/src/replica.ts"],"sourcesContent":["import { parse, type Document } from '@agentshouse/mdmodel';\nimport { immutable, type Change, type ChangeBatch, type Precondition } from './change.js';\nimport {\n  parseCollection,\n  readCollection,\n  validateCollection,\n  type Collection,\n  type Composition,\n} from './collection.js';\nimport { overlay, overlayChanged, sameLayerText, type Layer } from './overlay.js';\nimport { providerRewritten, type Rewriting } from './save.js';\nimport { equalValue } from './room-draft.js';\nimport type { ReplicaRecord } from './store.js';\nimport type { Refused, Unconfirmed } from './transfer.js';\n\nexport type ConfirmedLayer = {\n  record: ReplicaRecord;\n  collection: Collection;\n};\n\nexport type VisibleLayer = Layer & {\n  collection: Collection;\n};\n\nexport type Staged = { kind: 'staged'; confirmed: ConfirmedLayer } | Refused | Unconfirmed;\n\nexport type Replica = {\n  confirmed: ConfirmedLayer;\n  queue: readonly ChangeBatch[];\n  visible: VisibleLayer;\n  replay: readonly ReplayStep[];\n};\n\ntype ReplayStep = {\n  id: string;\n  before: Layer;\n  after: Layer;\n  effective: ChangeBatch;\n  collection?: Collection;\n};\n\nexport function compositionOf(record: ReplicaRecord): Composition {\n  return {\n    collectionRoot: record.collectionRoot,\n    model: record.model,\n    selection:\n      record.typedSelection === null\n        ? null\n        : { roots: record.typedSelection.roots, model: record.selectionModel },\n  };\n}\n\nexport function readConfirmed(record: ReplicaRecord, previous?: ConfirmedLayer): Staged {\n  const read = readCollection(\n    record.documents,\n    compositionOf(record),\n    previous === undefined\n      ? undefined\n      : { text: previous.record.documents, collection: previous.collection },\n  );\n  return read.kind === 'read'\n    ? { kind: 'staged', confirmed: { record, collection: read.collection } }\n    : read;\n}\n\nexport function readStaged(record: ReplicaRecord, previous?: ConfirmedLayer): Staged {\n  if (\n    (record.model.status === 'current' || record.selectionModel.status === 'current') &&\n    (previous === undefined ||\n      !sameLayerText(record, previous.record) ||\n      record.model !== previous.record.model ||\n      record.selectionModel !== previous.record.selectionModel)\n  ) {\n    const verdict = validateCollection(\n      record.documents,\n      record.binaryTargets,\n      compositionOf(record),\n    );\n    if (verdict.verdict === 'refuse' && verdict.rule !== 'model-unavailable') {\n      return { kind: 'refused', refusal: verdict };\n    }\n  }\n  return readConfirmed(record, previous);\n}\n\nexport function applyReturned(\n  confirmed: ConfirmedLayer,\n  documents: Readonly<Record<string, string>>,\n  revisions: Readonly<Record<string, string>>,\n  removals: readonly string[],\n  roomVersion: string,\n): Staged {\n  const nextDocuments = { ...confirmed.record.documents, ...documents };\n  const nextRevisions = { ...confirmed.record.revisions, ...revisions };\n  const binaryTargets = new Set(confirmed.record.binaryTargets);\n  for (const path of removals) {\n    delete nextDocuments[path];\n    delete nextRevisions[path];\n    binaryTargets.delete(path);\n  }\n  return readStaged(\n    {\n      ...confirmed.record,\n      roomVersion,\n      documents: nextDocuments,\n      revisions: nextRevisions,\n      binaryTargets: [...binaryTargets].sort(),\n    },\n    confirmed,\n  );\n}\n\nfunction predicted(\n  confirmed: ConfirmedLayer,\n  batches: readonly ChangeBatch[],\n  previous?: Replica,\n): { layer: Layer; replay: readonly ReplayStep[] } {\n  const composition = compositionOf(confirmed.record);\n  let layer: Layer = confirmed.record;\n  const replay: ReplayStep[] = [];\n  const prior = new Map(previous?.replay.map((step) => [step.id, step]) ?? []);\n  for (const batch of batches) {\n    const before = layer;\n    const old = prior.get(batch.id);\n    const hasMove = batch.changes.some((change) => change.kind === 'move');\n    const reuseRewrite =\n      old?.collection !== undefined &&\n      sameLayerText(before, old.before) &&\n      old.collection.composition.collectionRoot === composition.collectionRoot &&\n      old.collection.composition.model === composition.model &&\n      old.collection.composition.selection?.model === composition.selection?.model &&\n      JSON.stringify(old.collection.composition.selection?.roots) ===\n        JSON.stringify(composition.selection?.roots);\n    const collection = hasMove\n      ? reuseRewrite\n        ? old.collection\n        : parseCollection(\n            before.documents,\n            composition,\n            old?.collection === undefined\n              ? { text: confirmed.record.documents, collection: confirmed.collection }\n              : { text: old.before.documents, collection: old.collection },\n          )\n      : undefined;\n    const effective =\n      collection === undefined\n        ? batch\n        : reuseRewrite\n          ? old.effective\n          : providerRewritten(batch, { ...before, collection });\n    layer =\n      old === undefined\n        ? overlay(before, [effective])\n        : overlayChanged(before, [effective], old.before, [old.effective], old.after);\n    replay.push({\n      id: batch.id,\n      before,\n      after: layer,\n      effective,\n      ...(collection === undefined ? {} : { collection }),\n    });\n  }\n  return { layer, replay };\n}\n\nexport function replicaOf(\n  confirmed: ConfirmedLayer,\n  queue: readonly ChangeBatch[],\n  rewriting: Rewriting,\n  previous?: Replica,\n): Replica {\n  const batches = Object.freeze(queue.map(immutable));\n  if (batches.length === 0) {\n    return {\n      confirmed,\n      queue: batches,\n      visible: {\n        documents: confirmed.record.documents,\n        binaryTargets: confirmed.record.binaryTargets,\n        revisions: confirmed.record.revisions,\n        collection: confirmed.collection,\n      },\n      replay: [],\n    };\n  }\n  const predictedState = rewriting === 'provider' ? predicted(confirmed, batches, previous) : null;\n  const layer =\n    rewriting === 'provider'\n      ? predictedState!.layer\n      : previous === undefined\n        ? overlay(confirmed.record, batches)\n        : overlayChanged(\n            confirmed.record,\n            batches,\n            previous.confirmed.record,\n            previous.queue,\n            previous.visible,\n          );\n  return {\n    confirmed,\n    queue: batches,\n    replay: predictedState?.replay ?? [],\n    visible: {\n      ...layer,\n      collection: parseCollection(\n        layer.documents,\n        compositionOf(confirmed.record),\n        previous === undefined\n          ? undefined\n          : { text: previous.visible.documents, collection: previous.visible.collection },\n      ),\n    },\n  };\n}\n\nfunction present(layer: Layer, path: string): boolean {\n  return layer.documents[path] !== undefined || layer.binaryTargets.includes(path);\n}\n\nfunction holds(layer: Layer, preconditions: readonly Precondition[]): boolean {\n  const parsed = new Map<string, Document | null>();\n  const documentAt = (path: string) => {\n    if (!parsed.has(path)) {\n      const text = layer.documents[path];\n      const opened = text === undefined ? null : parse(text, path);\n      parsed.set(path, opened?.ok === true ? opened.document : null);\n    }\n    return parsed.get(path) ?? null;\n  };\n  return preconditions.every((precondition) => {\n    const path = precondition.path;\n    if (precondition.kind === 'absent') return !present(layer, path);\n    if (precondition.kind === 'present') return present(layer, path);\n    if (precondition.kind === 'revision') {\n      return present(layer, path) && layer.revisions[path] === precondition.revision;\n    }\n    const document = documentAt(path);\n    if (document === null) return false;\n    if (precondition.kind === 'field') {\n      const value = Object.hasOwn(document.fields, precondition.name)\n        ? document.fields[precondition.name]\n        : undefined;\n      return equalValue(value, precondition.value);\n    }\n    if (precondition.kind === 'section') {\n      return (\n        Object.hasOwn(document.sections, precondition.name) &&\n        document.sections[precondition.name] === precondition.value\n      );\n    }\n    return document.preamble === precondition.value;\n  });\n}\n\nfunction effects(change: Change): readonly Precondition[] {\n  const path = change.path;\n  if (change.kind === 'field' || change.kind === 'section' || change.kind === 'preamble') {\n    return [change];\n  }\n  if (change.kind === 'create' && !('content' in change)) {\n    return [\n      { kind: 'present', path },\n      ...Object.entries(change.fields).map(([name, value]): Precondition => ({\n        kind: 'field',\n        path,\n        name,\n        value,\n      })),\n      ...Object.entries(change.sections).map(([name, value]): Precondition => ({\n        kind: 'section',\n        path,\n        name,\n        value,\n      })),\n    ];\n  }\n  if (change.kind === 'move') {\n    return [\n      { kind: 'absent', path },\n      { kind: 'present', path: change.to },\n    ];\n  }\n  return [{ kind: 'absent', path }];\n}\n\nfunction after(changes: readonly Change[], index: number, path: string): string | null {\n  let at = path;\n  for (const change of changes.slice(index + 1)) {\n    if (change.path !== at) continue;\n    if (change.kind === 'remove') return null;\n    if (change.kind === 'move') at = change.to;\n  }\n  return at;\n}\n\nexport function landed(batch: ChangeBatch, confirmed: ConfirmedLayer): boolean {\n  const layer = confirmed.record;\n  return batch.changes.every((change, index) => {\n    if (change.kind === 'replace' || (change.kind === 'create' && 'content' in change)) {\n      const at = after(batch.changes, index, change.path);\n      return at === null || layer.documents[at] === change.content;\n    }\n    return effects(change).every((effect) => {\n      if (effect.kind === 'absent') return holds(layer, [effect]);\n      const at = after(batch.changes, index, effect.path);\n      return at === null || holds(layer, [{ ...effect, path: at }]);\n    });\n  });\n}\n\nexport function withdrawals(\n  confirmed: ConfirmedLayer,\n  queue: readonly ChangeBatch[],\n  withdrawable: (batch: ChangeBatch) => boolean,\n  rewriting: Rewriting,\n): readonly ChangeBatch[] {\n  if (!queue.some(withdrawable)) return [];\n  const composition = compositionOf(confirmed.record);\n  let layer: Layer = confirmed.record;\n  const withdrawn: ChangeBatch[] = [];\n  for (const batch of queue) {\n    if (withdrawable(batch) && !holds(layer, batch.preconditions)) {\n      withdrawn.push(batch);\n      continue;\n    }\n    const effective =\n      rewriting === 'provider' && batch.changes.some((change) => change.kind === 'move')\n        ? providerRewritten(batch, {\n            ...layer,\n            collection: parseCollection(layer.documents, composition),\n          })\n        : batch;\n    layer = overlay(layer, [effective]);\n  }\n  return withdrawn;\n}\n"],"names":["parse","immutable","parseCollection","readCollection","validateCollection","overlay","overlayChanged","sameLayerText","providerRewritten","equalValue","compositionOf","record","collectionRoot","model","selection","typedSelection","roots","selectionModel","readConfirmed","previous","read","documents","undefined","text","collection","kind","confirmed","readStaged","status","verdict","binaryTargets","rule","refusal","applyReturned","revisions","removals","roomVersion","nextDocuments","nextRevisions","Set","path","delete","sort","predicted","batches","composition","layer","replay","prior","Map","map","step","id","batch","before","old","get","hasMove","changes","some","change","reuseRewrite","JSON","stringify","effective","after","push","replicaOf","queue","rewriting","Object","freeze","length","visible","predictedState","present","includes","holds","preconditions","parsed","documentAt","has","opened","set","ok","document","every","precondition","revision","value","hasOwn","fields","name","sections","preamble","effects","entries","to","index","at","slice","landed","content","effect","withdrawals","withdrawable","withdrawn"],"mappings":"AAAA,SAASA,KAAK,QAAuB,uBAAuB;AAC5D,SAASC,SAAS,QAA0D,cAAc;AAC1F,SACEC,eAAe,EACfC,cAAc,EACdC,kBAAkB,QAGb,kBAAkB;AACzB,SAASC,OAAO,EAAEC,cAAc,EAAEC,aAAa,QAAoB,eAAe;AAClF,SAASC,iBAAiB,QAAwB,YAAY;AAC9D,SAASC,UAAU,QAAQ,kBAAkB;AA8B7C,OAAO,SAASC,cAAcC,MAAqB;IACjD,OAAO;QACLC,gBAAgBD,OAAOC,cAAc;QACrCC,OAAOF,OAAOE,KAAK;QACnBC,WACEH,OAAOI,cAAc,KAAK,OACtB,OACA;YAAEC,OAAOL,OAAOI,cAAc,CAACC,KAAK;YAAEH,OAAOF,OAAOM,cAAc;QAAC;IAC3E;AACF;AAEA,OAAO,SAASC,cAAcP,MAAqB,EAAEQ,QAAyB;IAC5E,MAAMC,OAAOjB,eACXQ,OAAOU,SAAS,EAChBX,cAAcC,SACdQ,aAAaG,YACTA,YACA;QAAEC,MAAMJ,SAASR,MAAM,CAACU,SAAS;QAAEG,YAAYL,SAASK,UAAU;IAAC;IAEzE,OAAOJ,KAAKK,IAAI,KAAK,SACjB;QAAEA,MAAM;QAAUC,WAAW;YAAEf;YAAQa,YAAYJ,KAAKI,UAAU;QAAC;IAAE,IACrEJ;AACN;AAEA,OAAO,SAASO,WAAWhB,MAAqB,EAAEQ,QAAyB;IACzE,IACE,AAACR,CAAAA,OAAOE,KAAK,CAACe,MAAM,KAAK,aAAajB,OAAOM,cAAc,CAACW,MAAM,KAAK,SAAQ,KAC9ET,CAAAA,aAAaG,aACZ,CAACf,cAAcI,QAAQQ,SAASR,MAAM,KACtCA,OAAOE,KAAK,KAAKM,SAASR,MAAM,CAACE,KAAK,IACtCF,OAAOM,cAAc,KAAKE,SAASR,MAAM,CAACM,cAAc,AAAD,GACzD;QACA,MAAMY,UAAUzB,mBACdO,OAAOU,SAAS,EAChBV,OAAOmB,aAAa,EACpBpB,cAAcC;QAEhB,IAAIkB,QAAQA,OAAO,KAAK,YAAYA,QAAQE,IAAI,KAAK,qBAAqB;YACxE,OAAO;gBAAEN,MAAM;gBAAWO,SAASH;YAAQ;QAC7C;IACF;IACA,OAAOX,cAAcP,QAAQQ;AAC/B;AAEA,OAAO,SAASc,cACdP,SAAyB,EACzBL,SAA2C,EAC3Ca,SAA2C,EAC3CC,QAA2B,EAC3BC,WAAmB;IAEnB,MAAMC,gBAAgB;QAAE,GAAGX,UAAUf,MAAM,CAACU,SAAS;QAAE,GAAGA,SAAS;IAAC;IACpE,MAAMiB,gBAAgB;QAAE,GAAGZ,UAAUf,MAAM,CAACuB,SAAS;QAAE,GAAGA,SAAS;IAAC;IACpE,MAAMJ,gBAAgB,IAAIS,IAAIb,UAAUf,MAAM,CAACmB,aAAa;IAC5D,KAAK,MAAMU,QAAQL,SAAU;QAC3B,OAAOE,aAAa,CAACG,KAAK;QAC1B,OAAOF,aAAa,CAACE,KAAK;QAC1BV,cAAcW,MAAM,CAACD;IACvB;IACA,OAAOb,WACL;QACE,GAAGD,UAAUf,MAAM;QACnByB;QACAf,WAAWgB;QACXH,WAAWI;QACXR,eAAe;eAAIA;SAAc,CAACY,IAAI;IACxC,GACAhB;AAEJ;AAEA,SAASiB,UACPjB,SAAyB,EACzBkB,OAA+B,EAC/BzB,QAAkB;IAElB,MAAM0B,cAAcnC,cAAcgB,UAAUf,MAAM;IAClD,IAAImC,QAAepB,UAAUf,MAAM;IACnC,MAAMoC,SAAuB,EAAE;IAC/B,MAAMC,QAAQ,IAAIC,IAAI9B,UAAU4B,OAAOG,IAAI,CAACC,OAAS;YAACA,KAAKC,EAAE;YAAED;SAAK,KAAK,EAAE;IAC3E,KAAK,MAAME,SAAST,QAAS;QAC3B,MAAMU,SAASR;QACf,MAAMS,MAAMP,MAAMQ,GAAG,CAACH,MAAMD,EAAE;QAC9B,MAAMK,UAAUJ,MAAMK,OAAO,CAACC,IAAI,CAAC,CAACC,SAAWA,OAAOnC,IAAI,KAAK;QAC/D,MAAMoC,eACJN,KAAK/B,eAAeF,aACpBf,cAAc+C,QAAQC,IAAID,MAAM,KAChCC,IAAI/B,UAAU,CAACqB,WAAW,CAACjC,cAAc,KAAKiC,YAAYjC,cAAc,IACxE2C,IAAI/B,UAAU,CAACqB,WAAW,CAAChC,KAAK,KAAKgC,YAAYhC,KAAK,IACtD0C,IAAI/B,UAAU,CAACqB,WAAW,CAAC/B,SAAS,EAAED,UAAUgC,YAAY/B,SAAS,EAAED,SACvEiD,KAAKC,SAAS,CAACR,IAAI/B,UAAU,CAACqB,WAAW,CAAC/B,SAAS,EAAEE,WACnD8C,KAAKC,SAAS,CAAClB,YAAY/B,SAAS,EAAEE;QAC1C,MAAMQ,aAAaiC,UACfI,eACEN,IAAI/B,UAAU,GACdtB,gBACEoD,OAAOjC,SAAS,EAChBwB,aACAU,KAAK/B,eAAeF,YAChB;YAAEC,MAAMG,UAAUf,MAAM,CAACU,SAAS;YAAEG,YAAYE,UAAUF,UAAU;QAAC,IACrE;YAAED,MAAMgC,IAAID,MAAM,CAACjC,SAAS;YAAEG,YAAY+B,IAAI/B,UAAU;QAAC,KAEjEF;QACJ,MAAM0C,YACJxC,eAAeF,YACX+B,QACAQ,eACEN,IAAIS,SAAS,GACbxD,kBAAkB6C,OAAO;YAAE,GAAGC,MAAM;YAAE9B;QAAW;QACzDsB,QACES,QAAQjC,YACJjB,QAAQiD,QAAQ;YAACU;SAAU,IAC3B1D,eAAegD,QAAQ;YAACU;SAAU,EAAET,IAAID,MAAM,EAAE;YAACC,IAAIS,SAAS;SAAC,EAAET,IAAIU,KAAK;QAChFlB,OAAOmB,IAAI,CAAC;YACVd,IAAIC,MAAMD,EAAE;YACZE;YACAW,OAAOnB;YACPkB;YACA,GAAIxC,eAAeF,YAAY,CAAC,IAAI;gBAAEE;YAAW,CAAC;QACpD;IACF;IACA,OAAO;QAAEsB;QAAOC;IAAO;AACzB;AAEA,OAAO,SAASoB,UACdzC,SAAyB,EACzB0C,KAA6B,EAC7BC,SAAoB,EACpBlD,QAAkB;IAElB,MAAMyB,UAAU0B,OAAOC,MAAM,CAACH,MAAMlB,GAAG,CAACjD;IACxC,IAAI2C,QAAQ4B,MAAM,KAAK,GAAG;QACxB,OAAO;YACL9C;YACA0C,OAAOxB;YACP6B,SAAS;gBACPpD,WAAWK,UAAUf,MAAM,CAACU,SAAS;gBACrCS,eAAeJ,UAAUf,MAAM,CAACmB,aAAa;gBAC7CI,WAAWR,UAAUf,MAAM,CAACuB,SAAS;gBACrCV,YAAYE,UAAUF,UAAU;YAClC;YACAuB,QAAQ,EAAE;QACZ;IACF;IACA,MAAM2B,iBAAiBL,cAAc,aAAa1B,UAAUjB,WAAWkB,SAASzB,YAAY;IAC5F,MAAM2B,QACJuB,cAAc,aACVK,eAAgB5B,KAAK,GACrB3B,aAAaG,YACXjB,QAAQqB,UAAUf,MAAM,EAAEiC,WAC1BtC,eACEoB,UAAUf,MAAM,EAChBiC,SACAzB,SAASO,SAAS,CAACf,MAAM,EACzBQ,SAASiD,KAAK,EACdjD,SAASsD,OAAO;IAE1B,OAAO;QACL/C;QACA0C,OAAOxB;QACPG,QAAQ2B,gBAAgB3B,UAAU,EAAE;QACpC0B,SAAS;YACP,GAAG3B,KAAK;YACRtB,YAAYtB,gBACV4C,MAAMzB,SAAS,EACfX,cAAcgB,UAAUf,MAAM,GAC9BQ,aAAaG,YACTA,YACA;gBAAEC,MAAMJ,SAASsD,OAAO,CAACpD,SAAS;gBAAEG,YAAYL,SAASsD,OAAO,CAACjD,UAAU;YAAC;QAEpF;IACF;AACF;AAEA,SAASmD,QAAQ7B,KAAY,EAAEN,IAAY;IACzC,OAAOM,MAAMzB,SAAS,CAACmB,KAAK,KAAKlB,aAAawB,MAAMhB,aAAa,CAAC8C,QAAQ,CAACpC;AAC7E;AAEA,SAASqC,MAAM/B,KAAY,EAAEgC,aAAsC;IACjE,MAAMC,SAAS,IAAI9B;IACnB,MAAM+B,aAAa,CAACxC;QAClB,IAAI,CAACuC,OAAOE,GAAG,CAACzC,OAAO;YACrB,MAAMjB,OAAOuB,MAAMzB,SAAS,CAACmB,KAAK;YAClC,MAAM0C,SAAS3D,SAASD,YAAY,OAAOtB,MAAMuB,MAAMiB;YACvDuC,OAAOI,GAAG,CAAC3C,MAAM0C,QAAQE,OAAO,OAAOF,OAAOG,QAAQ,GAAG;QAC3D;QACA,OAAON,OAAOvB,GAAG,CAAChB,SAAS;IAC7B;IACA,OAAOsC,cAAcQ,KAAK,CAAC,CAACC;QAC1B,MAAM/C,OAAO+C,aAAa/C,IAAI;QAC9B,IAAI+C,aAAa9D,IAAI,KAAK,UAAU,OAAO,CAACkD,QAAQ7B,OAAON;QAC3D,IAAI+C,aAAa9D,IAAI,KAAK,WAAW,OAAOkD,QAAQ7B,OAAON;QAC3D,IAAI+C,aAAa9D,IAAI,KAAK,YAAY;YACpC,OAAOkD,QAAQ7B,OAAON,SAASM,MAAMZ,SAAS,CAACM,KAAK,KAAK+C,aAAaC,QAAQ;QAChF;QACA,MAAMH,WAAWL,WAAWxC;QAC5B,IAAI6C,aAAa,MAAM,OAAO;QAC9B,IAAIE,aAAa9D,IAAI,KAAK,SAAS;YACjC,MAAMgE,QAAQnB,OAAOoB,MAAM,CAACL,SAASM,MAAM,EAAEJ,aAAaK,IAAI,IAC1DP,SAASM,MAAM,CAACJ,aAAaK,IAAI,CAAC,GAClCtE;YACJ,OAAOb,WAAWgF,OAAOF,aAAaE,KAAK;QAC7C;QACA,IAAIF,aAAa9D,IAAI,KAAK,WAAW;YACnC,OACE6C,OAAOoB,MAAM,CAACL,SAASQ,QAAQ,EAAEN,aAAaK,IAAI,KAClDP,SAASQ,QAAQ,CAACN,aAAaK,IAAI,CAAC,KAAKL,aAAaE,KAAK;QAE/D;QACA,OAAOJ,SAASS,QAAQ,KAAKP,aAAaE,KAAK;IACjD;AACF;AAEA,SAASM,QAAQnC,MAAc;IAC7B,MAAMpB,OAAOoB,OAAOpB,IAAI;IACxB,IAAIoB,OAAOnC,IAAI,KAAK,WAAWmC,OAAOnC,IAAI,KAAK,aAAamC,OAAOnC,IAAI,KAAK,YAAY;QACtF,OAAO;YAACmC;SAAO;IACjB;IACA,IAAIA,OAAOnC,IAAI,KAAK,YAAY,CAAE,CAAA,aAAamC,MAAK,GAAI;QACtD,OAAO;YACL;gBAAEnC,MAAM;gBAAWe;YAAK;eACrB8B,OAAO0B,OAAO,CAACpC,OAAO+B,MAAM,EAAEzC,GAAG,CAAC,CAAC,CAAC0C,MAAMH,MAAM,GAAoB,CAAA;oBACrEhE,MAAM;oBACNe;oBACAoD;oBACAH;gBACF,CAAA;eACGnB,OAAO0B,OAAO,CAACpC,OAAOiC,QAAQ,EAAE3C,GAAG,CAAC,CAAC,CAAC0C,MAAMH,MAAM,GAAoB,CAAA;oBACvEhE,MAAM;oBACNe;oBACAoD;oBACAH;gBACF,CAAA;SACD;IACH;IACA,IAAI7B,OAAOnC,IAAI,KAAK,QAAQ;QAC1B,OAAO;YACL;gBAAEA,MAAM;gBAAUe;YAAK;YACvB;gBAAEf,MAAM;gBAAWe,MAAMoB,OAAOqC,EAAE;YAAC;SACpC;IACH;IACA,OAAO;QAAC;YAAExE,MAAM;YAAUe;QAAK;KAAE;AACnC;AAEA,SAASyB,MAAMP,OAA0B,EAAEwC,KAAa,EAAE1D,IAAY;IACpE,IAAI2D,KAAK3D;IACT,KAAK,MAAMoB,UAAUF,QAAQ0C,KAAK,CAACF,QAAQ,GAAI;QAC7C,IAAItC,OAAOpB,IAAI,KAAK2D,IAAI;QACxB,IAAIvC,OAAOnC,IAAI,KAAK,UAAU,OAAO;QACrC,IAAImC,OAAOnC,IAAI,KAAK,QAAQ0E,KAAKvC,OAAOqC,EAAE;IAC5C;IACA,OAAOE;AACT;AAEA,OAAO,SAASE,OAAOhD,KAAkB,EAAE3B,SAAyB;IAClE,MAAMoB,QAAQpB,UAAUf,MAAM;IAC9B,OAAO0C,MAAMK,OAAO,CAAC4B,KAAK,CAAC,CAAC1B,QAAQsC;QAClC,IAAItC,OAAOnC,IAAI,KAAK,aAAcmC,OAAOnC,IAAI,KAAK,YAAY,aAAamC,QAAS;YAClF,MAAMuC,KAAKlC,MAAMZ,MAAMK,OAAO,EAAEwC,OAAOtC,OAAOpB,IAAI;YAClD,OAAO2D,OAAO,QAAQrD,MAAMzB,SAAS,CAAC8E,GAAG,KAAKvC,OAAO0C,OAAO;QAC9D;QACA,OAAOP,QAAQnC,QAAQ0B,KAAK,CAAC,CAACiB;YAC5B,IAAIA,OAAO9E,IAAI,KAAK,UAAU,OAAOoD,MAAM/B,OAAO;gBAACyD;aAAO;YAC1D,MAAMJ,KAAKlC,MAAMZ,MAAMK,OAAO,EAAEwC,OAAOK,OAAO/D,IAAI;YAClD,OAAO2D,OAAO,QAAQtB,MAAM/B,OAAO;gBAAC;oBAAE,GAAGyD,MAAM;oBAAE/D,MAAM2D;gBAAG;aAAE;QAC9D;IACF;AACF;AAEA,OAAO,SAASK,YACd9E,SAAyB,EACzB0C,KAA6B,EAC7BqC,YAA6C,EAC7CpC,SAAoB;IAEpB,IAAI,CAACD,MAAMT,IAAI,CAAC8C,eAAe,OAAO,EAAE;IACxC,MAAM5D,cAAcnC,cAAcgB,UAAUf,MAAM;IAClD,IAAImC,QAAepB,UAAUf,MAAM;IACnC,MAAM+F,YAA2B,EAAE;IACnC,KAAK,MAAMrD,SAASe,MAAO;QACzB,IAAIqC,aAAapD,UAAU,CAACwB,MAAM/B,OAAOO,MAAMyB,aAAa,GAAG;YAC7D4B,UAAUxC,IAAI,CAACb;YACf;QACF;QACA,MAAMW,YACJK,cAAc,cAAchB,MAAMK,OAAO,CAACC,IAAI,CAAC,CAACC,SAAWA,OAAOnC,IAAI,KAAK,UACvEjB,kBAAkB6C,OAAO;YACvB,GAAGP,KAAK;YACRtB,YAAYtB,gBAAgB4C,MAAMzB,SAAS,EAAEwB;QAC/C,KACAQ;QACNP,QAAQzC,QAAQyC,OAAO;YAACkB;SAAU;IACpC;IACA,OAAO0C;AACT"}

package/dist/room-draft.d.ts

@@ -0,0 +1,124 @@
+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 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,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,CAqChE"}