@topgunbuild/core 0.10.0 → 0.11.0

package/dist/index.d.mts

@@ -1,17 +1,55 @@
 import { z } from 'zod';
+import pino from 'pino';
 
 interface Timestamp {
     millis: number;
     counter: number;
     nodeId: string;
 }
+/**
+ * Clock source interface for time dependency injection.
+ */
+interface ClockSource {
+    now(): number;
+}
+/**
+ * Configuration options for HLC behavior.
+ */
+interface HLCOptions {
+    /**
+     * When true, update() throws an error if remote timestamp drift exceeds maxDriftMs.
+     * When false (default), a warning is logged but the timestamp is accepted.
+     */
+    strictMode?: boolean;
+    /**
+     * Maximum allowable clock drift in milliseconds.
+     * Remote timestamps beyond this threshold trigger strict mode rejection or warning.
+     * 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;
     private lastCounter;
     private readonly nodeId;
-    private static readonly MAX_DRIFT;
-    constructor(nodeId: string);
+    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.
@@ -1107,8 +1145,6 @@ interface MergeRejection {
  *
  * Uses native xxHash64 when available (via @topgunbuild/native),
  * falls back to FNV-1a for JS-only environments.
- *
- * Phase 3.05: Native Hash Integration
  */
 /**
  * Hash a string to a 32-bit unsigned integer.
@@ -1387,52 +1423,7 @@ declare const QuerySchema: z.ZodObject<{
     limit: z.ZodOptional<z.ZodNumber>;
     cursor: z.ZodOptional<z.ZodString>;
 }, z.core.$strip>;
-/**
- * Cursor status for debugging.
- * - valid: Cursor was valid and applied
- * - expired: Cursor was expired (fell back to first page)
- * - invalid: Cursor was malformed or hash mismatch (fell back to first page)
- * - none: No cursor was provided
- */
-declare const CursorStatusSchema: z.ZodEnum<{
-    valid: "valid";
-    expired: "expired";
-    invalid: "invalid";
-    none: "none";
-}>;
-declare const QueryRespPayloadSchema: 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>;
-declare const QueryRespMessageSchema: 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>;
+type Query$1 = z.infer<typeof QuerySchema>;
 declare const ClientOpSchema: z.ZodObject<{
     id: z.ZodOptional<z.ZodString>;
     mapName: z.ZodString;
@@ -1467,33 +1458,12 @@ declare const ClientOpSchema: z.ZodObject<{
     }>>;
     timeout: z.ZodOptional<z.ZodNumber>;
 }, z.core.$strip>;
+type ClientOp = z.infer<typeof ClientOpSchema>;
 declare const AuthMessageSchema: z.ZodObject<{
     type: z.ZodLiteral<"AUTH">;
     token: z.ZodString;
 }, z.core.$strip>;
-declare const QuerySubMessageSchema: 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>;
-declare const QueryUnsubMessageSchema: z.ZodObject<{
-    type: z.ZodLiteral<"QUERY_UNSUB">;
-    payload: z.ZodObject<{
-        queryId: z.ZodString;
-    }, z.core.$strip>;
-}, z.core.$strip>;
+
 declare const ClientOpMessageSchema: z.ZodObject<{
     type: z.ZodLiteral<"CLIENT_OP">;
     payload: z.ZodObject<{
@@ -1629,109 +1599,6 @@ declare const MerkleReqBucketMessageSchema: z.ZodObject<{
         path: z.ZodString;
     }, z.core.$strip>;
 }, z.core.$strip>;
-declare const LockRequestSchema: z.ZodObject<{
-    type: z.ZodLiteral<"LOCK_REQUEST">;
-    payload: z.ZodObject<{
-        requestId: z.ZodString;
-        name: z.ZodString;
-        ttl: z.ZodOptional<z.ZodNumber>;
-    }, z.core.$strip>;
-}, z.core.$strip>;
-declare const LockReleaseSchema: z.ZodObject<{
-    type: z.ZodLiteral<"LOCK_RELEASE">;
-    payload: z.ZodObject<{
-        requestId: z.ZodOptional<z.ZodString>;
-        name: z.ZodString;
-        fencingToken: z.ZodNumber;
-    }, z.core.$strip>;
-}, z.core.$strip>;
-declare const TopicSubSchema: z.ZodObject<{
-    type: z.ZodLiteral<"TOPIC_SUB">;
-    payload: z.ZodObject<{
-        topic: z.ZodString;
-    }, z.core.$strip>;
-}, z.core.$strip>;
-declare const TopicUnsubSchema: z.ZodObject<{
-    type: z.ZodLiteral<"TOPIC_UNSUB">;
-    payload: z.ZodObject<{
-        topic: z.ZodString;
-    }, z.core.$strip>;
-}, z.core.$strip>;
-declare const TopicPubSchema: z.ZodObject<{
-    type: z.ZodLiteral<"TOPIC_PUB">;
-    payload: z.ZodObject<{
-        topic: z.ZodString;
-        data: z.ZodAny;
-    }, z.core.$strip>;
-}, z.core.$strip>;
-declare const TopicMessageEventSchema: z.ZodObject<{
-    type: z.ZodLiteral<"TOPIC_MESSAGE">;
-    payload: z.ZodObject<{
-        topic: z.ZodString;
-        data: z.ZodAny;
-        publisherId: z.ZodOptional<z.ZodString>;
-        timestamp: z.ZodNumber;
-    }, z.core.$strip>;
-}, z.core.$strip>;
-declare const PNCounterStateObjectSchema: z.ZodObject<{
-    p: z.ZodRecord<z.ZodString, z.ZodNumber>;
-    n: z.ZodRecord<z.ZodString, z.ZodNumber>;
-}, z.core.$strip>;
-declare const CounterRequestSchema: z.ZodObject<{
-    type: z.ZodLiteral<"COUNTER_REQUEST">;
-    payload: z.ZodObject<{
-        name: z.ZodString;
-    }, z.core.$strip>;
-}, z.core.$strip>;
-declare const CounterSyncSchema: z.ZodObject<{
-    type: z.ZodLiteral<"COUNTER_SYNC">;
-    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>;
-declare const CounterResponseSchema: z.ZodObject<{
-    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>;
-declare const CounterUpdateSchema: z.ZodObject<{
-    type: z.ZodLiteral<"COUNTER_UPDATE">;
-    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>;
-declare const PingMessageSchema: z.ZodObject<{
-    type: z.ZodLiteral<"PING">;
-    timestamp: z.ZodNumber;
-}, z.core.$strip>;
-declare const PongMessageSchema: z.ZodObject<{
-    type: z.ZodLiteral<"PONG">;
-    timestamp: z.ZodNumber;
-    serverTime: z.ZodNumber;
-}, z.core.$strip>;
-/**
- * BATCH: Server sends multiple messages batched together.
- * Uses length-prefixed binary format for efficiency.
- * Format: [4 bytes: count][4 bytes: len1][msg1][4 bytes: len2][msg2]...
- */
-declare const BatchMessageSchema: z.ZodObject<{
-    type: z.ZodLiteral<"BATCH">;
-    count: z.ZodNumber;
-    data: z.ZodCustom<Uint8Array<ArrayBuffer>, Uint8Array<ArrayBuffer>>;
-}, z.core.$strip>;
 /**
  * ORMAP_SYNC_INIT: Client initiates ORMap sync
  * Sends root hash and bucket hashes to server
@@ -1743,9 +1610,6 @@ declare const ORMapSyncInitSchema: z.ZodObject<{
     bucketHashes: z.ZodRecord<z.ZodString, z.ZodNumber>;
     lastSyncTimestamp: z.ZodOptional<z.ZodNumber>;
 }, z.core.$strip>;
-/**
- * ORMAP_SYNC_RESP_ROOT: Server responds with its root hash
- */
 declare const ORMapSyncRespRootSchema: z.ZodObject<{
     type: z.ZodLiteral<"ORMAP_SYNC_RESP_ROOT">;
     payload: z.ZodObject<{
@@ -1758,9 +1622,6 @@ declare const ORMapSyncRespRootSchema: z.ZodObject<{
         }, z.core.$strip>;
     }, z.core.$strip>;
 }, z.core.$strip>;
-/**
- * ORMAP_SYNC_RESP_BUCKETS: Server sends bucket hashes for comparison
- */
 declare const ORMapSyncRespBucketsSchema: z.ZodObject<{
     type: z.ZodLiteral<"ORMAP_SYNC_RESP_BUCKETS">;
     payload: z.ZodObject<{
@@ -1769,9 +1630,6 @@ declare const ORMapSyncRespBucketsSchema: z.ZodObject<{
         buckets: z.ZodRecord<z.ZodString, z.ZodNumber>;
     }, z.core.$strip>;
 }, z.core.$strip>;
-/**
- * ORMAP_MERKLE_REQ_BUCKET: Client requests bucket details
- */
 declare const ORMapMerkleReqBucketSchema: z.ZodObject<{
     type: z.ZodLiteral<"ORMAP_MERKLE_REQ_BUCKET">;
     payload: z.ZodObject<{
@@ -1779,9 +1637,6 @@ declare const ORMapMerkleReqBucketSchema: z.ZodObject<{
         path: z.ZodString;
     }, z.core.$strip>;
 }, z.core.$strip>;
-/**
- * ORMAP_SYNC_RESP_LEAF: Server sends actual records for differing keys
- */
 declare const ORMapSyncRespLeafSchema: z.ZodObject<{
     type: z.ZodLiteral<"ORMAP_SYNC_RESP_LEAF">;
     payload: z.ZodObject<{
@@ -1803,9 +1658,6 @@ declare const ORMapSyncRespLeafSchema: z.ZodObject<{
         }, z.core.$strip>>;
     }, z.core.$strip>;
 }, z.core.$strip>;
-/**
- * ORMAP_DIFF_REQUEST: Client requests data for specific keys
- */
 declare const ORMapDiffRequestSchema: z.ZodObject<{
     type: z.ZodLiteral<"ORMAP_DIFF_REQUEST">;
     payload: z.ZodObject<{
@@ -1813,9 +1665,6 @@ declare const ORMapDiffRequestSchema: z.ZodObject<{
         keys: z.ZodArray<z.ZodString>;
     }, z.core.$strip>;
 }, z.core.$strip>;
-/**
- * ORMAP_DIFF_RESPONSE: Server responds with data for requested keys
- */
 declare const ORMapDiffResponseSchema: z.ZodObject<{
     type: z.ZodLiteral<"ORMAP_DIFF_RESPONSE">;
     payload: z.ZodObject<{
@@ -1836,9 +1685,6 @@ declare const ORMapDiffResponseSchema: z.ZodObject<{
         }, z.core.$strip>>;
     }, z.core.$strip>;
 }, z.core.$strip>;
-/**
- * ORMAP_PUSH_DIFF: Client pushes local diffs to server
- */
 declare const ORMapPushDiffSchema: z.ZodObject<{
     type: z.ZodLiteral<"ORMAP_PUSH_DIFF">;
     payload: z.ZodObject<{
@@ -1859,208 +1705,138 @@ declare const ORMapPushDiffSchema: z.ZodObject<{
         }, z.core.$strip>>;
     }, z.core.$strip>;
 }, z.core.$strip>;
-/**
- * PARTITION_MAP_REQUEST: Client requests current partition map
- */
-declare const PartitionMapRequestSchema: z.ZodObject<{
-    type: z.ZodLiteral<"PARTITION_MAP_REQUEST">;
-    payload: z.ZodOptional<z.ZodObject<{
-        currentVersion: z.ZodOptional<z.ZodNumber>;
-    }, z.core.$strip>>;
+declare const OpResultSchema: 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>;
-/**
- * Entry processor definition schema.
- */
-declare const EntryProcessorSchema: z.ZodObject<{
-    name: z.ZodString;
-    code: z.ZodString;
-    args: z.ZodOptional<z.ZodUnknown>;
+type OpResult = z.infer<typeof OpResultSchema>;
+declare const OpAckMessageSchema: 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>;
-/**
- * ENTRY_PROCESS: Client requests atomic operation on single key.
- */
-declare const EntryProcessRequestSchema: z.ZodObject<{
-    type: z.ZodLiteral<"ENTRY_PROCESS">;
-    requestId: z.ZodString;
-    mapName: z.ZodString;
-    key: z.ZodString;
-    processor: z.ZodObject<{
-        name: z.ZodString;
-        code: z.ZodString;
-        args: z.ZodOptional<z.ZodUnknown>;
-    }, z.core.$strip>;
-}, z.core.$strip>;
-/**
- * ENTRY_PROCESS_BATCH: Client requests atomic operation on multiple keys.
- */
-declare const EntryProcessBatchRequestSchema: z.ZodObject<{
-    type: z.ZodLiteral<"ENTRY_PROCESS_BATCH">;
-    requestId: z.ZodString;
-    mapName: z.ZodString;
-    keys: z.ZodArray<z.ZodString>;
-    processor: z.ZodObject<{
-        name: z.ZodString;
-        code: z.ZodString;
-        args: z.ZodOptional<z.ZodUnknown>;
-    }, z.core.$strip>;
-}, z.core.$strip>;
-/**
- * ENTRY_PROCESS_RESPONSE: Server responds to single-key processor request.
- */
-declare const EntryProcessResponseSchema: z.ZodObject<{
-    type: z.ZodLiteral<"ENTRY_PROCESS_RESPONSE">;
-    requestId: z.ZodString;
-    success: z.ZodBoolean;
-    result: z.ZodOptional<z.ZodUnknown>;
-    newValue: z.ZodOptional<z.ZodUnknown>;
-    error: z.ZodOptional<z.ZodString>;
-}, z.core.$strip>;
-/**
- * Individual key result in batch response.
- */
-declare const EntryProcessKeyResultSchema: z.ZodObject<{
-    success: z.ZodBoolean;
-    result: z.ZodOptional<z.ZodUnknown>;
-    newValue: z.ZodOptional<z.ZodUnknown>;
-    error: z.ZodOptional<z.ZodString>;
-}, z.core.$strip>;
-/**
- * ENTRY_PROCESS_BATCH_RESPONSE: Server responds to multi-key processor request.
- */
-declare const EntryProcessBatchResponseSchema: z.ZodObject<{
-    type: z.ZodLiteral<"ENTRY_PROCESS_BATCH_RESPONSE">;
-    requestId: z.ZodString;
-    results: z.ZodRecord<z.ZodString, z.ZodObject<{
-        success: z.ZodBoolean;
-        result: z.ZodOptional<z.ZodUnknown>;
-        newValue: z.ZodOptional<z.ZodUnknown>;
-        error: z.ZodOptional<z.ZodString>;
-    }, z.core.$strip>>;
-}, z.core.$strip>;
-/**
- * Journal event type schema.
- */
-declare const JournalEventTypeSchema: z.ZodEnum<{
-    PUT: "PUT";
-    UPDATE: "UPDATE";
-    DELETE: "DELETE";
-}>;
-/**
- * Journal event data (serialized for network).
- */
-declare const JournalEventDataSchema: z.ZodObject<{
-    sequence: z.ZodString;
-    type: z.ZodEnum<{
-        PUT: "PUT";
-        UPDATE: "UPDATE";
-        DELETE: "DELETE";
-    }>;
-    mapName: z.ZodString;
-    key: z.ZodString;
-    value: z.ZodOptional<z.ZodUnknown>;
-    previousValue: z.ZodOptional<z.ZodUnknown>;
-    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;
+type OpAckMessage = z.infer<typeof OpAckMessageSchema>;
+declare const OpRejectedMessageSchema: z.ZodObject<{
+    type: z.ZodLiteral<"OP_REJECTED">;
+    payload: z.ZodObject<{
+        opId: z.ZodString;
+        reason: z.ZodString;
+        code: z.ZodOptional<z.ZodNumber>;
     }, z.core.$strip>;
-    nodeId: z.ZodString;
-    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
-}, z.core.$strip>;
-/**
- * JOURNAL_SUBSCRIBE: Client subscribes to journal events.
- */
-declare const JournalSubscribeRequestSchema: z.ZodObject<{
-    type: z.ZodLiteral<"JOURNAL_SUBSCRIBE">;
-    requestId: z.ZodString;
-    fromSequence: z.ZodOptional<z.ZodString>;
-    mapName: z.ZodOptional<z.ZodString>;
-    types: z.ZodOptional<z.ZodArray<z.ZodEnum<{
-        PUT: "PUT";
-        UPDATE: "UPDATE";
-        DELETE: "DELETE";
-    }>>>;
 }, z.core.$strip>;
+type OpRejectedMessage = z.infer<typeof OpRejectedMessageSchema>;
 /**
- * JOURNAL_UNSUBSCRIBE: Client unsubscribes from journal events.
+ * BATCH: Server sends multiple messages batched together.
+ * Uses length-prefixed binary format for efficiency.
+ * Format: [4 bytes: count][4 bytes: len1][msg1][4 bytes: len2][msg2]...
  */
-declare const JournalUnsubscribeRequestSchema: z.ZodObject<{
-    type: z.ZodLiteral<"JOURNAL_UNSUBSCRIBE">;
-    subscriptionId: z.ZodString;
+declare const BatchMessageSchema: z.ZodObject<{
+    type: z.ZodLiteral<"BATCH">;
+    count: z.ZodNumber;
+    data: z.ZodCustom<Uint8Array<ArrayBuffer>, Uint8Array<ArrayBuffer>>;
 }, z.core.$strip>;
-/**
- * JOURNAL_EVENT: Server sends journal event to client.
- */
-declare const JournalEventMessageSchema: z.ZodObject<{
-    type: z.ZodLiteral<"JOURNAL_EVENT">;
-    event: z.ZodObject<{
-        sequence: z.ZodString;
-        type: z.ZodEnum<{
-            PUT: "PUT";
-            UPDATE: "UPDATE";
-            DELETE: "DELETE";
-        }>;
+type BatchMessage = z.infer<typeof BatchMessageSchema>;
+
+declare const QuerySubMessageSchema: z.ZodObject<{
+    type: z.ZodLiteral<"QUERY_SUB">;
+    payload: z.ZodObject<{
+        queryId: z.ZodString;
         mapName: z.ZodString;
-        key: z.ZodString;
-        value: z.ZodOptional<z.ZodUnknown>;
-        previousValue: z.ZodOptional<z.ZodUnknown>;
-        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;
+        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>;
-        nodeId: z.ZodString;
-        metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
     }, z.core.$strip>;
 }, z.core.$strip>;
-/**
- * JOURNAL_READ: Client requests events from journal.
- */
-declare const JournalReadRequestSchema: z.ZodObject<{
-    type: z.ZodLiteral<"JOURNAL_READ">;
-    requestId: z.ZodString;
-    fromSequence: z.ZodString;
-    limit: z.ZodOptional<z.ZodNumber>;
-    mapName: z.ZodOptional<z.ZodString>;
+declare const QueryUnsubMessageSchema: z.ZodObject<{
+    type: z.ZodLiteral<"QUERY_UNSUB">;
+    payload: z.ZodObject<{
+        queryId: z.ZodString;
+    }, z.core.$strip>;
 }, z.core.$strip>;
-/**
- * JOURNAL_READ_RESPONSE: Server responds with journal events.
- */
-declare const JournalReadResponseSchema: z.ZodObject<{
-    type: z.ZodLiteral<"JOURNAL_READ_RESPONSE">;
-    requestId: z.ZodString;
-    events: z.ZodArray<z.ZodObject<{
-        sequence: z.ZodString;
-        type: z.ZodEnum<{
-            PUT: "PUT";
-            UPDATE: "UPDATE";
-            DELETE: "DELETE";
-        }>;
-        mapName: z.ZodString;
+declare const CursorStatusSchema: z.ZodEnum<{
+    valid: "valid";
+    expired: "expired";
+    invalid: "invalid";
+    none: "none";
+}>;
+type CursorStatus$1 = z.infer<typeof CursorStatusSchema>;
+declare const QueryRespPayloadSchema: z.ZodObject<{
+    queryId: z.ZodString;
+    results: z.ZodArray<z.ZodObject<{
         key: z.ZodString;
-        value: z.ZodOptional<z.ZodUnknown>;
-        previousValue: z.ZodOptional<z.ZodUnknown>;
-        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>;
-        nodeId: z.ZodString;
-        metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        value: z.ZodUnknown;
     }, z.core.$strip>>;
-    hasMore: z.ZodBoolean;
+    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>;
-/**
- * Search options schema for FTS queries.
- */
+type QueryRespPayload = z.infer<typeof QueryRespPayloadSchema>;
+declare const QueryRespMessageSchema: 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>;
+type QueryRespMessage = z.infer<typeof QueryRespMessageSchema>;
+
 declare const SearchOptionsSchema: z.ZodObject<{
     limit: z.ZodOptional<z.ZodNumber>;
     minScore: z.ZodOptional<z.ZodNumber>;
     boost: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
 }, z.core.$strip>;
-/**
- * SEARCH: Client requests one-shot BM25 search.
- */
+type SearchOptions$1 = z.infer<typeof SearchOptionsSchema>;
 declare const SearchPayloadSchema: z.ZodObject<{
     requestId: z.ZodString;
     mapName: z.ZodString;
@@ -2071,6 +1847,7 @@ declare const SearchPayloadSchema: z.ZodObject<{
         boost: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
     }, z.core.$strip>>;
 }, z.core.$strip>;
+type SearchPayload = z.infer<typeof SearchPayloadSchema>;
 declare const SearchMessageSchema: z.ZodObject<{
     type: z.ZodLiteral<"SEARCH">;
     payload: z.ZodObject<{
@@ -2084,9 +1861,7 @@ declare const SearchMessageSchema: z.ZodObject<{
         }, z.core.$strip>>;
     }, z.core.$strip>;
 }, z.core.$strip>;
-/**
- * SEARCH_RESP: Server responds with search results.
- */
+type SearchMessage = z.infer<typeof SearchMessageSchema>;
 declare const SearchRespPayloadSchema: z.ZodObject<{
     requestId: z.ZodString;
     results: z.ZodArray<z.ZodObject<{
@@ -2098,6 +1873,7 @@ declare const SearchRespPayloadSchema: z.ZodObject<{
     totalCount: z.ZodNumber;
     error: z.ZodOptional<z.ZodString>;
 }, z.core.$strip>;
+type SearchRespPayload = z.infer<typeof SearchRespPayloadSchema>;
 declare const SearchRespMessageSchema: z.ZodObject<{
     type: z.ZodLiteral<"SEARCH_RESP">;
     payload: z.ZodObject<{
@@ -2112,20 +1888,13 @@ declare const SearchRespMessageSchema: z.ZodObject<{
         error: z.ZodOptional<z.ZodString>;
     }, z.core.$strip>;
 }, z.core.$strip>;
-/**
- * Search delta update type.
- * - ENTER: Document entered the result set (new or score exceeded minScore)
- * - UPDATE: Document score changed while remaining in result set
- * - LEAVE: Document left the result set (removed or score dropped below minScore)
- */
+type SearchRespMessage = z.infer<typeof SearchRespMessageSchema>;
 declare const SearchUpdateTypeSchema: z.ZodEnum<{
     UPDATE: "UPDATE";
     ENTER: "ENTER";
     LEAVE: "LEAVE";
 }>;
-/**
- * SEARCH_SUB: Client subscribes to live search results.
- */
+type SearchUpdateType = z.infer<typeof SearchUpdateTypeSchema>;
 declare const SearchSubPayloadSchema: z.ZodObject<{
     subscriptionId: z.ZodString;
     mapName: z.ZodString;
@@ -2136,6 +1905,7 @@ declare const SearchSubPayloadSchema: z.ZodObject<{
         boost: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
     }, z.core.$strip>>;
 }, z.core.$strip>;
+type SearchSubPayload = z.infer<typeof SearchSubPayloadSchema>;
 declare const SearchSubMessageSchema: z.ZodObject<{
     type: z.ZodLiteral<"SEARCH_SUB">;
     payload: z.ZodObject<{
@@ -2149,9 +1919,7 @@ declare const SearchSubMessageSchema: z.ZodObject<{
         }, z.core.$strip>>;
     }, z.core.$strip>;
 }, z.core.$strip>;
-/**
- * SEARCH_UPDATE: Server sends delta update for a subscribed search.
- */
+type SearchSubMessage = z.infer<typeof SearchSubMessageSchema>;
 declare const SearchUpdatePayloadSchema: z.ZodObject<{
     subscriptionId: z.ZodString;
     key: z.ZodString;
@@ -2164,6 +1932,7 @@ declare const SearchUpdatePayloadSchema: z.ZodObject<{
         LEAVE: "LEAVE";
     }>;
 }, z.core.$strip>;
+type SearchUpdatePayload = z.infer<typeof SearchUpdatePayloadSchema>;
 declare const SearchUpdateMessageSchema: z.ZodObject<{
     type: z.ZodLiteral<"SEARCH_UPDATE">;
     payload: z.ZodObject<{
@@ -2179,163 +1948,25 @@ declare const SearchUpdateMessageSchema: z.ZodObject<{
         }>;
     }, z.core.$strip>;
 }, z.core.$strip>;
-/**
- * SEARCH_UNSUB: Client unsubscribes from live search.
- */
+type SearchUpdateMessage = z.infer<typeof SearchUpdateMessageSchema>;
 declare const SearchUnsubPayloadSchema: z.ZodObject<{
     subscriptionId: z.ZodString;
 }, z.core.$strip>;
+type SearchUnsubPayload = z.infer<typeof SearchUnsubPayloadSchema>;
 declare const SearchUnsubMessageSchema: z.ZodObject<{
     type: z.ZodLiteral<"SEARCH_UNSUB">;
     payload: z.ZodObject<{
         subscriptionId: z.ZodString;
     }, z.core.$strip>;
 }, z.core.$strip>;
-/**
- * Conflict resolver definition schema (wire format).
- */
-declare const ConflictResolverSchema: z.ZodObject<{
-    name: z.ZodString;
-    code: z.ZodString;
-    priority: z.ZodOptional<z.ZodNumber>;
-    keyPattern: z.ZodOptional<z.ZodString>;
+type SearchUnsubMessage = z.infer<typeof SearchUnsubMessageSchema>;
+
+declare const PartitionMapRequestSchema: z.ZodObject<{
+    type: z.ZodLiteral<"PARTITION_MAP_REQUEST">;
+    payload: z.ZodOptional<z.ZodObject<{
+        currentVersion: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strip>>;
 }, z.core.$strip>;
-/**
- * REGISTER_RESOLVER: Client registers a conflict resolver on server.
- */
-declare const RegisterResolverRequestSchema: z.ZodObject<{
-    type: z.ZodLiteral<"REGISTER_RESOLVER">;
-    requestId: z.ZodString;
-    mapName: z.ZodString;
-    resolver: z.ZodObject<{
-        name: z.ZodString;
-        code: z.ZodString;
-        priority: z.ZodOptional<z.ZodNumber>;
-        keyPattern: z.ZodOptional<z.ZodString>;
-    }, z.core.$strip>;
-}, z.core.$strip>;
-/**
- * REGISTER_RESOLVER_RESPONSE: Server acknowledges resolver registration.
- */
-declare const RegisterResolverResponseSchema: z.ZodObject<{
-    type: z.ZodLiteral<"REGISTER_RESOLVER_RESPONSE">;
-    requestId: z.ZodString;
-    success: z.ZodBoolean;
-    error: z.ZodOptional<z.ZodString>;
-}, z.core.$strip>;
-/**
- * UNREGISTER_RESOLVER: Client unregisters a conflict resolver.
- */
-declare const UnregisterResolverRequestSchema: z.ZodObject<{
-    type: z.ZodLiteral<"UNREGISTER_RESOLVER">;
-    requestId: z.ZodString;
-    mapName: z.ZodString;
-    resolverName: z.ZodString;
-}, z.core.$strip>;
-/**
- * UNREGISTER_RESOLVER_RESPONSE: Server acknowledges resolver unregistration.
- */
-declare const UnregisterResolverResponseSchema: z.ZodObject<{
-    type: z.ZodLiteral<"UNREGISTER_RESOLVER_RESPONSE">;
-    requestId: z.ZodString;
-    success: z.ZodBoolean;
-    error: z.ZodOptional<z.ZodString>;
-}, z.core.$strip>;
-/**
- * MERGE_REJECTED: Server notifies client that a merge was rejected.
- */
-declare const MergeRejectedMessageSchema: z.ZodObject<{
-    type: z.ZodLiteral<"MERGE_REJECTED">;
-    mapName: z.ZodString;
-    key: z.ZodString;
-    attemptedValue: z.ZodUnknown;
-    reason: z.ZodString;
-    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>;
-/**
- * LIST_RESOLVERS: Client requests list of registered resolvers.
- */
-declare const ListResolversRequestSchema: z.ZodObject<{
-    type: z.ZodLiteral<"LIST_RESOLVERS">;
-    requestId: z.ZodString;
-    mapName: z.ZodOptional<z.ZodString>;
-}, z.core.$strip>;
-/**
- * LIST_RESOLVERS_RESPONSE: Server responds with registered resolvers.
- */
-declare const ListResolversResponseSchema: z.ZodObject<{
-    type: z.ZodLiteral<"LIST_RESOLVERS_RESPONSE">;
-    requestId: z.ZodString;
-    resolvers: z.ZodArray<z.ZodObject<{
-        mapName: z.ZodString;
-        name: z.ZodString;
-        priority: z.ZodOptional<z.ZodNumber>;
-        keyPattern: z.ZodOptional<z.ZodString>;
-    }, z.core.$strip>>;
-}, z.core.$strip>;
-/**
- * Individual operation result within a batch ACK
- */
-declare const OpResultSchema: 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>;
-/**
- * OP_ACK: Server acknowledges write operations
- * Extended to support Write Concern levels
- */
-declare const OpAckMessageSchema: 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>;
-/**
- * OP_REJECTED: Server rejects a write operation
- */
-declare const OpRejectedMessageSchema: 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>;
-/**
- * CLUSTER_SUB_REGISTER - Register a distributed subscription on a node.
- * Sent from coordinator to data-owning nodes for both FTS and Query subscriptions.
- */
 declare const ClusterSubRegisterPayloadSchema: z.ZodObject<{
     subscriptionId: z.ZodString;
     coordinatorNodeId: z.ZodString;
@@ -2356,6 +1987,7 @@ declare const ClusterSubRegisterPayloadSchema: z.ZodObject<{
         desc: "desc";
     }>>>;
 }, z.core.$strip>;
+type ClusterSubRegisterPayload = z.infer<typeof ClusterSubRegisterPayloadSchema>;
 declare const ClusterSubRegisterMessageSchema: z.ZodObject<{
     type: z.ZodLiteral<"CLUSTER_SUB_REGISTER">;
     payload: z.ZodObject<{
@@ -2379,10 +2011,7 @@ declare const ClusterSubRegisterMessageSchema: z.ZodObject<{
         }>>>;
     }, z.core.$strip>;
 }, z.core.$strip>;
-/**
- * CLUSTER_SUB_ACK - Acknowledgment of subscription registration with initial results.
- * Sent from data node back to coordinator.
- */
+type ClusterSubRegisterMessage = z.infer<typeof ClusterSubRegisterMessageSchema>;
 declare const ClusterSubAckPayloadSchema: z.ZodObject<{
     subscriptionId: z.ZodString;
     nodeId: z.ZodString;
@@ -2396,6 +2025,7 @@ declare const ClusterSubAckPayloadSchema: z.ZodObject<{
     }, z.core.$strip>>>;
     totalHits: z.ZodOptional<z.ZodNumber>;
 }, z.core.$strip>;
+type ClusterSubAckPayload = z.infer<typeof ClusterSubAckPayloadSchema>;
 declare const ClusterSubAckMessageSchema: z.ZodObject<{
     type: z.ZodLiteral<"CLUSTER_SUB_ACK">;
     payload: z.ZodObject<{
@@ -2412,10 +2042,7 @@ declare const ClusterSubAckMessageSchema: z.ZodObject<{
         totalHits: z.ZodOptional<z.ZodNumber>;
     }, z.core.$strip>;
 }, z.core.$strip>;
-/**
- * CLUSTER_SUB_UPDATE - Delta update from a data node to coordinator.
- * Sent when a document enters/updates/leaves the subscription result set.
- */
+type ClusterSubAckMessage = z.infer<typeof ClusterSubAckMessageSchema>;
 declare const ClusterSubUpdatePayloadSchema: z.ZodObject<{
     subscriptionId: z.ZodString;
     sourceNodeId: z.ZodString;
@@ -2430,6 +2057,7 @@ declare const ClusterSubUpdatePayloadSchema: z.ZodObject<{
     }>;
     timestamp: z.ZodNumber;
 }, z.core.$strip>;
+type ClusterSubUpdatePayload = z.infer<typeof ClusterSubUpdatePayloadSchema>;
 declare const ClusterSubUpdateMessageSchema: z.ZodObject<{
     type: z.ZodLiteral<"CLUSTER_SUB_UPDATE">;
     payload: z.ZodObject<{
@@ -2447,19 +2075,916 @@ declare const ClusterSubUpdateMessageSchema: z.ZodObject<{
         timestamp: z.ZodNumber;
     }, z.core.$strip>;
 }, z.core.$strip>;
+type ClusterSubUpdateMessage = z.infer<typeof ClusterSubUpdateMessageSchema>;
+declare const ClusterSubUnregisterPayloadSchema: z.ZodObject<{
+    subscriptionId: z.ZodString;
+}, z.core.$strip>;
+type ClusterSubUnregisterPayload = z.infer<typeof ClusterSubUnregisterPayloadSchema>;
+declare const ClusterSubUnregisterMessageSchema: z.ZodObject<{
+    type: z.ZodLiteral<"CLUSTER_SUB_UNREGISTER">;
+    payload: z.ZodObject<{
+        subscriptionId: z.ZodString;
+    }, z.core.$strip>;
+}, z.core.$strip>;
+type ClusterSubUnregisterMessage = z.infer<typeof ClusterSubUnregisterMessageSchema>;
+declare const ClusterSearchReqPayloadSchema: z.ZodObject<{
+    requestId: z.ZodString;
+    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>>;
+        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>;
+type ClusterSearchReqPayload = z.infer<typeof ClusterSearchReqPayloadSchema>;
+declare const ClusterSearchReqMessageSchema: z.ZodObject<{
+    type: z.ZodLiteral<"CLUSTER_SEARCH_REQ">;
+    payload: z.ZodObject<{
+        requestId: z.ZodString;
+        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>>;
+            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>;
+type ClusterSearchReqMessage = z.infer<typeof ClusterSearchReqMessageSchema>;
+declare const ClusterSearchRespPayloadSchema: 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>;
+type ClusterSearchRespPayload = z.infer<typeof ClusterSearchRespPayloadSchema>;
+declare const ClusterSearchRespMessageSchema: 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>;
+type ClusterSearchRespMessage = z.infer<typeof ClusterSearchRespMessageSchema>;
+declare const ClusterSearchSubscribePayloadSchema: 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>;
+type ClusterSearchSubscribePayload = z.infer<typeof ClusterSearchSubscribePayloadSchema>;
+declare const ClusterSearchSubscribeMessageSchema: 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>;
+type ClusterSearchSubscribeMessage = z.infer<typeof ClusterSearchSubscribeMessageSchema>;
+declare const ClusterSearchUnsubscribePayloadSchema: z.ZodObject<{
+    subscriptionId: z.ZodString;
+}, z.core.$strip>;
+type ClusterSearchUnsubscribePayload = z.infer<typeof ClusterSearchUnsubscribePayloadSchema>;
+declare const ClusterSearchUnsubscribeMessageSchema: z.ZodObject<{
+    type: z.ZodLiteral<"CLUSTER_SEARCH_UNSUBSCRIBE">;
+    payload: z.ZodObject<{
+        subscriptionId: z.ZodString;
+    }, z.core.$strip>;
+}, z.core.$strip>;
+type ClusterSearchUnsubscribeMessage = z.infer<typeof ClusterSearchUnsubscribeMessageSchema>;
+declare const ClusterSearchUpdatePayloadSchema: z.ZodObject<{
+    subscriptionId: z.ZodString;
+    nodeId: z.ZodString;
+    key: z.ZodString;
+    value: z.ZodUnknown;
+    score: z.ZodNumber;
+    matchedTerms: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    type: z.ZodEnum<{
+        UPDATE: "UPDATE";
+        ENTER: "ENTER";
+        LEAVE: "LEAVE";
+    }>;
+}, z.core.$strip>;
+type ClusterSearchUpdatePayload = z.infer<typeof ClusterSearchUpdatePayloadSchema>;
+declare const ClusterSearchUpdateMessageSchema: z.ZodObject<{
+    type: z.ZodLiteral<"CLUSTER_SEARCH_UPDATE">;
+    payload: z.ZodObject<{
+        subscriptionId: z.ZodString;
+        nodeId: z.ZodString;
+        key: z.ZodString;
+        value: z.ZodUnknown;
+        score: z.ZodNumber;
+        matchedTerms: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        type: z.ZodEnum<{
+            UPDATE: "UPDATE";
+            ENTER: "ENTER";
+            LEAVE: "LEAVE";
+        }>;
+    }, z.core.$strip>;
+}, z.core.$strip>;
+type ClusterSearchUpdateMessage = z.infer<typeof ClusterSearchUpdateMessageSchema>;
+
+declare const TopicSubSchema: z.ZodObject<{
+    type: z.ZodLiteral<"TOPIC_SUB">;
+    payload: z.ZodObject<{
+        topic: z.ZodString;
+    }, z.core.$strip>;
+}, z.core.$strip>;
+declare const TopicUnsubSchema: z.ZodObject<{
+    type: z.ZodLiteral<"TOPIC_UNSUB">;
+    payload: z.ZodObject<{
+        topic: z.ZodString;
+    }, z.core.$strip>;
+}, z.core.$strip>;
+declare const TopicPubSchema: z.ZodObject<{
+    type: z.ZodLiteral<"TOPIC_PUB">;
+    payload: z.ZodObject<{
+        topic: z.ZodString;
+        data: z.ZodAny;
+    }, z.core.$strip>;
+}, z.core.$strip>;
+declare const TopicMessageEventSchema: z.ZodObject<{
+    type: z.ZodLiteral<"TOPIC_MESSAGE">;
+    payload: z.ZodObject<{
+        topic: z.ZodString;
+        data: z.ZodAny;
+        publisherId: z.ZodOptional<z.ZodString>;
+        timestamp: z.ZodNumber;
+    }, z.core.$strip>;
+}, z.core.$strip>;
+declare const LockRequestSchema: z.ZodObject<{
+    type: z.ZodLiteral<"LOCK_REQUEST">;
+    payload: z.ZodObject<{
+        requestId: z.ZodString;
+        name: z.ZodString;
+        ttl: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strip>;
+}, z.core.$strip>;
+declare const LockReleaseSchema: z.ZodObject<{
+    type: z.ZodLiteral<"LOCK_RELEASE">;
+    payload: z.ZodObject<{
+        requestId: z.ZodOptional<z.ZodString>;
+        name: z.ZodString;
+        fencingToken: z.ZodNumber;
+    }, z.core.$strip>;
+}, z.core.$strip>;
+declare const PNCounterStateObjectSchema: z.ZodObject<{
+    p: z.ZodRecord<z.ZodString, z.ZodNumber>;
+    n: z.ZodRecord<z.ZodString, z.ZodNumber>;
+}, z.core.$strip>;
+declare const CounterRequestSchema: z.ZodObject<{
+    type: z.ZodLiteral<"COUNTER_REQUEST">;
+    payload: z.ZodObject<{
+        name: z.ZodString;
+    }, z.core.$strip>;
+}, z.core.$strip>;
+declare const CounterSyncSchema: z.ZodObject<{
+    type: z.ZodLiteral<"COUNTER_SYNC">;
+    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>;
+declare const CounterResponseSchema: z.ZodObject<{
+    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>;
+declare const CounterUpdateSchema: z.ZodObject<{
+    type: z.ZodLiteral<"COUNTER_UPDATE">;
+    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>;
+declare const PingMessageSchema: z.ZodObject<{
+    type: z.ZodLiteral<"PING">;
+    timestamp: z.ZodNumber;
+}, z.core.$strip>;
+type PingMessage = z.infer<typeof PingMessageSchema>;
+declare const PongMessageSchema: z.ZodObject<{
+    type: z.ZodLiteral<"PONG">;
+    timestamp: z.ZodNumber;
+    serverTime: z.ZodNumber;
+}, z.core.$strip>;
+type PongMessage = z.infer<typeof PongMessageSchema>;
+declare const EntryProcessorSchema: z.ZodObject<{
+    name: z.ZodString;
+    code: z.ZodString;
+    args: z.ZodOptional<z.ZodUnknown>;
+}, z.core.$strip>;
+declare const EntryProcessRequestSchema: z.ZodObject<{
+    type: z.ZodLiteral<"ENTRY_PROCESS">;
+    requestId: z.ZodString;
+    mapName: z.ZodString;
+    key: z.ZodString;
+    processor: z.ZodObject<{
+        name: z.ZodString;
+        code: z.ZodString;
+        args: z.ZodOptional<z.ZodUnknown>;
+    }, z.core.$strip>;
+}, z.core.$strip>;
+type EntryProcessRequest = z.infer<typeof EntryProcessRequestSchema>;
+declare const EntryProcessBatchRequestSchema: z.ZodObject<{
+    type: z.ZodLiteral<"ENTRY_PROCESS_BATCH">;
+    requestId: z.ZodString;
+    mapName: z.ZodString;
+    keys: z.ZodArray<z.ZodString>;
+    processor: z.ZodObject<{
+        name: z.ZodString;
+        code: z.ZodString;
+        args: z.ZodOptional<z.ZodUnknown>;
+    }, z.core.$strip>;
+}, z.core.$strip>;
+type EntryProcessBatchRequest = z.infer<typeof EntryProcessBatchRequestSchema>;
+declare const EntryProcessResponseSchema: z.ZodObject<{
+    type: z.ZodLiteral<"ENTRY_PROCESS_RESPONSE">;
+    requestId: z.ZodString;
+    success: z.ZodBoolean;
+    result: z.ZodOptional<z.ZodUnknown>;
+    newValue: z.ZodOptional<z.ZodUnknown>;
+    error: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+type EntryProcessResponse = z.infer<typeof EntryProcessResponseSchema>;
+declare const EntryProcessKeyResultSchema: z.ZodObject<{
+    success: z.ZodBoolean;
+    result: z.ZodOptional<z.ZodUnknown>;
+    newValue: z.ZodOptional<z.ZodUnknown>;
+    error: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+type EntryProcessKeyResult = z.infer<typeof EntryProcessKeyResultSchema>;
+declare const EntryProcessBatchResponseSchema: z.ZodObject<{
+    type: z.ZodLiteral<"ENTRY_PROCESS_BATCH_RESPONSE">;
+    requestId: z.ZodString;
+    results: z.ZodRecord<z.ZodString, z.ZodObject<{
+        success: z.ZodBoolean;
+        result: z.ZodOptional<z.ZodUnknown>;
+        newValue: z.ZodOptional<z.ZodUnknown>;
+        error: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+type EntryProcessBatchResponse = z.infer<typeof EntryProcessBatchResponseSchema>;
+declare const JournalEventTypeSchema: z.ZodEnum<{
+    PUT: "PUT";
+    UPDATE: "UPDATE";
+    DELETE: "DELETE";
+}>;
+declare const JournalEventDataSchema: z.ZodObject<{
+    sequence: z.ZodString;
+    type: z.ZodEnum<{
+        PUT: "PUT";
+        UPDATE: "UPDATE";
+        DELETE: "DELETE";
+    }>;
+    mapName: z.ZodString;
+    key: z.ZodString;
+    value: z.ZodOptional<z.ZodUnknown>;
+    previousValue: z.ZodOptional<z.ZodUnknown>;
+    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>;
+    nodeId: z.ZodString;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+}, z.core.$strip>;
+type JournalEventData = z.infer<typeof JournalEventDataSchema>;
+declare const JournalSubscribeRequestSchema: z.ZodObject<{
+    type: z.ZodLiteral<"JOURNAL_SUBSCRIBE">;
+    requestId: z.ZodString;
+    fromSequence: z.ZodOptional<z.ZodString>;
+    mapName: z.ZodOptional<z.ZodString>;
+    types: z.ZodOptional<z.ZodArray<z.ZodEnum<{
+        PUT: "PUT";
+        UPDATE: "UPDATE";
+        DELETE: "DELETE";
+    }>>>;
+}, z.core.$strip>;
+type JournalSubscribeRequest = z.infer<typeof JournalSubscribeRequestSchema>;
+declare const JournalUnsubscribeRequestSchema: z.ZodObject<{
+    type: z.ZodLiteral<"JOURNAL_UNSUBSCRIBE">;
+    subscriptionId: z.ZodString;
+}, z.core.$strip>;
+type JournalUnsubscribeRequest = z.infer<typeof JournalUnsubscribeRequestSchema>;
+declare const JournalEventMessageSchema: z.ZodObject<{
+    type: z.ZodLiteral<"JOURNAL_EVENT">;
+    event: z.ZodObject<{
+        sequence: z.ZodString;
+        type: z.ZodEnum<{
+            PUT: "PUT";
+            UPDATE: "UPDATE";
+            DELETE: "DELETE";
+        }>;
+        mapName: z.ZodString;
+        key: z.ZodString;
+        value: z.ZodOptional<z.ZodUnknown>;
+        previousValue: z.ZodOptional<z.ZodUnknown>;
+        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>;
+        nodeId: z.ZodString;
+        metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    }, z.core.$strip>;
+}, z.core.$strip>;
+type JournalEventMessage = z.infer<typeof JournalEventMessageSchema>;
+declare const JournalReadRequestSchema: z.ZodObject<{
+    type: z.ZodLiteral<"JOURNAL_READ">;
+    requestId: z.ZodString;
+    fromSequence: z.ZodString;
+    limit: z.ZodOptional<z.ZodNumber>;
+    mapName: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+type JournalReadRequest = z.infer<typeof JournalReadRequestSchema>;
+declare const JournalReadResponseSchema: z.ZodObject<{
+    type: z.ZodLiteral<"JOURNAL_READ_RESPONSE">;
+    requestId: z.ZodString;
+    events: z.ZodArray<z.ZodObject<{
+        sequence: z.ZodString;
+        type: z.ZodEnum<{
+            PUT: "PUT";
+            UPDATE: "UPDATE";
+            DELETE: "DELETE";
+        }>;
+        mapName: z.ZodString;
+        key: z.ZodString;
+        value: z.ZodOptional<z.ZodUnknown>;
+        previousValue: z.ZodOptional<z.ZodUnknown>;
+        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>;
+        nodeId: z.ZodString;
+        metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    }, z.core.$strip>>;
+    hasMore: z.ZodBoolean;
+}, z.core.$strip>;
+type JournalReadResponse = z.infer<typeof JournalReadResponseSchema>;
+declare const ConflictResolverSchema: z.ZodObject<{
+    name: z.ZodString;
+    code: z.ZodString;
+    priority: z.ZodOptional<z.ZodNumber>;
+    keyPattern: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+type ConflictResolver = z.infer<typeof ConflictResolverSchema>;
+declare const RegisterResolverRequestSchema: z.ZodObject<{
+    type: z.ZodLiteral<"REGISTER_RESOLVER">;
+    requestId: z.ZodString;
+    mapName: z.ZodString;
+    resolver: z.ZodObject<{
+        name: z.ZodString;
+        code: z.ZodString;
+        priority: z.ZodOptional<z.ZodNumber>;
+        keyPattern: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>;
+}, z.core.$strip>;
+type RegisterResolverRequest = z.infer<typeof RegisterResolverRequestSchema>;
+declare const RegisterResolverResponseSchema: z.ZodObject<{
+    type: z.ZodLiteral<"REGISTER_RESOLVER_RESPONSE">;
+    requestId: z.ZodString;
+    success: z.ZodBoolean;
+    error: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+type RegisterResolverResponse = z.infer<typeof RegisterResolverResponseSchema>;
+declare const UnregisterResolverRequestSchema: z.ZodObject<{
+    type: z.ZodLiteral<"UNREGISTER_RESOLVER">;
+    requestId: z.ZodString;
+    mapName: z.ZodString;
+    resolverName: z.ZodString;
+}, z.core.$strip>;
+type UnregisterResolverRequest = z.infer<typeof UnregisterResolverRequestSchema>;
+declare const UnregisterResolverResponseSchema: z.ZodObject<{
+    type: z.ZodLiteral<"UNREGISTER_RESOLVER_RESPONSE">;
+    requestId: z.ZodString;
+    success: z.ZodBoolean;
+    error: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+type UnregisterResolverResponse = z.infer<typeof UnregisterResolverResponseSchema>;
+declare const MergeRejectedMessageSchema: z.ZodObject<{
+    type: z.ZodLiteral<"MERGE_REJECTED">;
+    mapName: z.ZodString;
+    key: z.ZodString;
+    attemptedValue: z.ZodUnknown;
+    reason: z.ZodString;
+    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>;
+type MergeRejectedMessage = z.infer<typeof MergeRejectedMessageSchema>;
+declare const ListResolversRequestSchema: z.ZodObject<{
+    type: z.ZodLiteral<"LIST_RESOLVERS">;
+    requestId: z.ZodString;
+    mapName: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+type ListResolversRequest = z.infer<typeof ListResolversRequestSchema>;
+declare const ListResolversResponseSchema: z.ZodObject<{
+    type: z.ZodLiteral<"LIST_RESOLVERS_RESPONSE">;
+    requestId: z.ZodString;
+    resolvers: z.ZodArray<z.ZodObject<{
+        mapName: z.ZodString;
+        name: z.ZodString;
+        priority: z.ZodOptional<z.ZodNumber>;
+        keyPattern: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+type ListResolversResponse = z.infer<typeof ListResolversResponseSchema>;
+
+declare const ServerEventPayloadSchema: 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>;
+type ServerEventPayload = z.infer<typeof ServerEventPayloadSchema>;
+declare const ServerEventMessageSchema: z.ZodObject<{
+    type: z.ZodLiteral<"SERVER_EVENT">;
+    payload: 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>;
+type ServerEventMessage = z.infer<typeof ServerEventMessageSchema>;
+declare const ServerBatchEventMessageSchema: z.ZodObject<{
+    type: z.ZodLiteral<"SERVER_BATCH_EVENT">;
+    payload: z.ZodObject<{
+        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>;
+type ServerBatchEventMessage = z.infer<typeof ServerBatchEventMessageSchema>;
+declare const QueryUpdatePayloadSchema: z.ZodObject<{
+    queryId: z.ZodString;
+    key: z.ZodString;
+    value: z.ZodUnknown;
+    type: z.ZodEnum<{
+        UPDATE: "UPDATE";
+        REMOVE: "REMOVE";
+        ENTER: "ENTER";
+    }>;
+}, z.core.$strip>;
+type QueryUpdatePayload = z.infer<typeof QueryUpdatePayloadSchema>;
+declare const QueryUpdateMessageSchema: z.ZodObject<{
+    type: z.ZodLiteral<"QUERY_UPDATE">;
+    payload: z.ZodObject<{
+        queryId: z.ZodString;
+        key: z.ZodString;
+        value: z.ZodUnknown;
+        type: z.ZodEnum<{
+            UPDATE: "UPDATE";
+            REMOVE: "REMOVE";
+            ENTER: "ENTER";
+        }>;
+    }, z.core.$strip>;
+}, z.core.$strip>;
+type QueryUpdateMessage = z.infer<typeof QueryUpdateMessageSchema>;
+declare const GcPrunePayloadSchema: z.ZodObject<{
+    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>;
+type GcPrunePayload = z.infer<typeof GcPrunePayloadSchema>;
+declare const GcPruneMessageSchema: z.ZodObject<{
+    type: z.ZodLiteral<"GC_PRUNE">;
+    payload: z.ZodObject<{
+        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>;
+type GcPruneMessage = z.infer<typeof GcPruneMessageSchema>;
+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";
+    }>;
+}, z.core.$strip>;
+type HybridQueryDeltaPayload = z.infer<typeof HybridQueryDeltaPayloadSchema>;
+declare const LockGrantedPayloadSchema: z.ZodObject<{
+    requestId: z.ZodString;
+    fencingToken: z.ZodNumber;
+}, z.core.$strip>;
+type LockGrantedPayload = z.infer<typeof LockGrantedPayloadSchema>;
+declare const LockReleasedPayloadSchema: z.ZodObject<{
+    requestId: z.ZodString;
+    success: z.ZodBoolean;
+}, z.core.$strip>;
+type LockReleasedPayload = z.infer<typeof LockReleasedPayloadSchema>;
+declare const SyncResetRequiredPayloadSchema: z.ZodObject<{
+    mapName: z.ZodString;
+    reason: z.ZodString;
+}, z.core.$strip>;
+type SyncResetRequiredPayload = z.infer<typeof SyncResetRequiredPayloadSchema>;
+type SyncRespRootPayload = z.infer<typeof SyncRespRootMessageSchema>['payload'];
+type SyncRespBucketsPayload = z.infer<typeof SyncRespBucketsMessageSchema>['payload'];
+type SyncRespLeafPayload = z.infer<typeof SyncRespLeafMessageSchema>['payload'];
+type ORMapSyncRespRootPayload = z.infer<typeof ORMapSyncRespRootSchema>['payload'];
+type ORMapSyncRespBucketsPayload = z.infer<typeof ORMapSyncRespBucketsSchema>['payload'];
+type ORMapSyncRespLeafPayload = z.infer<typeof ORMapSyncRespLeafSchema>['payload'];
+type ORMapDiffResponsePayload = z.infer<typeof ORMapDiffResponseSchema>['payload'];
+
+/**
+ * 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>;
+/**
+ * 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>;
+/**
+ * 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>;
+/**
+ * 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>;
+    operations: z.ZodOptional<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>>>;
+    syncMaps: z.ZodOptional<z.ZodArray<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>>>;
+    queries: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        queryId: z.ZodString;
+        mapName: z.ZodString;
+        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;
+        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>;
+/**
+ * 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>;
+/**
+ * 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>;
 /**
- * CLUSTER_SUB_UNREGISTER - Remove a subscription from a node.
- * Sent from coordinator to data-owning nodes when client unsubscribes.
+ * Search result for a one-shot HTTP search.
  */
-declare const ClusterSubUnregisterPayloadSchema: z.ZodObject<{
-    subscriptionId: z.ZodString;
+declare const HttpSearchResultSchema: z.ZodObject<{
+    searchId: z.ZodString;
+    results: z.ZodArray<z.ZodAny>;
+    totalCount: z.ZodOptional<z.ZodNumber>;
 }, z.core.$strip>;
-declare const ClusterSubUnregisterMessageSchema: z.ZodObject<{
-    type: z.ZodLiteral<"CLUSTER_SUB_UNREGISTER">;
-    payload: z.ZodObject<{
-        subscriptionId: z.ZodString;
+/**
+ * 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>;
+/**
+ * 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;
@@ -3015,214 +3540,16 @@ declare const MessageSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
         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>], "type">;
-type Query$1 = z.infer<typeof QuerySchema>;
-type ClientOp = z.infer<typeof ClientOpSchema>;
-type Message = z.infer<typeof MessageSchema>;
-type PingMessage = z.infer<typeof PingMessageSchema>;
-type PongMessage = z.infer<typeof PongMessageSchema>;
-type BatchMessage = z.infer<typeof BatchMessageSchema>;
-type OpAckMessage = z.infer<typeof OpAckMessageSchema>;
-type OpRejectedMessage = z.infer<typeof OpRejectedMessageSchema>;
-type OpResult = z.infer<typeof OpResultSchema>;
-type EntryProcessRequest = z.infer<typeof EntryProcessRequestSchema>;
-type EntryProcessBatchRequest = z.infer<typeof EntryProcessBatchRequestSchema>;
-type EntryProcessResponse = z.infer<typeof EntryProcessResponseSchema>;
-type EntryProcessBatchResponse = z.infer<typeof EntryProcessBatchResponseSchema>;
-type EntryProcessKeyResult = z.infer<typeof EntryProcessKeyResultSchema>;
-type JournalEventData = z.infer<typeof JournalEventDataSchema>;
-type JournalSubscribeRequest = z.infer<typeof JournalSubscribeRequestSchema>;
-type JournalUnsubscribeRequest = z.infer<typeof JournalUnsubscribeRequestSchema>;
-type JournalEventMessage = z.infer<typeof JournalEventMessageSchema>;
-type JournalReadRequest = z.infer<typeof JournalReadRequestSchema>;
-type JournalReadResponse = z.infer<typeof JournalReadResponseSchema>;
-type ConflictResolver = z.infer<typeof ConflictResolverSchema>;
-type RegisterResolverRequest = z.infer<typeof RegisterResolverRequestSchema>;
-type RegisterResolverResponse = z.infer<typeof RegisterResolverResponseSchema>;
-type UnregisterResolverRequest = z.infer<typeof UnregisterResolverRequestSchema>;
-type UnregisterResolverResponse = z.infer<typeof UnregisterResolverResponseSchema>;
-type MergeRejectedMessage = z.infer<typeof MergeRejectedMessageSchema>;
-type ListResolversRequest = z.infer<typeof ListResolversRequestSchema>;
-type ListResolversResponse = z.infer<typeof ListResolversResponseSchema>;
-type SearchOptions$1 = z.infer<typeof SearchOptionsSchema>;
-type SearchPayload = z.infer<typeof SearchPayloadSchema>;
-type SearchMessage = z.infer<typeof SearchMessageSchema>;
-type SearchRespPayload = z.infer<typeof SearchRespPayloadSchema>;
-type SearchRespMessage = z.infer<typeof SearchRespMessageSchema>;
-type SearchUpdateType = z.infer<typeof SearchUpdateTypeSchema>;
-type SearchSubPayload = z.infer<typeof SearchSubPayloadSchema>;
-type SearchSubMessage = z.infer<typeof SearchSubMessageSchema>;
-type SearchUpdatePayload = z.infer<typeof SearchUpdatePayloadSchema>;
-type SearchUpdateMessage = z.infer<typeof SearchUpdateMessageSchema>;
-type SearchUnsubPayload = z.infer<typeof SearchUnsubPayloadSchema>;
-type SearchUnsubMessage = z.infer<typeof SearchUnsubMessageSchema>;
-/**
- * CLUSTER_SEARCH_REQ: Broadcast search request to cluster nodes.
- * Sent from coordinator to data-owning nodes.
- */
-declare const ClusterSearchReqPayloadSchema: z.ZodObject<{
-    requestId: z.ZodString;
-    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>>;
-        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>;
-declare const ClusterSearchReqMessageSchema: z.ZodObject<{
-    type: z.ZodLiteral<"CLUSTER_SEARCH_REQ">;
-    payload: z.ZodObject<{
-        requestId: z.ZodString;
-        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>>;
-            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>;
-/**
- * CLUSTER_SEARCH_RESP: Response from a node with local search results.
- */
-declare const ClusterSearchRespPayloadSchema: 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>;
-declare const ClusterSearchRespMessageSchema: 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>;
-/**
- * CLUSTER_SEARCH_SUBSCRIBE: Live distributed search subscription.
- */
-declare const ClusterSearchSubscribePayloadSchema: 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>;
-declare const ClusterSearchSubscribeMessageSchema: 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>;
-/**
- * CLUSTER_SEARCH_UNSUBSCRIBE: Unsubscribe from distributed search.
- */
-declare const ClusterSearchUnsubscribePayloadSchema: z.ZodObject<{
-    subscriptionId: z.ZodString;
-}, z.core.$strip>;
-declare const ClusterSearchUnsubscribeMessageSchema: z.ZodObject<{
-    type: z.ZodLiteral<"CLUSTER_SEARCH_UNSUBSCRIBE">;
-    payload: z.ZodObject<{
-        subscriptionId: z.ZodString;
-    }, z.core.$strip>;
-}, z.core.$strip>;
-/**
- * CLUSTER_SEARCH_UPDATE: Delta update for live distributed search.
- */
-declare const ClusterSearchUpdatePayloadSchema: z.ZodObject<{
-    subscriptionId: z.ZodString;
-    nodeId: z.ZodString;
-    key: z.ZodString;
-    value: z.ZodUnknown;
-    score: z.ZodNumber;
-    matchedTerms: z.ZodOptional<z.ZodArray<z.ZodString>>;
-    type: z.ZodEnum<{
-        UPDATE: "UPDATE";
-        ENTER: "ENTER";
-        LEAVE: "LEAVE";
-    }>;
-}, z.core.$strip>;
-declare const ClusterSearchUpdateMessageSchema: z.ZodObject<{
-    type: z.ZodLiteral<"CLUSTER_SEARCH_UPDATE">;
-    payload: z.ZodObject<{
-        subscriptionId: z.ZodString;
-        nodeId: z.ZodString;
-        key: z.ZodString;
-        value: z.ZodUnknown;
-        score: z.ZodNumber;
-        matchedTerms: z.ZodOptional<z.ZodArray<z.ZodString>>;
-        type: z.ZodEnum<{
-            UPDATE: "UPDATE";
-            ENTER: "ENTER";
-            LEAVE: "LEAVE";
-        }>;
-    }, z.core.$strip>;
-}, z.core.$strip>;
-type ClusterSearchReqPayload = z.infer<typeof ClusterSearchReqPayloadSchema>;
-type ClusterSearchReqMessage = z.infer<typeof ClusterSearchReqMessageSchema>;
-type ClusterSearchRespPayload = z.infer<typeof ClusterSearchRespPayloadSchema>;
-type ClusterSearchRespMessage = z.infer<typeof ClusterSearchRespMessageSchema>;
-type ClusterSearchSubscribePayload = z.infer<typeof ClusterSearchSubscribePayloadSchema>;
-type ClusterSearchSubscribeMessage = z.infer<typeof ClusterSearchSubscribeMessageSchema>;
-type ClusterSearchUnsubscribePayload = z.infer<typeof ClusterSearchUnsubscribePayloadSchema>;
-type ClusterSearchUnsubscribeMessage = z.infer<typeof ClusterSearchUnsubscribeMessageSchema>;
-type ClusterSearchUpdatePayload = z.infer<typeof ClusterSearchUpdatePayloadSchema>;
-type ClusterSearchUpdateMessage = z.infer<typeof ClusterSearchUpdateMessageSchema>;
-type ClusterSubRegisterPayload = z.infer<typeof ClusterSubRegisterPayloadSchema>;
-type ClusterSubRegisterMessage = z.infer<typeof ClusterSubRegisterMessageSchema>;
-type ClusterSubAckPayload = z.infer<typeof ClusterSubAckPayloadSchema>;
-type ClusterSubAckMessage = z.infer<typeof ClusterSubAckMessageSchema>;
-type ClusterSubUpdatePayload = z.infer<typeof ClusterSubUpdatePayloadSchema>;
-type ClusterSubUpdateMessage = z.infer<typeof ClusterSubUpdateMessageSchema>;
-type ClusterSubUnregisterPayload = z.infer<typeof ClusterSubUnregisterPayloadSchema>;
-type ClusterSubUnregisterMessage = z.infer<typeof ClusterSubUnregisterMessageSchema>;
-type CursorStatus$1 = z.infer<typeof CursorStatusSchema>;
-type QueryRespPayload = z.infer<typeof QueryRespPayloadSchema>;
-type QueryRespMessage = z.infer<typeof QueryRespMessageSchema>;
+            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>], "type">;
 
 /**
  * Write Concern - Configurable Acknowledgment Levels
@@ -3351,7 +3678,7 @@ declare function isWriteConcernAchieved(achieved: Set<WriteConcern>, target: Wri
 declare function getHighestWriteConcernLevel(achieved: Set<WriteConcern>): WriteConcern;
 
 /**
- * Cluster types for Phase 4: Clustering Improvements
+ * Cluster types
  *
  * These types are shared between client and server packages
  * for partition-aware routing and cluster communication.
@@ -4330,14 +4657,36 @@ interface QueryOptions {
     sort?: Record<string, 'asc' | 'desc'>;
     /** Maximum number of results to return */
     limit?: number;
-    /** Cursor for pagination (Phase 14.1: replaces offset) */
+    /** 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.
  */
@@ -4437,9 +4786,58 @@ interface QueryPlan {
     };
     /** Limit configuration */
     limit?: number;
-    /** Cursor for pagination (Phase 14.1: replaces offset) */
+    /** 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.
  */
@@ -4952,7 +5350,7 @@ declare class InvertedIndex<K, V, A extends string = string> implements Index<K,
 }
 
 /**
- * CompoundIndex Implementation (Phase 9.03)
+ * CompoundIndex Implementation
  *
  * Multi-attribute index for optimizing AND queries.
  * Creates a composite key from multiple attribute values for O(1) lookup.
@@ -5096,7 +5494,7 @@ interface CompoundIndexStats extends IndexStats {
 }
 
 /**
- * Types for Adaptive Indexing System (Phase 8.02)
+ * Types for Adaptive Indexing System
  *
  * Defines interfaces for query pattern tracking, index suggestions,
  * and auto-indexing configuration.
@@ -5130,7 +5528,7 @@ interface QueryStatistics {
     hasIndex: boolean;
 }
 /**
- * Statistics for compound query patterns (Phase 9.03).
+ * * Statistics for compound query patterns.
  * Tracks AND combinations of attributes for compound index suggestions.
  */
 interface CompoundQueryStatistics {
@@ -5238,7 +5636,7 @@ interface AdaptiveIndexingConfig {
     autoIndex?: AutoIndexConfig;
 }
 /**
- * Progress callback for lazy index building (Phase 9.01).
+ * * Progress callback for lazy index building.
  */
 type IndexBuildProgressCallback = (attributeName: string, progress: number, // 0-100
 recordsProcessed: number, totalRecords: number) => void;
@@ -5251,13 +5649,13 @@ interface IndexedMapOptions {
     /** Default indexing strategy (default: 'none') */
     defaultIndexing?: DefaultIndexingStrategy;
     /**
-     * Enable lazy index building (Phase 9.01).
+     * Enable lazy index building.
      * When true, indexes are not built until first query.
      * Default: false
      */
     lazyIndexBuilding?: boolean;
     /**
-     * Callback for index building progress (Phase 9.01).
+     * Callback for index building progress.
      * Called during lazy index materialization.
      */
     onIndexBuilding?: IndexBuildProgressCallback;
@@ -5266,7 +5664,7 @@ interface IndexedMapOptions {
 /**
  * Lazy Index Types
  *
- * Types and interfaces for lazy index building (Phase 9.01).
+ * Types and interfaces for lazy index building.
  * Lazy indexes defer actual index construction until first query.
  *
  * @module query/indexes/lazy/types
@@ -5315,7 +5713,7 @@ interface LazyIndexOptions {
 /**
  * LazyHashIndex Implementation
  *
- * Hash-based index with deferred building (Phase 9.01).
+ * Hash-based index with deferred building.
  * Records are buffered until first query, then index is materialized.
  *
  * Benefits:
@@ -5372,7 +5770,7 @@ declare class LazyHashIndex<K, V, A> implements LazyIndex<K, V, A> {
 /**
  * LazyNavigableIndex Implementation
  *
- * Sorted index with deferred building (Phase 9.01).
+ * Sorted index with deferred building.
  * Records are buffered until first query, then index is materialized.
  *
  * Benefits:
@@ -5441,7 +5839,7 @@ declare class LazyNavigableIndex<K, V, A extends string | number> implements Laz
 /**
  * LazyInvertedIndex Implementation
  *
- * Full-text search index with deferred building (Phase 9.01).
+ * Full-text search index with deferred building.
  * Records are buffered until first query, then index is materialized.
  *
  * Benefits:
@@ -6487,7 +6885,7 @@ declare function createFieldComparator<V>(field: string, direction: 'asc' | 'des
  * Implements early termination for efficiency.
  *
  * NOTE: The offset parameter is intentionally retained in this internal component
- * even though Phase 14.1 replaced offset with cursor-based pagination in the query API.
+ * even though cursor-based pagination replaced offset in the query API.
  * This class is used internally by:
  * - EventJournalService (SQL queries require numeric offset)
  * - Index result set operations where offset is computed internally
@@ -6579,7 +6977,7 @@ declare class LimitResultSet<K> implements ResultSet<K> {
 declare class IndexRegistry<K, V> {
     /** Indexes grouped by attribute name */
     private attributeIndexes;
-    /** Compound indexes (Phase 9.03) - keyed by sorted attribute names */
+    /** Compound indexes - keyed by sorted attribute names */
     private compoundIndexes;
     /** Fallback index for full scan (optional) */
     private fallbackIndex;
@@ -6591,7 +6989,7 @@ declare class IndexRegistry<K, V> {
      */
     addIndex<A>(index: Index<K, V, A>): void;
     /**
-     * Register a compound index (Phase 9.03).
+     * Register a compound index.
      *
      * @param index - Compound index to register
      */
@@ -6604,7 +7002,7 @@ declare class IndexRegistry<K, V> {
      */
     removeIndex<A>(index: Index<K, V, A>): boolean;
     /**
-     * Remove a compound index (Phase 9.03).
+     * Remove a compound index.
      *
      * @param index - Compound index to remove
      * @returns true if index was found and removed
@@ -6654,7 +7052,7 @@ declare class IndexRegistry<K, V> {
      */
     findIndexes(attributeName: string, queryType: string): Index<K, V, unknown>[];
     /**
-     * Find a compound index that covers the given attribute names (Phase 9.03).
+     * Find a compound index that covers the given attribute names.
      * The compound index must cover ALL the attributes (exact match or superset).
      *
      * @param attributeNames - Array of attribute names to search for
@@ -6662,14 +7060,14 @@ declare class IndexRegistry<K, V> {
      */
     findCompoundIndex(attributeNames: string[]): CompoundIndex<K, V> | null;
     /**
-     * Check if a compound index exists for the given attributes (Phase 9.03).
+     * Check if a compound index exists for the given attributes.
      *
      * @param attributeNames - Array of attribute names
      * @returns true if a compound index exists
      */
     hasCompoundIndex(attributeNames: string[]): boolean;
     /**
-     * Get all compound indexes (Phase 9.03).
+     * Get all compound indexes.
      *
      * @returns Array of all compound indexes
      */
@@ -6738,7 +7136,7 @@ interface IndexRegistryStats {
     totalIndexes: number;
     /** Number of indexed attributes */
     indexedAttributes: number;
-    /** Number of compound indexes (Phase 9.03) */
+    /** Number of compound indexes */
     compoundIndexes?: number;
     /** Stats for each index */
     indexes: Array<{
@@ -6931,7 +7329,7 @@ interface QueryOptimizerOptions<K, V> {
     indexRegistry: IndexRegistry<K, V>;
     /** Standing query registry for pre-computed queries (optional) */
     standingQueryRegistry?: StandingQueryRegistry<K, V>;
-    /** Full-text index registry for FTS queries (Phase 12) */
+    /** Full-text index registry for FTS queries */
     fullTextIndexes?: Map<string, FullTextIndex>;
 }
 /**
@@ -6960,32 +7358,31 @@ declare class QueryOptimizer<K, V> {
     /**
      * Create a QueryOptimizer.
      *
-     * @param indexRegistryOrOptions - IndexRegistry or options object
-     * @param standingQueryRegistry - Optional StandingQueryRegistry (deprecated, use options)
+     * @param options - QueryOptimizer options
      */
-    constructor(indexRegistryOrOptions: IndexRegistry<K, V> | QueryOptimizerOptions<K, V>, standingQueryRegistry?: StandingQueryRegistry<K, V>);
+    constructor(options: QueryOptimizerOptions<K, V>);
     /**
-     * Register a full-text index for a field (Phase 12).
+     * Register a full-text index for a field.
      *
      * @param field - Field name
      * @param index - FullTextIndex instance
      */
     registerFullTextIndex(field: string, index: FullTextIndex): void;
     /**
-     * Unregister a full-text index (Phase 12).
+     * Unregister a full-text index.
      *
      * @param field - Field name
      */
     unregisterFullTextIndex(field: string): void;
     /**
-     * Get registered full-text index for a field (Phase 12).
+     * Get registered full-text index for a field.
      *
      * @param field - Field name
      * @returns FullTextIndex or undefined
      */
     getFullTextIndex(field: string): FullTextIndex | undefined;
     /**
-     * Check if a full-text index exists for a field (Phase 12).
+     * Check if a full-text index exists for a field.
      *
      * @param field - Field name
      * @returns True if FTS index exists
@@ -6995,46 +7392,79 @@ 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.
      */
     private optimizeNode;
     /**
-     * Optimize a full-text search query (Phase 12).
+     * Optimize a full-text search query.
      */
     private optimizeFTS;
     /**
-     * Build an FTS scan step from a query node (Phase 12).
+     * Build an FTS scan step from a query node.
      */
     private buildFTSScanStep;
     /**
-     * Estimate cost of FTS query based on index size (Phase 12).
+     * Estimate cost of FTS query based on index size.
      */
     private estimateFTSCost;
     /**
-     * Classify predicates by type for hybrid query planning (Phase 12).
+     * Classify predicates by type for hybrid query planning.
      *
      * @param predicates - Array of predicates to classify
      * @returns Classified predicates
      */
     classifyPredicates(predicates: Query[]): ClassifiedPredicates;
     /**
-     * Determine fusion strategy based on step types (Phase 12).
+     * Determine fusion strategy based on step types.
      *
      * Strategy selection:
      * - All binary (exact/range with no scores) → 'intersection'
@@ -7046,7 +7476,7 @@ declare class QueryOptimizer<K, V> {
      */
     determineFusionStrategy(steps: PlanStep[]): FusionStrategy;
     /**
-     * Check if a plan step returns scored results (Phase 12).
+     * Check if a plan step returns scored results.
      */
     private stepReturnsScored;
     /**
@@ -7062,14 +7492,14 @@ declare class QueryOptimizer<K, V> {
      * Strategy: Find child with lowest cost, use as base, filter with rest.
      *
      * CQEngine "smallest first" strategy:
-     * 1. Check for CompoundIndex covering all eq children (Phase 9.03)
+     * 1. Check for CompoundIndex covering all eq children
      * 2. Sort children by merge cost
      * 3. Use intersection if multiple indexes available
      * 4. Apply remaining predicates as filters
      */
     private optimizeAnd;
     /**
-     * Try to use a CompoundIndex for an AND query (Phase 9.03).
+     * Try to use a CompoundIndex for an AND query.
      *
      * Returns a compound index scan step if:
      * 1. All children are simple 'eq' queries
@@ -7110,6 +7540,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.
      */
@@ -7274,7 +7727,7 @@ interface LiveQueryManagerStats extends StandingQueryRegistryStats {
 }
 
 /**
- * QueryPatternTracker (Phase 8.02.1)
+ * * QueryPatternTracker
  *
  * Collects runtime statistics on query execution patterns.
  * Used by IndexAdvisor to generate index suggestions.
@@ -7322,7 +7775,7 @@ interface QueryPatternTrackerOptions {
  * tracker.recordQuery('category', 'eq', 5.2, 100, false);
  * tracker.recordQuery('category', 'eq', 4.8, 100, false);
  *
- * // Record compound AND queries (Phase 9.03)
+ * * // Record compound AND queries
  * tracker.recordCompoundQuery(['status', 'category'], 10.5, 50, false);
  *
  * // Get statistics
@@ -7349,7 +7802,7 @@ declare class QueryPatternTracker {
      */
     recordQuery(attribute: string, queryType: TrackedQueryType, executionTime: number, resultSize: number, hasIndex: boolean): void;
     /**
-     * Record a compound (AND) query execution for pattern tracking (Phase 9.03).
+     * Record a compound (AND) query execution for pattern tracking.
      *
      * @param attributes - Array of attribute names being queried together
      * @param executionTime - Query execution time in milliseconds
@@ -7358,7 +7811,7 @@ declare class QueryPatternTracker {
      */
     recordCompoundQuery(attributes: string[], executionTime: number, resultSize: number, hasCompoundIndex: boolean): void;
     /**
-     * Get all compound query statistics (Phase 9.03).
+     * Get all compound query statistics.
      *
      * @returns Array of compound query statistics, sorted by query count descending
      */
@@ -7464,17 +7917,17 @@ declare class QueryPatternTracker {
      */
     private pruneStale;
     /**
-     * Evict the oldest compound query entry (Phase 9.03).
+     * Evict the oldest compound query entry.
      */
     private evictOldestCompound;
     /**
-     * Prune stale compound statistics (Phase 9.03).
+     * Prune stale compound statistics.
      */
     private pruneStaleCompound;
 }
 
 /**
- * IndexAdvisor (Phase 8.02.2)
+ * * IndexAdvisor
  *
  * Analyzes query patterns and generates index suggestions.
  * Used in production mode to help developers optimize their indexes.
@@ -7629,7 +8082,7 @@ declare class IndexAdvisor {
 }
 
 /**
- * AutoIndexManager (Phase 8.02.3)
+ * * AutoIndexManager
  *
  * Automatically creates indexes based on query patterns.
  * Intended for development mode to simplify index management.
@@ -7778,7 +8231,7 @@ declare class AutoIndexManager<K, V> {
 }
 
 /**
- * QueryExecutor Implementation (Phase 12)
+ * QueryExecutor Implementation
  *
  * Executes query plans produced by QueryOptimizer.
  * Supports hybrid queries with FTS and traditional predicates,
@@ -7805,7 +8258,7 @@ interface QueryResult<K, V> {
  */
 type CursorStatus = 'valid' | 'expired' | 'invalid' | 'none';
 /**
- * Extended query result with cursor info (Phase 14.1).
+ * Extended query result with cursor info.
  */
 interface QueryResultWithCursor<K, V> {
     /** Query results */
@@ -7819,7 +8272,7 @@ interface QueryResultWithCursor<K, V> {
 }
 
 /**
- * QueryCursor - Cursor-based pagination for distributed queries (Phase 14.1)
+ * QueryCursor - Cursor-based pagination for distributed queries
  *
  * Implements opaque cursor encoding for efficient deep pagination in distributed
  * predicate-based queries. Cursors encode the last seen position per node, enabling
@@ -8081,6 +8534,9 @@ declare function decodeBase64Url(encoded: string): string;
  */
 declare function compareValues(a: unknown, b: unknown): number;
 
+declare const logger: pino.Logger<never, boolean>;
+type Logger = typeof logger;
+
 /**
  * IndexedLWWMap Implementation
  *
@@ -8092,7 +8548,7 @@ declare function compareValues(a: unknown, b: unknown): number;
  * - Live queries with StandingQueryIndex
  * - Automatic index updates on CRDT operations
  * - Cost-based query optimization
- * - Adaptive indexing with query pattern tracking (Phase 8.02)
+ * - Adaptive indexing with query pattern tracking
  *
  * @module IndexedLWWMap
  */
@@ -8185,7 +8641,7 @@ declare class IndexedLWWMap<K extends string, V> extends LWWMap<K, V> {
      * Execute a query using indexes.
      * Returns lazy ResultSet of matching keys.
      *
-     * Also tracks query patterns for adaptive indexing (Phase 8.02).
+     * Also tracks query patterns for adaptive indexing.
      *
      * @param query - Query to execute
      * @returns ResultSet of matching keys
@@ -8409,7 +8865,7 @@ declare class IndexedLWWMap<K extends string, V> extends LWWMap<K, V> {
  * - Composite key indexing (key:tag)
  * - Automatic index updates on CRDT operations
  * - Lazy filtering for tombstones
- * - Adaptive indexing with query pattern tracking (Phase 8.02)
+ * - Adaptive indexing with query pattern tracking
  *
  * @module IndexedORMap
  */
@@ -8563,7 +9019,7 @@ declare class IndexedORMap<K extends string, V> extends ORMap<K, V> {
      * Execute a query across all records.
      * Returns array of matching results with key, tag, and value.
      *
-     * Also tracks query patterns for adaptive indexing (Phase 8.02).
+     * Also tracks query patterns for adaptive indexing.
      *
      * @param query - Query to execute
      * @returns Array of query results
@@ -8989,4 +9445,618 @@ declare class SearchCursor {
     static merge(cursors: SearchCursorData[], query: string): SearchCursorData;
 }
 
-export { type Attribute, AuthMessageSchema, type BM25Options, BM25Scorer, type BatchMessage, BatchMessageSchema, BuiltInProcessors, BuiltInResolvers, 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 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, 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, 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, HLC, HashIndex, 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, LockReleaseSchema, LockRequestSchema, 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, ORMapDiffResponseSchema, type ORMapMerkleNode, ORMapMerkleReqBucketSchema, ORMapMerkleTree, ORMapPushDiffSchema, type ORMapQueryResult, type ORMapRecord, ORMapRecordSchema, type ORMapSearchResult, type ORMapSnapshot, ORMapSyncInitSchema, ORMapSyncRespBucketsSchema, ORMapSyncRespLeafSchema, ORMapSyncRespRootSchema, type OpAckMessage, OpAckMessageSchema, OpBatchMessageSchema, type OpRejectedMessage, OpRejectedMessageSchema, type OpResult, OpResultSchema, 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, RESOLVER_FORBIDDEN_PATTERNS, type RRFConfig, 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 SearchMessage, SearchMessageSchema, type SearchOptions$1 as SearchOptions, SearchOptionsSchema, type SearchPayload, SearchPayloadSchema, type SearchRespMessage, SearchRespMessageSchema, type SearchRespPayload, SearchRespPayloadSchema, type SearchSubMessage, SearchSubMessageSchema, type SearchSubPayload, SearchSubPayloadSchema, type SearchUnsubMessage, SearchUnsubMessageSchema, type SearchUnsubPayload, SearchUnsubPayloadSchema, type SearchUpdateMessage, SearchUpdateMessageSchema, type SearchUpdatePayload, SearchUpdatePayloadSchema, type SearchUpdateType, SearchUpdateTypeSchema, type SerializedIndex, SetResultSet, SimpleAttribute, type SimpleQueryNode, SortedMap, SortedResultSet, type StaleMapError, type StandingQueryChange, StandingQueryIndex, type StandingQueryIndexOptions, StandingQueryRegistry, type StandingQueryRegistryOptions, type StandingQueryRegistryStats, StopWordFilter, SyncInitMessageSchema, SyncRespBucketsMessageSchema, SyncRespLeafMessageSchema, SyncRespRootMessageSchema, 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, 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, getHighestWriteConcernLevel, hashORMapEntry, hashORMapRecord, hashObject, hashString, isLogicalQuery, isSimpleQuery, isUsingNativeHash, isWriteConcernAchieved, multiAttribute, porterStem, resetNativeHash, serialize, simpleAttribute, timestampToString, validateProcessorCode, validateResolverCode };
+/**
+ * Snapshot of a CRDT operation for debugging and replay.
+ */
+interface CRDTSnapshot {
+    id: string;
+    timestamp: Timestamp;
+    operation: 'set' | 'delete' | 'merge';
+    mapId: string;
+    key?: string;
+    value?: unknown;
+    oldValue?: unknown;
+    nodeId: string;
+    merkleRoot?: string;
+    metadata?: Record<string, unknown>;
+}
+/**
+ * Information about a resolved conflict.
+ */
+interface ConflictInfo {
+    mapId: string;
+    key: string;
+    winnerTimestamp: Timestamp;
+    winnerNodeId: string;
+    winnerValue: unknown;
+    loserTimestamp: Timestamp;
+    loserNodeId: string;
+    loserValue: unknown;
+    resolvedAt: Date;
+}
+/**
+ * Statistics about CRDT operations.
+ */
+interface DebugStatistics {
+    totalOperations: number;
+    operationsByType: Record<string, number>;
+    operationsByNode: Record<string, number>;
+    conflictsResolved: number;
+    timeRange: {
+        start: Timestamp | null;
+        end: Timestamp | null;
+    };
+    uniqueKeys: number;
+    averageOpsPerSecond: number;
+}
+/**
+ * Options for querying operations.
+ */
+interface OperationQueryOptions {
+    mapId?: string;
+    nodeId?: string;
+    operation?: string;
+    since?: Timestamp;
+    until?: Timestamp;
+    limit?: number;
+}
+/**
+ * CRDTDebugger - Records and analyzes CRDT operations for debugging.
+ *
+ * Features:
+ * - Record all CRDT operations (set, delete, merge)
+ * - Detect and track conflicts
+ * - Replay operations to any point in time
+ * - Export/import operation history
+ * - Statistics and analysis
+ *
+ * @see PHASE_14C_OBSERVABILITY.md for specification
+ */
+declare class CRDTDebugger {
+    private snapshots;
+    private conflicts;
+    private maxSnapshots;
+    private enabled;
+    private idCounter;
+    constructor(options?: {
+        maxSnapshots?: number;
+        enabled?: boolean;
+    });
+    isEnabled(): boolean;
+    enable(): void;
+    disable(): void;
+    recordOperation(snapshot: Omit<CRDTSnapshot, 'id'>): void;
+    recordSet(mapId: string, key: string, value: unknown, timestamp: Timestamp, nodeId: string, oldValue?: unknown, merkleRoot?: string): void;
+    recordDelete(mapId: string, key: string, timestamp: Timestamp, nodeId: string, oldValue?: unknown, merkleRoot?: string): void;
+    recordMerge(mapId: string, key: string, value: unknown, timestamp: Timestamp, nodeId: string, wasUpdated: boolean, oldValue?: unknown, merkleRoot?: string): void;
+    recordConflict(conflict: ConflictInfo): void;
+    getOperations(options?: OperationQueryOptions): CRDTSnapshot[];
+    getConflicts(mapId?: string): ConflictInfo[];
+    getLastOperation(): CRDTSnapshot | undefined;
+    getOperationsForKey(mapId: string, key: string): CRDTSnapshot[];
+    getStatistics(mapId?: string): DebugStatistics;
+    /**
+     * Replays operations up to the target timestamp and returns the map state.
+     */
+    replayUntil<K extends string, V>(targetTimestamp: Timestamp, mapId?: string, hlc?: HLC): LWWMap<K, V>;
+    /**
+     * Creates a timeline of operations grouped by time intervals.
+     */
+    getTimeline(intervalMs?: number, mapId?: string): Array<{
+        timestamp: number;
+        operations: CRDTSnapshot[];
+    }>;
+    exportHistory(format?: 'json' | 'csv' | 'ndjson'): string;
+    private toCSV;
+    importHistory(json: string): void;
+    /**
+     * Compares two points in time and returns the differences.
+     */
+    diff(fromTimestamp: Timestamp, toTimestamp: Timestamp, mapId?: string): {
+        added: CRDTSnapshot[];
+        modified: CRDTSnapshot[];
+        deleted: CRDTSnapshot[];
+    };
+    clear(): void;
+    private compareTimestamp;
+}
+declare function getCRDTDebugger(): CRDTDebugger;
+declare function resetCRDTDebugger(): void;
+
+/**
+ * BM25 scoring debug information.
+ */
+interface BM25DebugInfo {
+    score: number;
+    matchedTerms: string[];
+    tf: Record<string, number>;
+    idf: Record<string, number>;
+    fieldWeights: Record<string, number>;
+    avgDocLength: number;
+    docLength: number;
+    k1: number;
+    b: number;
+}
+/**
+ * Exact match debug information.
+ */
+interface ExactMatchDebugInfo {
+    score: number;
+    matchedFields: string[];
+    boostApplied: number;
+}
+/**
+ * Reciprocal Rank Fusion (RRF) debug information.
+ */
+interface RRFDebugInfo {
+    rank: number;
+    score: number;
+    k: number;
+    contributingRanks: {
+        source: string;
+        rank: number;
+    }[];
+}
+/**
+ * Vector similarity debug information.
+ */
+interface VectorDebugInfo {
+    score: number;
+    distance: number;
+    similarity: 'cosine' | 'euclidean' | 'dot';
+}
+/**
+ * Debug information for a single search result.
+ */
+interface SearchResultDebug {
+    docId: string;
+    finalScore: number;
+    scoreBreakdown: {
+        bm25?: BM25DebugInfo;
+        exact?: ExactMatchDebugInfo;
+        rrf?: RRFDebugInfo;
+        vector?: VectorDebugInfo;
+    };
+    matchedDocument?: Record<string, unknown>;
+}
+/**
+ * Index statistics for a search operation.
+ */
+interface SearchIndexStats {
+    indexType: string;
+    indexSize: number;
+    termsSearched: number;
+}
+/**
+ * Timing information for search operations.
+ */
+interface SearchTiming {
+    tokenization: number;
+    indexLookup: number;
+    scoring: number;
+    ranking: number;
+    fusion?: number;
+    total: number;
+}
+/**
+ * Complete debug information for a search query.
+ */
+interface SearchDebugInfo {
+    query: string;
+    queryTokens: string[];
+    mapId: string;
+    searchType: 'bm25' | 'exact' | 'hybrid' | 'vector';
+    totalDocuments: number;
+    matchingDocuments: number;
+    results: SearchResultDebug[];
+    timing: SearchTiming;
+    indexStats: SearchIndexStats;
+}
+/**
+ * SearchDebugger - Records and analyzes search operations for debugging.
+ *
+ * Features:
+ * - Record search queries with full debug info
+ * - BM25 score breakdown per term
+ * - RRF fusion explanation
+ * - Timing breakdown
+ * - Query history
+ *
+ * @see PHASE_14C_OBSERVABILITY.md for specification
+ */
+declare class SearchDebugger {
+    private enabled;
+    private lastQuery;
+    private history;
+    private maxHistory;
+    constructor(options?: {
+        enabled?: boolean;
+        maxHistory?: number;
+    });
+    isEnabled(): boolean;
+    enable(): void;
+    disable(): void;
+    recordSearch(debugInfo: SearchDebugInfo): void;
+    getLastQuery(): SearchDebugInfo | null;
+    getHistory(): SearchDebugInfo[];
+    getHistoryByMap(mapId: string): SearchDebugInfo[];
+    explainResult(docId: string): SearchResultDebug | undefined;
+    formatExplanation(docId: string): string;
+    formatQuerySummary(): string;
+    formatAllResults(): string;
+    exportDebugInfo(): string;
+    exportHistory(): string;
+    getSearchStats(): {
+        totalQueries: number;
+        averageResultCount: number;
+        averageLatencyMs: number;
+        queryTypeBreakdown: Record<string, number>;
+    };
+    clear(): void;
+}
+declare function getSearchDebugger(): SearchDebugger;
+declare function resetSearchDebugger(): void;
+
+/**
+ * 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 AuthFailMessage, AuthFailMessageSchema, AuthMessageSchema, type BM25DebugInfo, type BM25Options, BM25Scorer, type BatchMessage, BatchMessageSchema, BuiltInProcessors, BuiltInResolvers, COST_WEIGHTS, CRDTDebugger, CRDTInvariants, type CRDTSnapshot, type CircuitBreakerConfig, type ClientOp, 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, 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, DeltaRecordSchema, type DistributedCost, 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, HttpQueryRequestSchema, HttpQueryResultSchema, HttpSearchRequestSchema, HttpSearchResultSchema, HttpSyncErrorSchema, type HttpSyncRequest, HttpSyncRequestSchema, type HttpSyncResponse, HttpSyncResponseSchema, type HybridQueryDeltaPayload, HybridQueryDeltaPayloadSchema, type HybridQueryRespPayload, HybridQueryRespPayloadSchema, 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 LockGrantedPayload, LockGrantedPayloadSchema, LockReleaseSchema, type LockReleasedPayload, LockReleasedPayloadSchema, LockRequestSchema, type Logger, type LogicalQueryNode, LowercaseFilter, MapDeltaSchema, 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 NetworkConfig, 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, 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, QuerySubMessageSchema, 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, SyncInitMessageSchema, SyncMapEntrySchema, 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, 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, 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 };