@evolu/common 8.14.0 → 8.15.1

package/src/intl/te.ts

@@ -23,6 +23,7 @@ import type {
   DateIsoFromDateError,
   DecimalStringError,
   DiscriminatedUnionError,
+  EmailError,
   EvoluTypeError,
   FiniteError,
   GreaterThanError,
@@ -74,6 +75,7 @@ import type {
   TypeOfError,
   UInt64Error,
   UnionError,
+  UuidError,
 } from "../Type.ts";
 
 const formatTypeOfError = (
@@ -258,6 +260,10 @@ export const formatBase64UrlError: TypeErrorFormatter<Base64UrlError> = (
 export const formatNameError: TypeErrorFormatter<NameError> = (error) =>
   `విలువ ${safelyStringifyUnknownValue(error.value)} చెల్లుబాటు అయ్యే Name కాదు.`;
 
+/** EmailErrorను తెలుగులో ఫార్మాట్ చేస్తుంది. */
+export const formatEmailError: TypeErrorFormatter<EmailError> = (error) =>
+  `విలువ ${safelyStringifyUnknownValue(error.value)} చెల్లుబాటు అయ్యే ఇమెయిల్ చిరునామా కాదు.`;
+
 /** MnemonicErrorను తెలుగులో ఫార్మాట్ చేస్తుంది. */
 export const formatMnemonicError: TypeErrorFormatter<MnemonicError> = (error) =>
   `విలువ ${safelyStringifyUnknownValue(error.value)} చెల్లుబాటు అయ్యే ఆంగ్ల BIP39 mnemonic కాదు.`;
@@ -270,6 +276,10 @@ export const formatIdError: TypeErrorFormatter<IdError> = (error) =>
 export const formatTableIdError: TypeErrorFormatter<TableIdError> = (error) =>
   `విలువ ${safelyStringifyUnknownValue(error.value)} పట్టిక ${error.table} కు చెల్లుబాటు అయ్యే Id కాదు.`;
 
+/** UuidErrorను తెలుగులో ఫార్మాట్ చేస్తుంది. */
+export const formatUuidError: TypeErrorFormatter<UuidError> = (error) =>
+  `విలువ ${safelyStringifyUnknownValue(error.value)} చిన్న అక్షరాలలోని ప్రామాణిక UUID కాదు.`;
+
 /** NonNegativeErrorను తెలుగులో ఫార్మాట్ చేస్తుంది. */
 export const formatNonNegativeError: TypeErrorFormatter<NonNegativeError> = (
   error,

package/src/intl/th.ts

@@ -23,6 +23,7 @@ import type {
   DateIsoFromDateError,
   DecimalStringError,
   DiscriminatedUnionError,
+  EmailError,
   EvoluTypeError,
   FiniteError,
   GreaterThanError,
@@ -74,6 +75,7 @@ import type {
   TypeOfError,
   UInt64Error,
   UnionError,
+  UuidError,
 } from "../Type.ts";
 
 const formatTypeOfError = (
@@ -256,6 +258,10 @@ export const formatBase64UrlError: TypeErrorFormatter<Base64UrlError> = (
 export const formatNameError: TypeErrorFormatter<NameError> = (error) =>
   `ค่า ${safelyStringifyUnknownValue(error.value)} ไม่ใช่ Name ที่ถูกต้อง`;
 
+/** จัดรูปแบบ EmailError เป็นภาษาไทย */
+export const formatEmailError: TypeErrorFormatter<EmailError> = (error) =>
+  `ค่า ${safelyStringifyUnknownValue(error.value)} ไม่ใช่ที่อยู่อีเมลที่ถูกต้อง`;
+
 /** จัดรูปแบบ MnemonicError เป็นภาษาไทย */
 export const formatMnemonicError: TypeErrorFormatter<MnemonicError> = (error) =>
   `ค่า ${safelyStringifyUnknownValue(error.value)} ไม่ใช่ mnemonic BIP39 ภาษาอังกฤษที่ถูกต้อง`;
@@ -268,6 +274,10 @@ export const formatIdError: TypeErrorFormatter<IdError> = (error) =>
 export const formatTableIdError: TypeErrorFormatter<TableIdError> = (error) =>
   `ค่า ${safelyStringifyUnknownValue(error.value)} ไม่ใช่ Id ที่ถูกต้องสำหรับตาราง ${error.table}`;
 
+/** จัดรูปแบบ UuidError เป็นภาษาไทย */
+export const formatUuidError: TypeErrorFormatter<UuidError> = (error) =>
+  `ค่า ${safelyStringifyUnknownValue(error.value)} ไม่ใช่ UUID ตัวพิมพ์เล็กรูปแบบมาตรฐาน`;
+
 /** จัดรูปแบบ NonNegativeError เป็นภาษาไทย */
 export const formatNonNegativeError: TypeErrorFormatter<NonNegativeError> = (
   error,

package/src/intl/tr.ts

@@ -23,6 +23,7 @@ import type {
   DateIsoFromDateError,
   DecimalStringError,
   DiscriminatedUnionError,
+  EmailError,
   EvoluTypeError,
   FiniteError,
   GreaterThanError,
@@ -74,6 +75,7 @@ import type {
   TypeOfError,
   UInt64Error,
   UnionError,
+  UuidError,
 } from "../Type.ts";
 
 const formatValueMustBe = (value: unknown, expected: string): string =>
@@ -258,6 +260,10 @@ export const formatBase64UrlError: TypeErrorFormatter<Base64UrlError> = (
 export const formatNameError: TypeErrorFormatter<NameError> = (error) =>
   `Değer ${safelyStringifyUnknownValue(error.value)} geçerli bir Name değildir.`;
 
+/** Formats an EmailError in Turkish. */
+export const formatEmailError: TypeErrorFormatter<EmailError> = (error) =>
+  `Değer ${safelyStringifyUnknownValue(error.value)} geçerli bir e-posta adresi değildir.`;
+
 /** Formats a MnemonicError in Turkish. */
 export const formatMnemonicError: TypeErrorFormatter<MnemonicError> = (error) =>
   `Değer ${safelyStringifyUnknownValue(error.value)} geçerli bir İngilizce BIP39 anımsatıcı değildir.`;
@@ -270,6 +276,10 @@ export const formatIdError: TypeErrorFormatter<IdError> = (error) =>
 export const formatTableIdError: TypeErrorFormatter<TableIdError> = (error) =>
   `Değer ${safelyStringifyUnknownValue(error.value)} ${error.table} tablosu için geçerli bir Id değildir.`;
 
+/** Formats a UuidError in Turkish. */
+export const formatUuidError: TypeErrorFormatter<UuidError> = (error) =>
+  `Değer ${safelyStringifyUnknownValue(error.value)} kurallı bir küçük harfli UUID değildir.`;
+
 /** Formats a NonNegativeError in Turkish. */
 export const formatNonNegativeError: TypeErrorFormatter<NonNegativeError> = (
   error,

package/src/intl/uk.ts

@@ -23,6 +23,7 @@ import type {
   DateIsoFromDateError,
   DecimalStringError,
   DiscriminatedUnionError,
+  EmailError,
   EvoluTypeError,
   FiniteError,
   GreaterThanError,
@@ -74,6 +75,7 @@ import type {
   TypeOfError,
   UInt64Error,
   UnionError,
+  UuidError,
 } from "../Type.ts";
 
 const typeOfNames = {
@@ -262,6 +264,10 @@ export const formatBase64UrlError: TypeErrorFormatter<Base64UrlError> = (
 export const formatNameError: TypeErrorFormatter<NameError> = (error) =>
   `Значення ${safelyStringifyUnknownValue(error.value)} не є допустимим Name.`;
 
+/** Форматує EmailError українською. */
+export const formatEmailError: TypeErrorFormatter<EmailError> = (error) =>
+  `Значення ${safelyStringifyUnknownValue(error.value)} не є допустимою адресою електронної пошти.`;
+
 /** Форматує MnemonicError українською. */
 export const formatMnemonicError: TypeErrorFormatter<MnemonicError> = (error) =>
   `Значення ${safelyStringifyUnknownValue(error.value)} не є допустимою англійською мнемонічною фразою BIP39.`;
@@ -274,6 +280,10 @@ export const formatIdError: TypeErrorFormatter<IdError> = (error) =>
 export const formatTableIdError: TypeErrorFormatter<TableIdError> = (error) =>
   `Значення ${safelyStringifyUnknownValue(error.value)} не є допустимим Id для таблиці ${error.table}.`;
 
+/** Форматує UuidError українською. */
+export const formatUuidError: TypeErrorFormatter<UuidError> = (error) =>
+  `Значення ${safelyStringifyUnknownValue(error.value)} не є канонічним UUID у нижньому регістрі.`;
+
 /** Форматує NonNegativeError українською. */
 export const formatNonNegativeError: TypeErrorFormatter<NonNegativeError> = (
   error,

package/src/intl/ur.ts

@@ -23,6 +23,7 @@ import type {
   DateIsoFromDateError,
   DecimalStringError,
   DiscriminatedUnionError,
+  EmailError,
   EvoluTypeError,
   FiniteError,
   GreaterThanError,
@@ -74,6 +75,7 @@ import type {
   TypeOfError,
   UInt64Error,
   UnionError,
+  UuidError,
 } from "../Type.ts";
 
 const formatTypeOfError = (
@@ -224,6 +226,9 @@ export const formatBase64UrlError: TypeErrorFormatter<Base64UrlError> = (
 /** NameError کو اردو میں فارمیٹ کرتا ہے۔ */
 export const formatNameError: TypeErrorFormatter<NameError> = (error) =>
   `قدر ${safelyStringifyUnknownValue(error.value)} درست Name نہیں ہے۔`;
+/** EmailError کو اردو میں فارمیٹ کرتا ہے۔ */
+export const formatEmailError: TypeErrorFormatter<EmailError> = (error) =>
+  `قدر ${safelyStringifyUnknownValue(error.value)} درست ای میل ایڈریس نہیں ہے۔`;
 /** MnemonicError کو اردو میں فارمیٹ کرتا ہے۔ */
 export const formatMnemonicError: TypeErrorFormatter<MnemonicError> = (error) =>
   `قدر ${safelyStringifyUnknownValue(error.value)} درست انگریزی BIP39 mnemonic نہیں ہے۔`;
@@ -233,6 +238,9 @@ export const formatIdError: TypeErrorFormatter<IdError> = (error) =>
 /** TableIdError کو اردو میں فارمیٹ کرتا ہے۔ */
 export const formatTableIdError: TypeErrorFormatter<TableIdError> = (error) =>
   `قدر ${safelyStringifyUnknownValue(error.value)} جدول ${error.table} کے لیے درست Id نہیں ہے۔`;
+/** UuidError کو اردو میں فارمیٹ کرتا ہے۔ */
+export const formatUuidError: TypeErrorFormatter<UuidError> = (error) =>
+  `قدر ${safelyStringifyUnknownValue(error.value)} چھوٹے حروف والا canonical UUID نہیں ہے۔`;
 /** NonNegativeError کو اردو میں فارمیٹ کرتا ہے۔ */
 export const formatNonNegativeError: TypeErrorFormatter<NonNegativeError> = (
   error,

package/src/intl/vi.ts

@@ -23,6 +23,7 @@ import type {
   DateIsoFromDateError,
   DecimalStringError,
   DiscriminatedUnionError,
+  EmailError,
   EvoluTypeError,
   FiniteError,
   GreaterThanError,
@@ -74,6 +75,7 @@ import type {
   TypeOfError,
   UInt64Error,
   UnionError,
+  UuidError,
 } from "../Type.ts";
 
 const formatTypeOfError = (
@@ -225,6 +227,9 @@ export const formatBase64UrlError: TypeErrorFormatter<Base64UrlError> = (
 /** Định dạng NameError bằng tiếng Việt. */
 export const formatNameError: TypeErrorFormatter<NameError> = (error) =>
   `Giá trị ${safelyStringifyUnknownValue(error.value)} không phải là Name hợp lệ.`;
+/** Định dạng EmailError bằng tiếng Việt. */
+export const formatEmailError: TypeErrorFormatter<EmailError> = (error) =>
+  `Giá trị ${safelyStringifyUnknownValue(error.value)} không phải là địa chỉ email hợp lệ.`;
 /** Định dạng MnemonicError bằng tiếng Việt. */
 export const formatMnemonicError: TypeErrorFormatter<MnemonicError> = (error) =>
   `Giá trị ${safelyStringifyUnknownValue(error.value)} không phải là cụm từ gợi nhớ BIP39 tiếng Anh hợp lệ.`;
@@ -234,6 +239,9 @@ export const formatIdError: TypeErrorFormatter<IdError> = (error) =>
 /** Định dạng TableIdError bằng tiếng Việt. */
 export const formatTableIdError: TypeErrorFormatter<TableIdError> = (error) =>
   `Giá trị ${safelyStringifyUnknownValue(error.value)} không phải là Id hợp lệ cho bảng ${error.table}.`;
+/** Định dạng UuidError bằng tiếng Việt. */
+export const formatUuidError: TypeErrorFormatter<UuidError> = (error) =>
+  `Giá trị ${safelyStringifyUnknownValue(error.value)} không phải là UUID chữ thường chính tắc.`;
 /** Định dạng NonNegativeError bằng tiếng Việt. */
 export const formatNonNegativeError: TypeErrorFormatter<NonNegativeError> = (
   error,

package/src/intl/zh-CN.ts

@@ -23,6 +23,7 @@ import type {
   DateIsoFromDateError,
   DecimalStringError,
   DiscriminatedUnionError,
+  EmailError,
   EvoluTypeError,
   FiniteError,
   GreaterThanError,
@@ -74,6 +75,7 @@ import type {
   TypeOfError,
   UInt64Error,
   UnionError,
+  UuidError,
 } from "../Type.ts";
 
 const formatTypeOfError = (
@@ -254,6 +256,10 @@ export const formatBase64UrlError: TypeErrorFormatter<Base64UrlError> = (
 export const formatNameError: TypeErrorFormatter<NameError> = (error) =>
   `值 ${safelyStringifyUnknownValue(error.value)} 不是有效的 Name。`;
 
+/** 以简体中文格式化 EmailError。 */
+export const formatEmailError: TypeErrorFormatter<EmailError> = (error) =>
+  `值 ${safelyStringifyUnknownValue(error.value)} 不是有效的电子邮件地址。`;
+
 /** 以简体中文格式化 MnemonicError。 */
 export const formatMnemonicError: TypeErrorFormatter<MnemonicError> = (error) =>
   `值 ${safelyStringifyUnknownValue(error.value)} 不是有效的英文 BIP39 助记词。`;
@@ -266,6 +272,10 @@ export const formatIdError: TypeErrorFormatter<IdError> = (error) =>
 export const formatTableIdError: TypeErrorFormatter<TableIdError> = (error) =>
   `值 ${safelyStringifyUnknownValue(error.value)} 不是表 ${error.table} 的有效 Id。`;
 
+/** 以简体中文格式化 UuidError。 */
+export const formatUuidError: TypeErrorFormatter<UuidError> = (error) =>
+  `值 ${safelyStringifyUnknownValue(error.value)} 不是规范的小写 UUID。`;
+
 /** 以简体中文格式化 NonNegativeError。 */
 export const formatNonNegativeError: TypeErrorFormatter<NonNegativeError> = (
   error,

package/src/intl/zh-TW.ts

@@ -23,6 +23,7 @@ import type {
   DateIsoFromDateError,
   DecimalStringError,
   DiscriminatedUnionError,
+  EmailError,
   EvoluTypeError,
   FiniteError,
   GreaterThanError,
@@ -74,6 +75,7 @@ import type {
   TypeOfError,
   UInt64Error,
   UnionError,
+  UuidError,
 } from "../Type.ts";
 
 const formatTypeOfError = (
@@ -254,6 +256,10 @@ export const formatBase64UrlError: TypeErrorFormatter<Base64UrlError> = (
 export const formatNameError: TypeErrorFormatter<NameError> = (error) =>
   `值 ${safelyStringifyUnknownValue(error.value)} 不是有效的 Name。`;
 
+/** 以繁體中文格式化 EmailError。 */
+export const formatEmailError: TypeErrorFormatter<EmailError> = (error) =>
+  `值 ${safelyStringifyUnknownValue(error.value)} 不是有效的電子郵件地址。`;
+
 /** 以繁體中文格式化 MnemonicError。 */
 export const formatMnemonicError: TypeErrorFormatter<MnemonicError> = (error) =>
   `值 ${safelyStringifyUnknownValue(error.value)} 不是有效的英文 BIP39 助記詞。`;
@@ -266,6 +272,10 @@ export const formatIdError: TypeErrorFormatter<IdError> = (error) =>
 export const formatTableIdError: TypeErrorFormatter<TableIdError> = (error) =>
   `值 ${safelyStringifyUnknownValue(error.value)} 不是資料表 ${error.table} 的有效 Id。`;
 
+/** 以繁體中文格式化 UuidError。 */
+export const formatUuidError: TypeErrorFormatter<UuidError> = (error) =>
+  `值 ${safelyStringifyUnknownValue(error.value)} 不是標準小寫 UUID。`;
+
 /** 以繁體中文格式化 NonNegativeError。 */
 export const formatNonNegativeError: TypeErrorFormatter<NonNegativeError> = (
   error,

package/src/local-first/Evolu.test.ts

@@ -35,6 +35,8 @@ import {
   createOwnerSecret,
   createOwnerWebSocketTransport,
   createSharedOwner,
+  createSharedReadonlyOwner,
+  type Owner,
   testAppOwner,
 } from "./Owner.ts";
 import {
@@ -124,6 +126,13 @@ const testOwnerTransport = createOwnerWebSocketTransport({
   ownerId: testAppOwner.id,
 });
 
+/** {@link testAppOwner} as useOwner posts it, without its type and mnemonic. */
+const testPostedAppOwner: Owner = {
+  id: testAppOwner.id,
+  encryptionKey: testAppOwner.encryptionKey,
+  writeKey: testAppOwner.writeKey,
+};
+
 const createQuery = createQueryBuilder(Schema);
 
 const todoTitleQuery = createQuery((db) =>
@@ -1178,7 +1187,7 @@ describe("Evolu", () => {
         {
           action: "add",
           owner: {
-            owner: testAppOwner,
+            owner: testPostedAppOwner,
             transports: [{ type: "WebSocket", url: "wss://free.evoluhq.com" }],
           },
         },
@@ -1260,7 +1269,14 @@ describe("Evolu", () => {
         const { run, evoluInputs } = setup;
         const evolu = await run.ok(testCreateEvolu);
         const sharedOwner = createSharedOwner(createOwnerSecret(run.deps));
-        const owner = { owner: sharedOwner, transports: [testOwnerTransport] };
+        const owner = {
+          owner: {
+            id: sharedOwner.id,
+            encryptionKey: sharedOwner.encryptionKey,
+            writeKey: sharedOwner.writeKey,
+          },
+          transports: [testOwnerTransport],
+        };
         assertNotSame(sharedOwner.id, evolu.appOwner.id);
 
         const unuse = evolu.useOwner(sharedOwner, [testOwnerTransport]);
@@ -1340,7 +1356,7 @@ describe("Evolu", () => {
             actions: [
               {
                 owner: {
-                  owner: testAppOwner,
+                  owner: testPostedAppOwner,
                   transports: [testOwnerTransport],
                 },
                 action: "add",
@@ -1376,7 +1392,45 @@ describe("Evolu", () => {
             actions: [
               {
                 owner: {
-                  owner: testAppOwner,
+                  owner: testPostedAppOwner,
+                  transports: [testOwnerTransport],
+                },
+                action: "add",
+              },
+            ],
+          },
+        ]);
+      });
+
+      it("posts only the owner id and keys", async () => {
+        await using setup = await setupRunWithEvoluDeps();
+        const { run, evoluInputs } = setup;
+        const evolu = await run.ok(testCreateEvolu);
+        const readonlyOwner = createSharedReadonlyOwner(
+          createSharedOwner(createOwnerSecret(run.deps)),
+        );
+
+        evolu.useOwner(testAppOwner, [testOwnerTransport]);
+        evolu.useOwner(readonlyOwner, [testOwnerTransport]);
+        await testWaitForWorkerMessage();
+
+        assertEqual(evoluInputs, [
+          {
+            type: "UseOwner",
+            actions: [
+              {
+                owner: {
+                  owner: testPostedAppOwner,
+                  transports: [testOwnerTransport],
+                },
+                action: "add",
+              },
+              {
+                owner: {
+                  owner: {
+                    id: readonlyOwner.id,
+                    encryptionKey: readonlyOwner.encryptionKey,
+                  },
                   transports: [testOwnerTransport],
                 },
                 action: "add",
@@ -1404,14 +1458,14 @@ describe("Evolu", () => {
             actions: [
               {
                 owner: {
-                  owner: testAppOwner,
+                  owner: testPostedAppOwner,
                   transports: [testOwnerTransport],
                 },
                 action: "add",
               },
               {
                 owner: {
-                  owner: testAppOwner,
+                  owner: testPostedAppOwner,
                   transports: [testOwnerTransport],
                 },
                 action: "remove",
@@ -1447,7 +1501,7 @@ describe("Evolu", () => {
             actions: [
               {
                 owner: {
-                  owner: testAppOwner,
+                  owner: testPostedAppOwner,
                   transports: [testOwnerTransport],
                 },
                 action: "remove",
@@ -1480,7 +1534,7 @@ describe("Evolu", () => {
           actions: [
             {
               owner: {
-                owner: testAppOwner,
+                owner: testPostedAppOwner,
                 transports: [testOwnerTransport],
               },
               action: "add",

package/src/local-first/Evolu.ts

@@ -195,6 +195,10 @@ export interface EvoluConfig {
   /**
    * Use the `indexes` option to define SQLite indexes.
    *
+   * Unique indexes are rejected with an assertion because concurrent offline
+   * writes can violate uniqueness during synchronization. See
+   * [Uniqueness](https://www.evolu.dev/docs/schema#uniqueness).
+   *
    * Table and column names are not typed because Kysely doesn't support it.
    *
    * https://medium.com/@JasonWyatt/squeezing-performance-from-sqlite-indexes-indexes-c4e175f3c346
@@ -1772,8 +1776,14 @@ export const createEvolu =
         "useOwner requires explicit non-empty transports when config.transports is empty.",
       );
 
+      // Post only what workers use. Forwarding the caller's object would copy
+      // an AppOwner's mnemonic into every worker.
+      const { id, encryptionKey } = owner;
       const syncOwner: SyncOwner = {
-        owner,
+        owner:
+          "writeKey" in owner
+            ? { id, encryptionKey, writeKey: owner.writeKey }
+            : { id, encryptionKey },
         transports: effectiveTransports,
       };
 

package/src/local-first/Schema.test.ts

@@ -4,6 +4,7 @@ import {
   assertErr,
   assertOk,
   assertSame,
+  assertThrowsInstanceOf,
   assertType,
   createEvolu,
   createQueryBuilder,
@@ -27,7 +28,7 @@ import {
   type TimestampBytes,
 } from "../index.ts";
 import type { EvoluPlatformDeps } from "./Evolu.ts";
-import type { ValidateSchema } from "./Schema.ts";
+import { evoluSchemaToSqliteSchema, type ValidateSchema } from "./Schema.ts";
 
 test("history queries select and filter by ownerId bytes", () => {
   const createQuery = createQueryBuilder(testEvoluSchema);
@@ -44,6 +45,84 @@ test("history queries select and filter by ownerId bytes", () => {
   >();
 });
 
+test("evoluSchemaToSqliteSchema compiles ordinary indexes", () => {
+  const sqliteSchema = evoluSchemaToSqliteSchema(testEvoluSchema, (create) => [
+    create("todoTitle").on("todo").column("title"),
+    create("todoProjectIdTitle").on("todo").columns(["projectId", "title"]),
+    create("todoTitleNotNull")
+      .on("todo")
+      .column("title")
+      .where("title", "is not", null),
+  ]);
+
+  assertEqual(sqliteSchema.indexes, [
+    {
+      name: "todoTitle",
+      sql: 'create index "todoTitle" on "todo" ("title")',
+    },
+    {
+      name: "todoProjectIdTitle",
+      sql: 'create index "todoProjectIdTitle" on "todo" ("projectId", "title")',
+    },
+    {
+      name: "todoTitleNotNull",
+      sql: 'create index "todoTitleNotNull" on "todo" ("title") where "title" is not null',
+    },
+  ]);
+});
+
+test("evoluSchemaToSqliteSchema rejects unique indexes", () => {
+  const error = assertThrowsInstanceOf(
+    () =>
+      evoluSchemaToSqliteSchema(testEvoluSchema, (create) => [
+        create("todoUniqueTitle").on("todo").column("title").unique(),
+      ]),
+    Error,
+  );
+
+  assertEqual(
+    error.message,
+    "Unique indexes are not supported because they can prevent synchronization.",
+  );
+});
+
+test("evoluSchemaToSqliteSchema rejects composite unique indexes", () => {
+  const error = assertThrowsInstanceOf(
+    () =>
+      evoluSchemaToSqliteSchema(testEvoluSchema, (create) => [
+        create("todoUniqueProjectIdTitle")
+          .on("todo")
+          .columns(["projectId", "title"])
+          .unique(),
+      ]),
+    Error,
+  );
+
+  assertEqual(
+    error.message,
+    "Unique indexes are not supported because they can prevent synchronization.",
+  );
+});
+
+test("evoluSchemaToSqliteSchema rejects partial unique indexes", () => {
+  const error = assertThrowsInstanceOf(
+    () =>
+      evoluSchemaToSqliteSchema(testEvoluSchema, (create) => [
+        create("todoUniqueTitleNotNull")
+          .on("todo")
+          .column("title")
+          .where("title", "is not", null)
+          .unique(),
+      ]),
+    Error,
+  );
+
+  assertEqual(
+    error.message,
+    "Unique indexes are not supported because they can prevent synchronization.",
+  );
+});
+
 test("testEvoluSchema supports project-linked and independent todos", () => {
   assertType<TestEvoluSchema, typeof testEvoluSchema>();
   assertType<ValidateSchema<TestEvoluSchema>, TestEvoluSchema>();

package/src/local-first/Schema.ts

@@ -6,7 +6,7 @@
 
 import * as Kysely from "kysely";
 import type { StandardSchemaV1 } from "@standard-schema/spec";
-import { assertNonNullable } from "../Assert.ts";
+import { assert, assertNonNullable } from "../Assert.ts";
 import { getOwnProp, mapObject, type ReadonlyRecord } from "../Object.ts";
 import {
   eqSqliteIndex,
@@ -299,6 +299,9 @@ export type ValidateSchema<S extends EvoluSchema> =
 /**
  * Defines SQLite indexes with Kysely's index builder.
  *
+ * Unique indexes are not supported because concurrent offline writes can
+ * violate uniqueness during synchronization.
+ *
  * @group SQLite
  */
 export type IndexesConfig = (
@@ -800,10 +803,17 @@ export const evoluSchemaToSqliteSchema = <S extends EvoluSchema>(
   );
 
   const indexes = indexesConfig
-    ? indexesConfig(createIndex).map((index): SqliteIndex => ({
-        name: index.toOperationNode().name.name,
-        sql: index.compile().sql,
-      }))
+    ? indexesConfig(createIndex).map((index): SqliteIndex => {
+        const node = index.toOperationNode();
+        assert(
+          !node.unique,
+          "Unique indexes are not supported because they can prevent synchronization.",
+        );
+        return {
+          name: node.name.name,
+          sql: index.compile().sql,
+        };
+      })
     : [];
 
   return { tables, indexes };

package/src/local-first/Shared.ts

@@ -3578,9 +3578,7 @@ const createEvoluTenant =
 // - Detect DbWorker and port liveness so a worker-only crash resumes the queue.
 //   Defer panicked-worker restart until failure detection and recovery are
 //   defined, accounting for SQLite WASM's detection limits. A mutation that
-//   throws is answered, but other SQLite operations are expected not to throw;
-//   user-defined UNIQUE indexes, which can make replicated writes fail, are
-//   planned to be forbidden.
+//   throws is answered, but other SQLite operations are expected not to throw.
 // - Split worker protocol types and the EvoluTenant implementation into focused
 //   modules.
 // - Remove the obsolete commented protocol block above.