@atscript/db-mongo 0.1.154 → 0.1.156

package/dist/index.cjs

@@ -162,11 +162,14 @@ var CollectionPatcher = class {
 		this.currentSetStage = { $set: { [key]: val } };
 		this.updatePipeline.push(this.currentSetStage);
 	}
-	/** Set a leaf, lifting an `$inc`/`$mul` field op into an aggregation expression if present. */
-	_setLeaf(key, value) {
+	/**
+	* Set a leaf, lifting an `$inc`/`$mul` field op into an aggregation expression if present.
+	* `type`: the field's type, when known.
+	*/
+	_setLeaf(key, value, type) {
 		const fieldOp = (0, _atscript_db.getDbFieldOp)(value);
 		if (fieldOp) this._set(key, this._fieldOpExpr(key, fieldOp.op, fieldOp.value));
-		else if (containsAggregationExpr(value)) this._set(key, { $literal: value });
+		else if (containsAggregationExpr(value) || replacesWhole(value, type)) this._set(key, { $literal: value });
 		else this._set(key, value);
 	}
 	/**
@@ -187,7 +190,7 @@ var CollectionPatcher = class {
 			if (isObjectValue && topLevelArray && !flatType?.metadata?.has("db.json")) this.parseArrayPatch(key, value, flatType);
 			else if (isObjectValue && flatType?.metadata?.get("db.patch.strategy") === "merge") this.flattenPayload(value, key);
 			else if (isObjectValue && flatType?.type.kind === "object" && !flatType.metadata?.has("db.json")) this._flattenReplaceObject(value, key, flatType);
-			else if (key !== "_id") this._setLeaf(key, value);
+			else if (key !== "_id") this._setLeaf(key, value, flatType);
 		}
 		return this.updatePipeline;
 	}
@@ -213,7 +216,7 @@ var CollectionPatcher = class {
 				else this._flattenReplaceObject(childValue, childKey, propType);
 				continue;
 			}
-			this._setLeaf(childKey, childValue);
+			this._setLeaf(childKey, childValue, propType);
 		}
 	}
 	/**
@@ -361,6 +364,16 @@ var CollectionPatcher = class {
 		else this._set(key, { $setDifference: [{ $ifNull: [`$${key}`, []] }, input] });
 	}
 };
+/**
+* Whether a plain-object patch value replaces the stored object instead of
+* merging into it: a `@db.json` object, or a union of objects / `T | null`
+* whose member may switch (since 0.1.155). A field the patcher cannot type
+* (e.g. under a `@db.column` name) keeps the merge.
+*/
+function replacesWhole(value, type) {
+	if (!type || !(0, _atscript_db.isPlainObject)(value)) return false;
+	return type.metadata?.has("db.json") || type.type.kind === "union";
+}
 //#endregion
 //#region src/lib/mongo-types.ts
 const INDEX_PREFIX = "atscript__";
@@ -1624,6 +1637,30 @@ async function hasRowsImpl(host, tableName) {
 		...host._getSessionOpts()
 	}) !== null;
 }
+/**
+* Documents `fields` cannot identify (see `BaseDbAdapter.countKeyViolations`):
+* those missing one of them or holding `null`, plus every document sharing
+* its values with another — one `$facet` aggregation.
+*/
+async function countKeyViolationsImpl(host, fields, tableName) {
+	const key = Object.fromEntries(fields.map((f, i) => [`k${i}`, `$${f}`]));
+	const [result] = await host.db.collection(tableName ?? host.resolveTableName(false)).aggregate([{ $facet: {
+		nulls: [{ $match: { $or: fields.map((f) => ({ [f]: null })) } }, { $count: "n" }],
+		dups: [
+			{ $match: { $and: fields.map((f) => ({ [f]: { $ne: null } })) } },
+			{ $group: {
+				_id: key,
+				n: { $sum: 1 }
+			} },
+			{ $match: { n: { $gt: 1 } } },
+			{ $group: {
+				_id: null,
+				n: { $sum: "$n" }
+			} }
+		]
+	} }], host._getSessionOpts()).toArray();
+	return (result?.nulls[0]?.n ?? 0) + (result?.dups[0]?.n ?? 0);
+}
 /** Kind of the object stored under `name` (`listCollections` reports views as `"view"`). */
 async function getObjectKindImpl(host, name) {
 	const type = (await host.db.listCollections({ name }, { nameOnly: true }).toArray())[0]?.type;
@@ -1733,6 +1770,27 @@ async function dropColumnsImpl(host, columns) {
 	await host.collection.updateMany({}, { $unset: unsetSpec }, host._getSessionOpts());
 }
 /**
+* Drops the managed indexes over any of `columns` (or a path under one).
+* Schema sync calls it before {@link dropColumnsImpl}: a unique index on a
+* required field indexes a `$unset` document as `null`, so the second one
+* collides (E11000) — e.g. the old key field's `__pk` index when a `@meta.id`
+* move removes that field. `syncIndexesImpl` then builds what the model wants.
+*/
+async function dropIndexesForColumnsImpl(host, columns) {
+	const dropped = new Set(columns);
+	let existing;
+	try {
+		existing = await host.collection.listIndexes().toArray();
+	} catch (error) {
+		if (error.code === 26) return;
+		throw error;
+	}
+	for (const remote of existing) if (remote.name.startsWith("atscript__") && coversAny(remote.key, remote.weights, dropped)) {
+		host._log("dropIndex", remote.name);
+		await host.collection.dropIndex(remote.name);
+	}
+}
+/**
 * The segments of a field's physical document path with `$[]` after every
 * segment whose logical prefix is an array in the flatMap — Mongo's
 * all-positional operator walks every element. `physicalPath` defaults to
@@ -1766,7 +1824,23 @@ function resolveSyncDefault(field) {
 	if (!field.defaultValue) return;
 	if (field.defaultValue.kind === "value") return field.designType === "string" ? field.defaultValue.value : JSON.parse(field.defaultValue.value);
 }
-async function syncIndexesImpl(host) {
+/**
+* Whether an index's fields include one of `paths` or a path under one —
+* a text index lists its fields in `weights` (its key is `_fts` / `_ftsx`).
+*/
+function coversAny(key, weights, paths) {
+	return [...Object.keys(key), ...Object.keys(weights ?? {})].some((f) => paths.has(f) || hasAncestorIn(f, paths));
+}
+/** The `__pk` unique index of non-`_id` `@meta.id` fields. */
+const PK_INDEX = mongoIndexKey("unique", "__pk");
+/**
+* Reconciles the managed indexes with the model. `opts` (schema sync, safe
+* mode) names the indexes that stay as they are — neither dropped, replaced
+* nor created — because the change they depend on was skipped: the `__pk`
+* index of a skipped key rebuild, the indexes over a column whose type change
+* is pending (its present-only filter is typed).
+*/
+async function syncIndexesImpl(host, opts) {
 	await host.ensureCollectionExists();
 	const allIndexes = /* @__PURE__ */ new Map();
 	for (const [key, index] of host._table.indexes.entries()) {
@@ -1807,6 +1881,12 @@ async function syncIndexesImpl(host) {
 	} else allIndexes.set(key, index);
 	const existingIndexes = await host.collection.listIndexes().toArray();
 	const indexesToCreate = new Map(allIndexes);
+	const keepColumns = new Set(opts?.keepColumns ?? []);
+	const isKept = (name, key, weights) => opts?.keepPrimaryKey === true && name === PK_INDEX || coversAny(key, weights, keepColumns);
+	const kept = /* @__PURE__ */ new Set();
+	for (const index of allIndexes.values()) if (isPlainIndex(index) && isKept(index.key, index.fields, index.weights)) kept.add(index.key);
+	for (const remote of existingIndexes) if (isKept(remote.name, remote.key, remote.weights)) kept.add(remote.name);
+	for (const name of kept) indexesToCreate.delete(name);
 	const { attempt, throwIfAny } = (0, _atscript_db.createFailureCollector)("index sync");
 	let defaultCollation;
 	const collectionDefaultCollation = async () => {
@@ -1814,7 +1894,7 @@ async function syncIndexesImpl(host) {
 		return defaultCollation ?? void 0;
 	};
 	for (const remote of existingIndexes) {
-		if (!remote.name.startsWith("atscript__")) continue;
+		if (!remote.name.startsWith("atscript__") || kept.has(remote.name)) continue;
 		if (indexesToCreate.has(remote.name)) {
 			const local = indexesToCreate.get(remote.name);
 			if (isPlainIndex(local)) {
@@ -2154,6 +2234,8 @@ var MongoAdapter = class MongoAdapter extends _atscript_db.BaseDbAdapter {
 	_hasExplicitId = false;
 	/** Unique fields accumulated during onFieldScanned, returned via getMetadataOverrides. */
 	_pendingUniqueFields = [];
+	/** {@link _patcherFlatMap}'s memo. */
+	_patcherFlatMapMemo;
 	constructor(db, client, options = {}) {
 		super();
 		this.db = db;
@@ -2439,11 +2521,32 @@ var MongoAdapter = class MongoAdapter extends _atscript_db.BaseDbAdapter {
 	/** Returns the context object used by CollectionPatcher. */
 	getPatcherContext() {
 		return {
-			flatMap: this._table.flatMap,
+			flatMap: this._patcherFlatMap(),
 			prepareId: (id) => this.prepareIdFromIdType(id),
 			createValidator: (opts) => this._table.createValidator(opts)
 		};
 	}
+	/**
+	* The table's flat map keyed by document path: a patch reaches the patcher
+	* with `@db.column` names already applied (`translatePatchKeys`), so a
+	* renamed union / `@db.json` field is found — and replaced, not merged —
+	* under its stored name. Derived fields are left out (they map to their
+	* source's path). Built once per flat map.
+	*/
+	_patcherFlatMap() {
+		const src = this._table.flatMap;
+		let memo = this._patcherFlatMapMemo;
+		if (memo?.src !== src) {
+			const meta = this._table.getMetadata();
+			const map = /* @__PURE__ */ new Map();
+			for (const [path, type] of src) if (!meta.derivedFields.has(path)) map.set(meta.documentPath(path), type);
+			memo = this._patcherFlatMapMemo = {
+				src,
+				map
+			};
+		}
+		return memo.map;
+	}
 	async nativePatch(filter, patch, ops, expectedVersion, opts) {
 		const mongoFilter = await this._buildCasFilter(filter, expectedVersion, "nativePatch");
 		if (!mongoFilter) return {
@@ -2487,7 +2590,7 @@ var MongoAdapter = class MongoAdapter extends _atscript_db.BaseDbAdapter {
 	}
 	onFieldScanned(field, _type, metadata) {
 		if (field === "_id") this._hasExplicitId = true;
-		if (field !== "_id" && metadata.has("meta.id")) this._pendingUniqueFields.push(field);
+		if (field !== "_id" && !field.includes(".") && metadata.has("meta.id")) this._pendingUniqueFields.push(field);
 		for (const index of metadata.get("db.mongo.search.text") || []) this._pendingSearchFields.push({
 			indexName: index.indexName,
 			field,
@@ -3101,14 +3204,19 @@ var MongoAdapter = class MongoAdapter extends _atscript_db.BaseDbAdapter {
 	async getObjectKind(name) {
 		return getObjectKindImpl(this, name);
 	}
+	async countKeyViolations(fields, tableName) {
+		return countKeyViolationsImpl(this, fields, tableName);
+	}
 	/**
 	* No physical primary key on MongoDB (`_id` is fixed): a `@meta.id` move is
-	* an index change that `syncIndexes` reconciles. Schema sync refuses the
-	* change on a populated collection for cross-adapter consistency.
+	* an index change that `syncIndexes` reconciles. Like on the other adapters,
+	* schema sync refuses it on a populated collection whose documents do not
+	* satisfy the new key. An old key field removed in the same sync loses its
+	* `__pk` index first (`dropIndexesForColumns`).
 	*/
 	async rebuildPrimaryKey(_change) {}
-	async syncIndexes() {
-		return syncIndexesImpl(this);
+	async syncIndexes(opts) {
+		return syncIndexesImpl(this, opts);
 	}
 	async syncColumns(diff) {
 		return syncColumnsImpl(this, diff);
@@ -3116,6 +3224,9 @@ var MongoAdapter = class MongoAdapter extends _atscript_db.BaseDbAdapter {
 	async dropColumns(columns) {
 		return dropColumnsImpl(this, columns);
 	}
+	async dropIndexesForColumns(columns) {
+		return dropIndexesForColumnsImpl(this, columns);
+	}
 	async renameTable(oldName) {
 		return renameTableImpl(this, oldName);
 	}

package/dist/index.d.cts

@@ -1,5 +1,5 @@
 import { a as buildMongoFilter, c as mongoFilterStages, i as TMongoFilterPlan, l as planStages, n as TMongoFieldCollation, o as buildMongoQuery, r as TMongoFilterOptions, s as collationOfAdapter, t as REL_FILTER_TEMP_PREFIX } from "./mongo-filter-CGd9ryOD.cjs";
-import { BaseDbAdapter, DbQuery, DbSpace, FilterExpr, TColumnDiff, TDbCollation, TDbDeleteResult, TDbFieldMeta, TDbForeignKey, TDbInsertIgnoreSlot, TDbInsertManyResult, TDbInsertResult, TDbObjectKind, TDbRelation, TDbUpdateOptions, TDbUpdateResult, TExistingTableOption, TFieldOps, TMetadataOverrides, TPrimaryKeyChange, TSearchIndexInfo, TSyncColumnResult, TTableResolver, TViewCapability, TableMetadata, WithRelation, getKeyProps } from "@atscript/db";
+import { BaseDbAdapter, DbQuery, DbSpace, FilterExpr, TColumnDiff, TDbCollation, TDbDeleteResult, TDbFieldMeta, TDbForeignKey, TDbInsertIgnoreSlot, TDbInsertManyResult, TDbInsertResult, TDbObjectKind, TDbRelation, TDbUpdateOptions, TDbUpdateResult, TExistingTableOption, TFieldOps, TMetadataOverrides, TPrimaryKeyChange, TSearchIndexInfo, TSyncColumnResult, TSyncIndexesOptions, TTableResolver, TViewCapability, TableMetadata, WithRelation, getKeyProps } from "@atscript/db";
 import { AggregateOptions, AggregationCursor, ClientSession, Collection, Db, Document, Filter, MongoClient, ObjectId, UpdateFilter, UpdateOptions } from "mongodb";
 import { TAtscriptAnnotatedType, TMetadataMap, TValidatorOptions, TValidatorPlugin, Validator } from "@atscript/typescript/utils";
 import { AggregateFn, BucketUnit } from "@uniqu/core";
@@ -74,7 +74,10 @@ declare class CollectionPatcher {
    * @private
    */
   private _set;
-  /** Set a leaf, lifting an `$inc`/`$mul` field op into an aggregation expression if present. */
+  /**
+   * Set a leaf, lifting an `$inc`/`$mul` field op into an aggregation expression if present.
+   * `type`: the field's type, when known.
+   */
   private _setLeaf;
   /**
    * Recursively walk through the patch *payload* and convert it into `$set`/…
@@ -301,6 +304,8 @@ declare class MongoAdapter extends BaseDbAdapter {
   protected _hasExplicitId: boolean;
   /** Unique fields accumulated during onFieldScanned, returned via getMetadataOverrides. */
   private _pendingUniqueFields;
+  /** {@link _patcherFlatMap}'s memo. */
+  private _patcherFlatMapMemo?;
   constructor(db: Db, client?: MongoClient | undefined, options?: TMongoAdapterOptions);
   private get _client();
   /** Every adapter over this client (or database handle) shares one session (since 0.1.128). */
@@ -435,6 +440,14 @@ declare class MongoAdapter extends BaseDbAdapter {
   loadRelations(rows: Array<Record<string, unknown>>, withRelations: WithRelation[], relations: ReadonlyMap<string, TDbRelation>, foreignKeys: ReadonlyMap<string, TDbForeignKey>, tableResolver?: TTableResolver): Promise<void>;
   /** Returns the context object used by CollectionPatcher. */
   getPatcherContext(): TCollectionPatcherContext;
+  /**
+   * The table's flat map keyed by document path: a patch reaches the patcher
+   * with `@db.column` names already applied (`translatePatchKeys`), so a
+   * renamed union / `@db.json` field is found — and replaced, not merged —
+   * under its stored name. Derived fields are left out (they map to their
+   * source's path). Built once per flat map.
+   */
+  private _patcherFlatMap;
   nativePatch(filter: FilterExpr, patch: unknown, ops?: TFieldOps, expectedVersion?: number, opts?: TDbUpdateOptions): Promise<TDbUpdateResult>;
   onBeforeFlatten(_type: unknown): void;
   onFieldScanned(field: string, _type: unknown, metadata: TMetadataMap<AtscriptMetadata>): void;
@@ -574,15 +587,19 @@ declare class MongoAdapter extends BaseDbAdapter {
   ensureTable(): Promise<void>;
   hasRows(tableName?: string): Promise<boolean>;
   getObjectKind(name: string): Promise<TDbObjectKind | undefined>;
+  countKeyViolations(fields: readonly string[], tableName?: string): Promise<number>;
   /**
    * No physical primary key on MongoDB (`_id` is fixed): a `@meta.id` move is
-   * an index change that `syncIndexes` reconciles. Schema sync refuses the
-   * change on a populated collection for cross-adapter consistency.
+   * an index change that `syncIndexes` reconciles. Like on the other adapters,
+   * schema sync refuses it on a populated collection whose documents do not
+   * satisfy the new key. An old key field removed in the same sync loses its
+   * `__pk` index first (`dropIndexesForColumns`).
    */
   rebuildPrimaryKey(_change: TPrimaryKeyChange): Promise<void>;
-  syncIndexes(): Promise<void>;
+  syncIndexes(opts?: TSyncIndexesOptions): Promise<void>;
   syncColumns(diff: TColumnDiff): Promise<TSyncColumnResult>;
   dropColumns(columns: string[]): Promise<void>;
+  dropIndexesForColumns(columns: string[]): Promise<void>;
   renameTable(oldName: string): Promise<void>;
   recreateTable(): Promise<void>;
   dropTable(): Promise<void>;

package/dist/index.d.mts

@@ -1,5 +1,5 @@
 import { a as buildMongoFilter, c as mongoFilterStages, i as TMongoFilterPlan, l as planStages, n as TMongoFieldCollation, o as buildMongoQuery, r as TMongoFilterOptions, s as collationOfAdapter, t as REL_FILTER_TEMP_PREFIX } from "./mongo-filter-CGd9ryOD.mjs";
-import { BaseDbAdapter, DbQuery, DbSpace, FilterExpr, TColumnDiff, TDbCollation, TDbDeleteResult, TDbFieldMeta, TDbForeignKey, TDbInsertIgnoreSlot, TDbInsertManyResult, TDbInsertResult, TDbObjectKind, TDbRelation, TDbUpdateOptions, TDbUpdateResult, TExistingTableOption, TFieldOps, TMetadataOverrides, TPrimaryKeyChange, TSearchIndexInfo, TSyncColumnResult, TTableResolver, TViewCapability, TableMetadata, WithRelation, getKeyProps } from "@atscript/db";
+import { BaseDbAdapter, DbQuery, DbSpace, FilterExpr, TColumnDiff, TDbCollation, TDbDeleteResult, TDbFieldMeta, TDbForeignKey, TDbInsertIgnoreSlot, TDbInsertManyResult, TDbInsertResult, TDbObjectKind, TDbRelation, TDbUpdateOptions, TDbUpdateResult, TExistingTableOption, TFieldOps, TMetadataOverrides, TPrimaryKeyChange, TSearchIndexInfo, TSyncColumnResult, TSyncIndexesOptions, TTableResolver, TViewCapability, TableMetadata, WithRelation, getKeyProps } from "@atscript/db";
 import { AggregateOptions, AggregationCursor, ClientSession, Collection, Db, Document, Filter, MongoClient, ObjectId, UpdateFilter, UpdateOptions } from "mongodb";
 import { AggregateFn, BucketUnit } from "@uniqu/core";
 import { TAtscriptAnnotatedType, TMetadataMap, TValidatorOptions, TValidatorPlugin, Validator } from "@atscript/typescript/utils";
@@ -74,7 +74,10 @@ declare class CollectionPatcher {
    * @private
    */
   private _set;
-  /** Set a leaf, lifting an `$inc`/`$mul` field op into an aggregation expression if present. */
+  /**
+   * Set a leaf, lifting an `$inc`/`$mul` field op into an aggregation expression if present.
+   * `type`: the field's type, when known.
+   */
   private _setLeaf;
   /**
    * Recursively walk through the patch *payload* and convert it into `$set`/…
@@ -301,6 +304,8 @@ declare class MongoAdapter extends BaseDbAdapter {
   protected _hasExplicitId: boolean;
   /** Unique fields accumulated during onFieldScanned, returned via getMetadataOverrides. */
   private _pendingUniqueFields;
+  /** {@link _patcherFlatMap}'s memo. */
+  private _patcherFlatMapMemo?;
   constructor(db: Db, client?: MongoClient | undefined, options?: TMongoAdapterOptions);
   private get _client();
   /** Every adapter over this client (or database handle) shares one session (since 0.1.128). */
@@ -435,6 +440,14 @@ declare class MongoAdapter extends BaseDbAdapter {
   loadRelations(rows: Array<Record<string, unknown>>, withRelations: WithRelation[], relations: ReadonlyMap<string, TDbRelation>, foreignKeys: ReadonlyMap<string, TDbForeignKey>, tableResolver?: TTableResolver): Promise<void>;
   /** Returns the context object used by CollectionPatcher. */
   getPatcherContext(): TCollectionPatcherContext;
+  /**
+   * The table's flat map keyed by document path: a patch reaches the patcher
+   * with `@db.column` names already applied (`translatePatchKeys`), so a
+   * renamed union / `@db.json` field is found — and replaced, not merged —
+   * under its stored name. Derived fields are left out (they map to their
+   * source's path). Built once per flat map.
+   */
+  private _patcherFlatMap;
   nativePatch(filter: FilterExpr, patch: unknown, ops?: TFieldOps, expectedVersion?: number, opts?: TDbUpdateOptions): Promise<TDbUpdateResult>;
   onBeforeFlatten(_type: unknown): void;
   onFieldScanned(field: string, _type: unknown, metadata: TMetadataMap<AtscriptMetadata>): void;
@@ -574,15 +587,19 @@ declare class MongoAdapter extends BaseDbAdapter {
   ensureTable(): Promise<void>;
   hasRows(tableName?: string): Promise<boolean>;
   getObjectKind(name: string): Promise<TDbObjectKind | undefined>;
+  countKeyViolations(fields: readonly string[], tableName?: string): Promise<number>;
   /**
    * No physical primary key on MongoDB (`_id` is fixed): a `@meta.id` move is
-   * an index change that `syncIndexes` reconciles. Schema sync refuses the
-   * change on a populated collection for cross-adapter consistency.
+   * an index change that `syncIndexes` reconciles. Like on the other adapters,
+   * schema sync refuses it on a populated collection whose documents do not
+   * satisfy the new key. An old key field removed in the same sync loses its
+   * `__pk` index first (`dropIndexesForColumns`).
    */
   rebuildPrimaryKey(_change: TPrimaryKeyChange): Promise<void>;
-  syncIndexes(): Promise<void>;
+  syncIndexes(opts?: TSyncIndexesOptions): Promise<void>;
   syncColumns(diff: TColumnDiff): Promise<TSyncColumnResult>;
   dropColumns(columns: string[]): Promise<void>;
+  dropIndexesForColumns(columns: string[]): Promise<void>;
   renameTable(oldName: string): Promise<void>;
   recreateTable(): Promise<void>;
   dropTable(): Promise<void>;

package/dist/index.mjs

@@ -161,11 +161,14 @@ var CollectionPatcher = class {
 		this.currentSetStage = { $set: { [key]: val } };
 		this.updatePipeline.push(this.currentSetStage);
 	}
-	/** Set a leaf, lifting an `$inc`/`$mul` field op into an aggregation expression if present. */
-	_setLeaf(key, value) {
+	/**
+	* Set a leaf, lifting an `$inc`/`$mul` field op into an aggregation expression if present.
+	* `type`: the field's type, when known.
+	*/
+	_setLeaf(key, value, type) {
 		const fieldOp = getDbFieldOp(value);
 		if (fieldOp) this._set(key, this._fieldOpExpr(key, fieldOp.op, fieldOp.value));
-		else if (containsAggregationExpr(value)) this._set(key, { $literal: value });
+		else if (containsAggregationExpr(value) || replacesWhole(value, type)) this._set(key, { $literal: value });
 		else this._set(key, value);
 	}
 	/**
@@ -186,7 +189,7 @@ var CollectionPatcher = class {
 			if (isObjectValue && topLevelArray && !flatType?.metadata?.has("db.json")) this.parseArrayPatch(key, value, flatType);
 			else if (isObjectValue && flatType?.metadata?.get("db.patch.strategy") === "merge") this.flattenPayload(value, key);
 			else if (isObjectValue && flatType?.type.kind === "object" && !flatType.metadata?.has("db.json")) this._flattenReplaceObject(value, key, flatType);
-			else if (key !== "_id") this._setLeaf(key, value);
+			else if (key !== "_id") this._setLeaf(key, value, flatType);
 		}
 		return this.updatePipeline;
 	}
@@ -212,7 +215,7 @@ var CollectionPatcher = class {
 				else this._flattenReplaceObject(childValue, childKey, propType);
 				continue;
 			}
-			this._setLeaf(childKey, childValue);
+			this._setLeaf(childKey, childValue, propType);
 		}
 	}
 	/**
@@ -360,6 +363,16 @@ var CollectionPatcher = class {
 		else this._set(key, { $setDifference: [{ $ifNull: [`$${key}`, []] }, input] });
 	}
 };
+/**
+* Whether a plain-object patch value replaces the stored object instead of
+* merging into it: a `@db.json` object, or a union of objects / `T | null`
+* whose member may switch (since 0.1.155). A field the patcher cannot type
+* (e.g. under a `@db.column` name) keeps the merge.
+*/
+function replacesWhole(value, type) {
+	if (!type || !isPlainObject(value)) return false;
+	return type.metadata?.has("db.json") || type.type.kind === "union";
+}
 //#endregion
 //#region src/lib/mongo-types.ts
 const INDEX_PREFIX = "atscript__";
@@ -1623,6 +1636,30 @@ async function hasRowsImpl(host, tableName) {
 		...host._getSessionOpts()
 	}) !== null;
 }
+/**
+* Documents `fields` cannot identify (see `BaseDbAdapter.countKeyViolations`):
+* those missing one of them or holding `null`, plus every document sharing
+* its values with another — one `$facet` aggregation.
+*/
+async function countKeyViolationsImpl(host, fields, tableName) {
+	const key = Object.fromEntries(fields.map((f, i) => [`k${i}`, `$${f}`]));
+	const [result] = await host.db.collection(tableName ?? host.resolveTableName(false)).aggregate([{ $facet: {
+		nulls: [{ $match: { $or: fields.map((f) => ({ [f]: null })) } }, { $count: "n" }],
+		dups: [
+			{ $match: { $and: fields.map((f) => ({ [f]: { $ne: null } })) } },
+			{ $group: {
+				_id: key,
+				n: { $sum: 1 }
+			} },
+			{ $match: { n: { $gt: 1 } } },
+			{ $group: {
+				_id: null,
+				n: { $sum: "$n" }
+			} }
+		]
+	} }], host._getSessionOpts()).toArray();
+	return (result?.nulls[0]?.n ?? 0) + (result?.dups[0]?.n ?? 0);
+}
 /** Kind of the object stored under `name` (`listCollections` reports views as `"view"`). */
 async function getObjectKindImpl(host, name) {
 	const type = (await host.db.listCollections({ name }, { nameOnly: true }).toArray())[0]?.type;
@@ -1732,6 +1769,27 @@ async function dropColumnsImpl(host, columns) {
 	await host.collection.updateMany({}, { $unset: unsetSpec }, host._getSessionOpts());
 }
 /**
+* Drops the managed indexes over any of `columns` (or a path under one).
+* Schema sync calls it before {@link dropColumnsImpl}: a unique index on a
+* required field indexes a `$unset` document as `null`, so the second one
+* collides (E11000) — e.g. the old key field's `__pk` index when a `@meta.id`
+* move removes that field. `syncIndexesImpl` then builds what the model wants.
+*/
+async function dropIndexesForColumnsImpl(host, columns) {
+	const dropped = new Set(columns);
+	let existing;
+	try {
+		existing = await host.collection.listIndexes().toArray();
+	} catch (error) {
+		if (error.code === 26) return;
+		throw error;
+	}
+	for (const remote of existing) if (remote.name.startsWith("atscript__") && coversAny(remote.key, remote.weights, dropped)) {
+		host._log("dropIndex", remote.name);
+		await host.collection.dropIndex(remote.name);
+	}
+}
+/**
 * The segments of a field's physical document path with `$[]` after every
 * segment whose logical prefix is an array in the flatMap — Mongo's
 * all-positional operator walks every element. `physicalPath` defaults to
@@ -1765,7 +1823,23 @@ function resolveSyncDefault(field) {
 	if (!field.defaultValue) return;
 	if (field.defaultValue.kind === "value") return field.designType === "string" ? field.defaultValue.value : JSON.parse(field.defaultValue.value);
 }
-async function syncIndexesImpl(host) {
+/**
+* Whether an index's fields include one of `paths` or a path under one —
+* a text index lists its fields in `weights` (its key is `_fts` / `_ftsx`).
+*/
+function coversAny(key, weights, paths) {
+	return [...Object.keys(key), ...Object.keys(weights ?? {})].some((f) => paths.has(f) || hasAncestorIn(f, paths));
+}
+/** The `__pk` unique index of non-`_id` `@meta.id` fields. */
+const PK_INDEX = mongoIndexKey("unique", "__pk");
+/**
+* Reconciles the managed indexes with the model. `opts` (schema sync, safe
+* mode) names the indexes that stay as they are — neither dropped, replaced
+* nor created — because the change they depend on was skipped: the `__pk`
+* index of a skipped key rebuild, the indexes over a column whose type change
+* is pending (its present-only filter is typed).
+*/
+async function syncIndexesImpl(host, opts) {
 	await host.ensureCollectionExists();
 	const allIndexes = /* @__PURE__ */ new Map();
 	for (const [key, index] of host._table.indexes.entries()) {
@@ -1806,6 +1880,12 @@ async function syncIndexesImpl(host) {
 	} else allIndexes.set(key, index);
 	const existingIndexes = await host.collection.listIndexes().toArray();
 	const indexesToCreate = new Map(allIndexes);
+	const keepColumns = new Set(opts?.keepColumns ?? []);
+	const isKept = (name, key, weights) => opts?.keepPrimaryKey === true && name === PK_INDEX || coversAny(key, weights, keepColumns);
+	const kept = /* @__PURE__ */ new Set();
+	for (const index of allIndexes.values()) if (isPlainIndex(index) && isKept(index.key, index.fields, index.weights)) kept.add(index.key);
+	for (const remote of existingIndexes) if (isKept(remote.name, remote.key, remote.weights)) kept.add(remote.name);
+	for (const name of kept) indexesToCreate.delete(name);
 	const { attempt, throwIfAny } = createFailureCollector("index sync");
 	let defaultCollation;
 	const collectionDefaultCollation = async () => {
@@ -1813,7 +1893,7 @@ async function syncIndexesImpl(host) {
 		return defaultCollation ?? void 0;
 	};
 	for (const remote of existingIndexes) {
-		if (!remote.name.startsWith("atscript__")) continue;
+		if (!remote.name.startsWith("atscript__") || kept.has(remote.name)) continue;
 		if (indexesToCreate.has(remote.name)) {
 			const local = indexesToCreate.get(remote.name);
 			if (isPlainIndex(local)) {
@@ -2153,6 +2233,8 @@ var MongoAdapter = class MongoAdapter extends BaseDbAdapter {
 	_hasExplicitId = false;
 	/** Unique fields accumulated during onFieldScanned, returned via getMetadataOverrides. */
 	_pendingUniqueFields = [];
+	/** {@link _patcherFlatMap}'s memo. */
+	_patcherFlatMapMemo;
 	constructor(db, client, options = {}) {
 		super();
 		this.db = db;
@@ -2438,11 +2520,32 @@ var MongoAdapter = class MongoAdapter extends BaseDbAdapter {
 	/** Returns the context object used by CollectionPatcher. */
 	getPatcherContext() {
 		return {
-			flatMap: this._table.flatMap,
+			flatMap: this._patcherFlatMap(),
 			prepareId: (id) => this.prepareIdFromIdType(id),
 			createValidator: (opts) => this._table.createValidator(opts)
 		};
 	}
+	/**
+	* The table's flat map keyed by document path: a patch reaches the patcher
+	* with `@db.column` names already applied (`translatePatchKeys`), so a
+	* renamed union / `@db.json` field is found — and replaced, not merged —
+	* under its stored name. Derived fields are left out (they map to their
+	* source's path). Built once per flat map.
+	*/
+	_patcherFlatMap() {
+		const src = this._table.flatMap;
+		let memo = this._patcherFlatMapMemo;
+		if (memo?.src !== src) {
+			const meta = this._table.getMetadata();
+			const map = /* @__PURE__ */ new Map();
+			for (const [path, type] of src) if (!meta.derivedFields.has(path)) map.set(meta.documentPath(path), type);
+			memo = this._patcherFlatMapMemo = {
+				src,
+				map
+			};
+		}
+		return memo.map;
+	}
 	async nativePatch(filter, patch, ops, expectedVersion, opts) {
 		const mongoFilter = await this._buildCasFilter(filter, expectedVersion, "nativePatch");
 		if (!mongoFilter) return {
@@ -2486,7 +2589,7 @@ var MongoAdapter = class MongoAdapter extends BaseDbAdapter {
 	}
 	onFieldScanned(field, _type, metadata) {
 		if (field === "_id") this._hasExplicitId = true;
-		if (field !== "_id" && metadata.has("meta.id")) this._pendingUniqueFields.push(field);
+		if (field !== "_id" && !field.includes(".") && metadata.has("meta.id")) this._pendingUniqueFields.push(field);
 		for (const index of metadata.get("db.mongo.search.text") || []) this._pendingSearchFields.push({
 			indexName: index.indexName,
 			field,
@@ -3100,14 +3203,19 @@ var MongoAdapter = class MongoAdapter extends BaseDbAdapter {
 	async getObjectKind(name) {
 		return getObjectKindImpl(this, name);
 	}
+	async countKeyViolations(fields, tableName) {
+		return countKeyViolationsImpl(this, fields, tableName);
+	}
 	/**
 	* No physical primary key on MongoDB (`_id` is fixed): a `@meta.id` move is
-	* an index change that `syncIndexes` reconciles. Schema sync refuses the
-	* change on a populated collection for cross-adapter consistency.
+	* an index change that `syncIndexes` reconciles. Like on the other adapters,
+	* schema sync refuses it on a populated collection whose documents do not
+	* satisfy the new key. An old key field removed in the same sync loses its
+	* `__pk` index first (`dropIndexesForColumns`).
 	*/
 	async rebuildPrimaryKey(_change) {}
-	async syncIndexes() {
-		return syncIndexesImpl(this);
+	async syncIndexes(opts) {
+		return syncIndexesImpl(this, opts);
 	}
 	async syncColumns(diff) {
 		return syncColumnsImpl(this, diff);
@@ -3115,6 +3223,9 @@ var MongoAdapter = class MongoAdapter extends BaseDbAdapter {
 	async dropColumns(columns) {
 		return dropColumnsImpl(this, columns);
 	}
+	async dropIndexesForColumns(columns) {
+		return dropIndexesForColumnsImpl(this, columns);
+	}
 	async renameTable(oldName) {
 		return renameTableImpl(this, oldName);
 	}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@atscript/db-mongo",
-  "version": "0.1.154",
+  "version": "0.1.156",
   "description": "Mongodb plugin for atscript.",
   "keywords": [
     "atscript",
@@ -46,19 +46,19 @@
     "access": "public"
   },
   "devDependencies": {
-    "@atscript/core": "^0.1.103",
-    "@atscript/typescript": "^0.1.103",
+    "@atscript/core": "^0.1.106",
+    "@atscript/typescript": "^0.1.106",
     "@uniqu/core": "^0.1.15",
     "mongodb": "^6.17.0",
     "mongodb-memory-server-core": "^10.0.0",
-    "unplugin-atscript": "^0.1.103"
+    "unplugin-atscript": "^0.1.106"
   },
   "peerDependencies": {
-    "@atscript/core": "^0.1.103",
-    "@atscript/typescript": "^0.1.103",
+    "@atscript/core": "^0.1.106",
+    "@atscript/typescript": "^0.1.106",
     "@uniqu/core": "^0.1.15",
     "mongodb": "^6.17.0",
-    "@atscript/db": "^0.1.154"
+    "@atscript/db": "^0.1.156"
   },
   "scripts": {
     "postinstall": "asc -f dts",