@evolu/common 8.0.0-next.4 → 8.0.0

package/dist/src/local-first/Query.js

@@ -5,7 +5,7 @@
  */
 import { AliasNode, ColumnNode, ExpressionWrapper, IdentifierNode, sql as kyselySqlBuilder, ReferenceNode, TableNode, ValueNode, } from "kysely";
 import { createRandomBytes } from "../Crypto.js";
-import { createRecord, isPlainObject } from "../Object.js";
+import { createMutableRecord, isPlainObject } from "../Object.js";
 import { eqSqliteValue, SqliteValue } from "../Sqlite.js";
 import { createId, String } from "../Type.js";
 export { sql as kyselySql } from "kysely";
@@ -21,25 +21,42 @@ export { sql as kyselySql } from "kysely";
  * ### Example
  *
  * ```ts
- * import { evoluJsonArrayFrom } from "@evolu/common";
- *
- * const result = await db
- *   .selectFrom("person")
- *   .select((eb) => [
- *     "id",
- *     evoluJsonArrayFrom(
- *       eb
- *         .selectFrom("pet")
- *         .select(["pet.id as pet_id", "pet.name"])
- *         .whereRef("pet.owner_id", "=", "person.id")
- *         .orderBy("pet.name"),
- *     ).as("pets"),
- *   ])
- *   .execute();
- *
- * result[0]?.id;
- * result[0]?.pets[0].pet_id;
- * result[0]?.pets[0].name;
+ * import {
+ *   createQueryBuilder,
+ *   evoluJsonArrayFrom,
+ *   id,
+ *   NonEmptyTrimmedString100,
+ * } from "@evolu/common";
+ *
+ * const PersonId = id("Person");
+ * const Schema = {
+ *   person: { id: PersonId },
+ *   pet: {
+ *     id: id("Pet"),
+ *     name: NonEmptyTrimmedString100,
+ *     personId: PersonId,
+ *   },
+ * };
+ * const createQuery = createQueryBuilder(Schema);
+ * const people = createQuery((db) =>
+ *   db
+ *     .selectFrom("person")
+ *     .select(["person.id"])
+ *     .select((eb) => [
+ *       evoluJsonArrayFrom(
+ *         eb
+ *           .selectFrom("pet")
+ *           .select(["pet.id as petId", "pet.name"])
+ *           .whereRef("pet.personId", "=", "person.id")
+ *           .orderBy("pet.name"),
+ *       ).as("pets"),
+ *     ]),
+ * );
+ *
+ * expectTypeOf<(typeof people.Row.pets)[number]>().toEqualTypeOf<{
+ *   petId: typeof Schema.pet.id.Output;
+ *   name: NonEmptyTrimmedString100 | null;
+ * }>();
  * ```
  */
 export const evoluJsonArrayFrom = (expr) => kyselySqlBuilder `(select ${kyselySqlBuilder.lit(kyselyJsonIdentifier)} || coalesce(json_group_array(json_object(${kyselySqlBuilder.join(getSqliteJsonObjectArgs(expr.toOperationNode(), "agg"))})), '[]') from ${expr} as agg)`;
@@ -57,25 +74,44 @@ export const evoluJsonArrayFrom = (expr) => kyselySqlBuilder `(select ${kyselySq
  * ### Example
  *
  * ```ts
- * import { evoluJsonObjectFrom } from "@evolu/common";
- *
- * const result = await db
- *   .selectFrom("person")
- *   .select((eb) => [
- *     "id",
- *     evoluJsonObjectFrom(
- *       eb
- *         .selectFrom("pet")
- *         .select(["pet.id as pet_id", "pet.name"])
- *         .whereRef("pet.owner_id", "=", "person.id")
- *         .where("pet.is_favorite", "=", true),
- *     ).as("favorite_pet"),
- *   ])
- *   .execute();
- *
- * result[0]?.id;
- * result[0]?.favorite_pet?.pet_id;
- * result[0]?.favorite_pet?.name;
+ * import {
+ *   createQueryBuilder,
+ *   evoluJsonObjectFrom,
+ *   id,
+ *   NonEmptyTrimmedString100,
+ *   SqliteBoolean,
+ * } from "@evolu/common";
+ *
+ * const PersonId = id("Person");
+ * const Schema = {
+ *   person: { id: PersonId },
+ *   pet: {
+ *     id: id("Pet"),
+ *     name: NonEmptyTrimmedString100,
+ *     personId: PersonId,
+ *     isFavorite: SqliteBoolean,
+ *   },
+ * };
+ * const createQuery = createQueryBuilder(Schema);
+ * const people = createQuery((db) =>
+ *   db
+ *     .selectFrom("person")
+ *     .select(["person.id"])
+ *     .select((eb) => [
+ *       evoluJsonObjectFrom(
+ *         eb
+ *           .selectFrom("pet")
+ *           .select(["pet.id as petId", "pet.name"])
+ *           .whereRef("pet.personId", "=", "person.id")
+ *           .where("pet.isFavorite", "=", 1),
+ *       ).as("favoritePet"),
+ *     ]),
+ * );
+ *
+ * expectTypeOf<typeof people.Row.favoritePet>().toEqualTypeOf<{
+ *   petId: typeof Schema.pet.id.Output;
+ *   name: NonEmptyTrimmedString100 | null;
+ * } | null>();
  * ```
  */
 export const evoluJsonObjectFrom = (expr) => kyselySqlBuilder `(select ${kyselySqlBuilder.lit(kyselyJsonIdentifier)} || json_object(${kyselySqlBuilder.join(getSqliteJsonObjectArgs(expr.toOperationNode(), "obj"))}) from ${expr} as obj)`;
@@ -91,24 +127,42 @@ export const evoluJsonObjectFrom = (expr) => kyselySqlBuilder `(select ${kyselyS
  * ### Example
  *
  * ```ts
- * import { evoluJsonBuildObject, kyselySql } from "@evolu/common";
- *
- * const result = await db
- *   .selectFrom("person")
- *   .select((eb) => [
- *     "id",
- *     evoluJsonBuildObject({
- *       first: eb.ref("first_name"),
- *       last: eb.ref("last_name"),
- *       full: kyselySql<string>`first_name || ' ' || last_name`,
- *     }).as("name"),
- *   ])
- *   .execute();
- *
- * result[0]?.id;
- * result[0]?.name.first;
- * result[0]?.name.last;
- * result[0]?.name.full;
+ * import {
+ *   createQueryBuilder,
+ *   evoluJsonBuildObject,
+ *   id,
+ *   kyselySql,
+ *   NonEmptyTrimmedString100,
+ * } from "@evolu/common";
+ *
+ * const Schema = {
+ *   person: {
+ *     id: id("Person"),
+ *     firstName: NonEmptyTrimmedString100,
+ *     lastName: NonEmptyTrimmedString100,
+ *   },
+ * };
+ * const createQuery = createQueryBuilder(Schema);
+ * const people = createQuery((db) =>
+ *   db
+ *     .selectFrom("person")
+ *     .select("person.id")
+ *     .select((eb) => [
+ *       evoluJsonBuildObject({
+ *         first: eb.ref("firstName"),
+ *         last: eb.ref("lastName"),
+ *         full: kyselySql<string>`${eb.ref("firstName")} || ' ' || ${eb.ref(
+ *           "lastName",
+ *         )}`,
+ *       }).as("name"),
+ *     ]),
+ * );
+ *
+ * expectTypeOf<typeof people.Row.name>().toEqualTypeOf<{
+ *   first: NonEmptyTrimmedString100 | null;
+ *   last: NonEmptyTrimmedString100 | null;
+ *   full: string;
+ * }>();
  * ```
  */
 export const evoluJsonBuildObject = (obj) => kyselySqlBuilder `${kyselySqlBuilder.lit(kyselyJsonIdentifier)} || json_object(${kyselySqlBuilder.join(Object.keys(obj).flatMap((k) => [kyselySqlBuilder.lit(k), obj[k]]))})`;
@@ -219,7 +273,7 @@ const parse = (obj) => {
     return obj;
 };
 const parseObject = (obj) => {
-    const result = createRecord();
+    const result = createMutableRecord();
     for (const key in obj) {
         result[key] = parse(obj[key]);
     }

package/dist/src/local-first/Relay.d.ts

@@ -3,12 +3,12 @@
  *
  * @module
  */
-import type { TimingSafeEqualDep } from "../Crypto.js";
-import type { SqliteDep } from "../Sqlite.js";
-import { Name } from "../Type.js";
-import { type Awaitable } from "../Types.js";
-import { OwnerId } from "./Owner.js";
-import type { SqliteStorageDeps, Storage, StorageConfig } from "./Storage.js";
+import type { TimingSafeEqualDep } from "../Crypto.ts";
+import type { SqliteDep } from "../Sqlite.ts";
+import { Name } from "../Type.ts";
+import { type Awaitable } from "../Types.ts";
+import { OwnerId } from "./Owner.ts";
+import type { SqliteStorageDeps, Storage, StorageConfig } from "./Storage.ts";
 export interface RelayConfig extends StorageConfig {
     /**
      * The relay name.
@@ -45,20 +45,50 @@ export interface RelayConfig extends StorageConfig {
      * ### Example
      *
      * ```ts
-     * // Client
+     * import {
+     *   AppName,
+     *   createAppOwner,
+     *   createEvolu,
+     *   createOwnerWebSocketTransport,
+     *   createOwnerSecret,
+     *   createRandomBytes,
+     *   id,
+     *   type AnyTask,
+     * } from "@evolu/common";
+     * import type { RelayConfig } from "@evolu/common/local-first";
+     *
+     * // Create once, persist the mnemonic securely, and restore it on later runs.
+     * const appOwner = createAppOwner(
+     *   createOwnerSecret({ randomBytes: createRandomBytes() }),
+     * );
+     * // Client: include the OwnerId so the relay can authenticate the connection.
      * const transport = createOwnerWebSocketTransport({
      *   url: "wss://relay.evolu.dev",
-     *   ownerId: owner.id,
+     *   ownerId: appOwner.id,
      * });
      *
-     * const evolu = createEvolu(deps)(Schema, {
-     *   transports: [transport],
-     * });
+     * const createTodoEvolu = createEvolu(
+     *   { todo: { id: id("Todo") } },
+     *   {
+     *     appName: AppName.orThrow("AuthenticatedRelayExample"),
+     *     appOwner,
+     *     transports: [transport],
+     *   },
+     * );
+     * expectTypeOf(createTodoEvolu).toExtend<AnyTask>();
      *
+     * // Relay: accept owners allowed by the app's access policy.
+     * type IsOwnerAllowed = NonNullable<RelayConfig["isOwnerAllowed"]>;
+     * const allowedOwnerIds = new Set([appOwner.id]);
+     * const isOwnerAllowed: IsOwnerAllowed = (ownerId, { signal }) =>
+     *   !signal.aborted && allowedOwnerIds.has(ownerId);
      *
-     * // Relay
-     * isOwnerAllowed: (ownerId, { signal: _signal }) =>
-     *   Promise.resolve(ownerId === "6jy_2F4RT5qqeLgJ14_dnQ"),
+     * expect(
+     *   isOwnerAllowed(appOwner.id, {
+     *     signal: new AbortController().signal,
+     *   }),
+     * ).toBe(true);
+     * expect(transport.url).toContain(`ownerId=${appOwner.id}`);
      * ```
      */
     readonly isOwnerAllowed?: (ownerId: OwnerId, options: {

package/dist/src/local-first/Relay.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Relay.d.ts","sourceRoot":"","sources":["../../../src/local-first/Relay.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAUH,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAEvD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAG9C,OAAO,EAAE,IAAI,EAAsC,MAAM,YAAY,CAAC;AACtE,OAAO,EAAiB,KAAK,SAAS,EAAE,MAAM,aAAa,CAAC;AAC5D,OAAO,EACL,OAAO,EAIR,MAAM,YAAY,CAAC;AACpB,OAAO,KAAK,EAEV,iBAAiB,EACjB,OAAO,EACP,aAAa,EAEd,MAAM,cAAc,CAAC;AAStB,MAAM,WAAW,WAAY,SAAQ,aAAa;IAChD;;;;;OAKG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC;IAErB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA2CG;IACH,QAAQ,CAAC,cAAc,CAAC,EAAE,CACxB,OAAO,EAAE,OAAO,EAChB,OAAO,EAAE;QACP,iEAAiE;QACjE,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;KAC9B,KACE,SAAS,CAAC,OAAO,CAAC,CAAC;CACzB;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,KAAM,SAAQ,eAAe;IAC5C,gDAAgD;IAChD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,eAAO,MAAM,wBAAwB,GAClC,MAAM,iBAAiB,GAAG,kBAAkB,MAC5C,QAAQ,aAAa,KAAG,OAuLxB,CAAC;AAEJ,eAAO,MAAM,wBAAwB,GAAI,MAAM,SAAS,KAAG,IAuB1D,CAAC"}
+{"version":3,"file":"Relay.d.ts","sourceRoot":"","sources":["../../../src/local-first/Relay.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAUH,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAEvD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAG9C,OAAO,EAAE,IAAI,EAAsC,MAAM,YAAY,CAAC;AACtE,OAAO,EAAiB,KAAK,SAAS,EAAE,MAAM,aAAa,CAAC;AAC5D,OAAO,EACL,OAAO,EAIR,MAAM,YAAY,CAAC;AACpB,OAAO,KAAK,EAEV,iBAAiB,EACjB,OAAO,EACP,aAAa,EAEd,MAAM,cAAc,CAAC;AAStB,MAAM,WAAW,WAAY,SAAQ,aAAa;IAChD;;;;;OAKG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC;IAErB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAyEG;IACH,QAAQ,CAAC,cAAc,CAAC,EAAE,CACxB,OAAO,EAAE,OAAO,EAChB,OAAO,EAAE;QACP,iEAAiE;QACjE,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;KAC9B,KACE,SAAS,CAAC,OAAO,CAAC,CAAC;CACzB;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,KAAM,SAAQ,eAAe;IAC5C,gDAAgD;IAChD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,eAAO,MAAM,wBAAwB,SAC5B,iBAAiB,GAAG,kBAAkB,cACpC,aAAa,KAAG,OAuLxB,CAAC;AAEJ,eAAO,MAAM,wBAAwB,SAAU,SAAS,KAAG,IAuB1D,CAAC"}

package/dist/src/local-first/Schema.d.ts

@@ -4,16 +4,16 @@
  * @module
  */
 import * as Kysely from "kysely";
-import { type ReadonlyRecord } from "../Object.js";
-import { SqliteBoolean, type SqliteDep, type SqliteQueryOptions, type SqliteSchema, SqliteValue } from "../Sqlite.js";
-import type { InferType } from "../Type.js";
-import { type Id, IdBytes, type StandardSchemaV1 } from "../Type.js";
-import type { Simplify } from "../Types.js";
-import { OwnerId } from "./Owner.js";
-import type { Query, Row } from "./Query.js";
-import type { DbChange } from "./Storage.js";
-import { TimestampBytes } from "./Timestamp.js";
-/** Any {@link StandardSchemaV1}. */
+import type { StandardSchemaV1 } from "@standard-schema/spec";
+import { type ReadonlyRecord } from "../Object.ts";
+import { SqliteBoolean, type SqliteDep, type SqliteQueryOptions, type SqliteSchema, SqliteValue } from "../Sqlite.ts";
+import { DateIso, type Id, IdBytes, type InferType, Null, type ObjectType, type UnionType } from "../Type.ts";
+import type { CompileTimeError, Simplify } from "../Types.ts";
+import { OwnerId } from "./Owner.ts";
+import type { Query, Row } from "./Query.ts";
+import type { DbChange } from "./Storage.ts";
+import { TimestampBytes } from "./Timestamp.ts";
+/** Any Standard Schema V1 declaration. */
 export type AnyStandardSchemaV1 = StandardSchemaV1<any, any>;
 /**
  * Defines the schema of an Evolu database.
@@ -27,26 +27,36 @@ export type AnyStandardSchemaV1 = StandardSchemaV1<any, any>;
  * ### Example
  *
  * ```ts
- * // With Evolu Type
+ * import * as z from "zod";
+ * import {
+ *   id,
+ *   NonEmptyTrimmedString100,
+ *   nullOr,
+ *   SqliteBoolean,
+ * } from "@evolu/common";
+ *
+ * // Evolu Type
  * const TodoId = id("Todo");
- * type TodoId = typeof TodoId.Type;
+ * type TodoId = typeof TodoId.Output;
  *
  * const Schema = {
  *   todo: {
  *     id: TodoId,
- *     title: NonEmptyString100,
+ *     title: NonEmptyTrimmedString100,
  *     isCompleted: nullOr(SqliteBoolean),
  *   },
  * };
+ * expectOk(Schema.todo.title.fromUnknown("Write docs"), "Write docs");
  *
- * // With Zod (or any Standard Schema library)
- * const Schema = {
+ * // Zod, or another Standard Schema library
+ * const ZodSchema = {
  *   todo: {
- *     id: TodoId, // Evolu id() for branded IDs
+ *     id: TodoId,
  *     title: z.string().min(1).max(100),
  *     isCompleted: z.union([z.literal(0), z.literal(1)]).nullable(),
  *   },
  * };
+ * expect(ZodSchema.todo.title.safeParse("Write docs").success).toBe(true);
  * ```
  */
 export type EvoluSchema = ReadonlyRecord<string, TableSchema>;
@@ -89,7 +99,7 @@ export type CreateQuery<S extends EvoluSchema> = <R extends Row>(queryCallback:
         readonly column: string;
         readonly value: SqliteValue;
     };
-}>, "selectFrom" | "fn" | "with" | "withRecursive">) => Kysely.SelectQueryBuilder<any, any, R>, options?: SqliteQueryOptions) => Query<S, Simplify<R>>;
+}>, "selectFrom" | "fn" | "with" | "withRecursive">) => Kysely.SelectQueryBuilder<any, any, R>, options?: SqliteQueryOptions) => Query<S, Kysely.Simplify<R>>;
 /**
  * System columns that are implicitly defined by Evolu.
  *
@@ -99,11 +109,11 @@ export type CreateQuery<S extends EvoluSchema> = <R extends Row>(queryCallback:
  *   mark rows as deleted.
  * - `ownerId`: Represents ownership and logically partitions the database.
  */
-export declare const SystemColumns: import("../Type.js").ObjectType<{
-    createdAt: import("../Type.js").BrandType<import("../Type.js").Type<"String", string, string, import("../Type.js").StringError, string, import("../Type.js").StringError>, "DateIso", import("../Type.js").DateIsoError, import("../Type.js").StringError>;
-    updatedAt: import("../Type.js").BrandType<import("../Type.js").Type<"String", string, string, import("../Type.js").StringError, string, import("../Type.js").StringError>, "DateIso", import("../Type.js").DateIsoError, import("../Type.js").StringError>;
-    isDeleted: import("../Type.js").UnionType<[import("../Type.js").Type<"Null", null, null, import("../Type.js").NullError, null, import("../Type.js").NullError>, import("../Type.js").UnionType<[import("../Type.js").LiteralType<0>, import("../Type.js").LiteralType<1>]>]>;
-    ownerId: import("../Type.js").BrandType<import("../Type.js").BrandType<import("../Type.js").Type<"String", string, string, import("../Type.js").StringError, string, import("../Type.js").StringError>, "Id", import("../Type.js").IdError, import("../Type.js").StringError>, "OwnerId", import("../Type.js").BrandWithoutRefineError<"OwnerId", import("../Type.js").StringError | import("../Type.js").IdError>, never>;
+export declare const SystemColumns: ObjectType<{
+    readonly createdAt: typeof DateIso;
+    readonly updatedAt: typeof DateIso;
+    readonly isDeleted: UnionType<readonly [typeof SqliteBoolean, typeof Null]>;
+    readonly ownerId: typeof OwnerId;
 }>;
 export interface SystemColumns extends InferType<typeof SystemColumns> {
 }
@@ -149,24 +159,50 @@ export interface MutationOptions {
      * ### Example
      *
      * ```ts
-     * // Partition your own data by project (derived from your AppOwner)
+     * import {
+     *   createAppOwner,
+     *   createOwnerSecret,
+     *   createRandomBytes,
+     *   createSharedOwner,
+     *   deriveShardOwner,
+     *   id,
+     *   NonEmptyTrimmedString100,
+     *   type Evolu,
+     * } from "@evolu/common";
+     *
+     * const Schema = {
+     *   task: { id: id("Task"), title: NonEmptyTrimmedString100 },
+     *   comment: { id: id("Comment"), text: NonEmptyTrimmedString100 },
+     * };
+     * const randomBytes = createRandomBytes();
+     * // Create once, persist the mnemonic securely, and restore it on later runs.
+     * const appOwner = createAppOwner(createOwnerSecret({ randomBytes }));
      * const projectOwner = deriveShardOwner(appOwner, [
      *   "project",
-     *   projectId,
+     *   "project-1",
      * ]);
-     * evolu.insert(
-     *   "task",
-     *   { title: "Task 1" },
-     *   { ownerId: projectOwner.id },
+     * const sharedOwner = createSharedOwner(
+     *   createOwnerSecret({ randomBytes }),
      * );
      *
-     * // Collaborative data (independent owner shared with others)
-     * const sharedOwner = createSharedOwner(sharedSecret);
-     * evolu.insert(
-     *   "comment",
-     *   { text: "Hello" },
-     *   { ownerId: sharedOwner.id },
-     * );
+     * const insertOwnedRows = (evolu: Evolu<typeof Schema>): void => {
+     *   // Partition app data by project.
+     *   evolu.insert(
+     *     "task",
+     *     { title: NonEmptyTrimmedString100.orThrow("Task 1") },
+     *     { ownerId: projectOwner.id },
+     *   );
+     *
+     *   // Put collaborative data under a shared owner.
+     *   evolu.insert(
+     *     "comment",
+     *     { text: NonEmptyTrimmedString100.orThrow("Hello") },
+     *     { ownerId: sharedOwner.id },
+     *   );
+     * };
+     *
+     * expect(projectOwner.type).toBe("ShardOwner");
+     * expect(sharedOwner.type).toBe("SharedOwner");
      * ```
      */
     readonly ownerId?: OwnerId;
@@ -207,7 +243,7 @@ export type ValidateIdColumnType<S extends EvoluSchema> = keyof S extends infer
 export type ValidateNoSystemColumns<S extends EvoluSchema> = keyof S extends infer TableName ? TableName extends keyof S ? keyof S[TableName] extends infer ColumnName ? ColumnName extends keyof S[TableName] ? ColumnName extends "createdAt" | "updatedAt" | "isDeleted" | "ownerId" ? SchemaValidationError<`Table "${TableName & string}" uses system column name "${ColumnName & string}". System columns (createdAt, updatedAt, isDeleted, ownerId) are added automatically.`> : never : never : never : never : never;
 export type ValidateColumnTypes<S extends EvoluSchema> = keyof S extends infer TableName ? TableName extends keyof S ? keyof S[TableName] extends infer ColumnName ? ColumnName extends keyof S[TableName] ? StandardSchemaV1.InferOutput<S[TableName][ColumnName]> extends SqliteValue ? never : SchemaValidationError<`Table "${TableName & string}" column "${ColumnName & string}" type is not compatible with SQLite. Column types must extend SqliteValue (string, number, Uint8Array, or null).`> : never : never : never : never;
 /** Schema validation error that shows clear, readable messages */
-export type SchemaValidationError<Message extends string> = `❌ Schema Error: ${Message}`;
+export type SchemaValidationError<Message extends string> = CompileTimeError<"Schema", Message>;
 /** Makes columns whose output type includes `null` optional. */
 export type NullableColumnsToOptional<T extends TableSchema> = {
     readonly [K in RequiredColumnKeys<T>]: StandardSchemaV1.InferOutput<T[K]>;
@@ -235,21 +271,36 @@ export declare const evoluSchemaToSqliteSchema: <S extends EvoluSchema>(schema:
  * ### Example
  *
  * ```ts
+ * import {
+ *   createQueryBuilder,
+ *   id,
+ *   NonEmptyTrimmedString100,
+ *   nullOr,
+ *   SqliteBoolean,
+ * } from "@evolu/common";
+ *
+ * const TodoId = id("Todo");
+ * type TodoId = typeof TodoId.Output;
  * const Schema = {
  *   todo: {
- *     id: id("Todo"),
- *     title: NonEmptyString100,
+ *     id: TodoId,
+ *     title: NonEmptyTrimmedString100,
  *     isCompleted: nullOr(SqliteBoolean),
  *   },
  * };
  *
- * // Create a typed query builder (once per schema)
+ * // Create one typed builder per schema and reuse it for every query.
  * const createQuery = createQueryBuilder(Schema);
- *
- * // Use it for all queries
  * const todosQuery = createQuery((db) =>
  *   db.selectFrom("todo").select(["id", "title", "isCompleted"]),
  * );
+ *
+ * expectTypeOf<typeof todosQuery.Row>().toEqualTypeOf<{
+ *   id: TodoId;
+ *   title: NonEmptyTrimmedString100 | null;
+ *   isCompleted: SqliteBoolean | null;
+ * }>();
+ * expect(todosQuery).toBeTypeOf("string");
  * ```
  */
 export declare const createQueryBuilder: <S extends EvoluSchema>(_schema: S) => CreateQuery<S>;

package/dist/src/local-first/Schema.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Schema.d.ts","sourceRoot":"","sources":["../../../src/local-first/Schema.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,MAAM,MAAM,QAAQ,CAAC;AACjC,OAAO,EAA0B,KAAK,cAAc,EAAE,MAAM,cAAc,CAAC;AAC3E,OAAO,EAML,aAAa,EACb,KAAK,SAAS,EAGd,KAAK,kBAAkB,EACvB,KAAK,YAAY,EACjB,WAAW,EACZ,MAAM,cAAc,CAAC;AACtB,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,EAEL,KAAK,EAAE,EACP,OAAO,EAGP,KAAK,gBAAgB,EACtB,MAAM,YAAY,CAAC;AACpB,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAE5C,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AACrC,OAAO,KAAK,EAGV,KAAK,EACL,GAAG,EACJ,MAAM,YAAY,CAAC;AACpB,OAAO,KAAK,EAAe,QAAQ,EAAE,MAAM,cAAc,CAAC;AAC1D,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAEhD,oCAAoC;AACpC,MAAM,MAAM,mBAAmB,GAAG,gBAAgB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;AAE7D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,MAAM,MAAM,WAAW,GAAG,cAAc,CACtC,MAAM,EAEN,WAAW,CACZ,CAAC;AAEF,yEAAyE;AACzE,MAAM,MAAM,WAAW,GAAG,cAAc,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;AAEtE,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAC;CACrC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,cAAc,CAAC,CAAC,SAAS,WAAW,IAC9C,mBAAmB,CAAC,CAAC,CAAC,SAAS,KAAK,GAChC,oBAAoB,CAAC,CAAC,CAAC,SAAS,KAAK,GACnC,uBAAuB,CAAC,CAAC,CAAC,SAAS,KAAK,GACtC,mBAAmB,CAAC,CAAC,CAAC,SAAS,KAAK,GAClC,CAAC,GACD,mBAAmB,CAAC,CAAC,CAAC,GACxB,uBAAuB,CAAC,CAAC,CAAC,GAC5B,oBAAoB,CAAC,CAAC,CAAC,GACzB,mBAAmB,CAAC,CAAC,CAAC,CAAC;AAE7B,MAAM,MAAM,aAAa,GAAG,CAC1B,MAAM,EAAE,CAAC,SAAS,EAAE,MAAM,KAAK,MAAM,CAAC,kBAAkB,KACrD,aAAa,CAAC,MAAM,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC;AAEnD,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,WAAW,IAAI,CAAC,CAAC,SAAS,GAAG,EAC7D,aAAa,EAAE,CACb,EAAE,EAAE,IAAI,CACN,MAAM,CAAC,MAAM,CACX;KACG,KAAK,IAAI,MAAM,CAAC,GAAG;QAClB,QAAQ,EAAE,MAAM,IAAI,MAAM,CAAC,CAAC,KAAK,CAAC,GAAG,MAAM,SAAS,IAAI,GACpD,gBAAgB,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,GAC9C,gBAAgB,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,IAAI;KAC1D,GAAG,aAAa;CAClB,GAAG;IACF,QAAQ,CAAC,aAAa,EAAE;QACtB,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;QACnC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACxB,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;QACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QACxB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;KAC7B,CAAC;IACF,QAAQ,CAAC,wBAAwB,EAAE;QACjC,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;QACnC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;QACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QACxB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;KAC7B,CAAC;CACH,CACF,EACD,YAAY,GAAG,IAAI,GAAG,MAAM,GAAG,eAAe,CAC/C,KACE,MAAM,CAAC,kBAAkB,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,EAC3C,OAAO,CAAC,EAAE,kBAAkB,KACzB,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;AAE3B;;;;;;;;GAQG;AACH,eAAO,MAAM,aAAa;;;;;EAKxB,CAAC;AACH,MAAM,WAAW,aAAc,SAAQ,SAAS,CAAC,OAAO,aAAa,CAAC;CAAG;AAEzE,MAAM,MAAM,YAAY,GAAG,QAAQ,GAAG,QAAQ,GAAG,QAAQ,CAAC;AAE1D;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,WAAW,EAAE,IAAI,SAAS,YAAY,IAAI,CACvE,SAAS,SAAS,MAAM,CAAC,EAEzB,KAAK,EAAE,SAAS,EAChB,MAAM,EAAE,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,IAAI,CAAC,EAC1C,OAAO,CAAC,EAAE,eAAe,KACtB;IAAE,QAAQ,CAAC,EAAE,EAAE,gBAAgB,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAA;CAAE,CAAC;AAEvE,MAAM,WAAW,eAAe;IAC9B;;;;OAIG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,IAAI,CAAC;IAEjC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA8BG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;CAC5B;AAED,MAAM,WAAW,cAAe,SAAQ,QAAQ;IAC9C,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC3B;AAED;;;GAGG;AACH,MAAM,MAAM,cAAc,CACxB,CAAC,SAAS,WAAW,EACrB,CAAC,SAAS,YAAY,IACpB,QAAQ,CACV,CAAC,SAAS,QAAQ,GACd,YAAY,CAAC,CAAC,CAAC,GACf,CAAC,SAAS,QAAQ,GAChB,YAAY,CAAC,CAAC,CAAC,GACf,YAAY,CAAC,CAAC,CAAC,CACtB,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,WAAW,IAAI,IAAI,CACpD,yBAAyB,CAAC,CAAC,CAAC,EAC5B,IAAI,CACL,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,WAAW,IAAI;IAChD,QAAQ,CAAC,EAAE,EAAE,gBAAgB,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;CACpD,GAAG;IACF,QAAQ,EAAE,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,gBAAgB,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAC5E,GAAG;IACF,QAAQ,CAAC,SAAS,CAAC,EAAE,aAAa,CAAC;CACpC,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,WAAW,IAC5C,yBAAyB,CAAC,CAAC,CAAC,GAAG;IAC7B,QAAQ,CAAC,SAAS,CAAC,EAAE,aAAa,CAAC;CACpC,CAAC;AAEJ,MAAM,MAAM,mBAAmB,CAAC,CAAC,SAAS,WAAW,IACnD,MAAM,CAAC,SAAS,MAAM,SAAS,GAC3B,SAAS,SAAS,MAAM,CAAC,GACvB,IAAI,SAAS,MAAM,CAAC,CAAC,SAAS,CAAC,GAC7B,KAAK,GACL,qBAAqB,CAAC,UAAU,SAAS,GAAG,MAAM,kCAAkC,CAAC,GACvF,KAAK,GACP,KAAK,CAAC;AAEZ,MAAM,MAAM,oBAAoB,CAAC,CAAC,SAAS,WAAW,IACpD,MAAM,CAAC,SAAS,MAAM,SAAS,GAC3B,SAAS,SAAS,MAAM,CAAC,GACvB,IAAI,SAAS,MAAM,CAAC,CAAC,SAAS,CAAC,GAC7B,gBAAgB,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,GACzD,KAAK,GACL,qBAAqB,CAAC,UAAU,SAAS,GAAG,MAAM,mDAAmD,SAAS,GAAG,MAAM,qBAAqB,CAAC,GAC/I,KAAK,GACP,KAAK,GACP,KAAK,CAAC;AAEZ,MAAM,MAAM,uBAAuB,CAAC,CAAC,SAAS,WAAW,IACvD,MAAM,CAAC,SAAS,MAAM,SAAS,GAC3B,SAAS,SAAS,MAAM,CAAC,GACvB,MAAM,CAAC,CAAC,SAAS,CAAC,SAAS,MAAM,UAAU,GACzC,UAAU,SAAS,MAAM,CAAC,CAAC,SAAS,CAAC,GACnC,UAAU,SACN,WAAW,GACX,WAAW,GACX,WAAW,GACX,SAAS,GACX,qBAAqB,CAAC,UAAU,SAAS,GAAG,MAAM,8BAA8B,UAAU,GAAG,MAAM,uFAAuF,CAAC,GAC3L,KAAK,GACP,KAAK,GACP,KAAK,GACP,KAAK,GACP,KAAK,CAAC;AAEZ,MAAM,MAAM,mBAAmB,CAAC,CAAC,SAAS,WAAW,IACnD,MAAM,CAAC,SAAS,MAAM,SAAS,GAC3B,SAAS,SAAS,MAAM,CAAC,GACvB,MAAM,CAAC,CAAC,SAAS,CAAC,SAAS,MAAM,UAAU,GACzC,UAAU,SAAS,MAAM,CAAC,CAAC,SAAS,CAAC,GACnC,gBAAgB,CAAC,WAAW,CAC1B,CAAC,CAAC,SAAS,CAAC,CAAC,UAAU,CAAC,CACzB,SAAS,WAAW,GACnB,KAAK,GACL,qBAAqB,CAAC,UAAU,SAAS,GAAG,MAAM,aAAa,UAAU,GAAG,MAAM,mHAAmH,CAAC,GACxM,KAAK,GACP,KAAK,GACP,KAAK,GACP,KAAK,CAAC;AAEZ,kEAAkE;AAClE,MAAM,MAAM,qBAAqB,CAAC,OAAO,SAAS,MAAM,IACtD,mBAAmB,OAAO,EAAE,CAAC;AAE/B,gEAAgE;AAChE,MAAM,MAAM,yBAAyB,CAAC,CAAC,SAAS,WAAW,IAAI;IAC7D,QAAQ,EAAE,CAAC,IAAI,kBAAkB,CAAC,CAAC,CAAC,GAAG,gBAAgB,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAC1E,GAAG;IACF,QAAQ,EAAE,CAAC,IAAI,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,gBAAgB,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAC3E,CAAC;AAEF,MAAM,MAAM,kBAAkB,CAAC,CAAC,SAAS,WAAW,IAAI;KACrD,CAAC,IAAI,MAAM,CAAC,GAAG,IAAI,SAAS,gBAAgB,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC;CAC5E,CAAC,MAAM,CAAC,CAAC,CAAC;AAEX,MAAM,MAAM,kBAAkB,CAAC,CAAC,SAAS,WAAW,IAAI;KACrD,CAAC,IAAI,MAAM,CAAC,GAAG,IAAI,SAAS,gBAAgB,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK;CAC5E,CAAC,MAAM,CAAC,CAAC,CAAC;AAEX,eAAO,MAAM,aAAa,EAAE,WAAW,CAAC,MAAM,CAE7C,CAAC;AAEF,eAAO,MAAM,mBAAmB,EAAE,aAAa,CAAC,MAAM,CAGrD,CAAC;AAEF,eAAO,MAAM,yBAAyB,GAAI,CAAC,SAAS,WAAW,EAC7D,QAAQ,cAAc,CAAC,CAAC,CAAC,SAAS,KAAK,GAAG,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,EAC/D,gBAAgB,aAAa,KAC5B,YAkBF,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,eAAO,MAAM,kBAAkB,GAAI,CAAC,SAAS,WAAW,EACtD,SAAS,CAAC,KACT,WAAW,CAAC,CAAC,CAef,CAAC;AAEF,eAAO,MAAM,kBAAkB,GAC5B,MAAM,SAAS,MACf,WAAW,YAAY,EAAE,gBAAgB,YAAY,KAAG,IA8CxD,CAAC;AAEJ,eAAO,MAAM,oBAAoB,GAAI,MAAM,SAAS,WAAS,YACA,CAAC;AAG9D,eAAO,MAAM,MAAM,wBASjB,CAAC"}
+{"version":3,"file":"Schema.d.ts","sourceRoot":"","sources":["../../../src/local-first/Schema.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,MAAM,MAAM,QAAQ,CAAC;AACjC,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAE9D,OAAO,EAAyB,KAAK,cAAc,EAAE,MAAM,cAAc,CAAC;AAC1E,OAAO,EAML,aAAa,EACb,KAAK,SAAS,EAGd,KAAK,kBAAkB,EACvB,KAAK,YAAY,EACjB,WAAW,EACZ,MAAM,cAAc,CAAC;AACtB,OAAO,EACL,OAAO,EACP,KAAK,EAAE,EACP,OAAO,EACP,KAAK,SAAS,EACd,IAAI,EAGJ,KAAK,UAAU,EACf,KAAK,SAAS,EACf,MAAM,YAAY,CAAC;AACpB,OAAO,KAAK,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAE9D,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AACrC,OAAO,KAAK,EAGV,KAAK,EACL,GAAG,EACJ,MAAM,YAAY,CAAC;AACpB,OAAO,KAAK,EAAe,QAAQ,EAAE,MAAM,cAAc,CAAC;AAC1D,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAEhD,0CAA0C;AAC1C,MAAM,MAAM,mBAAmB,GAAG,gBAAgB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;AAE7D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AACH,MAAM,MAAM,WAAW,GAAG,cAAc,CACtC,MAAM,EAEN,WAAW,CACZ,CAAC;AAEF,yEAAyE;AACzE,MAAM,MAAM,WAAW,GAAG,cAAc,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;AAEtE,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAC;CACrC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,cAAc,CAAC,CAAC,SAAS,WAAW,IAC9C,mBAAmB,CAAC,CAAC,CAAC,SAAS,KAAK,GAChC,oBAAoB,CAAC,CAAC,CAAC,SAAS,KAAK,GACnC,uBAAuB,CAAC,CAAC,CAAC,SAAS,KAAK,GACtC,mBAAmB,CAAC,CAAC,CAAC,SAAS,KAAK,GAClC,CAAC,GACD,mBAAmB,CAAC,CAAC,CAAC,GACxB,uBAAuB,CAAC,CAAC,CAAC,GAC5B,oBAAoB,CAAC,CAAC,CAAC,GACzB,mBAAmB,CAAC,CAAC,CAAC,CAAC;AAE7B,MAAM,MAAM,aAAa,GAAG,CAC1B,MAAM,EAAE,CAAC,SAAS,EAAE,MAAM,KAAK,MAAM,CAAC,kBAAkB,KACrD,aAAa,CAAC,MAAM,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC;AAEnD,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,WAAW,IAAI,CAAC,CAAC,SAAS,GAAG,EAC7D,aAAa,EAAE,CACb,EAAE,EAAE,IAAI,CACN,MAAM,CAAC,MAAM,CACX;KACG,KAAK,IAAI,MAAM,CAAC,GAAG;QAClB,QAAQ,EAAE,MAAM,IAAI,MAAM,CAAC,CAAC,KAAK,CAAC,GAAG,MAAM,SAAS,IAAI,GACpD,gBAAgB,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,GAC9C,gBAAgB,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,IAAI;KAC1D,GAAG,aAAa;CAClB,GAAG;IACF,QAAQ,CAAC,aAAa,EAAE;QACtB,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;QACnC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACxB,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;QACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QACxB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;KAC7B,CAAC;IACF,QAAQ,CAAC,wBAAwB,EAAE;QACjC,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;QACnC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;QACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QACxB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;KAC7B,CAAC;CACH,CACF,EACD,YAAY,GAAG,IAAI,GAAG,MAAM,GAAG,eAAe,CAC/C,KACE,MAAM,CAAC,kBAAkB,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,EAC3C,OAAO,CAAC,EAAE,kBAAkB,KACzB,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;AAElC;;;;;;;;GAQG;AACH,eAAO,MAAM,aAAa,EAAE,UAAU,CAAC;IACrC,QAAQ,CAAC,SAAS,EAAE,OAAO,OAAO,CAAC;IACnC,QAAQ,CAAC,SAAS,EAAE,OAAO,OAAO,CAAC;IACnC,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC,SAAS,CAAC,OAAO,aAAa,EAAE,OAAO,IAAI,CAAC,CAAC,CAAC;IAC5E,QAAQ,CAAC,OAAO,EAAE,OAAO,OAAO,CAAC;CAClC,CAKC,CAAC;AACH,MAAM,WAAW,aAAc,SAAQ,SAAS,CAAC,OAAO,aAAa,CAAC;CAAG;AAEzE,MAAM,MAAM,YAAY,GAAG,QAAQ,GAAG,QAAQ,GAAG,QAAQ,CAAC;AAE1D;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,WAAW,EAAE,IAAI,SAAS,YAAY,IAAI,CACvE,SAAS,SAAS,MAAM,CAAC,EAEzB,KAAK,EAAE,SAAS,EAChB,MAAM,EAAE,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,IAAI,CAAC,EAC1C,OAAO,CAAC,EAAE,eAAe,KACtB;IAAE,QAAQ,CAAC,EAAE,EAAE,gBAAgB,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAA;CAAE,CAAC;AAEvE,MAAM,WAAW,eAAe;IAC9B;;;;OAIG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,IAAI,CAAC;IAEjC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAwDG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;CAC5B;AAED,MAAM,WAAW,cAAe,SAAQ,QAAQ;IAC9C,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC3B;AAED;;;GAGG;AACH,MAAM,MAAM,cAAc,CACxB,CAAC,SAAS,WAAW,EACrB,CAAC,SAAS,YAAY,IACpB,QAAQ,CACV,CAAC,SAAS,QAAQ,GACd,YAAY,CAAC,CAAC,CAAC,GACf,CAAC,SAAS,QAAQ,GAChB,YAAY,CAAC,CAAC,CAAC,GACf,YAAY,CAAC,CAAC,CAAC,CACtB,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,WAAW,IAAI,IAAI,CACpD,yBAAyB,CAAC,CAAC,CAAC,EAC5B,IAAI,CACL,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,WAAW,IAAI;IAChD,QAAQ,CAAC,EAAE,EAAE,gBAAgB,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;CACpD,GAAG;IACF,QAAQ,EAAE,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,gBAAgB,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAC5E,GAAG;IACF,QAAQ,CAAC,SAAS,CAAC,EAAE,aAAa,CAAC;CACpC,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,WAAW,IAC5C,yBAAyB,CAAC,CAAC,CAAC,GAAG;IAC7B,QAAQ,CAAC,SAAS,CAAC,EAAE,aAAa,CAAC;CACpC,CAAC;AAEJ,MAAM,MAAM,mBAAmB,CAAC,CAAC,SAAS,WAAW,IACnD,MAAM,CAAC,SAAS,MAAM,SAAS,GAC3B,SAAS,SAAS,MAAM,CAAC,GACvB,IAAI,SAAS,MAAM,CAAC,CAAC,SAAS,CAAC,GAC7B,KAAK,GACL,qBAAqB,CAAC,UAAU,SAAS,GAAG,MAAM,kCAAkC,CAAC,GACvF,KAAK,GACP,KAAK,CAAC;AAEZ,MAAM,MAAM,oBAAoB,CAAC,CAAC,SAAS,WAAW,IACpD,MAAM,CAAC,SAAS,MAAM,SAAS,GAC3B,SAAS,SAAS,MAAM,CAAC,GACvB,IAAI,SAAS,MAAM,CAAC,CAAC,SAAS,CAAC,GAC7B,gBAAgB,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,GACzD,KAAK,GACL,qBAAqB,CAAC,UAAU,SAAS,GAAG,MAAM,mDAAmD,SAAS,GAAG,MAAM,qBAAqB,CAAC,GAC/I,KAAK,GACP,KAAK,GACP,KAAK,CAAC;AAEZ,MAAM,MAAM,uBAAuB,CAAC,CAAC,SAAS,WAAW,IACvD,MAAM,CAAC,SAAS,MAAM,SAAS,GAC3B,SAAS,SAAS,MAAM,CAAC,GACvB,MAAM,CAAC,CAAC,SAAS,CAAC,SAAS,MAAM,UAAU,GACzC,UAAU,SAAS,MAAM,CAAC,CAAC,SAAS,CAAC,GACnC,UAAU,SACR,WAAW,GAAG,WAAW,GAAG,WAAW,GAAG,SAAS,GACnD,qBAAqB,CAAC,UAAU,SAAS,GAAG,MAAM,8BAA8B,UAAU,GAAG,MAAM,uFAAuF,CAAC,GAC3L,KAAK,GACP,KAAK,GACP,KAAK,GACP,KAAK,GACP,KAAK,CAAC;AAEZ,MAAM,MAAM,mBAAmB,CAAC,CAAC,SAAS,WAAW,IACnD,MAAM,CAAC,SAAS,MAAM,SAAS,GAC3B,SAAS,SAAS,MAAM,CAAC,GACvB,MAAM,CAAC,CAAC,SAAS,CAAC,SAAS,MAAM,UAAU,GACzC,UAAU,SAAS,MAAM,CAAC,CAAC,SAAS,CAAC,GACnC,gBAAgB,CAAC,WAAW,CAC1B,CAAC,CAAC,SAAS,CAAC,CAAC,UAAU,CAAC,CACzB,SAAS,WAAW,GACnB,KAAK,GACL,qBAAqB,CAAC,UAAU,SAAS,GAAG,MAAM,aAAa,UAAU,GAAG,MAAM,mHAAmH,CAAC,GACxM,KAAK,GACP,KAAK,GACP,KAAK,GACP,KAAK,CAAC;AAEZ,kEAAkE;AAClE,MAAM,MAAM,qBAAqB,CAAC,OAAO,SAAS,MAAM,IAAI,gBAAgB,CAC1E,QAAQ,EACR,OAAO,CACR,CAAC;AAEF,gEAAgE;AAChE,MAAM,MAAM,yBAAyB,CAAC,CAAC,SAAS,WAAW,IAAI;IAC7D,QAAQ,EAAE,CAAC,IAAI,kBAAkB,CAAC,CAAC,CAAC,GAAG,gBAAgB,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAC1E,GAAG;IACF,QAAQ,EAAE,CAAC,IAAI,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,gBAAgB,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAC3E,CAAC;AAEF,MAAM,MAAM,kBAAkB,CAAC,CAAC,SAAS,WAAW,IAAI;KACrD,CAAC,IAAI,MAAM,CAAC,GAAG,IAAI,SAAS,gBAAgB,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC;CAC5E,CAAC,MAAM,CAAC,CAAC,CAAC;AAEX,MAAM,MAAM,kBAAkB,CAAC,CAAC,SAAS,WAAW,IAAI;KACrD,CAAC,IAAI,MAAM,CAAC,GAAG,IAAI,SAAS,gBAAgB,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK;CAC5E,CAAC,MAAM,CAAC,CAAC,CAAC;AAEX,eAAO,MAAM,aAAa,EAAE,WAAW,CAAC,MAAM,CAE7C,CAAC;AAEF,eAAO,MAAM,mBAAmB,EAAE,aAAa,CAAC,MAAM,CAGrD,CAAC;AAEF,eAAO,MAAM,yBAAyB,GAAI,CAAC,SAAS,WAAW,UACrD,cAAc,CAAC,CAAC,CAAC,SAAS,KAAK,GAAG,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,kBAC/C,aAAa,KAC5B,YAgBF,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AACH,eAAO,MAAM,kBAAkB,GAAI,CAAC,SAAS,WAAW,WAC7C,CAAC,KACT,WAAW,CAAC,CAAC,CAef,CAAC;AAEF,eAAO,MAAM,kBAAkB,SACtB,SAAS,iBACJ,YAAY,kBAAkB,YAAY,KAAG,IA+CxD,CAAC;AAEJ,eAAO,MAAM,oBAAoB,SAAU,SAAS,WAAS,YACA,CAAC;AAG9D,eAAO,MAAM,MAAM,wBASjB,CAAC"}

package/dist/src/local-first/Schema.js

@@ -4,9 +4,10 @@
  * @module
  */
 import * as Kysely from "kysely";
-import { getProperty, mapObject } from "../Object.js";
+import { assertNonNullable } from "../Assert.js";
+import { getOwnProp, mapObject } from "../Object.js";
 import { eqSqliteIndex, getSqliteSchema, sql, sqliteQueryToSqliteQueryString, SqliteBoolean, SqliteValue, } from "../Sqlite.js";
-import { DateIso, IdBytes, nullOr, object, } from "../Type.js";
+import { DateIso, IdBytes, Null, nullOr, object, } from "../Type.js";
 import { OwnerId } from "./Owner.js";
 import { TimestampBytes } from "./Timestamp.js";
 /**
@@ -53,21 +54,36 @@ export const evoluSchemaToSqliteSchema = (schema, indexesConfig) => {
  * ### Example
  *
  * ```ts
+ * import {
+ *   createQueryBuilder,
+ *   id,
+ *   NonEmptyTrimmedString100,
+ *   nullOr,
+ *   SqliteBoolean,
+ * } from "@evolu/common";
+ *
+ * const TodoId = id("Todo");
+ * type TodoId = typeof TodoId.Output;
  * const Schema = {
  *   todo: {
- *     id: id("Todo"),
- *     title: NonEmptyString100,
+ *     id: TodoId,
+ *     title: NonEmptyTrimmedString100,
  *     isCompleted: nullOr(SqliteBoolean),
  *   },
  * };
  *
- * // Create a typed query builder (once per schema)
+ * // Create one typed builder per schema and reuse it for every query.
  * const createQuery = createQueryBuilder(Schema);
- *
- * // Use it for all queries
  * const todosQuery = createQuery((db) =>
  *   db.selectFrom("todo").select(["id", "title", "isCompleted"]),
  * );
+ *
+ * expectTypeOf<typeof todosQuery.Row>().toEqualTypeOf<{
+ *   id: TodoId;
+ *   title: NonEmptyTrimmedString100 | null;
+ *   isCompleted: SqliteBoolean | null;
+ * }>();
+ * expect(todosQuery).toBeTypeOf("string");
  * ```
  */
 export const createQueryBuilder = (_schema) => {
@@ -86,7 +102,8 @@ export const ensureSqliteSchema = (deps) => (newSchema, currentSchema) => {
     const queries = [];
     currentSchema ??= getEvoluSqliteSchema(deps)();
     for (const [tableName, newColumns] of Object.entries(newSchema.tables)) {
-        const currentColumns = getProperty(currentSchema.tables, tableName);
+        assertNonNullable(newColumns);
+        const currentColumns = getOwnProp(currentSchema.tables, tableName);
         if (!currentColumns) {
             queries.push(createAppTable(tableName, newColumns));
         }