@fougere/adapter-sql 0.2.0-alpha.2 → 0.4.0-alpha.0

package/dist/setup.d.ts

@@ -1,5 +1,13 @@
+/**
+ * Storage setup — the shape every engine answers, and no driver at all.
+ *
+ * Fougere has no business choosing a driver (`pg`, `mysql2`, `tedious`, `better-sqlite3`,
+ * a D1 binding), so the caller builds the Kysely dialect and hands it over — no dynamic
+ * import, no optional dependency. This file therefore reaches for nothing: it is what a
+ * runtime with no filesystem imports. The one driver this package does own lives behind
+ * `@fougere/adapter-sql/sqlite`.
+ */
 import { Kysely, type Dialect as KyselyDialect } from 'kysely';
-import Database from 'better-sqlite3';
 import { createOrmFactory, type OrmFactoryOptions } from './crud.js';
 import type { DialectName } from './dialect.js';
 import type { SqlSink } from './ddl.js';
@@ -7,10 +15,6 @@ export interface SetupOptions {
     /** Override naming for specific entities (e.g. better-auth wants singular table names). */
     ormFactoryOptions?: OrmFactoryOptions;
 }
-export interface SqliteSetupOptions extends SetupOptions {
-    /** Filesystem path to the database. Defaults to a project-local file. */
-    path?: string;
-}
 export interface Setup {
     dialect: DialectName;
     ormFactory: ReturnType<typeof createOrmFactory>;
@@ -24,14 +28,18 @@ export interface Setup {
      * whose `client` gives the same handle while keeping the scope of its entity.
      */
     db: Kysely<any>;
-}
-export interface SqliteSetup extends Setup {
-    /** The raw handle, for pragmas and synchronous exec. */
-    sqlite: Database.Database;
+    /**
+     * Run `fn` inside one transaction of this engine, with an ORM factory bound to it.
+     *
+     * The transaction belongs to the engine, so obtaining one is a gesture on the engine and
+     * nowhere else. Nothing new is handed back: `Transaction<DB> extends Kysely<DB>` and
+     * `SqlEntityOrm` takes a `Kysely<any>`, so the SAME ORM is rebuilt over the substituted
+     * connection — which is why a frame needs no support in this package.
+     */
+    transacted<R>(fn: (ormFactory: ReturnType<typeof createOrmFactory>) => Promise<R>): Promise<R>;
 }
 /** A sink that runs statements through Kysely — works on every engine. */
 export declare function sqlSink(db: Kysely<any>): SqlSink;
 /** Wrap any Kysely dialect — Postgres, MySQL, SQL Server. */
 export declare function setupKysely(kyselyDialect: KyselyDialect, dialect: DialectName, opts?: SetupOptions): Setup;
-export declare function setupSqlite(opts?: SqliteSetupOptions): SqliteSetup;
 //# sourceMappingURL=setup.d.ts.map

package/dist/setup.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"setup.d.ts","sourceRoot":"","sources":["../src/setup.ts"],"names":[],"mappings":"AAUA,OAAO,EAAE,MAAM,EAAsB,KAAK,OAAO,IAAI,aAAa,EAAE,MAAM,QAAQ,CAAC;AACnF,OAAO,QAAQ,MAAM,gBAAgB,CAAC;AACtC,OAAO,EAAE,gBAAgB,EAAE,KAAK,iBAAiB,EAAE,MAAM,WAAW,CAAC;AACrE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC;AAExC,MAAM,WAAW,YAAY;IAC3B,2FAA2F;IAC3F,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;CACvC;AAED,MAAM,WAAW,kBAAmB,SAAQ,YAAY;IACtD,yEAAyE;IACzE,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,KAAK;IACpB,OAAO,EAAE,WAAW,CAAC;IACrB,UAAU,EAAE,UAAU,CAAC,OAAO,gBAAgB,CAAC,CAAC;IAChD,+DAA+D;IAC/D,IAAI,EAAE,OAAO,CAAC;IACd;;;;;;OAMG;IACH,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;CACjB;AAED,MAAM,WAAW,WAAY,SAAQ,KAAK;IACxC,wDAAwD;IACxD,MAAM,EAAE,QAAQ,CAAC,QAAQ,CAAC;CAC3B;AAED,0EAA0E;AAC1E,wBAAgB,OAAO,CAAC,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,OAAO,CAEhD;AAED,6DAA6D;AAC7D,wBAAgB,WAAW,CACzB,aAAa,EAAE,aAAa,EAC5B,OAAO,EAAE,WAAW,EACpB,IAAI,GAAE,YAAiB,GACtB,KAAK,CAGP;AAED,wBAAgB,WAAW,CAAC,IAAI,GAAE,kBAAuB,GAAG,WAAW,CAetE"}
+{"version":3,"file":"setup.d.ts","sourceRoot":"","sources":["../src/setup.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAAE,MAAM,EAAO,KAAK,OAAO,IAAI,aAAa,EAAE,MAAM,QAAQ,CAAC;AACpE,OAAO,EAAE,gBAAgB,EAAE,KAAK,iBAAiB,EAAE,MAAM,WAAW,CAAC;AACrE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC;AAExC,MAAM,WAAW,YAAY;IAC3B,2FAA2F;IAC3F,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;CACvC;AAED,MAAM,WAAW,KAAK;IACpB,OAAO,EAAE,WAAW,CAAC;IACrB,UAAU,EAAE,UAAU,CAAC,OAAO,gBAAgB,CAAC,CAAC;IAChD,+DAA+D;IAC/D,IAAI,EAAE,OAAO,CAAC;IACd;;;;;;OAMG;IACH,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;IAChB;;;;;;;OAOG;IACH,UAAU,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC,OAAO,gBAAgB,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;CAChG;AAED,0EAA0E;AAC1E,wBAAgB,OAAO,CAAC,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,OAAO,CAEhD;AAED,6DAA6D;AAC7D,wBAAgB,WAAW,CACzB,aAAa,EAAE,aAAa,EAC5B,OAAO,EAAE,WAAW,EACpB,IAAI,GAAE,YAAiB,GACtB,KAAK,CASP"}

package/dist/setup.js

@@ -1,15 +1,13 @@
 /**
- * Storage setup — convention for SQLite, an escape hatch for the rest.
+ * Storage setup — the shape every engine answers, and no driver at all.
  *
- * SQLite is the default a first run meets, so it gets a concrete helper that
- * owns its driver. Every other engine needs a driver Fougere has no business
- * choosing (`pg`, `mysql2`, `tedious`), so the caller builds the Kysely dialect
- * and hands it over — no dynamic import, no optional dependency.
+ * Fougere has no business choosing a driver (`pg`, `mysql2`, `tedious`, `better-sqlite3`,
+ * a D1 binding), so the caller builds the Kysely dialect and hands it over — no dynamic
+ * import, no optional dependency. This file therefore reaches for nothing: it is what a
+ * runtime with no filesystem imports. The one driver this package does own lives behind
+ * `@fougere/adapter-sql/sqlite`.
  */
-import { mkdirSync } from 'node:fs';
-import { dirname } from 'node:path';
-import { Kysely, SqliteDialect, sql } from 'kysely';
-import Database from 'better-sqlite3';
+import { Kysely, sql } from 'kysely';
 import { createOrmFactory } from './crud.js';
 /** A sink that runs statements through Kysely — works on every engine. */
 export function sqlSink(db) {
@@ -18,23 +16,12 @@ export function sqlSink(db) {
 /** Wrap any Kysely dialect — Postgres, MySQL, SQL Server. */
 export function setupKysely(kyselyDialect, dialect, opts = {}) {
     const db = new Kysely({ dialect: kyselyDialect });
-    return { db, dialect, ormFactory: createOrmFactory(db, opts.ormFactoryOptions, dialect), sink: sqlSink(db) };
-}
-export function setupSqlite(opts = {}) {
-    const path = opts.path ?? 'fougere.db';
-    // A file-backed DB needs its directory — SQLite won't create it.
-    if (path !== ':memory:')
-        mkdirSync(dirname(path), { recursive: true });
-    const sqlite = new Database(path);
-    sqlite.pragma('journal_mode = WAL');
-    sqlite.pragma('foreign_keys = ON');
-    const db = new Kysely({ dialect: new SqliteDialect({ database: sqlite }) });
     return {
         db,
-        sqlite,
-        dialect: 'sqlite',
-        ormFactory: createOrmFactory(db, opts.ormFactoryOptions, 'sqlite'),
+        dialect,
+        ormFactory: createOrmFactory(db, opts.ormFactoryOptions, dialect),
         sink: sqlSink(db),
+        transacted: (fn) => db.transaction().execute((trx) => fn(createOrmFactory(trx, opts.ormFactoryOptions, dialect))),
     };
 }
 //# sourceMappingURL=setup.js.map

package/dist/setup.js.map

@@ -1 +1 @@
-{"version":3,"file":"setup.js","sourceRoot":"","sources":["../src/setup.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AACpC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,GAAG,EAAiC,MAAM,QAAQ,CAAC;AACnF,OAAO,QAAQ,MAAM,gBAAgB,CAAC;AACtC,OAAO,EAAE,gBAAgB,EAA0B,MAAM,WAAW,CAAC;AAkCrE,0EAA0E;AAC1E,MAAM,UAAU,OAAO,CAAC,EAAe;IACrC,OAAO,EAAE,OAAO,EAAE,CAAC,SAAiB,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;AAC5E,CAAC;AAED,6DAA6D;AAC7D,MAAM,UAAU,WAAW,CACzB,aAA4B,EAC5B,OAAoB,EACpB,IAAI,GAAiB,EAAE;IAEvB,MAAM,EAAE,GAAG,IAAI,MAAM,CAAM,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,CAAC;IACvD,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,UAAU,EAAE,gBAAgB,CAAC,EAAE,EAAE,IAAI,CAAC,iBAAiB,EAAE,OAAO,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;AAC/G,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,IAAI,GAAuB,EAAE;IACvD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,YAAY,CAAC;IACvC,iEAAiE;IACjE,IAAI,IAAI,KAAK,UAAU;QAAE,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACvE,MAAM,MAAM,GAAG,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,CAAC,MAAM,CAAC,oBAAoB,CAAC,CAAC;IACpC,MAAM,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC;IACnC,MAAM,EAAE,GAAG,IAAI,MAAM,CAAM,EAAE,OAAO,EAAE,IAAI,aAAa,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;IACjF,OAAO;QACL,EAAE;QACF,MAAM;QACN,OAAO,EAAE,QAAQ;QACjB,UAAU,EAAE,gBAAgB,CAAC,EAAE,EAAE,IAAI,CAAC,iBAAiB,EAAE,QAAQ,CAAC;QAClE,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;KAClB,CAAC;AACJ,CAAC"}
+{"version":3,"file":"setup.js","sourceRoot":"","sources":["../src/setup.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAAE,MAAM,EAAE,GAAG,EAAiC,MAAM,QAAQ,CAAC;AACpE,OAAO,EAAE,gBAAgB,EAA0B,MAAM,WAAW,CAAC;AAiCrE,0EAA0E;AAC1E,MAAM,UAAU,OAAO,CAAC,EAAe;IACrC,OAAO,EAAE,OAAO,EAAE,CAAC,SAAiB,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;AAC5E,CAAC;AAED,6DAA6D;AAC7D,MAAM,UAAU,WAAW,CACzB,aAA4B,EAC5B,OAAoB,EACpB,IAAI,GAAiB,EAAE;IAEvB,MAAM,EAAE,GAAG,IAAI,MAAM,CAAM,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,CAAC;IACvD,OAAO;QACL,EAAE;QACF,OAAO;QACP,UAAU,EAAE,gBAAgB,CAAC,EAAE,EAAE,IAAI,CAAC,iBAAiB,EAAE,OAAO,CAAC;QACjE,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;QACjB,UAAU,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,gBAAgB,CAAC,GAAG,EAAE,IAAI,CAAC,iBAAiB,EAAE,OAAO,CAAC,CAAC,CAAC;KAClH,CAAC;AACJ,CAAC"}

package/dist/sqlite.d.ts

@@ -0,0 +1,12 @@
+import Database from 'better-sqlite3';
+import { type Setup, type SetupOptions } from './setup.js';
+export interface SqliteSetupOptions extends SetupOptions {
+    /** Filesystem path to the database. Defaults to a project-local file. */
+    path?: string;
+}
+export interface SqliteSetup extends Setup {
+    /** The raw handle, for pragmas and synchronous exec. */
+    sqlite: Database.Database;
+}
+export declare function setupSqlite(opts?: SqliteSetupOptions): SqliteSetup;
+//# sourceMappingURL=sqlite.d.ts.map

package/dist/sqlite.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sqlite.d.ts","sourceRoot":"","sources":["../src/sqlite.ts"],"names":[],"mappings":"AAYA,OAAO,QAAQ,MAAM,gBAAgB,CAAC;AAEtC,OAAO,EAAW,KAAK,KAAK,EAAE,KAAK,YAAY,EAAE,MAAM,YAAY,CAAC;AAEpE,MAAM,WAAW,kBAAmB,SAAQ,YAAY;IACtD,yEAAyE;IACzE,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,WAAY,SAAQ,KAAK;IACxC,wDAAwD;IACxD,MAAM,EAAE,QAAQ,CAAC,QAAQ,CAAC;CAC3B;AAED,wBAAgB,WAAW,CAAC,IAAI,GAAE,kBAAuB,GAAG,WAAW,CAgBtE"}

package/dist/sqlite.js

@@ -0,0 +1,34 @@
+/**
+ * SQLite on a file — the convention a first run meets, and the only driver this package owns.
+ *
+ * It sits behind its own subpath because `better-sqlite3` is a NATIVE module and `node:fs`
+ * is a builtin: a bundler cannot prune a module that imports them, so re-exporting this
+ * from the index made the whole adapter unreachable from a runtime that has neither. Same
+ * cut as `@fougere/transport-http/receive`, and for the same reason — share the projection,
+ * never the plumbing.
+ */
+import { mkdirSync } from 'node:fs';
+import { dirname } from 'node:path';
+import { Kysely, SqliteDialect } from 'kysely';
+import Database from 'better-sqlite3';
+import { createOrmFactory } from './crud.js';
+import { sqlSink } from './setup.js';
+export function setupSqlite(opts = {}) {
+    const path = opts.path ?? 'fougere.db';
+    // A file-backed DB needs its directory — SQLite won't create it.
+    if (path !== ':memory:')
+        mkdirSync(dirname(path), { recursive: true });
+    const sqlite = new Database(path);
+    sqlite.pragma('journal_mode = WAL');
+    sqlite.pragma('foreign_keys = ON');
+    const db = new Kysely({ dialect: new SqliteDialect({ database: sqlite }) });
+    return {
+        db,
+        sqlite,
+        dialect: 'sqlite',
+        ormFactory: createOrmFactory(db, opts.ormFactoryOptions, 'sqlite'),
+        sink: sqlSink(db),
+        transacted: (fn) => db.transaction().execute((trx) => fn(createOrmFactory(trx, opts.ormFactoryOptions, 'sqlite'))),
+    };
+}
+//# sourceMappingURL=sqlite.js.map

package/dist/sqlite.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sqlite.js","sourceRoot":"","sources":["../src/sqlite.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AACpC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,QAAQ,CAAC;AAC/C,OAAO,QAAQ,MAAM,gBAAgB,CAAC;AACtC,OAAO,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAC7C,OAAO,EAAE,OAAO,EAAiC,MAAM,YAAY,CAAC;AAYpE,MAAM,UAAU,WAAW,CAAC,IAAI,GAAuB,EAAE;IACvD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,YAAY,CAAC;IACvC,iEAAiE;IACjE,IAAI,IAAI,KAAK,UAAU;QAAE,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACvE,MAAM,MAAM,GAAG,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,CAAC,MAAM,CAAC,oBAAoB,CAAC,CAAC;IACpC,MAAM,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC;IACnC,MAAM,EAAE,GAAG,IAAI,MAAM,CAAM,EAAE,OAAO,EAAE,IAAI,aAAa,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;IACjF,OAAO;QACL,EAAE;QACF,MAAM;QACN,OAAO,EAAE,QAAQ;QACjB,UAAU,EAAE,gBAAgB,CAAC,EAAE,EAAE,IAAI,CAAC,iBAAiB,EAAE,QAAQ,CAAC;QAClE,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;QACjB,UAAU,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,gBAAgB,CAAC,GAAG,EAAE,IAAI,CAAC,iBAAiB,EAAE,QAAQ,CAAC,CAAC,CAAC;KACnH,CAAC;AACJ,CAAC"}

package/dist/step.d.ts

@@ -0,0 +1,78 @@
+/**
+ * The half `delta()` refuses — realised from an intention that was written down.
+ *
+ * `diff.ts` states its own guarantee: additive only, because "a rename is not even
+ * detectable from a diff (it reads as a drop plus an add)". That still holds, and this
+ * file does not weaken it. What changed is upstream: a frozen step (`fougere freeze`)
+ * carries a rename because a human declared it at the moment they made it. The intention
+ * exists now, so it can be realised — and only what the step actually says.
+ *
+ * A drop and a rename both touch live data, so this is the only place either can come
+ * from: never introspection, never a guess.
+ */
+import { type Kysely } from 'kysely';
+import type { SetDiff } from '@fougere/schema';
+import { type DialectName } from './dialect.js';
+import { type TableDef } from './table.js';
+import type { SchemaState } from './diff.js';
+/** What a step asks of the tables — beyond what an additive pass already covers. */
+export type StepChange = {
+    kind: 'renameColumn';
+    table: string;
+    from: string;
+    to: string;
+} | {
+    kind: 'dropColumn';
+    table: string;
+    column: string;
+};
+/** Something the step asks and the DDL will not do, naming why and what fixes it. */
+export interface Refusal {
+    entity: string;
+    field: string;
+    reason: string;
+}
+export interface Plan {
+    changes: StepChange[];
+    /**
+     * Empty means the step is realisable whole. Anything here is a decision the DDL may
+     * not take alone — reported together so one run names every one of them.
+     */
+    refusals: Refusal[];
+}
+export interface PlanOptions {
+    /** Entity key → table name. Same resolver `desiredTables` takes. */
+    tableName?: (name: string) => string;
+    /**
+     * What the database actually holds, from `actualState`. Given, a change already
+     * realised is skipped.
+     *
+     * Idempotence by OBSERVATION and not by bookkeeping — the same choice `delta` makes.
+     * A ledger of applied steps would be a second record of a fact the columns already
+     * carry, and the two would disagree the day someone renamed a column by hand.
+     */
+    actual?: SchemaState;
+}
+/**
+ * Collapse a chain of steps into one, following each field through its renames.
+ *
+ * A step judges itself on two names — old gone, new here — so an intermediate rename is
+ * unrecognisable once its target has been renamed again: both names are absent and it is
+ * proposed forever. Composing the chain first asks the question about the name the field
+ * ENDS on, which is the only one the tables can answer.
+ */
+export declare function collapseChain(steps: readonly SetDiff[]): SetDiff;
+/**
+ * Turn a frozen step into what the tables must do, and what nobody may decide for you.
+ *
+ * Pure, like `delta` — the comparison is one thing, running it is another.
+ */
+export declare function planStep(step: SetDiff, tables: TableDef[], options?: PlanOptions): Plan;
+/** One statement per change — the same rule `migrate` follows: no driver here batches. */
+export declare function stepSQL(change: StepChange, dialectName?: DialectName): string;
+/**
+ * Run a step. Refuses whole rather than part-way: a plan with any refusal in it is a
+ * plan someone has to read, and half a rename is worse than none.
+ */
+export declare function applyStep(plan: Plan, db: Kysely<any>, dialectName?: DialectName): Promise<string[]>;
+//# sourceMappingURL=step.d.ts.map

package/dist/step.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"step.d.ts","sourceRoot":"","sources":["../src/step.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,OAAO,EAAO,KAAK,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC1C,OAAO,KAAK,EAAyB,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAGtE,OAAO,EAAE,KAAK,WAAW,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,EAA4B,KAAK,QAAQ,EAAE,MAAM,YAAY,CAAC;AACrE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAE7C,oFAAoF;AACpF,MAAM,MAAM,UAAU,GAClB;IAAE,IAAI,EAAE,cAAc,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,GACjE;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAE1D,qFAAqF;AACrF,MAAM,WAAW,OAAO;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,IAAI;IACnB,OAAO,EAAE,UAAU,EAAE,CAAC;IACtB;;;OAGG;IACH,QAAQ,EAAE,OAAO,EAAE,CAAC;CACrB;AAED,MAAM,WAAW,WAAW;IAC1B,oEAAoE;IACpE,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC;IACrC;;;;;;;OAOG;IACH,MAAM,CAAC,EAAE,WAAW,CAAC;CACtB;AAED;;;;;;;GAOG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,SAAS,OAAO,EAAE,GAAG,OAAO,CAgBhE;AAoCD;;;;GAIG;AACH,wBAAgB,QAAQ,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,OAAO,GAAE,WAAgB,GAAG,IAAI,CAwB3F;AAsHD,0FAA0F;AAC1F,wBAAgB,OAAO,CAAC,MAAM,EAAE,UAAU,EAAE,WAAW,GAAE,WAAsB,GAAG,MAAM,CAKvF;AAED;;;GAGG;AACH,wBAAsB,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,WAAW,GAAE,WAAsB,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAYnH"}

package/dist/step.js

@@ -0,0 +1,233 @@
+/**
+ * The half `delta()` refuses — realised from an intention that was written down.
+ *
+ * `diff.ts` states its own guarantee: additive only, because "a rename is not even
+ * detectable from a diff (it reads as a drop plus an add)". That still holds, and this
+ * file does not weaken it. What changed is upstream: a frozen step (`fougere freeze`)
+ * carries a rename because a human declared it at the moment they made it. The intention
+ * exists now, so it can be realised — and only what the step actually says.
+ *
+ * A drop and a rename both touch live data, so this is the only place either can come
+ * from: never introspection, never a guess.
+ */
+import { sql } from 'kysely';
+import { dequal } from 'dequal';
+import { compiler } from './ddl.js';
+import { toSnakeCase, toTableName } from './table.js';
+/**
+ * Collapse a chain of steps into one, following each field through its renames.
+ *
+ * A step judges itself on two names — old gone, new here — so an intermediate rename is
+ * unrecognisable once its target has been renamed again: both names are absent and it is
+ * proposed forever. Composing the chain first asks the question about the name the field
+ * ENDS on, which is the only one the tables can answer.
+ */
+export function collapseChain(steps) {
+    const entities = {};
+    const added = [];
+    const removed = [];
+    for (const step of steps) {
+        added.push(...step.entitiesAdded);
+        removed.push(...step.entitiesRemoved);
+        for (const [entity, answer] of Object.entries(step.entities)) {
+            const held = (entities[entity] ??= { changes: [], ambiguous: [] });
+            held.ambiguous.push(...answer.ambiguous);
+            for (const change of answer.changes)
+                compose(held.changes, change);
+        }
+    }
+    return { entities, entitiesAdded: [...new Set(added)], entitiesRemoved: [...new Set(removed)] };
+}
+/**
+ * Add one change to what the chain has said so far, rewriting rather than appending when
+ * it continues a field already moved. A rename back to its origin cancels: the tables
+ * never held the name in between, so there is nothing for them to do.
+ */
+function compose(held, change) {
+    if (change.kind === 'renamed') {
+        const at = held.findIndex((each) => each.kind === 'renamed' && each.to === change.from);
+        if (at === -1) {
+            held.push(change);
+            return;
+        }
+        const first = held[at];
+        if (first.from === change.to)
+            held.splice(at, 1);
+        else
+            held[at] = { ...first, to: change.to };
+        return;
+    }
+    // Anything else names a field; if the chain renamed it earlier, the tables know it
+    // under the name it started with.
+    const field = 'field' in change ? change.field : undefined;
+    const at = held.findIndex((each) => each.kind === 'renamed' && each.to === field);
+    if (at === -1) {
+        held.push(change);
+        return;
+    }
+    const origin = held[at];
+    // A field the chain ends by dropping is dropped under its original name, and the
+    // renames that led there are work nobody has to do.
+    if (change.kind === 'removed')
+        held.splice(at, 1);
+    held.push({ ...change, field: origin.from });
+}
+/**
+ * Turn a frozen step into what the tables must do, and what nobody may decide for you.
+ *
+ * Pure, like `delta` — the comparison is one thing, running it is another.
+ */
+export function planStep(step, tables, options = {}) {
+    const resolve = options.tableName ?? toTableName;
+    const actual = options.actual;
+    const byName = new Map(tables.map((table) => [table.name, table]));
+    const changes = [];
+    const refusals = [];
+    for (const [entity, answer] of Object.entries(step.entities)) {
+        const table = resolve(entity);
+        // A step for an entity this app no longer projects has nothing to act on. Saying so
+        // beats emitting SQL against a table that is not there.
+        if (!byName.has(table)) {
+            refusals.push({ entity, field: '*', reason: `no table '${table}' in this app — did the entity move?` });
+            continue;
+        }
+        for (const change of answer.changes) {
+            const decided = realise(entity, table, change, byName.get(table));
+            if ('reason' in decided)
+                refusals.push(decided);
+            else if (decided.change && !done(decided.change, actual?.get(table)))
+                changes.push(decided.change);
+        }
+    }
+    return { changes, refusals };
+}
+/** One shape change: a column instruction, nothing to do, or a refusal that names itself. */
+function realise(entity, table, change, target) {
+    switch (change.kind) {
+        case 'renamed':
+            // The one thing introspection could never infer, and the reason a step exists.
+            return { change: { kind: 'renameColumn', table, from: toSnakeCase(change.from), to: toSnakeCase(change.to) } };
+        case 'removed':
+            return { change: { kind: 'dropColumn', table, column: toSnakeCase(change.field) } };
+        case 'added': {
+            // The additive pass adds it — unless it cannot: a NOT NULL column with no default
+            // fails on a table that already holds rows, and `addColumn` silently leaves it
+            // nullable instead. Two guarantees for one entity, decided by whether the table
+            // existed yesterday. Refusing here is what makes the declaration true either way.
+            if (!change.required)
+                return {};
+            const column = target.columns.find((each) => each.field === change.field);
+            if (column?.default !== undefined)
+                return {};
+            return {
+                entity,
+                field: change.field,
+                reason: `required with no default — existing rows have nothing to hold. Declare one: default(…)`,
+            };
+        }
+        case 'required':
+            if (!change.to)
+                return {}; // Loosening is the engine's business, and no row is at risk.
+            return {
+                entity,
+                field: change.field,
+                reason: `became required — rows written before it may hold nothing. Declare a default, or keep it optional`,
+            };
+        case 'retyped':
+            return {
+                entity,
+                field: change.field,
+                reason: `type moved ${change.from.join('|')} → ${change.to.join('|')} — no conversion is derivable, write the migration`,
+            };
+        case 'reshaped':
+            // A tightened bound is a CHECK, and altering one on a live table is engine-specific
+            // AND may be refused by rows already stored. The judge still enforces it at the door.
+            return {
+                entity,
+                field: change.field,
+                reason: `bounds moved — the door enforces them, the table keeps its old CHECK until you migrate it`,
+            };
+        case 'restated':
+            return restated(entity, change);
+    }
+}
+/**
+ * An axis other than shape moved. Only some of it is a fact about the table.
+ *
+ * `boundary` never is — it says who may read or write, which no column holds. `lifecycle`
+ * is one only through the DEFAULT clause. `role` is one three times over, and two of those
+ * are constraints a live table may already contradict.
+ */
+function restated(entity, change) {
+    const refuse = (reason) => ({ entity, field: change.field, reason });
+    if (change.axis === 'boundary')
+        return {};
+    if (change.axis === 'lifecycle') {
+        const was = literalOf(change.from);
+        const is = literalOf(change.to);
+        if (was === is)
+            return {};
+        return refuse(`default moved ${show(was)} → ${show(is)} — the table keeps the old one, and nothing here alters a DEFAULT`);
+    }
+    const from = change.from ?? {};
+    const to = change.to ?? {};
+    if (from.primary !== to.primary)
+        return refuse(`primary moved — a key is not something a step may take from live rows`);
+    if (!dequal(from.unique, to.unique)) {
+        // The same reason `delta` cannot add one: CREATE UNIQUE INDEX fails on a table that
+        // already holds duplicates, so it is a decision about the rows, not about the DDL.
+        return refuse(`unique group moved — rows already stored may contradict it, so it is declared and applied by hand`);
+    }
+    if (!dequal(from.relation, to.relation))
+        return refuse(`relation moved — a foreign key is a constraint, and nothing here alters one`);
+    // What is left is the index, and only its appearance: the additive pass proposes every
+    // declared index at every boot, and nothing has ever dropped one.
+    if (from.index && !to.index)
+        return refuse(`index gone — nothing drops an index today, so the table keeps it`);
+    return {};
+}
+/** The value a lifecycle declares at create, when it declares one — what reaches DEFAULT. */
+function literalOf(rules) {
+    const create = rules?.create;
+    return create && typeof create === 'object' && 'value' in create ? create.value : undefined;
+}
+const show = (value) => (value === undefined ? 'none' : JSON.stringify(value));
+/**
+ * Has the table already moved? Read off the columns themselves.
+ *
+ * A rename whose old name is gone and whose new one is there has happened; a drop whose
+ * column is absent has happened. Unknown state (no introspection given) answers no, so a
+ * plan built without it proposes everything the step says.
+ */
+function done(change, columns) {
+    if (!columns)
+        return false;
+    return change.kind === 'renameColumn'
+        ? !columns.has(change.from) && columns.has(change.to)
+        : !columns.has(change.column);
+}
+/** One statement per change — the same rule `migrate` follows: no driver here batches. */
+export function stepSQL(change, dialectName = 'sqlite') {
+    const alter = compiler(dialectName).schema.alterTable(change.table);
+    return change.kind === 'renameColumn'
+        ? alter.renameColumn(change.from, change.to).compile().sql
+        : alter.dropColumn(change.column).compile().sql;
+}
+/**
+ * Run a step. Refuses whole rather than part-way: a plan with any refusal in it is a
+ * plan someone has to read, and half a rename is worse than none.
+ */
+export async function applyStep(plan, db, dialectName = 'sqlite') {
+    if (plan.refusals.length > 0) {
+        const named = plan.refusals.map((one) => `  ${one.entity}.${one.field} — ${one.reason}`).join('\n');
+        throw new Error(`This step cannot be realised as it stands:\n${named}`);
+    }
+    const run = [];
+    for (const change of plan.changes) {
+        const statement = stepSQL(change, dialectName);
+        await sql.raw(statement).execute(db);
+        run.push(statement);
+    }
+    return run;
+}
+//# sourceMappingURL=step.js.map

package/dist/step.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"step.js","sourceRoot":"","sources":["../src/step.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,OAAO,EAAE,GAAG,EAAe,MAAM,QAAQ,CAAC;AAE1C,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC;AAEpC,OAAO,EAAE,WAAW,EAAE,WAAW,EAAiB,MAAM,YAAY,CAAC;AAsCrE;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CAAC,KAAyB;IACrD,MAAM,QAAQ,GAAwB,EAAE,CAAC;IACzC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,aAAa,CAAC,CAAC;QAClC,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,eAAe,CAAC,CAAC;QACtC,KAAK,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC7D,MAAM,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC;YACnE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;YACzC,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO;gBAAE,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QACrE,CAAC;IACH,CAAC;IAED,OAAO,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,eAAe,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;AAClG,CAAC;AAED;;;;GAIG;AACH,SAAS,OAAO,CAAC,IAAmB,EAAE,MAAmB;IACvD,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC9B,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,EAAE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC;QACxF,IAAI,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;YACd,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAClB,OAAO;QACT,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,EAAE,CAA8C,CAAC;QACpE,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,EAAE;YAAE,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;;YAC5C,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC;QAC5C,OAAO;IACT,CAAC;IAED,mFAAmF;IACnF,kCAAkC;IAClC,MAAM,KAAK,GAAG,OAAO,IAAI,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;IAC3D,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC;IAClF,IAAI,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;QACd,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAClB,OAAO;IACT,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,CAAC,EAAE,CAA8C,CAAC;IACrE,iFAAiF;IACjF,oDAAoD;IACpD,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS;QAAE,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAClD,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;AAC/C,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,QAAQ,CAAC,IAAa,EAAE,MAAkB,EAAE,OAAO,GAAgB,EAAE;IACnF,MAAM,OAAO,GAAG,OAAO,CAAC,SAAS,IAAI,WAAW,CAAC;IACjD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IAC9B,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IACnE,MAAM,OAAO,GAAiB,EAAE,CAAC;IACjC,MAAM,QAAQ,GAAc,EAAE,CAAC;IAE/B,KAAK,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7D,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;QAC9B,oFAAoF;QACpF,wDAAwD;QACxD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YACvB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,aAAa,KAAK,sCAAsC,EAAE,CAAC,CAAC;YACxG,SAAS;QACX,CAAC;QAED,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACpC,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAE,CAAC,CAAC;YACnE,IAAI,QAAQ,IAAI,OAAO;gBAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;iBAC3C,IAAI,OAAO,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;gBAAE,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACrG,CAAC;IACH,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AAC/B,CAAC;AAED,6FAA6F;AAC7F,SAAS,OAAO,CACd,MAAc,EACd,KAAa,EACb,MAAmB,EACnB,MAAgB;IAEhB,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,SAAS;YACZ,+EAA+E;YAC/E,OAAO,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,IAAI,EAAE,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAEjH,KAAK,SAAS;YACZ,OAAO,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC;QAEtF,KAAK,OAAO,EAAE,CAAC;YACb,kFAAkF;YAClF,+EAA+E;YAC/E,gFAAgF;YAChF,kFAAkF;YAClF,IAAI,CAAC,MAAM,CAAC,QAAQ;gBAAE,OAAO,EAAE,CAAC;YAChC,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,MAAM,CAAC,KAAK,CAAC,CAAC;YAC1E,IAAI,MAAM,EAAE,OAAO,KAAK,SAAS;gBAAE,OAAO,EAAE,CAAC;YAC7C,OAAO;gBACL,MAAM;gBACN,KAAK,EAAE,MAAM,CAAC,KAAK;gBACnB,MAAM,EAAE,wFAAwF;aACjG,CAAC;QACJ,CAAC;QAED,KAAK,UAAU;YACb,IAAI,CAAC,MAAM,CAAC,EAAE;gBAAE,OAAO,EAAE,CAAC,CAAC,6DAA6D;YACxF,OAAO;gBACL,MAAM;gBACN,KAAK,EAAE,MAAM,CAAC,KAAK;gBACnB,MAAM,EAAE,mGAAmG;aAC5G,CAAC;QAEJ,KAAK,SAAS;YACZ,OAAO;gBACL,MAAM;gBACN,KAAK,EAAE,MAAM,CAAC,KAAK;gBACnB,MAAM,EAAE,cAAc,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,oDAAoD;aACzH,CAAC;QAEJ,KAAK,UAAU;YACb,oFAAoF;YACpF,sFAAsF;YACtF,OAAO;gBACL,MAAM;gBACN,KAAK,EAAE,MAAM,CAAC,KAAK;gBACnB,MAAM,EAAE,2FAA2F;aACpG,CAAC;QAEJ,KAAK,UAAU;YACb,OAAO,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACpC,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,SAAS,QAAQ,CAAC,MAAc,EAAE,MAAkD;IAClF,MAAM,MAAM,GAAG,CAAC,MAAc,EAAW,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;IAEtF,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,EAAE,CAAC;IAE1C,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAChC,IAAI,GAAG,KAAK,EAAE;YAAE,OAAO,EAAE,CAAC;QAC1B,OAAO,MAAM,CAAC,iBAAiB,IAAI,CAAC,GAAG,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,mEAAmE,CAAC,CAAC;IAC7H,CAAC;IAED,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;IAC/B,MAAM,EAAE,GAAG,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC;IAC3B,IAAI,IAAI,CAAC,OAAO,KAAK,EAAE,CAAC,OAAO;QAAE,OAAO,MAAM,CAAC,uEAAuE,CAAC,CAAC;IACxH,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;QACpC,oFAAoF;QACpF,mFAAmF;QACnF,OAAO,MAAM,CAAC,mGAAmG,CAAC,CAAC;IACrH,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC;QAAE,OAAO,MAAM,CAAC,6EAA6E,CAAC,CAAC;IACtI,uFAAuF;IACvF,kEAAkE;IAClE,IAAI,IAAI,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC,KAAK;QAAE,OAAO,MAAM,CAAC,kEAAkE,CAAC,CAAC;IAC/G,OAAO,EAAE,CAAC;AACZ,CAAC;AAGD,6FAA6F;AAC7F,SAAS,SAAS,CAAC,KAAuC;IACxD,MAAM,MAAM,GAAG,KAAK,EAAE,MAAM,CAAC;IAC7B,OAAO,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,OAAO,IAAI,MAAM,CAAC,CAAC,CAAE,MAA6B,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AACtH,CAAC;AAED,MAAM,IAAI,GAAG,CAAC,KAAc,EAAU,EAAE,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;AAEhG;;;;;;GAMG;AACH,SAAS,IAAI,CAAC,MAAkB,EAAE,OAAgC;IAChE,IAAI,CAAC,OAAO;QAAE,OAAO,KAAK,CAAC;IAC3B,OAAO,MAAM,CAAC,IAAI,KAAK,cAAc;QACnC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QACrD,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AAClC,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,OAAO,CAAC,MAAkB,EAAE,WAAW,GAAgB,QAAQ;IAC7E,MAAM,KAAK,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACpE,OAAO,MAAM,CAAC,IAAI,KAAK,cAAc;QACnC,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,GAAG;QAC1D,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC;AACpD,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,SAAS,CAAC,IAAU,EAAE,EAAe,EAAE,WAAW,GAAgB,QAAQ;IAC9F,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,KAAK,MAAM,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpG,MAAM,IAAI,KAAK,CAAC,+CAA+C,KAAK,EAAE,CAAC,CAAC;IAC1E,CAAC;IACD,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAClC,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;QAC/C,MAAM,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACrC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACtB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/table.d.ts

@@ -3,18 +3,22 @@
  *
  * This is the neutral middle term: one projection reads the entity's axes and
  * produces a `TableDef`; a `Dialect` turns that into SQL. Neither half knows the
- * other — the entity never mentions a column type, the dialect never mentions a
- * field. Adding a dialect touches only the second half.
+ * other — the dialect never mentions a field. Adding a dialect touches only the
+ * second half.
+ *
+ * `ColumnDef.stated` is the one member the axes did not produce. It names one engine's
+ * column type, so dropping it leaves every column describable.
  */
-import { type SchemaSource } from '@fougere/schema';
+import { type SchemaOrCard } from '@fougere/schema';
 import { type ShapeBounds } from './check.js';
+import type { SqlField } from './fields.js';
 /** The shape keywords a dialect needs to choose a column type. */
 export interface ColumnShape {
     type?: string;
     format?: string;
     maxLength?: number;
 }
-/** One column, described by the axes — never by a SQL type. */
+/** One column, described by the axes — plus, at most, what the entity stated for sql. */
 export interface ColumnDef {
     /** Field key on the entity. */
     field: string;
@@ -26,7 +30,7 @@ export interface ColumnDef {
     primary: boolean;
     /** A literal default (`lifecycle.create.value`), when the field declares one. */
     default?: unknown;
-    /** `role.unique` — realized as a column constraint the database enforces. */
+    /** A {@link Unique} of one — realized as a column constraint the database enforces. */
     unique?: boolean;
     /** `role.index` — realized as a separate `CREATE INDEX`, never a constraint. */
     index?: boolean;
@@ -37,6 +41,11 @@ export interface ColumnDef {
     bounds?: ShapeBounds;
     /** The FK target, from `role.relation` when it's a `ref()` (kind `'one'`). */
     references?: ColumnReference;
+    /**
+     * What the entity stated for THIS adapter — never an axis. It says how the column is
+     * realized here; drop it and the column is still describable.
+     */
+    stated?: SqlField;
 }
 export interface ColumnReference {
     table: string;
@@ -62,7 +71,7 @@ export interface RelationResolve {
     /** Same resolver used for every entity's own table (default or a custom `tableName`). */
     resolve: (name: string) => string;
     /** Live entity class → its already-resolved table name, reused instead of re-derived. */
-    tableNameOf?: Map<SchemaSource, string>;
+    tableNameOf?: Map<SchemaOrCard, string>;
     /** Which entities this batch holds and which live in another source — decided by NAME. */
     hosted?: HostedNames;
 }
@@ -82,10 +91,10 @@ export interface HostedNames {
  *
  * A lone card has no live relation targets, so a `ref()` falls back to the conventions
  * `referenceFor`/`primaryColumnOf` already document (name-derived table, `id` as the key).
- * Pass a bundle through `reconstructSet` first when the FKs matter — it resolves the
+ * Pass a descriptor through `Bundle.toSchemas` first when the FKs matter — it resolves the
  * targets, and its output is the live-class case again.
  */
-export declare function toTable(tableName: string, entity: SchemaSource, relations?: RelationResolve): TableDef;
+export declare function toTable(tableName: string, entity: SchemaOrCard, relations?: RelationResolve): TableDef;
 /**
  * Is this column part of a key? MySQL and SQL Server refuse an unbounded text
  * column in a primary key or an index, so the dialect needs to know.
@@ -100,7 +109,7 @@ export declare function toTableName(name: string): string;
 export interface EntityEntry {
     name: string;
     /** A live class in-process, a card from a frond whose class never crossed. */
-    entityClass: SchemaSource;
+    entityClass: SchemaOrCard;
 }
 export interface FrondLike {
     name: string;
@@ -110,7 +119,7 @@ export interface AppLike {
     fronds: FrondLike[];
     /** Auth runtime entities are migrated alongside scanned fronds when present. */
     auth?: {
-        entities: Record<string, SchemaSource>;
+        entities: Record<string, SchemaOrCard>;
     };
     /**
      * Entities this app hosts in ANOTHER source — named so a miss can be read.

package/dist/table.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"table.d.ts","sourceRoot":"","sources":["../src/table.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EAAoF,KAAK,YAAY,EAAE,MAAM,iBAAiB,CAAC;AACtI,OAAO,EAAY,KAAK,WAAW,EAAE,MAAM,YAAY,CAAC;AAExD,kEAAkE;AAClE,MAAM,WAAW,WAAW;IAC1B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,+DAA+D;AAC/D,MAAM,WAAW,SAAS;IACxB,+BAA+B;IAC/B,KAAK,EAAE,MAAM,CAAC;IACd,oCAAoC;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,yDAAyD;IACzD,KAAK,CAAC,EAAE,WAAW,CAAC;IACpB,QAAQ,EAAE,OAAO,CAAC;IAClB,OAAO,EAAE,OAAO,CAAC;IACjB,iFAAiF;IACjF,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,6EAA6E;IAC7E,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,gFAAgF;IAChF,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB;;;OAGG;IACH,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB,8EAA8E;IAC9E,UAAU,CAAC,EAAE,eAAe,CAAC;CAC9B;AAED,MAAM,WAAW,eAAe;IAC9B,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,SAAS,GAAG,UAAU,GAAG,UAAU,CAAC;CAChD;AAED,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,SAAS,EAAE,CAAC;IACrB,0EAA0E;IAC1E,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B;;;;OAIG;IACH,YAAY,EAAE,MAAM,EAAE,EAAE,CAAC;CAC1B;AAED,6BAA6B;AAC7B,wBAAgB,WAAW,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAE/C;AAoHD,wFAAwF;AACxF,MAAM,WAAW,eAAe;IAC9B,yFAAyF;IACzF,OAAO,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC;IAClC,yFAAyF;IACzF,WAAW,CAAC,EAAE,GAAG,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;IACxC,0FAA0F;IAC1F,MAAM,CAAC,EAAE,WAAW,CAAC;CACtB;AAED,yFAAyF;AACzF,MAAM,WAAW,WAAW;IAC1B,wCAAwC;IACxC,IAAI,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC1B,0FAA0F;IAC1F,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAChC;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,OAAO,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,SAAS,CAAC,EAAE,eAAe,GAAG,QAAQ,CAiCtG;AAED;;;;;;;GAOG;AACH,wBAAgB,OAAO,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,GAAG,OAAO,CAKnE;AAID,sCAAsC;AACtC,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEhD;AAED,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,8EAA8E;IAC9E,WAAW,EAAE,YAAY,CAAC;CAC3B;AAED,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,WAAW,EAAE,CAAC;CACzB;AAED,MAAM,WAAW,OAAO;IACtB,MAAM,EAAE,SAAS,EAAE,CAAC;IACpB,gFAAgF;IAChF,IAAI,CAAC,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;KAAE,CAAC;IAClD;;;;;;OAMG;IACH,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;IACrB;;;;;;;;;;;OAWG;IACH,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;CACxB;AAiDD;;;;;GAKG;AACH,wBAAgB,QAAQ,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,GAAG,QAAQ,EAAE,CAQpF;AAID,MAAM,WAAW,MAAM;IACrB,KAAK,EAAE,QAAQ,CAAC;IAChB,MAAM,EAAE,SAAS,CAAC;CACnB;AAED,MAAM,WAAW,UAAU;IACzB,kFAAkF;IAClF,OAAO,EAAE,QAAQ,EAAE,CAAC;IACpB,8FAA8F;IAC9F,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAAE,QAAQ,EAAE,GAAG,UAAU,CAsC1D"}
+{"version":3,"file":"table.d.ts","sourceRoot":"","sources":["../src/table.ts"],"names":[],"mappings":"AACA;;;;;;;;;;GAUG;AACH,OAAO,EAA4F,KAAK,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC9I,OAAO,EAAY,KAAK,WAAW,EAAE,MAAM,YAAY,CAAC;AACxD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAE5C,kEAAkE;AAClE,MAAM,WAAW,WAAW;IAC1B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,yFAAyF;AACzF,MAAM,WAAW,SAAS;IACxB,+BAA+B;IAC/B,KAAK,EAAE,MAAM,CAAC;IACd,oCAAoC;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,yDAAyD;IACzD,KAAK,CAAC,EAAE,WAAW,CAAC;IACpB,QAAQ,EAAE,OAAO,CAAC;IAClB,OAAO,EAAE,OAAO,CAAC;IACjB,iFAAiF;IACjF,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,uFAAuF;IACvF,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,gFAAgF;IAChF,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB;;;OAGG;IACH,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB,8EAA8E;IAC9E,UAAU,CAAC,EAAE,eAAe,CAAC;IAC7B;;;OAGG;IACH,MAAM,CAAC,EAAE,QAAQ,CAAC;CACnB;AAED,MAAM,WAAW,eAAe;IAC9B,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,SAAS,GAAG,UAAU,GAAG,UAAU,CAAC;CAChD;AAED,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,SAAS,EAAE,CAAC;IACrB,0EAA0E;IAC1E,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B;;;;OAIG;IACH,YAAY,EAAE,MAAM,EAAE,EAAE,CAAC;CAC1B;AAED,6BAA6B;AAC7B,wBAAgB,WAAW,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAE/C;AAoHD,wFAAwF;AACxF,MAAM,WAAW,eAAe;IAC9B,yFAAyF;IACzF,OAAO,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC;IAClC,yFAAyF;IACzF,WAAW,CAAC,EAAE,GAAG,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;IACxC,0FAA0F;IAC1F,MAAM,CAAC,EAAE,WAAW,CAAC;CACtB;AAED,yFAAyF;AACzF,MAAM,WAAW,WAAW;IAC1B,wCAAwC;IACxC,IAAI,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC1B,0FAA0F;IAC1F,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAChC;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,OAAO,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,SAAS,CAAC,EAAE,eAAe,GAAG,QAAQ,CAmCtG;AAED;;;;;;;GAOG;AACH,wBAAgB,OAAO,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,GAAG,OAAO,CAKnE;AAID,sCAAsC;AACtC,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEhD;AAED,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,8EAA8E;IAC9E,WAAW,EAAE,YAAY,CAAC;CAC3B;AAED,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,WAAW,EAAE,CAAC;CACzB;AAED,MAAM,WAAW,OAAO;IACtB,MAAM,EAAE,SAAS,EAAE,CAAC;IACpB,gFAAgF;IAChF,IAAI,CAAC,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;KAAE,CAAC;IAClD;;;;;;OAMG;IACH,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;IACrB;;;;;;;;;;;OAWG;IACH,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;CACxB;AAiDD;;;;;GAKG;AACH,wBAAgB,QAAQ,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,GAAG,QAAQ,EAAE,CAOpF;AAID,MAAM,WAAW,MAAM;IACrB,KAAK,EAAE,QAAQ,CAAC;IAChB,MAAM,EAAE,SAAS,CAAC;CACnB;AAED,MAAM,WAAW,UAAU;IACzB,kFAAkF;IAClF,OAAO,EAAE,QAAQ,EAAE,CAAC;IACpB,8FAA8F;IAC9F,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAAE,QAAQ,EAAE,GAAG,UAAU,CAsC1D"}