@prisma-next/adapter-mongo 0.12.0-dev.50 → 0.12.0-dev.51

package/dist/control.d.mts

@@ -2,9 +2,9 @@ import { t as createMongoAdapter } from "./mongo-adapter-JuKx_-h9.mjs";
 import { Db, Document } from "mongodb";
 import { CollModCommand, CreateCollectionCommand, CreateIndexCommand, DropCollectionCommand, DropIndexCommand, ListCollectionsCommand, ListIndexesCommand, MongoDdlCommandVisitor, MongoInspectionCommandVisitor } from "@prisma-next/mongo-query-ast/control";
 import { MongoSchemaIR } from "@prisma-next/mongo-schema-ir";
-import { ContractMarkerRecord, LedgerEntryRecord } from "@prisma-next/contract/types";
 import { MongoControlAdapter, MongoControlAdapterDescriptor } from "@prisma-next/family-mongo/control-adapter";
 import { MongoAdapter, MongoControlDriverInstance, MongoControlDriverInstance as MongoControlDriverInstance$1, MongoDriver } from "@prisma-next/mongo-lowering";
+import { ContractMarkerRecord, LedgerEntryRecord } from "@prisma-next/contract/types";
 import { ControlDriverInstance, ControlFamilyInstance } from "@prisma-next/framework-components/control";
 
 //#region src/core/command-executor.d.ts
@@ -31,10 +31,14 @@ declare function introspectSchema(db: Db): Promise<MongoSchemaIR>;
 /**
  * Mongo control adapter for control-plane operations like introspection
  * and marker-ledger CAS. Implements the family-level `MongoControlAdapter`
- * SPI by extracting the underlying `Db` from the framework-shaped driver
- * per call.
+ * SPI. Every marker/ledger operation builds a canonical command inline via
+ * the contract-free fluent builder and dispatches it through the family
+ * adapter's lowering path (`createMongoAdapter().lower(plan, {})`) onto the
+ * Mongo wire transport (`driver.execute(wireCommand)`) — the same route SQL
+ * marker/ledger ops take through `adapter.lower()` → `driver.query()`.
  */
 declare class MongoControlAdapterImpl implements MongoControlAdapter<'mongo'> {
+  #private;
   readonly familyId: "mongo";
   readonly targetId: "mongo";
   readMarker(driver: ControlDriverInstance<'mongo', 'mongo'>, space: string): Promise<ContractMarkerRecord | null>;
@@ -113,28 +117,7 @@ interface MongoRunnerDependencies {
 declare function createMongoRunnerDeps(controlDriver: ControlDriverInstance<'mongo', 'mongo'>, driver: MongoDriver, _family: ControlFamilyInstance<'mongo', MongoSchemaIR>, controlAdapter?: MongoControlAdapter<'mongo'>): MongoRunnerDependencies;
 //#endregion
 //#region src/exports/control.d.ts
-declare function readMarker(db: Db, space: string): Promise<ContractMarkerRecord | null>;
-declare function readAllMarkers(db: Db): Promise<ReadonlyMap<string, ContractMarkerRecord>>;
-declare function initMarker(db: Db, space: string, destination: {
-  readonly storageHash: string;
-  readonly profileHash: string;
-  readonly invariants?: readonly string[];
-}): Promise<void>;
-declare function updateMarker(db: Db, space: string, expectedFrom: string, destination: {
-  readonly storageHash: string;
-  readonly profileHash: string;
-  readonly invariants?: readonly string[];
-}): Promise<boolean>;
-declare function readLedger(db: Db, space?: string): Promise<readonly LedgerEntryRecord[]>;
-declare function writeLedgerEntry(db: Db, space: string, entry: {
-  readonly edgeId: string;
-  readonly from: string;
-  readonly to: string;
-  readonly migrationName: string;
-  readonly migrationHash: string;
-  readonly operations: readonly unknown[];
-}): Promise<void>;
 declare const mongoAdapterDescriptor: MongoControlAdapterDescriptor<'mongo'>;
 //#endregion
-export { type MarkerOperations, MongoCommandExecutor, MongoControlAdapterImpl, type MongoControlDriverInstance, MongoInspectionExecutor, type MongoRunnerDependencies, createMongoAdapter, createMongoRunnerDeps, mongoAdapterDescriptor as default, mongoAdapterDescriptor, extractDb, initMarker, introspectSchema, isMongoControlDriver, readAllMarkers, readLedger, readMarker, updateMarker, writeLedgerEntry };
+export { type MarkerOperations, MongoCommandExecutor, MongoControlAdapterImpl, type MongoControlDriverInstance, MongoInspectionExecutor, type MongoRunnerDependencies, createMongoAdapter, createMongoRunnerDeps, mongoAdapterDescriptor as default, mongoAdapterDescriptor, extractDb, introspectSchema, isMongoControlDriver };
 //# sourceMappingURL=control.d.mts.map

package/dist/control.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"control.d.mts","names":[],"sources":["../src/core/command-executor.ts","../src/core/introspect-schema.ts","../src/core/mongo-control-adapter.ts","../src/core/mongo-control-driver.ts","../src/core/runner-deps.ts","../src/exports/control.ts"],"mappings":";;;;;;;;;;cAca,oBAAA,YAAgC,sBAAA,CAAuB,OAAA;EAAA,iBACrC,EAAA;cAAA,EAAA,EAAI,EAAA;EAE3B,WAAA,CAAY,GAAA,EAAK,kBAAA,GAAqB,OAAA;EAmBtC,SAAA,CAAU,GAAA,EAAK,gBAAA,GAAmB,OAAA;EAIlC,gBAAA,CAAiB,GAAA,EAAK,uBAAA,GAA0B,OAAA;EAgBhD,cAAA,CAAe,GAAA,EAAK,qBAAA,GAAwB,OAAA;EAI5C,OAAA,CAAQ,GAAA,EAAK,cAAA,GAAiB,OAAA;AAAA;AAAA,cAWzB,uBAAA,YAAmC,6BAAA,CAA8B,OAAA,CAAQ,QAAA;EAAA,iBACvD,EAAA;cAAA,EAAA,EAAI,EAAA;EAE3B,WAAA,CAAY,GAAA,EAAK,kBAAA,GAAqB,OAAA,CAAQ,QAAA;EAW9C,eAAA,CAAgB,IAAA,EAAM,sBAAA,GAAyB,OAAA,CAAQ,QAAA;AAAA;;;iBCMzC,gBAAA,CAAiB,EAAA,EAAI,EAAA,GAAK,OAAA,CAAQ,aAAA;;;;;;;;;cC7D3C,uBAAA,YAAmC,mBAAA;EAAA,SACrC,QAAA;EAAA,SACA,QAAA;EAEH,UAAA,CACJ,MAAA,EAAQ,qBAAA,oBACR,KAAA,WACC,OAAA,CAAQ,oBAAA;EAgBL,cAAA,CACJ,MAAA,EAAQ,qBAAA,qBACP,OAAA,CAAQ,WAAA,SAAoB,oBAAA;EA6BzB,UAAA,CACJ,MAAA,EAAQ,qBAAA,oBACR,KAAA,UACA,WAAA;IAAA,SACW,WAAA;IAAA,SACA,WAAA;IAAA,SACA,UAAA;EAAA,IAEV,OAAA;EAiBG,YAAA,CACJ,MAAA,EAAQ,qBAAA,oBACR,KAAA,UACA,YAAA,UACA,WAAA;IAAA,SACW,WAAA;IAAA,SACA,WAAA;IAAA,SACA,UAAA;EAAA,IAEV,OAAA;EAmCG,gBAAA,CACJ,MAAA,EAAQ,qBAAA,oBACR,KAAA,UACA,KAAA;IAAA,SACW,MAAA;IAAA,SACA,IAAA;IAAA,SACA,EAAA;IAAA,SACA,aAAA;IAAA,SACA,aAAA;IAAA,SACA,UAAA;EAAA,IAEV,OAAA;EAgBG,UAAA,CACJ,MAAA,EAAQ,qBAAA,oBACR,KAAA,YACC,OAAA,UAAiB,iBAAA;EAsDd,gBAAA,CAAiB,MAAA,EAAQ,qBAAA,qBAA0C,OAAA,CAAQ,aAAA;AAAA;;;iBC1OnE,oBAAA,CACd,MAAA,EAAQ,qBAAA,oBACP,MAAA,IAAU,4BAA0B;;;iBCavB,SAAA,CAAU,MAAA,EAAQ,qBAAA,qBAA0C,EAAE;;;AJJ9E;;;;UIoBiB,gBAAA;EACf,UAAA,CAAW,KAAA,WAAgB,OAAA,CAAQ,oBAAA;EACnC,UAAA,CACE,KAAA,UACA,WAAA;IAAA,SACW,WAAA;IAAA,SACA,WAAA;IAAA,SACA,UAAA;EAAA,IAEV,OAAA;EACH,YAAA,CACE,KAAA,UACA,YAAA,UACA,WAAA;IAAA,SACW,WAAA;IAAA,SACA,WAAA;IAAA,SACA,UAAA;EAAA,IAEV,OAAA;EACH,gBAAA,CACE,KAAA,UACA,KAAA;IAAA,SACW,MAAA;IAAA,SACA,IAAA;IAAA,SACA,EAAA;IAAA,SACA,aAAA;IAAA,SACA,aAAA;IAAA,SACA,UAAA;EAAA,IAEV,OAAA;AAAA;AAAA,UAGY,uBAAA;EAAA,SACN,eAAA,EAAiB,sBAAA,CAAuB,OAAA;EAAA,SACxC,kBAAA,EAAoB,6BAAA,CAA8B,OAAA,CAAQ,MAAA;EAAA,SAC1D,OAAA,EAAS,YAAA;EAAA,SACT,MAAA,EAAQ,WAAA;EAAA,SACR,SAAA,EAAW,gBAAA;EAAA,SACX,gBAAA,QAAwB,OAAA,CAAQ,aAAA;AAAA;;;;;;;;;;iBAY3B,qBAAA,CACd,aAAA,EAAe,qBAAA,oBACf,MAAA,EAAQ,WAAA,EAMR,OAAA,EAAS,qBAAA,UAA+B,aAAA,GACxC,cAAA,GAAgB,mBAAA,YACf,uBAAA;;;iBC9DmB,UAAA,CAAW,EAAA,EAAI,EAAA,EAAI,KAAA,WAAgB,OAAA,CAAQ,oBAAA;AAAA,iBAI3C,cAAA,CAAe,EAAA,EAAI,EAAA,GAAK,OAAA,CAAQ,WAAA,SAAoB,oBAAA;AAAA,iBAIpD,UAAA,CACpB,EAAA,EAAI,EAAA,EACJ,KAAA,UACA,WAAA;EAAA,SACW,WAAA;EAAA,SACA,WAAA;EAAA,SACA,UAAA;AAAA,IAEV,OAAO;AAAA,iBAIY,YAAA,CACpB,EAAA,EAAI,EAAA,EACJ,KAAA,UACA,YAAA,UACA,WAAA;EAAA,SACW,WAAA;EAAA,SACA,WAAA;EAAA,SACA,UAAA;AAAA,IAEV,OAAO;AAAA,iBASY,UAAA,CAAW,EAAA,EAAI,EAAA,EAAI,KAAA,YAAiB,OAAA,UAAiB,iBAAA;AAAA,iBAIrD,gBAAA,CACpB,EAAA,EAAI,EAAA,EACJ,KAAA,UACA,KAAA;EAAA,SACW,MAAA;EAAA,SACA,IAAA;EAAA,SACA,EAAA;EAAA,SACA,aAAA;EAAA,SACA,aAAA;EAAA,SACA,UAAA;AAAA,IAEV,OAAO;AAAA,cAIG,sBAAA,EAAwB,6BAA6B"}
+{"version":3,"file":"control.d.mts","names":[],"sources":["../src/core/command-executor.ts","../src/core/introspect-schema.ts","../src/core/mongo-control-adapter.ts","../src/core/mongo-control-driver.ts","../src/core/runner-deps.ts","../src/exports/control.ts"],"mappings":";;;;;;;;;;cAca,oBAAA,YAAgC,sBAAA,CAAuB,OAAA;EAAA,iBACrC,EAAA;cAAA,EAAA,EAAI,EAAA;EAE3B,WAAA,CAAY,GAAA,EAAK,kBAAA,GAAqB,OAAA;EAmBtC,SAAA,CAAU,GAAA,EAAK,gBAAA,GAAmB,OAAA;EAIlC,gBAAA,CAAiB,GAAA,EAAK,uBAAA,GAA0B,OAAA;EAgBhD,cAAA,CAAe,GAAA,EAAK,qBAAA,GAAwB,OAAA;EAI5C,OAAA,CAAQ,GAAA,EAAK,cAAA,GAAiB,OAAA;AAAA;AAAA,cAWzB,uBAAA,YAAmC,6BAAA,CAA8B,OAAA,CAAQ,QAAA;EAAA,iBACvD,EAAA;cAAA,EAAA,EAAI,EAAA;EAE3B,WAAA,CAAY,GAAA,EAAK,kBAAA,GAAqB,OAAA,CAAQ,QAAA;EAW9C,eAAA,CAAgB,IAAA,EAAM,sBAAA,GAAyB,OAAA,CAAQ,QAAA;AAAA;;;iBCMzC,gBAAA,CAAiB,EAAA,EAAI,EAAA,GAAK,OAAA,CAAQ,aAAA;;;;;;;;;AD7ExD;;;cEyBa,uBAAA,YAAmC,mBAAA;EAAA;WACrC,QAAA;EAAA,SACA,QAAA;EAmDH,UAAA,CACJ,MAAA,EAAQ,qBAAA,oBACR,KAAA,WACC,OAAA,CAAQ,oBAAA;EAoBL,cAAA,CACJ,MAAA,EAAQ,qBAAA,qBACP,OAAA,CAAQ,WAAA,SAAoB,oBAAA;EAyBzB,UAAA,CACJ,MAAA,EAAQ,qBAAA,oBACR,KAAA,UACA,WAAA;IAAA,SACW,WAAA;IAAA,SACA,WAAA;IAAA,SACA,UAAA;EAAA,IAEV,OAAA;EAgBG,YAAA,CACJ,MAAA,EAAQ,qBAAA,oBACR,KAAA,UACA,YAAA,UACA,WAAA;IAAA,SACW,WAAA;IAAA,SACA,WAAA;IAAA,SACA,UAAA;EAAA,IAEV,OAAA;EA+BG,gBAAA,CACJ,MAAA,EAAQ,qBAAA,oBACR,KAAA,UACA,KAAA;IAAA,SACW,MAAA;IAAA,SACA,IAAA;IAAA,SACA,EAAA;IAAA,SACA,aAAA;IAAA,SACA,aAAA;IAAA,SACA,UAAA;EAAA,IAEV,OAAA;EAiBG,UAAA,CACJ,MAAA,EAAQ,qBAAA,oBACR,KAAA,YACC,OAAA,UAAiB,iBAAA;EAqDd,gBAAA,CAAiB,MAAA,EAAQ,qBAAA,qBAA0C,OAAA,CAAQ,aAAA;AAAA;;;iBC/RnE,oBAAA,CACd,MAAA,EAAQ,qBAAA,oBACP,MAAA,IAAU,4BAA0B;;;iBCavB,SAAA,CAAU,MAAA,EAAQ,qBAAA,qBAA0C,EAAE;;;AJJ9E;;;;UIoBiB,gBAAA;EACf,UAAA,CAAW,KAAA,WAAgB,OAAA,CAAQ,oBAAA;EACnC,UAAA,CACE,KAAA,UACA,WAAA;IAAA,SACW,WAAA;IAAA,SACA,WAAA;IAAA,SACA,UAAA;EAAA,IAEV,OAAA;EACH,YAAA,CACE,KAAA,UACA,YAAA,UACA,WAAA;IAAA,SACW,WAAA;IAAA,SACA,WAAA;IAAA,SACA,UAAA;EAAA,IAEV,OAAA;EACH,gBAAA,CACE,KAAA,UACA,KAAA;IAAA,SACW,MAAA;IAAA,SACA,IAAA;IAAA,SACA,EAAA;IAAA,SACA,aAAA;IAAA,SACA,aAAA;IAAA,SACA,UAAA;EAAA,IAEV,OAAA;AAAA;AAAA,UAGY,uBAAA;EAAA,SACN,eAAA,EAAiB,sBAAA,CAAuB,OAAA;EAAA,SACxC,kBAAA,EAAoB,6BAAA,CAA8B,OAAA,CAAQ,MAAA;EAAA,SAC1D,OAAA,EAAS,YAAA;EAAA,SACT,MAAA,EAAQ,WAAA;EAAA,SACR,SAAA,EAAW,gBAAA;EAAA,SACX,gBAAA,QAAwB,OAAA,CAAQ,aAAA;AAAA;;;;;;;;;;iBAY3B,qBAAA,CACd,aAAA,EAAe,qBAAA,oBACf,MAAA,EAAQ,WAAA,EAMR,OAAA,EAAS,qBAAA,UAA+B,aAAA,GACxC,cAAA,GAAgB,mBAAA,YACf,uBAAA;;;cC3EU,sBAAA,EAAwB,6BAA6B"}

package/dist/control.mjs

@@ -1,10 +1,13 @@
 import { r as mongoCodecDescriptors, t as createMongoAdapter } from "./mongo-adapter-DAC5qq3o.mjs";
-import { RawAggregateCommand, RawFindOneAndUpdateCommand, RawInsertOneCommand } from "@prisma-next/mongo-query-ast/execution";
+import { MongoAggFieldRef, MongoAggLiteral, MongoAggOperator } from "@prisma-next/mongo-query-ast/execution";
+import { blindCast } from "@prisma-next/utils/casts";
 import { MongoServerError } from "mongodb";
 import { keysToKeySpec } from "@prisma-next/mongo-query-ast/control";
 import { MongoSchemaCollection, MongoSchemaCollectionOptions, MongoSchemaIR, MongoSchemaIndex, MongoSchemaValidator } from "@prisma-next/mongo-schema-ir";
 import { parseMarkerRowSafely, withMarkerReadErrorHandling } from "@prisma-next/errors/execution";
 import { ledgerOriginFromStored } from "@prisma-next/migration-tools/ledger-origin";
+import { expr, fn } from "@prisma-next/mongo-query-builder";
+import { collection } from "@prisma-next/mongo-query-builder/contract-free";
 import { type } from "arktype";
 //#region src/core/command-executor.ts
 var MongoCommandExecutor = class {
@@ -201,19 +204,13 @@ function parseMongoMarkerDocSafely(doc, space) {
 		markerLocation: MONGO_MARKER_COLLECTION
 	});
 }
-async function executeAggregate(db, cmd) {
-	return db.collection(cmd.collection).aggregate(cmd.pipeline).toArray();
-}
-async function executeInsertOne(db, cmd) {
-	await db.collection(cmd.collection).insertOne(cmd.document);
-}
-async function executeFindOneAndUpdate(db, cmd) {
-	return db.collection(cmd.collection).findOneAndUpdate(cmd.filter, cmd.update, { upsert: cmd.upsert });
-}
+//#endregion
+//#region src/core/marker-ledger-collection.ts
+const MARKER_LEDGER_COLLECTION = "_prisma_migrations";
 //#endregion
 //#region src/core/mongo-control-driver.ts
 function isMongoControlDriver(driver) {
-	return driver.familyId === "mongo" && driver.targetId === "mongo";
+	return driver.familyId === "mongo" && driver.targetId === "mongo" && "execute" in driver && typeof driver.execute === "function";
 }
 //#endregion
 //#region src/core/runner-deps.ts
@@ -250,18 +247,65 @@ function createMongoRunnerDeps(controlDriver, driver, _family, controlAdapter =
 /**
 * Mongo control adapter for control-plane operations like introspection
 * and marker-ledger CAS. Implements the family-level `MongoControlAdapter`
-* SPI by extracting the underlying `Db` from the framework-shaped driver
-* per call.
+* SPI. Every marker/ledger operation builds a canonical command inline via
+* the contract-free fluent builder and dispatches it through the family
+* adapter's lowering path (`createMongoAdapter().lower(plan, {})`) onto the
+* Mongo wire transport (`driver.execute(wireCommand)`) — the same route SQL
+* marker/ledger ops take through `adapter.lower()` → `driver.query()`.
 */
 var MongoControlAdapterImpl = class {
 	familyId = "mongo";
 	targetId = "mongo";
+	#adapter = createMongoAdapter();
+	#markerLedgerCollection = collection(MARKER_LEDGER_COLLECTION);
+	async #execute(driver, command) {
+		const plan = {
+			collection: MARKER_LEDGER_COLLECTION,
+			command,
+			meta: {
+				target: "mongo",
+				targetFamily: "mongo",
+				storageHash: "",
+				lane: "control"
+			}
+		};
+		const wireCommand = await this.#adapter.lower(plan, {});
+		if (!isMongoControlDriver(driver)) throw new Error("Mongo control adapter requires a Mongo control driver with an execute() transport. Provide a MongoControlDriver from `@prisma-next/driver-mongo/control`.");
+		const rows = [];
+		for await (const row of driver.execute(wireCommand)) rows.push(row);
+		return rows;
+	}
+	/**
+	* Server-side invariant-merge aggregation expression:
+	* `$sortArray({ input: $setUnion([$ifNull('$invariants', []), incoming]), sortBy: 1 })`.
+	*
+	* Built through the typed agg-expr layer — `fn.setUnion` plus the generic
+	* `MongoAggOperator` for `$ifNull` / `$sortArray` (neither has a named `fn`
+	* helper). Returns a `MongoAggOperator` that is passed directly to
+	* `f.stage.set({ invariants: ... })` in the update pipeline.
+	*/
+	#invariantMergeExpr(incoming) {
+		const existingOrEmpty = MongoAggOperator.of("$ifNull", [MongoAggFieldRef.of("invariants"), MongoAggLiteral.of([])]);
+		const merged = fn.setUnion({
+			_field: {
+				codecId: "mongo/array@1",
+				nullable: false
+			},
+			node: existingOrEmpty
+		}, {
+			_field: {
+				codecId: "mongo/array@1",
+				nullable: false
+			},
+			node: MongoAggLiteral.of([...incoming])
+		});
+		return MongoAggOperator.of("$sortArray", {
+			input: merged.node,
+			sortBy: MongoAggLiteral.of(1)
+		});
+	}
 	async readMarker(driver, space) {
-		const db = extractDb(driver);
-		const doc = (await withMarkerReadErrorHandling(() => executeAggregate(db, new RawAggregateCommand(COLLECTION, [{ $match: {
-			_id: space,
-			space
-		} }, { $limit: 1 }])), {
+		const doc = (await withMarkerReadErrorHandling(() => this.#execute(driver, this.#markerLedgerCollection.aggregate().match((f) => f._id.eq(space)).match((f) => f.space.eq(space)).limit(1).build()), {
 			space,
 			markerLocation: MONGO_MARKER_COLLECTION
 		}))[0];
@@ -269,12 +313,7 @@ var MongoControlAdapterImpl = class {
 		return parseMongoMarkerDocSafely(doc, space);
 	}
 	async readAllMarkers(driver) {
-		const db = extractDb(driver);
-		const docs = await withMarkerReadErrorHandling(() => executeAggregate(db, new RawAggregateCommand(COLLECTION, [{ $match: {
-			_id: { $type: "string" },
-			space: { $type: "string" },
-			$expr: { $eq: ["$_id", "$space"] }
-		} }])), {
+		const docs = await withMarkerReadErrorHandling(() => this.#execute(driver, this.#markerLedgerCollection.aggregate().match((f) => f._id.type("string")).match((f) => f.space.type("string")).match((f) => expr(fn.eq(f._id, f.space))).build()), {
 			space: "app",
 			markerLocation: MONGO_MARKER_COLLECTION
 		});
@@ -288,7 +327,7 @@ var MongoControlAdapterImpl = class {
 		return out;
 	}
 	async initMarker(driver, space, destination) {
-		await executeInsertOne(extractDb(driver), new RawInsertOneCommand(COLLECTION, {
+		const document = {
 			_id: space,
 			space,
 			storageHash: destination.storageHash,
@@ -298,31 +337,25 @@ var MongoControlAdapterImpl = class {
 			updatedAt: /* @__PURE__ */ new Date(),
 			appTag: null,
 			meta: {},
-			invariants: destination.invariants ?? []
-		}));
+			invariants: [...destination.invariants ?? []]
+		};
+		await this.#execute(driver, this.#markerLedgerCollection.insertOne(document));
 	}
 	async updateMarker(driver, space, expectedFrom, destination) {
-		const db = extractDb(driver);
-		const setBase = {
-			storageHash: destination.storageHash,
-			profileHash: destination.profileHash,
-			updatedAt: /* @__PURE__ */ new Date()
-		};
-		const update = destination.invariants === void 0 ? { $set: setBase } : [{ $set: {
-			...setBase,
-			invariants: { $sortArray: {
-				input: { $setUnion: [{ $ifNull: ["$invariants", []] }, destination.invariants] },
-				sortBy: 1
-			} }
-		} }];
-		return await executeFindOneAndUpdate(db, new RawFindOneAndUpdateCommand(COLLECTION, {
-			_id: space,
-			space,
-			storageHash: expectedFrom
-		}, update, false)) !== null;
+		const { invariants } = destination;
+		return (await this.#execute(driver, this.#markerLedgerCollection.match((f) => f._id.eq(space)).match((f) => f.space.eq(space)).match((f) => f.storageHash.eq(expectedFrom)).findOneAndUpdate((f) => [f.stage.set(invariants === void 0 ? {
+			storageHash: MongoAggLiteral.of(destination.storageHash),
+			profileHash: MongoAggLiteral.of(destination.profileHash),
+			updatedAt: MongoAggLiteral.of(/* @__PURE__ */ new Date())
+		} : {
+			storageHash: MongoAggLiteral.of(destination.storageHash),
+			profileHash: MongoAggLiteral.of(destination.profileHash),
+			updatedAt: MongoAggLiteral.of(/* @__PURE__ */ new Date()),
+			invariants: this.#invariantMergeExpr(invariants)
+		})], { upsert: false }))).length > 0;
 	}
 	async writeLedgerEntry(driver, space, entry) {
-		await executeInsertOne(extractDb(driver), new RawInsertOneCommand(COLLECTION, {
+		const document = {
 			type: "ledger",
 			space,
 			edgeId: entry.edgeId,
@@ -330,19 +363,19 @@ var MongoControlAdapterImpl = class {
 			to: entry.to,
 			migrationName: entry.migrationName,
 			migrationHash: entry.migrationHash,
-			operations: entry.operations,
+			operations: blindCast(entry.operations),
 			appliedAt: /* @__PURE__ */ new Date()
-		}));
+		};
+		await this.#execute(driver, this.#markerLedgerCollection.insertOne(document));
 	}
 	async readLedger(driver, space) {
-		const db = extractDb(driver);
 		const ledgerContext = {
 			space: space ?? "*",
 			markerLocation: MONGO_LEDGER_COLLECTION
 		};
-		const matchStage = { type: "ledger" };
-		if (space !== void 0) matchStage["space"] = space;
-		const docs = await withMarkerReadErrorHandling(() => executeAggregate(db, new RawAggregateCommand(COLLECTION, [{ $match: matchStage }, { $sort: { _id: 1 } }])), ledgerContext);
+		const chain = this.#markerLedgerCollection.aggregate().match((f) => f.type.eq("ledger"));
+		const command = space === void 0 ? chain.sort({ _id: 1 }).build() : chain.match((f) => f.space.eq(space)).sort({ _id: 1 }).build();
+		const docs = await withMarkerReadErrorHandling(() => this.#execute(driver, command), ledgerContext);
 		const entries = [];
 		for (const doc of docs) {
 			const migrationName = doc["migrationName"];
@@ -375,33 +408,6 @@ var MongoControlAdapterImpl = class {
 };
 //#endregion
 //#region src/exports/control.ts
-const defaultControlAdapter = new MongoControlAdapterImpl();
-function controlDriverFromDb(db) {
-	return {
-		familyId: "mongo",
-		targetId: "mongo",
-		db,
-		close: async () => {}
-	};
-}
-async function readMarker(db, space) {
-	return defaultControlAdapter.readMarker(controlDriverFromDb(db), space);
-}
-async function readAllMarkers(db) {
-	return defaultControlAdapter.readAllMarkers(controlDriverFromDb(db));
-}
-async function initMarker(db, space, destination) {
-	await defaultControlAdapter.initMarker(controlDriverFromDb(db), space, destination);
-}
-async function updateMarker(db, space, expectedFrom, destination) {
-	return defaultControlAdapter.updateMarker(controlDriverFromDb(db), space, expectedFrom, destination);
-}
-async function readLedger(db, space) {
-	return defaultControlAdapter.readLedger(controlDriverFromDb(db), space);
-}
-async function writeLedgerEntry(db, space, entry) {
-	await defaultControlAdapter.writeLedgerEntry(controlDriverFromDb(db), space, entry);
-}
 const mongoAdapterDescriptor = {
 	kind: "adapter",
 	id: "mongo",
@@ -434,6 +440,6 @@ const mongoAdapterDescriptor = {
 	}
 };
 //#endregion
-export { MongoCommandExecutor, MongoControlAdapterImpl, MongoInspectionExecutor, createMongoAdapter, createMongoRunnerDeps, mongoAdapterDescriptor as default, mongoAdapterDescriptor, extractDb, initMarker, introspectSchema, isMongoControlDriver, readAllMarkers, readLedger, readMarker, updateMarker, writeLedgerEntry };
+export { MongoCommandExecutor, MongoControlAdapterImpl, MongoInspectionExecutor, createMongoAdapter, createMongoRunnerDeps, mongoAdapterDescriptor as default, mongoAdapterDescriptor, extractDb, introspectSchema, isMongoControlDriver };
 
 //# sourceMappingURL=control.mjs.map

package/dist/control.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"control.mjs","names":[],"sources":["../src/core/command-executor.ts","../src/core/introspect-schema.ts","../src/core/marker-ledger.ts","../src/core/mongo-control-driver.ts","../src/core/runner-deps.ts","../src/core/mongo-control-adapter.ts","../src/exports/control.ts"],"sourcesContent":["import type {\n  CollModCommand,\n  CreateCollectionCommand,\n  CreateIndexCommand,\n  DropCollectionCommand,\n  DropIndexCommand,\n  ListCollectionsCommand,\n  ListIndexesCommand,\n  MongoDdlCommandVisitor,\n  MongoInspectionCommandVisitor,\n} from '@prisma-next/mongo-query-ast/control';\nimport { keysToKeySpec } from '@prisma-next/mongo-query-ast/control';\nimport { type Db, type Document, MongoServerError } from 'mongodb';\n\nexport class MongoCommandExecutor implements MongoDdlCommandVisitor<Promise<void>> {\n  constructor(private readonly db: Db) {}\n\n  async createIndex(cmd: CreateIndexCommand): Promise<void> {\n    const keySpec: Document = keysToKeySpec(cmd.keys);\n    const options: Record<string, unknown> = {};\n    if (cmd.unique !== undefined) options['unique'] = cmd.unique;\n    if (cmd.sparse !== undefined) options['sparse'] = cmd.sparse;\n    if (cmd.expireAfterSeconds !== undefined)\n      options['expireAfterSeconds'] = cmd.expireAfterSeconds;\n    if (cmd.partialFilterExpression !== undefined)\n      options['partialFilterExpression'] = cmd.partialFilterExpression;\n    if (cmd.name !== undefined) options['name'] = cmd.name;\n    if (cmd.wildcardProjection !== undefined)\n      options['wildcardProjection'] = cmd.wildcardProjection;\n    if (cmd.collation !== undefined) options['collation'] = cmd.collation;\n    if (cmd.weights !== undefined) options['weights'] = cmd.weights;\n    if (cmd.default_language !== undefined) options['default_language'] = cmd.default_language;\n    if (cmd.language_override !== undefined) options['language_override'] = cmd.language_override;\n    await this.db.collection(cmd.collection).createIndex(keySpec, options);\n  }\n\n  async dropIndex(cmd: DropIndexCommand): Promise<void> {\n    await this.db.collection(cmd.collection).dropIndex(cmd.name);\n  }\n\n  async createCollection(cmd: CreateCollectionCommand): Promise<void> {\n    const options: Record<string, unknown> = {};\n    if (cmd.capped !== undefined) options['capped'] = cmd.capped;\n    if (cmd.size !== undefined) options['size'] = cmd.size;\n    if (cmd.max !== undefined) options['max'] = cmd.max;\n    if (cmd.timeseries !== undefined) options['timeseries'] = cmd.timeseries;\n    if (cmd.collation !== undefined) options['collation'] = cmd.collation;\n    if (cmd.clusteredIndex !== undefined) options['clusteredIndex'] = cmd.clusteredIndex;\n    if (cmd.validator !== undefined) options['validator'] = cmd.validator;\n    if (cmd.validationLevel !== undefined) options['validationLevel'] = cmd.validationLevel;\n    if (cmd.validationAction !== undefined) options['validationAction'] = cmd.validationAction;\n    if (cmd.changeStreamPreAndPostImages !== undefined)\n      options['changeStreamPreAndPostImages'] = cmd.changeStreamPreAndPostImages;\n    await this.db.createCollection(cmd.collection, options);\n  }\n\n  async dropCollection(cmd: DropCollectionCommand): Promise<void> {\n    await this.db.collection(cmd.collection).drop();\n  }\n\n  async collMod(cmd: CollModCommand): Promise<void> {\n    const command: Record<string, unknown> = { collMod: cmd.collection };\n    if (cmd.validator !== undefined) command['validator'] = cmd.validator;\n    if (cmd.validationLevel !== undefined) command['validationLevel'] = cmd.validationLevel;\n    if (cmd.validationAction !== undefined) command['validationAction'] = cmd.validationAction;\n    if (cmd.changeStreamPreAndPostImages !== undefined)\n      command['changeStreamPreAndPostImages'] = cmd.changeStreamPreAndPostImages;\n    await this.db.command(command);\n  }\n}\n\nexport class MongoInspectionExecutor implements MongoInspectionCommandVisitor<Promise<Document[]>> {\n  constructor(private readonly db: Db) {}\n\n  async listIndexes(cmd: ListIndexesCommand): Promise<Document[]> {\n    try {\n      return await this.db.collection(cmd.collection).listIndexes().toArray();\n    } catch (error: unknown) {\n      if (error instanceof MongoServerError && error.code === 26) {\n        return [];\n      }\n      throw error;\n    }\n  }\n\n  async listCollections(_cmd: ListCollectionsCommand): Promise<Document[]> {\n    return this.db.listCollections().toArray();\n  }\n}\n","import type { MongoIndexKey, MongoIndexKeyDirection } from '@prisma-next/mongo-contract';\nimport {\n  MongoSchemaCollection,\n  MongoSchemaCollectionOptions,\n  MongoSchemaIndex,\n  MongoSchemaIR,\n  MongoSchemaValidator,\n} from '@prisma-next/mongo-schema-ir';\nimport type { Db, Document } from 'mongodb';\n\nconst PRISMA_MIGRATIONS_COLLECTION = '_prisma_migrations';\n\nfunction parseIndexKeys(keySpec: Record<string, unknown>): MongoIndexKey[] {\n  const keys: MongoIndexKey[] = [];\n  for (const [field, direction] of Object.entries(keySpec)) {\n    keys.push({ field, direction: direction as MongoIndexKeyDirection });\n  }\n  return keys;\n}\n\n/**\n * Exported for unit tests to exercise the defensive `!key` guard; not part of\n * the public API. Callers in this package use it via the `introspectSchema`\n * pipeline only.\n */\nexport function isDefaultIdIndex(doc: Document): boolean {\n  const key = doc['key'] as Record<string, unknown> | undefined;\n  if (!key) return false;\n  const entries = Object.entries(key);\n  return entries.length === 1 && entries[0]?.[0] === '_id' && entries[0]?.[1] === 1;\n}\n\nfunction parseIndex(doc: Document): MongoSchemaIndex {\n  const keySpec = doc['key'] as Record<string, unknown>;\n  return new MongoSchemaIndex({\n    keys: parseIndexKeys(keySpec),\n    unique: doc['unique'] as boolean | undefined,\n    sparse: doc['sparse'] as boolean | undefined,\n    expireAfterSeconds: doc['expireAfterSeconds'] as number | undefined,\n    partialFilterExpression: doc['partialFilterExpression'] as Record<string, unknown> | undefined,\n    wildcardProjection: doc['wildcardProjection'] as Record<string, 0 | 1> | undefined,\n    collation: doc['collation'] as Record<string, unknown> | undefined,\n    weights: doc['weights'] as Record<string, number> | undefined,\n    default_language: doc['default_language'] as string | undefined,\n    language_override: doc['language_override'] as string | undefined,\n  });\n}\n\nfunction parseValidator(options: Document): MongoSchemaValidator | undefined {\n  const validator = options['validator'] as Record<string, unknown> | undefined;\n  if (!validator) return undefined;\n\n  const jsonSchema = validator['$jsonSchema'] as Record<string, unknown> | undefined;\n  if (!jsonSchema) return undefined;\n\n  return new MongoSchemaValidator({\n    jsonSchema,\n    validationLevel: (options['validationLevel'] as 'strict' | 'moderate') ?? 'strict',\n    validationAction: (options['validationAction'] as 'error' | 'warn') ?? 'error',\n  });\n}\n\nfunction parseCollectionOptions(info: Document): MongoSchemaCollectionOptions | undefined {\n  const options = info['options'] as Record<string, unknown> | undefined;\n  if (!options) return undefined;\n\n  const capped = options['capped'] as boolean | undefined;\n  const size = options['size'] as number | undefined;\n  const max = options['max'] as number | undefined;\n  const timeseries = options['timeseries'] as\n    | { timeField: string; metaField?: string; granularity?: 'seconds' | 'minutes' | 'hours' }\n    | undefined;\n  const collation = options['collation'] as Record<string, unknown> | undefined;\n  const changeStreamPreAndPostImages = options['changeStreamPreAndPostImages'] as\n    | { enabled: boolean }\n    | undefined;\n  const clusteredIndex = options['clusteredIndex'] as { name?: string } | undefined;\n\n  const hasMeaningfulOptions =\n    capped || timeseries || collation || changeStreamPreAndPostImages || clusteredIndex;\n  if (!hasMeaningfulOptions) return undefined;\n\n  return new MongoSchemaCollectionOptions({\n    ...(capped ? { capped: { size: size ?? 0, ...(max != null ? { max } : {}) } } : {}),\n    ...(timeseries ? { timeseries } : {}),\n    ...(collation ? { collation } : {}),\n    ...(changeStreamPreAndPostImages ? { changeStreamPreAndPostImages } : {}),\n    ...(clusteredIndex ? { clusteredIndex } : {}),\n  });\n}\n\nexport async function introspectSchema(db: Db): Promise<MongoSchemaIR> {\n  const collectionInfos = await db.listCollections().toArray();\n\n  const collections: MongoSchemaCollection[] = [];\n\n  for (const info of collectionInfos) {\n    const name = info['name'] as string;\n    const type = info['type'] as string | undefined;\n\n    if (name === PRISMA_MIGRATIONS_COLLECTION) continue;\n    if (name.startsWith('system.')) continue;\n    if (type === 'view') continue;\n\n    const indexDocs = await db.collection(name).listIndexes().toArray();\n    const indexes = indexDocs.filter((doc) => !isDefaultIdIndex(doc)).map(parseIndex);\n\n    const infoOptions = 'options' in info ? (info['options'] as Record<string, unknown>) : {};\n    const validator = parseValidator(infoOptions);\n    const options = parseCollectionOptions(info);\n\n    collections.push(\n      new MongoSchemaCollection({\n        name,\n        indexes,\n        ...(validator ? { validator } : {}),\n        ...(options ? { options } : {}),\n      }),\n    );\n  }\n\n  return new MongoSchemaIR(collections);\n}\n","import type { ContractMarkerRecord } from '@prisma-next/contract/types';\nimport { parseMarkerRowSafely } from '@prisma-next/errors/execution';\nimport type {\n  RawAggregateCommand,\n  RawFindOneAndUpdateCommand,\n  RawInsertOneCommand,\n} from '@prisma-next/mongo-query-ast/execution';\nimport { type } from 'arktype';\nimport type { Db, Document, UpdateFilter } from 'mongodb';\n\nexport const COLLECTION = '_prisma_migrations';\nexport const MONGO_MARKER_COLLECTION = `_prisma_migrations marker documents in ${COLLECTION}`;\nexport const MONGO_LEDGER_COLLECTION = `_prisma_migrations ledger documents in ${COLLECTION}`;\n\nconst MongoMarkerDocSchema = type({\n  space: 'string',\n  storageHash: 'string',\n  profileHash: 'string',\n  'contractJson?': 'unknown | null',\n  'canonicalVersion?': 'number | null',\n  'updatedAt?': 'Date',\n  'appTag?': 'string | null',\n  'meta?': type({ '[string]': 'unknown' }).or('null'),\n  'invariants?': type('string').array(),\n  '+': 'delete',\n});\n\nexport function parseMongoMarkerDoc(doc: unknown): ContractMarkerRecord {\n  const result = MongoMarkerDocSchema(doc);\n  if (result instanceof type.errors) {\n    throw new Error(`Invalid marker doc on ${COLLECTION}: ${result.summary}`);\n  }\n  return {\n    storageHash: result.storageHash,\n    profileHash: result.profileHash,\n    contractJson: result.contractJson ?? null,\n    canonicalVersion: result.canonicalVersion ?? null,\n    updatedAt: result.updatedAt ?? new Date(),\n    appTag: result.appTag ?? null,\n    meta: (result.meta as Record<string, unknown> | null) ?? {},\n    invariants: result.invariants ?? [],\n  };\n}\n\nexport function parseMongoMarkerDocSafely(doc: unknown, space: string): ContractMarkerRecord {\n  return parseMarkerRowSafely(doc, parseMongoMarkerDoc, {\n    space,\n    markerLocation: MONGO_MARKER_COLLECTION,\n  });\n}\n\nexport async function executeAggregate(db: Db, cmd: RawAggregateCommand): Promise<Document[]> {\n  return db\n    .collection(cmd.collection)\n    .aggregate(cmd.pipeline as Record<string, unknown>[])\n    .toArray();\n}\n\nexport async function executeInsertOne(db: Db, cmd: RawInsertOneCommand): Promise<void> {\n  await db.collection(cmd.collection).insertOne(cmd.document);\n}\n\nexport async function executeFindOneAndUpdate(\n  db: Db,\n  cmd: RawFindOneAndUpdateCommand,\n): Promise<Document | null> {\n  return db\n    .collection(cmd.collection)\n    .findOneAndUpdate(cmd.filter, cmd.update as UpdateFilter<Document> | Document[], {\n      upsert: cmd.upsert,\n    });\n}\n","import type { ControlDriverInstance } from '@prisma-next/framework-components/control';\nimport type { MongoControlDriverInstance } from '@prisma-next/mongo-lowering';\n\nexport function isMongoControlDriver(\n  driver: ControlDriverInstance<'mongo', string>,\n): driver is MongoControlDriverInstance {\n  return driver.familyId === 'mongo' && driver.targetId === 'mongo';\n}\n","import type { ContractMarkerRecord } from '@prisma-next/contract/types';\nimport type { MongoControlAdapter } from '@prisma-next/family-mongo/control-adapter';\nimport type {\n  ControlDriverInstance,\n  ControlFamilyInstance,\n} from '@prisma-next/framework-components/control';\nimport type { MongoAdapter, MongoDriver } from '@prisma-next/mongo-lowering';\nimport type {\n  MongoDdlCommandVisitor,\n  MongoInspectionCommandVisitor,\n} from '@prisma-next/mongo-query-ast/control';\nimport type { MongoSchemaIR } from '@prisma-next/mongo-schema-ir';\nimport type { Db } from 'mongodb';\nimport { createMongoAdapter } from '../mongo-adapter';\nimport { MongoCommandExecutor, MongoInspectionExecutor } from './command-executor';\nimport { MongoControlAdapterImpl } from './mongo-control-adapter';\nimport { isMongoControlDriver } from './mongo-control-driver';\n\nexport function extractDb(driver: ControlDriverInstance<'mongo', 'mongo'>): Db {\n  if (!isMongoControlDriver(driver)) {\n    throw new Error(\n      'Expected a Mongo control driver created by ' +\n        'mongoControlDriver.create() from `@prisma-next/driver-mongo/control`.',\n    );\n  }\n  return driver.db;\n}\n\n/**\n * Marker / ledger operations the Mongo runner depends on. Every method\n * takes a `space` parameter so each loaded contract space addresses its\n * own marker row independently — see ADR 212 for the per-space\n * mechanism.\n */\nexport interface MarkerOperations {\n  readMarker(space: string): Promise<ContractMarkerRecord | null>;\n  initMarker(\n    space: string,\n    destination: {\n      readonly storageHash: string;\n      readonly profileHash: string;\n      readonly invariants?: readonly string[];\n    },\n  ): Promise<void>;\n  updateMarker(\n    space: string,\n    expectedFrom: string,\n    destination: {\n      readonly storageHash: string;\n      readonly profileHash: string;\n      readonly invariants?: readonly string[];\n    },\n  ): Promise<boolean>;\n  writeLedgerEntry(\n    space: string,\n    entry: {\n      readonly edgeId: string;\n      readonly from: string;\n      readonly to: string;\n      readonly migrationName: string;\n      readonly migrationHash: string;\n      readonly operations: readonly unknown[];\n    },\n  ): Promise<void>;\n}\n\nexport interface MongoRunnerDependencies {\n  readonly commandExecutor: MongoDdlCommandVisitor<Promise<void>>;\n  readonly inspectionExecutor: MongoInspectionCommandVisitor<Promise<Record<string, unknown>[]>>;\n  readonly adapter: MongoAdapter;\n  readonly driver: MongoDriver;\n  readonly markerOps: MarkerOperations;\n  readonly introspectSchema: () => Promise<MongoSchemaIR>;\n}\n\n/**\n * Build the runner-dependencies envelope. `controlAdapter` is the\n * dispatch surface for wire-level Mongo CAS operations (marker reads,\n * marker advances, ledger appends, introspection); the envelope's\n * `markerOps` shim simply forwards each call through it. When the\n * caller already has a `MongoControlAdapter` on the control stack it\n * can pass it in; otherwise a default `MongoControlAdapterImpl` is\n * constructed locally.\n */\nexport function createMongoRunnerDeps(\n  controlDriver: ControlDriverInstance<'mongo', 'mongo'>,\n  driver: MongoDriver,\n  // Vestigial after the family→adapter SPI refactor: the runner dependencies\n  // now route every wire-level call through `controlAdapter`, so the `family`\n  // instance is no longer consulted. Kept on the signature to avoid rippling\n  // through ~14 call sites; a follow-up that already touches this factory\n  // should drop the parameter outright.\n  _family: ControlFamilyInstance<'mongo', MongoSchemaIR>,\n  controlAdapter: MongoControlAdapter<'mongo'> = new MongoControlAdapterImpl(),\n): MongoRunnerDependencies {\n  return {\n    commandExecutor: new MongoCommandExecutor(extractDb(controlDriver)),\n    inspectionExecutor: new MongoInspectionExecutor(extractDb(controlDriver)),\n    adapter: createMongoAdapter(),\n    driver,\n    markerOps: {\n      readMarker: (space) => controlAdapter.readMarker(controlDriver, space),\n      initMarker: (space, dest) => controlAdapter.initMarker(controlDriver, space, dest),\n      updateMarker: (space, expectedFrom, dest) =>\n        controlAdapter.updateMarker(controlDriver, space, expectedFrom, dest),\n      writeLedgerEntry: (space, entry) =>\n        controlAdapter.writeLedgerEntry(controlDriver, space, entry),\n    },\n    introspectSchema: () => controlAdapter.introspectSchema(controlDriver),\n  };\n}\n","import type { ContractMarkerRecord, LedgerEntryRecord } from '@prisma-next/contract/types';\nimport { withMarkerReadErrorHandling } from '@prisma-next/errors/execution';\nimport type { MongoControlAdapter } from '@prisma-next/family-mongo/control-adapter';\nimport type { ControlDriverInstance } from '@prisma-next/framework-components/control';\nimport { ledgerOriginFromStored } from '@prisma-next/migration-tools/ledger-origin';\nimport {\n  RawAggregateCommand,\n  RawFindOneAndUpdateCommand,\n  RawInsertOneCommand,\n} from '@prisma-next/mongo-query-ast/execution';\nimport type { MongoSchemaIR } from '@prisma-next/mongo-schema-ir';\nimport type { Document } from 'mongodb';\nimport { introspectSchema } from './introspect-schema';\nimport {\n  COLLECTION,\n  executeAggregate,\n  executeFindOneAndUpdate,\n  executeInsertOne,\n  MONGO_LEDGER_COLLECTION,\n  MONGO_MARKER_COLLECTION,\n  parseMongoMarkerDocSafely,\n} from './marker-ledger';\nimport { extractDb } from './runner-deps';\n\n/**\n * Mongo control adapter for control-plane operations like introspection\n * and marker-ledger CAS. Implements the family-level `MongoControlAdapter`\n * SPI by extracting the underlying `Db` from the framework-shaped driver\n * per call.\n */\nexport class MongoControlAdapterImpl implements MongoControlAdapter<'mongo'> {\n  readonly familyId = 'mongo' as const;\n  readonly targetId = 'mongo' as const;\n\n  async readMarker(\n    driver: ControlDriverInstance<'mongo', 'mongo'>,\n    space: string,\n  ): Promise<ContractMarkerRecord | null> {\n    const db = extractDb(driver);\n    const markerContext = { space, markerLocation: MONGO_MARKER_COLLECTION };\n    const docs = await withMarkerReadErrorHandling(\n      () =>\n        executeAggregate(\n          db,\n          new RawAggregateCommand(COLLECTION, [{ $match: { _id: space, space } }, { $limit: 1 }]),\n        ),\n      markerContext,\n    );\n    const doc = docs[0];\n    if (!doc) return null;\n    return parseMongoMarkerDocSafely(doc, space);\n  }\n\n  async readAllMarkers(\n    driver: ControlDriverInstance<'mongo', 'mongo'>,\n  ): Promise<ReadonlyMap<string, ContractMarkerRecord>> {\n    const db = extractDb(driver);\n    const markerContext = { space: 'app', markerLocation: MONGO_MARKER_COLLECTION };\n    const docs = await withMarkerReadErrorHandling(\n      () =>\n        executeAggregate(\n          db,\n          new RawAggregateCommand(COLLECTION, [\n            {\n              $match: {\n                _id: { $type: 'string' },\n                space: { $type: 'string' },\n                $expr: { $eq: ['$_id', '$space'] },\n              },\n            },\n          ]),\n        ),\n      markerContext,\n    );\n    const out = new Map<string, ContractMarkerRecord>();\n    for (const doc of docs) {\n      const space = doc['space'];\n      /* v8 ignore next -- @preserve type-narrowing guard: the $match stage above filters on `space: { $type: 'string' }`, so this branch is unreachable at runtime. The check exists so the `out.set(space, ...)` call below can accept `string`. */\n      if (typeof space !== 'string') continue;\n      out.set(space, parseMongoMarkerDocSafely(doc, space));\n    }\n    return out;\n  }\n\n  async initMarker(\n    driver: ControlDriverInstance<'mongo', 'mongo'>,\n    space: string,\n    destination: {\n      readonly storageHash: string;\n      readonly profileHash: string;\n      readonly invariants?: readonly string[];\n    },\n  ): Promise<void> {\n    const db = extractDb(driver);\n    const cmd = new RawInsertOneCommand(COLLECTION, {\n      _id: space,\n      space,\n      storageHash: destination.storageHash,\n      profileHash: destination.profileHash,\n      contractJson: null,\n      canonicalVersion: null,\n      updatedAt: new Date(),\n      appTag: null,\n      meta: {},\n      invariants: destination.invariants ?? [],\n    });\n    await executeInsertOne(db, cmd);\n  }\n\n  async updateMarker(\n    driver: ControlDriverInstance<'mongo', 'mongo'>,\n    space: string,\n    expectedFrom: string,\n    destination: {\n      readonly storageHash: string;\n      readonly profileHash: string;\n      readonly invariants?: readonly string[];\n    },\n  ): Promise<boolean> {\n    const db = extractDb(driver);\n    const setBase: Record<string, unknown> = {\n      storageHash: destination.storageHash,\n      profileHash: destination.profileHash,\n      updatedAt: new Date(),\n    };\n    const update: Document | Document[] =\n      destination.invariants === undefined\n        ? { $set: setBase }\n        : [\n            {\n              $set: {\n                ...setBase,\n                invariants: {\n                  $sortArray: {\n                    input: {\n                      $setUnion: [{ $ifNull: ['$invariants', []] }, destination.invariants],\n                    },\n                    sortBy: 1,\n                  },\n                },\n              },\n            },\n          ];\n    const cmd = new RawFindOneAndUpdateCommand(\n      COLLECTION,\n      { _id: space, space, storageHash: expectedFrom },\n      update,\n      false,\n    );\n    const result = await executeFindOneAndUpdate(db, cmd);\n    return result !== null;\n  }\n\n  async writeLedgerEntry(\n    driver: ControlDriverInstance<'mongo', 'mongo'>,\n    space: string,\n    entry: {\n      readonly edgeId: string;\n      readonly from: string;\n      readonly to: string;\n      readonly migrationName: string;\n      readonly migrationHash: string;\n      readonly operations: readonly unknown[];\n    },\n  ): Promise<void> {\n    const db = extractDb(driver);\n    const cmd = new RawInsertOneCommand(COLLECTION, {\n      type: 'ledger',\n      space,\n      edgeId: entry.edgeId,\n      from: entry.from,\n      to: entry.to,\n      migrationName: entry.migrationName,\n      migrationHash: entry.migrationHash,\n      operations: entry.operations,\n      appliedAt: new Date(),\n    });\n    await executeInsertOne(db, cmd);\n  }\n\n  async readLedger(\n    driver: ControlDriverInstance<'mongo', 'mongo'>,\n    space?: string,\n  ): Promise<readonly LedgerEntryRecord[]> {\n    const db = extractDb(driver);\n    const ledgerContext = { space: space ?? '*', markerLocation: MONGO_LEDGER_COLLECTION };\n    const matchStage: Record<string, unknown> = { type: 'ledger' };\n    if (space !== undefined) {\n      matchStage['space'] = space;\n    }\n    const docs = await withMarkerReadErrorHandling(\n      () =>\n        executeAggregate(\n          db,\n          new RawAggregateCommand(COLLECTION, [{ $match: matchStage }, { $sort: { _id: 1 } }]),\n        ),\n      ledgerContext,\n    );\n\n    const entries: LedgerEntryRecord[] = [];\n    for (const doc of docs) {\n      const migrationName = doc['migrationName'];\n      const migrationHash = doc['migrationHash'];\n      const from = doc['from'];\n      const to = doc['to'];\n      const docSpace = doc['space'];\n      if (typeof migrationName !== 'string' || typeof migrationHash !== 'string') {\n        continue;\n      }\n      if (typeof from !== 'string' || typeof to !== 'string') {\n        continue;\n      }\n      if (typeof docSpace !== 'string') {\n        continue;\n      }\n      const appliedAt = doc['appliedAt'];\n      const appliedAtDate =\n        appliedAt instanceof Date\n          ? appliedAt\n          : appliedAt !== undefined\n            ? new Date(String(appliedAt))\n            : new Date();\n      const operations = doc['operations'];\n      const opList = Array.isArray(operations) ? operations : [];\n      entries.push({\n        space: docSpace,\n        migrationName,\n        migrationHash,\n        from: ledgerOriginFromStored(from),\n        to,\n        appliedAt: appliedAtDate,\n        operationCount: opList.length,\n      });\n    }\n    return entries;\n  }\n\n  async introspectSchema(driver: ControlDriverInstance<'mongo', 'mongo'>): Promise<MongoSchemaIR> {\n    return introspectSchema(extractDb(driver));\n  }\n}\n","import type { ContractMarkerRecord, LedgerEntryRecord } from '@prisma-next/contract/types';\nimport type { MongoControlAdapterDescriptor } from '@prisma-next/family-mongo/control-adapter';\nimport type { ControlDriverInstance } from '@prisma-next/framework-components/control';\nimport type { Db } from 'mongodb';\n\nexport type { MongoControlDriverInstance } from '@prisma-next/mongo-lowering';\nexport { MongoCommandExecutor, MongoInspectionExecutor } from '../core/command-executor';\nexport { introspectSchema } from '../core/introspect-schema';\nexport { MongoControlAdapterImpl } from '../core/mongo-control-adapter';\nexport { isMongoControlDriver } from '../core/mongo-control-driver';\nexport {\n  createMongoRunnerDeps,\n  extractDb,\n  type MarkerOperations,\n  type MongoRunnerDependencies,\n} from '../core/runner-deps';\nexport { createMongoAdapter } from '../mongo-adapter';\n\nimport { mongoCodecDescriptors } from '../core/codecs';\nimport { MongoControlAdapterImpl } from '../core/mongo-control-adapter';\n\nconst defaultControlAdapter = new MongoControlAdapterImpl();\n\nfunction controlDriverFromDb(db: Db): ControlDriverInstance<'mongo', 'mongo'> & { db: Db } {\n  return {\n    familyId: 'mongo',\n    targetId: 'mongo',\n    db,\n    close: async () => {},\n  };\n}\n\nexport async function readMarker(db: Db, space: string): Promise<ContractMarkerRecord | null> {\n  return defaultControlAdapter.readMarker(controlDriverFromDb(db), space);\n}\n\nexport async function readAllMarkers(db: Db): Promise<ReadonlyMap<string, ContractMarkerRecord>> {\n  return defaultControlAdapter.readAllMarkers(controlDriverFromDb(db));\n}\n\nexport async function initMarker(\n  db: Db,\n  space: string,\n  destination: {\n    readonly storageHash: string;\n    readonly profileHash: string;\n    readonly invariants?: readonly string[];\n  },\n): Promise<void> {\n  await defaultControlAdapter.initMarker(controlDriverFromDb(db), space, destination);\n}\n\nexport async function updateMarker(\n  db: Db,\n  space: string,\n  expectedFrom: string,\n  destination: {\n    readonly storageHash: string;\n    readonly profileHash: string;\n    readonly invariants?: readonly string[];\n  },\n): Promise<boolean> {\n  return defaultControlAdapter.updateMarker(\n    controlDriverFromDb(db),\n    space,\n    expectedFrom,\n    destination,\n  );\n}\n\nexport async function readLedger(db: Db, space?: string): Promise<readonly LedgerEntryRecord[]> {\n  return defaultControlAdapter.readLedger(controlDriverFromDb(db), space);\n}\n\nexport async function writeLedgerEntry(\n  db: Db,\n  space: string,\n  entry: {\n    readonly edgeId: string;\n    readonly from: string;\n    readonly to: string;\n    readonly migrationName: string;\n    readonly migrationHash: string;\n    readonly operations: readonly unknown[];\n  },\n): Promise<void> {\n  await defaultControlAdapter.writeLedgerEntry(controlDriverFromDb(db), space, entry);\n}\n\nexport const mongoAdapterDescriptor: MongoControlAdapterDescriptor<'mongo'> = {\n  kind: 'adapter',\n  id: 'mongo',\n  familyId: 'mongo',\n  targetId: 'mongo',\n  version: '0.0.1',\n  scalarTypeDescriptors: new Map([\n    ['String', 'mongo/string@1'],\n    ['Int', 'mongo/int32@1'],\n    ['Boolean', 'mongo/bool@1'],\n    ['DateTime', 'mongo/date@1'],\n    ['ObjectId', 'mongo/objectId@1'],\n    ['Float', 'mongo/double@1'],\n  ]),\n  types: {\n    codecTypes: {\n      codecDescriptors: mongoCodecDescriptors,\n      import: {\n        package: '@prisma-next/adapter-mongo/codec-types',\n        named: 'CodecTypes',\n        alias: 'MongoCodecTypes',\n      },\n      typeImports: [\n        {\n          package: '@prisma-next/adapter-mongo/codec-types',\n          named: 'Vector',\n          alias: 'Vector',\n        },\n      ],\n    },\n  },\n  create(_stack) {\n    return new MongoControlAdapterImpl();\n  },\n};\n\nexport default mongoAdapterDescriptor;\n"],"mappings":";;;;;;;;;AAcA,IAAa,uBAAb,MAAmF;CACpD;CAA7B,YAAY,IAAyB;EAAR,KAAA,KAAA;CAAS;CAEtC,MAAM,YAAY,KAAwC;EACxD,MAAM,UAAoB,cAAc,IAAI,IAAI;EAChD,MAAM,UAAmC,CAAC;EAC1C,IAAI,IAAI,WAAW,KAAA,GAAW,QAAQ,YAAY,IAAI;EACtD,IAAI,IAAI,WAAW,KAAA,GAAW,QAAQ,YAAY,IAAI;EACtD,IAAI,IAAI,uBAAuB,KAAA,GAC7B,QAAQ,wBAAwB,IAAI;EACtC,IAAI,IAAI,4BAA4B,KAAA,GAClC,QAAQ,6BAA6B,IAAI;EAC3C,IAAI,IAAI,SAAS,KAAA,GAAW,QAAQ,UAAU,IAAI;EAClD,IAAI,IAAI,uBAAuB,KAAA,GAC7B,QAAQ,wBAAwB,IAAI;EACtC,IAAI,IAAI,cAAc,KAAA,GAAW,QAAQ,eAAe,IAAI;EAC5D,IAAI,IAAI,YAAY,KAAA,GAAW,QAAQ,aAAa,IAAI;EACxD,IAAI,IAAI,qBAAqB,KAAA,GAAW,QAAQ,sBAAsB,IAAI;EAC1E,IAAI,IAAI,sBAAsB,KAAA,GAAW,QAAQ,uBAAuB,IAAI;EAC5E,MAAM,KAAK,GAAG,WAAW,IAAI,UAAU,EAAE,YAAY,SAAS,OAAO;CACvE;CAEA,MAAM,UAAU,KAAsC;EACpD,MAAM,KAAK,GAAG,WAAW,IAAI,UAAU,EAAE,UAAU,IAAI,IAAI;CAC7D;CAEA,MAAM,iBAAiB,KAA6C;EAClE,MAAM,UAAmC,CAAC;EAC1C,IAAI,IAAI,WAAW,KAAA,GAAW,QAAQ,YAAY,IAAI;EACtD,IAAI,IAAI,SAAS,KAAA,GAAW,QAAQ,UAAU,IAAI;EAClD,IAAI,IAAI,QAAQ,KAAA,GAAW,QAAQ,SAAS,IAAI;EAChD,IAAI,IAAI,eAAe,KAAA,GAAW,QAAQ,gBAAgB,IAAI;EAC9D,IAAI,IAAI,cAAc,KAAA,GAAW,QAAQ,eAAe,IAAI;EAC5D,IAAI,IAAI,mBAAmB,KAAA,GAAW,QAAQ,oBAAoB,IAAI;EACtE,IAAI,IAAI,cAAc,KAAA,GAAW,QAAQ,eAAe,IAAI;EAC5D,IAAI,IAAI,oBAAoB,KAAA,GAAW,QAAQ,qBAAqB,IAAI;EACxE,IAAI,IAAI,qBAAqB,KAAA,GAAW,QAAQ,sBAAsB,IAAI;EAC1E,IAAI,IAAI,iCAAiC,KAAA,GACvC,QAAQ,kCAAkC,IAAI;EAChD,MAAM,KAAK,GAAG,iBAAiB,IAAI,YAAY,OAAO;CACxD;CAEA,MAAM,eAAe,KAA2C;EAC9D,MAAM,KAAK,GAAG,WAAW,IAAI,UAAU,EAAE,KAAK;CAChD;CAEA,MAAM,QAAQ,KAAoC;EAChD,MAAM,UAAmC,EAAE,SAAS,IAAI,WAAW;EACnE,IAAI,IAAI,cAAc,KAAA,GAAW,QAAQ,eAAe,IAAI;EAC5D,IAAI,IAAI,oBAAoB,KAAA,GAAW,QAAQ,qBAAqB,IAAI;EACxE,IAAI,IAAI,qBAAqB,KAAA,GAAW,QAAQ,sBAAsB,IAAI;EAC1E,IAAI,IAAI,iCAAiC,KAAA,GACvC,QAAQ,kCAAkC,IAAI;EAChD,MAAM,KAAK,GAAG,QAAQ,OAAO;CAC/B;AACF;AAEA,IAAa,0BAAb,MAAmG;CACpE;CAA7B,YAAY,IAAyB;EAAR,KAAA,KAAA;CAAS;CAEtC,MAAM,YAAY,KAA8C;EAC9D,IAAI;GACF,OAAO,MAAM,KAAK,GAAG,WAAW,IAAI,UAAU,EAAE,YAAY,EAAE,QAAQ;EACxE,SAAS,OAAgB;GACvB,IAAI,iBAAiB,oBAAoB,MAAM,SAAS,IACtD,OAAO,CAAC;GAEV,MAAM;EACR;CACF;CAEA,MAAM,gBAAgB,MAAmD;EACvE,OAAO,KAAK,GAAG,gBAAgB,EAAE,QAAQ;CAC3C;AACF;;;AC9EA,MAAM,+BAA+B;AAErC,SAAS,eAAe,SAAmD;CACzE,MAAM,OAAwB,CAAC;CAC/B,KAAK,MAAM,CAAC,OAAO,cAAc,OAAO,QAAQ,OAAO,GACrD,KAAK,KAAK;EAAE;EAAkB;CAAoC,CAAC;CAErE,OAAO;AACT;;;;;;AAOA,SAAgB,iBAAiB,KAAwB;CACvD,MAAM,MAAM,IAAI;CAChB,IAAI,CAAC,KAAK,OAAO;CACjB,MAAM,UAAU,OAAO,QAAQ,GAAG;CAClC,OAAO,QAAQ,WAAW,KAAK,QAAQ,KAAK,OAAO,SAAS,QAAQ,KAAK,OAAO;AAClF;AAEA,SAAS,WAAW,KAAiC;CACnD,MAAM,UAAU,IAAI;CACpB,OAAO,IAAI,iBAAiB;EAC1B,MAAM,eAAe,OAAO;EAC5B,QAAQ,IAAI;EACZ,QAAQ,IAAI;EACZ,oBAAoB,IAAI;EACxB,yBAAyB,IAAI;EAC7B,oBAAoB,IAAI;EACxB,WAAW,IAAI;EACf,SAAS,IAAI;EACb,kBAAkB,IAAI;EACtB,mBAAmB,IAAI;CACzB,CAAC;AACH;AAEA,SAAS,eAAe,SAAqD;CAC3E,MAAM,YAAY,QAAQ;CAC1B,IAAI,CAAC,WAAW,OAAO,KAAA;CAEvB,MAAM,aAAa,UAAU;CAC7B,IAAI,CAAC,YAAY,OAAO,KAAA;CAExB,OAAO,IAAI,qBAAqB;EAC9B;EACA,iBAAkB,QAAQ,sBAAgD;EAC1E,kBAAmB,QAAQ,uBAA4C;CACzE,CAAC;AACH;AAEA,SAAS,uBAAuB,MAA0D;CACxF,MAAM,UAAU,KAAK;CACrB,IAAI,CAAC,SAAS,OAAO,KAAA;CAErB,MAAM,SAAS,QAAQ;CACvB,MAAM,OAAO,QAAQ;CACrB,MAAM,MAAM,QAAQ;CACpB,MAAM,aAAa,QAAQ;CAG3B,MAAM,YAAY,QAAQ;CAC1B,MAAM,+BAA+B,QAAQ;CAG7C,MAAM,iBAAiB,QAAQ;CAI/B,IAAI,EADF,UAAU,cAAc,aAAa,gCAAgC,iBAC5C,OAAO,KAAA;CAElC,OAAO,IAAI,6BAA6B;EACtC,GAAI,SAAS,EAAE,QAAQ;GAAE,MAAM,QAAQ;GAAG,GAAI,OAAO,OAAO,EAAE,IAAI,IAAI,CAAC;EAAG,EAAE,IAAI,CAAC;EACjF,GAAI,aAAa,EAAE,WAAW,IAAI,CAAC;EACnC,GAAI,YAAY,EAAE,UAAU,IAAI,CAAC;EACjC,GAAI,+BAA+B,EAAE,6BAA6B,IAAI,CAAC;EACvE,GAAI,iBAAiB,EAAE,eAAe,IAAI,CAAC;CAC7C,CAAC;AACH;AAEA,eAAsB,iBAAiB,IAAgC;CACrE,MAAM,kBAAkB,MAAM,GAAG,gBAAgB,EAAE,QAAQ;CAE3D,MAAM,cAAuC,CAAC;CAE9C,KAAK,MAAM,QAAQ,iBAAiB;EAClC,MAAM,OAAO,KAAK;EAClB,MAAM,OAAO,KAAK;EAElB,IAAI,SAAS,8BAA8B;EAC3C,IAAI,KAAK,WAAW,SAAS,GAAG;EAChC,IAAI,SAAS,QAAQ;EAGrB,MAAM,WAAU,MADQ,GAAG,WAAW,IAAI,EAAE,YAAY,EAAE,QAAQ,GACxC,QAAQ,QAAQ,CAAC,iBAAiB,GAAG,CAAC,EAAE,IAAI,UAAU;EAGhF,MAAM,YAAY,eADE,aAAa,OAAQ,KAAK,aAAyC,CAAC,CAC5C;EAC5C,MAAM,UAAU,uBAAuB,IAAI;EAE3C,YAAY,KACV,IAAI,sBAAsB;GACxB;GACA;GACA,GAAI,YAAY,EAAE,UAAU,IAAI,CAAC;GACjC,GAAI,UAAU,EAAE,QAAQ,IAAI,CAAC;EAC/B,CAAC,CACH;CACF;CAEA,OAAO,IAAI,cAAc,WAAW;AACtC;;;AChHA,MAAa,aAAa;AAC1B,MAAa,0BAA0B,0CAA0C;AACjF,MAAa,0BAA0B,0CAA0C;AAEjF,MAAM,uBAAuB,KAAK;CAChC,OAAO;CACP,aAAa;CACb,aAAa;CACb,iBAAiB;CACjB,qBAAqB;CACrB,cAAc;CACd,WAAW;CACX,SAAS,KAAK,EAAE,YAAY,UAAU,CAAC,EAAE,GAAG,MAAM;CAClD,eAAe,KAAK,QAAQ,EAAE,MAAM;CACpC,KAAK;AACP,CAAC;AAED,SAAgB,oBAAoB,KAAoC;CACtE,MAAM,SAAS,qBAAqB,GAAG;CACvC,IAAI,kBAAkB,KAAK,QACzB,MAAM,IAAI,MAAM,yBAAyB,WAAW,IAAI,OAAO,SAAS;CAE1E,OAAO;EACL,aAAa,OAAO;EACpB,aAAa,OAAO;EACpB,cAAc,OAAO,gBAAgB;EACrC,kBAAkB,OAAO,oBAAoB;EAC7C,WAAW,OAAO,6BAAa,IAAI,KAAK;EACxC,QAAQ,OAAO,UAAU;EACzB,MAAO,OAAO,QAA2C,CAAC;EAC1D,YAAY,OAAO,cAAc,CAAC;CACpC;AACF;AAEA,SAAgB,0BAA0B,KAAc,OAAqC;CAC3F,OAAO,qBAAqB,KAAK,qBAAqB;EACpD;EACA,gBAAgB;CAClB,CAAC;AACH;AAEA,eAAsB,iBAAiB,IAAQ,KAA+C;CAC5F,OAAO,GACJ,WAAW,IAAI,UAAU,EACzB,UAAU,IAAI,QAAqC,EACnD,QAAQ;AACb;AAEA,eAAsB,iBAAiB,IAAQ,KAAyC;CACtF,MAAM,GAAG,WAAW,IAAI,UAAU,EAAE,UAAU,IAAI,QAAQ;AAC5D;AAEA,eAAsB,wBACpB,IACA,KAC0B;CAC1B,OAAO,GACJ,WAAW,IAAI,UAAU,EACzB,iBAAiB,IAAI,QAAQ,IAAI,QAA+C,EAC/E,QAAQ,IAAI,OACd,CAAC;AACL;;;ACpEA,SAAgB,qBACd,QACsC;CACtC,OAAO,OAAO,aAAa,WAAW,OAAO,aAAa;AAC5D;;;ACWA,SAAgB,UAAU,QAAqD;CAC7E,IAAI,CAAC,qBAAqB,MAAM,GAC9B,MAAM,IAAI,MACR,kHAEF;CAEF,OAAO,OAAO;AAChB;;;;;;;;;;AA0DA,SAAgB,sBACd,eACA,QAMA,SACA,iBAA+C,IAAI,wBAAwB,GAClD;CACzB,OAAO;EACL,iBAAiB,IAAI,qBAAqB,UAAU,aAAa,CAAC;EAClE,oBAAoB,IAAI,wBAAwB,UAAU,aAAa,CAAC;EACxE,SAAS,mBAAmB;EAC5B;EACA,WAAW;GACT,aAAa,UAAU,eAAe,WAAW,eAAe,KAAK;GACrE,aAAa,OAAO,SAAS,eAAe,WAAW,eAAe,OAAO,IAAI;GACjF,eAAe,OAAO,cAAc,SAClC,eAAe,aAAa,eAAe,OAAO,cAAc,IAAI;GACtE,mBAAmB,OAAO,UACxB,eAAe,iBAAiB,eAAe,OAAO,KAAK;EAC/D;EACA,wBAAwB,eAAe,iBAAiB,aAAa;CACvE;AACF;;;;;;;;;AChFA,IAAa,0BAAb,MAA6E;CAC3E,WAAoB;CACpB,WAAoB;CAEpB,MAAM,WACJ,QACA,OACsC;EACtC,MAAM,KAAK,UAAU,MAAM;EAU3B,MAAM,OAAM,MARO,kCAEf,iBACE,IACA,IAAI,oBAAoB,YAAY,CAAC,EAAE,QAAQ;GAAE,KAAK;GAAO;EAAM,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,CAAC,CACxF,GACF;GAPsB;GAAO,gBAAgB;EAOjC,CACd,GACiB;EACjB,IAAI,CAAC,KAAK,OAAO;EACjB,OAAO,0BAA0B,KAAK,KAAK;CAC7C;CAEA,MAAM,eACJ,QACoD;EACpD,MAAM,KAAK,UAAU,MAAM;EAE3B,MAAM,OAAO,MAAM,kCAEf,iBACE,IACA,IAAI,oBAAoB,YAAY,CAClC,EACE,QAAQ;GACN,KAAK,EAAE,OAAO,SAAS;GACvB,OAAO,EAAE,OAAO,SAAS;GACzB,OAAO,EAAE,KAAK,CAAC,QAAQ,QAAQ,EAAE;EACnC,EACF,CACF,CAAC,CACH,GACF;GAfsB,OAAO;GAAO,gBAAgB;EAexC,CACd;EACA,MAAM,sBAAM,IAAI,IAAkC;EAClD,KAAK,MAAM,OAAO,MAAM;GACtB,MAAM,QAAQ,IAAI;;GAElB,IAAI,OAAO,UAAU,UAAU;GAC/B,IAAI,IAAI,OAAO,0BAA0B,KAAK,KAAK,CAAC;EACtD;EACA,OAAO;CACT;CAEA,MAAM,WACJ,QACA,OACA,aAKe;EAcf,MAAM,iBAbK,UAAU,MAaG,GAAG,IAZX,oBAAoB,YAAY;GAC9C,KAAK;GACL;GACA,aAAa,YAAY;GACzB,aAAa,YAAY;GACzB,cAAc;GACd,kBAAkB;GAClB,2BAAW,IAAI,KAAK;GACpB,QAAQ;GACR,MAAM,CAAC;GACP,YAAY,YAAY,cAAc,CAAC;EACzC,CAC6B,CAAC;CAChC;CAEA,MAAM,aACJ,QACA,OACA,cACA,aAKkB;EAClB,MAAM,KAAK,UAAU,MAAM;EAC3B,MAAM,UAAmC;GACvC,aAAa,YAAY;GACzB,aAAa,YAAY;GACzB,2BAAW,IAAI,KAAK;EACtB;EACA,MAAM,SACJ,YAAY,eAAe,KAAA,IACvB,EAAE,MAAM,QAAQ,IAChB,CACE,EACE,MAAM;GACJ,GAAG;GACH,YAAY,EACV,YAAY;IACV,OAAO,EACL,WAAW,CAAC,EAAE,SAAS,CAAC,eAAe,CAAC,CAAC,EAAE,GAAG,YAAY,UAAU,EACtE;IACA,QAAQ;GACV,EACF;EACF,EACF,CACF;EAQN,OAAO,MADc,wBAAwB,IAAI,IANjC,2BACd,YACA;GAAE,KAAK;GAAO;GAAO,aAAa;EAAa,GAC/C,QACA,KAEiD,CAAC,MAClC;CACpB;CAEA,MAAM,iBACJ,QACA,OACA,OAQe;EAaf,MAAM,iBAZK,UAAU,MAYG,GAAG,IAXX,oBAAoB,YAAY;GAC9C,MAAM;GACN;GACA,QAAQ,MAAM;GACd,MAAM,MAAM;GACZ,IAAI,MAAM;GACV,eAAe,MAAM;GACrB,eAAe,MAAM;GACrB,YAAY,MAAM;GAClB,2BAAW,IAAI,KAAK;EACtB,CAC6B,CAAC;CAChC;CAEA,MAAM,WACJ,QACA,OACuC;EACvC,MAAM,KAAK,UAAU,MAAM;EAC3B,MAAM,gBAAgB;GAAE,OAAO,SAAS;GAAK,gBAAgB;EAAwB;EACrF,MAAM,aAAsC,EAAE,MAAM,SAAS;EAC7D,IAAI,UAAU,KAAA,GACZ,WAAW,WAAW;EAExB,MAAM,OAAO,MAAM,kCAEf,iBACE,IACA,IAAI,oBAAoB,YAAY,CAAC,EAAE,QAAQ,WAAW,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,CACrF,GACF,aACF;EAEA,MAAM,UAA+B,CAAC;EACtC,KAAK,MAAM,OAAO,MAAM;GACtB,MAAM,gBAAgB,IAAI;GAC1B,MAAM,gBAAgB,IAAI;GAC1B,MAAM,OAAO,IAAI;GACjB,MAAM,KAAK,IAAI;GACf,MAAM,WAAW,IAAI;GACrB,IAAI,OAAO,kBAAkB,YAAY,OAAO,kBAAkB,UAChE;GAEF,IAAI,OAAO,SAAS,YAAY,OAAO,OAAO,UAC5C;GAEF,IAAI,OAAO,aAAa,UACtB;GAEF,MAAM,YAAY,IAAI;GACtB,MAAM,gBACJ,qBAAqB,OACjB,YACA,cAAc,KAAA,IACZ,IAAI,KAAK,OAAO,SAAS,CAAC,oBAC1B,IAAI,KAAK;GACjB,MAAM,aAAa,IAAI;GACvB,MAAM,SAAS,MAAM,QAAQ,UAAU,IAAI,aAAa,CAAC;GACzD,QAAQ,KAAK;IACX,OAAO;IACP;IACA;IACA,MAAM,uBAAuB,IAAI;IACjC;IACA,WAAW;IACX,gBAAgB,OAAO;GACzB,CAAC;EACH;EACA,OAAO;CACT;CAEA,MAAM,iBAAiB,QAAyE;EAC9F,OAAO,iBAAiB,UAAU,MAAM,CAAC;CAC3C;AACF;;;AC3NA,MAAM,wBAAwB,IAAI,wBAAwB;AAE1D,SAAS,oBAAoB,IAA8D;CACzF,OAAO;EACL,UAAU;EACV,UAAU;EACV;EACA,OAAO,YAAY,CAAC;CACtB;AACF;AAEA,eAAsB,WAAW,IAAQ,OAAqD;CAC5F,OAAO,sBAAsB,WAAW,oBAAoB,EAAE,GAAG,KAAK;AACxE;AAEA,eAAsB,eAAe,IAA4D;CAC/F,OAAO,sBAAsB,eAAe,oBAAoB,EAAE,CAAC;AACrE;AAEA,eAAsB,WACpB,IACA,OACA,aAKe;CACf,MAAM,sBAAsB,WAAW,oBAAoB,EAAE,GAAG,OAAO,WAAW;AACpF;AAEA,eAAsB,aACpB,IACA,OACA,cACA,aAKkB;CAClB,OAAO,sBAAsB,aAC3B,oBAAoB,EAAE,GACtB,OACA,cACA,WACF;AACF;AAEA,eAAsB,WAAW,IAAQ,OAAuD;CAC9F,OAAO,sBAAsB,WAAW,oBAAoB,EAAE,GAAG,KAAK;AACxE;AAEA,eAAsB,iBACpB,IACA,OACA,OAQe;CACf,MAAM,sBAAsB,iBAAiB,oBAAoB,EAAE,GAAG,OAAO,KAAK;AACpF;AAEA,MAAa,yBAAiE;CAC5E,MAAM;CACN,IAAI;CACJ,UAAU;CACV,UAAU;CACV,SAAS;CACT,uBAAuB,IAAI,IAAI;EAC7B,CAAC,UAAU,gBAAgB;EAC3B,CAAC,OAAO,eAAe;EACvB,CAAC,WAAW,cAAc;EAC1B,CAAC,YAAY,cAAc;EAC3B,CAAC,YAAY,kBAAkB;EAC/B,CAAC,SAAS,gBAAgB;CAC5B,CAAC;CACD,OAAO,EACL,YAAY;EACV,kBAAkB;EAClB,QAAQ;GACN,SAAS;GACT,OAAO;GACP,OAAO;EACT;EACA,aAAa,CACX;GACE,SAAS;GACT,OAAO;GACP,OAAO;EACT,CACF;CACF,EACF;CACA,OAAO,QAAQ;EACb,OAAO,IAAI,wBAAwB;CACrC;AACF"}
+{"version":3,"file":"control.mjs","names":["#adapter","#markerLedgerCollection","#execute","#invariantMergeExpr"],"sources":["../src/core/command-executor.ts","../src/core/introspect-schema.ts","../src/core/marker-ledger.ts","../src/core/marker-ledger-collection.ts","../src/core/mongo-control-driver.ts","../src/core/runner-deps.ts","../src/core/mongo-control-adapter.ts","../src/exports/control.ts"],"sourcesContent":["import type {\n  CollModCommand,\n  CreateCollectionCommand,\n  CreateIndexCommand,\n  DropCollectionCommand,\n  DropIndexCommand,\n  ListCollectionsCommand,\n  ListIndexesCommand,\n  MongoDdlCommandVisitor,\n  MongoInspectionCommandVisitor,\n} from '@prisma-next/mongo-query-ast/control';\nimport { keysToKeySpec } from '@prisma-next/mongo-query-ast/control';\nimport { type Db, type Document, MongoServerError } from 'mongodb';\n\nexport class MongoCommandExecutor implements MongoDdlCommandVisitor<Promise<void>> {\n  constructor(private readonly db: Db) {}\n\n  async createIndex(cmd: CreateIndexCommand): Promise<void> {\n    const keySpec: Document = keysToKeySpec(cmd.keys);\n    const options: Record<string, unknown> = {};\n    if (cmd.unique !== undefined) options['unique'] = cmd.unique;\n    if (cmd.sparse !== undefined) options['sparse'] = cmd.sparse;\n    if (cmd.expireAfterSeconds !== undefined)\n      options['expireAfterSeconds'] = cmd.expireAfterSeconds;\n    if (cmd.partialFilterExpression !== undefined)\n      options['partialFilterExpression'] = cmd.partialFilterExpression;\n    if (cmd.name !== undefined) options['name'] = cmd.name;\n    if (cmd.wildcardProjection !== undefined)\n      options['wildcardProjection'] = cmd.wildcardProjection;\n    if (cmd.collation !== undefined) options['collation'] = cmd.collation;\n    if (cmd.weights !== undefined) options['weights'] = cmd.weights;\n    if (cmd.default_language !== undefined) options['default_language'] = cmd.default_language;\n    if (cmd.language_override !== undefined) options['language_override'] = cmd.language_override;\n    await this.db.collection(cmd.collection).createIndex(keySpec, options);\n  }\n\n  async dropIndex(cmd: DropIndexCommand): Promise<void> {\n    await this.db.collection(cmd.collection).dropIndex(cmd.name);\n  }\n\n  async createCollection(cmd: CreateCollectionCommand): Promise<void> {\n    const options: Record<string, unknown> = {};\n    if (cmd.capped !== undefined) options['capped'] = cmd.capped;\n    if (cmd.size !== undefined) options['size'] = cmd.size;\n    if (cmd.max !== undefined) options['max'] = cmd.max;\n    if (cmd.timeseries !== undefined) options['timeseries'] = cmd.timeseries;\n    if (cmd.collation !== undefined) options['collation'] = cmd.collation;\n    if (cmd.clusteredIndex !== undefined) options['clusteredIndex'] = cmd.clusteredIndex;\n    if (cmd.validator !== undefined) options['validator'] = cmd.validator;\n    if (cmd.validationLevel !== undefined) options['validationLevel'] = cmd.validationLevel;\n    if (cmd.validationAction !== undefined) options['validationAction'] = cmd.validationAction;\n    if (cmd.changeStreamPreAndPostImages !== undefined)\n      options['changeStreamPreAndPostImages'] = cmd.changeStreamPreAndPostImages;\n    await this.db.createCollection(cmd.collection, options);\n  }\n\n  async dropCollection(cmd: DropCollectionCommand): Promise<void> {\n    await this.db.collection(cmd.collection).drop();\n  }\n\n  async collMod(cmd: CollModCommand): Promise<void> {\n    const command: Record<string, unknown> = { collMod: cmd.collection };\n    if (cmd.validator !== undefined) command['validator'] = cmd.validator;\n    if (cmd.validationLevel !== undefined) command['validationLevel'] = cmd.validationLevel;\n    if (cmd.validationAction !== undefined) command['validationAction'] = cmd.validationAction;\n    if (cmd.changeStreamPreAndPostImages !== undefined)\n      command['changeStreamPreAndPostImages'] = cmd.changeStreamPreAndPostImages;\n    await this.db.command(command);\n  }\n}\n\nexport class MongoInspectionExecutor implements MongoInspectionCommandVisitor<Promise<Document[]>> {\n  constructor(private readonly db: Db) {}\n\n  async listIndexes(cmd: ListIndexesCommand): Promise<Document[]> {\n    try {\n      return await this.db.collection(cmd.collection).listIndexes().toArray();\n    } catch (error: unknown) {\n      if (error instanceof MongoServerError && error.code === 26) {\n        return [];\n      }\n      throw error;\n    }\n  }\n\n  async listCollections(_cmd: ListCollectionsCommand): Promise<Document[]> {\n    return this.db.listCollections().toArray();\n  }\n}\n","import type { MongoIndexKey, MongoIndexKeyDirection } from '@prisma-next/mongo-contract';\nimport {\n  MongoSchemaCollection,\n  MongoSchemaCollectionOptions,\n  MongoSchemaIndex,\n  MongoSchemaIR,\n  MongoSchemaValidator,\n} from '@prisma-next/mongo-schema-ir';\nimport type { Db, Document } from 'mongodb';\n\nconst PRISMA_MIGRATIONS_COLLECTION = '_prisma_migrations';\n\nfunction parseIndexKeys(keySpec: Record<string, unknown>): MongoIndexKey[] {\n  const keys: MongoIndexKey[] = [];\n  for (const [field, direction] of Object.entries(keySpec)) {\n    keys.push({ field, direction: direction as MongoIndexKeyDirection });\n  }\n  return keys;\n}\n\n/**\n * Exported for unit tests to exercise the defensive `!key` guard; not part of\n * the public API. Callers in this package use it via the `introspectSchema`\n * pipeline only.\n */\nexport function isDefaultIdIndex(doc: Document): boolean {\n  const key = doc['key'] as Record<string, unknown> | undefined;\n  if (!key) return false;\n  const entries = Object.entries(key);\n  return entries.length === 1 && entries[0]?.[0] === '_id' && entries[0]?.[1] === 1;\n}\n\nfunction parseIndex(doc: Document): MongoSchemaIndex {\n  const keySpec = doc['key'] as Record<string, unknown>;\n  return new MongoSchemaIndex({\n    keys: parseIndexKeys(keySpec),\n    unique: doc['unique'] as boolean | undefined,\n    sparse: doc['sparse'] as boolean | undefined,\n    expireAfterSeconds: doc['expireAfterSeconds'] as number | undefined,\n    partialFilterExpression: doc['partialFilterExpression'] as Record<string, unknown> | undefined,\n    wildcardProjection: doc['wildcardProjection'] as Record<string, 0 | 1> | undefined,\n    collation: doc['collation'] as Record<string, unknown> | undefined,\n    weights: doc['weights'] as Record<string, number> | undefined,\n    default_language: doc['default_language'] as string | undefined,\n    language_override: doc['language_override'] as string | undefined,\n  });\n}\n\nfunction parseValidator(options: Document): MongoSchemaValidator | undefined {\n  const validator = options['validator'] as Record<string, unknown> | undefined;\n  if (!validator) return undefined;\n\n  const jsonSchema = validator['$jsonSchema'] as Record<string, unknown> | undefined;\n  if (!jsonSchema) return undefined;\n\n  return new MongoSchemaValidator({\n    jsonSchema,\n    validationLevel: (options['validationLevel'] as 'strict' | 'moderate') ?? 'strict',\n    validationAction: (options['validationAction'] as 'error' | 'warn') ?? 'error',\n  });\n}\n\nfunction parseCollectionOptions(info: Document): MongoSchemaCollectionOptions | undefined {\n  const options = info['options'] as Record<string, unknown> | undefined;\n  if (!options) return undefined;\n\n  const capped = options['capped'] as boolean | undefined;\n  const size = options['size'] as number | undefined;\n  const max = options['max'] as number | undefined;\n  const timeseries = options['timeseries'] as\n    | { timeField: string; metaField?: string; granularity?: 'seconds' | 'minutes' | 'hours' }\n    | undefined;\n  const collation = options['collation'] as Record<string, unknown> | undefined;\n  const changeStreamPreAndPostImages = options['changeStreamPreAndPostImages'] as\n    | { enabled: boolean }\n    | undefined;\n  const clusteredIndex = options['clusteredIndex'] as { name?: string } | undefined;\n\n  const hasMeaningfulOptions =\n    capped || timeseries || collation || changeStreamPreAndPostImages || clusteredIndex;\n  if (!hasMeaningfulOptions) return undefined;\n\n  return new MongoSchemaCollectionOptions({\n    ...(capped ? { capped: { size: size ?? 0, ...(max != null ? { max } : {}) } } : {}),\n    ...(timeseries ? { timeseries } : {}),\n    ...(collation ? { collation } : {}),\n    ...(changeStreamPreAndPostImages ? { changeStreamPreAndPostImages } : {}),\n    ...(clusteredIndex ? { clusteredIndex } : {}),\n  });\n}\n\nexport async function introspectSchema(db: Db): Promise<MongoSchemaIR> {\n  const collectionInfos = await db.listCollections().toArray();\n\n  const collections: MongoSchemaCollection[] = [];\n\n  for (const info of collectionInfos) {\n    const name = info['name'] as string;\n    const type = info['type'] as string | undefined;\n\n    if (name === PRISMA_MIGRATIONS_COLLECTION) continue;\n    if (name.startsWith('system.')) continue;\n    if (type === 'view') continue;\n\n    const indexDocs = await db.collection(name).listIndexes().toArray();\n    const indexes = indexDocs.filter((doc) => !isDefaultIdIndex(doc)).map(parseIndex);\n\n    const infoOptions = 'options' in info ? (info['options'] as Record<string, unknown>) : {};\n    const validator = parseValidator(infoOptions);\n    const options = parseCollectionOptions(info);\n\n    collections.push(\n      new MongoSchemaCollection({\n        name,\n        indexes,\n        ...(validator ? { validator } : {}),\n        ...(options ? { options } : {}),\n      }),\n    );\n  }\n\n  return new MongoSchemaIR(collections);\n}\n","import type { ContractMarkerRecord } from '@prisma-next/contract/types';\nimport { parseMarkerRowSafely } from '@prisma-next/errors/execution';\nimport { type } from 'arktype';\n\nexport const COLLECTION = '_prisma_migrations';\nexport const MONGO_MARKER_COLLECTION = `_prisma_migrations marker documents in ${COLLECTION}`;\nexport const MONGO_LEDGER_COLLECTION = `_prisma_migrations ledger documents in ${COLLECTION}`;\n\nconst MongoMarkerDocSchema = type({\n  space: 'string',\n  storageHash: 'string',\n  profileHash: 'string',\n  'contractJson?': 'unknown | null',\n  'canonicalVersion?': 'number | null',\n  'updatedAt?': 'Date',\n  'appTag?': 'string | null',\n  'meta?': type({ '[string]': 'unknown' }).or('null'),\n  'invariants?': type('string').array(),\n  '+': 'delete',\n});\n\nexport function parseMongoMarkerDoc(doc: unknown): ContractMarkerRecord {\n  const result = MongoMarkerDocSchema(doc);\n  if (result instanceof type.errors) {\n    throw new Error(`Invalid marker doc on ${COLLECTION}: ${result.summary}`);\n  }\n  return {\n    storageHash: result.storageHash,\n    profileHash: result.profileHash,\n    contractJson: result.contractJson ?? null,\n    canonicalVersion: result.canonicalVersion ?? null,\n    updatedAt: result.updatedAt ?? new Date(),\n    appTag: result.appTag ?? null,\n    meta: result.meta ?? {},\n    invariants: result.invariants ?? [],\n  };\n}\n\nexport function parseMongoMarkerDocSafely(doc: unknown, space: string): ContractMarkerRecord {\n  return parseMarkerRowSafely(doc, parseMongoMarkerDoc, {\n    space,\n    markerLocation: MONGO_MARKER_COLLECTION,\n  });\n}\n","/**\n * Document shape of the `_prisma_migrations` collection, which stores both the\n * per-space contract **markers** (`space` / `storageHash` / … / `invariants`)\n * and the migration **ledger** entries (`type` / `edgeId` / … / `appliedAt`) —\n * so the shape is their union. Declared once so the contract-free field\n * accessor is typed without threading a contract, codecs, or paths at the call\n * sites.\n */\nexport type MarkerLedgerDocShape = {\n  readonly _id: { readonly codecId: 'mongo/string@1'; readonly nullable: false };\n  // Marker fields\n  readonly space: { readonly codecId: 'mongo/string@1'; readonly nullable: false };\n  readonly storageHash: { readonly codecId: 'mongo/string@1'; readonly nullable: false };\n  readonly profileHash: { readonly codecId: 'mongo/string@1'; readonly nullable: false };\n  readonly contractJson: { readonly codecId: 'mongo/string@1'; readonly nullable: true };\n  readonly canonicalVersion: { readonly codecId: 'mongo/double@1'; readonly nullable: true };\n  readonly updatedAt: { readonly codecId: 'mongo/date@1'; readonly nullable: false };\n  readonly appTag: { readonly codecId: 'mongo/string@1'; readonly nullable: true };\n  readonly meta: { readonly codecId: 'mongo/document@1'; readonly nullable: true };\n  readonly invariants: { readonly codecId: 'mongo/array@1'; readonly nullable: false };\n  // Ledger fields\n  readonly type: { readonly codecId: 'mongo/string@1'; readonly nullable: false };\n  readonly edgeId: { readonly codecId: 'mongo/string@1'; readonly nullable: false };\n  readonly from: { readonly codecId: 'mongo/string@1'; readonly nullable: false };\n  readonly to: { readonly codecId: 'mongo/string@1'; readonly nullable: false };\n  readonly migrationName: { readonly codecId: 'mongo/string@1'; readonly nullable: false };\n  readonly migrationHash: { readonly codecId: 'mongo/string@1'; readonly nullable: false };\n  readonly operations: { readonly codecId: 'mongo/array@1'; readonly nullable: false };\n  readonly appliedAt: { readonly codecId: 'mongo/date@1'; readonly nullable: false };\n};\n\nexport const MARKER_LEDGER_COLLECTION = '_prisma_migrations';\n","import type { ControlDriverInstance } from '@prisma-next/framework-components/control';\nimport type { MongoControlDriverInstance } from '@prisma-next/mongo-lowering';\n\nexport function isMongoControlDriver(\n  driver: ControlDriverInstance<'mongo', string>,\n): driver is MongoControlDriverInstance {\n  return (\n    driver.familyId === 'mongo' &&\n    driver.targetId === 'mongo' &&\n    'execute' in driver &&\n    typeof driver.execute === 'function'\n  );\n}\n","import type { ContractMarkerRecord } from '@prisma-next/contract/types';\nimport type { MongoControlAdapter } from '@prisma-next/family-mongo/control-adapter';\nimport type {\n  ControlDriverInstance,\n  ControlFamilyInstance,\n} from '@prisma-next/framework-components/control';\nimport type { MongoAdapter, MongoDriver } from '@prisma-next/mongo-lowering';\nimport type {\n  MongoDdlCommandVisitor,\n  MongoInspectionCommandVisitor,\n} from '@prisma-next/mongo-query-ast/control';\nimport type { MongoSchemaIR } from '@prisma-next/mongo-schema-ir';\nimport type { Db } from 'mongodb';\nimport { createMongoAdapter } from '../mongo-adapter';\nimport { MongoCommandExecutor, MongoInspectionExecutor } from './command-executor';\nimport { MongoControlAdapterImpl } from './mongo-control-adapter';\nimport { isMongoControlDriver } from './mongo-control-driver';\n\nexport function extractDb(driver: ControlDriverInstance<'mongo', 'mongo'>): Db {\n  if (!isMongoControlDriver(driver)) {\n    throw new Error(\n      'Expected a Mongo control driver created by ' +\n        'mongoControlDriver.create() from `@prisma-next/driver-mongo/control`.',\n    );\n  }\n  return driver.db;\n}\n\n/**\n * Marker / ledger operations the Mongo runner depends on. Every method\n * takes a `space` parameter so each loaded contract space addresses its\n * own marker row independently — see ADR 212 for the per-space\n * mechanism.\n */\nexport interface MarkerOperations {\n  readMarker(space: string): Promise<ContractMarkerRecord | null>;\n  initMarker(\n    space: string,\n    destination: {\n      readonly storageHash: string;\n      readonly profileHash: string;\n      readonly invariants?: readonly string[];\n    },\n  ): Promise<void>;\n  updateMarker(\n    space: string,\n    expectedFrom: string,\n    destination: {\n      readonly storageHash: string;\n      readonly profileHash: string;\n      readonly invariants?: readonly string[];\n    },\n  ): Promise<boolean>;\n  writeLedgerEntry(\n    space: string,\n    entry: {\n      readonly edgeId: string;\n      readonly from: string;\n      readonly to: string;\n      readonly migrationName: string;\n      readonly migrationHash: string;\n      readonly operations: readonly unknown[];\n    },\n  ): Promise<void>;\n}\n\nexport interface MongoRunnerDependencies {\n  readonly commandExecutor: MongoDdlCommandVisitor<Promise<void>>;\n  readonly inspectionExecutor: MongoInspectionCommandVisitor<Promise<Record<string, unknown>[]>>;\n  readonly adapter: MongoAdapter;\n  readonly driver: MongoDriver;\n  readonly markerOps: MarkerOperations;\n  readonly introspectSchema: () => Promise<MongoSchemaIR>;\n}\n\n/**\n * Build the runner-dependencies envelope. `controlAdapter` is the\n * dispatch surface for wire-level Mongo CAS operations (marker reads,\n * marker advances, ledger appends, introspection); the envelope's\n * `markerOps` shim simply forwards each call through it. When the\n * caller already has a `MongoControlAdapter` on the control stack it\n * can pass it in; otherwise a default `MongoControlAdapterImpl` is\n * constructed locally.\n */\nexport function createMongoRunnerDeps(\n  controlDriver: ControlDriverInstance<'mongo', 'mongo'>,\n  driver: MongoDriver,\n  // Vestigial after the family→adapter SPI refactor: the runner dependencies\n  // now route every wire-level call through `controlAdapter`, so the `family`\n  // instance is no longer consulted. Kept on the signature to avoid rippling\n  // through ~14 call sites; a follow-up that already touches this factory\n  // should drop the parameter outright.\n  _family: ControlFamilyInstance<'mongo', MongoSchemaIR>,\n  controlAdapter: MongoControlAdapter<'mongo'> = new MongoControlAdapterImpl(),\n): MongoRunnerDependencies {\n  return {\n    commandExecutor: new MongoCommandExecutor(extractDb(controlDriver)),\n    inspectionExecutor: new MongoInspectionExecutor(extractDb(controlDriver)),\n    adapter: createMongoAdapter(),\n    driver,\n    markerOps: {\n      readMarker: (space) => controlAdapter.readMarker(controlDriver, space),\n      initMarker: (space, dest) => controlAdapter.initMarker(controlDriver, space, dest),\n      updateMarker: (space, expectedFrom, dest) =>\n        controlAdapter.updateMarker(controlDriver, space, expectedFrom, dest),\n      writeLedgerEntry: (space, entry) =>\n        controlAdapter.writeLedgerEntry(controlDriver, space, entry),\n    },\n    introspectSchema: () => controlAdapter.introspectSchema(controlDriver),\n  };\n}\n","import type { ContractMarkerRecord, LedgerEntryRecord } from '@prisma-next/contract/types';\nimport { withMarkerReadErrorHandling } from '@prisma-next/errors/execution';\nimport type { MongoControlAdapter } from '@prisma-next/family-mongo/control-adapter';\nimport type { ControlDriverInstance } from '@prisma-next/framework-components/control';\nimport { ledgerOriginFromStored } from '@prisma-next/migration-tools/ledger-origin';\nimport type { MongoAdapter } from '@prisma-next/mongo-lowering';\nimport {\n  type AnyMongoCommand,\n  MongoAggFieldRef,\n  MongoAggLiteral,\n  MongoAggOperator,\n  type MongoQueryPlan,\n} from '@prisma-next/mongo-query-ast/execution';\nimport { expr, fn } from '@prisma-next/mongo-query-builder';\nimport { collection } from '@prisma-next/mongo-query-builder/contract-free';\nimport type { MongoSchemaIR } from '@prisma-next/mongo-schema-ir';\nimport type { MongoValue } from '@prisma-next/mongo-value';\nimport { blindCast } from '@prisma-next/utils/casts';\nimport type { Document } from 'mongodb';\nimport { createMongoAdapter } from '../mongo-adapter';\nimport { introspectSchema } from './introspect-schema';\nimport {\n  MONGO_LEDGER_COLLECTION,\n  MONGO_MARKER_COLLECTION,\n  parseMongoMarkerDocSafely,\n} from './marker-ledger';\nimport { MARKER_LEDGER_COLLECTION, type MarkerLedgerDocShape } from './marker-ledger-collection';\nimport { isMongoControlDriver } from './mongo-control-driver';\nimport { extractDb } from './runner-deps';\n\n/**\n * Mongo control adapter for control-plane operations like introspection\n * and marker-ledger CAS. Implements the family-level `MongoControlAdapter`\n * SPI. Every marker/ledger operation builds a canonical command inline via\n * the contract-free fluent builder and dispatches it through the family\n * adapter's lowering path (`createMongoAdapter().lower(plan, {})`) onto the\n * Mongo wire transport (`driver.execute(wireCommand)`) — the same route SQL\n * marker/ledger ops take through `adapter.lower()` → `driver.query()`.\n */\nexport class MongoControlAdapterImpl implements MongoControlAdapter<'mongo'> {\n  readonly familyId = 'mongo' as const;\n  readonly targetId = 'mongo' as const;\n  readonly #adapter: MongoAdapter = createMongoAdapter();\n  readonly #markerLedgerCollection = collection<MarkerLedgerDocShape>(MARKER_LEDGER_COLLECTION);\n\n  async #execute(\n    driver: ControlDriverInstance<'mongo', 'mongo'>,\n    command: AnyMongoCommand,\n  ): Promise<Document[]> {\n    const plan: MongoQueryPlan = {\n      collection: MARKER_LEDGER_COLLECTION,\n      command,\n      meta: { target: 'mongo', targetFamily: 'mongo', storageHash: '', lane: 'control' },\n    };\n    const wireCommand = await this.#adapter.lower(plan, {});\n    if (!isMongoControlDriver(driver)) {\n      throw new Error(\n        'Mongo control adapter requires a Mongo control driver with an execute() transport. ' +\n          'Provide a MongoControlDriver from `@prisma-next/driver-mongo/control`.',\n      );\n    }\n    const rows: Document[] = [];\n    for await (const row of driver.execute<Document>(wireCommand)) {\n      rows.push(row);\n    }\n    return rows;\n  }\n\n  /**\n   * Server-side invariant-merge aggregation expression:\n   * `$sortArray({ input: $setUnion([$ifNull('$invariants', []), incoming]), sortBy: 1 })`.\n   *\n   * Built through the typed agg-expr layer — `fn.setUnion` plus the generic\n   * `MongoAggOperator` for `$ifNull` / `$sortArray` (neither has a named `fn`\n   * helper). Returns a `MongoAggOperator` that is passed directly to\n   * `f.stage.set({ invariants: ... })` in the update pipeline.\n   */\n  #invariantMergeExpr(incoming: readonly string[]): MongoAggOperator {\n    const existingOrEmpty = MongoAggOperator.of('$ifNull', [\n      MongoAggFieldRef.of('invariants'),\n      MongoAggLiteral.of([]),\n    ]);\n    const merged = fn.setUnion(\n      { _field: { codecId: 'mongo/array@1', nullable: false }, node: existingOrEmpty },\n      {\n        _field: { codecId: 'mongo/array@1', nullable: false },\n        node: MongoAggLiteral.of([...incoming]),\n      },\n    );\n    return MongoAggOperator.of('$sortArray', { input: merged.node, sortBy: MongoAggLiteral.of(1) });\n  }\n\n  async readMarker(\n    driver: ControlDriverInstance<'mongo', 'mongo'>,\n    space: string,\n  ): Promise<ContractMarkerRecord | null> {\n    const markerContext = { space, markerLocation: MONGO_MARKER_COLLECTION };\n    const docs = await withMarkerReadErrorHandling(\n      () =>\n        this.#execute(\n          driver,\n          this.#markerLedgerCollection\n            .aggregate()\n            .match((f) => f._id.eq(space))\n            .match((f) => f.space.eq(space))\n            .limit(1)\n            .build(),\n        ),\n      markerContext,\n    );\n    const doc = docs[0];\n    if (!doc) return null;\n    return parseMongoMarkerDocSafely(doc, space);\n  }\n\n  async readAllMarkers(\n    driver: ControlDriverInstance<'mongo', 'mongo'>,\n  ): Promise<ReadonlyMap<string, ContractMarkerRecord>> {\n    const markerContext = { space: 'app', markerLocation: MONGO_MARKER_COLLECTION };\n    const docs = await withMarkerReadErrorHandling(\n      () =>\n        this.#execute(\n          driver,\n          this.#markerLedgerCollection\n            .aggregate()\n            .match((f) => f._id.type('string'))\n            .match((f) => f.space.type('string'))\n            .match((f) => expr(fn.eq(f._id, f.space)))\n            .build(),\n        ),\n      markerContext,\n    );\n    const out = new Map<string, ContractMarkerRecord>();\n    for (const doc of docs) {\n      const space = doc['space'];\n      /* v8 ignore next -- @preserve type-narrowing guard: the $match stage above filters on `space: { $type: 'string' }`, so this branch is unreachable at runtime. The check exists so the `out.set(space, ...)` call below can accept `string`. */\n      if (typeof space !== 'string') continue;\n      out.set(space, parseMongoMarkerDocSafely(doc, space));\n    }\n    return out;\n  }\n\n  async initMarker(\n    driver: ControlDriverInstance<'mongo', 'mongo'>,\n    space: string,\n    destination: {\n      readonly storageHash: string;\n      readonly profileHash: string;\n      readonly invariants?: readonly string[];\n    },\n  ): Promise<void> {\n    const document: Record<string, MongoValue> = {\n      _id: space,\n      space,\n      storageHash: destination.storageHash,\n      profileHash: destination.profileHash,\n      contractJson: null,\n      canonicalVersion: null,\n      updatedAt: new Date(),\n      appTag: null,\n      meta: {},\n      invariants: [...(destination.invariants ?? [])],\n    };\n    await this.#execute(driver, this.#markerLedgerCollection.insertOne(document));\n  }\n\n  async updateMarker(\n    driver: ControlDriverInstance<'mongo', 'mongo'>,\n    space: string,\n    expectedFrom: string,\n    destination: {\n      readonly storageHash: string;\n      readonly profileHash: string;\n      readonly invariants?: readonly string[];\n    },\n  ): Promise<boolean> {\n    const { invariants } = destination;\n    const docs = await this.#execute(\n      driver,\n      this.#markerLedgerCollection\n        .match((f) => f._id.eq(space))\n        .match((f) => f.space.eq(space))\n        .match((f) => f.storageHash.eq(expectedFrom))\n        .findOneAndUpdate(\n          (f) => [\n            f.stage.set(\n              invariants === undefined\n                ? {\n                    storageHash: MongoAggLiteral.of(destination.storageHash),\n                    profileHash: MongoAggLiteral.of(destination.profileHash),\n                    updatedAt: MongoAggLiteral.of(new Date()),\n                  }\n                : {\n                    storageHash: MongoAggLiteral.of(destination.storageHash),\n                    profileHash: MongoAggLiteral.of(destination.profileHash),\n                    updatedAt: MongoAggLiteral.of(new Date()),\n                    invariants: this.#invariantMergeExpr(invariants),\n                  },\n            ),\n          ],\n          { upsert: false },\n        ),\n    );\n    return docs.length > 0;\n  }\n\n  async writeLedgerEntry(\n    driver: ControlDriverInstance<'mongo', 'mongo'>,\n    space: string,\n    entry: {\n      readonly edgeId: string;\n      readonly from: string;\n      readonly to: string;\n      readonly migrationName: string;\n      readonly migrationHash: string;\n      readonly operations: readonly unknown[];\n    },\n  ): Promise<void> {\n    const document: Record<string, MongoValue> = {\n      type: 'ledger',\n      space,\n      edgeId: entry.edgeId,\n      from: entry.from,\n      to: entry.to,\n      migrationName: entry.migrationName,\n      migrationHash: entry.migrationHash,\n      operations: blindCast<ReadonlyArray<MongoValue>, 'ledger operation docs are BSON values'>(\n        entry.operations,\n      ),\n      appliedAt: new Date(),\n    };\n    await this.#execute(driver, this.#markerLedgerCollection.insertOne(document));\n  }\n\n  async readLedger(\n    driver: ControlDriverInstance<'mongo', 'mongo'>,\n    space?: string,\n  ): Promise<readonly LedgerEntryRecord[]> {\n    const ledgerContext = { space: space ?? '*', markerLocation: MONGO_LEDGER_COLLECTION };\n    const chain = this.#markerLedgerCollection.aggregate().match((f) => f.type.eq('ledger'));\n    const command =\n      space === undefined\n        ? chain.sort({ _id: 1 }).build()\n        : chain\n            .match((f) => f.space.eq(space))\n            .sort({ _id: 1 })\n            .build();\n    const docs = await withMarkerReadErrorHandling(\n      () => this.#execute(driver, command),\n      ledgerContext,\n    );\n\n    const entries: LedgerEntryRecord[] = [];\n    for (const doc of docs) {\n      const migrationName = doc['migrationName'];\n      const migrationHash = doc['migrationHash'];\n      const from = doc['from'];\n      const to = doc['to'];\n      const docSpace = doc['space'];\n      if (typeof migrationName !== 'string' || typeof migrationHash !== 'string') {\n        continue;\n      }\n      if (typeof from !== 'string' || typeof to !== 'string') {\n        continue;\n      }\n      if (typeof docSpace !== 'string') {\n        continue;\n      }\n      const appliedAt = doc['appliedAt'];\n      const appliedAtDate =\n        appliedAt instanceof Date\n          ? appliedAt\n          : appliedAt !== undefined\n            ? new Date(String(appliedAt))\n            : new Date();\n      const operations = doc['operations'];\n      const opList = Array.isArray(operations) ? operations : [];\n      entries.push({\n        space: docSpace,\n        migrationName,\n        migrationHash,\n        from: ledgerOriginFromStored(from),\n        to,\n        appliedAt: appliedAtDate,\n        operationCount: opList.length,\n      });\n    }\n    return entries;\n  }\n\n  async introspectSchema(driver: ControlDriverInstance<'mongo', 'mongo'>): Promise<MongoSchemaIR> {\n    return introspectSchema(extractDb(driver));\n  }\n}\n","import type { MongoControlAdapterDescriptor } from '@prisma-next/family-mongo/control-adapter';\nimport type { MongoControlDriverInstance } from '@prisma-next/mongo-lowering';\n\nexport { MongoCommandExecutor, MongoInspectionExecutor } from '../core/command-executor';\nexport { introspectSchema } from '../core/introspect-schema';\nexport { MongoControlAdapterImpl } from '../core/mongo-control-adapter';\nexport { isMongoControlDriver } from '../core/mongo-control-driver';\nexport {\n  createMongoRunnerDeps,\n  extractDb,\n  type MarkerOperations,\n  type MongoRunnerDependencies,\n} from '../core/runner-deps';\nexport { createMongoAdapter } from '../mongo-adapter';\nexport type { MongoControlDriverInstance };\n\nimport { mongoCodecDescriptors } from '../core/codecs';\nimport { MongoControlAdapterImpl } from '../core/mongo-control-adapter';\n\nexport const mongoAdapterDescriptor: MongoControlAdapterDescriptor<'mongo'> = {\n  kind: 'adapter',\n  id: 'mongo',\n  familyId: 'mongo',\n  targetId: 'mongo',\n  version: '0.0.1',\n  scalarTypeDescriptors: new Map([\n    ['String', 'mongo/string@1'],\n    ['Int', 'mongo/int32@1'],\n    ['Boolean', 'mongo/bool@1'],\n    ['DateTime', 'mongo/date@1'],\n    ['ObjectId', 'mongo/objectId@1'],\n    ['Float', 'mongo/double@1'],\n  ]),\n  types: {\n    codecTypes: {\n      codecDescriptors: mongoCodecDescriptors,\n      import: {\n        package: '@prisma-next/adapter-mongo/codec-types',\n        named: 'CodecTypes',\n        alias: 'MongoCodecTypes',\n      },\n      typeImports: [\n        {\n          package: '@prisma-next/adapter-mongo/codec-types',\n          named: 'Vector',\n          alias: 'Vector',\n        },\n      ],\n    },\n  },\n  create(_stack) {\n    return new MongoControlAdapterImpl();\n  },\n};\n\nexport default mongoAdapterDescriptor;\n"],"mappings":";;;;;;;;;;;;AAcA,IAAa,uBAAb,MAAmF;CACpD;CAA7B,YAAY,IAAyB;EAAR,KAAA,KAAA;CAAS;CAEtC,MAAM,YAAY,KAAwC;EACxD,MAAM,UAAoB,cAAc,IAAI,IAAI;EAChD,MAAM,UAAmC,CAAC;EAC1C,IAAI,IAAI,WAAW,KAAA,GAAW,QAAQ,YAAY,IAAI;EACtD,IAAI,IAAI,WAAW,KAAA,GAAW,QAAQ,YAAY,IAAI;EACtD,IAAI,IAAI,uBAAuB,KAAA,GAC7B,QAAQ,wBAAwB,IAAI;EACtC,IAAI,IAAI,4BAA4B,KAAA,GAClC,QAAQ,6BAA6B,IAAI;EAC3C,IAAI,IAAI,SAAS,KAAA,GAAW,QAAQ,UAAU,IAAI;EAClD,IAAI,IAAI,uBAAuB,KAAA,GAC7B,QAAQ,wBAAwB,IAAI;EACtC,IAAI,IAAI,cAAc,KAAA,GAAW,QAAQ,eAAe,IAAI;EAC5D,IAAI,IAAI,YAAY,KAAA,GAAW,QAAQ,aAAa,IAAI;EACxD,IAAI,IAAI,qBAAqB,KAAA,GAAW,QAAQ,sBAAsB,IAAI;EAC1E,IAAI,IAAI,sBAAsB,KAAA,GAAW,QAAQ,uBAAuB,IAAI;EAC5E,MAAM,KAAK,GAAG,WAAW,IAAI,UAAU,EAAE,YAAY,SAAS,OAAO;CACvE;CAEA,MAAM,UAAU,KAAsC;EACpD,MAAM,KAAK,GAAG,WAAW,IAAI,UAAU,EAAE,UAAU,IAAI,IAAI;CAC7D;CAEA,MAAM,iBAAiB,KAA6C;EAClE,MAAM,UAAmC,CAAC;EAC1C,IAAI,IAAI,WAAW,KAAA,GAAW,QAAQ,YAAY,IAAI;EACtD,IAAI,IAAI,SAAS,KAAA,GAAW,QAAQ,UAAU,IAAI;EAClD,IAAI,IAAI,QAAQ,KAAA,GAAW,QAAQ,SAAS,IAAI;EAChD,IAAI,IAAI,eAAe,KAAA,GAAW,QAAQ,gBAAgB,IAAI;EAC9D,IAAI,IAAI,cAAc,KAAA,GAAW,QAAQ,eAAe,IAAI;EAC5D,IAAI,IAAI,mBAAmB,KAAA,GAAW,QAAQ,oBAAoB,IAAI;EACtE,IAAI,IAAI,cAAc,KAAA,GAAW,QAAQ,eAAe,IAAI;EAC5D,IAAI,IAAI,oBAAoB,KAAA,GAAW,QAAQ,qBAAqB,IAAI;EACxE,IAAI,IAAI,qBAAqB,KAAA,GAAW,QAAQ,sBAAsB,IAAI;EAC1E,IAAI,IAAI,iCAAiC,KAAA,GACvC,QAAQ,kCAAkC,IAAI;EAChD,MAAM,KAAK,GAAG,iBAAiB,IAAI,YAAY,OAAO;CACxD;CAEA,MAAM,eAAe,KAA2C;EAC9D,MAAM,KAAK,GAAG,WAAW,IAAI,UAAU,EAAE,KAAK;CAChD;CAEA,MAAM,QAAQ,KAAoC;EAChD,MAAM,UAAmC,EAAE,SAAS,IAAI,WAAW;EACnE,IAAI,IAAI,cAAc,KAAA,GAAW,QAAQ,eAAe,IAAI;EAC5D,IAAI,IAAI,oBAAoB,KAAA,GAAW,QAAQ,qBAAqB,IAAI;EACxE,IAAI,IAAI,qBAAqB,KAAA,GAAW,QAAQ,sBAAsB,IAAI;EAC1E,IAAI,IAAI,iCAAiC,KAAA,GACvC,QAAQ,kCAAkC,IAAI;EAChD,MAAM,KAAK,GAAG,QAAQ,OAAO;CAC/B;AACF;AAEA,IAAa,0BAAb,MAAmG;CACpE;CAA7B,YAAY,IAAyB;EAAR,KAAA,KAAA;CAAS;CAEtC,MAAM,YAAY,KAA8C;EAC9D,IAAI;GACF,OAAO,MAAM,KAAK,GAAG,WAAW,IAAI,UAAU,EAAE,YAAY,EAAE,QAAQ;EACxE,SAAS,OAAgB;GACvB,IAAI,iBAAiB,oBAAoB,MAAM,SAAS,IACtD,OAAO,CAAC;GAEV,MAAM;EACR;CACF;CAEA,MAAM,gBAAgB,MAAmD;EACvE,OAAO,KAAK,GAAG,gBAAgB,EAAE,QAAQ;CAC3C;AACF;;;AC9EA,MAAM,+BAA+B;AAErC,SAAS,eAAe,SAAmD;CACzE,MAAM,OAAwB,CAAC;CAC/B,KAAK,MAAM,CAAC,OAAO,cAAc,OAAO,QAAQ,OAAO,GACrD,KAAK,KAAK;EAAE;EAAkB;CAAoC,CAAC;CAErE,OAAO;AACT;;;;;;AAOA,SAAgB,iBAAiB,KAAwB;CACvD,MAAM,MAAM,IAAI;CAChB,IAAI,CAAC,KAAK,OAAO;CACjB,MAAM,UAAU,OAAO,QAAQ,GAAG;CAClC,OAAO,QAAQ,WAAW,KAAK,QAAQ,KAAK,OAAO,SAAS,QAAQ,KAAK,OAAO;AAClF;AAEA,SAAS,WAAW,KAAiC;CACnD,MAAM,UAAU,IAAI;CACpB,OAAO,IAAI,iBAAiB;EAC1B,MAAM,eAAe,OAAO;EAC5B,QAAQ,IAAI;EACZ,QAAQ,IAAI;EACZ,oBAAoB,IAAI;EACxB,yBAAyB,IAAI;EAC7B,oBAAoB,IAAI;EACxB,WAAW,IAAI;EACf,SAAS,IAAI;EACb,kBAAkB,IAAI;EACtB,mBAAmB,IAAI;CACzB,CAAC;AACH;AAEA,SAAS,eAAe,SAAqD;CAC3E,MAAM,YAAY,QAAQ;CAC1B,IAAI,CAAC,WAAW,OAAO,KAAA;CAEvB,MAAM,aAAa,UAAU;CAC7B,IAAI,CAAC,YAAY,OAAO,KAAA;CAExB,OAAO,IAAI,qBAAqB;EAC9B;EACA,iBAAkB,QAAQ,sBAAgD;EAC1E,kBAAmB,QAAQ,uBAA4C;CACzE,CAAC;AACH;AAEA,SAAS,uBAAuB,MAA0D;CACxF,MAAM,UAAU,KAAK;CACrB,IAAI,CAAC,SAAS,OAAO,KAAA;CAErB,MAAM,SAAS,QAAQ;CACvB,MAAM,OAAO,QAAQ;CACrB,MAAM,MAAM,QAAQ;CACpB,MAAM,aAAa,QAAQ;CAG3B,MAAM,YAAY,QAAQ;CAC1B,MAAM,+BAA+B,QAAQ;CAG7C,MAAM,iBAAiB,QAAQ;CAI/B,IAAI,EADF,UAAU,cAAc,aAAa,gCAAgC,iBAC5C,OAAO,KAAA;CAElC,OAAO,IAAI,6BAA6B;EACtC,GAAI,SAAS,EAAE,QAAQ;GAAE,MAAM,QAAQ;GAAG,GAAI,OAAO,OAAO,EAAE,IAAI,IAAI,CAAC;EAAG,EAAE,IAAI,CAAC;EACjF,GAAI,aAAa,EAAE,WAAW,IAAI,CAAC;EACnC,GAAI,YAAY,EAAE,UAAU,IAAI,CAAC;EACjC,GAAI,+BAA+B,EAAE,6BAA6B,IAAI,CAAC;EACvE,GAAI,iBAAiB,EAAE,eAAe,IAAI,CAAC;CAC7C,CAAC;AACH;AAEA,eAAsB,iBAAiB,IAAgC;CACrE,MAAM,kBAAkB,MAAM,GAAG,gBAAgB,EAAE,QAAQ;CAE3D,MAAM,cAAuC,CAAC;CAE9C,KAAK,MAAM,QAAQ,iBAAiB;EAClC,MAAM,OAAO,KAAK;EAClB,MAAM,OAAO,KAAK;EAElB,IAAI,SAAS,8BAA8B;EAC3C,IAAI,KAAK,WAAW,SAAS,GAAG;EAChC,IAAI,SAAS,QAAQ;EAGrB,MAAM,WAAU,MADQ,GAAG,WAAW,IAAI,EAAE,YAAY,EAAE,QAAQ,GACxC,QAAQ,QAAQ,CAAC,iBAAiB,GAAG,CAAC,EAAE,IAAI,UAAU;EAGhF,MAAM,YAAY,eADE,aAAa,OAAQ,KAAK,aAAyC,CAAC,CAC5C;EAC5C,MAAM,UAAU,uBAAuB,IAAI;EAE3C,YAAY,KACV,IAAI,sBAAsB;GACxB;GACA;GACA,GAAI,YAAY,EAAE,UAAU,IAAI,CAAC;GACjC,GAAI,UAAU,EAAE,QAAQ,IAAI,CAAC;EAC/B,CAAC,CACH;CACF;CAEA,OAAO,IAAI,cAAc,WAAW;AACtC;;;ACtHA,MAAa,aAAa;AAC1B,MAAa,0BAA0B,0CAA0C;AACjF,MAAa,0BAA0B,0CAA0C;AAEjF,MAAM,uBAAuB,KAAK;CAChC,OAAO;CACP,aAAa;CACb,aAAa;CACb,iBAAiB;CACjB,qBAAqB;CACrB,cAAc;CACd,WAAW;CACX,SAAS,KAAK,EAAE,YAAY,UAAU,CAAC,EAAE,GAAG,MAAM;CAClD,eAAe,KAAK,QAAQ,EAAE,MAAM;CACpC,KAAK;AACP,CAAC;AAED,SAAgB,oBAAoB,KAAoC;CACtE,MAAM,SAAS,qBAAqB,GAAG;CACvC,IAAI,kBAAkB,KAAK,QACzB,MAAM,IAAI,MAAM,yBAAyB,WAAW,IAAI,OAAO,SAAS;CAE1E,OAAO;EACL,aAAa,OAAO;EACpB,aAAa,OAAO;EACpB,cAAc,OAAO,gBAAgB;EACrC,kBAAkB,OAAO,oBAAoB;EAC7C,WAAW,OAAO,6BAAa,IAAI,KAAK;EACxC,QAAQ,OAAO,UAAU;EACzB,MAAM,OAAO,QAAQ,CAAC;EACtB,YAAY,OAAO,cAAc,CAAC;CACpC;AACF;AAEA,SAAgB,0BAA0B,KAAc,OAAqC;CAC3F,OAAO,qBAAqB,KAAK,qBAAqB;EACpD;EACA,gBAAgB;CAClB,CAAC;AACH;;;ACZA,MAAa,2BAA2B;;;AC5BxC,SAAgB,qBACd,QACsC;CACtC,OACE,OAAO,aAAa,WACpB,OAAO,aAAa,WACpB,aAAa,UACb,OAAO,OAAO,YAAY;AAE9B;;;ACMA,SAAgB,UAAU,QAAqD;CAC7E,IAAI,CAAC,qBAAqB,MAAM,GAC9B,MAAM,IAAI,MACR,kHAEF;CAEF,OAAO,OAAO;AAChB;;;;;;;;;;AA0DA,SAAgB,sBACd,eACA,QAMA,SACA,iBAA+C,IAAI,wBAAwB,GAClD;CACzB,OAAO;EACL,iBAAiB,IAAI,qBAAqB,UAAU,aAAa,CAAC;EAClE,oBAAoB,IAAI,wBAAwB,UAAU,aAAa,CAAC;EACxE,SAAS,mBAAmB;EAC5B;EACA,WAAW;GACT,aAAa,UAAU,eAAe,WAAW,eAAe,KAAK;GACrE,aAAa,OAAO,SAAS,eAAe,WAAW,eAAe,OAAO,IAAI;GACjF,eAAe,OAAO,cAAc,SAClC,eAAe,aAAa,eAAe,OAAO,cAAc,IAAI;GACtE,mBAAmB,OAAO,UACxB,eAAe,iBAAiB,eAAe,OAAO,KAAK;EAC/D;EACA,wBAAwB,eAAe,iBAAiB,aAAa;CACvE;AACF;;;;;;;;;;;;ACvEA,IAAa,0BAAb,MAA6E;CAC3E,WAAoB;CACpB,WAAoB;CACpB,WAAkC,mBAAmB;CACrD,0BAAmC,WAAiC,wBAAwB;CAE5F,MAAME,SACJ,QACA,SACqB;EACrB,MAAM,OAAuB;GAC3B,YAAY;GACZ;GACA,MAAM;IAAE,QAAQ;IAAS,cAAc;IAAS,aAAa;IAAI,MAAM;GAAU;EACnF;EACA,MAAM,cAAc,MAAM,KAAKF,SAAS,MAAM,MAAM,CAAC,CAAC;EACtD,IAAI,CAAC,qBAAqB,MAAM,GAC9B,MAAM,IAAI,MACR,2JAEF;EAEF,MAAM,OAAmB,CAAC;EAC1B,WAAW,MAAM,OAAO,OAAO,QAAkB,WAAW,GAC1D,KAAK,KAAK,GAAG;EAEf,OAAO;CACT;;;;;;;;;;CAWA,oBAAoB,UAA+C;EACjE,MAAM,kBAAkB,iBAAiB,GAAG,WAAW,CACrD,iBAAiB,GAAG,YAAY,GAChC,gBAAgB,GAAG,CAAC,CAAC,CACvB,CAAC;EACD,MAAM,SAAS,GAAG,SAChB;GAAE,QAAQ;IAAE,SAAS;IAAiB,UAAU;GAAM;GAAG,MAAM;EAAgB,GAC/E;GACE,QAAQ;IAAE,SAAS;IAAiB,UAAU;GAAM;GACpD,MAAM,gBAAgB,GAAG,CAAC,GAAG,QAAQ,CAAC;EACxC,CACF;EACA,OAAO,iBAAiB,GAAG,cAAc;GAAE,OAAO,OAAO;GAAM,QAAQ,gBAAgB,GAAG,CAAC;EAAE,CAAC;CAChG;CAEA,MAAM,WACJ,QACA,OACsC;EAetC,MAAM,OAAM,MAbO,kCAEf,KAAKE,SACH,QACA,KAAKD,wBACF,UAAU,EACV,OAAO,MAAM,EAAE,IAAI,GAAG,KAAK,CAAC,EAC5B,OAAO,MAAM,EAAE,MAAM,GAAG,KAAK,CAAC,EAC9B,MAAM,CAAC,EACP,MAAM,CACX,GACF;GAZsB;GAAO,gBAAgB;EAYjC,CACd,GACiB;EACjB,IAAI,CAAC,KAAK,OAAO;EACjB,OAAO,0BAA0B,KAAK,KAAK;CAC7C;CAEA,MAAM,eACJ,QACoD;EAEpD,MAAM,OAAO,MAAM,kCAEf,KAAKC,SACH,QACA,KAAKD,wBACF,UAAU,EACV,OAAO,MAAM,EAAE,IAAI,KAAK,QAAQ,CAAC,EACjC,OAAO,MAAM,EAAE,MAAM,KAAK,QAAQ,CAAC,EACnC,OAAO,MAAM,KAAK,GAAG,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,EACxC,MAAM,CACX,GACF;GAZsB,OAAO;GAAO,gBAAgB;EAYxC,CACd;EACA,MAAM,sBAAM,IAAI,IAAkC;EAClD,KAAK,MAAM,OAAO,MAAM;GACtB,MAAM,QAAQ,IAAI;;GAElB,IAAI,OAAO,UAAU,UAAU;GAC/B,IAAI,IAAI,OAAO,0BAA0B,KAAK,KAAK,CAAC;EACtD;EACA,OAAO;CACT;CAEA,MAAM,WACJ,QACA,OACA,aAKe;EACf,MAAM,WAAuC;GAC3C,KAAK;GACL;GACA,aAAa,YAAY;GACzB,aAAa,YAAY;GACzB,cAAc;GACd,kBAAkB;GAClB,2BAAW,IAAI,KAAK;GACpB,QAAQ;GACR,MAAM,CAAC;GACP,YAAY,CAAC,GAAI,YAAY,cAAc,CAAC,CAAE;EAChD;EACA,MAAM,KAAKC,SAAS,QAAQ,KAAKD,wBAAwB,UAAU,QAAQ,CAAC;CAC9E;CAEA,MAAM,aACJ,QACA,OACA,cACA,aAKkB;EAClB,MAAM,EAAE,eAAe;EA2BvB,QAAO,MA1BY,KAAKC,SACtB,QACA,KAAKD,wBACF,OAAO,MAAM,EAAE,IAAI,GAAG,KAAK,CAAC,EAC5B,OAAO,MAAM,EAAE,MAAM,GAAG,KAAK,CAAC,EAC9B,OAAO,MAAM,EAAE,YAAY,GAAG,YAAY,CAAC,EAC3C,kBACE,MAAM,CACL,EAAE,MAAM,IACN,eAAe,KAAA,IACX;GACE,aAAa,gBAAgB,GAAG,YAAY,WAAW;GACvD,aAAa,gBAAgB,GAAG,YAAY,WAAW;GACvD,WAAW,gBAAgB,mBAAG,IAAI,KAAK,CAAC;EAC1C,IACA;GACE,aAAa,gBAAgB,GAAG,YAAY,WAAW;GACvD,aAAa,gBAAgB,GAAG,YAAY,WAAW;GACvD,WAAW,gBAAgB,mBAAG,IAAI,KAAK,CAAC;GACxC,YAAY,KAAKE,oBAAoB,UAAU;EACjD,CACN,CACF,GACA,EAAE,QAAQ,MAAM,CAClB,CACJ,GACY,SAAS;CACvB;CAEA,MAAM,iBACJ,QACA,OACA,OAQe;EACf,MAAM,WAAuC;GAC3C,MAAM;GACN;GACA,QAAQ,MAAM;GACd,MAAM,MAAM;GACZ,IAAI,MAAM;GACV,eAAe,MAAM;GACrB,eAAe,MAAM;GACrB,YAAY,UACV,MAAM,UACR;GACA,2BAAW,IAAI,KAAK;EACtB;EACA,MAAM,KAAKD,SAAS,QAAQ,KAAKD,wBAAwB,UAAU,QAAQ,CAAC;CAC9E;CAEA,MAAM,WACJ,QACA,OACuC;EACvC,MAAM,gBAAgB;GAAE,OAAO,SAAS;GAAK,gBAAgB;EAAwB;EACrF,MAAM,QAAQ,KAAKA,wBAAwB,UAAU,EAAE,OAAO,MAAM,EAAE,KAAK,GAAG,QAAQ,CAAC;EACvF,MAAM,UACJ,UAAU,KAAA,IACN,MAAM,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,IAC7B,MACG,OAAO,MAAM,EAAE,MAAM,GAAG,KAAK,CAAC,EAC9B,KAAK,EAAE,KAAK,EAAE,CAAC,EACf,MAAM;EACf,MAAM,OAAO,MAAM,kCACX,KAAKC,SAAS,QAAQ,OAAO,GACnC,aACF;EAEA,MAAM,UAA+B,CAAC;EACtC,KAAK,MAAM,OAAO,MAAM;GACtB,MAAM,gBAAgB,IAAI;GAC1B,MAAM,gBAAgB,IAAI;GAC1B,MAAM,OAAO,IAAI;GACjB,MAAM,KAAK,IAAI;GACf,MAAM,WAAW,IAAI;GACrB,IAAI,OAAO,kBAAkB,YAAY,OAAO,kBAAkB,UAChE;GAEF,IAAI,OAAO,SAAS,YAAY,OAAO,OAAO,UAC5C;GAEF,IAAI,OAAO,aAAa,UACtB;GAEF,MAAM,YAAY,IAAI;GACtB,MAAM,gBACJ,qBAAqB,OACjB,YACA,cAAc,KAAA,IACZ,IAAI,KAAK,OAAO,SAAS,CAAC,oBAC1B,IAAI,KAAK;GACjB,MAAM,aAAa,IAAI;GACvB,MAAM,SAAS,MAAM,QAAQ,UAAU,IAAI,aAAa,CAAC;GACzD,QAAQ,KAAK;IACX,OAAO;IACP;IACA;IACA,MAAM,uBAAuB,IAAI;IACjC;IACA,WAAW;IACX,gBAAgB,OAAO;GACzB,CAAC;EACH;EACA,OAAO;CACT;CAEA,MAAM,iBAAiB,QAAyE;EAC9F,OAAO,iBAAiB,UAAU,MAAM,CAAC;CAC3C;AACF;;;AClRA,MAAa,yBAAiE;CAC5E,MAAM;CACN,IAAI;CACJ,UAAU;CACV,UAAU;CACV,SAAS;CACT,uBAAuB,IAAI,IAAI;EAC7B,CAAC,UAAU,gBAAgB;EAC3B,CAAC,OAAO,eAAe;EACvB,CAAC,WAAW,cAAc;EAC1B,CAAC,YAAY,cAAc;EAC3B,CAAC,YAAY,kBAAkB;EAC/B,CAAC,SAAS,gBAAgB;CAC5B,CAAC;CACD,OAAO,EACL,YAAY;EACV,kBAAkB;EAClB,QAAQ;GACN,SAAS;GACT,OAAO;GACP,OAAO;EACT;EACA,aAAa,CACX;GACE,SAAS;GACT,OAAO;GACP,OAAO;EACT,CACF;CACF,EACF;CACA,OAAO,QAAQ;EACb,OAAO,IAAI,wBAAwB;CACrC;AACF"}

package/package.json

@@ -1,36 +1,38 @@
 {
   "name": "@prisma-next/adapter-mongo",
-  "version": "0.12.0-dev.50",
+  "version": "0.12.0-dev.51",
   "license": "Apache-2.0",
   "type": "module",
   "sideEffects": false,
   "description": "MongoDB adapter for Prisma Next (lowers commands to wire format)",
   "dependencies": {
-    "@prisma-next/config": "0.12.0-dev.50",
-    "@prisma-next/contract": "0.12.0-dev.50",
-    "@prisma-next/errors": "0.12.0-dev.50",
-    "@prisma-next/family-mongo": "0.12.0-dev.50",
-    "@prisma-next/framework-components": "0.12.0-dev.50",
-    "@prisma-next/migration-tools": "0.12.0-dev.50",
-    "@prisma-next/mongo-codec": "0.12.0-dev.50",
-    "@prisma-next/mongo-contract": "0.12.0-dev.50",
-    "@prisma-next/mongo-lowering": "0.12.0-dev.50",
-    "@prisma-next/mongo-query-ast": "0.12.0-dev.50",
-    "@prisma-next/mongo-schema-ir": "0.12.0-dev.50",
-    "@prisma-next/mongo-value": "0.12.0-dev.50",
-    "@prisma-next/mongo-wire": "0.12.0-dev.50",
-    "@prisma-next/operations": "0.12.0-dev.50",
-    "@prisma-next/utils": "0.12.0-dev.50",
+    "@prisma-next/config": "0.12.0-dev.51",
+    "@prisma-next/contract": "0.12.0-dev.51",
+    "@prisma-next/errors": "0.12.0-dev.51",
+    "@prisma-next/family-mongo": "0.12.0-dev.51",
+    "@prisma-next/framework-components": "0.12.0-dev.51",
+    "@prisma-next/migration-tools": "0.12.0-dev.51",
+    "@prisma-next/mongo-codec": "0.12.0-dev.51",
+    "@prisma-next/mongo-contract": "0.12.0-dev.51",
+    "@prisma-next/mongo-lowering": "0.12.0-dev.51",
+    "@prisma-next/mongo-query-ast": "0.12.0-dev.51",
+    "@prisma-next/mongo-query-builder": "0.12.0-dev.51",
+    "@prisma-next/mongo-schema-ir": "0.12.0-dev.51",
+    "@prisma-next/mongo-value": "0.12.0-dev.51",
+    "@prisma-next/mongo-wire": "0.12.0-dev.51",
+    "@prisma-next/operations": "0.12.0-dev.51",
+    "@prisma-next/utils": "0.12.0-dev.51",
     "arktype": "^2.2.0"
   },
   "devDependencies": {
     "mongodb": "^7.2.0",
-    "@prisma-next/errors": "0.12.0-dev.50",
-    "@prisma-next/mongo-contract-psl": "0.12.0-dev.50",
-    "@prisma-next/psl-parser": "0.12.0-dev.50",
-    "@prisma-next/test-utils": "0.12.0-dev.50",
-    "@prisma-next/tsconfig": "0.12.0-dev.50",
-    "@prisma-next/tsdown": "0.12.0-dev.50",
+    "@prisma-next/driver-mongo": "0.12.0-dev.51",
+    "@prisma-next/errors": "0.12.0-dev.51",
+    "@prisma-next/mongo-contract-psl": "0.12.0-dev.51",
+    "@prisma-next/psl-parser": "0.12.0-dev.51",
+    "@prisma-next/test-utils": "0.12.0-dev.51",
+    "@prisma-next/tsconfig": "0.12.0-dev.51",
+    "@prisma-next/tsdown": "0.12.0-dev.51",
     "mongodb-memory-server": "11.1.0",
     "tsdown": "0.22.0",
     "typescript": "5.9.3",

package/src/core/marker-ledger-collection.ts

@@ -0,0 +1,32 @@
+/**
+ * Document shape of the `_prisma_migrations` collection, which stores both the
+ * per-space contract **markers** (`space` / `storageHash` / … / `invariants`)
+ * and the migration **ledger** entries (`type` / `edgeId` / … / `appliedAt`) —
+ * so the shape is their union. Declared once so the contract-free field
+ * accessor is typed without threading a contract, codecs, or paths at the call
+ * sites.
+ */
+export type MarkerLedgerDocShape = {
+  readonly _id: { readonly codecId: 'mongo/string@1'; readonly nullable: false };
+  // Marker fields
+  readonly space: { readonly codecId: 'mongo/string@1'; readonly nullable: false };
+  readonly storageHash: { readonly codecId: 'mongo/string@1'; readonly nullable: false };
+  readonly profileHash: { readonly codecId: 'mongo/string@1'; readonly nullable: false };
+  readonly contractJson: { readonly codecId: 'mongo/string@1'; readonly nullable: true };
+  readonly canonicalVersion: { readonly codecId: 'mongo/double@1'; readonly nullable: true };
+  readonly updatedAt: { readonly codecId: 'mongo/date@1'; readonly nullable: false };
+  readonly appTag: { readonly codecId: 'mongo/string@1'; readonly nullable: true };
+  readonly meta: { readonly codecId: 'mongo/document@1'; readonly nullable: true };
+  readonly invariants: { readonly codecId: 'mongo/array@1'; readonly nullable: false };
+  // Ledger fields
+  readonly type: { readonly codecId: 'mongo/string@1'; readonly nullable: false };
+  readonly edgeId: { readonly codecId: 'mongo/string@1'; readonly nullable: false };
+  readonly from: { readonly codecId: 'mongo/string@1'; readonly nullable: false };
+  readonly to: { readonly codecId: 'mongo/string@1'; readonly nullable: false };
+  readonly migrationName: { readonly codecId: 'mongo/string@1'; readonly nullable: false };
+  readonly migrationHash: { readonly codecId: 'mongo/string@1'; readonly nullable: false };
+  readonly operations: { readonly codecId: 'mongo/array@1'; readonly nullable: false };
+  readonly appliedAt: { readonly codecId: 'mongo/date@1'; readonly nullable: false };
+};
+
+export const MARKER_LEDGER_COLLECTION = '_prisma_migrations';

package/src/core/marker-ledger.ts

@@ -1,12 +1,6 @@
 import type { ContractMarkerRecord } from '@prisma-next/contract/types';
 import { parseMarkerRowSafely } from '@prisma-next/errors/execution';
-import type {
-  RawAggregateCommand,
-  RawFindOneAndUpdateCommand,
-  RawInsertOneCommand,
-} from '@prisma-next/mongo-query-ast/execution';
 import { type } from 'arktype';
-import type { Db, Document, UpdateFilter } from 'mongodb';
 
 export const COLLECTION = '_prisma_migrations';
 export const MONGO_MARKER_COLLECTION = `_prisma_migrations marker documents in ${COLLECTION}`;
@@ -37,7 +31,7 @@ export function parseMongoMarkerDoc(doc: unknown): ContractMarkerRecord {
     canonicalVersion: result.canonicalVersion ?? null,
     updatedAt: result.updatedAt ?? new Date(),
     appTag: result.appTag ?? null,
-    meta: (result.meta as Record<string, unknown> | null) ?? {},
+    meta: result.meta ?? {},
     invariants: result.invariants ?? [],
   };
 }
@@ -48,25 +42,3 @@ export function parseMongoMarkerDocSafely(doc: unknown, space: string): Contract
     markerLocation: MONGO_MARKER_COLLECTION,
   });
 }
-
-export async function executeAggregate(db: Db, cmd: RawAggregateCommand): Promise<Document[]> {
-  return db
-    .collection(cmd.collection)
-    .aggregate(cmd.pipeline as Record<string, unknown>[])
-    .toArray();
-}
-
-export async function executeInsertOne(db: Db, cmd: RawInsertOneCommand): Promise<void> {
-  await db.collection(cmd.collection).insertOne(cmd.document);
-}
-
-export async function executeFindOneAndUpdate(
-  db: Db,
-  cmd: RawFindOneAndUpdateCommand,
-): Promise<Document | null> {
-  return db
-    .collection(cmd.collection)
-    .findOneAndUpdate(cmd.filter, cmd.update as UpdateFilter<Document> | Document[], {
-      upsert: cmd.upsert,
-    });
-}

package/src/core/mongo-control-adapter.ts

@@ -3,46 +3,108 @@ import { withMarkerReadErrorHandling } from '@prisma-next/errors/execution';
 import type { MongoControlAdapter } from '@prisma-next/family-mongo/control-adapter';
 import type { ControlDriverInstance } from '@prisma-next/framework-components/control';
 import { ledgerOriginFromStored } from '@prisma-next/migration-tools/ledger-origin';
+import type { MongoAdapter } from '@prisma-next/mongo-lowering';
 import {
-  RawAggregateCommand,
-  RawFindOneAndUpdateCommand,
-  RawInsertOneCommand,
+  type AnyMongoCommand,
+  MongoAggFieldRef,
+  MongoAggLiteral,
+  MongoAggOperator,
+  type MongoQueryPlan,
 } from '@prisma-next/mongo-query-ast/execution';
+import { expr, fn } from '@prisma-next/mongo-query-builder';
+import { collection } from '@prisma-next/mongo-query-builder/contract-free';
 import type { MongoSchemaIR } from '@prisma-next/mongo-schema-ir';
+import type { MongoValue } from '@prisma-next/mongo-value';
+import { blindCast } from '@prisma-next/utils/casts';
 import type { Document } from 'mongodb';
+import { createMongoAdapter } from '../mongo-adapter';
 import { introspectSchema } from './introspect-schema';
 import {
-  COLLECTION,
-  executeAggregate,
-  executeFindOneAndUpdate,
-  executeInsertOne,
   MONGO_LEDGER_COLLECTION,
   MONGO_MARKER_COLLECTION,
   parseMongoMarkerDocSafely,
 } from './marker-ledger';
+import { MARKER_LEDGER_COLLECTION, type MarkerLedgerDocShape } from './marker-ledger-collection';
+import { isMongoControlDriver } from './mongo-control-driver';
 import { extractDb } from './runner-deps';
 
 /**
  * Mongo control adapter for control-plane operations like introspection
  * and marker-ledger CAS. Implements the family-level `MongoControlAdapter`
- * SPI by extracting the underlying `Db` from the framework-shaped driver
- * per call.
+ * SPI. Every marker/ledger operation builds a canonical command inline via
+ * the contract-free fluent builder and dispatches it through the family
+ * adapter's lowering path (`createMongoAdapter().lower(plan, {})`) onto the
+ * Mongo wire transport (`driver.execute(wireCommand)`) — the same route SQL
+ * marker/ledger ops take through `adapter.lower()` → `driver.query()`.
  */
 export class MongoControlAdapterImpl implements MongoControlAdapter<'mongo'> {
   readonly familyId = 'mongo' as const;
   readonly targetId = 'mongo' as const;
+  readonly #adapter: MongoAdapter = createMongoAdapter();
+  readonly #markerLedgerCollection = collection<MarkerLedgerDocShape>(MARKER_LEDGER_COLLECTION);
+
+  async #execute(
+    driver: ControlDriverInstance<'mongo', 'mongo'>,
+    command: AnyMongoCommand,
+  ): Promise<Document[]> {
+    const plan: MongoQueryPlan = {
+      collection: MARKER_LEDGER_COLLECTION,
+      command,
+      meta: { target: 'mongo', targetFamily: 'mongo', storageHash: '', lane: 'control' },
+    };
+    const wireCommand = await this.#adapter.lower(plan, {});
+    if (!isMongoControlDriver(driver)) {
+      throw new Error(
+        'Mongo control adapter requires a Mongo control driver with an execute() transport. ' +
+          'Provide a MongoControlDriver from `@prisma-next/driver-mongo/control`.',
+      );
+    }
+    const rows: Document[] = [];
+    for await (const row of driver.execute<Document>(wireCommand)) {
+      rows.push(row);
+    }
+    return rows;
+  }
+
+  /**
+   * Server-side invariant-merge aggregation expression:
+   * `$sortArray({ input: $setUnion([$ifNull('$invariants', []), incoming]), sortBy: 1 })`.
+   *
+   * Built through the typed agg-expr layer — `fn.setUnion` plus the generic
+   * `MongoAggOperator` for `$ifNull` / `$sortArray` (neither has a named `fn`
+   * helper). Returns a `MongoAggOperator` that is passed directly to
+   * `f.stage.set({ invariants: ... })` in the update pipeline.
+   */
+  #invariantMergeExpr(incoming: readonly string[]): MongoAggOperator {
+    const existingOrEmpty = MongoAggOperator.of('$ifNull', [
+      MongoAggFieldRef.of('invariants'),
+      MongoAggLiteral.of([]),
+    ]);
+    const merged = fn.setUnion(
+      { _field: { codecId: 'mongo/array@1', nullable: false }, node: existingOrEmpty },
+      {
+        _field: { codecId: 'mongo/array@1', nullable: false },
+        node: MongoAggLiteral.of([...incoming]),
+      },
+    );
+    return MongoAggOperator.of('$sortArray', { input: merged.node, sortBy: MongoAggLiteral.of(1) });
+  }
 
   async readMarker(
     driver: ControlDriverInstance<'mongo', 'mongo'>,
     space: string,
   ): Promise<ContractMarkerRecord | null> {
-    const db = extractDb(driver);
     const markerContext = { space, markerLocation: MONGO_MARKER_COLLECTION };
     const docs = await withMarkerReadErrorHandling(
       () =>
-        executeAggregate(
-          db,
-          new RawAggregateCommand(COLLECTION, [{ $match: { _id: space, space } }, { $limit: 1 }]),
+        this.#execute(
+          driver,
+          this.#markerLedgerCollection
+            .aggregate()
+            .match((f) => f._id.eq(space))
+            .match((f) => f.space.eq(space))
+            .limit(1)
+            .build(),
         ),
       markerContext,
     );
@@ -54,21 +116,17 @@ export class MongoControlAdapterImpl implements MongoControlAdapter<'mongo'> {
   async readAllMarkers(
     driver: ControlDriverInstance<'mongo', 'mongo'>,
   ): Promise<ReadonlyMap<string, ContractMarkerRecord>> {
-    const db = extractDb(driver);
     const markerContext = { space: 'app', markerLocation: MONGO_MARKER_COLLECTION };
     const docs = await withMarkerReadErrorHandling(
       () =>
-        executeAggregate(
-          db,
-          new RawAggregateCommand(COLLECTION, [
-            {
-              $match: {
-                _id: { $type: 'string' },
-                space: { $type: 'string' },
-                $expr: { $eq: ['$_id', '$space'] },
-              },
-            },
-          ]),
+        this.#execute(
+          driver,
+          this.#markerLedgerCollection
+            .aggregate()
+            .match((f) => f._id.type('string'))
+            .match((f) => f.space.type('string'))
+            .match((f) => expr(fn.eq(f._id, f.space)))
+            .build(),
         ),
       markerContext,
     );
@@ -91,8 +149,7 @@ export class MongoControlAdapterImpl implements MongoControlAdapter<'mongo'> {
       readonly invariants?: readonly string[];
     },
   ): Promise<void> {
-    const db = extractDb(driver);
-    const cmd = new RawInsertOneCommand(COLLECTION, {
+    const document: Record<string, MongoValue> = {
       _id: space,
       space,
       storageHash: destination.storageHash,
@@ -102,9 +159,9 @@ export class MongoControlAdapterImpl implements MongoControlAdapter<'mongo'> {
       updatedAt: new Date(),
       appTag: null,
       meta: {},
-      invariants: destination.invariants ?? [],
-    });
-    await executeInsertOne(db, cmd);
+      invariants: [...(destination.invariants ?? [])],
+    };
+    await this.#execute(driver, this.#markerLedgerCollection.insertOne(document));
   }
 
   async updateMarker(
@@ -117,38 +174,34 @@ export class MongoControlAdapterImpl implements MongoControlAdapter<'mongo'> {
       readonly invariants?: readonly string[];
     },
   ): Promise<boolean> {
-    const db = extractDb(driver);
-    const setBase: Record<string, unknown> = {
-      storageHash: destination.storageHash,
-      profileHash: destination.profileHash,
-      updatedAt: new Date(),
-    };
-    const update: Document | Document[] =
-      destination.invariants === undefined
-        ? { $set: setBase }
-        : [
-            {
-              $set: {
-                ...setBase,
-                invariants: {
-                  $sortArray: {
-                    input: {
-                      $setUnion: [{ $ifNull: ['$invariants', []] }, destination.invariants],
-                    },
-                    sortBy: 1,
+    const { invariants } = destination;
+    const docs = await this.#execute(
+      driver,
+      this.#markerLedgerCollection
+        .match((f) => f._id.eq(space))
+        .match((f) => f.space.eq(space))
+        .match((f) => f.storageHash.eq(expectedFrom))
+        .findOneAndUpdate(
+          (f) => [
+            f.stage.set(
+              invariants === undefined
+                ? {
+                    storageHash: MongoAggLiteral.of(destination.storageHash),
+                    profileHash: MongoAggLiteral.of(destination.profileHash),
+                    updatedAt: MongoAggLiteral.of(new Date()),
+                  }
+                : {
+                    storageHash: MongoAggLiteral.of(destination.storageHash),
+                    profileHash: MongoAggLiteral.of(destination.profileHash),
+                    updatedAt: MongoAggLiteral.of(new Date()),
+                    invariants: this.#invariantMergeExpr(invariants),
                   },
-                },
-              },
-            },
-          ];
-    const cmd = new RawFindOneAndUpdateCommand(
-      COLLECTION,
-      { _id: space, space, storageHash: expectedFrom },
-      update,
-      false,
+            ),
+          ],
+          { upsert: false },
+        ),
     );
-    const result = await executeFindOneAndUpdate(db, cmd);
-    return result !== null;
+    return docs.length > 0;
   }
 
   async writeLedgerEntry(
@@ -163,8 +216,7 @@ export class MongoControlAdapterImpl implements MongoControlAdapter<'mongo'> {
       readonly operations: readonly unknown[];
     },
   ): Promise<void> {
-    const db = extractDb(driver);
-    const cmd = new RawInsertOneCommand(COLLECTION, {
+    const document: Record<string, MongoValue> = {
       type: 'ledger',
       space,
       edgeId: entry.edgeId,
@@ -172,28 +224,29 @@ export class MongoControlAdapterImpl implements MongoControlAdapter<'mongo'> {
       to: entry.to,
       migrationName: entry.migrationName,
       migrationHash: entry.migrationHash,
-      operations: entry.operations,
+      operations: blindCast<ReadonlyArray<MongoValue>, 'ledger operation docs are BSON values'>(
+        entry.operations,
+      ),
       appliedAt: new Date(),
-    });
-    await executeInsertOne(db, cmd);
+    };
+    await this.#execute(driver, this.#markerLedgerCollection.insertOne(document));
   }
 
   async readLedger(
     driver: ControlDriverInstance<'mongo', 'mongo'>,
     space?: string,
   ): Promise<readonly LedgerEntryRecord[]> {
-    const db = extractDb(driver);
     const ledgerContext = { space: space ?? '*', markerLocation: MONGO_LEDGER_COLLECTION };
-    const matchStage: Record<string, unknown> = { type: 'ledger' };
-    if (space !== undefined) {
-      matchStage['space'] = space;
-    }
+    const chain = this.#markerLedgerCollection.aggregate().match((f) => f.type.eq('ledger'));
+    const command =
+      space === undefined
+        ? chain.sort({ _id: 1 }).build()
+        : chain
+            .match((f) => f.space.eq(space))
+            .sort({ _id: 1 })
+            .build();
     const docs = await withMarkerReadErrorHandling(
-      () =>
-        executeAggregate(
-          db,
-          new RawAggregateCommand(COLLECTION, [{ $match: matchStage }, { $sort: { _id: 1 } }]),
-        ),
+      () => this.#execute(driver, command),
       ledgerContext,
     );
 

package/src/core/mongo-control-driver.ts

@@ -4,5 +4,10 @@ import type { MongoControlDriverInstance } from '@prisma-next/mongo-lowering';
 export function isMongoControlDriver(
   driver: ControlDriverInstance<'mongo', string>,
 ): driver is MongoControlDriverInstance {
-  return driver.familyId === 'mongo' && driver.targetId === 'mongo';
+  return (
+    driver.familyId === 'mongo' &&
+    driver.targetId === 'mongo' &&
+    'execute' in driver &&
+    typeof driver.execute === 'function'
+  );
 }

package/src/exports/control.ts

@@ -1,9 +1,6 @@
-import type { ContractMarkerRecord, LedgerEntryRecord } from '@prisma-next/contract/types';
 import type { MongoControlAdapterDescriptor } from '@prisma-next/family-mongo/control-adapter';
-import type { ControlDriverInstance } from '@prisma-next/framework-components/control';
-import type { Db } from 'mongodb';
+import type { MongoControlDriverInstance } from '@prisma-next/mongo-lowering';
 
-export type { MongoControlDriverInstance } from '@prisma-next/mongo-lowering';
 export { MongoCommandExecutor, MongoInspectionExecutor } from '../core/command-executor';
 export { introspectSchema } from '../core/introspect-schema';
 export { MongoControlAdapterImpl } from '../core/mongo-control-adapter';
@@ -15,78 +12,11 @@ export {
   type MongoRunnerDependencies,
 } from '../core/runner-deps';
 export { createMongoAdapter } from '../mongo-adapter';
+export type { MongoControlDriverInstance };
 
 import { mongoCodecDescriptors } from '../core/codecs';
 import { MongoControlAdapterImpl } from '../core/mongo-control-adapter';
 
-const defaultControlAdapter = new MongoControlAdapterImpl();
-
-function controlDriverFromDb(db: Db): ControlDriverInstance<'mongo', 'mongo'> & { db: Db } {
-  return {
-    familyId: 'mongo',
-    targetId: 'mongo',
-    db,
-    close: async () => {},
-  };
-}
-
-export async function readMarker(db: Db, space: string): Promise<ContractMarkerRecord | null> {
-  return defaultControlAdapter.readMarker(controlDriverFromDb(db), space);
-}
-
-export async function readAllMarkers(db: Db): Promise<ReadonlyMap<string, ContractMarkerRecord>> {
-  return defaultControlAdapter.readAllMarkers(controlDriverFromDb(db));
-}
-
-export async function initMarker(
-  db: Db,
-  space: string,
-  destination: {
-    readonly storageHash: string;
-    readonly profileHash: string;
-    readonly invariants?: readonly string[];
-  },
-): Promise<void> {
-  await defaultControlAdapter.initMarker(controlDriverFromDb(db), space, destination);
-}
-
-export async function updateMarker(
-  db: Db,
-  space: string,
-  expectedFrom: string,
-  destination: {
-    readonly storageHash: string;
-    readonly profileHash: string;
-    readonly invariants?: readonly string[];
-  },
-): Promise<boolean> {
-  return defaultControlAdapter.updateMarker(
-    controlDriverFromDb(db),
-    space,
-    expectedFrom,
-    destination,
-  );
-}
-
-export async function readLedger(db: Db, space?: string): Promise<readonly LedgerEntryRecord[]> {
-  return defaultControlAdapter.readLedger(controlDriverFromDb(db), space);
-}
-
-export async function writeLedgerEntry(
-  db: Db,
-  space: string,
-  entry: {
-    readonly edgeId: string;
-    readonly from: string;
-    readonly to: string;
-    readonly migrationName: string;
-    readonly migrationHash: string;
-    readonly operations: readonly unknown[];
-  },
-): Promise<void> {
-  await defaultControlAdapter.writeLedgerEntry(controlDriverFromDb(db), space, entry);
-}
-
 export const mongoAdapterDescriptor: MongoControlAdapterDescriptor<'mongo'> = {
   kind: 'adapter',
   id: 'mongo',