json-patch-to-crdt 0.1.3 → 0.3.0

package/dist/{depth-Dl_yOAKU.d.ts → depth-BTHjgY18.d.mts}

@@ -39,7 +39,8 @@ type ElemId = string;
 type RgaElem = {
   id: ElemId; /** Predecessor element ID (`"HEAD"` for the first element). */
   prev: ElemId; /** Whether this element has been logically deleted. */
-  tombstone: boolean; /** The child CRDT node stored at this position. */
+  tombstone: boolean; /** Dot for the latest delete event that tombstoned this element (if retained). */
+  delDot?: Dot; /** The child CRDT node stored at this position. */
   value: Node; /** Dot used for deterministic ordering among concurrent inserts with the same predecessor. */
   insDot: Dot;
 };
@@ -66,6 +67,7 @@ type SerializedRgaElem = {
   id: ElemId;
   prev: ElemId;
   tombstone: boolean;
+  delDot?: Dot;
   value: SerializedNode;
   insDot: Dot;
 };
@@ -101,6 +103,19 @@ type SerializedState = {
 };
 /** Typed reasons for rejecting malformed serialized CRDT payloads. */
 type DeserializeErrorReason = "INVALID_SERIALIZED_SHAPE" | "INVALID_SERIALIZED_INVARIANT";
+/** Structured failure payload used by non-throwing deserialize helpers. */
+type DeserializeFailure = {
+  code: 409;
+  reason: DeserializeErrorReason;
+  path: string;
+  message: string;
+} | {
+  code: 409;
+  reason: "MAX_DEPTH_EXCEEDED";
+  message: string;
+  depth: number;
+  maxDepth: number;
+};
 /**
  * Internal intent operations produced by compiling RFC 6902 JSON Patch ops.
  * Each variant maps to a specific CRDT mutation.
@@ -201,6 +216,13 @@ type ApplyPatchAsActorOptions = {
   strictParents?: boolean;
   jsonValidation?: JsonValidationMode;
 };
+/** Non-throwing result for internals-only `tryApplyPatchAsActor`. */
+type TryApplyPatchAsActorResult = ({
+  ok: true;
+} & ApplyPatchAsActorResult) | {
+  ok: false;
+  error: ApplyError;
+};
 /** Typed failure reason used across patch/merge helpers. */
 type PatchErrorReason = "INVALID_PATCH" | "INVALID_POINTER" | "MISSING_PARENT" | "MISSING_TARGET" | "INVALID_TARGET" | "OUT_OF_BOUNDS" | "TEST_FAILED" | "INVALID_MOVE" | "DOT_GENERATION_EXHAUSTED" | "MAX_DEPTH_EXCEEDED" | "LINEAGE_MISMATCH";
 /** Structured conflict payload used by non-throwing APIs. */
@@ -216,6 +238,22 @@ type ApplyError = {
 type ApplyResult = {
   ok: true;
 } | ApplyError;
+/** Non-throwing result for `deserializeDoc`. */
+type TryDeserializeDocResult = {
+  ok: true;
+  doc: Doc;
+} | {
+  ok: false;
+  error: DeserializeFailure;
+};
+/** Non-throwing result for `deserializeState`. */
+type TryDeserializeStateResult = {
+  ok: true;
+  state: CrdtState;
+} | {
+  ok: false;
+  error: DeserializeFailure;
+};
 /** How JSON Patch operations are interpreted during application. */
 type PatchSemantics = "base" | "sequential";
 /** Options for compile/validation helpers. */
@@ -351,16 +389,30 @@ type DiffOptions = {
   /**
    * Array diff mode.
    * - `"lcs"` (default): index-level edits using LCS.
+   * - `"lcs-linear"`: index-level edits using a lower-memory LCS variant.
+   *   This reduces memory use but still has `O(n * m)` time complexity and no
+   *   automatic fallback for very large unmatched windows.
    * - `"atomic"`: one-op root/field replacement for changed arrays.
    */
-  arrayStrategy?: "atomic" | "lcs";
+  arrayStrategy?: "atomic" | "lcs" | "lcs-linear";
   /**
    * Maximum LCS matrix cells (`(base.length + 1) * (next.length + 1)`) before
-   * falling back to atomic replacement. Defaults to `250_000`.
+   * falling back to atomic replacement for `arrayStrategy: "lcs"`.
+   * Defaults to `250_000`.
    *
    * Set to `Number.POSITIVE_INFINITY` to always allow LCS.
    */
   lcsMaxCells?: number;
+  /**
+   * Emit RFC 6902 `move` operations when a deterministic remove/add rewrite is available.
+   * Defaults to `false` for backward compatibility.
+   */
+  emitMoves?: boolean;
+  /**
+   * Emit RFC 6902 `copy` operations when a deterministic existing-value source is available.
+   * Defaults to `false` for backward compatibility.
+   */
+  emitCopies?: boolean;
   /**
    * Runtime guardrails for diff inputs from untyped callers.
    * Defaults to `"none"` for backward compatibility.
@@ -433,6 +485,8 @@ declare function validateJsonPatch(base: JsonValue, patch: JsonPatchOp[], option
  * Returns the updated state and a new version vector snapshot.
  */
 declare function applyPatchAsActor(doc: Doc, vv: VersionVector, actor: ActorId, patch: JsonPatchOp[], options?: ApplyPatchAsActorOptions): ApplyPatchAsActorResult;
+/** Non-throwing `applyPatchAsActor` variant for internals sync flows. */
+declare function tryApplyPatchAsActor(doc: Doc, vv: VersionVector, actor: ActorId, patch: JsonPatchOp[], options?: ApplyPatchAsActorOptions): TryApplyPatchAsActorResult;
 //#endregion
 //#region src/json-value.d.ts
 /**
@@ -501,6 +555,11 @@ declare function compileJsonPatchToIntent(baseJson: JsonValue, patch: JsonPatchO
  * Compute a JSON Patch delta between two JSON values.
  * By default arrays use a deterministic LCS strategy.
  * Pass `{ arrayStrategy: "atomic" }` for single-op array replacement.
+ * Pass `{ arrayStrategy: "lcs-linear" }` for a lower-memory LCS variant.
+ * Note that `lcs-linear` still runs in `O(n * m)` time and does not have an
+ * automatic fallback for very large unmatched windows.
+ * Pass `{ emitMoves: true }` or `{ emitCopies: true }` to opt into RFC 6902
+ * move/copy emission when a deterministic rewrite is available.
  * @param base - The original JSON value.
  * @param next - The target JSON value.
  * @param options - Diff options.
@@ -521,10 +580,14 @@ declare class DeserializeError extends Error {
 declare function serializeDoc(doc: Doc): SerializedDoc;
 /** Reconstruct a CRDT document from its serialized form. */
 declare function deserializeDoc(data: SerializedDoc): Doc;
+/** Non-throwing `deserializeDoc` variant with typed validation details. */
+declare function tryDeserializeDoc(data: SerializedDoc): TryDeserializeDocResult;
 /** Serialize a full CRDT state (document + clock) to a JSON-safe representation. */
 declare function serializeState(state: CrdtState): SerializedState;
 /** Reconstruct a full CRDT state from its serialized form, restoring the clock. */
 declare function deserializeState(data: SerializedState): CrdtState;
+/** Non-throwing `deserializeState` variant with typed validation details. */
+declare function tryDeserializeState(data: SerializedState): TryDeserializeStateResult;
 //#endregion
 //#region src/merge.d.ts
 /** Error thrown by throwing merge helpers (`mergeDoc` / `mergeState`). */
@@ -597,4 +660,4 @@ declare class TraversalDepthError extends Error {
   constructor(depth: number, maxDepth?: number);
 }
 //#endregion
-export { Doc as $, applyPatchAsActor as A, TryMergeDocResult as At, ApplyPatchAsActorOptions as B, cloneClock as C, SerializedNode as Ct, JsonValueValidationError as D, TombstoneCompactionStats as Dt, observeDot as E, TombstoneCompactionOptions as Et, tryApplyPatch as F, Clock as G, ApplyPatchInPlaceOptions as H, tryApplyPatchInPlace as I, CompilePatchOptions as J, CompactDocTombstonesResult as K, validateJsonPatch as L, createState as M, ValidatePatchResult as Mt, forkState as N, VersionVector as Nt, PatchError as O, TryApplyPatchInPlaceResult as Ot, toJson as P, DiffOptions as Q, ActorId as R, ClockValidationError as S, SerializedDoc as St, nextDotForActor as T, SerializedState as Tt, ApplyPatchOptions as U, ApplyPatchAsActorResult as V, ApplyResult as W, CreateStateOptions as X, CrdtState as Y, DeserializeErrorReason as Z, diffJsonPatch as _, PatchSemantics as _t, MergeError as a, JsonPatchOp as at, parseJsonPointer as b, RgaSeq as bt, tryMergeDoc as c, JsonValidationMode as ct, deserializeDoc as d, MergeDocOptions as dt, Dot as et, deserializeState as f, MergeStateOptions as ft, compileJsonPatchToIntent as g, PatchErrorReason as gt, PatchCompileError as h, ObjNode as ht, compactStateTombstones as i, JsonPatch as it, applyPatchInPlace as j, TryMergeStateResult as jt, applyPatch as k, TryApplyPatchResult as kt, tryMergeState as l, JsonValue as lt, serializeState as m, ObjEntry as mt, TraversalDepthError as n, ForkStateOptions as nt, mergeDoc as o, JsonPatchToCrdtOptions as ot, serializeDoc as p, Node as pt, CompactStateTombstonesResult as q, compactDocTombstones as r, IntentOp as rt, mergeState as s, JsonPrimitive as st, MAX_TRAVERSAL_DEPTH as t, ElemId as tt, DeserializeError as u, LwwReg as ut, getAtJson as v, ROOT_KEY as vt, createClock as w, SerializedRgaElem as wt, stringifyJsonPointer as x, SerializedClock as xt, jsonEquals as y, RgaElem as yt, ApplyError as z };
+export { CreateStateOptions as $, PatchError as A, TombstoneCompactionOptions as At, validateJsonPatch as B, VersionVector as Bt, stringifyJsonPointer as C, RgaElem as Ct, nextDotForActor as D, SerializedNode as Dt, createClock as E, SerializedDoc as Et, forkState as F, TryDeserializeDocResult as Ft, ApplyPatchInPlaceOptions as G, ApplyError as H, toJson as I, TryDeserializeStateResult as It, Clock as J, ApplyPatchOptions as K, tryApplyPatch as L, TryMergeDocResult as Lt, applyPatchAsActor as M, TryApplyPatchAsActorResult as Mt, applyPatchInPlace as N, TryApplyPatchInPlaceResult as Nt, observeDot as O, SerializedRgaElem as Ot, createState as P, TryApplyPatchResult as Pt, CrdtState as Q, tryApplyPatchAsActor as R, TryMergeStateResult as Rt, parseJsonPointer as S, ROOT_KEY as St, cloneClock as T, SerializedClock as Tt, ApplyPatchAsActorOptions as U, ActorId as V, ApplyPatchAsActorResult as W, CompactStateTombstonesResult as X, CompactDocTombstonesResult as Y, CompilePatchOptions as Z, PatchCompileError as _, Node as _t, MergeError as a, ElemId as at, getAtJson as b, PatchErrorReason as bt, tryMergeDoc as c, JsonPatch as ct, deserializeDoc as d, JsonPrimitive as dt, DeserializeErrorReason as et, deserializeState as f, JsonValidationMode as ft, tryDeserializeState as g, MergeStateOptions as gt, tryDeserializeDoc as h, MergeDocOptions as ht, compactStateTombstones as i, Dot as it, applyPatch as j, TombstoneCompactionStats as jt, JsonValueValidationError as k, SerializedState as kt, tryMergeState as l, JsonPatchOp as lt, serializeState as m, LwwReg as mt, TraversalDepthError as n, DiffOptions as nt, mergeDoc as o, ForkStateOptions as ot, serializeDoc as p, JsonValue as pt, ApplyResult as q, compactDocTombstones as r, Doc as rt, mergeState as s, IntentOp as st, MAX_TRAVERSAL_DEPTH as t, DeserializeFailure as tt, DeserializeError as u, JsonPatchToCrdtOptions as ut, compileJsonPatchToIntent as v, ObjEntry as vt, ClockValidationError as w, RgaSeq as wt, jsonEquals as x, PatchSemantics as xt, diffJsonPatch as y, ObjNode as yt, tryApplyPatchInPlace as z, ValidatePatchResult as zt };

package/dist/{depth-IvWvLAkt.d.mts → depth-DSl2ghKu.d.ts}

@@ -39,7 +39,8 @@ type ElemId = string;
 type RgaElem = {
   id: ElemId; /** Predecessor element ID (`"HEAD"` for the first element). */
   prev: ElemId; /** Whether this element has been logically deleted. */
-  tombstone: boolean; /** The child CRDT node stored at this position. */
+  tombstone: boolean; /** Dot for the latest delete event that tombstoned this element (if retained). */
+  delDot?: Dot; /** The child CRDT node stored at this position. */
   value: Node; /** Dot used for deterministic ordering among concurrent inserts with the same predecessor. */
   insDot: Dot;
 };
@@ -66,6 +67,7 @@ type SerializedRgaElem = {
   id: ElemId;
   prev: ElemId;
   tombstone: boolean;
+  delDot?: Dot;
   value: SerializedNode;
   insDot: Dot;
 };
@@ -101,6 +103,19 @@ type SerializedState = {
 };
 /** Typed reasons for rejecting malformed serialized CRDT payloads. */
 type DeserializeErrorReason = "INVALID_SERIALIZED_SHAPE" | "INVALID_SERIALIZED_INVARIANT";
+/** Structured failure payload used by non-throwing deserialize helpers. */
+type DeserializeFailure = {
+  code: 409;
+  reason: DeserializeErrorReason;
+  path: string;
+  message: string;
+} | {
+  code: 409;
+  reason: "MAX_DEPTH_EXCEEDED";
+  message: string;
+  depth: number;
+  maxDepth: number;
+};
 /**
  * Internal intent operations produced by compiling RFC 6902 JSON Patch ops.
  * Each variant maps to a specific CRDT mutation.
@@ -201,6 +216,13 @@ type ApplyPatchAsActorOptions = {
   strictParents?: boolean;
   jsonValidation?: JsonValidationMode;
 };
+/** Non-throwing result for internals-only `tryApplyPatchAsActor`. */
+type TryApplyPatchAsActorResult = ({
+  ok: true;
+} & ApplyPatchAsActorResult) | {
+  ok: false;
+  error: ApplyError;
+};
 /** Typed failure reason used across patch/merge helpers. */
 type PatchErrorReason = "INVALID_PATCH" | "INVALID_POINTER" | "MISSING_PARENT" | "MISSING_TARGET" | "INVALID_TARGET" | "OUT_OF_BOUNDS" | "TEST_FAILED" | "INVALID_MOVE" | "DOT_GENERATION_EXHAUSTED" | "MAX_DEPTH_EXCEEDED" | "LINEAGE_MISMATCH";
 /** Structured conflict payload used by non-throwing APIs. */
@@ -216,6 +238,22 @@ type ApplyError = {
 type ApplyResult = {
   ok: true;
 } | ApplyError;
+/** Non-throwing result for `deserializeDoc`. */
+type TryDeserializeDocResult = {
+  ok: true;
+  doc: Doc;
+} | {
+  ok: false;
+  error: DeserializeFailure;
+};
+/** Non-throwing result for `deserializeState`. */
+type TryDeserializeStateResult = {
+  ok: true;
+  state: CrdtState;
+} | {
+  ok: false;
+  error: DeserializeFailure;
+};
 /** How JSON Patch operations are interpreted during application. */
 type PatchSemantics = "base" | "sequential";
 /** Options for compile/validation helpers. */
@@ -351,16 +389,30 @@ type DiffOptions = {
   /**
    * Array diff mode.
    * - `"lcs"` (default): index-level edits using LCS.
+   * - `"lcs-linear"`: index-level edits using a lower-memory LCS variant.
+   *   This reduces memory use but still has `O(n * m)` time complexity and no
+   *   automatic fallback for very large unmatched windows.
    * - `"atomic"`: one-op root/field replacement for changed arrays.
    */
-  arrayStrategy?: "atomic" | "lcs";
+  arrayStrategy?: "atomic" | "lcs" | "lcs-linear";
   /**
    * Maximum LCS matrix cells (`(base.length + 1) * (next.length + 1)`) before
-   * falling back to atomic replacement. Defaults to `250_000`.
+   * falling back to atomic replacement for `arrayStrategy: "lcs"`.
+   * Defaults to `250_000`.
    *
    * Set to `Number.POSITIVE_INFINITY` to always allow LCS.
    */
   lcsMaxCells?: number;
+  /**
+   * Emit RFC 6902 `move` operations when a deterministic remove/add rewrite is available.
+   * Defaults to `false` for backward compatibility.
+   */
+  emitMoves?: boolean;
+  /**
+   * Emit RFC 6902 `copy` operations when a deterministic existing-value source is available.
+   * Defaults to `false` for backward compatibility.
+   */
+  emitCopies?: boolean;
   /**
    * Runtime guardrails for diff inputs from untyped callers.
    * Defaults to `"none"` for backward compatibility.
@@ -433,6 +485,8 @@ declare function validateJsonPatch(base: JsonValue, patch: JsonPatchOp[], option
  * Returns the updated state and a new version vector snapshot.
  */
 declare function applyPatchAsActor(doc: Doc, vv: VersionVector, actor: ActorId, patch: JsonPatchOp[], options?: ApplyPatchAsActorOptions): ApplyPatchAsActorResult;
+/** Non-throwing `applyPatchAsActor` variant for internals sync flows. */
+declare function tryApplyPatchAsActor(doc: Doc, vv: VersionVector, actor: ActorId, patch: JsonPatchOp[], options?: ApplyPatchAsActorOptions): TryApplyPatchAsActorResult;
 //#endregion
 //#region src/json-value.d.ts
 /**
@@ -501,6 +555,11 @@ declare function compileJsonPatchToIntent(baseJson: JsonValue, patch: JsonPatchO
  * Compute a JSON Patch delta between two JSON values.
  * By default arrays use a deterministic LCS strategy.
  * Pass `{ arrayStrategy: "atomic" }` for single-op array replacement.
+ * Pass `{ arrayStrategy: "lcs-linear" }` for a lower-memory LCS variant.
+ * Note that `lcs-linear` still runs in `O(n * m)` time and does not have an
+ * automatic fallback for very large unmatched windows.
+ * Pass `{ emitMoves: true }` or `{ emitCopies: true }` to opt into RFC 6902
+ * move/copy emission when a deterministic rewrite is available.
  * @param base - The original JSON value.
  * @param next - The target JSON value.
  * @param options - Diff options.
@@ -521,10 +580,14 @@ declare class DeserializeError extends Error {
 declare function serializeDoc(doc: Doc): SerializedDoc;
 /** Reconstruct a CRDT document from its serialized form. */
 declare function deserializeDoc(data: SerializedDoc): Doc;
+/** Non-throwing `deserializeDoc` variant with typed validation details. */
+declare function tryDeserializeDoc(data: SerializedDoc): TryDeserializeDocResult;
 /** Serialize a full CRDT state (document + clock) to a JSON-safe representation. */
 declare function serializeState(state: CrdtState): SerializedState;
 /** Reconstruct a full CRDT state from its serialized form, restoring the clock. */
 declare function deserializeState(data: SerializedState): CrdtState;
+/** Non-throwing `deserializeState` variant with typed validation details. */
+declare function tryDeserializeState(data: SerializedState): TryDeserializeStateResult;
 //#endregion
 //#region src/merge.d.ts
 /** Error thrown by throwing merge helpers (`mergeDoc` / `mergeState`). */
@@ -597,4 +660,4 @@ declare class TraversalDepthError extends Error {
   constructor(depth: number, maxDepth?: number);
 }
 //#endregion
-export { Doc as $, applyPatchAsActor as A, TryMergeDocResult as At, ApplyPatchAsActorOptions as B, cloneClock as C, SerializedNode as Ct, JsonValueValidationError as D, TombstoneCompactionStats as Dt, observeDot as E, TombstoneCompactionOptions as Et, tryApplyPatch as F, Clock as G, ApplyPatchInPlaceOptions as H, tryApplyPatchInPlace as I, CompilePatchOptions as J, CompactDocTombstonesResult as K, validateJsonPatch as L, createState as M, ValidatePatchResult as Mt, forkState as N, VersionVector as Nt, PatchError as O, TryApplyPatchInPlaceResult as Ot, toJson as P, DiffOptions as Q, ActorId as R, ClockValidationError as S, SerializedDoc as St, nextDotForActor as T, SerializedState as Tt, ApplyPatchOptions as U, ApplyPatchAsActorResult as V, ApplyResult as W, CreateStateOptions as X, CrdtState as Y, DeserializeErrorReason as Z, diffJsonPatch as _, PatchSemantics as _t, MergeError as a, JsonPatchOp as at, parseJsonPointer as b, RgaSeq as bt, tryMergeDoc as c, JsonValidationMode as ct, deserializeDoc as d, MergeDocOptions as dt, Dot as et, deserializeState as f, MergeStateOptions as ft, compileJsonPatchToIntent as g, PatchErrorReason as gt, PatchCompileError as h, ObjNode as ht, compactStateTombstones as i, JsonPatch as it, applyPatchInPlace as j, TryMergeStateResult as jt, applyPatch as k, TryApplyPatchResult as kt, tryMergeState as l, JsonValue as lt, serializeState as m, ObjEntry as mt, TraversalDepthError as n, ForkStateOptions as nt, mergeDoc as o, JsonPatchToCrdtOptions as ot, serializeDoc as p, Node as pt, CompactStateTombstonesResult as q, compactDocTombstones as r, IntentOp as rt, mergeState as s, JsonPrimitive as st, MAX_TRAVERSAL_DEPTH as t, ElemId as tt, DeserializeError as u, LwwReg as ut, getAtJson as v, ROOT_KEY as vt, createClock as w, SerializedRgaElem as wt, stringifyJsonPointer as x, SerializedClock as xt, jsonEquals as y, RgaElem as yt, ApplyError as z };
+export { CreateStateOptions as $, PatchError as A, TombstoneCompactionOptions as At, validateJsonPatch as B, VersionVector as Bt, stringifyJsonPointer as C, RgaElem as Ct, nextDotForActor as D, SerializedNode as Dt, createClock as E, SerializedDoc as Et, forkState as F, TryDeserializeDocResult as Ft, ApplyPatchInPlaceOptions as G, ApplyError as H, toJson as I, TryDeserializeStateResult as It, Clock as J, ApplyPatchOptions as K, tryApplyPatch as L, TryMergeDocResult as Lt, applyPatchAsActor as M, TryApplyPatchAsActorResult as Mt, applyPatchInPlace as N, TryApplyPatchInPlaceResult as Nt, observeDot as O, SerializedRgaElem as Ot, createState as P, TryApplyPatchResult as Pt, CrdtState as Q, tryApplyPatchAsActor as R, TryMergeStateResult as Rt, parseJsonPointer as S, ROOT_KEY as St, cloneClock as T, SerializedClock as Tt, ApplyPatchAsActorOptions as U, ActorId as V, ApplyPatchAsActorResult as W, CompactStateTombstonesResult as X, CompactDocTombstonesResult as Y, CompilePatchOptions as Z, PatchCompileError as _, Node as _t, MergeError as a, ElemId as at, getAtJson as b, PatchErrorReason as bt, tryMergeDoc as c, JsonPatch as ct, deserializeDoc as d, JsonPrimitive as dt, DeserializeErrorReason as et, deserializeState as f, JsonValidationMode as ft, tryDeserializeState as g, MergeStateOptions as gt, tryDeserializeDoc as h, MergeDocOptions as ht, compactStateTombstones as i, Dot as it, applyPatch as j, TombstoneCompactionStats as jt, JsonValueValidationError as k, SerializedState as kt, tryMergeState as l, JsonPatchOp as lt, serializeState as m, LwwReg as mt, TraversalDepthError as n, DiffOptions as nt, mergeDoc as o, ForkStateOptions as ot, serializeDoc as p, JsonValue as pt, ApplyResult as q, compactDocTombstones as r, Doc as rt, mergeState as s, IntentOp as st, MAX_TRAVERSAL_DEPTH as t, DeserializeFailure as tt, DeserializeError as u, JsonPatchToCrdtOptions as ut, compileJsonPatchToIntent as v, ObjEntry as vt, ClockValidationError as w, RgaSeq as wt, jsonEquals as x, PatchSemantics as xt, diffJsonPatch as y, ObjNode as yt, tryApplyPatchInPlace as z, ValidatePatchResult as zt };

package/dist/index.d.mts

@@ -1,2 +1,2 @@
-import { D as JsonValueValidationError, Dt as TombstoneCompactionStats, Et as TombstoneCompactionOptions, F as tryApplyPatch, H as ApplyPatchInPlaceOptions, I as tryApplyPatchInPlace, L as validateJsonPatch, M as createState, Mt as ValidatePatchResult, N as forkState, O as PatchError, Ot as TryApplyPatchInPlaceResult, P as toJson, Q as DiffOptions, R as ActorId, S as ClockValidationError, Tt as SerializedState, U as ApplyPatchOptions, X as CreateStateOptions, Y as CrdtState, Z as DeserializeErrorReason, _ as diffJsonPatch, _t as PatchSemantics, a as MergeError, at as JsonPatchOp, ct as JsonValidationMode, f as deserializeState, ft as MergeStateOptions, gt as PatchErrorReason, i as compactStateTombstones, it as JsonPatch, j as applyPatchInPlace, jt as TryMergeStateResult, k as applyPatch, kt as TryApplyPatchResult, l as tryMergeState, lt as JsonValue, m as serializeState, n as TraversalDepthError, nt as ForkStateOptions, q as CompactStateTombstonesResult, s as mergeState, st as JsonPrimitive, t as MAX_TRAVERSAL_DEPTH, u as DeserializeError, z as ApplyError } from "./depth-IvWvLAkt.mjs";
-export { type ActorId, type ApplyError, type ApplyPatchInPlaceOptions, type ApplyPatchOptions, ClockValidationError, type CompactStateTombstonesResult, type CrdtState, type CreateStateOptions, DeserializeError, type DeserializeErrorReason, type DiffOptions, type ForkStateOptions, type JsonPatch, type JsonPatchOp, type JsonPrimitive, type JsonValidationMode, type JsonValue, JsonValueValidationError, MAX_TRAVERSAL_DEPTH, MergeError, type MergeStateOptions, PatchError, type PatchErrorReason, type PatchSemantics, type SerializedState, type TombstoneCompactionOptions, type TombstoneCompactionStats, TraversalDepthError, type TryApplyPatchInPlaceResult, type TryApplyPatchResult, type TryMergeStateResult, type ValidatePatchResult, applyPatch, applyPatchInPlace, compactStateTombstones, createState, deserializeState, diffJsonPatch, forkState, mergeState, serializeState, toJson, tryApplyPatch, tryApplyPatchInPlace, tryMergeState, validateJsonPatch };
+import { $ as CreateStateOptions, A as PatchError, At as TombstoneCompactionOptions, B as validateJsonPatch, F as forkState, G as ApplyPatchInPlaceOptions, H as ApplyError, I as toJson, It as TryDeserializeStateResult, K as ApplyPatchOptions, L as tryApplyPatch, N as applyPatchInPlace, Nt as TryApplyPatchInPlaceResult, P as createState, Pt as TryApplyPatchResult, Q as CrdtState, Rt as TryMergeStateResult, V as ActorId, X as CompactStateTombstonesResult, a as MergeError, bt as PatchErrorReason, ct as JsonPatch, dt as JsonPrimitive, et as DeserializeErrorReason, f as deserializeState, ft as JsonValidationMode, g as tryDeserializeState, gt as MergeStateOptions, i as compactStateTombstones, j as applyPatch, jt as TombstoneCompactionStats, k as JsonValueValidationError, kt as SerializedState, l as tryMergeState, lt as JsonPatchOp, m as serializeState, n as TraversalDepthError, nt as DiffOptions, ot as ForkStateOptions, pt as JsonValue, s as mergeState, t as MAX_TRAVERSAL_DEPTH, tt as DeserializeFailure, u as DeserializeError, w as ClockValidationError, xt as PatchSemantics, y as diffJsonPatch, z as tryApplyPatchInPlace, zt as ValidatePatchResult } from "./depth-BTHjgY18.mjs";
+export { type ActorId, type ApplyError, type ApplyPatchInPlaceOptions, type ApplyPatchOptions, ClockValidationError, type CompactStateTombstonesResult, type CrdtState, type CreateStateOptions, DeserializeError, type DeserializeErrorReason, type DeserializeFailure, type DiffOptions, type ForkStateOptions, type JsonPatch, type JsonPatchOp, type JsonPrimitive, type JsonValidationMode, type JsonValue, JsonValueValidationError, MAX_TRAVERSAL_DEPTH, MergeError, type MergeStateOptions, PatchError, type PatchErrorReason, type PatchSemantics, type SerializedState, type TombstoneCompactionOptions, type TombstoneCompactionStats, TraversalDepthError, type TryApplyPatchInPlaceResult, type TryApplyPatchResult, type TryDeserializeStateResult, type TryMergeStateResult, type ValidatePatchResult, applyPatch, applyPatchInPlace, compactStateTombstones, createState, deserializeState, diffJsonPatch, forkState, mergeState, serializeState, toJson, tryApplyPatch, tryApplyPatchInPlace, tryDeserializeState, tryMergeState, validateJsonPatch };

package/dist/index.d.ts

@@ -1,2 +1,2 @@
-import { D as JsonValueValidationError, Dt as TombstoneCompactionStats, Et as TombstoneCompactionOptions, F as tryApplyPatch, H as ApplyPatchInPlaceOptions, I as tryApplyPatchInPlace, L as validateJsonPatch, M as createState, Mt as ValidatePatchResult, N as forkState, O as PatchError, Ot as TryApplyPatchInPlaceResult, P as toJson, Q as DiffOptions, R as ActorId, S as ClockValidationError, Tt as SerializedState, U as ApplyPatchOptions, X as CreateStateOptions, Y as CrdtState, Z as DeserializeErrorReason, _ as diffJsonPatch, _t as PatchSemantics, a as MergeError, at as JsonPatchOp, ct as JsonValidationMode, f as deserializeState, ft as MergeStateOptions, gt as PatchErrorReason, i as compactStateTombstones, it as JsonPatch, j as applyPatchInPlace, jt as TryMergeStateResult, k as applyPatch, kt as TryApplyPatchResult, l as tryMergeState, lt as JsonValue, m as serializeState, n as TraversalDepthError, nt as ForkStateOptions, q as CompactStateTombstonesResult, s as mergeState, st as JsonPrimitive, t as MAX_TRAVERSAL_DEPTH, u as DeserializeError, z as ApplyError } from "./depth-Dl_yOAKU.js";
-export { type ActorId, type ApplyError, type ApplyPatchInPlaceOptions, type ApplyPatchOptions, ClockValidationError, type CompactStateTombstonesResult, type CrdtState, type CreateStateOptions, DeserializeError, type DeserializeErrorReason, type DiffOptions, type ForkStateOptions, type JsonPatch, type JsonPatchOp, type JsonPrimitive, type JsonValidationMode, type JsonValue, JsonValueValidationError, MAX_TRAVERSAL_DEPTH, MergeError, type MergeStateOptions, PatchError, type PatchErrorReason, type PatchSemantics, type SerializedState, type TombstoneCompactionOptions, type TombstoneCompactionStats, TraversalDepthError, type TryApplyPatchInPlaceResult, type TryApplyPatchResult, type TryMergeStateResult, type ValidatePatchResult, applyPatch, applyPatchInPlace, compactStateTombstones, createState, deserializeState, diffJsonPatch, forkState, mergeState, serializeState, toJson, tryApplyPatch, tryApplyPatchInPlace, tryMergeState, validateJsonPatch };
+import { $ as CreateStateOptions, A as PatchError, At as TombstoneCompactionOptions, B as validateJsonPatch, F as forkState, G as ApplyPatchInPlaceOptions, H as ApplyError, I as toJson, It as TryDeserializeStateResult, K as ApplyPatchOptions, L as tryApplyPatch, N as applyPatchInPlace, Nt as TryApplyPatchInPlaceResult, P as createState, Pt as TryApplyPatchResult, Q as CrdtState, Rt as TryMergeStateResult, V as ActorId, X as CompactStateTombstonesResult, a as MergeError, bt as PatchErrorReason, ct as JsonPatch, dt as JsonPrimitive, et as DeserializeErrorReason, f as deserializeState, ft as JsonValidationMode, g as tryDeserializeState, gt as MergeStateOptions, i as compactStateTombstones, j as applyPatch, jt as TombstoneCompactionStats, k as JsonValueValidationError, kt as SerializedState, l as tryMergeState, lt as JsonPatchOp, m as serializeState, n as TraversalDepthError, nt as DiffOptions, ot as ForkStateOptions, pt as JsonValue, s as mergeState, t as MAX_TRAVERSAL_DEPTH, tt as DeserializeFailure, u as DeserializeError, w as ClockValidationError, xt as PatchSemantics, y as diffJsonPatch, z as tryApplyPatchInPlace, zt as ValidatePatchResult } from "./depth-DSl2ghKu.js";
+export { type ActorId, type ApplyError, type ApplyPatchInPlaceOptions, type ApplyPatchOptions, ClockValidationError, type CompactStateTombstonesResult, type CrdtState, type CreateStateOptions, DeserializeError, type DeserializeErrorReason, type DeserializeFailure, type DiffOptions, type ForkStateOptions, type JsonPatch, type JsonPatchOp, type JsonPrimitive, type JsonValidationMode, type JsonValue, JsonValueValidationError, MAX_TRAVERSAL_DEPTH, MergeError, type MergeStateOptions, PatchError, type PatchErrorReason, type PatchSemantics, type SerializedState, type TombstoneCompactionOptions, type TombstoneCompactionStats, TraversalDepthError, type TryApplyPatchInPlaceResult, type TryApplyPatchResult, type TryDeserializeStateResult, type TryMergeStateResult, type ValidatePatchResult, applyPatch, applyPatchInPlace, compactStateTombstones, createState, deserializeState, diffJsonPatch, forkState, mergeState, serializeState, toJson, tryApplyPatch, tryApplyPatchInPlace, tryDeserializeState, tryMergeState, validateJsonPatch };

package/dist/index.js

@@ -1,5 +1,5 @@
 Object.defineProperty(exports, Symbol.toStringTag, { value: 'Module' });
-const require_compact = require('./compact-DoM9CJNR.js');
+const require_compact = require('./compact-BToZE6Q6.js');
 
 exports.ClockValidationError = require_compact.ClockValidationError;
 exports.DeserializeError = require_compact.DeserializeError;
@@ -20,5 +20,6 @@ exports.serializeState = require_compact.serializeState;
 exports.toJson = require_compact.toJson;
 exports.tryApplyPatch = require_compact.tryApplyPatch;
 exports.tryApplyPatchInPlace = require_compact.tryApplyPatchInPlace;
+exports.tryDeserializeState = require_compact.tryDeserializeState;
 exports.tryMergeState = require_compact.tryMergeState;
 exports.validateJsonPatch = require_compact.validateJsonPatch;

package/dist/index.mjs

@@ -1,3 +1,3 @@
-import { B as JsonValueValidationError, P as diffJsonPatch, S as validateJsonPatch, _ as createState, a as mergeState, b as tryApplyPatch, c as DeserializeError, ct as ClockValidationError, f as serializeState, g as applyPatchInPlace, m as applyPatch, n as compactStateTombstones, ot as MAX_TRAVERSAL_DEPTH, p as PatchError, r as MergeError, s as tryMergeState, st as TraversalDepthError, u as deserializeState, v as forkState, x as tryApplyPatchInPlace, y as toJson } from "./compact-BdTuOQK-.mjs";
+import { R as diffJsonPatch, S as tryApplyPatch, T as validateJsonPatch, W as JsonValueValidationError, a as mergeState, b as forkState, c as DeserializeError, f as serializeState, ft as MAX_TRAVERSAL_DEPTH, g as applyPatch, h as PatchError, m as tryDeserializeState, mt as ClockValidationError, n as compactStateTombstones, pt as TraversalDepthError, r as MergeError, s as tryMergeState, u as deserializeState, v as applyPatchInPlace, w as tryApplyPatchInPlace, x as toJson, y as createState } from "./compact-BS7F604m.mjs";
 
-export { ClockValidationError, DeserializeError, JsonValueValidationError, MAX_TRAVERSAL_DEPTH, MergeError, PatchError, TraversalDepthError, applyPatch, applyPatchInPlace, compactStateTombstones, createState, deserializeState, diffJsonPatch, forkState, mergeState, serializeState, toJson, tryApplyPatch, tryApplyPatchInPlace, tryMergeState, validateJsonPatch };
+export { ClockValidationError, DeserializeError, JsonValueValidationError, MAX_TRAVERSAL_DEPTH, MergeError, PatchError, TraversalDepthError, applyPatch, applyPatchInPlace, compactStateTombstones, createState, deserializeState, diffJsonPatch, forkState, mergeState, serializeState, toJson, tryApplyPatch, tryApplyPatchInPlace, tryDeserializeState, tryMergeState, validateJsonPatch };

package/dist/internals.d.mts

@@ -1,4 +1,4 @@
-import { $ as Doc, A as applyPatchAsActor, At as TryMergeDocResult, B as ApplyPatchAsActorOptions, C as cloneClock, Ct as SerializedNode, D as JsonValueValidationError, Dt as TombstoneCompactionStats, E as observeDot, Et as TombstoneCompactionOptions, F as tryApplyPatch, G as Clock, H as ApplyPatchInPlaceOptions, I as tryApplyPatchInPlace, J as CompilePatchOptions, K as CompactDocTombstonesResult, L as validateJsonPatch, M as createState, Mt as ValidatePatchResult, N as forkState, Nt as VersionVector, O as PatchError, Ot as TryApplyPatchInPlaceResult, P as toJson, Q as DiffOptions, R as ActorId, S as ClockValidationError, St as SerializedDoc, T as nextDotForActor, Tt as SerializedState, U as ApplyPatchOptions, V as ApplyPatchAsActorResult, W as ApplyResult, X as CreateStateOptions, Y as CrdtState, Z as DeserializeErrorReason, _ as diffJsonPatch, _t as PatchSemantics, a as MergeError, at as JsonPatchOp, b as parseJsonPointer, bt as RgaSeq, c as tryMergeDoc, ct as JsonValidationMode, d as deserializeDoc, dt as MergeDocOptions, et as Dot, f as deserializeState, ft as MergeStateOptions, g as compileJsonPatchToIntent, gt as PatchErrorReason, h as PatchCompileError, ht as ObjNode, i as compactStateTombstones, it as JsonPatch, j as applyPatchInPlace, jt as TryMergeStateResult, k as applyPatch, kt as TryApplyPatchResult, l as tryMergeState, lt as JsonValue, m as serializeState, mt as ObjEntry, n as TraversalDepthError, nt as ForkStateOptions, o as mergeDoc, ot as JsonPatchToCrdtOptions, p as serializeDoc, pt as Node, q as CompactStateTombstonesResult, r as compactDocTombstones, rt as IntentOp, s as mergeState, st as JsonPrimitive, t as MAX_TRAVERSAL_DEPTH, tt as ElemId, u as DeserializeError, ut as LwwReg, v as getAtJson, vt as ROOT_KEY, w as createClock, wt as SerializedRgaElem, x as stringifyJsonPointer, xt as SerializedClock, y as jsonEquals, yt as RgaElem, z as ApplyError } from "./depth-IvWvLAkt.mjs";
+import { $ as CreateStateOptions, A as PatchError, At as TombstoneCompactionOptions, B as validateJsonPatch, Bt as VersionVector, C as stringifyJsonPointer, Ct as RgaElem, D as nextDotForActor, Dt as SerializedNode, E as createClock, Et as SerializedDoc, F as forkState, Ft as TryDeserializeDocResult, G as ApplyPatchInPlaceOptions, H as ApplyError, I as toJson, It as TryDeserializeStateResult, J as Clock, K as ApplyPatchOptions, L as tryApplyPatch, Lt as TryMergeDocResult, M as applyPatchAsActor, Mt as TryApplyPatchAsActorResult, N as applyPatchInPlace, Nt as TryApplyPatchInPlaceResult, O as observeDot, Ot as SerializedRgaElem, P as createState, Pt as TryApplyPatchResult, Q as CrdtState, R as tryApplyPatchAsActor, Rt as TryMergeStateResult, S as parseJsonPointer, St as ROOT_KEY, T as cloneClock, Tt as SerializedClock, U as ApplyPatchAsActorOptions, V as ActorId, W as ApplyPatchAsActorResult, X as CompactStateTombstonesResult, Y as CompactDocTombstonesResult, Z as CompilePatchOptions, _ as PatchCompileError, _t as Node, a as MergeError, at as ElemId, b as getAtJson, bt as PatchErrorReason, c as tryMergeDoc, ct as JsonPatch, d as deserializeDoc, dt as JsonPrimitive, et as DeserializeErrorReason, f as deserializeState, ft as JsonValidationMode, g as tryDeserializeState, gt as MergeStateOptions, h as tryDeserializeDoc, ht as MergeDocOptions, i as compactStateTombstones, it as Dot, j as applyPatch, jt as TombstoneCompactionStats, k as JsonValueValidationError, kt as SerializedState, l as tryMergeState, lt as JsonPatchOp, m as serializeState, mt as LwwReg, n as TraversalDepthError, nt as DiffOptions, o as mergeDoc, ot as ForkStateOptions, p as serializeDoc, pt as JsonValue, q as ApplyResult, r as compactDocTombstones, rt as Doc, s as mergeState, st as IntentOp, t as MAX_TRAVERSAL_DEPTH, tt as DeserializeFailure, u as DeserializeError, ut as JsonPatchToCrdtOptions, v as compileJsonPatchToIntent, vt as ObjEntry, w as ClockValidationError, wt as RgaSeq, x as jsonEquals, xt as PatchSemantics, y as diffJsonPatch, yt as ObjNode, z as tryApplyPatchInPlace, zt as ValidatePatchResult } from "./depth-BTHjgY18.mjs";
 
 //#region src/doc.d.ts
 /**
@@ -53,10 +53,12 @@ declare const tryJsonPatchToCrdt: typeof jsonPatchToCrdtSafe;
  * Generate a JSON Patch delta between two CRDT documents.
  * @param base - The base document snapshot.
  * @param head - The current document state.
- * @param options - Diff options (e.g. `{ arrayStrategy: "lcs" }`).
+ * @param options - Diff options (e.g. `{ arrayStrategy: "lcs" }` or `{ arrayStrategy: "lcs-linear" }`).
  * @returns An array of JSON Patch operations that transform base into head.
  */
 declare function crdtToJsonPatch(base: Doc, head: Doc, options?: DiffOptions): JsonPatchOp[];
+/** Internals-only helper for diffing CRDT nodes from an existing traversal depth. */
+declare function crdtNodesToJsonPatch(baseNode: Node, headNode: Node, options?: DiffOptions, depth?: number): JsonPatchOp[];
 /**
  * Emit a single root `replace` patch representing the full document state.
  * Use `crdtToJsonPatch(base, head)` for delta patches instead.
@@ -88,9 +90,34 @@ declare function objCompactTombstones(obj: ObjNode, isStable: (dot: Dot) => bool
 //#endregion
 //#region src/rga.d.ts
 declare const HEAD: ElemId;
+type RgaValidationIssue = {
+  code: "MISSING_PREDECESSOR";
+  id: ElemId;
+  prev: ElemId;
+  message: string;
+} | {
+  code: "PREDECESSOR_CYCLE";
+  id: ElemId;
+  prev: ElemId;
+  message: string;
+} | {
+  code: "ORPHANED_ELEMENT";
+  id: ElemId;
+  prev: ElemId;
+  message: string;
+};
+type RgaValidationResult = {
+  ok: true;
+  issues: [];
+} | {
+  ok: false;
+  issues: RgaValidationIssue[];
+};
 declare function rgaLinearizeIds(seq: RgaSeq): ElemId[];
 declare function rgaInsertAfter(seq: RgaSeq, prev: ElemId, id: ElemId, insDot: Dot, value: Node): void;
-declare function rgaDelete(seq: RgaSeq, id: ElemId): void;
+declare function rgaInsertAfterChecked(seq: RgaSeq, prev: ElemId, id: ElemId, insDot: Dot, value: Node): void;
+declare function rgaDelete(seq: RgaSeq, id: ElemId, delDot?: Dot): void;
+declare function validateRgaSeq(seq: RgaSeq): RgaValidationResult;
 /**
  * Prune tombstoned elements that are causally stable and have no live descendants
  * depending on them for sequence traversal.
@@ -101,4 +128,4 @@ declare function rgaCompactTombstones(seq: RgaSeq, isStable: (dot: Dot) => boole
 declare function rgaIdAtIndex(seq: RgaSeq, index: number): ElemId | undefined;
 declare function rgaPrevForInsertAtIndex(seq: RgaSeq, index: number): ElemId;
 //#endregion
-export { ActorId, ApplyError, type ApplyPatchAsActorOptions, type ApplyPatchAsActorResult, ApplyPatchInPlaceOptions, ApplyPatchOptions, type ApplyResult, type Clock, ClockValidationError, type CompactDocTombstonesResult, type CompactStateTombstonesResult, type CompilePatchOptions, CrdtState, CreateStateOptions, DeserializeError, DeserializeErrorReason, DiffOptions, type Doc, type Dot, type ElemId, ForkStateOptions, HEAD, type IntentOp, JsonPatch, JsonPatchOp, type JsonPatchToCrdtOptions, JsonPrimitive, JsonValidationMode, JsonValue, JsonValueValidationError, type LwwReg, MAX_TRAVERSAL_DEPTH, type MergeDocOptions, MergeError, MergeStateOptions, type Node, type ObjEntry, type ObjNode, PatchCompileError, PatchError, PatchErrorReason, PatchSemantics, ROOT_KEY, type RgaElem, type RgaSeq, type SerializedClock, type SerializedDoc, type SerializedNode, type SerializedRgaElem, SerializedState, type TombstoneCompactionOptions, type TombstoneCompactionStats, TraversalDepthError, TryApplyPatchInPlaceResult, TryApplyPatchResult, type TryMergeDocResult, TryMergeStateResult, ValidatePatchResult, type VersionVector, applyIntentsToCrdt, applyPatch, applyPatchAsActor, applyPatchInPlace, cloneClock, cloneDoc, compactDocTombstones, compactStateTombstones, compareDot, compileJsonPatchToIntent, crdtToFullReplace, crdtToJsonPatch, createClock, createState, deserializeDoc, deserializeState, diffJsonPatch, docFromJson, docFromJsonWithDot, dotToElemId, forkState, getAtJson, jsonEquals, jsonPatchToCrdt, jsonPatchToCrdtSafe, lwwSet, materialize, mergeDoc, mergeState, newObj, newReg, newSeq, nextDotForActor, objCompactTombstones, objRemove, objSet, observeDot, parseJsonPointer, rgaCompactTombstones, rgaDelete, rgaIdAtIndex, rgaInsertAfter, rgaLinearizeIds, rgaPrevForInsertAtIndex, serializeDoc, serializeState, stringifyJsonPointer, toJson, tryApplyPatch, tryApplyPatchInPlace, tryJsonPatchToCrdt, tryMergeDoc, tryMergeState, validateJsonPatch, vvHasDot, vvMerge };
+export { ActorId, ApplyError, type ApplyPatchAsActorOptions, type ApplyPatchAsActorResult, ApplyPatchInPlaceOptions, ApplyPatchOptions, type ApplyResult, type Clock, ClockValidationError, type CompactDocTombstonesResult, type CompactStateTombstonesResult, type CompilePatchOptions, CrdtState, CreateStateOptions, DeserializeError, DeserializeErrorReason, type DeserializeFailure, DiffOptions, type Doc, type Dot, type ElemId, ForkStateOptions, HEAD, type IntentOp, JsonPatch, JsonPatchOp, type JsonPatchToCrdtOptions, JsonPrimitive, JsonValidationMode, JsonValue, JsonValueValidationError, type LwwReg, MAX_TRAVERSAL_DEPTH, type MergeDocOptions, MergeError, MergeStateOptions, type Node, type ObjEntry, type ObjNode, PatchCompileError, PatchError, PatchErrorReason, PatchSemantics, ROOT_KEY, type RgaElem, type RgaSeq, type RgaValidationIssue, type RgaValidationResult, type SerializedClock, type SerializedDoc, type SerializedNode, type SerializedRgaElem, SerializedState, type TombstoneCompactionOptions, type TombstoneCompactionStats, TraversalDepthError, type TryApplyPatchAsActorResult, TryApplyPatchInPlaceResult, TryApplyPatchResult, type TryDeserializeDocResult, TryDeserializeStateResult, type TryMergeDocResult, TryMergeStateResult, ValidatePatchResult, type VersionVector, applyIntentsToCrdt, applyPatch, applyPatchAsActor, applyPatchInPlace, cloneClock, cloneDoc, compactDocTombstones, compactStateTombstones, compareDot, compileJsonPatchToIntent, crdtNodesToJsonPatch, crdtToFullReplace, crdtToJsonPatch, createClock, createState, deserializeDoc, deserializeState, diffJsonPatch, docFromJson, docFromJsonWithDot, dotToElemId, forkState, getAtJson, jsonEquals, jsonPatchToCrdt, jsonPatchToCrdtSafe, lwwSet, materialize, mergeDoc, mergeState, newObj, newReg, newSeq, nextDotForActor, objCompactTombstones, objRemove, objSet, observeDot, parseJsonPointer, rgaCompactTombstones, rgaDelete, rgaIdAtIndex, rgaInsertAfter, rgaInsertAfterChecked, rgaLinearizeIds, rgaPrevForInsertAtIndex, serializeDoc, serializeState, stringifyJsonPointer, toJson, tryApplyPatch, tryApplyPatchAsActor, tryApplyPatchInPlace, tryDeserializeDoc, tryDeserializeState, tryJsonPatchToCrdt, tryMergeDoc, tryMergeState, validateJsonPatch, validateRgaSeq, vvHasDot, vvMerge };

package/dist/internals.d.ts

@@ -1,4 +1,4 @@
-import { $ as Doc, A as applyPatchAsActor, At as TryMergeDocResult, B as ApplyPatchAsActorOptions, C as cloneClock, Ct as SerializedNode, D as JsonValueValidationError, Dt as TombstoneCompactionStats, E as observeDot, Et as TombstoneCompactionOptions, F as tryApplyPatch, G as Clock, H as ApplyPatchInPlaceOptions, I as tryApplyPatchInPlace, J as CompilePatchOptions, K as CompactDocTombstonesResult, L as validateJsonPatch, M as createState, Mt as ValidatePatchResult, N as forkState, Nt as VersionVector, O as PatchError, Ot as TryApplyPatchInPlaceResult, P as toJson, Q as DiffOptions, R as ActorId, S as ClockValidationError, St as SerializedDoc, T as nextDotForActor, Tt as SerializedState, U as ApplyPatchOptions, V as ApplyPatchAsActorResult, W as ApplyResult, X as CreateStateOptions, Y as CrdtState, Z as DeserializeErrorReason, _ as diffJsonPatch, _t as PatchSemantics, a as MergeError, at as JsonPatchOp, b as parseJsonPointer, bt as RgaSeq, c as tryMergeDoc, ct as JsonValidationMode, d as deserializeDoc, dt as MergeDocOptions, et as Dot, f as deserializeState, ft as MergeStateOptions, g as compileJsonPatchToIntent, gt as PatchErrorReason, h as PatchCompileError, ht as ObjNode, i as compactStateTombstones, it as JsonPatch, j as applyPatchInPlace, jt as TryMergeStateResult, k as applyPatch, kt as TryApplyPatchResult, l as tryMergeState, lt as JsonValue, m as serializeState, mt as ObjEntry, n as TraversalDepthError, nt as ForkStateOptions, o as mergeDoc, ot as JsonPatchToCrdtOptions, p as serializeDoc, pt as Node, q as CompactStateTombstonesResult, r as compactDocTombstones, rt as IntentOp, s as mergeState, st as JsonPrimitive, t as MAX_TRAVERSAL_DEPTH, tt as ElemId, u as DeserializeError, ut as LwwReg, v as getAtJson, vt as ROOT_KEY, w as createClock, wt as SerializedRgaElem, x as stringifyJsonPointer, xt as SerializedClock, y as jsonEquals, yt as RgaElem, z as ApplyError } from "./depth-Dl_yOAKU.js";
+import { $ as CreateStateOptions, A as PatchError, At as TombstoneCompactionOptions, B as validateJsonPatch, Bt as VersionVector, C as stringifyJsonPointer, Ct as RgaElem, D as nextDotForActor, Dt as SerializedNode, E as createClock, Et as SerializedDoc, F as forkState, Ft as TryDeserializeDocResult, G as ApplyPatchInPlaceOptions, H as ApplyError, I as toJson, It as TryDeserializeStateResult, J as Clock, K as ApplyPatchOptions, L as tryApplyPatch, Lt as TryMergeDocResult, M as applyPatchAsActor, Mt as TryApplyPatchAsActorResult, N as applyPatchInPlace, Nt as TryApplyPatchInPlaceResult, O as observeDot, Ot as SerializedRgaElem, P as createState, Pt as TryApplyPatchResult, Q as CrdtState, R as tryApplyPatchAsActor, Rt as TryMergeStateResult, S as parseJsonPointer, St as ROOT_KEY, T as cloneClock, Tt as SerializedClock, U as ApplyPatchAsActorOptions, V as ActorId, W as ApplyPatchAsActorResult, X as CompactStateTombstonesResult, Y as CompactDocTombstonesResult, Z as CompilePatchOptions, _ as PatchCompileError, _t as Node, a as MergeError, at as ElemId, b as getAtJson, bt as PatchErrorReason, c as tryMergeDoc, ct as JsonPatch, d as deserializeDoc, dt as JsonPrimitive, et as DeserializeErrorReason, f as deserializeState, ft as JsonValidationMode, g as tryDeserializeState, gt as MergeStateOptions, h as tryDeserializeDoc, ht as MergeDocOptions, i as compactStateTombstones, it as Dot, j as applyPatch, jt as TombstoneCompactionStats, k as JsonValueValidationError, kt as SerializedState, l as tryMergeState, lt as JsonPatchOp, m as serializeState, mt as LwwReg, n as TraversalDepthError, nt as DiffOptions, o as mergeDoc, ot as ForkStateOptions, p as serializeDoc, pt as JsonValue, q as ApplyResult, r as compactDocTombstones, rt as Doc, s as mergeState, st as IntentOp, t as MAX_TRAVERSAL_DEPTH, tt as DeserializeFailure, u as DeserializeError, ut as JsonPatchToCrdtOptions, v as compileJsonPatchToIntent, vt as ObjEntry, w as ClockValidationError, wt as RgaSeq, x as jsonEquals, xt as PatchSemantics, y as diffJsonPatch, yt as ObjNode, z as tryApplyPatchInPlace, zt as ValidatePatchResult } from "./depth-DSl2ghKu.js";
 
 //#region src/doc.d.ts
 /**
@@ -53,10 +53,12 @@ declare const tryJsonPatchToCrdt: typeof jsonPatchToCrdtSafe;
  * Generate a JSON Patch delta between two CRDT documents.
  * @param base - The base document snapshot.
  * @param head - The current document state.
- * @param options - Diff options (e.g. `{ arrayStrategy: "lcs" }`).
+ * @param options - Diff options (e.g. `{ arrayStrategy: "lcs" }` or `{ arrayStrategy: "lcs-linear" }`).
  * @returns An array of JSON Patch operations that transform base into head.
  */
 declare function crdtToJsonPatch(base: Doc, head: Doc, options?: DiffOptions): JsonPatchOp[];
+/** Internals-only helper for diffing CRDT nodes from an existing traversal depth. */
+declare function crdtNodesToJsonPatch(baseNode: Node, headNode: Node, options?: DiffOptions, depth?: number): JsonPatchOp[];
 /**
  * Emit a single root `replace` patch representing the full document state.
  * Use `crdtToJsonPatch(base, head)` for delta patches instead.
@@ -88,9 +90,34 @@ declare function objCompactTombstones(obj: ObjNode, isStable: (dot: Dot) => bool
 //#endregion
 //#region src/rga.d.ts
 declare const HEAD: ElemId;
+type RgaValidationIssue = {
+  code: "MISSING_PREDECESSOR";
+  id: ElemId;
+  prev: ElemId;
+  message: string;
+} | {
+  code: "PREDECESSOR_CYCLE";
+  id: ElemId;
+  prev: ElemId;
+  message: string;
+} | {
+  code: "ORPHANED_ELEMENT";
+  id: ElemId;
+  prev: ElemId;
+  message: string;
+};
+type RgaValidationResult = {
+  ok: true;
+  issues: [];
+} | {
+  ok: false;
+  issues: RgaValidationIssue[];
+};
 declare function rgaLinearizeIds(seq: RgaSeq): ElemId[];
 declare function rgaInsertAfter(seq: RgaSeq, prev: ElemId, id: ElemId, insDot: Dot, value: Node): void;
-declare function rgaDelete(seq: RgaSeq, id: ElemId): void;
+declare function rgaInsertAfterChecked(seq: RgaSeq, prev: ElemId, id: ElemId, insDot: Dot, value: Node): void;
+declare function rgaDelete(seq: RgaSeq, id: ElemId, delDot?: Dot): void;
+declare function validateRgaSeq(seq: RgaSeq): RgaValidationResult;
 /**
  * Prune tombstoned elements that are causally stable and have no live descendants
  * depending on them for sequence traversal.
@@ -101,4 +128,4 @@ declare function rgaCompactTombstones(seq: RgaSeq, isStable: (dot: Dot) => boole
 declare function rgaIdAtIndex(seq: RgaSeq, index: number): ElemId | undefined;
 declare function rgaPrevForInsertAtIndex(seq: RgaSeq, index: number): ElemId;
 //#endregion
-export { ActorId, ApplyError, type ApplyPatchAsActorOptions, type ApplyPatchAsActorResult, ApplyPatchInPlaceOptions, ApplyPatchOptions, type ApplyResult, type Clock, ClockValidationError, type CompactDocTombstonesResult, type CompactStateTombstonesResult, type CompilePatchOptions, CrdtState, CreateStateOptions, DeserializeError, DeserializeErrorReason, DiffOptions, type Doc, type Dot, type ElemId, ForkStateOptions, HEAD, type IntentOp, JsonPatch, JsonPatchOp, type JsonPatchToCrdtOptions, JsonPrimitive, JsonValidationMode, JsonValue, JsonValueValidationError, type LwwReg, MAX_TRAVERSAL_DEPTH, type MergeDocOptions, MergeError, MergeStateOptions, type Node, type ObjEntry, type ObjNode, PatchCompileError, PatchError, PatchErrorReason, PatchSemantics, ROOT_KEY, type RgaElem, type RgaSeq, type SerializedClock, type SerializedDoc, type SerializedNode, type SerializedRgaElem, SerializedState, type TombstoneCompactionOptions, type TombstoneCompactionStats, TraversalDepthError, TryApplyPatchInPlaceResult, TryApplyPatchResult, type TryMergeDocResult, TryMergeStateResult, ValidatePatchResult, type VersionVector, applyIntentsToCrdt, applyPatch, applyPatchAsActor, applyPatchInPlace, cloneClock, cloneDoc, compactDocTombstones, compactStateTombstones, compareDot, compileJsonPatchToIntent, crdtToFullReplace, crdtToJsonPatch, createClock, createState, deserializeDoc, deserializeState, diffJsonPatch, docFromJson, docFromJsonWithDot, dotToElemId, forkState, getAtJson, jsonEquals, jsonPatchToCrdt, jsonPatchToCrdtSafe, lwwSet, materialize, mergeDoc, mergeState, newObj, newReg, newSeq, nextDotForActor, objCompactTombstones, objRemove, objSet, observeDot, parseJsonPointer, rgaCompactTombstones, rgaDelete, rgaIdAtIndex, rgaInsertAfter, rgaLinearizeIds, rgaPrevForInsertAtIndex, serializeDoc, serializeState, stringifyJsonPointer, toJson, tryApplyPatch, tryApplyPatchInPlace, tryJsonPatchToCrdt, tryMergeDoc, tryMergeState, validateJsonPatch, vvHasDot, vvMerge };
+export { ActorId, ApplyError, type ApplyPatchAsActorOptions, type ApplyPatchAsActorResult, ApplyPatchInPlaceOptions, ApplyPatchOptions, type ApplyResult, type Clock, ClockValidationError, type CompactDocTombstonesResult, type CompactStateTombstonesResult, type CompilePatchOptions, CrdtState, CreateStateOptions, DeserializeError, DeserializeErrorReason, type DeserializeFailure, DiffOptions, type Doc, type Dot, type ElemId, ForkStateOptions, HEAD, type IntentOp, JsonPatch, JsonPatchOp, type JsonPatchToCrdtOptions, JsonPrimitive, JsonValidationMode, JsonValue, JsonValueValidationError, type LwwReg, MAX_TRAVERSAL_DEPTH, type MergeDocOptions, MergeError, MergeStateOptions, type Node, type ObjEntry, type ObjNode, PatchCompileError, PatchError, PatchErrorReason, PatchSemantics, ROOT_KEY, type RgaElem, type RgaSeq, type RgaValidationIssue, type RgaValidationResult, type SerializedClock, type SerializedDoc, type SerializedNode, type SerializedRgaElem, SerializedState, type TombstoneCompactionOptions, type TombstoneCompactionStats, TraversalDepthError, type TryApplyPatchAsActorResult, TryApplyPatchInPlaceResult, TryApplyPatchResult, type TryDeserializeDocResult, TryDeserializeStateResult, type TryMergeDocResult, TryMergeStateResult, ValidatePatchResult, type VersionVector, applyIntentsToCrdt, applyPatch, applyPatchAsActor, applyPatchInPlace, cloneClock, cloneDoc, compactDocTombstones, compactStateTombstones, compareDot, compileJsonPatchToIntent, crdtNodesToJsonPatch, crdtToFullReplace, crdtToJsonPatch, createClock, createState, deserializeDoc, deserializeState, diffJsonPatch, docFromJson, docFromJsonWithDot, dotToElemId, forkState, getAtJson, jsonEquals, jsonPatchToCrdt, jsonPatchToCrdtSafe, lwwSet, materialize, mergeDoc, mergeState, newObj, newReg, newSeq, nextDotForActor, objCompactTombstones, objRemove, objSet, observeDot, parseJsonPointer, rgaCompactTombstones, rgaDelete, rgaIdAtIndex, rgaInsertAfter, rgaInsertAfterChecked, rgaLinearizeIds, rgaPrevForInsertAtIndex, serializeDoc, serializeState, stringifyJsonPointer, toJson, tryApplyPatch, tryApplyPatchAsActor, tryApplyPatchInPlace, tryDeserializeDoc, tryDeserializeState, tryJsonPatchToCrdt, tryMergeDoc, tryMergeState, validateJsonPatch, validateRgaSeq, vvHasDot, vvMerge };

package/dist/internals.js

@@ -1,5 +1,5 @@
 Object.defineProperty(exports, Symbol.toStringTag, { value: 'Module' });
-const require_compact = require('./compact-DoM9CJNR.js');
+const require_compact = require('./compact-BToZE6Q6.js');
 
 exports.ClockValidationError = require_compact.ClockValidationError;
 exports.DeserializeError = require_compact.DeserializeError;
@@ -21,6 +21,7 @@ exports.compactDocTombstones = require_compact.compactDocTombstones;
 exports.compactStateTombstones = require_compact.compactStateTombstones;
 exports.compareDot = require_compact.compareDot;
 exports.compileJsonPatchToIntent = require_compact.compileJsonPatchToIntent;
+exports.crdtNodesToJsonPatch = require_compact.crdtNodesToJsonPatch;
 exports.crdtToFullReplace = require_compact.crdtToFullReplace;
 exports.crdtToJsonPatch = require_compact.crdtToJsonPatch;
 exports.createClock = require_compact.createClock;
@@ -53,6 +54,7 @@ exports.rgaCompactTombstones = require_compact.rgaCompactTombstones;
 exports.rgaDelete = require_compact.rgaDelete;
 exports.rgaIdAtIndex = require_compact.rgaIdAtIndex;
 exports.rgaInsertAfter = require_compact.rgaInsertAfter;
+exports.rgaInsertAfterChecked = require_compact.rgaInsertAfterChecked;
 exports.rgaLinearizeIds = require_compact.rgaLinearizeIds;
 exports.rgaPrevForInsertAtIndex = require_compact.rgaPrevForInsertAtIndex;
 exports.serializeDoc = require_compact.serializeDoc;
@@ -60,10 +62,14 @@ exports.serializeState = require_compact.serializeState;
 exports.stringifyJsonPointer = require_compact.stringifyJsonPointer;
 exports.toJson = require_compact.toJson;
 exports.tryApplyPatch = require_compact.tryApplyPatch;
+exports.tryApplyPatchAsActor = require_compact.tryApplyPatchAsActor;
 exports.tryApplyPatchInPlace = require_compact.tryApplyPatchInPlace;
+exports.tryDeserializeDoc = require_compact.tryDeserializeDoc;
+exports.tryDeserializeState = require_compact.tryDeserializeState;
 exports.tryJsonPatchToCrdt = require_compact.tryJsonPatchToCrdt;
 exports.tryMergeDoc = require_compact.tryMergeDoc;
 exports.tryMergeState = require_compact.tryMergeState;
 exports.validateJsonPatch = require_compact.validateJsonPatch;
+exports.validateRgaSeq = require_compact.validateRgaSeq;
 exports.vvHasDot = require_compact.vvHasDot;
 exports.vvMerge = require_compact.vvMerge;

package/dist/internals.mjs

@@ -1,3 +1,3 @@
-import { $ as rgaInsertAfter, A as jsonPatchToCrdtSafe, B as JsonValueValidationError, C as applyIntentsToCrdt, D as docFromJson, E as crdtToJsonPatch, F as getAtJson, G as objCompactTombstones, H as newObj, I as jsonEquals, J as materialize, K as objRemove, L as parseJsonPointer, M as PatchCompileError, N as compileJsonPatchToIntent, O as docFromJsonWithDot, P as diffJsonPatch, Q as rgaIdAtIndex, R as stringifyJsonPointer, S as validateJsonPatch, T as crdtToFullReplace, U as newReg, V as lwwSet, W as newSeq, X as rgaCompactTombstones, Y as HEAD, Z as rgaDelete, _ as createState, a as mergeState, at as vvMerge, b as tryApplyPatch, c as DeserializeError, ct as ClockValidationError, d as serializeDoc, dt as nextDotForActor, et as rgaLinearizeIds, f as serializeState, ft as observeDot, g as applyPatchInPlace, h as applyPatchAsActor, i as mergeDoc, it as vvHasDot, j as tryJsonPatchToCrdt, k as jsonPatchToCrdt, l as deserializeDoc, lt as cloneClock, m as applyPatch, n as compactStateTombstones, nt as compareDot, o as tryMergeDoc, ot as MAX_TRAVERSAL_DEPTH, p as PatchError, q as objSet, r as MergeError, rt as dotToElemId, s as tryMergeState, st as TraversalDepthError, t as compactDocTombstones, tt as rgaPrevForInsertAtIndex, u as deserializeState, ut as createClock, v as forkState, w as cloneDoc, x as tryApplyPatchInPlace, y as toJson, z as ROOT_KEY } from "./compact-BdTuOQK-.mjs";
+import { $ as HEAD, A as crdtToJsonPatch, B as jsonEquals, C as tryApplyPatchAsActor, D as cloneDoc, E as applyIntentsToCrdt, F as tryJsonPatchToCrdt, G as lwwSet, H as stringifyJsonPointer, I as PatchCompileError, J as newSeq, K as newObj, L as compileJsonPatchToIntent, M as docFromJsonWithDot, N as jsonPatchToCrdt, O as crdtNodesToJsonPatch, P as jsonPatchToCrdtSafe, Q as materialize, R as diffJsonPatch, S as tryApplyPatch, T as validateJsonPatch, U as ROOT_KEY, V as parseJsonPointer, W as JsonValueValidationError, X as objRemove, Y as objCompactTombstones, Z as objSet, _ as applyPatchAsActor, _t as nextDotForActor, a as mergeState, at as rgaLinearizeIds, b as forkState, c as DeserializeError, ct as compareDot, d as serializeDoc, dt as vvMerge, et as rgaCompactTombstones, f as serializeState, ft as MAX_TRAVERSAL_DEPTH, g as applyPatch, gt as createClock, h as PatchError, ht as cloneClock, i as mergeDoc, it as rgaInsertAfterChecked, j as docFromJson, k as crdtToFullReplace, l as deserializeDoc, lt as dotToElemId, m as tryDeserializeState, mt as ClockValidationError, n as compactStateTombstones, nt as rgaIdAtIndex, o as tryMergeDoc, ot as rgaPrevForInsertAtIndex, p as tryDeserializeDoc, pt as TraversalDepthError, q as newReg, r as MergeError, rt as rgaInsertAfter, s as tryMergeState, st as validateRgaSeq, t as compactDocTombstones, tt as rgaDelete, u as deserializeState, ut as vvHasDot, v as applyPatchInPlace, vt as observeDot, w as tryApplyPatchInPlace, x as toJson, y as createState, z as getAtJson } from "./compact-BS7F604m.mjs";
 
-export { ClockValidationError, DeserializeError, HEAD, JsonValueValidationError, MAX_TRAVERSAL_DEPTH, MergeError, PatchCompileError, PatchError, ROOT_KEY, TraversalDepthError, applyIntentsToCrdt, applyPatch, applyPatchAsActor, applyPatchInPlace, cloneClock, cloneDoc, compactDocTombstones, compactStateTombstones, compareDot, compileJsonPatchToIntent, crdtToFullReplace, crdtToJsonPatch, createClock, createState, deserializeDoc, deserializeState, diffJsonPatch, docFromJson, docFromJsonWithDot, dotToElemId, forkState, getAtJson, jsonEquals, jsonPatchToCrdt, jsonPatchToCrdtSafe, lwwSet, materialize, mergeDoc, mergeState, newObj, newReg, newSeq, nextDotForActor, objCompactTombstones, objRemove, objSet, observeDot, parseJsonPointer, rgaCompactTombstones, rgaDelete, rgaIdAtIndex, rgaInsertAfter, rgaLinearizeIds, rgaPrevForInsertAtIndex, serializeDoc, serializeState, stringifyJsonPointer, toJson, tryApplyPatch, tryApplyPatchInPlace, tryJsonPatchToCrdt, tryMergeDoc, tryMergeState, validateJsonPatch, vvHasDot, vvMerge };
+export { ClockValidationError, DeserializeError, HEAD, JsonValueValidationError, MAX_TRAVERSAL_DEPTH, MergeError, PatchCompileError, PatchError, ROOT_KEY, TraversalDepthError, applyIntentsToCrdt, applyPatch, applyPatchAsActor, applyPatchInPlace, cloneClock, cloneDoc, compactDocTombstones, compactStateTombstones, compareDot, compileJsonPatchToIntent, crdtNodesToJsonPatch, crdtToFullReplace, crdtToJsonPatch, createClock, createState, deserializeDoc, deserializeState, diffJsonPatch, docFromJson, docFromJsonWithDot, dotToElemId, forkState, getAtJson, jsonEquals, jsonPatchToCrdt, jsonPatchToCrdtSafe, lwwSet, materialize, mergeDoc, mergeState, newObj, newReg, newSeq, nextDotForActor, objCompactTombstones, objRemove, objSet, observeDot, parseJsonPointer, rgaCompactTombstones, rgaDelete, rgaIdAtIndex, rgaInsertAfter, rgaInsertAfterChecked, rgaLinearizeIds, rgaPrevForInsertAtIndex, serializeDoc, serializeState, stringifyJsonPointer, toJson, tryApplyPatch, tryApplyPatchAsActor, tryApplyPatchInPlace, tryDeserializeDoc, tryDeserializeState, tryJsonPatchToCrdt, tryMergeDoc, tryMergeState, validateJsonPatch, validateRgaSeq, vvHasDot, vvMerge };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "json-patch-to-crdt",
-  "version": "0.1.3",
+  "version": "0.3.0",
   "description": "Convert JSON Patch (RFC 6902) to and from a CRDT-friendly representation.",
   "keywords": [
     "crdt",
@@ -42,6 +42,9 @@
     "fmt:check": "oxfmt . --check",
     "typecheck": "tsc --noEmit",
     "build": "tsdown --config tsdown.config.mts",
+    "bench:array-diff": "bun run bench/array-diff.microbench.ts",
+    "bench:crdt-diff": "bun run bench/crdt-diff.microbench.ts",
+    "bench:object-diff": "bun run bench/object-diff.microbench.ts",
     "bench:sequential": "bun run bench/sequential-apply.microbench.ts",
     "test:state-core": "bun test tests/state-core.test.ts",
     "test:patch-diff-doc": "bun test tests/patch-diff-doc.test.ts",