@shet-anirudh/crdt-sync-core 0.1.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 crdt-sync contributors
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/dist/__tests__/hlc.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=hlc.test.d.ts.map

package/dist/__tests__/hlc.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hlc.test.d.ts","sourceRoot":"","sources":["../../src/__tests__/hlc.test.ts"],"names":[],"mappings":""}

package/dist/__tests__/hlc.test.js

@@ -0,0 +1,127 @@
+import { describe, it, expect } from 'vitest';
+import { zeroHLC, tickHLC, mergeHLC, compareHLC, isAfter, hlcToJSON, hlcFromJSON, } from '../hlc.js';
+describe('zeroHLC', () => {
+    it('returns a clock with wallTime=0 and logical=0', () => {
+        const z = zeroHLC();
+        expect(z.wallTime).toBe(0);
+        expect(z.logical).toBe(0);
+    });
+});
+describe('tickHLC', () => {
+    it('uses now when now > local.wallTime', () => {
+        const local = { wallTime: 100, logical: 5 };
+        const result = tickHLC(local, 200);
+        expect(result.wallTime).toBe(200);
+        expect(result.logical).toBe(0);
+    });
+    it('keeps local.wallTime when local.wallTime > now and increments logical', () => {
+        const local = { wallTime: 500, logical: 3 };
+        const result = tickHLC(local, 100);
+        expect(result.wallTime).toBe(500);
+        expect(result.logical).toBe(4);
+    });
+    it('increments logical when wallTime ties', () => {
+        const local = { wallTime: 300, logical: 7 };
+        const result = tickHLC(local, 300);
+        expect(result.wallTime).toBe(300);
+        expect(result.logical).toBe(8);
+    });
+    it('produces strictly increasing timestamps on successive ticks', () => {
+        let hlc = zeroHLC();
+        const now = 1_000_000;
+        for (let i = 0; i < 100; i++) {
+            const next = tickHLC(hlc, now);
+            expect(compareHLC(next, hlc)).toBeGreaterThan(0);
+            hlc = next;
+        }
+    });
+});
+describe('mergeHLC', () => {
+    it('takes the max wallTime', () => {
+        const local = { wallTime: 100, logical: 0 };
+        const remote = { wallTime: 200, logical: 0 };
+        const result = mergeHLC(local, remote, 50);
+        expect(result.wallTime).toBe(200);
+    });
+    it('increments logical when all three wallTimes tie', () => {
+        const local = { wallTime: 100, logical: 3 };
+        const remote = { wallTime: 100, logical: 5 };
+        const result = mergeHLC(local, remote, 100);
+        expect(result.wallTime).toBe(100);
+        expect(result.logical).toBe(6); // max(3, 5) + 1
+    });
+    it('uses local.logical + 1 when local.wallTime wins', () => {
+        const local = { wallTime: 300, logical: 4 };
+        const remote = { wallTime: 100, logical: 99 };
+        const result = mergeHLC(local, remote, 200);
+        expect(result.wallTime).toBe(300);
+        expect(result.logical).toBe(5);
+    });
+    it('uses remote.logical + 1 when remote.wallTime wins', () => {
+        const local = { wallTime: 100, logical: 2 };
+        const remote = { wallTime: 300, logical: 7 };
+        const result = mergeHLC(local, remote, 200);
+        expect(result.wallTime).toBe(300);
+        expect(result.logical).toBe(8);
+    });
+    it('throws when remote is implausibly far in the future (clock skew guard)', () => {
+        const local = { wallTime: 100, logical: 0 };
+        const remote = { wallTime: 100 + 61_000, logical: 0 }; // 61 seconds ahead
+        expect(() => mergeHLC(local, remote, 100)).toThrow(/clock skew too large/i);
+    });
+    it('does NOT throw when skew is within the allowed 60-second window', () => {
+        const local = { wallTime: 100, logical: 0 };
+        const remote = { wallTime: 100 + 59_000, logical: 0 }; // 59 seconds — fine
+        expect(() => mergeHLC(local, remote, 100)).not.toThrow();
+    });
+});
+describe('compareHLC', () => {
+    it('returns negative when a < b by wallTime', () => {
+        const a = { wallTime: 100, logical: 5 };
+        const b = { wallTime: 200, logical: 0 };
+        expect(compareHLC(a, b)).toBeLessThan(0);
+    });
+    it('returns positive when a > b by wallTime', () => {
+        const a = { wallTime: 200, logical: 0 };
+        const b = { wallTime: 100, logical: 5 };
+        expect(compareHLC(a, b)).toBeGreaterThan(0);
+    });
+    it('breaks ties by logical counter', () => {
+        const a = { wallTime: 100, logical: 3 };
+        const b = { wallTime: 100, logical: 7 };
+        expect(compareHLC(a, b)).toBeLessThan(0);
+        expect(compareHLC(b, a)).toBeGreaterThan(0);
+    });
+    it('returns 0 for identical HLCs', () => {
+        const a = { wallTime: 100, logical: 5 };
+        expect(compareHLC(a, a)).toBe(0);
+        expect(compareHLC({ ...a }, { ...a })).toBe(0);
+    });
+});
+describe('isAfter', () => {
+    it('returns true when a is strictly after b', () => {
+        const a = { wallTime: 200, logical: 0 };
+        const b = { wallTime: 100, logical: 0 };
+        expect(isAfter(a, b)).toBe(true);
+        expect(isAfter(b, a)).toBe(false);
+    });
+    it('returns false when HLCs are equal', () => {
+        const a = { wallTime: 100, logical: 5 };
+        expect(isAfter(a, a)).toBe(false);
+    });
+});
+describe('hlcToJSON / hlcFromJSON', () => {
+    it('round-trips correctly', () => {
+        const original = { wallTime: 1_700_000_000_000, logical: 42 };
+        const json = hlcToJSON(original);
+        const restored = hlcFromJSON(json);
+        expect(restored).toEqual(original);
+    });
+    it('throws on invalid JSON', () => {
+        expect(() => hlcFromJSON(null)).toThrow();
+        expect(() => hlcFromJSON({ wallTime: 'bad', logical: 0 })).toThrow();
+        expect(() => hlcFromJSON({ wallTime: 100 })).toThrow();
+        expect(() => hlcFromJSON(42)).toThrow();
+    });
+});
+//# sourceMappingURL=hlc.test.js.map

package/dist/__tests__/hlc.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hlc.test.js","sourceRoot":"","sources":["../../src/__tests__/hlc.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAE9C,OAAO,EACL,OAAO,EACP,OAAO,EACP,QAAQ,EACR,UAAU,EACV,OAAO,EACP,SAAS,EACT,WAAW,GACZ,MAAM,WAAW,CAAC;AAGnB,QAAQ,CAAC,SAAS,EAAE,GAAG,EAAE;IACvB,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;QACpB,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC3B,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,SAAS,EAAE,GAAG,EAAE;IACvB,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,KAAK,GAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QACjD,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,KAAK,GAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QACjD,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,KAAK,GAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QACjD,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,IAAI,GAAG,GAAG,OAAO,EAAE,CAAC;QACpB,MAAM,GAAG,GAAG,SAAS,CAAC;QACtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7B,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YAC/B,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YACjD,GAAG,GAAG,IAAI,CAAC;QACb,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,UAAU,EAAE,GAAG,EAAE;IACxB,EAAE,CAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,KAAK,GAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QACjD,MAAM,MAAM,GAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QAClD,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;QAC3C,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,KAAK,GAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QACjD,MAAM,MAAM,GAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QAClD,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;QAC5C,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,gBAAgB;IAClD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,KAAK,GAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QACjD,MAAM,MAAM,GAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;QACnD,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;QAC5C,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,KAAK,GAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QACjD,MAAM,MAAM,GAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QAClD,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;QAC5C,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,KAAK,GAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QACjD,MAAM,MAAM,GAAQ,EAAE,QAAQ,EAAE,GAAG,GAAG,MAAM,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,mBAAmB;QAC/E,MAAM,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,uBAAuB,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,KAAK,GAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QACjD,MAAM,MAAM,GAAQ,EAAE,QAAQ,EAAE,GAAG,GAAG,MAAM,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,oBAAoB;QAChF,MAAM,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;IAC3D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;IAC1B,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,GAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QAC7C,MAAM,CAAC,GAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QAC7C,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,GAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QAC7C,MAAM,CAAC,GAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QAC7C,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,CAAC,GAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QAC7C,MAAM,CAAC,GAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QAC7C,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,GAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QAC7C,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,CAAC,UAAU,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,SAAS,EAAE,GAAG,EAAE;IACvB,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,GAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QAC7C,MAAM,CAAC,GAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QAC7C,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QAC7C,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,QAAQ,GAAQ,EAAE,QAAQ,EAAE,iBAAiB,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;QACnE,MAAM,IAAI,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;QACjC,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;QACnC,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,CAAC,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QAC1C,MAAM,CAAC,GAAG,EAAE,CAAC,WAAW,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QACrE,MAAM,CAAC,GAAG,EAAE,CAAC,WAAW,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QACvD,MAAM,CAAC,GAAG,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/__tests__/merge.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=merge.test.d.ts.map

package/dist/__tests__/merge.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"merge.test.d.ts","sourceRoot":"","sources":["../../src/__tests__/merge.test.ts"],"names":[],"mappings":""}

package/dist/__tests__/merge.test.js

@@ -0,0 +1,316 @@
+import { describe, it, expect } from 'vitest';
+import * as fc from 'fast-check';
+import { createRecord, mergeRecords, mergeFields, applyLocalChange, deleteField, isFieldAlive, liveFields, } from '../merge.js';
+// ---------------------------------------------------------------------------
+// Arbitraries (fast-check generators)
+// ---------------------------------------------------------------------------
+// JS object prototype property names that must not be used as CRDT field keys
+// (they would shadow Object.prototype methods on non-null-prototype objects in
+// serialized/deserialized forms, or confuse JSON.stringify sorting).
+const RESERVED_KEYS = new Set([
+    'constructor', 'toString', 'valueOf', 'hasOwnProperty',
+    'isPrototypeOf', 'propertyIsEnumerable', 'toLocaleString',
+    '__proto__', '__defineGetter__', '__defineSetter__', '__lookupGetter__', '__lookupSetter__',
+]);
+const arbDeviceId = fc.string({ minLength: 1, maxLength: 16 });
+const arbFieldValue = fc.oneof(fc.string(), fc.integer(), fc.boolean(), fc.constant(null));
+const arbHLC = fc
+    .tuple(fc.nat({ max: 2_000_000_000_000 }), fc.nat({ max: 1000 }))
+    .map(([wallTime, logical]) => ({ wallTime, logical }));
+const arbFieldEntry = fc
+    .tuple(arbFieldValue, arbHLC, arbDeviceId)
+    .map(([value, hlc, origin]) => ({ value, hlc, origin }));
+const arbTombstone = fc
+    .tuple(arbHLC, arbDeviceId)
+    .map(([hlc, origin]) => ({ value: null, hlc, origin, deleted: true }));
+const arbAnyFieldEntry = fc.oneof(arbFieldEntry, arbTombstone);
+/** Generate a CRDTRecord with 0–5 fields, avoiding reserved JS property names. */
+const arbCRDTRecord = fc
+    .dictionary(fc.string({ minLength: 1, maxLength: 8 }).filter((k) => !RESERVED_KEYS.has(k)), arbAnyFieldEntry, { minKeys: 0, maxKeys: 5 })
+    .map((obj) => Object.assign(Object.create(null), obj));
+// ---------------------------------------------------------------------------
+// Helper: deep equality check for CRDTRecords
+// ---------------------------------------------------------------------------
+function recordsEqual(a, b) {
+    return JSON.stringify(sortedRecord(a)) === JSON.stringify(sortedRecord(b));
+}
+function sortedRecord(r) {
+    // Use a regular object (with prototype) here — only for JSON serialization
+    // comparison, not for CRDT operations.
+    const sorted = {};
+    for (const key of Object.keys(r).sort()) {
+        sorted[key] = r[key];
+    }
+    return sorted;
+}
+// ---------------------------------------------------------------------------
+// mergeFields — unit tests
+// ---------------------------------------------------------------------------
+describe('mergeFields', () => {
+    it('returns the entry with the higher HLC wallTime', () => {
+        const older = { value: 'old', hlc: { wallTime: 100, logical: 0 }, origin: 'a' };
+        const newer = { value: 'new', hlc: { wallTime: 200, logical: 0 }, origin: 'b' };
+        expect(mergeFields(older, newer)).toBe(newer);
+        expect(mergeFields(newer, older)).toBe(newer);
+    });
+    it('uses higher logical counter on wallTime tie', () => {
+        const a = { value: 'a', hlc: { wallTime: 100, logical: 5 }, origin: 'x' };
+        const b = { value: 'b', hlc: { wallTime: 100, logical: 3 }, origin: 'y' };
+        expect(mergeFields(a, b)).toBe(a);
+        expect(mergeFields(b, a)).toBe(a);
+    });
+    it('tie-breaks on DeviceId when HLCs are identical (lexicographic, larger wins)', () => {
+        const a = { value: 'a', hlc: { wallTime: 100, logical: 0 }, origin: 'zzz' };
+        const b = { value: 'b', hlc: { wallTime: 100, logical: 0 }, origin: 'aaa' };
+        expect(mergeFields(a, b)).toBe(a); // 'zzz' > 'aaa'
+        expect(mergeFields(b, a)).toBe(a);
+    });
+    it('returns the same entry when both sides are identical (idempotence)', () => {
+        const entry = { value: 42, hlc: { wallTime: 100, logical: 0 }, origin: 'dev' };
+        const result = mergeFields(entry, { ...entry });
+        expect(result).toEqual(entry);
+    });
+});
+// ---------------------------------------------------------------------------
+// mergeRecords — unit tests
+// ---------------------------------------------------------------------------
+describe('mergeRecords', () => {
+    it('returns union of fields when there is no overlap', () => {
+        const a = {
+            foo: { value: 1, hlc: { wallTime: 100, logical: 0 }, origin: 'a' },
+        };
+        const b = {
+            bar: { value: 2, hlc: { wallTime: 100, logical: 0 }, origin: 'b' },
+        };
+        const merged = mergeRecords(a, b);
+        expect(merged['foo']?.value).toBe(1);
+        expect(merged['bar']?.value).toBe(2);
+    });
+    it('resolves conflicting fields to the newer HLC', () => {
+        const now = Date.now();
+        const a = {
+            title: { value: 'old', hlc: { wallTime: now - 1000, logical: 0 }, origin: 'a' },
+        };
+        const b = {
+            title: { value: 'new', hlc: { wallTime: now, logical: 0 }, origin: 'b' },
+        };
+        const merged = mergeRecords(a, b);
+        expect(merged['title']?.value).toBe('new');
+    });
+    it('does not mutate the input records', () => {
+        const a = {
+            x: { value: 1, hlc: { wallTime: 100, logical: 0 }, origin: 'a' },
+        };
+        const b = {
+            x: { value: 2, hlc: { wallTime: 200, logical: 0 }, origin: 'b' },
+        };
+        const aCopy = JSON.stringify(a);
+        const bCopy = JSON.stringify(b);
+        mergeRecords(a, b);
+        expect(JSON.stringify(a)).toBe(aCopy);
+        expect(JSON.stringify(b)).toBe(bCopy);
+    });
+    it('handles empty records', () => {
+        const a = {};
+        const b = { x: { value: 1, hlc: { wallTime: 100, logical: 0 }, origin: 'b' } };
+        expect(mergeRecords(a, b)).toEqual(b);
+        expect(mergeRecords(b, a)).toEqual(b);
+        expect(mergeRecords(a, a)).toEqual({});
+    });
+});
+// ---------------------------------------------------------------------------
+// CRDT Convergence Properties (property-based with fast-check)
+// ---------------------------------------------------------------------------
+describe('Convergence properties', () => {
+    describe('Commutativity: merge(A, B) ≡ merge(B, A)', () => {
+        it('holds for arbitrary records', () => {
+            fc.assert(fc.property(arbCRDTRecord, arbCRDTRecord, (a, b) => {
+                const ab = mergeRecords(a, b);
+                const ba = mergeRecords(b, a);
+                return recordsEqual(ab, ba);
+            }), { numRuns: 500 });
+        });
+    });
+    describe('Associativity: merge(merge(A,B),C) ≡ merge(A, merge(B,C))', () => {
+        it('holds for arbitrary records', () => {
+            fc.assert(fc.property(arbCRDTRecord, arbCRDTRecord, arbCRDTRecord, (a, b, c) => {
+                const left = mergeRecords(mergeRecords(a, b), c);
+                const right = mergeRecords(a, mergeRecords(b, c));
+                return recordsEqual(left, right);
+            }), { numRuns: 300 });
+        });
+    });
+    describe('Idempotence: merge(A, A) ≡ A', () => {
+        it('holds for arbitrary records', () => {
+            fc.assert(fc.property(arbCRDTRecord, (a) => {
+                const merged = mergeRecords(a, a);
+                return recordsEqual(merged, a);
+            }), { numRuns: 500 });
+        });
+    });
+    describe('Convergence across arbitrary edit sequences', () => {
+        it('two devices that exchange all messages always converge', () => {
+            fc.assert(fc.property(fc.array(fc.tuple(arbDeviceId, fc.string({ minLength: 1, maxLength: 8 }), arbFieldValue), {
+                minLength: 1,
+                maxLength: 20,
+            }), (edits) => {
+                let recordA = createRecord();
+                let recordB = createRecord();
+                let now = 1_000_000;
+                // Apply edits to alternating devices
+                edits.forEach(([_device, field, value], i) => {
+                    now += 10;
+                    if (i % 2 === 0) {
+                        recordA = applyLocalChange(recordA, field, value, 'device-a', now);
+                    }
+                    else {
+                        recordB = applyLocalChange(recordB, field, value, 'device-b', now);
+                    }
+                });
+                // Both devices exchange and merge
+                const mergedByA = mergeRecords(recordA, recordB);
+                const mergedByB = mergeRecords(recordB, recordA);
+                return recordsEqual(mergedByA, mergedByB);
+            }), { numRuns: 200 });
+        });
+    });
+});
+// ---------------------------------------------------------------------------
+// applyLocalChange — unit tests
+// ---------------------------------------------------------------------------
+describe('applyLocalChange', () => {
+    it('creates a new field with an HLC above zero', () => {
+        const record = createRecord();
+        const result = applyLocalChange(record, 'title', 'hello', 'dev-a', 1_000_000);
+        expect(result['title']?.value).toBe('hello');
+        expect(result['title']?.origin).toBe('dev-a');
+        expect(result['title']?.hlc.wallTime).toBeGreaterThan(0);
+    });
+    it('increments HLC on successive writes to the same field', () => {
+        let record = createRecord();
+        const now = 1_000_000;
+        record = applyLocalChange(record, 'x', 1, 'dev-a', now);
+        const hlc1 = record['x'].hlc;
+        record = applyLocalChange(record, 'x', 2, 'dev-a', now); // same wall time
+        const hlc2 = record['x'].hlc;
+        expect(hlc2.logical).toBeGreaterThan(hlc1.logical);
+    });
+    it('does not mutate the original record', () => {
+        const record = createRecord();
+        const snapshot = JSON.stringify(record);
+        applyLocalChange(record, 'foo', 'bar', 'dev', Date.now());
+        expect(JSON.stringify(record)).toBe(snapshot);
+    });
+    it('a later write from device-b beats an earlier write from device-a', () => {
+        let recordA = createRecord();
+        let recordB = createRecord();
+        recordA = applyLocalChange(recordA, 'title', 'from A', 'device-a', 1000);
+        recordB = applyLocalChange(recordB, 'title', 'from B', 'device-b', 2000); // later
+        const merged = mergeRecords(recordA, recordB);
+        expect(merged['title']?.value).toBe('from B');
+    });
+});
+// ---------------------------------------------------------------------------
+// deleteField — tombstones
+// ---------------------------------------------------------------------------
+describe('deleteField', () => {
+    it('tombstones an existing field', () => {
+        let record = createRecord();
+        record = applyLocalChange(record, 'title', 'hello', 'dev', 1000);
+        record = deleteField(record, 'title', 'dev', 2000);
+        expect(record['title']?.value).toBeNull();
+        expect(record['title']?.deleted).toBe(true);
+        expect(isFieldAlive(record, 'title')).toBe(false);
+    });
+    it('tombstone beats an older write on merge', () => {
+        let recordA = createRecord();
+        let recordB = createRecord();
+        recordA = applyLocalChange(recordA, 'note', 'important!', 'device-a', 1000);
+        recordB = deleteField(recordB, 'note', 'device-b', 2000); // later delete
+        const merged = mergeRecords(recordA, recordB);
+        expect(merged['note']?.deleted).toBe(true);
+        expect(isFieldAlive(merged, 'note')).toBe(false);
+    });
+    it('older tombstone does NOT override a newer write', () => {
+        let recordA = createRecord();
+        let recordB = createRecord();
+        recordB = deleteField(recordB, 'note', 'device-b', 1000); // older delete
+        recordA = applyLocalChange(recordA, 'note', 'resurrected', 'device-a', 2000); // newer write
+        const merged = mergeRecords(recordA, recordB);
+        expect(merged['note']?.value).toBe('resurrected');
+        expect(merged['note']?.deleted).toBeUndefined();
+    });
+});
+// ---------------------------------------------------------------------------
+// Utility helpers
+// ---------------------------------------------------------------------------
+describe('isFieldAlive / liveFields', () => {
+    it('returns false for tombstoned fields', () => {
+        let record = createRecord();
+        record = applyLocalChange(record, 'x', 1, 'dev', 1000);
+        record = deleteField(record, 'x', 'dev', 2000);
+        expect(isFieldAlive(record, 'x')).toBe(false);
+    });
+    it('returns true for a live field', () => {
+        let record = createRecord();
+        record = applyLocalChange(record, 'x', 1, 'dev', 1000);
+        expect(isFieldAlive(record, 'x')).toBe(true);
+    });
+    it('liveFields excludes tombstones', () => {
+        let record = createRecord();
+        record = applyLocalChange(record, 'a', 1, 'dev', 1000);
+        record = applyLocalChange(record, 'b', 2, 'dev', 1000);
+        record = deleteField(record, 'b', 'dev', 2000);
+        expect(liveFields(record)).toEqual(['a']);
+    });
+});
+// ---------------------------------------------------------------------------
+// Edge cases
+// ---------------------------------------------------------------------------
+describe('Edge cases', () => {
+    it('handles out-of-order message delivery (offline device rejoining)', () => {
+        let online = createRecord();
+        let offline = createRecord();
+        // Offline device writes at t=1000 while disconnected
+        offline = applyLocalChange(offline, 'status', 'offline-value', 'device-offline', 1000);
+        // Online device writes at t=2000 (later)
+        online = applyLocalChange(online, 'status', 'online-value', 'device-online', 2000);
+        // Offline device reconnects and exchanges state
+        const mergedAtOnline = mergeRecords(online, offline);
+        const mergedAtOffline = mergeRecords(offline, online);
+        // Both sides converge to the same value
+        expect(mergedAtOnline['status']?.value).toBe(mergedAtOffline['status']?.value);
+        // The later wall-clock write wins
+        expect(mergedAtOnline['status']?.value).toBe('online-value');
+    });
+    it('handles concurrent edits to the same field (deterministic tie-break)', () => {
+        let recordA = createRecord();
+        let recordB = createRecord();
+        const SAME_TIME = 1_000_000;
+        // Both devices write at exactly the same HLC wallTime + logical
+        // (This is the most adversarial case)
+        recordA = applyLocalChange(recordA, 'field', 'value-from-A', 'device-zzz', SAME_TIME);
+        recordB = applyLocalChange(recordB, 'field', 'value-from-B', 'device-aaa', SAME_TIME);
+        // Force identical HLCs to test pure DeviceId tie-break
+        const hlc = { wallTime: SAME_TIME, logical: 1 };
+        recordA['field'] = { value: 'value-from-A', hlc, origin: 'device-zzz' };
+        recordB['field'] = { value: 'value-from-B', hlc, origin: 'device-aaa' };
+        const mergedAB = mergeRecords(recordA, recordB);
+        const mergedBA = mergeRecords(recordB, recordA);
+        // Must converge to the same value (commutativity)
+        expect(mergedAB['field']?.value).toBe(mergedBA['field']?.value);
+        // 'device-zzz' > 'device-aaa' lexicographically → A's value wins
+        expect(mergedAB['field']?.value).toBe('value-from-A');
+    });
+    it('field deleted on one device does not appear on merge', () => {
+        let a = createRecord();
+        let b = createRecord();
+        a = applyLocalChange(a, 'temp', 'to be deleted', 'dev-a', 1000);
+        b = applyLocalChange(b, 'temp', 'to be deleted', 'dev-b', 1000);
+        // Device A deletes the field
+        a = deleteField(a, 'temp', 'dev-a', 2000);
+        const merged = mergeRecords(a, b);
+        expect(isFieldAlive(merged, 'temp')).toBe(false);
+    });
+});
+//# sourceMappingURL=merge.test.js.map

package/dist/__tests__/merge.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"merge.test.js","sourceRoot":"","sources":["../../src/__tests__/merge.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EACL,YAAY,EACZ,YAAY,EACZ,WAAW,EACX,gBAAgB,EAChB,WAAW,EACX,YAAY,EACZ,UAAU,GACX,MAAM,aAAa,CAAC;AAGrB,8EAA8E;AAC9E,sCAAsC;AACtC,8EAA8E;AAE9E,8EAA8E;AAC9E,+EAA+E;AAC/E,qEAAqE;AACrE,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC;IAC5B,aAAa,EAAE,UAAU,EAAE,SAAS,EAAE,gBAAgB;IACtD,eAAe,EAAE,sBAAsB,EAAE,gBAAgB;IACzD,WAAW,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,kBAAkB;CAC5F,CAAC,CAAC;AAEH,MAAM,WAAW,GAAG,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC;AAE/D,MAAM,aAAa,GAA6B,EAAE,CAAC,KAAK,CACtD,EAAE,CAAC,MAAM,EAAE,EACX,EAAE,CAAC,OAAO,EAAE,EACZ,EAAE,CAAC,OAAO,EAAE,EACZ,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAClB,CAAC;AAEF,MAAM,MAAM,GAAG,EAAE;KACd,KAAK,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,iBAAiB,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;KAChE,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;AAEzD,MAAM,aAAa,GAA6B,EAAE;KAC/C,KAAK,CAAC,aAAa,EAAE,MAAM,EAAE,WAAW,CAAC;KACzC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;AAE3D,MAAM,YAAY,GAA6B,EAAE;KAC9C,KAAK,CAAC,MAAM,EAAE,WAAW,CAAC;KAC1B,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,IAAa,EAAE,CAAC,CAAC,CAAC;AAElF,MAAM,gBAAgB,GAA6B,EAAE,CAAC,KAAK,CAAC,aAAa,EAAE,YAAY,CAAC,CAAC;AAEzF,kFAAkF;AAClF,MAAM,aAAa,GAA6B,EAAE;KAC/C,UAAU,CACT,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAC9E,gBAAgB,EAChB,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAC3B;KACA,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAe,EAAE,GAAG,CAAC,CAAC,CAAC;AAEvE,8EAA8E;AAC9E,8CAA8C;AAC9C,8EAA8E;AAC9E,SAAS,YAAY,CAAC,CAAa,EAAE,CAAa;IAChD,OAAO,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;AAC7E,CAAC;AAED,SAAS,YAAY,CAAC,CAAa;IACjC,2EAA2E;IAC3E,uCAAuC;IACvC,MAAM,MAAM,GAA+B,EAAE,CAAC;IAC9C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACxC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAe,CAAC;IACrC,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,8EAA8E;AAC9E,2BAA2B;AAC3B,8EAA8E;AAE9E,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,KAAK,GAAe,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;QAC5F,MAAM,KAAK,GAAe,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;QAC5F,MAAM,CAAC,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9C,MAAM,CAAC,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAe,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;QACtF,MAAM,CAAC,GAAe,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;QACtF,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6EAA6E,EAAE,GAAG,EAAE;QACrF,MAAM,CAAC,GAAe,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;QACxF,MAAM,CAAC,GAAe,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;QACxF,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,gBAAgB;QACnD,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,KAAK,GAAe,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;QAC3F,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC;QAChD,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8EAA8E;AAC9E,4BAA4B;AAC5B,8EAA8E;AAE9E,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,GAAe;YACpB,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE;SACnE,CAAC;QACF,MAAM,CAAC,GAAe;YACpB,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE;SACnE,CAAC;QACF,MAAM,MAAM,GAAG,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAClC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACvB,MAAM,CAAC,GAAe;YACpB,KAAK,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,QAAQ,EAAE,GAAG,GAAG,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE;SAChF,CAAC;QACF,MAAM,CAAC,GAAe;YACpB,KAAK,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE;SACzE,CAAC;QACF,MAAM,MAAM,GAAG,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAClC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAe;YACpB,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE;SACjE,CAAC;QACF,MAAM,CAAC,GAAe;YACpB,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE;SACjE,CAAC;QACF,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QAChC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACnB,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,CAAC,GAAe,EAAE,CAAC;QACzB,MAAM,CAAC,GAAe,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC;QAC3F,MAAM,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8EAA8E;AAC9E,+DAA+D;AAC/D,8EAA8E;AAE9E,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,QAAQ,CAAC,0CAA0C,EAAE,GAAG,EAAE;QACxD,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;YACrC,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,aAAa,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBACjD,MAAM,EAAE,GAAG,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBAC9B,MAAM,EAAE,GAAG,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBAC9B,OAAO,YAAY,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YAC9B,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACzE,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;YACrC,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,aAAa,EAAE,aAAa,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;gBACnE,MAAM,IAAI,GAAG,YAAY,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBACjD,MAAM,KAAK,GAAG,YAAY,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;gBAClD,OAAO,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACnC,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,8BAA8B,EAAE,GAAG,EAAE;QAC5C,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;YACrC,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE;gBAC/B,MAAM,MAAM,GAAG,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBAClC,OAAO,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YACjC,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,6CAA6C,EAAE,GAAG,EAAE;QAC3D,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;YAChE,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CACT,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,EAAE,aAAa,CAAC,EAAE;gBACxF,SAAS,EAAE,CAAC;gBACZ,SAAS,EAAE,EAAE;aACd,CAAC,EACF,CAAC,KAAK,EAAE,EAAE;gBACR,IAAI,OAAO,GAAG,YAAY,EAAE,CAAC;gBAC7B,IAAI,OAAO,GAAG,YAAY,EAAE,CAAC;gBAC7B,IAAI,GAAG,GAAG,SAAS,CAAC;gBAEpB,qCAAqC;gBACrC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC,EAAE,EAAE;oBAC3C,GAAG,IAAI,EAAE,CAAC;oBACV,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;wBAChB,OAAO,GAAG,gBAAgB,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;oBACrE,CAAC;yBAAM,CAAC;wBACN,OAAO,GAAG,gBAAgB,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;oBACrE,CAAC;gBACH,CAAC,CAAC,CAAC;gBAEH,kCAAkC;gBAClC,MAAM,SAAS,GAAG,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;gBACjD,MAAM,SAAS,GAAG,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;gBAEjD,OAAO,YAAY,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;YAC5C,CAAC,CACF,EACD,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8EAA8E;AAC9E,gCAAgC;AAChC,8EAA8E;AAE9E,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,MAAM,GAAG,YAAY,EAAE,CAAC;QAC9B,MAAM,MAAM,GAAG,gBAAgB,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;QAC9E,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC7C,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC9C,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,IAAI,MAAM,GAAG,YAAY,EAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,SAAS,CAAC;QACtB,MAAM,GAAG,gBAAgB,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;QACxD,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAE,CAAC,GAAG,CAAC;QAC9B,MAAM,GAAG,gBAAgB,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,iBAAiB;QAC1E,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAE,CAAC,GAAG,CAAC;QAC9B,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,MAAM,GAAG,YAAY,EAAE,CAAC;QAC9B,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QACxC,gBAAgB,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;QAC1D,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,IAAI,OAAO,GAAG,YAAY,EAAE,CAAC;QAC7B,IAAI,OAAO,GAAG,YAAY,EAAE,CAAC;QAE7B,OAAO,GAAG,gBAAgB,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;QACzE,OAAO,GAAG,gBAAgB,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ;QAElF,MAAM,MAAM,GAAG,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAC9C,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8EAA8E;AAC9E,2BAA2B;AAC3B,8EAA8E;AAE9E,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,IAAI,MAAM,GAAG,YAAY,EAAE,CAAC;QAC5B,MAAM,GAAG,gBAAgB,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QACjE,MAAM,GAAG,WAAW,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QAEnD,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC1C,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5C,MAAM,CAAC,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,IAAI,OAAO,GAAG,YAAY,EAAE,CAAC;QAC7B,IAAI,OAAO,GAAG,YAAY,EAAE,CAAC;QAE7B,OAAO,GAAG,gBAAgB,CAAC,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;QAC5E,OAAO,GAAG,WAAW,CAAC,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,eAAe;QAEzE,MAAM,MAAM,GAAG,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAC9C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3C,MAAM,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,IAAI,OAAO,GAAG,YAAY,EAAE,CAAC;QAC7B,IAAI,OAAO,GAAG,YAAY,EAAE,CAAC;QAE7B,OAAO,GAAG,WAAW,CAAC,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,eAAe;QACzE,OAAO,GAAG,gBAAgB,CAAC,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,cAAc;QAE5F,MAAM,MAAM,GAAG,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAC9C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAClD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC,aAAa,EAAE,CAAC;IAClD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8EAA8E;AAC9E,kBAAkB;AAClB,8EAA8E;AAE9E,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,IAAI,MAAM,GAAG,YAAY,EAAE,CAAC;QAC5B,MAAM,GAAG,gBAAgB,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QACvD,MAAM,GAAG,WAAW,CAAC,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QAC/C,MAAM,CAAC,YAAY,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,IAAI,MAAM,GAAG,YAAY,EAAE,CAAC;QAC5B,MAAM,GAAG,gBAAgB,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QACvD,MAAM,CAAC,YAAY,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,IAAI,MAAM,GAAG,YAAY,EAAE,CAAC;QAC5B,MAAM,GAAG,gBAAgB,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QACvD,MAAM,GAAG,gBAAgB,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QACvD,MAAM,GAAG,WAAW,CAAC,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QAC/C,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8EAA8E;AAC9E,aAAa;AACb,8EAA8E;AAE9E,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;IAC1B,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,IAAI,MAAM,GAAG,YAAY,EAAE,CAAC;QAC5B,IAAI,OAAO,GAAG,YAAY,EAAE,CAAC;QAE7B,qDAAqD;QACrD,OAAO,GAAG,gBAAgB,CAAC,OAAO,EAAE,QAAQ,EAAE,eAAe,EAAE,gBAAgB,EAAE,IAAI,CAAC,CAAC;QAEvF,yCAAyC;QACzC,MAAM,GAAG,gBAAgB,CAAC,MAAM,EAAE,QAAQ,EAAE,cAAc,EAAE,eAAe,EAAE,IAAI,CAAC,CAAC;QAEnF,gDAAgD;QAChD,MAAM,cAAc,GAAG,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACrD,MAAM,eAAe,GAAG,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAEtD,wCAAwC;QACxC,MAAM,CAAC,cAAc,CAAC,QAAQ,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,EAAE,KAAK,CAAC,CAAC;QAC/E,kCAAkC;QAClC,MAAM,CAAC,cAAc,CAAC,QAAQ,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,IAAI,OAAO,GAAG,YAAY,EAAE,CAAC;QAC7B,IAAI,OAAO,GAAG,YAAY,EAAE,CAAC;QAE7B,MAAM,SAAS,GAAG,SAAS,CAAC;QAE5B,gEAAgE;QAChE,sCAAsC;QACtC,OAAO,GAAG,gBAAgB,CAAC,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,SAAS,CAAC,CAAC;QACtF,OAAO,GAAG,gBAAgB,CAAC,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,SAAS,CAAC,CAAC;QAEtF,uDAAuD;QACvD,MAAM,GAAG,GAAG,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QAChD,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,EAAE,cAAc,EAAE,GAAG,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;QACxE,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,EAAE,cAAc,EAAE,GAAG,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;QAExE,MAAM,QAAQ,GAAG,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAChD,MAAM,QAAQ,GAAG,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAEhD,kDAAkD;QAClD,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC,CAAC;QAEhE,iEAAiE;QACjE,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,IAAI,CAAC,GAAG,YAAY,EAAE,CAAC;QACvB,IAAI,CAAC,GAAG,YAAY,EAAE,CAAC;QAEvB,CAAC,GAAG,gBAAgB,CAAC,CAAC,EAAE,MAAM,EAAE,eAAe,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;QAChE,CAAC,GAAG,gBAAgB,CAAC,CAAC,EAAE,MAAM,EAAE,eAAe,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;QAEhE,6BAA6B;QAC7B,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;QAE1C,MAAM,MAAM,GAAG,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAClC,MAAM,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/hlc.d.ts

@@ -0,0 +1,83 @@
+/**
+ * Hybrid Logical Clock (HLC) implementation.
+ *
+ * Based on: "Logical Physical Clocks and Consistent Snapshots in Globally
+ * Distributed Databases" — Kulkarni et al., 2014.
+ * https://cse.buffalo.edu/tech-reports/2014-04.pdf
+ *
+ * An HLC timestamp is a pair (wallTime, logical):
+ *   - wallTime: milliseconds since epoch (wall-clock)
+ *   - logical: monotone counter, incremented when wallTime ties
+ *
+ * This gives us:
+ *   - Total order across all devices
+ *   - Correlation with real time (unlike pure Lamport clocks)
+ *   - O(1) message overhead (unlike vector clocks which are O(N))
+ *   - Resilience to clock skew (logical counter absorbs it)
+ */
+import type { HLC } from './types.js';
+/**
+ * Create a zero-value HLC (the smallest possible timestamp).
+ * Useful as an initial value before any events.
+ */
+export declare function zeroHLC(): HLC;
+/**
+ * Advance the HLC for a local event.
+ *
+ * Algorithm (send/local-event rule from the HLC paper):
+ *   l' = max(l.wallTime, now)
+ *   c' = (l' == l.wallTime) ? l.logical + 1 : 0
+ *
+ * @param local - Current local HLC state.
+ * @param now   - Current wall-clock time (Date.now()).
+ * @returns     A new HLC representing the event timestamp.
+ * @throws      If `now` is more than MAX_CLOCK_SKEW_MS behind local.wallTime.
+ */
+export declare function tickHLC(local: HLC, now: number): HLC;
+/**
+ * Merge two HLC timestamps, producing the new local state after receiving
+ * a remote event (the receive rule from the HLC paper).
+ *
+ * Algorithm:
+ *   l' = max(local.wallTime, remote.wallTime, now)
+ *   c' = if all three tie → local.logical + 1
+ *        else if local wins → local.logical + 1
+ *        else if remote wins → remote.logical + 1
+ *        else → 0
+ *
+ * @param local  - Current local HLC state.
+ * @param remote - HLC from the received remote message.
+ * @param now    - Current wall-clock time (Date.now()).
+ * @returns      Updated local HLC after absorbing the remote event.
+ * @throws       If remote.wallTime is implausibly far in the future (clock skew guard).
+ */
+export declare function mergeHLC(local: HLC, remote: HLC, now: number): HLC;
+/**
+ * Compare two HLC timestamps for total ordering.
+ *
+ * Returns:
+ *  - negative if `a < b`
+ *  - 0        if `a == b`
+ *  - positive if `a > b`
+ *
+ * Wall-clock time takes priority; logical counter breaks ties.
+ */
+export declare function compareHLC(a: HLC, b: HLC): number;
+/**
+ * Returns true if `a` is strictly later than `b`.
+ */
+export declare function isAfter(a: HLC, b: HLC): boolean;
+/**
+ * Serialize an HLC to a plain JSON-compatible object.
+ * Suitable for MessagePack or JSON wire formats.
+ */
+export declare function hlcToJSON(hlc: HLC): {
+    wallTime: number;
+    logical: number;
+};
+/**
+ * Deserialize an HLC from a plain object (e.g., parsed from MessagePack).
+ * @throws If the object is missing required fields or has invalid types.
+ */
+export declare function hlcFromJSON(raw: unknown): HLC;
+//# sourceMappingURL=hlc.d.ts.map

package/dist/hlc.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hlc.d.ts","sourceRoot":"","sources":["../src/hlc.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,YAAY,CAAC;AAKtC;;;GAGG;AACH,wBAAgB,OAAO,IAAI,GAAG,CAE7B;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,OAAO,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,GAAG,GAAG,CAIpD;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,QAAQ,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,GAAG,GAAG,CAsBlE;AAED;;;;;;;;;GASG;AACH,wBAAgB,UAAU,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,GAAG,MAAM,CAKjD;AAED;;GAEG;AACH,wBAAgB,OAAO,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,GAAG,OAAO,CAE/C;AAED;;;GAGG;AACH,wBAAgB,SAAS,CAAC,GAAG,EAAE,GAAG,GAAG;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAEzE;AAED;;;GAGG;AACH,wBAAgB,WAAW,CAAC,GAAG,EAAE,OAAO,GAAG,GAAG,CAa7C"}

package/dist/hlc.js

@@ -0,0 +1,127 @@
+/**
+ * Hybrid Logical Clock (HLC) implementation.
+ *
+ * Based on: "Logical Physical Clocks and Consistent Snapshots in Globally
+ * Distributed Databases" — Kulkarni et al., 2014.
+ * https://cse.buffalo.edu/tech-reports/2014-04.pdf
+ *
+ * An HLC timestamp is a pair (wallTime, logical):
+ *   - wallTime: milliseconds since epoch (wall-clock)
+ *   - logical: monotone counter, incremented when wallTime ties
+ *
+ * This gives us:
+ *   - Total order across all devices
+ *   - Correlation with real time (unlike pure Lamport clocks)
+ *   - O(1) message overhead (unlike vector clocks which are O(N))
+ *   - Resilience to clock skew (logical counter absorbs it)
+ */
+/** Maximum allowed clock skew in milliseconds (prevent runaway logical counters). */
+const MAX_CLOCK_SKEW_MS = 60_000; // 1 minute
+/**
+ * Create a zero-value HLC (the smallest possible timestamp).
+ * Useful as an initial value before any events.
+ */
+export function zeroHLC() {
+    return { wallTime: 0, logical: 0 };
+}
+/**
+ * Advance the HLC for a local event.
+ *
+ * Algorithm (send/local-event rule from the HLC paper):
+ *   l' = max(l.wallTime, now)
+ *   c' = (l' == l.wallTime) ? l.logical + 1 : 0
+ *
+ * @param local - Current local HLC state.
+ * @param now   - Current wall-clock time (Date.now()).
+ * @returns     A new HLC representing the event timestamp.
+ * @throws      If `now` is more than MAX_CLOCK_SKEW_MS behind local.wallTime.
+ */
+export function tickHLC(local, now) {
+    const wallTime = Math.max(local.wallTime, now);
+    const logical = wallTime === local.wallTime ? local.logical + 1 : 0;
+    return { wallTime, logical };
+}
+/**
+ * Merge two HLC timestamps, producing the new local state after receiving
+ * a remote event (the receive rule from the HLC paper).
+ *
+ * Algorithm:
+ *   l' = max(local.wallTime, remote.wallTime, now)
+ *   c' = if all three tie → local.logical + 1
+ *        else if local wins → local.logical + 1
+ *        else if remote wins → remote.logical + 1
+ *        else → 0
+ *
+ * @param local  - Current local HLC state.
+ * @param remote - HLC from the received remote message.
+ * @param now    - Current wall-clock time (Date.now()).
+ * @returns      Updated local HLC after absorbing the remote event.
+ * @throws       If remote.wallTime is implausibly far in the future (clock skew guard).
+ */
+export function mergeHLC(local, remote, now) {
+    if (remote.wallTime - now > MAX_CLOCK_SKEW_MS) {
+        throw new Error(`HLC clock skew too large: remote.wallTime=${remote.wallTime}, now=${now}, ` +
+            `skew=${remote.wallTime - now}ms (max ${MAX_CLOCK_SKEW_MS}ms)`);
+    }
+    const wallTime = Math.max(local.wallTime, remote.wallTime, now);
+    let logical;
+    if (wallTime === local.wallTime && wallTime === remote.wallTime) {
+        logical = Math.max(local.logical, remote.logical) + 1;
+    }
+    else if (wallTime === local.wallTime) {
+        logical = local.logical + 1;
+    }
+    else if (wallTime === remote.wallTime) {
+        logical = remote.logical + 1;
+    }
+    else {
+        logical = 0;
+    }
+    return { wallTime, logical };
+}
+/**
+ * Compare two HLC timestamps for total ordering.
+ *
+ * Returns:
+ *  - negative if `a < b`
+ *  - 0        if `a == b`
+ *  - positive if `a > b`
+ *
+ * Wall-clock time takes priority; logical counter breaks ties.
+ */
+export function compareHLC(a, b) {
+    if (a.wallTime !== b.wallTime) {
+        return a.wallTime - b.wallTime;
+    }
+    return a.logical - b.logical;
+}
+/**
+ * Returns true if `a` is strictly later than `b`.
+ */
+export function isAfter(a, b) {
+    return compareHLC(a, b) > 0;
+}
+/**
+ * Serialize an HLC to a plain JSON-compatible object.
+ * Suitable for MessagePack or JSON wire formats.
+ */
+export function hlcToJSON(hlc) {
+    return { wallTime: hlc.wallTime, logical: hlc.logical };
+}
+/**
+ * Deserialize an HLC from a plain object (e.g., parsed from MessagePack).
+ * @throws If the object is missing required fields or has invalid types.
+ */
+export function hlcFromJSON(raw) {
+    if (typeof raw !== 'object' ||
+        raw === null ||
+        !('wallTime' in raw) ||
+        !('logical' in raw) ||
+        typeof raw['wallTime'] !== 'number' ||
+        typeof raw['logical'] !== 'number') {
+        throw new Error(`Invalid HLC JSON: ${JSON.stringify(raw)}`);
+    }
+    const { wallTime, logical } = raw;
+    return { wallTime, logical };
+}
+//# sourceMappingURL=hlc.js.map

package/dist/hlc.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hlc.js","sourceRoot":"","sources":["../src/hlc.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAIH,qFAAqF;AACrF,MAAM,iBAAiB,GAAG,MAAM,CAAC,CAAC,WAAW;AAE7C;;;GAGG;AACH,MAAM,UAAU,OAAO;IACrB,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;AACrC,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,OAAO,CAAC,KAAU,EAAE,GAAW;IAC7C,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;IAC/C,MAAM,OAAO,GAAG,QAAQ,KAAK,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACpE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;AAC/B,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,QAAQ,CAAC,KAAU,EAAE,MAAW,EAAE,GAAW;IAC3D,IAAI,MAAM,CAAC,QAAQ,GAAG,GAAG,GAAG,iBAAiB,EAAE,CAAC;QAC9C,MAAM,IAAI,KAAK,CACb,6CAA6C,MAAM,CAAC,QAAQ,SAAS,GAAG,IAAI;YAC1E,QAAQ,MAAM,CAAC,QAAQ,GAAG,GAAG,WAAW,iBAAiB,KAAK,CACjE,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;IAEhE,IAAI,OAAe,CAAC;IACpB,IAAI,QAAQ,KAAK,KAAK,CAAC,QAAQ,IAAI,QAAQ,KAAK,MAAM,CAAC,QAAQ,EAAE,CAAC;QAChE,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACxD,CAAC;SAAM,IAAI,QAAQ,KAAK,KAAK,CAAC,QAAQ,EAAE,CAAC;QACvC,OAAO,GAAG,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC;IAC9B,CAAC;SAAM,IAAI,QAAQ,KAAK,MAAM,CAAC,QAAQ,EAAE,CAAC;QACxC,OAAO,GAAG,MAAM,CAAC,OAAO,GAAG,CAAC,CAAC;IAC/B,CAAC;SAAM,CAAC;QACN,OAAO,GAAG,CAAC,CAAC;IACd,CAAC;IAED,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;AAC/B,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,UAAU,CAAC,CAAM,EAAE,CAAM;IACvC,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC9B,OAAO,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC;IACjC,CAAC;IACD,OAAO,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC;AAC/B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,OAAO,CAAC,CAAM,EAAE,CAAM;IACpC,OAAO,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;AAC9B,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,SAAS,CAAC,GAAQ;IAChC,OAAO,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC;AAC1D,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,WAAW,CAAC,GAAY;IACtC,IACE,OAAO,GAAG,KAAK,QAAQ;QACvB,GAAG,KAAK,IAAI;QACZ,CAAC,CAAC,UAAU,IAAI,GAAG,CAAC;QACpB,CAAC,CAAC,SAAS,IAAI,GAAG,CAAC;QACnB,OAAQ,GAA+B,CAAC,UAAU,CAAC,KAAK,QAAQ;QAChE,OAAQ,GAA+B,CAAC,SAAS,CAAC,KAAK,QAAQ,EAC/D,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,qBAAqB,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC9D,CAAC;IACD,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,GAA4C,CAAC;IAC3E,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;AAC/B,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,9 @@
+/**
+ * @shet-anirudh/crdt-sync-core — Public API
+ *
+ * Entry point for the CRDT sync engine core package.
+ */
+export type { DeviceId, FieldValue, FieldEntry, CRDTRecord, HLC } from './types.js';
+export { zeroHLC, tickHLC, mergeHLC, compareHLC, isAfter, hlcToJSON, hlcFromJSON, } from './hlc.js';
+export { mergeFields, mergeRecords, applyLocalChange, deleteField, createRecord, isFieldAlive, liveFields, } from './merge.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,YAAY,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,YAAY,CAAC;AAGpF,OAAO,EACL,OAAO,EACP,OAAO,EACP,QAAQ,EACR,UAAU,EACV,OAAO,EACP,SAAS,EACT,WAAW,GACZ,MAAM,UAAU,CAAC;AAGlB,OAAO,EACL,WAAW,EACX,YAAY,EACZ,gBAAgB,EAChB,WAAW,EACX,YAAY,EACZ,YAAY,EACZ,UAAU,GACX,MAAM,YAAY,CAAC"}

package/dist/index.js

@@ -0,0 +1,10 @@
+/**
+ * @shet-anirudh/crdt-sync-core — Public API
+ *
+ * Entry point for the CRDT sync engine core package.
+ */
+// Hybrid Logical Clock
+export { zeroHLC, tickHLC, mergeHLC, compareHLC, isAfter, hlcToJSON, hlcFromJSON, } from './hlc.js';
+// CRDT Merge & Mutations
+export { mergeFields, mergeRecords, applyLocalChange, deleteField, createRecord, isFieldAlive, liveFields, } from './merge.js';
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAKH,uBAAuB;AACvB,OAAO,EACL,OAAO,EACP,OAAO,EACP,QAAQ,EACR,UAAU,EACV,OAAO,EACP,SAAS,EACT,WAAW,GACZ,MAAM,UAAU,CAAC;AAElB,yBAAyB;AACzB,OAAO,EACL,WAAW,EACX,YAAY,EACZ,gBAAgB,EAChB,WAAW,EACX,YAAY,EACZ,YAAY,EACZ,UAAU,GACX,MAAM,YAAY,CAAC"}

package/dist/merge.d.ts

@@ -0,0 +1,78 @@
+/**
+ * CRDT merge logic — the heart of the sync engine.
+ *
+ * All functions are PURE (no side effects, no async, no I/O).
+ * This makes them trivially testable and composable.
+ *
+ * Merge strategy: Last-Write-Wins Map (LWW-Map)
+ *   - Each field independently stores its last-written value with an HLC timestamp.
+ *   - On merge, the field with the higher HLC timestamp wins.
+ *   - Tie-break: lexicographic comparison of DeviceId (deterministic, no coordination).
+ *
+ * Convergence properties (verified by property-based tests in merge.test.ts):
+ *   - Commutativity:  merge(A, B) ≡ merge(B, A)
+ *   - Associativity:  merge(merge(A,B),C) ≡ merge(A, merge(B,C))
+ *   - Idempotence:    merge(A, A) ≡ A
+ */
+import type { CRDTRecord, DeviceId, FieldEntry, FieldValue } from './types.js';
+/**
+ * Merge two FieldEntry values, returning the winner.
+ *
+ * Resolution order:
+ *   1. Higher HLC timestamp wins.
+ *   2. If HLC timestamps are equal, the lexicographically larger DeviceId wins.
+ *      (Deterministic total order — all devices converge to the same result.)
+ */
+export declare function mergeFields<T extends FieldValue>(local: FieldEntry<T>, remote: FieldEntry<T>): FieldEntry<T>;
+/**
+ * Merge two CRDTRecords field by field.
+ *
+ * Fields that exist only in one record are included as-is (union semantics).
+ * Fields in both records are resolved with mergeFields.
+ *
+ * @returns A new CRDTRecord (does not mutate inputs).
+ */
+export declare function mergeRecords(local: CRDTRecord, remote: CRDTRecord): CRDTRecord;
+/**
+ * Apply a local field write.
+ *
+ * Ticks the HLC for the given field (or creates a new entry if the field
+ * did not previously exist). The HLC of the new entry will be strictly
+ * greater than any existing HLC in the record.
+ *
+ * @param record   - Current CRDTRecord (not mutated).
+ * @param field    - Field name to write.
+ * @param value    - New value.
+ * @param deviceId - The local device's identifier.
+ * @param now      - Current wall-clock time (Date.now()).
+ * @returns A new CRDTRecord with the field updated.
+ */
+export declare function applyLocalChange(record: CRDTRecord, field: string, value: FieldValue, deviceId: DeviceId, now: number): CRDTRecord;
+/**
+ * Tombstone a field (soft-delete).
+ *
+ * The field's entry remains in the record with `deleted: true` and `value: null`,
+ * carrying a new HLC. This prevents a stale write from "resurrecting" the field.
+ *
+ * On merge, the tombstone wins over any older write via normal HLC comparison.
+ *
+ * @param record   - Current CRDTRecord (not mutated).
+ * @param field    - Field name to delete.
+ * @param deviceId - The local device's identifier.
+ * @param now      - Current wall-clock time (Date.now()).
+ * @returns A new CRDTRecord with the field tombstoned.
+ */
+export declare function deleteField(record: CRDTRecord, field: string, deviceId: DeviceId, now: number): CRDTRecord;
+/**
+ * Create an empty CRDTRecord.
+ */
+export declare function createRecord(): CRDTRecord;
+/**
+ * Returns true if a field exists and has not been tombstoned.
+ */
+export declare function isFieldAlive(record: CRDTRecord, field: string): boolean;
+/**
+ * Get all non-deleted field names in the record.
+ */
+export declare function liveFields(record: CRDTRecord): string[];
+//# sourceMappingURL=merge.d.ts.map

package/dist/merge.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"merge.d.ts","sourceRoot":"","sources":["../src/merge.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAM/E;;;;;;;GAOG;AACH,wBAAgB,WAAW,CAAC,CAAC,SAAS,UAAU,EAC9C,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,EACpB,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC,GACpB,UAAU,CAAC,CAAC,CAAC,CAMf;AAMD;;;;;;;GAOG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,UAAU,GAAG,UAAU,CAiB9E;AAMD;;;;;;;;;;;;;GAaG;AACH,wBAAgB,gBAAgB,CAC9B,MAAM,EAAE,UAAU,EAClB,KAAK,EAAE,MAAM,EACb,KAAK,EAAE,UAAU,EACjB,QAAQ,EAAE,QAAQ,EAClB,GAAG,EAAE,MAAM,GACV,UAAU,CAYZ;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,WAAW,CACzB,MAAM,EAAE,UAAU,EAClB,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,QAAQ,EAClB,GAAG,EAAE,MAAM,GACV,UAAU,CAaZ;AAMD;;GAEG;AACH,wBAAgB,YAAY,IAAI,UAAU,CAEzC;AAED;;GAEG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAGvE;AAED;;GAEG;AACH,wBAAgB,UAAU,CAAC,MAAM,EAAE,UAAU,GAAG,MAAM,EAAE,CAEvD"}

package/dist/merge.js

@@ -0,0 +1,144 @@
+/**
+ * CRDT merge logic — the heart of the sync engine.
+ *
+ * All functions are PURE (no side effects, no async, no I/O).
+ * This makes them trivially testable and composable.
+ *
+ * Merge strategy: Last-Write-Wins Map (LWW-Map)
+ *   - Each field independently stores its last-written value with an HLC timestamp.
+ *   - On merge, the field with the higher HLC timestamp wins.
+ *   - Tie-break: lexicographic comparison of DeviceId (deterministic, no coordination).
+ *
+ * Convergence properties (verified by property-based tests in merge.test.ts):
+ *   - Commutativity:  merge(A, B) ≡ merge(B, A)
+ *   - Associativity:  merge(merge(A,B),C) ≡ merge(A, merge(B,C))
+ *   - Idempotence:    merge(A, A) ≡ A
+ */
+import { compareHLC, tickHLC } from './hlc.js';
+// ---------------------------------------------------------------------------
+// Field-level merge
+// ---------------------------------------------------------------------------
+/**
+ * Merge two FieldEntry values, returning the winner.
+ *
+ * Resolution order:
+ *   1. Higher HLC timestamp wins.
+ *   2. If HLC timestamps are equal, the lexicographically larger DeviceId wins.
+ *      (Deterministic total order — all devices converge to the same result.)
+ */
+export function mergeFields(local, remote) {
+    const cmp = compareHLC(local.hlc, remote.hlc);
+    if (cmp > 0)
+        return local;
+    if (cmp < 0)
+        return remote;
+    // Tie on HLC — break by DeviceId (lexicographic, deterministic)
+    return local.origin >= remote.origin ? local : remote;
+}
+// ---------------------------------------------------------------------------
+// Record-level merge
+// ---------------------------------------------------------------------------
+/**
+ * Merge two CRDTRecords field by field.
+ *
+ * Fields that exist only in one record are included as-is (union semantics).
+ * Fields in both records are resolved with mergeFields.
+ *
+ * @returns A new CRDTRecord (does not mutate inputs).
+ */
+export function mergeRecords(local, remote) {
+    // Use a null-prototype object so prototype property names (e.g. "toString",
+    // "hasOwnProperty") are never shadowed by Object.prototype methods.
+    const result = Object.assign(Object.create(null), local);
+    for (const [field, remoteEntry] of Object.entries(remote)) {
+        const localEntry = Object.prototype.hasOwnProperty.call(result, field)
+            ? result[field]
+            : undefined;
+        if (localEntry === undefined) {
+            result[field] = remoteEntry;
+        }
+        else {
+            result[field] = mergeFields(localEntry, remoteEntry);
+        }
+    }
+    return result;
+}
+// ---------------------------------------------------------------------------
+// Local mutations
+// ---------------------------------------------------------------------------
+/**
+ * Apply a local field write.
+ *
+ * Ticks the HLC for the given field (or creates a new entry if the field
+ * did not previously exist). The HLC of the new entry will be strictly
+ * greater than any existing HLC in the record.
+ *
+ * @param record   - Current CRDTRecord (not mutated).
+ * @param field    - Field name to write.
+ * @param value    - New value.
+ * @param deviceId - The local device's identifier.
+ * @param now      - Current wall-clock time (Date.now()).
+ * @returns A new CRDTRecord with the field updated.
+ */
+export function applyLocalChange(record, field, value, deviceId, now) {
+    const existingHLC = record[field]?.hlc ?? { wallTime: 0, logical: 0 };
+    const newHLC = tickHLC(existingHLC, now);
+    return {
+        ...record,
+        [field]: {
+            value,
+            hlc: newHLC,
+            origin: deviceId,
+        },
+    };
+}
+/**
+ * Tombstone a field (soft-delete).
+ *
+ * The field's entry remains in the record with `deleted: true` and `value: null`,
+ * carrying a new HLC. This prevents a stale write from "resurrecting" the field.
+ *
+ * On merge, the tombstone wins over any older write via normal HLC comparison.
+ *
+ * @param record   - Current CRDTRecord (not mutated).
+ * @param field    - Field name to delete.
+ * @param deviceId - The local device's identifier.
+ * @param now      - Current wall-clock time (Date.now()).
+ * @returns A new CRDTRecord with the field tombstoned.
+ */
+export function deleteField(record, field, deviceId, now) {
+    const existingHLC = record[field]?.hlc ?? { wallTime: 0, logical: 0 };
+    const newHLC = tickHLC(existingHLC, now);
+    return {
+        ...record,
+        [field]: {
+            value: null,
+            hlc: newHLC,
+            origin: deviceId,
+            deleted: true,
+        },
+    };
+}
+// ---------------------------------------------------------------------------
+// Utility
+// ---------------------------------------------------------------------------
+/**
+ * Create an empty CRDTRecord.
+ */
+export function createRecord() {
+    return Object.create(null);
+}
+/**
+ * Returns true if a field exists and has not been tombstoned.
+ */
+export function isFieldAlive(record, field) {
+    const entry = record[field];
+    return entry !== undefined && entry.deleted !== true;
+}
+/**
+ * Get all non-deleted field names in the record.
+ */
+export function liveFields(record) {
+    return Object.keys(record).filter((f) => isFieldAlive(record, f));
+}
+//# sourceMappingURL=merge.js.map

package/dist/merge.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"merge.js","sourceRoot":"","sources":["../src/merge.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC;AAG/C,8EAA8E;AAC9E,oBAAoB;AACpB,8EAA8E;AAE9E;;;;;;;GAOG;AACH,MAAM,UAAU,WAAW,CACzB,KAAoB,EACpB,MAAqB;IAErB,MAAM,GAAG,GAAG,UAAU,CAAC,KAAK,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;IAC9C,IAAI,GAAG,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IAC1B,IAAI,GAAG,GAAG,CAAC;QAAE,OAAO,MAAM,CAAC;IAC3B,gEAAgE;IAChE,OAAO,KAAK,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;AACxD,CAAC;AAED,8EAA8E;AAC9E,qBAAqB;AACrB,8EAA8E;AAE9E;;;;;;;GAOG;AACH,MAAM,UAAU,YAAY,CAAC,KAAiB,EAAE,MAAkB;IAChE,4EAA4E;IAC5E,oEAAoE;IACpE,MAAM,MAAM,GAAe,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAe,EAAE,KAAK,CAAC,CAAC;IAEnF,KAAK,MAAM,CAAC,KAAK,EAAE,WAAW,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1D,MAAM,UAAU,GAAG,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC;YACpE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;YACf,CAAC,CAAC,SAAS,CAAC;QACd,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,MAAM,CAAC,KAAK,CAAC,GAAG,WAAW,CAAC;QAC9B,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,KAAK,CAAC,GAAG,WAAW,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,8EAA8E;AAC9E,kBAAkB;AAClB,8EAA8E;AAE9E;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,gBAAgB,CAC9B,MAAkB,EAClB,KAAa,EACb,KAAiB,EACjB,QAAkB,EAClB,GAAW;IAEX,MAAM,WAAW,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;IACtE,MAAM,MAAM,GAAG,OAAO,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;IAEzC,OAAO;QACL,GAAG,MAAM;QACT,CAAC,KAAK,CAAC,EAAE;YACP,KAAK;YACL,GAAG,EAAE,MAAM;YACX,MAAM,EAAE,QAAQ;SACjB;KACF,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,WAAW,CACzB,MAAkB,EAClB,KAAa,EACb,QAAkB,EAClB,GAAW;IAEX,MAAM,WAAW,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;IACtE,MAAM,MAAM,GAAG,OAAO,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;IAEzC,OAAO;QACL,GAAG,MAAM;QACT,CAAC,KAAK,CAAC,EAAE;YACP,KAAK,EAAE,IAAI;YACX,GAAG,EAAE,MAAM;YACX,MAAM,EAAE,QAAQ;YAChB,OAAO,EAAE,IAAI;SACd;KACF,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,UAAU;AACV,8EAA8E;AAE9E;;GAEG;AACH,MAAM,UAAU,YAAY;IAC1B,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,CAAe,CAAC;AAC3C,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,YAAY,CAAC,MAAkB,EAAE,KAAa;IAC5D,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAC5B,OAAO,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,KAAK,IAAI,CAAC;AACvD,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,UAAU,CAAC,MAAkB;IAC3C,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;AACpE,CAAC"}

package/dist/types.d.ts

@@ -0,0 +1,46 @@
+/**
+ * Core domain types for the CRDT sync engine.
+ *
+ * All types are plain data structures (no classes) to ensure serializability.
+ */
+/** Unique identifier for a device/replica. */
+export type DeviceId = string;
+/**
+ * A Hybrid Logical Clock timestamp.
+ * Combines wall-clock time (ms since epoch) with a logical counter
+ * to produce monotonic, totally-ordered timestamps across distributed devices.
+ *
+ * @see hlc.ts for the implementation.
+ */
+export interface HLC {
+    /** Wall-clock time in milliseconds (Date.now()). */
+    readonly wallTime: number;
+    /** Logical counter — incremented when wallTime ties. */
+    readonly logical: number;
+}
+/** Primitive field value types supported by the CRDT. */
+export type FieldValue = string | number | boolean | null;
+/**
+ * A single field entry in a CRDTRecord.
+ * Carries the value, the HLC timestamp of the last write, and the writer's DeviceId.
+ *
+ * When `deleted` is true, the field is tombstoned — a subsequent write with a
+ * lower HLC will NOT resurrect the deleted value.
+ */
+export interface FieldEntry<T extends FieldValue = FieldValue> {
+    /** The current field value, or null if the field is tombstoned. */
+    readonly value: T | null;
+    /** HLC timestamp of the last write to this field. */
+    readonly hlc: HLC;
+    /** The device that performed the last write. */
+    readonly origin: DeviceId;
+    /** Tombstone marker — present and true if this field was deleted. */
+    readonly deleted?: true;
+}
+/**
+ * A CRDT-managed record: a flat map of field names to FieldEntry values.
+ *
+ * Fields can hold any FieldValue. Field keys are arbitrary strings.
+ */
+export type CRDTRecord = Record<string, FieldEntry>;
+//# sourceMappingURL=types.d.ts.map

package/dist/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,8CAA8C;AAC9C,MAAM,MAAM,QAAQ,GAAG,MAAM,CAAC;AAE9B;;;;;;GAMG;AACH,MAAM,WAAW,GAAG;IAClB,oDAAoD;IACpD,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,wDAAwD;IACxD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,yDAAyD;AACzD,MAAM,MAAM,UAAU,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,CAAC;AAE1D;;;;;;GAMG;AACH,MAAM,WAAW,UAAU,CAAC,CAAC,SAAS,UAAU,GAAG,UAAU;IAC3D,mEAAmE;IACnE,QAAQ,CAAC,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC;IACzB,qDAAqD;IACrD,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC;IAClB,gDAAgD;IAChD,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC;IAC1B,qEAAqE;IACrE,QAAQ,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;CACzB;AAED;;;;GAIG;AACH,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC"}

package/dist/types.js

@@ -0,0 +1,7 @@
+/**
+ * Core domain types for the CRDT sync engine.
+ *
+ * All types are plain data structures (no classes) to ensure serializability.
+ */
+export {};
+//# sourceMappingURL=types.js.map

package/dist/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;;GAIG"}

package/package.json

@@ -0,0 +1,54 @@
+{
+  "name": "@shet-anirudh/crdt-sync-core",
+  "version": "0.1.0",
+  "description": "Pure CRDT engine with LWW-Map and Hybrid Logical Clocks. Zero I/O, framework-agnostic.",
+  "keywords": [
+    "crdt",
+    "offline-first",
+    "sync",
+    "hlc",
+    "conflict-resolution",
+    "lww-map"
+  ],
+  "license": "MIT",
+  "author": "Anirudh Shet",
+  "homepage": "https://github.com/shet-anirudh/crdt-sync-engine#readme",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/shet-anirudh/crdt-sync-engine.git",
+    "directory": "packages/core"
+  },
+  "bugs": {
+    "url": "https://github.com/shet-anirudh/crdt-sync-engine/issues"
+  },
+  "publishConfig": {
+    "access": "public"
+  },
+  "type": "module",
+  "exports": {
+    ".": {
+      "import": "./dist/index.js",
+      "types": "./dist/index.d.ts"
+    }
+  },
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "files": [
+    "dist"
+  ],
+  "devDependencies": {
+    "@vitest/coverage-v8": "^2.0.5",
+    "fast-check": "^3.22.0",
+    "rimraf": "^6.0.1",
+    "vitest": "^2.0.5"
+  },
+  "scripts": {
+    "build": "tsc --project tsconfig.json",
+    "build:watch": "tsc --project tsconfig.json --watch",
+    "test": "vitest run",
+    "test:watch": "vitest",
+    "test:coverage": "vitest run --coverage",
+    "lint": "eslint src --ext .ts",
+    "clean": "rimraf dist"
+  }
+}