diff --git a/src/barabadb/core/disttxn.nim b/src/barabadb/core/disttxn.nim
new file mode 100644
index 0000000..86d8392
--- /dev/null
+++ b/src/barabadb/core/disttxn.nim
@@ -0,0 +1,198 @@
+## Distributed Transactions — cross-node atomic operations
+import std/tables
+import std/sets
+import std/locks
+import std/monotimes
+
+type
+  DistTxnState* = enum
+    dtsActive
+    dtsPreparing
+    dtsPrepared
+    dtsCommitting
+    dtsCommitted
+    dtsAborting
+    dtsAborted
+
+  DistTxnParticipant* = object
+    nodeId*: string
+    host*: string
+    port*: int
+    prepared*: bool
+    committed*: bool
+    aborted*: bool
+    errorMsg*: string
+
+  DistributedTransaction* = ref object
+    id*: uint64
+    coordinator*: string
+    participants*: Table[string, DistTxnParticipant]
+    state*: DistTxnState
+    timeout*: int64  # nanoseconds
+    startTime*: int64
+    lock: Lock
+
+  DistTxnManager* = ref object
+    lock: Lock
+    nextId: uint64
+    activeTxns*: Table[uint64, DistributedTransaction]
+    timeoutNs*: int64
+    defaultTimeout*: int64
+
+proc newDistributedTransaction*(coordinator: string,
+                                timeout: int64 = 30_000_000_000): DistributedTransaction =
+  new(result)
+  initLock(result.lock)
+  result.coordinator = coordinator
+  result.participants = initTable[string, DistTxnParticipant]()
+  result.state = dtsActive
+  result.timeout = timeout
+  result.startTime = getMonoTime().ticks()
+
+proc newDistTxnManager*(): DistTxnManager =
+  new(result)
+  initLock(result.lock)
+  result.nextId = 1
+  result.activeTxns = initTable[uint64, DistributedTransaction]()
+  result.timeoutNs = 60_000_000_000  # 1 minute
+  result.defaultTimeout = 30_000_000_000  # 30 seconds
+
+proc beginTransaction*(tm: DistTxnManager, coordinator: string): DistributedTransaction =
+  acquire(tm.lock)
+  result = newDistributedTransaction(coordinator, tm.defaultTimeout)
+  result.id = tm.nextId
+  inc tm.nextId
+  tm.activeTxns[result.id] = result
+  release(tm.lock)
+
+proc addParticipant*(txn: DistributedTransaction, nodeId: string,
+                     host: string, port: int) =
+  acquire(txn.lock)
+  txn.participants[nodeId] = DistTxnParticipant(
+    nodeId: nodeId, host: host, port: port,
+    prepared: false, committed: false, aborted: false,
+  )
+  release(txn.lock)
+
+proc prepare*(txn: DistributedTransaction): bool =
+  acquire(txn.lock)
+  if txn.state != dtsActive:
+    release(txn.lock)
+    return false
+
+  txn.state = dtsPreparing
+
+  var allOk = true
+  for nodeId, participant in txn.participants.mpairs:
+    # In production, would send PREPARE RPC to each participant node
+    # Simulate prepare success for now
+    participant.prepared = true
+
+  if allOk:
+    txn.state = dtsPrepared
+  else:
+    txn.state = dtsActive
+
+  release(txn.lock)
+  return allOk
+
+proc commit*(txn: DistributedTransaction): bool =
+  acquire(txn.lock)
+  if txn.state != dtsPrepared:
+    release(txn.lock)
+    return false
+
+  txn.state = dtsCommitting
+
+  var allOk = true
+  for nodeId, participant in txn.participants.mpairs:
+    # In production, would send COMMIT RPC
+    participant.committed = true
+
+  if allOk:
+    txn.state = dtsCommitted
+  release(txn.lock)
+  return allOk
+
+proc rollback*(txn: DistributedTransaction): bool =
+  acquire(txn.lock)
+  if txn.state notin {dtsActive, dtsPreparing, dtsPrepared}:
+    release(txn.lock)
+    return false
+
+  txn.state = dtsAborting
+  for nodeId, participant in txn.participants.mpairs:
+    participant.aborted = true
+  txn.state = dtsAborted
+  release(txn.lock)
+  return true
+
+proc participantCount*(txn: DistributedTransaction): int =
+  acquire(txn.lock)
+  result = txn.participants.len
+  release(txn.lock)
+
+proc state*(txn: DistributedTransaction): DistTxnState =
+  acquire(txn.lock)
+  result = txn.state
+  release(txn.lock)
+
+proc isCommitted*(txn: DistributedTransaction): bool =
+  return txn.state() == dtsCommitted
+
+proc isAborted*(txn: DistributedTransaction): bool =
+  return txn.state() == dtsAborted
+
+proc getTxn*(tm: DistTxnManager, id: uint64): DistributedTransaction =
+  acquire(tm.lock)
+  result = tm.activeTxns.getOrDefault(id, nil)
+  release(tm.lock)
+
+proc cleanupCompleted*(tm: DistTxnManager) =
+  acquire(tm.lock)
+  var toRemove: seq[uint64] = @[]
+  for id, txn in tm.activeTxns:
+    if txn.state == dtsCommitted or txn.state == dtsAborted:
+      toRemove.add(id)
+  for id in toRemove:
+    tm.activeTxns.del(id)
+  release(tm.lock)
+
+proc activeCount*(tm: DistTxnManager): int =
+  acquire(tm.lock)
+  result = tm.activeTxns.len
+  release(tm.lock)
+
+# Saga pattern for long-running distributed transactions
+type
+  SagaStep* = object
+    name*: string
+    nodeId*: string
+    execute*: proc(): bool {.gcsafe.}  # returns true on success
+    compensate*: proc() {.gcsafe.}      # undo the step
+
+  Saga* = ref object
+    steps*: seq[SagaStep]
+    completedSteps*: seq[int]  # indices of completed steps
+
+proc newSaga*(): Saga =
+  Saga(steps: @[], completedSteps: @[])
+
+proc addStep*(saga: Saga, step: SagaStep) =
+  saga.steps.add(step)
+
+proc execute*(saga: Saga): bool =
+  saga.completedSteps = @[]
+  for i, step in saga.steps:
+    if step.execute():
+      saga.completedSteps.add(i)
+    else:
+      # Rollback: compensate completed steps in reverse order
+      for j in countdown(saga.completedSteps.len - 1, 0):
+        let idx = saga.completedSteps[j]
+        saga.steps[idx].compensate()
+      return false
+  return true
+
+proc stepCount*(saga: Saga): int = saga.steps.len
+proc completedCount*(saga: Saga): int = saga.completedSteps.len
diff --git a/src/barabadb/protocol/zerocopy.nim b/src/barabadb/protocol/zerocopy.nim
new file mode 100644
index 0000000..5abfaf6
--- /dev/null
+++ b/src/barabadb/protocol/zerocopy.nim
@@ -0,0 +1,251 @@
+## Zero-Copy Serialization — direct memory access without copies
+import std/endians
+import std/tables
+import std/strutils
+
+type
+  ZeroBuf* = object
+    data*: ptr UncheckedArray[byte]
+    pos*: int
+    capacity*: int
+    owned*: bool
+
+  ZcTypeKind* = enum
+    ztBool
+    ztInt8
+    ztInt16
+    ztInt32
+    ztInt64
+    ztFloat32
+    ztFloat64
+    ztString
+    ztBytes
+    ztUuid
+    ztArray
+    ztObject
+    ztVector
+
+  ZcField* = object
+    name*: string
+    offset*: int  # byte offset within the record
+    typeKind*: ZcTypeKind
+    size*: int
+    isNullable*: bool
+
+  ZcSchema* = ref object
+    fields*: seq[ZcField]
+    totalSize*: int
+    name*: string
+
+proc newZcSchema*(name: string): ZcSchema =
+  ZcSchema(name: name, fields: @[], totalSize: 0)
+
+proc addField*(schema: ZcSchema, name: string, kind: ZcTypeKind,
+               isNullable: bool = false) =
+  let fieldSize = case kind
+    of ztBool, ztInt8: 1
+    of ztInt16: 2
+    of ztInt32, ztFloat32: 4
+    of ztInt64, ztFloat64: 8
+    of ztString, ztBytes, ztArray, ztObject, ztVector: 16  # pointer + length
+    of ztUuid: 16
+
+  schema.fields.add(ZcField(
+    name: name, offset: schema.totalSize, typeKind: kind,
+    size: fieldSize, isNullable: isNullable,
+  ))
+  schema.totalSize += fieldSize + (if isNullable: 1 else: 0)
+
+proc getField*(schema: ZcSchema, name: string): ZcField =
+  for f in schema.fields:
+    if f.name == name:
+      return f
+  return ZcField()
+
+proc newZeroBuf*(capacity: int): ZeroBuf =
+  let p = cast[ptr UncheckedArray[byte]](alloc0(capacity))
+  ZeroBuf(data: p, pos: 0, capacity: capacity, owned: true)
+
+proc newZeroBufFrom*(raw: ptr UncheckedArray[byte], len: int): ZeroBuf =
+  ZeroBuf(data: raw, pos: 0, capacity: len, owned: false)
+
+proc free*(buf: var ZeroBuf) =
+  if buf.owned and buf.data != nil:
+    dealloc(buf.data)
+    buf.data = nil
+
+proc remaining*(buf: ZeroBuf): int = buf.capacity - buf.pos
+
+proc writeBool*(buf: var ZeroBuf, val: bool) =
+  if buf.remaining() >= 1:
+    buf.data[buf.pos] = byte(val)
+    inc buf.pos
+
+proc readBool*(buf: ZeroBuf, offset: int): bool =
+  if offset + 1 <= buf.capacity:
+    return buf.data[offset] != 0
+  return false
+
+proc writeInt32*(buf: var ZeroBuf, val: int32) =
+  if buf.remaining() >= 4:
+    bigEndian32(addr buf.data[buf.pos], unsafeAddr val)
+    buf.pos += 4
+
+proc readInt32*(buf: ZeroBuf, offset: int): int32 =
+  var val: int32
+  if offset + 4 <= buf.capacity:
+    bigEndian32(addr val, addr buf.data[offset])
+  return val
+
+proc writeInt64*(buf: var ZeroBuf, val: int64) =
+  if buf.remaining() >= 8:
+    bigEndian64(addr buf.data[buf.pos], unsafeAddr val)
+    buf.pos += 8
+
+proc readInt64*(buf: ZeroBuf, offset: int): int64 =
+  var val: int64
+  if offset + 8 <= buf.capacity:
+    bigEndian64(addr val, addr buf.data[offset])
+  return val
+
+proc writeFloat32*(buf: var ZeroBuf, val: float32) =
+  if buf.remaining() >= 4:
+    copyMem(addr buf.data[buf.pos], unsafeAddr val, 4)
+    buf.pos += 4
+
+proc readFloat32*(buf: ZeroBuf, offset: int): float32 =
+  var val: float32
+  if offset + 4 <= buf.capacity:
+    copyMem(addr val, addr buf.data[offset], 4)
+  return val
+
+proc writeFloat64*(buf: var ZeroBuf, val: float64) =
+  if buf.remaining() >= 8:
+    copyMem(addr buf.data[buf.pos], unsafeAddr val, 8)
+    buf.pos += 8
+
+proc readFloat64*(buf: ZeroBuf, offset: int): float64 =
+  var val: float64
+  if offset + 8 <= buf.capacity:
+    copyMem(addr val, addr buf.data[offset], 8)
+  return val
+
+proc writeString*(buf: var ZeroBuf, val: string) =
+  let headerSize = 8  # len + data ptr (conceptual)
+  if buf.remaining() >= headerSize + val.len:
+    buf.writeInt64(int64(val.len))
+    copyMem(addr buf.data[buf.pos], unsafeAddr val[0], val.len)
+    buf.pos += val.len
+
+proc readString*(buf: ZeroBuf, offset: var int): string =
+  let len = int(buf.readInt64(offset))
+  offset += 8
+  if len > 0:
+    result = newString(len)
+    copyMem(addr result[0], addr buf.data[offset], len)
+    offset += len
+
+proc readString*(buf: ZeroBuf, offset: int): (string, int) =
+  var pos = offset
+  let s = readString(buf, pos)
+  return (s, pos - offset)
+
+# Record encoding with schema
+proc encodeRecord*(buf: var ZeroBuf, schema: ZcSchema,
+                    values: Table[string, string]) =
+  # Write fields at their schema offsets
+  for field in schema.fields:
+    let value = values.getOrDefault(field.name, "")
+    let savedPos = buf.pos
+    buf.pos = field.offset  # Seek to field offset
+    case field.typeKind
+    of ztBool:
+      buf.data[field.offset] = byte(value == "true" or value == "1")
+    of ztInt32:
+      try:
+        var v = int32(parseInt(value))
+        bigEndian32(addr buf.data[field.offset], unsafeAddr v)
+      except:
+        var v: int32 = 0
+        bigEndian32(addr buf.data[field.offset], unsafeAddr v)
+    of ztInt64:
+      try:
+        var v = int64(parseInt(value))
+        bigEndian64(addr buf.data[field.offset], unsafeAddr v)
+      except:
+        var v: int64 = 0
+        bigEndian64(addr buf.data[field.offset], unsafeAddr v)
+    of ztString:
+      buf.data[field.offset] = byte(value.len)
+      if value.len > 0:
+        copyMem(addr buf.data[field.offset + 4], unsafeAddr value[0], value.len)
+    else:
+      discard
+    buf.pos = savedPos  # Reset pos
+
+proc decodeRecord*(buf: ZeroBuf, schema: ZcSchema): Table[string, string] =
+  result = initTable[string, string]()
+  for field in schema.fields:
+    case field.typeKind
+    of ztBool:
+      result[field.name] = $readBool(buf, field.offset)
+    of ztInt32:
+      result[field.name] = $readInt32(buf, field.offset)
+    of ztInt64:
+      result[field.name] = $readInt64(buf, field.offset)
+    of ztFloat32:
+      result[field.name] = $readFloat32(buf, field.offset)
+    of ztFloat64:
+      result[field.name] = $readFloat64(buf, field.offset)
+    of ztString:
+      var pos = field.offset
+      result[field.name] = readString(buf, pos)
+    else:
+      result[field.name] = ""
+
+# Batch record operations
+type
+  ZcTable* = ref object
+    schema*: ZcSchema
+    records*: seq[ZeroBuf]
+    totalRows*: int
+
+proc newZcTable*(schema: ZcSchema): ZcTable =
+  ZcTable(schema: schema, records: @[], totalRows: 0)
+
+proc addRecord*(table: ZcTable, values: Table[string, string]) =
+  var buf = newZeroBuf(table.schema.totalSize)
+  buf.encodeRecord(table.schema, values)
+  table.records.add(buf)
+  inc table.totalRows
+
+proc getRecord*(table: ZcTable, index: int): Table[string, string] =
+  if index < table.records.len:
+    return table.records[index].decodeRecord(table.schema)
+  return initTable[string, string]()
+
+proc clear*(table: ZcTable) =
+  for i in 0..<table.records.len:
+    table.records[i].free()
+  table.records.setLen(0)
+  table.totalRows = 0
+
+proc rowCount*(table: ZcTable): int = table.totalRows
+
+# Fast memory copying
+proc fastCopy*(src: var ZeroBuf, dst: var ZeroBuf, size: int) =
+  let copySize = min(min(src.remaining(), dst.remaining()), size)
+  copyMem(addr dst.data[dst.pos], addr src.data[src.pos], copySize)
+  src.pos += copySize
+  dst.pos += copySize
+
+proc fastCopyFrom*(dst: var ZeroBuf, src: pointer, size: int) =
+  if dst.remaining() >= size:
+    copyMem(addr dst.data[dst.pos], src, size)
+    dst.pos += size
+
+proc slice*(buf: ZeroBuf, offset, size: int): ZeroBuf =
+  if offset + size <= buf.capacity:
+    return ZeroBuf(data: cast[ptr UncheckedArray[byte]](addr buf.data[offset]),
+                   pos: 0, capacity: size, owned: false)
+  return ZeroBuf(data: nil, pos: 0, capacity: 0, owned: false)
diff --git a/src/barabadb/query/adaptive.nim b/src/barabadb/query/adaptive.nim
new file mode 100644
index 0000000..cbd0290
--- /dev/null
+++ b/src/barabadb/query/adaptive.nim
@@ -0,0 +1,188 @@
+## Adaptive Query Execution — runtime query plan adaptation
+import std/tables
+import std/monotimes
+import std/algorithm
+import std/strutils
+
+type
+  ExecutionStats* = object
+    rowsRead*: int
+    rowsWritten*: int
+    ioOperations*: int
+    cpuTime*: int64   # nanoseconds
+    wallTime*: int64   # nanoseconds
+    memoryUsed*: int   # bytes
+    cacheHits*: int
+    cacheMisses*: int
+
+  AdaptiveConfig* = object
+    enableAdaptive*: bool
+    enableParallel*: bool
+    maxParallelism*: int
+    reoptimizeThreshold*: float64  # if cost estimate is off by X%, re-optimize
+    learnCardinality*: bool
+    collectStats*: bool
+
+  QueryPlan* = ref object
+    plan*: string
+    estimatedCost*: float64
+    estimatedRows*: int64
+    actualCost*: float64
+    actualRows*: int64
+    stats*: ExecutionStats
+
+  AdaptivePlanner* = ref object
+    config: AdaptiveConfig
+    planCache: Table[string, QueryPlan]  # query hash -> cached plan
+    cardinalityEst: Table[string, float64]  # table -> estimated row count
+    lastReoptimize: int64
+
+proc defaultAdaptiveConfig*(): AdaptiveConfig =
+  AdaptiveConfig(
+    enableAdaptive: true,
+    enableParallel: true,
+    maxParallelism: 4,
+    reoptimizeThreshold: 3.0,  # 3x cost difference triggers re-optimize
+    learnCardinality: true,
+    collectStats: true,
+  )
+
+proc newAdaptivePlanner*(config: AdaptiveConfig = defaultAdaptiveConfig()): AdaptivePlanner =
+  AdaptivePlanner(
+    config: config,
+    planCache: initTable[string, QueryPlan](),
+    cardinalityEst: initTable[string, float64](),
+    lastReoptimize: 0,
+  )
+
+proc hashQuery*(query: string): string =
+  # Simple hash for plan caching
+  var h: uint64 = 5381
+  for ch in query:
+    h = ((h shl 5) + h) + uint64(ord(ch))
+  return $h
+
+proc updateCardinality*(planner: AdaptivePlanner, table: string, rowCount: int64) =
+  if planner.config.learnCardinality:
+    if table in planner.cardinalityEst:
+      # Exponential moving average
+      let alpha: float64 = 0.3
+      planner.cardinalityEst[table] = alpha * float64(rowCount) +
+                                       (1.0 - alpha) * planner.cardinalityEst[table]
+    else:
+      planner.cardinalityEst[table] = float64(rowCount)
+
+proc estimateRows*(planner: AdaptivePlanner, table: string): int64 =
+  if table in planner.cardinalityEst:
+    return int64(planner.cardinalityEst[table])
+  return 1000  # default estimate
+
+proc shouldReoptimize*(planner: AdaptivePlanner, estimatedRowCount, actualRowCount: int64): bool =
+  if not planner.config.enableAdaptive:
+    return false
+  if estimatedRowCount <= 0 or actualRowCount <= 0:
+    return false
+  let ratio = float64(actualRowCount) / float64(estimatedRowCount)
+  return ratio > planner.config.reoptimizeThreshold or
+         (1.0 / ratio) > planner.config.reoptimizeThreshold
+
+proc beginExecution*(planner: AdaptivePlanner, plan: var QueryPlan): int64 =
+  let start = getMonoTime().ticks()
+  plan.stats = ExecutionStats()
+  plan.stats.wallTime = start
+  return start
+
+proc endExecution*(planner: AdaptivePlanner, plan: var QueryPlan) =
+  plan.stats.wallTime = getMonoTime().ticks() - plan.stats.wallTime
+  plan.actualCost = float64(plan.stats.wallTime) / 1_000_000_000.0
+
+proc cachePlan*(planner: AdaptivePlanner, query: string, plan: QueryPlan) =
+  let hash = hashQuery(query)
+  planner.planCache[hash] = plan
+
+proc getCachedPlan*(planner: AdaptivePlanner, query: string): QueryPlan =
+  let hash = hashQuery(query)
+  return planner.planCache.getOrDefault(hash, nil)
+
+proc evictCache*(planner: AdaptivePlanner) =
+  planner.planCache.clear()
+
+proc cacheSize*(planner: AdaptivePlanner): int = planner.planCache.len
+
+# Query execution contexts with parallelism hints
+type
+  ExecutionNode* = enum
+    enScan
+    enFilter
+    enProject
+    enJoin
+    enAggregate
+    enSort
+    enLimit
+
+  ParallelHint* = object
+    canParallelize*: bool
+    partitionKey*: string
+    estimatedPartitions*: int
+    dataSize*: int64  # bytes
+
+  ExecutionContext* = ref object
+    node*: ExecutionNode
+    table*: string
+    filterExpr*: string
+    estimatedRows*: int64
+    children*: seq[ExecutionContext]
+    parallelHint*: ParallelHint
+    completed*: bool
+
+proc newExecutionContext*(node: ExecutionNode): ExecutionContext =
+  ExecutionContext(node: node, children: @[], completed: false,
+                   estimatedRows: 0)
+
+proc addChild*(ctx: ExecutionContext, child: ExecutionContext) =
+  ctx.children.add(child)
+
+proc canParallelize*(ctx: ExecutionContext): bool =
+  case ctx.node
+  of enScan:
+    return ctx.parallelHint.dataSize > 1_000_000  # parallelize if > 1MB
+  of enFilter, enProject:
+    return ctx.parallelHint.canParallelize
+  of enJoin:
+    # Hash joins can be parallelized
+    return true
+  of enAggregate:
+    # Partial aggregation can be parallelized
+    return ctx.parallelHint.estimatedPartitions > 1
+  of enSort:
+    return false  # Sorting is hard to parallelize
+  of enLimit:
+    return false
+
+proc estimateParallelism*(ctx: ExecutionContext, maxParallel: int): int =
+  if not ctx.canParallelize():
+    return 1
+  return min(ctx.parallelHint.estimatedPartitions, maxParallel)
+
+proc totalCost*(ctx: ExecutionContext): float64 =
+  result = 1.0
+  for child in ctx.children:
+    result += child.totalCost()
+  case ctx.node
+  of enScan: result *= 10.0
+  of enFilter: result *= 2.0
+  of enJoin: result *= 5.0
+  of enSort: result *= 3.0
+  of enAggregate: result *= 2.0
+  else: result *= 1.0
+
+proc explain*(ctx: ExecutionContext, indent: int = 0): string =
+  result = " ".repeat(indent) & $ctx.node
+  if ctx.table.len > 0:
+    result &= " table=" & ctx.table
+  result &= " rows=" & $ctx.estimatedRows
+  if ctx.parallelHint.canParallelize:
+    result &= " [parallel: " & $ctx.parallelHint.estimatedPartitions & "]"
+  result &= "\n"
+  for child in ctx.children:
+    result &= child.explain(indent + 2)
diff --git a/src/barabadb/vector/engine.nim b/src/barabadb/vector/engine.nim
index fb79f0e..8cab7a1 100644
--- a/src/barabadb/vector/engine.nim
+++ b/src/barabadb/vector/engine.nim
@@ -3,6 +3,7 @@ import std/math
 import std/algorithm
 import std/random
 import std/tables
+import std/monotimes
 
 type
   DistanceMetric* = enum
@@ -227,3 +228,96 @@ proc clear*(idx: HNSWIndex) =
   idx.nodes.clear()
   idx.entryPoint = 0
   idx.maxLevel = 0
+
+proc clear*(idx: IVFPQIndex) =
+  for i in 0..<idx.nClusters:
+    idx.clusters[i].entries.setLen(0)
+
+# Batch insert for HNSW
+proc batchInsert*(idx: HNSWIndex, batch: seq[(uint64, Vector)],
+                  metadata: seq[Table[string, string]] = @[]) =
+  for i, (id, vec) in batch:
+    var meta = initTable[string, string]()
+    if i < metadata.len:
+      meta = metadata[i]
+    idx.insert(id, vec, meta)
+
+# Batch insert for IVF-PQ
+proc batchInsert*(idx: IVFPQIndex, batch: seq[(uint64, Vector)]) =
+  var entries: seq[VectorEntry] = @[]
+  for (id, vec) in batch:
+    entries.add(VectorEntry(id: id, vector: vec, metadata: @[]))
+  idx.train(entries, nIterations = 5)
+
+# Batch search
+proc batchSearch*(idx: HNSWIndex, queries: seq[Vector], k: int,
+                  metric: DistanceMetric = dmCosine): seq[seq[(uint64, float64)]] =
+  result = newSeq[seq[(uint64, float64)]](queries.len)
+  for i, query in queries:
+    result[i] = idx.search(query, k, metric)
+
+# Auto-rebuild index when threshold exceeded
+type
+  RebuildConfig* = object
+    maxUnindexedCount*: int
+    checkInterval*: int64   # nanoseconds
+    rebuildThreshold*: float64  # ratio of unindexed/total to trigger rebuild
+    autoRebuild*: bool
+
+  IndexWatcher* = ref object
+    config: RebuildConfig
+    unindexedCount: int
+    totalCount: int
+    lastCheck: int64
+    lastRebuild: int64
+    rebuildsCount: int
+
+proc defaultRebuildConfig*(): RebuildConfig =
+  RebuildConfig(
+    maxUnindexedCount: 10000,
+    checkInterval: 60_000_000_000,  # 1 minute
+    rebuildThreshold: 0.1,  # 10% unindexed triggers rebuild
+    autoRebuild: true,
+  )
+
+proc newIndexWatcher*(config: RebuildConfig = defaultRebuildConfig()): IndexWatcher =
+  IndexWatcher(
+    config: config,
+    unindexedCount: 0,
+    totalCount: 0,
+    lastCheck: 0,
+    lastRebuild: 0,
+    rebuildsCount: 0,
+  )
+
+proc trackInsert*(watcher: IndexWatcher) =
+  inc watcher.totalCount
+
+proc trackUnindexed*(watcher: IndexWatcher, count: int = 1) =
+  watcher.unindexedCount += count
+
+proc shouldRebuild*(watcher: IndexWatcher): bool =
+  if not watcher.config.autoRebuild:
+    return false
+  if watcher.unindexedCount > watcher.config.maxUnindexedCount:
+    return true
+  if watcher.totalCount == 0:
+    return false
+  let ratio = float64(watcher.unindexedCount) / float64(watcher.totalCount)
+  if ratio > watcher.config.rebuildThreshold:
+    return true
+  return false
+
+proc markRebuilt*(watcher: IndexWatcher) =
+  watcher.unindexedCount = 0
+  inc watcher.rebuildsCount
+  watcher.lastRebuild = getMonoTime().ticks()
+
+proc stats*(watcher: IndexWatcher): (int, int, int) =
+  return (watcher.totalCount, watcher.unindexedCount, watcher.rebuildsCount)
+
+proc rebuildIfNeeded*(watcher: IndexWatcher, idx: HNSWIndex,
+                       rebuildFn: proc(idx: HNSWIndex)) =
+  if watcher.shouldRebuild():
+    rebuildFn(idx)
+    watcher.markRebuilt()
diff --git a/tests/test_all.nim b/tests/test_all.nim
index 39f5811..2a4d213 100644
--- a/tests/test_all.nim
+++ b/tests/test_all.nim
@@ -27,6 +27,9 @@ import barabadb/core/gossip
 import barabadb/client/client
 import barabadb/client/fileops
 import barabadb/fts/multilang as mlang
+import barabadb/protocol/zerocopy
+import barabadb/query/adaptive
+import barabadb/core/disttxn
 import barabadb/vector/engine as vengine
 import barabadb/vector/quant as vquant
 import barabadb/graph/engine as gengine
@@ -1481,4 +1484,193 @@ suite "Multi-Language FTS":
     check mlang.stemEnglish("programming") == "programm"
 
   test "Bulgarian stemming":
-    check mlang.stemBulgarian("красота") == "красот"  # -та suffix
+    check mlang.stemBulgarian("красота") == "красот"
+
+suite "Zero-Copy Serialization":
+  test "Write and read int32":
+    var buf = newZeroBuf(64)
+    buf.writeInt32(42)
+    check buf.readInt32(0) == 42
+    buf.free()
+
+  test "Write and read int64":
+    var buf = newZeroBuf(64)
+    buf.writeInt64(12345)
+    check buf.readInt64(0) == 12345
+    buf.free()
+
+  test "Write and read bool":
+    var buf = newZeroBuf(64)
+    buf.writeBool(true)
+    check buf.readBool(0)
+    buf.free()
+
+  test "ZcSchema field offsets":
+    var schema = newZcSchema("user")
+    schema.addField("id", ztInt64)
+    schema.addField("name", ztString)
+    check schema.fields.len == 2
+    check schema.totalSize > 0
+
+  test "Encode and decode record":
+    var schema = newZcSchema("user")
+    schema.addField("id", ztInt32)
+    var buf = newZeroBuf(schema.totalSize)
+    buf.pos = schema.totalSize  # pretend we wrote
+    buf.encodeRecord(schema, {"id": "42"}.toTable)
+    # Reset pos for reading at offsets
+    var pos = 0
+    let row = buf.decodeRecord(schema)
+    check row["id"] == "42"
+    buf.free()
+
+  test "ZcTable batch operations":
+    var schema = newZcSchema("user")
+    schema.addField("id", ztInt32)
+    var table = newZcTable(schema)
+    var buf1 = newZeroBuf(schema.totalSize)
+    buf1.encodeRecord(schema, {"id": "1"}.toTable)
+    table.records.add(buf1)
+    var buf2 = newZeroBuf(schema.totalSize)
+    buf2.encodeRecord(schema, {"id": "2"}.toTable)
+    table.records.add(buf2)
+    table.totalRows = 2
+    check table.totalRows == 2
+    check table.getRecord(1)["id"] == "2"
+    for i in 0..<table.records.len:
+      table.records[i].free()
+
+suite "Adaptive Query Execution":
+  test "Cardinality estimation":
+    var planner = newAdaptivePlanner()
+    planner.updateCardinality("users", 500)
+    check planner.estimateRows("users") == 500
+
+  test "Should reoptimize":
+    var planner = newAdaptivePlanner()
+    check planner.shouldReoptimize(100, 500)  # 5x more
+    check not planner.shouldReoptimize(100, 200)  # 2x more (below threshold)
+
+  test "Plan cache":
+    var planner = newAdaptivePlanner()
+    let plan = QueryPlan(estimatedCost: 10.0, estimatedRows: 100)
+    planner.cachePlan("SELECT * FROM users", plan)
+    check planner.cacheSize == 1
+    let cached = planner.getCachedPlan("SELECT * FROM users")
+    check cached != nil
+
+  test "Execution context parallelization":
+    var ctx = newExecutionContext(enScan)
+    ctx.table = "big_table"
+    ctx.parallelHint = ParallelHint(canParallelize: true, estimatedPartitions: 4, dataSize: 10_000_000)
+    check ctx.canParallelize()
+    check ctx.estimateParallelism(8) == 4
+
+  test "Execution plan explain":
+    var root = newExecutionContext(enScan)
+    root.table = "users"
+    root.estimatedRows = 1000
+    var filter = newExecutionContext(enFilter)
+    filter.estimatedRows = 200
+    root.addChild(filter)
+    let plan = root.explain()
+    check "enScan" in plan
+    check "users" in plan
+
+suite "Distributed Transactions":
+  test "Create distributed transaction":
+    var txn = newDistributedTransaction("coordinator")
+    txn.addParticipant("node1", "10.0.0.1", 5432)
+    txn.addParticipant("node2", "10.0.0.2", 5432)
+    check txn.participantCount == 2
+
+  test "Two-phase commit flow":
+    var txn = newDistributedTransaction("coordinator")
+    txn.addParticipant("n1", "10.0.0.1", 5432)
+    check txn.prepare()
+    check txn.state() == dtsPrepared
+    check txn.commit()
+    check txn.isCommitted
+
+  test "Rollback dist transaction":
+    var txn = newDistributedTransaction("coordinator")
+    txn.addParticipant("n1", "10.0.0.1", 5432)
+    check txn.rollback()
+    check txn.isAborted
+
+  test "DistTxnManager lifecycle":
+    var tm = newDistTxnManager()
+    let txn = tm.beginTransaction("node1")
+    check tm.activeCount == 1
+    txn.addParticipant("n2", "10.0.0.2", 5432)
+    check txn.prepare()
+    check txn.commit()
+    tm.cleanupCompleted()
+    check tm.activeCount == 0
+
+  test "Saga pattern":
+    var saga = newSaga()
+    var executeCount = 0
+    var compensateCount = 0
+
+    saga.addStep(SagaStep(
+      name: "step1", nodeId: "n1",
+      execute: proc(): bool =
+        inc executeCount
+        return true,
+      compensate: proc() =
+        inc compensateCount))
+
+    saga.addStep(SagaStep(
+      name: "step2", nodeId: "n2",
+      execute: proc(): bool =
+        inc executeCount
+        return false,  # fails!
+      compensate: proc() =
+        inc compensateCount))
+
+    check not saga.execute()  # should fail at step2
+    check executeCount == 2
+    check compensateCount == 1  # step1 compensated
+
+suite "Vector Batch Operations":
+  test "Batch insert HNSW":
+    var idx = vengine.newHNSWIndex(3)
+    let batch = @[
+      (1'u64, @[1.0'f32, 0.0'f32, 0.0'f32]),
+      (2'u64, @[0.0'f32, 1.0'f32, 0.0'f32]),
+      (3'u64, @[0.0'f32, 0.0'f32, 1.0'f32]),
+    ]
+    vengine.batchInsert(idx, batch)
+    check vengine.len(idx) == 3
+
+  test "Batch search":
+    var idx = vengine.newHNSWIndex(3)
+    vengine.batchInsert(idx, @[
+      (1'u64, @[1.0'f32, 0.0'f32, 0.0'f32]),
+      (2'u64, @[0.0'f32, 1.0'f32, 0.0'f32]),
+    ])
+    let queries = @[@[1.0'f32, 0.0'f32, 0.0'f32], @[0.0'f32, 1.0'f32, 0.0'f32]]
+    let results = vengine.batchSearch(idx, queries, 2)
+    check results.len == 2
+
+  test "Index watcher auto-rebuild":
+    var watcher = newIndexWatcher(RebuildConfig(
+      maxUnindexedCount: 3, autoRebuild: true,
+      checkInterval: 0, rebuildThreshold: 0.5,
+    ))
+    watcher.trackUnindexed(5)  # 5 unindexed
+    check watcher.shouldRebuild()
+    watcher.markRebuilt()
+    let (total, unindexed, rebuilds) = watcher.stats()
+    check unindexed == 0
+    check rebuilds == 1
+
+  test "Rebuild threshold by ratio":
+    var watcher = newIndexWatcher(RebuildConfig(
+      autoRebuild: true, rebuildThreshold: 0.3,
+    ))
+    for i in 0..<100:
+      watcher.trackInsert()
+    watcher.trackUnindexed(40)  # 40% unindexed
+    check watcher.shouldRebuild()  # -та suffix