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

package/dist/observation.js

@@ -0,0 +1,92 @@
+export function rowsOf(result) {
+    return 'groups' in result ? result.groups : result.documents;
+}
+function keyedResult(first) {
+    const grouped = 'groups' in first.result;
+    const rows = rowsOf(first.result);
+    const byKey = new Map(first.keys.map((key, index)=>[
+            key,
+            rows[index]
+        ]));
+    let keys = first.keys;
+    return {
+        value: first.result,
+        next (message) {
+            const change = message;
+            for (const key of change.removed)byKey.delete(key);
+            for (const [key, row] of change.changed)byKey.set(key, row);
+            keys = change.order ?? keys.filter((key)=>byKey.has(key));
+            const next = keys.map((key)=>byKey.get(key));
+            return grouped ? {
+                groups: next
+            } : {
+                documents: next
+            };
+        }
+    };
+}
+function whole(first) {
+    return {
+        value: first,
+        next: (message)=>message
+    };
+}
+export function observed(first, stop, keyed) {
+    const reducer = keyed ? keyedResult(first) : whole(first);
+    let value = reducer.value;
+    let open = true;
+    const listeners = new Set();
+    const end = ()=>{
+        open = false;
+        listeners.clear();
+    };
+    return {
+        observation: {
+            current: ()=>value,
+            subscribe (listener) {
+                const entry = {
+                    hear: listener
+                };
+                if (open) listeners.add(entry);
+                return ()=>{
+                    listeners.delete(entry);
+                };
+            },
+            close () {
+                if (!open) return;
+                end();
+                stop();
+            }
+        },
+        receive (message) {
+            if (!open) return;
+            value = reducer.next(message);
+            for (const entry of [
+                ...listeners
+            ]){
+                if (listeners.has(entry)) entry.hear(value);
+            }
+        },
+        end
+    };
+}
+export function opened(watch, keyed) {
+    return new Promise((resolve, reject)=>{
+        let handle;
+        let stop = ()=>{};
+        try {
+            stop = watch((message)=>{
+                if (handle !== undefined) {
+                    handle.receive(message);
+                    return;
+                }
+                handle = observed(message, ()=>stop(), keyed);
+                resolve(handle.observation);
+            });
+        } catch (error) {
+            reject(error);
+        }
+    });
+}
+
+//# sourceMappingURL=observation.js.map

package/dist/observation.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["/workspace/packages/mdruntime/src/observation.ts"],"sourcesContent":["import type { QueryDocument, QueryGroup, QueryResult } from './query.js';\n\nexport type Observation<T> = {\n  current(): T;\n  subscribe(listener: (value: T) => void): () => void;\n  close(): void;\n};\n\nexport type RowKey = string | number;\n\nexport type KeyedResult = { result: QueryResult; keys: readonly RowKey[] };\n\nexport type QueryChange = {\n  changed: readonly (readonly [RowKey, QueryDocument | QueryGroup])[];\n  removed: readonly RowKey[];\n  order: readonly RowKey[] | null;\n};\n\nexport type Observed = {\n  observation: Observation<unknown>;\n  receive(message: unknown): void;\n  end(): void;\n};\n\nexport function rowsOf(result: QueryResult): readonly (QueryDocument | QueryGroup)[] {\n  return 'groups' in result ? result.groups : result.documents;\n}\n\nfunction keyedResult(first: KeyedResult) {\n  const grouped = 'groups' in first.result;\n  const rows = rowsOf(first.result);\n  const byKey = new Map(first.keys.map((key, index) => [key, rows[index]]));\n  let keys = first.keys;\n  return {\n    value: first.result,\n    next(message: unknown): QueryResult {\n      const change = message as QueryChange;\n      for (const key of change.removed) byKey.delete(key);\n      for (const [key, row] of change.changed) byKey.set(key, row);\n      keys = change.order ?? keys.filter((key) => byKey.has(key));\n      const next = keys.map((key) => byKey.get(key) as QueryDocument | QueryGroup);\n      return grouped\n        ? { groups: next as readonly QueryGroup[] }\n        : { documents: next as readonly QueryDocument[] };\n    },\n  };\n}\n\nfunction whole(first: unknown) {\n  return { value: first, next: (message: unknown) => message };\n}\n\nexport function observed(first: unknown, stop: () => void, keyed: boolean): Observed {\n  const reducer = keyed ? keyedResult(first as KeyedResult) : whole(first);\n  let value = reducer.value;\n  let open = true;\n  const listeners = new Set<{ hear: (value: unknown) => void }>();\n  const end = () => {\n    open = false;\n    listeners.clear();\n  };\n  return {\n    observation: {\n      current: () => value,\n      subscribe(listener) {\n        const entry = { hear: listener };\n        if (open) listeners.add(entry);\n        return () => {\n          listeners.delete(entry);\n        };\n      },\n      close() {\n        if (!open) return;\n        end();\n        stop();\n      },\n    },\n    receive(message) {\n      if (!open) return;\n      value = reducer.next(message);\n      for (const entry of [...listeners]) {\n        if (listeners.has(entry)) entry.hear(value);\n      }\n    },\n    end,\n  };\n}\n\nexport function opened(\n  watch: (deliver: (message: unknown) => void) => () => void,\n  keyed: boolean,\n): Promise<Observation<unknown>> {\n  return new Promise((resolve, reject) => {\n    let handle: Observed | undefined;\n    let stop = () => {};\n    try {\n      stop = watch((message) => {\n        if (handle !== undefined) {\n          handle.receive(message);\n          return;\n        }\n        handle = observed(message, () => stop(), keyed);\n        resolve(handle.observation);\n      });\n    } catch (error) {\n      reject(error);\n    }\n  });\n}\n"],"names":["rowsOf","result","groups","documents","keyedResult","first","grouped","rows","byKey","Map","keys","map","key","index","value","next","message","change","removed","delete","row","changed","set","order","filter","has","get","whole","observed","stop","keyed","reducer","open","listeners","Set","end","clear","observation","current","subscribe","listener","entry","hear","add","close","receive","opened","watch","Promise","resolve","reject","handle","undefined","error"],"mappings":"AAwBA,OAAO,SAASA,OAAOC,MAAmB;IACxC,OAAO,YAAYA,SAASA,OAAOC,MAAM,GAAGD,OAAOE,SAAS;AAC9D;AAEA,SAASC,YAAYC,KAAkB;IACrC,MAAMC,UAAU,YAAYD,MAAMJ,MAAM;IACxC,MAAMM,OAAOP,OAAOK,MAAMJ,MAAM;IAChC,MAAMO,QAAQ,IAAIC,IAAIJ,MAAMK,IAAI,CAACC,GAAG,CAAC,CAACC,KAAKC,QAAU;YAACD;YAAKL,IAAI,CAACM,MAAM;SAAC;IACvE,IAAIH,OAAOL,MAAMK,IAAI;IACrB,OAAO;QACLI,OAAOT,MAAMJ,MAAM;QACnBc,MAAKC,OAAgB;YACnB,MAAMC,SAASD;YACf,KAAK,MAAMJ,OAAOK,OAAOC,OAAO,CAAEV,MAAMW,MAAM,CAACP;YAC/C,KAAK,MAAM,CAACA,KAAKQ,IAAI,IAAIH,OAAOI,OAAO,CAAEb,MAAMc,GAAG,CAACV,KAAKQ;YACxDV,OAAOO,OAAOM,KAAK,IAAIb,KAAKc,MAAM,CAAC,CAACZ,MAAQJ,MAAMiB,GAAG,CAACb;YACtD,MAAMG,OAAOL,KAAKC,GAAG,CAAC,CAACC,MAAQJ,MAAMkB,GAAG,CAACd;YACzC,OAAON,UACH;gBAAEJ,QAAQa;YAA8B,IACxC;gBAAEZ,WAAWY;YAAiC;QACpD;IACF;AACF;AAEA,SAASY,MAAMtB,KAAc;IAC3B,OAAO;QAAES,OAAOT;QAAOU,MAAM,CAACC,UAAqBA;IAAQ;AAC7D;AAEA,OAAO,SAASY,SAASvB,KAAc,EAAEwB,IAAgB,EAAEC,KAAc;IACvE,MAAMC,UAAUD,QAAQ1B,YAAYC,SAAwBsB,MAAMtB;IAClE,IAAIS,QAAQiB,QAAQjB,KAAK;IACzB,IAAIkB,OAAO;IACX,MAAMC,YAAY,IAAIC;IACtB,MAAMC,MAAM;QACVH,OAAO;QACPC,UAAUG,KAAK;IACjB;IACA,OAAO;QACLC,aAAa;YACXC,SAAS,IAAMxB;YACfyB,WAAUC,QAAQ;gBAChB,MAAMC,QAAQ;oBAAEC,MAAMF;gBAAS;gBAC/B,IAAIR,MAAMC,UAAUU,GAAG,CAACF;gBACxB,OAAO;oBACLR,UAAUd,MAAM,CAACsB;gBACnB;YACF;YACAG;gBACE,IAAI,CAACZ,MAAM;gBACXG;gBACAN;YACF;QACF;QACAgB,SAAQ7B,OAAO;YACb,IAAI,CAACgB,MAAM;YACXlB,QAAQiB,QAAQhB,IAAI,CAACC;YACrB,KAAK,MAAMyB,SAAS;mBAAIR;aAAU,CAAE;gBAClC,IAAIA,UAAUR,GAAG,CAACgB,QAAQA,MAAMC,IAAI,CAAC5B;YACvC;QACF;QACAqB;IACF;AACF;AAEA,OAAO,SAASW,OACdC,KAA0D,EAC1DjB,KAAc;IAEd,OAAO,IAAIkB,QAAQ,CAACC,SAASC;QAC3B,IAAIC;QACJ,IAAItB,OAAO,KAAO;QAClB,IAAI;YACFA,OAAOkB,MAAM,CAAC/B;gBACZ,IAAImC,WAAWC,WAAW;oBACxBD,OAAON,OAAO,CAAC7B;oBACf;gBACF;gBACAmC,SAASvB,SAASZ,SAAS,IAAMa,QAAQC;gBACzCmB,QAAQE,OAAOd,WAAW;YAC5B;QACF,EAAE,OAAOgB,OAAO;YACdH,OAAOG;QACT;IACF;AACF"}

package/dist/outcome.d.ts

@@ -1,30 +1,34 @@
+import type { ActionResult, ProviderRefusal } from './adapter.js';
 import type { ChangeBatch } from './change.js';
 export type AffectedState = Readonly<Record<string, string>>;
-export type QueueOutcome = {
-    kind: 'pending';
-} | {
-    kind: 'conflicted';
+export type CallResult = ActionResult | {
+    kind: 'undeclared';
+};
+export type AcceptedOutcome = {
+    kind: 'accepted';
     roomVersion: string;
+    author?: string;
+    time?: string;
+};
+export type SubmissionOutcome = AcceptedOutcome | (ProviderRefusal & {
+    kind: 'conflicted';
+    roomVersion?: string;
     affected: AffectedState;
-    text: string;
-} | {
+}) | (ProviderRefusal & {
     kind: 'rejected';
     affected: AffectedState;
-    text: string;
-} | {
+}) | {
     kind: 'expired';
+} | {
+    kind: 'withdrawn';
 };
-export type AcceptedOutcome = {
-    kind: 'accepted';
-    roomVersion: string;
-    author: string;
-    time: string;
+export type Submission = {
+    readonly state: 'waiting' | 'submitted';
+} | {
+    readonly state: 'reset';
+    readonly reset: string;
 };
-export type SubmissionOutcome = QueueOutcome | AcceptedOutcome;
 export type QueueEntry = {
     readonly batch: ChangeBatch;
-    readonly outcome: QueueOutcome;
-};
-export declare function refused(outcome: SubmissionOutcome | undefined): boolean;
-export declare function queuedOutcome(outcome: SubmissionOutcome | undefined): QueueOutcome;
+} & Submission;
 //# sourceMappingURL=outcome.d.ts.map

package/dist/outcome.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"outcome.d.ts","sourceRoot":"","sources":["../src/outcome.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE/C,MAAM,MAAM,aAAa,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;AAE7D,MAAM,MAAM,YAAY,GACpB;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,GACnB;IACE,IAAI,EAAE,YAAY,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,aAAa,CAAC;IACxB,IAAI,EAAE,MAAM,CAAC;CACd,GACD;IACE,IAAI,EAAE,UAAU,CAAC;IACjB,QAAQ,EAAE,aAAa,CAAC;IACxB,IAAI,EAAE,MAAM,CAAC;CACd,GACD;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,CAAC;AAExB,MAAM,MAAM,eAAe,GAAG;IAC5B,IAAI,EAAE,UAAU,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;CACd,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG,YAAY,GAAG,eAAe,CAAC;AAE/D,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC;CAChC,CAAC;AAEF,wBAAgB,OAAO,CAAC,OAAO,EAAE,iBAAiB,GAAG,SAAS,GAAG,OAAO,CAIvE;AAED,wBAAgB,aAAa,CAAC,OAAO,EAAE,iBAAiB,GAAG,SAAS,GAAG,YAAY,CAKlF"}
+{"version":3,"file":"outcome.d.ts","sourceRoot":"","sources":["../src/outcome.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAClE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE/C,MAAM,MAAM,aAAa,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;AAE7D,MAAM,MAAM,UAAU,GAAG,YAAY,GAAG;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC;AAE/D,MAAM,MAAM,eAAe,GAAG;IAC5B,IAAI,EAAE,UAAU,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,CAAC;CACf,CAAC;AAEF,MAAM,MAAM,iBAAiB,GACzB,eAAe,GACf,CAAC,eAAe,GAAG;IACjB,IAAI,EAAE,YAAY,CAAC;IACnB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,QAAQ,EAAE,aAAa,CAAC;CACzB,CAAC,GACF,CAAC,eAAe,GAAG;IACjB,IAAI,EAAE,UAAU,CAAC;IACjB,QAAQ,EAAE,aAAa,CAAC;CACzB,CAAC,GACF;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,GACnB;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,CAAC;AAE1B,MAAM,MAAM,UAAU,GAClB;IAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,GAAG,WAAW,CAAA;CAAE,GAC3C;IAAE,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAExD,MAAM,MAAM,UAAU,GAAG;IAAE,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAA;CAAE,GAAG,UAAU,CAAC"}

package/dist/outcome.js

@@ -1,13 +1,3 @@
-export function refused(outcome) {
-    return outcome?.kind === 'conflicted' || outcome?.kind === 'rejected' || outcome?.kind === 'expired';
-}
-export function queuedOutcome(outcome) {
-    if (outcome === undefined || outcome.kind === 'accepted' || outcome.kind === 'pending') {
-        return {
-            kind: 'pending'
-        };
-    }
-    return outcome;
-}
+export { };
 
 //# sourceMappingURL=outcome.js.map

package/dist/outcome.js.map

@@ -1 +1 @@
-{"version":3,"sources":["/workspace/packages/mdruntime/src/outcome.ts"],"sourcesContent":["import type { ChangeBatch } from './change.js';\n\nexport type AffectedState = Readonly<Record<string, string>>;\n\nexport type QueueOutcome =\n  | { kind: 'pending' }\n  | {\n      kind: 'conflicted';\n      roomVersion: string;\n      affected: AffectedState;\n      text: string;\n    }\n  | {\n      kind: 'rejected';\n      affected: AffectedState;\n      text: string;\n    }\n  | { kind: 'expired' };\n\nexport type AcceptedOutcome = {\n  kind: 'accepted';\n  roomVersion: string;\n  author: string;\n  time: string;\n};\n\nexport type SubmissionOutcome = QueueOutcome | AcceptedOutcome;\n\nexport type QueueEntry = {\n  readonly batch: ChangeBatch;\n  readonly outcome: QueueOutcome;\n};\n\nexport function refused(outcome: SubmissionOutcome | undefined): boolean {\n  return (\n    outcome?.kind === 'conflicted' || outcome?.kind === 'rejected' || outcome?.kind === 'expired'\n  );\n}\n\nexport function queuedOutcome(outcome: SubmissionOutcome | undefined): QueueOutcome {\n  if (outcome === undefined || outcome.kind === 'accepted' || outcome.kind === 'pending') {\n    return { kind: 'pending' };\n  }\n  return outcome;\n}\n"],"names":["refused","outcome","kind","queuedOutcome","undefined"],"mappings":"AAiCA,OAAO,SAASA,QAAQC,OAAsC;IAC5D,OACEA,SAASC,SAAS,gBAAgBD,SAASC,SAAS,cAAcD,SAASC,SAAS;AAExF;AAEA,OAAO,SAASC,cAAcF,OAAsC;IAClE,IAAIA,YAAYG,aAAaH,QAAQC,IAAI,KAAK,cAAcD,QAAQC,IAAI,KAAK,WAAW;QACtF,OAAO;YAAEA,MAAM;QAAU;IAC3B;IACA,OAAOD;AACT"}
+{"version":3,"sources":["/workspace/packages/mdruntime/src/outcome.ts"],"sourcesContent":["import type { ActionResult, ProviderRefusal } from './adapter.js';\nimport type { ChangeBatch } from './change.js';\n\nexport type AffectedState = Readonly<Record<string, string>>;\n\nexport type CallResult = ActionResult | { kind: 'undeclared' };\n\nexport type AcceptedOutcome = {\n  kind: 'accepted';\n  roomVersion: string;\n  author?: string;\n  time?: string;\n};\n\nexport type SubmissionOutcome =\n  | AcceptedOutcome\n  | (ProviderRefusal & {\n      kind: 'conflicted';\n      roomVersion?: string;\n      affected: AffectedState;\n    })\n  | (ProviderRefusal & {\n      kind: 'rejected';\n      affected: AffectedState;\n    })\n  | { kind: 'expired' }\n  | { kind: 'withdrawn' };\n\nexport type Submission =\n  | { readonly state: 'waiting' | 'submitted' }\n  | { readonly state: 'reset'; readonly reset: string };\n\nexport type QueueEntry = { readonly batch: ChangeBatch } & Submission;\n"],"names":[],"mappings":"AAgCA,WAAsE"}

package/dist/overlay.d.ts

@@ -5,4 +5,6 @@ export type Layer = {
     revisions: Readonly<Record<string, string>>;
 };
 export declare function overlay(base: Layer, queue: readonly ChangeBatch[]): Layer;
+export declare function sameLayerText(left: Layer, right: Layer): boolean;
+export declare function overlayChanged(base: Layer, queue: readonly ChangeBatch[], previousBase: Layer, previousQueue: readonly ChangeBatch[], previousVisible: Layer): Layer;
 //# sourceMappingURL=overlay.d.ts.map

package/dist/overlay.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"overlay.d.ts","sourceRoot":"","sources":["../src/overlay.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAU,WAAW,EAAgB,MAAM,aAAa,CAAC;AAErE,MAAM,MAAM,KAAK,GAAG;IAClB,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC5C,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CAC7C,CAAC;AAyIF,wBAAgB,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,WAAW,EAAE,GAAG,KAAK,CAezE"}
+{"version":3,"file":"overlay.d.ts","sourceRoot":"","sources":["../src/overlay.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAU,WAAW,EAAgB,MAAM,aAAa,CAAC;AAErE,MAAM,MAAM,KAAK,GAAG;IAClB,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC5C,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CAC7C,CAAC;AA0IF,wBAAgB,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,WAAW,EAAE,GAAG,KAAK,CAezE;AAQD,wBAAgB,aAAa,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,GAAG,OAAO,CAQhE;AAqBD,wBAAgB,cAAc,CAC5B,IAAI,EAAE,KAAK,EACX,KAAK,EAAE,SAAS,WAAW,EAAE,EAC7B,YAAY,EAAE,KAAK,EACnB,aAAa,EAAE,SAAS,WAAW,EAAE,EACrC,eAAe,EAAE,KAAK,GACrB,KAAK,CAkFP"}

package/dist/overlay.js

@@ -99,7 +99,7 @@ function stage(staged, change, priors) {
         return;
     }
     if (change.kind === 'create') {
-        staged.documents[change.path] = compose(change.fields, change.sections);
+        staged.documents[change.path] = 'content' in change ? change.content : compose(change.fields, change.sections);
         return;
     }
     if (change.kind === 'replace') {
@@ -135,5 +135,111 @@ export function overlay(base, queue) {
         revisions: staged.revisions
     };
 }
+function pathsOf(batch) {
+    return batch.changes.flatMap((change)=>change.kind === 'move' ? [
+            change.path,
+            change.to
+        ] : [
+            change.path
+        ]);
+}
+export function sameLayerText(left, right) {
+    const paths = Object.keys(left.documents);
+    return paths.length === Object.keys(right.documents).length && paths.every((path)=>left.documents[path] === right.documents[path]) && left.binaryTargets.length === right.binaryTargets.length && left.binaryTargets.every((path)=>right.binaryTargets.includes(path));
+}
+function replayRevisions(base, queue) {
+    const revisions = {
+        ...base
+    };
+    for (const batch of queue){
+        for (const change of batch.changes){
+            if (change.kind === 'remove') {
+                delete revisions[change.path];
+            } else if (change.kind === 'move') {
+                const revision = revisions[change.path];
+                delete revisions[change.path];
+                if (revision !== undefined) revisions[change.to] = revision;
+            }
+        }
+    }
+    return revisions;
+}
+export function overlayChanged(base, queue, previousBase, previousQueue, previousVisible) {
+    const before = previousQueue.map((batch)=>JSON.stringify(batch));
+    const after = queue.map((batch)=>JSON.stringify(batch));
+    if (before.length === after.length && before.every((id, index)=>id === after[index]) && sameLayerText(base, previousBase)) {
+        return {
+            documents: previousVisible.documents,
+            binaryTargets: previousVisible.binaryTargets,
+            revisions: replayRevisions(base.revisions, queue)
+        };
+    }
+    const affected = new Set();
+    const paths = new Set([
+        ...Object.keys(base.documents),
+        ...Object.keys(previousBase.documents),
+        ...Object.keys(base.revisions),
+        ...Object.keys(previousBase.revisions),
+        ...base.binaryTargets,
+        ...previousBase.binaryTargets
+    ]);
+    for (const path of paths){
+        if (base.documents[path] !== previousBase.documents[path] || base.revisions[path] !== previousBase.revisions[path] || base.binaryTargets.includes(path) !== previousBase.binaryTargets.includes(path)) affected.add(path);
+    }
+    const oldIds = new Set(before);
+    const newIds = new Set(after);
+    for (const batch of previousQueue){
+        if (!newIds.has(JSON.stringify(batch))) for (const path of pathsOf(batch))affected.add(path);
+    }
+    for (const batch of queue){
+        if (!oldIds.has(JSON.stringify(batch))) for (const path of pathsOf(batch))affected.add(path);
+    }
+    let expanded = true;
+    while(expanded){
+        expanded = false;
+        for (const batch of queue){
+            const touched = pathsOf(batch);
+            if (!touched.some((path)=>affected.has(path))) continue;
+            for (const path of touched){
+                if (affected.has(path)) continue;
+                affected.add(path);
+                expanded = true;
+            }
+        }
+    }
+    const documents = {};
+    const revisions = {};
+    for (const path of affected){
+        if (base.documents[path] !== undefined) documents[path] = base.documents[path];
+        if (base.revisions[path] !== undefined) revisions[path] = base.revisions[path];
+    }
+    const staged = overlay({
+        documents,
+        revisions,
+        binaryTargets: base.binaryTargets.filter((path)=>affected.has(path))
+    }, queue.filter((batch)=>pathsOf(batch).some((path)=>affected.has(path))));
+    const mergedDocuments = {
+        ...previousVisible.documents
+    };
+    const mergedRevisions = {
+        ...previousVisible.revisions
+    };
+    const mergedTargets = new Set(previousVisible.binaryTargets);
+    for (const path of affected){
+        delete mergedDocuments[path];
+        delete mergedRevisions[path];
+        mergedTargets.delete(path);
+    }
+    Object.assign(mergedDocuments, staged.documents);
+    Object.assign(mergedRevisions, staged.revisions);
+    for (const path of staged.binaryTargets)mergedTargets.add(path);
+    return {
+        documents: mergedDocuments,
+        revisions: mergedRevisions,
+        binaryTargets: [
+            ...mergedTargets
+        ].sort()
+    };
+}
 
 //# sourceMappingURL=overlay.js.map

package/dist/overlay.js.map

@@ -1 +1 @@
-{"version":3,"sources":["/workspace/packages/mdruntime/src/overlay.ts"],"sourcesContent":["import { apply, parse, serialize, type Document } from '@agentshouse/mdmodel';\nimport type { Change, ChangeBatch, Precondition } from './change.js';\n\nexport type Layer = {\n  documents: Readonly<Record<string, string>>;\n  binaryTargets: readonly string[];\n  revisions: Readonly<Record<string, string>>;\n};\n\ntype Staged = {\n  documents: Record<string, string>;\n  binaryTargets: Set<string>;\n  revisions: Record<string, string>;\n};\n\ntype Priors = {\n  field(path: string, name: string): unknown;\n  section(path: string, name: string): string;\n  preamble(path: string): string;\n};\n\nconst EMPTY_FRONTMATTER = '---\\n---\\n';\n\nfunction at(path: string, name: string) {\n  return `${path} ${name}`;\n}\n\nfunction priorsOf(preconditions: readonly Precondition[]): Priors {\n  const fields = new Map<string, unknown>();\n  const sections = new Map<string, string>();\n  const preambles = new Map<string, string>();\n  for (const precondition of preconditions) {\n    if (precondition.kind === 'field') {\n      fields.set(at(precondition.path, precondition.name), precondition.value);\n    }\n    if (precondition.kind === 'section') {\n      sections.set(at(precondition.path, precondition.name), precondition.value);\n    }\n    if (precondition.kind === 'preamble') {\n      preambles.set(precondition.path, precondition.value);\n    }\n  }\n  return {\n    field: (path, name) => fields.get(at(path, name)),\n    section: (path, name) => sections.get(at(path, name)) ?? '',\n    preamble: (path) => preambles.get(path) ?? '',\n  };\n}\n\nfunction compose(\n  fields: Readonly<Record<string, unknown>>,\n  sections: Readonly<Record<string, string>>,\n): string {\n  const body = Object.entries(sections)\n    .map(([name, value]) => `\\n## ${name}\\n${value}`)\n    .join('');\n  const skeleton = `${EMPTY_FRONTMATTER}${body}`;\n  const opened = parse(skeleton);\n  if (!opened.ok) return skeleton;\n  let document: Document = opened.document;\n  for (const [name, value] of Object.entries(fields)) {\n    const next = apply(document, { kind: 'field', name, value, prior: undefined });\n    if (next.outcome === 'applied') document = next.document;\n  }\n  return serialize(document);\n}\n\nfunction edited(document: Document, change: Change, priors: Priors) {\n  if (change.kind === 'field') {\n    return apply(document, {\n      kind: 'field',\n      name: change.name,\n      value: change.value,\n      prior: priors.field(change.path, change.name),\n    });\n  }\n  if (change.kind === 'preamble') {\n    return apply(document, {\n      kind: 'preamble',\n      value: change.value,\n      prior: priors.preamble(change.path),\n    });\n  }\n  if (change.kind !== 'section') return null;\n  return apply(document, {\n    kind: 'section',\n    name: change.name,\n    value: change.value,\n    prior: priors.section(change.path, change.name),\n  });\n}\n\nfunction edit(staged: Staged, change: Change, priors: Priors) {\n  const text = staged.documents[change.path];\n  if (text === undefined) return;\n  const parsed = parse(text, change.path);\n  if (!parsed.ok) return;\n  const next = edited(parsed.document, change, priors);\n  if (next?.outcome === 'applied') staged.documents[change.path] = serialize(next.document);\n}\n\nfunction relocate(staged: Staged, from: string, to: string) {\n  const text = staged.documents[from];\n  if (text !== undefined) {\n    delete staged.documents[from];\n    staged.documents[to] = text;\n  } else if (staged.binaryTargets.delete(from)) {\n    staged.binaryTargets.add(to);\n  } else {\n    return;\n  }\n  const revision = staged.revisions[from];\n  if (revision === undefined) return;\n  delete staged.revisions[from];\n  staged.revisions[to] = revision;\n}\n\nfunction erase(staged: Staged, path: string) {\n  delete staged.documents[path];\n  delete staged.revisions[path];\n  staged.binaryTargets.delete(path);\n}\n\nfunction stage(staged: Staged, change: Change, priors: Priors) {\n  if (change.kind === 'field' || change.kind === 'section' || change.kind === 'preamble') {\n    edit(staged, change, priors);\n    return;\n  }\n  if (change.kind === 'create') {\n    staged.documents[change.path] = compose(change.fields, change.sections);\n    return;\n  }\n  if (change.kind === 'replace') {\n    if (staged.documents[change.path] === undefined) return;\n    staged.documents[change.path] = change.content;\n    return;\n  }\n  if (change.kind === 'move') {\n    relocate(staged, change.path, change.to);\n    return;\n  }\n  erase(staged, change.path);\n}\n\nexport function overlay(base: Layer, queue: readonly ChangeBatch[]): Layer {\n  const staged: Staged = {\n    documents: { ...base.documents },\n    binaryTargets: new Set(base.binaryTargets),\n    revisions: { ...base.revisions },\n  };\n  for (const batch of queue) {\n    const priors = priorsOf(batch.preconditions);\n    for (const change of batch.changes) stage(staged, change, priors);\n  }\n  return {\n    documents: staged.documents,\n    binaryTargets: [...staged.binaryTargets].sort(),\n    revisions: staged.revisions,\n  };\n}\n"],"names":["apply","parse","serialize","EMPTY_FRONTMATTER","at","path","name","priorsOf","preconditions","fields","Map","sections","preambles","precondition","kind","set","value","field","get","section","preamble","compose","body","Object","entries","map","join","skeleton","opened","ok","document","next","prior","undefined","outcome","edited","change","priors","edit","staged","text","documents","parsed","relocate","from","to","binaryTargets","delete","add","revision","revisions","erase","stage","content","overlay","base","queue","Set","batch","changes","sort"],"mappings":"AAAA,SAASA,KAAK,EAAEC,KAAK,EAAEC,SAAS,QAAuB,uBAAuB;AAqB9E,MAAMC,oBAAoB;AAE1B,SAASC,GAAGC,IAAY,EAAEC,IAAY;IACpC,OAAO,GAAGD,KAAK,CAAC,EAAEC,MAAM;AAC1B;AAEA,SAASC,SAASC,aAAsC;IACtD,MAAMC,SAAS,IAAIC;IACnB,MAAMC,WAAW,IAAID;IACrB,MAAME,YAAY,IAAIF;IACtB,KAAK,MAAMG,gBAAgBL,cAAe;QACxC,IAAIK,aAAaC,IAAI,KAAK,SAAS;YACjCL,OAAOM,GAAG,CAACX,GAAGS,aAAaR,IAAI,EAAEQ,aAAaP,IAAI,GAAGO,aAAaG,KAAK;QACzE;QACA,IAAIH,aAAaC,IAAI,KAAK,WAAW;YACnCH,SAASI,GAAG,CAACX,GAAGS,aAAaR,IAAI,EAAEQ,aAAaP,IAAI,GAAGO,aAAaG,KAAK;QAC3E;QACA,IAAIH,aAAaC,IAAI,KAAK,YAAY;YACpCF,UAAUG,GAAG,CAACF,aAAaR,IAAI,EAAEQ,aAAaG,KAAK;QACrD;IACF;IACA,OAAO;QACLC,OAAO,CAACZ,MAAMC,OAASG,OAAOS,GAAG,CAACd,GAAGC,MAAMC;QAC3Ca,SAAS,CAACd,MAAMC,OAASK,SAASO,GAAG,CAACd,GAAGC,MAAMC,UAAU;QACzDc,UAAU,CAACf,OAASO,UAAUM,GAAG,CAACb,SAAS;IAC7C;AACF;AAEA,SAASgB,QACPZ,MAAyC,EACzCE,QAA0C;IAE1C,MAAMW,OAAOC,OAAOC,OAAO,CAACb,UACzBc,GAAG,CAAC,CAAC,CAACnB,MAAMU,MAAM,GAAK,CAAC,KAAK,EAAEV,KAAK,EAAE,EAAEU,OAAO,EAC/CU,IAAI,CAAC;IACR,MAAMC,WAAW,GAAGxB,oBAAoBmB,MAAM;IAC9C,MAAMM,SAAS3B,MAAM0B;IACrB,IAAI,CAACC,OAAOC,EAAE,EAAE,OAAOF;IACvB,IAAIG,WAAqBF,OAAOE,QAAQ;IACxC,KAAK,MAAM,CAACxB,MAAMU,MAAM,IAAIO,OAAOC,OAAO,CAACf,QAAS;QAClD,MAAMsB,OAAO/B,MAAM8B,UAAU;YAAEhB,MAAM;YAASR;YAAMU;YAAOgB,OAAOC;QAAU;QAC5E,IAAIF,KAAKG,OAAO,KAAK,WAAWJ,WAAWC,KAAKD,QAAQ;IAC1D;IACA,OAAO5B,UAAU4B;AACnB;AAEA,SAASK,OAAOL,QAAkB,EAAEM,MAAc,EAAEC,MAAc;IAChE,IAAID,OAAOtB,IAAI,KAAK,SAAS;QAC3B,OAAOd,MAAM8B,UAAU;YACrBhB,MAAM;YACNR,MAAM8B,OAAO9B,IAAI;YACjBU,OAAOoB,OAAOpB,KAAK;YACnBgB,OAAOK,OAAOpB,KAAK,CAACmB,OAAO/B,IAAI,EAAE+B,OAAO9B,IAAI;QAC9C;IACF;IACA,IAAI8B,OAAOtB,IAAI,KAAK,YAAY;QAC9B,OAAOd,MAAM8B,UAAU;YACrBhB,MAAM;YACNE,OAAOoB,OAAOpB,KAAK;YACnBgB,OAAOK,OAAOjB,QAAQ,CAACgB,OAAO/B,IAAI;QACpC;IACF;IACA,IAAI+B,OAAOtB,IAAI,KAAK,WAAW,OAAO;IACtC,OAAOd,MAAM8B,UAAU;QACrBhB,MAAM;QACNR,MAAM8B,OAAO9B,IAAI;QACjBU,OAAOoB,OAAOpB,KAAK;QACnBgB,OAAOK,OAAOlB,OAAO,CAACiB,OAAO/B,IAAI,EAAE+B,OAAO9B,IAAI;IAChD;AACF;AAEA,SAASgC,KAAKC,MAAc,EAAEH,MAAc,EAAEC,MAAc;IAC1D,MAAMG,OAAOD,OAAOE,SAAS,CAACL,OAAO/B,IAAI,CAAC;IAC1C,IAAImC,SAASP,WAAW;IACxB,MAAMS,SAASzC,MAAMuC,MAAMJ,OAAO/B,IAAI;IACtC,IAAI,CAACqC,OAAOb,EAAE,EAAE;IAChB,MAAME,OAAOI,OAAOO,OAAOZ,QAAQ,EAAEM,QAAQC;IAC7C,IAAIN,MAAMG,YAAY,WAAWK,OAAOE,SAAS,CAACL,OAAO/B,IAAI,CAAC,GAAGH,UAAU6B,KAAKD,QAAQ;AAC1F;AAEA,SAASa,SAASJ,MAAc,EAAEK,IAAY,EAAEC,EAAU;IACxD,MAAML,OAAOD,OAAOE,SAAS,CAACG,KAAK;IACnC,IAAIJ,SAASP,WAAW;QACtB,OAAOM,OAAOE,SAAS,CAACG,KAAK;QAC7BL,OAAOE,SAAS,CAACI,GAAG,GAAGL;IACzB,OAAO,IAAID,OAAOO,aAAa,CAACC,MAAM,CAACH,OAAO;QAC5CL,OAAOO,aAAa,CAACE,GAAG,CAACH;IAC3B,OAAO;QACL;IACF;IACA,MAAMI,WAAWV,OAAOW,SAAS,CAACN,KAAK;IACvC,IAAIK,aAAahB,WAAW;IAC5B,OAAOM,OAAOW,SAAS,CAACN,KAAK;IAC7BL,OAAOW,SAAS,CAACL,GAAG,GAAGI;AACzB;AAEA,SAASE,MAAMZ,MAAc,EAAElC,IAAY;IACzC,OAAOkC,OAAOE,SAAS,CAACpC,KAAK;IAC7B,OAAOkC,OAAOW,SAAS,CAAC7C,KAAK;IAC7BkC,OAAOO,aAAa,CAACC,MAAM,CAAC1C;AAC9B;AAEA,SAAS+C,MAAMb,MAAc,EAAEH,MAAc,EAAEC,MAAc;IAC3D,IAAID,OAAOtB,IAAI,KAAK,WAAWsB,OAAOtB,IAAI,KAAK,aAAasB,OAAOtB,IAAI,KAAK,YAAY;QACtFwB,KAAKC,QAAQH,QAAQC;QACrB;IACF;IACA,IAAID,OAAOtB,IAAI,KAAK,UAAU;QAC5ByB,OAAOE,SAAS,CAACL,OAAO/B,IAAI,CAAC,GAAGgB,QAAQe,OAAO3B,MAAM,EAAE2B,OAAOzB,QAAQ;QACtE;IACF;IACA,IAAIyB,OAAOtB,IAAI,KAAK,WAAW;QAC7B,IAAIyB,OAAOE,SAAS,CAACL,OAAO/B,IAAI,CAAC,KAAK4B,WAAW;QACjDM,OAAOE,SAAS,CAACL,OAAO/B,IAAI,CAAC,GAAG+B,OAAOiB,OAAO;QAC9C;IACF;IACA,IAAIjB,OAAOtB,IAAI,KAAK,QAAQ;QAC1B6B,SAASJ,QAAQH,OAAO/B,IAAI,EAAE+B,OAAOS,EAAE;QACvC;IACF;IACAM,MAAMZ,QAAQH,OAAO/B,IAAI;AAC3B;AAEA,OAAO,SAASiD,QAAQC,IAAW,EAAEC,KAA6B;IAChE,MAAMjB,SAAiB;QACrBE,WAAW;YAAE,GAAGc,KAAKd,SAAS;QAAC;QAC/BK,eAAe,IAAIW,IAAIF,KAAKT,aAAa;QACzCI,WAAW;YAAE,GAAGK,KAAKL,SAAS;QAAC;IACjC;IACA,KAAK,MAAMQ,SAASF,MAAO;QACzB,MAAMnB,SAAS9B,SAASmD,MAAMlD,aAAa;QAC3C,KAAK,MAAM4B,UAAUsB,MAAMC,OAAO,CAAEP,MAAMb,QAAQH,QAAQC;IAC5D;IACA,OAAO;QACLI,WAAWF,OAAOE,SAAS;QAC3BK,eAAe;eAAIP,OAAOO,aAAa;SAAC,CAACc,IAAI;QAC7CV,WAAWX,OAAOW,SAAS;IAC7B;AACF"}
+{"version":3,"sources":["/workspace/packages/mdruntime/src/overlay.ts"],"sourcesContent":["import { apply, parse, serialize, type Document } from '@agentshouse/mdmodel';\nimport type { Change, ChangeBatch, Precondition } from './change.js';\n\nexport type Layer = {\n  documents: Readonly<Record<string, string>>;\n  binaryTargets: readonly string[];\n  revisions: Readonly<Record<string, string>>;\n};\n\ntype Staged = {\n  documents: Record<string, string>;\n  binaryTargets: Set<string>;\n  revisions: Record<string, string>;\n};\n\ntype Priors = {\n  field(path: string, name: string): unknown;\n  section(path: string, name: string): string;\n  preamble(path: string): string;\n};\n\nconst EMPTY_FRONTMATTER = '---\\n---\\n';\n\nfunction at(path: string, name: string) {\n  return `${path} ${name}`;\n}\n\nfunction priorsOf(preconditions: readonly Precondition[]): Priors {\n  const fields = new Map<string, unknown>();\n  const sections = new Map<string, string>();\n  const preambles = new Map<string, string>();\n  for (const precondition of preconditions) {\n    if (precondition.kind === 'field') {\n      fields.set(at(precondition.path, precondition.name), precondition.value);\n    }\n    if (precondition.kind === 'section') {\n      sections.set(at(precondition.path, precondition.name), precondition.value);\n    }\n    if (precondition.kind === 'preamble') {\n      preambles.set(precondition.path, precondition.value);\n    }\n  }\n  return {\n    field: (path, name) => fields.get(at(path, name)),\n    section: (path, name) => sections.get(at(path, name)) ?? '',\n    preamble: (path) => preambles.get(path) ?? '',\n  };\n}\n\nfunction compose(\n  fields: Readonly<Record<string, unknown>>,\n  sections: Readonly<Record<string, string>>,\n): string {\n  const body = Object.entries(sections)\n    .map(([name, value]) => `\\n## ${name}\\n${value}`)\n    .join('');\n  const skeleton = `${EMPTY_FRONTMATTER}${body}`;\n  const opened = parse(skeleton);\n  if (!opened.ok) return skeleton;\n  let document: Document = opened.document;\n  for (const [name, value] of Object.entries(fields)) {\n    const next = apply(document, { kind: 'field', name, value, prior: undefined });\n    if (next.outcome === 'applied') document = next.document;\n  }\n  return serialize(document);\n}\n\nfunction edited(document: Document, change: Change, priors: Priors) {\n  if (change.kind === 'field') {\n    return apply(document, {\n      kind: 'field',\n      name: change.name,\n      value: change.value,\n      prior: priors.field(change.path, change.name),\n    });\n  }\n  if (change.kind === 'preamble') {\n    return apply(document, {\n      kind: 'preamble',\n      value: change.value,\n      prior: priors.preamble(change.path),\n    });\n  }\n  if (change.kind !== 'section') return null;\n  return apply(document, {\n    kind: 'section',\n    name: change.name,\n    value: change.value,\n    prior: priors.section(change.path, change.name),\n  });\n}\n\nfunction edit(staged: Staged, change: Change, priors: Priors) {\n  const text = staged.documents[change.path];\n  if (text === undefined) return;\n  const parsed = parse(text, change.path);\n  if (!parsed.ok) return;\n  const next = edited(parsed.document, change, priors);\n  if (next?.outcome === 'applied') staged.documents[change.path] = serialize(next.document);\n}\n\nfunction relocate(staged: Staged, from: string, to: string) {\n  const text = staged.documents[from];\n  if (text !== undefined) {\n    delete staged.documents[from];\n    staged.documents[to] = text;\n  } else if (staged.binaryTargets.delete(from)) {\n    staged.binaryTargets.add(to);\n  } else {\n    return;\n  }\n  const revision = staged.revisions[from];\n  if (revision === undefined) return;\n  delete staged.revisions[from];\n  staged.revisions[to] = revision;\n}\n\nfunction erase(staged: Staged, path: string) {\n  delete staged.documents[path];\n  delete staged.revisions[path];\n  staged.binaryTargets.delete(path);\n}\n\nfunction stage(staged: Staged, change: Change, priors: Priors) {\n  if (change.kind === 'field' || change.kind === 'section' || change.kind === 'preamble') {\n    edit(staged, change, priors);\n    return;\n  }\n  if (change.kind === 'create') {\n    staged.documents[change.path] =\n      'content' in change ? change.content : compose(change.fields, change.sections);\n    return;\n  }\n  if (change.kind === 'replace') {\n    if (staged.documents[change.path] === undefined) return;\n    staged.documents[change.path] = change.content;\n    return;\n  }\n  if (change.kind === 'move') {\n    relocate(staged, change.path, change.to);\n    return;\n  }\n  erase(staged, change.path);\n}\n\nexport function overlay(base: Layer, queue: readonly ChangeBatch[]): Layer {\n  const staged: Staged = {\n    documents: { ...base.documents },\n    binaryTargets: new Set(base.binaryTargets),\n    revisions: { ...base.revisions },\n  };\n  for (const batch of queue) {\n    const priors = priorsOf(batch.preconditions);\n    for (const change of batch.changes) stage(staged, change, priors);\n  }\n  return {\n    documents: staged.documents,\n    binaryTargets: [...staged.binaryTargets].sort(),\n    revisions: staged.revisions,\n  };\n}\n\nfunction pathsOf(batch: ChangeBatch): readonly string[] {\n  return batch.changes.flatMap((change) =>\n    change.kind === 'move' ? [change.path, change.to] : [change.path],\n  );\n}\n\nexport function sameLayerText(left: Layer, right: Layer): boolean {\n  const paths = Object.keys(left.documents);\n  return (\n    paths.length === Object.keys(right.documents).length &&\n    paths.every((path) => left.documents[path] === right.documents[path]) &&\n    left.binaryTargets.length === right.binaryTargets.length &&\n    left.binaryTargets.every((path) => right.binaryTargets.includes(path))\n  );\n}\n\nfunction replayRevisions(\n  base: Readonly<Record<string, string>>,\n  queue: readonly ChangeBatch[],\n): Readonly<Record<string, string>> {\n  const revisions = { ...base };\n  for (const batch of queue) {\n    for (const change of batch.changes) {\n      if (change.kind === 'remove') {\n        delete revisions[change.path];\n      } else if (change.kind === 'move') {\n        const revision = revisions[change.path];\n        delete revisions[change.path];\n        if (revision !== undefined) revisions[change.to] = revision;\n      }\n    }\n  }\n  return revisions;\n}\n\nexport function overlayChanged(\n  base: Layer,\n  queue: readonly ChangeBatch[],\n  previousBase: Layer,\n  previousQueue: readonly ChangeBatch[],\n  previousVisible: Layer,\n): Layer {\n  const before = previousQueue.map((batch) => JSON.stringify(batch));\n  const after = queue.map((batch) => JSON.stringify(batch));\n  if (\n    before.length === after.length &&\n    before.every((id, index) => id === after[index]) &&\n    sameLayerText(base, previousBase)\n  ) {\n    return {\n      documents: previousVisible.documents,\n      binaryTargets: previousVisible.binaryTargets,\n      revisions: replayRevisions(base.revisions, queue),\n    };\n  }\n  const affected = new Set<string>();\n  const paths = new Set([\n    ...Object.keys(base.documents),\n    ...Object.keys(previousBase.documents),\n    ...Object.keys(base.revisions),\n    ...Object.keys(previousBase.revisions),\n    ...base.binaryTargets,\n    ...previousBase.binaryTargets,\n  ]);\n  for (const path of paths) {\n    if (\n      base.documents[path] !== previousBase.documents[path] ||\n      base.revisions[path] !== previousBase.revisions[path] ||\n      base.binaryTargets.includes(path) !== previousBase.binaryTargets.includes(path)\n    )\n      affected.add(path);\n  }\n  const oldIds = new Set(before);\n  const newIds = new Set(after);\n  for (const batch of previousQueue) {\n    if (!newIds.has(JSON.stringify(batch))) for (const path of pathsOf(batch)) affected.add(path);\n  }\n  for (const batch of queue) {\n    if (!oldIds.has(JSON.stringify(batch))) for (const path of pathsOf(batch)) affected.add(path);\n  }\n  let expanded = true;\n  while (expanded) {\n    expanded = false;\n    for (const batch of queue) {\n      const touched = pathsOf(batch);\n      if (!touched.some((path) => affected.has(path))) continue;\n      for (const path of touched) {\n        if (affected.has(path)) continue;\n        affected.add(path);\n        expanded = true;\n      }\n    }\n  }\n  const documents: Record<string, string> = {};\n  const revisions: Record<string, string> = {};\n  for (const path of affected) {\n    if (base.documents[path] !== undefined) documents[path] = base.documents[path];\n    if (base.revisions[path] !== undefined) revisions[path] = base.revisions[path];\n  }\n  const staged = overlay(\n    {\n      documents,\n      revisions,\n      binaryTargets: base.binaryTargets.filter((path) => affected.has(path)),\n    },\n    queue.filter((batch) => pathsOf(batch).some((path) => affected.has(path))),\n  );\n  const mergedDocuments = { ...previousVisible.documents };\n  const mergedRevisions = { ...previousVisible.revisions };\n  const mergedTargets = new Set(previousVisible.binaryTargets);\n  for (const path of affected) {\n    delete mergedDocuments[path];\n    delete mergedRevisions[path];\n    mergedTargets.delete(path);\n  }\n  Object.assign(mergedDocuments, staged.documents);\n  Object.assign(mergedRevisions, staged.revisions);\n  for (const path of staged.binaryTargets) mergedTargets.add(path);\n  return {\n    documents: mergedDocuments,\n    revisions: mergedRevisions,\n    binaryTargets: [...mergedTargets].sort(),\n  };\n}\n"],"names":["apply","parse","serialize","EMPTY_FRONTMATTER","at","path","name","priorsOf","preconditions","fields","Map","sections","preambles","precondition","kind","set","value","field","get","section","preamble","compose","body","Object","entries","map","join","skeleton","opened","ok","document","next","prior","undefined","outcome","edited","change","priors","edit","staged","text","documents","parsed","relocate","from","to","binaryTargets","delete","add","revision","revisions","erase","stage","content","overlay","base","queue","Set","batch","changes","sort","pathsOf","flatMap","sameLayerText","left","right","paths","keys","length","every","includes","replayRevisions","overlayChanged","previousBase","previousQueue","previousVisible","before","JSON","stringify","after","id","index","affected","oldIds","newIds","has","expanded","touched","some","filter","mergedDocuments","mergedRevisions","mergedTargets","assign"],"mappings":"AAAA,SAASA,KAAK,EAAEC,KAAK,EAAEC,SAAS,QAAuB,uBAAuB;AAqB9E,MAAMC,oBAAoB;AAE1B,SAASC,GAAGC,IAAY,EAAEC,IAAY;IACpC,OAAO,GAAGD,KAAK,CAAC,EAAEC,MAAM;AAC1B;AAEA,SAASC,SAASC,aAAsC;IACtD,MAAMC,SAAS,IAAIC;IACnB,MAAMC,WAAW,IAAID;IACrB,MAAME,YAAY,IAAIF;IACtB,KAAK,MAAMG,gBAAgBL,cAAe;QACxC,IAAIK,aAAaC,IAAI,KAAK,SAAS;YACjCL,OAAOM,GAAG,CAACX,GAAGS,aAAaR,IAAI,EAAEQ,aAAaP,IAAI,GAAGO,aAAaG,KAAK;QACzE;QACA,IAAIH,aAAaC,IAAI,KAAK,WAAW;YACnCH,SAASI,GAAG,CAACX,GAAGS,aAAaR,IAAI,EAAEQ,aAAaP,IAAI,GAAGO,aAAaG,KAAK;QAC3E;QACA,IAAIH,aAAaC,IAAI,KAAK,YAAY;YACpCF,UAAUG,GAAG,CAACF,aAAaR,IAAI,EAAEQ,aAAaG,KAAK;QACrD;IACF;IACA,OAAO;QACLC,OAAO,CAACZ,MAAMC,OAASG,OAAOS,GAAG,CAACd,GAAGC,MAAMC;QAC3Ca,SAAS,CAACd,MAAMC,OAASK,SAASO,GAAG,CAACd,GAAGC,MAAMC,UAAU;QACzDc,UAAU,CAACf,OAASO,UAAUM,GAAG,CAACb,SAAS;IAC7C;AACF;AAEA,SAASgB,QACPZ,MAAyC,EACzCE,QAA0C;IAE1C,MAAMW,OAAOC,OAAOC,OAAO,CAACb,UACzBc,GAAG,CAAC,CAAC,CAACnB,MAAMU,MAAM,GAAK,CAAC,KAAK,EAAEV,KAAK,EAAE,EAAEU,OAAO,EAC/CU,IAAI,CAAC;IACR,MAAMC,WAAW,GAAGxB,oBAAoBmB,MAAM;IAC9C,MAAMM,SAAS3B,MAAM0B;IACrB,IAAI,CAACC,OAAOC,EAAE,EAAE,OAAOF;IACvB,IAAIG,WAAqBF,OAAOE,QAAQ;IACxC,KAAK,MAAM,CAACxB,MAAMU,MAAM,IAAIO,OAAOC,OAAO,CAACf,QAAS;QAClD,MAAMsB,OAAO/B,MAAM8B,UAAU;YAAEhB,MAAM;YAASR;YAAMU;YAAOgB,OAAOC;QAAU;QAC5E,IAAIF,KAAKG,OAAO,KAAK,WAAWJ,WAAWC,KAAKD,QAAQ;IAC1D;IACA,OAAO5B,UAAU4B;AACnB;AAEA,SAASK,OAAOL,QAAkB,EAAEM,MAAc,EAAEC,MAAc;IAChE,IAAID,OAAOtB,IAAI,KAAK,SAAS;QAC3B,OAAOd,MAAM8B,UAAU;YACrBhB,MAAM;YACNR,MAAM8B,OAAO9B,IAAI;YACjBU,OAAOoB,OAAOpB,KAAK;YACnBgB,OAAOK,OAAOpB,KAAK,CAACmB,OAAO/B,IAAI,EAAE+B,OAAO9B,IAAI;QAC9C;IACF;IACA,IAAI8B,OAAOtB,IAAI,KAAK,YAAY;QAC9B,OAAOd,MAAM8B,UAAU;YACrBhB,MAAM;YACNE,OAAOoB,OAAOpB,KAAK;YACnBgB,OAAOK,OAAOjB,QAAQ,CAACgB,OAAO/B,IAAI;QACpC;IACF;IACA,IAAI+B,OAAOtB,IAAI,KAAK,WAAW,OAAO;IACtC,OAAOd,MAAM8B,UAAU;QACrBhB,MAAM;QACNR,MAAM8B,OAAO9B,IAAI;QACjBU,OAAOoB,OAAOpB,KAAK;QACnBgB,OAAOK,OAAOlB,OAAO,CAACiB,OAAO/B,IAAI,EAAE+B,OAAO9B,IAAI;IAChD;AACF;AAEA,SAASgC,KAAKC,MAAc,EAAEH,MAAc,EAAEC,MAAc;IAC1D,MAAMG,OAAOD,OAAOE,SAAS,CAACL,OAAO/B,IAAI,CAAC;IAC1C,IAAImC,SAASP,WAAW;IACxB,MAAMS,SAASzC,MAAMuC,MAAMJ,OAAO/B,IAAI;IACtC,IAAI,CAACqC,OAAOb,EAAE,EAAE;IAChB,MAAME,OAAOI,OAAOO,OAAOZ,QAAQ,EAAEM,QAAQC;IAC7C,IAAIN,MAAMG,YAAY,WAAWK,OAAOE,SAAS,CAACL,OAAO/B,IAAI,CAAC,GAAGH,UAAU6B,KAAKD,QAAQ;AAC1F;AAEA,SAASa,SAASJ,MAAc,EAAEK,IAAY,EAAEC,EAAU;IACxD,MAAML,OAAOD,OAAOE,SAAS,CAACG,KAAK;IACnC,IAAIJ,SAASP,WAAW;QACtB,OAAOM,OAAOE,SAAS,CAACG,KAAK;QAC7BL,OAAOE,SAAS,CAACI,GAAG,GAAGL;IACzB,OAAO,IAAID,OAAOO,aAAa,CAACC,MAAM,CAACH,OAAO;QAC5CL,OAAOO,aAAa,CAACE,GAAG,CAACH;IAC3B,OAAO;QACL;IACF;IACA,MAAMI,WAAWV,OAAOW,SAAS,CAACN,KAAK;IACvC,IAAIK,aAAahB,WAAW;IAC5B,OAAOM,OAAOW,SAAS,CAACN,KAAK;IAC7BL,OAAOW,SAAS,CAACL,GAAG,GAAGI;AACzB;AAEA,SAASE,MAAMZ,MAAc,EAAElC,IAAY;IACzC,OAAOkC,OAAOE,SAAS,CAACpC,KAAK;IAC7B,OAAOkC,OAAOW,SAAS,CAAC7C,KAAK;IAC7BkC,OAAOO,aAAa,CAACC,MAAM,CAAC1C;AAC9B;AAEA,SAAS+C,MAAMb,MAAc,EAAEH,MAAc,EAAEC,MAAc;IAC3D,IAAID,OAAOtB,IAAI,KAAK,WAAWsB,OAAOtB,IAAI,KAAK,aAAasB,OAAOtB,IAAI,KAAK,YAAY;QACtFwB,KAAKC,QAAQH,QAAQC;QACrB;IACF;IACA,IAAID,OAAOtB,IAAI,KAAK,UAAU;QAC5ByB,OAAOE,SAAS,CAACL,OAAO/B,IAAI,CAAC,GAC3B,aAAa+B,SAASA,OAAOiB,OAAO,GAAGhC,QAAQe,OAAO3B,MAAM,EAAE2B,OAAOzB,QAAQ;QAC/E;IACF;IACA,IAAIyB,OAAOtB,IAAI,KAAK,WAAW;QAC7B,IAAIyB,OAAOE,SAAS,CAACL,OAAO/B,IAAI,CAAC,KAAK4B,WAAW;QACjDM,OAAOE,SAAS,CAACL,OAAO/B,IAAI,CAAC,GAAG+B,OAAOiB,OAAO;QAC9C;IACF;IACA,IAAIjB,OAAOtB,IAAI,KAAK,QAAQ;QAC1B6B,SAASJ,QAAQH,OAAO/B,IAAI,EAAE+B,OAAOS,EAAE;QACvC;IACF;IACAM,MAAMZ,QAAQH,OAAO/B,IAAI;AAC3B;AAEA,OAAO,SAASiD,QAAQC,IAAW,EAAEC,KAA6B;IAChE,MAAMjB,SAAiB;QACrBE,WAAW;YAAE,GAAGc,KAAKd,SAAS;QAAC;QAC/BK,eAAe,IAAIW,IAAIF,KAAKT,aAAa;QACzCI,WAAW;YAAE,GAAGK,KAAKL,SAAS;QAAC;IACjC;IACA,KAAK,MAAMQ,SAASF,MAAO;QACzB,MAAMnB,SAAS9B,SAASmD,MAAMlD,aAAa;QAC3C,KAAK,MAAM4B,UAAUsB,MAAMC,OAAO,CAAEP,MAAMb,QAAQH,QAAQC;IAC5D;IACA,OAAO;QACLI,WAAWF,OAAOE,SAAS;QAC3BK,eAAe;eAAIP,OAAOO,aAAa;SAAC,CAACc,IAAI;QAC7CV,WAAWX,OAAOW,SAAS;IAC7B;AACF;AAEA,SAASW,QAAQH,KAAkB;IACjC,OAAOA,MAAMC,OAAO,CAACG,OAAO,CAAC,CAAC1B,SAC5BA,OAAOtB,IAAI,KAAK,SAAS;YAACsB,OAAO/B,IAAI;YAAE+B,OAAOS,EAAE;SAAC,GAAG;YAACT,OAAO/B,IAAI;SAAC;AAErE;AAEA,OAAO,SAAS0D,cAAcC,IAAW,EAAEC,KAAY;IACrD,MAAMC,QAAQ3C,OAAO4C,IAAI,CAACH,KAAKvB,SAAS;IACxC,OACEyB,MAAME,MAAM,KAAK7C,OAAO4C,IAAI,CAACF,MAAMxB,SAAS,EAAE2B,MAAM,IACpDF,MAAMG,KAAK,CAAC,CAAChE,OAAS2D,KAAKvB,SAAS,CAACpC,KAAK,KAAK4D,MAAMxB,SAAS,CAACpC,KAAK,KACpE2D,KAAKlB,aAAa,CAACsB,MAAM,KAAKH,MAAMnB,aAAa,CAACsB,MAAM,IACxDJ,KAAKlB,aAAa,CAACuB,KAAK,CAAC,CAAChE,OAAS4D,MAAMnB,aAAa,CAACwB,QAAQ,CAACjE;AAEpE;AAEA,SAASkE,gBACPhB,IAAsC,EACtCC,KAA6B;IAE7B,MAAMN,YAAY;QAAE,GAAGK,IAAI;IAAC;IAC5B,KAAK,MAAMG,SAASF,MAAO;QACzB,KAAK,MAAMpB,UAAUsB,MAAMC,OAAO,CAAE;YAClC,IAAIvB,OAAOtB,IAAI,KAAK,UAAU;gBAC5B,OAAOoC,SAAS,CAACd,OAAO/B,IAAI,CAAC;YAC/B,OAAO,IAAI+B,OAAOtB,IAAI,KAAK,QAAQ;gBACjC,MAAMmC,WAAWC,SAAS,CAACd,OAAO/B,IAAI,CAAC;gBACvC,OAAO6C,SAAS,CAACd,OAAO/B,IAAI,CAAC;gBAC7B,IAAI4C,aAAahB,WAAWiB,SAAS,CAACd,OAAOS,EAAE,CAAC,GAAGI;YACrD;QACF;IACF;IACA,OAAOC;AACT;AAEA,OAAO,SAASsB,eACdjB,IAAW,EACXC,KAA6B,EAC7BiB,YAAmB,EACnBC,aAAqC,EACrCC,eAAsB;IAEtB,MAAMC,SAASF,cAAcjD,GAAG,CAAC,CAACiC,QAAUmB,KAAKC,SAAS,CAACpB;IAC3D,MAAMqB,QAAQvB,MAAM/B,GAAG,CAAC,CAACiC,QAAUmB,KAAKC,SAAS,CAACpB;IAClD,IACEkB,OAAOR,MAAM,KAAKW,MAAMX,MAAM,IAC9BQ,OAAOP,KAAK,CAAC,CAACW,IAAIC,QAAUD,OAAOD,KAAK,CAACE,MAAM,KAC/ClB,cAAcR,MAAMkB,eACpB;QACA,OAAO;YACLhC,WAAWkC,gBAAgBlC,SAAS;YACpCK,eAAe6B,gBAAgB7B,aAAa;YAC5CI,WAAWqB,gBAAgBhB,KAAKL,SAAS,EAAEM;QAC7C;IACF;IACA,MAAM0B,WAAW,IAAIzB;IACrB,MAAMS,QAAQ,IAAIT,IAAI;WACjBlC,OAAO4C,IAAI,CAACZ,KAAKd,SAAS;WAC1BlB,OAAO4C,IAAI,CAACM,aAAahC,SAAS;WAClClB,OAAO4C,IAAI,CAACZ,KAAKL,SAAS;WAC1B3B,OAAO4C,IAAI,CAACM,aAAavB,SAAS;WAClCK,KAAKT,aAAa;WAClB2B,aAAa3B,aAAa;KAC9B;IACD,KAAK,MAAMzC,QAAQ6D,MAAO;QACxB,IACEX,KAAKd,SAAS,CAACpC,KAAK,KAAKoE,aAAahC,SAAS,CAACpC,KAAK,IACrDkD,KAAKL,SAAS,CAAC7C,KAAK,KAAKoE,aAAavB,SAAS,CAAC7C,KAAK,IACrDkD,KAAKT,aAAa,CAACwB,QAAQ,CAACjE,UAAUoE,aAAa3B,aAAa,CAACwB,QAAQ,CAACjE,OAE1E6E,SAASlC,GAAG,CAAC3C;IACjB;IACA,MAAM8E,SAAS,IAAI1B,IAAImB;IACvB,MAAMQ,SAAS,IAAI3B,IAAIsB;IACvB,KAAK,MAAMrB,SAASgB,cAAe;QACjC,IAAI,CAACU,OAAOC,GAAG,CAACR,KAAKC,SAAS,CAACpB,SAAS,KAAK,MAAMrD,QAAQwD,QAAQH,OAAQwB,SAASlC,GAAG,CAAC3C;IAC1F;IACA,KAAK,MAAMqD,SAASF,MAAO;QACzB,IAAI,CAAC2B,OAAOE,GAAG,CAACR,KAAKC,SAAS,CAACpB,SAAS,KAAK,MAAMrD,QAAQwD,QAAQH,OAAQwB,SAASlC,GAAG,CAAC3C;IAC1F;IACA,IAAIiF,WAAW;IACf,MAAOA,SAAU;QACfA,WAAW;QACX,KAAK,MAAM5B,SAASF,MAAO;YACzB,MAAM+B,UAAU1B,QAAQH;YACxB,IAAI,CAAC6B,QAAQC,IAAI,CAAC,CAACnF,OAAS6E,SAASG,GAAG,CAAChF,QAAQ;YACjD,KAAK,MAAMA,QAAQkF,QAAS;gBAC1B,IAAIL,SAASG,GAAG,CAAChF,OAAO;gBACxB6E,SAASlC,GAAG,CAAC3C;gBACbiF,WAAW;YACb;QACF;IACF;IACA,MAAM7C,YAAoC,CAAC;IAC3C,MAAMS,YAAoC,CAAC;IAC3C,KAAK,MAAM7C,QAAQ6E,SAAU;QAC3B,IAAI3B,KAAKd,SAAS,CAACpC,KAAK,KAAK4B,WAAWQ,SAAS,CAACpC,KAAK,GAAGkD,KAAKd,SAAS,CAACpC,KAAK;QAC9E,IAAIkD,KAAKL,SAAS,CAAC7C,KAAK,KAAK4B,WAAWiB,SAAS,CAAC7C,KAAK,GAAGkD,KAAKL,SAAS,CAAC7C,KAAK;IAChF;IACA,MAAMkC,SAASe,QACb;QACEb;QACAS;QACAJ,eAAeS,KAAKT,aAAa,CAAC2C,MAAM,CAAC,CAACpF,OAAS6E,SAASG,GAAG,CAAChF;IAClE,GACAmD,MAAMiC,MAAM,CAAC,CAAC/B,QAAUG,QAAQH,OAAO8B,IAAI,CAAC,CAACnF,OAAS6E,SAASG,GAAG,CAAChF;IAErE,MAAMqF,kBAAkB;QAAE,GAAGf,gBAAgBlC,SAAS;IAAC;IACvD,MAAMkD,kBAAkB;QAAE,GAAGhB,gBAAgBzB,SAAS;IAAC;IACvD,MAAM0C,gBAAgB,IAAInC,IAAIkB,gBAAgB7B,aAAa;IAC3D,KAAK,MAAMzC,QAAQ6E,SAAU;QAC3B,OAAOQ,eAAe,CAACrF,KAAK;QAC5B,OAAOsF,eAAe,CAACtF,KAAK;QAC5BuF,cAAc7C,MAAM,CAAC1C;IACvB;IACAkB,OAAOsE,MAAM,CAACH,iBAAiBnD,OAAOE,SAAS;IAC/ClB,OAAOsE,MAAM,CAACF,iBAAiBpD,OAAOW,SAAS;IAC/C,KAAK,MAAM7C,QAAQkC,OAAOO,aAAa,CAAE8C,cAAc5C,GAAG,CAAC3C;IAC3D,OAAO;QACLoC,WAAWiD;QACXxC,WAAWyC;QACX7C,eAAe;eAAI8C;SAAc,CAAChC,IAAI;IACxC;AACF"}

package/dist/paths.d.ts

@@ -1,5 +1,4 @@
 export declare function normalize(path: string): string | null;
-export declare function resolve(from: string, reference: string): string | null;
 export declare function relative(from: string, target: string): string;
 export declare function beneath(prefix: string, path: string): boolean;
 export declare function covered(prefixes: readonly string[], path: string): boolean;

package/dist/paths.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"paths.d.ts","sourceRoot":"","sources":["../src/paths.ts"],"names":[],"mappings":"AAKA,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAYrD;AAED,wBAAgB,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAGtE;AAED,wBAAgB,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAW7D;AAED,wBAAgB,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAE7D;AAED,wBAAgB,OAAO,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAK1E"}
+{"version":3,"file":"paths.d.ts","sourceRoot":"","sources":["../src/paths.ts"],"names":[],"mappings":"AAKA,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAYrD;AAED,wBAAgB,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAW7D;AAED,wBAAgB,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAE7D;AAED,wBAAgB,OAAO,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAK1E"}

package/dist/paths.js

@@ -15,10 +15,6 @@ export function normalize(path) {
     }
     return parts.join('/');
 }
-export function resolve(from, reference) {
-    const base = dirname(from);
-    return normalize(base === '' ? reference : `${base}/${reference}`);
-}
 export function relative(from, target) {
     const base = dirname(from).split('/').filter((part)=>part !== '');
     const parts = target.split('/');

package/dist/paths.js.map

@@ -1 +1 @@
-{"version":3,"sources":["/workspace/packages/mdruntime/src/paths.ts"],"sourcesContent":["function dirname(path: string): string {\n  const index = path.lastIndexOf('/');\n  return index === -1 ? '' : path.slice(0, index);\n}\n\nexport function normalize(path: string): string | null {\n  const parts: string[] = [];\n  for (const part of path.split('/')) {\n    if (part === '' || part === '.') continue;\n    if (part === '..') {\n      if (parts.length === 0) return null;\n      parts.pop();\n      continue;\n    }\n    parts.push(part);\n  }\n  return parts.join('/');\n}\n\nexport function resolve(from: string, reference: string): string | null {\n  const base = dirname(from);\n  return normalize(base === '' ? reference : `${base}/${reference}`);\n}\n\nexport function relative(from: string, target: string): string {\n  const base = dirname(from)\n    .split('/')\n    .filter((part) => part !== '');\n  const parts = target.split('/');\n  let shared = 0;\n  while (shared < base.length && shared + 1 < parts.length && base[shared] === parts[shared]) {\n    shared += 1;\n  }\n  const up = Array.from({ length: base.length - shared }, () => '..');\n  return [...up, ...parts.slice(shared)].join('/');\n}\n\nexport function beneath(prefix: string, path: string): boolean {\n  return path === prefix || path.startsWith(`${prefix}/`);\n}\n\nexport function covered(prefixes: readonly string[], path: string): boolean {\n  return prefixes.some((prefix) => {\n    const normalized = normalize(prefix);\n    return normalized !== null && (normalized === '' || beneath(normalized, path));\n  });\n}\n"],"names":["dirname","path","index","lastIndexOf","slice","normalize","parts","part","split","length","pop","push","join","resolve","from","reference","base","relative","target","filter","shared","up","Array","beneath","prefix","startsWith","covered","prefixes","some","normalized"],"mappings":"AAAA,SAASA,QAAQC,IAAY;IAC3B,MAAMC,QAAQD,KAAKE,WAAW,CAAC;IAC/B,OAAOD,UAAU,CAAC,IAAI,KAAKD,KAAKG,KAAK,CAAC,GAAGF;AAC3C;AAEA,OAAO,SAASG,UAAUJ,IAAY;IACpC,MAAMK,QAAkB,EAAE;IAC1B,KAAK,MAAMC,QAAQN,KAAKO,KAAK,CAAC,KAAM;QAClC,IAAID,SAAS,MAAMA,SAAS,KAAK;QACjC,IAAIA,SAAS,MAAM;YACjB,IAAID,MAAMG,MAAM,KAAK,GAAG,OAAO;YAC/BH,MAAMI,GAAG;YACT;QACF;QACAJ,MAAMK,IAAI,CAACJ;IACb;IACA,OAAOD,MAAMM,IAAI,CAAC;AACpB;AAEA,OAAO,SAASC,QAAQC,IAAY,EAAEC,SAAiB;IACrD,MAAMC,OAAOhB,QAAQc;IACrB,OAAOT,UAAUW,SAAS,KAAKD,YAAY,GAAGC,KAAK,CAAC,EAAED,WAAW;AACnE;AAEA,OAAO,SAASE,SAASH,IAAY,EAAEI,MAAc;IACnD,MAAMF,OAAOhB,QAAQc,MAClBN,KAAK,CAAC,KACNW,MAAM,CAAC,CAACZ,OAASA,SAAS;IAC7B,MAAMD,QAAQY,OAAOV,KAAK,CAAC;IAC3B,IAAIY,SAAS;IACb,MAAOA,SAASJ,KAAKP,MAAM,IAAIW,SAAS,IAAId,MAAMG,MAAM,IAAIO,IAAI,CAACI,OAAO,KAAKd,KAAK,CAACc,OAAO,CAAE;QAC1FA,UAAU;IACZ;IACA,MAAMC,KAAKC,MAAMR,IAAI,CAAC;QAAEL,QAAQO,KAAKP,MAAM,GAAGW;IAAO,GAAG,IAAM;IAC9D,OAAO;WAAIC;WAAOf,MAAMF,KAAK,CAACgB;KAAQ,CAACR,IAAI,CAAC;AAC9C;AAEA,OAAO,SAASW,QAAQC,MAAc,EAAEvB,IAAY;IAClD,OAAOA,SAASuB,UAAUvB,KAAKwB,UAAU,CAAC,GAAGD,OAAO,CAAC,CAAC;AACxD;AAEA,OAAO,SAASE,QAAQC,QAA2B,EAAE1B,IAAY;IAC/D,OAAO0B,SAASC,IAAI,CAAC,CAACJ;QACpB,MAAMK,aAAaxB,UAAUmB;QAC7B,OAAOK,eAAe,QAASA,CAAAA,eAAe,MAAMN,QAAQM,YAAY5B,KAAI;IAC9E;AACF"}
+{"version":3,"sources":["/workspace/packages/mdruntime/src/paths.ts"],"sourcesContent":["function dirname(path: string): string {\n  const index = path.lastIndexOf('/');\n  return index === -1 ? '' : path.slice(0, index);\n}\n\nexport function normalize(path: string): string | null {\n  const parts: string[] = [];\n  for (const part of path.split('/')) {\n    if (part === '' || part === '.') continue;\n    if (part === '..') {\n      if (parts.length === 0) return null;\n      parts.pop();\n      continue;\n    }\n    parts.push(part);\n  }\n  return parts.join('/');\n}\n\nexport function relative(from: string, target: string): string {\n  const base = dirname(from)\n    .split('/')\n    .filter((part) => part !== '');\n  const parts = target.split('/');\n  let shared = 0;\n  while (shared < base.length && shared + 1 < parts.length && base[shared] === parts[shared]) {\n    shared += 1;\n  }\n  const up = Array.from({ length: base.length - shared }, () => '..');\n  return [...up, ...parts.slice(shared)].join('/');\n}\n\nexport function beneath(prefix: string, path: string): boolean {\n  return path === prefix || path.startsWith(`${prefix}/`);\n}\n\nexport function covered(prefixes: readonly string[], path: string): boolean {\n  return prefixes.some((prefix) => {\n    const normalized = normalize(prefix);\n    return normalized !== null && (normalized === '' || beneath(normalized, path));\n  });\n}\n"],"names":["dirname","path","index","lastIndexOf","slice","normalize","parts","part","split","length","pop","push","join","relative","from","target","base","filter","shared","up","Array","beneath","prefix","startsWith","covered","prefixes","some","normalized"],"mappings":"AAAA,SAASA,QAAQC,IAAY;IAC3B,MAAMC,QAAQD,KAAKE,WAAW,CAAC;IAC/B,OAAOD,UAAU,CAAC,IAAI,KAAKD,KAAKG,KAAK,CAAC,GAAGF;AAC3C;AAEA,OAAO,SAASG,UAAUJ,IAAY;IACpC,MAAMK,QAAkB,EAAE;IAC1B,KAAK,MAAMC,QAAQN,KAAKO,KAAK,CAAC,KAAM;QAClC,IAAID,SAAS,MAAMA,SAAS,KAAK;QACjC,IAAIA,SAAS,MAAM;YACjB,IAAID,MAAMG,MAAM,KAAK,GAAG,OAAO;YAC/BH,MAAMI,GAAG;YACT;QACF;QACAJ,MAAMK,IAAI,CAACJ;IACb;IACA,OAAOD,MAAMM,IAAI,CAAC;AACpB;AAEA,OAAO,SAASC,SAASC,IAAY,EAAEC,MAAc;IACnD,MAAMC,OAAOhB,QAAQc,MAClBN,KAAK,CAAC,KACNS,MAAM,CAAC,CAACV,OAASA,SAAS;IAC7B,MAAMD,QAAQS,OAAOP,KAAK,CAAC;IAC3B,IAAIU,SAAS;IACb,MAAOA,SAASF,KAAKP,MAAM,IAAIS,SAAS,IAAIZ,MAAMG,MAAM,IAAIO,IAAI,CAACE,OAAO,KAAKZ,KAAK,CAACY,OAAO,CAAE;QAC1FA,UAAU;IACZ;IACA,MAAMC,KAAKC,MAAMN,IAAI,CAAC;QAAEL,QAAQO,KAAKP,MAAM,GAAGS;IAAO,GAAG,IAAM;IAC9D,OAAO;WAAIC;WAAOb,MAAMF,KAAK,CAACc;KAAQ,CAACN,IAAI,CAAC;AAC9C;AAEA,OAAO,SAASS,QAAQC,MAAc,EAAErB,IAAY;IAClD,OAAOA,SAASqB,UAAUrB,KAAKsB,UAAU,CAAC,GAAGD,OAAO,CAAC,CAAC;AACxD;AAEA,OAAO,SAASE,QAAQC,QAA2B,EAAExB,IAAY;IAC/D,OAAOwB,SAASC,IAAI,CAAC,CAACJ;QACpB,MAAMK,aAAatB,UAAUiB;QAC7B,OAAOK,eAAe,QAASA,CAAAA,eAAe,MAAMN,QAAQM,YAAY1B,KAAI;IAC9E;AACF"}

package/dist/query.d.ts

@@ -0,0 +1,209 @@
+import type { Definition } from '@agentshouse/mdmodel';
+export type Value = string | number | boolean | null;
+export type Predicate = Value | {
+    $eq: Value;
+} | {
+    $ne: Value;
+} | {
+    $in: readonly Value[];
+} | {
+    $nin: readonly Value[];
+} | {
+    $gt?: Value;
+    $gte?: Value;
+    $lt?: Value;
+    $lte?: Value;
+} | {
+    $all: readonly Value[];
+} | {
+    $size: number;
+} | {
+    $exists: boolean;
+};
+export type Where = {
+    $and?: readonly Where[];
+    $or?: readonly Where[];
+    [field: string]: Predicate | readonly Where[] | undefined;
+};
+export type Related = {
+    types?: readonly string[];
+    where?: Where;
+    pathPrefix?: string;
+};
+export type Filter = {
+    rooms?: readonly string[];
+    types?: readonly string[];
+    where?: Where;
+    pathPrefix?: string;
+    hop?: Related & {
+        field: string;
+    };
+    backlinks?: Related & {
+        field?: string;
+    };
+};
+export type Key = 'room' | 'path' | 'type' | {
+    field: string;
+};
+export type Select = 'all' | {
+    fields?: 'all' | readonly string[];
+    sections?: 'all' | readonly string[];
+    preamble?: true;
+    markdown?: true;
+    backlinks?: true;
+};
+export type OrderOptions = {
+    nulls?: 'first' | 'last';
+    stringSort?: 'lexical' | 'locale';
+    locale?: string;
+    localeOptions?: Readonly<Record<string, unknown>>;
+};
+export type Direction = 'asc' | 'desc';
+export type DocumentQuery = Filter & {
+    select: Select;
+    orderBy?: readonly ({
+        by: Key;
+        direction?: Direction;
+    } & OrderOptions)[];
+    limit?: number;
+};
+export type GroupQuery = Filter & {
+    groupBy: readonly Exclude<Key, 'path'>[];
+    orderBy?: readonly {
+        by: 'count' | Exclude<Key, 'path'>;
+        direction?: Direction;
+    }[];
+    limit?: number;
+};
+export type LocalQuery = DocumentQuery | GroupQuery;
+export type Backlink = {
+    path: string;
+    type: string;
+    field: string;
+};
+export type QueryDocument = {
+    room: string;
+    path: string;
+    type?: string;
+    fields?: Readonly<Record<string, unknown>>;
+    sections?: Readonly<Record<string, string>>;
+    preamble?: string;
+    markdown?: string;
+    backlinks?: readonly Backlink[];
+};
+export type QueryGroup = {
+    key: readonly unknown[];
+    count: number;
+};
+export type DocumentResult = {
+    documents: readonly QueryDocument[];
+};
+export type GroupResult = {
+    groups: readonly QueryGroup[];
+};
+export type QueryResult = DocumentResult | GroupResult;
+export type QueryErrorCode = 'invalid-query' | 'unknown-type' | 'unknown-field' | 'wrong-kind';
+export type RoomFacts = {
+    locator: string;
+    available: boolean;
+    types: readonly Definition[];
+};
+export type HeldRooms = {
+    listed: boolean;
+    rooms: readonly RoomFacts[];
+};
+export type Test = {
+    op: 'eq';
+    value: Value;
+} | {
+    op: 'ne';
+    value: Value;
+} | {
+    op: 'in';
+    values: readonly Value[];
+} | {
+    op: 'nin';
+    values: readonly Value[];
+} | {
+    op: 'range';
+    bounds: readonly (readonly ['gt' | 'gte' | 'lt' | 'lte', Value])[];
+} | {
+    op: 'all';
+    values: readonly Value[];
+} | {
+    op: 'size';
+    size: number;
+} | {
+    op: 'exists';
+    exists: boolean;
+};
+export type Condition = {
+    every: readonly Condition[];
+} | {
+    some: readonly Condition[];
+} | {
+    field: string;
+    test: Test;
+};
+export type Scope = {
+    types: readonly string[] | null;
+    where: Condition | null;
+    pathPrefix: string | null;
+};
+export type KeyPlan = {
+    of: 'room';
+} | {
+    of: 'path';
+} | {
+    of: 'type';
+} | {
+    of: 'field';
+    field: string;
+};
+export type DocumentShape = {
+    kind: 'documents';
+    fields: 'all' | readonly string[] | null;
+    sections: 'all' | readonly string[] | null;
+    preamble: boolean;
+    markdown: boolean;
+    backlinks: boolean;
+    orderBy: readonly {
+        key: KeyPlan;
+        options: OrderOptions & {
+            direction: Direction;
+        };
+    }[];
+};
+export type GroupShape = {
+    kind: 'groups';
+    groupBy: readonly KeyPlan[];
+    orderBy: readonly {
+        by: 'count' | number;
+        direction: Direction;
+    }[];
+};
+export type Plan = {
+    rooms: readonly string[] | null;
+    root: Scope;
+    hop: (Scope & {
+        field: string;
+    }) | null;
+    backlinks: (Scope & {
+        field: string | null;
+    }) | null;
+    shape: DocumentShape | GroupShape;
+    limit: number | null;
+};
+export declare class QueryError extends Error {
+    constructor(code: QueryErrorCode, at: string, problem: string);
+}
+type Entries = Readonly<Record<string, unknown>>;
+export declare function invalid(at: string, problem: string): never;
+export declare function plain(value: unknown): value is Entries;
+export declare function known(value: Entries, allowed: readonly string[], at: string): void;
+export declare function planOf(input: unknown, facts: HeldRooms): Plan;
+export declare function limitOf(input: unknown): number | null;
+export declare function filterOf(input: unknown, facts: HeldRooms): Plan;
+export declare function identityOf(plan: Plan): string;
+export {};
+//# sourceMappingURL=query.d.ts.map