@atscript/db 0.1.161 → 0.1.162

package/dist/sync.cjs

@@ -1,7 +1,7 @@
 Object.defineProperty(exports, Symbol.toStringTag, { value: "Module" });
-const require_db_error = require("./db-error-JcfJqqpk.cjs");
-const require_column_diff = require("./column-diff-DpeUbhEI.cjs");
-const require_validator = require("./validator-B4YDLUkj.cjs");
+const require_db_error = require("./db-error-DmF1_xrz.cjs");
+const require_column_diff = require("./column-diff-CZsMGQ_w.cjs");
+const require_validator = require("./validator-DK9Ijpo7.cjs");
 //#region src/schema/json-column-copy.ts
 const NONE = {
 	copies: [],
@@ -506,6 +506,24 @@ async function readStoredSnapshot(space, tableName, _asView) {
 }
 //#endregion
 //#region src/schema/sync-entry.ts
+/** How each index change prints: its mark, color and past-tense word. */
+const INDEX_CHANGE_STYLE = {
+	add: {
+		mark: "+",
+		color: "green",
+		done: "added"
+	},
+	drop: {
+		mark: "-",
+		color: "red",
+		done: "dropped"
+	},
+	rebuild: {
+		mark: "~",
+		color: "yellow",
+		done: "rebuilt"
+	}
+};
 const noColor = {
 	green: (s) => s,
 	red: (s) => s,
@@ -560,6 +578,10 @@ var SyncEntry = class SyncEntry {
 	refused;
 	/** @since 0.1.141 — see {@link TSyncEntryInit.cascadeFrom}. */
 	cascadeFrom;
+	/** @since 0.1.162 — see {@link TSyncEntryInit.definitionChanged}. */
+	definitionChanged;
+	/** @since 0.1.162 — see {@link TSyncEntryInit.indexChanges}. */
+	indexChanges;
 	constructor(init) {
 		this.name = init.name;
 		this.viewType = init.viewType;
@@ -590,6 +612,8 @@ var SyncEntry = class SyncEntry {
 		this.dropGroup = init.dropGroup;
 		this.refused = init.refused ?? false;
 		this.cascadeFrom = init.cascadeFrom ?? [];
+		this.definitionChanged = init.definitionChanged ?? false;
+		this.indexChanges = init.indexChanges ?? [];
 	}
 	/**
 	* The init object this entry was built from — lets callers derive a
@@ -660,11 +684,13 @@ var SyncEntry = class SyncEntry {
 		return mode === "plan" ? [`      ${c.red(`! ${cols} — rebuild (${pk.populated ? "rows satisfy the new key" : "table is empty"})`)}`] : [`      ${c.yellow(`~ ${cols} — rebuilt`)}`];
 	}
 	/**
-	* `! col: t1 → t2 — drop` (plan), or `! type col (t1 → t2) — skipped (safe
-	* mode)` in plan and result when the `'drop'` recreate was skipped.
+	* `! col: t1 → t2 — drop` (plan), `~ col: t1 → t2 — type changed` (result),
+	* or `! type col (t1 → t2) — skipped (safe mode)` in plan and result when
+	* the `'drop'` recreate was skipped.
 	*/
-	printTypeChanges(c) {
+	printTypeChanges(c, mode) {
 		if (this.skipped.includes("recreate")) return this.typeChanges.map((tc) => `      ${c.yellow(`! type ${tc.column} (${tc.fromType} → ${tc.toType}) — skipped (safe mode)`)}`);
+		if (mode === "result") return this.typeChanges.map((tc) => `      ${c.yellow(`~ ${tc.column}: ${tc.fromType} → ${tc.toType} — type changed`)}`);
 		return this.typeChanges.map((tc) => {
 			const action = this.syncMethod ? ` — ${this.syncMethod}` : " — requires migration";
 			return `      ${c.red(`! ${tc.column}: ${tc.fromType} → ${tc.toType}${action}`)}`;
@@ -708,6 +734,26 @@ var SyncEntry = class SyncEntry {
 			return `      ${tag} ${c.cyan(`option ${oc.key}`)}: ${oc.oldValue} → ${oc.newValue}${action}`;
 		});
 	}
+	/** `+ FK(a) → t — add` / `- … — remove` / `~ … — details` (plan); `added` / `removed` (result). */
+	printForeignKeys(c, mode) {
+		const [add, remove] = mode === "plan" ? ["add", "remove"] : ["added", "removed"];
+		return [
+			...this.fkAdded.map((fk) => `      ${c.green(`+ FK(${fk.fields.join(",")}) → ${fk.targetTable} — ${add}`)}`),
+			...this.fkRemoved.map((fk) => `      ${c.red(`- FK(${fk.fields.join(",")})${fk.targetTable ? ` → ${fk.targetTable}` : ""} — ${remove}`)}`),
+			...this.fkChanged.map((fk) => `      ${c.yellow(`~ FK(${fk.fields.join(",")}) → ${fk.targetTable} — ${fk.details}`)}`)
+		];
+	}
+	/** `+ index name — add` / `- … — drop` / `~ … — rebuild` (plan); `added` / `dropped` / `rebuilt` (result). */
+	printIndexChanges(c, mode) {
+		return this.indexChanges.map((ic) => {
+			const { mark, color, done } = INDEX_CHANGE_STYLE[ic.action];
+			return `      ${c[color](`${mark} index ${ic.name} — ${mode === "plan" ? ic.action : done}`)}`;
+		});
+	}
+	/** `· definition changed` — why a managed view is recreated. */
+	printDefinitionChanged(c) {
+		return this.definitionChanged ? [`      ${c.dim("· definition changed")}`] : [];
+	}
 	/** `· after: a, b` (plan only — the executor already runs in this order). */
 	printDependsOn(c) {
 		if (this.dependsOn.length === 0) return [];
@@ -746,15 +792,15 @@ var SyncEntry = class SyncEntry {
 				...this.columnsToAdd.map((col) => `      ${c.green(`+ ${col.physicalName} (${col.designType})${col.derived ? " derived" : ""} — add`)}`),
 				...this.columnsToRename.map((r) => `      ${c.yellow(`~ ${r.from} → ${r.to} — rename`)}`),
 				...this.printJsonMigration(c, "plan"),
-				...this.printTypeChanges(c),
+				...this.printTypeChanges(c, "plan"),
 				...this.printNullableDefaults(c),
 				...this.printDerivedChanges(c, "plan"),
 				...this.printPkChange(c, "plan"),
 				...this.columnsToDrop.map((col) => `      ${c.red(`- ${col} — drop`)}`),
 				...this.printOptionChanges(c, "plan"),
-				...this.fkAdded.map((fk) => `      ${c.green(`+ FK(${fk.fields.join(",")}) → ${fk.targetTable} — add`)}`),
-				...this.fkRemoved.map((fk) => `      ${c.red(`- FK(${fk.fields.join(",")}) → ${fk.targetTable} — remove`)}`),
-				...this.fkChanged.map((fk) => `      ${c.yellow(`~ FK(${fk.fields.join(",")}) → ${fk.targetTable} — ${fk.details}`)}`),
+				...this.printForeignKeys(c, "plan"),
+				...this.printIndexChanges(c, "plan"),
+				...this.printDefinitionChanged(c),
 				...this.printCascade(c),
 				...this.printDependsOn(c),
 				""
@@ -774,7 +820,7 @@ var SyncEntry = class SyncEntry {
 			...this.columnsAdded.map((col) => `      ${c.green(`+ ${col} — added`)}`),
 			""
 		];
-		if (this.columnsAdded.length > 0 || this.columnsRenamed.length > 0 || this.columnsDropped.length > 0 || this.optionChanges.length > 0 || this.pkChange !== void 0 || this.derivedChanges.length > 0 || this.jsonCopies.length > 0 || this.jsonified.length > 0 || this.skipped.length > 0 || this.recreated || this.renamedFrom) {
+		if (this.columnsAdded.length > 0 || this.columnsRenamed.length > 0 || this.columnsDropped.length > 0 || this.optionChanges.length > 0 || this.pkChange !== void 0 || this.derivedChanges.length > 0 || this.jsonCopies.length > 0 || this.jsonified.length > 0 || this.typeChanges.length > 0 || this.nullableChanges.length > 0 || this.defaultChanges.length > 0 || this.fkAdded.length > 0 || this.fkRemoved.length > 0 || this.fkChanged.length > 0 || this.indexChanges.length > 0 || this.skipped.length > 0 || this.recreated || this.renamedFrom || this.status === "alter") {
 			const rlabel = this.recreated ? "recreated" : "altered";
 			const renameInfo = this.renamedFrom ? ` ${c.yellow(`(renamed from ${this.renamedFrom})`)}` : "";
 			return [
@@ -783,11 +829,14 @@ var SyncEntry = class SyncEntry {
 				...this.columnsRenamed.map((col) => `      ${c.yellow(`~ ${col} — renamed`)}`),
 				...this.printJsonMigration(c, "result"),
 				...this.printPkChange(c, "result"),
-				...this.printTypeChanges(c),
+				...this.printTypeChanges(c, "result"),
 				...this.printNullableDefaults(c),
 				...this.printDerivedChanges(c, "result"),
 				...this.columnsDropped.map((col) => `      ${c.red(`- ${col} — dropped`)}`),
 				...this.printOptionChanges(c, "result"),
+				...this.printForeignKeys(c, "result"),
+				...this.printIndexChanges(c, "result"),
+				...this.printDefinitionChanged(c),
 				...this.printCascade(c),
 				""
 			];
@@ -921,10 +970,7 @@ async function executeSyncTable(facts, safe, deps, exec) {
 				await adapter.ensureTable(ensureOpts);
 				init.status = "create";
 			} else if (existing.length > 0) {
-				let diff = facts.diff ?? require_column_diff.computeColumnDiff(readable.columnDescriptors, existing, adapter.typeMapper?.bind(adapter), {
-					snapshot: storedSnapshot,
-					nativeDefaultFns: adapter.nativeDefaultFns()
-				});
+				let diff = facts.diff ?? require_column_diff.computeColumnDiff(readable.columnDescriptors, existing, adapter.typeMapper?.bind(adapter), columnDiffOptions(adapter, storedSnapshot));
 				const migration = facts.jsonMigration ?? planJsonColumnMigration(readable, diff, storedSnapshot);
 				if (migration.errors.length > 0) throw new Error(migration.errors.join(" "));
 				if (migration.copies.length > 0 || migration.jsonify.length > 0) {
@@ -961,10 +1007,7 @@ async function executeSyncTable(facts, safe, deps, exec) {
 			const existed = adapter.tableExists ? await adapter.tableExists() : false;
 			await adapter.ensureTable(ensureOpts);
 			if (!existed) init.status = "create";
-		} else await applyColumnDiff(adapter, readable, facts.diff ?? require_column_diff.computeColumnDiff(readable.columnDescriptors, require_column_diff.snapshotToExistingColumns(storedSnapshot, readable), deps.resolveTypeMapper(adapter), {
-			snapshot: storedSnapshot,
-			nativeDefaultFns: adapter.nativeDefaultFns()
-		}), init, safe, deps.logger, ensureOpts);
+		} else await applyColumnDiff(adapter, readable, facts.diff ?? require_column_diff.computeColumnDiff(readable.columnDescriptors, require_column_diff.snapshotToExistingColumns(storedSnapshot, readable), deps.resolveTypeMapper(adapter), columnDiffOptions(adapter, storedSnapshot)), init, safe, deps.logger, ensureOpts);
 		else {
 			const existed = adapter.tableExists ? await adapter.tableExists() : true;
 			if (!init.recreated) {
@@ -972,6 +1015,10 @@ async function executeSyncTable(facts, safe, deps, exec) {
 				if (!existed) init.status = "create";
 			}
 		}
+		if (hasFkChanges && fkDiff && init.status !== "create" && init.status !== "error") {
+			Object.assign(init, describeForeignKeyChanges(fkDiff));
+			init.status = "alter";
+		}
 		phase = "Table option sync";
 		const optionDiff = facts.optionDiff;
 		if (init.status !== "create" && !init.recreated && init.status !== "error" && optionDiff && optionDiff.changed.length > 0) {
@@ -1006,8 +1053,15 @@ async function executeSyncTable(facts, safe, deps, exec) {
 		if (init.pkChange && facts.populated === true) init.pkChange.populated = true;
 		if (init.status === "error") return new SyncEntry(init);
 		phase = "Index/FK sync";
-		await adapter.syncIndexes(keptIndexes(init));
-		if (adapter.syncForeignKeys && !exec.deferForeignKeysTo) await adapter.syncForeignKeys();
+		const indexChanges = await adapter.syncIndexes(keptIndexes(init));
+		if (Array.isArray(indexChanges) && indexChanges.length > 0 && init.status !== "create" && !init.recreated) {
+			init.indexChanges = indexChanges;
+			init.status = "alter";
+		}
+		if (adapter.syncForeignKeys && !exec.deferForeignKeysTo) {
+			const fkChanges = await adapter.syncForeignKeys();
+			if (init.status !== "create" && !init.recreated && mergeLiveForeignKeyChanges(init, fkChanges)) init.status = "alter";
+		}
 		if (adapter.afterSyncTable) await adapter.afterSyncTable();
 	} catch (error) {
 		const dropped = droppedFks.length > 0 ? ` Dropped foreign keys before the failure: ${droppedFks.join(", ")} — the ones still in the model are re-added by the next run's syncForeignKeys.` : "";
@@ -1036,8 +1090,13 @@ async function executeDeferredForeignKeys(readable, entry, deps) {
 	const adapter = readable.dbAdapter;
 	if (!adapter.syncForeignKeys || entry.status === "error") return entry;
 	try {
-		await adapter.syncForeignKeys();
-		return entry;
+		const fkChanges = await adapter.syncForeignKeys();
+		if (entry.status === "create" || entry.recreated) return entry;
+		const init = entry.toInit();
+		return mergeLiveForeignKeyChanges(init, fkChanges) ? new SyncEntry({
+			...init,
+			status: "alter"
+		}) : entry;
 	} catch (error) {
 		const msg = `FK sync failed on ${readable.tableName}: ${error.message}`;
 		deps.logger.error?.(`[schema-sync] ${msg}`);
@@ -1083,6 +1142,14 @@ function describeDerivedChanges(diff) {
 		derived: dc.field.derived !== void 0
 	}));
 }
+/** The {@link computeColumnDiff} options for a table of `adapter`. */
+function columnDiffOptions(adapter, snapshot) {
+	return {
+		snapshot,
+		nativeDefaultFns: adapter.nativeDefaultFns(),
+		reportedDefault: adapter.reportedDefault?.bind(adapter)
+	};
+}
 /** The plan-shaped summary of a diff's type changes (`entry.typeChanges`). */
 function describeTypeChanges(diff) {
 	return diff.typeChanged.map((tc) => ({
@@ -1121,6 +1188,28 @@ function markSkipped(init, kind) {
 	init.skipped = [...init.skipped ?? [], kind];
 }
 /**
+* Whether the run (without safe mode) recreates this existing table — an FK
+* change on an adapter without `syncForeignKeys`, a `'drop'` / `'recreate'`
+* type change, nullable / default DDL through `recreateTable`, or a key
+* rebuild without `rebuildPrimaryKey`. The plan predicts no index work for
+* such a table: the recreate rebuilds every index.
+*/
+function runRecreatesTable(facts, safe = false) {
+	const { readable, fkDiff } = facts;
+	const adapter = readable.dbAdapter;
+	if (!adapter.recreateTable) return false;
+	if (fkDiff && require_column_diff.hasForeignKeyChanges(fkDiff) && !adapter.syncForeignKeys) return true;
+	const diff = facts.diff;
+	if (!diff) return false;
+	if (diff.typeChanged.length > 0) {
+		const strategy = typeChangeStrategy(readable, diff);
+		if (strategy === "recreate" || strategy === "drop" && !safe) return true;
+	}
+	if (safe) return false;
+	if ((diff.nullableChanged.length > 0 || diff.defaultChanged.length > 0) && !adapter.supportsColumnModify && !!adapter.getExistingColumns) return true;
+	return !!diff.primaryKeyChanged && !adapter.rebuildPrimaryKey;
+}
+/**
 * Whether nullable/default changes need DDL on this adapter: in-place modify,
 * or a recreate on a live-introspected one (SQLite). Snapshot-based adapters
 * (MongoDB) have no column constraint to change — they only update the
@@ -1130,6 +1219,20 @@ function needsDdlForNullableDefaults(adapter) {
 	return !!adapter.supportsColumnModify && !!adapter.syncColumns || !!adapter.recreateTable && !!adapter.getExistingColumns;
 }
 /**
+* The `syncIndexes` options the run will pass for this table — what the plan
+* passes `planIndexes`, so both report the same index work.
+*/
+function plannedIndexOptions(facts, safe) {
+	if (!safe) return;
+	const diff = afterJsonCopy(facts);
+	return keptIndexes({
+		name: facts.name,
+		status: "alter",
+		skipped: safeModeSkips(facts),
+		typeChanges: diff ? describeTypeChanges(diff) : []
+	});
+}
+/**
 * The indexes `syncIndexes` keeps as they are because safe mode skipped
 * the change they depend on — a skipped key rebuild, the columns of a
 * skipped type-change recreate (see `TSyncIndexesOptions`).
@@ -1178,6 +1281,68 @@ function describeJsonMigration(migration) {
 		jsonified: migration.jsonify.length > 0 ? migration.jsonify : void 0
 	};
 }
+/** Builds a human-readable description of what changed in an FK constraint. */
+function buildFkChangeDetails(desired, existing) {
+	const parts = [];
+	if (existing.targetTable !== desired.targetTable) parts.push(`retarget ${existing.targetTable} → ${desired.targetTable}`);
+	if ([...existing.targetFields].toSorted().join(",") !== [...desired.targetFields].toSorted().join(",")) parts.push(`fields ${existing.targetFields.join(",")} → ${desired.targetFields.join(",")}`);
+	if ((existing.onDelete ?? void 0) !== (desired.onDelete ?? void 0)) parts.push(`onDelete ${existing.onDelete ?? "noAction"} → ${desired.onDelete ?? "noAction"}`);
+	if ((existing.onUpdate ?? void 0) !== (desired.onUpdate ?? void 0)) parts.push(`onUpdate ${existing.onUpdate ?? "noAction"} → ${desired.onUpdate ?? "noAction"}`);
+	return parts.join(", ");
+}
+/**
+* The plan-shaped summaries of a foreign-key diff (`entry.fkAdded` /
+* `fkRemoved` / `fkChanged`) — on plan entries and on the run entries that
+* applied them.
+*/
+function describeForeignKeyChanges(fkDiff) {
+	return {
+		fkAdded: fkDiff.added.map((fk) => ({
+			fields: require_column_diff.fkColumns(fk).fields,
+			targetTable: fk.targetTable
+		})),
+		fkRemoved: fkDiff.removed.map((fk) => ({
+			fields: fk.fields,
+			targetTable: fk.targetTable
+		})),
+		fkChanged: fkDiff.changed.map((fk) => ({
+			fields: require_column_diff.fkColumns(fk.desired).fields,
+			targetTable: fk.desired.targetTable,
+			details: buildFkChangeDetails({
+				...fk.desired,
+				targetFields: require_column_diff.fkColumns(fk.desired).targetFields
+			}, fk.existing)
+		}))
+	};
+}
+/**
+* Folds the live FK changes `syncForeignKeys` / `planForeignKeys` report
+* into the entry: those the snapshot-based FK diff did not already name
+* (a constraint dropped or added by hand) join `fkAdded` / `fkRemoved`.
+* `true` when any was added.
+*/
+function mergeLiveForeignKeyChanges(init, changes) {
+	if (!changes || changes.length === 0) return false;
+	const known = new Set([
+		...init.fkAdded ?? [],
+		...init.fkRemoved ?? [],
+		...init.fkChanged ?? []
+	].map((fk) => require_column_diff.fkKey(fk.fields)));
+	let merged = false;
+	for (const change of changes) {
+		const key = require_column_diff.fkKey(change.fields);
+		if (known.has(key)) continue;
+		known.add(key);
+		const fk = {
+			fields: change.fields,
+			targetTable: change.targetTable ?? ""
+		};
+		if (change.action === "add") init.fkAdded = [...init.fkAdded ?? [], fk];
+		else init.fkRemoved = [...init.fkRemoved ?? [], fk];
+		merged = true;
+	}
+	return merged;
+}
 /** The plan-shaped nullable / default change summaries of a diff. */
 function describeNullableDefaults(diff) {
 	return {
@@ -1242,11 +1407,12 @@ async function applyColumnDiff(adapter, readable, diff, init, safe, logger, ensu
 	let needsSyncColumns = false;
 	if (diff.typeChanged.length > 0 && init.status !== "error") {
 		const strategy = typeChangeStrategy(readable, diff);
+		const typeChanges = describeTypeChanges(diff);
+		if (strategy !== "none") init.typeChanges = typeChanges;
 		if (strategy === "drop") if (safe) {
-			init.typeChanges = describeTypeChanges(diff);
 			markSkipped(init, "recreate");
 			init.status = "alter";
-			const cols = init.typeChanges.map((tc) => `${tc.column}: ${tc.fromType} → ${tc.toType}`).join(", ");
+			const cols = typeChanges.map((tc) => `${tc.column}: ${tc.fromType} → ${tc.toType}`).join(", ");
 			logger.warn?.(`[schema-sync] Type change on "${name}" (${cols}) — drop-and-recreate skipped (safe mode)`);
 		} else await dropAndRecreate(adapter, init, name, ensureOpts);
 		else if (strategy === "recreate") await recreateKeepingRenames(adapter, diff, init);
@@ -1261,12 +1427,15 @@ async function applyColumnDiff(adapter, readable, diff, init, safe, logger, ensu
 		}
 	}
 	if (diff.nullableChanged.length > 0 || diff.defaultChanged.length > 0) {
-		if (!safe && !init.recreated && init.status !== "error") if (adapter.supportsColumnModify && adapter.syncColumns) {
-			needsSyncColumns = true;
-			init.status = "alter";
-		} else if (needsDdlForNullableDefaults(adapter)) await recreateKeepingRenames(adapter, diff, init);
-		else init.status = "alter";
-		else if (init.status !== "error") {
+		if (!safe && !init.recreated && init.status !== "error") {
+			if (adapter.supportsColumnModify && adapter.syncColumns) {
+				needsSyncColumns = true;
+				init.status = "alter";
+			} else if (needsDdlForNullableDefaults(adapter)) await recreateKeepingRenames(adapter, diff, init);
+			else init.status = "alter";
+			Object.assign(init, describeNullableDefaults(diff));
+		} else if (init.status !== "error") {
+			if (!safe || !needsDdlForNullableDefaults(adapter) || init.recreated) Object.assign(init, describeNullableDefaults(diff));
 			if (safe && !init.recreated && needsDdlForNullableDefaults(adapter)) {
 				Object.assign(init, describeNullableDefaults(diff));
 				markSkipped(init, "nullable-defaults");
@@ -1361,15 +1530,6 @@ async function applyColumnDiff(adapter, readable, diff, init, safe, logger, ensu
 function retain(group, ctx) {
 	ctx.retained.push(...group.map((name) => ctx.d.removedByName.get(name)));
 }
-/** Builds a human-readable description of what changed in an FK constraint. */
-function buildFkChangeDetails(desired, existing) {
-	const parts = [];
-	if (existing.targetTable !== desired.targetTable) parts.push(`retarget ${existing.targetTable} → ${desired.targetTable}`);
-	if ([...existing.targetFields].toSorted().join(",") !== [...desired.targetFields].toSorted().join(",")) parts.push(`fields ${existing.targetFields.join(",")} → ${desired.targetFields.join(",")}`);
-	if ((existing.onDelete ?? void 0) !== (desired.onDelete ?? void 0)) parts.push(`onDelete ${existing.onDelete ?? "noAction"} → ${desired.onDelete ?? "noAction"}`);
-	if ((existing.onUpdate ?? void 0) !== (desired.onUpdate ?? void 0)) parts.push(`onUpdate ${existing.onUpdate ?? "noAction"} → ${desired.onUpdate ?? "noAction"}`);
-	return parts.join(", ");
-}
 function sortedUnique(names) {
 	return [...new Set(names)].toSorted();
 }
@@ -1641,6 +1801,7 @@ var SchemaSync = class {
 			this.assertLockHeld(heartbeat.getAbortReason);
 			const refusals = this.preflight(d, safe);
 			if (refusals.size > 0) {
+				await this.planLiveWork(d, safe);
 				const result = {
 					status: "refused",
 					schemaHash: hash,
@@ -1705,6 +1866,7 @@ var SchemaSync = class {
 				renamedFrom: plan.isRenamed ? view.renamedFrom : void 0,
 				recreated: viewRecreated(plan) || void 0,
 				cascadeFrom: plan.upstreamRecreated,
+				definitionChanged: plan.definitionChanged || void 0,
 				dependsOn: viewSources.get(view.tableName).filter((n) => tableNames.has(n) || viewNames.has(n) || externalViewNames.has(n))
 			}));
 		}
@@ -1842,10 +2004,7 @@ var SchemaSync = class {
 				init.columnsToAdd = [...readable.columnDescriptors];
 			} else if (facts.existing && facts.existing.length > 0) {
 				const typeMapper = adapter.typeMapper?.bind(adapter);
-				facts.diff = require_column_diff.computeColumnDiff(readable.columnDescriptors, facts.existing, typeMapper, {
-					snapshot: storedSnapshot,
-					nativeDefaultFns: adapter.nativeDefaultFns()
-				});
+				facts.diff = require_column_diff.computeColumnDiff(readable.columnDescriptors, facts.existing, typeMapper, columnDiffOptions(adapter, storedSnapshot));
 				this.populatePlanFromDiff(facts.diff, init, readable, safe);
 				const migration = planJsonColumnMigration(readable, facts.diff, storedSnapshot);
 				facts.jsonMigration = migration;
@@ -1864,10 +2023,7 @@ var SchemaSync = class {
 			}
 		} else {
 			const existing = require_column_diff.snapshotToExistingColumns(storedSnapshot, readable);
-			facts.diff = require_column_diff.computeColumnDiff(readable.columnDescriptors, existing, this.resolveTypeMapper(adapter), {
-				snapshot: storedSnapshot,
-				nativeDefaultFns: adapter.nativeDefaultFns()
-			});
+			facts.diff = require_column_diff.computeColumnDiff(readable.columnDescriptors, existing, this.resolveTypeMapper(adapter), columnDiffOptions(adapter, storedSnapshot));
 			this.populatePlanFromDiff(facts.diff, init, readable, safe);
 		}
 		else if (adapter.tableExists) {
@@ -1885,22 +2041,7 @@ var SchemaSync = class {
 		if (init.status !== "create" && init.status !== "error" && facts.fkDiff && require_column_diff.hasForeignKeyChanges(facts.fkDiff)) {
 			const fkDiff = facts.fkDiff;
 			init.status = "alter";
-			init.fkAdded = fkDiff.added.map((fk) => ({
-				fields: require_column_diff.fkColumns(fk).fields,
-				targetTable: fk.targetTable
-			}));
-			init.fkRemoved = fkDiff.removed.map((fk) => ({
-				fields: fk.fields,
-				targetTable: fk.targetTable
-			}));
-			init.fkChanged = fkDiff.changed.map((fk) => ({
-				fields: require_column_diff.fkColumns(fk.desired).fields,
-				targetTable: fk.desired.targetTable,
-				details: buildFkChangeDetails({
-					...fk.desired,
-					targetFields: require_column_diff.fkColumns(fk.desired).targetFields
-				}, fk.existing)
-			}));
+			Object.assign(init, describeForeignKeyChanges(fkDiff));
 		}
 		if (facts.diff?.primaryKeyChanged) {
 			const tableName = pendingRename ? dbName : void 0;
@@ -1918,6 +2059,26 @@ var SchemaSync = class {
 		return facts;
 	}
 	/**
+	* Folds the index / foreign-key work on each live table as it is now
+	* (`planIndexes` / `planForeignKeys`) into its plan entry. Read only when
+	* plan entries are reported (`plan()`, a refused run) — a run reports what
+	* `syncIndexes` / `syncForeignKeys` did.
+	*/
+	async planLiveWork(d, safe) {
+		await Promise.all(d.tables.map((t) => this.planTableLiveWork(t, safe)));
+	}
+	async planTableLiveWork(facts, safe) {
+		const adapter = facts.readable.dbAdapter;
+		const init = facts.planEntry;
+		if (!(init.status !== "create" && init.status !== "error" && (safe || !init.recreated) && !facts.pendingRename && !runRecreatesTable(facts, safe))) return;
+		const indexChanges = await adapter.planIndexes(plannedIndexOptions(facts, safe));
+		if (indexChanges.length > 0) {
+			init.indexChanges = indexChanges;
+			init.status = "alter";
+		}
+		if (adapter.planForeignKeys && mergeLiveForeignKeyChanges(init, await adapter.planForeignKeys())) init.status = "alter";
+	}
+	/**
 	* Pure validation over the discovery facts. Every refusal is a change that
 	* no order of DDL can apply safely; the messages are user-facing.
 	*/
@@ -2283,6 +2444,7 @@ var SchemaSync = class {
 		await this.store.ensureControlTable();
 		const d = await this.discover(resolved, safe);
 		const refusals = this.preflight(d, safe);
+		await this.planLiveWork(d, safe);
 		const entries = this.buildPlanEntries(d, safe, refusals);
 		if (!force) {
 			if (await this.store.readHash() === hash) return {
@@ -2435,6 +2597,7 @@ exports.fkKey = require_column_diff.fkKey;
 exports.hasForeignKeyChanges = require_column_diff.hasForeignKeyChanges;
 exports.planSchema = planSchema;
 exports.readStoredSnapshot = readStoredSnapshot;
+exports.sameDefaultValue = require_column_diff.sameDefaultValue;
 exports.snapshotToExistingColumns = require_column_diff.snapshotToExistingColumns;
 exports.snapshotToExistingTableOptions = require_column_diff.snapshotToExistingTableOptions;
 exports.syncSchema = syncSchema;

package/dist/sync.d.cts

@@ -1,5 +1,5 @@
-import { At as TPrimaryKeyChange, Jn as TGenericLogger, Lt as TTableOptionDiff, U as TDbFieldMeta, et as TDbObjectKind, gt as TEnsureTableOptions, jt as TReferencingForeignKey, mt as TDerivedChangeReason, nn as DbSpace, vt as TExistingForeignKey, yt as TExistingTableOption } from "./buckets-B4T_alUe.cjs";
-import { _ as computeTableSnapshot, a as hasForeignKeyChanges, b as snapshotToExistingTableOptions, c as TFieldSnapshot, d as TViewColumnSnapshot, f as TViewJoinSnapshot, g as computeTableHash, h as computeSchemaHash, i as fkKey, l as TForeignKeySnapshot, m as canonicalizeQueryNode, n as computeForeignKeyDiff, o as computeColumnDiff, p as TViewSnapshot, t as TForeignKeyDiff, u as TTableSnapshot, v as computeViewSnapshot, y as snapshotToExistingColumns } from "./fk-diff-BWdQ7kRZ.cjs";
+import { Ct as TEnsureTableOptions, Et as TExistingTableOption, G as TDbFieldMeta, Pt as TIndexChange, Tt as TExistingForeignKey, Vt as TReferencingForeignKey, at as TDbObjectKind, cr as TGenericLogger, gn as DbSpace, qt as TTableOptionDiff, xt as TDerivedChangeReason, zt as TPrimaryKeyChange } from "./buckets-_iZV39Z3.cjs";
+import { S as snapshotToExistingTableOptions, _ as computeSchemaHash, a as hasForeignKeyChanges, b as computeViewSnapshot, d as TForeignKeySnapshot, f as TTableSnapshot, g as canonicalizeQueryNode, h as TViewSnapshot, i as fkKey, l as sameDefaultValue, m as TViewJoinSnapshot, n as computeForeignKeyDiff, o as TColumnDiffOptions, p as TViewColumnSnapshot, s as computeColumnDiff, t as TForeignKeyDiff, u as TFieldSnapshot, v as computeTableHash, x as snapshotToExistingColumns, y as computeTableSnapshot } from "./fk-diff-B5jW68T3.cjs";
 import { TAtscriptAnnotatedType } from "@atscript/typescript/utils";
 
 //#region src/schema/sync-entry.d.ts
@@ -150,6 +150,23 @@ interface TSyncEntryInit {
    * @since 0.1.141
    */
   cascadeFrom?: string[];
+  /**
+   * `true` on a managed view whose own definition changed since the last
+   * sync — the reason it is dropped and recreated. Printed as
+   * `· definition changed`.
+   * @since 0.1.162
+   */
+  definitionChanged?: boolean;
+  /**
+   * Managed indexes created, dropped or rebuilt (definition drift). On a
+   * plan entry: what the run's index sync would do to the live table as it
+   * is now (before the entry's column changes; not planned for a table the
+   * run creates, recreates or renames). On a run entry: what it did — not
+   * reported for a created or recreated table. Either marks the entry
+   * `alter`.
+   * @since 0.1.162
+   */
+  indexChanges?: TIndexChange[];
 }
 declare class SyncEntry {
   readonly name: string;
@@ -223,6 +240,10 @@ declare class SyncEntry {
   readonly refused: boolean;
   /** @since 0.1.141 — see {@link TSyncEntryInit.cascadeFrom}. */
   readonly cascadeFrom: string[];
+  /** @since 0.1.162 — see {@link TSyncEntryInit.definitionChanged}. */
+  readonly definitionChanged: boolean;
+  /** @since 0.1.162 — see {@link TSyncEntryInit.indexChanges}. */
+  readonly indexChanges: TIndexChange[];
   constructor(init: TSyncEntryInit);
   /**
    * The init object this entry was built from — lets callers derive a
@@ -259,8 +280,9 @@ declare class SyncEntry {
   /** `! PK (id) → (code) — rebuild (table is empty)` / `— rebuild (rows satisfy the new key)` / `— skipped (safe mode)` */
   private printPkChange;
   /**
-   * `! col: t1 → t2 — drop` (plan), or `! type col (t1 → t2) — skipped (safe
-   * mode)` in plan and result when the `'drop'` recreate was skipped.
+   * `! col: t1 → t2 — drop` (plan), `~ col: t1 → t2 — type changed` (result),
+   * or `! type col (t1 → t2) — skipped (safe mode)` in plan and result when
+   * the `'drop'` recreate was skipped.
    */
   private printTypeChanges;
   /**
@@ -278,6 +300,12 @@ declare class SyncEntry {
    * change. Both: `! option k: a → b — skipped (safe mode)` when pending.
    */
   private printOptionChanges;
+  /** `+ FK(a) → t — add` / `- … — remove` / `~ … — details` (plan); `added` / `removed` (result). */
+  private printForeignKeys;
+  /** `+ index name — add` / `- … — drop` / `~ … — rebuild` (plan); `added` / `dropped` / `rebuilt` (result). */
+  private printIndexChanges;
+  /** `· definition changed` — why a managed view is recreated. */
+  private printDefinitionChanged;
   /** `· after: a, b` (plan only — the executor already runs in this order). */
   private printDependsOn;
   /** `· upstream view "x" recreated` — why an unchanged view is recreated. */
@@ -423,6 +451,14 @@ declare class SchemaSync {
    * `safe` — safe mode skips the key rebuild, so its plan rule does not apply.
    */
   private discoverTable;
+  /**
+   * Folds the index / foreign-key work on each live table as it is now
+   * (`planIndexes` / `planForeignKeys`) into its plan entry. Read only when
+   * plan entries are reported (`plan()`, a refused run) — a run reports what
+   * `syncIndexes` / `syncForeignKeys` did.
+   */
+  private planLiveWork;
+  private planTableLiveWork;
   /**
    * Pure validation over the discovery facts. Every refusal is a change that
    * no order of DDL can apply safely; the messages are user-facing.
@@ -566,4 +602,4 @@ declare function syncSchema(space: DbSpace, types: readonly TAtscriptAnnotatedTy
  */
 declare function planSchema(space: DbSpace, types: readonly TAtscriptAnnotatedType[], opts?: Pick<TSyncOptions, "force" | "safe">): Promise<TSyncPlan>;
 //#endregion
-export { SchemaSync, SyncEntry, type TDbObjectKind, type TDependencyEdge, type TEnsureTableOptions, type TExistingForeignKey, type TFieldSnapshot, type TForeignKeyDiff, type TForeignKeySnapshot, type TPrimaryKeyChange, type TReferencingForeignKey, type TSyncColors, type TSyncDerivedChange, type TSyncEntryInit, type TSyncEntryStatus, type TSyncOptions, type TSyncPlan, type TSyncResult, type TSyncSkippedWork, type TTableSnapshot, type TViewColumnSnapshot, type TViewJoinSnapshot, type TViewSnapshot, canonicalizeQueryNode, computeColumnDiff, computeForeignKeyDiff, computeSchemaHash, computeTableHash, computeTableOptionDiff, computeTableSnapshot, computeViewSnapshot, fkKey, hasForeignKeyChanges, planSchema, readStoredSnapshot, snapshotToExistingColumns, snapshotToExistingTableOptions, syncSchema, topoOrder };
+export { SchemaSync, SyncEntry, type TColumnDiffOptions, type TDbObjectKind, type TDependencyEdge, type TEnsureTableOptions, type TExistingForeignKey, type TFieldSnapshot, type TForeignKeyDiff, type TForeignKeySnapshot, type TPrimaryKeyChange, type TReferencingForeignKey, type TSyncColors, type TSyncDerivedChange, type TSyncEntryInit, type TSyncEntryStatus, type TSyncOptions, type TSyncPlan, type TSyncResult, type TSyncSkippedWork, type TTableSnapshot, type TViewColumnSnapshot, type TViewJoinSnapshot, type TViewSnapshot, canonicalizeQueryNode, computeColumnDiff, computeForeignKeyDiff, computeSchemaHash, computeTableHash, computeTableOptionDiff, computeTableSnapshot, computeViewSnapshot, fkKey, hasForeignKeyChanges, planSchema, readStoredSnapshot, sameDefaultValue, snapshotToExistingColumns, snapshotToExistingTableOptions, syncSchema, topoOrder };