@topgunbuild/core 0.10.1 → 0.12.0

package/dist/index.d.ts

@@ -6,6 +6,12 @@ interface Timestamp {
     counter: number;
     nodeId: string;
 }
+/**
+ * Clock source interface for time dependency injection.
+ */
+interface ClockSource {
+    now(): number;
+}
 /**
  * Configuration options for HLC behavior.
  */
@@ -21,6 +27,12 @@ interface HLCOptions {
      * Default: 60000 (1 minute)
      */
     maxDriftMs?: number;
+    /**
+     * Clock source for time generation.
+     * Defaults to Date.now() for production use.
+     * Can be replaced with VirtualClock for deterministic testing.
+     */
+    clockSource?: ClockSource;
 }
 declare class HLC {
     private lastMillis;
@@ -28,10 +40,16 @@ declare class HLC {
     private readonly nodeId;
     private readonly strictMode;
     private readonly maxDriftMs;
+    private readonly clockSource;
     constructor(nodeId: string, options?: HLCOptions);
     get getNodeId(): string;
     get getStrictMode(): boolean;
     get getMaxDriftMs(): number;
+    /**
+     * Returns the clock source used by this HLC instance.
+     * Useful for LWWMap/ORMap to access the same clock for TTL checks.
+     */
+    getClockSource(): ClockSource;
     /**
      * Generates a new unique timestamp for a local event.
      * Ensures monotonicity: always greater than any previously generated or received timestamp.
@@ -1125,14 +1143,13 @@ interface MergeRejection {
 /**
  * Hash utilities for TopGun
  *
- * Uses native xxHash64 when available (via @topgunbuild/native),
- * falls back to FNV-1a for JS-only environments.
+ * Uses FNV-1a for all hashing — deterministic, cross-language compatible
+ * with Rust core-rust/src/hash.rs implementation.
  */
 /**
- * Hash a string to a 32-bit unsigned integer.
- *
- * Uses native xxHash64 (truncated to 32 bits) when available,
- * otherwise falls back to FNV-1a.
+ * FNV-1a Hash implementation for strings.
+ * Fast, non-cryptographic, synchronous.
+ * Iterates over UTF-16 code units (charCodeAt), matching Rust's encode_utf16().
  *
  * @param str - String to hash
  * @returns 32-bit unsigned integer hash
@@ -1148,21 +1165,6 @@ declare function hashString(str: string): number;
  * @returns Combined hash as 32-bit unsigned integer
  */
 declare function combineHashes(hashes: number[]): number;
-/**
- * Check if native hash module is being used.
- * Useful for diagnostics and testing.
- */
-declare function isUsingNativeHash(): boolean;
-/**
- * Force use of FNV-1a hash (for testing/compatibility).
- * After calling this, hashString will always use FNV-1a.
- */
-declare function disableNativeHash(): void;
-/**
- * Re-enable native hash loading (for testing).
- * Resets the load state so native module can be loaded again.
- */
-declare function resetNativeHash(): void;
 /**
  * Hash an object to a 32-bit unsigned integer.
  * Uses deterministic JSON serialization + hashString.
@@ -1381,6 +1383,16 @@ declare const ORMapRecordSchema: z.ZodObject<{
     tag: z.ZodString;
     ttlMs: z.ZodOptional<z.ZodNumber>;
 }, z.core.$strip>;
+/**
+ * Unified change event type used across query updates, search updates,
+ * and cluster subscription updates.
+ */
+declare const ChangeEventTypeSchema: z.ZodEnum<{
+    UPDATE: "UPDATE";
+    ENTER: "ENTER";
+    LEAVE: "LEAVE";
+}>;
+type ChangeEventType = z.infer<typeof ChangeEventTypeSchema>;
 declare const PredicateOpSchema: z.ZodEnum<{
     eq: "eq";
     neq: "neq";
@@ -1444,7 +1456,16 @@ type ClientOp = z.infer<typeof ClientOpSchema>;
 declare const AuthMessageSchema: z.ZodObject<{
     type: z.ZodLiteral<"AUTH">;
     token: z.ZodString;
+    protocolVersion: z.ZodOptional<z.ZodNumber>;
 }, z.core.$strip>;
+type AuthMessage = z.infer<typeof AuthMessageSchema>;
+/**
+ * AUTH_REQUIRED: Server tells client that authentication is needed.
+ */
+declare const AuthRequiredMessageSchema: z.ZodObject<{
+    type: z.ZodLiteral<"AUTH_REQUIRED">;
+}, z.core.$strip>;
+type AuthRequiredMessage = z.infer<typeof AuthRequiredMessageSchema>;
 
 declare const ClientOpMessageSchema: z.ZodObject<{
     type: z.ZodLiteral<"CLIENT_OP">;
@@ -1483,6 +1504,7 @@ declare const ClientOpMessageSchema: z.ZodObject<{
         timeout: z.ZodOptional<z.ZodNumber>;
     }, z.core.$strip>;
 }, z.core.$strip>;
+type ClientOpMessage = z.infer<typeof ClientOpMessageSchema>;
 declare const OpBatchMessageSchema: z.ZodObject<{
     type: z.ZodLiteral<"OP_BATCH">;
     payload: z.ZodObject<{
@@ -1530,11 +1552,13 @@ declare const OpBatchMessageSchema: z.ZodObject<{
         timeout: z.ZodOptional<z.ZodNumber>;
     }, z.core.$strip>;
 }, z.core.$strip>;
+type OpBatchMessage = z.infer<typeof OpBatchMessageSchema>;
 declare const SyncInitMessageSchema: z.ZodObject<{
     type: z.ZodLiteral<"SYNC_INIT">;
     mapName: z.ZodString;
     lastSyncTimestamp: z.ZodOptional<z.ZodNumber>;
 }, z.core.$strip>;
+type SyncInitMessage = z.infer<typeof SyncInitMessageSchema>;
 declare const SyncRespRootMessageSchema: z.ZodObject<{
     type: z.ZodLiteral<"SYNC_RESP_ROOT">;
     payload: z.ZodObject<{
@@ -1547,6 +1571,7 @@ declare const SyncRespRootMessageSchema: z.ZodObject<{
         }, z.core.$strip>;
     }, z.core.$strip>;
 }, z.core.$strip>;
+type SyncRespRootMessage = z.infer<typeof SyncRespRootMessageSchema>;
 declare const SyncRespBucketsMessageSchema: z.ZodObject<{
     type: z.ZodLiteral<"SYNC_RESP_BUCKETS">;
     payload: z.ZodObject<{
@@ -1555,6 +1580,7 @@ declare const SyncRespBucketsMessageSchema: z.ZodObject<{
         buckets: z.ZodRecord<z.ZodString, z.ZodNumber>;
     }, z.core.$strip>;
 }, z.core.$strip>;
+type SyncRespBucketsMessage = z.infer<typeof SyncRespBucketsMessageSchema>;
 declare const SyncRespLeafMessageSchema: z.ZodObject<{
     type: z.ZodLiteral<"SYNC_RESP_LEAF">;
     payload: z.ZodObject<{
@@ -1574,6 +1600,7 @@ declare const SyncRespLeafMessageSchema: z.ZodObject<{
         }, z.core.$strip>>;
     }, z.core.$strip>;
 }, z.core.$strip>;
+type SyncRespLeafMessage = z.infer<typeof SyncRespLeafMessageSchema>;
 declare const MerkleReqBucketMessageSchema: z.ZodObject<{
     type: z.ZodLiteral<"MERKLE_REQ_BUCKET">;
     payload: z.ZodObject<{
@@ -1581,6 +1608,26 @@ declare const MerkleReqBucketMessageSchema: z.ZodObject<{
         path: z.ZodString;
     }, z.core.$strip>;
 }, z.core.$strip>;
+type MerkleReqBucketMessage = z.infer<typeof MerkleReqBucketMessageSchema>;
+/**
+ * Shared entry shape for ORMap sync messages.
+ * Used in ORMap leaf responses, diff responses, and push diffs.
+ */
+declare const ORMapEntrySchema: z.ZodObject<{
+    key: z.ZodString;
+    records: z.ZodArray<z.ZodObject<{
+        value: z.ZodAny;
+        timestamp: z.ZodObject<{
+            millis: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
+            counter: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
+            nodeId: z.ZodString;
+        }, z.core.$strip>;
+        tag: z.ZodString;
+        ttlMs: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strip>>;
+    tombstones: z.ZodArray<z.ZodString>;
+}, z.core.$strip>;
+type ORMapEntry = z.infer<typeof ORMapEntrySchema>;
 /**
  * ORMAP_SYNC_INIT: Client initiates ORMap sync
  * Sends root hash and bucket hashes to server
@@ -1592,6 +1639,7 @@ declare const ORMapSyncInitSchema: z.ZodObject<{
     bucketHashes: z.ZodRecord<z.ZodString, z.ZodNumber>;
     lastSyncTimestamp: z.ZodOptional<z.ZodNumber>;
 }, z.core.$strip>;
+type ORMapSyncInit = z.infer<typeof ORMapSyncInitSchema>;
 declare const ORMapSyncRespRootSchema: z.ZodObject<{
     type: z.ZodLiteral<"ORMAP_SYNC_RESP_ROOT">;
     payload: z.ZodObject<{
@@ -1604,6 +1652,7 @@ declare const ORMapSyncRespRootSchema: z.ZodObject<{
         }, z.core.$strip>;
     }, z.core.$strip>;
 }, z.core.$strip>;
+type ORMapSyncRespRoot = z.infer<typeof ORMapSyncRespRootSchema>;
 declare const ORMapSyncRespBucketsSchema: z.ZodObject<{
     type: z.ZodLiteral<"ORMAP_SYNC_RESP_BUCKETS">;
     payload: z.ZodObject<{
@@ -1612,6 +1661,7 @@ declare const ORMapSyncRespBucketsSchema: z.ZodObject<{
         buckets: z.ZodRecord<z.ZodString, z.ZodNumber>;
     }, z.core.$strip>;
 }, z.core.$strip>;
+type ORMapSyncRespBuckets = z.infer<typeof ORMapSyncRespBucketsSchema>;
 declare const ORMapMerkleReqBucketSchema: z.ZodObject<{
     type: z.ZodLiteral<"ORMAP_MERKLE_REQ_BUCKET">;
     payload: z.ZodObject<{
@@ -1619,6 +1669,7 @@ declare const ORMapMerkleReqBucketSchema: z.ZodObject<{
         path: z.ZodString;
     }, z.core.$strip>;
 }, z.core.$strip>;
+type ORMapMerkleReqBucket = z.infer<typeof ORMapMerkleReqBucketSchema>;
 declare const ORMapSyncRespLeafSchema: z.ZodObject<{
     type: z.ZodLiteral<"ORMAP_SYNC_RESP_LEAF">;
     payload: z.ZodObject<{
@@ -1640,6 +1691,7 @@ declare const ORMapSyncRespLeafSchema: z.ZodObject<{
         }, z.core.$strip>>;
     }, z.core.$strip>;
 }, z.core.$strip>;
+type ORMapSyncRespLeaf = z.infer<typeof ORMapSyncRespLeafSchema>;
 declare const ORMapDiffRequestSchema: z.ZodObject<{
     type: z.ZodLiteral<"ORMAP_DIFF_REQUEST">;
     payload: z.ZodObject<{
@@ -1647,6 +1699,7 @@ declare const ORMapDiffRequestSchema: z.ZodObject<{
         keys: z.ZodArray<z.ZodString>;
     }, z.core.$strip>;
 }, z.core.$strip>;
+type ORMapDiffRequest = z.infer<typeof ORMapDiffRequestSchema>;
 declare const ORMapDiffResponseSchema: z.ZodObject<{
     type: z.ZodLiteral<"ORMAP_DIFF_RESPONSE">;
     payload: z.ZodObject<{
@@ -1667,6 +1720,7 @@ declare const ORMapDiffResponseSchema: z.ZodObject<{
         }, z.core.$strip>>;
     }, z.core.$strip>;
 }, z.core.$strip>;
+type ORMapDiffResponse = z.infer<typeof ORMapDiffResponseSchema>;
 declare const ORMapPushDiffSchema: z.ZodObject<{
     type: z.ZodLiteral<"ORMAP_PUSH_DIFF">;
     payload: z.ZodObject<{
@@ -1687,6 +1741,7 @@ declare const ORMapPushDiffSchema: z.ZodObject<{
         }, z.core.$strip>>;
     }, z.core.$strip>;
 }, z.core.$strip>;
+type ORMapPushDiff = z.infer<typeof ORMapPushDiffSchema>;
 declare const OpResultSchema: z.ZodObject<{
     opId: z.ZodString;
     success: z.ZodBoolean;
@@ -1764,12 +1819,14 @@ declare const QuerySubMessageSchema: z.ZodObject<{
         }, z.core.$strip>;
     }, z.core.$strip>;
 }, z.core.$strip>;
+type QuerySubMessage = z.infer<typeof QuerySubMessageSchema>;
 declare const QueryUnsubMessageSchema: z.ZodObject<{
     type: z.ZodLiteral<"QUERY_UNSUB">;
     payload: z.ZodObject<{
         queryId: z.ZodString;
     }, z.core.$strip>;
 }, z.core.$strip>;
+type QueryUnsubMessage = z.infer<typeof QueryUnsubMessageSchema>;
 declare const CursorStatusSchema: z.ZodEnum<{
     valid: "valid";
     expired: "expired";
@@ -1908,7 +1965,7 @@ declare const SearchUpdatePayloadSchema: z.ZodObject<{
     value: z.ZodUnknown;
     score: z.ZodNumber;
     matchedTerms: z.ZodArray<z.ZodString>;
-    type: z.ZodEnum<{
+    changeType: z.ZodEnum<{
         UPDATE: "UPDATE";
         ENTER: "ENTER";
         LEAVE: "LEAVE";
@@ -1923,7 +1980,7 @@ declare const SearchUpdateMessageSchema: z.ZodObject<{
         value: z.ZodUnknown;
         score: z.ZodNumber;
         matchedTerms: z.ZodArray<z.ZodString>;
-        type: z.ZodEnum<{
+        changeType: z.ZodEnum<{
             UPDATE: "UPDATE";
             ENTER: "ENTER";
             LEAVE: "LEAVE";
@@ -1949,6 +2006,81 @@ declare const PartitionMapRequestSchema: z.ZodObject<{
         currentVersion: z.ZodOptional<z.ZodNumber>;
     }, z.core.$strip>>;
 }, z.core.$strip>;
+type PartitionMapRequest = z.infer<typeof PartitionMapRequestSchema>;
+declare const NodeInfoSchema: z.ZodObject<{
+    nodeId: z.ZodString;
+    endpoints: z.ZodObject<{
+        websocket: z.ZodString;
+        http: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>;
+    status: z.ZodEnum<{
+        ACTIVE: "ACTIVE";
+        JOINING: "JOINING";
+        LEAVING: "LEAVING";
+        SUSPECTED: "SUSPECTED";
+        FAILED: "FAILED";
+    }>;
+}, z.core.$strip>;
+type NodeInfoZod = z.infer<typeof NodeInfoSchema>;
+declare const PartitionInfoSchema: z.ZodObject<{
+    partitionId: z.ZodNumber;
+    ownerNodeId: z.ZodString;
+    backupNodeIds: z.ZodArray<z.ZodString>;
+}, z.core.$strip>;
+type PartitionInfoZod = z.infer<typeof PartitionInfoSchema>;
+declare const PartitionMapPayloadSchema: z.ZodObject<{
+    version: z.ZodNumber;
+    partitionCount: z.ZodNumber;
+    nodes: z.ZodArray<z.ZodObject<{
+        nodeId: z.ZodString;
+        endpoints: z.ZodObject<{
+            websocket: z.ZodString;
+            http: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>;
+        status: z.ZodEnum<{
+            ACTIVE: "ACTIVE";
+            JOINING: "JOINING";
+            LEAVING: "LEAVING";
+            SUSPECTED: "SUSPECTED";
+            FAILED: "FAILED";
+        }>;
+    }, z.core.$strip>>;
+    partitions: z.ZodArray<z.ZodObject<{
+        partitionId: z.ZodNumber;
+        ownerNodeId: z.ZodString;
+        backupNodeIds: z.ZodArray<z.ZodString>;
+    }, z.core.$strip>>;
+    generatedAt: z.ZodNumber;
+}, z.core.$strip>;
+type PartitionMapPayload = z.infer<typeof PartitionMapPayloadSchema>;
+declare const PartitionMapMessageSchema: z.ZodObject<{
+    type: z.ZodLiteral<"PARTITION_MAP">;
+    payload: z.ZodObject<{
+        version: z.ZodNumber;
+        partitionCount: z.ZodNumber;
+        nodes: z.ZodArray<z.ZodObject<{
+            nodeId: z.ZodString;
+            endpoints: z.ZodObject<{
+                websocket: z.ZodString;
+                http: z.ZodOptional<z.ZodString>;
+            }, z.core.$strip>;
+            status: z.ZodEnum<{
+                ACTIVE: "ACTIVE";
+                JOINING: "JOINING";
+                LEAVING: "LEAVING";
+                SUSPECTED: "SUSPECTED";
+                FAILED: "FAILED";
+            }>;
+        }, z.core.$strip>>;
+        partitions: z.ZodArray<z.ZodObject<{
+            partitionId: z.ZodNumber;
+            ownerNodeId: z.ZodString;
+            backupNodeIds: z.ZodArray<z.ZodString>;
+        }, z.core.$strip>>;
+        generatedAt: z.ZodNumber;
+    }, z.core.$strip>;
+}, z.core.$strip>;
+type PartitionMapMessage = z.infer<typeof PartitionMapMessageSchema>;
 declare const ClusterSubRegisterPayloadSchema: z.ZodObject<{
     subscriptionId: z.ZodString;
     coordinatorNodeId: z.ZodString;
@@ -2074,9 +2206,9 @@ declare const ClusterSearchReqPayloadSchema: z.ZodObject<{
     mapName: z.ZodString;
     query: z.ZodString;
     options: z.ZodObject<{
-        limit: z.ZodNumber;
         minScore: z.ZodOptional<z.ZodNumber>;
         boost: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
+        limit: z.ZodNumber;
         includeMatchedTerms: z.ZodOptional<z.ZodBoolean>;
         afterScore: z.ZodOptional<z.ZodNumber>;
         afterKey: z.ZodOptional<z.ZodString>;
@@ -2091,9 +2223,9 @@ declare const ClusterSearchReqMessageSchema: z.ZodObject<{
         mapName: z.ZodString;
         query: z.ZodString;
         options: z.ZodObject<{
-            limit: z.ZodNumber;
             minScore: z.ZodOptional<z.ZodNumber>;
             boost: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
+            limit: z.ZodNumber;
             includeMatchedTerms: z.ZodOptional<z.ZodBoolean>;
             afterScore: z.ZodOptional<z.ZodNumber>;
             afterKey: z.ZodOptional<z.ZodString>;
@@ -2176,7 +2308,7 @@ declare const ClusterSearchUpdatePayloadSchema: z.ZodObject<{
     value: z.ZodUnknown;
     score: z.ZodNumber;
     matchedTerms: z.ZodOptional<z.ZodArray<z.ZodString>>;
-    type: z.ZodEnum<{
+    changeType: z.ZodEnum<{
         UPDATE: "UPDATE";
         ENTER: "ENTER";
         LEAVE: "LEAVE";
@@ -2192,7 +2324,7 @@ declare const ClusterSearchUpdateMessageSchema: z.ZodObject<{
         value: z.ZodUnknown;
         score: z.ZodNumber;
         matchedTerms: z.ZodOptional<z.ZodArray<z.ZodString>>;
-        type: z.ZodEnum<{
+        changeType: z.ZodEnum<{
             UPDATE: "UPDATE";
             ENTER: "ENTER";
             LEAVE: "LEAVE";
@@ -2207,12 +2339,14 @@ declare const TopicSubSchema: z.ZodObject<{
         topic: z.ZodString;
     }, z.core.$strip>;
 }, z.core.$strip>;
+type TopicSub = z.infer<typeof TopicSubSchema>;
 declare const TopicUnsubSchema: z.ZodObject<{
     type: z.ZodLiteral<"TOPIC_UNSUB">;
     payload: z.ZodObject<{
         topic: z.ZodString;
     }, z.core.$strip>;
 }, z.core.$strip>;
+type TopicUnsub = z.infer<typeof TopicUnsubSchema>;
 declare const TopicPubSchema: z.ZodObject<{
     type: z.ZodLiteral<"TOPIC_PUB">;
     payload: z.ZodObject<{
@@ -2220,6 +2354,7 @@ declare const TopicPubSchema: z.ZodObject<{
         data: z.ZodAny;
     }, z.core.$strip>;
 }, z.core.$strip>;
+type TopicPub = z.infer<typeof TopicPubSchema>;
 declare const TopicMessageEventSchema: z.ZodObject<{
     type: z.ZodLiteral<"TOPIC_MESSAGE">;
     payload: z.ZodObject<{
@@ -2229,6 +2364,7 @@ declare const TopicMessageEventSchema: z.ZodObject<{
         timestamp: z.ZodNumber;
     }, z.core.$strip>;
 }, z.core.$strip>;
+type TopicMessageEvent = z.infer<typeof TopicMessageEventSchema>;
 declare const LockRequestSchema: z.ZodObject<{
     type: z.ZodLiteral<"LOCK_REQUEST">;
     payload: z.ZodObject<{
@@ -2237,6 +2373,7 @@ declare const LockRequestSchema: z.ZodObject<{
         ttl: z.ZodOptional<z.ZodNumber>;
     }, z.core.$strip>;
 }, z.core.$strip>;
+type LockRequest = z.infer<typeof LockRequestSchema>;
 declare const LockReleaseSchema: z.ZodObject<{
     type: z.ZodLiteral<"LOCK_RELEASE">;
     payload: z.ZodObject<{
@@ -2245,6 +2382,7 @@ declare const LockReleaseSchema: z.ZodObject<{
         fencingToken: z.ZodNumber;
     }, z.core.$strip>;
 }, z.core.$strip>;
+type LockRelease = z.infer<typeof LockReleaseSchema>;
 declare const PNCounterStateObjectSchema: z.ZodObject<{
     p: z.ZodRecord<z.ZodString, z.ZodNumber>;
     n: z.ZodRecord<z.ZodString, z.ZodNumber>;
@@ -2255,6 +2393,7 @@ declare const CounterRequestSchema: z.ZodObject<{
         name: z.ZodString;
     }, z.core.$strip>;
 }, z.core.$strip>;
+type CounterRequest = z.infer<typeof CounterRequestSchema>;
 declare const CounterSyncSchema: z.ZodObject<{
     type: z.ZodLiteral<"COUNTER_SYNC">;
     payload: z.ZodObject<{
@@ -2265,6 +2404,7 @@ declare const CounterSyncSchema: z.ZodObject<{
         }, z.core.$strip>;
     }, z.core.$strip>;
 }, z.core.$strip>;
+type CounterSync = z.infer<typeof CounterSyncSchema>;
 declare const CounterResponseSchema: z.ZodObject<{
     type: z.ZodLiteral<"COUNTER_RESPONSE">;
     payload: z.ZodObject<{
@@ -2275,6 +2415,7 @@ declare const CounterResponseSchema: z.ZodObject<{
         }, z.core.$strip>;
     }, z.core.$strip>;
 }, z.core.$strip>;
+type CounterResponse = z.infer<typeof CounterResponseSchema>;
 declare const CounterUpdateSchema: z.ZodObject<{
     type: z.ZodLiteral<"COUNTER_UPDATE">;
     payload: z.ZodObject<{
@@ -2285,6 +2426,7 @@ declare const CounterUpdateSchema: z.ZodObject<{
         }, z.core.$strip>;
     }, z.core.$strip>;
 }, z.core.$strip>;
+type CounterUpdate = z.infer<typeof CounterUpdateSchema>;
 declare const PingMessageSchema: z.ZodObject<{
     type: z.ZodLiteral<"PING">;
     timestamp: z.ZodNumber;
@@ -2301,6 +2443,7 @@ declare const EntryProcessorSchema: z.ZodObject<{
     code: z.ZodString;
     args: z.ZodOptional<z.ZodUnknown>;
 }, z.core.$strip>;
+type EntryProcessor = z.infer<typeof EntryProcessorSchema>;
 declare const EntryProcessRequestSchema: z.ZodObject<{
     type: z.ZodLiteral<"ENTRY_PROCESS">;
     requestId: z.ZodString;
@@ -2626,10 +2769,10 @@ declare const QueryUpdatePayloadSchema: z.ZodObject<{
     queryId: z.ZodString;
     key: z.ZodString;
     value: z.ZodUnknown;
-    type: z.ZodEnum<{
+    changeType: z.ZodEnum<{
         UPDATE: "UPDATE";
-        REMOVE: "REMOVE";
         ENTER: "ENTER";
+        LEAVE: "LEAVE";
     }>;
 }, z.core.$strip>;
 type QueryUpdatePayload = z.infer<typeof QueryUpdatePayloadSchema>;
@@ -2639,10 +2782,10 @@ declare const QueryUpdateMessageSchema: z.ZodObject<{
         queryId: z.ZodString;
         key: z.ZodString;
         value: z.ZodUnknown;
-        type: z.ZodEnum<{
+        changeType: z.ZodEnum<{
             UPDATE: "UPDATE";
-            REMOVE: "REMOVE";
             ENTER: "ENTER";
+            LEAVE: "LEAVE";
         }>;
     }, z.core.$strip>;
 }, z.core.$strip>;
@@ -2666,58 +2809,70 @@ declare const GcPruneMessageSchema: z.ZodObject<{
     }, z.core.$strip>;
 }, z.core.$strip>;
 type GcPruneMessage = z.infer<typeof GcPruneMessageSchema>;
+declare const AuthAckMessageSchema: z.ZodObject<{
+    type: z.ZodLiteral<"AUTH_ACK">;
+    protocolVersion: z.ZodOptional<z.ZodNumber>;
+    userId: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+type AuthAckMessage = z.infer<typeof AuthAckMessageSchema>;
 declare const AuthFailMessageSchema: z.ZodObject<{
     type: z.ZodLiteral<"AUTH_FAIL">;
     error: z.ZodOptional<z.ZodString>;
     code: z.ZodOptional<z.ZodNumber>;
 }, z.core.$strip>;
 type AuthFailMessage = z.infer<typeof AuthFailMessageSchema>;
-declare const HybridQueryRespPayloadSchema: z.ZodObject<{
-    subscriptionId: z.ZodString;
-    results: z.ZodArray<z.ZodObject<{
-        key: z.ZodString;
-        value: z.ZodUnknown;
-        score: z.ZodNumber;
-        matchedTerms: z.ZodArray<z.ZodString>;
-    }, z.core.$strip>>;
-    nextCursor: z.ZodOptional<z.ZodString>;
-    hasMore: z.ZodOptional<z.ZodBoolean>;
-    cursorStatus: z.ZodOptional<z.ZodEnum<{
-        valid: "valid";
-        expired: "expired";
-        invalid: "invalid";
-        none: "none";
-    }>>;
-}, z.core.$strip>;
-type HybridQueryRespPayload = z.infer<typeof HybridQueryRespPayloadSchema>;
-declare const HybridQueryDeltaPayloadSchema: z.ZodObject<{
-    subscriptionId: z.ZodString;
-    key: z.ZodString;
-    value: z.ZodNullable<z.ZodUnknown>;
-    score: z.ZodOptional<z.ZodNumber>;
-    matchedTerms: z.ZodOptional<z.ZodArray<z.ZodString>>;
-    type: z.ZodEnum<{
-        UPDATE: "UPDATE";
-        ENTER: "ENTER";
-        LEAVE: "LEAVE";
-    }>;
+declare const ErrorMessageSchema: z.ZodObject<{
+    type: z.ZodLiteral<"ERROR">;
+    payload: z.ZodObject<{
+        code: z.ZodNumber;
+        message: z.ZodString;
+        details: z.ZodOptional<z.ZodUnknown>;
+    }, z.core.$strip>;
 }, z.core.$strip>;
-type HybridQueryDeltaPayload = z.infer<typeof HybridQueryDeltaPayloadSchema>;
+type ErrorMessage = z.infer<typeof ErrorMessageSchema>;
 declare const LockGrantedPayloadSchema: z.ZodObject<{
     requestId: z.ZodString;
+    name: z.ZodString;
     fencingToken: z.ZodNumber;
 }, z.core.$strip>;
 type LockGrantedPayload = z.infer<typeof LockGrantedPayloadSchema>;
 declare const LockReleasedPayloadSchema: z.ZodObject<{
     requestId: z.ZodString;
+    name: z.ZodString;
     success: z.ZodBoolean;
 }, z.core.$strip>;
 type LockReleasedPayload = z.infer<typeof LockReleasedPayloadSchema>;
+declare const LockGrantedMessageSchema: z.ZodObject<{
+    type: z.ZodLiteral<"LOCK_GRANTED">;
+    payload: z.ZodObject<{
+        requestId: z.ZodString;
+        name: z.ZodString;
+        fencingToken: z.ZodNumber;
+    }, z.core.$strip>;
+}, z.core.$strip>;
+type LockGrantedMessage = z.infer<typeof LockGrantedMessageSchema>;
+declare const LockReleasedMessageSchema: z.ZodObject<{
+    type: z.ZodLiteral<"LOCK_RELEASED">;
+    payload: z.ZodObject<{
+        requestId: z.ZodString;
+        name: z.ZodString;
+        success: z.ZodBoolean;
+    }, z.core.$strip>;
+}, z.core.$strip>;
+type LockReleasedMessage = z.infer<typeof LockReleasedMessageSchema>;
 declare const SyncResetRequiredPayloadSchema: z.ZodObject<{
     mapName: z.ZodString;
     reason: z.ZodString;
 }, z.core.$strip>;
 type SyncResetRequiredPayload = z.infer<typeof SyncResetRequiredPayloadSchema>;
+declare const SyncResetRequiredMessageSchema: z.ZodObject<{
+    type: z.ZodLiteral<"SYNC_RESET_REQUIRED">;
+    payload: z.ZodObject<{
+        mapName: z.ZodString;
+        reason: z.ZodString;
+    }, z.core.$strip>;
+}, z.core.$strip>;
+type SyncResetRequiredMessage = z.infer<typeof SyncResetRequiredMessageSchema>;
 type SyncRespRootPayload = z.infer<typeof SyncRespRootMessageSchema>['payload'];
 type SyncRespBucketsPayload = z.infer<typeof SyncRespBucketsMessageSchema>['payload'];
 type SyncRespLeafPayload = z.infer<typeof SyncRespLeafMessageSchema>['payload'];
@@ -2726,33 +2881,53 @@ type ORMapSyncRespBucketsPayload = z.infer<typeof ORMapSyncRespBucketsSchema>['p
 type ORMapSyncRespLeafPayload = z.infer<typeof ORMapSyncRespLeafSchema>['payload'];
 type ORMapDiffResponsePayload = z.infer<typeof ORMapDiffResponseSchema>['payload'];
 
-declare const MessageSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
-    type: z.ZodLiteral<"AUTH">;
-    token: z.ZodString;
-}, z.core.$strip>, z.ZodObject<{
-    type: z.ZodLiteral<"QUERY_SUB">;
-    payload: z.ZodObject<{
-        queryId: z.ZodString;
-        mapName: z.ZodString;
-        query: z.ZodObject<{
-            where: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodAny>>;
-            predicate: z.ZodOptional<z.ZodType<any, unknown, z.core.$ZodTypeInternals<any, unknown>>>;
-            sort: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodEnum<{
-                asc: "asc";
-                desc: "desc";
-            }>>>;
-            limit: z.ZodOptional<z.ZodNumber>;
-            cursor: z.ZodOptional<z.ZodString>;
-        }, z.core.$strip>;
+/**
+ * Schema for individual sync map entries, specifying which maps the client
+ * wants deltas for and the last known sync HLC timestamp for each.
+ */
+declare const SyncMapEntrySchema: z.ZodObject<{
+    mapName: z.ZodString;
+    lastSyncTimestamp: z.ZodObject<{
+        millis: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
+        counter: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
+        nodeId: z.ZodString;
     }, z.core.$strip>;
-}, z.core.$strip>, z.ZodObject<{
-    type: z.ZodLiteral<"QUERY_UNSUB">;
-    payload: z.ZodObject<{
-        queryId: z.ZodString;
+}, z.core.$strip>;
+type SyncMapEntry = z.infer<typeof SyncMapEntrySchema>;
+/**
+ * Schema for one-shot query requests over HTTP.
+ */
+declare const HttpQueryRequestSchema: z.ZodObject<{
+    queryId: z.ZodString;
+    mapName: z.ZodString;
+    filter: z.ZodAny;
+    limit: z.ZodOptional<z.ZodNumber>;
+    offset: z.ZodOptional<z.ZodNumber>;
+}, z.core.$strip>;
+type HttpQueryRequest = z.infer<typeof HttpQueryRequestSchema>;
+/**
+ * Schema for one-shot search requests over HTTP.
+ */
+declare const HttpSearchRequestSchema: z.ZodObject<{
+    searchId: z.ZodString;
+    mapName: z.ZodString;
+    query: z.ZodString;
+    options: z.ZodOptional<z.ZodAny>;
+}, z.core.$strip>;
+type HttpSearchRequest = z.infer<typeof HttpSearchRequestSchema>;
+/**
+ * HTTP sync request body sent by the client as POST /sync.
+ * Contains all context needed for a stateless request: client identity,
+ * HLC state, operations to push, maps to pull deltas for, and queries/searches.
+ */
+declare const HttpSyncRequestSchema: z.ZodObject<{
+    clientId: z.ZodString;
+    clientHlc: z.ZodObject<{
+        millis: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
+        counter: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
+        nodeId: z.ZodString;
     }, z.core.$strip>;
-}, z.core.$strip>, z.ZodObject<{
-    type: z.ZodLiteral<"CLIENT_OP">;
-    payload: z.ZodObject<{
+    operations: z.ZodOptional<z.ZodArray<z.ZodObject<{
         id: z.ZodOptional<z.ZodString>;
         mapName: z.ZodString;
         key: z.ZodString;
@@ -2785,112 +2960,696 @@ declare const MessageSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
             PERSISTED: "PERSISTED";
         }>>;
         timeout: z.ZodOptional<z.ZodNumber>;
-    }, z.core.$strip>;
-}, z.core.$strip>, z.ZodObject<{
-    type: z.ZodLiteral<"OP_BATCH">;
-    payload: z.ZodObject<{
-        ops: z.ZodArray<z.ZodObject<{
-            id: z.ZodOptional<z.ZodString>;
-            mapName: z.ZodString;
-            key: z.ZodString;
-            opType: z.ZodOptional<z.ZodString>;
-            record: z.ZodOptional<z.ZodNullable<z.ZodObject<{
-                value: z.ZodNullable<z.ZodAny>;
-                timestamp: z.ZodObject<{
-                    millis: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
-                    counter: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
-                    nodeId: z.ZodString;
-                }, z.core.$strip>;
-                ttlMs: z.ZodOptional<z.ZodNumber>;
-            }, z.core.$strip>>>;
-            orRecord: z.ZodOptional<z.ZodNullable<z.ZodObject<{
-                value: z.ZodAny;
-                timestamp: z.ZodObject<{
-                    millis: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
-                    counter: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
-                    nodeId: z.ZodString;
-                }, z.core.$strip>;
-                tag: z.ZodString;
-                ttlMs: z.ZodOptional<z.ZodNumber>;
-            }, z.core.$strip>>>;
-            orTag: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            writeConcern: z.ZodOptional<z.ZodEnum<{
-                FIRE_AND_FORGET: "FIRE_AND_FORGET";
-                MEMORY: "MEMORY";
-                APPLIED: "APPLIED";
-                REPLICATED: "REPLICATED";
-                PERSISTED: "PERSISTED";
-            }>>;
-            timeout: z.ZodOptional<z.ZodNumber>;
-        }, z.core.$strip>>;
-        writeConcern: z.ZodOptional<z.ZodEnum<{
-            FIRE_AND_FORGET: "FIRE_AND_FORGET";
-            MEMORY: "MEMORY";
-            APPLIED: "APPLIED";
-            REPLICATED: "REPLICATED";
-            PERSISTED: "PERSISTED";
-        }>>;
-        timeout: z.ZodOptional<z.ZodNumber>;
-    }, z.core.$strip>;
-}, z.core.$strip>, z.ZodObject<{
-    type: z.ZodLiteral<"SYNC_INIT">;
-    mapName: z.ZodString;
-    lastSyncTimestamp: z.ZodOptional<z.ZodNumber>;
-}, z.core.$strip>, z.ZodObject<{
-    type: z.ZodLiteral<"SYNC_RESP_ROOT">;
-    payload: z.ZodObject<{
+    }, z.core.$strip>>>;
+    syncMaps: z.ZodOptional<z.ZodArray<z.ZodObject<{
         mapName: z.ZodString;
-        rootHash: z.ZodNumber;
-        timestamp: z.ZodObject<{
+        lastSyncTimestamp: z.ZodObject<{
             millis: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
             counter: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
             nodeId: z.ZodString;
         }, z.core.$strip>;
-    }, z.core.$strip>;
-}, z.core.$strip>, z.ZodObject<{
-    type: z.ZodLiteral<"SYNC_RESP_BUCKETS">;
-    payload: z.ZodObject<{
+    }, z.core.$strip>>>;
+    queries: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        queryId: z.ZodString;
         mapName: z.ZodString;
-        path: z.ZodString;
-        buckets: z.ZodRecord<z.ZodString, z.ZodNumber>;
-    }, z.core.$strip>;
-}, z.core.$strip>, z.ZodObject<{
-    type: z.ZodLiteral<"SYNC_RESP_LEAF">;
-    payload: z.ZodObject<{
+        filter: z.ZodAny;
+        limit: z.ZodOptional<z.ZodNumber>;
+        offset: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strip>>>;
+    searches: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        searchId: z.ZodString;
         mapName: z.ZodString;
-        path: z.ZodString;
-        records: z.ZodArray<z.ZodObject<{
-            key: z.ZodString;
-            record: z.ZodObject<{
-                value: z.ZodNullable<z.ZodAny>;
-                timestamp: z.ZodObject<{
-                    millis: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
-                    counter: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
-                    nodeId: z.ZodString;
-                }, z.core.$strip>;
-                ttlMs: z.ZodOptional<z.ZodNumber>;
-            }, z.core.$strip>;
-        }, z.core.$strip>>;
-    }, z.core.$strip>;
-}, z.core.$strip>, z.ZodObject<{
+        query: z.ZodString;
+        options: z.ZodOptional<z.ZodAny>;
+    }, z.core.$strip>>>;
+}, z.core.$strip>;
+type HttpSyncRequest = z.infer<typeof HttpSyncRequestSchema>;
+/**
+ * Delta record for a single key within a map.
+ */
+declare const DeltaRecordSchema: z.ZodObject<{
+    key: z.ZodString;
+    record: z.ZodObject<{
+        value: z.ZodNullable<z.ZodAny>;
+        timestamp: z.ZodObject<{
+            millis: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
+            counter: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
+            nodeId: z.ZodString;
+        }, z.core.$strip>;
+        ttlMs: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strip>;
+    eventType: z.ZodEnum<{
+        PUT: "PUT";
+        REMOVE: "REMOVE";
+    }>;
+}, z.core.$strip>;
+type DeltaRecord = z.infer<typeof DeltaRecordSchema>;
+/**
+ * Delta records for a specific map, containing all new/changed records
+ * since the client's lastSyncTimestamp.
+ */
+declare const MapDeltaSchema: z.ZodObject<{
+    mapName: z.ZodString;
+    records: z.ZodArray<z.ZodObject<{
+        key: z.ZodString;
+        record: z.ZodObject<{
+            value: z.ZodNullable<z.ZodAny>;
+            timestamp: z.ZodObject<{
+                millis: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
+                counter: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
+                nodeId: z.ZodString;
+            }, z.core.$strip>;
+            ttlMs: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strip>;
+        eventType: z.ZodEnum<{
+            PUT: "PUT";
+            REMOVE: "REMOVE";
+        }>;
+    }, z.core.$strip>>;
+    serverSyncTimestamp: z.ZodObject<{
+        millis: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
+        counter: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
+        nodeId: z.ZodString;
+    }, z.core.$strip>;
+}, z.core.$strip>;
+type MapDelta = z.infer<typeof MapDeltaSchema>;
+/**
+ * Query result for a one-shot HTTP query.
+ */
+declare const HttpQueryResultSchema: z.ZodObject<{
+    queryId: z.ZodString;
+    results: z.ZodArray<z.ZodAny>;
+    hasMore: z.ZodOptional<z.ZodBoolean>;
+    nextCursor: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+type HttpQueryResult = z.infer<typeof HttpQueryResultSchema>;
+/**
+ * Search result for a one-shot HTTP search.
+ */
+declare const HttpSearchResultSchema: z.ZodObject<{
+    searchId: z.ZodString;
+    results: z.ZodArray<z.ZodAny>;
+    totalCount: z.ZodOptional<z.ZodNumber>;
+}, z.core.$strip>;
+type HttpSearchResult = z.infer<typeof HttpSearchResultSchema>;
+/**
+ * Error entry for individual operation failures.
+ */
+declare const HttpSyncErrorSchema: z.ZodObject<{
+    code: z.ZodNumber;
+    message: z.ZodString;
+    context: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+type HttpSyncError = z.infer<typeof HttpSyncErrorSchema>;
+/**
+ * HTTP sync response returned by the server for POST /sync.
+ * Contains operation acknowledgments, delta records, query/search results,
+ * and the server's current HLC for the client to use in subsequent requests.
+ */
+declare const HttpSyncResponseSchema: z.ZodObject<{
+    serverHlc: z.ZodObject<{
+        millis: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
+        counter: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
+        nodeId: z.ZodString;
+    }, z.core.$strip>;
+    ack: z.ZodOptional<z.ZodObject<{
+        lastId: z.ZodString;
+        results: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            opId: z.ZodString;
+            success: z.ZodBoolean;
+            achievedLevel: z.ZodEnum<{
+                FIRE_AND_FORGET: "FIRE_AND_FORGET";
+                MEMORY: "MEMORY";
+                APPLIED: "APPLIED";
+                REPLICATED: "REPLICATED";
+                PERSISTED: "PERSISTED";
+            }>;
+            error: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>>;
+    }, z.core.$strip>>;
+    deltas: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        mapName: z.ZodString;
+        records: z.ZodArray<z.ZodObject<{
+            key: z.ZodString;
+            record: z.ZodObject<{
+                value: z.ZodNullable<z.ZodAny>;
+                timestamp: z.ZodObject<{
+                    millis: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
+                    counter: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
+                    nodeId: z.ZodString;
+                }, z.core.$strip>;
+                ttlMs: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strip>;
+            eventType: z.ZodEnum<{
+                PUT: "PUT";
+                REMOVE: "REMOVE";
+            }>;
+        }, z.core.$strip>>;
+        serverSyncTimestamp: z.ZodObject<{
+            millis: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
+            counter: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
+            nodeId: z.ZodString;
+        }, z.core.$strip>;
+    }, z.core.$strip>>>;
+    queryResults: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        queryId: z.ZodString;
+        results: z.ZodArray<z.ZodAny>;
+        hasMore: z.ZodOptional<z.ZodBoolean>;
+        nextCursor: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>>;
+    searchResults: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        searchId: z.ZodString;
+        results: z.ZodArray<z.ZodAny>;
+        totalCount: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strip>>>;
+    errors: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        code: z.ZodNumber;
+        message: z.ZodString;
+        context: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>>;
+}, z.core.$strip>;
+type HttpSyncResponse = z.infer<typeof HttpSyncResponseSchema>;
+
+declare const MessageSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    type: z.ZodLiteral<"AUTH">;
+    token: z.ZodString;
+    protocolVersion: z.ZodOptional<z.ZodNumber>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"AUTH_REQUIRED">;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"CLIENT_OP">;
+    payload: z.ZodObject<{
+        id: z.ZodOptional<z.ZodString>;
+        mapName: z.ZodString;
+        key: z.ZodString;
+        opType: z.ZodOptional<z.ZodString>;
+        record: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+            value: z.ZodNullable<z.ZodAny>;
+            timestamp: z.ZodObject<{
+                millis: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
+                counter: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
+                nodeId: z.ZodString;
+            }, z.core.$strip>;
+            ttlMs: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strip>>>;
+        orRecord: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+            value: z.ZodAny;
+            timestamp: z.ZodObject<{
+                millis: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
+                counter: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
+                nodeId: z.ZodString;
+            }, z.core.$strip>;
+            tag: z.ZodString;
+            ttlMs: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strip>>>;
+        orTag: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        writeConcern: z.ZodOptional<z.ZodEnum<{
+            FIRE_AND_FORGET: "FIRE_AND_FORGET";
+            MEMORY: "MEMORY";
+            APPLIED: "APPLIED";
+            REPLICATED: "REPLICATED";
+            PERSISTED: "PERSISTED";
+        }>>;
+        timeout: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strip>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"OP_BATCH">;
+    payload: z.ZodObject<{
+        ops: z.ZodArray<z.ZodObject<{
+            id: z.ZodOptional<z.ZodString>;
+            mapName: z.ZodString;
+            key: z.ZodString;
+            opType: z.ZodOptional<z.ZodString>;
+            record: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+                value: z.ZodNullable<z.ZodAny>;
+                timestamp: z.ZodObject<{
+                    millis: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
+                    counter: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
+                    nodeId: z.ZodString;
+                }, z.core.$strip>;
+                ttlMs: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strip>>>;
+            orRecord: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+                value: z.ZodAny;
+                timestamp: z.ZodObject<{
+                    millis: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
+                    counter: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
+                    nodeId: z.ZodString;
+                }, z.core.$strip>;
+                tag: z.ZodString;
+                ttlMs: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strip>>>;
+            orTag: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+            writeConcern: z.ZodOptional<z.ZodEnum<{
+                FIRE_AND_FORGET: "FIRE_AND_FORGET";
+                MEMORY: "MEMORY";
+                APPLIED: "APPLIED";
+                REPLICATED: "REPLICATED";
+                PERSISTED: "PERSISTED";
+            }>>;
+            timeout: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strip>>;
+        writeConcern: z.ZodOptional<z.ZodEnum<{
+            FIRE_AND_FORGET: "FIRE_AND_FORGET";
+            MEMORY: "MEMORY";
+            APPLIED: "APPLIED";
+            REPLICATED: "REPLICATED";
+            PERSISTED: "PERSISTED";
+        }>>;
+        timeout: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strip>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"SYNC_INIT">;
+    mapName: z.ZodString;
+    lastSyncTimestamp: z.ZodOptional<z.ZodNumber>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"SYNC_RESP_ROOT">;
+    payload: z.ZodObject<{
+        mapName: z.ZodString;
+        rootHash: z.ZodNumber;
+        timestamp: z.ZodObject<{
+            millis: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
+            counter: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
+            nodeId: z.ZodString;
+        }, z.core.$strip>;
+    }, z.core.$strip>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"SYNC_RESP_BUCKETS">;
+    payload: z.ZodObject<{
+        mapName: z.ZodString;
+        path: z.ZodString;
+        buckets: z.ZodRecord<z.ZodString, z.ZodNumber>;
+    }, z.core.$strip>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"SYNC_RESP_LEAF">;
+    payload: z.ZodObject<{
+        mapName: z.ZodString;
+        path: z.ZodString;
+        records: z.ZodArray<z.ZodObject<{
+            key: z.ZodString;
+            record: z.ZodObject<{
+                value: z.ZodNullable<z.ZodAny>;
+                timestamp: z.ZodObject<{
+                    millis: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
+                    counter: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
+                    nodeId: z.ZodString;
+                }, z.core.$strip>;
+                ttlMs: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strip>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>;
+}, z.core.$strip>, z.ZodObject<{
     type: z.ZodLiteral<"MERKLE_REQ_BUCKET">;
     payload: z.ZodObject<{
         mapName: z.ZodString;
-        path: z.ZodString;
+        path: z.ZodString;
+    }, z.core.$strip>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"OP_ACK">;
+    payload: z.ZodObject<{
+        lastId: z.ZodString;
+        achievedLevel: z.ZodOptional<z.ZodEnum<{
+            FIRE_AND_FORGET: "FIRE_AND_FORGET";
+            MEMORY: "MEMORY";
+            APPLIED: "APPLIED";
+            REPLICATED: "REPLICATED";
+            PERSISTED: "PERSISTED";
+        }>>;
+        results: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            opId: z.ZodString;
+            success: z.ZodBoolean;
+            achievedLevel: z.ZodEnum<{
+                FIRE_AND_FORGET: "FIRE_AND_FORGET";
+                MEMORY: "MEMORY";
+                APPLIED: "APPLIED";
+                REPLICATED: "REPLICATED";
+                PERSISTED: "PERSISTED";
+            }>;
+            error: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>>;
+    }, z.core.$strip>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"OP_REJECTED">;
+    payload: z.ZodObject<{
+        opId: z.ZodString;
+        reason: z.ZodString;
+        code: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strip>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"BATCH">;
+    count: z.ZodNumber;
+    data: z.ZodCustom<Uint8Array<ArrayBuffer>, Uint8Array<ArrayBuffer>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"ORMAP_SYNC_INIT">;
+    mapName: z.ZodString;
+    rootHash: z.ZodNumber;
+    bucketHashes: z.ZodRecord<z.ZodString, z.ZodNumber>;
+    lastSyncTimestamp: z.ZodOptional<z.ZodNumber>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"ORMAP_SYNC_RESP_ROOT">;
+    payload: z.ZodObject<{
+        mapName: z.ZodString;
+        rootHash: z.ZodNumber;
+        timestamp: z.ZodObject<{
+            millis: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
+            counter: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
+            nodeId: z.ZodString;
+        }, z.core.$strip>;
+    }, z.core.$strip>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"ORMAP_SYNC_RESP_BUCKETS">;
+    payload: z.ZodObject<{
+        mapName: z.ZodString;
+        path: z.ZodString;
+        buckets: z.ZodRecord<z.ZodString, z.ZodNumber>;
+    }, z.core.$strip>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"ORMAP_MERKLE_REQ_BUCKET">;
+    payload: z.ZodObject<{
+        mapName: z.ZodString;
+        path: z.ZodString;
+    }, z.core.$strip>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"ORMAP_SYNC_RESP_LEAF">;
+    payload: z.ZodObject<{
+        mapName: z.ZodString;
+        path: z.ZodString;
+        entries: z.ZodArray<z.ZodObject<{
+            key: z.ZodString;
+            records: z.ZodArray<z.ZodObject<{
+                value: z.ZodAny;
+                timestamp: z.ZodObject<{
+                    millis: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
+                    counter: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
+                    nodeId: z.ZodString;
+                }, z.core.$strip>;
+                tag: z.ZodString;
+                ttlMs: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strip>>;
+            tombstones: z.ZodArray<z.ZodString>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"ORMAP_DIFF_REQUEST">;
+    payload: z.ZodObject<{
+        mapName: z.ZodString;
+        keys: z.ZodArray<z.ZodString>;
+    }, z.core.$strip>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"ORMAP_DIFF_RESPONSE">;
+    payload: z.ZodObject<{
+        mapName: z.ZodString;
+        entries: z.ZodArray<z.ZodObject<{
+            key: z.ZodString;
+            records: z.ZodArray<z.ZodObject<{
+                value: z.ZodAny;
+                timestamp: z.ZodObject<{
+                    millis: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
+                    counter: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
+                    nodeId: z.ZodString;
+                }, z.core.$strip>;
+                tag: z.ZodString;
+                ttlMs: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strip>>;
+            tombstones: z.ZodArray<z.ZodString>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"ORMAP_PUSH_DIFF">;
+    payload: z.ZodObject<{
+        mapName: z.ZodString;
+        entries: z.ZodArray<z.ZodObject<{
+            key: z.ZodString;
+            records: z.ZodArray<z.ZodObject<{
+                value: z.ZodAny;
+                timestamp: z.ZodObject<{
+                    millis: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
+                    counter: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
+                    nodeId: z.ZodString;
+                }, z.core.$strip>;
+                tag: z.ZodString;
+                ttlMs: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strip>>;
+            tombstones: z.ZodArray<z.ZodString>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"QUERY_SUB">;
+    payload: z.ZodObject<{
+        queryId: z.ZodString;
+        mapName: z.ZodString;
+        query: z.ZodObject<{
+            where: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodAny>>;
+            predicate: z.ZodOptional<z.ZodType<any, unknown, z.core.$ZodTypeInternals<any, unknown>>>;
+            sort: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodEnum<{
+                asc: "asc";
+                desc: "desc";
+            }>>>;
+            limit: z.ZodOptional<z.ZodNumber>;
+            cursor: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>;
+    }, z.core.$strip>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"QUERY_UNSUB">;
+    payload: z.ZodObject<{
+        queryId: z.ZodString;
+    }, z.core.$strip>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"QUERY_RESP">;
+    payload: z.ZodObject<{
+        queryId: z.ZodString;
+        results: z.ZodArray<z.ZodObject<{
+            key: z.ZodString;
+            value: z.ZodUnknown;
+        }, z.core.$strip>>;
+        nextCursor: z.ZodOptional<z.ZodString>;
+        hasMore: z.ZodOptional<z.ZodBoolean>;
+        cursorStatus: z.ZodOptional<z.ZodEnum<{
+            valid: "valid";
+            expired: "expired";
+            invalid: "invalid";
+            none: "none";
+        }>>;
+    }, z.core.$strip>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"QUERY_UPDATE">;
+    payload: z.ZodObject<{
+        queryId: z.ZodString;
+        key: z.ZodString;
+        value: z.ZodUnknown;
+        changeType: z.ZodEnum<{
+            UPDATE: "UPDATE";
+            ENTER: "ENTER";
+            LEAVE: "LEAVE";
+        }>;
+    }, z.core.$strip>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"SEARCH">;
+    payload: z.ZodObject<{
+        requestId: z.ZodString;
+        mapName: z.ZodString;
+        query: z.ZodString;
+        options: z.ZodOptional<z.ZodObject<{
+            limit: z.ZodOptional<z.ZodNumber>;
+            minScore: z.ZodOptional<z.ZodNumber>;
+            boost: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"SEARCH_RESP">;
+    payload: z.ZodObject<{
+        requestId: z.ZodString;
+        results: z.ZodArray<z.ZodObject<{
+            key: z.ZodString;
+            value: z.ZodUnknown;
+            score: z.ZodNumber;
+            matchedTerms: z.ZodArray<z.ZodString>;
+        }, z.core.$strip>>;
+        totalCount: z.ZodNumber;
+        error: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"SEARCH_SUB">;
+    payload: z.ZodObject<{
+        subscriptionId: z.ZodString;
+        mapName: z.ZodString;
+        query: z.ZodString;
+        options: z.ZodOptional<z.ZodObject<{
+            limit: z.ZodOptional<z.ZodNumber>;
+            minScore: z.ZodOptional<z.ZodNumber>;
+            boost: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"SEARCH_UPDATE">;
+    payload: z.ZodObject<{
+        subscriptionId: z.ZodString;
+        key: z.ZodString;
+        value: z.ZodUnknown;
+        score: z.ZodNumber;
+        matchedTerms: z.ZodArray<z.ZodString>;
+        changeType: z.ZodEnum<{
+            UPDATE: "UPDATE";
+            ENTER: "ENTER";
+            LEAVE: "LEAVE";
+        }>;
+    }, z.core.$strip>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"SEARCH_UNSUB">;
+    payload: z.ZodObject<{
+        subscriptionId: z.ZodString;
+    }, z.core.$strip>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"PARTITION_MAP_REQUEST">;
+    payload: z.ZodOptional<z.ZodObject<{
+        currentVersion: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strip>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"PARTITION_MAP">;
+    payload: z.ZodObject<{
+        version: z.ZodNumber;
+        partitionCount: z.ZodNumber;
+        nodes: z.ZodArray<z.ZodObject<{
+            nodeId: z.ZodString;
+            endpoints: z.ZodObject<{
+                websocket: z.ZodString;
+                http: z.ZodOptional<z.ZodString>;
+            }, z.core.$strip>;
+            status: z.ZodEnum<{
+                ACTIVE: "ACTIVE";
+                JOINING: "JOINING";
+                LEAVING: "LEAVING";
+                SUSPECTED: "SUSPECTED";
+                FAILED: "FAILED";
+            }>;
+        }, z.core.$strip>>;
+        partitions: z.ZodArray<z.ZodObject<{
+            partitionId: z.ZodNumber;
+            ownerNodeId: z.ZodString;
+            backupNodeIds: z.ZodArray<z.ZodString>;
+        }, z.core.$strip>>;
+        generatedAt: z.ZodNumber;
+    }, z.core.$strip>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"CLUSTER_SUB_REGISTER">;
+    payload: z.ZodObject<{
+        subscriptionId: z.ZodString;
+        coordinatorNodeId: z.ZodString;
+        mapName: z.ZodString;
+        type: z.ZodEnum<{
+            SEARCH: "SEARCH";
+            QUERY: "QUERY";
+        }>;
+        searchQuery: z.ZodOptional<z.ZodString>;
+        searchOptions: z.ZodOptional<z.ZodObject<{
+            limit: z.ZodOptional<z.ZodNumber>;
+            minScore: z.ZodOptional<z.ZodNumber>;
+            boost: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
+        }, z.core.$strip>>;
+        queryPredicate: z.ZodOptional<z.ZodAny>;
+        querySort: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodEnum<{
+            asc: "asc";
+            desc: "desc";
+        }>>>;
+    }, z.core.$strip>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"CLUSTER_SUB_ACK">;
+    payload: z.ZodObject<{
+        subscriptionId: z.ZodString;
+        nodeId: z.ZodString;
+        success: z.ZodBoolean;
+        error: z.ZodOptional<z.ZodString>;
+        initialResults: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            key: z.ZodString;
+            value: z.ZodUnknown;
+            score: z.ZodOptional<z.ZodNumber>;
+            matchedTerms: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        }, z.core.$strip>>>;
+        totalHits: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strip>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"CLUSTER_SUB_UPDATE">;
+    payload: z.ZodObject<{
+        subscriptionId: z.ZodString;
+        sourceNodeId: z.ZodString;
+        key: z.ZodString;
+        value: z.ZodUnknown;
+        score: z.ZodOptional<z.ZodNumber>;
+        matchedTerms: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        changeType: z.ZodEnum<{
+            UPDATE: "UPDATE";
+            ENTER: "ENTER";
+            LEAVE: "LEAVE";
+        }>;
+        timestamp: z.ZodNumber;
+    }, z.core.$strip>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"CLUSTER_SUB_UNREGISTER">;
+    payload: z.ZodObject<{
+        subscriptionId: z.ZodString;
+    }, z.core.$strip>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"CLUSTER_SEARCH_REQ">;
+    payload: z.ZodObject<{
+        requestId: z.ZodString;
+        mapName: z.ZodString;
+        query: z.ZodString;
+        options: z.ZodObject<{
+            minScore: z.ZodOptional<z.ZodNumber>;
+            boost: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
+            limit: z.ZodNumber;
+            includeMatchedTerms: z.ZodOptional<z.ZodBoolean>;
+            afterScore: z.ZodOptional<z.ZodNumber>;
+            afterKey: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>;
+        timeoutMs: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strip>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"CLUSTER_SEARCH_RESP">;
+    payload: z.ZodObject<{
+        requestId: z.ZodString;
+        nodeId: z.ZodString;
+        results: z.ZodArray<z.ZodObject<{
+            key: z.ZodString;
+            value: z.ZodUnknown;
+            score: z.ZodNumber;
+            matchedTerms: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        }, z.core.$strip>>;
+        totalHits: z.ZodNumber;
+        executionTimeMs: z.ZodNumber;
+        error: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"CLUSTER_SEARCH_SUBSCRIBE">;
+    payload: z.ZodObject<{
+        subscriptionId: z.ZodString;
+        mapName: z.ZodString;
+        query: z.ZodString;
+        options: z.ZodOptional<z.ZodObject<{
+            limit: z.ZodOptional<z.ZodNumber>;
+            minScore: z.ZodOptional<z.ZodNumber>;
+            boost: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
+        }, z.core.$strip>>;
     }, z.core.$strip>;
 }, z.core.$strip>, z.ZodObject<{
-    type: z.ZodLiteral<"LOCK_REQUEST">;
+    type: z.ZodLiteral<"CLUSTER_SEARCH_UNSUBSCRIBE">;
     payload: z.ZodObject<{
-        requestId: z.ZodString;
-        name: z.ZodString;
-        ttl: z.ZodOptional<z.ZodNumber>;
+        subscriptionId: z.ZodString;
     }, z.core.$strip>;
 }, z.core.$strip>, z.ZodObject<{
-    type: z.ZodLiteral<"LOCK_RELEASE">;
+    type: z.ZodLiteral<"CLUSTER_SEARCH_UPDATE">;
     payload: z.ZodObject<{
-        requestId: z.ZodOptional<z.ZodString>;
-        name: z.ZodString;
-        fencingToken: z.ZodNumber;
+        subscriptionId: z.ZodString;
+        nodeId: z.ZodString;
+        key: z.ZodString;
+        value: z.ZodUnknown;
+        score: z.ZodNumber;
+        matchedTerms: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        changeType: z.ZodEnum<{
+            UPDATE: "UPDATE";
+            ENTER: "ENTER";
+            LEAVE: "LEAVE";
+        }>;
     }, z.core.$strip>;
 }, z.core.$strip>, z.ZodObject<{
     type: z.ZodLiteral<"TOPIC_SUB">;
@@ -2909,118 +3668,52 @@ declare const MessageSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
         data: z.ZodAny;
     }, z.core.$strip>;
 }, z.core.$strip>, z.ZodObject<{
-    type: z.ZodLiteral<"PING">;
-    timestamp: z.ZodNumber;
-}, z.core.$strip>, z.ZodObject<{
-    type: z.ZodLiteral<"PONG">;
-    timestamp: z.ZodNumber;
-    serverTime: z.ZodNumber;
-}, z.core.$strip>, z.ZodObject<{
-    type: z.ZodLiteral<"ORMAP_SYNC_INIT">;
-    mapName: z.ZodString;
-    rootHash: z.ZodNumber;
-    bucketHashes: z.ZodRecord<z.ZodString, z.ZodNumber>;
-    lastSyncTimestamp: z.ZodOptional<z.ZodNumber>;
-}, z.core.$strip>, z.ZodObject<{
-    type: z.ZodLiteral<"ORMAP_SYNC_RESP_ROOT">;
-    payload: z.ZodObject<{
-        mapName: z.ZodString;
-        rootHash: z.ZodNumber;
-        timestamp: z.ZodObject<{
-            millis: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
-            counter: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
-            nodeId: z.ZodString;
-        }, z.core.$strip>;
-    }, z.core.$strip>;
-}, z.core.$strip>, z.ZodObject<{
-    type: z.ZodLiteral<"ORMAP_SYNC_RESP_BUCKETS">;
-    payload: z.ZodObject<{
-        mapName: z.ZodString;
-        path: z.ZodString;
-        buckets: z.ZodRecord<z.ZodString, z.ZodNumber>;
-    }, z.core.$strip>;
-}, z.core.$strip>, z.ZodObject<{
-    type: z.ZodLiteral<"ORMAP_MERKLE_REQ_BUCKET">;
+    type: z.ZodLiteral<"TOPIC_MESSAGE">;
     payload: z.ZodObject<{
-        mapName: z.ZodString;
-        path: z.ZodString;
+        topic: z.ZodString;
+        data: z.ZodAny;
+        publisherId: z.ZodOptional<z.ZodString>;
+        timestamp: z.ZodNumber;
     }, z.core.$strip>;
 }, z.core.$strip>, z.ZodObject<{
-    type: z.ZodLiteral<"ORMAP_SYNC_RESP_LEAF">;
+    type: z.ZodLiteral<"LOCK_REQUEST">;
     payload: z.ZodObject<{
-        mapName: z.ZodString;
-        path: z.ZodString;
-        entries: z.ZodArray<z.ZodObject<{
-            key: z.ZodString;
-            records: z.ZodArray<z.ZodObject<{
-                value: z.ZodAny;
-                timestamp: z.ZodObject<{
-                    millis: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
-                    counter: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
-                    nodeId: z.ZodString;
-                }, z.core.$strip>;
-                tag: z.ZodString;
-                ttlMs: z.ZodOptional<z.ZodNumber>;
-            }, z.core.$strip>>;
-            tombstones: z.ZodArray<z.ZodString>;
-        }, z.core.$strip>>;
+        requestId: z.ZodString;
+        name: z.ZodString;
+        ttl: z.ZodOptional<z.ZodNumber>;
     }, z.core.$strip>;
 }, z.core.$strip>, z.ZodObject<{
-    type: z.ZodLiteral<"ORMAP_DIFF_REQUEST">;
+    type: z.ZodLiteral<"LOCK_RELEASE">;
     payload: z.ZodObject<{
-        mapName: z.ZodString;
-        keys: z.ZodArray<z.ZodString>;
+        requestId: z.ZodOptional<z.ZodString>;
+        name: z.ZodString;
+        fencingToken: z.ZodNumber;
     }, z.core.$strip>;
 }, z.core.$strip>, z.ZodObject<{
-    type: z.ZodLiteral<"ORMAP_DIFF_RESPONSE">;
+    type: z.ZodLiteral<"COUNTER_REQUEST">;
     payload: z.ZodObject<{
-        mapName: z.ZodString;
-        entries: z.ZodArray<z.ZodObject<{
-            key: z.ZodString;
-            records: z.ZodArray<z.ZodObject<{
-                value: z.ZodAny;
-                timestamp: z.ZodObject<{
-                    millis: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
-                    counter: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
-                    nodeId: z.ZodString;
-                }, z.core.$strip>;
-                tag: z.ZodString;
-                ttlMs: z.ZodOptional<z.ZodNumber>;
-            }, z.core.$strip>>;
-            tombstones: z.ZodArray<z.ZodString>;
-        }, z.core.$strip>>;
+        name: z.ZodString;
     }, z.core.$strip>;
 }, z.core.$strip>, z.ZodObject<{
-    type: z.ZodLiteral<"ORMAP_PUSH_DIFF">;
+    type: z.ZodLiteral<"COUNTER_SYNC">;
     payload: z.ZodObject<{
-        mapName: z.ZodString;
-        entries: z.ZodArray<z.ZodObject<{
-            key: z.ZodString;
-            records: z.ZodArray<z.ZodObject<{
-                value: z.ZodAny;
-                timestamp: z.ZodObject<{
-                    millis: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
-                    counter: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
-                    nodeId: z.ZodString;
-                }, z.core.$strip>;
-                tag: z.ZodString;
-                ttlMs: z.ZodOptional<z.ZodNumber>;
-            }, z.core.$strip>>;
-            tombstones: z.ZodArray<z.ZodString>;
-        }, z.core.$strip>>;
+        name: z.ZodString;
+        state: z.ZodObject<{
+            p: z.ZodRecord<z.ZodString, z.ZodNumber>;
+            n: z.ZodRecord<z.ZodString, z.ZodNumber>;
+        }, z.core.$strip>;
     }, z.core.$strip>;
 }, z.core.$strip>, z.ZodObject<{
-    type: z.ZodLiteral<"PARTITION_MAP_REQUEST">;
-    payload: z.ZodOptional<z.ZodObject<{
-        currentVersion: z.ZodOptional<z.ZodNumber>;
-    }, z.core.$strip>>;
-}, z.core.$strip>, z.ZodObject<{
-    type: z.ZodLiteral<"COUNTER_REQUEST">;
+    type: z.ZodLiteral<"COUNTER_RESPONSE">;
     payload: z.ZodObject<{
         name: z.ZodString;
+        state: z.ZodObject<{
+            p: z.ZodRecord<z.ZodString, z.ZodNumber>;
+            n: z.ZodRecord<z.ZodString, z.ZodNumber>;
+        }, z.core.$strip>;
     }, z.core.$strip>;
 }, z.core.$strip>, z.ZodObject<{
-    type: z.ZodLiteral<"COUNTER_SYNC">;
+    type: z.ZodLiteral<"COUNTER_UPDATE">;
     payload: z.ZodObject<{
         name: z.ZodString;
         state: z.ZodObject<{
@@ -3028,6 +3721,13 @@ declare const MessageSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
             n: z.ZodRecord<z.ZodString, z.ZodNumber>;
         }, z.core.$strip>;
     }, z.core.$strip>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"PING">;
+    timestamp: z.ZodNumber;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"PONG">;
+    timestamp: z.ZodNumber;
+    serverTime: z.ZodNumber;
 }, z.core.$strip>, z.ZodObject<{
     type: z.ZodLiteral<"ENTRY_PROCESS">;
     requestId: z.ZodString;
@@ -3177,121 +3877,116 @@ declare const MessageSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
         keyPattern: z.ZodOptional<z.ZodString>;
     }, z.core.$strip>>;
 }, z.core.$strip>, z.ZodObject<{
-    type: z.ZodLiteral<"SEARCH">;
+    type: z.ZodLiteral<"SERVER_EVENT">;
     payload: z.ZodObject<{
-        requestId: z.ZodString;
         mapName: z.ZodString;
-        query: z.ZodString;
-        options: z.ZodOptional<z.ZodObject<{
-            limit: z.ZodOptional<z.ZodNumber>;
-            minScore: z.ZodOptional<z.ZodNumber>;
-            boost: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
-        }, z.core.$strip>>;
-    }, z.core.$strip>;
-}, z.core.$strip>, z.ZodObject<{
-    type: z.ZodLiteral<"SEARCH_RESP">;
-    payload: z.ZodObject<{
-        requestId: z.ZodString;
-        results: z.ZodArray<z.ZodObject<{
-            key: z.ZodString;
-            value: z.ZodUnknown;
-            score: z.ZodNumber;
-            matchedTerms: z.ZodArray<z.ZodString>;
+        eventType: z.ZodEnum<{
+            PUT: "PUT";
+            REMOVE: "REMOVE";
+            OR_ADD: "OR_ADD";
+            OR_REMOVE: "OR_REMOVE";
+        }>;
+        key: z.ZodString;
+        record: z.ZodOptional<z.ZodObject<{
+            value: z.ZodNullable<z.ZodAny>;
+            timestamp: z.ZodObject<{
+                millis: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
+                counter: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
+                nodeId: z.ZodString;
+            }, z.core.$strip>;
+            ttlMs: z.ZodOptional<z.ZodNumber>;
         }, z.core.$strip>>;
-        totalCount: z.ZodNumber;
-        error: z.ZodOptional<z.ZodString>;
-    }, z.core.$strip>;
-}, z.core.$strip>, z.ZodObject<{
-    type: z.ZodLiteral<"SEARCH_SUB">;
-    payload: z.ZodObject<{
-        subscriptionId: z.ZodString;
-        mapName: z.ZodString;
-        query: z.ZodString;
-        options: z.ZodOptional<z.ZodObject<{
-            limit: z.ZodOptional<z.ZodNumber>;
-            minScore: z.ZodOptional<z.ZodNumber>;
-            boost: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
+        orRecord: z.ZodOptional<z.ZodObject<{
+            value: z.ZodAny;
+            timestamp: z.ZodObject<{
+                millis: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
+                counter: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
+                nodeId: z.ZodString;
+            }, z.core.$strip>;
+            tag: z.ZodString;
+            ttlMs: z.ZodOptional<z.ZodNumber>;
         }, z.core.$strip>>;
+        orTag: z.ZodOptional<z.ZodString>;
     }, z.core.$strip>;
 }, z.core.$strip>, z.ZodObject<{
-    type: z.ZodLiteral<"SEARCH_UPDATE">;
+    type: z.ZodLiteral<"SERVER_BATCH_EVENT">;
     payload: z.ZodObject<{
-        subscriptionId: z.ZodString;
-        key: z.ZodString;
-        value: z.ZodUnknown;
-        score: z.ZodNumber;
-        matchedTerms: z.ZodArray<z.ZodString>;
-        type: z.ZodEnum<{
-            UPDATE: "UPDATE";
-            ENTER: "ENTER";
-            LEAVE: "LEAVE";
-        }>;
+        events: z.ZodArray<z.ZodObject<{
+            mapName: z.ZodString;
+            eventType: z.ZodEnum<{
+                PUT: "PUT";
+                REMOVE: "REMOVE";
+                OR_ADD: "OR_ADD";
+                OR_REMOVE: "OR_REMOVE";
+            }>;
+            key: z.ZodString;
+            record: z.ZodOptional<z.ZodObject<{
+                value: z.ZodNullable<z.ZodAny>;
+                timestamp: z.ZodObject<{
+                    millis: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
+                    counter: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
+                    nodeId: z.ZodString;
+                }, z.core.$strip>;
+                ttlMs: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strip>>;
+            orRecord: z.ZodOptional<z.ZodObject<{
+                value: z.ZodAny;
+                timestamp: z.ZodObject<{
+                    millis: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
+                    counter: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
+                    nodeId: z.ZodString;
+                }, z.core.$strip>;
+                tag: z.ZodString;
+                ttlMs: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strip>>;
+            orTag: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>;
     }, z.core.$strip>;
 }, z.core.$strip>, z.ZodObject<{
-    type: z.ZodLiteral<"SEARCH_UNSUB">;
+    type: z.ZodLiteral<"GC_PRUNE">;
     payload: z.ZodObject<{
-        subscriptionId: z.ZodString;
+        olderThan: z.ZodObject<{
+            millis: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
+            counter: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt]>, z.ZodTransform<number, number | bigint>>;
+            nodeId: z.ZodString;
+        }, z.core.$strip>;
     }, z.core.$strip>;
 }, z.core.$strip>, z.ZodObject<{
-    type: z.ZodLiteral<"CLUSTER_SUB_REGISTER">;
+    type: z.ZodLiteral<"AUTH_ACK">;
+    protocolVersion: z.ZodOptional<z.ZodNumber>;
+    userId: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"AUTH_FAIL">;
+    error: z.ZodOptional<z.ZodString>;
+    code: z.ZodOptional<z.ZodNumber>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"ERROR">;
     payload: z.ZodObject<{
-        subscriptionId: z.ZodString;
-        coordinatorNodeId: z.ZodString;
-        mapName: z.ZodString;
-        type: z.ZodEnum<{
-            SEARCH: "SEARCH";
-            QUERY: "QUERY";
-        }>;
-        searchQuery: z.ZodOptional<z.ZodString>;
-        searchOptions: z.ZodOptional<z.ZodObject<{
-            limit: z.ZodOptional<z.ZodNumber>;
-            minScore: z.ZodOptional<z.ZodNumber>;
-            boost: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
-        }, z.core.$strip>>;
-        queryPredicate: z.ZodOptional<z.ZodAny>;
-        querySort: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodEnum<{
-            asc: "asc";
-            desc: "desc";
-        }>>>;
+        code: z.ZodNumber;
+        message: z.ZodString;
+        details: z.ZodOptional<z.ZodUnknown>;
     }, z.core.$strip>;
 }, z.core.$strip>, z.ZodObject<{
-    type: z.ZodLiteral<"CLUSTER_SUB_ACK">;
+    type: z.ZodLiteral<"LOCK_GRANTED">;
     payload: z.ZodObject<{
-        subscriptionId: z.ZodString;
-        nodeId: z.ZodString;
-        success: z.ZodBoolean;
-        error: z.ZodOptional<z.ZodString>;
-        initialResults: z.ZodOptional<z.ZodArray<z.ZodObject<{
-            key: z.ZodString;
-            value: z.ZodUnknown;
-            score: z.ZodOptional<z.ZodNumber>;
-            matchedTerms: z.ZodOptional<z.ZodArray<z.ZodString>>;
-        }, z.core.$strip>>>;
-        totalHits: z.ZodOptional<z.ZodNumber>;
+        requestId: z.ZodString;
+        name: z.ZodString;
+        fencingToken: z.ZodNumber;
     }, z.core.$strip>;
 }, z.core.$strip>, z.ZodObject<{
-    type: z.ZodLiteral<"CLUSTER_SUB_UPDATE">;
+    type: z.ZodLiteral<"LOCK_RELEASED">;
     payload: z.ZodObject<{
-        subscriptionId: z.ZodString;
-        sourceNodeId: z.ZodString;
-        key: z.ZodString;
-        value: z.ZodUnknown;
-        score: z.ZodOptional<z.ZodNumber>;
-        matchedTerms: z.ZodOptional<z.ZodArray<z.ZodString>>;
-        changeType: z.ZodEnum<{
-            UPDATE: "UPDATE";
-            ENTER: "ENTER";
-            LEAVE: "LEAVE";
-        }>;
-        timestamp: z.ZodNumber;
+        requestId: z.ZodString;
+        name: z.ZodString;
+        success: z.ZodBoolean;
     }, z.core.$strip>;
 }, z.core.$strip>, z.ZodObject<{
-    type: z.ZodLiteral<"CLUSTER_SUB_UNREGISTER">;
+    type: z.ZodLiteral<"SYNC_RESET_REQUIRED">;
     payload: z.ZodObject<{
-        subscriptionId: z.ZodString;
+        mapName: z.ZodString;
+        reason: z.ZodString;
     }, z.core.$strip>;
 }, z.core.$strip>], "type">;
-type Message = z.infer<typeof MessageSchema>;
 
 /**
  * Write Concern - Configurable Acknowledgment Levels
@@ -3446,16 +4141,7 @@ interface PartitionMap {
     partitions: PartitionInfo[];
     generatedAt: number;
 }
-interface PartitionMapMessage {
-    type: 'PARTITION_MAP';
-    payload: PartitionMap;
-}
-interface PartitionMapRequestMessage {
-    type: 'PARTITION_MAP_REQUEST';
-    payload?: {
-        currentVersion?: number;
-    };
-}
+
 interface PartitionChange {
     partitionId: number;
     previousOwner: string;
@@ -4401,12 +5087,34 @@ interface QueryOptions {
     limit?: number;
     /** Cursor for pagination (replaces offset) */
     cursor?: string;
+    /** Force use of an index on this attribute name. Throws if no index exists for the attribute. */
+    useIndex?: string;
+    /** Require that the query plan uses at least one index. Throws if plan would be a full scan. */
+    forceIndexScan?: boolean;
+    /** Skip all optimization; produce a full-scan plan. Useful for debugging. */
+    disableOptimization?: boolean;
+}
+/**
+ * Point lookup step - O(1) direct key access.
+ */
+interface PointLookupStep {
+    type: 'point-lookup';
+    key: unknown;
+    cost: number;
+}
+/**
+ * Multi-point lookup step - O(k) direct key access for k keys.
+ */
+interface MultiPointLookupStep {
+    type: 'multi-point-lookup';
+    keys: unknown[];
+    cost: number;
 }
 /**
  * Execution plan step.
  * Represents a single operation in the query execution plan.
  */
-type PlanStep = IndexScanStep | FullScanStep | IntersectionStep | UnionStep | FilterStep | NotStep | FTSScanStep | FusionStep;
+type PlanStep = PointLookupStep | MultiPointLookupStep | IndexScanStep | FullScanStep | IntersectionStep | UnionStep | FilterStep | NotStep | FTSScanStep | FusionStep;
 /**
  * Index scan step - retrieves from an index.
  */
@@ -4508,7 +5216,56 @@ interface QueryPlan {
     limit?: number;
     /** Cursor for pagination (replaces offset) */
     cursor?: string;
-}
+    /** Index hint that was applied (attribute name from useIndex option) */
+    hint?: string;
+}
+/**
+ * Query execution context for distributed cost estimation.
+ */
+interface QueryContext {
+    /** Whether query executes in distributed mode */
+    isDistributed: boolean;
+    /** Number of nodes in cluster */
+    nodeCount: number;
+    /** Whether query uses PostgreSQL storage */
+    usesStorage: boolean;
+    /** Local node ID for partition ownership checks */
+    localNodeId?: string;
+    /** Partition ownership map: partitionId -> ownerNodeId */
+    partitionOwners?: Map<number, string>;
+}
+/**
+ * Distributed query cost model.
+ * Inspired by Hazelcast CostUtils.java
+ */
+interface DistributedCost {
+    /** Estimated number of rows */
+    rows: number;
+    /** CPU cost (computation) */
+    cpu: number;
+    /** Network cost (data transfer between nodes) */
+    network: number;
+    /** I/O cost (disk reads for PostgreSQL) */
+    io: number;
+}
+/**
+ * Cost multipliers for distributed query optimization.
+ * Network is weighted 10x higher than CPU because network latency
+ * typically dominates query execution time in distributed systems.
+ */
+declare const COST_WEIGHTS: {
+    readonly CPU: 1;
+    readonly NETWORK: 10;
+    readonly IO: 5;
+    readonly ROWS: 0.001;
+};
+/**
+ * Calculate total cost from distributed cost components.
+ *
+ * @param cost - Distributed cost breakdown
+ * @returns Weighted total cost
+ */
+declare function calculateTotalCost(cost: DistributedCost): number;
 /**
  * Check if a query is a simple query node.
  */
@@ -7063,21 +7820,54 @@ declare class QueryOptimizer<K, V> {
      * Optimize a query and return an execution plan.
      *
      * Optimization order (by cost):
-     * 1. StandingQueryIndex (cost: 10) - pre-computed results
-     * 2. Other indexes via optimizeNode
+     * 1. Point lookup (cost: 1) - direct primary key access
+     * 2. StandingQueryIndex (cost: 10) - pre-computed results
+     * 3. Other indexes via optimizeNode
      *
      * @param query - Query to optimize
      * @returns Query execution plan
      */
     optimize(query: Query): QueryPlan;
     /**
-     * Optimize a query with sort/limit/offset options.
+     * Optimize a query with sort/limit/offset options and index hints.
+     *
+     * Hint precedence: disableOptimization > useIndex > forceIndexScan.
      *
      * @param query - Query to optimize
-     * @param options - Query options (sort, limit, offset)
+     * @param options - Query options (sort, limit, cursor, hints)
      * @returns Query execution plan with options
      */
     optimizeWithOptions(query: Query, options: QueryOptions): QueryPlan;
+    /**
+     * Apply sort/limit/cursor options to a query plan.
+     *
+     * @param plan - Base query plan
+     * @param options - Query options with sort/limit/cursor
+     * @returns Plan with options applied
+     */
+    private applyPlanOptions;
+    /**
+     * Extract the relevant index query for a hinted attribute from the query tree.
+     * If the query directly references the attribute, build an index query from it.
+     * For compound (logical) queries, extract the matching child predicate.
+     * Falls back to { type: 'has' } when no matching predicate is found,
+     * retrieving all entries from the index for post-filtering.
+     * FTS query nodes also fall back to { type: 'has' } since full-text search
+     * queries are not compatible with regular index lookups.
+     *
+     * @param query - Original query tree
+     * @param attributeName - Hinted attribute name
+     * @returns Index query for the hinted attribute
+     */
+    private buildHintedIndexQuery;
+    /**
+     * Try to optimize query as a point lookup.
+     * Returns a point lookup step if query is an equality or IN query on primary key.
+     *
+     * @param query - Query to check
+     * @returns Point lookup step or null
+     */
+    private tryPointLookup;
     /**
      * Optimize a single query node.
      */
@@ -7178,6 +7968,29 @@ declare class QueryOptimizer<K, V> {
      * Estimate the execution cost of a plan step.
      */
     private estimateCost;
+    /**
+     * Estimate distributed cost including network overhead.
+     *
+     * Network cost is assigned based on step type:
+     * - full-scan: broadcast to all nodes (highest cost)
+     * - index-scan: 0 if local partition, 5 if remote
+     * - point-lookup: 0 if local key, 5 if remote
+     * - intersection/union: aggregating results from multiple sources
+     *
+     * @param step - Plan step to estimate
+     * @param context - Distributed query context (optional)
+     * @returns Distributed cost breakdown
+     */
+    estimateDistributedCost(step: PlanStep, context?: QueryContext): DistributedCost;
+    /**
+     * Get total distributed cost for a plan step.
+     * Convenience method combining estimateDistributedCost and calculateTotalCost.
+     *
+     * @param step - Plan step to estimate
+     * @param context - Distributed query context (optional)
+     * @returns Weighted total cost
+     */
+    getTotalDistributedCost(step: PlanStep, context?: QueryContext): number;
     /**
      * Check if a plan step uses any indexes.
      */
@@ -9312,4 +10125,366 @@ declare class SearchDebugger {
 declare function getSearchDebugger(): SearchDebugger;
 declare function resetSearchDebugger(): void;
 
-export { type Attribute, type AuthFailMessage, AuthFailMessageSchema, AuthMessageSchema, type BM25DebugInfo, type BM25Options, BM25Scorer, type BatchMessage, BatchMessageSchema, BuiltInProcessors, BuiltInResolvers, CRDTDebugger, type CRDTSnapshot, type CircuitBreakerConfig, type ClientOp, ClientOpMessageSchema, ClientOpSchema, type ClusterClientConfig, type ClusterEvents, type ReadOptions as ClusterReadOptions, type ClusterSearchReqMessage, ClusterSearchReqMessageSchema, type ClusterSearchReqPayload, ClusterSearchReqPayloadSchema, type ClusterSearchRespMessage, ClusterSearchRespMessageSchema, type ClusterSearchRespPayload, ClusterSearchRespPayloadSchema, type ClusterSearchSubscribeMessage, ClusterSearchSubscribeMessageSchema, type ClusterSearchSubscribePayload, ClusterSearchSubscribePayloadSchema, type ClusterSearchUnsubscribeMessage, ClusterSearchUnsubscribeMessageSchema, type ClusterSearchUnsubscribePayload, ClusterSearchUnsubscribePayloadSchema, type ClusterSearchUpdateMessage, ClusterSearchUpdateMessageSchema, type ClusterSearchUpdatePayload, ClusterSearchUpdatePayloadSchema, type ClusterSubAckMessage, ClusterSubAckMessageSchema, type ClusterSubAckPayload, ClusterSubAckPayloadSchema, type ClusterSubRegisterMessage, ClusterSubRegisterMessageSchema, type ClusterSubRegisterPayload, ClusterSubRegisterPayloadSchema, type ClusterSubUnregisterMessage, ClusterSubUnregisterMessageSchema, type ClusterSubUnregisterPayload, ClusterSubUnregisterPayloadSchema, type ClusterSubUpdateMessage, ClusterSubUpdateMessageSchema, type ClusterSubUpdatePayload, ClusterSubUpdatePayloadSchema, type WriteOptions as ClusterWriteOptions, type CompareFn, type ConflictInfo, type ConflictResolver, type ConflictResolverDef, ConflictResolverDefSchema, type ConflictResolverFn, ConflictResolverSchema, type ConnectionPoolConfig, type ConnectionState, ConsistencyLevel, CounterRequestSchema, CounterResponseSchema, CounterSyncSchema, CounterUpdateSchema, type CursorStatus$1 as CursorStatus, CursorStatusSchema, type CursorableQueryResult, type CursorableResult, DEFAULT_BACKUP_COUNT, DEFAULT_CIRCUIT_BREAKER_CONFIG, DEFAULT_CONNECTION_POOL_CONFIG, DEFAULT_CURSOR_MAX_AGE_MS, DEFAULT_EVENT_JOURNAL_CONFIG, DEFAULT_MIGRATION_CONFIG, DEFAULT_PARTITION_ROUTER_CONFIG, DEFAULT_PROCESSOR_RATE_LIMITS, DEFAULT_QUERY_CURSOR_MAX_AGE_MS, DEFAULT_REPLICATION_CONFIG, DEFAULT_RESOLVER_RATE_LIMITS, DEFAULT_STOP_WORDS, DEFAULT_WRITE_CONCERN_TIMEOUT, type DebugStatistics, ENGLISH_STOPWORDS, type EntryProcessBatchRequest, EntryProcessBatchRequestSchema, type EntryProcessBatchResponse, EntryProcessBatchResponseSchema, type EntryProcessKeyResult, EntryProcessKeyResultSchema, type EntryProcessRequest, EntryProcessRequestSchema, type EntryProcessResponse, EntryProcessResponseSchema, type EntryProcessorDef, EntryProcessorDefSchema, type EntryProcessorFn, type EntryProcessorResult, EntryProcessorSchema, type EventJournal, type EventJournalConfig, EventJournalImpl, type ExactMatchDebugInfo, FORBIDDEN_PATTERNS, BM25InvertedIndex as FTSInvertedIndex, type SearchOptions as FTSSearchOptions, type SearchResult as FTSSearchResult, BM25Tokenizer as FTSTokenizer, type TokenizerOptions as FTSTokenizerOptions, FallbackIndex, type FilterStep, FilteringResultSet, type FullScanStep, FullTextIndex, type FullTextIndexConfig, type GcPruneMessage, GcPruneMessageSchema, type GcPrunePayload, GcPrunePayloadSchema, HLC, HashIndex, type HybridQueryDeltaPayload, HybridQueryDeltaPayloadSchema, type HybridQueryRespPayload, HybridQueryRespPayloadSchema, type Index, type IndexQuery, IndexRegistry, type IndexRegistryStats, type IndexScanStep, type IndexStats, IndexedLWWMap, IndexedORMap, IntersectionResultSet, type IntersectionStep, InvertedIndex, type InvertedIndexStats, type IteratorFactory, type JournalEvent, type JournalEventData, JournalEventDataSchema, type JournalEventInput, type JournalEventListener, type JournalEventMessage, JournalEventMessageSchema, type JournalEventType, JournalEventTypeSchema, type JournalReadRequest, JournalReadRequestSchema, type JournalReadResponse, JournalReadResponseSchema, type JournalSubscribeRequest, JournalSubscribeRequestSchema, type JournalUnsubscribeRequest, JournalUnsubscribeRequestSchema, LWWMap, type LWWRecord, LWWRecordSchema, LazyResultSet, LimitResultSet, type ListResolversRequest, ListResolversRequestSchema, type ListResolversResponse, ListResolversResponseSchema, type LiveQueryCallback, type LiveQueryDeltaEvent, type LiveQueryEvent, type LiveQueryInitialEvent, LiveQueryManager, type LiveQueryManagerOptions, type LiveQueryManagerStats, type LockGrantedPayload, LockGrantedPayloadSchema, LockReleaseSchema, type LockReleasedPayload, LockReleasedPayloadSchema, LockRequestSchema, type Logger, type LogicalQueryNode, LowercaseFilter, type MatchOptions, MaxLengthFilter, type MergeContext, type MergeKeyResult, type MergeRejectedMessage, MergeRejectedMessageSchema, type MergeRejection, type MergeResult, type MergedResult, MerkleReqBucketMessageSchema, MerkleTree, type Message, MessageSchema, type MigrationChunkAckMessage, type MigrationChunkMessage, type MigrationCompleteMessage, type MigrationConfig, type MigrationMessage, type MigrationMetrics, type MigrationStartMessage, type MigrationStatus, type MigrationVerifyMessage, MinLengthFilter, MultiValueAttribute, NGramTokenizer, NavigableIndex, type NodeHealth, type NodeInfo, type NodeStatus, type NotOwnerError, type NotStep, ORMap, ORMapDiffRequestSchema, type ORMapDiffResponsePayload, ORMapDiffResponseSchema, type ORMapMerkleNode, ORMapMerkleReqBucketSchema, ORMapMerkleTree, ORMapPushDiffSchema, type ORMapQueryResult, type ORMapRecord, ORMapRecordSchema, type ORMapSearchResult, type ORMapSnapshot, ORMapSyncInitSchema, type ORMapSyncRespBucketsPayload, ORMapSyncRespBucketsSchema, type ORMapSyncRespLeafPayload, ORMapSyncRespLeafSchema, type ORMapSyncRespRootPayload, ORMapSyncRespRootSchema, type OpAckMessage, OpAckMessageSchema, OpBatchMessageSchema, type OpRejectedMessage, OpRejectedMessageSchema, type OpResult, OpResultSchema, type OperationQueryOptions, PARTITION_COUNT, type PNCounter, type PNCounterConfig, PNCounterImpl, type PNCounterState, type PNCounterStateObject, PNCounterStateObjectSchema, type PartitionChange, type PartitionInfo, type PartitionMap, type PartitionMapDeltaMessage, type PartitionMapMessage, type PartitionMapRequestMessage, PartitionMapRequestSchema, type PartitionMigration, type PartitionRouterConfig, PartitionState, type PendingWrite, type PermissionPolicy, type PermissionType, type PingMessage, PingMessageSchema, type PlanStep, type PongMessage, PongMessageSchema, type Posting, type PredicateFn, type PredicateNode, PredicateNodeSchema, type PredicateOp, PredicateOpSchema, Predicates, type Principal, type ProcessorRateLimitConfig, type Query$1 as Query, QueryCursor, type QueryCursorData, type QueryCursorOptions, type Query as QueryExpression, type QueryNode, QueryOptimizer, type QueryOptimizerOptions, type QueryOptions, type QueryPlan, type QueryRespMessage, QueryRespMessageSchema, type QueryRespPayload, QueryRespPayloadSchema, type QueryResultWithCursor, QuerySchema, QuerySubMessageSchema, QueryUnsubMessageSchema, type QueryUpdateMessage, QueryUpdateMessageSchema, type QueryUpdatePayload, QueryUpdatePayloadSchema, RESOLVER_FORBIDDEN_PATTERNS, type RRFConfig, type RRFDebugInfo, type RankedResult, ReciprocalRankFusion, type RegisterResolverRequest, RegisterResolverRequestSchema, type RegisterResolverResponse, RegisterResolverResponseSchema, type ReplicationAckMessage, type ReplicationBatchAckMessage, type ReplicationBatchMessage, type ReplicationConfig, type ReplicationHealth, type ReplicationLag, type ReplicationMessage, type ReplicationProtocolMessage, type ReplicationResult, type ReplicationTask, type ResolverRateLimitConfig, type ResultSet, Ringbuffer, type RoutingError, type ScoredDocument, SearchCursor, type SearchCursorData, type SearchDebugInfo, SearchDebugger, type SearchIndexStats, type SearchMessage, SearchMessageSchema, type SearchOptions$1 as SearchOptions, SearchOptionsSchema, type SearchPayload, SearchPayloadSchema, type SearchRespMessage, SearchRespMessageSchema, type SearchRespPayload, SearchRespPayloadSchema, type SearchResultDebug, type SearchSubMessage, SearchSubMessageSchema, type SearchSubPayload, SearchSubPayloadSchema, type SearchTiming, type SearchUnsubMessage, SearchUnsubMessageSchema, type SearchUnsubPayload, SearchUnsubPayloadSchema, type SearchUpdateMessage, SearchUpdateMessageSchema, type SearchUpdatePayload, SearchUpdatePayloadSchema, type SearchUpdateType, SearchUpdateTypeSchema, type SerializedIndex, type ServerBatchEventMessage, ServerBatchEventMessageSchema, type ServerEventMessage, ServerEventMessageSchema, type ServerEventPayload, ServerEventPayloadSchema, SetResultSet, SimpleAttribute, type SimpleQueryNode, SortedMap, SortedResultSet, type StaleMapError, type StandingQueryChange, StandingQueryIndex, type StandingQueryIndexOptions, StandingQueryRegistry, type StandingQueryRegistryOptions, type StandingQueryRegistryStats, StopWordFilter, SyncInitMessageSchema, type SyncResetRequiredPayload, SyncResetRequiredPayloadSchema, SyncRespBucketsMessageSchema, type SyncRespBucketsPayload, SyncRespLeafMessageSchema, type SyncRespLeafPayload, SyncRespRootMessageSchema, type SyncRespRootPayload, type TermInfo, type Timestamp, TimestampSchema, type TokenFilter, TokenizationPipeline, type TokenizationPipelineOptions, type Tokenizer, TopicMessageEventSchema, TopicPubSchema, TopicSubSchema, TopicUnsubSchema, TrimFilter, UnionResultSet, type UnionStep, UniqueFilter, type UnregisterResolverRequest, UnregisterResolverRequestSchema, type UnregisterResolverResponse, UnregisterResolverResponseSchema, type VectorDebugInfo, WRITE_CONCERN_ORDER, WhitespaceTokenizer, WordBoundaryTokenizer, WriteConcern, WriteConcernSchema, type WriteConcernValue, type WriteOptions$1 as WriteOptions, type WriteResult, combineHashes, compareHLCTimestamps, compareTimestamps, compareValues, createFieldComparator, createPredicateMatcher, decodeBase64Url, deepMerge, deserialize, disableNativeHash, encodeBase64Url, evaluatePredicate, getCRDTDebugger, getHighestWriteConcernLevel, getSearchDebugger, hashORMapEntry, hashORMapRecord, hashObject, hashString, isLogicalQuery, isSimpleQuery, isUsingNativeHash, isWriteConcernAchieved, logger, multiAttribute, porterStem, resetCRDTDebugger, resetNativeHash, resetSearchDebugger, serialize, simpleAttribute, timestampToString, validateProcessorCode, validateResolverCode };
+/**
+ * Real clock source using system time.
+ */
+declare const RealClock: ClockSource;
+/**
+ * Virtual clock for deterministic testing.
+ * Time only advances when explicitly requested via advance() or set().
+ *
+ * Usage:
+ * ```typescript
+ * const clock = new VirtualClock(1000000);
+ * clock.now(); // 1000000
+ * clock.advance(500);
+ * clock.now(); // 1000500
+ * ```
+ */
+declare class VirtualClock implements ClockSource {
+    private currentTime;
+    /**
+     * @param initialTime Starting timestamp in milliseconds (default: 0)
+     */
+    constructor(initialTime?: number);
+    /**
+     * Returns the current virtual time.
+     * Time remains frozen until advance() or set() is called.
+     */
+    now(): number;
+    /**
+     * Advances time forward by the specified milliseconds.
+     * @param ms Milliseconds to advance (must be non-negative)
+     */
+    advance(ms: number): void;
+    /**
+     * Sets the clock to a specific time.
+     * Allows moving time forward or backward (useful for testing).
+     * @param time Absolute timestamp in milliseconds
+     */
+    set(time: number): void;
+    /**
+     * Resets the clock to zero.
+     */
+    reset(): void;
+}
+
+/**
+ * Seeded pseudo-random number generator for deterministic testing.
+ * Uses the mulberry32 algorithm for fast, high-quality randomness.
+ *
+ * Usage:
+ * ```typescript
+ * const rng = new SeededRNG(12345);
+ * rng.random(); // 0.6011..., always same for seed 12345
+ * rng.randomInt(1, 10); // Deterministic integer in range
+ * ```
+ */
+declare class SeededRNG {
+    private state;
+    private readonly originalSeed;
+    /**
+     * @param seed Integer seed value. Same seed = same sequence.
+     */
+    constructor(seed: number);
+    /**
+     * Returns the original seed used to construct this RNG.
+     */
+    getSeed(): number;
+    /**
+     * Generates the next random number in [0, 1).
+     * Uses mulberry32 algorithm for deterministic, high-quality randomness.
+     */
+    random(): number;
+    /**
+     * Generates a random integer in [min, max] (inclusive).
+     * @param min Minimum value (inclusive)
+     * @param max Maximum value (inclusive)
+     */
+    randomInt(min: number, max: number): number;
+    /**
+     * Generates a random boolean value.
+     * @param probability Probability of returning true (default: 0.5)
+     */
+    randomBool(probability?: number): boolean;
+    /**
+     * Shuffles an array in place using Fisher-Yates algorithm.
+     * Returns the shuffled array.
+     * @param array Array to shuffle
+     */
+    shuffle<T>(array: T[]): T[];
+    /**
+     * Picks a random element from an array.
+     * @param array Array to pick from
+     * @returns Random element, or undefined if array is empty
+     */
+    pick<T>(array: T[]): T | undefined;
+    /**
+     * Resets the RNG to its original seed.
+     * Useful for reproducing a sequence from the start.
+     */
+    reset(): void;
+}
+
+/**
+ * Network configuration for chaos injection.
+ */
+interface NetworkConfig {
+    /** Latency range in milliseconds */
+    latencyMs: {
+        min: number;
+        max: number;
+    };
+    /** Packet loss rate (0.0 to 1.0) */
+    packetLossRate: number;
+    /** Groups that cannot communicate with each other */
+    partitions: string[][];
+}
+/**
+ * A message in flight through the virtual network.
+ */
+interface Message {
+    from: string;
+    to: string;
+    payload: unknown;
+    scheduledTime: number;
+}
+/**
+ * Virtual network for deterministic chaos testing.
+ * Simulates packet loss, latency, and network partitions.
+ *
+ * Usage:
+ * ```typescript
+ * const rng = new SeededRNG(123);
+ * const clock = new VirtualClock(1000);
+ * const network = new VirtualNetwork(rng, clock);
+ *
+ * network.configure({ packetLossRate: 0.1, latencyMs: { min: 10, max: 50 } });
+ * network.send('node-a', 'node-b', { type: 'sync' });
+ *
+ * clock.advance(30);
+ * const delivered = network.tick(); // Messages delivered at current time
+ * ```
+ */
+declare class VirtualNetwork {
+    private readonly rng;
+    private readonly clock;
+    private config;
+    private pendingMessages;
+    constructor(rng: SeededRNG, clock: VirtualClock);
+    /**
+     * Updates network configuration.
+     * Partially updates existing config with provided values.
+     */
+    configure(config: Partial<NetworkConfig>): void;
+    /**
+     * Sends a message through the network.
+     * Subject to packet loss, latency, and partition rules.
+     */
+    send(from: string, to: string, payload: unknown): void;
+    /**
+     * Creates a network partition between two groups.
+     * Nodes in groupA cannot communicate with nodes in groupB.
+     */
+    partition(groupA: string[], groupB: string[]): void;
+    /**
+     * Removes all network partitions.
+     */
+    heal(): void;
+    /**
+     * Delivers all messages scheduled at or before the current time.
+     * @returns Array of delivered messages
+     */
+    tick(): Message[];
+    /**
+     * Returns the number of messages currently in flight.
+     */
+    getPendingCount(): number;
+    /**
+     * Clears all pending messages.
+     */
+    clear(): void;
+    /**
+     * Checks if two nodes are partitioned from each other.
+     */
+    private isPartitioned;
+    /**
+     * Returns all pending messages (useful for debugging).
+     */
+    getPendingMessages(): Message[];
+}
+
+/**
+ * Invariant function signature.
+ * Returns true if the invariant holds, false otherwise.
+ */
+type Invariant<T> = (state: T) => boolean;
+/**
+ * Result of invariant verification.
+ */
+interface InvariantResult {
+    passed: boolean;
+    failures: string[];
+}
+/**
+ * Checker for property-based invariants.
+ * Used to verify CRDT consistency during simulation.
+ *
+ * Usage:
+ * ```typescript
+ * const checker = new InvariantChecker<MyState>();
+ * checker.addInvariant('no-nulls', (state) => state.value !== null);
+ * const result = checker.verify(state);
+ * if (!result.passed) {
+ *   console.log('Failures:', result.failures);
+ * }
+ * ```
+ */
+declare class InvariantChecker<T> {
+    private invariants;
+    /**
+     * Adds an invariant to be checked.
+     * @param name Unique name for this invariant
+     * @param check Function that returns true if invariant holds
+     */
+    addInvariant(name: string, check: Invariant<T>): void;
+    /**
+     * Removes an invariant by name.
+     */
+    removeInvariant(name: string): boolean;
+    /**
+     * Verifies all invariants against the provided state.
+     * @returns Result with pass/fail status and list of failed invariants
+     */
+    verify(state: T): InvariantResult;
+    /**
+     * Returns the number of registered invariants.
+     */
+    get count(): number;
+    /**
+     * Clears all invariants.
+     */
+    clear(): void;
+}
+/**
+ * Predefined CRDT invariants for common testing scenarios.
+ */
+declare const CRDTInvariants: {
+    /**
+     * Verifies LWW-Map convergence: all maps contain the same values for same keys.
+     */
+    lwwConvergence: <K, V>(maps: LWWMap<K, V>[]) => boolean;
+    /**
+     * Verifies OR-Map convergence: all maps contain the same values for same keys.
+     */
+    orMapConvergence: <K, V>(maps: ORMap<K, V>[]) => boolean;
+    /**
+     * Verifies HLC monotonicity: timestamps are strictly increasing.
+     */
+    hlcMonotonicity: (timestamps: Timestamp[]) => boolean;
+    /**
+     * Verifies Merkle tree consistency: trees with same data have same root hash.
+     */
+    merkleConsistency: (trees: MerkleTree[]) => boolean;
+};
+
+/**
+ * Configuration for a simulation scenario.
+ */
+interface ScenarioConfig {
+    /** Random seed for reproducibility (auto-generated if not provided) */
+    seed?: number;
+    /** List of node identifiers participating in the scenario */
+    nodes: string[];
+    /** Total duration in virtual milliseconds */
+    duration: number;
+    /** Virtual ms to advance per tick (default: 1) */
+    tickInterval?: number;
+}
+/**
+ * Result of a scenario execution.
+ */
+interface ScenarioResult {
+    /** Seed used for this run (for reproduction) */
+    seed: number;
+    /** Whether all invariants passed */
+    passed: boolean;
+    /** Number of ticks executed */
+    ticks: number;
+    /** List of invariant failures */
+    invariantFailures: string[];
+    /** Final state captured at end of scenario */
+    finalStates: Map<string, unknown>;
+}
+/**
+ * Orchestrates deterministic simulation scenarios.
+ * Combines virtual clock, seeded RNG, and virtual network for reproducible testing.
+ *
+ * Usage:
+ * ```typescript
+ * const runner = new ScenarioRunner({
+ *   seed: 12345,
+ *   nodes: ['node-a', 'node-b'],
+ *   duration: 1000
+ * });
+ *
+ * const result = runner.run(
+ *   (r) => {
+ *     // Setup: create CRDTs, configure network
+ *     r.getNetwork().configure({ packetLossRate: 0.1 });
+ *   },
+ *   (r, tick) => {
+ *     // Step: simulate operations, deliver messages
+ *     if (tick === 500) r.getNetwork().heal();
+ *   },
+ *   invariants
+ * );
+ *
+ * if (!result.passed) {
+ *   console.log(`Failed with seed ${result.seed}`);
+ * }
+ * ```
+ */
+declare class ScenarioRunner {
+    private readonly config;
+    private readonly clock;
+    private readonly rng;
+    private readonly network;
+    private readonly seed;
+    constructor(config: ScenarioConfig);
+    /**
+     * Returns the seed used for this scenario.
+     */
+    getSeed(): number;
+    /**
+     * Returns the virtual clock instance.
+     */
+    getClock(): VirtualClock;
+    /**
+     * Returns the seeded RNG instance.
+     */
+    getRNG(): SeededRNG;
+    /**
+     * Returns the virtual network instance.
+     */
+    getNetwork(): VirtualNetwork;
+    /**
+     * Returns the list of nodes in this scenario.
+     */
+    getNodes(): string[];
+    /**
+     * Executes the simulation scenario.
+     *
+     * @param setup Called once before simulation starts. Initialize state here.
+     * @param step Called on each tick. Perform operations and message delivery.
+     * @param invariants Checker for verifying correctness throughout execution.
+     * @returns Result with pass/fail status and captured state
+     */
+    run(setup: (runner: ScenarioRunner) => void, step: (runner: ScenarioRunner, tick: number) => void, invariants: InvariantChecker<unknown>): ScenarioResult;
+    /**
+     * Stores state for a node (useful for capturing final state).
+     */
+    setState(nodeId: string, state: unknown): void;
+}
+
+export { type Attribute, type AuthAckMessage, AuthAckMessageSchema, type AuthFailMessage, AuthFailMessageSchema, type AuthMessage, AuthMessageSchema, type AuthRequiredMessage, AuthRequiredMessageSchema, type BM25DebugInfo, type BM25Options, BM25Scorer, type BatchMessage, BatchMessageSchema, BuiltInProcessors, BuiltInResolvers, COST_WEIGHTS, CRDTDebugger, CRDTInvariants, type CRDTSnapshot, type ChangeEventType, ChangeEventTypeSchema, type CircuitBreakerConfig, type ClientOp, type ClientOpMessage, ClientOpMessageSchema, ClientOpSchema, type ClockSource, type ClusterClientConfig, type ClusterEvents, type ReadOptions as ClusterReadOptions, type ClusterSearchReqMessage, ClusterSearchReqMessageSchema, type ClusterSearchReqPayload, ClusterSearchReqPayloadSchema, type ClusterSearchRespMessage, ClusterSearchRespMessageSchema, type ClusterSearchRespPayload, ClusterSearchRespPayloadSchema, type ClusterSearchSubscribeMessage, ClusterSearchSubscribeMessageSchema, type ClusterSearchSubscribePayload, ClusterSearchSubscribePayloadSchema, type ClusterSearchUnsubscribeMessage, ClusterSearchUnsubscribeMessageSchema, type ClusterSearchUnsubscribePayload, ClusterSearchUnsubscribePayloadSchema, type ClusterSearchUpdateMessage, ClusterSearchUpdateMessageSchema, type ClusterSearchUpdatePayload, ClusterSearchUpdatePayloadSchema, type ClusterSubAckMessage, ClusterSubAckMessageSchema, type ClusterSubAckPayload, ClusterSubAckPayloadSchema, type ClusterSubRegisterMessage, ClusterSubRegisterMessageSchema, type ClusterSubRegisterPayload, ClusterSubRegisterPayloadSchema, type ClusterSubUnregisterMessage, ClusterSubUnregisterMessageSchema, type ClusterSubUnregisterPayload, ClusterSubUnregisterPayloadSchema, type ClusterSubUpdateMessage, ClusterSubUpdateMessageSchema, type ClusterSubUpdatePayload, ClusterSubUpdatePayloadSchema, type WriteOptions as ClusterWriteOptions, type CompareFn, type ConflictInfo, type ConflictResolver, type ConflictResolverDef, ConflictResolverDefSchema, type ConflictResolverFn, ConflictResolverSchema, type ConnectionPoolConfig, type ConnectionState, ConsistencyLevel, type CounterRequest, CounterRequestSchema, type CounterResponse, CounterResponseSchema, type CounterSync, CounterSyncSchema, type CounterUpdate, CounterUpdateSchema, type CursorStatus$1 as CursorStatus, CursorStatusSchema, type CursorableQueryResult, type CursorableResult, DEFAULT_BACKUP_COUNT, DEFAULT_CIRCUIT_BREAKER_CONFIG, DEFAULT_CONNECTION_POOL_CONFIG, DEFAULT_CURSOR_MAX_AGE_MS, DEFAULT_EVENT_JOURNAL_CONFIG, DEFAULT_MIGRATION_CONFIG, DEFAULT_PARTITION_ROUTER_CONFIG, DEFAULT_PROCESSOR_RATE_LIMITS, DEFAULT_QUERY_CURSOR_MAX_AGE_MS, DEFAULT_REPLICATION_CONFIG, DEFAULT_RESOLVER_RATE_LIMITS, DEFAULT_STOP_WORDS, DEFAULT_WRITE_CONCERN_TIMEOUT, type DebugStatistics, type DeltaRecord, DeltaRecordSchema, type DistributedCost, ENGLISH_STOPWORDS, type EntryProcessBatchRequest, EntryProcessBatchRequestSchema, type EntryProcessBatchResponse, EntryProcessBatchResponseSchema, type EntryProcessKeyResult, EntryProcessKeyResultSchema, type EntryProcessRequest, EntryProcessRequestSchema, type EntryProcessResponse, EntryProcessResponseSchema, type EntryProcessor, type EntryProcessorDef, EntryProcessorDefSchema, type EntryProcessorFn, type EntryProcessorResult, EntryProcessorSchema, type ErrorMessage, ErrorMessageSchema, type EventJournal, type EventJournalConfig, EventJournalImpl, type ExactMatchDebugInfo, FORBIDDEN_PATTERNS, BM25InvertedIndex as FTSInvertedIndex, type SearchOptions as FTSSearchOptions, type SearchResult as FTSSearchResult, BM25Tokenizer as FTSTokenizer, type TokenizerOptions as FTSTokenizerOptions, FallbackIndex, type FilterStep, FilteringResultSet, type FullScanStep, FullTextIndex, type FullTextIndexConfig, type GcPruneMessage, GcPruneMessageSchema, type GcPrunePayload, GcPrunePayloadSchema, HLC, HashIndex, type HttpQueryRequest, HttpQueryRequestSchema, type HttpQueryResult, HttpQueryResultSchema, type HttpSearchRequest, HttpSearchRequestSchema, type HttpSearchResult, HttpSearchResultSchema, type HttpSyncError, HttpSyncErrorSchema, type HttpSyncRequest, HttpSyncRequestSchema, type HttpSyncResponse, HttpSyncResponseSchema, type Index, type IndexQuery, IndexRegistry, type IndexRegistryStats, type IndexScanStep, type IndexStats, IndexedLWWMap, IndexedORMap, IntersectionResultSet, type IntersectionStep, type Invariant, InvariantChecker, type InvariantResult, InvertedIndex, type InvertedIndexStats, type IteratorFactory, type JournalEvent, type JournalEventData, JournalEventDataSchema, type JournalEventInput, type JournalEventListener, type JournalEventMessage, JournalEventMessageSchema, type JournalEventType, JournalEventTypeSchema, type JournalReadRequest, JournalReadRequestSchema, type JournalReadResponse, JournalReadResponseSchema, type JournalSubscribeRequest, JournalSubscribeRequestSchema, type JournalUnsubscribeRequest, JournalUnsubscribeRequestSchema, LWWMap, type LWWRecord, LWWRecordSchema, LazyResultSet, LimitResultSet, type ListResolversRequest, ListResolversRequestSchema, type ListResolversResponse, ListResolversResponseSchema, type LiveQueryCallback, type LiveQueryDeltaEvent, type LiveQueryEvent, type LiveQueryInitialEvent, LiveQueryManager, type LiveQueryManagerOptions, type LiveQueryManagerStats, type LockGrantedMessage, LockGrantedMessageSchema, type LockGrantedPayload, LockGrantedPayloadSchema, type LockRelease, LockReleaseSchema, type LockReleasedMessage, LockReleasedMessageSchema, type LockReleasedPayload, LockReleasedPayloadSchema, type LockRequest, LockRequestSchema, type Logger, type LogicalQueryNode, LowercaseFilter, type MapDelta, MapDeltaSchema, type MatchOptions, MaxLengthFilter, type MergeContext, type MergeKeyResult, type MergeRejectedMessage, MergeRejectedMessageSchema, type MergeRejection, type MergeResult, type MergedResult, type MerkleReqBucketMessage, MerkleReqBucketMessageSchema, MerkleTree, type Message, MessageSchema, type MigrationChunkAckMessage, type MigrationChunkMessage, type MigrationCompleteMessage, type MigrationConfig, type MigrationMessage, type MigrationMetrics, type MigrationStartMessage, type MigrationStatus, type MigrationVerifyMessage, MinLengthFilter, MultiValueAttribute, NGramTokenizer, NavigableIndex, type NetworkConfig, type NodeHealth, type NodeInfo, NodeInfoSchema, type NodeInfoZod, type NodeStatus, type NotOwnerError, type NotStep, ORMap, type ORMapDiffRequest, ORMapDiffRequestSchema, type ORMapDiffResponse, type ORMapDiffResponsePayload, ORMapDiffResponseSchema, type ORMapEntry, ORMapEntrySchema, type ORMapMerkleNode, type ORMapMerkleReqBucket, ORMapMerkleReqBucketSchema, ORMapMerkleTree, type ORMapPushDiff, ORMapPushDiffSchema, type ORMapQueryResult, type ORMapRecord, ORMapRecordSchema, type ORMapSearchResult, type ORMapSnapshot, type ORMapSyncInit, ORMapSyncInitSchema, type ORMapSyncRespBuckets, type ORMapSyncRespBucketsPayload, ORMapSyncRespBucketsSchema, type ORMapSyncRespLeaf, type ORMapSyncRespLeafPayload, ORMapSyncRespLeafSchema, type ORMapSyncRespRoot, type ORMapSyncRespRootPayload, ORMapSyncRespRootSchema, type OpAckMessage, OpAckMessageSchema, type OpBatchMessage, OpBatchMessageSchema, type OpRejectedMessage, OpRejectedMessageSchema, type OpResult, OpResultSchema, type OperationQueryOptions, PARTITION_COUNT, type PNCounter, type PNCounterConfig, PNCounterImpl, type PNCounterState, type PNCounterStateObject, PNCounterStateObjectSchema, type PartitionChange, type PartitionInfo, PartitionInfoSchema, type PartitionInfoZod, type PartitionMap, type PartitionMapDeltaMessage, type PartitionMapMessage, PartitionMapMessageSchema, type PartitionMapPayload, PartitionMapPayloadSchema, type PartitionMapRequest, type PartitionMapRequest as PartitionMapRequestMessage, PartitionMapRequestSchema, type PartitionMigration, type PartitionRouterConfig, PartitionState, type PendingWrite, type PermissionPolicy, type PermissionType, type PingMessage, PingMessageSchema, type PlanStep, type PongMessage, PongMessageSchema, type Posting, type PredicateFn, type PredicateNode, PredicateNodeSchema, type PredicateOp, PredicateOpSchema, Predicates, type Principal, type ProcessorRateLimitConfig, type Query$1 as Query, type QueryContext, QueryCursor, type QueryCursorData, type QueryCursorOptions, type Query as QueryExpression, type QueryNode, QueryOptimizer, type QueryOptimizerOptions, type QueryOptions, type QueryPlan, type QueryRespMessage, QueryRespMessageSchema, type QueryRespPayload, QueryRespPayloadSchema, type QueryResultWithCursor, QuerySchema, type QuerySubMessage, QuerySubMessageSchema, type QueryUnsubMessage, QueryUnsubMessageSchema, type QueryUpdateMessage, QueryUpdateMessageSchema, type QueryUpdatePayload, QueryUpdatePayloadSchema, RESOLVER_FORBIDDEN_PATTERNS, type RRFConfig, type RRFDebugInfo, type RankedResult, RealClock, ReciprocalRankFusion, type RegisterResolverRequest, RegisterResolverRequestSchema, type RegisterResolverResponse, RegisterResolverResponseSchema, type ReplicationAckMessage, type ReplicationBatchAckMessage, type ReplicationBatchMessage, type ReplicationConfig, type ReplicationHealth, type ReplicationLag, type ReplicationMessage, type ReplicationProtocolMessage, type ReplicationResult, type ReplicationTask, type ResolverRateLimitConfig, type ResultSet, Ringbuffer, type RoutingError, type ScenarioConfig, type ScenarioResult, ScenarioRunner, type ScoredDocument, SearchCursor, type SearchCursorData, type SearchDebugInfo, SearchDebugger, type SearchIndexStats, type SearchMessage, SearchMessageSchema, type SearchOptions$1 as SearchOptions, SearchOptionsSchema, type SearchPayload, SearchPayloadSchema, type SearchRespMessage, SearchRespMessageSchema, type SearchRespPayload, SearchRespPayloadSchema, type SearchResultDebug, type SearchSubMessage, SearchSubMessageSchema, type SearchSubPayload, SearchSubPayloadSchema, type SearchTiming, type SearchUnsubMessage, SearchUnsubMessageSchema, type SearchUnsubPayload, SearchUnsubPayloadSchema, type SearchUpdateMessage, SearchUpdateMessageSchema, type SearchUpdatePayload, SearchUpdatePayloadSchema, type SearchUpdateType, SearchUpdateTypeSchema, SeededRNG, type SerializedIndex, type ServerBatchEventMessage, ServerBatchEventMessageSchema, type ServerEventMessage, ServerEventMessageSchema, type ServerEventPayload, ServerEventPayloadSchema, SetResultSet, SimpleAttribute, type SimpleQueryNode, SortedMap, SortedResultSet, type StaleMapError, type StandingQueryChange, StandingQueryIndex, type StandingQueryIndexOptions, StandingQueryRegistry, type StandingQueryRegistryOptions, type StandingQueryRegistryStats, StopWordFilter, type SyncInitMessage, SyncInitMessageSchema, type SyncMapEntry, SyncMapEntrySchema, type SyncResetRequiredMessage, SyncResetRequiredMessageSchema, type SyncResetRequiredPayload, SyncResetRequiredPayloadSchema, type SyncRespBucketsMessage, SyncRespBucketsMessageSchema, type SyncRespBucketsPayload, type SyncRespLeafMessage, SyncRespLeafMessageSchema, type SyncRespLeafPayload, type SyncRespRootMessage, SyncRespRootMessageSchema, type SyncRespRootPayload, type TermInfo, type Timestamp, TimestampSchema, type TokenFilter, TokenizationPipeline, type TokenizationPipelineOptions, type Tokenizer, type TopicMessageEvent, TopicMessageEventSchema, type TopicPub, TopicPubSchema, type TopicSub, TopicSubSchema, type TopicUnsub, TopicUnsubSchema, TrimFilter, UnionResultSet, type UnionStep, UniqueFilter, type UnregisterResolverRequest, UnregisterResolverRequestSchema, type UnregisterResolverResponse, UnregisterResolverResponseSchema, type VectorDebugInfo, VirtualClock, VirtualNetwork, WRITE_CONCERN_ORDER, WhitespaceTokenizer, WordBoundaryTokenizer, WriteConcern, WriteConcernSchema, type WriteConcernValue, type WriteOptions$1 as WriteOptions, type WriteResult, calculateTotalCost, combineHashes, compareHLCTimestamps, compareTimestamps, compareValues, createFieldComparator, createPredicateMatcher, decodeBase64Url, deepMerge, deserialize, encodeBase64Url, evaluatePredicate, getCRDTDebugger, getHighestWriteConcernLevel, getSearchDebugger, hashORMapEntry, hashORMapRecord, hashObject, hashString, isLogicalQuery, isSimpleQuery, isWriteConcernAchieved, logger, multiAttribute, porterStem, resetCRDTDebugger, resetSearchDebugger, serialize, simpleAttribute, timestampToString, validateProcessorCode, validateResolverCode };