@agentshouse/mdruntime 0.1.0-alpha.5 → 0.1.0-alpha.50

package/dist/refresh.js.map

@@ -1 +1 @@
-{"version":3,"sources":["/workspace/packages/mdruntime/src/refresh.ts"],"sourcesContent":["import type { Adapter, AdapterFailure, Authorization, RefreshPage } from './adapter.js';\nimport { readConfirmed, type ConfirmedLayer } from './replica.js';\nimport { unconfirmed, type Unconfirmed } from './transfer.js';\n\nexport type RefreshOutcome =\n  | { kind: 'still-current' }\n  | { kind: 'advanced'; confirmed: ConfirmedLayer }\n  | { kind: 'beyond-horizon' }\n  | Unconfirmed\n  | AdapterFailure;\n\nexport async function refreshRoom(\n  adapter: Adapter,\n  authorization: Authorization,\n  confirmed: ConfirmedLayer,\n): Promise<RefreshOutcome> {\n  const locator = confirmed.record.locator;\n  const fromRoomVersion = confirmed.record.roomVersion;\n  const first = await adapter.refresh(authorization, { locator, fromRoomVersion });\n  if (first.kind !== 'net-advancement') return first;\n  const roomVersion = first.roomVersion;\n  const documents: Record<string, string> = { ...confirmed.record.documents };\n  const revisions: Record<string, string> = { ...confirmed.record.revisions };\n  const binaryTargets = new Set(confirmed.record.binaryTargets);\n  const stage = (page: RefreshPage) => {\n    Object.assign(documents, page.documents);\n    Object.assign(revisions, page.revisions);\n    for (const path of Object.keys(page.documents)) binaryTargets.delete(path);\n    for (const target of page.binaryTargets) {\n      delete documents[target];\n      delete revisions[target];\n      binaryTargets.add(target);\n    }\n    for (const path of page.removals) {\n      delete documents[path];\n      delete revisions[path];\n      binaryTargets.delete(path);\n    }\n  };\n  stage(first);\n  let pageToken = first.pageToken;\n  while (pageToken !== undefined) {\n    const page = await adapter.refresh(authorization, { locator, fromRoomVersion, pageToken });\n    if (page.kind === 'still-current' || page.kind === 'beyond-horizon') return unconfirmed;\n    if (page.kind !== 'net-advancement') return page;\n    if (page.roomVersion !== roomVersion) return unconfirmed;\n    stage(page);\n    pageToken = page.pageToken;\n  }\n  const advanced = readConfirmed({\n    ...confirmed.record,\n    roomVersion,\n    documents,\n    binaryTargets: [...binaryTargets].sort(),\n    revisions,\n  });\n  return advanced === null ? unconfirmed : { kind: 'advanced', confirmed: advanced };\n}\n"],"names":["readConfirmed","unconfirmed","refreshRoom","adapter","authorization","confirmed","locator","record","fromRoomVersion","roomVersion","first","refresh","kind","documents","revisions","binaryTargets","Set","stage","page","Object","assign","path","keys","delete","target","add","removals","pageToken","undefined","advanced","sort"],"mappings":"AACA,SAASA,aAAa,QAA6B,eAAe;AAClE,SAASC,WAAW,QAA0B,gBAAgB;AAS9D,OAAO,eAAeC,YACpBC,OAAgB,EAChBC,aAA4B,EAC5BC,SAAyB;IAEzB,MAAMC,UAAUD,UAAUE,MAAM,CAACD,OAAO;IACxC,MAAME,kBAAkBH,UAAUE,MAAM,CAACE,WAAW;IACpD,MAAMC,QAAQ,MAAMP,QAAQQ,OAAO,CAACP,eAAe;QAAEE;QAASE;IAAgB;IAC9E,IAAIE,MAAME,IAAI,KAAK,mBAAmB,OAAOF;IAC7C,MAAMD,cAAcC,MAAMD,WAAW;IACrC,MAAMI,YAAoC;QAAE,GAAGR,UAAUE,MAAM,CAACM,SAAS;IAAC;IAC1E,MAAMC,YAAoC;QAAE,GAAGT,UAAUE,MAAM,CAACO,SAAS;IAAC;IAC1E,MAAMC,gBAAgB,IAAIC,IAAIX,UAAUE,MAAM,CAACQ,aAAa;IAC5D,MAAME,QAAQ,CAACC;QACbC,OAAOC,MAAM,CAACP,WAAWK,KAAKL,SAAS;QACvCM,OAAOC,MAAM,CAACN,WAAWI,KAAKJ,SAAS;QACvC,KAAK,MAAMO,QAAQF,OAAOG,IAAI,CAACJ,KAAKL,SAAS,EAAGE,cAAcQ,MAAM,CAACF;QACrE,KAAK,MAAMG,UAAUN,KAAKH,aAAa,CAAE;YACvC,OAAOF,SAAS,CAACW,OAAO;YACxB,OAAOV,SAAS,CAACU,OAAO;YACxBT,cAAcU,GAAG,CAACD;QACpB;QACA,KAAK,MAAMH,QAAQH,KAAKQ,QAAQ,CAAE;YAChC,OAAOb,SAAS,CAACQ,KAAK;YACtB,OAAOP,SAAS,CAACO,KAAK;YACtBN,cAAcQ,MAAM,CAACF;QACvB;IACF;IACAJ,MAAMP;IACN,IAAIiB,YAAYjB,MAAMiB,SAAS;IAC/B,MAAOA,cAAcC,UAAW;QAC9B,MAAMV,OAAO,MAAMf,QAAQQ,OAAO,CAACP,eAAe;YAAEE;YAASE;YAAiBmB;QAAU;QACxF,IAAIT,KAAKN,IAAI,KAAK,mBAAmBM,KAAKN,IAAI,KAAK,kBAAkB,OAAOX;QAC5E,IAAIiB,KAAKN,IAAI,KAAK,mBAAmB,OAAOM;QAC5C,IAAIA,KAAKT,WAAW,KAAKA,aAAa,OAAOR;QAC7CgB,MAAMC;QACNS,YAAYT,KAAKS,SAAS;IAC5B;IACA,MAAME,WAAW7B,cAAc;QAC7B,GAAGK,UAAUE,MAAM;QACnBE;QACAI;QACAE,eAAe;eAAIA;SAAc,CAACe,IAAI;QACtChB;IACF;IACA,OAAOe,aAAa,OAAO5B,cAAc;QAAEW,MAAM;QAAYP,WAAWwB;IAAS;AACnF"}
+{"version":3,"sources":["/workspace/packages/mdruntime/src/refresh.ts"],"sourcesContent":["import type {\n  Adapter,\n  AdapterFailure,\n  Authorization,\n  HeadChange,\n  RefreshPage,\n  RetryableRefusal,\n  RoomAttachment,\n} from './adapter.js';\nimport { declaredAttachments } from './attachment.js';\nimport { readStaged, type ConfirmedLayer } from './replica.js';\nimport { unconfirmed, type Refused, type Unconfirmed } from './transfer.js';\n\nexport type RefreshOutcome =\n  | { kind: 'still-current' }\n  | { kind: 'advanced'; confirmed: ConfirmedLayer }\n  | { kind: 'beyond-horizon' }\n  | RetryableRefusal\n  | Unconfirmed\n  | Refused\n  | AdapterFailure;\n\nexport async function refreshRoom(\n  adapter: Adapter,\n  authorization: Authorization,\n  confirmed: ConfirmedLayer,\n  continuing: () => boolean,\n  minPosition: string | undefined,\n): Promise<RefreshOutcome> {\n  const locator = confirmed.record.locator;\n  const fromRoomVersion = confirmed.record.roomVersion;\n  const first = await adapter.refresh(authorization, {\n    locator,\n    selection: confirmed.record.replica.selection,\n    fromRoomVersion,\n    ...(minPosition === undefined ? {} : { minPosition }),\n  });\n  if (first.kind !== 'net-advancement') return first;\n  const roomVersion = first.roomVersion;\n  const documents: Record<string, string> = { ...confirmed.record.documents };\n  const revisions: Record<string, string> = { ...confirmed.record.revisions };\n  const changes: Record<string, HeadChange> = { ...confirmed.record.changes };\n  const written: Record<string, string> = { ...confirmed.record.written };\n  const binaryTargets = new Set(confirmed.record.binaryTargets);\n  const attachments: (readonly RoomAttachment[])[] = [];\n  const stage = (page: RefreshPage) => {\n    if (page.attachments !== undefined) attachments.push(page.attachments);\n    Object.assign(documents, page.documents);\n    Object.assign(revisions, page.revisions);\n    for (const path of Object.keys(page.documents)) {\n      binaryTargets.delete(path);\n      delete changes[path];\n      written[path] = roomVersion;\n    }\n    for (const target of page.binaryTargets) {\n      delete documents[target];\n      delete revisions[target];\n      delete changes[target];\n      delete written[target];\n      binaryTargets.add(target);\n    }\n    Object.assign(changes, page.changes);\n    for (const path of page.removals) {\n      delete documents[path];\n      delete revisions[path];\n      delete changes[path];\n      delete written[path];\n      binaryTargets.delete(path);\n    }\n  };\n  stage(first);\n  let pageToken = first.pageToken;\n  while (pageToken !== undefined) {\n    if (!continuing()) return unconfirmed;\n    const page = await adapter.refresh(authorization, {\n      locator,\n      selection: confirmed.record.replica.selection,\n      fromRoomVersion,\n      ...(minPosition === undefined ? {} : { minPosition }),\n      pageToken,\n    });\n    if (page.kind === 'still-current' || page.kind === 'beyond-horizon') return unconfirmed;\n    if (page.kind !== 'net-advancement') return page;\n    if (page.roomVersion !== roomVersion) return unconfirmed;\n    stage(page);\n    pageToken = page.pageToken;\n  }\n  const staged = readStaged(\n    {\n      ...confirmed.record,\n      roomVersion,\n      documents,\n      binaryTargets: [...binaryTargets].sort(),\n      revisions,\n      changes,\n      written,\n      attachments:\n        attachments.length === 0 ? confirmed.record.attachments : declaredAttachments(attachments),\n    },\n    confirmed,\n  );\n  return staged.kind === 'staged' ? { kind: 'advanced', confirmed: staged.confirmed } : staged;\n}\n"],"names":["declaredAttachments","readStaged","unconfirmed","refreshRoom","adapter","authorization","confirmed","continuing","minPosition","locator","record","fromRoomVersion","roomVersion","first","refresh","selection","replica","undefined","kind","documents","revisions","changes","written","binaryTargets","Set","attachments","stage","page","push","Object","assign","path","keys","delete","target","add","removals","pageToken","staged","sort","length"],"mappings":"AASA,SAASA,mBAAmB,QAAQ,kBAAkB;AACtD,SAASC,UAAU,QAA6B,eAAe;AAC/D,SAASC,WAAW,QAAwC,gBAAgB;AAW5E,OAAO,eAAeC,YACpBC,OAAgB,EAChBC,aAA4B,EAC5BC,SAAyB,EACzBC,UAAyB,EACzBC,WAA+B;IAE/B,MAAMC,UAAUH,UAAUI,MAAM,CAACD,OAAO;IACxC,MAAME,kBAAkBL,UAAUI,MAAM,CAACE,WAAW;IACpD,MAAMC,QAAQ,MAAMT,QAAQU,OAAO,CAACT,eAAe;QACjDI;QACAM,WAAWT,UAAUI,MAAM,CAACM,OAAO,CAACD,SAAS;QAC7CJ;QACA,GAAIH,gBAAgBS,YAAY,CAAC,IAAI;YAAET;QAAY,CAAC;IACtD;IACA,IAAIK,MAAMK,IAAI,KAAK,mBAAmB,OAAOL;IAC7C,MAAMD,cAAcC,MAAMD,WAAW;IACrC,MAAMO,YAAoC;QAAE,GAAGb,UAAUI,MAAM,CAACS,SAAS;IAAC;IAC1E,MAAMC,YAAoC;QAAE,GAAGd,UAAUI,MAAM,CAACU,SAAS;IAAC;IAC1E,MAAMC,UAAsC;QAAE,GAAGf,UAAUI,MAAM,CAACW,OAAO;IAAC;IAC1E,MAAMC,UAAkC;QAAE,GAAGhB,UAAUI,MAAM,CAACY,OAAO;IAAC;IACtE,MAAMC,gBAAgB,IAAIC,IAAIlB,UAAUI,MAAM,CAACa,aAAa;IAC5D,MAAME,cAA6C,EAAE;IACrD,MAAMC,QAAQ,CAACC;QACb,IAAIA,KAAKF,WAAW,KAAKR,WAAWQ,YAAYG,IAAI,CAACD,KAAKF,WAAW;QACrEI,OAAOC,MAAM,CAACX,WAAWQ,KAAKR,SAAS;QACvCU,OAAOC,MAAM,CAACV,WAAWO,KAAKP,SAAS;QACvC,KAAK,MAAMW,QAAQF,OAAOG,IAAI,CAACL,KAAKR,SAAS,EAAG;YAC9CI,cAAcU,MAAM,CAACF;YACrB,OAAOV,OAAO,CAACU,KAAK;YACpBT,OAAO,CAACS,KAAK,GAAGnB;QAClB;QACA,KAAK,MAAMsB,UAAUP,KAAKJ,aAAa,CAAE;YACvC,OAAOJ,SAAS,CAACe,OAAO;YACxB,OAAOd,SAAS,CAACc,OAAO;YACxB,OAAOb,OAAO,CAACa,OAAO;YACtB,OAAOZ,OAAO,CAACY,OAAO;YACtBX,cAAcY,GAAG,CAACD;QACpB;QACAL,OAAOC,MAAM,CAACT,SAASM,KAAKN,OAAO;QACnC,KAAK,MAAMU,QAAQJ,KAAKS,QAAQ,CAAE;YAChC,OAAOjB,SAAS,CAACY,KAAK;YACtB,OAAOX,SAAS,CAACW,KAAK;YACtB,OAAOV,OAAO,CAACU,KAAK;YACpB,OAAOT,OAAO,CAACS,KAAK;YACpBR,cAAcU,MAAM,CAACF;QACvB;IACF;IACAL,MAAMb;IACN,IAAIwB,YAAYxB,MAAMwB,SAAS;IAC/B,MAAOA,cAAcpB,UAAW;QAC9B,IAAI,CAACV,cAAc,OAAOL;QAC1B,MAAMyB,OAAO,MAAMvB,QAAQU,OAAO,CAACT,eAAe;YAChDI;YACAM,WAAWT,UAAUI,MAAM,CAACM,OAAO,CAACD,SAAS;YAC7CJ;YACA,GAAIH,gBAAgBS,YAAY,CAAC,IAAI;gBAAET;YAAY,CAAC;YACpD6B;QACF;QACA,IAAIV,KAAKT,IAAI,KAAK,mBAAmBS,KAAKT,IAAI,KAAK,kBAAkB,OAAOhB;QAC5E,IAAIyB,KAAKT,IAAI,KAAK,mBAAmB,OAAOS;QAC5C,IAAIA,KAAKf,WAAW,KAAKA,aAAa,OAAOV;QAC7CwB,MAAMC;QACNU,YAAYV,KAAKU,SAAS;IAC5B;IACA,MAAMC,SAASrC,WACb;QACE,GAAGK,UAAUI,MAAM;QACnBE;QACAO;QACAI,eAAe;eAAIA;SAAc,CAACgB,IAAI;QACtCnB;QACAC;QACAC;QACAG,aACEA,YAAYe,MAAM,KAAK,IAAIlC,UAAUI,MAAM,CAACe,WAAW,GAAGzB,oBAAoByB;IAClF,GACAnB;IAEF,OAAOgC,OAAOpB,IAAI,KAAK,WAAW;QAAEA,MAAM;QAAYZ,WAAWgC,OAAOhC,SAAS;IAAC,IAAIgC;AACxF"}

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 } from './transfer.js';
 export type ConfirmedLayer = {
     record: ReplicaRecord;
     collection: Collection;
@@ -9,12 +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, 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 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 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,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,CAShE;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,CAMnF;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,MAAM,GAClB,MAAM,CA+BR;AAwDD,wBAAgB,SAAS,CACvB,SAAS,EAAE,cAAc,EACzB,KAAK,EAAE,SAAS,WAAW,EAAE,EAC7B,SAAS,EAAE,SAAS,EACpB,QAAQ,CAAC,EAAE,OAAO,GACjB,OAAO,CA4CT;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,11 +1,55 @@
+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 {
+        model: record.model,
+        selection: record.typedSelection === null ? null : {
+            roots: record.typedSelection.roots,
+            model: record.selectionModel
+        },
+        untypedFolders: record.untypedFolders
+    };
+}
+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 sameMembership(record, other) {
+    return JSON.stringify(record.untypedFolders) === JSON.stringify(other.untypedFolders) && JSON.stringify(record.typedSelection?.roots ?? null) === JSON.stringify(other.typedSelection?.roots ?? null);
+}
+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 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, roomVersion) {
@@ -17,23 +61,86 @@ export function applyReturned(confirmed, documents, revisions, removals, roomVer
         ...confirmed.record.revisions,
         ...revisions
     };
+    const nextChanges = {
+        ...confirmed.record.changes
+    };
+    const nextWritten = {
+        ...confirmed.record.written,
+        ...Object.fromEntries(Object.keys(documents).map((path)=>[
+                path,
+                roomVersion
+            ]))
+    };
     const binaryTargets = new Set(confirmed.record.binaryTargets);
+    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 readConfirmed({
+    return readStaged({
         ...confirmed.record,
         roomVersion,
         documents: nextDocuments,
         revisions: nextRevisions,
+        changes: nextChanges,
+        written: nextWritten,
         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) && JSON.stringify(old.collection.composition.untypedFolders) === JSON.stringify(composition.untypedFolders) && 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 {
@@ -43,19 +150,154 @@ export function replicaOf(confirmed, queue) {
                 documents: confirmed.record.documents,
                 binaryTargets: confirmed.record.binaryTargets,
                 revisions: confirmed.record.revisions,
+                changes: confirmed.record.changes,
                 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 } 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;\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    model: record.model,\n    selection:\n      record.typedSelection === null\n        ? null\n        : { roots: record.typedSelection.roots, model: record.selectionModel },\n    untypedFolders: record.untypedFolders,\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 sameMembership(record: ReplicaRecord, other: ReplicaRecord): boolean {\n  return (\n    JSON.stringify(record.untypedFolders) === JSON.stringify(other.untypedFolders) &&\n    JSON.stringify(record.typedSelection?.roots ?? null) ===\n      JSON.stringify(other.typedSelection?.roots ?? null)\n  );\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 readReclassified(\n  record: ReplicaRecord,\n  previous: ConfirmedLayer,\n): Staged | { kind: 'deferred' } {\n  const verdict = validateCollection(record.documents, record.binaryTargets, compositionOf(record));\n  if (verdict.verdict !== 'refuse') return readConfirmed(record, previous);\n  return verdict.rule === 'model-unavailable'\n    ? { kind: 'deferred' }\n    : { kind: 'refused', refusal: verdict };\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 nextChanges = { ...confirmed.record.changes };\n  const nextWritten = {\n    ...confirmed.record.written,\n    ...Object.fromEntries(Object.keys(documents).map((path) => [path, roomVersion])),\n  };\n  const binaryTargets = new Set(confirmed.record.binaryTargets);\n  for (const [path, revision] of Object.entries(revisions)) {\n    if (confirmed.record.revisions[path] !== revision) delete nextChanges[path];\n  }\n  for (const path of removals) {\n    delete nextDocuments[path];\n    delete nextRevisions[path];\n    delete nextChanges[path];\n    delete nextWritten[path];\n    binaryTargets.delete(path);\n  }\n  return readStaged(\n    {\n      ...confirmed.record,\n      roomVersion,\n      documents: nextDocuments,\n      revisions: nextRevisions,\n      changes: nextChanges,\n      written: nextWritten,\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      JSON.stringify(old.collection.composition.untypedFolders) ===\n        JSON.stringify(composition.untypedFolders) &&\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        changes: confirmed.record.changes,\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","model","selection","typedSelection","roots","selectionModel","untypedFolders","readConfirmed","previous","read","documents","undefined","text","collection","kind","confirmed","sameMembership","other","JSON","stringify","readStaged","status","verdict","binaryTargets","rule","refusal","readReclassified","applyReturned","revisions","removals","roomVersion","nextDocuments","nextRevisions","nextChanges","changes","nextWritten","written","Object","fromEntries","keys","map","path","Set","revision","entries","delete","sort","predicted","batches","composition","layer","replay","prior","Map","step","id","batch","before","old","get","hasMove","some","change","reuseRewrite","effective","after","push","replicaOf","queue","rewriting","freeze","length","visible","predictedState","present","includes","holds","preconditions","parsed","documentAt","has","opened","set","ok","document","every","precondition","value","hasOwn","fields","name","sections","preamble","effects","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,OAAOD,OAAOC,KAAK;QACnBC,WACEF,OAAOG,cAAc,KAAK,OACtB,OACA;YAAEC,OAAOJ,OAAOG,cAAc,CAACC,KAAK;YAAEH,OAAOD,OAAOK,cAAc;QAAC;QACzEC,gBAAgBN,OAAOM,cAAc;IACvC;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,eAAehB,MAAqB,EAAEiB,KAAoB;IACxE,OACEC,KAAKC,SAAS,CAACnB,OAAOM,cAAc,MAAMY,KAAKC,SAAS,CAACF,MAAMX,cAAc,KAC7EY,KAAKC,SAAS,CAACnB,OAAOG,cAAc,EAAEC,SAAS,UAC7Cc,KAAKC,SAAS,CAACF,MAAMd,cAAc,EAAEC,SAAS;AAEpD;AAEA,OAAO,SAASgB,WAAWpB,MAAqB,EAAEQ,QAAyB;IACzE,IACE,AAACR,CAAAA,OAAOC,KAAK,CAACoB,MAAM,KAAK,aAAarB,OAAOK,cAAc,CAACgB,MAAM,KAAK,SAAQ,KAC9Eb,CAAAA,aAAaG,aACZ,CAACf,cAAcI,QAAQQ,SAASR,MAAM,KACtCA,OAAOC,KAAK,KAAKO,SAASR,MAAM,CAACC,KAAK,IACtCD,OAAOK,cAAc,KAAKG,SAASR,MAAM,CAACK,cAAc,AAAD,GACzD;QACA,MAAMiB,UAAU7B,mBACdO,OAAOU,SAAS,EAChBV,OAAOuB,aAAa,EACpBxB,cAAcC;QAEhB,IAAIsB,QAAQA,OAAO,KAAK,YAAYA,QAAQE,IAAI,KAAK,qBAAqB;YACxE,OAAO;gBAAEV,MAAM;gBAAWW,SAASH;YAAQ;QAC7C;IACF;IACA,OAAOf,cAAcP,QAAQQ;AAC/B;AAEA,OAAO,SAASkB,iBACd1B,MAAqB,EACrBQ,QAAwB;IAExB,MAAMc,UAAU7B,mBAAmBO,OAAOU,SAAS,EAAEV,OAAOuB,aAAa,EAAExB,cAAcC;IACzF,IAAIsB,QAAQA,OAAO,KAAK,UAAU,OAAOf,cAAcP,QAAQQ;IAC/D,OAAOc,QAAQE,IAAI,KAAK,sBACpB;QAAEV,MAAM;IAAW,IACnB;QAAEA,MAAM;QAAWW,SAASH;IAAQ;AAC1C;AAEA,OAAO,SAASK,cACdZ,SAAyB,EACzBL,SAA2C,EAC3CkB,SAA2C,EAC3CC,QAA2B,EAC3BC,WAAmB;IAEnB,MAAMC,gBAAgB;QAAE,GAAGhB,UAAUf,MAAM,CAACU,SAAS;QAAE,GAAGA,SAAS;IAAC;IACpE,MAAMsB,gBAAgB;QAAE,GAAGjB,UAAUf,MAAM,CAAC4B,SAAS;QAAE,GAAGA,SAAS;IAAC;IACpE,MAAMK,cAAc;QAAE,GAAGlB,UAAUf,MAAM,CAACkC,OAAO;IAAC;IAClD,MAAMC,cAAc;QAClB,GAAGpB,UAAUf,MAAM,CAACoC,OAAO;QAC3B,GAAGC,OAAOC,WAAW,CAACD,OAAOE,IAAI,CAAC7B,WAAW8B,GAAG,CAAC,CAACC,OAAS;gBAACA;gBAAMX;aAAY,EAAE;IAClF;IACA,MAAMP,gBAAgB,IAAImB,IAAI3B,UAAUf,MAAM,CAACuB,aAAa;IAC5D,KAAK,MAAM,CAACkB,MAAME,SAAS,IAAIN,OAAOO,OAAO,CAAChB,WAAY;QACxD,IAAIb,UAAUf,MAAM,CAAC4B,SAAS,CAACa,KAAK,KAAKE,UAAU,OAAOV,WAAW,CAACQ,KAAK;IAC7E;IACA,KAAK,MAAMA,QAAQZ,SAAU;QAC3B,OAAOE,aAAa,CAACU,KAAK;QAC1B,OAAOT,aAAa,CAACS,KAAK;QAC1B,OAAOR,WAAW,CAACQ,KAAK;QACxB,OAAON,WAAW,CAACM,KAAK;QACxBlB,cAAcsB,MAAM,CAACJ;IACvB;IACA,OAAOrB,WACL;QACE,GAAGL,UAAUf,MAAM;QACnB8B;QACApB,WAAWqB;QACXH,WAAWI;QACXE,SAASD;QACTG,SAASD;QACTZ,eAAe;eAAIA;SAAc,CAACuB,IAAI;IACxC,GACA/B;AAEJ;AAEA,SAASgC,UACPhC,SAAyB,EACzBiC,OAA+B,EAC/BxC,QAAkB;IAElB,MAAMyC,cAAclD,cAAcgB,UAAUf,MAAM;IAClD,IAAIkD,QAAenC,UAAUf,MAAM;IACnC,MAAMmD,SAAuB,EAAE;IAC/B,MAAMC,QAAQ,IAAIC,IAAI7C,UAAU2C,OAAOX,IAAI,CAACc,OAAS;YAACA,KAAKC,EAAE;YAAED;SAAK,KAAK,EAAE;IAC3E,KAAK,MAAME,SAASR,QAAS;QAC3B,MAAMS,SAASP;QACf,MAAMQ,MAAMN,MAAMO,GAAG,CAACH,MAAMD,EAAE;QAC9B,MAAMK,UAAUJ,MAAMtB,OAAO,CAAC2B,IAAI,CAAC,CAACC,SAAWA,OAAOhD,IAAI,KAAK;QAC/D,MAAMiD,eACJL,KAAK7C,eAAeF,aACpBf,cAAc6D,QAAQC,IAAID,MAAM,KAChCvC,KAAKC,SAAS,CAACuC,IAAI7C,UAAU,CAACoC,WAAW,CAAC3C,cAAc,MACtDY,KAAKC,SAAS,CAAC8B,YAAY3C,cAAc,KAC3CoD,IAAI7C,UAAU,CAACoC,WAAW,CAAChD,KAAK,KAAKgD,YAAYhD,KAAK,IACtDyD,IAAI7C,UAAU,CAACoC,WAAW,CAAC/C,SAAS,EAAED,UAAUgD,YAAY/C,SAAS,EAAED,SACvEiB,KAAKC,SAAS,CAACuC,IAAI7C,UAAU,CAACoC,WAAW,CAAC/C,SAAS,EAAEE,WACnDc,KAAKC,SAAS,CAAC8B,YAAY/C,SAAS,EAAEE;QAC1C,MAAMS,aAAa+C,UACfG,eACEL,IAAI7C,UAAU,GACdtB,gBACEkE,OAAO/C,SAAS,EAChBuC,aACAS,KAAK7C,eAAeF,YAChB;YAAEC,MAAMG,UAAUf,MAAM,CAACU,SAAS;YAAEG,YAAYE,UAAUF,UAAU;QAAC,IACrE;YAAED,MAAM8C,IAAID,MAAM,CAAC/C,SAAS;YAAEG,YAAY6C,IAAI7C,UAAU;QAAC,KAEjEF;QACJ,MAAMqD,YACJnD,eAAeF,YACX6C,QACAO,eACEL,IAAIM,SAAS,GACbnE,kBAAkB2D,OAAO;YAAE,GAAGC,MAAM;YAAE5C;QAAW;QACzDqC,QACEQ,QAAQ/C,YACJjB,QAAQ+D,QAAQ;YAACO;SAAU,IAC3BrE,eAAe8D,QAAQ;YAACO;SAAU,EAAEN,IAAID,MAAM,EAAE;YAACC,IAAIM,SAAS;SAAC,EAAEN,IAAIO,KAAK;QAChFd,OAAOe,IAAI,CAAC;YACVX,IAAIC,MAAMD,EAAE;YACZE;YACAQ,OAAOf;YACPc;YACA,GAAInD,eAAeF,YAAY,CAAC,IAAI;gBAAEE;YAAW,CAAC;QACpD;IACF;IACA,OAAO;QAAEqC;QAAOC;IAAO;AACzB;AAEA,OAAO,SAASgB,UACdpD,SAAyB,EACzBqD,KAA6B,EAC7BC,SAAoB,EACpB7D,QAAkB;IAElB,MAAMwC,UAAUX,OAAOiC,MAAM,CAACF,MAAM5B,GAAG,CAAClD;IACxC,IAAI0D,QAAQuB,MAAM,KAAK,GAAG;QACxB,OAAO;YACLxD;YACAqD,OAAOpB;YACPwB,SAAS;gBACP9D,WAAWK,UAAUf,MAAM,CAACU,SAAS;gBACrCa,eAAeR,UAAUf,MAAM,CAACuB,aAAa;gBAC7CK,WAAWb,UAAUf,MAAM,CAAC4B,SAAS;gBACrCM,SAASnB,UAAUf,MAAM,CAACkC,OAAO;gBACjCrB,YAAYE,UAAUF,UAAU;YAClC;YACAsC,QAAQ,EAAE;QACZ;IACF;IACA,MAAMsB,iBAAiBJ,cAAc,aAAatB,UAAUhC,WAAWiC,SAASxC,YAAY;IAC5F,MAAM0C,QACJmB,cAAc,aACVI,eAAgBvB,KAAK,GACrB1C,aAAaG,YACXjB,QAAQqB,UAAUf,MAAM,EAAEgD,WAC1BrD,eACEoB,UAAUf,MAAM,EAChBgD,SACAxC,SAASO,SAAS,CAACf,MAAM,EACzBQ,SAAS4D,KAAK,EACd5D,SAASgE,OAAO;IAE1B,OAAO;QACLzD;QACAqD,OAAOpB;QACPG,QAAQsB,gBAAgBtB,UAAU,EAAE;QACpCqB,SAAS;YACP,GAAGtB,KAAK;YACRrC,YAAYtB,gBACV2D,MAAMxC,SAAS,EACfX,cAAcgB,UAAUf,MAAM,GAC9BQ,aAAaG,YACTA,YACA;gBAAEC,MAAMJ,SAASgE,OAAO,CAAC9D,SAAS;gBAAEG,YAAYL,SAASgE,OAAO,CAAC3D,UAAU;YAAC;QAEpF;IACF;AACF;AAEA,SAAS6D,QAAQxB,KAAY,EAAET,IAAY;IACzC,OAAOS,MAAMxC,SAAS,CAAC+B,KAAK,KAAK9B,aAAauC,MAAM3B,aAAa,CAACoD,QAAQ,CAAClC;AAC7E;AAEA,SAASmC,MAAM1B,KAAY,EAAE2B,aAAsC;IACjE,MAAMC,SAAS,IAAIzB;IACnB,MAAM0B,aAAa,CAACtC;QAClB,IAAI,CAACqC,OAAOE,GAAG,CAACvC,OAAO;YACrB,MAAM7B,OAAOsC,MAAMxC,SAAS,CAAC+B,KAAK;YAClC,MAAMwC,SAASrE,SAASD,YAAY,OAAOtB,MAAMuB,MAAM6B;YACvDqC,OAAOI,GAAG,CAACzC,MAAMwC,QAAQE,OAAO,OAAOF,OAAOG,QAAQ,GAAG;QAC3D;QACA,OAAON,OAAOnB,GAAG,CAAClB,SAAS;IAC7B;IACA,OAAOoC,cAAcQ,KAAK,CAAC,CAACC;QAC1B,MAAM7C,OAAO6C,aAAa7C,IAAI;QAC9B,IAAI6C,aAAaxE,IAAI,KAAK,UAAU,OAAO,CAAC4D,QAAQxB,OAAOT;QAC3D,IAAI6C,aAAaxE,IAAI,KAAK,WAAW,OAAO4D,QAAQxB,OAAOT;QAC3D,IAAI6C,aAAaxE,IAAI,KAAK,YAAY;YACpC,OAAO4D,QAAQxB,OAAOT,SAASS,MAAMtB,SAAS,CAACa,KAAK,KAAK6C,aAAa3C,QAAQ;QAChF;QACA,MAAMyC,WAAWL,WAAWtC;QAC5B,IAAI2C,aAAa,MAAM,OAAO;QAC9B,IAAIE,aAAaxE,IAAI,KAAK,SAAS;YACjC,MAAMyE,QAAQlD,OAAOmD,MAAM,CAACJ,SAASK,MAAM,EAAEH,aAAaI,IAAI,IAC1DN,SAASK,MAAM,CAACH,aAAaI,IAAI,CAAC,GAClC/E;YACJ,OAAOb,WAAWyF,OAAOD,aAAaC,KAAK;QAC7C;QACA,IAAID,aAAaxE,IAAI,KAAK,WAAW;YACnC,OACEuB,OAAOmD,MAAM,CAACJ,SAASO,QAAQ,EAAEL,aAAaI,IAAI,KAClDN,SAASO,QAAQ,CAACL,aAAaI,IAAI,CAAC,KAAKJ,aAAaC,KAAK;QAE/D;QACA,OAAOH,SAASQ,QAAQ,KAAKN,aAAaC,KAAK;IACjD;AACF;AAEA,SAASM,QAAQ/B,MAAc;IAC7B,MAAMrB,OAAOqB,OAAOrB,IAAI;IACxB,IAAIqB,OAAOhD,IAAI,KAAK,WAAWgD,OAAOhD,IAAI,KAAK,aAAagD,OAAOhD,IAAI,KAAK,YAAY;QACtF,OAAO;YAACgD;SAAO;IACjB;IACA,IAAIA,OAAOhD,IAAI,KAAK,YAAY,CAAE,CAAA,aAAagD,MAAK,GAAI;QACtD,OAAO;YACL;gBAAEhD,MAAM;gBAAW2B;YAAK;eACrBJ,OAAOO,OAAO,CAACkB,OAAO2B,MAAM,EAAEjD,GAAG,CAAC,CAAC,CAACkD,MAAMH,MAAM,GAAoB,CAAA;oBACrEzE,MAAM;oBACN2B;oBACAiD;oBACAH;gBACF,CAAA;eACGlD,OAAOO,OAAO,CAACkB,OAAO6B,QAAQ,EAAEnD,GAAG,CAAC,CAAC,CAACkD,MAAMH,MAAM,GAAoB,CAAA;oBACvEzE,MAAM;oBACN2B;oBACAiD;oBACAH;gBACF,CAAA;SACD;IACH;IACA,IAAIzB,OAAOhD,IAAI,KAAK,QAAQ;QAC1B,OAAO;YACL;gBAAEA,MAAM;gBAAU2B;YAAK;YACvB;gBAAE3B,MAAM;gBAAW2B,MAAMqB,OAAOgC,EAAE;YAAC;SACpC;IACH;IACA,OAAO;QAAC;YAAEhF,MAAM;YAAU2B;QAAK;KAAE;AACnC;AAEA,SAASwB,MAAM/B,OAA0B,EAAE6D,KAAa,EAAEtD,IAAY;IACpE,IAAIuD,KAAKvD;IACT,KAAK,MAAMqB,UAAU5B,QAAQ+D,KAAK,CAACF,QAAQ,GAAI;QAC7C,IAAIjC,OAAOrB,IAAI,KAAKuD,IAAI;QACxB,IAAIlC,OAAOhD,IAAI,KAAK,UAAU,OAAO;QACrC,IAAIgD,OAAOhD,IAAI,KAAK,QAAQkF,KAAKlC,OAAOgC,EAAE;IAC5C;IACA,OAAOE;AACT;AAEA,OAAO,SAASE,OAAO1C,KAAkB,EAAEzC,SAAyB;IAClE,MAAMmC,QAAQnC,UAAUf,MAAM;IAC9B,OAAOwD,MAAMtB,OAAO,CAACmD,KAAK,CAAC,CAACvB,QAAQiC;QAClC,IAAIjC,OAAOhD,IAAI,KAAK,aAAcgD,OAAOhD,IAAI,KAAK,YAAY,aAAagD,QAAS;YAClF,MAAMkC,KAAK/B,MAAMT,MAAMtB,OAAO,EAAE6D,OAAOjC,OAAOrB,IAAI;YAClD,OAAOuD,OAAO,QAAQ9C,MAAMxC,SAAS,CAACsF,GAAG,KAAKlC,OAAOqC,OAAO;QAC9D;QACA,OAAON,QAAQ/B,QAAQuB,KAAK,CAAC,CAACe;YAC5B,IAAIA,OAAOtF,IAAI,KAAK,UAAU,OAAO8D,MAAM1B,OAAO;gBAACkD;aAAO;YAC1D,MAAMJ,KAAK/B,MAAMT,MAAMtB,OAAO,EAAE6D,OAAOK,OAAO3D,IAAI;YAClD,OAAOuD,OAAO,QAAQpB,MAAM1B,OAAO;gBAAC;oBAAE,GAAGkD,MAAM;oBAAE3D,MAAMuD;gBAAG;aAAE;QAC9D;IACF;AACF;AAEA,OAAO,SAASK,YACdtF,SAAyB,EACzBqD,KAA6B,EAC7BkC,YAA6C,EAC7CjC,SAAoB;IAEpB,IAAI,CAACD,MAAMP,IAAI,CAACyC,eAAe,OAAO,EAAE;IACxC,MAAMrD,cAAclD,cAAcgB,UAAUf,MAAM;IAClD,IAAIkD,QAAenC,UAAUf,MAAM;IACnC,MAAMuG,YAA2B,EAAE;IACnC,KAAK,MAAM/C,SAASY,MAAO;QACzB,IAAIkC,aAAa9C,UAAU,CAACoB,MAAM1B,OAAOM,MAAMqB,aAAa,GAAG;YAC7D0B,UAAUrC,IAAI,CAACV;YACf;QACF;QACA,MAAMQ,YACJK,cAAc,cAAcb,MAAMtB,OAAO,CAAC2B,IAAI,CAAC,CAACC,SAAWA,OAAOhD,IAAI,KAAK,UACvEjB,kBAAkB2D,OAAO;YACvB,GAAGN,KAAK;YACRrC,YAAYtB,gBAAgB2D,MAAMxC,SAAS,EAAEuC;QAC/C,KACAO;QACNN,QAAQxD,QAAQwD,OAAO;YAACc;SAAU;IACpC;IACA,OAAOuC;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"}