json-patch-to-crdt 0.1.3 → 0.2.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
package/README.md CHANGED
@@ -1,92 +1,62 @@
1
1
  # json-patch-to-crdt
2
2
 
3
- Convert JSON Patch (RFC 6902) operations into a CRDT-friendly data structure and back to JSON.
3
+ [![npm version](https://img.shields.io/npm/v/json-patch-to-crdt)](https://www.npmjs.com/package/json-patch-to-crdt)
4
+ [![License](https://img.shields.io/npm/l/json-patch-to-crdt.svg)](LICENSE.md)
4
5
 
5
- This package is for applications that need to:
6
+ Convert JSON Patch (RFC 6902) operations into a CRDT-backed state that can be merged across peers, then materialize JSON again.
6
7
 
7
- - Apply JSON Patch operations locally.
8
- - Maintain a CRDT-compatible document model for sync.
9
- - Merge divergent document states from multiple peers.
10
- - Serialize and restore CRDT state safely.
11
- - Generate JSON Patch deltas using explicit base snapshots.
8
+ Useful when you want:
12
9
 
13
- It models JSON with:
14
-
15
- - LWW registers for primitives.
16
- - An RGA sequence for arrays.
17
- - A map with delete-wins semantics for objects.
10
+ - JSON Patch in/out at your app boundary
11
+ - CRDT merges internally for offline/collaborative edits
12
+ - deterministic JSON Patch diffs between snapshots
18
13
 
19
14
  ## Install
20
15
 
21
- ```bash
22
- bun add json-patch-to-crdt
23
- ```
24
-
25
16
  ```bash
26
17
  npm install json-patch-to-crdt
27
18
  ```
28
19
 
29
- ## Runtime Requirements
30
-
31
- - Node.js `>= 18` (for package consumers).
32
- - TypeScript `^5` when type-checking in your project.
33
- - Bun `1.3.7` is used for this repo's own build/test scripts.
34
-
35
- ## Testing (Repo)
36
-
37
- Run all tests:
20
+ Also works with Bun / pnpm:
38
21
 
39
22
  ```bash
40
- bun run test
23
+ bun add json-patch-to-crdt
24
+ pnpm add json-patch-to-crdt
41
25
  ```
42
26
 
43
- Run targeted domain suites:
27
+ Node.js `>=18`.
44
28
 
45
- ```bash
46
- bun run test:state-core
47
- bun run test:patch-diff-doc
48
- bun run test:merge-compaction
49
- bun run test:replica-session
50
- bun run test:perf-regression
51
- ```
52
-
53
- ## Quick Start (Recommended API)
29
+ ## Quick Start
54
30
 
55
31
  ```ts
56
32
  import { applyPatch, createState, toJson, type JsonPatchOp } from "json-patch-to-crdt";
57
33
 
58
- const state = createState({ list: ["a", "b"], meta: { ok: true } }, { actor: "A" });
34
+ const state = createState(
35
+ { todos: ["write docs"], done: false },
36
+ { actor: "client-A" },
37
+ );
59
38
 
60
39
  const patch: JsonPatchOp[] = [
61
- { op: "add", path: "/list/-", value: "c" },
62
- { op: "replace", path: "/meta/ok", value: false },
40
+ { op: "add", path: "/todos/-", value: "ship package" },
41
+ { op: "replace", path: "/done", value: true },
63
42
  ];
64
43
 
65
- try {
66
- const next = applyPatch(state, patch);
67
- console.log(toJson(next));
68
- } catch (err) {
69
- // PatchError has a `.code` you can inspect if needed.
70
- throw err;
71
- }
72
- ```
44
+ const next = applyPatch(state, patch);
73
45
 
74
- ## Multi-Peer Sync
46
+ console.log(toJson(next));
47
+ // { todos: ["write docs", "ship package"], done: true }
48
+ ```
75
49
 
76
- Two peers can start from a shared state, apply patches independently, and merge:
50
+ ## Merge Two Peers
77
51
 
78
52
  ```ts
79
53
  import { applyPatch, createState, forkState, mergeState, toJson } from "json-patch-to-crdt";
80
54
 
81
- // Both peers start from the same origin state.
82
55
  const origin = createState({ count: 0, items: ["a"] }, { actor: "origin" });
83
56
 
84
- // Fork shared-origin replicas with local actor identities.
85
- // Actor IDs must be unique per live peer (same-actor reuse is rejected by default).
86
57
  const peerA = forkState(origin, "A");
87
58
  const peerB = forkState(origin, "B");
88
59
 
89
- // Peers diverge with independent edits.
90
60
  const a1 = applyPatch(peerA, [
91
61
  { op: "replace", path: "/count", value: 1 },
92
62
  { op: "add", path: "/items/-", value: "b" },
@@ -97,412 +67,95 @@ const b1 = applyPatch(peerB, [
97
67
  { op: "add", path: "/items/-", value: "c" },
98
68
  ]);
99
69
 
100
- // Each peer merges while preserving its own actor identity.
101
- const mergedAtA = mergeState(a1, b1, { actor: "A" });
102
- const mergedAtB = mergeState(b1, a1, { actor: "B" });
70
+ const merged = mergeState(a1, b1, { actor: "A" });
103
71
 
104
- console.log(toJson(mergedAtA));
72
+ console.log(toJson(merged));
105
73
  // { count: 2, items: ["a", "c", "b"] }
106
- // (both appends preserved; sibling order follows dot ordering)
107
-
108
- // Both peers can continue editing safely.
109
- const a2 = applyPatch(mergedAtA, [{ op: "replace", path: "/count", value: 3 }]);
110
- const b2 = applyPatch(mergedAtB, [{ op: "add", path: "/items/-", value: "d" }]);
111
-
112
- // Merge again to converge.
113
- const converged = mergeState(a2, b2, { actor: "A" });
114
- console.log(toJson(converged));
115
- // { count: 3, items: ["a", "c", "b", "d"] }
116
- ```
117
-
118
- ## Concepts
119
-
120
- - **Doc**: CRDT document node graph (primarily an internals concept).
121
- - **State**: `{ doc, clock }`, used by the main API.
122
- - **Base snapshot**: for `applyPatch`, pass a prior `CrdtState`; internals APIs may use raw `Doc` snapshots.
123
-
124
- ## Ordered Event Log Server Pattern
125
-
126
- If your service contract is "JSON Patch in / JSON Patch out", and your backend keeps CRDT metadata internally:
127
-
128
- - Keep one authoritative CRDT head per document.
129
- - Keep a version vector keyed by actor ID.
130
- - On each incoming JSON Patch, call `applyPatchAsActor(headDoc, vv, actor, patch, { base })`.
131
- - Append the accepted event to your ordered log.
132
- - For downstream clients, emit `crdtToJsonPatch(clientBaseDoc, currentHeadDoc)`.
133
-
134
- Minimal shape (advanced API via `json-patch-to-crdt/internals`):
135
-
136
- ```ts
137
- import {
138
- applyPatchAsActor,
139
- PatchError,
140
- crdtToJsonPatch,
141
- createState,
142
- type Doc,
143
- type JsonPatchOp,
144
- type VersionVector,
145
- } from "json-patch-to-crdt/internals";
146
-
147
- let head: Doc = createState({ list: [] }, { actor: "server" }).doc;
148
- let vv: VersionVector = {};
149
-
150
- function applyIncomingPatch(
151
- actor: string,
152
- base: Doc,
153
- patch: JsonPatchOp[],
154
- ): { ok: true; outPatch: JsonPatchOp[] } | { ok: false; code: number; message: string } {
155
- try {
156
- const applied = applyPatchAsActor(head, vv, actor, patch, { base });
157
- head = applied.state.doc;
158
- vv = applied.vv;
159
-
160
- // Persist incoming event and/or outPatch in your append-only ordered log.
161
- const outPatch = crdtToJsonPatch(base, head);
162
- return { ok: true, outPatch };
163
- } catch (error) {
164
- if (error instanceof PatchError) {
165
- return { ok: false, code: error.code, message: error.message };
166
- }
167
-
168
- throw error;
169
- }
170
- }
171
- ```
172
-
173
- If you prefer a non-throwing low-level compile+apply path, use `jsonPatchToCrdtSafe` from `json-patch-to-crdt/internals`.
174
-
175
- ## Patch Semantics
176
-
177
- - Patches are interpreted relative to a base snapshot.
178
- - `applyPatch` defaults to RFC-style sequential patch execution.
179
- - You can pass an explicit base state via `applyPatch(state, patch, { base })`.
180
- - Patch semantics are configurable: `semantics: "sequential"` (default) or `"base"`.
181
- - In `sequential` mode with an explicit `base`, operations are interpreted against a rolling base snapshot while being applied step-by-step to the evolving head.
182
- - Array indexes are mapped to element IDs based on the base snapshot.
183
- - `"-"` is treated as append for array inserts.
184
- - `test` operations can be evaluated against `head` or `base` using the `testAgainst` option.
185
-
186
- ## Runtime JSON Guardrails
187
-
188
- By default, runtime inputs are accepted as-is (`jsonValidation: "none"`) for backward compatibility.
189
-
190
- You can opt into stricter runtime behavior on `createState`, `applyPatch`/`tryApplyPatch`/`validateJsonPatch`, and `diffJsonPatch`:
191
-
192
- - `jsonValidation: "strict"`: reject non-JSON runtime values (for example `NaN`, `Infinity`, and `undefined`).
193
- - `jsonValidation: "normalize"`: coerce non-JSON values into JSON-safe values.
194
- - non-finite numbers become `null`
195
- - invalid array elements become `null`
196
- - invalid object-property values are omitted
197
-
198
- Examples:
199
-
200
- ```ts
201
- const strictState = createState(payload as any, {
202
- actor: "A",
203
- jsonValidation: "strict",
204
- });
205
-
206
- const next = applyPatch(state, patch as any, {
207
- jsonValidation: "normalize",
208
- });
209
-
210
- const delta = diffJsonPatch(base as any, target as any, {
211
- jsonValidation: "strict",
212
- });
213
74
  ```
214
75
 
215
- ### Semantics Modes
216
-
217
- - `semantics: "sequential"` (default): applies operations one-by-one against the evolving head (RFC-like execution).
218
- - `semantics: "base"`: interprets the full patch relative to one fixed snapshot.
219
-
220
- #### Which Mode Should You Use?
221
-
222
- | If you need... | Use |
223
- | ------------------------------------------------------------------------- | ------------------------- |
224
- | Deterministic CRDT-style replay against a known snapshot | `semantics: "base"` |
225
- | JSON Patch behavior that feels closest to RFC 6902 step-by-step execution | `semantics: "sequential"` |
226
- | Step-by-step replay from an explicit historical base | `semantics: "sequential"` |
227
-
228
- Example:
229
-
230
- ```ts
231
- const baseMode = applyPatch(state, [{ op: "add", path: "/list/0", value: "x" }], {
232
- semantics: "base",
233
- });
234
-
235
- const sequentialMode = applyPatch(state, [{ op: "add", path: "/list/0", value: "x" }], {
236
- semantics: "sequential",
237
- });
238
- ```
239
-
240
- ## Delta Patches (First-Class)
241
-
242
- For most applications, diff JSON values directly:
76
+ ## Generate JSON Patch Deltas
243
77
 
244
78
  ```ts
245
79
  import { diffJsonPatch } from "json-patch-to-crdt";
246
80
 
247
- const delta = diffJsonPatch(baseJson, nextJson);
248
- ```
249
-
250
- If you already keep CRDT documents and need doc-level deltas, use the internals entry point:
251
-
252
- ```ts
253
- import { crdtToJsonPatch } from "json-patch-to-crdt/internals";
254
-
255
- const delta = crdtToJsonPatch(baseDoc, headDoc);
256
- ```
257
-
258
- If you need a full-state root `replace` patch (no delta), use internals:
81
+ const base = { profile: { name: "Sam" }, tags: ["a"] };
82
+ const next = { profile: { name: "Sam", active: true }, tags: ["a", "b"] };
259
83
 
260
- ```ts
261
- import { crdtToFullReplace } from "json-patch-to-crdt/internals";
84
+ const delta = diffJsonPatch(base, next);
262
85
 
263
- const fullPatch = crdtToFullReplace(doc);
264
- // [{ op: "replace", path: "", value: { ... } }]
86
+ console.log(delta);
87
+ // [
88
+ // { op: "add", path: "/profile/active", value: true },
89
+ // { op: "add", path: "/tags/1", value: "b" }
90
+ // ]
265
91
  ```
266
92
 
267
- ### Array Delta Strategy
268
-
269
- By default, arrays are diffed with deterministic LCS edits.
270
- To prevent pathological `O(n*m)` matrix growth on very large arrays, LCS falls back to atomic array replacement when matrix cells exceed `250_000` by default.
271
-
272
- If you want atomic array replacement, pass `{ arrayStrategy: "atomic" }`:
273
-
274
- ```ts
275
- const delta = diffJsonPatch(baseJson, nextJson, { arrayStrategy: "atomic" });
276
- ```
277
-
278
- If you want to tune the LCS fallback threshold, pass `lcsMaxCells`:
279
-
280
- ```ts
281
- const delta = diffJsonPatch(baseJson, nextJson, {
282
- arrayStrategy: "lcs",
283
- lcsMaxCells: 500_000,
284
- });
285
- ```
286
-
287
- Notes:
288
-
289
- - LCS diffs are deterministic but not necessarily minimal.
290
- - Reorders are expressed as remove/add pairs.
291
- - LCS complexity is `O(n*m)` in time and memory.
292
- - `lcsMaxCells` sets the matrix cap: `(base.length + 1) * (next.length + 1)`.
293
- - Set `lcsMaxCells: Number.POSITIVE_INFINITY` to always allow LCS.
294
-
295
- ## Merging
296
-
297
- Merge full states:
298
-
299
- ```ts
300
- import { mergeState } from "json-patch-to-crdt";
301
-
302
- // Merge full states (preserve local actor identity):
303
- const mergedState = mergeState(stateA, stateB, { actor: "A" });
304
- ```
305
-
306
- If you need low-level document-only merging, use `mergeDoc` from `json-patch-to-crdt/internals`.
307
-
308
- By default, merge checks that non-empty arrays share lineage (common element IDs).
309
- If you intentionally need best-effort merging of unrelated array histories, disable this guard:
310
-
311
- ```ts
312
- import { mergeDoc } from "json-patch-to-crdt/internals";
313
-
314
- const mergedDoc = mergeDoc(docA, docB, { requireSharedOrigin: false });
315
- ```
316
-
317
- Resolution rules:
318
-
319
- - **LWW registers**: the register with the higher dot wins.
320
- - **Objects**: entries merge key-by-key; delete-wins semantics apply.
321
- - **RGA arrays**: elements union by ID; tombstones propagate (delete wins).
322
- - **Kind mismatch**: the node with the higher representative dot wins.
323
-
324
- `mergeDoc` is commutative (`merge(a, b)` equals `merge(b, a)`) and idempotent.
325
- For `mergeState`, pass the local actor explicitly (or as the first argument) so each peer keeps a stable actor ID.
326
-
327
- ## Tombstone Compaction
328
-
329
- Long-lived documents can accumulate object/array tombstones.
330
- You can compact causally-stable tombstones with:
331
-
332
- ```ts
333
- import { compactStateTombstones } from "json-patch-to-crdt";
334
-
335
- const { state: compacted, stats } = compactStateTombstones(state, {
336
- stable: { A: 120, B: 98, C: 77 },
337
- });
338
-
339
- console.log(stats);
340
- // { objectTombstonesRemoved: number, sequenceTombstonesRemoved: number }
341
- ```
342
-
343
- For server-side workflows operating on raw docs, use internals:
344
-
345
- ```ts
346
- import { compactDocTombstones } from "json-patch-to-crdt/internals";
347
-
348
- compactDocTombstones(doc, {
349
- stable: checkpointVv,
350
- mutate: true, // optional in-place compaction
351
- });
352
- ```
353
-
354
- Safety conditions:
355
-
356
- - Only compact at checkpoints that are causally stable across all peers you still merge with.
357
- - Do not merge compacted replicas with peers that may be behind that checkpoint.
358
- - Compaction preserves materialized JSON output for the compacted document/state.
359
-
360
- ## Serialization
93
+ ## Serialize / Restore State
361
94
 
362
95
  ```ts
363
96
  import {
97
+ applyPatch,
364
98
  createState,
365
- serializeState,
366
99
  deserializeState,
367
- applyPatch,
100
+ serializeState,
368
101
  toJson,
369
102
  } from "json-patch-to-crdt";
370
103
 
371
- const state = createState({ a: 1 }, { actor: "A" });
372
- const payload = serializeState(state);
104
+ const state = createState({ counter: 1 }, { actor: "A" });
105
+ const saved = serializeState(state);
373
106
 
374
- const restored = deserializeState(payload);
375
- const next = applyPatch(restored, [{ op: "replace", path: "/a", value: 2 }]);
107
+ const restored = deserializeState(saved);
108
+ const next = applyPatch(restored, [{ op: "replace", path: "/counter", value: 2 }]);
376
109
 
377
110
  console.log(toJson(next));
111
+ // { counter: 2 }
378
112
  ```
379
113
 
380
- ## Supported JSON Patch Ops
381
-
382
- - `add`, `remove`, `replace`, `move`, `copy`, `test`.
383
- - `move` and `copy` are compiled to `add` + optional `remove` using the base snapshot.
384
- - Object operations follow strict parent/target checks (no implicit object path creation).
385
-
386
114
  ## Error Handling
387
115
 
388
- High-level `applyPatch` throws `PatchError` on failure and returns a new state:
116
+ `applyPatch` throws `PatchError` when a patch cannot be applied.
389
117
 
390
118
  ```ts
391
- import { applyPatch, PatchError } from "json-patch-to-crdt";
119
+ import { PatchError, applyPatch } from "json-patch-to-crdt";
392
120
 
393
121
  try {
394
- const next = applyPatch(state, patch);
395
- } catch (err) {
396
- if (err instanceof PatchError) {
397
- console.error(err.code, err.reason, err.message);
122
+ applyPatch(state, patch);
123
+ } catch (error) {
124
+ if (error instanceof PatchError) {
125
+ console.error(error.code, error.reason, error.message);
398
126
  }
399
127
  }
400
128
  ```
401
129
 
402
- Non-throwing APIs (`tryApplyPatch`, `tryApplyPatchInPlace`, `tryMergeState`) return structured conflicts.
403
- Internals helpers like `jsonPatchToCrdtSafe` and `tryMergeDoc` return the same shape:
404
-
405
- - `{ ok: false, code: 409, reason, message, path?, opIndex? }`
406
-
407
- ## API Summary
408
-
409
- ### State helpers
410
-
411
- - `createState(initial, { actor, start? })` - Create a new CRDT state from JSON.
412
- - `forkState(origin, actor, options?)` - Fork a shared-origin replica with a new local actor ID. Reusing `origin` actor IDs is rejected by default (`options.allowActorReuse: true` to opt in explicitly).
413
- - `applyPatch(state, patch, options?)` - Apply a patch immutably, returning a new state (`semantics: "sequential"` by default).
414
- - `applyPatchInPlace(state, patch, options?)` - Apply a patch by mutating state in place (`atomic: true` by default).
415
- - `tryApplyPatch(state, patch, options?)` - Non-throwing immutable apply (`{ ok: true, state }` or `{ ok: false, error }`).
416
- - `tryApplyPatchInPlace(state, patch, options?)` - Non-throwing in-place apply result.
417
- - `validateJsonPatch(baseJson, patch, options?)` - Preflight patch validation (non-mutating).
418
- - `toJson(docOrState)` - Materialize a JSON value from a doc or state.
419
- - `applyPatch`/`tryApplyPatch` options: `base` expects a prior `CrdtState` snapshot (not a raw doc), plus `semantics`, `testAgainst`, and optional `jsonValidation` runtime guardrails.
420
- - `PatchError` - Error class thrown for failed patches (`code`, `reason`, `message`, optional `path`/`opIndex`).
421
- - `JsonValueValidationError` - Error class thrown by strict runtime validation in APIs that accept raw JSON values (for example `createState` and `diffJsonPatch`).
422
-
423
- ### Merge helpers
424
-
425
- - `mergeState(a, b, options?)` - Merge two CRDT states (doc + clock), preserving actor identity (`options.actor`) and optional shared-origin checks.
426
- - `tryMergeState(a, b, options?)` - Non-throwing merge-state result.
427
- - `MergeError` - Error class thrown by throwing merge helpers.
428
-
429
- ### Patch helpers
130
+ If you prefer non-throwing results, use `tryApplyPatch(...)` / `tryMergeState(...)`.
430
131
 
431
- - `diffJsonPatch(baseJson, nextJson, options?)` - Compute a JSON Patch delta between two JSON values (`arrayStrategy`, `lcsMaxCells`, and optional `jsonValidation` guardrails).
132
+ ## API Overview
432
133
 
433
- ### Serialization
134
+ Main exports most apps need:
434
135
 
435
- - `serializeState(state)` / `deserializeState(payload)` - Serialize/restore a full state.
136
+ - `createState(initial, { actor })`
137
+ - `forkState(origin, actor)`
138
+ - `applyPatch(state, patch, options?)`
139
+ - `tryApplyPatch(state, patch, options?)`
140
+ - `mergeState(local, remote, { actor })`
141
+ - `tryMergeState(local, remote, options?)`
142
+ - `toJson(stateOrDoc)`
143
+ - `diffJsonPatch(baseJson, nextJson, options?)`
144
+ - `serializeState(state)` / `deserializeState(payload)`
145
+ - `validateJsonPatch(baseJson, patch, options?)`
436
146
 
437
- ### Internals (`json-patch-to-crdt/internals`)
438
-
439
- Advanced helpers are available via a separate entry point:
147
+ Advanced/internal helpers are available from:
440
148
 
441
149
  ```ts
442
- import {
443
- applyPatchAsActor,
444
- createClock,
445
- docFromJson,
446
- mergeDoc,
447
- jsonPatchToCrdtSafe,
448
- compareDot,
449
- rgaInsertAfter,
450
- HEAD,
451
- } from "json-patch-to-crdt/internals";
150
+ import { crdtToJsonPatch, applyPatchAsActor } from "json-patch-to-crdt/internals";
452
151
  ```
453
152
 
454
- Internals includes low-level helpers such as:
455
-
456
- - Actor/version-vector helpers: `applyPatchAsActor`, `createClock`, `cloneClock`, `nextDotForActor`, `observeDot`.
457
- - Doc-level APIs: `docFromJson`, `docFromJsonWithDot`, `cloneDoc`, `materialize`, `mergeDoc`, `tryMergeDoc`.
458
- - Intent compiler/apply pipeline: `compileJsonPatchToIntent`, `applyIntentsToCrdt`, `jsonPatchToCrdt`, `jsonPatchToCrdtSafe`, `tryJsonPatchToCrdt`.
459
- - Doc delta/serialization helpers: `crdtToJsonPatch`, `crdtToFullReplace`, `serializeDoc`, `deserializeDoc`.
460
- - CRDT primitives/utilities: `compareDot`, `vvHasDot`, `vvMerge`, `dotToElemId`, `newObj`, `newSeq`, `newReg`, `lwwSet`, `objSet`, `objRemove`, `HEAD`, `rgaInsertAfter`, `rgaDelete`, `rgaLinearizeIds`, `rgaPrevForInsertAtIndex`, `rgaIdAtIndex`.
461
-
462
- ## Determinism
463
-
464
- - Object key ordering in deltas is stable (sorted keys).
465
- - LCS array diffs are deterministic.
466
- - Repeated runs for identical inputs yield identical patches.
467
-
468
- ## FAQ / Troubleshooting
469
-
470
- **Why did I get `PatchError` with code `409`?**
471
- This typically means the patch could not be applied against the base snapshot. Common causes:
472
-
473
- - Array index out of bounds relative to the base snapshot.
474
- - `test` op failed (value mismatch).
475
- - Base array missing for a non-append insert.
476
-
477
- **How do I avoid `409` for arrays?**
478
- Always pass a base state snapshot that matches the array you are patching. If the array may be missing, create the parent path explicitly before inserting into it.
479
-
480
- **How do I get a full-state patch instead of a delta?**
481
- Use `crdtToFullReplace(doc)` from `json-patch-to-crdt/internals`, which emits a single root `replace` patch.
482
-
483
- **Why do array deltas look bigger than expected?**
484
- LCS diffs are deterministic, not minimal. If you prefer one-op array replacement, use `{ arrayStrategy: "atomic" }`.
485
-
486
- **Why did my array delta become a full `replace` even with LCS?**
487
- For scalability, LCS falls back to atomic replacement when arrays exceed the `lcsMaxCells` guardrail (default `250_000` matrix cells). Increase `lcsMaxCells` to allow larger LCS runs.
488
-
489
- **Does LCS guarantee the smallest patch?**
490
- No. It is deterministic and usually compact, but not guaranteed to be minimal.
491
-
492
- **How do I merge states from two peers?**
493
- Use `forkState(origin, actor)` to create each peer from the same origin, then `mergeState(local, remote, { actor: localActorId })`. Each peer should keep a stable unique actor ID across merges. See the [Multi-Peer Sync](#multi-peer-sync) example above.
494
-
495
- **Why did `forkState` throw about actor uniqueness?**
496
- By default, `forkState` blocks reusing `origin.clock.actor` because same-actor forks can mint duplicate dots and produce order-dependent merges. If you intentionally need same-actor cloning, pass `forkState(origin, actor, { allowActorReuse: true })`.
497
-
498
- **Why can my local counter jump after a merge?**
499
- Array inserts that target an existing predecessor may need to outrank sibling insert dots for deterministic ordering. The library can fast-forward the local counter in constant time to avoid expensive loops, but the resulting counter value may still jump upward when merging with peers that already have high counters.
153
+ ## Notes
500
154
 
501
- **How should I run tombstone compaction in production?**
502
- Treat compaction as a maintenance step after a causal-stability checkpoint (for example, after all replicas acknowledge processing through a specific version vector), then compact and persist the compacted snapshot.
155
+ - Arrays use a CRDT sequence internally; concurrent inserts are preserved.
156
+ - Patches are interpreted relative to a snapshot (RFC-style sequential execution by default).
157
+ - Merge assumes replicas come from the same origin state (use `forkState`).
503
158
 
504
- ## Limitations
159
+ ## License
505
160
 
506
- - The array materialization and insert mapping depend on a base snapshot; concurrent inserts resolve by dot order.
507
- - Under highly skewed peer counters, local counters may jump upward after merges to preserve deterministic insert ordering.
508
- - Merge requires both peers to have started from the same origin document so that shared elements have matching IDs.
161
+ MIT