@metaobjectsdev/migrate-ts 0.20.7 → 0.20.8

package/dist/emit/d1-cascade.d.ts

@@ -0,0 +1,38 @@
+import type { Change, SchemaSnapshot } from "../types.js";
+/**
+ * Result of the D1 FK-cascade emitter: either a validated cascade (with the
+ * affected-table set so the dispatcher can partition the remaining changes) or a
+ * refusal because the affected tables form a foreign-key cycle.
+ */
+export type D1CascadeResult = {
+    up: string;
+    downWarning: string;
+    affected: Set<string>;
+} | {
+    refuseCycle: string[];
+};
+/**
+ * Emit the D1-legal FK-cascade rebuild for a set of recreated tables and every
+ * table transitively referencing them.
+ *
+ * On remote D1 the plain SQLite recreate-and-copy recipe fails: its `PRAGMA
+ * foreign_keys = OFF` is a no-op inside D1's implicit transaction, so dropping a
+ * referenced table raises "FOREIGN KEY constraint failed". This emitter instead
+ * rebuilds the WHOLE affected set inside one implicit transaction, deferring FK
+ * enforcement to commit via `PRAGMA defer_foreign_keys = ON`:
+ *
+ *   1. `PRAGMA defer_foreign_keys = ON;`
+ *   2. CREATE `__f_<t>` for each affected `t` (FKs whose target is also affected
+ *      are rewritten to the target's temp name).
+ *   3. INSERT the carried columns from each old table into its temp.
+ *   4. DROP the old tables referrers-first (reverse topological order).
+ *   5. RENAME each temp to the real name parents-first (topological order),
+ *      recreating that table's indexes immediately after its rename.
+ *
+ * No `BEGIN/COMMIT` and no `foreign_keys = OFF/ON` bracket: D1 runs the file in
+ * one implicit transaction and the safety pass would strip the former anyway.
+ *
+ * `renderD1` only calls this when `actualSchema` is present, so it is required.
+ */
+export declare function emitD1Cascade(changes: readonly Change[], expectedSchema: SchemaSnapshot, actualSchema: SchemaSnapshot, recreatedTables: ReadonlySet<string>): D1CascadeResult;
+//# sourceMappingURL=d1-cascade.d.ts.map

package/dist/emit/d1-cascade.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"d1-cascade.d.ts","sourceRoot":"","sources":["../../src/emit/d1-cascade.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,cAAc,EAAmB,MAAM,aAAa,CAAC;AAiB3E;;;;GAIG;AACH,MAAM,MAAM,eAAe,GACvB;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;CAAE,GAC1D;IAAE,WAAW,EAAE,MAAM,EAAE,CAAA;CAAE,CAAC;AAE9B;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,wBAAgB,aAAa,CAC3B,OAAO,EAAE,SAAS,MAAM,EAAE,EAC1B,cAAc,EAAE,cAAc,EAC9B,YAAY,EAAE,cAAc,EAC5B,eAAe,EAAE,WAAW,CAAC,MAAM,CAAC,GACnC,eAAe,CA+EjB"}

package/dist/emit/d1-cascade.js

@@ -0,0 +1,98 @@
+import { renderCreateTable, renderCreateIndex, computeCarryColumns, changeTable, quote, } from "./sqlite.js";
+import { buildFkEdges, unionEdges, affectedSet, topoOrder } from "./fk-graph.js";
+/**
+ * Prefix for the transient rebuild tables the cascade recipe creates
+ * (`__f_<table>`). Distinct from SQLite's own `__new_<table>` recreate temp so
+ * the two recipes never collide.
+ */
+const TEMP_TABLE_PREFIX = "__f_";
+/**
+ * Emit the D1-legal FK-cascade rebuild for a set of recreated tables and every
+ * table transitively referencing them.
+ *
+ * On remote D1 the plain SQLite recreate-and-copy recipe fails: its `PRAGMA
+ * foreign_keys = OFF` is a no-op inside D1's implicit transaction, so dropping a
+ * referenced table raises "FOREIGN KEY constraint failed". This emitter instead
+ * rebuilds the WHOLE affected set inside one implicit transaction, deferring FK
+ * enforcement to commit via `PRAGMA defer_foreign_keys = ON`:
+ *
+ *   1. `PRAGMA defer_foreign_keys = ON;`
+ *   2. CREATE `__f_<t>` for each affected `t` (FKs whose target is also affected
+ *      are rewritten to the target's temp name).
+ *   3. INSERT the carried columns from each old table into its temp.
+ *   4. DROP the old tables referrers-first (reverse topological order).
+ *   5. RENAME each temp to the real name parents-first (topological order),
+ *      recreating that table's indexes immediately after its rename.
+ *
+ * No `BEGIN/COMMIT` and no `foreign_keys = OFF/ON` bracket: D1 runs the file in
+ * one implicit transaction and the safety pass would strip the former anyway.
+ *
+ * `renderD1` only calls this when `actualSchema` is present, so it is required.
+ */
+export function emitD1Cascade(changes, expectedSchema, actualSchema, recreatedTables) {
+    const edges = unionEdges(buildFkEdges(expectedSchema), buildFkEdges(actualSchema));
+    const affectedAll = affectedSet(recreatedTables, edges);
+    // Restrict to tables that EXIST in the actual DB. `affectedSet` walks the
+    // expected edges too, so a brand-new table (created this migration) with an FK
+    // into a rebuilt table is pulled in as a referrer — but it cannot be
+    // INSERT...SELECTed or DROPped. New tables flow through the native "rest" path,
+    // emitted after the cascade so the renamed parent already exists.
+    const actualNames = new Set(actualSchema.tables.map((t) => t.name));
+    const affected = new Set([...affectedAll].filter((t) => actualNames.has(t)));
+    const { order, cycle } = topoOrder(affected, edges);
+    if (cycle)
+        return { refuseCycle: cycle };
+    const expectedByName = new Map(expectedSchema.tables.map((t) => [t.name, t]));
+    const expectedTable = (name) => {
+        const d = expectedByName.get(name);
+        if (!d)
+            throw new Error(`expectedSchema missing table "${name}" needed for D1 FK-cascade`);
+        return d;
+    };
+    const temp = (name) => TEMP_TABLE_PREFIX + name;
+    const stmts = [];
+    // Defer FK enforcement to commit — the D1-legal alternative to the (no-op) OFF bracket.
+    stmts.push("PRAGMA defer_foreign_keys = ON;");
+    // CREATE temps. FK targets inside the affected set are rewritten to their temp
+    // name (forward-refs are fine — SQLite resolves FK targets lazily); targets
+    // outside the set keep their real name.
+    for (const t of order) {
+        const src = expectedTable(t);
+        const clone = {
+            ...src,
+            name: temp(t),
+            foreignKeys: src.foreignKeys.map((fk) => affected.has(fk.refTable) ? { ...fk, refTable: temp(fk.refTable) } : fk),
+        };
+        stmts.push(renderCreateTable(clone));
+    }
+    // INSERT carried columns. A referrer-only table has no changes → carry every
+    // expected column (computeCarryColumns([], …)).
+    for (const t of order) {
+        const tableChanges = changes.filter((c) => changeTable(c) === t);
+        const { insertCols, selectCols } = computeCarryColumns(tableChanges, expectedTable(t));
+        if (insertCols.length > 0) {
+            stmts.push(`INSERT INTO ${quote(temp(t))} (${insertCols.map(quote).join(", ")}) ` +
+                `SELECT ${selectCols.map(quote).join(", ")} FROM ${quote(t)};`);
+        }
+    }
+    // DROP referrers-first (reverse topological order).
+    for (const t of [...order].reverse()) {
+        stmts.push(`DROP TABLE ${quote(t)};`);
+    }
+    // RENAME parents-first; recreate each table's indexes immediately after rename.
+    for (const t of order) {
+        stmts.push(`ALTER TABLE ${quote(temp(t))} RENAME TO ${quote(t)};`);
+        for (const ix of expectedTable(t).indexes) {
+            stmts.push(renderCreateIndex(t, ix));
+        }
+    }
+    const up = stmts.join("\n\n");
+    // Best-effort down, mirroring renderRecreate's WARNING block.
+    const downWarning = [
+        `-- WARNING: SQLite recreate-and-copy down migration is best-effort.`,
+        `-- Reverse the column type/nullable/default changes by hand if needed.`,
+        `-- Dropped data cannot be restored.`,
+    ].join("\n");
+    return { up, downWarning, affected };
+}
+//# sourceMappingURL=d1-cascade.js.map

package/dist/emit/d1-cascade.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"d1-cascade.js","sourceRoot":"","sources":["../../src/emit/d1-cascade.ts"],"names":[],"mappings":"AACA,OAAO,EACL,iBAAiB,EACjB,iBAAiB,EACjB,mBAAmB,EACnB,WAAW,EACX,KAAK,GACN,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AAEjF;;;;GAIG;AACH,MAAM,iBAAiB,GAAG,MAAM,CAAC;AAWjC;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,UAAU,aAAa,CAC3B,OAA0B,EAC1B,cAA8B,EAC9B,YAA4B,EAC5B,eAAoC;IAEpC,MAAM,KAAK,GAAG,UAAU,CAAC,YAAY,CAAC,cAAc,CAAC,EAAE,YAAY,CAAC,YAAY,CAAC,CAAC,CAAC;IACnF,MAAM,WAAW,GAAG,WAAW,CAAC,eAAe,EAAE,KAAK,CAAC,CAAC;IAExD,0EAA0E;IAC1E,+EAA+E;IAC/E,qEAAqE;IACrE,gFAAgF;IAChF,kEAAkE;IAClE,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACpE,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAS,CAAC,GAAG,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAErF,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,SAAS,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IACpD,IAAI,KAAK;QAAE,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC;IAEzC,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,cAAc,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAU,CAAC,CAAC,CAAC;IACvF,MAAM,aAAa,GAAG,CAAC,IAAY,EAAmB,EAAE;QACtD,MAAM,CAAC,GAAG,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,CAAC,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,iCAAiC,IAAI,4BAA4B,CAAC,CAAC;QAC3F,OAAO,CAAC,CAAC;IACX,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,iBAAiB,GAAG,IAAI,CAAC;IAEhE,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,wFAAwF;IACxF,KAAK,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;IAE9C,+EAA+E;IAC/E,4EAA4E;IAC5E,wCAAwC;IACxC,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,GAAG,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;QAC7B,MAAM,KAAK,GAAoB;YAC7B,GAAG,GAAG;YACN,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;YACb,WAAW,EAAE,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CACtC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CACxE;SACF,CAAC;QACF,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC;IACvC,CAAC;IAED,6EAA6E;IAC7E,gDAAgD;IAChD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,YAAY,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QACjE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,GAAG,mBAAmB,CAAC,YAAY,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;QACvF,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,KAAK,CAAC,IAAI,CACR,eAAe,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;gBACpE,UAAU,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,KAAK,CAAC,CAAC,CAAC,GAAG,CACjE,CAAC;QACJ,CAAC;IACH,CAAC;IAED,oDAAoD;IACpD,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;QACrC,KAAK,CAAC,IAAI,CAAC,cAAc,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACxC,CAAC;IAED,gFAAgF;IAChF,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,KAAK,CAAC,IAAI,CAAC,eAAe,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,cAAc,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACnE,KAAK,MAAM,EAAE,IAAI,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;YAC1C,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QACvC,CAAC;IACH,CAAC;IAED,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAE9B,8DAA8D;IAC9D,MAAM,WAAW,GAAG;QAClB,qEAAqE;QACrE,wEAAwE;QACxE,qCAAqC;KACtC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEb,OAAO,EAAE,EAAE,EAAE,WAAW,EAAE,QAAQ,EAAE,CAAC;AACvC,CAAC"}

package/dist/emit/d1-fk-refuse.d.ts

@@ -19,4 +19,14 @@ export declare class D1ReferencedTableRebuildError extends Error {
     readonly refusals: D1RebuildRefusal[];
     constructor(refusals: D1RebuildRefusal[]);
 }
+/**
+ * Thrown when a D1 FK-cascade rebuild (#241) cannot be ordered because the
+ * affected tables form a multi-table foreign-key cycle. Unlike the acyclic case
+ * (which the cascade emitter rebuilds via `PRAGMA defer_foreign_keys = ON`), a
+ * cycle has no parents-first order, so the rebuild is refused at generation time.
+ */
+export declare class D1CyclicForeignKeyError extends Error {
+    readonly cycle: string[];
+    constructor(cycle: string[]);
+}
 //# sourceMappingURL=d1-fk-refuse.d.ts.map

package/dist/emit/d1-fk-refuse.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"d1-fk-refuse.d.ts","sourceRoot":"","sources":["../../src/emit/d1-fk-refuse.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAElD,qFAAqF;AACrF,MAAM,WAAW,gBAAgB;IAC/B,+BAA+B;IAC/B,KAAK,EAAE,MAAM,CAAC;IACd,+FAA+F;IAC/F,YAAY,EAAE,MAAM,EAAE,CAAC;CACxB;AAED;;;;;;GAMG;AACH,wBAAgB,sBAAsB,CACpC,eAAe,EAAE,WAAW,CAAC,MAAM,CAAC,EACpC,cAAc,EAAE,cAAc,GAC7B,gBAAgB,EAAE,CASpB;AAED,0FAA0F;AAC1F,qBAAa,6BAA8B,SAAQ,KAAK;aAC1B,QAAQ,EAAE,gBAAgB,EAAE;gBAA5B,QAAQ,EAAE,gBAAgB,EAAE;CAIzD"}
+{"version":3,"file":"d1-fk-refuse.d.ts","sourceRoot":"","sources":["../../src/emit/d1-fk-refuse.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAElD,qFAAqF;AACrF,MAAM,WAAW,gBAAgB;IAC/B,+BAA+B;IAC/B,KAAK,EAAE,MAAM,CAAC;IACd,+FAA+F;IAC/F,YAAY,EAAE,MAAM,EAAE,CAAC;CACxB;AAED;;;;;;GAMG;AACH,wBAAgB,sBAAsB,CACpC,eAAe,EAAE,WAAW,CAAC,MAAM,CAAC,EACpC,cAAc,EAAE,cAAc,GAC7B,gBAAgB,EAAE,CASpB;AAED,0FAA0F;AAC1F,qBAAa,6BAA8B,SAAQ,KAAK;aAC1B,QAAQ,EAAE,gBAAgB,EAAE;gBAA5B,QAAQ,EAAE,gBAAgB,EAAE;CAIzD;AAED;;;;;GAKG;AACH,qBAAa,uBAAwB,SAAQ,KAAK;aACpB,KAAK,EAAE,MAAM,EAAE;gBAAf,KAAK,EAAE,MAAM,EAAE;CAI5C"}

package/dist/emit/d1-fk-refuse.js

@@ -25,6 +25,31 @@ export class D1ReferencedTableRebuildError extends Error {
         this.name = "D1ReferencedTableRebuildError";
     }
 }
+/**
+ * Thrown when a D1 FK-cascade rebuild (#241) cannot be ordered because the
+ * affected tables form a multi-table foreign-key cycle. Unlike the acyclic case
+ * (which the cascade emitter rebuilds via `PRAGMA defer_foreign_keys = ON`), a
+ * cycle has no parents-first order, so the rebuild is refused at generation time.
+ */
+export class D1CyclicForeignKeyError extends Error {
+    cycle;
+    constructor(cycle) {
+        super(formatCycleMessage(cycle));
+        this.cycle = cycle;
+        this.name = "D1CyclicForeignKeyError";
+    }
+}
+function formatCycleMessage(cycle) {
+    const members = cycle.map((n) => `"${n}"`).join(", ");
+    return (`Cannot rebuild the following table(s) on Cloudflare D1 — their foreign keys form a ` +
+        `cycle: ${members}.\n\n` +
+        `The FK-cascade rebuild recipe recreates tables parents-first, which is impossible ` +
+        `when tables reference each other in a cycle. Even with ` +
+        "`PRAGMA defer_foreign_keys = ON`" +
+        ` the DROP/RENAME sequence cannot be ordered to keep every reference valid. To apply ` +
+        `this on D1, hand-write the migration (drop the foreign key on one side of the cycle, ` +
+        `rebuild the tables, then restore it), or break the cycle in your metadata.`);
+}
 function formatMessage(refusals) {
     const lines = refusals.map((r) => {
         const refs = r.referencedBy.map((n) => `"${n}"`).join(", ");

package/dist/emit/d1-fk-refuse.js.map

@@ -1 +1 @@
-{"version":3,"file":"d1-fk-refuse.js","sourceRoot":"","sources":["../../src/emit/d1-fk-refuse.ts"],"names":[],"mappings":"AAUA;;;;;;GAMG;AACH,MAAM,UAAU,sBAAsB,CACpC,eAAoC,EACpC,cAA8B;IAE9B,MAAM,QAAQ,GAAuB,EAAE,CAAC;IACxC,KAAK,MAAM,CAAC,IAAI,eAAe,EAAE,CAAC;QAChC,MAAM,YAAY,GAAG,cAAc,CAAC,MAAM;aACvC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC;aAChE,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC1B,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC;IACzE,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,0FAA0F;AAC1F,MAAM,OAAO,6BAA8B,SAAQ,KAAK;IAC1B;IAA5B,YAA4B,QAA4B;QACtD,KAAK,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC;QADL,aAAQ,GAAR,QAAQ,CAAoB;QAEtD,IAAI,CAAC,IAAI,GAAG,+BAA+B,CAAC;IAC9C,CAAC;CACF;AAED,SAAS,aAAa,CAAC,QAA4B;IACjD,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAC/B,MAAM,IAAI,GAAG,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5D,OAAO,QAAQ,CAAC,CAAC,KAAK,yCAAyC,IAAI,EAAE,CAAC;IACxE,CAAC,CAAC,CAAC;IACH,OAAO,CACL,mFAAmF;QACnF,iBAAiB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM;QACvC,6DAA6D;QAC7D,oFAAoF;QACpF,oFAAoF;QACpF,oFAAoF;QACpF,qFAAqF;QACrF,sFAAsF;QACtF,4DAA4D,CAC7D,CAAC;AACJ,CAAC"}
+{"version":3,"file":"d1-fk-refuse.js","sourceRoot":"","sources":["../../src/emit/d1-fk-refuse.ts"],"names":[],"mappings":"AAUA;;;;;;GAMG;AACH,MAAM,UAAU,sBAAsB,CACpC,eAAoC,EACpC,cAA8B;IAE9B,MAAM,QAAQ,GAAuB,EAAE,CAAC;IACxC,KAAK,MAAM,CAAC,IAAI,eAAe,EAAE,CAAC;QAChC,MAAM,YAAY,GAAG,cAAc,CAAC,MAAM;aACvC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC;aAChE,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC1B,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC;IACzE,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,0FAA0F;AAC1F,MAAM,OAAO,6BAA8B,SAAQ,KAAK;IAC1B;IAA5B,YAA4B,QAA4B;QACtD,KAAK,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC;QADL,aAAQ,GAAR,QAAQ,CAAoB;QAEtD,IAAI,CAAC,IAAI,GAAG,+BAA+B,CAAC;IAC9C,CAAC;CACF;AAED;;;;;GAKG;AACH,MAAM,OAAO,uBAAwB,SAAQ,KAAK;IACpB;IAA5B,YAA4B,KAAe;QACzC,KAAK,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,CAAC;QADP,UAAK,GAAL,KAAK,CAAU;QAEzC,IAAI,CAAC,IAAI,GAAG,yBAAyB,CAAC;IACxC,CAAC;CACF;AAED,SAAS,kBAAkB,CAAC,KAAe;IACzC,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,OAAO,CACL,qFAAqF;QACrF,UAAU,OAAO,OAAO;QACxB,oFAAoF;QACpF,yDAAyD;QACzD,kCAAkC;QAClC,sFAAsF;QACtF,uFAAuF;QACvF,4EAA4E,CAC7E,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,QAA4B;IACjD,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAC/B,MAAM,IAAI,GAAG,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5D,OAAO,QAAQ,CAAC,CAAC,KAAK,yCAAyC,IAAI,EAAE,CAAC;IACxE,CAAC,CAAC,CAAC;IACH,OAAO,CACL,mFAAmF;QACnF,iBAAiB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM;QACvC,6DAA6D;QAC7D,oFAAoF;QACpF,oFAAoF;QACpF,oFAAoF;QACpF,qFAAqF;QACrF,sFAAsF;QACtF,4DAA4D,CAC7D,CAAC;AACJ,CAAC"}

package/dist/emit/d1.d.ts

@@ -1,3 +1,5 @@
 import type { Change, EmitResult, SchemaSnapshot, SnapshotMeta } from "../types.js";
-export declare function renderD1(changes: readonly Change[], expectedSchema?: SchemaSnapshot, actualMeta?: SnapshotMeta): EmitResult;
+export declare function renderD1(changes: readonly Change[], expectedSchema?: SchemaSnapshot, actualMeta?: SnapshotMeta, 
+/** The actual (introspected) DB schema — enables the #241 FK-cascade rebuild. */
+actualSchema?: SchemaSnapshot): EmitResult;
 //# sourceMappingURL=d1.d.ts.map

package/dist/emit/d1.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"d1.d.ts","sourceRoot":"","sources":["../../src/emit/d1.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAKpF,wBAAgB,QAAQ,CACtB,OAAO,EAAE,SAAS,MAAM,EAAE,EAC1B,cAAc,CAAC,EAAE,cAAc,EAC/B,UAAU,CAAC,EAAE,YAAY,GACxB,UAAU,CAqBZ"}
+{"version":3,"file":"d1.d.ts","sourceRoot":"","sources":["../../src/emit/d1.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAapF,wBAAgB,QAAQ,CACtB,OAAO,EAAE,SAAS,MAAM,EAAE,EAC1B,cAAc,CAAC,EAAE,cAAc,EAC/B,UAAU,CAAC,EAAE,YAAY;AACzB,iFAAiF;AACjF,YAAY,CAAC,EAAE,cAAc,GAC5B,UAAU,CA8DZ"}

package/dist/emit/d1.js

@@ -1,22 +1,61 @@
-import { renderSqlite } from "./sqlite.js";
+import { renderSqlite, changeTable } from "./sqlite.js";
 import { applyD1SafetyPass } from "./d1-safety-pass.js";
-import { findReferencedRebuilds, D1ReferencedTableRebuildError } from "./d1-fk-refuse.js";
-export function renderD1(changes, expectedSchema, actualMeta) {
+import { findReferencedRebuilds, D1ReferencedTableRebuildError, D1CyclicForeignKeyError, } from "./d1-fk-refuse.js";
+import { buildFkEdges, unionEdges } from "./fk-graph.js";
+import { emitD1Cascade } from "./d1-cascade.js";
+const EMPTY_SCHEMA = { tables: [], views: [] };
+export function renderD1(changes, expectedSchema, actualMeta, 
+/** The actual (introspected) DB schema — enables the #241 FK-cascade rebuild. */
+actualSchema) {
     const sqliteResult = renderSqlite(changes, expectedSchema, actualMeta);
-    // #226: a rebuild (recreate-and-copy) of a table referenced by a foreign key cannot
-    // apply on remote D1 — the recipe's `PRAGMA foreign_keys = OFF` is a no-op inside
-    // D1's implicit transaction, so `DROP TABLE <referenced>` fails. Refuse at generation
-    // time rather than emit SQL that fails silently against production. renderSqlite has
-    // already guaranteed expectedSchema is present when recreatedTables is non-empty.
-    if (sqliteResult.recreatedTables.size > 0) {
-        const refusals = findReferencedRebuilds(sqliteResult.recreatedTables, expectedSchema ?? { tables: [], views: [] });
-        if (refusals.length > 0)
-            throw new D1ReferencedTableRebuildError(refusals);
+    // Trigger detection: is any recreated table the target of a foreign key in the
+    // expected OR actual schema (a self-reference counts)? Only such rebuilds are
+    // un-appliable on D1 — the recipe's `PRAGMA foreign_keys = OFF` is a no-op
+    // inside D1's implicit transaction, so `DROP TABLE <referenced>` fails (#226).
+    const edges = unionEdges(buildFkEdges(expectedSchema ?? EMPTY_SCHEMA), actualSchema ? buildFkEdges(actualSchema) : new Map());
+    const isReferenced = (t) => {
+        for (const parents of edges.values()) {
+            if (parents.has(t))
+                return true;
+        }
+        return false;
+    };
+    const referenced = [...sqliteResult.recreatedTables].filter(isReferenced);
+    // No referenced rebuild → byte-identical to the pre-#241 path.
+    if (referenced.length === 0) {
+        return {
+            up: applyD1SafetyPass(sqliteResult.up),
+            down: applyD1SafetyPass(sqliteResult.down),
+            recreatedTables: sqliteResult.recreatedTables,
+        };
+    }
+    // A referenced rebuild exists. Without the actual schema we cannot prove a
+    // cascade is safe, so refuse exactly as #226 does — never emit an unproven one.
+    if (actualSchema === undefined) {
+        throw new D1ReferencedTableRebuildError(findReferencedRebuilds(sqliteResult.recreatedTables, expectedSchema ?? EMPTY_SCHEMA));
+    }
+    // recreatedTables non-empty ⇒ renderSqlite already guaranteed expectedSchema.
+    const cascade = emitD1Cascade(changes, expectedSchema, actualSchema, sqliteResult.recreatedTables);
+    if ("refuseCycle" in cascade) {
+        throw new D1CyclicForeignKeyError(cascade.refuseCycle);
     }
+    // Splice: the affected set is rebuilt by the cascade; every other change flows
+    // through the native path, emitted AFTER the cascade so renamed parents exist
+    // before any native CREATE TABLE referencing them. `defer_foreign_keys = ON`
+    // persists across the whole implicit transaction, so FK checks defer to commit
+    // where the final state is consistent.
+    const { up: cascadeUp, downWarning, affected } = cascade;
+    const nonAffected = changes.filter((c) => {
+        const t = changeTable(c);
+        return !(t !== undefined && affected.has(t));
+    });
+    const rest = renderSqlite(nonAffected, expectedSchema, actualMeta);
+    const up = [cascadeUp, rest.up].filter((s) => s.length > 0).join("\n\n");
+    const down = [rest.down, downWarning].filter((s) => s.length > 0).join("\n\n");
     return {
-        up: applyD1SafetyPass(sqliteResult.up),
-        down: applyD1SafetyPass(sqliteResult.down),
-        recreatedTables: sqliteResult.recreatedTables,
+        up: applyD1SafetyPass(up),
+        down: applyD1SafetyPass(down),
+        recreatedTables: new Set([...affected, ...rest.recreatedTables]),
     };
 }
 //# sourceMappingURL=d1.js.map

package/dist/emit/d1.js.map

@@ -1 +1 @@
-{"version":3,"file":"d1.js","sourceRoot":"","sources":["../../src/emit/d1.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,sBAAsB,EAAE,6BAA6B,EAAE,MAAM,mBAAmB,CAAC;AAE1F,MAAM,UAAU,QAAQ,CACtB,OAA0B,EAC1B,cAA+B,EAC/B,UAAyB;IAEzB,MAAM,YAAY,GAAG,YAAY,CAAC,OAAO,EAAE,cAAc,EAAE,UAAU,CAAC,CAAC;IAEvE,oFAAoF;IACpF,kFAAkF;IAClF,sFAAsF;IACtF,qFAAqF;IACrF,kFAAkF;IAClF,IAAI,YAAY,CAAC,eAAe,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QAC1C,MAAM,QAAQ,GAAG,sBAAsB,CACrC,YAAY,CAAC,eAAe,EAC5B,cAAc,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAC5C,CAAC;QACF,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,IAAI,6BAA6B,CAAC,QAAQ,CAAC,CAAC;IAC7E,CAAC;IAED,OAAO;QACL,EAAE,EAAE,iBAAiB,CAAC,YAAY,CAAC,EAAE,CAAC;QACtC,IAAI,EAAE,iBAAiB,CAAC,YAAY,CAAC,IAAI,CAAC;QAC1C,eAAe,EAAE,YAAY,CAAC,eAAe;KAC9C,CAAC;AACJ,CAAC"}
+{"version":3,"file":"d1.js","sourceRoot":"","sources":["../../src/emit/d1.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AACxD,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EACL,sBAAsB,EACtB,6BAA6B,EAC7B,uBAAuB,GACxB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AACzD,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAEhD,MAAM,YAAY,GAAmB,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;AAE/D,MAAM,UAAU,QAAQ,CACtB,OAA0B,EAC1B,cAA+B,EAC/B,UAAyB;AACzB,iFAAiF;AACjF,YAA6B;IAE7B,MAAM,YAAY,GAAG,YAAY,CAAC,OAAO,EAAE,cAAc,EAAE,UAAU,CAAC,CAAC;IAEvE,+EAA+E;IAC/E,8EAA8E;IAC9E,2EAA2E;IAC3E,+EAA+E;IAC/E,MAAM,KAAK,GAAG,UAAU,CACtB,YAAY,CAAC,cAAc,IAAI,YAAY,CAAC,EAC5C,YAAY,CAAC,CAAC,CAAC,YAAY,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,EAAuB,CAC3E,CAAC;IACF,MAAM,YAAY,GAAG,CAAC,CAAS,EAAW,EAAE;QAC1C,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;YACrC,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,OAAO,IAAI,CAAC;QAClC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IACF,MAAM,UAAU,GAAG,CAAC,GAAG,YAAY,CAAC,eAAe,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;IAE1E,+DAA+D;IAC/D,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO;YACL,EAAE,EAAE,iBAAiB,CAAC,YAAY,CAAC,EAAE,CAAC;YACtC,IAAI,EAAE,iBAAiB,CAAC,YAAY,CAAC,IAAI,CAAC;YAC1C,eAAe,EAAE,YAAY,CAAC,eAAe;SAC9C,CAAC;IACJ,CAAC;IAED,2EAA2E;IAC3E,gFAAgF;IAChF,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;QAC/B,MAAM,IAAI,6BAA6B,CACrC,sBAAsB,CAAC,YAAY,CAAC,eAAe,EAAE,cAAc,IAAI,YAAY,CAAC,CACrF,CAAC;IACJ,CAAC;IAED,8EAA8E;IAC9E,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,EAAE,cAAe,EAAE,YAAY,EAAE,YAAY,CAAC,eAAe,CAAC,CAAC;IACpG,IAAI,aAAa,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,IAAI,uBAAuB,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IACzD,CAAC;IAED,+EAA+E;IAC/E,8EAA8E;IAC9E,6EAA6E;IAC7E,+EAA+E;IAC/E,uCAAuC;IACvC,MAAM,EAAE,EAAE,EAAE,SAAS,EAAE,WAAW,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC;IACzD,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;QACvC,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;QACzB,OAAO,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,YAAY,CAAC,WAAW,EAAE,cAAc,EAAE,UAAU,CAAC,CAAC;IAEnE,MAAM,EAAE,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACzE,MAAM,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAE/E,OAAO;QACL,EAAE,EAAE,iBAAiB,CAAC,EAAE,CAAC;QACzB,IAAI,EAAE,iBAAiB,CAAC,IAAI,CAAC;QAC7B,eAAe,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,QAAQ,EAAE,GAAG,IAAI,CAAC,eAAe,CAAC,CAAC;KACjE,CAAC;AACJ,CAAC"}

package/dist/emit/fk-graph.d.ts

@@ -0,0 +1,28 @@
+import type { SchemaSnapshot } from "../types.js";
+/**
+ * Pure, I/O-free graph core the D1 FK-cascade emitter orders rebuilds by. Edges
+ * point child→parent (a table → the table(s) its foreign keys reference),
+ * self-loops included for a self-referential table.
+ */
+/** Builds child→parent FK edges from a schema. Self-loops included. */
+export declare function buildFkEdges(schema: SchemaSnapshot): Map<string, Set<string>>;
+/** Merges two edge maps into a new one; neither input is mutated. */
+export declare function unionEdges(a: Map<string, Set<string>>, b: Map<string, Set<string>>): Map<string, Set<string>>;
+/**
+ * `recreated` plus every transitive *referrer* — walk edges backwards: any
+ * table with an edge into the current set (i.e. it references a member of the
+ * set) joins the set, repeated to a fixpoint.
+ */
+export declare function affectedSet(recreated: ReadonlySet<string>, edges: Map<string, Set<string>>): Set<string>;
+/**
+ * Kahn's algorithm over `nodes`, treating an edge `child→parent` as "parent
+ * must come before child". Self-loops (`x→x`) and edges whose target is not
+ * in `nodes` are dropped before ordering. `order` is parents-first. If nodes
+ * remain when the queue empties, the sort cannot complete — those remaining
+ * nodes (a multi-node cycle) are returned as `cycle` instead.
+ */
+export declare function topoOrder(nodes: Set<string>, edges: Map<string, Set<string>>): {
+    order: string[];
+    cycle: string[] | null;
+};
+//# sourceMappingURL=fk-graph.d.ts.map

package/dist/emit/fk-graph.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fk-graph.d.ts","sourceRoot":"","sources":["../../src/emit/fk-graph.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAElD;;;;GAIG;AAEH,uEAAuE;AACvE,wBAAgB,YAAY,CAAC,MAAM,EAAE,cAAc,GAAG,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAU7E;AAED,qEAAqE;AACrE,wBAAgB,UAAU,CACxB,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,EAC3B,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,GAC1B,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAc1B;AAED;;;;GAIG;AACH,wBAAgB,WAAW,CACzB,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,EAC9B,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,GAC9B,GAAG,CAAC,MAAM,CAAC,CAiBb;AAED;;;;;;GAMG;AACH,wBAAgB,SAAS,CACvB,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,EAClB,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,GAC9B;IAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IAAC,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI,CAAA;CAAE,CA8C7C"}

package/dist/emit/fk-graph.js

@@ -0,0 +1,117 @@
+/**
+ * Pure, I/O-free graph core the D1 FK-cascade emitter orders rebuilds by. Edges
+ * point child→parent (a table → the table(s) its foreign keys reference),
+ * self-loops included for a self-referential table.
+ */
+/** Builds child→parent FK edges from a schema. Self-loops included. */
+export function buildFkEdges(schema) {
+    const edges = new Map();
+    for (const t of schema.tables) {
+        const parents = new Set();
+        for (const fk of t.foreignKeys) {
+            parents.add(fk.refTable);
+        }
+        edges.set(t.name, parents);
+    }
+    return edges;
+}
+/** Merges two edge maps into a new one; neither input is mutated. */
+export function unionEdges(a, b) {
+    const merged = new Map();
+    for (const [node, parents] of a) {
+        merged.set(node, new Set(parents));
+    }
+    for (const [node, parents] of b) {
+        const existing = merged.get(node);
+        if (existing) {
+            for (const p of parents)
+                existing.add(p);
+        }
+        else {
+            merged.set(node, new Set(parents));
+        }
+    }
+    return merged;
+}
+/**
+ * `recreated` plus every transitive *referrer* — walk edges backwards: any
+ * table with an edge into the current set (i.e. it references a member of the
+ * set) joins the set, repeated to a fixpoint.
+ */
+export function affectedSet(recreated, edges) {
+    const affected = new Set(recreated);
+    let changed = true;
+    while (changed) {
+        changed = false;
+        for (const [node, parents] of edges) {
+            if (affected.has(node))
+                continue;
+            for (const p of parents) {
+                if (affected.has(p)) {
+                    affected.add(node);
+                    changed = true;
+                    break;
+                }
+            }
+        }
+    }
+    return affected;
+}
+/**
+ * Kahn's algorithm over `nodes`, treating an edge `child→parent` as "parent
+ * must come before child". Self-loops (`x→x`) and edges whose target is not
+ * in `nodes` are dropped before ordering. `order` is parents-first. If nodes
+ * remain when the queue empties, the sort cannot complete — those remaining
+ * nodes (a multi-node cycle) are returned as `cycle` instead.
+ */
+export function topoOrder(nodes, edges) {
+    // childOf(parent) = children within `nodes` that must be emitted after `parent`.
+    const childrenOf = new Map();
+    const inDegree = new Map();
+    for (const n of nodes) {
+        childrenOf.set(n, new Set());
+        inDegree.set(n, 0);
+    }
+    for (const n of nodes) {
+        const parents = edges.get(n) ?? new Set();
+        for (const p of parents) {
+            if (p === n)
+                continue; // drop self-loop
+            if (!nodes.has(p))
+                continue; // drop edge leaving `nodes`
+            const kids = childrenOf.get(p);
+            if (kids === undefined)
+                continue;
+            if (kids.has(n))
+                continue; // already recorded (dedupe parallel edges)
+            kids.add(n);
+            inDegree.set(n, (inDegree.get(n) ?? 0) + 1);
+        }
+    }
+    // Stable order: iterate `nodes` in insertion order for the initial queue.
+    const queue = [];
+    for (const n of nodes) {
+        if (inDegree.get(n) === 0)
+            queue.push(n);
+    }
+    const order = [];
+    let head = 0;
+    while (head < queue.length) {
+        const n = queue[head++];
+        if (n === undefined)
+            continue;
+        order.push(n);
+        for (const child of childrenOf.get(n) ?? []) {
+            const remaining = (inDegree.get(child) ?? 0) - 1;
+            inDegree.set(child, remaining);
+            if (remaining === 0)
+                queue.push(child);
+        }
+    }
+    if (order.length < nodes.size) {
+        const remaining = [...nodes].filter((n) => !order.includes(n));
+        return { order: [], cycle: remaining };
+    }
+    return { order, cycle: null };
+}
+//# sourceMappingURL=fk-graph.js.map

package/dist/emit/fk-graph.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fk-graph.js","sourceRoot":"","sources":["../../src/emit/fk-graph.ts"],"names":[],"mappings":"AAEA;;;;GAIG;AAEH,uEAAuE;AACvE,MAAM,UAAU,YAAY,CAAC,MAAsB;IACjD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC7C,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAC9B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;YAC/B,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;QAC3B,CAAC;QACD,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC7B,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,qEAAqE;AACrE,MAAM,UAAU,UAAU,CACxB,CAA2B,EAC3B,CAA2B;IAE3B,MAAM,MAAM,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC9C,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAChC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;IACrC,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAChC,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,QAAQ,EAAE,CAAC;YACb,KAAK,MAAM,CAAC,IAAI,OAAO;gBAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3C,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;QACrC,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,WAAW,CACzB,SAA8B,EAC9B,KAA+B;IAE/B,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAS,SAAS,CAAC,CAAC;IAC5C,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,OAAO,OAAO,EAAE,CAAC;QACf,OAAO,GAAG,KAAK,CAAC;QAChB,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC;YACpC,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YACjC,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;gBACxB,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;oBACpB,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;oBACnB,OAAO,GAAG,IAAI,CAAC;oBACf,MAAM;gBACR,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,SAAS,CACvB,KAAkB,EAClB,KAA+B;IAE/B,iFAAiF;IACjF,MAAM,UAAU,GAAG,IAAI,GAAG,EAAuB,CAAC;IAClD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;QAC7B,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACrB,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;QAClD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,IAAI,CAAC,KAAK,CAAC;gBAAE,SAAS,CAAC,iBAAiB;YACxC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,SAAS,CAAC,4BAA4B;YACzD,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC/B,IAAI,IAAI,KAAK,SAAS;gBAAE,SAAS;YACjC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,SAAS,CAAC,2CAA2C;YACtE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACZ,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9C,CAAC;IACH,CAAC;IAED,0EAA0E;IAC1E,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC;IAED,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,OAAO,IAAI,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;QAC3B,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QACxB,IAAI,CAAC,KAAK,SAAS;YAAE,SAAS;QAC9B,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACd,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;YAC5C,MAAM,SAAS,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;YACjD,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YAC/B,IAAI,SAAS,KAAK,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzC,CAAC;IACH,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;QAC9B,MAAM,SAAS,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/D,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;IACzC,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AAChC,CAAC"}

package/dist/emit/index.d.ts

@@ -12,6 +12,8 @@ export interface EmitOptions {
      * fall back to recreate-and-copy. Unknown/absent version → assume modern.
      */
     actualMeta?: SnapshotMeta;
+    /** Used by the d1 cascade emitter to build the actual∪expected FK graph. */
+    actualSchema?: SchemaSnapshot;
 }
 export declare function emit(changes: Change[], opts: EmitOptions): EmitResult;
 //# sourceMappingURL=index.d.ts.map

package/dist/emit/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/emit/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAS7F,MAAM,WAAW,WAAW;IAC1B,OAAO,EAAE,OAAO,CAAC;IACjB;;;;OAIG;IACH,cAAc,CAAC,EAAE,cAAc,CAAC;IAChC;;;OAGG;IACH,UAAU,CAAC,EAAE,YAAY,CAAC;CAC3B;AAED,wBAAgB,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,GAAG,UAAU,CASrE"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/emit/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAS7F,MAAM,WAAW,WAAW;IAC1B,OAAO,EAAE,OAAO,CAAC;IACjB;;;;OAIG;IACH,cAAc,CAAC,EAAE,cAAc,CAAC;IAChC;;;OAGG;IACH,UAAU,CAAC,EAAE,YAAY,CAAC;IAC1B,4EAA4E;IAC5E,YAAY,CAAC,EAAE,cAAc,CAAC;CAC/B;AAED,wBAAgB,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,GAAG,UAAU,CASrE"}

package/dist/emit/index.js

@@ -9,7 +9,7 @@ export function emit(changes, opts) {
     switch (opts.dialect) {
         case "postgres": return renderPostgres(changes);
         case "sqlite": return renderSqlite(changes, opts.expectedSchema, opts.actualMeta);
-        case "d1": return renderD1(changes, opts.expectedSchema, opts.actualMeta);
+        case "d1": return renderD1(changes, opts.expectedSchema, opts.actualMeta, opts.actualSchema);
     }
 }
 //# sourceMappingURL=index.js.map

package/dist/emit/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/emit/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAC;AACnD,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAoBnC,MAAM,UAAU,IAAI,CAAC,OAAiB,EAAE,IAAiB;IACvD,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC;IACpE,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,mBAAmB,CAAC,OAAO,CAAC,CAAC;IAE/D,QAAQ,IAAI,CAAC,OAAO,EAAE,CAAC;QACrB,KAAK,UAAU,CAAC,CAAC,OAAO,cAAc,CAAC,OAAO,CAAC,CAAC;QAChD,KAAK,QAAQ,CAAC,CAAG,OAAO,YAAY,CAAC,OAAO,EAAE,IAAI,CAAC,cAAc,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;QACpF,KAAK,IAAI,CAAC,CAAO,OAAO,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,cAAc,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;IAClF,CAAC;AACH,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/emit/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAC;AACnD,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAsBnC,MAAM,UAAU,IAAI,CAAC,OAAiB,EAAE,IAAiB;IACvD,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC;IACpE,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,mBAAmB,CAAC,OAAO,CAAC,CAAC;IAE/D,QAAQ,IAAI,CAAC,OAAO,EAAE,CAAC;QACrB,KAAK,UAAU,CAAC,CAAC,OAAO,cAAc,CAAC,OAAO,CAAC,CAAC;QAChD,KAAK,QAAQ,CAAC,CAAG,OAAO,YAAY,CAAC,OAAO,EAAE,IAAI,CAAC,cAAc,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;QACpF,KAAK,IAAI,CAAC,CAAO,OAAO,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,cAAc,EAAE,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC;IACrG,CAAC;AACH,CAAC"}

package/dist/emit/sqlite.d.ts

@@ -1,3 +1,15 @@
-import type { Change, EmitResult, SchemaSnapshot, SnapshotMeta } from "../types.js";
+import type { Change, EmitResult, IndexDescriptor, TableDescriptor, SchemaSnapshot, SnapshotMeta } from "../types.js";
+export interface CarryColumns {
+    insertCols: string[];
+    selectCols: string[];
+}
 export declare function renderSqlite(changes: readonly Change[], expectedSchema?: SchemaSnapshot, actualMeta?: SnapshotMeta): EmitResult;
+/** The table a change targets, or undefined for view-scoped changes. Exported for the D1 FK-cascade emitter (read-only). */
+export declare function changeTable(c: Change): string | undefined;
+/** newTable columns not newly-added, mapped to their old-name SELECT source (for renames). */
+export declare function computeCarryColumns(tableChanges: Change[], newTable: TableDescriptor): CarryColumns;
+export declare function renderCreateTable(t: TableDescriptor): string;
+export declare function renderCreateIndex(table: string, ix: IndexDescriptor): string;
+/** SQLite identifier quoter (`"id"`). Exported for the D1 FK-cascade emitter (read-only). */
+export declare function quote(ident: string): string;
 //# sourceMappingURL=sqlite.d.ts.map

package/dist/emit/sqlite.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"sqlite.d.ts","sourceRoot":"","sources":["../../src/emit/sqlite.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,MAAM,EAAE,UAAU,EACD,cAAc,EAAE,YAAY,EAC9C,MAAM,aAAa,CAAC;AAgCrB,wBAAgB,YAAY,CAC1B,OAAO,EAAE,SAAS,MAAM,EAAE,EAC1B,cAAc,CAAC,EAAE,cAAc,EAC/B,UAAU,CAAC,EAAE,YAAY,GACxB,UAAU,CAmEZ"}
+{"version":3,"file":"sqlite.d.ts","sourceRoot":"","sources":["../../src/emit/sqlite.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,MAAM,EAAE,UAAU,EAAoB,eAAe,EACrD,eAAe,EAAE,cAAc,EAAE,YAAY,EAC9C,MAAM,aAAa,CAAC;AAGrB,MAAM,WAAW,YAAY;IAAG,UAAU,EAAE,MAAM,EAAE,CAAC;IAAC,UAAU,EAAE,MAAM,EAAE,CAAC;CAAE;AA+B7E,wBAAgB,YAAY,CAC1B,OAAO,EAAE,SAAS,MAAM,EAAE,EAC1B,cAAc,CAAC,EAAE,cAAc,EAC/B,UAAU,CAAC,EAAE,YAAY,GACxB,UAAU,CAmEZ;AAED,4HAA4H;AAC5H,wBAAgB,WAAW,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAqBzD;AAED,8FAA8F;AAC9F,wBAAgB,mBAAmB,CAAC,YAAY,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE,eAAe,GAAG,YAAY,CASnG;AA4GD,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,eAAe,GAAG,MAAM,CAyB5D;AAqFD,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,eAAe,GAAG,MAAM,CAoB5E;AAED,6FAA6F;AAC7F,wBAAgB,KAAK,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAG3C"}

package/dist/emit/sqlite.js

@@ -92,7 +92,8 @@ export function renderSqlite(changes, expectedSchema, actualMeta) {
         recreatedTables: recreateTables,
     };
 }
-function changeTable(c) {
+/** The table a change targets, or undefined for view-scoped changes. Exported for the D1 FK-cascade emitter (read-only). */
+export function changeTable(c) {
     switch (c.kind) {
         case "create-table": return c.table.name;
         case "drop-table": return c.table;
@@ -114,27 +115,24 @@ function changeTable(c) {
             return undefined;
     }
 }
-function renderRecreate(table, tableChanges, newTable) {
-    // Build the column-name remapping: old_name → new_name (for renames).
+/** newTable columns not newly-added, mapped to their old-name SELECT source (for renames). */
+export function computeCarryColumns(tableChanges, newTable) {
     const renames = new Map();
-    for (const c of tableChanges) {
+    for (const c of tableChanges)
         if (c.kind === "rename-column")
             renames.set(c.from, c.to);
-    }
-    // Columns added in this migration don't exist in old table — exclude from SELECT.
     const addedNames = new Set();
-    for (const c of tableChanges) {
+    for (const c of tableChanges)
         if (c.kind === "add-column")
             addedNames.add(c.column.name);
-    }
-    // Reverse map: new_name → old_name (for SELECT source column lookup).
     const renamesReverse = new Map();
     for (const [from, to] of renames)
         renamesReverse.set(to, from);
-    // carryColumns = newTable columns NOT being newly added (they exist in the old table).
-    const carryColumns = newTable.columns.filter((c) => !addedNames.has(c.name));
-    const insertCols = carryColumns.map((c) => c.name);
-    const selectCols = carryColumns.map((c) => renamesReverse.get(c.name) ?? c.name);
+    const carry = newTable.columns.filter((c) => !addedNames.has(c.name));
+    return { insertCols: carry.map((c) => c.name), selectCols: carry.map((c) => renamesReverse.get(c.name) ?? c.name) };
+}
+function renderRecreate(table, tableChanges, newTable) {
+    const { insertCols, selectCols } = computeCarryColumns(tableChanges, newTable);
     // Build the new-table CREATE using temp name.
     const tmp = `__new_${table}`;
     const tmpDescriptor = { ...newTable, name: tmp };
@@ -226,7 +224,7 @@ function renderDownNative(c) {
         case "replace-view": return `-- WARNING: down migration cannot restore the original view definition`;
     }
 }
-function renderCreateTable(t) {
+export function renderCreateTable(t) {
     const compositePk = t.primaryKey.length > 1;
     const colDefs = t.columns.map((c) => {
         const isSinglePk = !compositePk && t.primaryKey[0] === c.name;
@@ -341,7 +339,7 @@ function renderDefault(d, t) {
             return quoted;
     }
 }
-function renderCreateIndex(table, ix) {
+export function renderCreateIndex(table, ix) {
     const u = ix.unique ? "UNIQUE " : "";
     // SQLite natively supports expression indexes, per-column DESC, and partial
     // (WHERE) indexes — render all three. Dropping them is not an option:
@@ -362,7 +360,8 @@ function renderCreateIndex(table, ix) {
     const where = ix.where ? ` WHERE (${ix.where})` : "";
     return `CREATE ${u}INDEX ${quote(ix.name)} ON ${quote(table)} (${keys})${where};`;
 }
-function quote(ident) {
+/** SQLite identifier quoter (`"id"`). Exported for the D1 FK-cascade emitter (read-only). */
+export function quote(ident) {
     if (ident.includes('"'))
         throw new Error(`unsafe identifier: ${ident}`);
     return `"${ident}"`;