@vibeorm/migrate 1.3.1 → 2.0.0-alpha.10

package/dist/types.d.ts

@@ -0,0 +1,329 @@
+/**
+ * Public types of @vibeorm/migrate: the executor contract, the dialect-neutral
+ * migration step model, and the runner's file/result shapes.
+ *
+ * Steps carry Schema-IR fragments (FieldIR, EnumIR) — never SQL text. SQL is
+ * produced exclusively by the per-dialect renderers (ddl-postgres.ts), so every
+ * SQL-text decision stays reviewable in one place (constitution rule 3/4).
+ */
+import type { CascadeAction, CheckIR, EnumIR, FieldIR, SchemaIR } from "@vibeorm/schema";
+import type { MigrationExecution } from "./execution.ts";
+/**
+ * Minimal SQL execution contract the migrate engine runs on. Structurally
+ * identical to @vibeorm/runtime's `SqlExecutor` (its `toSqlExecutor` bridges a
+ * DatabaseAdapter to this shape) — declared here so the dependency direction
+ * stays schema ← sql ← migrate.
+ *
+ * SESSION AFFINITY: the migrate engine issues session-scoped statements
+ * through this contract (BEGIN/COMMIT, `PRAGMA foreign_keys`, advisory locks
+ * `pg_advisory_lock` / `GET_LOCK`), so every call MUST hit the same database
+ * session. Single-connection adapters (pglite, sqlite) satisfy this by
+ * construction; pool-backed executors must pin one connection for the whole
+ * migrate operation.
+ */
+export type SqlExecutor = (params: {
+    text: string;
+    values?: unknown[];
+}) => Promise<Record<string, unknown>[]>;
+/** Which aspects of a column an `alterColumn` step changes. */
+export type AlterColumnAspect = "type" | "nullability" | "default";
+/** One column of an index, with its sort direction. */
+export type IndexColumn = {
+    readonly name: string;
+    readonly desc: boolean;
+    /**
+     * The field is a Decimal (SQLITE-2, SQL review round 2). Inert everywhere
+     * except the sqlite DDL renderer: Decimal stores as TEXT there and every
+     * compare/order site reads `CAST(col AS REAL)` (B4), which a plain-column
+     * index can never serve (EQP-proven SCAN) — sqlite renders an EXPRESSION
+     * index over the same cast instead. Not part of the index comparison key:
+     * both sides compare by column name + direction.
+     */
+    readonly decimal?: boolean;
+};
+/** One side of an implicit many-to-many join table. */
+export type JoinTableEnd = {
+    /** Referenced table (db name). */
+    readonly table: string;
+    /** Referenced primary-key column (db name). */
+    readonly column: string;
+    /** The referenced primary-key field — its type renders the join column's type. */
+    readonly field: FieldIR;
+};
+/**
+ * A dialect-neutral migration step produced by `diffSchemas`. `destructive`
+ * marks steps that can lose data (dropTable / dropJoinTable / dropColumn /
+ * dropEnum / narrowing type changes) — `push` refuses them without
+ * `acceptDataLoss`, and `generateMigration` surfaces the flag.
+ */
+export type MigrationStep = ({
+    readonly kind: "enableRls" | "forceRls" | "disableRls" | "noForceRls" | "dropPolicy";
+    readonly table: string;
+    readonly destructive: false;
+} | {
+    readonly kind: "createPolicy";
+    readonly table: string;
+    readonly schema: SchemaIR;
+    readonly model: string;
+    readonly destructive: false;
+} | {
+    readonly kind: "createEnum";
+    readonly enumDef: EnumIR;
+    readonly destructive: false;
+} | {
+    readonly kind: "dropEnum";
+    readonly enumName: string;
+    readonly destructive: true;
+} | {
+    readonly kind: "addEnumValue";
+    readonly enumName: string;
+    readonly value: string;
+    readonly destructive: false;
+} | {
+    readonly kind: "createTable";
+    readonly table: string;
+    readonly columns: readonly FieldIR[];
+    /** Primary-key column db names (empty = no PK). */
+    readonly primaryKey: readonly string[];
+    /** Named CHECK constraints, rendered into the CREATE TABLE. */
+    readonly checks?: readonly CheckIR[];
+    readonly destructive: false;
+} | {
+    readonly kind: "addCheck";
+    readonly table: string;
+    readonly name: string;
+    /** Raw SQL expression, rendered verbatim. */
+    readonly expression: string;
+    readonly destructive: false;
+} | {
+    readonly kind: "dropCheck";
+    readonly table: string;
+    readonly name: string;
+    readonly destructive: false;
+} | {
+    readonly kind: "dropTable";
+    readonly table: string;
+    readonly destructive: true;
+} | {
+    readonly kind: "addColumn";
+    readonly table: string;
+    readonly column: FieldIR;
+    readonly destructive: false;
+} | {
+    readonly kind: "dropColumn";
+    readonly table: string;
+    readonly column: string;
+    readonly destructive: true;
+} | {
+    readonly kind: "alterColumn";
+    readonly table: string;
+    /** Column db name. */
+    readonly column: string;
+    readonly from: FieldIR;
+    readonly to: FieldIR;
+    readonly changes: readonly AlterColumnAspect[];
+    readonly destructive: boolean;
+} | {
+    readonly kind: "createIndex";
+    readonly table: string;
+    readonly name: string;
+    /** IR index kind ("btree", "gin", …) — `unique` indexes are always btree. */
+    readonly indexKind: string;
+    readonly unique: boolean;
+    readonly columns: readonly IndexColumn[];
+    /** Partial-index predicate, raw SQL. */
+    readonly where?: string;
+    /** `UNIQUE NULLS NOT DISTINCT` (postgres 15+; sqlite/mysql renderers refuse). */
+    readonly nullsNotDistinct?: boolean;
+    readonly destructive: false;
+} | {
+    readonly kind: "dropIndex";
+    readonly name: string;
+    /**
+     * Table the index belongs to. Optional for postgres/sqlite (their DROP
+     * INDEX is schema-global) but REQUIRED by the mysql renderer
+     * (`DROP INDEX … ON table`); the differ always fills it.
+     */
+    readonly table?: string;
+    readonly destructive: false;
+} | {
+    readonly kind: "addForeignKey";
+    readonly table: string;
+    readonly constraintName: string;
+    readonly columns: readonly string[];
+    readonly refTable: string;
+    readonly refColumns: readonly string[];
+    readonly onDelete: CascadeAction;
+    readonly onUpdate: CascadeAction;
+    readonly destructive: false;
+} | {
+    /**
+     * Stage a foreign key without validating existing rows (postgres
+     * `NOT VALID`). Skips the scan, NOT the brief ACCESS EXCLUSIVE lock;
+     * `validateConstraint` finishes the job under a weaker lock. sqlite and
+     * mysql have no such split and refuse this step.
+     */
+    readonly kind: "addForeignKeyNotValid";
+    readonly table: string;
+    readonly constraintName: string;
+    readonly columns: readonly string[];
+    readonly refTable: string;
+    readonly refColumns: readonly string[];
+    readonly onDelete: CascadeAction;
+    readonly onUpdate: CascadeAction;
+    readonly destructive: false;
+} | {
+    /** Stage a CHECK without validating existing rows (postgres `NOT VALID`). */
+    readonly kind: "addCheckNotValid";
+    readonly table: string;
+    readonly name: string;
+    /** Raw SQL expression, rendered verbatim. */
+    readonly expression: string;
+    readonly destructive: false;
+} | {
+    /** Validate a previously staged NOT VALID constraint (postgres only). */
+    readonly kind: "validateConstraint";
+    readonly table: string;
+    readonly name: string;
+    readonly destructive: false;
+} | {
+    /**
+     * Rename a physical table, preserving its rows, defaults, indexes and
+     * inbound foreign keys. Only ever produced from an EXPLICIT rename
+     * intent (renames.ts) — never inferred from a drop/create pair.
+     */
+    readonly kind: "renameTable";
+    readonly from: string;
+    readonly to: string;
+    readonly destructive: false;
+} | {
+    /** Rename a physical column, preserving its data, default and indexes. */
+    readonly kind: "renameColumn";
+    readonly table: string;
+    readonly from: string;
+    readonly to: string;
+    readonly destructive: false;
+} | {
+    readonly kind: "dropForeignKey";
+    readonly table: string;
+    readonly constraintName: string;
+    readonly destructive: false;
+} | {
+    readonly kind: "createJoinTable";
+    readonly table: string;
+    readonly a: JoinTableEnd;
+    readonly b: JoinTableEnd;
+    readonly destructive: false;
+} | {
+    readonly kind: "dropJoinTable";
+    readonly table: string;
+    readonly destructive: true;
+} | {
+    readonly kind: "addPrimaryKey";
+    readonly table: string;
+    readonly columns: readonly string[];
+    readonly destructive: false;
+} | {
+    readonly kind: "dropPrimaryKey";
+    readonly table: string;
+    readonly destructive: false;
+} | {
+    /**
+     * Drop a view present in the live database but absent from the target
+     * schema (board #26). Ordered FIRST — postgres refuses dropping a column
+     * a leftover view depends on (2BP01), so removed views must go before
+     * the table/column changes they block. Destructive: the view definition
+     * is not stored in the IR, so the drop cannot be reversed.
+     */
+    readonly kind: "dropView";
+    /** View db name. */
+    readonly table: string;
+    readonly destructive: true;
+}) & {
+    /** Separate from data loss: a removal or potentially widening policy replacement. */
+    readonly securityChange?: string;
+};
+/** One-line human description of a step (refusal messages, CLI output). */
+export declare function describeStep(params: {
+    step: MigrationStep;
+}): string;
+/** A named migration: ordered SQL statements plus its aggregate destructiveness. */
+export type MigrationFile = {
+    readonly name: string;
+    /** One SQL string per statement, in execution order. */
+    readonly sql: readonly string[];
+    /** True when any underlying step can lose data. */
+    readonly destructive: boolean;
+    /**
+     * Reverse statements (`down.sql`), when the migration carries them.
+     * Migrations generated before down-migration support have none —
+     * `rollbackMigration` refuses those with a clear error.
+     */
+    readonly downSql?: readonly string[];
+    /** Security changes are not authorized by an ordinary data-loss acknowledgement. */
+    readonly securityChanges?: readonly string[];
+    readonly downSecurityChanges?: readonly string[];
+    /** Trusted source declarations used for drift preflight on generated migrations. */
+    readonly rls?: {
+        readonly from: SchemaIR;
+        readonly to: SchemaIR;
+    };
+    /**
+     * Explicit execution semantics (transaction mode, migration-owned session
+     * limits, declared per-statement operations). ABSENT means the dialect's
+     * existing behaviour, and hashes exactly as it always did — see
+     * execution.ts's checksum-compatibility rule.
+     */
+    readonly execution?: MigrationExecution;
+    /** Execution semantics of `downSql`; absent means the dialect's existing behaviour. */
+    readonly downExecution?: MigrationExecution;
+};
+/** Result of `applyMigrations`. */
+export type AppliedResult = {
+    /** Migrations executed by this call, in order. */
+    readonly applied: readonly string[];
+    /** Migrations already recorded and verified, skipped. */
+    readonly skipped: readonly string[];
+};
+/** Result of `migrationStatus`. */
+export type MigrationStatus = {
+    /** Recorded migrations whose checksum matches. */
+    readonly applied: readonly string[];
+    /** Migrations with no record yet. */
+    readonly pending: readonly string[];
+    /** Recorded migrations whose checksum no longer matches their SQL. */
+    readonly mismatched: readonly string[];
+    /**
+     * Migrations whose rollback started but did not finish (mysql only — its
+     * DDL is non-transactional, so `rollbackMigration` records per-statement
+     * progress). Re-run the rollback to resume, or repair with
+     * `resolveMigration`.
+     */
+    readonly rollingBack: readonly string[];
+};
+/**
+ * How one bookkeeping row stands against the migration file of the same name.
+ * `unknown-file` is a recorded migration whose file is missing from the
+ * migrations directory — history the tool cannot reverse.
+ */
+export type RecordedMigrationState = "applied" | "partial" | "mismatched" | "rolling-back" | "unknown-file";
+/** One row of the `_vibe_migrations` journal, in the order it was written. */
+export type RecordedMigration = {
+    readonly name: string;
+    /** Recorded checksum; empty for a `resolveMigration` repair record. */
+    readonly checksum: string;
+    /** Statements completed; NEGATIVE (-(k+1)) marks an unfinished rollback. */
+    readonly statementIndex: number;
+    readonly state: RecordedMigrationState;
+};
+/** Result of `push`. */
+export type PushResult = {
+    /** The diff that was applied (empty = database already matched). */
+    readonly steps: readonly MigrationStep[];
+    /** The SQL statements that were executed, in order. */
+    readonly applied: readonly string[];
+    /** Dry-run statements, never executed. */
+    readonly planned?: readonly string[];
+    readonly securityChanges?: readonly string[];
+};
+//# sourceMappingURL=types.d.ts.map

package/dist/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AACzF,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AAIzD;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,WAAW,GAAG,CAAC,MAAM,EAAE;IACjC,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC;CACpB,KAAK,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC;AAIzC,+DAA+D;AAC/D,MAAM,MAAM,iBAAiB,GAAG,MAAM,GAAG,aAAa,GAAG,SAAS,CAAC;AAEnE,uDAAuD;AACvD,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB;;;;;;;OAOG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;CAC5B,CAAC;AAEF,uDAAuD;AACvD,MAAM,MAAM,YAAY,GAAG;IACzB,kCAAkC;IAClC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,+CAA+C;IAC/C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,kFAAkF;IAClF,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;CACzB,CAAC;AAIF;;;;;GAKG;AACH,MAAM,MAAM,aAAa,GAAG,CACxB;IACE,QAAQ,CAAC,IAAI,EAAE,WAAW,GAAG,UAAU,GAAG,YAAY,GAAG,YAAY,GAAG,YAAY,CAAC;IACrF,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC;CAC7B,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC;CAC7B,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC;CAC7B,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,IAAI,CAAC;CAC5B,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC;CAC7B,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,SAAS,OAAO,EAAE,CAAC;IACrC,mDAAmD;IACnD,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,+DAA+D;IAC/D,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,OAAO,EAAE,CAAC;IACrC,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC;CAC7B,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,6CAA6C;IAC7C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC;CAC7B,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC;CAC7B,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,WAAW,EAAE,IAAI,CAAC;CAC5B,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC;CAC7B,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,WAAW,EAAE,IAAI,CAAC;CAC5B,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,sBAAsB;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAC/C,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;CAC/B,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,6EAA6E;IAC7E,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,SAAS,WAAW,EAAE,CAAC;IACzC,wCAAwC;IACxC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,iFAAiF;IACjF,QAAQ,CAAC,gBAAgB,CAAC,EAAE,OAAO,CAAC;IACpC,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC;CAC7B,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;;;;OAIG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC;CAC7B,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;IACjC,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC;CAC7B,GACD;IACE;;;;;OAKG;IACH,QAAQ,CAAC,IAAI,EAAE,uBAAuB,CAAC;IACvC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;IACjC,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC;CAC7B,GACD;IACE,6EAA6E;IAC7E,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,6CAA6C;IAC7C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC;CAC7B,GACD;IACE,yEAAyE;IACzE,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC;IACpC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC;CAC7B,GACD;IACE;;;;OAIG;IACH,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC;CAC7B,GACD;IACE,0EAA0E;IAC1E,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC;CAC7B,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC;CAC7B,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IACjC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,CAAC,EAAE,YAAY,CAAC;IACzB,QAAQ,CAAC,CAAC,EAAE,YAAY,CAAC;IACzB,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC;CAC7B,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,WAAW,EAAE,IAAI,CAAC;CAC5B,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC;CAC7B,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC;CAC7B,GACD;IACE;;;;;;OAMG;IACH,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,oBAAoB;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,WAAW,EAAE,IAAI,CAAC;CAC5B,CACJ,GAAG;IACF,qFAAqF;IACrF,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;CAClC,CAAC;AAEF,2EAA2E;AAC3E,wBAAgB,YAAY,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,aAAa,CAAA;CAAE,GAAG,MAAM,CA0DpE;AAID,oFAAoF;AACpF,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,wDAAwD;IACxD,QAAQ,CAAC,GAAG,EAAE,SAAS,MAAM,EAAE,CAAC;IAChC,mDAAmD;IACnD,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B;;;;OAIG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,oFAAoF;IACpF,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C,QAAQ,CAAC,mBAAmB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACjD,oFAAoF;IACpF,QAAQ,CAAC,GAAG,CAAC,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;QAAC,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAA;KAAE,CAAC;IAClE;;;;;OAKG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,kBAAkB,CAAC;IACxC,uFAAuF;IACvF,QAAQ,CAAC,aAAa,CAAC,EAAE,kBAAkB,CAAC;CAC7C,CAAC;AAEF,mCAAmC;AACnC,MAAM,MAAM,aAAa,GAAG;IAC1B,kDAAkD;IAClD,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,yDAAyD;IACzD,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC,CAAC;AAEF,mCAAmC;AACnC,MAAM,MAAM,eAAe,GAAG;IAC5B,kDAAkD;IAClD,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,qCAAqC;IACrC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,sEAAsE;IACtE,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC;;;;;OAKG;IACH,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;CACzC,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,sBAAsB,GAC9B,SAAS,GACT,SAAS,GACT,YAAY,GACZ,cAAc,GACd,cAAc,CAAC;AAEnB,8EAA8E;AAC9E,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,uEAAuE;IACvE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,4EAA4E;IAC5E,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,KAAK,EAAE,sBAAsB,CAAC;CACxC,CAAC;AAEF,wBAAwB;AACxB,MAAM,MAAM,UAAU,GAAG;IACvB,oEAAoE;IACpE,QAAQ,CAAC,KAAK,EAAE,SAAS,aAAa,EAAE,CAAC;IACzC,uDAAuD;IACvD,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,0CAA0C;IAC1C,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC9C,CAAC"}

package/package.json

@@ -1,42 +1,53 @@
 {
   "name": "@vibeorm/migrate",
-  "version": "1.3.1",
-  "description": "Migration, introspection, and schema diff toolkit for VibeORM",
-  "license": "MIT",
+  "version": "2.0.0-alpha.10",
+  "description": "Migration engine for VibeORM v2 — IR differ, per-dialect DDL, migration runner, introspection",
   "keywords": [
     "orm",
-    "migrations",
-    "postgresql",
-    "bun",
     "typescript",
-    "introspection"
+    "sql",
+    "database",
+    "bun",
+    "type-safe",
+    "migrations",
+    "ddl",
+    "introspection",
+    "schema-diff",
+    "postgres",
+    "mysql",
+    "sqlite"
   ],
+  "homepage": "https://github.com/vibeorm/vibeorm/tree/master/packages/migrate#readme",
+  "bugs": {
+    "url": "https://github.com/vibeorm/vibeorm/issues"
+  },
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/vibeorm/vibeorm.git",
+    "directory": "packages/migrate"
+  },
+  "license": "MIT",
+  "author": "VibeORM contributors",
   "type": "module",
   "exports": {
     ".": {
-      "default": "./src/index.ts",
-      "types": "./src/index.ts"
+      "types": "./dist/index.d.ts",
+      "default": "./dist/index.js"
     }
   },
   "files": [
-    "src"
+    "dist",
+    "README.md"
   ],
-  "repository": {
-    "type": "git",
-    "url": "https://github.com/vibeorm/vibeorm.git",
-    "directory": "packages/migrate"
+  "engines": {
+    "node": ">=18",
+    "bun": ">=1.2.0"
   },
-  "homepage": "https://github.com/vibeorm/vibeorm/tree/master/packages/migrate",
-  "bugs": {
-    "url": "https://github.com/vibeorm/vibeorm/issues"
+  "dependencies": {
+    "@vibeorm/schema": "2.0.0-alpha.8",
+    "@vibeorm/sql": "2.0.0-alpha.8"
   },
   "publishConfig": {
     "access": "public"
-  },
-  "engines": {
-    "bun": ">=1.1.0"
-  },
-  "dependencies": {
-    "@vibeorm/parser": "1.3.1"
   }
 }

package/src/cascade-actions.ts

@@ -1,88 +0,0 @@
-/**
- * Cascade-action resolution and SQL serialisation.
- *
- * Translates a `CascadeAction` from the parser IR into a Postgres
- * `ON DELETE`/`ON UPDATE` clause, applying Prisma-compatible defaults when
- * the schema doesn't specify an action explicitly.
- *
- * Defaults (matching Prisma's Postgres behaviour):
- *   - `onDelete`: required FK → `Restrict`, optional FK → `SetNull`
- *   - `onUpdate`: always → `Cascade`
- */
-
-import type { CascadeAction, RelationField } from "@vibeorm/parser";
-
-const ACTION_TO_SQL: Record<CascadeAction, string> = {
-  Cascade: "CASCADE",
-  Restrict: "RESTRICT",
-  NoAction: "NO ACTION",
-  SetNull: "SET NULL",
-  SetDefault: "SET DEFAULT",
-};
-
-/**
- * Inverse of {@link ACTION_TO_SQL} — used by the introspector when reading
- * `pg_constraint.confdeltype`/`confupdtype`. The single-char codes are
- * Postgres's catalog representation.
- */
-export const PG_CHAR_TO_CASCADE_ACTION: Record<string, CascadeAction> = {
-  a: "NoAction",
-  r: "Restrict",
-  c: "Cascade",
-  n: "SetNull",
-  d: "SetDefault",
-};
-
-/**
- * Resolve the effective onDelete action for a relation, applying the Prisma
- * default when the schema didn't say anything explicit.
- *
- * `isRequired` is the FK column's nullability (Prisma's "required relation").
- */
-export function resolveOnDelete(params: {
-  explicit: CascadeAction | undefined;
-  isRequired: boolean;
-}): CascadeAction {
-  if (params.explicit) return params.explicit;
-  return params.isRequired ? "Restrict" : "SetNull";
-}
-
-/** Resolve the effective onUpdate action. Prisma's Postgres default is Cascade. */
-export function resolveOnUpdate(params: {
-  explicit: CascadeAction | undefined;
-}): CascadeAction {
-  return params.explicit ?? "Cascade";
-}
-
-/** Convenience: serialise a CascadeAction to its Postgres clause body. */
-export function cascadeActionSql(params: { action: CascadeAction }): string {
-  return ACTION_TO_SQL[params.action];
-}
-
-/**
- * Build the full `ON DELETE X ON UPDATE Y` clause for a relation field,
- * applying defaults as needed.
- */
-export function buildFkActionClause(params: { rel: RelationField }): string {
-  const { rel } = params;
-  const onDelete = resolveOnDelete({
-    explicit: rel.relation.onDelete,
-    isRequired: rel.isRequired,
-  });
-  const onUpdate = resolveOnUpdate({ explicit: rel.relation.onUpdate });
-  return `ON DELETE ${ACTION_TO_SQL[onDelete]} ON UPDATE ${ACTION_TO_SQL[onUpdate]}`;
-}
-
-/**
- * Stable comparison key for whether two relations have the same effective
- * cascade behaviour. Used by the differ to detect drift even when the schema
- * was written without explicit actions (defaults must still be considered).
- */
-export function fkActionFingerprint(params: { rel: RelationField }): string {
-  const onDelete = resolveOnDelete({
-    explicit: params.rel.relation.onDelete,
-    isRequired: params.rel.isRequired,
-  });
-  const onUpdate = resolveOnUpdate({ explicit: params.rel.relation.onUpdate });
-  return `${onDelete}|${onUpdate}`;
-}