@procedures/sqlite 0.2.3 → 0.3.0

package/dist/types.d.ts

@@ -1,6 +1,7 @@
 /**
  * Type definitions for client-sqlite procedures
  */
+import { z } from "zod";
 /**
  * Default database path for CLI logs
  */
@@ -88,4 +89,134 @@ export interface LogsQueryOutput {
     /** Total count (if limit was applied) */
     total?: number | undefined;
 }
+export interface DbTablesInput {
+    /** Also the views (default true) */
+    views?: boolean | undefined;
+    dbPath?: string | undefined;
+}
+export interface DbTableInfo {
+    name: string;
+    type: "table" | "view";
+    /** The SQL that made the table or the view */
+    sql: string | null;
+}
+export interface DbTablesOutput {
+    tables: DbTableInfo[];
+}
+export declare const DbTablesInputSchema: z.ZodType<DbTablesInput>;
+export declare const DbTablesOutputSchema: z.ZodType<DbTablesOutput>;
+export interface DbSchemaInput {
+    /** The table or the view */
+    table: string;
+    dbPath?: string | undefined;
+}
+export interface DbColumnInfo {
+    name: string;
+    /** The declared type, or "" */
+    type: string;
+    notNull: boolean;
+    /** The SQL of the default value, or null */
+    defaultValue: string | null;
+    /** The position of the column in the primary key, from 1, or 0 */
+    primaryKey: number;
+}
+export interface DbIndexInfo {
+    name: string;
+    unique: boolean;
+    /** "c": CREATE INDEX, "u": a UNIQUE constraint, "pk": the PRIMARY KEY */
+    origin: string;
+    partial: boolean;
+    columns: string[];
+}
+export interface DbForeignKeyInfo {
+    /** The column of this table */
+    from: string;
+    /** The table that the key refers to */
+    table: string;
+    /** The column of that table, or null for its primary key */
+    to: string | null;
+    onUpdate: string;
+    onDelete: string;
+}
+export interface DbSchemaOutput {
+    table: string;
+    type: "table" | "view";
+    sql: string | null;
+    columns: DbColumnInfo[];
+    indexes: DbIndexInfo[];
+    foreignKeys: DbForeignKeyInfo[];
+}
+export declare const DbSchemaInputSchema: z.ZodType<DbSchemaInput>;
+export declare const DbSchemaOutputSchema: z.ZodType<DbSchemaOutput>;
+export interface DbStatement {
+    /** One SQL statement, or several without params */
+    sql: string;
+    /** The values of the ? placeholders */
+    params?: unknown[] | undefined;
+}
+export interface DbTransactionInput {
+    statements: DbStatement[];
+    dbPath?: string | undefined;
+}
+export interface DbStatementResult {
+    /** The rows that the statements changed */
+    changes: number;
+    /** The rows of a statement that gives rows (SELECT, or RETURNING) */
+    rows?: Record<string, unknown>[] | undefined;
+}
+export interface DbTransactionOutput {
+    /** One result for each statement of the input */
+    results: DbStatementResult[];
+    /** The rows that the transaction changed */
+    changes: number;
+}
+export declare const DbTransactionInputSchema: z.ZodType<DbTransactionInput>;
+export declare const DbTransactionOutputSchema: z.ZodType<DbTransactionOutput>;
+export interface DbMigration {
+    /** The number of the migration: the migrations run in the order of their numbers */
+    version: number;
+    /** A name for people */
+    name?: string | undefined;
+    /** The SQL of the migration (several statements are allowed) */
+    sql: string;
+}
+export interface DbMigrateInput {
+    /** A folder of files named <number>_<name>.sql (not with migrations) */
+    folder?: string | undefined;
+    /** The migrations (not with folder) */
+    migrations?: DbMigration[] | undefined;
+    /** The table of the applied migrations (default schema_migrations) */
+    table?: string | undefined;
+    dbPath?: string | undefined;
+}
+export interface DbMigrateOutput {
+    /** The migrations that this call applied, in order */
+    applied: Array<{
+        version: number;
+        name: string;
+    }>;
+    /** The number of migrations that the database had already */
+    skipped: number;
+    /** The highest applied version, or 0 */
+    version: number;
+}
+/** The name of a table that the SQL of db.migrate names: letters, digits and underscores. */
+export declare const MIGRATION_TABLE_PATTERN: RegExp;
+export declare const DbMigrateInputSchema: z.ZodType<DbMigrateInput>;
+export declare const DbMigrateOutputSchema: z.ZodType<DbMigrateOutput>;
+export interface DbBackupInput {
+    /** The new file. The procedure does not replace a file. */
+    to: string;
+    /** Also compact the copy (VACUUM): it leaves out the free pages */
+    vacuum?: boolean | undefined;
+    dbPath?: string | undefined;
+}
+export interface DbBackupOutput {
+    /** The path of the copy */
+    path: string;
+    /** The size of the copy, in bytes */
+    bytes: number;
+}
+export declare const DbBackupInputSchema: z.ZodType<DbBackupInput>;
+export declare const DbBackupOutputSchema: z.ZodType<DbBackupOutput>;
 //# sourceMappingURL=types.d.ts.map

package/dist/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;GAEG;AASH;;GAEG;AACH,eAAO,MAAM,eAAe,EAAE,MAAiD,CAAC;AAMhF,MAAM,MAAM,QAAQ,GAAG,OAAO,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;AAErE,eAAO,MAAM,UAAU,EAAE,SAAS,QAAQ,EAMhC,CAAC;AAMX,MAAM,WAAW,YAAY;IAC3B,2BAA2B;IAC3B,GAAG,EAAE,MAAM,CAAC;IACZ,uBAAuB;IACvB,MAAM,CAAC,EAAE,OAAO,EAAE,GAAG,SAAS,CAAC;IAC/B,mDAAmD;IACnD,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CAC7B;AAED,MAAM,WAAW,aAAa,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IACxD,mBAAmB;IACnB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,oBAAoB;IACpB,IAAI,EAAE,CAAC,EAAE,CAAC;CACX;AAMD,MAAM,WAAW,cAAc;IAC7B,8DAA8D;IAC9D,GAAG,EAAE,MAAM,CAAC;IACZ,2BAA2B;IAC3B,MAAM,CAAC,EAAE,OAAO,EAAE,GAAG,SAAS,CAAC;IAC/B,mDAAmD;IACnD,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CAC7B;AAED,MAAM,WAAW,eAAe;IAC9B,8BAA8B;IAC9B,OAAO,EAAE,MAAM,CAAC;CACjB;AAMD,MAAM,WAAW,cAAc;IAC7B,gBAAgB;IAChB,KAAK,EAAE,QAAQ,CAAC;IAChB,kBAAkB;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,mCAAmC;IACnC,SAAS,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC/B,sCAAsC;IACtC,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC7B,8CAA8C;IAC9C,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC7B,iCAAiC;IACjC,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,CAAC;IAC3C,sCAAsC;IACtC,UAAU,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAChC,mDAAmD;IACnD,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CAC7B;AAED,MAAM,WAAW,eAAe;IAC9B,iCAAiC;IACjC,EAAE,EAAE,MAAM,CAAC;CACZ;AAMD,MAAM,WAAW,cAAc;IAC7B,2BAA2B;IAC3B,SAAS,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC/B,wBAAwB;IACxB,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC7B,6BAA6B;IAC7B,KAAK,CAAC,EAAE,QAAQ,GAAG,QAAQ,EAAE,GAAG,SAAS,CAAC;IAC1C,uCAAuC;IACvC,KAAK,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC3B,4BAA4B;IAC5B,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC5B,yCAAyC;IACzC,OAAO,CAAC,EAAE,KAAK,GAAG,MAAM,GAAG,SAAS,CAAC;IACrC,mDAAmD;IACnD,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CAC7B;AAED,MAAM,WAAW,QAAQ;IACvB,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,QAAQ,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC;IACrC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;CAC3B;AAED,MAAM,WAAW,eAAe;IAC9B,qCAAqC;IACrC,IAAI,EAAE,QAAQ,EAAE,CAAC;IACjB,yCAAyC;IACzC,KAAK,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CAC5B"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAMxB;;GAEG;AACH,eAAO,MAAM,eAAe,EAAE,MAAiD,CAAC;AAMhF,MAAM,MAAM,QAAQ,GAAG,OAAO,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;AAErE,eAAO,MAAM,UAAU,EAAE,SAAS,QAAQ,EAMhC,CAAC;AAMX,MAAM,WAAW,YAAY;IAC3B,2BAA2B;IAC3B,GAAG,EAAE,MAAM,CAAC;IACZ,uBAAuB;IACvB,MAAM,CAAC,EAAE,OAAO,EAAE,GAAG,SAAS,CAAC;IAC/B,mDAAmD;IACnD,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CAC7B;AAED,MAAM,WAAW,aAAa,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IACxD,mBAAmB;IACnB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,oBAAoB;IACpB,IAAI,EAAE,CAAC,EAAE,CAAC;CACX;AAMD,MAAM,WAAW,cAAc;IAC7B,8DAA8D;IAC9D,GAAG,EAAE,MAAM,CAAC;IACZ,2BAA2B;IAC3B,MAAM,CAAC,EAAE,OAAO,EAAE,GAAG,SAAS,CAAC;IAC/B,mDAAmD;IACnD,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CAC7B;AAED,MAAM,WAAW,eAAe;IAC9B,8BAA8B;IAC9B,OAAO,EAAE,MAAM,CAAC;CACjB;AAMD,MAAM,WAAW,cAAc;IAC7B,gBAAgB;IAChB,KAAK,EAAE,QAAQ,CAAC;IAChB,kBAAkB;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,mCAAmC;IACnC,SAAS,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC/B,sCAAsC;IACtC,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC7B,8CAA8C;IAC9C,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC7B,iCAAiC;IACjC,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,CAAC;IAC3C,sCAAsC;IACtC,UAAU,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAChC,mDAAmD;IACnD,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CAC7B;AAED,MAAM,WAAW,eAAe;IAC9B,iCAAiC;IACjC,EAAE,EAAE,MAAM,CAAC;CACZ;AAMD,MAAM,WAAW,cAAc;IAC7B,2BAA2B;IAC3B,SAAS,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC/B,wBAAwB;IACxB,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC7B,6BAA6B;IAC7B,KAAK,CAAC,EAAE,QAAQ,GAAG,QAAQ,EAAE,GAAG,SAAS,CAAC;IAC1C,uCAAuC;IACvC,KAAK,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC3B,4BAA4B;IAC5B,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC5B,yCAAyC;IACzC,OAAO,CAAC,EAAE,KAAK,GAAG,MAAM,GAAG,SAAS,CAAC;IACrC,mDAAmD;IACnD,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CAC7B;AAED,MAAM,WAAW,QAAQ;IACvB,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,QAAQ,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC;IACrC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;CAC3B;AAED,MAAM,WAAW,eAAe;IAC9B,qCAAqC;IACrC,IAAI,EAAE,QAAQ,EAAE,CAAC;IACjB,yCAAyC;IACzC,KAAK,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CAC5B;AASD,MAAM,WAAW,aAAa;IAC5B,oCAAoC;IACpC,KAAK,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IAC5B,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CAC7B;AAED,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,OAAO,GAAG,MAAM,CAAC;IACvB,8CAA8C;IAC9C,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;CACpB;AAED,MAAM,WAAW,cAAc;IAC7B,MAAM,EAAE,WAAW,EAAE,CAAC;CACvB;AAED,eAAO,MAAM,mBAAmB,EAAE,CAAC,CAAC,OAAO,CAAC,aAAa,CAGvD,CAAC;AAEH,eAAO,MAAM,oBAAoB,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAUzD,CAAC;AAEH,MAAM,WAAW,aAAa;IAC5B,4BAA4B;IAC5B,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CAC7B;AAED,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,+BAA+B;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,OAAO,CAAC;IACjB,4CAA4C;IAC5C,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,kEAAkE;IAClE,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,OAAO,CAAC;IAChB,yEAAyE;IACzE,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,OAAO,CAAC;IACjB,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAED,MAAM,WAAW,gBAAgB;IAC/B,+BAA+B;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,uCAAuC;IACvC,KAAK,EAAE,MAAM,CAAC;IACd,4DAA4D;IAC5D,EAAE,EAAE,MAAM,GAAG,IAAI,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,cAAc;IAC7B,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,OAAO,GAAG,MAAM,CAAC;IACvB,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;IACnB,OAAO,EAAE,YAAY,EAAE,CAAC;IACxB,OAAO,EAAE,WAAW,EAAE,CAAC;IACvB,WAAW,EAAE,gBAAgB,EAAE,CAAC;CACjC;AAED,eAAO,MAAM,mBAAmB,EAAE,CAAC,CAAC,OAAO,CAAC,aAAa,CAGvD,CAAC;AAEH,eAAO,MAAM,oBAAoB,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAqCzD,CAAC;AAEH,MAAM,WAAW,WAAW;IAC1B,mDAAmD;IACnD,GAAG,EAAE,MAAM,CAAC;IACZ,uCAAuC;IACvC,MAAM,CAAC,EAAE,OAAO,EAAE,GAAG,SAAS,CAAC;CAChC;AAED,MAAM,WAAW,kBAAkB;IACjC,UAAU,EAAE,WAAW,EAAE,CAAC;IAC1B,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CAC7B;AAED,MAAM,WAAW,iBAAiB;IAChC,2CAA2C;IAC3C,OAAO,EAAE,MAAM,CAAC;IAChB,qEAAqE;IACrE,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,GAAG,SAAS,CAAC;CAC9C;AAED,MAAM,WAAW,mBAAmB;IAClC,iDAAiD;IACjD,OAAO,EAAE,iBAAiB,EAAE,CAAC;IAC7B,4CAA4C;IAC5C,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,eAAO,MAAM,wBAAwB,EAAE,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAWjE,CAAC;AAEH,eAAO,MAAM,yBAAyB,EAAE,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAUnE,CAAC;AAEH,MAAM,WAAW,WAAW;IAC1B,oFAAoF;IACpF,OAAO,EAAE,MAAM,CAAC;IAChB,wBAAwB;IACxB,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC1B,gEAAgE;IAChE,GAAG,EAAE,MAAM,CAAC;CACb;AAED,MAAM,WAAW,cAAc;IAC7B,wEAAwE;IACxE,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC5B,uCAAuC;IACvC,UAAU,CAAC,EAAE,WAAW,EAAE,GAAG,SAAS,CAAC;IACvC,sEAAsE;IACtE,KAAK,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC3B,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CAC7B;AAED,MAAM,WAAW,eAAe;IAC9B,sDAAsD;IACtD,OAAO,EAAE,KAAK,CAAC;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAClD,6DAA6D;IAC7D,OAAO,EAAE,MAAM,CAAC;IAChB,wCAAwC;IACxC,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,6FAA6F;AAC7F,eAAO,MAAM,uBAAuB,EAAE,MAAwC,CAAC;AAE/E,eAAO,MAAM,oBAAoB,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAkBzD,CAAC;AAEH,eAAO,MAAM,qBAAqB,EAAE,CAAC,CAAC,OAAO,CAAC,eAAe,CAM3D,CAAC;AAEH,MAAM,WAAW,aAAa;IAC5B,2DAA2D;IAC3D,EAAE,EAAE,MAAM,CAAC;IACX,mEAAmE;IACnE,MAAM,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IAC7B,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CAC7B;AAED,MAAM,WAAW,cAAc;IAC7B,2BAA2B;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,qCAAqC;IACrC,KAAK,EAAE,MAAM,CAAC;CACf;AAED,eAAO,MAAM,mBAAmB,EAAE,CAAC,CAAC,OAAO,CAAC,aAAa,CAIvD,CAAC;AAEH,eAAO,MAAM,oBAAoB,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAGzD,CAAC"}

package/dist/types.js

@@ -3,6 +3,7 @@
  */
 import { homedir } from "node:os";
 import { join } from "node:path";
+import { z } from "zod";
 // =============================================================================
 // Configuration
 // =============================================================================
@@ -17,4 +18,112 @@ export const LOG_LEVELS = [
     "warn",
     "error",
 ];
+// =============================================================================
+// db.tables, db.schema, db.transaction, db.migrate and db.backup (roadmap R44)
+// =============================================================================
+/** The `dbPath` field of the R44 procedures. Its description does not show the home folder. */
+const dbPath = z.string().min(1).optional().describe("The SQLite database file (default: the CLI log database, ~/logs/cli/cli.db)");
+export const DbTablesInputSchema = z.object({
+    views: z.boolean().optional().describe("Also give the views (default true)"),
+    dbPath,
+});
+export const DbTablesOutputSchema = z.looseObject({
+    tables: z
+        .array(z.looseObject({
+        name: z.string().describe("The name of the table or the view"),
+        type: z.enum(["table", "view"]).describe("table or view"),
+        sql: z.string().nullable().describe("The SQL that made the table or the view"),
+    }))
+        .describe("The tables (and the views), in the order of their names, without the internal sqlite_ tables"),
+});
+export const DbSchemaInputSchema = z.object({
+    table: z.string().min(1).describe("The table or the view"),
+    dbPath,
+});
+export const DbSchemaOutputSchema = z.looseObject({
+    table: z.string().describe("The table or the view"),
+    type: z.enum(["table", "view"]).describe("table or view"),
+    sql: z.string().nullable().describe("The SQL that made the table or the view"),
+    columns: z
+        .array(z.looseObject({
+        name: z.string().describe("The column"),
+        type: z.string().describe('The declared type, or ""'),
+        notNull: z.boolean().describe("True for NOT NULL"),
+        defaultValue: z.string().nullable().describe("The SQL of the default value, or null"),
+        primaryKey: z.number().describe("The position of the column in the primary key, from 1, or 0"),
+    }))
+        .describe("The columns, in their order"),
+    indexes: z
+        .array(z.looseObject({
+        name: z.string().describe("The index"),
+        unique: z.boolean().describe("True for a unique index"),
+        origin: z.string().describe('"c": CREATE INDEX, "u": a UNIQUE constraint, "pk": the PRIMARY KEY'),
+        partial: z.boolean().describe("True for an index with a WHERE clause"),
+        columns: z.array(z.string()).describe("The columns of the index, in order"),
+    }))
+        .describe("The indexes of the table"),
+    foreignKeys: z
+        .array(z.looseObject({
+        from: z.string().describe("The column of this table"),
+        table: z.string().describe("The table that the key refers to"),
+        to: z.string().nullable().describe("The column of that table, or null for its primary key"),
+        onUpdate: z.string().describe("The action ON UPDATE"),
+        onDelete: z.string().describe("The action ON DELETE"),
+    }))
+        .describe("The foreign keys of the table"),
+});
+export const DbTransactionInputSchema = z.object({
+    statements: z
+        .array(z.object({
+        sql: z.string().min(1).describe("One SQL statement, or several without params. BEGIN, COMMIT and ROLLBACK are refused."),
+        params: z.array(z.unknown()).optional().describe("The values of the ? placeholders, in order"),
+    }))
+        .min(1)
+        .describe("The statements, in order: they all take effect, or none does"),
+    dbPath,
+});
+export const DbTransactionOutputSchema = z.looseObject({
+    results: z
+        .array(z.looseObject({
+        changes: z.number().describe("The rows that the statement changed"),
+        rows: z.array(z.record(z.string(), z.unknown())).optional().describe("The rows of a statement that gives rows (SELECT, or RETURNING)"),
+    }))
+        .describe("One result for each statement of the input"),
+    changes: z.number().describe("The rows that the transaction changed"),
+});
+/** The name of a table that the SQL of db.migrate names: letters, digits and underscores. */
+export const MIGRATION_TABLE_PATTERN = /^[A-Za-z_][A-Za-z0-9_]{0,63}$/;
+export const DbMigrateInputSchema = z.object({
+    folder: z.string().min(1).optional().describe("A folder of files named <number>_<name>.sql, for example 001_create_users.sql (not with migrations)"),
+    migrations: z
+        .array(z.object({
+        version: z.number().int().min(1).describe("The number of the migration: the migrations run in the order of their numbers"),
+        name: z.string().optional().describe("A name for people"),
+        sql: z.string().min(1).describe("The SQL of the migration (several statements are allowed)"),
+    }))
+        .optional()
+        .describe("The migrations (not with folder)"),
+    table: z
+        .string()
+        .regex(MIGRATION_TABLE_PATTERN, "letters, digits and underscores, and not a digit first")
+        .optional()
+        .describe("The table of the applied migrations (default schema_migrations)"),
+    dbPath,
+});
+export const DbMigrateOutputSchema = z.looseObject({
+    applied: z
+        .array(z.looseObject({ version: z.number().describe("The number"), name: z.string().describe("The name") }))
+        .describe("The migrations that this call applied, in order"),
+    skipped: z.number().describe("The number of migrations that the database had already"),
+    version: z.number().describe("The highest applied version, or 0"),
+});
+export const DbBackupInputSchema = z.object({
+    to: z.string().min(1).describe("The new file. The procedure does not replace a file."),
+    vacuum: z.boolean().optional().describe("Also compact the copy (VACUUM): it leaves out the free pages"),
+    dbPath,
+});
+export const DbBackupOutputSchema = z.looseObject({
+    path: z.string().describe("The path of the copy"),
+    bytes: z.number().describe("The size of the copy, in bytes"),
+});
 //# sourceMappingURL=types.js.map

package/dist/types.js.map

@@ -1 +1 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,OAAO,EAAE,MAAM,SAAS,CAAC;AAClC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,gFAAgF;AAChF,gBAAgB;AAChB,gFAAgF;AAEhF;;GAEG;AACH,MAAM,CAAC,MAAM,eAAe,GAAW,IAAI,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;AAQhF,MAAM,CAAC,MAAM,UAAU,GAAwB;IAC7C,OAAO;IACP,OAAO;IACP,MAAM;IACN,MAAM;IACN,OAAO;CACC,CAAC"}
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,OAAO,EAAE,MAAM,SAAS,CAAC;AAClC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,gFAAgF;AAChF,gBAAgB;AAChB,gFAAgF;AAEhF;;GAEG;AACH,MAAM,CAAC,MAAM,eAAe,GAAW,IAAI,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;AAQhF,MAAM,CAAC,MAAM,UAAU,GAAwB;IAC7C,OAAO;IACP,OAAO;IACP,MAAM;IACN,MAAM;IACN,OAAO;CACC,CAAC;AA4GX,gFAAgF;AAChF,+EAA+E;AAC/E,gFAAgF;AAEhF,+FAA+F;AAC/F,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,6EAA6E,CAAC,CAAC;AAmBpI,MAAM,CAAC,MAAM,mBAAmB,GAA6B,CAAC,CAAC,MAAM,CAAC;IACpE,KAAK,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,oCAAoC,CAAC;IAC5E,MAAM;CACP,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,oBAAoB,GAA8B,CAAC,CAAC,WAAW,CAAC;IAC3E,MAAM,EAAE,CAAC;SACN,KAAK,CACJ,CAAC,CAAC,WAAW,CAAC;QACZ,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,mCAAmC,CAAC;QAC9D,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,eAAe,CAAC;QACzD,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,yCAAyC,CAAC;KAC/E,CAAC,CACH;SACA,QAAQ,CAAC,8FAA8F,CAAC;CAC5G,CAAC,CAAC;AAgDH,MAAM,CAAC,MAAM,mBAAmB,GAA6B,CAAC,CAAC,MAAM,CAAC;IACpE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,uBAAuB,CAAC;IAC1D,MAAM;CACP,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,oBAAoB,GAA8B,CAAC,CAAC,WAAW,CAAC;IAC3E,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,uBAAuB,CAAC;IACnD,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,eAAe,CAAC;IACzD,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,yCAAyC,CAAC;IAC9E,OAAO,EAAE,CAAC;SACP,KAAK,CACJ,CAAC,CAAC,WAAW,CAAC;QACZ,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,YAAY,CAAC;QACvC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,0BAA0B,CAAC;QACrD,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,CAAC,mBAAmB,CAAC;QAClD,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,uCAAuC,CAAC;QACrF,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,6DAA6D,CAAC;KAC/F,CAAC,CACH;SACA,QAAQ,CAAC,6BAA6B,CAAC;IAC1C,OAAO,EAAE,CAAC;SACP,KAAK,CACJ,CAAC,CAAC,WAAW,CAAC;QACZ,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,WAAW,CAAC;QACtC,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,CAAC,yBAAyB,CAAC;QACvD,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,oEAAoE,CAAC;QACjG,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,CAAC,uCAAuC,CAAC;QACtE,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,oCAAoC,CAAC;KAC5E,CAAC,CACH;SACA,QAAQ,CAAC,0BAA0B,CAAC;IACvC,WAAW,EAAE,CAAC;SACX,KAAK,CACJ,CAAC,CAAC,WAAW,CAAC;QACZ,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,0BAA0B,CAAC;QACrD,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,kCAAkC,CAAC;QAC9D,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,uDAAuD,CAAC;QAC3F,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,sBAAsB,CAAC;QACrD,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,sBAAsB,CAAC;KACtD,CAAC,CACH;SACA,QAAQ,CAAC,+BAA+B,CAAC;CAC7C,CAAC,CAAC;AA4BH,MAAM,CAAC,MAAM,wBAAwB,GAAkC,CAAC,CAAC,MAAM,CAAC;IAC9E,UAAU,EAAE,CAAC;SACV,KAAK,CACJ,CAAC,CAAC,MAAM,CAAC;QACP,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,uFAAuF,CAAC;QACxH,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,4CAA4C,CAAC;KAC/F,CAAC,CACH;SACA,GAAG,CAAC,CAAC,CAAC;SACN,QAAQ,CAAC,8DAA8D,CAAC;IAC3E,MAAM;CACP,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,yBAAyB,GAAmC,CAAC,CAAC,WAAW,CAAC;IACrF,OAAO,EAAE,CAAC;SACP,KAAK,CACJ,CAAC,CAAC,WAAW,CAAC;QACZ,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,qCAAqC,CAAC;QACnE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,gEAAgE,CAAC;KACvI,CAAC,CACH;SACA,QAAQ,CAAC,4CAA4C,CAAC;IACzD,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,uCAAuC,CAAC;CACtE,CAAC,CAAC;AA8BH,6FAA6F;AAC7F,MAAM,CAAC,MAAM,uBAAuB,GAAW,+BAA+B,CAAC;AAE/E,MAAM,CAAC,MAAM,oBAAoB,GAA8B,CAAC,CAAC,MAAM,CAAC;IACtE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,qGAAqG,CAAC;IACpJ,UAAU,EAAE,CAAC;SACV,KAAK,CACJ,CAAC,CAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,+EAA+E,CAAC;QAC1H,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,mBAAmB,CAAC;QACzD,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,2DAA2D,CAAC;KAC7F,CAAC,CACH;SACA,QAAQ,EAAE;SACV,QAAQ,CAAC,kCAAkC,CAAC;IAC/C,KAAK,EAAE,CAAC;SACL,MAAM,EAAE;SACR,KAAK,CAAC,uBAAuB,EAAE,wDAAwD,CAAC;SACxF,QAAQ,EAAE;SACV,QAAQ,CAAC,iEAAiE,CAAC;IAC9E,MAAM;CACP,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,qBAAqB,GAA+B,CAAC,CAAC,WAAW,CAAC;IAC7E,OAAO,EAAE,CAAC;SACP,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;SAC3G,QAAQ,CAAC,iDAAiD,CAAC;IAC9D,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,wDAAwD,CAAC;IACtF,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,mCAAmC,CAAC;CAClE,CAAC,CAAC;AAiBH,MAAM,CAAC,MAAM,mBAAmB,GAA6B,CAAC,CAAC,MAAM,CAAC;IACpE,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,sDAAsD,CAAC;IACtF,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,8DAA8D,CAAC;IACvG,MAAM;CACP,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,oBAAoB,GAA8B,CAAC,CAAC,WAAW,CAAC;IAC3E,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,sBAAsB,CAAC;IACjD,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,gCAAgC,CAAC;CAC7D,CAAC,CAAC"}

package/package.json

@@ -1,8 +1,8 @@
 {
   "$schema": "https://json.schemastore.org/package",
   "name": "@procedures/sqlite",
-  "version": "0.2.3",
-  "description": "SQLite procedures with sql.js and no native build: db.query, db.execute and structured logs (logs.store, logs.query), safe for concurrent writes.",
+  "version": "0.3.0",
+  "description": "SQLite procedures with sql.js and no native build: queries, tables and schemas, transactions, migrations, backups and structured logs, safe for concurrent writes, and SqliteStorage, a durable collection storage with a change log.",
   "keywords": [
     "sqlite",
     "sql.js",
@@ -36,6 +36,10 @@
     "./register": {
       "types": "./dist/register.d.ts",
       "import": "./dist/register.js"
+    },
+    "./storage": {
+      "types": "./dist/storage.d.ts",
+      "import": "./dist/storage.js"
     }
   },
   "files": [
@@ -60,12 +64,14 @@
     "procedures": "./dist/register.js"
   },
   "dependencies": {
-    "@procedures/client": "0.2.3",
+    "@procedures/client": "0.3.0",
     "@mark1russell7/docker-sqlite": "^0.1.0",
     "zod": "^4.6.5"
   },
   "devDependencies": {
     "@mark1russell7/cue": "^1.0.0",
+    "@procedures/collections": "0.3.0",
+    "@procedures/store": "0.3.0",
     "@types/node": "^22.0.0",
     "typescript": "^7.0.2",
     "vitest": "^5.0.3"

package/src/index.ts

@@ -49,16 +49,42 @@ export type {
   LogsQueryOutput,
   LogEntry,
   LogLevel,
+  DbTablesInput,
+  DbTablesOutput,
+  DbTableInfo,
+  DbSchemaInput,
+  DbSchemaOutput,
+  DbColumnInfo,
+  DbIndexInfo,
+  DbForeignKeyInfo,
+  DbStatement,
+  DbStatementResult,
+  DbTransactionInput,
+  DbTransactionOutput,
+  DbMigration,
+  DbMigrateInput,
+  DbMigrateOutput,
+  DbBackupInput,
+  DbBackupOutput,
 } from "./types.js";
 
 export { DEFAULT_DB_PATH, LOG_LEVELS } from "./types.js";
 
+// The db.* procedures of roadmap R44, for direct use
+export { dbTables, dbSchema, dbTransaction, dbMigrate, dbBackup } from "./procedures/db/index.js";
+
 // =============================================================================
 // Registration
 // =============================================================================
 
 export { registerSqliteProcedures } from "./module.js";
 
+// =============================================================================
+// The collection storage (roadmap R45). The entry @procedures/sqlite/storage has it alone.
+// =============================================================================
+
+export { SqliteStorage, checkTableName, MEMORY_PATH, type SqliteStorageOptions } from "./storage.js";
+
 // =============================================================================
 // Re-export docker-sqlite utilities for direct use
 // =============================================================================

package/src/module.ts

@@ -3,7 +3,8 @@
  *
  * Procedure Registration for SQLite
  *
- * Registers database and logging procedures with the client system.
+ * Registers database and logging procedures with the client system: db.query, db.execute,
+ * db.tables, db.schema, db.transaction, db.migrate, db.backup, logs.store and logs.query.
  * This file is referenced by package.json's client.procedures field.
  */
 
@@ -15,6 +16,7 @@ import {
   execute,
   lastInsertRowId,
   runMigrations,
+  tableExists,
   type Migration,
 } from "@mark1russell7/docker-sqlite";
 import {
@@ -31,6 +33,29 @@ import {
   type LogEntry,
   type LogLevel,
 } from "./types.js";
+import { dbTables, dbSchema, dbTransaction, dbMigrate, dbBackup } from "./procedures/db/index.js";
+import {
+  DbTablesInputSchema,
+  DbTablesOutputSchema,
+  DbSchemaInputSchema,
+  DbSchemaOutputSchema,
+  DbTransactionInputSchema,
+  DbTransactionOutputSchema,
+  DbMigrateInputSchema,
+  DbMigrateOutputSchema,
+  DbBackupInputSchema,
+  DbBackupOutputSchema,
+  type DbTablesInput,
+  type DbTablesOutput,
+  type DbSchemaInput,
+  type DbSchemaOutput,
+  type DbTransactionInput,
+  type DbTransactionOutput,
+  type DbMigrateInput,
+  type DbMigrateOutput,
+  type DbBackupInput,
+  type DbBackupOutput,
+} from "./types.js";
 
 // =============================================================================
 // Schemas
@@ -173,15 +198,17 @@ const dbQueryProcedure = createProcedure()
   .input(dbQueryInputSchema)
   .output(dbQueryOutputSchema)
   .meta({
-    description: "Execute a SQL SELECT query",
-    // The SQL is not limited to SELECT: the first statement runs, and the file keeps its changes
-    effects: { reads: ["fs"], writes: ["fs"] },
+    description: "Execute a SQL SELECT query (read only: a statement that changes data fails)",
+    // PRAGMA query_only refuses each statement that changes the database, so the procedure only
+    // reads (CAP-1). Before, any statement ran, and the file kept its changes.
+    effects: { reads: ["fs"], writes: [] },
   })
   .handler(async (input: DbQueryInput): Promise<DbQueryOutput> => {
     const dbPath = input.dbPath ?? DEFAULT_DB_PATH;
     const params = input.params ?? [];
 
     return withConnection({ dbPath }, (db) => {
+      db.run("PRAGMA query_only = 1");
       const result = query(db, input.sql, params);
       return {
         columns: result.columns,
@@ -287,16 +314,18 @@ const logsQueryProcedure = createProcedure()
   .output(logsQueryOutputSchema)
   .meta({
     description: "Query log entries from the database",
-    // It makes the database file and the logs table when they are missing
-    effects: { reads: ["fs"], writes: ["fs"], destructive: false, idempotent: true },
+    // A missing file or table gives no entries, and the query makes neither (CAP-3). Before, the
+    // first query made the database file and its table.
+    effects: { reads: ["fs"], writes: [] },
   })
   .handler(async (input: LogsQueryInput): Promise<LogsQueryOutput> => {
     const dbPath = input.dbPath ?? DEFAULT_DB_PATH;
 
-    // Ensure table exists
-    await ensureLogsTable(dbPath);
-
     return withConnection({ dbPath }, (db) => {
+      if (!tableExists(db, "logs")) {
+        return { logs: [] };
+      }
+      db.run("PRAGMA query_only = 1");
       const conditions: string[] = [];
       const params: unknown[] = [];
 
@@ -382,6 +411,83 @@ const logsQueryProcedure = createProcedure()
   })
   .build();
 
+// =============================================================================
+// db.tables, db.schema, db.transaction, db.migrate and db.backup (roadmap R44)
+// =============================================================================
+
+const dbTablesProcedure = createProcedure()
+  .path(["db", "tables"])
+  .input(zodAdapter<DbTablesInput>(DbTablesInputSchema))
+  .output(zodAdapter<DbTablesOutput>(DbTablesOutputSchema))
+  .meta({
+    description: "The tables and views of a database (read only: a missing file is an error)",
+    effects: { reads: ["fs"], writes: [] },
+    args: [],
+    shorts: {},
+    output: "json",
+  })
+  .handler(async (input: DbTablesInput): Promise<DbTablesOutput> => dbTables(input))
+  .build();
+
+const dbSchemaProcedure = createProcedure()
+  .path(["db", "schema"])
+  .input(zodAdapter<DbSchemaInput>(DbSchemaInputSchema))
+  .output(zodAdapter<DbSchemaOutput>(DbSchemaOutputSchema))
+  .meta({
+    description: "The columns, indexes and foreign keys of a table (read only)",
+    effects: { reads: ["fs"], writes: [] },
+    args: ["table"],
+    shorts: {},
+    output: "json",
+  })
+  .handler(async (input: DbSchemaInput): Promise<DbSchemaOutput> => dbSchema(input))
+  .build();
+
+const dbTransactionProcedure = createProcedure()
+  .path(["db", "transaction"])
+  .input(zodAdapter<DbTransactionInput>(DbTransactionInputSchema))
+  .output(zodAdapter<DbTransactionOutput>(DbTransactionOutputSchema))
+  .meta({
+    description: "Run statements in one transaction: they all take effect, or none does",
+    // The statements of the caller can change or delete any row
+    effects: { reads: ["fs"], writes: ["fs"] },
+    args: [],
+    shorts: {},
+    output: "json",
+  })
+  .handler(async (input: DbTransactionInput): Promise<DbTransactionOutput> => dbTransaction(input))
+  .build();
+
+const dbMigrateProcedure = createProcedure()
+  .path(["db", "migrate"])
+  .input(zodAdapter<DbMigrateInput>(DbMigrateInputSchema))
+  .output(zodAdapter<DbMigrateOutput>(DbMigrateOutputSchema))
+  .meta({
+    description: "Apply the numbered migrations (a folder or a list) that a database does not have, in one transaction",
+    // A migration can drop a table: destructive. A second call applies nothing.
+    effects: { reads: ["fs"], writes: ["fs"], idempotent: true },
+    args: [],
+    shorts: {},
+    output: "json",
+  })
+  .handler(async (input: DbMigrateInput): Promise<DbMigrateOutput> => dbMigrate(input))
+  .build();
+
+const dbBackupProcedure = createProcedure()
+  .path(["db", "backup"])
+  .input(zodAdapter<DbBackupInput>(DbBackupInputSchema))
+  .output(zodAdapter<DbBackupOutput>(DbBackupOutputSchema))
+  .meta({
+    description: "Copy a database to a new file (it does not replace a file)",
+    // It makes a new file, and never replaces one. A second call finds the file and fails.
+    effects: { reads: ["fs"], writes: ["fs"], destructive: false, idempotent: false },
+    args: ["to"],
+    shorts: {},
+    output: "json",
+  })
+  .handler(async (input: DbBackupInput): Promise<DbBackupOutput> => dbBackup(input))
+  .build();
+
 // =============================================================================
 // Registration
 // =============================================================================
@@ -395,6 +501,11 @@ export const sqliteModule: ProcedureModule = defineModule("@procedures/sqlite",
     dbExecuteProcedure,
     logsStoreProcedure,
     logsQueryProcedure,
+    dbTablesProcedure,
+    dbSchemaProcedure,
+    dbTransactionProcedure,
+    dbMigrateProcedure,
+    dbBackupProcedure,
   ]);
 
 export default sqliteModule;

package/src/procedures/db/backup.ts

@@ -0,0 +1,62 @@
+/**
+ * db.backup procedure (roadmap R44)
+ *
+ * A copy of a database in a new file. The package runs SQLite in WebAssembly (sql.js): the
+ * database is in the memory of the module, and `VACUUM INTO` and the backup API write into the
+ * file system of the module, not to the disk. So the procedure takes the image of the database
+ * (`export()`, the serialized database) in the file queue of the database, where no other call
+ * of this process changes it. It writes the image to a file next to the target, checks it with
+ * `PRAGMA integrity_check`, and renames it.
+ *
+ * - The procedure does not replace a file, and it does not write the source.
+ * - With `vacuum: true`, it compacts the copy (VACUUM on the copy): the result of `VACUUM INTO`.
+ */
+
+import { existsSync } from "node:fs";
+import { rename, stat, unlink, writeFile } from "node:fs/promises";
+import { resolve } from "node:path";
+import { query, withConnection } from "@mark1russell7/docker-sqlite";
+import type { DbBackupInput, DbBackupOutput } from "../../types.js";
+import { databasePath, requireDatabaseFile } from "./shared.js";
+
+/** The key of a file path: Windows file names do not depend on case. */
+function fileKey(path: string): string {
+  const absolute = resolve(path);
+  return process.platform === "win32" ? absolute.toLowerCase() : absolute;
+}
+
+/**
+ * Copy a database to a new file
+ */
+export async function dbBackup(input: DbBackupInput): Promise<DbBackupOutput> {
+  const source = databasePath(input.dbPath);
+  requireDatabaseFile("db.backup", source);
+  const target = resolve(input.to);
+  if (source !== ":memory:" && fileKey(source) === fileKey(target)) {
+    throw new Error("db.backup: the copy cannot be the database file itself");
+  }
+  if (existsSync(target)) {
+    const error = new Error(`db.backup: the file exists already: ${target}. The procedure does not replace a file.`) as NodeJS.ErrnoException;
+    error.code = "EEXIST";
+    throw error;
+  }
+
+  const image = await withConnection({ dbPath: source }, (db) => db.export());
+  const temporary = `${target}.${process.pid}.${Date.now()}.tmp`;
+  try {
+    await writeFile(temporary, image);
+    if (input.vacuum) {
+      // The VACUUM changes the copy only: withConnection saves it to the temporary file
+      await withConnection({ dbPath: temporary }, (db) => db.run("VACUUM"));
+    }
+    const check = await withConnection({ dbPath: temporary }, (db) => query<{ integrity_check: string }>(db, "PRAGMA integrity_check").rows);
+    const verdict = check.map((row) => row.integrity_check).join("; ");
+    if (verdict !== "ok") throw new Error(`db.backup: the copy is not valid: ${verdict}`);
+    if (existsSync(target)) throw new Error(`db.backup: the file exists already: ${target}. The procedure does not replace a file.`);
+    await rename(temporary, target);
+  } catch (error) {
+    await unlink(temporary).catch(() => undefined);
+    throw error;
+  }
+  return { path: target, bytes: (await stat(target)).size };
+}

package/src/procedures/db/index.ts

@@ -0,0 +1,5 @@
+export { dbTables } from "./tables.js";
+export { dbSchema } from "./schema.js";
+export { dbTransaction } from "./transaction.js";
+export { dbMigrate } from "./migrate.js";
+export { dbBackup } from "./backup.js";