cojson 0.19.2 → 0.19.4

package/dist/tests/sync.multipleServers.test.js

@@ -0,0 +1,399 @@
+import { beforeEach, describe, expect, test } from "vitest";
+import { WasmCrypto } from "../crypto/WasmCrypto";
+import { SyncMessagesLog, TEST_NODE_CONFIG, fillCoMapWithLargeData, loadCoValueOrFail, setupTestNode, waitFor, } from "./testUtils";
+// We want to simulate a real world communication that happens asynchronously
+TEST_NODE_CONFIG.withAsyncPeers = true;
+const Crypto = await WasmCrypto.create();
+let server1;
+let server2;
+beforeEach(async () => {
+    SyncMessagesLog.clear();
+    server1 = setupTestNode();
+    server2 = setupTestNode();
+});
+function connectServers(client) {
+    client.connectToSyncServer({
+        ourName: "client",
+        syncServerName: "server1",
+        syncServer: server1.node,
+    });
+    client.connectToSyncServer({
+        ourName: "client",
+        syncServerName: "server2",
+        syncServer: server2.node,
+    });
+}
+describe("multiple servers peers", () => {
+    test("coValue uploading", async () => {
+        const client = setupTestNode();
+        connectServers(client);
+        const group = client.node.createGroup();
+        const map = group.createMap();
+        map.set("hello", "world", "trusting");
+        await map.core.waitForSync();
+        expect(SyncMessagesLog.getMessages({
+            Group: group.core,
+            Map: map.core,
+        })).toMatchInlineSnapshot(`
+      [
+        "client -> server1 | CONTENT Group header: true new: After: 0 New: 3",
+        "client -> server2 | CONTENT Group header: true new: After: 0 New: 3",
+        "client -> server1 | CONTENT Map header: true new: After: 0 New: 1",
+        "client -> server2 | CONTENT Map header: true new: After: 0 New: 1",
+        "server1 -> client | KNOWN Group sessions: header/3",
+        "server2 -> client | KNOWN Group sessions: header/3",
+        "server1 -> client | KNOWN Map sessions: header/1",
+        "server2 -> client | KNOWN Map sessions: header/1",
+      ]
+    `);
+        const mapOnServer1 = server1.node.getCoValue(map.id);
+        const mapOnServer2 = server2.node.getCoValue(map.id);
+        expect(mapOnServer1.knownState()).toEqual(map.core.knownState());
+        expect(mapOnServer2.knownState()).toEqual(map.core.knownState());
+    });
+    test("coValue sync across clients", async () => {
+        const client = setupTestNode();
+        connectServers(client);
+        const group = client.node.createGroup();
+        const map = group.createMap();
+        map.set("count", 1, "trusting");
+        const session2 = client.spawnNewSession();
+        connectServers(session2);
+        const mapOnSession2 = await loadCoValueOrFail(session2.node, map.id);
+        mapOnSession2.set("count", 2, "trusting");
+        map.set("count", 3, "trusting");
+        await new Promise((resolve) => setTimeout(resolve, 10));
+        mapOnSession2.set("count", 4, "trusting");
+        await waitFor(() => {
+            expect(map.get("count")).toEqual(4);
+            expect(mapOnSession2.get("count")).toEqual(4);
+        });
+        expect(SyncMessagesLog.getMessages({
+            Group: group.core,
+            Map: map.core,
+        })).toMatchInlineSnapshot(`
+      [
+        "client -> server1 | LOAD Map sessions: empty",
+        "client -> server2 | LOAD Map sessions: empty",
+        "client -> server1 | CONTENT Group header: true new: After: 0 New: 3",
+        "client -> server2 | CONTENT Group header: true new: After: 0 New: 3",
+        "client -> server1 | CONTENT Map header: true new: After: 0 New: 1",
+        "client -> server2 | CONTENT Map header: true new: After: 0 New: 1",
+        "server1 -> client | KNOWN Map sessions: empty",
+        "server2 -> client | KNOWN Map sessions: empty",
+        "server1 -> client | KNOWN Group sessions: header/3",
+        "server2 -> client | KNOWN Group sessions: header/3",
+        "server1 -> client | KNOWN Map sessions: header/1",
+        "server1 -> client | CONTENT Group header: true new: After: 0 New: 3",
+        "server1 -> client | CONTENT Map header: true new: After: 0 New: 1",
+        "server2 -> client | KNOWN Map sessions: header/1",
+        "server2 -> client | CONTENT Group header: true new: After: 0 New: 3",
+        "server2 -> client | CONTENT Map header: true new: After: 0 New: 1",
+        "client -> server1 | KNOWN Group sessions: header/3",
+        "client -> server2 | LOAD Group sessions: header/3",
+        "client -> server1 | KNOWN Map sessions: header/1",
+        "client -> server2 | CONTENT Map header: true new: After: 0 New: 1",
+        "client -> server1 | CONTENT Map header: false new: After: 0 New: 1",
+        "client -> server2 | CONTENT Map header: false new: After: 0 New: 1",
+        "client -> server1 | CONTENT Map header: false new: After: 1 New: 1",
+        "client -> server2 | CONTENT Map header: false new: After: 1 New: 1",
+        "client -> server2 | KNOWN Group sessions: header/3",
+        "client -> server2 | CONTENT Group header: false new: After: 0 New: 3",
+        "client -> server2 | KNOWN Map sessions: header/2",
+        "server2 -> client | KNOWN Map sessions: header/1",
+        "server1 -> client | KNOWN Map sessions: header/2",
+        "server1 -> client | CONTENT Map header: false new: After: 0 New: 1",
+        "server2 -> client | KNOWN Map sessions: header/2",
+        "server2 -> client | CONTENT Map header: false new: After: 0 New: 1",
+        "server1 -> client | KNOWN Map sessions: header/3",
+        "server1 -> client | CONTENT Map header: false new: After: 1 New: 1",
+        "server2 -> client | KNOWN Map sessions: header/3",
+        "server2 -> client | CONTENT Map header: false new: After: 1 New: 1",
+        "server2 -> client | KNOWN Group sessions: header/3",
+        "client -> server1 | KNOWN Map sessions: header/3",
+        "client -> server2 | CONTENT Map header: false new: After: 0 New: 1",
+        "client -> server2 | KNOWN Map sessions: header/3",
+        "client -> server1 | KNOWN Map sessions: header/3",
+        "client -> server2 | CONTENT Map header: false new: After: 1 New: 1",
+        "client -> server2 | KNOWN Map sessions: header/3",
+        "server2 -> client | KNOWN Map sessions: header/3",
+        "server2 -> client | KNOWN Map sessions: header/3",
+        "client -> server1 | CONTENT Map header: false new: After: 1 New: 1",
+        "client -> server2 | CONTENT Map header: false new: After: 1 New: 1",
+        "server1 -> client | KNOWN Map sessions: header/4",
+        "server1 -> client | CONTENT Map header: false new: After: 1 New: 1",
+        "server2 -> client | KNOWN Map sessions: header/4",
+        "server2 -> client | CONTENT Map header: false new: After: 1 New: 1",
+        "client -> server1 | KNOWN Map sessions: header/4",
+        "client -> server2 | CONTENT Map header: false new: After: 1 New: 1",
+        "client -> server2 | KNOWN Map sessions: header/4",
+        "server2 -> client | KNOWN Map sessions: header/4",
+      ]
+    `);
+        const mapOnServer1 = server1.node.getCoValue(map.id);
+        const mapOnServer2 = server2.node.getCoValue(map.id);
+        expect(mapOnServer1.knownState()).toEqual(map.core.knownState());
+        expect(mapOnServer2.knownState()).toEqual(map.core.knownState());
+    });
+    test("coValue with parent groups uploading", async () => {
+        const client = setupTestNode();
+        connectServers(client);
+        const group = client.node.createGroup();
+        const parentGroup = client.node.createGroup();
+        parentGroup.addMember("everyone", "reader");
+        group.extend(parentGroup);
+        const map = group.createMap();
+        map.set("hello", "world", "trusting");
+        await map.core.waitForSync();
+        expect(SyncMessagesLog.getMessages({
+            ParentGroup: parentGroup.core,
+            Group: group.core,
+            Map: map.core,
+        })).toMatchInlineSnapshot(`
+      [
+        "client -> server1 | CONTENT Group header: true new: After: 0 New: 3",
+        "client -> server2 | CONTENT Group header: true new: After: 0 New: 3",
+        "client -> server1 | CONTENT ParentGroup header: true new: After: 0 New: 5",
+        "client -> server2 | CONTENT ParentGroup header: true new: After: 0 New: 5",
+        "client -> server1 | CONTENT Group header: false new: After: 3 New: 2",
+        "client -> server2 | CONTENT Group header: false new: After: 3 New: 2",
+        "client -> server1 | CONTENT Map header: true new: After: 0 New: 1",
+        "client -> server2 | CONTENT Map header: true new: After: 0 New: 1",
+        "server1 -> client | KNOWN Group sessions: header/3",
+        "server2 -> client | KNOWN Group sessions: header/3",
+        "server1 -> client | KNOWN ParentGroup sessions: header/5",
+        "server2 -> client | KNOWN ParentGroup sessions: header/5",
+        "server1 -> client | KNOWN Group sessions: header/5",
+        "server2 -> client | KNOWN Group sessions: header/5",
+        "server1 -> client | KNOWN Map sessions: header/1",
+        "server2 -> client | KNOWN Map sessions: header/1",
+      ]
+    `);
+        const mapOnServer1 = server1.node.getCoValue(map.id);
+        const mapOnServer2 = server2.node.getCoValue(map.id);
+        expect(mapOnServer1.knownState()).toEqual(map.core.knownState());
+        expect(mapOnServer2.knownState()).toEqual(map.core.knownState());
+    });
+    test("wrong optimistic known state should be corrected", async () => {
+        const client = setupTestNode();
+        connectServers(client);
+        const group = client.node.createGroup();
+        group.addMember("everyone", "writer");
+        const map = group.createMap({
+            fromServer: "initial",
+            fromClient: "initial",
+        });
+        // Load the coValue on the client
+        await map.core.waitForSync();
+        // Forcefully delete the coValue from server1 (simulating some data loss)
+        server1.node.internalDeleteCoValue(map.id);
+        map.set("fromClient", "updated", "trusting");
+        await waitFor(() => {
+            const mapOnServer1 = server1.node.getCoValue(map.id);
+            const mapOnServer2 = server2.node.getCoValue(map.id);
+            expect(mapOnServer1.knownState()).toEqual(map.core.knownState());
+            expect(mapOnServer2.knownState()).toEqual(map.core.knownState());
+        });
+        expect(SyncMessagesLog.getMessages({
+            Group: group.core,
+            Map: map.core,
+        })).toMatchInlineSnapshot(`
+      [
+        "client -> server1 | CONTENT Group header: true new: After: 0 New: 5",
+        "client -> server2 | CONTENT Group header: true new: After: 0 New: 5",
+        "client -> server1 | CONTENT Map header: true new: After: 0 New: 1",
+        "client -> server2 | CONTENT Map header: true new: After: 0 New: 1",
+        "server1 -> client | KNOWN Group sessions: header/5",
+        "server2 -> client | KNOWN Group sessions: header/5",
+        "server1 -> client | KNOWN Map sessions: header/1",
+        "server2 -> client | KNOWN Map sessions: header/1",
+        "client -> server1 | CONTENT Map header: false new: After: 1 New: 1",
+        "client -> server2 | CONTENT Map header: false new: After: 1 New: 1",
+        "server1 -> client | KNOWN CORRECTION Map sessions: empty",
+        "server2 -> client | KNOWN Map sessions: header/2",
+        "client -> server1 | CONTENT Map header: true new: After: 0 New: 2",
+        "server1 -> client | KNOWN Map sessions: header/2",
+      ]
+    `);
+    });
+    test("local updates batching", async () => {
+        const client = setupTestNode();
+        connectServers(client);
+        const group = client.node.createGroup();
+        const initialMap = group.createMap();
+        const child = group.createMap();
+        child.set("parent", initialMap.id);
+        initialMap.set("child", child.id);
+        await initialMap.core.waitForSync();
+        expect(SyncMessagesLog.getMessages({
+            Group: group.core,
+            InitialMap: initialMap.core,
+            ChildMap: child.core,
+        })).toMatchInlineSnapshot(`
+      [
+        "client -> server1 | CONTENT Group header: true new: After: 0 New: 3",
+        "client -> server2 | CONTENT Group header: true new: After: 0 New: 3",
+        "client -> server1 | CONTENT InitialMap header: true new: ",
+        "client -> server2 | CONTENT InitialMap header: true new: ",
+        "client -> server1 | CONTENT ChildMap header: true new: After: 0 New: 1",
+        "client -> server2 | CONTENT ChildMap header: true new: After: 0 New: 1",
+        "client -> server1 | CONTENT InitialMap header: false new: After: 0 New: 1",
+        "client -> server2 | CONTENT InitialMap header: false new: After: 0 New: 1",
+        "server1 -> client | KNOWN Group sessions: header/3",
+        "server2 -> client | KNOWN Group sessions: header/3",
+        "server1 -> client | KNOWN InitialMap sessions: header/0",
+        "server2 -> client | KNOWN InitialMap sessions: header/0",
+        "server1 -> client | KNOWN ChildMap sessions: header/1",
+        "server2 -> client | KNOWN ChildMap sessions: header/1",
+        "server1 -> client | KNOWN InitialMap sessions: header/1",
+        "server2 -> client | KNOWN InitialMap sessions: header/1",
+      ]
+    `);
+    });
+    test("large coValue upload streaming", async () => {
+        const client = setupTestNode();
+        connectServers(client);
+        const group = client.node.createGroup();
+        group.addMember("everyone", "writer");
+        const largeMap = group.createMap();
+        fillCoMapWithLargeData(largeMap);
+        await largeMap.core.waitForSync();
+        expect(SyncMessagesLog.getMessages({
+            Group: group.core,
+            Map: largeMap.core,
+        })).toMatchInlineSnapshot(`
+      [
+        "client -> server1 | CONTENT Group header: true new: After: 0 New: 5",
+        "client -> server2 | CONTENT Group header: true new: After: 0 New: 5",
+        "client -> server1 | CONTENT Map header: true new: After: 0 New: 73 expectContentUntil: header/200",
+        "client -> server2 | CONTENT Map header: true new: After: 0 New: 73 expectContentUntil: header/200",
+        "client -> server1 | CONTENT Map header: false new: After: 73 New: 73",
+        "client -> server2 | CONTENT Map header: false new: After: 73 New: 73",
+        "client -> server1 | CONTENT Map header: false new: After: 146 New: 54",
+        "client -> server2 | CONTENT Map header: false new: After: 146 New: 54",
+        "server1 -> client | KNOWN Group sessions: header/5",
+        "server2 -> client | KNOWN Group sessions: header/5",
+        "server1 -> client | KNOWN Map sessions: header/73",
+        "server2 -> client | KNOWN Map sessions: header/73",
+        "server1 -> client | KNOWN Map sessions: header/146",
+        "server2 -> client | KNOWN Map sessions: header/146",
+        "server1 -> client | KNOWN Map sessions: header/200",
+        "server2 -> client | KNOWN Map sessions: header/200",
+      ]
+    `);
+    });
+    test("uploading a large update", async () => {
+        const client = setupTestNode();
+        connectServers(client);
+        const group = client.node.createGroup();
+        group.addMember("everyone", "writer");
+        const largeMap = group.createMap();
+        await largeMap.core.waitForSync();
+        fillCoMapWithLargeData(largeMap);
+        await largeMap.core.waitForSync();
+        expect(SyncMessagesLog.getMessages({
+            Group: group.core,
+            Map: largeMap.core,
+        })).toMatchInlineSnapshot(`
+      [
+        "client -> server1 | CONTENT Group header: true new: After: 0 New: 5",
+        "client -> server2 | CONTENT Group header: true new: After: 0 New: 5",
+        "client -> server1 | CONTENT Map header: true new: ",
+        "client -> server2 | CONTENT Map header: true new: ",
+        "client -> server1 | CONTENT Map header: false new: After: 0 New: 73 expectContentUntil: header/200",
+        "client -> server2 | CONTENT Map header: false new: After: 0 New: 73 expectContentUntil: header/200",
+        "client -> server1 | CONTENT Map header: false new: After: 73 New: 73",
+        "client -> server2 | CONTENT Map header: false new: After: 73 New: 73",
+        "client -> server1 | CONTENT Map header: false new: After: 146 New: 54",
+        "client -> server2 | CONTENT Map header: false new: After: 146 New: 54",
+        "server1 -> client | KNOWN Group sessions: header/5",
+        "server2 -> client | KNOWN Group sessions: header/5",
+        "server1 -> client | KNOWN Map sessions: header/0",
+        "server2 -> client | KNOWN Map sessions: header/0",
+        "server1 -> client | KNOWN Map sessions: header/73",
+        "server2 -> client | KNOWN Map sessions: header/73",
+        "server1 -> client | KNOWN Map sessions: header/146",
+        "server2 -> client | KNOWN Map sessions: header/146",
+        "server1 -> client | KNOWN Map sessions: header/200",
+        "server2 -> client | KNOWN Map sessions: header/200",
+      ]
+    `);
+    });
+    test("uploading a large update between two clients", async () => {
+        const client = setupTestNode();
+        connectServers(client);
+        const client2 = setupTestNode();
+        connectServers(client2);
+        const group = client.node.createGroup();
+        group.addMember("everyone", "writer");
+        const largeMap = group.createMap();
+        const largeMapOnClient2 = await loadCoValueOrFail(client2.node, largeMap.id);
+        fillCoMapWithLargeData(largeMap);
+        await waitFor(() => {
+            expect(largeMapOnClient2.core.knownState()).toEqual(largeMap.core.knownState());
+        });
+        expect(SyncMessagesLog.getMessages({
+            Group: group.core,
+            Map: largeMap.core,
+        })).toMatchInlineSnapshot(`
+      [
+        "client -> server1 | LOAD Map sessions: empty",
+        "client -> server2 | LOAD Map sessions: empty",
+        "client -> server1 | CONTENT Group header: true new: After: 0 New: 5",
+        "client -> server2 | CONTENT Group header: true new: After: 0 New: 5",
+        "client -> server1 | CONTENT Map header: true new: ",
+        "client -> server2 | CONTENT Map header: true new: ",
+        "server1 -> client | KNOWN Map sessions: empty",
+        "server2 -> client | KNOWN Map sessions: empty",
+        "server1 -> client | KNOWN Group sessions: header/5",
+        "server2 -> client | KNOWN Group sessions: header/5",
+        "server1 -> client | KNOWN Map sessions: header/0",
+        "server1 -> client | CONTENT Group header: true new: After: 0 New: 5",
+        "server1 -> client | CONTENT Map header: true new: ",
+        "server2 -> client | KNOWN Map sessions: header/0",
+        "server2 -> client | CONTENT Group header: true new: After: 0 New: 5",
+        "server2 -> client | CONTENT Map header: true new: ",
+        "client -> server1 | KNOWN Group sessions: header/5",
+        "client -> server2 | LOAD Group sessions: header/5",
+        "client -> server1 | KNOWN Map sessions: header/0",
+        "client -> server2 | CONTENT Map header: true new: ",
+        "client -> server1 | CONTENT Map header: false new: After: 0 New: 73 expectContentUntil: header/200",
+        "client -> server2 | CONTENT Map header: false new: After: 0 New: 73 expectContentUntil: header/200",
+        "client -> server1 | CONTENT Map header: false new: After: 73 New: 73",
+        "client -> server2 | CONTENT Map header: false new: After: 73 New: 73",
+        "client -> server1 | CONTENT Map header: false new: After: 146 New: 54",
+        "client -> server2 | CONTENT Map header: false new: After: 146 New: 54",
+        "client -> server2 | KNOWN Group sessions: header/5",
+        "client -> server2 | CONTENT Group header: false new: After: 0 New: 5",
+        "client -> server2 | KNOWN Map sessions: header/0",
+        "server2 -> client | KNOWN Map sessions: header/0",
+        "server1 -> client | KNOWN Map sessions: header/73",
+        "server1 -> client | CONTENT Map header: false new: After: 0 New: 73",
+        "server2 -> client | KNOWN Map sessions: header/73",
+        "server2 -> client | CONTENT Map header: false new: After: 0 New: 73",
+        "server1 -> client | KNOWN Map sessions: header/146",
+        "server1 -> client | CONTENT Map header: false new: After: 73 New: 73",
+        "server2 -> client | KNOWN Map sessions: header/146",
+        "server2 -> client | CONTENT Map header: false new: After: 73 New: 73",
+        "server1 -> client | KNOWN Map sessions: header/200",
+        "server1 -> client | CONTENT Map header: false new: After: 146 New: 54",
+        "server2 -> client | KNOWN Map sessions: header/200",
+        "server2 -> client | CONTENT Map header: false new: After: 146 New: 54",
+        "server2 -> client | KNOWN Group sessions: header/5",
+        "client -> server1 | KNOWN Map sessions: header/73",
+        "client -> server2 | CONTENT Map header: false new: After: 0 New: 73",
+        "client -> server2 | KNOWN Map sessions: header/73",
+        "client -> server1 | KNOWN Map sessions: header/146",
+        "client -> server2 | CONTENT Map header: false new: After: 73 New: 73",
+        "client -> server2 | KNOWN Map sessions: header/146",
+        "client -> server1 | KNOWN Map sessions: header/200",
+        "client -> server2 | CONTENT Map header: false new: After: 146 New: 54",
+        "client -> server2 | KNOWN Map sessions: header/200",
+        "server2 -> client | KNOWN Map sessions: header/200",
+        "server2 -> client | KNOWN Map sessions: header/200",
+        "server2 -> client | KNOWN Map sessions: header/200",
+      ]
+    `);
+    });
+});
+//# sourceMappingURL=sync.multipleServers.test.js.map

package/dist/tests/sync.multipleServers.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sync.multipleServers.test.js","sourceRoot":"","sources":["../../src/tests/sync.multipleServers.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAU,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAGpE,OAAO,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAClD,OAAO,EACL,eAAe,EACf,gBAAgB,EAChB,sBAAsB,EACtB,iBAAiB,EACjB,aAAa,EACb,OAAO,GACR,MAAM,aAAa,CAAC;AAGrB,6EAA6E;AAC7E,gBAAgB,CAAC,cAAc,GAAG,IAAI,CAAC;AAEvC,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,MAAM,EAAE,CAAC;AACzC,IAAI,OAAyC,CAAC;AAC9C,IAAI,OAAyC,CAAC;AAE9C,UAAU,CAAC,KAAK,IAAI,EAAE;IACpB,eAAe,CAAC,KAAK,EAAE,CAAC;IACxB,OAAO,GAAG,aAAa,EAAE,CAAC;IAC1B,OAAO,GAAG,aAAa,EAAE,CAAC;AAC5B,CAAC,CAAC,CAAC;AAEH,SAAS,cAAc,CAAC,MAAwC;IAC9D,MAAM,CAAC,mBAAmB,CAAC;QACzB,OAAO,EAAE,QAAQ;QACjB,cAAc,EAAE,SAAS;QACzB,UAAU,EAAE,OAAO,CAAC,IAAI;KACzB,CAAC,CAAC;IACH,MAAM,CAAC,mBAAmB,CAAC;QACzB,OAAO,EAAE,QAAQ;QACjB,cAAc,EAAE,SAAS;QACzB,UAAU,EAAE,OAAO,CAAC,IAAI;KACzB,CAAC,CAAC;AACL,CAAC;AAED,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,IAAI,CAAC,mBAAmB,EAAE,KAAK,IAAI,EAAE;QACnC,MAAM,MAAM,GAAG,aAAa,EAAE,CAAC;QAC/B,cAAc,CAAC,MAAM,CAAC,CAAC;QAEvB,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;QACxC,MAAM,GAAG,GAAG,KAAK,CAAC,SAAS,EAAE,CAAC;QAC9B,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;QAEtC,MAAM,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;QAE7B,MAAM,CACJ,eAAe,CAAC,WAAW,CAAC;YAC1B,KAAK,EAAE,KAAK,CAAC,IAAI;YACjB,GAAG,EAAE,GAAG,CAAC,IAAI;SACd,CAAC,CACH,CAAC,qBAAqB,CAAC;;;;;;;;;;;KAWvB,CAAC,CAAC;QAEH,MAAM,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACrD,MAAM,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAErD,MAAM,CAAC,YAAY,CAAC,UAAU,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;QACjE,MAAM,CAAC,YAAY,CAAC,UAAU,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,6BAA6B,EAAE,KAAK,IAAI,EAAE;QAC7C,MAAM,MAAM,GAAG,aAAa,EAAE,CAAC;QAC/B,cAAc,CAAC,MAAM,CAAC,CAAC;QAEvB,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;QACxC,MAAM,GAAG,GAAG,KAAK,CAAC,SAAS,EAAE,CAAC;QAC9B,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,EAAE,UAAU,CAAC,CAAC;QAEhC,MAAM,QAAQ,GAAG,MAAM,CAAC,eAAe,EAAE,CAAC;QAC1C,cAAc,CAAC,QAAQ,CAAC,CAAC;QAEzB,MAAM,aAAa,GAAG,MAAM,iBAAiB,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QACrE,aAAa,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,EAAE,UAAU,CAAC,CAAC;QAE1C,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,EAAE,UAAU,CAAC,CAAC;QAEhC,MAAM,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC;QAExD,aAAa,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,EAAE,UAAU,CAAC,CAAC;QAE1C,MAAM,OAAO,CAAC,GAAG,EAAE;YACjB,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YACpC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QAChD,CAAC,CAAC,CAAC;QAEH,MAAM,CACJ,eAAe,CAAC,WAAW,CAAC;YAC1B,KAAK,EAAE,KAAK,CAAC,IAAI;YACjB,GAAG,EAAE,GAAG,CAAC,IAAI;SACd,CAAC,CACH,CAAC,qBAAqB,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KA0DvB,CAAC,CAAC;QAEH,MAAM,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACrD,MAAM,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAErD,MAAM,CAAC,YAAY,CAAC,UAAU,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;QACjE,MAAM,CAAC,YAAY,CAAC,UAAU,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,sCAAsC,EAAE,KAAK,IAAI,EAAE;QACtD,MAAM,MAAM,GAAG,aAAa,EAAE,CAAC;QAC/B,cAAc,CAAC,MAAM,CAAC,CAAC;QAEvB,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;QACxC,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;QAC9C,WAAW,CAAC,SAAS,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;QAE5C,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;QAE1B,MAAM,GAAG,GAAG,KAAK,CAAC,SAAS,EAAE,CAAC;QAC9B,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;QAEtC,MAAM,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;QAE7B,MAAM,CACJ,eAAe,CAAC,WAAW,CAAC;YAC1B,WAAW,EAAE,WAAW,CAAC,IAAI;YAC7B,KAAK,EAAE,KAAK,CAAC,IAAI;YACjB,GAAG,EAAE,GAAG,CAAC,IAAI;SACd,CAAC,CACH,CAAC,qBAAqB,CAAC;;;;;;;;;;;;;;;;;;;KAmBvB,CAAC,CAAC;QAEH,MAAM,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACrD,MAAM,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAErD,MAAM,CAAC,YAAY,CAAC,UAAU,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;QACjE,MAAM,CAAC,YAAY,CAAC,UAAU,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,kDAAkD,EAAE,KAAK,IAAI,EAAE;QAClE,MAAM,MAAM,GAAG,aAAa,EAAE,CAAC;QAC/B,cAAc,CAAC,MAAM,CAAC,CAAC;QAEvB,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;QACxC,KAAK,CAAC,SAAS,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;QAEtC,MAAM,GAAG,GAAG,KAAK,CAAC,SAAS,CAAC;YAC1B,UAAU,EAAE,SAAS;YACrB,UAAU,EAAE,SAAS;SACtB,CAAC,CAAC;QAEH,iCAAiC;QACjC,MAAM,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;QAE7B,yEAAyE;QACzE,OAAO,CAAC,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAE3C,GAAG,CAAC,GAAG,CAAC,YAAY,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;QAE7C,MAAM,OAAO,CAAC,GAAG,EAAE;YACjB,MAAM,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACrD,MAAM,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAErD,MAAM,CAAC,YAAY,CAAC,UAAU,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;YACjE,MAAM,CAAC,YAAY,CAAC,UAAU,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;QACnE,CAAC,CAAC,CAAC;QAEH,MAAM,CACJ,eAAe,CAAC,WAAW,CAAC;YAC1B,KAAK,EAAE,KAAK,CAAC,IAAI;YACjB,GAAG,EAAE,GAAG,CAAC,IAAI;SACd,CAAC,CACH,CAAC,qBAAqB,CAAC;;;;;;;;;;;;;;;;;KAiBvB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,wBAAwB,EAAE,KAAK,IAAI,EAAE;QACxC,MAAM,MAAM,GAAG,aAAa,EAAE,CAAC;QAC/B,cAAc,CAAC,MAAM,CAAC,CAAC;QAEvB,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;QACxC,MAAM,UAAU,GAAG,KAAK,CAAC,SAAS,EAAE,CAAC;QAErC,MAAM,KAAK,GAAG,KAAK,CAAC,SAAS,EAAE,CAAC;QAChC,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,UAAU,CAAC,EAAE,CAAC,CAAC;QACnC,UAAU,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;QAElC,MAAM,UAAU,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;QAEpC,MAAM,CACJ,eAAe,CAAC,WAAW,CAAC;YAC1B,KAAK,EAAE,KAAK,CAAC,IAAI;YACjB,UAAU,EAAE,UAAU,CAAC,IAAI;YAC3B,QAAQ,EAAE,KAAK,CAAC,IAAI;SACrB,CAAC,CACH,CAAC,qBAAqB,CAAC;;;;;;;;;;;;;;;;;;;KAmBvB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,gCAAgC,EAAE,KAAK,IAAI,EAAE;QAChD,MAAM,MAAM,GAAG,aAAa,EAAE,CAAC;QAC/B,cAAc,CAAC,MAAM,CAAC,CAAC;QAEvB,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;QACxC,KAAK,CAAC,SAAS,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;QAEtC,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,EAAE,CAAC;QAEnC,sBAAsB,CAAC,QAAQ,CAAC,CAAC;QAEjC,MAAM,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;QAElC,MAAM,CACJ,eAAe,CAAC,WAAW,CAAC;YAC1B,KAAK,EAAE,KAAK,CAAC,IAAI;YACjB,GAAG,EAAE,QAAQ,CAAC,IAAI;SACnB,CAAC,CACH,CAAC,qBAAqB,CAAC;;;;;;;;;;;;;;;;;;;KAmBvB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,0BAA0B,EAAE,KAAK,IAAI,EAAE;QAC1C,MAAM,MAAM,GAAG,aAAa,EAAE,CAAC;QAC/B,cAAc,CAAC,MAAM,CAAC,CAAC;QAEvB,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;QACxC,KAAK,CAAC,SAAS,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;QAEtC,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,EAAE,CAAC;QAEnC,MAAM,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;QAElC,sBAAsB,CAAC,QAAQ,CAAC,CAAC;QAEjC,MAAM,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;QAElC,MAAM,CACJ,eAAe,CAAC,WAAW,CAAC;YAC1B,KAAK,EAAE,KAAK,CAAC,IAAI;YACjB,GAAG,EAAE,QAAQ,CAAC,IAAI;SACnB,CAAC,CACH,CAAC,qBAAqB,CAAC;;;;;;;;;;;;;;;;;;;;;;;KAuBvB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,8CAA8C,EAAE,KAAK,IAAI,EAAE;QAC9D,MAAM,MAAM,GAAG,aAAa,EAAE,CAAC;QAC/B,cAAc,CAAC,MAAM,CAAC,CAAC;QACvB,MAAM,OAAO,GAAG,aAAa,EAAE,CAAC;QAChC,cAAc,CAAC,OAAO,CAAC,CAAC;QAExB,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;QACxC,KAAK,CAAC,SAAS,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;QAEtC,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,EAAE,CAAC;QACnC,MAAM,iBAAiB,GAAG,MAAM,iBAAiB,CAC/C,OAAO,CAAC,IAAI,EACZ,QAAQ,CAAC,EAAE,CACZ,CAAC;QAEF,sBAAsB,CAAC,QAAQ,CAAC,CAAC;QAEjC,MAAM,OAAO,CAAC,GAAG,EAAE;YACjB,MAAM,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC,OAAO,CACjD,QAAQ,CAAC,IAAI,CAAC,UAAU,EAAE,CAC3B,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,MAAM,CACJ,eAAe,CAAC,WAAW,CAAC;YAC1B,KAAK,EAAE,KAAK,CAAC,IAAI;YACjB,GAAG,EAAE,QAAQ,CAAC,IAAI;SACnB,CAAC,CACH,CAAC,qBAAqB,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KA0DvB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/package.json

@@ -33,7 +33,7 @@
   },
   "type": "module",
   "license": "MIT",
-  "version": "0.19.2",
+  "version": "0.19.4",
   "devDependencies": {
     "@opentelemetry/sdk-metrics": "^2.0.0",
     "libsql": "^0.5.13",
@@ -46,8 +46,8 @@
     "@opentelemetry/api": "^1.9.0",
     "@scure/base": "1.2.1",
     "unicode-segmenter": "^0.12.0",
-    "cojson-core-wasm": "0.19.2",
-    "cojson-core-napi": "0.19.2"
+    "cojson-core-wasm": "0.19.4",
+    "cojson-core-napi": "0.19.4"
   },
   "gitHead": "33c27053293b4801b968c61d5c4c989f93a67d13",
   "scripts": {

package/src/coValues/coList.ts

@@ -6,7 +6,6 @@ import { accountOrAgentIDfromSessionID } from "../typeUtils/accountOrAgentIDfrom
 import { isCoValue } from "../typeUtils/isCoValue.js";
 import { RawAccountID } from "./account.js";
 import { RawGroup } from "./group.js";
-import { Transaction } from "../coValueCore/verifiedState.js";
 
 export type OpID = TransactionID & { changeIdx: number };
 
@@ -73,6 +72,14 @@ export class RawCoList<
       };
     };
   } = {};
+
+  /** @internal */
+  atTimeFilter?: number = undefined;
+
+  /** @category 6. Meta */
+  readonly _item!: Item;
+
+  /** @internal */
   _cachedEntries?: {
     value: Item;
     madeAt: number;
@@ -94,14 +101,19 @@ export class RawCoList<
     this.totalValidTransactions = 0;
   }
 
-  /** @category 6. Meta */
-  readonly _item!: Item;
-
   /** @internal */
-  constructor(core: AvailableCoValueCore) {
+  constructor(core: AvailableCoValueCore, atTimeFilter?: number) {
     this.id = core.id as CoID<this>;
     this.core = core;
-    this.processNewTransactions();
+
+    this.insertions = {};
+    this.deletionsByInsertion = {};
+    this.afterStart = [];
+    this.beforeEnd = [];
+    this.knownTransactions = { [core.id]: 0 };
+    this.atTimeFilter = atTimeFilter;
+
+    this._processNewTransactions();
   }
 
   private getInsertionsEntry(opID: OpID) {
@@ -188,6 +200,13 @@ export class RawCoList<
   }
 
   processNewTransactions() {
+    if (this.isTimeTravelEntity()) {
+      throw new Error("Cannot process transactions on a time travel entity");
+    }
+    this._processNewTransactions();
+  }
+
+  private _processNewTransactions() {
     const transactions = this.core.getValidSortedTransactions({
       ignorePrivateTransactions: false,
       knownTransactions: this.knownTransactions,
@@ -202,6 +221,9 @@ export class RawCoList<
     this._cachedEntries = undefined;
 
     for (const { txID, changes, madeAt } of transactions) {
+      if (this.isFilteredOut(madeAt)) {
+        continue;
+      }
       lastValidTransaction = Math.max(lastValidTransaction ?? 0, madeAt);
       oldestValidTransaction = Math.min(
         oldestValidTransaction ?? Infinity,
@@ -290,6 +312,17 @@ export class RawCoList<
     this.processNewTransactions();
   }
 
+  isTimeTravelEntity() {
+    return Boolean(this.atTimeFilter);
+  }
+
+  private isFilteredOut(time: number): boolean {
+    if (this.atTimeFilter === undefined) {
+      return false;
+    }
+    return time > this.atTimeFilter;
+  }
+
   /** @category 6. Meta */
   get headerMeta(): Meta {
     return this.core.verified.header.meta as Meta;
@@ -305,8 +338,8 @@ export class RawCoList<
    *
    * @category 4. Time travel
    */
-  atTime(_time: number): this {
-    throw new Error("Not yet implemented");
+  atTime(time: number): this {
+    return new RawCoList(this.core, time) as this;
   }
 
   /**

package/src/coValues/coPlainText.ts

@@ -55,8 +55,8 @@ export class RawCoPlainText<
     PlaintextIdxMapping
   >;
 
-  constructor(core: AvailableCoValueCore) {
-    super(core);
+  constructor(core: AvailableCoValueCore, atTimeFilter?: number) {
+    super(core, atTimeFilter);
     this._cachedMapping = new WeakMap();
   }
 
@@ -97,6 +97,10 @@ export class RawCoPlainText<
       .join("");
   }
 
+  atTime(time: number): this {
+    return new RawCoPlainText(this.core, time) as this;
+  }
+
   /**
    * Inserts `text` before the character at index `idx`.
    * If idx is 0, inserts at the start of the text.

package/src/storage/sqlite/client.ts

@@ -8,6 +8,7 @@ import { logger } from "../../logger.js";
 import type { NewContentMessage } from "../../sync.js";
 import type {
   DBClientInterfaceSync,
+  DBTransactionInterfaceSync,
   SessionRow,
   SignatureAfterRow,
   StoredCoValueRow,
@@ -31,7 +32,9 @@ export function getErrorMessage(error: unknown) {
   return error instanceof Error ? error.message : "Unknown error";
 }
 
-export class SQLiteClient implements DBClientInterfaceSync {
+export class SQLiteClient
+  implements DBClientInterfaceSync, DBTransactionInterfaceSync
+{
   private readonly db: SQLiteDatabaseDriver;
 
   constructor(db: SQLiteDatabaseDriver) {
@@ -187,8 +190,8 @@ export class SQLiteClient implements DBClientInterfaceSync {
     );
   }
 
-  transaction(operationsCallback: () => unknown) {
-    this.db.transaction(operationsCallback);
+  transaction(operationsCallback: (tx: DBTransactionInterfaceSync) => unknown) {
+    this.db.transaction(() => operationsCallback(this));
     return undefined;
   }
 }

package/src/storage/sqliteAsync/client.ts

@@ -8,6 +8,7 @@ import { logger } from "../../logger.js";
 import type { NewContentMessage } from "../../sync.js";
 import type {
   DBClientInterfaceAsync,
+  DBTransactionInterfaceAsync,
   SessionRow,
   SignatureAfterRow,
   StoredCoValueRow,
@@ -31,7 +32,9 @@ export function getErrorMessage(error: unknown) {
   return error instanceof Error ? error.message : "Unknown error";
 }
 
-export class SQLiteClientAsync implements DBClientInterfaceAsync {
+export class SQLiteClientAsync
+  implements DBClientInterfaceAsync, DBTransactionInterfaceAsync
+{
   private readonly db: SQLiteDatabaseDriverAsync;
 
   constructor(db: SQLiteDatabaseDriverAsync) {
@@ -194,7 +197,9 @@ export class SQLiteClientAsync implements DBClientInterfaceAsync {
     );
   }
 
-  async transaction(operationsCallback: () => unknown) {
-    return this.db.transaction(operationsCallback);
+  async transaction(
+    operationsCallback: (tx: DBTransactionInterfaceAsync) => Promise<unknown>,
+  ) {
+    return this.db.transaction(() => operationsCallback(this));
   }
 }