@korajs/store 0.3.2 → 0.5.0

package/dist/index.js

@@ -1,3 +1,31 @@
+import {
+  decodeAuditExport,
+  readAuditExportManifest,
+  verifyAuditExportChecksum
+} from "./chunk-AGN3CIPB.js";
+import {
+  persistedAuditTraceFromEvent
+} from "./chunk-MYSJN3DF.js";
+import {
+  InvalidStateTransitionError,
+  allocateNextSequenceInTransaction,
+  allocateNextSequenceNumber,
+  buildCountQuery,
+  buildInsertQuery,
+  buildLwwSoftDeleteQuery,
+  buildLwwUpdateQuery,
+  buildSelectQuery,
+  buildSoftDeleteQuery,
+  buildUpdateQuery,
+  executeDelete,
+  executeInsert,
+  executeUpdate,
+  isIncomingNewerThanRow,
+  readSequenceNumber,
+  serializeRowVersion,
+  validateStateTransition,
+  validateUpdateStateMachine
+} from "./chunk-7BPETY5Y.js";
 import {
   AdapterError,
   PersistenceError,
@@ -7,309 +35,186 @@ import {
   WorkerInitError,
   WorkerTimeoutError
 } from "./chunk-LAWV6CFH.js";
+import {
+  exportBackup,
+  readBackupManifest,
+  restoreBackup,
+  verifyBackupChecksum
+} from "./chunk-EZSTD2XC.js";
+import {
+  decodeRichtext,
+  deserializeOperationWithCollection,
+  deserializeRecord,
+  encodeRichtext,
+  richtextStatesEqual,
+  richtextToPlainText,
+  serializeOperation,
+  serializeRecord
+} from "./chunk-56LL4XP6.js";
 
-// src/store/store.ts
-import { HybridLogicalClock as HybridLogicalClock2, createVersionVector, generateUUIDv7 as generateUUIDv72 } from "@korajs/core";
-
-// src/collection/collection.ts
-import { createOperation, generateUUIDv7, validateRecord } from "@korajs/core";
+// src/compaction/types.ts
+var COMPACTION_BASELINE_META_KEY = "compaction_baseline_at";
 
-// src/query/sql-builder.ts
-function buildSelectQuery(descriptor, fields) {
-  const params = [];
-  const parts = [`SELECT * FROM ${descriptor.collection}`];
-  const whereClause = buildWhereClauseParts(descriptor.where, fields, params);
-  const deletedFilter = "_deleted = 0";
-  if (whereClause) {
-    parts.push(`WHERE ${deletedFilter} AND ${whereClause}`);
-  } else {
-    parts.push(`WHERE ${deletedFilter}`);
-  }
-  if (descriptor.orderBy.length > 0) {
-    const orderParts = descriptor.orderBy.map((o) => {
-      validateFieldName(o.field, fields);
-      return `${o.field} ${o.direction.toUpperCase()}`;
-    });
-    parts.push(`ORDER BY ${orderParts.join(", ")}`);
-  }
-  if (descriptor.limit !== void 0) {
-    parts.push(`LIMIT ${descriptor.limit}`);
-  }
-  if (descriptor.offset !== void 0) {
-    parts.push(`OFFSET ${descriptor.offset}`);
-  }
-  return { sql: parts.join(" "), params };
-}
-function buildCountQuery(descriptor, fields) {
-  const params = [];
-  const parts = [`SELECT COUNT(*) as count FROM ${descriptor.collection}`];
-  const whereClause = buildWhereClauseParts(descriptor.where, fields, params);
-  const deletedFilter = "_deleted = 0";
-  if (whereClause) {
-    parts.push(`WHERE ${deletedFilter} AND ${whereClause}`);
-  } else {
-    parts.push(`WHERE ${deletedFilter}`);
-  }
-  return { sql: parts.join(" "), params };
-}
-function buildInsertQuery(collection, record) {
-  const columns = Object.keys(record);
-  const placeholders = columns.map(() => "?");
-  const params = Object.values(record);
-  const sql = `INSERT INTO ${collection} (${columns.join(", ")}) VALUES (${placeholders.join(", ")})`;
-  return { sql, params };
-}
-function buildUpdateQuery(collection, id, changes) {
-  const setClauses = Object.keys(changes).map((col) => `${col} = ?`);
-  const params = [...Object.values(changes), id];
-  const sql = `UPDATE ${collection} SET ${setClauses.join(", ")} WHERE id = ?`;
-  return { sql, params };
-}
-function buildSoftDeleteQuery(collection, id, updatedAt) {
-  return {
-    sql: `UPDATE ${collection} SET _deleted = 1, _updated_at = ? WHERE id = ?`,
-    params: [updatedAt, id]
-  };
-}
-var VALID_OPERATORS = /* @__PURE__ */ new Set(["$eq", "$ne", "$gt", "$gte", "$lt", "$lte", "$in"]);
-function buildWhereClauseParts(where, fields, params) {
-  const conditions = [];
-  for (const [fieldName, value] of Object.entries(where)) {
-    validateFieldName(fieldName, fields);
-    const descriptor = fields[fieldName];
-    if (value !== null && typeof value === "object" && !Array.isArray(value)) {
-      const ops = value;
-      for (const [op, opValue] of Object.entries(ops)) {
-        if (!VALID_OPERATORS.has(op)) {
-          throw new QueryError(`Unknown operator "${op}" on field "${fieldName}"`, {
-            field: fieldName,
-            operator: op,
-            validOperators: [...VALID_OPERATORS]
-          });
-        }
-        conditions.push(buildOperatorCondition(fieldName, op, opValue, descriptor, params));
-      }
-    } else {
-      conditions.push(buildOperatorCondition(fieldName, "$eq", value, descriptor, params));
+// src/compaction/compact-operation-log.ts
+import { HybridLogicalClock, createVersionVector } from "@korajs/core";
+function computeAckCompactionWatermark(serverVector) {
+  const watermark = createVersionVector();
+  for (const [nodeId, seq] of serverVector) {
+    if (seq > 0) {
+      watermark.set(nodeId, seq);
     }
   }
-  if (conditions.length === 0) return null;
-  return conditions.join(" AND ");
+  return watermark;
 }
-function buildOperatorCondition(fieldName, operator, value, descriptor, params) {
-  const sqlValue = descriptor?.kind === "boolean" && typeof value === "boolean" ? value ? 1 : 0 : value;
-  switch (operator) {
-    case "$eq":
-      if (sqlValue === null) {
-        return `${fieldName} IS NULL`;
+async function compactOperationLog(adapter, schema, strategy, serverVector) {
+  if (strategy.mode === "never") {
+    return { deletedCount: 0, watermark: createVersionVector() };
+  }
+  const watermark = computeAckCompactionWatermark(serverVector);
+  if (watermark.size === 0) {
+    return { deletedCount: 0, watermark };
+  }
+  const ageCutoffWall = strategy.mode === "after-days" ? Date.now() - strategy.days * 24 * 60 * 60 * 1e3 : null;
+  const ageCutoffSerialized = ageCutoffWall !== null ? HybridLogicalClock.serialize({
+    wallTime: ageCutoffWall,
+    logical: 0,
+    nodeId: ""
+  }).slice(0, 15) : null;
+  let deletedCount = 0;
+  const collectionNames = Object.keys(schema.collections);
+  await adapter.transaction(async (tx) => {
+    for (const collectionName of collectionNames) {
+      const table = `_kora_ops_${collectionName}`;
+      for (const [nodeId, maxSeq] of watermark) {
+        if (maxSeq <= 0) continue;
+        const countSql = buildCountSql(table, ageCutoffSerialized !== null);
+        const countParams = ageCutoffSerialized !== null ? [nodeId, maxSeq, ageCutoffSerialized] : [nodeId, maxSeq];
+        const countRows = await tx.query(countSql, countParams);
+        deletedCount += countRows[0]?.count ?? 0;
+        const deleteSql = buildDeleteSql(table, ageCutoffSerialized !== null);
+        await tx.execute(deleteSql, countParams);
       }
-      params.push(sqlValue);
-      return `${fieldName} = ?`;
-    case "$ne":
-      if (sqlValue === null) {
-        return `${fieldName} IS NOT NULL`;
-      }
-      params.push(sqlValue);
-      return `${fieldName} != ?`;
-    case "$gt":
-      params.push(sqlValue);
-      return `${fieldName} > ?`;
-    case "$gte":
-      params.push(sqlValue);
-      return `${fieldName} >= ?`;
-    case "$lt":
-      params.push(sqlValue);
-      return `${fieldName} < ?`;
-    case "$lte":
-      params.push(sqlValue);
-      return `${fieldName} <= ?`;
-    case "$in": {
-      if (!Array.isArray(sqlValue)) {
-        throw new QueryError(`$in operator requires an array value for field "${fieldName}"`, {
-          field: fieldName,
-          received: typeof sqlValue
-        });
-      }
-      const placeholders = sqlValue.map(() => "?");
-      for (const item of sqlValue) {
-        params.push(
-          descriptor?.kind === "boolean" && typeof item === "boolean" ? item ? 1 : 0 : item
-        );
-      }
-      return `${fieldName} IN (${placeholders.join(", ")})`;
     }
-    default:
-      throw new QueryError(`Unknown operator "${operator}"`, { operator });
+    await tx.execute("INSERT OR REPLACE INTO _kora_meta (key, value) VALUES (?, ?)", [
+      COMPACTION_BASELINE_META_KEY,
+      String(Date.now())
+    ]);
+  });
+  return { deletedCount, watermark };
+}
+function buildCountSql(table, withAge) {
+  if (withAge) {
+    return `SELECT COUNT(*) as count FROM ${table} WHERE node_id = ? AND sequence_number <= ? AND SUBSTR(timestamp, 1, 15) < ?`;
   }
+  return `SELECT COUNT(*) as count FROM ${table} WHERE node_id = ? AND sequence_number <= ?`;
 }
-function validateFieldName(fieldName, fields) {
-  const allowedFields = /* @__PURE__ */ new Set([
-    ...Object.keys(fields),
-    "id",
-    "createdAt",
-    "updatedAt",
-    "_created_at",
-    "_updated_at"
-  ]);
-  if (!allowedFields.has(fieldName)) {
-    throw new QueryError(
-      `Unknown field "${fieldName}" in query. Available fields: ${[...allowedFields].join(", ")}`,
-      { field: fieldName }
-    );
+function buildDeleteSql(table, withAge) {
+  if (withAge) {
+    return `DELETE FROM ${table} WHERE node_id = ? AND sequence_number <= ? AND SUBSTR(timestamp, 1, 15) < ?`;
   }
+  return `DELETE FROM ${table} WHERE node_id = ? AND sequence_number <= ?`;
 }
 
-// src/serialization/serializer.ts
-import { HybridLogicalClock } from "@korajs/core";
-
-// src/serialization/richtext-serializer.ts
-import * as Y from "yjs";
-var TEXT_KEY = "content";
-function encodeRichtext(value) {
-  if (value === null || value === void 0) {
-    return null;
-  }
-  if (typeof value === "string") {
-    const doc = new Y.Doc();
-    doc.getText(TEXT_KEY).insert(0, value);
-    return Y.encodeStateAsUpdate(doc);
-  }
-  if (value instanceof Uint8Array) {
-    return value;
-  }
-  if (value instanceof ArrayBuffer) {
-    return new Uint8Array(value);
-  }
-  throw new Error("Richtext value must be a string, Uint8Array, ArrayBuffer, null, or undefined.");
+// src/sync/sync-state.ts
+import { createVersionVector as createVersionVector2 } from "@korajs/core";
+var LAST_ACKED_SERVER_VECTOR_META_KEY = "last_acked_server_vector";
+var DELTA_CURSOR_META_KEY = "delta_cursor";
+function serializeVersionVectorToMeta(vector) {
+  const record = {};
+  for (const [nodeId, seq] of vector) {
+    record[nodeId] = seq;
+  }
+  return JSON.stringify(record);
 }
-function decodeRichtext(value) {
-  if (value === null || value === void 0) {
-    return null;
-  }
-  if (typeof Buffer !== "undefined" && Buffer.isBuffer(value)) {
-    return new Uint8Array(value);
-  }
-  if (value instanceof Uint8Array) {
-    return value;
-  }
-  if (value instanceof ArrayBuffer) {
-    return new Uint8Array(value);
+function deserializeVersionVectorFromMeta(value) {
+  const parsed = JSON.parse(value);
+  const vector = createVersionVector2();
+  for (const [nodeId, seq] of Object.entries(parsed)) {
+    if (typeof seq === "number" && seq >= 0) {
+      vector.set(nodeId, seq);
+    }
   }
-  throw new Error("Richtext storage value must be Uint8Array, ArrayBuffer, Buffer, null, or undefined.");
+  return vector;
 }
-function richtextToPlainText(value) {
-  const encoded = encodeRichtext(value);
-  if (!encoded) return "";
-  const doc = new Y.Doc();
-  Y.applyUpdate(doc, encoded);
-  return doc.getText(TEXT_KEY).toString();
-}
-
-// src/serialization/serializer.ts
-function serializeRecord(data, fields) {
-  const result = {};
-  for (const [key, value] of Object.entries(data)) {
-    const descriptor = fields[key];
-    if (!descriptor) {
-      result[key] = value;
-      continue;
-    }
-    result[key] = serializeValue(value, descriptor);
+function mergeVersionVectors(a, b) {
+  const merged = new Map(a);
+  for (const [nodeId, seq] of b) {
+    merged.set(nodeId, Math.max(merged.get(nodeId) ?? 0, seq));
   }
-  return result;
+  return merged;
 }
-function deserializeRecord(row, fields) {
-  const result = {
-    id: row.id,
-    createdAt: row._created_at,
-    updatedAt: row._updated_at
-  };
-  for (const [key, descriptor] of Object.entries(fields)) {
-    const rawValue = row[key];
-    if (rawValue === void 0 || rawValue === null) {
-      result[key] = rawValue ?? null;
-      continue;
+async function collectOperationsAheadOfServer(localVector, serverVector, fetchRange) {
+  const missing = [];
+  for (const [nodeId, localSeq] of localVector) {
+    const serverSeq = serverVector.get(nodeId) ?? 0;
+    if (localSeq > serverSeq) {
+      const ops = await fetchRange(nodeId, serverSeq + 1, localSeq);
+      missing.push(...ops);
     }
-    result[key] = deserializeValue(rawValue, descriptor);
   }
-  return result;
-}
-function serializeOperation(op) {
-  return {
-    id: op.id,
-    node_id: op.nodeId,
-    type: op.type,
-    record_id: op.recordId,
-    data: op.data ? JSON.stringify(op.data) : null,
-    previous_data: op.previousData ? JSON.stringify(op.previousData) : null,
-    timestamp: HybridLogicalClock.serialize(op.timestamp),
-    sequence_number: op.sequenceNumber,
-    causal_deps: JSON.stringify(op.causalDeps),
-    schema_version: op.schemaVersion
-  };
+  missing.sort((a, b) => a.sequenceNumber - b.sequenceNumber);
+  return missing;
 }
-function deserializeOperation(row) {
-  return {
-    id: row.id,
-    nodeId: row.node_id,
-    type: row.type,
-    collection: "",
-    // Collection name is derived from the table name by the caller
-    recordId: row.record_id,
-    data: row.data ? JSON.parse(row.data) : null,
-    previousData: row.previous_data ? JSON.parse(row.previous_data) : null,
-    timestamp: HybridLogicalClock.deserialize(row.timestamp),
-    sequenceNumber: row.sequence_number,
-    causalDeps: JSON.parse(row.causal_deps),
-    schemaVersion: row.schema_version
-  };
-}
-function deserializeOperationWithCollection(row, collection) {
-  const op = deserializeOperation(row);
-  return { ...op, collection };
-}
-function serializeValue(value, descriptor) {
-  if (value === null || value === void 0) {
-    return null;
+async function loadLastAckedServerVector(adapter) {
+  const rows = await adapter.query("SELECT value FROM _kora_meta WHERE key = ?", [
+    LAST_ACKED_SERVER_VECTOR_META_KEY
+  ]);
+  const row = rows[0];
+  if (!row?.value) {
+    return createVersionVector2();
   }
-  switch (descriptor.kind) {
-    case "boolean":
-      return value ? 1 : 0;
-    case "array":
-      return JSON.stringify(value);
-    case "richtext":
-      return encodeRichtext(value);
-    default:
-      return value;
+  try {
+    return deserializeVersionVectorFromMeta(row.value);
+  } catch {
+    return createVersionVector2();
   }
 }
-function deserializeValue(value, descriptor) {
-  switch (descriptor.kind) {
-    case "boolean":
-      return value === 1 || value === true;
-    case "array":
-      if (typeof value === "string") {
-        return JSON.parse(value);
-      }
-      return value;
-    case "richtext":
-      return decodeRichtext(value);
-    default:
-      return value;
-  }
+async function saveLastAckedServerVector(adapter, vector) {
+  await adapter.execute("INSERT OR REPLACE INTO _kora_meta (key, value) VALUES (?, ?)", [
+    LAST_ACKED_SERVER_VECTOR_META_KEY,
+    serializeVersionVectorToMeta(vector)
+  ]);
+}
+async function loadDeltaCursor(adapter) {
+  const rows = await adapter.query("SELECT value FROM _kora_meta WHERE key = ?", [
+    DELTA_CURSOR_META_KEY
+  ]);
+  return rows[0]?.value ?? null;
+}
+async function saveDeltaCursor(adapter, cursor) {
+  if (cursor === null) {
+    await adapter.execute("DELETE FROM _kora_meta WHERE key = ?", [DELTA_CURSOR_META_KEY]);
+    return;
+  }
+  await adapter.execute("INSERT OR REPLACE INTO _kora_meta (key, value) VALUES (?, ?)", [
+    DELTA_CURSOR_META_KEY,
+    cursor
+  ]);
 }
 
+// src/store/store.ts
+import {
+  CausalTracker,
+  HybridLogicalClock as HybridLogicalClock2,
+  createVersionVector as createVersionVector3,
+  generateUUIDv7 as generateUUIDv73,
+  migrationStepsToSQL
+} from "@korajs/core";
+
 // src/collection/collection.ts
 var Collection = class {
-  constructor(name, definition, schema, adapter, clock, nodeId, getSequenceNumber, onMutation) {
+  constructor(name, definition, schema, adapter, clock, nodeId, allocateSequenceNumber, onMutation, relationEnforcer, mutationHandler, causalTracker) {
     this.name = name;
     this.definition = definition;
     this.schema = schema;
     this.adapter = adapter;
     this.clock = clock;
     this.nodeId = nodeId;
-    this.getSequenceNumber = getSequenceNumber;
+    this.allocateSequenceNumber = allocateSequenceNumber;
     this.onMutation = onMutation;
+    this.relationEnforcer = relationEnforcer;
+    this.mutationHandler = mutationHandler;
+    this.causalTracker = causalTracker;
   }
   name;
   definition;
@@ -317,71 +222,32 @@ var Collection = class {
   adapter;
   clock;
   nodeId;
-  getSequenceNumber;
+  allocateSequenceNumber;
   onMutation;
-  /**
-   * Insert a new record into the collection.
-   * Generates a UUID v7 for the id, validates data, and persists atomically.
-   *
-   * @param data - The record data (auto fields and defaults are applied automatically)
-   * @returns The inserted record with id, createdAt, updatedAt
-   */
-  async insert(data) {
-    const validated = validateRecord(this.name, this.definition, data, "insert");
-    const recordId = generateUUIDv7();
-    const now = Date.now();
-    for (const [fieldName, descriptor] of Object.entries(this.definition.fields)) {
-      if (descriptor.auto && descriptor.kind === "timestamp") {
-        validated[fieldName] = now;
-      }
-    }
-    const sequenceNumber = this.getSequenceNumber();
-    const operation = await createOperation(
-      {
-        nodeId: this.nodeId,
-        type: "insert",
-        collection: this.name,
-        recordId,
-        data: { ...validated },
-        previousData: null,
-        sequenceNumber,
-        causalDeps: [],
-        schemaVersion: this.schema.version
-      },
-      this.clock
-    );
-    const serializedData = serializeRecord(validated, this.definition.fields);
-    const record = {
-      id: recordId,
-      ...serializedData,
-      _created_at: now,
-      _updated_at: now
-    };
-    const insertQuery = buildInsertQuery(this.name, record);
-    const opRow = serializeOperation(operation);
-    const opInsert = buildInsertQuery(
-      `_kora_ops_${this.name}`,
-      opRow
-    );
-    await this.adapter.transaction(async (tx) => {
-      await tx.execute(insertQuery.sql, insertQuery.params);
-      await tx.execute(opInsert.sql, opInsert.params);
-      await tx.execute(
-        "INSERT OR REPLACE INTO _kora_version_vector (node_id, sequence_number) VALUES (?, ?)",
-        [this.nodeId, sequenceNumber]
-      );
-    });
-    this.onMutation(this.name, operation);
+  relationEnforcer;
+  mutationHandler;
+  causalTracker;
+  mutationContext() {
     return {
-      id: recordId,
-      ...validated,
-      createdAt: now,
-      updatedAt: now
+      collection: this.name,
+      definition: this.definition,
+      schema: this.schema,
+      adapter: this.adapter,
+      clock: this.clock,
+      nodeId: this.nodeId,
+      allocateSequenceNumber: this.allocateSequenceNumber,
+      onMutation: this.onMutation,
+      relationEnforcer: this.relationEnforcer,
+      causalTracker: this.causalTracker,
+      inTransaction: false
     };
   }
-  /**
-   * Find a record by its ID. Returns null if not found or soft-deleted.
-   */
+  async insert(data) {
+    if (this.mutationHandler) {
+      return this.mutationHandler.insert(this.name, data);
+    }
+    return executeInsert(this.mutationContext(), data);
+  }
   async findById(id) {
     const rows = await this.adapter.query(
       `SELECT * FROM ${this.name} WHERE id = ? AND _deleted = 0`,
@@ -391,124 +257,29 @@ var Collection = class {
     if (!row) return null;
     return deserializeRecord(row, this.definition.fields);
   }
-  /**
-   * Update an existing record. Only the provided fields are changed.
-   *
-   * @param id - The record ID to update
-   * @param data - Partial data with only the fields to change
-   * @returns The updated record
-   * @throws {RecordNotFoundError} If the record doesn't exist or is deleted
-   */
   async update(id, data) {
-    const currentRows = await this.adapter.query(
-      `SELECT * FROM ${this.name} WHERE id = ? AND _deleted = 0`,
-      [id]
-    );
-    const currentRow = currentRows[0];
-    if (!currentRow) {
-      throw new RecordNotFoundError(this.name, id);
-    }
-    const validated = validateRecord(this.name, this.definition, data, "update");
-    const now = Date.now();
-    const previousData = {};
-    const currentRecord = deserializeRecord(currentRow, this.definition.fields);
-    for (const key of Object.keys(validated)) {
-      previousData[key] = currentRecord[key];
-    }
-    const sequenceNumber = this.getSequenceNumber();
-    const operation = await createOperation(
-      {
-        nodeId: this.nodeId,
-        type: "update",
-        collection: this.name,
-        recordId: id,
-        data: { ...validated },
-        previousData,
-        sequenceNumber,
-        causalDeps: [],
-        schemaVersion: this.schema.version
-      },
-      this.clock
-    );
-    const serializedChanges = serializeRecord(validated, this.definition.fields);
-    const updateQuery = buildUpdateQuery(this.name, id, {
-      ...serializedChanges,
-      _updated_at: now
-    });
-    const opRow = serializeOperation(operation);
-    const opInsert = buildInsertQuery(
-      `_kora_ops_${this.name}`,
-      opRow
-    );
-    await this.adapter.transaction(async (tx) => {
-      await tx.execute(updateQuery.sql, updateQuery.params);
-      await tx.execute(opInsert.sql, opInsert.params);
-      await tx.execute(
-        "INSERT OR REPLACE INTO _kora_version_vector (node_id, sequence_number) VALUES (?, ?)",
-        [this.nodeId, sequenceNumber]
-      );
-    });
-    this.onMutation(this.name, operation);
-    const updatedRow = await this.findById(id);
-    if (!updatedRow) {
-      throw new RecordNotFoundError(this.name, id);
+    if (this.mutationHandler) {
+      return this.mutationHandler.update(this.name, id, data);
     }
-    return updatedRow;
+    return executeUpdate(this.mutationContext(), id, data);
   }
-  /**
-   * Soft-delete a record by its ID.
-   *
-   * @param id - The record ID to delete
-   * @throws {RecordNotFoundError} If the record doesn't exist or is already deleted
-   */
   async delete(id) {
-    const currentRows = await this.adapter.query(
-      `SELECT * FROM ${this.name} WHERE id = ? AND _deleted = 0`,
-      [id]
-    );
-    if (!currentRows[0]) {
-      throw new RecordNotFoundError(this.name, id);
+    if (this.mutationHandler) {
+      await this.mutationHandler.delete(this.name, id);
+      return;
     }
-    const now = Date.now();
-    const sequenceNumber = this.getSequenceNumber();
-    const operation = await createOperation(
-      {
-        nodeId: this.nodeId,
-        type: "delete",
-        collection: this.name,
-        recordId: id,
-        data: null,
-        previousData: null,
-        sequenceNumber,
-        causalDeps: [],
-        schemaVersion: this.schema.version
-      },
-      this.clock
-    );
-    const deleteQuery = buildSoftDeleteQuery(this.name, id, now);
-    const opRow = serializeOperation(operation);
-    const opInsert = buildInsertQuery(
-      `_kora_ops_${this.name}`,
-      opRow
-    );
-    await this.adapter.transaction(async (tx) => {
-      await tx.execute(deleteQuery.sql, deleteQuery.params);
-      await tx.execute(opInsert.sql, opInsert.params);
-      await tx.execute(
-        "INSERT OR REPLACE INTO _kora_version_vector (node_id, sequence_number) VALUES (?, ?)",
-        [this.nodeId, sequenceNumber]
-      );
-    });
-    this.onMutation(this.name, operation);
+    await executeDelete(this.mutationContext(), id);
   }
-  /** Get the collection name */
   getName() {
     return this.name;
   }
-  /** Get the collection definition */
   getDefinition() {
     return this.definition;
   }
+  /** Replace the mutation handler (e.g. after ApplyPipeline is wired in createApp). */
+  setMutationHandler(handler) {
+    this.mutationHandler = handler;
+  }
 };
 
 // src/query/pluralize.ts
@@ -804,150 +575,1315 @@ var QueryError2 = class extends Error {
   }
 };
 
-// src/subscription/subscription-manager.ts
-var nextSubId = 0;
-var SubscriptionManager = class {
-  subscriptions = /* @__PURE__ */ new Map();
-  pendingCollections = /* @__PURE__ */ new Set();
-  flushScheduled = false;
+// src/relations/relation-enforcer.ts
+import { KoraError, createOperation } from "@korajs/core";
+
+// src/relations/relation-lookup.ts
+function buildRelationLookup(schema) {
+  const lookup = /* @__PURE__ */ new Map();
+  for (const [relationName, relation] of Object.entries(schema.relations)) {
+    const targetCollection = relation.to;
+    const existing = lookup.get(targetCollection) ?? [];
+    existing.push({
+      relationName,
+      sourceCollection: relation.from,
+      foreignKeyField: relation.field,
+      onDelete: relation.onDelete,
+      relation
+    });
+    lookup.set(targetCollection, existing);
+  }
+  return lookup;
+}
+function getIncomingRelations(lookup, collection) {
+  return lookup.get(collection) ?? [];
+}
+
+// src/relations/relation-enforcer.ts
+var ReferentialIntegrityError = class extends KoraError {
+  constructor(collection, recordId, referencingCollection, relationName, referencingCount) {
+    super(
+      `Cannot delete record "${recordId}" from "${collection}": ${referencingCount} record(s) in "${referencingCollection}" reference it via relation "${relationName}" with onDelete: 'restrict'. Delete or reassign the referencing records first.`,
+      "REFERENTIAL_INTEGRITY",
+      {
+        collection,
+        recordId,
+        referencingCollection,
+        relationName,
+        referencingCount
+      }
+    );
+    this.name = "ReferentialIntegrityError";
+  }
+};
+var RelationEnforcer = class {
+  lookup;
+  schema;
+  adapter;
+  clock;
+  nodeId;
+  constructor(config) {
+    this.schema = config.schema;
+    this.adapter = config.adapter;
+    this.clock = config.clock;
+    this.nodeId = config.nodeId;
+    this.lookup = buildRelationLookup(config.schema);
+  }
   /**
-   * Register a new subscription.
+   * Enforce referential integrity after deleting a record.
    *
-   * @param descriptor - The query descriptor defining what this subscription watches
-   * @param callback - Called with results whenever they change
-   * @param executeFn - Function to re-execute the query and get current results
-   * @returns An unsubscribe function
+   * Must be called within a transaction. The transaction handle is used
+   * for all cascaded writes to ensure atomicity.
+   *
+   * @param collection - The collection the deleted record belongs to
+   * @param recordId - The ID of the deleted record
+   * @param tx - The active transaction handle
+   * @param causalDeps - Causal dependencies for generated operations
+   * @returns All additional operations created as side effects
+   * @throws {ReferentialIntegrityError} If a 'restrict' policy is violated
    */
-  register(descriptor, callback, executeFn) {
-    const id = `sub_${++nextSubId}`;
-    const subscription = {
-      id,
-      descriptor,
-      callback,
-      executeFn,
-      lastResults: []
-    };
-    this.subscriptions.set(id, subscription);
-    return () => {
-      this.subscriptions.delete(id);
-    };
+  async enforceDelete(collection, recordId, tx, causalDeps) {
+    const incomingRelations = getIncomingRelations(this.lookup, collection);
+    if (incomingRelations.length === 0) {
+      return { operations: [] };
+    }
+    const allOperations = [];
+    const sortedRelations = [...incomingRelations].sort(
+      (a, b) => a.relationName.localeCompare(b.relationName)
+    );
+    for (const incoming of sortedRelations) {
+      const ops = await this.enforceRelation(incoming, recordId, tx, causalDeps);
+      allOperations.push(...ops);
+    }
+    return { operations: allOperations };
   }
   /**
-   * Register a subscription and immediately execute the query.
-   * The initial results are stored as lastResults so subsequent flushes
-   * correctly diff against the initial state.
-   *
-   * @returns An unsubscribe function
+   * Enforce a single relation's onDelete policy.
    */
-  registerAndFetch(descriptor, callback, executeFn) {
-    const id = `sub_${++nextSubId}`;
-    const subscription = {
-      id,
-      descriptor,
-      callback,
-      executeFn,
-      lastResults: []
-    };
-    this.subscriptions.set(id, subscription);
-    executeFn().then((results) => {
-      if (this.subscriptions.has(id)) {
-        subscription.lastResults = results;
-        callback(results);
-      }
-    });
-    return () => {
-      this.subscriptions.delete(id);
-    };
+  async enforceRelation(incoming, deletedRecordId, tx, causalDeps) {
+    switch (incoming.onDelete) {
+      case "cascade":
+        return this.enforceCascade(incoming, deletedRecordId, tx, causalDeps);
+      case "set-null":
+        return this.enforceSetNull(incoming, deletedRecordId, tx, causalDeps);
+      case "restrict":
+        return this.enforceRestrict(incoming, deletedRecordId, tx);
+      case "no-action":
+        return [];
+    }
   }
   /**
-   * Notify the manager that a mutation occurred on a collection.
-   * Schedules a microtask flush to batch multiple mutations in the same tick.
+   * Cascade: delete all records in the source collection that reference
+   * the deleted record, then recursively cascade those deletes.
    */
-  notify(collection, _operation) {
-    this.pendingCollections.add(collection);
-    this.scheduleFlush();
+  async enforceCascade(incoming, deletedRecordId, tx, causalDeps) {
+    const { sourceCollection, foreignKeyField } = incoming;
+    const referencingRows = await tx.query(
+      `SELECT id FROM ${sourceCollection} WHERE ${foreignKeyField} = ? AND _deleted = 0`,
+      [deletedRecordId]
+    );
+    if (referencingRows.length === 0) {
+      return [];
+    }
+    const operations = [];
+    for (const row of referencingRows) {
+      const now = Date.now();
+      const sequenceNumber = await allocateNextSequenceInTransaction(tx, this.nodeId);
+      const operation = await createOperation(
+        {
+          nodeId: this.nodeId,
+          type: "delete",
+          collection: sourceCollection,
+          recordId: row.id,
+          data: null,
+          previousData: null,
+          sequenceNumber,
+          causalDeps: [...causalDeps],
+          schemaVersion: this.schema.version
+        },
+        this.clock
+      );
+      const deleteQuery = buildSoftDeleteQuery(sourceCollection, row.id, now);
+      await tx.execute(deleteQuery.sql, deleteQuery.params);
+      const opInsert = buildInsertQuery(
+        `_kora_ops_${sourceCollection}`,
+        serializeOperation(operation)
+      );
+      await tx.execute(opInsert.sql, opInsert.params);
+      operations.push(operation);
+      const cascadeResult = await this.enforceDelete(sourceCollection, row.id, tx, [operation.id]);
+      operations.push(...cascadeResult.operations);
+    }
+    return operations;
   }
   /**
-   * Immediately flush all pending notifications.
-   * Useful for testing. In production, flushing happens via microtask.
+   * Set-null: update all referencing records to set the foreign key to null.
+   */
+  async enforceSetNull(incoming, deletedRecordId, tx, causalDeps) {
+    const { sourceCollection, foreignKeyField } = incoming;
+    const collectionDef = this.schema.collections[sourceCollection];
+    if (!collectionDef) {
+      return [];
+    }
+    const referencingRows = await tx.query(
+      `SELECT id FROM ${sourceCollection} WHERE ${foreignKeyField} = ? AND _deleted = 0`,
+      [deletedRecordId]
+    );
+    if (referencingRows.length === 0) {
+      return [];
+    }
+    const operations = [];
+    for (const row of referencingRows) {
+      const now = Date.now();
+      const sequenceNumber = await allocateNextSequenceInTransaction(tx, this.nodeId);
+      const updateData = { [foreignKeyField]: null };
+      const previousData = { [foreignKeyField]: deletedRecordId };
+      const operation = await createOperation(
+        {
+          nodeId: this.nodeId,
+          type: "update",
+          collection: sourceCollection,
+          recordId: row.id,
+          data: { ...updateData },
+          previousData,
+          sequenceNumber,
+          causalDeps: [...causalDeps],
+          schemaVersion: this.schema.version
+        },
+        this.clock
+      );
+      const serializedChanges = serializeRecord(updateData, collectionDef.fields);
+      const updateQuery = buildUpdateQuery(sourceCollection, row.id, {
+        ...serializedChanges,
+        _updated_at: now
+      });
+      await tx.execute(updateQuery.sql, updateQuery.params);
+      const opRow = serializeOperation(operation);
+      const opInsert = buildInsertQuery(
+        `_kora_ops_${sourceCollection}`,
+        opRow
+      );
+      await tx.execute(opInsert.sql, opInsert.params);
+      operations.push(operation);
+    }
+    return operations;
+  }
+  /**
+   * Restrict: refuse the delete if any referencing records exist.
+   */
+  async enforceRestrict(incoming, deletedRecordId, tx) {
+    const { sourceCollection, foreignKeyField, relationName } = incoming;
+    const countRows = await tx.query(
+      `SELECT COUNT(*) as cnt FROM ${sourceCollection} WHERE ${foreignKeyField} = ? AND _deleted = 0`,
+      [deletedRecordId]
+    );
+    const count = countRows[0]?.cnt ?? 0;
+    if (count > 0) {
+      const targetCollection = incoming.relation.to;
+      throw new ReferentialIntegrityError(
+        targetCollection,
+        deletedRecordId,
+        sourceCollection,
+        relationName,
+        count
+      );
+    }
+    return [];
+  }
+  /**
+   * Get the relation lookup map for external use (e.g., by the merge engine).
+   */
+  getRelationLookup() {
+    return this.lookup;
+  }
+};
+
+// src/replay/replay-to.ts
+import { OperationError } from "@korajs/core";
+import { topologicalSort } from "@korajs/core/internal";
+function collectCausalClosure(allOps, targetOperationId) {
+  const opMap = /* @__PURE__ */ new Map();
+  for (const op of allOps) {
+    opMap.set(op.id, op);
+  }
+  const target = opMap.get(targetOperationId);
+  if (!target) {
+    throw new OperationError(
+      `Operation "${targetOperationId}" not found in the local operation log`,
+      {
+        operationId: targetOperationId
+      }
+    );
+  }
+  const included = /* @__PURE__ */ new Set();
+  const stack = [targetOperationId];
+  while (stack.length > 0) {
+    const id = stack.pop();
+    if (id === void 0 || included.has(id)) {
+      continue;
+    }
+    included.add(id);
+    const op = opMap.get(id);
+    if (!op) {
+      continue;
+    }
+    for (const depId of op.causalDeps) {
+      if (opMap.has(depId)) {
+        stack.push(depId);
+      }
+    }
+  }
+  const subset = allOps.filter((op) => included.has(op.id));
+  return topologicalSort(subset);
+}
+function buildReplaySnapshot(schema, allOps, targetOperationId) {
+  const operationsApplied = collectCausalClosure(allOps, targetOperationId);
+  const targetOperation = operationsApplied.find((op) => op.id === targetOperationId);
+  if (!targetOperation) {
+    throw new OperationError(`Operation "${targetOperationId}" not found after causal sort`, {
+      operationId: targetOperationId
+    });
+  }
+  const memory = /* @__PURE__ */ new Map();
+  for (const op of operationsApplied) {
+    applyOperationToMemory(memory, op, schema);
+  }
+  const collections = materializeCollections(schema, memory);
+  return {
+    targetOperation,
+    operationsApplied,
+    collections,
+    findRecord(collection, recordId) {
+      const colMap = memory.get(collection);
+      const record = colMap?.get(recordId);
+      if (!record || record.deleted) {
+        return null;
+      }
+      const definition = schema.collections[collection];
+      if (!definition) {
+        return null;
+      }
+      return toCollectionRecord(record, definition);
+    }
+  };
+}
+function applyOperationToMemory(state, op, schema) {
+  const definition = schema.collections[op.collection];
+  if (!definition) {
+    return;
+  }
+  let colMap = state.get(op.collection);
+  if (!colMap) {
+    colMap = /* @__PURE__ */ new Map();
+    state.set(op.collection, colMap);
+  }
+  const wallTime = op.timestamp.wallTime;
+  switch (op.type) {
+    case "insert": {
+      if (!op.data) {
+        return;
+      }
+      colMap.set(op.recordId, {
+        id: op.recordId,
+        fields: { ...op.data },
+        deleted: false,
+        createdAt: wallTime,
+        updatedAt: wallTime
+      });
+      break;
+    }
+    case "update": {
+      if (!op.data) {
+        return;
+      }
+      const existing = colMap.get(op.recordId);
+      if (existing && !existing.deleted) {
+        existing.fields = { ...existing.fields, ...op.data };
+        existing.updatedAt = wallTime;
+        break;
+      }
+      if (existing?.deleted) {
+        return;
+      }
+      colMap.set(op.recordId, {
+        id: op.recordId,
+        fields: { ...op.data },
+        deleted: false,
+        createdAt: wallTime,
+        updatedAt: wallTime
+      });
+      break;
+    }
+    case "delete": {
+      const existing = colMap.get(op.recordId);
+      if (existing) {
+        existing.deleted = true;
+        existing.updatedAt = wallTime;
+        return;
+      }
+      colMap.set(op.recordId, {
+        id: op.recordId,
+        fields: {},
+        deleted: true,
+        createdAt: wallTime,
+        updatedAt: wallTime
+      });
+      break;
+    }
+  }
+}
+function materializeCollections(schema, memory) {
+  const collections = {};
+  for (const [collectionName, definition] of Object.entries(schema.collections)) {
+    const colMap = memory.get(collectionName);
+    const records = [];
+    if (colMap) {
+      for (const record of colMap.values()) {
+        if (!record.deleted) {
+          records.push(toCollectionRecord(record, definition));
+        }
+      }
+    }
+    collections[collectionName] = records;
+  }
+  return collections;
+}
+function toCollectionRecord(record, definition) {
+  const result = {
+    id: record.id,
+    createdAt: record.createdAt,
+    updatedAt: record.updatedAt
+  };
+  for (const [fieldName] of Object.entries(definition.fields)) {
+    if (fieldName in record.fields) {
+      result[fieldName] = record.fields[fieldName];
+    }
+  }
+  return result;
+}
+
+// src/sequences/sequence-manager.ts
+import { defaultSequenceFormat, formatSequenceValue } from "@korajs/core";
+var SequenceManager = class {
+  adapter;
+  nodeId;
+  constructor(adapter, nodeId) {
+    this.adapter = adapter;
+    this.nodeId = nodeId;
+  }
+  /**
+   * Get the next value in a sequence, atomically incrementing the counter.
+   *
+   * @param name - The sequence name (e.g., 'receipt', 'invoice')
+   * @param config - Optional configuration for scope, format, and starting value
+   * @returns The formatted sequence value
+   */
+  async next(name, config) {
+    const scope = config?.scope ?? "";
+    const startAt = config?.startAt ?? 1;
+    const format = config?.format ?? defaultSequenceFormat(name);
+    let counter = 0;
+    await this.adapter.transaction(async (tx) => {
+      const rows = await tx.query(
+        "SELECT counter FROM _kora_sequences WHERE name = ? AND scope = ? AND node_id = ?",
+        [name, scope, this.nodeId]
+      );
+      if (rows.length > 0) {
+        const row = rows[0];
+        counter = row.counter + 1;
+        await tx.execute(
+          "UPDATE _kora_sequences SET counter = ? WHERE name = ? AND scope = ? AND node_id = ?",
+          [counter, name, scope, this.nodeId]
+        );
+      } else {
+        counter = startAt;
+        await tx.execute(
+          "INSERT INTO _kora_sequences (name, scope, node_id, counter) VALUES (?, ?, ?, ?)",
+          [name, scope, this.nodeId, counter]
+        );
+      }
+    });
+    return formatSequenceValue(format, counter, this.nodeId);
+  }
+  /**
+   * Get the current counter value without incrementing.
+   *
+   * @param name - The sequence name
+   * @param config - Optional scope
+   * @returns The current counter value, or 0 if the sequence has never been used
+   */
+  async current(name, config) {
+    const scope = config?.scope ?? "";
+    const rows = await this.adapter.query(
+      "SELECT counter FROM _kora_sequences WHERE name = ? AND scope = ? AND node_id = ?",
+      [name, scope, this.nodeId]
+    );
+    if (rows.length > 0) {
+      return rows[0].counter;
+    }
+    return 0;
+  }
+  /**
+   * Reset a sequence counter.
+   *
+   * @param name - The sequence name
+   * @param config - Optional scope and target value
+   */
+  async reset(name, config) {
+    const scope = config?.scope ?? "";
+    const to = config?.to ?? 0;
+    await this.adapter.execute(
+      "DELETE FROM _kora_sequences WHERE name = ? AND scope = ? AND node_id = ?",
+      [name, scope, this.nodeId]
+    );
+    if (to > 0) {
+      await this.adapter.execute(
+        "INSERT INTO _kora_sequences (name, scope, node_id, counter) VALUES (?, ?, ?, ?)",
+        [name, scope, this.nodeId, to]
+      );
+    }
+  }
+};
+
+// src/subscription/bloom-filter.ts
+var FNV_OFFSET_BASIS = 2166136261;
+var FNV_PRIME = 16777619;
+function fnv1a32(input) {
+  let hash = FNV_OFFSET_BASIS;
+  for (let i = 0; i < input.length; i++) {
+    hash ^= input.charCodeAt(i);
+    hash = Math.imul(hash, FNV_PRIME);
+  }
+  return hash >>> 0;
+}
+function optimalBitCount(expectedItems, falsePositiveRate) {
+  if (expectedItems <= 0) return 32;
+  if (falsePositiveRate <= 0 || falsePositiveRate >= 1) return 32;
+  const ln2Squared = Math.LN2 * Math.LN2;
+  const rawBits = -(expectedItems * Math.log(falsePositiveRate)) / ln2Squared;
+  const aligned = Math.ceil(rawBits / 32) * 32;
+  return Math.max(32, aligned);
+}
+function optimalHashCount(bitCount, expectedItems) {
+  if (expectedItems <= 0) return 1;
+  const raw = bitCount / expectedItems * Math.LN2;
+  return Math.max(1, Math.min(30, Math.round(raw)));
+}
+var SubscriptionBloomFilter = class {
+  bits;
+  bitCount;
+  hashCount;
+  itemCount = 0;
+  constructor(expectedItems, falsePositiveRate = 0.01) {
+    this.bitCount = optimalBitCount(expectedItems, falsePositiveRate);
+    this.hashCount = optimalHashCount(this.bitCount, expectedItems);
+    this.bits = new Uint32Array(this.bitCount / 32);
+  }
+  /**
+   * Add a collection (and optional field) to the bloom filter.
+   *
+   * @param collection - Collection name (e.g., "todos")
+   * @param field - Optional field name (e.g., "completed")
+   */
+  add(collection, field) {
+    const key = field !== void 0 ? `${collection}:${field}` : collection;
+    const positions = this.getPositions(key);
+    for (const pos of positions) {
+      const wordIndex = pos >>> 5;
+      const bitIndex = pos & 31;
+      const current = this.bits[wordIndex] ?? 0;
+      this.bits[wordIndex] = current | 1 << bitIndex;
+    }
+    this.itemCount++;
+  }
+  /**
+   * Check if a collection (and optional field) might be in the filter.
+   *
+   * A return value of `false` means the item is DEFINITELY NOT in the filter.
+   * A return value of `true` means the item MIGHT be in the filter (possible false positive).
+   *
+   * @param collection - Collection name to check
+   * @param field - Optional field name to check
+   * @returns false = definitely absent, true = possibly present
+   */
+  mightContain(collection, field) {
+    const key = field !== void 0 ? `${collection}:${field}` : collection;
+    const positions = this.getPositions(key);
+    for (const pos of positions) {
+      const wordIndex = pos >>> 5;
+      const bitIndex = pos & 31;
+      if (((this.bits[wordIndex] ?? 0) & 1 << bitIndex) === 0) {
+        return false;
+      }
+    }
+    return true;
+  }
+  /**
+   * Reset the bloom filter, clearing all bits and the item count.
+   */
+  clear() {
+    this.bits.fill(0);
+    this.itemCount = 0;
+  }
+  /**
+   * Estimate the current false positive rate based on the number of items inserted.
+   *
+   * Formula: (1 - e^(-kn/m))^k
+   * where k = hash count, n = item count, m = bit count.
+   *
+   * @returns Estimated false positive rate as a number between 0 and 1
+   */
+  estimatedFalsePositiveRate() {
+    if (this.itemCount === 0) return 0;
+    const exponent = -(this.hashCount * this.itemCount) / this.bitCount;
+    return (1 - Math.exp(exponent)) ** this.hashCount;
+  }
+  /**
+   * @returns The number of items that have been added to the filter
+   */
+  getItemCount() {
+    return this.itemCount;
+  }
+  /**
+   * @returns The total number of bits in the filter
+   */
+  getBitCount() {
+    return this.bitCount;
+  }
+  /**
+   * @returns The number of hash functions used
+   */
+  getHashCount() {
+    return this.hashCount;
+  }
+  /**
+   * Count the number of bits currently set to 1.
+   * Uses Brian Kernighan's algorithm: each iteration clears the lowest set bit,
+   * so the loop runs exactly as many times as there are set bits.
+   *
+   * @returns Number of bits set to 1
+   */
+  getSetBitCount() {
+    let count = 0;
+    for (let i = 0; i < this.bits.length; i++) {
+      let word = this.bits[i] ?? 0;
+      while (word !== 0) {
+        word &= word - 1;
+        count++;
+      }
+    }
+    return count;
+  }
+  /**
+   * Compute k bit positions for a given key using Kirsch-Mitzenmacker double hashing.
+   *
+   * Instead of computing k independent hash functions, we compute two base hashes
+   * (h1 and h2) and derive the rest as: h_i = (h1 + i * h2) mod m.
+   * This technique is proven to have the same asymptotic false positive rate as
+   * k independent hash functions.
+   *
+   * We derive h1 and h2 from a single FNV-1a hash by splitting and mixing:
+   * h1 = fnv1a(key), h2 = fnv1a(key + "\0salt") to ensure independence.
+   */
+  getPositions(key) {
+    const h1 = fnv1a32(key);
+    const h2 = fnv1a32(`${key}\0bloom`);
+    const positions = new Array(this.hashCount);
+    for (let i = 0; i < this.hashCount; i++) {
+      positions[i] = (h1 + Math.imul(i, h2) >>> 0) % this.bitCount;
+    }
+    return positions;
+  }
+};
+
+// src/subscription/subscription-manager.ts
+var nextSubId = 0;
+var DEFAULT_BLOOM_THRESHOLD = 100;
+var DEFAULT_BLOOM_EXPECTED_ITEMS = 500;
+var DEFAULT_BLOOM_FALSE_POSITIVE_RATE = 0.01;
+var SubscriptionManager = class {
+  subscriptions = /* @__PURE__ */ new Map();
+  pendingCollections = /* @__PURE__ */ new Set();
+  flushScheduled = false;
+  onQuerySubscribed;
+  // Bloom filter state
+  bloomFilter = null;
+  bloomDirty = false;
+  bloomThreshold;
+  bloomExpectedItems;
+  bloomFalsePositiveRate;
+  // Performance stats
+  totalChecks = 0;
+  bloomFilterHits = 0;
+  bloomFilterMisses = 0;
+  falsePositives = 0;
+  totalCheckTimeMs = 0;
+  constructor(options) {
+    this.bloomThreshold = options?.bloomThreshold ?? DEFAULT_BLOOM_THRESHOLD;
+    this.bloomExpectedItems = options?.bloomExpectedItems ?? DEFAULT_BLOOM_EXPECTED_ITEMS;
+    this.bloomFalsePositiveRate = options?.bloomFalsePositiveRate ?? DEFAULT_BLOOM_FALSE_POSITIVE_RATE;
+    this.onQuerySubscribed = options?.onQuerySubscribed;
+  }
+  /**
+   * Register a new subscription.
+   *
+   * @param descriptor - The query descriptor defining what this subscription watches
+   * @param callback - Called with results whenever they change
+   * @param executeFn - Function to re-execute the query and get current results
+   * @returns An unsubscribe function
+   */
+  register(descriptor, callback, executeFn) {
+    const id = `sub_${++nextSubId}`;
+    const subscription = {
+      id,
+      descriptor,
+      callback,
+      executeFn,
+      lastResults: []
+    };
+    this.subscriptions.set(id, subscription);
+    this.bloomDirty = true;
+    const externalCleanup = this.onQuerySubscribed?.(descriptor);
+    return () => {
+      this.subscriptions.delete(id);
+      this.bloomDirty = true;
+      externalCleanup?.();
+    };
+  }
+  /**
+   * Register a subscription and immediately execute the query.
+   * The initial results are stored as lastResults so subsequent flushes
+   * correctly diff against the initial state.
+   *
+   * @returns An unsubscribe function
+   */
+  registerAndFetch(descriptor, callback, executeFn) {
+    const id = `sub_${++nextSubId}`;
+    const subscription = {
+      id,
+      descriptor,
+      callback,
+      executeFn,
+      lastResults: []
+    };
+    this.subscriptions.set(id, subscription);
+    this.bloomDirty = true;
+    const externalCleanup = this.onQuerySubscribed?.(descriptor);
+    executeFn().then((results) => {
+      if (this.subscriptions.has(id)) {
+        subscription.lastResults = results;
+        callback(results);
+      }
+    });
+    return () => {
+      this.subscriptions.delete(id);
+      this.bloomDirty = true;
+      externalCleanup?.();
+    };
+  }
+  /**
+   * Notify the manager that a mutation occurred on a collection.
+   * Schedules a microtask flush to batch multiple mutations in the same tick.
+   */
+  notify(collection, _operation) {
+    this.pendingCollections.add(collection);
+    this.scheduleFlush();
+  }
+  /**
+   * Immediately flush all pending notifications.
+   * Useful for testing. In production, flushing happens via microtask.
    */
   async flush() {
     if (this.pendingCollections.size === 0) return;
     const collections = new Set(this.pendingCollections);
     this.pendingCollections.clear();
     this.flushScheduled = false;
+    const affected = this.findAffectedSubscriptions(collections);
+    for (const sub of affected) {
+      try {
+        const newResults = await sub.executeFn();
+        if (!this.resultsEqual(sub.lastResults, newResults)) {
+          sub.lastResults = newResults;
+          sub.callback(newResults);
+        }
+      } catch {
+      }
+    }
+  }
+  /**
+   * Remove all subscriptions. Called on store close.
+   */
+  clear() {
+    this.subscriptions.clear();
+    this.pendingCollections.clear();
+    this.flushScheduled = false;
+    this.bloomFilter = null;
+    this.bloomDirty = false;
+    this.totalChecks = 0;
+    this.bloomFilterHits = 0;
+    this.bloomFilterMisses = 0;
+    this.falsePositives = 0;
+    this.totalCheckTimeMs = 0;
+  }
+  /** Number of active subscriptions (for testing/debugging) */
+  get size() {
+    return this.subscriptions.size;
+  }
+  /**
+   * Get performance statistics for monitoring subscription checking efficiency.
+   * Useful for DevTools integration and performance tuning.
+   */
+  getStats() {
+    return {
+      totalChecks: this.totalChecks,
+      bloomFilterHits: this.bloomFilterHits,
+      bloomFilterMisses: this.bloomFilterMisses,
+      falsePositives: this.falsePositives,
+      averageCheckTimeMs: this.totalChecks > 0 ? this.totalCheckTimeMs / this.totalChecks : 0,
+      bloomFilterActive: this.isBloomActive(),
+      subscriptionCount: this.subscriptions.size
+    };
+  }
+  /**
+   * Check if bloom filter is currently active.
+   * Active when subscription count meets or exceeds the threshold.
+   */
+  isBloomActive() {
+    return this.subscriptions.size >= this.bloomThreshold;
+  }
+  /**
+   * Find subscriptions affected by mutations to the given collections.
+   * Uses two-level checking when bloom filter is active:
+   *
+   * Level 1: Bloom filter pre-check -- if no subscription depends on any
+   * of the mutated collections, skip everything (O(k) per collection).
+   *
+   * Level 2: Precise check -- linear scan of subscriptions, matching
+   * against the mutated collections.
+   */
+  findAffectedSubscriptions(collections) {
+    const startTime = performance.now();
+    this.totalChecks++;
+    const useBloom = this.isBloomActive();
+    if (useBloom) {
+      if (this.bloomDirty || this.bloomFilter === null) {
+        this.rebuildBloomFilter();
+      }
+      const filter = this.bloomFilter;
+      if (filter !== null) {
+        let anyPossibleMatch = false;
+        for (const col of collections) {
+          if (filter.mightContain(col)) {
+            anyPossibleMatch = true;
+            break;
+          }
+        }
+        if (!anyPossibleMatch) {
+          this.bloomFilterMisses++;
+          this.totalCheckTimeMs += performance.now() - startTime;
+          return [];
+        }
+        this.bloomFilterHits++;
+      }
+    }
     const affected = [];
+    let anyPreciseMatch = false;
     for (const sub of this.subscriptions.values()) {
       if (collections.has(sub.descriptor.collection)) {
         affected.push(sub);
+        anyPreciseMatch = true;
       } else if (sub.descriptor.includeCollections) {
         for (const incCol of sub.descriptor.includeCollections) {
           if (collections.has(incCol)) {
             affected.push(sub);
+            anyPreciseMatch = true;
             break;
           }
         }
       }
     }
-    for (const sub of affected) {
-      try {
-        const newResults = await sub.executeFn();
-        if (!this.resultsEqual(sub.lastResults, newResults)) {
-          sub.lastResults = newResults;
-          sub.callback(newResults);
-        }
-      } catch {
+    if (useBloom && !anyPreciseMatch) {
+      this.falsePositives++;
+    }
+    this.totalCheckTimeMs += performance.now() - startTime;
+    return affected;
+  }
+  /**
+   * Rebuild the bloom filter from all current subscriptions.
+   * Adds collection-level dependencies for every subscription, plus
+   * any included collection dependencies.
+   */
+  rebuildBloomFilter() {
+    const filter = new SubscriptionBloomFilter(this.bloomExpectedItems, this.bloomFalsePositiveRate);
+    for (const sub of this.subscriptions.values()) {
+      filter.add(sub.descriptor.collection);
+      if (sub.descriptor.includeCollections) {
+        for (const incCol of sub.descriptor.includeCollections) {
+          filter.add(incCol);
+        }
+      }
+    }
+    this.bloomFilter = filter;
+    this.bloomDirty = false;
+  }
+  scheduleFlush() {
+    if (this.flushScheduled) return;
+    this.flushScheduled = true;
+    queueMicrotask(() => {
+      this.flush();
+    });
+  }
+  /**
+   * Compare two result sets. Uses ID-based comparison first (same length, same IDs),
+   * then deep comparison of remaining fields when IDs match.
+   * Avoids JSON.stringify which is O(n) and fragile to field ordering differences.
+   */
+  resultsEqual(prev, next) {
+    if (prev.length !== next.length) return false;
+    if (prev.length === 0) return true;
+    for (let i = 0; i < prev.length; i++) {
+      if (prev[i]?.id !== next[i]?.id) return false;
+    }
+    for (let i = 0; i < prev.length; i++) {
+      const a = prev[i];
+      const b = next[i];
+      const keysA = Object.keys(a);
+      const keysB = Object.keys(b);
+      if (keysA.length !== keysB.length) return false;
+      for (const key of keysA) {
+        if (a[key] !== b[key]) return false;
+      }
+    }
+    return true;
+  }
+};
+
+// src/transaction/transaction-context.ts
+import {
+  createOperation as createOperation2,
+  generateUUIDv7,
+  isAtomicOp,
+  resolveAtomicOp,
+  toAtomicOp,
+  validateRecord
+} from "@korajs/core";
+var TransactionContext = class {
+  transactionId;
+  mutationName;
+  buffer = [];
+  committed = false;
+  rolledBack = false;
+  config;
+  constructor(config) {
+    this.config = config;
+    this.transactionId = generateUUIDv7();
+  }
+  /**
+   * Set a human-readable mutation name for this transaction.
+   * Propagated to all operations for DevTools display.
+   */
+  setMutationName(name) {
+    this.mutationName = name;
+  }
+  /**
+   * Get the mutation name, if set.
+   */
+  getMutationName() {
+    return this.mutationName;
+  }
+  /**
+   * Get a collection accessor for buffered operations within this transaction.
+   */
+  collection(name) {
+    const definition = this.config.schema.collections[name];
+    if (!definition) {
+      throw new Error(
+        `Unknown collection "${name}". Available: ${Object.keys(this.config.schema.collections).join(", ")}`
+      );
+    }
+    return {
+      insert: (data) => this.insert(name, definition, data),
+      update: (id, data) => this.update(name, definition, id, data),
+      delete: (id) => this.deleteRecord(name, definition, id),
+      findById: (id) => this.findById(name, definition, id)
+    };
+  }
+  /**
+   * Commit all buffered operations atomically.
+   * Returns the list of operations and affected collections for subscription notification.
+   */
+  async commit() {
+    if (this.committed) {
+      throw new Error("Transaction already committed.");
+    }
+    if (this.rolledBack) {
+      throw new Error("Transaction was rolled back and cannot be committed.");
+    }
+    this.committed = true;
+    if (this.buffer.length === 0) {
+      return { operations: [], affectedCollections: /* @__PURE__ */ new Set() };
+    }
+    const handler = this.config.localMutationHandler;
+    if (handler?.commitTransaction) {
+      return handler.commitTransaction({
+        entries: this.buffer.map((entry) => ({
+          operation: entry.operation,
+          commands: entry.commands,
+          collection: entry.collection
+        })),
+        transactionId: this.transactionId,
+        ...this.mutationName !== void 0 ? { mutationName: this.mutationName } : {}
+      });
+    }
+    const operations = [];
+    const affectedCollections = /* @__PURE__ */ new Set();
+    await this.config.adapter.transaction(async (tx) => {
+      for (const entry of this.buffer) {
+        if (entry.operation.type === "delete" && this.config.relationEnforcer) {
+          const cascadeResult = await this.config.relationEnforcer.enforceDelete(
+            entry.collection,
+            entry.operation.recordId,
+            tx,
+            [entry.operation.id]
+          );
+          for (const cascadedOp of cascadeResult.operations) {
+            operations.push(cascadedOp);
+            affectedCollections.add(cascadedOp.collection);
+            this.config.causalTracker?.afterOperation(cascadedOp.collection, cascadedOp.id, true);
+          }
+        }
+        for (const cmd of entry.commands) {
+          await tx.execute(cmd.sql, cmd.params);
+        }
+        operations.push(entry.operation);
+        affectedCollections.add(entry.collection);
+      }
+      const finalSeq = this.config.sequenceAllocator.getHighWaterMark();
+      if (finalSeq > 0) {
+        await tx.execute(
+          "INSERT OR REPLACE INTO _kora_version_vector (node_id, sequence_number) VALUES (?, ?)",
+          [this.config.nodeId, finalSeq]
+        );
+      }
+    });
+    return { operations, affectedCollections };
+  }
+  /**
+   * Mark the transaction as rolled back. No operations will be committed.
+   */
+  rollback() {
+    this.rolledBack = true;
+    this.buffer.length = 0;
+  }
+  /**
+   * Get the transaction ID shared by all operations in this transaction.
+   */
+  getTransactionId() {
+    return this.transactionId;
+  }
+  ensureActive() {
+    if (this.committed) {
+      throw new Error("Cannot perform operations on a committed transaction.");
+    }
+    if (this.rolledBack) {
+      throw new Error("Cannot perform operations on a rolled-back transaction.");
+    }
+  }
+  async insert(collectionName, definition, data) {
+    this.ensureActive();
+    const validated = validateRecord(collectionName, definition, data, "insert");
+    const recordId = generateUUIDv7();
+    const now = Date.now();
+    for (const [fieldName, descriptor] of Object.entries(definition.fields)) {
+      if (descriptor.auto && descriptor.kind === "timestamp") {
+        validated[fieldName] = now;
+      }
+    }
+    const sequenceNumber = await this.config.sequenceAllocator.allocate();
+    const causalDeps = this.config.causalTracker?.nextCausalDeps(collectionName, true) ?? [];
+    const operation = await createOperation2(
+      {
+        nodeId: this.config.nodeId,
+        type: "insert",
+        collection: collectionName,
+        recordId,
+        data: { ...validated },
+        previousData: null,
+        sequenceNumber,
+        causalDeps,
+        schemaVersion: this.config.schema.version,
+        transactionId: this.transactionId,
+        ...this.mutationName !== void 0 ? { mutationName: this.mutationName } : {}
+      },
+      this.config.clock
+    );
+    this.config.causalTracker?.afterOperation(collectionName, operation.id, true);
+    const serializedData = serializeRecord(validated, definition.fields);
+    const version = serializeRowVersion(operation.timestamp);
+    const record = {
+      id: recordId,
+      ...serializedData,
+      _created_at: operation.timestamp.wallTime,
+      _updated_at: operation.timestamp.wallTime,
+      _version: version
+    };
+    const insertQuery = buildInsertQuery(collectionName, record);
+    const opRow = serializeOperation(operation);
+    const opInsert = buildInsertQuery(
+      `_kora_ops_${collectionName}`,
+      opRow
+    );
+    this.buffer.push({
+      operation,
+      collection: collectionName,
+      commands: [
+        { sql: insertQuery.sql, params: insertQuery.params },
+        { sql: opInsert.sql, params: opInsert.params }
+      ]
+    });
+    return {
+      id: recordId,
+      ...validated,
+      createdAt: now,
+      updatedAt: now
+    };
+  }
+  async update(collectionName, definition, id, data) {
+    this.ensureActive();
+    const currentRecord = await this.getEffectiveRecord(collectionName, definition, id);
+    if (!currentRecord) {
+      throw new RecordNotFoundError(collectionName, id);
+    }
+    const validated = validateRecord(collectionName, definition, data, "update");
+    const now = Date.now();
+    const previousData = {};
+    const resolvedData = {};
+    const atomicOps = {};
+    for (const key of Object.keys(validated)) {
+      const value = validated[key];
+      previousData[key] = currentRecord[key];
+      if (isAtomicOp(value)) {
+        resolvedData[key] = resolveAtomicOp(currentRecord[key], value);
+        atomicOps[key] = toAtomicOp(value);
+      } else {
+        resolvedData[key] = value;
+      }
+    }
+    const hasAtomicOps = Object.keys(atomicOps).length > 0;
+    const sequenceNumber = await this.config.sequenceAllocator.allocate();
+    const causalDeps = this.config.causalTracker?.nextCausalDeps(collectionName, true) ?? [];
+    const operation = await createOperation2(
+      {
+        nodeId: this.config.nodeId,
+        type: "update",
+        collection: collectionName,
+        recordId: id,
+        data: { ...resolvedData },
+        previousData,
+        sequenceNumber,
+        causalDeps,
+        schemaVersion: this.config.schema.version,
+        transactionId: this.transactionId,
+        ...this.mutationName !== void 0 ? { mutationName: this.mutationName } : {},
+        ...hasAtomicOps ? { atomicOps } : {}
+      },
+      this.config.clock
+    );
+    this.config.causalTracker?.afterOperation(collectionName, operation.id, true);
+    const serializedChanges = serializeRecord(resolvedData, definition.fields);
+    const version = serializeRowVersion(operation.timestamp);
+    const updateQuery = buildUpdateQuery(collectionName, id, {
+      ...serializedChanges,
+      _updated_at: operation.timestamp.wallTime,
+      _version: version
+    });
+    const opRow = serializeOperation(operation);
+    const opInsert = buildInsertQuery(
+      `_kora_ops_${collectionName}`,
+      opRow
+    );
+    this.buffer.push({
+      operation,
+      collection: collectionName,
+      commands: [
+        { sql: updateQuery.sql, params: updateQuery.params },
+        { sql: opInsert.sql, params: opInsert.params }
+      ]
+    });
+    return {
+      ...currentRecord,
+      ...resolvedData,
+      updatedAt: now
+    };
+  }
+  async deleteRecord(collectionName, definition, id) {
+    this.ensureActive();
+    const currentRecord = await this.getEffectiveRecord(collectionName, definition, id);
+    if (!currentRecord) {
+      throw new RecordNotFoundError(collectionName, id);
+    }
+    const now = Date.now();
+    const sequenceNumber = await this.config.sequenceAllocator.allocate();
+    const causalDeps = this.config.causalTracker?.nextCausalDeps(collectionName, true) ?? [];
+    const operation = await createOperation2(
+      {
+        nodeId: this.config.nodeId,
+        type: "delete",
+        collection: collectionName,
+        recordId: id,
+        data: null,
+        previousData: null,
+        sequenceNumber,
+        causalDeps,
+        schemaVersion: this.config.schema.version,
+        transactionId: this.transactionId,
+        ...this.mutationName !== void 0 ? { mutationName: this.mutationName } : {}
+      },
+      this.config.clock
+    );
+    this.config.causalTracker?.afterOperation(collectionName, operation.id, true);
+    const deleteQuery = buildSoftDeleteQuery(collectionName, id, now);
+    const opRow = serializeOperation(operation);
+    const opInsert = buildInsertQuery(
+      `_kora_ops_${collectionName}`,
+      opRow
+    );
+    this.buffer.push({
+      operation,
+      collection: collectionName,
+      commands: [
+        { sql: deleteQuery.sql, params: deleteQuery.params },
+        { sql: opInsert.sql, params: opInsert.params }
+      ]
+    });
+  }
+  async findById(collectionName, definition, id) {
+    return this.getEffectiveRecord(collectionName, definition, id);
+  }
+  /**
+   * Get the effective state of a record, considering both the database and buffered operations.
+   * Buffered inserts/updates take precedence over the database state.
+   */
+  async getEffectiveRecord(collectionName, definition, id) {
+    for (let i = this.buffer.length - 1; i >= 0; i--) {
+      const entry = this.buffer[i];
+      if (entry.collection === collectionName && entry.operation.recordId === id) {
+        if (entry.operation.type === "delete") {
+          return null;
+        }
+        break;
+      }
+    }
+    const rows = await this.config.adapter.query(
+      `SELECT * FROM ${collectionName} WHERE id = ? AND _deleted = 0`,
+      [id]
+    );
+    let record = rows[0] ? deserializeRecord(rows[0], definition.fields) : null;
+    for (const entry of this.buffer) {
+      if (entry.collection !== collectionName || entry.operation.recordId !== id) {
+        continue;
+      }
+      if (entry.operation.type === "insert" && entry.operation.data) {
+        record = {
+          id,
+          ...entry.operation.data,
+          createdAt: entry.operation.timestamp.wallTime,
+          updatedAt: entry.operation.timestamp.wallTime
+        };
+      } else if (entry.operation.type === "update" && entry.operation.data && record) {
+        record = {
+          ...record,
+          ...entry.operation.data,
+          updatedAt: entry.operation.timestamp.wallTime
+        };
+      } else if (entry.operation.type === "delete") {
+        record = null;
       }
     }
+    return record;
   }
-  /**
-   * Remove all subscriptions. Called on store close.
-   */
-  clear() {
-    this.subscriptions.clear();
-    this.pendingCollections.clear();
-    this.flushScheduled = false;
-  }
-  /** Number of active subscriptions (for testing/debugging) */
-  get size() {
-    return this.subscriptions.size;
+};
+
+// src/transaction/transaction-sequence.ts
+var TransactionSequenceAllocator = class {
+  constructor(adapter, nodeId) {
+    this.adapter = adapter;
+    this.nodeId = nodeId;
   }
-  scheduleFlush() {
-    if (this.flushScheduled) return;
-    this.flushScheduled = true;
-    queueMicrotask(() => {
-      this.flush();
-    });
+  adapter;
+  nodeId;
+  loaded = false;
+  watermark = 0;
+  async allocate() {
+    if (!this.loaded) {
+      this.watermark = await readSequenceNumber(this.adapter, this.nodeId);
+      this.loaded = true;
+    }
+    this.watermark++;
+    return this.watermark;
   }
-  /**
-   * Compare two result sets. Uses length check + JSON comparison as pragmatic approach.
-   * Sufficient for typical query results. Can be optimized to id-based diffing if profiling shows need.
-   */
-  resultsEqual(prev, next) {
-    if (prev.length !== next.length) return false;
-    if (prev.length === 0) return true;
-    return JSON.stringify(prev) === JSON.stringify(next);
+  getHighWaterMark() {
+    return this.watermark;
   }
 };
 
+// src/store/tab-node-id.ts
+import { generateUUIDv7 as generateUUIDv72 } from "@korajs/core";
+function perTabStorageKey(dbName) {
+  return `kora-tab-node-${dbName}`;
+}
+function loadPerTabNodeId(dbName) {
+  if (typeof sessionStorage === "undefined") {
+    return null;
+  }
+  return sessionStorage.getItem(perTabStorageKey(dbName));
+}
+function savePerTabNodeId(dbName, nodeId) {
+  if (typeof sessionStorage === "undefined") {
+    return;
+  }
+  sessionStorage.setItem(perTabStorageKey(dbName), nodeId);
+}
+function resolvePerTabNodeId(dbName) {
+  const existing = loadPerTabNodeId(dbName);
+  if (existing) {
+    return existing;
+  }
+  const nodeId = generateUUIDv72();
+  savePerTabNodeId(dbName, nodeId);
+  return nodeId;
+}
+
 // src/store/store.ts
 var Store = class {
   opened = false;
   nodeId = "";
   sequenceNumber = 0;
-  versionVector = createVersionVector();
+  versionVector = createVersionVector3();
   clock = null;
   collections = /* @__PURE__ */ new Map();
-  subscriptionManager = new SubscriptionManager();
+  subscriptionManager;
+  sequenceManager = null;
   schema;
   adapter;
   configNodeId;
+  dbName;
+  isolation;
   emitter;
+  localMutationHandler;
+  relationEnforcer = null;
+  causalTracker = null;
   constructor(config) {
     this.schema = config.schema;
     this.adapter = config.adapter;
     this.configNodeId = config.nodeId;
+    this.dbName = config.dbName ?? "kora-db";
+    this.isolation = config.isolation ?? "shared";
     this.emitter = config.emitter ?? null;
+    this.localMutationHandler = config.localMutationHandler ?? null;
+    this.subscriptionManager = new SubscriptionManager({
+      onQuerySubscribed: config.onQuerySubscribed
+    });
   }
   /**
    * Open the store: initialize the database, load or generate a node ID,
@@ -955,10 +1891,20 @@ var Store = class {
    */
   async open() {
     await this.adapter.open(this.schema);
+    await this.runMigrationsIfNeeded();
     this.nodeId = await this.loadOrGenerateNodeId();
     this.clock = new HybridLogicalClock2(this.nodeId);
+    this.causalTracker = new CausalTracker();
+    this.sequenceManager = new SequenceManager(this.adapter, this.nodeId);
     this.sequenceNumber = await this.loadSequenceNumber();
     this.versionVector = await this.loadVersionVector();
+    const hasRelations = Object.keys(this.schema.relations).length > 0;
+    this.relationEnforcer = hasRelations ? new RelationEnforcer({
+      schema: this.schema,
+      adapter: this.adapter,
+      clock: this.clock,
+      nodeId: this.nodeId
+    }) : null;
     for (const [name, definition] of Object.entries(this.schema.collections)) {
       const col = new Collection(
         name,
@@ -967,13 +1913,17 @@ var Store = class {
         this.adapter,
         this.clock,
         this.nodeId,
-        () => this.nextSequenceNumber(),
+        () => this.allocateSequenceNumber(),
         (collectionName, operation) => {
+          this.recordOperationSequence(operation);
           this.subscriptionManager.notify(collectionName, operation);
           if (this.emitter) {
             this.emitter.emit({ type: "operation:created", operation });
           }
-        }
+        },
+        this.relationEnforcer,
+        this.localMutationHandler,
+        this.causalTracker
       );
       this.collections.set(name, col);
     }
@@ -1010,7 +1960,14 @@ var Store = class {
       findById: (id) => col.findById(id),
       update: (id, data) => col.update(id, data),
       delete: (id) => col.delete(id),
-      where: (conditions) => new QueryBuilder(name, definition, this.adapter, this.subscriptionManager, conditions, this.schema)
+      where: (conditions) => new QueryBuilder(
+        name,
+        definition,
+        this.adapter,
+        this.subscriptionManager,
+        conditions,
+        this.schema
+      )
     };
   }
   /**
@@ -1032,7 +1989,7 @@ var Store = class {
    * Checks for duplicates, applies to the data table, persists the operation,
    * and updates the version vector.
    */
-  async applyRemoteOperation(op) {
+  async applyRemoteOperation(op, options) {
     this.ensureOpen();
     const collection = op.collection;
     const definition = this.schema.collections[collection];
@@ -1049,27 +2006,52 @@ var Store = class {
     if (this.clock) {
       this.clock.receive(op.timestamp);
     }
+    const remoteVersion = serializeRowVersion(op.timestamp);
+    const wallTime = op.timestamp.wallTime;
     await this.adapter.transaction(async (tx) => {
       if (op.type === "insert" && op.data) {
-        const serializedData = serializeRecord(op.data, definition.fields);
-        const now = op.timestamp.wallTime;
-        const record = {
-          id: op.recordId,
-          ...serializedData,
-          _created_at: now,
-          _updated_at: now
-        };
-        const insertQuery = buildInsertQuery(collection, record);
-        await tx.execute(insertQuery.sql, insertQuery.params);
+        const existing2 = await tx.query(
+          `SELECT _updated_at, _version FROM ${collection} WHERE id = ?`,
+          [op.recordId]
+        );
+        const row = existing2[0];
+        if (row && !isIncomingNewerThanRow(op.timestamp, row)) {
+        } else {
+          const serializedData = serializeRecord(op.data, definition.fields);
+          const record = {
+            id: op.recordId,
+            ...serializedData,
+            _created_at: wallTime,
+            _updated_at: wallTime,
+            _version: remoteVersion
+          };
+          const insertQuery = buildInsertQuery(collection, record);
+          await tx.execute(insertQuery.sql, insertQuery.params);
+        }
       } else if (op.type === "update" && op.data) {
         const serializedChanges = serializeRecord(op.data, definition.fields);
-        const updateQuery = buildUpdateQuery(collection, op.recordId, {
+        const updatePayload = {
           ...serializedChanges,
-          _updated_at: op.timestamp.wallTime
-        });
+          _updated_at: wallTime,
+          _version: remoteVersion
+        };
+        if (options?.reactivateIfDeleted) {
+          updatePayload._deleted = 0;
+        }
+        const updateQuery = buildLwwUpdateQuery(
+          collection,
+          op.recordId,
+          updatePayload,
+          remoteVersion
+        );
         await tx.execute(updateQuery.sql, updateQuery.params);
       } else if (op.type === "delete") {
-        const deleteQuery = buildSoftDeleteQuery(collection, op.recordId, op.timestamp.wallTime);
+        const deleteQuery = buildLwwSoftDeleteQuery(
+          collection,
+          op.recordId,
+          wallTime,
+          remoteVersion
+        );
         await tx.execute(deleteQuery.sql, deleteQuery.params);
       }
       const opRow = serializeOperation(op);
@@ -1094,11 +2076,11 @@ var Store = class {
    * Get operations from a node within a sequence number range.
    * Implements the OperationLog interface for computeDelta.
    */
-  getRange(nodeId, fromSeq, toSeq) {
-    return [];
+  async getRange(nodeId, fromSeq, toSeq) {
+    return this.getOperationRange(nodeId, fromSeq, toSeq);
   }
   /**
-   * Async version of getRange for use by the sync layer.
+   * Get operations from a node within a sequence number range.
    */
   async getOperationRange(nodeId, fromSeq, toSeq) {
     this.ensureOpen();
@@ -1115,36 +2097,449 @@ var Store = class {
     allOps.sort((a, b) => a.sequenceNumber - b.sequenceNumber);
     return allOps;
   }
+  /**
+   * Load every operation from the local append-only log across all collections.
+   * Used by sync delta computation, backup export, and time-travel replay.
+   */
+  async getAllOperations() {
+    this.ensureOpen();
+    const allOps = [];
+    for (const collectionName of Object.keys(this.schema.collections)) {
+      const rows = await this.adapter.query(
+        `SELECT * FROM _kora_ops_${collectionName} ORDER BY sequence_number ASC`
+      );
+      for (const row of rows) {
+        allOps.push(deserializeOperationWithCollection(row, collectionName));
+      }
+    }
+    return allOps;
+  }
+  /**
+   * Rebuild an in-memory snapshot of materialized state at a causal cut in the op log.
+   * Does not mutate the live store — intended for DevTools time-travel inspection.
+   *
+   * @param operationId - Content-addressed id of the operation to replay through (inclusive)
+   * @throws {OperationError} When the operation id is not present in the local log
+   */
+  async replayTo(operationId) {
+    this.ensureOpen();
+    const start = Date.now();
+    const allOps = await this.getAllOperations();
+    const snapshot = buildReplaySnapshot(this.schema, allOps, operationId);
+    if (this.emitter) {
+      this.emitter.emit({
+        type: "replay:completed",
+        targetOperationId: operationId,
+        operationsApplied: snapshot.operationsApplied.length,
+        duration: Date.now() - start
+      });
+    }
+    return snapshot;
+  }
+  /**
+   * Persist a merge trace to the durable audit log.
+   */
+  async appendAuditTrace(trace) {
+    this.ensureOpen();
+    const { appendAuditTrace: append } = await import("./audit-trace-store-AM4EWQNZ.js");
+    await append(this.adapter, trace);
+  }
+  /**
+   * Read persisted audit traces with optional filters.
+   */
+  async getAuditTraces(query) {
+    this.ensureOpen();
+    const { readAuditTraces: readAuditTraces2 } = await import("./audit-trace-store-AM4EWQNZ.js");
+    return readAuditTraces2(this.adapter, query);
+  }
+  /**
+   * Export operations and merge traces as a portable audit bundle.
+   */
+  async exportAudit(options) {
+    this.ensureOpen();
+    const { exportAudit: doExport } = await import("./export-audit-5GV6VRDZ.js");
+    return doExport(this.adapter, this.schema, this.nodeId, this.schema.version, options);
+  }
   /**
    * Get the schema definition.
    */
   getSchema() {
     return this.schema;
   }
+  /**
+   * Route local CRUD through the unified apply pipeline (korajs ApplyPipeline).
+   */
+  setLocalMutationHandler(handler) {
+    this.localMutationHandler = handler;
+    for (const col of this.collections.values()) {
+      col.setMutationHandler(handler);
+    }
+  }
+  /**
+   * Build mutation context for a collection (used by ApplyPipeline side effects).
+   */
+  createMutationContext(collection, options) {
+    this.ensureOpen();
+    const definition = this.schema.collections[collection];
+    if (!definition || !this.clock) {
+      throw new StoreNotOpenError();
+    }
+    return {
+      collection,
+      definition,
+      schema: this.schema,
+      adapter: this.adapter,
+      clock: this.clock,
+      nodeId: this.nodeId,
+      allocateSequenceNumber: () => this.allocateSequenceNumber(),
+      onMutation: (collectionName, operation) => {
+        this.recordOperationSequence(operation);
+        this.subscriptionManager.notify(collectionName, operation);
+        if (this.emitter) {
+          this.emitter.emit({ type: "operation:created", operation });
+        }
+      },
+      relationEnforcer: this.relationEnforcer,
+      causalTracker: this.causalTracker,
+      inTransaction: options?.inTransaction ?? false,
+      extraCausalDeps: options?.extraCausalDeps
+    };
+  }
+  /**
+   * Load a materialized row by ID, including soft-deleted tombstones.
+   */
+  async findMaterializedRow(collection, recordId) {
+    this.ensureOpen();
+    const definition = this.schema.collections[collection];
+    if (!definition) {
+      return null;
+    }
+    const rows = await this.adapter.query(
+      `SELECT * FROM ${collection} WHERE id = ?`,
+      [recordId]
+    );
+    const row = rows[0];
+    if (!row) {
+      return null;
+    }
+    return {
+      record: deserializeRecord(row, definition.fields),
+      deleted: row._deleted === 1
+    };
+  }
+  /**
+   * Latest operation from this device for a record (used for delete-vs-update merge on sync).
+   */
+  /**
+   * Load the last server version vector acknowledged by this client (persisted in `_kora_meta`).
+   */
+  async loadLastAckedServerVector() {
+    this.ensureOpen();
+    return loadLastAckedServerVector(this.adapter);
+  }
+  /**
+   * Persist the last server version vector this client believes the server has applied.
+   */
+  async saveLastAckedServerVector(vector) {
+    this.ensureOpen();
+    await saveLastAckedServerVector(this.adapter, vector);
+  }
+  /**
+   * Load persisted delta cursor for resuming paginated initial sync.
+   */
+  async loadDeltaCursor() {
+    this.ensureOpen();
+    return loadDeltaCursor(this.adapter);
+  }
+  /**
+   * Persist or clear the delta cursor for paginated initial sync resume.
+   */
+  async saveDeltaCursor(cursor) {
+    this.ensureOpen();
+    await saveDeltaCursor(this.adapter, cursor);
+  }
+  /**
+   * Local operations not yet reflected on the server version vector.
+   */
+  async getUnsyncedOperations(serverVector) {
+    this.ensureOpen();
+    return collectOperationsAheadOfServer(
+      this.getVersionVector(),
+      serverVector,
+      (nodeId, fromSeq, toSeq) => this.getOperationRange(nodeId, fromSeq, toSeq)
+    );
+  }
+  /**
+   * Count of local operations ahead of the server version vector.
+   */
+  async countUnsyncedOperations(serverVector) {
+    const ops = await this.getUnsyncedOperations(serverVector);
+    return ops.length;
+  }
+  /**
+   * Compact the local operation log using materialized rows as the baseline.
+   * Only removes ops the server has acknowledged (per {@link CompactionStrategy}).
+   */
+  async compact(strategy) {
+    this.ensureOpen();
+    if (strategy.mode === "never") {
+      return compactOperationLog(this.adapter, this.schema, strategy, createVersionVector3());
+    }
+    const serverVector = strategy.serverVector ?? await loadLastAckedServerVector(this.adapter);
+    return compactOperationLog(this.adapter, this.schema, strategy, serverVector);
+  }
+  /**
+   * Merge session remote vector with persisted last-acked vector (max per node).
+   */
+  mergeServerVectors(sessionVector, persistedVector) {
+    return mergeVersionVectors(persistedVector, sessionVector);
+  }
+  async getLatestLocalOperationForRecord(collection, recordId) {
+    this.ensureOpen();
+    const rows = await this.adapter.query(
+      `SELECT * FROM _kora_ops_${collection} WHERE node_id = ? AND record_id = ? ORDER BY sequence_number DESC LIMIT 1`,
+      [this.nodeId, recordId]
+    );
+    const row = rows[0];
+    if (!row) {
+      return null;
+    }
+    return deserializeOperationWithCollection(row, collection);
+  }
+  /**
+   * Latest operation for a record from any node (for 3-way merge when local op log is empty).
+   */
+  async getLatestOperationForRecord(collection, recordId) {
+    this.ensureOpen();
+    const rows = await this.adapter.query(
+      `SELECT * FROM _kora_ops_${collection} WHERE record_id = ?`,
+      [recordId]
+    );
+    let latest = null;
+    for (const row of rows) {
+      const op = deserializeOperationWithCollection(row, collection);
+      if (!latest || HybridLogicalClock2.compare(op.timestamp, latest.timestamp) > 0) {
+        latest = op;
+      }
+    }
+    return latest;
+  }
   /** Expose the subscription manager for direct access (e.g., by QueryBuilder) */
   getSubscriptionManager() {
     return this.subscriptionManager;
   }
-  nextSequenceNumber() {
-    this.sequenceNumber++;
-    this.versionVector.set(this.nodeId, this.sequenceNumber);
-    return this.sequenceNumber;
+  /**
+   * Get the sequence manager for offline-safe sequence generation.
+   * @throws {StoreNotOpenError} If the store is not open
+   */
+  getSequenceManager() {
+    this.ensureOpen();
+    if (!this.sequenceManager) {
+      throw new StoreNotOpenError();
+    }
+    return this.sequenceManager;
+  }
+  /**
+   * Create a TransactionContext for atomic multi-collection operations.
+   * The returned context buffers all mutations and commits them atomically.
+   *
+   * After commit, the caller is responsible for notifying subscriptions
+   * and emitting events for each operation.
+   */
+  createTransaction() {
+    this.ensureOpen();
+    if (!this.clock) {
+      throw new StoreNotOpenError();
+    }
+    return new TransactionContext({
+      schema: this.schema,
+      adapter: this.adapter,
+      clock: this.clock,
+      nodeId: this.nodeId,
+      sequenceAllocator: new TransactionSequenceAllocator(this.adapter, this.nodeId),
+      relationEnforcer: this.relationEnforcer,
+      causalTracker: this.causalTracker,
+      localMutationHandler: this.localMutationHandler
+    });
+  }
+  /**
+   * Execute a function within a transaction. All mutations performed on the
+   * TransactionContext are committed atomically. Subscription notifications
+   * are batched and fired after the commit.
+   *
+   * If the function throws, the transaction is rolled back and the error is re-thrown.
+   *
+   * @param fn - Function receiving a TransactionContext for buffered operations
+   * @returns The operations that were committed
+   */
+  async transaction(fn) {
+    const tx = this.createTransaction();
+    this.causalTracker?.beginTransaction();
+    try {
+      await fn(tx);
+      const { operations } = await tx.commit();
+      this.causalTracker?.clearTransaction();
+      for (const op of operations) {
+        this.recordOperationSequence(op);
+        this.subscriptionManager.notify(op.collection, op);
+        if (this.emitter) {
+          this.emitter.emit({ type: "operation:created", operation: op });
+        }
+      }
+      return operations;
+    } catch (error) {
+      tx.rollback();
+      this.causalTracker?.clearTransaction();
+      throw error;
+    }
+  }
+  /**
+   * Export all data as a portable backup binary.
+   * Includes operations, version vector, metadata, and optionally materialized records.
+   *
+   * @param options - Backup options (includeRecords, collections, onProgress)
+   * @returns Backup as a Uint8Array
+   */
+  async exportBackup(options) {
+    this.ensureOpen();
+    const { exportBackup: doExport } = await import("./backup-JN3LB4YT.js");
+    return doExport(this.adapter, this.schema, this.nodeId, this.schema.version, options);
+  }
+  /**
+   * Restore data from a backup binary.
+   *
+   * @param data - The backup data
+   * @param options - Restore options (merge, collections, onProgress)
+   * @returns Result of the restore operation
+   */
+  async importBackup(data, options) {
+    this.ensureOpen();
+    const { restoreBackup: doRestore } = await import("./backup-JN3LB4YT.js");
+    return doRestore(this.adapter, this.schema, data, options);
+  }
+  /**
+   * Read backup manifest without loading the entire backup.
+   *
+   * @param data - The raw backup data
+   * @returns The backup manifest
+   */
+  static readBackupManifest(data) {
+    return readBackupManifest(data);
+  }
+  recordOperationSequence(operation) {
+    const prev = this.versionVector.get(operation.nodeId) ?? 0;
+    if (operation.sequenceNumber > prev) {
+      this.versionVector.set(operation.nodeId, operation.sequenceNumber);
+    }
+    if (operation.nodeId === this.nodeId) {
+      this.sequenceNumber = Math.max(this.sequenceNumber, operation.sequenceNumber);
+    }
+  }
+  async allocateSequenceNumber() {
+    const seq = await allocateNextSequenceNumber(this.adapter, this.nodeId);
+    this.sequenceNumber = seq;
+    this.versionVector.set(this.nodeId, seq);
+    return seq;
+  }
+  /**
+   * Check the stored schema version and run any pending migrations.
+   * Migrations are applied in version order within a transaction.
+   */
+  async runMigrationsIfNeeded() {
+    const storedVersion = await this.getStoredSchemaVersion();
+    const targetVersion = this.schema.version;
+    if (storedVersion >= targetVersion) {
+      if (storedVersion === 0) {
+        await this.adapter.execute(
+          "INSERT OR REPLACE INTO _kora_meta (key, value) VALUES ('schema_version', ?)",
+          [String(targetVersion)]
+        );
+      }
+      return;
+    }
+    const migrations = this.schema.migrations ?? {};
+    for (let v = storedVersion + 1; v <= targetVersion; v++) {
+      const migration = migrations[v];
+      if (!migration) continue;
+      const sqlStatements = migrationStepsToSQL(migration.steps);
+      for (const sql of sqlStatements) {
+        try {
+          await this.adapter.execute(sql);
+        } catch (e) {
+          const msg = e.message || "";
+          if (!msg.includes("duplicate column name")) {
+            throw e;
+          }
+        }
+      }
+      const backfillSteps = migration.steps.filter(
+        (s) => s.type === "backfill"
+      );
+      for (const step of backfillSteps) {
+        await this.runBackfill(step.collection, step.transform);
+      }
+    }
+    await this.adapter.execute(
+      "INSERT OR REPLACE INTO _kora_meta (key, value) VALUES ('schema_version', ?)",
+      [String(targetVersion)]
+    );
+  }
+  /**
+   * Get the stored schema version from _kora_meta. Returns 0 if not set.
+   */
+  async getStoredSchemaVersion() {
+    const rows = await this.adapter.query(
+      "SELECT value FROM _kora_meta WHERE key = 'schema_version'"
+    );
+    return rows[0] ? Number(rows[0].value) : 0;
+  }
+  /**
+   * Run a backfill transform on all records in a collection.
+   * Reads all rows, applies the transform, and updates changed fields.
+   */
+  async runBackfill(collection, transform) {
+    const rows = await this.adapter.query(
+      `SELECT * FROM ${collection} WHERE _deleted = 0`
+    );
+    await this.adapter.transaction(async (tx) => {
+      for (const row of rows) {
+        const updates = transform(row);
+        const fields = Object.keys(updates);
+        if (fields.length === 0) continue;
+        const setClauses = fields.map((f) => `${f} = ?`).join(", ");
+        const values = fields.map((f) => {
+          const val = updates[f];
+          if (typeof val === "boolean") return val ? 1 : 0;
+          if (Array.isArray(val) || typeof val === "object" && val !== null) {
+            return JSON.stringify(val);
+          }
+          return val;
+        });
+        values.push(row.id);
+        await tx.execute(`UPDATE ${collection} SET ${setClauses} WHERE id = ?`, values);
+      }
+    });
   }
   async loadOrGenerateNodeId() {
     if (this.configNodeId) {
-      await this.adapter.execute(
-        "INSERT OR REPLACE INTO _kora_meta (key, value) VALUES ('node_id', ?)",
-        [this.configNodeId]
-      );
+      if (this.isolation !== "per-tab") {
+        await this.adapter.execute(
+          "INSERT OR REPLACE INTO _kora_meta (key, value) VALUES ('node_id', ?)",
+          [this.configNodeId]
+        );
+      }
       return this.configNodeId;
     }
+    if (this.isolation === "per-tab") {
+      return resolvePerTabNodeId(this.dbName);
+    }
     const rows = await this.adapter.query(
       "SELECT value FROM _kora_meta WHERE key = 'node_id'"
     );
     if (rows[0]) {
       return rows[0].value;
     }
-    const newNodeId = generateUUIDv72();
+    const newNodeId = generateUUIDv73();
     await this.adapter.execute("INSERT INTO _kora_meta (key, value) VALUES ('node_id', ?)", [
       newNodeId
     ]);
@@ -1161,7 +2556,7 @@ var Store = class {
     const rows = await this.adapter.query(
       "SELECT node_id, sequence_number FROM _kora_version_vector"
     );
-    const vector = createVersionVector();
+    const vector = createVersionVector3();
     for (const row of rows) {
       vector.set(row.node_id, row.sequence_number);
     }
@@ -1175,20 +2570,43 @@ var Store = class {
 };
 export {
   AdapterError,
+  COMPACTION_BASELINE_META_KEY,
   Collection,
+  InvalidStateTransitionError,
+  LAST_ACKED_SERVER_VECTOR_META_KEY,
   PersistenceError,
   QueryBuilder,
   QueryError,
   RecordNotFoundError,
+  SequenceManager,
   Store,
   StoreNotOpenError,
+  SubscriptionBloomFilter,
   SubscriptionManager,
+  TransactionContext,
   WorkerInitError,
   WorkerTimeoutError,
+  collectOperationsAheadOfServer,
+  compactOperationLog,
+  computeAckCompactionWatermark,
+  decodeAuditExport,
   decodeRichtext,
+  deserializeVersionVectorFromMeta,
   encodeRichtext,
+  exportBackup,
+  mergeVersionVectors,
+  persistedAuditTraceFromEvent,
   pluralize,
+  readAuditExportManifest,
+  readBackupManifest,
+  restoreBackup,
+  richtextStatesEqual,
   richtextToPlainText,
-  singularize
+  serializeVersionVectorToMeta,
+  singularize,
+  validateStateTransition,
+  validateUpdateStateMachine,
+  verifyAuditExportChecksum,
+  verifyBackupChecksum
 };
 //# sourceMappingURL=index.js.map