@sqlite-sync/ai 0.8.2 → 0.9.0

package/README.md

@@ -16,13 +16,13 @@ AI agent tools for [@sqlite-sync](https://github.com/krolebord-dev/sqlite-sync)
 
 ```ts
 import { createAiDbAccess } from "@sqlite-sync/ai";
-import { createKyselyExecutor, durableObjectAdapter } from "@sqlite-sync/cloudflare";
+import { durableObjectAdapter } from "@sqlite-sync/cloudflare";
 
 // In the DO that owns the synced database:
 async onStart() {
   const { syncDb } = await durableObjectAdapter.createCrdtStorage({ syncDbSchema, storage: this.ctx.storage, /* ... */ });
   this.aiDbAccess = createAiDbAccess({
-    executor: createKyselyExecutor(this.ctx.storage),
+    executor: syncDb.unsafe,
     storage: syncDb, // optional; enables mutate() on the access object
     syncDbSchema,
     context: {

package/dist/index.d.ts

@@ -1,8 +1,8 @@
-import { SyncDbSchema, CrdtEventType, CrdtStorage } from '@sqlite-sync/core';
-import { ToolSet } from 'ai';
-
+import { CrdtEventType, CrdtStorage, SyncDbSchema } from "@sqlite-sync/core";
+import { ToolSet } from "ai";
+//#region src/schema-doc.d.ts
 type SchemaDocContext = {
-    overview?: string;
+  overview?: string;
 };
 /**
  * Generates a markdown schema doc for an AI agent from the declared sync schema's table
@@ -15,56 +15,58 @@ type SchemaDocContext = {
  * need to describe their own domain.
  */
 declare function createSchemaDoc(opts: {
-    syncDbSchema: SyncDbSchema;
-    context?: SchemaDocContext;
+  syncDbSchema: SyncDbSchema;
+  context?: SchemaDocContext;
 }): string;
-
+//#endregion
+//#region src/db-access.d.ts
 type AiDbExecuteParams = {
-    sql: string;
-    parameters: readonly unknown[];
+  sql: string;
+  parameters: readonly unknown[];
 };
 /**
- * Minimal executor contract for AI database access. Runtime-specific — inject the one that
- * matches where the storage lives; @sqlite-sync/cloudflare's `createKyselyExecutor` satisfies it.
+ * Minimal executor contract for AI database access. Runtime-specific — inject the raw SQL
+ * capability that matches where the storage lives; a Cloudflare `ServerSyncDb`'s `unsafe`
+ * executor satisfies it.
  */
 type AiDbExecutor = {
-    execute<TResult = unknown>(query: AiDbExecuteParams): {
-        rows: TResult[];
-    };
-    transaction(callback: (tx: Pick<AiDbExecutor, "execute">) => void): void;
+  execute<TResult = unknown>(query: AiDbExecuteParams): {
+    rows: TResult[];
+  };
+  transaction(callback: (tx: Pick<AiDbExecutor, "execute">) => void): void;
 };
 type AiQueryInput = {
-    sql: string;
-    parameters?: readonly unknown[];
+  sql: string;
+  parameters?: readonly unknown[];
 };
 type AiQueryResult = {
-    rows: Record<string, unknown>[];
-    rowCount: number;
-    truncated: boolean;
+  rows: Record<string, unknown>[];
+  rowCount: number;
+  truncated: boolean;
 } | {
-    error: string;
+  error: string;
 };
 type AiMutationEvent = {
-    type: "item-created";
-    dataset: string;
-    item_id?: never;
-    payload?: Record<string, unknown>;
+  type: "item-created";
+  dataset: string;
+  item_id?: never;
+  payload?: Record<string, unknown>;
 } | {
-    type: Exclude<CrdtEventType, "item-created">;
-    dataset: string;
-    item_id: string;
-    payload?: Record<string, unknown>;
+  type: Exclude<CrdtEventType, "item-created">;
+  dataset: string;
+  item_id: string;
+  payload?: Record<string, unknown>;
 };
 type AiMutationInput = {
-    events: AiMutationEvent[];
+  events: AiMutationEvent[];
 };
 type AiMutationResult = {
-    applied: true;
-    eventCount: number;
-    createdIds: string[];
+  applied: true;
+  eventCount: number;
+  createdIds: string[];
 } | {
-    error: string;
-    errors?: string[];
+  error: string;
+  errors?: string[];
 };
 /**
  * AI access to a synced database. Lives where the storage lives; its method names
@@ -79,54 +81,55 @@ type AiMutationResult = {
  * events applied through sqlite-sync's normal own-event path, never direct SQL writes.
  */
 type AiDbAccess = {
-    getSchemaDoc(): string;
-    query(input: AiQueryInput): AiQueryResult;
-    mutate?(input: AiMutationInput): AiMutationResult;
+  getSchemaDoc(): string;
+  query(input: AiQueryInput): AiQueryResult;
+  mutate?(input: AiMutationInput): AiMutationResult;
 };
 declare function createAiDbAccess(opts: {
-    executor: AiDbExecutor;
-    storage?: Pick<CrdtStorage, "applyOwnEvents">;
-    syncDbSchema: SyncDbSchema;
-    context?: SchemaDocContext;
-    limits?: {
-        maxRows?: number;
-        maxCellChars?: number;
-    };
+  executor: AiDbExecutor;
+  storage?: Pick<CrdtStorage, "applyOwnEvents">;
+  syncDbSchema: SyncDbSchema;
+  context?: SchemaDocContext;
+  limits?: {
+    maxRows?: number;
+    maxCellChars?: number;
+  };
 }): AiDbAccess;
-
+//#endregion
+//#region src/query-guard.d.ts
 type QueryGuardInput = {
-    sql: string;
-    parameters?: readonly unknown[];
+  sql: string;
+  parameters?: readonly unknown[];
 };
 type QueryGuardRejection = {
-    allowed: false;
-    code: "invalid-statement" | "multi-statement" | "invalid-sql" | "write-detected";
-    message: string;
+  allowed: false;
+  code: "invalid-statement" | "multi-statement" | "invalid-sql" | "write-detected";
+  message: string;
 };
 type QueryGuardVerdict = {
-    allowed: true;
+  allowed: true;
 } | QueryGuardRejection;
 declare class QueryGuardError extends Error {
-    readonly rejection: QueryGuardRejection;
-    constructor(rejection: QueryGuardRejection);
+  readonly rejection: QueryGuardRejection;
+  constructor(rejection: QueryGuardRejection);
 }
 type QueryGuard = {
-    /**
-     * Statically verifies the query is a read-only single statement. Reads are not restricted
-     * by table — the whole database file is in scope for the agent, so don't colocate data the
-     * agent must not see.
-     */
-    check(input: QueryGuardInput): QueryGuardVerdict;
-    /**
-     * `check` + execute inside a forced-rollback transaction (the unconditional backstop for
-     * anything the analysis might miss). Throws {@link QueryGuardError} when the check rejects.
-     */
-    execute<TResult = unknown>(input: QueryGuardInput): {
-        rows: TResult[];
-    };
+  /**
+   * Statically verifies the query is a read-only single statement. Reads are not restricted
+   * by table — the whole database file is in scope for the agent, so don't colocate data the
+   * agent must not see.
+   */
+  check(input: QueryGuardInput): QueryGuardVerdict;
+  /**
+   * `check` + execute inside a forced-rollback transaction (the unconditional backstop for
+   * anything the analysis might miss). Throws {@link QueryGuardError} when the check rejects.
+   */
+  execute<TResult = unknown>(input: QueryGuardInput): {
+    rows: TResult[];
+  };
 };
 declare function createQueryGuard(opts: {
-    executor: AiDbExecutor;
+  executor: AiDbExecutor;
 }): QueryGuard;
 /**
  * Runs `callback` in a transaction that is always rolled back (via a sentinel throw, relying
@@ -134,26 +137,28 @@ declare function createQueryGuard(opts: {
  * unconditional write guard backing any gap in the static analysis.
  */
 declare function runWithForcedRollback<T>(executor: Pick<AiDbExecutor, "transaction">, callback: (tx: Pick<AiDbExecutor, "execute">) => T): T;
-
+//#endregion
+//#region src/tools.d.ts
 type MaybePromise<T> = T | Promise<T>;
 /**
  * What the tools need from the database side. Satisfied directly by `AiDbAccess`, or by a
  * Durable Object stub whose RPC methods delegate to one (RPC wraps returns in promises).
  */
 type DbToolsAccess = {
-    getSchemaDoc(): MaybePromise<string>;
-    query(input: AiQueryInput): MaybePromise<AiQueryResult>;
-    mutate?(input: AiMutationInput): MaybePromise<AiMutationResult>;
+  getSchemaDoc(): MaybePromise<string>;
+  query(input: AiQueryInput): MaybePromise<AiQueryResult>;
+  mutate?(input: AiMutationInput): MaybePromise<AiMutationResult>;
 };
 type CreateDbToolsOptions = {
-    access: () => MaybePromise<DbToolsAccess>;
-    /** Expose the write-capable `mutateDb` tool. The access object must also implement `mutate`. */
-    mutations?: boolean;
+  access: () => MaybePromise<DbToolsAccess>;
+  /** Expose the write-capable `mutateDb` tool. The access object must also implement `mutate`. */
+  mutations?: boolean;
 };
 /**
  * AI SDK tools for a synced database. `access` is a factory because acquiring the database
  * may itself be async per call (e.g. resolving a Durable Object stub from another DO).
  */
 declare function createDbTools(opts: CreateDbToolsOptions): ToolSet;
-
+//#endregion
 export { type AiDbAccess, type AiDbExecuteParams, type AiDbExecutor, type AiMutationEvent, type AiMutationInput, type AiMutationResult, type AiQueryInput, type AiQueryResult, type CreateDbToolsOptions, type DbToolsAccess, type QueryGuard, QueryGuardError, type QueryGuardInput, type QueryGuardRejection, type QueryGuardVerdict, type SchemaDocContext, createAiDbAccess, createDbTools, createQueryGuard, createSchemaDoc, runWithForcedRollback };
+//# sourceMappingURL=index.d.ts.map

package/dist/index.js

@@ -1,401 +1,400 @@
-// src/db-access.ts
-import {
-  CrdtEventValidationError,
-  generateId
-} from "@sqlite-sync/core";
-
-// src/query-guard.ts
+import { CrdtEventValidationError, generateId } from "@sqlite-sync/core";
+import { jsonSchema, tool } from "ai";
+//#region src/query-guard.ts
 var QueryGuardError = class extends Error {
-  rejection;
-  constructor(rejection) {
-    super(rejection.message);
-    this.name = "QueryGuardError";
-    this.rejection = rejection;
-  }
+	rejection;
+	constructor(rejection) {
+		super(rejection.message);
+		this.name = "QueryGuardError";
+		this.rejection = rejection;
+	}
 };
-var WRITE_OPCODES = /* @__PURE__ */ new Set([
-  "OpenWrite",
-  "Clear",
-  "Destroy",
-  "CreateBtree",
-  "SqlExec",
-  "ParseSchema",
-  "DropTable",
-  "DropIndex",
-  "DropTrigger",
-  "SetCookie",
-  "JournalMode",
-  "Vacuum",
-  "IncrVacuum",
-  "Checkpoint",
-  "MaxPgcnt",
-  "Expire",
-  "AutoCommit",
-  "VUpdate",
-  "VCreate",
-  "VDestroy",
-  "Program"
+/**
+* Opcodes that prove a statement is not read-only. `OpenWrite` covers row-level writes (every
+* real-table mutation opens its cursor through it), `Clear`/`Destroy` cover whole-table
+* deletes that skip cursors (truncate optimization), the rest cover DDL, pragma-class
+* statements (which a transaction rollback would NOT undo), virtual-table writes, and trigger
+* subprograms. `Insert`/`Delete`/`IdxInsert` are deliberately absent — they also run against
+* ephemeral/sorter cursors in ordinary SELECTs (DISTINCT, ORDER BY) and are only dangerous on
+* a cursor an `OpenWrite` would have created.
+*/
+const WRITE_OPCODES = /* @__PURE__ */ new Set([
+	"OpenWrite",
+	"Clear",
+	"Destroy",
+	"CreateBtree",
+	"SqlExec",
+	"ParseSchema",
+	"DropTable",
+	"DropIndex",
+	"DropTrigger",
+	"SetCookie",
+	"JournalMode",
+	"Vacuum",
+	"IncrVacuum",
+	"Checkpoint",
+	"MaxPgcnt",
+	"Expire",
+	"AutoCommit",
+	"VUpdate",
+	"VCreate",
+	"VDestroy",
+	"Program"
 ]);
-var READ_STATEMENT_PREFIXES = ["select", "with", "values"];
+const READ_STATEMENT_PREFIXES = [
+	"select",
+	"with",
+	"values"
+];
 function createQueryGuard(opts) {
-  function reject(code, message) {
-    return { allowed: false, code, message };
-  }
-  function check(input) {
-    let body = input.sql.trim();
-    while (body.endsWith(";")) {
-      body = body.slice(0, -1).trimEnd();
-    }
-    if (body.includes(";")) {
-      return reject(
-        "multi-statement",
-        "Only a single SQL statement is allowed per query, and semicolons are only allowed at the very end. If the semicolon is inside a string literal, pass the value as a bound parameter instead."
-      );
-    }
-    const lowered = body.toLowerCase();
-    if (!READ_STATEMENT_PREFIXES.some((keyword) => lowered.startsWith(keyword))) {
-      return reject(
-        "invalid-statement",
-        "Only read-only queries are allowed: the statement must start directly with SELECT, WITH, or VALUES (no leading comments)."
-      );
-    }
-    let operations;
-    try {
-      operations = opts.executor.execute({
-        sql: `EXPLAIN ${input.sql}`,
-        parameters: input.parameters ?? []
-      }).rows;
-    } catch (error) {
-      return reject("invalid-sql", `SQL error: ${error instanceof Error ? error.message : String(error)}`);
-    }
-    for (const operation of operations) {
-      if (WRITE_OPCODES.has(operation.opcode)) {
-        return reject(
-          "write-detected",
-          `The statement was rejected because it would modify the database (${operation.opcode}). This tool is strictly read-only; rewrite the query as a pure SELECT.`
-        );
-      }
-    }
-    return { allowed: true };
-  }
-  return {
-    check,
-    execute(input) {
-      const verdict = check(input);
-      if (!verdict.allowed) {
-        throw new QueryGuardError(verdict);
-      }
-      return runWithForcedRollback(opts.executor, (tx) => {
-        return tx.execute({ sql: input.sql, parameters: input.parameters ?? [] });
-      });
-    }
-  };
+	function reject(code, message) {
+		return {
+			allowed: false,
+			code,
+			message
+		};
+	}
+	function check(input) {
+		let body = input.sql.trim();
+		while (body.endsWith(";")) body = body.slice(0, -1).trimEnd();
+		if (body.includes(";")) return reject("multi-statement", "Only a single SQL statement is allowed per query, and semicolons are only allowed at the very end. If the semicolon is inside a string literal, pass the value as a bound parameter instead.");
+		const lowered = body.toLowerCase();
+		if (!READ_STATEMENT_PREFIXES.some((keyword) => lowered.startsWith(keyword))) return reject("invalid-statement", "Only read-only queries are allowed: the statement must start directly with SELECT, WITH, or VALUES (no leading comments).");
+		let operations;
+		try {
+			operations = opts.executor.execute({
+				sql: `EXPLAIN ${input.sql}`,
+				parameters: input.parameters ?? []
+			}).rows;
+		} catch (error) {
+			return reject("invalid-sql", `SQL error: ${error instanceof Error ? error.message : String(error)}`);
+		}
+		for (const operation of operations) if (WRITE_OPCODES.has(operation.opcode)) return reject("write-detected", `The statement was rejected because it would modify the database (${operation.opcode}). This tool is strictly read-only; rewrite the query as a pure SELECT.`);
+		return { allowed: true };
+	}
+	return {
+		check,
+		execute(input) {
+			const verdict = check(input);
+			if (!verdict.allowed) throw new QueryGuardError(verdict);
+			return runWithForcedRollback(opts.executor, (tx) => {
+				return tx.execute({
+					sql: input.sql,
+					parameters: input.parameters ?? []
+				});
+			});
+		}
+	};
 }
+/**
+* Runs `callback` in a transaction that is always rolled back (via a sentinel throw, relying
+* on the {@link AiDbExecutor} contract that a throwing callback rolls back). This is the
+* unconditional write guard backing any gap in the static analysis.
+*/
 function runWithForcedRollback(executor, callback) {
-  let result;
-  let completed = false;
-  const rollbackSentinel = new Error("forced read-only rollback");
-  try {
-    executor.transaction((tx) => {
-      result = callback(tx);
-      completed = true;
-      throw rollbackSentinel;
-    });
-  } catch (error) {
-    if (error !== rollbackSentinel) {
-      throw error;
-    }
-  }
-  if (!completed) {
-    throw new Error("Transaction completed without running the callback");
-  }
-  return result;
+	let result;
+	let completed = false;
+	const rollbackSentinel = /* @__PURE__ */ new Error("forced read-only rollback");
+	try {
+		executor.transaction((tx) => {
+			result = callback(tx);
+			completed = true;
+			throw rollbackSentinel;
+		});
+	} catch (error) {
+		if (error !== rollbackSentinel) throw error;
+	}
+	if (!completed) throw new Error("Transaction completed without running the callback");
+	return result;
 }
-
-// src/schema-doc.ts
-var SCHEMA_DOC_PREAMBLE = [
-  "This is a synced SQLite database \u2014 data replicates automatically between the user's devices.",
-  "All writes go through a sync event log, which is why the tables listed below are exposed as",
-  "read-only SQL views; soft-deleted rows are already filtered out, so query them directly",
-  "without any tombstone filtering. Every table has a unique `id` text primary key."
+//#endregion
+//#region src/schema-doc.ts
+const SCHEMA_DOC_PREAMBLE = [
+	"This is a synced SQLite database — data replicates automatically between the user's devices.",
+	"All writes go through a sync event log, which is why the tables listed below are exposed as",
+	"read-only SQL views; soft-deleted rows are already filtered out, so query them directly",
+	"without any tombstone filtering. Every table has a unique `id` text primary key."
 ].join("\n");
 function renderColumn(name, meta) {
-  let line = `- \`${name}\` ${meta.sqlType.toUpperCase()}`;
-  if (!meta.nullable) {
-    line += " NOT NULL";
-  }
-  if (meta.kind === "boolean") {
-    line += " (boolean 0/1)";
-  } else if (meta.kind === "enum") {
-    line += ` (one of ${(meta.enumValues ?? []).map((value) => `"${value}"`).join(" | ")})`;
-  }
-  return meta.description ? `${line} \u2014 ${meta.description}` : line;
+	let line = `- \`${name}\` ${meta.sqlType.toUpperCase()}`;
+	if (!meta.nullable) line += " NOT NULL";
+	if (meta.kind === "boolean") line += " (boolean 0/1)";
+	else if (meta.kind === "enum") line += ` (one of ${(meta.enumValues ?? []).map((value) => `"${value}"`).join(" | ")})`;
+	return meta.description ? `${line} — ${meta.description}` : line;
 }
+/**
+* Generates a markdown schema doc for an AI agent from the declared sync schema's table
+* builders — no database access needed. Tables are presented under the view names the agent
+* queries; descriptions come from `.describe()` on the table and column builders.
+* The internal `tombstone` column is omitted.
+*
+* The doc always includes a built-in preamble explaining sqlite-sync mechanics (read-only
+* views, soft-deletes already filtered) after the consumer's `overview` — consumers only
+* need to describe their own domain.
+*/
 function createSchemaDoc(opts) {
-  const sections = [];
-  const overview = opts.context?.overview?.trim();
-  if (overview) {
-    sections.push(overview);
-  }
-  sections.push(SCHEMA_DOC_PREAMBLE);
-  for (const [crdtTableName, table] of Object.entries(opts.syncDbSchema.tables)) {
-    const lines = [`## ${crdtTableName}`];
-    if (table.description) {
-      lines.push("", table.description.trim());
-    }
-    lines.push("", "Columns:");
-    for (const [name, meta] of Object.entries(table.columns)) {
-      if (name === "tombstone") continue;
-      lines.push(renderColumn(name, meta));
-    }
-    sections.push(lines.join("\n"));
-  }
-  sections.push(CHANGE_HISTORY_DOC);
-  return sections.join("\n\n");
+	const sections = [];
+	const overview = opts.context?.overview?.trim();
+	if (overview) sections.push(overview);
+	sections.push(SCHEMA_DOC_PREAMBLE);
+	for (const [crdtTableName, table] of Object.entries(opts.syncDbSchema.tables)) {
+		const lines = [`## ${crdtTableName}`];
+		if (table.description) lines.push("", table.description.trim());
+		lines.push("", "Columns:");
+		for (const [name, meta] of Object.entries(table.columns)) {
+			if (name === "tombstone") continue;
+			lines.push(renderColumn(name, meta));
+		}
+		sections.push(lines.join("\n"));
+	}
+	sections.push(CHANGE_HISTORY_DOC);
+	return sections.join("\n\n");
 }
-var CHANGE_HISTORY_DOC = [
-  "## change_history",
-  "",
-  "A read-only, append-only log of every change across all tables, one row per sync event.",
-  "Query it like any other view. Unlike the tables above, soft-delete filtering does NOT apply",
-  "here \u2014 it includes changes to items that were later deleted, so treat it as an audit log.",
-  "",
-  "Columns:",
-  "- `seq` INTEGER NOT NULL \u2014 monotonic sequence number; **order history by this** (ascending = oldest first)",
-  "- `dataset` TEXT NOT NULL \u2014 which table the change applies to (matches a table name above)",
-  "- `item_id` TEXT NOT NULL \u2014 the `id` of the affected row",
-  '- `change_type` TEXT NOT NULL (one of "item-created" | "item-updated" | "item-deleted")',
-  '- `status` TEXT NOT NULL (one of "applied" | "pending" | "failed" | "deduped") \u2014 "applied" took effect; "failed" did not; filter to `status = \'applied\'` for the effective history',
-  '- `origin` TEXT NOT NULL \u2014 where the change came from (e.g. "own", "remote", "local")',
-  "- `timestamp` TEXT NOT NULL \u2014 opaque hybrid-logical-clock string; do NOT parse it as a date, order by `seq` instead",
-  "- `changes` TEXT NOT NULL \u2014 JSON of what the change set: the changed columns only for item-updated, the full initial row for item-created, `{}` for item-deleted. Use `json_extract(changes, '$.column')` to read a field."
+const CHANGE_HISTORY_DOC = [
+	"## change_history",
+	"",
+	"A read-only, append-only log of every change across all tables, one row per sync event.",
+	"Query it like any other view. Unlike the tables above, soft-delete filtering does NOT apply",
+	"here — it includes changes to items that were later deleted, so treat it as an audit log.",
+	"",
+	"Columns:",
+	"- `seq` INTEGER NOT NULL — monotonic sequence number; **order history by this** (ascending = oldest first)",
+	"- `dataset` TEXT NOT NULL — which table the change applies to (matches a table name above)",
+	"- `item_id` TEXT NOT NULL — the `id` of the affected row",
+	"- `change_type` TEXT NOT NULL (one of \"item-created\" | \"item-updated\" | \"item-deleted\")",
+	"- `status` TEXT NOT NULL (one of \"applied\" | \"pending\" | \"failed\" | \"deduped\") — \"applied\" took effect; \"failed\" did not; filter to `status = 'applied'` for the effective history",
+	"- `origin` TEXT NOT NULL — where the change came from (e.g. \"own\", \"remote\", \"local\")",
+	"- `timestamp` TEXT NOT NULL — opaque hybrid-logical-clock string; do NOT parse it as a date, order by `seq` instead",
+	"- `changes` TEXT NOT NULL — JSON of what the change set: the changed columns only for item-updated, the full initial row for item-created, `{}` for item-deleted. Use `json_extract(changes, '$.column')` to read a field."
 ].join("\n");
-
-// src/db-access.ts
+//#endregion
+//#region src/db-access.ts
 function toBase64(bytes) {
-  let binary = "";
-  for (const byte of bytes) {
-    binary += String.fromCharCode(byte);
-  }
-  return btoa(binary);
+	let binary = "";
+	for (const byte of bytes) binary += String.fromCharCode(byte);
+	return btoa(binary);
 }
 function createAiDbAccess(opts) {
-  const schemaDoc = createSchemaDoc({ syncDbSchema: opts.syncDbSchema, context: opts.context });
-  const guard = createQueryGuard({ executor: opts.executor });
-  const maxRows = opts.limits?.maxRows ?? 200;
-  const maxCellChars = opts.limits?.maxCellChars ?? 2e3;
-  const access = {
-    getSchemaDoc() {
-      return schemaDoc;
-    },
-    query(input) {
-      let resultRows;
-      try {
-        resultRows = guard.execute(input).rows;
-      } catch (error) {
-        if (error instanceof QueryGuardError) {
-          return { error: error.message };
-        }
-        throw error;
-      }
-      let truncated = resultRows.length > maxRows;
-      function shapeCell(value) {
-        if (value instanceof Uint8Array) {
-          if (Math.ceil(value.byteLength / 3) * 4 <= maxCellChars) {
-            return `<blob base64 ${toBase64(value)}>`;
-          }
-          truncated = true;
-          return `<blob ${value.byteLength} bytes>`;
-        }
-        if (typeof value === "string" && value.length > maxCellChars) {
-          truncated = true;
-          return `${value.slice(0, maxCellChars)}\u2026`;
-        }
-        return value;
-      }
-      const rows = resultRows.slice(0, maxRows).map((row) => Object.fromEntries(Object.entries(row).map(([column, value]) => [column, shapeCell(value)])));
-      return { rows, rowCount: resultRows.length, truncated };
-    }
-  };
-  const storage = opts.storage;
-  if (storage) {
-    access.mutate = (input) => {
-      const errors = [];
-      const createdIds = [];
-      const events = [];
-      for (const [index, event] of input.events.entries()) {
-        if (event.type === "item-created") {
-          const looseEvent = event;
-          const payload = event.payload ?? {};
-          if (looseEvent.item_id !== void 0) {
-            errors.push(`[${index}] item-created events must omit item_id; an id is generated automatically`);
-          }
-          if ("id" in payload) {
-            errors.push(`[${index}] item-created payload must omit id; an id is generated automatically`);
-          }
-          if (looseEvent.item_id !== void 0 || "id" in payload) {
-            continue;
-          }
-          const id = generateId();
-          createdIds.push(id);
-          events.push({
-            type: "item-created",
-            dataset: event.dataset,
-            item_id: id,
-            payload: JSON.stringify({ ...payload, id })
-          });
-          continue;
-        }
-        events.push({
-          type: event.type,
-          dataset: event.dataset,
-          item_id: event.item_id,
-          payload: JSON.stringify(event.payload ?? {})
-        });
-      }
-      if (errors.length > 0) {
-        return { error: `Invalid mutation events: ${errors.join("; ")}`, errors };
-      }
-      try {
-        storage.applyOwnEvents(events);
-      } catch (error) {
-        if (error instanceof CrdtEventValidationError) {
-          return { error: error.message, errors: error.errors };
-        }
-        throw error;
-      }
-      return { applied: true, eventCount: events.length, createdIds };
-    };
-  }
-  return access;
+	const schemaDoc = createSchemaDoc({
+		syncDbSchema: opts.syncDbSchema,
+		context: opts.context
+	});
+	const guard = createQueryGuard({ executor: opts.executor });
+	const maxRows = opts.limits?.maxRows ?? 200;
+	const maxCellChars = opts.limits?.maxCellChars ?? 2e3;
+	const access = {
+		getSchemaDoc() {
+			return schemaDoc;
+		},
+		query(input) {
+			let resultRows;
+			try {
+				resultRows = guard.execute(input).rows;
+			} catch (error) {
+				if (error instanceof QueryGuardError) return { error: error.message };
+				throw error;
+			}
+			let truncated = resultRows.length > maxRows;
+			function shapeCell(value) {
+				if (value instanceof Uint8Array) {
+					if (Math.ceil(value.byteLength / 3) * 4 <= maxCellChars) return `<blob base64 ${toBase64(value)}>`;
+					truncated = true;
+					return `<blob ${value.byteLength} bytes>`;
+				}
+				if (typeof value === "string" && value.length > maxCellChars) {
+					truncated = true;
+					return `${value.slice(0, maxCellChars)}…`;
+				}
+				return value;
+			}
+			return {
+				rows: resultRows.slice(0, maxRows).map((row) => Object.fromEntries(Object.entries(row).map(([column, value]) => [column, shapeCell(value)]))),
+				rowCount: resultRows.length,
+				truncated
+			};
+		}
+	};
+	const storage = opts.storage;
+	if (storage) access.mutate = (input) => {
+		const errors = [];
+		const createdIds = [];
+		const events = [];
+		for (const [index, event] of input.events.entries()) {
+			if (event.type === "item-created") {
+				const looseEvent = event;
+				const payload = event.payload ?? {};
+				if (looseEvent.item_id !== void 0) errors.push(`[${index}] item-created events must omit item_id; an id is generated automatically`);
+				if ("id" in payload) errors.push(`[${index}] item-created payload must omit id; an id is generated automatically`);
+				if (looseEvent.item_id !== void 0 || "id" in payload) continue;
+				const id = generateId();
+				createdIds.push(id);
+				events.push({
+					type: "item-created",
+					dataset: event.dataset,
+					item_id: id,
+					payload: JSON.stringify({
+						...payload,
+						id
+					})
+				});
+				continue;
+			}
+			events.push({
+				type: event.type,
+				dataset: event.dataset,
+				item_id: event.item_id,
+				payload: JSON.stringify(event.payload ?? {})
+			});
+		}
+		if (errors.length > 0) return {
+			error: `Invalid mutation events: ${errors.join("; ")}`,
+			errors
+		};
+		try {
+			storage.applyOwnEvents(events);
+		} catch (error) {
+			if (error instanceof CrdtEventValidationError) return {
+				error: error.message,
+				errors: error.errors
+			};
+			throw error;
+		}
+		return {
+			applied: true,
+			eventCount: events.length,
+			createdIds
+		};
+	};
+	return access;
 }
-
-// src/tools.ts
-import { jsonSchema, tool } from "ai";
-var emptyInputSchema = jsonSchema({
-  type: "object",
-  properties: {},
-  additionalProperties: false
+//#endregion
+//#region src/tools.ts
+const emptyInputSchema = jsonSchema({
+	type: "object",
+	properties: {},
+	additionalProperties: false
 });
-var queryInputSchema = jsonSchema({
-  type: "object",
-  properties: {
-    sql: {
-      type: "string",
-      description: "A single read-only SQLite statement starting with SELECT, WITH, or VALUES. Use ? placeholders for values."
-    },
-    parameters: {
-      type: "array",
-      items: { type: ["string", "number", "boolean", "null"] },
-      description: "Values bound to the ? placeholders, in order."
-    }
-  },
-  required: ["sql"],
-  additionalProperties: false
+const queryInputSchema = jsonSchema({
+	type: "object",
+	properties: {
+		sql: {
+			type: "string",
+			description: "A single read-only SQLite statement starting with SELECT, WITH, or VALUES. Use ? placeholders for values."
+		},
+		parameters: {
+			type: "array",
+			items: { type: [
+				"string",
+				"number",
+				"boolean",
+				"null"
+			] },
+			description: "Values bound to the ? placeholders, in order."
+		}
+	},
+	required: ["sql"],
+	additionalProperties: false
 });
-var mutationInputSchema = jsonSchema({
-  type: "object",
-  properties: {
-    events: {
-      type: "array",
-      minItems: 1,
-      items: {
-        anyOf: [
-          {
-            type: "object",
-            properties: {
-              type: {
-                type: "string",
-                enum: ["item-created"],
-                description: "Create a synced row. Omit item_id and payload.id; the tool generates the id."
-              },
-              dataset: {
-                type: "string",
-                description: "The synced dataset/table name from the schema documentation."
-              },
-              payload: {
-                type: "object",
-                additionalProperties: true,
-                not: { required: ["id"] },
-                description: "Column values for the new row, excluding id. Include all required non-id columns from the schema."
-              }
-            },
-            required: ["type", "dataset", "payload"],
-            additionalProperties: false
-          },
-          {
-            type: "object",
-            properties: {
-              type: {
-                type: "string",
-                enum: ["item-updated", "item-deleted"],
-                description: "Update or delete an existing synced row."
-              },
-              dataset: {
-                type: "string",
-                description: "The synced dataset/table name from the schema documentation."
-              },
-              item_id: {
-                type: "string",
-                description: "The stable id of the row being updated or deleted."
-              },
-              payload: {
-                type: "object",
-                additionalProperties: true,
-                description: "Changed column values for item-updated. Omit or pass {} for item-deleted."
-              }
-            },
-            required: ["type", "dataset", "item_id"],
-            additionalProperties: false
-          }
-        ]
-      },
-      description: "One or more CRDT mutation events to apply atomically."
-    }
-  },
-  required: ["events"],
-  additionalProperties: false
+const mutationInputSchema = jsonSchema({
+	type: "object",
+	properties: { events: {
+		type: "array",
+		minItems: 1,
+		items: { anyOf: [{
+			type: "object",
+			properties: {
+				type: {
+					type: "string",
+					enum: ["item-created"],
+					description: "Create a synced row. Omit item_id and payload.id; the tool generates the id."
+				},
+				dataset: {
+					type: "string",
+					description: "The synced dataset/table name from the schema documentation."
+				},
+				payload: {
+					type: "object",
+					additionalProperties: true,
+					not: { required: ["id"] },
+					description: "Column values for the new row, excluding id. Include all required non-id columns from the schema."
+				}
+			},
+			required: [
+				"type",
+				"dataset",
+				"payload"
+			],
+			additionalProperties: false
+		}, {
+			type: "object",
+			properties: {
+				type: {
+					type: "string",
+					enum: ["item-updated", "item-deleted"],
+					description: "Update or delete an existing synced row."
+				},
+				dataset: {
+					type: "string",
+					description: "The synced dataset/table name from the schema documentation."
+				},
+				item_id: {
+					type: "string",
+					description: "The stable id of the row being updated or deleted."
+				},
+				payload: {
+					type: "object",
+					additionalProperties: true,
+					description: "Changed column values for item-updated. Omit or pass {} for item-deleted."
+				}
+			},
+			required: [
+				"type",
+				"dataset",
+				"item_id"
+			],
+			additionalProperties: false
+		}] },
+		description: "One or more CRDT mutation events to apply atomically."
+	} },
+	required: ["events"],
+	additionalProperties: false
 });
+/**
+* AI SDK tools for a synced database. `access` is a factory because acquiring the database
+* may itself be async per call (e.g. resolving a Durable Object stub from another DO).
+*/
 function createDbTools(opts) {
-  const tools = {
-    getDbSchema: tool({
-      description: "Get the schema documentation for the synced SQLite database: tables, columns, types, and data conventions. Call this before reasoning about the data.",
-      inputSchema: emptyInputSchema,
-      execute: async () => {
-        const access = await opts.access();
-        return await access.getSchemaDoc();
-      }
-    }),
-    queryDb: tool({
-      description: "Run a read-only SQL query against the synced SQLite database. Only a single SELECT/WITH/VALUES statement is allowed \u2014 anything that writes is rejected. Pass values as ? placeholders via `parameters` instead of inlining them as literals. Results are capped; ask for fewer columns or add LIMIT/WHERE if `truncated` is true.",
-      inputSchema: queryInputSchema,
-      execute: async ({ sql, parameters }) => {
-        const access = await opts.access();
-        return await access.query({ sql, parameters });
-      }
-    })
-  };
-  if (opts.mutations) {
-    tools.mutateDb = tool({
-      description: "Apply one or more CRDT mutation events to the synced database. Use this for writes instead of SQL. Query the current data first when updating or deleting existing rows. Create events must omit ids: do not provide item_id or payload.id, because the tool generates ids and returns them. Create payloads must include all required non-id columns, update events should include only changed columns, and delete events should use an empty payload.",
-      inputSchema: mutationInputSchema,
-      execute: async (input) => {
-        const access = await opts.access();
-        if (!access.mutate) {
-          return { error: "Database mutations are not enabled for this access object." };
-        }
-        return await access.mutate(input);
-      }
-    });
-  }
-  return tools;
+	const tools = {
+		getDbSchema: tool({
+			description: "Get the schema documentation for the synced SQLite database: tables, columns, types, and data conventions. Call this before reasoning about the data.",
+			inputSchema: emptyInputSchema,
+			execute: async () => {
+				return await (await opts.access()).getSchemaDoc();
+			}
+		}),
+		queryDb: tool({
+			description: "Run a read-only SQL query against the synced SQLite database. Only a single SELECT/WITH/VALUES statement is allowed — anything that writes is rejected. Pass values as ? placeholders via `parameters` instead of inlining them as literals. Results are capped; ask for fewer columns or add LIMIT/WHERE if `truncated` is true.",
+			inputSchema: queryInputSchema,
+			execute: async ({ sql, parameters }) => {
+				return await (await opts.access()).query({
+					sql,
+					parameters
+				});
+			}
+		})
+	};
+	if (opts.mutations) tools.mutateDb = tool({
+		description: "Apply one or more CRDT mutation events to the synced database. Use this for writes instead of SQL. Query the current data first when updating or deleting existing rows. Create events must omit ids: do not provide item_id or payload.id, because the tool generates ids and returns them. Create payloads must include all required non-id columns, update events should include only changed columns, and delete events should use an empty payload.",
+		inputSchema: mutationInputSchema,
+		execute: async (input) => {
+			const access = await opts.access();
+			if (!access.mutate) return { error: "Database mutations are not enabled for this access object." };
+			return await access.mutate(input);
+		}
+	});
+	return tools;
 }
-export {
-  QueryGuardError,
-  createAiDbAccess,
-  createDbTools,
-  createQueryGuard,
-  createSchemaDoc,
-  runWithForcedRollback
-};
+//#endregion
+export { QueryGuardError, createAiDbAccess, createDbTools, createQueryGuard, createSchemaDoc, runWithForcedRollback };
+
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../src/db-access.ts","../src/query-guard.ts","../src/schema-doc.ts","../src/tools.ts"],"sourcesContent":["import {\n  type CrdtEventType,\n  CrdtEventValidationError,\n  type CrdtStorage,\n  generateId,\n  type OwnCrdtEvent,\n  type SyncDbSchema,\n} from \"@sqlite-sync/core\";\nimport { createQueryGuard, QueryGuardError } from \"./query-guard\";\nimport { createSchemaDoc, type SchemaDocContext } from \"./schema-doc\";\n\nexport type AiDbExecuteParams = {\n  sql: string;\n  parameters: readonly unknown[];\n};\n\n/**\n * Minimal executor contract for AI database access. Runtime-specific — inject the one that\n * matches where the storage lives; @sqlite-sync/cloudflare's `createKyselyExecutor` satisfies it.\n */\nexport type AiDbExecutor = {\n  execute<TResult = unknown>(query: AiDbExecuteParams): { rows: TResult[] };\n  transaction(callback: (tx: Pick<AiDbExecutor, \"execute\">) => void): void;\n};\n\nexport type AiQueryInput = {\n  sql: string;\n  parameters?: readonly unknown[];\n};\n\nexport type AiQueryResult =\n  | {\n      rows: Record<string, unknown>[];\n      rowCount: number;\n      truncated: boolean;\n    }\n  | {\n      error: string;\n    };\n\nexport type AiMutationEvent =\n  | {\n      type: \"item-created\";\n      dataset: string;\n      item_id?: never;\n      payload?: Record<string, unknown>;\n    }\n  | {\n      type: Exclude<CrdtEventType, \"item-created\">;\n      dataset: string;\n      item_id: string;\n      payload?: Record<string, unknown>;\n    };\n\nexport type AiMutationInput = {\n  events: AiMutationEvent[];\n};\n\nexport type AiMutationResult =\n  | {\n      applied: true;\n      eventCount: number;\n      createdIds: string[];\n    }\n  | {\n      error: string;\n      errors?: string[];\n    };\n\n/**\n * AI access to a synced database. Lives where the storage lives; its method names\n * are the RPC contract, so a DO stub proxying to these methods exposes the same surface\n * (promise-wrapped) and satisfies the tool layer's `DbToolsAccess`.\n *\n * `query` enforces read-only (single SELECT/WITH/VALUES statement, no write opcodes, executed\n * in a forced-rollback transaction) but reads are not restricted by table — the whole database\n * file is in scope for the agent, so don't colocate data the agent must not see.\n *\n * `mutate` is only present when `createAiDbAccess` receives a CRDT storage. Mutations are CRDT\n * events applied through sqlite-sync's normal own-event path, never direct SQL writes.\n */\nexport type AiDbAccess = {\n  getSchemaDoc(): string;\n  query(input: AiQueryInput): AiQueryResult;\n  mutate?(input: AiMutationInput): AiMutationResult;\n};\n\nfunction toBase64(bytes: Uint8Array): string {\n  let binary = \"\";\n  for (const byte of bytes) {\n    binary += String.fromCharCode(byte);\n  }\n  return btoa(binary);\n}\n\nexport function createAiDbAccess(opts: {\n  executor: AiDbExecutor;\n  storage?: Pick<CrdtStorage, \"applyOwnEvents\">;\n  syncDbSchema: SyncDbSchema;\n  context?: SchemaDocContext;\n  limits?: { maxRows?: number; maxCellChars?: number };\n}): AiDbAccess {\n  const schemaDoc = createSchemaDoc({ syncDbSchema: opts.syncDbSchema, context: opts.context });\n  const guard = createQueryGuard({ executor: opts.executor });\n  const maxRows = opts.limits?.maxRows ?? 200;\n  const maxCellChars = opts.limits?.maxCellChars ?? 2000;\n\n  const access: AiDbAccess = {\n    getSchemaDoc() {\n      return schemaDoc;\n    },\n    query(input) {\n      let resultRows: Record<string, unknown>[];\n      try {\n        resultRows = guard.execute<Record<string, unknown>>(input).rows;\n      } catch (error) {\n        if (error instanceof QueryGuardError) {\n          return { error: error.message };\n        }\n        throw error;\n      }\n\n      let truncated = resultRows.length > maxRows;\n\n      function shapeCell(value: unknown): unknown {\n        if (value instanceof Uint8Array) {\n          // Base64 inflates by 4/3, so budget the encoded length against the cell cap.\n          if (Math.ceil(value.byteLength / 3) * 4 <= maxCellChars) {\n            return `<blob base64 ${toBase64(value)}>`;\n          }\n          truncated = true;\n          return `<blob ${value.byteLength} bytes>`;\n        }\n        if (typeof value === \"string\" && value.length > maxCellChars) {\n          truncated = true;\n          return `${value.slice(0, maxCellChars)}…`;\n        }\n        return value;\n      }\n\n      const rows = resultRows\n        .slice(0, maxRows)\n        .map((row) => Object.fromEntries(Object.entries(row).map(([column, value]) => [column, shapeCell(value)])));\n\n      return { rows, rowCount: resultRows.length, truncated };\n    },\n  };\n\n  const storage = opts.storage;\n  if (storage) {\n    access.mutate = (input) => {\n      const errors: string[] = [];\n      const createdIds: string[] = [];\n      const events: OwnCrdtEvent[] = [];\n\n      for (const [index, event] of input.events.entries()) {\n        if (event.type === \"item-created\") {\n          const looseEvent = event as { item_id?: unknown };\n          const payload = event.payload ?? {};\n          if (looseEvent.item_id !== undefined) {\n            errors.push(`[${index}] item-created events must omit item_id; an id is generated automatically`);\n          }\n          if (\"id\" in payload) {\n            errors.push(`[${index}] item-created payload must omit id; an id is generated automatically`);\n          }\n          if (looseEvent.item_id !== undefined || \"id\" in payload) {\n            continue;\n          }\n\n          const id = generateId();\n          createdIds.push(id);\n          events.push({\n            type: \"item-created\",\n            dataset: event.dataset,\n            item_id: id,\n            payload: JSON.stringify({ ...payload, id }),\n          });\n          continue;\n        }\n\n        events.push({\n          type: event.type,\n          dataset: event.dataset,\n          item_id: event.item_id,\n          payload: JSON.stringify(event.payload ?? {}),\n        });\n      }\n\n      if (errors.length > 0) {\n        return { error: `Invalid mutation events: ${errors.join(\"; \")}`, errors };\n      }\n\n      try {\n        storage.applyOwnEvents(events);\n      } catch (error) {\n        if (error instanceof CrdtEventValidationError) {\n          return { error: error.message, errors: error.errors };\n        }\n        throw error;\n      }\n\n      return { applied: true, eventCount: events.length, createdIds };\n    };\n  }\n\n  return access;\n}\n","import type { AiDbExecutor } from \"./db-access\";\n\nexport type QueryGuardInput = {\n  sql: string;\n  parameters?: readonly unknown[];\n};\n\nexport type QueryGuardRejection = {\n  allowed: false;\n  code: \"invalid-statement\" | \"multi-statement\" | \"invalid-sql\" | \"write-detected\";\n  message: string;\n};\n\nexport type QueryGuardVerdict = { allowed: true } | QueryGuardRejection;\n\nexport class QueryGuardError extends Error {\n  readonly rejection: QueryGuardRejection;\n\n  constructor(rejection: QueryGuardRejection) {\n    super(rejection.message);\n    this.name = \"QueryGuardError\";\n    this.rejection = rejection;\n  }\n}\n\nexport type QueryGuard = {\n  /**\n   * Statically verifies the query is a read-only single statement. Reads are not restricted\n   * by table — the whole database file is in scope for the agent, so don't colocate data the\n   * agent must not see.\n   */\n  check(input: QueryGuardInput): QueryGuardVerdict;\n  /**\n   * `check` + execute inside a forced-rollback transaction (the unconditional backstop for\n   * anything the analysis might miss). Throws {@link QueryGuardError} when the check rejects.\n   */\n  execute<TResult = unknown>(input: QueryGuardInput): { rows: TResult[] };\n};\n\n/**\n * Opcodes that prove a statement is not read-only. `OpenWrite` covers row-level writes (every\n * real-table mutation opens its cursor through it), `Clear`/`Destroy` cover whole-table\n * deletes that skip cursors (truncate optimization), the rest cover DDL, pragma-class\n * statements (which a transaction rollback would NOT undo), virtual-table writes, and trigger\n * subprograms. `Insert`/`Delete`/`IdxInsert` are deliberately absent — they also run against\n * ephemeral/sorter cursors in ordinary SELECTs (DISTINCT, ORDER BY) and are only dangerous on\n * a cursor an `OpenWrite` would have created.\n */\nconst WRITE_OPCODES = new Set([\n  \"OpenWrite\",\n  \"Clear\",\n  \"Destroy\",\n  \"CreateBtree\",\n  \"SqlExec\",\n  \"ParseSchema\",\n  \"DropTable\",\n  \"DropIndex\",\n  \"DropTrigger\",\n  \"SetCookie\",\n  \"JournalMode\",\n  \"Vacuum\",\n  \"IncrVacuum\",\n  \"Checkpoint\",\n  \"MaxPgcnt\",\n  \"Expire\",\n  \"AutoCommit\",\n  \"VUpdate\",\n  \"VCreate\",\n  \"VDestroy\",\n  \"Program\",\n]);\n\ntype ExplainRow = {\n  opcode: string;\n};\n\nconst READ_STATEMENT_PREFIXES = [\"select\", \"with\", \"values\"];\n\nexport function createQueryGuard(opts: { executor: AiDbExecutor }): QueryGuard {\n  function reject(code: QueryGuardRejection[\"code\"], message: string): QueryGuardRejection {\n    return { allowed: false, code, message };\n  }\n\n  function check(input: QueryGuardInput): QueryGuardVerdict {\n    let body = input.sql.trim();\n    while (body.endsWith(\";\")) {\n      body = body.slice(0, -1).trimEnd();\n    }\n\n    if (body.includes(\";\")) {\n      return reject(\n        \"multi-statement\",\n        \"Only a single SQL statement is allowed per query, and semicolons are only allowed at the very end. If the semicolon is inside a string literal, pass the value as a bound parameter instead.\",\n      );\n    }\n\n    const lowered = body.toLowerCase();\n    if (!READ_STATEMENT_PREFIXES.some((keyword) => lowered.startsWith(keyword))) {\n      return reject(\n        \"invalid-statement\",\n        \"Only read-only queries are allowed: the statement must start directly with SELECT, WITH, or VALUES (no leading comments).\",\n      );\n    }\n\n    let operations: ExplainRow[];\n    try {\n      operations = opts.executor.execute<ExplainRow>({\n        sql: `EXPLAIN ${input.sql}`,\n        parameters: input.parameters ?? [],\n      }).rows;\n    } catch (error) {\n      return reject(\"invalid-sql\", `SQL error: ${error instanceof Error ? error.message : String(error)}`);\n    }\n\n    for (const operation of operations) {\n      if (WRITE_OPCODES.has(operation.opcode)) {\n        return reject(\n          \"write-detected\",\n          `The statement was rejected because it would modify the database (${operation.opcode}). This tool is strictly read-only; rewrite the query as a pure SELECT.`,\n        );\n      }\n    }\n\n    return { allowed: true };\n  }\n\n  return {\n    check,\n    execute(input) {\n      const verdict = check(input);\n      if (!verdict.allowed) {\n        throw new QueryGuardError(verdict);\n      }\n      return runWithForcedRollback(opts.executor, (tx) => {\n        return tx.execute({ sql: input.sql, parameters: input.parameters ?? [] });\n      });\n    },\n  };\n}\n\n/**\n * Runs `callback` in a transaction that is always rolled back (via a sentinel throw, relying\n * on the {@link AiDbExecutor} contract that a throwing callback rolls back). This is the\n * unconditional write guard backing any gap in the static analysis.\n */\nexport function runWithForcedRollback<T>(\n  executor: Pick<AiDbExecutor, \"transaction\">,\n  callback: (tx: Pick<AiDbExecutor, \"execute\">) => T,\n): T {\n  let result: T | undefined;\n  let completed = false;\n  const rollbackSentinel = new Error(\"forced read-only rollback\");\n\n  try {\n    executor.transaction((tx) => {\n      result = callback(tx);\n      completed = true;\n      throw rollbackSentinel;\n    });\n  } catch (error) {\n    if (error !== rollbackSentinel) {\n      throw error;\n    }\n  }\n\n  if (!completed) {\n    throw new Error(\"Transaction completed without running the callback\");\n  }\n  return result as T;\n}\n","import type { ColumnMeta, SyncDbSchema } from \"@sqlite-sync/core\";\n\nexport type SchemaDocContext = {\n  overview?: string;\n};\n\n// Library mechanics every generated doc should explain, so consumers only have to describe\n// their own domain in `context`. Kept free of tombstone-column details the agent never sees.\nconst SCHEMA_DOC_PREAMBLE = [\n  \"This is a synced SQLite database — data replicates automatically between the user's devices.\",\n  \"All writes go through a sync event log, which is why the tables listed below are exposed as\",\n  \"read-only SQL views; soft-deleted rows are already filtered out, so query them directly\",\n  \"without any tombstone filtering. Every table has a unique `id` text primary key.\",\n].join(\"\\n\");\n\nfunction renderColumn(name: string, meta: ColumnMeta): string {\n  let line = `- \\`${name}\\` ${meta.sqlType.toUpperCase()}`;\n  if (!meta.nullable) {\n    line += \" NOT NULL\";\n  }\n  if (meta.kind === \"boolean\") {\n    line += \" (boolean 0/1)\";\n  } else if (meta.kind === \"enum\") {\n    line += ` (one of ${(meta.enumValues ?? []).map((value) => `\"${value}\"`).join(\" | \")})`;\n  }\n  return meta.description ? `${line} — ${meta.description}` : line;\n}\n\n/**\n * Generates a markdown schema doc for an AI agent from the declared sync schema's table\n * builders — no database access needed. Tables are presented under the view names the agent\n * queries; descriptions come from `.describe()` on the table and column builders.\n * The internal `tombstone` column is omitted.\n *\n * The doc always includes a built-in preamble explaining sqlite-sync mechanics (read-only\n * views, soft-deletes already filtered) after the consumer's `overview` — consumers only\n * need to describe their own domain.\n */\nexport function createSchemaDoc(opts: { syncDbSchema: SyncDbSchema; context?: SchemaDocContext }): string {\n  const sections: string[] = [];\n\n  const overview = opts.context?.overview?.trim();\n  if (overview) {\n    sections.push(overview);\n  }\n  sections.push(SCHEMA_DOC_PREAMBLE);\n\n  for (const [crdtTableName, table] of Object.entries(opts.syncDbSchema.tables)) {\n    const lines = [`## ${crdtTableName}`];\n    if (table.description) {\n      lines.push(\"\", table.description.trim());\n    }\n    lines.push(\"\", \"Columns:\");\n    for (const [name, meta] of Object.entries(table.columns)) {\n      if (name === \"tombstone\") continue;\n      lines.push(renderColumn(name, meta));\n    }\n    sections.push(lines.join(\"\\n\"));\n  }\n\n  sections.push(CHANGE_HISTORY_DOC);\n\n  return sections.join(\"\\n\\n\");\n}\n\n// Documents the curated `change_history` view created over the sync event log. Unlike the table\n// views above, it is NOT tombstone-filtered — it intentionally surfaces the full change log,\n// including the contents of since-deleted items.\nconst CHANGE_HISTORY_DOC = [\n  \"## change_history\",\n  \"\",\n  \"A read-only, append-only log of every change across all tables, one row per sync event.\",\n  \"Query it like any other view. Unlike the tables above, soft-delete filtering does NOT apply\",\n  \"here — it includes changes to items that were later deleted, so treat it as an audit log.\",\n  \"\",\n  \"Columns:\",\n  \"- `seq` INTEGER NOT NULL — monotonic sequence number; **order history by this** (ascending = oldest first)\",\n  \"- `dataset` TEXT NOT NULL — which table the change applies to (matches a table name above)\",\n  \"- `item_id` TEXT NOT NULL — the `id` of the affected row\",\n  '- `change_type` TEXT NOT NULL (one of \"item-created\" | \"item-updated\" | \"item-deleted\")',\n  '- `status` TEXT NOT NULL (one of \"applied\" | \"pending\" | \"failed\" | \"deduped\") — \"applied\" took effect; \"failed\" did not; filter to `status = \\'applied\\'` for the effective history',\n  '- `origin` TEXT NOT NULL — where the change came from (e.g. \"own\", \"remote\", \"local\")',\n  \"- `timestamp` TEXT NOT NULL — opaque hybrid-logical-clock string; do NOT parse it as a date, order by `seq` instead\",\n  \"- `changes` TEXT NOT NULL — JSON of what the change set: the changed columns only for item-updated, the full initial row for item-created, `{}` for item-deleted. Use `json_extract(changes, '$.column')` to read a field.\",\n].join(\"\\n\");\n","import { jsonSchema, type ToolSet, tool } from \"ai\";\nimport type { AiMutationInput, AiMutationResult, AiQueryInput, AiQueryResult } from \"./db-access\";\n\ntype MaybePromise<T> = T | Promise<T>;\n\n/**\n * What the tools need from the database side. Satisfied directly by `AiDbAccess`, or by a\n * Durable Object stub whose RPC methods delegate to one (RPC wraps returns in promises).\n */\nexport type DbToolsAccess = {\n  getSchemaDoc(): MaybePromise<string>;\n  query(input: AiQueryInput): MaybePromise<AiQueryResult>;\n  mutate?(input: AiMutationInput): MaybePromise<AiMutationResult>;\n};\n\nexport type CreateDbToolsOptions = {\n  access: () => MaybePromise<DbToolsAccess>;\n  /** Expose the write-capable `mutateDb` tool. The access object must also implement `mutate`. */\n  mutations?: boolean;\n};\n\nconst emptyInputSchema = jsonSchema<Record<string, never>>({\n  type: \"object\",\n  properties: {},\n  additionalProperties: false,\n});\n\nconst queryInputSchema = jsonSchema<{ sql: string; parameters?: unknown[] }>({\n  type: \"object\",\n  properties: {\n    sql: {\n      type: \"string\",\n      description:\n        \"A single read-only SQLite statement starting with SELECT, WITH, or VALUES. Use ? placeholders for values.\",\n    },\n    parameters: {\n      type: \"array\",\n      items: { type: [\"string\", \"number\", \"boolean\", \"null\"] },\n      description: \"Values bound to the ? placeholders, in order.\",\n    },\n  },\n  required: [\"sql\"],\n  additionalProperties: false,\n});\n\nconst mutationInputSchema = jsonSchema<AiMutationInput>({\n  type: \"object\",\n  properties: {\n    events: {\n      type: \"array\",\n      minItems: 1,\n      items: {\n        anyOf: [\n          {\n            type: \"object\",\n            properties: {\n              type: {\n                type: \"string\",\n                enum: [\"item-created\"],\n                description: \"Create a synced row. Omit item_id and payload.id; the tool generates the id.\",\n              },\n              dataset: {\n                type: \"string\",\n                description: \"The synced dataset/table name from the schema documentation.\",\n              },\n              payload: {\n                type: \"object\",\n                additionalProperties: true,\n                not: { required: [\"id\"] },\n                description:\n                  \"Column values for the new row, excluding id. Include all required non-id columns from the schema.\",\n              },\n            },\n            required: [\"type\", \"dataset\", \"payload\"],\n            additionalProperties: false,\n          },\n          {\n            type: \"object\",\n            properties: {\n              type: {\n                type: \"string\",\n                enum: [\"item-updated\", \"item-deleted\"],\n                description: \"Update or delete an existing synced row.\",\n              },\n              dataset: {\n                type: \"string\",\n                description: \"The synced dataset/table name from the schema documentation.\",\n              },\n              item_id: {\n                type: \"string\",\n                description: \"The stable id of the row being updated or deleted.\",\n              },\n              payload: {\n                type: \"object\",\n                additionalProperties: true,\n                description: \"Changed column values for item-updated. Omit or pass {} for item-deleted.\",\n              },\n            },\n            required: [\"type\", \"dataset\", \"item_id\"],\n            additionalProperties: false,\n          },\n        ],\n      },\n      description: \"One or more CRDT mutation events to apply atomically.\",\n    },\n  },\n  required: [\"events\"],\n  additionalProperties: false,\n});\n\n/**\n * AI SDK tools for a synced database. `access` is a factory because acquiring the database\n * may itself be async per call (e.g. resolving a Durable Object stub from another DO).\n */\nexport function createDbTools(opts: CreateDbToolsOptions): ToolSet {\n  const tools: ToolSet = {\n    getDbSchema: tool({\n      description:\n        \"Get the schema documentation for the synced SQLite database: tables, columns, types, and data conventions. Call this before reasoning about the data.\",\n      inputSchema: emptyInputSchema,\n      execute: async () => {\n        const access = await opts.access();\n        return await access.getSchemaDoc();\n      },\n    }),\n    queryDb: tool({\n      description:\n        \"Run a read-only SQL query against the synced SQLite database. Only a single SELECT/WITH/VALUES statement is allowed — anything that writes is rejected. Pass values as ? placeholders via `parameters` instead of inlining them as literals. Results are capped; ask for fewer columns or add LIMIT/WHERE if `truncated` is true.\",\n      inputSchema: queryInputSchema,\n      execute: async ({ sql, parameters }) => {\n        const access = await opts.access();\n        return await access.query({ sql, parameters });\n      },\n    }),\n  };\n\n  if (opts.mutations) {\n    tools.mutateDb = tool({\n      description:\n        \"Apply one or more CRDT mutation events to the synced database. Use this for writes instead of SQL. Query the current data first when updating or deleting existing rows. Create events must omit ids: do not provide item_id or payload.id, because the tool generates ids and returns them. Create payloads must include all required non-id columns, update events should include only changed columns, and delete events should use an empty payload.\",\n      inputSchema: mutationInputSchema,\n      execute: async (input) => {\n        const access = await opts.access();\n        if (!access.mutate) {\n          return { error: \"Database mutations are not enabled for this access object.\" } satisfies AiMutationResult;\n        }\n        return await access.mutate(input);\n      },\n    });\n  }\n\n  return tools;\n}\n"],"mappings":";AAAA;AAAA,EAEE;AAAA,EAEA;AAAA,OAGK;;;ACQA,IAAM,kBAAN,cAA8B,MAAM;AAAA,EAChC;AAAA,EAET,YAAY,WAAgC;AAC1C,UAAM,UAAU,OAAO;AACvB,SAAK,OAAO;AACZ,SAAK,YAAY;AAAA,EACnB;AACF;AAyBA,IAAM,gBAAgB,oBAAI,IAAI;AAAA,EAC5B;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AACF,CAAC;AAMD,IAAM,0BAA0B,CAAC,UAAU,QAAQ,QAAQ;AAEpD,SAAS,iBAAiB,MAA8C;AAC7E,WAAS,OAAO,MAAmC,SAAsC;AACvF,WAAO,EAAE,SAAS,OAAO,MAAM,QAAQ;AAAA,EACzC;AAEA,WAAS,MAAM,OAA2C;AACxD,QAAI,OAAO,MAAM,IAAI,KAAK;AAC1B,WAAO,KAAK,SAAS,GAAG,GAAG;AACzB,aAAO,KAAK,MAAM,GAAG,EAAE,EAAE,QAAQ;AAAA,IACnC;AAEA,QAAI,KAAK,SAAS,GAAG,GAAG;AACtB,aAAO;AAAA,QACL;AAAA,QACA;AAAA,MACF;AAAA,IACF;AAEA,UAAM,UAAU,KAAK,YAAY;AACjC,QAAI,CAAC,wBAAwB,KAAK,CAAC,YAAY,QAAQ,WAAW,OAAO,CAAC,GAAG;AAC3E,aAAO;AAAA,QACL;AAAA,QACA;AAAA,MACF;AAAA,IACF;AAEA,QAAI;AACJ,QAAI;AACF,mBAAa,KAAK,SAAS,QAAoB;AAAA,QAC7C,KAAK,WAAW,MAAM,GAAG;AAAA,QACzB,YAAY,MAAM,cAAc,CAAC;AAAA,MACnC,CAAC,EAAE;AAAA,IACL,SAAS,OAAO;AACd,aAAO,OAAO,eAAe,cAAc,iBAAiB,QAAQ,MAAM,UAAU,OAAO,KAAK,CAAC,EAAE;AAAA,IACrG;AAEA,eAAW,aAAa,YAAY;AAClC,UAAI,cAAc,IAAI,UAAU,MAAM,GAAG;AACvC,eAAO;AAAA,UACL;AAAA,UACA,oEAAoE,UAAU,MAAM;AAAA,QACtF;AAAA,MACF;AAAA,IACF;AAEA,WAAO,EAAE,SAAS,KAAK;AAAA,EACzB;AAEA,SAAO;AAAA,IACL;AAAA,IACA,QAAQ,OAAO;AACb,YAAM,UAAU,MAAM,KAAK;AAC3B,UAAI,CAAC,QAAQ,SAAS;AACpB,cAAM,IAAI,gBAAgB,OAAO;AAAA,MACnC;AACA,aAAO,sBAAsB,KAAK,UAAU,CAAC,OAAO;AAClD,eAAO,GAAG,QAAQ,EAAE,KAAK,MAAM,KAAK,YAAY,MAAM,cAAc,CAAC,EAAE,CAAC;AAAA,MAC1E,CAAC;AAAA,IACH;AAAA,EACF;AACF;AAOO,SAAS,sBACd,UACA,UACG;AACH,MAAI;AACJ,MAAI,YAAY;AAChB,QAAM,mBAAmB,IAAI,MAAM,2BAA2B;AAE9D,MAAI;AACF,aAAS,YAAY,CAAC,OAAO;AAC3B,eAAS,SAAS,EAAE;AACpB,kBAAY;AACZ,YAAM;AAAA,IACR,CAAC;AAAA,EACH,SAAS,OAAO;AACd,QAAI,UAAU,kBAAkB;AAC9B,YAAM;AAAA,IACR;AAAA,EACF;AAEA,MAAI,CAAC,WAAW;AACd,UAAM,IAAI,MAAM,oDAAoD;AAAA,EACtE;AACA,SAAO;AACT;;;ACjKA,IAAM,sBAAsB;AAAA,EAC1B;AAAA,EACA;AAAA,EACA;AAAA,EACA;AACF,EAAE,KAAK,IAAI;AAEX,SAAS,aAAa,MAAc,MAA0B;AAC5D,MAAI,OAAO,OAAO,IAAI,MAAM,KAAK,QAAQ,YAAY,CAAC;AACtD,MAAI,CAAC,KAAK,UAAU;AAClB,YAAQ;AAAA,EACV;AACA,MAAI,KAAK,SAAS,WAAW;AAC3B,YAAQ;AAAA,EACV,WAAW,KAAK,SAAS,QAAQ;AAC/B,YAAQ,aAAa,KAAK,cAAc,CAAC,GAAG,IAAI,CAAC,UAAU,IAAI,KAAK,GAAG,EAAE,KAAK,KAAK,CAAC;AAAA,EACtF;AACA,SAAO,KAAK,cAAc,GAAG,IAAI,WAAM,KAAK,WAAW,KAAK;AAC9D;AAYO,SAAS,gBAAgB,MAA0E;AACxG,QAAM,WAAqB,CAAC;AAE5B,QAAM,WAAW,KAAK,SAAS,UAAU,KAAK;AAC9C,MAAI,UAAU;AACZ,aAAS,KAAK,QAAQ;AAAA,EACxB;AACA,WAAS,KAAK,mBAAmB;AAEjC,aAAW,CAAC,eAAe,KAAK,KAAK,OAAO,QAAQ,KAAK,aAAa,MAAM,GAAG;AAC7E,UAAM,QAAQ,CAAC,MAAM,aAAa,EAAE;AACpC,QAAI,MAAM,aAAa;AACrB,YAAM,KAAK,IAAI,MAAM,YAAY,KAAK,CAAC;AAAA,IACzC;AACA,UAAM,KAAK,IAAI,UAAU;AACzB,eAAW,CAAC,MAAM,IAAI,KAAK,OAAO,QAAQ,MAAM,OAAO,GAAG;AACxD,UAAI,SAAS,YAAa;AAC1B,YAAM,KAAK,aAAa,MAAM,IAAI,CAAC;AAAA,IACrC;AACA,aAAS,KAAK,MAAM,KAAK,IAAI,CAAC;AAAA,EAChC;AAEA,WAAS,KAAK,kBAAkB;AAEhC,SAAO,SAAS,KAAK,MAAM;AAC7B;AAKA,IAAM,qBAAqB;AAAA,EACzB;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AACF,EAAE,KAAK,IAAI;;;AFGX,SAAS,SAAS,OAA2B;AAC3C,MAAI,SAAS;AACb,aAAW,QAAQ,OAAO;AACxB,cAAU,OAAO,aAAa,IAAI;AAAA,EACpC;AACA,SAAO,KAAK,MAAM;AACpB;AAEO,SAAS,iBAAiB,MAMlB;AACb,QAAM,YAAY,gBAAgB,EAAE,cAAc,KAAK,cAAc,SAAS,KAAK,QAAQ,CAAC;AAC5F,QAAM,QAAQ,iBAAiB,EAAE,UAAU,KAAK,SAAS,CAAC;AAC1D,QAAM,UAAU,KAAK,QAAQ,WAAW;AACxC,QAAM,eAAe,KAAK,QAAQ,gBAAgB;AAElD,QAAM,SAAqB;AAAA,IACzB,eAAe;AACb,aAAO;AAAA,IACT;AAAA,IACA,MAAM,OAAO;AACX,UAAI;AACJ,UAAI;AACF,qBAAa,MAAM,QAAiC,KAAK,EAAE;AAAA,MAC7D,SAAS,OAAO;AACd,YAAI,iBAAiB,iBAAiB;AACpC,iBAAO,EAAE,OAAO,MAAM,QAAQ;AAAA,QAChC;AACA,cAAM;AAAA,MACR;AAEA,UAAI,YAAY,WAAW,SAAS;AAEpC,eAAS,UAAU,OAAyB;AAC1C,YAAI,iBAAiB,YAAY;AAE/B,cAAI,KAAK,KAAK,MAAM,aAAa,CAAC,IAAI,KAAK,cAAc;AACvD,mBAAO,gBAAgB,SAAS,KAAK,CAAC;AAAA,UACxC;AACA,sBAAY;AACZ,iBAAO,SAAS,MAAM,UAAU;AAAA,QAClC;AACA,YAAI,OAAO,UAAU,YAAY,MAAM,SAAS,cAAc;AAC5D,sBAAY;AACZ,iBAAO,GAAG,MAAM,MAAM,GAAG,YAAY,CAAC;AAAA,QACxC;AACA,eAAO;AAAA,MACT;AAEA,YAAM,OAAO,WACV,MAAM,GAAG,OAAO,EAChB,IAAI,CAAC,QAAQ,OAAO,YAAY,OAAO,QAAQ,GAAG,EAAE,IAAI,CAAC,CAAC,QAAQ,KAAK,MAAM,CAAC,QAAQ,UAAU,KAAK,CAAC,CAAC,CAAC,CAAC;AAE5G,aAAO,EAAE,MAAM,UAAU,WAAW,QAAQ,UAAU;AAAA,IACxD;AAAA,EACF;AAEA,QAAM,UAAU,KAAK;AACrB,MAAI,SAAS;AACX,WAAO,SAAS,CAAC,UAAU;AACzB,YAAM,SAAmB,CAAC;AAC1B,YAAM,aAAuB,CAAC;AAC9B,YAAM,SAAyB,CAAC;AAEhC,iBAAW,CAAC,OAAO,KAAK,KAAK,MAAM,OAAO,QAAQ,GAAG;AACnD,YAAI,MAAM,SAAS,gBAAgB;AACjC,gBAAM,aAAa;AACnB,gBAAM,UAAU,MAAM,WAAW,CAAC;AAClC,cAAI,WAAW,YAAY,QAAW;AACpC,mBAAO,KAAK,IAAI,KAAK,2EAA2E;AAAA,UAClG;AACA,cAAI,QAAQ,SAAS;AACnB,mBAAO,KAAK,IAAI,KAAK,uEAAuE;AAAA,UAC9F;AACA,cAAI,WAAW,YAAY,UAAa,QAAQ,SAAS;AACvD;AAAA,UACF;AAEA,gBAAM,KAAK,WAAW;AACtB,qBAAW,KAAK,EAAE;AAClB,iBAAO,KAAK;AAAA,YACV,MAAM;AAAA,YACN,SAAS,MAAM;AAAA,YACf,SAAS;AAAA,YACT,SAAS,KAAK,UAAU,EAAE,GAAG,SAAS,GAAG,CAAC;AAAA,UAC5C,CAAC;AACD;AAAA,QACF;AAEA,eAAO,KAAK;AAAA,UACV,MAAM,MAAM;AAAA,UACZ,SAAS,MAAM;AAAA,UACf,SAAS,MAAM;AAAA,UACf,SAAS,KAAK,UAAU,MAAM,WAAW,CAAC,CAAC;AAAA,QAC7C,CAAC;AAAA,MACH;AAEA,UAAI,OAAO,SAAS,GAAG;AACrB,eAAO,EAAE,OAAO,4BAA4B,OAAO,KAAK,IAAI,CAAC,IAAI,OAAO;AAAA,MAC1E;AAEA,UAAI;AACF,gBAAQ,eAAe,MAAM;AAAA,MAC/B,SAAS,OAAO;AACd,YAAI,iBAAiB,0BAA0B;AAC7C,iBAAO,EAAE,OAAO,MAAM,SAAS,QAAQ,MAAM,OAAO;AAAA,QACtD;AACA,cAAM;AAAA,MACR;AAEA,aAAO,EAAE,SAAS,MAAM,YAAY,OAAO,QAAQ,WAAW;AAAA,IAChE;AAAA,EACF;AAEA,SAAO;AACT;;;AG9MA,SAAS,YAA0B,YAAY;AAqB/C,IAAM,mBAAmB,WAAkC;AAAA,EACzD,MAAM;AAAA,EACN,YAAY,CAAC;AAAA,EACb,sBAAsB;AACxB,CAAC;AAED,IAAM,mBAAmB,WAAoD;AAAA,EAC3E,MAAM;AAAA,EACN,YAAY;AAAA,IACV,KAAK;AAAA,MACH,MAAM;AAAA,MACN,aACE;AAAA,IACJ;AAAA,IACA,YAAY;AAAA,MACV,MAAM;AAAA,MACN,OAAO,EAAE,MAAM,CAAC,UAAU,UAAU,WAAW,MAAM,EAAE;AAAA,MACvD,aAAa;AAAA,IACf;AAAA,EACF;AAAA,EACA,UAAU,CAAC,KAAK;AAAA,EAChB,sBAAsB;AACxB,CAAC;AAED,IAAM,sBAAsB,WAA4B;AAAA,EACtD,MAAM;AAAA,EACN,YAAY;AAAA,IACV,QAAQ;AAAA,MACN,MAAM;AAAA,MACN,UAAU;AAAA,MACV,OAAO;AAAA,QACL,OAAO;AAAA,UACL;AAAA,YACE,MAAM;AAAA,YACN,YAAY;AAAA,cACV,MAAM;AAAA,gBACJ,MAAM;AAAA,gBACN,MAAM,CAAC,cAAc;AAAA,gBACrB,aAAa;AAAA,cACf;AAAA,cACA,SAAS;AAAA,gBACP,MAAM;AAAA,gBACN,aAAa;AAAA,cACf;AAAA,cACA,SAAS;AAAA,gBACP,MAAM;AAAA,gBACN,sBAAsB;AAAA,gBACtB,KAAK,EAAE,UAAU,CAAC,IAAI,EAAE;AAAA,gBACxB,aACE;AAAA,cACJ;AAAA,YACF;AAAA,YACA,UAAU,CAAC,QAAQ,WAAW,SAAS;AAAA,YACvC,sBAAsB;AAAA,UACxB;AAAA,UACA;AAAA,YACE,MAAM;AAAA,YACN,YAAY;AAAA,cACV,MAAM;AAAA,gBACJ,MAAM;AAAA,gBACN,MAAM,CAAC,gBAAgB,cAAc;AAAA,gBACrC,aAAa;AAAA,cACf;AAAA,cACA,SAAS;AAAA,gBACP,MAAM;AAAA,gBACN,aAAa;AAAA,cACf;AAAA,cACA,SAAS;AAAA,gBACP,MAAM;AAAA,gBACN,aAAa;AAAA,cACf;AAAA,cACA,SAAS;AAAA,gBACP,MAAM;AAAA,gBACN,sBAAsB;AAAA,gBACtB,aAAa;AAAA,cACf;AAAA,YACF;AAAA,YACA,UAAU,CAAC,QAAQ,WAAW,SAAS;AAAA,YACvC,sBAAsB;AAAA,UACxB;AAAA,QACF;AAAA,MACF;AAAA,MACA,aAAa;AAAA,IACf;AAAA,EACF;AAAA,EACA,UAAU,CAAC,QAAQ;AAAA,EACnB,sBAAsB;AACxB,CAAC;AAMM,SAAS,cAAc,MAAqC;AACjE,QAAM,QAAiB;AAAA,IACrB,aAAa,KAAK;AAAA,MAChB,aACE;AAAA,MACF,aAAa;AAAA,MACb,SAAS,YAAY;AACnB,cAAM,SAAS,MAAM,KAAK,OAAO;AACjC,eAAO,MAAM,OAAO,aAAa;AAAA,MACnC;AAAA,IACF,CAAC;AAAA,IACD,SAAS,KAAK;AAAA,MACZ,aACE;AAAA,MACF,aAAa;AAAA,MACb,SAAS,OAAO,EAAE,KAAK,WAAW,MAAM;AACtC,cAAM,SAAS,MAAM,KAAK,OAAO;AACjC,eAAO,MAAM,OAAO,MAAM,EAAE,KAAK,WAAW,CAAC;AAAA,MAC/C;AAAA,IACF,CAAC;AAAA,EACH;AAEA,MAAI,KAAK,WAAW;AAClB,UAAM,WAAW,KAAK;AAAA,MACpB,aACE;AAAA,MACF,aAAa;AAAA,MACb,SAAS,OAAO,UAAU;AACxB,cAAM,SAAS,MAAM,KAAK,OAAO;AACjC,YAAI,CAAC,OAAO,QAAQ;AAClB,iBAAO,EAAE,OAAO,6DAA6D;AAAA,QAC/E;AACA,eAAO,MAAM,OAAO,OAAO,KAAK;AAAA,MAClC;AAAA,IACF,CAAC;AAAA,EACH;AAEA,SAAO;AACT;","names":[]}
+{"version":3,"file":"index.js","names":[],"sources":["../src/query-guard.ts","../src/schema-doc.ts","../src/db-access.ts","../src/tools.ts"],"sourcesContent":["import type { AiDbExecutor } from \"./db-access\";\n\nexport type QueryGuardInput = {\n  sql: string;\n  parameters?: readonly unknown[];\n};\n\nexport type QueryGuardRejection = {\n  allowed: false;\n  code: \"invalid-statement\" | \"multi-statement\" | \"invalid-sql\" | \"write-detected\";\n  message: string;\n};\n\nexport type QueryGuardVerdict = { allowed: true } | QueryGuardRejection;\n\nexport class QueryGuardError extends Error {\n  readonly rejection: QueryGuardRejection;\n\n  constructor(rejection: QueryGuardRejection) {\n    super(rejection.message);\n    this.name = \"QueryGuardError\";\n    this.rejection = rejection;\n  }\n}\n\nexport type QueryGuard = {\n  /**\n   * Statically verifies the query is a read-only single statement. Reads are not restricted\n   * by table — the whole database file is in scope for the agent, so don't colocate data the\n   * agent must not see.\n   */\n  check(input: QueryGuardInput): QueryGuardVerdict;\n  /**\n   * `check` + execute inside a forced-rollback transaction (the unconditional backstop for\n   * anything the analysis might miss). Throws {@link QueryGuardError} when the check rejects.\n   */\n  execute<TResult = unknown>(input: QueryGuardInput): { rows: TResult[] };\n};\n\n/**\n * Opcodes that prove a statement is not read-only. `OpenWrite` covers row-level writes (every\n * real-table mutation opens its cursor through it), `Clear`/`Destroy` cover whole-table\n * deletes that skip cursors (truncate optimization), the rest cover DDL, pragma-class\n * statements (which a transaction rollback would NOT undo), virtual-table writes, and trigger\n * subprograms. `Insert`/`Delete`/`IdxInsert` are deliberately absent — they also run against\n * ephemeral/sorter cursors in ordinary SELECTs (DISTINCT, ORDER BY) and are only dangerous on\n * a cursor an `OpenWrite` would have created.\n */\nconst WRITE_OPCODES = new Set([\n  \"OpenWrite\",\n  \"Clear\",\n  \"Destroy\",\n  \"CreateBtree\",\n  \"SqlExec\",\n  \"ParseSchema\",\n  \"DropTable\",\n  \"DropIndex\",\n  \"DropTrigger\",\n  \"SetCookie\",\n  \"JournalMode\",\n  \"Vacuum\",\n  \"IncrVacuum\",\n  \"Checkpoint\",\n  \"MaxPgcnt\",\n  \"Expire\",\n  \"AutoCommit\",\n  \"VUpdate\",\n  \"VCreate\",\n  \"VDestroy\",\n  \"Program\",\n]);\n\ntype ExplainRow = {\n  opcode: string;\n};\n\nconst READ_STATEMENT_PREFIXES = [\"select\", \"with\", \"values\"];\n\nexport function createQueryGuard(opts: { executor: AiDbExecutor }): QueryGuard {\n  function reject(code: QueryGuardRejection[\"code\"], message: string): QueryGuardRejection {\n    return { allowed: false, code, message };\n  }\n\n  function check(input: QueryGuardInput): QueryGuardVerdict {\n    let body = input.sql.trim();\n    while (body.endsWith(\";\")) {\n      body = body.slice(0, -1).trimEnd();\n    }\n\n    if (body.includes(\";\")) {\n      return reject(\n        \"multi-statement\",\n        \"Only a single SQL statement is allowed per query, and semicolons are only allowed at the very end. If the semicolon is inside a string literal, pass the value as a bound parameter instead.\",\n      );\n    }\n\n    const lowered = body.toLowerCase();\n    if (!READ_STATEMENT_PREFIXES.some((keyword) => lowered.startsWith(keyword))) {\n      return reject(\n        \"invalid-statement\",\n        \"Only read-only queries are allowed: the statement must start directly with SELECT, WITH, or VALUES (no leading comments).\",\n      );\n    }\n\n    let operations: ExplainRow[];\n    try {\n      operations = opts.executor.execute<ExplainRow>({\n        sql: `EXPLAIN ${input.sql}`,\n        parameters: input.parameters ?? [],\n      }).rows;\n    } catch (error) {\n      return reject(\"invalid-sql\", `SQL error: ${error instanceof Error ? error.message : String(error)}`);\n    }\n\n    for (const operation of operations) {\n      if (WRITE_OPCODES.has(operation.opcode)) {\n        return reject(\n          \"write-detected\",\n          `The statement was rejected because it would modify the database (${operation.opcode}). This tool is strictly read-only; rewrite the query as a pure SELECT.`,\n        );\n      }\n    }\n\n    return { allowed: true };\n  }\n\n  return {\n    check,\n    execute(input) {\n      const verdict = check(input);\n      if (!verdict.allowed) {\n        throw new QueryGuardError(verdict);\n      }\n      return runWithForcedRollback(opts.executor, (tx) => {\n        return tx.execute({ sql: input.sql, parameters: input.parameters ?? [] });\n      });\n    },\n  };\n}\n\n/**\n * Runs `callback` in a transaction that is always rolled back (via a sentinel throw, relying\n * on the {@link AiDbExecutor} contract that a throwing callback rolls back). This is the\n * unconditional write guard backing any gap in the static analysis.\n */\nexport function runWithForcedRollback<T>(\n  executor: Pick<AiDbExecutor, \"transaction\">,\n  callback: (tx: Pick<AiDbExecutor, \"execute\">) => T,\n): T {\n  let result: T | undefined;\n  let completed = false;\n  const rollbackSentinel = new Error(\"forced read-only rollback\");\n\n  try {\n    executor.transaction((tx) => {\n      result = callback(tx);\n      completed = true;\n      throw rollbackSentinel;\n    });\n  } catch (error) {\n    if (error !== rollbackSentinel) {\n      throw error;\n    }\n  }\n\n  if (!completed) {\n    throw new Error(\"Transaction completed without running the callback\");\n  }\n  return result as T;\n}\n","import type { ColumnMeta, SyncDbSchema } from \"@sqlite-sync/core\";\n\nexport type SchemaDocContext = {\n  overview?: string;\n};\n\n// Library mechanics every generated doc should explain, so consumers only have to describe\n// their own domain in `context`. Kept free of tombstone-column details the agent never sees.\nconst SCHEMA_DOC_PREAMBLE = [\n  \"This is a synced SQLite database — data replicates automatically between the user's devices.\",\n  \"All writes go through a sync event log, which is why the tables listed below are exposed as\",\n  \"read-only SQL views; soft-deleted rows are already filtered out, so query them directly\",\n  \"without any tombstone filtering. Every table has a unique `id` text primary key.\",\n].join(\"\\n\");\n\nfunction renderColumn(name: string, meta: ColumnMeta): string {\n  let line = `- \\`${name}\\` ${meta.sqlType.toUpperCase()}`;\n  if (!meta.nullable) {\n    line += \" NOT NULL\";\n  }\n  if (meta.kind === \"boolean\") {\n    line += \" (boolean 0/1)\";\n  } else if (meta.kind === \"enum\") {\n    line += ` (one of ${(meta.enumValues ?? []).map((value) => `\"${value}\"`).join(\" | \")})`;\n  }\n  return meta.description ? `${line} — ${meta.description}` : line;\n}\n\n/**\n * Generates a markdown schema doc for an AI agent from the declared sync schema's table\n * builders — no database access needed. Tables are presented under the view names the agent\n * queries; descriptions come from `.describe()` on the table and column builders.\n * The internal `tombstone` column is omitted.\n *\n * The doc always includes a built-in preamble explaining sqlite-sync mechanics (read-only\n * views, soft-deletes already filtered) after the consumer's `overview` — consumers only\n * need to describe their own domain.\n */\nexport function createSchemaDoc(opts: { syncDbSchema: SyncDbSchema; context?: SchemaDocContext }): string {\n  const sections: string[] = [];\n\n  const overview = opts.context?.overview?.trim();\n  if (overview) {\n    sections.push(overview);\n  }\n  sections.push(SCHEMA_DOC_PREAMBLE);\n\n  for (const [crdtTableName, table] of Object.entries(opts.syncDbSchema.tables)) {\n    const lines = [`## ${crdtTableName}`];\n    if (table.description) {\n      lines.push(\"\", table.description.trim());\n    }\n    lines.push(\"\", \"Columns:\");\n    for (const [name, meta] of Object.entries(table.columns)) {\n      if (name === \"tombstone\") continue;\n      lines.push(renderColumn(name, meta));\n    }\n    sections.push(lines.join(\"\\n\"));\n  }\n\n  sections.push(CHANGE_HISTORY_DOC);\n\n  return sections.join(\"\\n\\n\");\n}\n\n// Documents the curated `change_history` view created over the sync event log. Unlike the table\n// views above, it is NOT tombstone-filtered — it intentionally surfaces the full change log,\n// including the contents of since-deleted items.\nconst CHANGE_HISTORY_DOC = [\n  \"## change_history\",\n  \"\",\n  \"A read-only, append-only log of every change across all tables, one row per sync event.\",\n  \"Query it like any other view. Unlike the tables above, soft-delete filtering does NOT apply\",\n  \"here — it includes changes to items that were later deleted, so treat it as an audit log.\",\n  \"\",\n  \"Columns:\",\n  \"- `seq` INTEGER NOT NULL — monotonic sequence number; **order history by this** (ascending = oldest first)\",\n  \"- `dataset` TEXT NOT NULL — which table the change applies to (matches a table name above)\",\n  \"- `item_id` TEXT NOT NULL — the `id` of the affected row\",\n  '- `change_type` TEXT NOT NULL (one of \"item-created\" | \"item-updated\" | \"item-deleted\")',\n  '- `status` TEXT NOT NULL (one of \"applied\" | \"pending\" | \"failed\" | \"deduped\") — \"applied\" took effect; \"failed\" did not; filter to `status = \\'applied\\'` for the effective history',\n  '- `origin` TEXT NOT NULL — where the change came from (e.g. \"own\", \"remote\", \"local\")',\n  \"- `timestamp` TEXT NOT NULL — opaque hybrid-logical-clock string; do NOT parse it as a date, order by `seq` instead\",\n  \"- `changes` TEXT NOT NULL — JSON of what the change set: the changed columns only for item-updated, the full initial row for item-created, `{}` for item-deleted. Use `json_extract(changes, '$.column')` to read a field.\",\n].join(\"\\n\");\n","import {\n  type CrdtEventType,\n  CrdtEventValidationError,\n  type CrdtStorage,\n  generateId,\n  type OwnCrdtEvent,\n  type SyncDbSchema,\n} from \"@sqlite-sync/core\";\nimport { createQueryGuard, QueryGuardError } from \"./query-guard\";\nimport { createSchemaDoc, type SchemaDocContext } from \"./schema-doc\";\n\nexport type AiDbExecuteParams = {\n  sql: string;\n  parameters: readonly unknown[];\n};\n\n/**\n * Minimal executor contract for AI database access. Runtime-specific — inject the raw SQL\n * capability that matches where the storage lives; a Cloudflare `ServerSyncDb`'s `unsafe`\n * executor satisfies it.\n */\nexport type AiDbExecutor = {\n  execute<TResult = unknown>(query: AiDbExecuteParams): { rows: TResult[] };\n  transaction(callback: (tx: Pick<AiDbExecutor, \"execute\">) => void): void;\n};\n\nexport type AiQueryInput = {\n  sql: string;\n  parameters?: readonly unknown[];\n};\n\nexport type AiQueryResult =\n  | {\n      rows: Record<string, unknown>[];\n      rowCount: number;\n      truncated: boolean;\n    }\n  | {\n      error: string;\n    };\n\nexport type AiMutationEvent =\n  | {\n      type: \"item-created\";\n      dataset: string;\n      item_id?: never;\n      payload?: Record<string, unknown>;\n    }\n  | {\n      type: Exclude<CrdtEventType, \"item-created\">;\n      dataset: string;\n      item_id: string;\n      payload?: Record<string, unknown>;\n    };\n\nexport type AiMutationInput = {\n  events: AiMutationEvent[];\n};\n\nexport type AiMutationResult =\n  | {\n      applied: true;\n      eventCount: number;\n      createdIds: string[];\n    }\n  | {\n      error: string;\n      errors?: string[];\n    };\n\n/**\n * AI access to a synced database. Lives where the storage lives; its method names\n * are the RPC contract, so a DO stub proxying to these methods exposes the same surface\n * (promise-wrapped) and satisfies the tool layer's `DbToolsAccess`.\n *\n * `query` enforces read-only (single SELECT/WITH/VALUES statement, no write opcodes, executed\n * in a forced-rollback transaction) but reads are not restricted by table — the whole database\n * file is in scope for the agent, so don't colocate data the agent must not see.\n *\n * `mutate` is only present when `createAiDbAccess` receives a CRDT storage. Mutations are CRDT\n * events applied through sqlite-sync's normal own-event path, never direct SQL writes.\n */\nexport type AiDbAccess = {\n  getSchemaDoc(): string;\n  query(input: AiQueryInput): AiQueryResult;\n  mutate?(input: AiMutationInput): AiMutationResult;\n};\n\nfunction toBase64(bytes: Uint8Array): string {\n  let binary = \"\";\n  for (const byte of bytes) {\n    binary += String.fromCharCode(byte);\n  }\n  return btoa(binary);\n}\n\nexport function createAiDbAccess(opts: {\n  executor: AiDbExecutor;\n  storage?: Pick<CrdtStorage, \"applyOwnEvents\">;\n  syncDbSchema: SyncDbSchema;\n  context?: SchemaDocContext;\n  limits?: { maxRows?: number; maxCellChars?: number };\n}): AiDbAccess {\n  const schemaDoc = createSchemaDoc({ syncDbSchema: opts.syncDbSchema, context: opts.context });\n  const guard = createQueryGuard({ executor: opts.executor });\n  const maxRows = opts.limits?.maxRows ?? 200;\n  const maxCellChars = opts.limits?.maxCellChars ?? 2000;\n\n  const access: AiDbAccess = {\n    getSchemaDoc() {\n      return schemaDoc;\n    },\n    query(input) {\n      let resultRows: Record<string, unknown>[];\n      try {\n        resultRows = guard.execute<Record<string, unknown>>(input).rows;\n      } catch (error) {\n        if (error instanceof QueryGuardError) {\n          return { error: error.message };\n        }\n        throw error;\n      }\n\n      let truncated = resultRows.length > maxRows;\n\n      function shapeCell(value: unknown): unknown {\n        if (value instanceof Uint8Array) {\n          // Base64 inflates by 4/3, so budget the encoded length against the cell cap.\n          if (Math.ceil(value.byteLength / 3) * 4 <= maxCellChars) {\n            return `<blob base64 ${toBase64(value)}>`;\n          }\n          truncated = true;\n          return `<blob ${value.byteLength} bytes>`;\n        }\n        if (typeof value === \"string\" && value.length > maxCellChars) {\n          truncated = true;\n          return `${value.slice(0, maxCellChars)}…`;\n        }\n        return value;\n      }\n\n      const rows = resultRows\n        .slice(0, maxRows)\n        .map((row) => Object.fromEntries(Object.entries(row).map(([column, value]) => [column, shapeCell(value)])));\n\n      return { rows, rowCount: resultRows.length, truncated };\n    },\n  };\n\n  const storage = opts.storage;\n  if (storage) {\n    access.mutate = (input) => {\n      const errors: string[] = [];\n      const createdIds: string[] = [];\n      const events: OwnCrdtEvent[] = [];\n\n      for (const [index, event] of input.events.entries()) {\n        if (event.type === \"item-created\") {\n          const looseEvent = event as { item_id?: unknown };\n          const payload = event.payload ?? {};\n          if (looseEvent.item_id !== undefined) {\n            errors.push(`[${index}] item-created events must omit item_id; an id is generated automatically`);\n          }\n          if (\"id\" in payload) {\n            errors.push(`[${index}] item-created payload must omit id; an id is generated automatically`);\n          }\n          if (looseEvent.item_id !== undefined || \"id\" in payload) {\n            continue;\n          }\n\n          const id = generateId();\n          createdIds.push(id);\n          events.push({\n            type: \"item-created\",\n            dataset: event.dataset,\n            item_id: id,\n            payload: JSON.stringify({ ...payload, id }),\n          });\n          continue;\n        }\n\n        events.push({\n          type: event.type,\n          dataset: event.dataset,\n          item_id: event.item_id,\n          payload: JSON.stringify(event.payload ?? {}),\n        });\n      }\n\n      if (errors.length > 0) {\n        return { error: `Invalid mutation events: ${errors.join(\"; \")}`, errors };\n      }\n\n      try {\n        storage.applyOwnEvents(events);\n      } catch (error) {\n        if (error instanceof CrdtEventValidationError) {\n          return { error: error.message, errors: error.errors };\n        }\n        throw error;\n      }\n\n      return { applied: true, eventCount: events.length, createdIds };\n    };\n  }\n\n  return access;\n}\n","import { jsonSchema, type ToolSet, tool } from \"ai\";\nimport type { AiMutationInput, AiMutationResult, AiQueryInput, AiQueryResult } from \"./db-access\";\n\ntype MaybePromise<T> = T | Promise<T>;\n\n/**\n * What the tools need from the database side. Satisfied directly by `AiDbAccess`, or by a\n * Durable Object stub whose RPC methods delegate to one (RPC wraps returns in promises).\n */\nexport type DbToolsAccess = {\n  getSchemaDoc(): MaybePromise<string>;\n  query(input: AiQueryInput): MaybePromise<AiQueryResult>;\n  mutate?(input: AiMutationInput): MaybePromise<AiMutationResult>;\n};\n\nexport type CreateDbToolsOptions = {\n  access: () => MaybePromise<DbToolsAccess>;\n  /** Expose the write-capable `mutateDb` tool. The access object must also implement `mutate`. */\n  mutations?: boolean;\n};\n\nconst emptyInputSchema = jsonSchema<Record<string, never>>({\n  type: \"object\",\n  properties: {},\n  additionalProperties: false,\n});\n\nconst queryInputSchema = jsonSchema<{ sql: string; parameters?: unknown[] }>({\n  type: \"object\",\n  properties: {\n    sql: {\n      type: \"string\",\n      description:\n        \"A single read-only SQLite statement starting with SELECT, WITH, or VALUES. Use ? placeholders for values.\",\n    },\n    parameters: {\n      type: \"array\",\n      items: { type: [\"string\", \"number\", \"boolean\", \"null\"] },\n      description: \"Values bound to the ? placeholders, in order.\",\n    },\n  },\n  required: [\"sql\"],\n  additionalProperties: false,\n});\n\nconst mutationInputSchema = jsonSchema<AiMutationInput>({\n  type: \"object\",\n  properties: {\n    events: {\n      type: \"array\",\n      minItems: 1,\n      items: {\n        anyOf: [\n          {\n            type: \"object\",\n            properties: {\n              type: {\n                type: \"string\",\n                enum: [\"item-created\"],\n                description: \"Create a synced row. Omit item_id and payload.id; the tool generates the id.\",\n              },\n              dataset: {\n                type: \"string\",\n                description: \"The synced dataset/table name from the schema documentation.\",\n              },\n              payload: {\n                type: \"object\",\n                additionalProperties: true,\n                not: { required: [\"id\"] },\n                description:\n                  \"Column values for the new row, excluding id. Include all required non-id columns from the schema.\",\n              },\n            },\n            required: [\"type\", \"dataset\", \"payload\"],\n            additionalProperties: false,\n          },\n          {\n            type: \"object\",\n            properties: {\n              type: {\n                type: \"string\",\n                enum: [\"item-updated\", \"item-deleted\"],\n                description: \"Update or delete an existing synced row.\",\n              },\n              dataset: {\n                type: \"string\",\n                description: \"The synced dataset/table name from the schema documentation.\",\n              },\n              item_id: {\n                type: \"string\",\n                description: \"The stable id of the row being updated or deleted.\",\n              },\n              payload: {\n                type: \"object\",\n                additionalProperties: true,\n                description: \"Changed column values for item-updated. Omit or pass {} for item-deleted.\",\n              },\n            },\n            required: [\"type\", \"dataset\", \"item_id\"],\n            additionalProperties: false,\n          },\n        ],\n      },\n      description: \"One or more CRDT mutation events to apply atomically.\",\n    },\n  },\n  required: [\"events\"],\n  additionalProperties: false,\n});\n\n/**\n * AI SDK tools for a synced database. `access` is a factory because acquiring the database\n * may itself be async per call (e.g. resolving a Durable Object stub from another DO).\n */\nexport function createDbTools(opts: CreateDbToolsOptions): ToolSet {\n  const tools: ToolSet = {\n    getDbSchema: tool({\n      description:\n        \"Get the schema documentation for the synced SQLite database: tables, columns, types, and data conventions. Call this before reasoning about the data.\",\n      inputSchema: emptyInputSchema,\n      execute: async () => {\n        const access = await opts.access();\n        return await access.getSchemaDoc();\n      },\n    }),\n    queryDb: tool({\n      description:\n        \"Run a read-only SQL query against the synced SQLite database. Only a single SELECT/WITH/VALUES statement is allowed — anything that writes is rejected. Pass values as ? placeholders via `parameters` instead of inlining them as literals. Results are capped; ask for fewer columns or add LIMIT/WHERE if `truncated` is true.\",\n      inputSchema: queryInputSchema,\n      execute: async ({ sql, parameters }) => {\n        const access = await opts.access();\n        return await access.query({ sql, parameters });\n      },\n    }),\n  };\n\n  if (opts.mutations) {\n    tools.mutateDb = tool({\n      description:\n        \"Apply one or more CRDT mutation events to the synced database. Use this for writes instead of SQL. Query the current data first when updating or deleting existing rows. Create events must omit ids: do not provide item_id or payload.id, because the tool generates ids and returns them. Create payloads must include all required non-id columns, update events should include only changed columns, and delete events should use an empty payload.\",\n      inputSchema: mutationInputSchema,\n      execute: async (input) => {\n        const access = await opts.access();\n        if (!access.mutate) {\n          return { error: \"Database mutations are not enabled for this access object.\" } satisfies AiMutationResult;\n        }\n        return await access.mutate(input);\n      },\n    });\n  }\n\n  return tools;\n}\n"],"mappings":";;;AAeA,IAAa,kBAAb,cAAqC,MAAM;CACzC;CAEA,YAAY,WAAgC;EAC1C,MAAM,UAAU,OAAO;EACvB,KAAK,OAAO;EACZ,KAAK,YAAY;CACnB;AACF;;;;;;;;;;AAyBA,MAAM,gCAAgB,IAAI,IAAI;CAC5B;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;AACF,CAAC;AAMD,MAAM,0BAA0B;CAAC;CAAU;CAAQ;AAAQ;AAE3D,SAAgB,iBAAiB,MAA8C;CAC7E,SAAS,OAAO,MAAmC,SAAsC;EACvF,OAAO;GAAE,SAAS;GAAO;GAAM;EAAQ;CACzC;CAEA,SAAS,MAAM,OAA2C;EACxD,IAAI,OAAO,MAAM,IAAI,KAAK;EAC1B,OAAO,KAAK,SAAS,GAAG,GACtB,OAAO,KAAK,MAAM,GAAG,EAAE,CAAC,CAAC,QAAQ;EAGnC,IAAI,KAAK,SAAS,GAAG,GACnB,OAAO,OACL,mBACA,8LACF;EAGF,MAAM,UAAU,KAAK,YAAY;EACjC,IAAI,CAAC,wBAAwB,MAAM,YAAY,QAAQ,WAAW,OAAO,CAAC,GACxE,OAAO,OACL,qBACA,2HACF;EAGF,IAAI;EACJ,IAAI;GACF,aAAa,KAAK,SAAS,QAAoB;IAC7C,KAAK,WAAW,MAAM;IACtB,YAAY,MAAM,cAAc,CAAC;GACnC,CAAC,CAAC,CAAC;EACL,SAAS,OAAO;GACd,OAAO,OAAO,eAAe,cAAc,iBAAiB,QAAQ,MAAM,UAAU,OAAO,KAAK,GAAG;EACrG;EAEA,KAAK,MAAM,aAAa,YACtB,IAAI,cAAc,IAAI,UAAU,MAAM,GACpC,OAAO,OACL,kBACA,oEAAoE,UAAU,OAAO,wEACvF;EAIJ,OAAO,EAAE,SAAS,KAAK;CACzB;CAEA,OAAO;EACL;EACA,QAAQ,OAAO;GACb,MAAM,UAAU,MAAM,KAAK;GAC3B,IAAI,CAAC,QAAQ,SACX,MAAM,IAAI,gBAAgB,OAAO;GAEnC,OAAO,sBAAsB,KAAK,WAAW,OAAO;IAClD,OAAO,GAAG,QAAQ;KAAE,KAAK,MAAM;KAAK,YAAY,MAAM,cAAc,CAAC;IAAE,CAAC;GAC1E,CAAC;EACH;CACF;AACF;;;;;;AAOA,SAAgB,sBACd,UACA,UACG;CACH,IAAI;CACJ,IAAI,YAAY;CAChB,MAAM,mCAAmB,IAAI,MAAM,2BAA2B;CAE9D,IAAI;EACF,SAAS,aAAa,OAAO;GAC3B,SAAS,SAAS,EAAE;GACpB,YAAY;GACZ,MAAM;EACR,CAAC;CACH,SAAS,OAAO;EACd,IAAI,UAAU,kBACZ,MAAM;CAEV;CAEA,IAAI,CAAC,WACH,MAAM,IAAI,MAAM,oDAAoD;CAEtE,OAAO;AACT;;;ACjKA,MAAM,sBAAsB;CAC1B;CACA;CACA;CACA;AACF,CAAC,CAAC,KAAK,IAAI;AAEX,SAAS,aAAa,MAAc,MAA0B;CAC5D,IAAI,OAAO,OAAO,KAAK,KAAK,KAAK,QAAQ,YAAY;CACrD,IAAI,CAAC,KAAK,UACR,QAAQ;CAEV,IAAI,KAAK,SAAS,WAChB,QAAQ;MACH,IAAI,KAAK,SAAS,QACvB,QAAQ,aAAa,KAAK,cAAc,CAAC,EAAA,CAAG,KAAK,UAAU,IAAI,MAAM,EAAE,CAAC,CAAC,KAAK,KAAK,EAAE;CAEvF,OAAO,KAAK,cAAc,GAAG,KAAK,KAAK,KAAK,gBAAgB;AAC9D;;;;;;;;;;;AAYA,SAAgB,gBAAgB,MAA0E;CACxG,MAAM,WAAqB,CAAC;CAE5B,MAAM,WAAW,KAAK,SAAS,UAAU,KAAK;CAC9C,IAAI,UACF,SAAS,KAAK,QAAQ;CAExB,SAAS,KAAK,mBAAmB;CAEjC,KAAK,MAAM,CAAC,eAAe,UAAU,OAAO,QAAQ,KAAK,aAAa,MAAM,GAAG;EAC7E,MAAM,QAAQ,CAAC,MAAM,eAAe;EACpC,IAAI,MAAM,aACR,MAAM,KAAK,IAAI,MAAM,YAAY,KAAK,CAAC;EAEzC,MAAM,KAAK,IAAI,UAAU;EACzB,KAAK,MAAM,CAAC,MAAM,SAAS,OAAO,QAAQ,MAAM,OAAO,GAAG;GACxD,IAAI,SAAS,aAAa;GAC1B,MAAM,KAAK,aAAa,MAAM,IAAI,CAAC;EACrC;EACA,SAAS,KAAK,MAAM,KAAK,IAAI,CAAC;CAChC;CAEA,SAAS,KAAK,kBAAkB;CAEhC,OAAO,SAAS,KAAK,MAAM;AAC7B;AAKA,MAAM,qBAAqB;CACzB;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;AACF,CAAC,CAAC,KAAK,IAAI;;;ACIX,SAAS,SAAS,OAA2B;CAC3C,IAAI,SAAS;CACb,KAAK,MAAM,QAAQ,OACjB,UAAU,OAAO,aAAa,IAAI;CAEpC,OAAO,KAAK,MAAM;AACpB;AAEA,SAAgB,iBAAiB,MAMlB;CACb,MAAM,YAAY,gBAAgB;EAAE,cAAc,KAAK;EAAc,SAAS,KAAK;CAAQ,CAAC;CAC5F,MAAM,QAAQ,iBAAiB,EAAE,UAAU,KAAK,SAAS,CAAC;CAC1D,MAAM,UAAU,KAAK,QAAQ,WAAW;CACxC,MAAM,eAAe,KAAK,QAAQ,gBAAgB;CAElD,MAAM,SAAqB;EACzB,eAAe;GACb,OAAO;EACT;EACA,MAAM,OAAO;GACX,IAAI;GACJ,IAAI;IACF,aAAa,MAAM,QAAiC,KAAK,CAAC,CAAC;GAC7D,SAAS,OAAO;IACd,IAAI,iBAAiB,iBACnB,OAAO,EAAE,OAAO,MAAM,QAAQ;IAEhC,MAAM;GACR;GAEA,IAAI,YAAY,WAAW,SAAS;GAEpC,SAAS,UAAU,OAAyB;IAC1C,IAAI,iBAAiB,YAAY;KAE/B,IAAI,KAAK,KAAK,MAAM,aAAa,CAAC,IAAI,KAAK,cACzC,OAAO,gBAAgB,SAAS,KAAK,EAAE;KAEzC,YAAY;KACZ,OAAO,SAAS,MAAM,WAAW;IACnC;IACA,IAAI,OAAO,UAAU,YAAY,MAAM,SAAS,cAAc;KAC5D,YAAY;KACZ,OAAO,GAAG,MAAM,MAAM,GAAG,YAAY,EAAE;IACzC;IACA,OAAO;GACT;GAMA,OAAO;IAAE,MAJI,WACV,MAAM,GAAG,OAAO,CAAC,CACjB,KAAK,QAAQ,OAAO,YAAY,OAAO,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,QAAQ,WAAW,CAAC,QAAQ,UAAU,KAAK,CAAC,CAAC,CAAC,CAE/F;IAAG,UAAU,WAAW;IAAQ;GAAU;EACxD;CACF;CAEA,MAAM,UAAU,KAAK;CACrB,IAAI,SACF,OAAO,UAAU,UAAU;EACzB,MAAM,SAAmB,CAAC;EAC1B,MAAM,aAAuB,CAAC;EAC9B,MAAM,SAAyB,CAAC;EAEhC,KAAK,MAAM,CAAC,OAAO,UAAU,MAAM,OAAO,QAAQ,GAAG;GACnD,IAAI,MAAM,SAAS,gBAAgB;IACjC,MAAM,aAAa;IACnB,MAAM,UAAU,MAAM,WAAW,CAAC;IAClC,IAAI,WAAW,YAAY,KAAA,GACzB,OAAO,KAAK,IAAI,MAAM,0EAA0E;IAElG,IAAI,QAAQ,SACV,OAAO,KAAK,IAAI,MAAM,sEAAsE;IAE9F,IAAI,WAAW,YAAY,KAAA,KAAa,QAAQ,SAC9C;IAGF,MAAM,KAAK,WAAW;IACtB,WAAW,KAAK,EAAE;IAClB,OAAO,KAAK;KACV,MAAM;KACN,SAAS,MAAM;KACf,SAAS;KACT,SAAS,KAAK,UAAU;MAAE,GAAG;MAAS;KAAG,CAAC;IAC5C,CAAC;IACD;GACF;GAEA,OAAO,KAAK;IACV,MAAM,MAAM;IACZ,SAAS,MAAM;IACf,SAAS,MAAM;IACf,SAAS,KAAK,UAAU,MAAM,WAAW,CAAC,CAAC;GAC7C,CAAC;EACH;EAEA,IAAI,OAAO,SAAS,GAClB,OAAO;GAAE,OAAO,4BAA4B,OAAO,KAAK,IAAI;GAAK;EAAO;EAG1E,IAAI;GACF,QAAQ,eAAe,MAAM;EAC/B,SAAS,OAAO;GACd,IAAI,iBAAiB,0BACnB,OAAO;IAAE,OAAO,MAAM;IAAS,QAAQ,MAAM;GAAO;GAEtD,MAAM;EACR;EAEA,OAAO;GAAE,SAAS;GAAM,YAAY,OAAO;GAAQ;EAAW;CAChE;CAGF,OAAO;AACT;;;AC1LA,MAAM,mBAAmB,WAAkC;CACzD,MAAM;CACN,YAAY,CAAC;CACb,sBAAsB;AACxB,CAAC;AAED,MAAM,mBAAmB,WAAoD;CAC3E,MAAM;CACN,YAAY;EACV,KAAK;GACH,MAAM;GACN,aACE;EACJ;EACA,YAAY;GACV,MAAM;GACN,OAAO,EAAE,MAAM;IAAC;IAAU;IAAU;IAAW;GAAM,EAAE;GACvD,aAAa;EACf;CACF;CACA,UAAU,CAAC,KAAK;CAChB,sBAAsB;AACxB,CAAC;AAED,MAAM,sBAAsB,WAA4B;CACtD,MAAM;CACN,YAAY,EACV,QAAQ;EACN,MAAM;EACN,UAAU;EACV,OAAO,EACL,OAAO,CACL;GACE,MAAM;GACN,YAAY;IACV,MAAM;KACJ,MAAM;KACN,MAAM,CAAC,cAAc;KACrB,aAAa;IACf;IACA,SAAS;KACP,MAAM;KACN,aAAa;IACf;IACA,SAAS;KACP,MAAM;KACN,sBAAsB;KACtB,KAAK,EAAE,UAAU,CAAC,IAAI,EAAE;KACxB,aACE;IACJ;GACF;GACA,UAAU;IAAC;IAAQ;IAAW;GAAS;GACvC,sBAAsB;EACxB,GACA;GACE,MAAM;GACN,YAAY;IACV,MAAM;KACJ,MAAM;KACN,MAAM,CAAC,gBAAgB,cAAc;KACrC,aAAa;IACf;IACA,SAAS;KACP,MAAM;KACN,aAAa;IACf;IACA,SAAS;KACP,MAAM;KACN,aAAa;IACf;IACA,SAAS;KACP,MAAM;KACN,sBAAsB;KACtB,aAAa;IACf;GACF;GACA,UAAU;IAAC;IAAQ;IAAW;GAAS;GACvC,sBAAsB;EACxB,CACF,EACF;EACA,aAAa;CACf,EACF;CACA,UAAU,CAAC,QAAQ;CACnB,sBAAsB;AACxB,CAAC;;;;;AAMD,SAAgB,cAAc,MAAqC;CACjE,MAAM,QAAiB;EACrB,aAAa,KAAK;GAChB,aACE;GACF,aAAa;GACb,SAAS,YAAY;IAEnB,OAAO,OAAM,MADQ,KAAK,OAAO,EAAA,CACb,aAAa;GACnC;EACF,CAAC;EACD,SAAS,KAAK;GACZ,aACE;GACF,aAAa;GACb,SAAS,OAAO,EAAE,KAAK,iBAAiB;IAEtC,OAAO,OAAM,MADQ,KAAK,OAAO,EAAA,CACb,MAAM;KAAE;KAAK;IAAW,CAAC;GAC/C;EACF,CAAC;CACH;CAEA,IAAI,KAAK,WACP,MAAM,WAAW,KAAK;EACpB,aACE;EACF,aAAa;EACb,SAAS,OAAO,UAAU;GACxB,MAAM,SAAS,MAAM,KAAK,OAAO;GACjC,IAAI,CAAC,OAAO,QACV,OAAO,EAAE,OAAO,6DAA6D;GAE/E,OAAO,MAAM,OAAO,OAAO,KAAK;EAClC;CACF,CAAC;CAGH,OAAO;AACT"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@sqlite-sync/ai",
-  "version": "0.8.2",
+  "version": "0.9.0",
   "description": "AI agent tools for @sqlite-sync databases",
   "type": "module",
   "license": "MIT",
@@ -31,20 +31,20 @@
     "dist"
   ],
   "peerDependencies": {
-    "@sqlite-sync/core": "^0.8.2",
+    "@sqlite-sync/core": "^0.9.0",
     "ai": "^6.0.0"
   },
   "devDependencies": {
     "ai": "^6.0.201",
-    "tsup": "^8.3.5",
-    "typescript": "~6.0.3",
+    "tsdown": "0.22.14",
+    "typescript": "npm:@typescript/typescript6@6.0.2",
     "vitest": "^4.1.8",
-    "@sqlite-sync/core": "0.8.2"
+    "@sqlite-sync/core": "0.9.0"
   },
   "scripts": {
-    "build": "tsup",
-    "dev": "tsup --watch",
+    "build": "tsdown",
+    "dev": "tsdown --watch",
     "test": "vitest run",
-    "typecheck": "tsgo --noEmit"
+    "typecheck": "tsc --noEmit"
   }
 }