@metaobjectsdev/migrate-ts 0.8.1 → 0.9.0-rc.1

package/dist/sql-type.d.ts

@@ -26,6 +26,8 @@ export type SqlType = {
     withTimezone: boolean;
 } | {
     kind: "date";
+} | {
+    kind: "time";
 } | {
     kind: "json";
 } | {

package/dist/sql-type.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"sql-type.d.ts","sourceRoot":"","sources":["../src/sql-type.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,MAAM,MAAM,OAAO,GACf;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,SAAS,CAAC,EAAE,MAAM,CAAA;CAAE,GACpC;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,IAAI,EAAE,EAAE,GAAG,EAAE,CAAA;CAAE,GAClC;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAChB;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,GACjB;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,GACvD;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,GACnB;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,YAAY,EAAE,OAAO,CAAA;CAAE,GAC5C;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAChB;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAChB;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAChB;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAErB,sCAAsC;AACtC,wBAAgB,aAAa,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,GAAG,OAAO,CAsB7D;AAED;;;;;;;GAOG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,GAAG,OAAO,CAwC9D"}
+{"version":3,"file":"sql-type.d.ts","sourceRoot":"","sources":["../src/sql-type.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,MAAM,MAAM,OAAO,GACf;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,SAAS,CAAC,EAAE,MAAM,CAAA;CAAE,GACpC;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,IAAI,EAAE,EAAE,GAAG,EAAE,CAAA;CAAE,GAClC;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAChB;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,GACjB;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,GACvD;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,GACnB;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,YAAY,EAAE,OAAO,CAAA;CAAE,GAC5C;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAChB;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAChB;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAChB;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAChB;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAErB,sCAAsC;AACtC,wBAAgB,aAAa,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,GAAG,OAAO,CAuB7D;AAED;;;;;;;GAOG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,GAAG,OAAO,CAyC9D"}

package/dist/sql-type.js

@@ -17,6 +17,7 @@ export function sqlTypeEquals(a, b) {
         case "real4":
         case "boolean":
         case "date":
+        case "time":
         case "json":
         case "blob":
         case "uuid":
@@ -68,6 +69,7 @@ export function isWidening(from, to) {
         case "real4":
         case "boolean":
         case "date":
+        case "time":
         case "json":
         case "blob":
         case "uuid":

package/dist/sql-type.js.map

@@ -1 +1 @@
-{"version":3,"file":"sql-type.js","sourceRoot":"","sources":["../src/sql-type.ts"],"names":[],"mappings":"AAoBA,sCAAsC;AACtC,MAAM,UAAU,aAAa,CAAC,CAAU,EAAE,CAAU;IAClD,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACpC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,MAAM;YACT,OAAO,CAAC,CAAC,SAAS,KAAM,CAAwC,CAAC,SAAS,CAAC;QAC7E,KAAK,SAAS;YACZ,OAAO,CAAC,CAAC,IAAI,KAAM,CAA2C,CAAC,IAAI,CAAC;QACtE,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,EAAE,GAAG,CAA0C,CAAC;YACtD,OAAO,CAAC,CAAC,SAAS,KAAK,EAAE,CAAC,SAAS,IAAI,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC,KAAK,CAAC;QAC9D,CAAC;QACD,KAAK,WAAW;YACd,OAAO,CAAC,CAAC,YAAY,KAAM,CAA6C,CAAC,YAAY,CAAC;QACxF,KAAK,MAAM,CAAC;QACZ,KAAK,OAAO,CAAC;QACb,KAAK,SAAS,CAAC;QACf,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM;YACT,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,UAAU,CAAC,IAAa,EAAE,EAAW;IACnD,IAAI,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC;QAAE,OAAO,KAAK,CAAC;IAC1C,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC,CAAO,2BAA2B;IAE1E,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,CAAC,GAAG,EAAwC,CAAC;YACnD,6BAA6B;YAC7B,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS;gBAAE,OAAO,KAAK,CAAC;YAC/C,gCAAgC;YAChC,IAAI,CAAC,CAAC,SAAS,KAAK,SAAS;gBAAE,OAAO,IAAI,CAAC;YAC3C,uCAAuC;YACvC,OAAO,CAAC,CAAC,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC;QACvC,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,CAAC,GAAG,EAA2C,CAAC;YACtD,OAAO,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC;QAC7B,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,CAAC,GAAG,EAA2C,CAAC;YACtD,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,IAAI,CAAC,CAAC;YAC/B,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC;YAC3B,MAAM,EAAE,GAAG,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC;YAC5B,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;YACxB,6DAA6D;YAC7D,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;QACzD,CAAC;QACD,sFAAsF;QACtF,oFAAoF;QACpF,qFAAqF;QACrF,KAAK,MAAM,CAAC;QACZ,KAAK,OAAO,CAAC;QACb,KAAK,SAAS,CAAC;QACf,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM,CAAC;QACZ,KAAK,WAAW;YACd,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC"}
+{"version":3,"file":"sql-type.js","sourceRoot":"","sources":["../src/sql-type.ts"],"names":[],"mappings":"AAqBA,sCAAsC;AACtC,MAAM,UAAU,aAAa,CAAC,CAAU,EAAE,CAAU;IAClD,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACpC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,MAAM;YACT,OAAO,CAAC,CAAC,SAAS,KAAM,CAAwC,CAAC,SAAS,CAAC;QAC7E,KAAK,SAAS;YACZ,OAAO,CAAC,CAAC,IAAI,KAAM,CAA2C,CAAC,IAAI,CAAC;QACtE,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,EAAE,GAAG,CAA0C,CAAC;YACtD,OAAO,CAAC,CAAC,SAAS,KAAK,EAAE,CAAC,SAAS,IAAI,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC,KAAK,CAAC;QAC9D,CAAC;QACD,KAAK,WAAW;YACd,OAAO,CAAC,CAAC,YAAY,KAAM,CAA6C,CAAC,YAAY,CAAC;QACxF,KAAK,MAAM,CAAC;QACZ,KAAK,OAAO,CAAC;QACb,KAAK,SAAS,CAAC;QACf,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM;YACT,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,UAAU,CAAC,IAAa,EAAE,EAAW;IACnD,IAAI,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC;QAAE,OAAO,KAAK,CAAC;IAC1C,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC,CAAO,2BAA2B;IAE1E,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,CAAC,GAAG,EAAwC,CAAC;YACnD,6BAA6B;YAC7B,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS;gBAAE,OAAO,KAAK,CAAC;YAC/C,gCAAgC;YAChC,IAAI,CAAC,CAAC,SAAS,KAAK,SAAS;gBAAE,OAAO,IAAI,CAAC;YAC3C,uCAAuC;YACvC,OAAO,CAAC,CAAC,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC;QACvC,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,CAAC,GAAG,EAA2C,CAAC;YACtD,OAAO,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC;QAC7B,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,CAAC,GAAG,EAA2C,CAAC;YACtD,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,IAAI,CAAC,CAAC;YAC/B,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC;YAC3B,MAAM,EAAE,GAAG,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC;YAC5B,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;YACxB,6DAA6D;YAC7D,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;QACzD,CAAC;QACD,sFAAsF;QACtF,oFAAoF;QACpF,qFAAqF;QACrF,KAAK,MAAM,CAAC;QACZ,KAAK,OAAO,CAAC;QACb,KAAK,SAAS,CAAC;QACf,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM,CAAC;QACZ,KAAK,WAAW;YACd,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC"}

package/dist/types.d.ts

@@ -23,6 +23,7 @@ export interface TableDescriptor {
     columns: ColumnDescriptor[];
     indexes: IndexDescriptor[];
     foreignKeys: FkDescriptor[];
+    checks: CheckDescriptor[];
     primaryKey: string[];
     /**
      * Human-readable description threaded from entity `@description`.
@@ -55,6 +56,12 @@ export interface IndexDescriptor {
     columns: string[];
     unique: boolean;
 }
+export interface CheckDescriptor {
+    /** Constraint name, e.g. `<table>_<column>_chk`. Diff/identity key. */
+    name: string;
+    /** The boolean SQL expression, e.g. `status IN ('OPEN','CLOSED')`. */
+    expression: string;
+}
 export interface FkDescriptor {
     name: string;
     columns: string[];
@@ -69,11 +76,17 @@ export interface ViewDescriptor {
     /** Same semantics as TableDescriptor.schema. */
     schema?: string;
     /**
-     * View body: everything between `CREATE VIEW <name> AS` and the trailing `;`
-     * (the SELECT clause through the FROM/WHERE/GROUP-BY tail). Populated by
-     * `buildExpectedSchema` from projection metadata; omitted by introspect
-     * (body-level comparison isn't implemented yet — diff matches by name only,
-     * so a body change does NOT trigger replace-view today).
+     * View definition SQL.
+     *
+     * On the EXPECTED side (`buildExpectedSchema` / `buildExpectedViews`) this is
+     * the view body — the SELECT clause through the FROM/WHERE/GROUP-BY tail.
+     *
+     * On the ACTUAL side (`introspect`) this is whatever the DB catalog stores:
+     * sqlite's `sqlite_master.sql` is the full `CREATE VIEW <name> AS <body>`
+     * statement, while Postgres' `information_schema.views.view_definition` is the
+     * body only. `diff`'s view-body comparator normalizes both sides (strips any
+     * leading `CREATE VIEW ... AS`, collapses whitespace) before comparing, so a
+     * body change triggers a `replace-view`.
      */
     sql?: string;
 }
@@ -97,6 +110,7 @@ export type Change = {
     kind: "drop-table";
     table: string;
     schema?: string;
+    restore?: TableDescriptor;
     status: ChangeStatus;
 } | {
     kind: "rename-table";
@@ -115,6 +129,7 @@ export type Change = {
     table: string;
     schema?: string;
     column: string;
+    restore?: ColumnDescriptor;
     status: ChangeStatus;
 } | {
     kind: "rename-column";
@@ -158,6 +173,7 @@ export type Change = {
     table: string;
     schema?: string;
     index: string;
+    restore?: IndexDescriptor;
     status: ChangeStatus;
 } | {
     kind: "add-fk";
@@ -170,6 +186,20 @@ export type Change = {
     table: string;
     schema?: string;
     fk: string;
+    restore?: FkDescriptor;
+    status: ChangeStatus;
+} | {
+    kind: "add-check";
+    table: string;
+    schema?: string;
+    check: CheckDescriptor;
+    status: ChangeStatus;
+} | {
+    kind: "drop-check";
+    table: string;
+    schema?: string;
+    check: string;
+    restore?: CheckDescriptor;
     status: ChangeStatus;
 } | {
     kind: "create-view";
@@ -199,6 +229,7 @@ export interface AllowOptions {
     typeChange?: boolean;
     dropIndex?: boolean;
     dropFk?: boolean;
+    dropCheck?: boolean;
     /** Existing data must satisfy NOT NULL; diff cannot verify this. */
     nullableToNotNull?: boolean;
 }

package/dist/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAO7C,MAAM,WAAW,cAAc;IAC7B,MAAM,EAAE,eAAe,EAAE,CAAC;IAC1B,8EAA8E;IAC9E,KAAK,EAAE,cAAc,EAAE,CAAC;IACxB;;;OAGG;IACH,IAAI,CAAC,EAAE,YAAY,CAAC;CACrB;AAED,MAAM,WAAW,YAAY;IAC3B,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb;;;;OAIG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,gBAAgB,EAAE,CAAC;IAC5B,OAAO,EAAE,eAAe,EAAE,CAAC;IAC3B,WAAW,EAAE,YAAY,EAAE,CAAC;IAC5B,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB;;;;;OAKG;IACH,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,OAAO,CAAC;IACjB,QAAQ,EAAE,OAAO,CAAC;IAClB,OAAO,CAAC,EAAE,aAAa,CAAC;IACxB,QAAQ,CAAC,EAAE,WAAW,GAAG,MAAM,CAAC;IAChC;;;;;OAKG;IACH,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,SAAS,GAAG,MAAM,CAAC;IACzB,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,MAAM,EAAE,OAAO,CAAC;CACjB;AAED,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB,QAAQ,CAAC,EAAE,QAAQ,CAAC;CACrB;AAED,MAAM,MAAM,QAAQ,GAAG,SAAS,GAAG,UAAU,GAAG,UAAU,GAAG,WAAW,CAAC;AAEzE,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,gDAAgD;IAChD,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;;;;;;OAMG;IACH,GAAG,CAAC,EAAE,MAAM,CAAC;CACd;AAMD;;;;;;;;;;GAUG;AACH,MAAM,MAAM,MAAM,GACd;IAAE,IAAI,EAAE,cAAc,CAAC;IAAC,KAAK,EAAE,eAAe,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GACvF;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GAC5E;IAAE,IAAI,EAAE,cAAc,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GACzF;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,gBAAgB,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GACtG;IAAE,IAAI,EAAE,aAAa,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GAC7F;IAAE,IAAI,EAAE,eAAe,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GACzG;IAAE,IAAI,EAAE,oBAAoB,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAC3E,IAAI,EAAE,OAAO,CAAC;IAAC,EAAE,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GACpD;IAAE,IAAI,EAAE,wBAAwB,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAC/E,IAAI,EAAE,OAAO,CAAC;IAAC,EAAE,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GACpD;IAAE,IAAI,EAAE,uBAAuB,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAC9E,IAAI,CAAC,EAAE,aAAa,CAAC;IAAC,EAAE,CAAC,EAAE,aAAa,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GAClE;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,eAAe,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GACnG;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GAC3F;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,YAAY,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GAC1F;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GAErF;IAAE,IAAI,EAAE,aAAa,CAAC;IAAC,IAAI,EAAE,cAAc,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GACpF;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GAC1E;IAAE,IAAI,EAAE,cAAc,CAAC;IAAC,IAAI,EAAE,cAAc,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,CAAC;AAE1F,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;AAExC,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,SAAS,GAAG,SAAS,CAAC;IAC7B,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAMD,MAAM,WAAW,YAAY;IAC3B,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,mFAAmF;IACnF,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,oEAAoE;IACpE,iBAAiB,CAAC,EAAE,OAAO,CAAC;CAC7B;AAED,MAAM,MAAM,eAAe,GACvB;IACE,IAAI,EAAE,wBAAwB,CAAC;IAC/B,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,OAAO,CAAA;KAAE,CAAC;IACzC,EAAE,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,OAAO,CAAA;KAAE,CAAC;CACxC,GACD;IACE,IAAI,EAAE,uBAAuB,CAAC;IAC9B,IAAI,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,MAAM,CAAA;KAAE,CAAC;IAC5C,EAAE,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,MAAM,CAAA;KAAE,CAAC;IAC1C,aAAa,EAAE,MAAM,CAAC;CACvB,CAAC;AAEN,MAAM,MAAM,mBAAmB,GAAG,QAAQ,GAAG,UAAU,GAAG,OAAO,CAAC;AAElE,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,EAAE,eAAe,KAAK,OAAO,CAAC,mBAAmB,CAAC,CAAC;AAErF,MAAM,WAAW,UAAU;IACzB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,iGAAiG;IACjG,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAMD,MAAM,WAAW,UAAU;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb;;;;;;OAMG;IACH,eAAe,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACtC;AAED,MAAM,MAAM,OAAO,GAAG,UAAU,GAAG,QAAQ,GAAG,IAAI,CAAC"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAO7C,MAAM,WAAW,cAAc;IAC7B,MAAM,EAAE,eAAe,EAAE,CAAC;IAC1B,8EAA8E;IAC9E,KAAK,EAAE,cAAc,EAAE,CAAC;IACxB;;;OAGG;IACH,IAAI,CAAC,EAAE,YAAY,CAAC;CACrB;AAED,MAAM,WAAW,YAAY;IAC3B,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb;;;;OAIG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,gBAAgB,EAAE,CAAC;IAC5B,OAAO,EAAE,eAAe,EAAE,CAAC;IAC3B,WAAW,EAAE,YAAY,EAAE,CAAC;IAC5B,MAAM,EAAE,eAAe,EAAE,CAAC;IAC1B,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB;;;;;OAKG;IACH,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,OAAO,CAAC;IACjB,QAAQ,EAAE,OAAO,CAAC;IAClB,OAAO,CAAC,EAAE,aAAa,CAAC;IACxB,QAAQ,CAAC,EAAE,WAAW,GAAG,MAAM,CAAC;IAChC;;;;;OAKG;IACH,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,SAAS,GAAG,MAAM,CAAC;IACzB,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,MAAM,EAAE,OAAO,CAAC;CACjB;AAED,MAAM,WAAW,eAAe;IAC9B,uEAAuE;IACvE,IAAI,EAAE,MAAM,CAAC;IACb,sEAAsE;IACtE,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB,QAAQ,CAAC,EAAE,QAAQ,CAAC;CACrB;AAED,MAAM,MAAM,QAAQ,GAAG,SAAS,GAAG,UAAU,GAAG,UAAU,GAAG,WAAW,CAAC;AAEzE,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,gDAAgD;IAChD,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;;;;;;;;;;;;OAYG;IACH,GAAG,CAAC,EAAE,MAAM,CAAC;CACd;AAMD;;;;;;;;;;GAUG;AACH,MAAM,MAAM,MAAM,GACd;IAAE,IAAI,EAAE,cAAc,CAAC;IAAC,KAAK,EAAE,eAAe,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GACvF;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,eAAe,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GACvG;IAAE,IAAI,EAAE,cAAc,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GACzF;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,gBAAgB,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GACtG;IAAE,IAAI,EAAE,aAAa,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,gBAAgB,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GACzH;IAAE,IAAI,EAAE,eAAe,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GACzG;IAAE,IAAI,EAAE,oBAAoB,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAC3E,IAAI,EAAE,OAAO,CAAC;IAAC,EAAE,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GACpD;IAAE,IAAI,EAAE,wBAAwB,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAC/E,IAAI,EAAE,OAAO,CAAC;IAAC,EAAE,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GACpD;IAAE,IAAI,EAAE,uBAAuB,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAC9E,IAAI,CAAC,EAAE,aAAa,CAAC;IAAC,EAAE,CAAC,EAAE,aAAa,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GAClE;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,eAAe,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GACnG;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,eAAe,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GACtH;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,YAAY,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GAC1F;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,YAAY,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GAC7G;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,eAAe,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GACnG;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,eAAe,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GAEtH;IAAE,IAAI,EAAE,aAAa,CAAC;IAAC,IAAI,EAAE,cAAc,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GACpF;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GAC1E;IAAE,IAAI,EAAE,cAAc,CAAC;IAAC,IAAI,EAAE,cAAc,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,CAAC;AAE1F,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;AAExC,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,SAAS,GAAG,SAAS,CAAC;IAC7B,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAMD,MAAM,WAAW,YAAY;IAC3B,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,mFAAmF;IACnF,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,oEAAoE;IACpE,iBAAiB,CAAC,EAAE,OAAO,CAAC;CAC7B;AAED,MAAM,MAAM,eAAe,GACvB;IACE,IAAI,EAAE,wBAAwB,CAAC;IAC/B,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,OAAO,CAAA;KAAE,CAAC;IACzC,EAAE,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,OAAO,CAAA;KAAE,CAAC;CACxC,GACD;IACE,IAAI,EAAE,uBAAuB,CAAC;IAC9B,IAAI,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,MAAM,CAAA;KAAE,CAAC;IAC5C,EAAE,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,MAAM,CAAA;KAAE,CAAC;IAC1C,aAAa,EAAE,MAAM,CAAC;CACvB,CAAC;AAEN,MAAM,MAAM,mBAAmB,GAAG,QAAQ,GAAG,UAAU,GAAG,OAAO,CAAC;AAElE,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,EAAE,eAAe,KAAK,OAAO,CAAC,mBAAmB,CAAC,CAAC;AAErF,MAAM,WAAW,UAAU;IACzB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,iGAAiG;IACjG,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAMD,MAAM,WAAW,UAAU;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb;;;;;;OAMG;IACH,eAAe,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACtC;AAED,MAAM,MAAM,OAAO,GAAG,UAAU,GAAG,QAAQ,GAAG,IAAI,CAAC"}

package/dist/verify/replay.d.ts

@@ -0,0 +1,25 @@
+import type { Kysely } from "kysely";
+import { type DriftClassification } from "../drift/classify.js";
+import type { Dialect, SchemaSnapshot } from "../types.js";
+export interface VerifyReplayArgs {
+    /** A FRESH, throwaway database. Replay applies every migration into it from empty. */
+    db: Kysely<Record<string, unknown>>;
+    dialect: Extract<Dialect, "postgres" | "sqlite">;
+    /** Directory holding the committed `<timestamp>-<slug>/up.sql` migrations. */
+    migrationsDir: string;
+    /** The committed snapshot the migrations are expected to reproduce. */
+    snapshot: SchemaSnapshot;
+}
+export interface VerifyReplayResult extends DriftClassification {
+    /** True when the replayed schema matches the snapshot (no drift, no unmanaged). */
+    ok: boolean;
+}
+/**
+ * Replay all committed migrations into a fresh database, introspect the result,
+ * and compare it to the committed snapshot. A non-empty `drift`/`unmanaged` means
+ * the migrations-as-applied diverge from the snapshot — e.g. a hand-edited up.sql
+ * that changed structure the metadata-derived snapshot doesn't know about. The
+ * ledger sidecar table is excluded from the comparison.
+ */
+export declare function verifyReplay(args: VerifyReplayArgs): Promise<VerifyReplayResult>;
+//# sourceMappingURL=replay.d.ts.map

package/dist/verify/replay.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"replay.d.ts","sourceRoot":"","sources":["../../src/verify/replay.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAIrC,OAAO,EAAwB,KAAK,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AACtF,OAAO,KAAK,EAAE,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAE3D,MAAM,WAAW,gBAAgB;IAC/B,sFAAsF;IACtF,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACpC,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,QAAQ,CAAC,CAAC;IACjD,8EAA8E;IAC9E,aAAa,EAAE,MAAM,CAAC;IACtB,uEAAuE;IACvE,QAAQ,EAAE,cAAc,CAAC;CAC1B;AAED,MAAM,WAAW,kBAAmB,SAAQ,mBAAmB;IAC7D,mFAAmF;IACnF,EAAE,EAAE,OAAO,CAAC;CACb;AAED;;;;;;GAMG;AACH,wBAAsB,YAAY,CAAC,IAAI,EAAE,gBAAgB,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAYtF"}

package/dist/verify/replay.js

@@ -0,0 +1,25 @@
+import { applyPending } from "../apply/apply.js";
+import { MIGRATIONS_TABLE } from "../apply/ledger.js";
+import { introspect } from "../introspect/index.js";
+import { driftAgainstSnapshot } from "../drift/classify.js";
+/**
+ * Replay all committed migrations into a fresh database, introspect the result,
+ * and compare it to the committed snapshot. A non-empty `drift`/`unmanaged` means
+ * the migrations-as-applied diverge from the snapshot — e.g. a hand-edited up.sql
+ * that changed structure the metadata-derived snapshot doesn't know about. The
+ * ledger sidecar table is excluded from the comparison.
+ */
+export async function verifyReplay(args) {
+    await applyPending(args.db, args.migrationsDir, { dryRun: false, dialect: args.dialect });
+    const introspected = await introspect(args.db, args.dialect);
+    const actual = {
+        ...introspected,
+        tables: introspected.tables.filter((t) => t.name !== MIGRATIONS_TABLE),
+    };
+    const classification = await driftAgainstSnapshot(args.snapshot, actual, args.dialect);
+    return {
+        ...classification,
+        ok: classification.drift.length === 0 && classification.unmanaged.length === 0,
+    };
+}
+//# sourceMappingURL=replay.js.map

package/dist/verify/replay.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"replay.js","sourceRoot":"","sources":["../../src/verify/replay.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACpD,OAAO,EAAE,oBAAoB,EAA4B,MAAM,sBAAsB,CAAC;AAkBtF;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,IAAsB;IACvD,MAAM,YAAY,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,aAAa,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;IAC1F,MAAM,YAAY,GAAG,MAAM,UAAU,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IAC7D,MAAM,MAAM,GAAmB;QAC7B,GAAG,YAAY;QACf,MAAM,EAAE,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,gBAAgB,CAAC;KACvE,CAAC;IACF,MAAM,cAAc,GAAG,MAAM,oBAAoB,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IACvF,OAAO;QACL,GAAG,cAAc;QACjB,EAAE,EAAE,cAAc,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,cAAc,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;KAC/E,CAAC;AACJ,CAAC"}

package/dist/view-sql-compare.d.ts

@@ -0,0 +1,8 @@
+/**
+ * Collapse a view definition (full `CREATE VIEW ... AS body` OR a bare body)
+ * to a canonical, comparable string. Whitespace-, case-, and wrapper-insensitive.
+ */
+export declare function normalizeViewSql(sql: string): string;
+/** True when two view definitions are equivalent after normalization. */
+export declare function viewSqlEquals(a: string | undefined, b: string | undefined): boolean;
+//# sourceMappingURL=view-sql-compare.d.ts.map

package/dist/view-sql-compare.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"view-sql-compare.d.ts","sourceRoot":"","sources":["../src/view-sql-compare.ts"],"names":[],"mappings":"AA4BA;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAOpD;AAED,yEAAyE;AACzE,wBAAgB,aAAa,CAAC,CAAC,EAAE,MAAM,GAAG,SAAS,EAAE,CAAC,EAAE,MAAM,GAAG,SAAS,GAAG,OAAO,CAGnF"}

package/dist/view-sql-compare.js

@@ -0,0 +1,44 @@
+// view-sql-compare.ts — the single shared comparator for view definition SQL.
+//
+// View definition SQL arrives in two shapes across the pipeline:
+//   - EXPECTED (buildExpectedViews): the body only — `SELECT ... FROM ...`.
+//   - ACTUAL (introspect): sqlite's sqlite_master.sql is the full
+//     `CREATE VIEW <name> AS <body>`; Postgres' view_definition is body-only.
+//   - The CLI's readExistingViewSql synthesizes `CREATE VIEW <name> AS <body>`
+//     for Postgres so it matches what emitViewDdl produces.
+//
+// normalizeViewSql reduces any of these to a comparable canonical form so the
+// diff (expected vs introspected) and the CLI (emitted DDL vs existing DDL) use
+// ONE comparison. It strips a leading `CREATE [OR REPLACE] VIEW <name> AS`,
+// collapses runs of whitespace to a single space, drops a trailing `;`, and
+// lower-cases — view-body drift should be classified by structure, not by
+// incidental whitespace/case/wrapper differences.
+//
+// CAVEAT (accepted tradeoff): lower-casing makes keyword/identifier comparison
+// case-insensitive but can mask a difference that lives ONLY in a case-sensitive
+// string literal in the body (e.g. `WHERE status = 'Active'` vs `'active'`) —
+// such a change would NOT be flagged as drift. Acceptable for generated
+// aggregate/passthrough projections (no literals); revisit if hand-authored
+// views with case-sensitive literals become a drift concern. The name regex
+// matches one whitespace/`(`-free token, so a quoted view name containing a
+// space would not strip cleanly — also a non-issue for generated identifiers.
+const CREATE_VIEW_PREFIX = /^\s*create\s+(?:or\s+replace\s+)?(?:temp(?:orary)?\s+)?view\s+(?:if\s+not\s+exists\s+)?[^\s(]+(?:\s*\([^)]*\))?\s+as\s+/i;
+/**
+ * Collapse a view definition (full `CREATE VIEW ... AS body` OR a bare body)
+ * to a canonical, comparable string. Whitespace-, case-, and wrapper-insensitive.
+ */
+export function normalizeViewSql(sql) {
+    return sql
+        .replace(CREATE_VIEW_PREFIX, "")
+        .replace(/\s+/g, " ")
+        .replace(/;\s*$/, "")
+        .trim()
+        .toLowerCase();
+}
+/** True when two view definitions are equivalent after normalization. */
+export function viewSqlEquals(a, b) {
+    if (a === undefined || b === undefined)
+        return false;
+    return normalizeViewSql(a) === normalizeViewSql(b);
+}
+//# sourceMappingURL=view-sql-compare.js.map

package/dist/view-sql-compare.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"view-sql-compare.js","sourceRoot":"","sources":["../src/view-sql-compare.ts"],"names":[],"mappings":"AAAA,8EAA8E;AAC9E,EAAE;AACF,iEAAiE;AACjE,4EAA4E;AAC5E,kEAAkE;AAClE,8EAA8E;AAC9E,+EAA+E;AAC/E,4DAA4D;AAC5D,EAAE;AACF,8EAA8E;AAC9E,gFAAgF;AAChF,4EAA4E;AAC5E,4EAA4E;AAC5E,0EAA0E;AAC1E,kDAAkD;AAClD,EAAE;AACF,+EAA+E;AAC/E,iFAAiF;AACjF,8EAA8E;AAC9E,wEAAwE;AACxE,4EAA4E;AAC5E,4EAA4E;AAC5E,4EAA4E;AAC5E,8EAA8E;AAE9E,MAAM,kBAAkB,GACtB,0HAA0H,CAAC;AAE7H;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,GAAW;IAC1C,OAAO,GAAG;SACP,OAAO,CAAC,kBAAkB,EAAE,EAAE,CAAC;SAC/B,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC;SACpB,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;SACpB,IAAI,EAAE;SACN,WAAW,EAAE,CAAC;AACnB,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,aAAa,CAAC,CAAqB,EAAE,CAAqB;IACxE,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACrD,OAAO,gBAAgB,CAAC,CAAC,CAAC,KAAK,gBAAgB,CAAC,CAAC,CAAC,CAAC;AACrD,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@metaobjectsdev/migrate-ts",
-  "version": "0.8.1",
+  "version": "0.9.0-rc.1",
   "description": "Schema migration tooling for MetaObjects: diff metadata vs DB and emit SQL for Postgres and SQLite.",
   "type": "module",
   "main": "./dist/index.js",
@@ -34,7 +34,7 @@
   },
   "dependencies": {
     "@iarna/toml": "^2.2.5",
-    "@metaobjectsdev/metadata": "0.8.1"
+    "@metaobjectsdev/metadata": "0.9.0-rc.1"
   },
   "peerDependencies": {
     "kysely": ">=0.27.0"

package/src/apply/apply.ts

@@ -0,0 +1,340 @@
+import { createHash } from "node:crypto";
+import { readdir, readFile } from "node:fs/promises";
+import { join } from "node:path";
+import { type Kysely, type Transaction, sql } from "kysely";
+import {
+  appliedRecords,
+  DEFAULT_LEDGER_SCHEMA,
+  deleteApplied,
+  ensureLedger,
+  type LedgerDialect,
+  type LedgerOptions,
+  MIGRATIONS_TABLE,
+  recordApplied,
+} from "./ledger.js";
+import { splitSqlStatements } from "../sql/split-statements.js";
+
+// Re-exported here for back-compat: `splitSqlStatements` historically lived in
+// this module. Its canonical home is now ../sql/split-statements.js (shared with
+// the D1 safety pass), but consumers importing from apply.js keep working.
+export { splitSqlStatements };
+
+/** The per-migration up-SQL filename, shared with writeMigration's layout. */
+const UP_SQL = "up.sql";
+/** The per-migration down-SQL filename, shared with writeMigration's layout. */
+const DOWN_SQL = "down.sql";
+
+export interface ApplyPendingOptions {
+  /** When true, compute + return the plan but apply nothing. */
+  dryRun: boolean;
+  /**
+   * Target dialect. Decides ledger schema-qualification (pg) and whether the
+   * Postgres advisory lock is taken. Defaults to `sqlite` (no schema, no lock)
+   * to preserve the original single-DB behavior for callers that omit it.
+   */
+  dialect?: LedgerDialect;
+  /** Multi-tenant ledger location + advisory-lock name. Defaults preserve current behavior. */
+  ledger?: LedgerOptions;
+}
+
+export interface ApplyPendingResult {
+  /** Migration names that were pending (not yet in the ledger), in order. */
+  pending: string[];
+  /** Migration names that were applied this run, in order. Empty on dryRun. */
+  applied: string[];
+}
+
+interface DiscoveredMigration {
+  /** `<timestamp>-<slug>` directory name — stable id + sort key. */
+  name: string;
+  /** Absolute path to the up.sql file. */
+  upPath: string;
+  /** Absolute path to the down.sql file (may not exist on disk). */
+  downPath: string;
+}
+
+/**
+ * Apply pending committed migration files in order, tracked by the
+ * migration-history ledger, transactionally.
+ *
+ * Idempotency comes from the LEDGER (skip names already recorded), NOT from
+ * re-diffing — so hand-authored files + data steps replay exactly once.
+ *
+ * For each pending migration (sorted by directory name), the file's SQL and a
+ * `recordApplied` row are run in the SAME Kysely transaction; any failure rolls
+ * back that file's tx, leaving it unrecorded (so a re-run retries it), and
+ * stops the run. Previously-applied files are checksum-compared against the
+ * ledger — a changed file errors (tamper guard).
+ */
+export async function applyPending(
+  db: Kysely<Record<string, unknown>>,
+  dir: string,
+  opts: ApplyPendingOptions,
+): Promise<ApplyPendingResult> {
+  const dialect = opts.dialect ?? "sqlite";
+  const ledger = opts.ledger;
+
+  // Serialize concurrent applies against the same ledger with a Postgres
+  // session advisory lock (no-op on SQLite). Held for the whole apply duration.
+  return withAdvisoryLock(db, dialect, ledger, async () => {
+    await ensureLedger(db, dialect, ledger);
+    const recorded = await appliedRecords(db, dialect, ledger);
+
+    const discovered = await discoverMigrations(dir);
+
+    // Tamper guard: any already-applied migration whose current up.sql checksum
+    // differs from the recorded one is a hard error.
+    for (const m of discovered) {
+      const recordedChecksum = recorded.get(m.name);
+      if (recordedChecksum === undefined) continue;
+      const current = checksumOf(await readFile(m.upPath, "utf8"));
+      if (current !== recordedChecksum) {
+        throw new Error(
+          `migration '${m.name}' was already applied but its up.sql checksum changed ` +
+            `(recorded ${recordedChecksum.slice(0, 12)}…, current ${current.slice(0, 12)}…). ` +
+            `Applied migrations are immutable; revert the edit or author a new migration.`,
+        );
+      }
+    }
+
+    const pending = discovered.filter((m) => !recorded.has(m.name));
+    const pendingNames = pending.map((m) => m.name);
+
+    if (opts.dryRun) {
+      return { pending: pendingNames, applied: [] };
+    }
+
+    const applied: string[] = [];
+    for (const m of pending) {
+      const text = await readFile(m.upPath, "utf8");
+      const checksum = checksumOf(text);
+      // Run the file's SQL + the ledger insert in ONE transaction. A failure
+      // rolls the whole file back (unrecorded) and propagates — stopping the run.
+      await runSqlFileWithLedgerMutation(db, text, (trx) =>
+        recordApplied(trx, m.name, checksum, dialect, ledger),
+      );
+      applied.push(m.name);
+    }
+
+    return { pending: pendingNames, applied };
+  });
+}
+
+export interface RollbackToOptions {
+  /** Target dialect. Decides ledger schema-qualification + advisory lock. Defaults to `sqlite`. */
+  dialect?: LedgerDialect;
+  /** Multi-tenant ledger location + advisory-lock name. Defaults preserve current behavior. */
+  ledger?: LedgerOptions;
+}
+
+export interface RollbackToResult {
+  /** Migration names rolled back, in execution (reverse-chronological) order. */
+  rolledBack: string[];
+}
+
+/**
+ * Roll back applied migrations newer than `target` (or all, when `target` is
+ * `null`), in REVERSE lexical order — running each migration's `down.sql` then
+ * deleting its ledger row, in ONE transaction per migration. `target` is itself
+ * retained (only ledger names strictly-greater than it are rolled back; lexical
+ * = chronological given the zero-padded timestamp prefix).
+ *
+ * An empty / whitespace-only `down.sql` THROWS before that migration is
+ * unrecorded — data-migration downs are hand-authored and must never be
+ * silently skipped. `down.sql` is split with the same {@link splitSqlStatements}
+ * the up-path uses. Wrapped in the same Postgres session advisory lock as
+ * {@link applyPending} (no-op on SQLite).
+ */
+export async function rollbackTo(
+  db: Kysely<Record<string, unknown>>,
+  dir: string,
+  target: string | null,
+  opts: RollbackToOptions = {},
+): Promise<RollbackToResult> {
+  const dialect = opts.dialect ?? "sqlite";
+  const ledger = opts.ledger;
+
+  return withAdvisoryLock(db, dialect, ledger, async () => {
+    await ensureLedger(db, dialect, ledger);
+    const recorded = await appliedRecords(db, dialect, ledger);
+
+    const discovered = await discoverMigrations(dir);
+    const byName = new Map(discovered.map((m) => [m.name, m]));
+
+    // Applied names strictly-greater than target (or all when target is null),
+    // newest-first.
+    const toRollback = [...recorded.keys()]
+      .filter((name) => target === null || compareLexical(name, target) > 0)
+      .sort((a, b) => compareLexical(b, a));
+
+    const rolledBack: string[] = [];
+    for (const name of toRollback) {
+      const m = byName.get(name);
+      if (m === undefined) {
+        throw new Error(
+          `rollback '${name}': migration directory is missing (cannot read its down.sql)`,
+        );
+      }
+      const downText = await readDownSql(m.downPath, name);
+      if (downText.trim().length === 0) {
+        throw new Error(
+          `rollback '${name}': down.sql is empty — data-migration downs must be ` +
+            `hand-authored, never silently skipped.`,
+        );
+      }
+      // Run the down SQL + the ledger delete in ONE transaction.
+      await runSqlFileWithLedgerMutation(db, downText, (trx) =>
+        deleteApplied(trx, name, dialect, ledger),
+      );
+      rolledBack.push(name);
+    }
+
+    return { rolledBack };
+  });
+}
+
+/**
+ * Read a migration's `down.sql`. Distinguishes a MISSING file (never authored —
+ * ENOENT) from a present-but-empty one: a missing down throws a "not found"
+ * error (a never-written down has a different cause than a deliberately-blank
+ * one), while genuinely-empty content falls through to the caller's empty-down
+ * check. Both remain hard errors; this only reports the right cause.
+ */
+async function readDownSql(path: string, name: string): Promise<string> {
+  try {
+    return await readFile(path, "utf8");
+  } catch (err) {
+    if (isErrnoException(err) && err.code === "ENOENT") {
+      throw new Error(
+        `rollback '${name}': down.sql not found for migration '${name}' ` +
+          `(expected at ${path}) — data-migration downs must be hand-authored.`,
+      );
+    }
+    throw err;
+  }
+}
+
+/** Narrow an unknown caught value to a Node errno exception (has a string `code`). */
+function isErrnoException(err: unknown): err is NodeJS.ErrnoException {
+  return (
+    err instanceof Error &&
+    typeof (err as NodeJS.ErrnoException).code === "string"
+  );
+}
+
+/**
+ * Run `body` while holding a Postgres SESSION-level advisory lock for mutual
+ * exclusion across concurrent applies/rollbacks against the same ledger.
+ *
+ * pg session advisory locks are per-connection, so the lock is taken on a single
+ * dedicated connection (`db.connection()`) held for the entire `body` duration;
+ * `body` still runs its own migrations via `db.transaction()` on the pool — the
+ * lock only needs to be held by some session for mutual exclusion. SESSION (not
+ * transaction) level so a `CREATE INDEX CONCURRENTLY` in a migration cannot
+ * deadlock against it. On SQLite (single-writer; no advisory locks) it is a
+ * pass-through.
+ */
+async function withAdvisoryLock<T>(
+  db: Kysely<Record<string, unknown>>,
+  dialect: LedgerDialect,
+  ledger: LedgerOptions | undefined,
+  body: () => Promise<T>,
+): Promise<T> {
+  if (dialect !== "postgres") {
+    return body();
+  }
+  const key = advisoryKey(lockNameFor(ledger));
+  return db.connection().execute(async (lockConn) => {
+    // Bind the key as a parameter cast to bigint (a signed 64-bit int as a
+    // decimal string, possibly negative) — matching the runner's
+    // `pg_advisory_lock($1::bigint)`.
+    await sql`SELECT pg_advisory_lock(${key}::bigint)`.execute(lockConn);
+    try {
+      return await body();
+    } finally {
+      // Releasing the lock must NOT mask an in-flight body error: a throw out of
+      // `finally` would replace any pending body rejection. Log-and-swallow the
+      // unlock failure so the body's error (if any) propagates intact. The lock
+      // is session-scoped, so it is released anyway when the connection closes.
+      try {
+        await sql`SELECT pg_advisory_unlock(${key}::bigint)`.execute(lockConn);
+      } catch (unlockErr) {
+        console.warn(
+          `migrate-ts: failed to release advisory lock (it will be freed when the ` +
+            `session ends): ${String(unlockErr)}`,
+        );
+      }
+    }
+  });
+}
+
+/** Default advisory-lock name: explicit `lockName`, else `<schema>.<table>`. */
+function lockNameFor(ledger: LedgerOptions | undefined): string {
+  if (ledger?.lockName !== undefined) return ledger.lockName;
+  const schema = ledger?.schema ?? DEFAULT_LEDGER_SCHEMA;
+  const table = ledger?.table ?? MIGRATIONS_TABLE;
+  return `${schema}.${table}`;
+}
+
+/** Stable 64-bit signed advisory-lock key (decimal string) from a lock name. */
+function advisoryKey(name: string): string {
+  const hash = createHash("sha256").update(name).digest();
+  return hash.readBigInt64BE(0).toString();
+}
+
+/**
+ * Run a migration SQL file's statements followed by a ledger mutation, all in
+ * ONE Kysely transaction on the pool. The file is split with
+ * {@link splitSqlStatements} and each statement executed in order, then
+ * `mutateLedger` records/unrecords the migration — so the data change and its
+ * ledger row commit or roll back together. Any failure rolls the whole
+ * transaction back (leaving the ledger untouched) and propagates to the caller.
+ *
+ * Shared by both the apply (up.sql + recordApplied) and rollback
+ * (down.sql + deleteApplied) paths.
+ */
+async function runSqlFileWithLedgerMutation(
+  db: Kysely<Record<string, unknown>>,
+  sqlText: string,
+  mutateLedger: (trx: Transaction<Record<string, unknown>>) => Promise<void>,
+): Promise<void> {
+  await db.transaction().execute(async (trx) => {
+    for (const stmt of splitSqlStatements(sqlText)) {
+      await sql.raw(stmt).execute(trx);
+    }
+    await mutateLedger(trx);
+  });
+}
+
+async function discoverMigrations(dir: string): Promise<DiscoveredMigration[]> {
+  let entries: { name: string; isDirectory: () => boolean }[];
+  try {
+    entries = await readdir(dir, { withFileTypes: true });
+  } catch {
+    return [];
+  }
+  const migrations: DiscoveredMigration[] = [];
+  for (const e of entries) {
+    if (!e.isDirectory()) continue;
+    migrations.push({
+      name: e.name,
+      upPath: join(dir, e.name, UP_SQL),
+      downPath: join(dir, e.name, DOWN_SQL),
+    });
+  }
+  // Directory names are timestamp-prefixed (`<YYYYMMDDHHMMSS>-<slug>`), so a
+  // plain lexical (code-unit) sort is the apply order.
+  migrations.sort((a, b) => compareLexical(a.name, b.name));
+  return migrations;
+}
+
+function checksumOf(text: string): string {
+  return createHash("sha256").update(text, "utf8").digest("hex");
+}
+
+/** Stable lexical (code-unit) comparison; the same ordering as `a < b`/`a > b`. */
+function compareLexical(a: string, b: string): number {
+  if (a < b) return -1;
+  if (a > b) return 1;
+  return 0;
+}