@prisma-next/adapter-mongo 0.7.0 → 0.8.0-dev.1

package/dist/control.d.mts

@@ -1,9 +1,11 @@
+import { t as createMongoAdapter } from "./mongo-adapter-JuKx_-h9.mjs";
 import { Db, Document, MongoClient } 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 { MongoRunnerDependencies } from "@prisma-next/target-mongo/control";
-import { ControlAdapterDescriptor, ControlDriverInstance, ControlFamilyInstance } from "@prisma-next/framework-components/control";
-import { MongoDriver } from "@prisma-next/mongo-lowering";
+import { MongoControlAdapter, MongoControlAdapterDescriptor } from "@prisma-next/family-mongo/control-adapter";
+import { ContractMarkerRecord } from "@prisma-next/contract/types";
+import { ControlDriverInstance, ControlFamilyInstance } from "@prisma-next/framework-components/control";
+import { MongoAdapter, MongoDriver } from "@prisma-next/mongo-lowering";
 
 //#region src/core/command-executor.d.ts
 declare class MongoCommandExecutor implements MongoDdlCommandVisitor<Promise<void>> {
@@ -25,6 +27,92 @@ declare class MongoInspectionExecutor implements MongoInspectionCommandVisitor<P
 //#region src/core/introspect-schema.d.ts
 declare function introspectSchema(db: Db): Promise<MongoSchemaIR>;
 //#endregion
+//#region src/core/marker-ledger.d.ts
+/**
+ * Reads the marker document for the given contract space, or returns
+ * `null` if no marker has been written for that space yet. Each space
+ * owns one row keyed by `_id: <space>` — see ADR 212 for the per-space
+ * mechanism this enables.
+ */
+declare function readMarker(db: Db, space: string): Promise<ContractMarkerRecord | null>;
+/**
+ * Reads every marker doc in the collection (one per contract space)
+ * and returns them keyed by `space`. Used by the per-space verifier
+ * to detect marker-vs-on-disk drift and orphan marker rows. Returns
+ * an empty map when no marker docs have been written yet.
+ *
+ * Marker docs are keyed by `_id: <space>` (string); ledger entries
+ * live in the same collection but use a driver-generated `ObjectId`
+ * `_id` plus `type: 'ledger'`. The filter selects string-keyed docs
+ * with a `space` field, which excludes ledger entries by construction.
+ */
+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>;
+/**
+ * Updates the marker doc for the given space atomically (CAS on
+ * `expectedFrom`).
+ *
+ * `destination.invariants`:
+ * - `undefined` → existing field left untouched.
+ * - explicit value → merged into the existing field server-side via an
+ *   aggregation pipeline (`$setUnion + $sortArray`), atomic at the
+ *   document level. `[]` is a no-op merge.
+ */
+declare function updateMarker(db: Db, space: string, expectedFrom: string, destination: {
+  readonly storageHash: string;
+  readonly profileHash: string;
+  readonly invariants?: readonly string[];
+}): Promise<boolean>;
+/**
+ * Appends a ledger entry for the given space. Ledger entries co-exist
+ * with marker docs in the same collection; marker docs use `_id: <space>`
+ * (string), ledger entries use `type: 'ledger'` plus a driver-generated
+ * ObjectId. Reads partition the two by filter shape.
+ *
+ * The same `edgeId` may legitimately recur across different spaces (e.g.
+ * a synthetic ∅→head edge on first apply), so the ledger key is
+ * `(space, edgeId)` — the doc carries `space` for partitioned reads.
+ */
+declare function writeLedgerEntry(db: Db, space: string, entry: {
+  readonly edgeId: string;
+  readonly from: string;
+  readonly to: string;
+}): Promise<void>;
+//#endregion
+//#region src/core/mongo-control-adapter.d.ts
+/**
+ * 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
+ * and forwarding to the wire-level helpers in this package.
+ */
+declare class MongoControlAdapterImpl implements MongoControlAdapter<'mongo'> {
+  readonly familyId: "mongo";
+  readonly targetId: "mongo";
+  readMarker(driver: ControlDriverInstance<'mongo', 'mongo'>, space: string): Promise<ContractMarkerRecord | null>;
+  readAllMarkers(driver: ControlDriverInstance<'mongo', 'mongo'>): Promise<ReadonlyMap<string, ContractMarkerRecord>>;
+  initMarker(driver: ControlDriverInstance<'mongo', 'mongo'>, space: string, destination: {
+    readonly storageHash: string;
+    readonly profileHash: string;
+    readonly invariants?: readonly string[];
+  }): Promise<void>;
+  updateMarker(driver: ControlDriverInstance<'mongo', 'mongo'>, space: string, expectedFrom: string, destination: {
+    readonly storageHash: string;
+    readonly profileHash: string;
+    readonly invariants?: readonly string[];
+  }): Promise<boolean>;
+  writeLedgerEntry(driver: ControlDriverInstance<'mongo', 'mongo'>, space: string, entry: {
+    readonly edgeId: string;
+    readonly from: string;
+    readonly to: string;
+  }): Promise<void>;
+  introspectSchema(driver: ControlDriverInstance<'mongo', 'mongo'>): Promise<MongoSchemaIR>;
+}
+//#endregion
 //#region src/core/mongo-control-driver.d.ts
 interface MongoControlDriverInstance extends ControlDriverInstance<'mongo', 'mongo'> {
   readonly db: Db;
@@ -33,10 +121,51 @@ declare function createMongoControlDriver(db: Db, client: MongoClient): MongoCon
 //#endregion
 //#region src/core/runner-deps.d.ts
 declare function extractDb(driver: ControlDriverInstance<'mongo', 'mongo'>): Db;
-declare function createMongoRunnerDeps(controlDriver: ControlDriverInstance<'mongo', 'mongo'>, driver: MongoDriver, family: ControlFamilyInstance<'mongo', MongoSchemaIR>): MongoRunnerDependencies;
+/**
+ * Marker / ledger operations the Mongo runner depends on. Every method
+ * takes a `space` parameter so each loaded contract space addresses its
+ * own marker row independently — see ADR 212 for the per-space
+ * mechanism.
+ */
+interface MarkerOperations {
+  readMarker(space: string): Promise<ContractMarkerRecord | null>;
+  initMarker(space: string, destination: {
+    readonly storageHash: string;
+    readonly profileHash: string;
+    readonly invariants?: readonly string[];
+  }): Promise<void>;
+  updateMarker(space: string, expectedFrom: string, destination: {
+    readonly storageHash: string;
+    readonly profileHash: string;
+    readonly invariants?: readonly string[];
+  }): Promise<boolean>;
+  writeLedgerEntry(space: string, entry: {
+    readonly edgeId: string;
+    readonly from: string;
+    readonly to: string;
+  }): Promise<void>;
+}
+interface MongoRunnerDependencies {
+  readonly commandExecutor: MongoDdlCommandVisitor<Promise<void>>;
+  readonly inspectionExecutor: MongoInspectionCommandVisitor<Promise<Record<string, unknown>[]>>;
+  readonly adapter: MongoAdapter;
+  readonly driver: MongoDriver;
+  readonly markerOps: MarkerOperations;
+  readonly introspectSchema: () => Promise<MongoSchemaIR>;
+}
+/**
+ * Build the runner-dependencies envelope. `controlAdapter` is the
+ * dispatch surface for wire-level Mongo CAS operations (marker reads,
+ * marker advances, ledger appends, introspection); the envelope's
+ * `markerOps` shim simply forwards each call through it. When the
+ * caller already has a `MongoControlAdapter` on the control stack it
+ * can pass it in; otherwise a default `MongoControlAdapterImpl` is
+ * constructed locally.
+ */
+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 const mongoAdapterDescriptor: ControlAdapterDescriptor<'mongo', 'mongo'>;
+declare const mongoAdapterDescriptor: MongoControlAdapterDescriptor<'mongo'>;
 //#endregion
-export { MongoCommandExecutor, type MongoControlDriverInstance, MongoInspectionExecutor, createMongoControlDriver, createMongoRunnerDeps, mongoAdapterDescriptor as default, extractDb, introspectSchema };
+export { type MarkerOperations, MongoCommandExecutor, MongoControlAdapterImpl, type MongoControlDriverInstance, MongoInspectionExecutor, type MongoRunnerDependencies, createMongoAdapter, createMongoControlDriver, createMongoRunnerDeps, mongoAdapterDescriptor as default, mongoAdapterDescriptor, extractDb, initMarker, introspectSchema, readAllMarkers, readMarker, updateMarker, writeLedgerEntry };
 //# 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-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;;;UCxFvC,0BAAA,SAAmC,qBAAA;EAAA,SACzC,EAAA,EAAI,EAAA;AAAA;AAAA,iBAuBC,wBAAA,CAAyB,EAAA,EAAI,EAAA,EAAI,MAAA,EAAQ,WAAA,GAAc,0BAAA;;;iBCVvD,SAAA,CAAU,MAAA,EAAQ,qBAAA,qBAA0C,EAAA;AAAA,iBAW5D,qBAAA,CACd,aAAA,EAAe,qBAAA,oBACf,MAAA,EAAQ,WAAA,EACR,MAAA,EAAQ,qBAAA,UAA+B,aAAA,IACtC,uBAAA;;;cCpBG,sBAAA,EAAwB,wBAAA"}
+{"version":3,"file":"control.d.mts","names":[],"sources":["../src/core/command-executor.ts","../src/core/introspect-schema.ts","../src/core/marker-ledger.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;;;;;;;;;iBCNlC,UAAA,CAAW,EAAA,EAAI,EAAA,EAAI,KAAA,WAAgB,OAAA,CAAQ,oBAAA;;AFvEjE;;;;;;;;;;iBE6FsB,cAAA,CAAe,EAAA,EAAI,EAAA,GAAK,OAAA,CAAQ,WAAA,SAAoB,oBAAA;AAAA,iBAqBpD,UAAA,CACpB,EAAA,EAAI,EAAA,EACJ,KAAA,UACA,WAAA;EAAA,SACW,WAAA;EAAA,SACA,WAAA;EAAA,SACA,UAAA;AAAA,IAEV,OAAA;;;;;;;;;;;iBA0BmB,YAAA,CACpB,EAAA,EAAI,EAAA,EACJ,KAAA,UACA,YAAA,UACA,WAAA;EAAA,SACW,WAAA;EAAA,SACA,WAAA;EAAA,SACA,UAAA;AAAA,IAEV,OAAA;;;;;;;;;;;iBA8CmB,gBAAA,CACpB,EAAA,EAAI,EAAA,EACJ,KAAA,UACA,KAAA;EAAA,SAAkB,MAAA;EAAA,SAAyB,IAAA;EAAA,SAAuB,EAAA;AAAA,IACjE,OAAA;;;;;;;;;cCzMU,uBAAA,YAAmC,mBAAA;EAAA,SACrC,QAAA;EAAA,SACA,QAAA;EAEH,UAAA,CACJ,MAAA,EAAQ,qBAAA,oBACR,KAAA,WACC,OAAA,CAAQ,oBAAA;EAIL,cAAA,CACJ,MAAA,EAAQ,qBAAA,qBACP,OAAA,CAAQ,WAAA,SAAoB,oBAAA;EAIzB,UAAA,CACJ,MAAA,EAAQ,qBAAA,oBACR,KAAA,UACA,WAAA;IAAA,SACW,WAAA;IAAA,SACA,WAAA;IAAA,SACA,UAAA;EAAA,IAEV,OAAA;EAIG,YAAA,CACJ,MAAA,EAAQ,qBAAA,oBACR,KAAA,UACA,YAAA,UACA,WAAA;IAAA,SACW,WAAA;IAAA,SACA,WAAA;IAAA,SACA,UAAA;EAAA,IAEV,OAAA;EAIG,gBAAA,CACJ,MAAA,EAAQ,qBAAA,oBACR,KAAA,UACA,KAAA;IAAA,SAAkB,MAAA;IAAA,SAAyB,IAAA;IAAA,SAAuB,EAAA;EAAA,IACjE,OAAA;EAIG,gBAAA,CAAiB,MAAA,EAAQ,qBAAA,qBAA0C,OAAA,CAAQ,aAAA;AAAA;;;UCnElE,0BAAA,SAAmC,qBAAA;EAAA,SACzC,EAAA,EAAI,EAAA;AAAA;AAAA,iBAuBC,wBAAA,CAAyB,EAAA,EAAI,EAAA,EAAI,MAAA,EAAQ,WAAA,GAAc,0BAAA;;;iBCVvD,SAAA,CAAU,MAAA,EAAQ,qBAAA,qBAA0C,EAAA;;;ALH5E;;;;UKoBiB,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;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;;;cChEU,sBAAA,EAAwB,6BAAA"}

package/dist/control.mjs

@@ -1,8 +1,9 @@
 import { r as mongoCodecDescriptors, t as createMongoAdapter } from "./mongo-adapter-DfCmEYHR.mjs";
+import { RawAggregateCommand, RawFindOneAndUpdateCommand, RawInsertOneCommand } from "@prisma-next/mongo-query-ast/execution";
 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 { initMarker, readMarker, updateMarker, writeLedgerEntry } from "@prisma-next/target-mongo/control";
+import { type } from "arktype";
 //#region src/core/command-executor.ts
 var MongoCommandExecutor = class {
 	db;
@@ -162,6 +163,219 @@ async function introspectSchema(db) {
 	return new MongoSchemaIR(collections);
 }
 //#endregion
+//#region src/core/marker-ledger.ts
+const COLLECTION = "_prisma_migrations";
+/**
+* Marker doc shape.
+*
+* Same fields as the SQL marker row but camelCase + Mongo-native types:
+* `Date` is BSON-hydrated, `meta` is a native object (not JSON-stringified),
+* `_id` and any extension fields are tolerated. `invariants?` is optional —
+* absent reads as `[]` (schemaless default); present-but-malformed throws.
+*
+* `space` is required: every marker doc is keyed by its space id (`_id`)
+* and stamped with a matching `space` field for partitioned reads.
+*/
+const MongoMarkerDocSchema = type({
+	space: "string",
+	storageHash: "string",
+	profileHash: "string",
+	"contractJson?": "unknown | null",
+	"canonicalVersion?": "number | null",
+	"updatedAt?": "Date",
+	"appTag?": "string | null",
+	"meta?": type({ "[string]": "unknown" }).or("null"),
+	"invariants?": type("string").array(),
+	"+": "delete"
+});
+function parseMongoMarkerDoc(doc) {
+	const result = MongoMarkerDocSchema(doc);
+	if (result instanceof type.errors) throw new Error(`Invalid marker doc on ${COLLECTION}: ${result.summary}`);
+	return {
+		storageHash: result.storageHash,
+		profileHash: result.profileHash,
+		contractJson: result.contractJson ?? null,
+		canonicalVersion: result.canonicalVersion ?? null,
+		updatedAt: result.updatedAt ?? /* @__PURE__ */ new Date(),
+		appTag: result.appTag ?? null,
+		meta: result.meta ?? {},
+		invariants: result.invariants ?? []
+	};
+}
+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 });
+}
+/**
+* Reads the marker document for the given contract space, or returns
+* `null` if no marker has been written for that space yet. Each space
+* owns one row keyed by `_id: <space>` — see ADR 212 for the per-space
+* mechanism this enables.
+*/
+async function readMarker(db, space) {
+	const doc = (await executeAggregate(db, new RawAggregateCommand(COLLECTION, [{ $match: {
+		_id: space,
+		space
+	} }, { $limit: 1 }])))[0];
+	if (!doc) return null;
+	return parseMongoMarkerDoc(doc);
+}
+/**
+* Reads every marker doc in the collection (one per contract space)
+* and returns them keyed by `space`. Used by the per-space verifier
+* to detect marker-vs-on-disk drift and orphan marker rows. Returns
+* an empty map when no marker docs have been written yet.
+*
+* Marker docs are keyed by `_id: <space>` (string); ledger entries
+* live in the same collection but use a driver-generated `ObjectId`
+* `_id` plus `type: 'ledger'`. The filter selects string-keyed docs
+* with a `space` field, which excludes ledger entries by construction.
+*/
+async function readAllMarkers(db) {
+	const docs = await executeAggregate(db, new RawAggregateCommand(COLLECTION, [{ $match: {
+		_id: { $type: "string" },
+		space: { $type: "string" },
+		$expr: { $eq: ["$_id", "$space"] }
+	} }]));
+	const out = /* @__PURE__ */ new Map();
+	for (const doc of docs) {
+		const space = doc["space"];
+		/* 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`. */
+		if (typeof space !== "string") continue;
+		out.set(space, parseMongoMarkerDoc(doc));
+	}
+	return out;
+}
+async function initMarker(db, space, destination) {
+	await executeInsertOne(db, new RawInsertOneCommand(COLLECTION, {
+		_id: space,
+		space,
+		storageHash: destination.storageHash,
+		profileHash: destination.profileHash,
+		contractJson: null,
+		canonicalVersion: null,
+		updatedAt: /* @__PURE__ */ new Date(),
+		appTag: null,
+		meta: {},
+		invariants: destination.invariants ?? []
+	}));
+}
+/**
+* Updates the marker doc for the given space atomically (CAS on
+* `expectedFrom`).
+*
+* `destination.invariants`:
+* - `undefined` → existing field left untouched.
+* - explicit value → merged into the existing field server-side via an
+*   aggregation pipeline (`$setUnion + $sortArray`), atomic at the
+*   document level. `[]` is a no-op merge.
+*/
+async function updateMarker(db, space, expectedFrom, destination) {
+	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;
+}
+/**
+* Appends a ledger entry for the given space. Ledger entries co-exist
+* with marker docs in the same collection; marker docs use `_id: <space>`
+* (string), ledger entries use `type: 'ledger'` plus a driver-generated
+* ObjectId. Reads partition the two by filter shape.
+*
+* The same `edgeId` may legitimately recur across different spaces (e.g.
+* a synthetic ∅→head edge on first apply), so the ledger key is
+* `(space, edgeId)` — the doc carries `space` for partitioned reads.
+*/
+async function writeLedgerEntry(db, space, entry) {
+	await executeInsertOne(db, new RawInsertOneCommand(COLLECTION, {
+		type: "ledger",
+		space,
+		edgeId: entry.edgeId,
+		from: entry.from,
+		to: entry.to,
+		appliedAt: /* @__PURE__ */ new Date()
+	}));
+}
+//#endregion
+//#region src/core/runner-deps.ts
+function extractDb(driver) {
+	const mongoDriver = driver;
+	if (!mongoDriver.db) throw new Error("Mongo control driver does not expose a db property. Use mongoControlDriver.create() from `@prisma-next/driver-mongo/control`.");
+	return mongoDriver.db;
+}
+/**
+* Build the runner-dependencies envelope. `controlAdapter` is the
+* dispatch surface for wire-level Mongo CAS operations (marker reads,
+* marker advances, ledger appends, introspection); the envelope's
+* `markerOps` shim simply forwards each call through it. When the
+* caller already has a `MongoControlAdapter` on the control stack it
+* can pass it in; otherwise a default `MongoControlAdapterImpl` is
+* constructed locally.
+*/
+function createMongoRunnerDeps(controlDriver, driver, _family, controlAdapter = new MongoControlAdapterImpl()) {
+	return {
+		commandExecutor: new MongoCommandExecutor(extractDb(controlDriver)),
+		inspectionExecutor: new MongoInspectionExecutor(extractDb(controlDriver)),
+		adapter: createMongoAdapter(),
+		driver,
+		markerOps: {
+			readMarker: (space) => controlAdapter.readMarker(controlDriver, space),
+			initMarker: (space, dest) => controlAdapter.initMarker(controlDriver, space, dest),
+			updateMarker: (space, expectedFrom, dest) => controlAdapter.updateMarker(controlDriver, space, expectedFrom, dest),
+			writeLedgerEntry: (space, entry) => controlAdapter.writeLedgerEntry(controlDriver, space, entry)
+		},
+		introspectSchema: () => controlAdapter.introspectSchema(controlDriver)
+	};
+}
+//#endregion
+//#region src/core/mongo-control-adapter.ts
+/**
+* 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
+* and forwarding to the wire-level helpers in this package.
+*/
+var MongoControlAdapterImpl = class {
+	familyId = "mongo";
+	targetId = "mongo";
+	async readMarker(driver, space) {
+		return readMarker(extractDb(driver), space);
+	}
+	async readAllMarkers(driver) {
+		return readAllMarkers(extractDb(driver));
+	}
+	async initMarker(driver, space, destination) {
+		await initMarker(extractDb(driver), space, destination);
+	}
+	async updateMarker(driver, space, expectedFrom, destination) {
+		return updateMarker(extractDb(driver), space, expectedFrom, destination);
+	}
+	async writeLedgerEntry(driver, space, entry) {
+		await writeLedgerEntry(extractDb(driver), space, entry);
+	}
+	async introspectSchema(driver) {
+		return introspectSchema(extractDb(driver));
+	}
+};
+//#endregion
 //#region src/core/mongo-control-driver.ts
 var MongoControlDriverImpl = class {
 	familyId = "mongo";
@@ -183,29 +397,6 @@ function createMongoControlDriver(db, client) {
 	return new MongoControlDriverImpl(db, client);
 }
 //#endregion
-//#region src/core/runner-deps.ts
-function extractDb(driver) {
-	const mongoDriver = driver;
-	if (!mongoDriver.db) throw new Error("Mongo control driver does not expose a db property. Use mongoControlDriver.create() from `@prisma-next/driver-mongo/control`.");
-	return mongoDriver.db;
-}
-function createMongoRunnerDeps(controlDriver, driver, family) {
-	const db = extractDb(controlDriver);
-	return {
-		commandExecutor: new MongoCommandExecutor(db),
-		inspectionExecutor: new MongoInspectionExecutor(db),
-		adapter: createMongoAdapter(),
-		driver,
-		markerOps: {
-			readMarker: (space) => readMarker(db, space),
-			initMarker: (space, dest) => initMarker(db, space, dest),
-			updateMarker: (space, expectedFrom, dest) => updateMarker(db, space, expectedFrom, dest),
-			writeLedgerEntry: (space, entry) => writeLedgerEntry(db, space, entry)
-		},
-		introspectSchema: () => family.introspect({ driver: controlDriver })
-	};
-}
-//#endregion
 //#region src/exports/control.ts
 const mongoAdapterDescriptor = {
 	kind: "adapter",
@@ -235,13 +426,10 @@ const mongoAdapterDescriptor = {
 		}]
 	} },
 	create(_stack) {
-		return {
-			familyId: "mongo",
-			targetId: "mongo"
-		};
+		return new MongoControlAdapterImpl();
 	}
 };
 //#endregion
-export { MongoCommandExecutor, MongoInspectionExecutor, createMongoControlDriver, createMongoRunnerDeps, mongoAdapterDescriptor as default, extractDb, introspectSchema };
+export { MongoCommandExecutor, MongoControlAdapterImpl, MongoInspectionExecutor, createMongoAdapter, createMongoControlDriver, createMongoRunnerDeps, mongoAdapterDescriptor as default, mongoAdapterDescriptor, extractDb, initMarker, introspectSchema, readAllMarkers, readMarker, updateMarker, writeLedgerEntry };
 
 //# sourceMappingURL=control.mjs.map

package/dist/control.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"control.mjs","names":["#client"],"sources":["../src/core/command-executor.ts","../src/core/introspect-schema.ts","../src/core/mongo-control-driver.ts","../src/core/runner-deps.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 { ControlDriverInstance } from '@prisma-next/framework-components/control';\nimport type { Db, MongoClient } from 'mongodb';\n\nexport interface MongoControlDriverInstance extends ControlDriverInstance<'mongo', 'mongo'> {\n  readonly db: Db;\n}\n\nclass MongoControlDriverImpl implements MongoControlDriverInstance {\n  readonly familyId = 'mongo' as const;\n  readonly targetId = 'mongo' as const;\n  readonly db: Db;\n  readonly #client: MongoClient;\n\n  constructor(db: Db, client: MongoClient) {\n    this.db = db;\n    this.#client = client;\n  }\n\n  query(): Promise<never> {\n    throw new Error('MongoDB control driver does not support SQL queries');\n  }\n\n  async close(): Promise<void> {\n    await this.#client.close();\n  }\n}\n\nexport function createMongoControlDriver(db: Db, client: MongoClient): MongoControlDriverInstance {\n  return new MongoControlDriverImpl(db, client);\n}\n","import type {\n  ControlDriverInstance,\n  ControlFamilyInstance,\n} from '@prisma-next/framework-components/control';\nimport type { MongoDriver } from '@prisma-next/mongo-lowering';\nimport type { MongoSchemaIR } from '@prisma-next/mongo-schema-ir';\nimport {\n  initMarker,\n  type MongoRunnerDependencies,\n  readMarker,\n  updateMarker,\n  writeLedgerEntry,\n} from '@prisma-next/target-mongo/control';\nimport type { Db } from 'mongodb';\nimport { createMongoAdapter } from '../mongo-adapter';\nimport { MongoCommandExecutor, MongoInspectionExecutor } from './command-executor';\n\nexport function extractDb(driver: ControlDriverInstance<'mongo', 'mongo'>): Db {\n  const mongoDriver = driver as ControlDriverInstance<'mongo', 'mongo'> & { db?: Db };\n  if (!mongoDriver.db) {\n    throw new Error(\n      'Mongo control driver does not expose a db property. ' +\n        'Use mongoControlDriver.create() from `@prisma-next/driver-mongo/control`.',\n    );\n  }\n  return mongoDriver.db;\n}\n\nexport function createMongoRunnerDeps(\n  controlDriver: ControlDriverInstance<'mongo', 'mongo'>,\n  driver: MongoDriver,\n  family: ControlFamilyInstance<'mongo', MongoSchemaIR>,\n): MongoRunnerDependencies {\n  const db = extractDb(controlDriver);\n  return {\n    commandExecutor: new MongoCommandExecutor(db),\n    inspectionExecutor: new MongoInspectionExecutor(db),\n    adapter: createMongoAdapter(),\n    driver,\n    markerOps: {\n      readMarker: (space) => readMarker(db, space),\n      initMarker: (space, dest) => initMarker(db, space, dest),\n      updateMarker: (space, expectedFrom, dest) => updateMarker(db, space, expectedFrom, dest),\n      writeLedgerEntry: (space, entry) => writeLedgerEntry(db, space, entry),\n    },\n    introspectSchema: () => family.introspect({ driver: controlDriver }),\n  };\n}\n","import type { ControlAdapterDescriptor } from '@prisma-next/framework-components/control';\n\nexport { MongoCommandExecutor, MongoInspectionExecutor } from '../core/command-executor';\nexport { introspectSchema } from '../core/introspect-schema';\nexport {\n  createMongoControlDriver,\n  type MongoControlDriverInstance,\n} from '../core/mongo-control-driver';\nexport { createMongoRunnerDeps, extractDb } from '../core/runner-deps';\n\nimport { mongoCodecDescriptors } from '../core/codecs';\n\nconst mongoAdapterDescriptor: ControlAdapterDescriptor<'mongo', '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 { familyId: 'mongo' as const, targetId: 'mongo' as const };\n  },\n};\n\nexport default mongoAdapterDescriptor;\n"],"mappings":";;;;;;AAcA,IAAa,uBAAb,MAAmF;CACpD;CAA7B,YAAY,IAAyB;EAAR,KAAA,KAAA;;CAE7B,MAAM,YAAY,KAAwC;EACxD,MAAM,UAAoB,cAAc,IAAI,KAAK;EACjD,MAAM,UAAmC,EAAE;EAC3C,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,WAAW,CAAC,YAAY,SAAS,QAAQ;;CAGxE,MAAM,UAAU,KAAsC;EACpD,MAAM,KAAK,GAAG,WAAW,IAAI,WAAW,CAAC,UAAU,IAAI,KAAK;;CAG9D,MAAM,iBAAiB,KAA6C;EAClE,MAAM,UAAmC,EAAE;EAC3C,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,QAAQ;;CAGzD,MAAM,eAAe,KAA2C;EAC9D,MAAM,KAAK,GAAG,WAAW,IAAI,WAAW,CAAC,MAAM;;CAGjD,MAAM,QAAQ,KAAoC;EAChD,MAAM,UAAmC,EAAE,SAAS,IAAI,YAAY;EACpE,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,QAAQ;;;AAIlC,IAAa,0BAAb,MAAmG;CACpE;CAA7B,YAAY,IAAyB;EAAR,KAAA,KAAA;;CAE7B,MAAM,YAAY,KAA8C;EAC9D,IAAI;GACF,OAAO,MAAM,KAAK,GAAG,WAAW,IAAI,WAAW,CAAC,aAAa,CAAC,SAAS;WAChE,OAAgB;GACvB,IAAI,iBAAiB,oBAAoB,MAAM,SAAS,IACtD,OAAO,EAAE;GAEX,MAAM;;;CAIV,MAAM,gBAAgB,MAAmD;EACvE,OAAO,KAAK,GAAG,iBAAiB,CAAC,SAAS;;;;;AC5E9C,MAAM,+BAA+B;AAErC,SAAS,eAAe,SAAmD;CACzE,MAAM,OAAwB,EAAE;CAChC,KAAK,MAAM,CAAC,OAAO,cAAc,OAAO,QAAQ,QAAQ,EACtD,KAAK,KAAK;EAAE;EAAkB;EAAqC,CAAC;CAEtE,OAAO;;;;;;;AAQT,SAAgB,iBAAiB,KAAwB;CACvD,MAAM,MAAM,IAAI;CAChB,IAAI,CAAC,KAAK,OAAO;CACjB,MAAM,UAAU,OAAO,QAAQ,IAAI;CACnC,OAAO,QAAQ,WAAW,KAAK,QAAQ,KAAK,OAAO,SAAS,QAAQ,KAAK,OAAO;;AAGlF,SAAS,WAAW,KAAiC;CACnD,MAAM,UAAU,IAAI;CACpB,OAAO,IAAI,iBAAiB;EAC1B,MAAM,eAAe,QAAQ;EAC7B,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;EACxB,CAAC;;AAGJ,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;EACxE,CAAC;;AAGJ,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,KAAK,GAAG,EAAE;GAAG,EAAE,GAAG,EAAE;EAClF,GAAI,aAAa,EAAE,YAAY,GAAG,EAAE;EACpC,GAAI,YAAY,EAAE,WAAW,GAAG,EAAE;EAClC,GAAI,+BAA+B,EAAE,8BAA8B,GAAG,EAAE;EACxE,GAAI,iBAAiB,EAAE,gBAAgB,GAAG,EAAE;EAC7C,CAAC;;AAGJ,eAAsB,iBAAiB,IAAgC;CACrE,MAAM,kBAAkB,MAAM,GAAG,iBAAiB,CAAC,SAAS;CAE5D,MAAM,cAAuC,EAAE;CAE/C,KAAK,MAAM,QAAQ,iBAAiB;EAClC,MAAM,OAAO,KAAK;EAClB,MAAM,OAAO,KAAK;EAElB,IAAI,SAAS,8BAA8B;EAC3C,IAAI,KAAK,WAAW,UAAU,EAAE;EAChC,IAAI,SAAS,QAAQ;EAGrB,MAAM,WAAU,MADQ,GAAG,WAAW,KAAK,CAAC,aAAa,CAAC,SAAS,EACzC,QAAQ,QAAQ,CAAC,iBAAiB,IAAI,CAAC,CAAC,IAAI,WAAW;EAGjF,MAAM,YAAY,eADE,aAAa,OAAQ,KAAK,aAAyC,EAAE,CAC5C;EAC7C,MAAM,UAAU,uBAAuB,KAAK;EAE5C,YAAY,KACV,IAAI,sBAAsB;GACxB;GACA;GACA,GAAI,YAAY,EAAE,WAAW,GAAG,EAAE;GAClC,GAAI,UAAU,EAAE,SAAS,GAAG,EAAE;GAC/B,CAAC,CACH;;CAGH,OAAO,IAAI,cAAc,YAAY;;;;AClHvC,IAAM,yBAAN,MAAmE;CACjE,WAAoB;CACpB,WAAoB;CACpB;CACA;CAEA,YAAY,IAAQ,QAAqB;EACvC,KAAK,KAAK;EACV,KAAKA,UAAU;;CAGjB,QAAwB;EACtB,MAAM,IAAI,MAAM,sDAAsD;;CAGxE,MAAM,QAAuB;EAC3B,MAAM,KAAKA,QAAQ,OAAO;;;AAI9B,SAAgB,yBAAyB,IAAQ,QAAiD;CAChG,OAAO,IAAI,uBAAuB,IAAI,OAAO;;;;ACX/C,SAAgB,UAAU,QAAqD;CAC7E,MAAM,cAAc;CACpB,IAAI,CAAC,YAAY,IACf,MAAM,IAAI,MACR,gIAED;CAEH,OAAO,YAAY;;AAGrB,SAAgB,sBACd,eACA,QACA,QACyB;CACzB,MAAM,KAAK,UAAU,cAAc;CACnC,OAAO;EACL,iBAAiB,IAAI,qBAAqB,GAAG;EAC7C,oBAAoB,IAAI,wBAAwB,GAAG;EACnD,SAAS,oBAAoB;EAC7B;EACA,WAAW;GACT,aAAa,UAAU,WAAW,IAAI,MAAM;GAC5C,aAAa,OAAO,SAAS,WAAW,IAAI,OAAO,KAAK;GACxD,eAAe,OAAO,cAAc,SAAS,aAAa,IAAI,OAAO,cAAc,KAAK;GACxF,mBAAmB,OAAO,UAAU,iBAAiB,IAAI,OAAO,MAAM;GACvE;EACD,wBAAwB,OAAO,WAAW,EAAE,QAAQ,eAAe,CAAC;EACrE;;;;AClCH,MAAM,yBAAqE;CACzE,MAAM;CACN,IAAI;CACJ,UAAU;CACV,UAAU;CACV,SAAS;CACT,uBAAuB,IAAI,IAAI;EAC7B,CAAC,UAAU,iBAAiB;EAC5B,CAAC,OAAO,gBAAgB;EACxB,CAAC,WAAW,eAAe;EAC3B,CAAC,YAAY,eAAe;EAC5B,CAAC,YAAY,mBAAmB;EAChC,CAAC,SAAS,iBAAiB;EAC5B,CAAC;CACF,OAAO,EACL,YAAY;EACV,kBAAkB;EAClB,QAAQ;GACN,SAAS;GACT,OAAO;GACP,OAAO;GACR;EACD,aAAa,CACX;GACE,SAAS;GACT,OAAO;GACP,OAAO;GACR,CACF;EACF,EACF;CACD,OAAO,QAAQ;EACb,OAAO;GAAE,UAAU;GAAkB,UAAU;GAAkB;;CAEpE"}
+{"version":3,"file":"control.mjs","names":["#client"],"sources":["../src/core/command-executor.ts","../src/core/introspect-schema.ts","../src/core/marker-ledger.ts","../src/core/runner-deps.ts","../src/core/mongo-control-adapter.ts","../src/core/mongo-control-driver.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 {\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\nconst COLLECTION = '_prisma_migrations';\n\n/**\n * Marker doc shape.\n *\n * Same fields as the SQL marker row but camelCase + Mongo-native types:\n * `Date` is BSON-hydrated, `meta` is a native object (not JSON-stringified),\n * `_id` and any extension fields are tolerated. `invariants?` is optional —\n * absent reads as `[]` (schemaless default); present-but-malformed throws.\n *\n * `space` is required: every marker doc is keyed by its space id (`_id`)\n * and stamped with a matching `space` field for partitioned reads.\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\nfunction 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\nasync 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\nasync function executeInsertOne(db: Db, cmd: RawInsertOneCommand): Promise<void> {\n  await db.collection(cmd.collection).insertOne(cmd.document);\n}\n\nasync function executeFindOneAndUpdate(\n  db: Db,\n  cmd: RawFindOneAndUpdateCommand,\n): Promise<Document | null> {\n  // `cmd.update` is `Document | ReadonlyArray<Document>` per the AST. The\n  // MongoDB driver's `findOneAndUpdate` accepts the same shape under the\n  // type `UpdateFilter<T> | Document[]`. The driver's runtime path handles\n  // both forms identically — pipelines (array) and update docs (object).\n  // One cast to that union keeps the call single-arm.\n  return db\n    .collection(cmd.collection)\n    .findOneAndUpdate(cmd.filter, cmd.update as UpdateFilter<Document> | Document[], {\n      upsert: cmd.upsert,\n    });\n}\n\n/**\n * Reads the marker document for the given contract space, or returns\n * `null` if no marker has been written for that space yet. Each space\n * owns one row keyed by `_id: <space>` — see ADR 212 for the per-space\n * mechanism this enables.\n */\nexport async function readMarker(db: Db, space: string): Promise<ContractMarkerRecord | null> {\n  const cmd = new RawAggregateCommand(COLLECTION, [\n    { $match: { _id: space, space } },\n    { $limit: 1 },\n  ]);\n  const docs = await executeAggregate(db, cmd);\n  const doc = docs[0];\n  if (!doc) return null;\n  return parseMongoMarkerDoc(doc);\n}\n\n/**\n * Reads every marker doc in the collection (one per contract space)\n * and returns them keyed by `space`. Used by the per-space verifier\n * to detect marker-vs-on-disk drift and orphan marker rows. Returns\n * an empty map when no marker docs have been written yet.\n *\n * Marker docs are keyed by `_id: <space>` (string); ledger entries\n * live in the same collection but use a driver-generated `ObjectId`\n * `_id` plus `type: 'ledger'`. The filter selects string-keyed docs\n * with a `space` field, which excludes ledger entries by construction.\n */\nexport async function readAllMarkers(db: Db): Promise<ReadonlyMap<string, ContractMarkerRecord>> {\n  const cmd = new RawAggregateCommand(COLLECTION, [\n    {\n      $match: {\n        _id: { $type: 'string' },\n        space: { $type: 'string' },\n        $expr: { $eq: ['$_id', '$space'] },\n      },\n    },\n  ]);\n  const docs = await executeAggregate(db, cmd);\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, parseMongoMarkerDoc(doc));\n  }\n  return out;\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  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/**\n * Updates the marker doc for the given space atomically (CAS on\n * `expectedFrom`).\n *\n * `destination.invariants`:\n * - `undefined` → existing field left untouched.\n * - explicit value → merged into the existing field server-side via an\n *   aggregation pipeline (`$setUnion + $sortArray`), atomic at the\n *   document level. `[]` is a no-op merge.\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  const setBase: Record<string, unknown> = {\n    storageHash: destination.storageHash,\n    profileHash: destination.profileHash,\n    updatedAt: new Date(),\n  };\n  // When invariants is supplied, use an aggregation pipeline so the\n  // merge runs server-side against the doc's current value (atomic, no\n  // read-then-write window). When omitted, a regular update doc keeps\n  // the field untouched.\n  const update: Document | Document[] =\n    destination.invariants === undefined\n      ? { $set: setBase }\n      : [\n          {\n            $set: {\n              ...setBase,\n              invariants: {\n                $sortArray: {\n                  input: { $setUnion: [{ $ifNull: ['$invariants', []] }, destination.invariants] },\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/**\n * Appends a ledger entry for the given space. Ledger entries co-exist\n * with marker docs in the same collection; marker docs use `_id: <space>`\n * (string), ledger entries use `type: 'ledger'` plus a driver-generated\n * ObjectId. Reads partition the two by filter shape.\n *\n * The same `edgeId` may legitimately recur across different spaces (e.g.\n * a synthetic ∅→head edge on first apply), so the ledger key is\n * `(space, edgeId)` — the doc carries `space` for partitioned reads.\n */\nexport async function writeLedgerEntry(\n  db: Db,\n  space: string,\n  entry: { readonly edgeId: string; readonly from: string; readonly to: string },\n): Promise<void> {\n  const cmd = new RawInsertOneCommand(COLLECTION, {\n    type: 'ledger',\n    space,\n    edgeId: entry.edgeId,\n    from: entry.from,\n    to: entry.to,\n    appliedAt: new Date(),\n  });\n  await executeInsertOne(db, cmd);\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';\n\nexport function extractDb(driver: ControlDriverInstance<'mongo', 'mongo'>): Db {\n  const mongoDriver = driver as ControlDriverInstance<'mongo', 'mongo'> & { db?: Db };\n  if (!mongoDriver.db) {\n    throw new Error(\n      'Mongo control driver does not expose a db property. ' +\n        'Use mongoControlDriver.create() from `@prisma-next/driver-mongo/control`.',\n    );\n  }\n  return mongoDriver.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    },\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 M2.5 family→adapter SPI dispatch refactor: the runner\n  // dependencies now route every wire-level call through `controlAdapter`, so\n  // the `family` instance is no longer consulted. Kept on the signature to\n  // avoid rippling through ~14 call sites mid-orchestration; a follow-up that\n  // already touches this factory 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 } from '@prisma-next/contract/types';\nimport type { MongoControlAdapter } from '@prisma-next/family-mongo/control-adapter';\nimport type { ControlDriverInstance } from '@prisma-next/framework-components/control';\nimport type { MongoSchemaIR } from '@prisma-next/mongo-schema-ir';\nimport { introspectSchema } from './introspect-schema';\nimport {\n  initMarker,\n  readAllMarkers,\n  readMarker,\n  updateMarker,\n  writeLedgerEntry,\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 * and forwarding to the wire-level helpers in this package.\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    return readMarker(extractDb(driver), space);\n  }\n\n  async readAllMarkers(\n    driver: ControlDriverInstance<'mongo', 'mongo'>,\n  ): Promise<ReadonlyMap<string, ContractMarkerRecord>> {\n    return readAllMarkers(extractDb(driver));\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    await initMarker(extractDb(driver), space, destination);\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    return updateMarker(extractDb(driver), space, expectedFrom, destination);\n  }\n\n  async writeLedgerEntry(\n    driver: ControlDriverInstance<'mongo', 'mongo'>,\n    space: string,\n    entry: { readonly edgeId: string; readonly from: string; readonly to: string },\n  ): Promise<void> {\n    await writeLedgerEntry(extractDb(driver), space, entry);\n  }\n\n  async introspectSchema(driver: ControlDriverInstance<'mongo', 'mongo'>): Promise<MongoSchemaIR> {\n    return introspectSchema(extractDb(driver));\n  }\n}\n","import type { ControlDriverInstance } from '@prisma-next/framework-components/control';\nimport type { Db, MongoClient } from 'mongodb';\n\nexport interface MongoControlDriverInstance extends ControlDriverInstance<'mongo', 'mongo'> {\n  readonly db: Db;\n}\n\nclass MongoControlDriverImpl implements MongoControlDriverInstance {\n  readonly familyId = 'mongo' as const;\n  readonly targetId = 'mongo' as const;\n  readonly db: Db;\n  readonly #client: MongoClient;\n\n  constructor(db: Db, client: MongoClient) {\n    this.db = db;\n    this.#client = client;\n  }\n\n  query(): Promise<never> {\n    throw new Error('MongoDB control driver does not support SQL queries');\n  }\n\n  async close(): Promise<void> {\n    await this.#client.close();\n  }\n}\n\nexport function createMongoControlDriver(db: Db, client: MongoClient): MongoControlDriverInstance {\n  return new MongoControlDriverImpl(db, client);\n}\n","import type { MongoControlAdapterDescriptor } from '@prisma-next/family-mongo/control-adapter';\n\nexport { MongoCommandExecutor, MongoInspectionExecutor } from '../core/command-executor';\nexport { introspectSchema } from '../core/introspect-schema';\nexport {\n  initMarker,\n  readAllMarkers,\n  readMarker,\n  updateMarker,\n  writeLedgerEntry,\n} from '../core/marker-ledger';\nexport { MongoControlAdapterImpl } from '../core/mongo-control-adapter';\nexport {\n  createMongoControlDriver,\n  type MongoControlDriverInstance,\n} 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\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;;CAE7B,MAAM,YAAY,KAAwC;EACxD,MAAM,UAAoB,cAAc,IAAI,KAAK;EACjD,MAAM,UAAmC,EAAE;EAC3C,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,WAAW,CAAC,YAAY,SAAS,QAAQ;;CAGxE,MAAM,UAAU,KAAsC;EACpD,MAAM,KAAK,GAAG,WAAW,IAAI,WAAW,CAAC,UAAU,IAAI,KAAK;;CAG9D,MAAM,iBAAiB,KAA6C;EAClE,MAAM,UAAmC,EAAE;EAC3C,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,QAAQ;;CAGzD,MAAM,eAAe,KAA2C;EAC9D,MAAM,KAAK,GAAG,WAAW,IAAI,WAAW,CAAC,MAAM;;CAGjD,MAAM,QAAQ,KAAoC;EAChD,MAAM,UAAmC,EAAE,SAAS,IAAI,YAAY;EACpE,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,QAAQ;;;AAIlC,IAAa,0BAAb,MAAmG;CACpE;CAA7B,YAAY,IAAyB;EAAR,KAAA,KAAA;;CAE7B,MAAM,YAAY,KAA8C;EAC9D,IAAI;GACF,OAAO,MAAM,KAAK,GAAG,WAAW,IAAI,WAAW,CAAC,aAAa,CAAC,SAAS;WAChE,OAAgB;GACvB,IAAI,iBAAiB,oBAAoB,MAAM,SAAS,IACtD,OAAO,EAAE;GAEX,MAAM;;;CAIV,MAAM,gBAAgB,MAAmD;EACvE,OAAO,KAAK,GAAG,iBAAiB,CAAC,SAAS;;;;;AC5E9C,MAAM,+BAA+B;AAErC,SAAS,eAAe,SAAmD;CACzE,MAAM,OAAwB,EAAE;CAChC,KAAK,MAAM,CAAC,OAAO,cAAc,OAAO,QAAQ,QAAQ,EACtD,KAAK,KAAK;EAAE;EAAkB;EAAqC,CAAC;CAEtE,OAAO;;;;;;;AAQT,SAAgB,iBAAiB,KAAwB;CACvD,MAAM,MAAM,IAAI;CAChB,IAAI,CAAC,KAAK,OAAO;CACjB,MAAM,UAAU,OAAO,QAAQ,IAAI;CACnC,OAAO,QAAQ,WAAW,KAAK,QAAQ,KAAK,OAAO,SAAS,QAAQ,KAAK,OAAO;;AAGlF,SAAS,WAAW,KAAiC;CACnD,MAAM,UAAU,IAAI;CACpB,OAAO,IAAI,iBAAiB;EAC1B,MAAM,eAAe,QAAQ;EAC7B,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;EACxB,CAAC;;AAGJ,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;EACxE,CAAC;;AAGJ,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,KAAK,GAAG,EAAE;GAAG,EAAE,GAAG,EAAE;EAClF,GAAI,aAAa,EAAE,YAAY,GAAG,EAAE;EACpC,GAAI,YAAY,EAAE,WAAW,GAAG,EAAE;EAClC,GAAI,+BAA+B,EAAE,8BAA8B,GAAG,EAAE;EACxE,GAAI,iBAAiB,EAAE,gBAAgB,GAAG,EAAE;EAC7C,CAAC;;AAGJ,eAAsB,iBAAiB,IAAgC;CACrE,MAAM,kBAAkB,MAAM,GAAG,iBAAiB,CAAC,SAAS;CAE5D,MAAM,cAAuC,EAAE;CAE/C,KAAK,MAAM,QAAQ,iBAAiB;EAClC,MAAM,OAAO,KAAK;EAClB,MAAM,OAAO,KAAK;EAElB,IAAI,SAAS,8BAA8B;EAC3C,IAAI,KAAK,WAAW,UAAU,EAAE;EAChC,IAAI,SAAS,QAAQ;EAGrB,MAAM,WAAU,MADQ,GAAG,WAAW,KAAK,CAAC,aAAa,CAAC,SAAS,EACzC,QAAQ,QAAQ,CAAC,iBAAiB,IAAI,CAAC,CAAC,IAAI,WAAW;EAGjF,MAAM,YAAY,eADE,aAAa,OAAQ,KAAK,aAAyC,EAAE,CAC5C;EAC7C,MAAM,UAAU,uBAAuB,KAAK;EAE5C,YAAY,KACV,IAAI,sBAAsB;GACxB;GACA;GACA,GAAI,YAAY,EAAE,WAAW,GAAG,EAAE;GAClC,GAAI,UAAU,EAAE,SAAS,GAAG,EAAE;GAC/B,CAAC,CACH;;CAGH,OAAO,IAAI,cAAc,YAAY;;;;AChHvC,MAAM,aAAa;;;;;;;;;;;;AAanB,MAAM,uBAAuB,KAAK;CAChC,OAAO;CACP,aAAa;CACb,aAAa;CACb,iBAAiB;CACjB,qBAAqB;CACrB,cAAc;CACd,WAAW;CACX,SAAS,KAAK,EAAE,YAAY,WAAW,CAAC,CAAC,GAAG,OAAO;CACnD,eAAe,KAAK,SAAS,CAAC,OAAO;CACrC,KAAK;CACN,CAAC;AAEF,SAAS,oBAAoB,KAAoC;CAC/D,MAAM,SAAS,qBAAqB,IAAI;CACxC,IAAI,kBAAkB,KAAK,QACzB,MAAM,IAAI,MAAM,yBAAyB,WAAW,IAAI,OAAO,UAAU;CAE3E,OAAO;EACL,aAAa,OAAO;EACpB,aAAa,OAAO;EACpB,cAAc,OAAO,gBAAgB;EACrC,kBAAkB,OAAO,oBAAoB;EAC7C,WAAW,OAAO,6BAAa,IAAI,MAAM;EACzC,QAAQ,OAAO,UAAU;EACzB,MAAO,OAAO,QAA2C,EAAE;EAC3D,YAAY,OAAO,cAAc,EAAE;EACpC;;AAGH,eAAe,iBAAiB,IAAQ,KAA+C;CACrF,OAAO,GACJ,WAAW,IAAI,WAAW,CAC1B,UAAU,IAAI,SAAsC,CACpD,SAAS;;AAGd,eAAe,iBAAiB,IAAQ,KAAyC;CAC/E,MAAM,GAAG,WAAW,IAAI,WAAW,CAAC,UAAU,IAAI,SAAS;;AAG7D,eAAe,wBACb,IACA,KAC0B;CAM1B,OAAO,GACJ,WAAW,IAAI,WAAW,CAC1B,iBAAiB,IAAI,QAAQ,IAAI,QAA+C,EAC/E,QAAQ,IAAI,QACb,CAAC;;;;;;;;AASN,eAAsB,WAAW,IAAQ,OAAqD;CAM5F,MAAM,OAAM,MADO,iBAAiB,IAAI,IAJxB,oBAAoB,YAAY,CAC9C,EAAE,QAAQ;EAAE,KAAK;EAAO;EAAO,EAAE,EACjC,EAAE,QAAQ,GAAG,CACd,CAC0C,CAAC,EAC3B;CACjB,IAAI,CAAC,KAAK,OAAO;CACjB,OAAO,oBAAoB,IAAI;;;;;;;;;;;;;AAcjC,eAAsB,eAAe,IAA4D;CAU/F,MAAM,OAAO,MAAM,iBAAiB,IAAI,IATxB,oBAAoB,YAAY,CAC9C,EACE,QAAQ;EACN,KAAK,EAAE,OAAO,UAAU;EACxB,OAAO,EAAE,OAAO,UAAU;EAC1B,OAAO,EAAE,KAAK,CAAC,QAAQ,SAAS,EAAE;EACnC,EACF,CACF,CAC0C,CAAC;CAC5C,MAAM,sBAAM,IAAI,KAAmC;CACnD,KAAK,MAAM,OAAO,MAAM;EACtB,MAAM,QAAQ,IAAI;;EAElB,IAAI,OAAO,UAAU,UAAU;EAC/B,IAAI,IAAI,OAAO,oBAAoB,IAAI,CAAC;;CAE1C,OAAO;;AAGT,eAAsB,WACpB,IACA,OACA,aAKe;CAaf,MAAM,iBAAiB,IAAI,IAZX,oBAAoB,YAAY;EAC9C,KAAK;EACL;EACA,aAAa,YAAY;EACzB,aAAa,YAAY;EACzB,cAAc;EACd,kBAAkB;EAClB,2BAAW,IAAI,MAAM;EACrB,QAAQ;EACR,MAAM,EAAE;EACR,YAAY,YAAY,cAAc,EAAE;EACzC,CAC6B,CAAC;;;;;;;;;;;;AAajC,eAAsB,aACpB,IACA,OACA,cACA,aAKkB;CAClB,MAAM,UAAmC;EACvC,aAAa,YAAY;EACzB,aAAa,YAAY;EACzB,2BAAW,IAAI,MAAM;EACtB;CAKD,MAAM,SACJ,YAAY,eAAe,KAAA,IACvB,EAAE,MAAM,SAAS,GACjB,CACE,EACE,MAAM;EACJ,GAAG;EACH,YAAY,EACV,YAAY;GACV,OAAO,EAAE,WAAW,CAAC,EAAE,SAAS,CAAC,eAAe,EAAE,CAAC,EAAE,EAAE,YAAY,WAAW,EAAE;GAChF,QAAQ;GACT,EACF;EACF,EACF,CACF;CAQP,OAAO,MADc,wBAAwB,IAAI,IANjC,2BACd,YACA;EAAE,KAAK;EAAO;EAAO,aAAa;EAAc,EAChD,QACA,MAEkD,CAAC,KACnC;;;;;;;;;;;;AAapB,eAAsB,iBACpB,IACA,OACA,OACe;CASf,MAAM,iBAAiB,IAAI,IARX,oBAAoB,YAAY;EAC9C,MAAM;EACN;EACA,QAAQ,MAAM;EACd,MAAM,MAAM;EACZ,IAAI,MAAM;EACV,2BAAW,IAAI,MAAM;EACtB,CAC6B,CAAC;;;;ACrNjC,SAAgB,UAAU,QAAqD;CAC7E,MAAM,cAAc;CACpB,IAAI,CAAC,YAAY,IACf,MAAM,IAAI,MACR,gIAED;CAEH,OAAO,YAAY;;;;;;;;;;;AAwDrB,SAAgB,sBACd,eACA,QAMA,SACA,iBAA+C,IAAI,yBAAyB,EACnD;CACzB,OAAO;EACL,iBAAiB,IAAI,qBAAqB,UAAU,cAAc,CAAC;EACnE,oBAAoB,IAAI,wBAAwB,UAAU,cAAc,CAAC;EACzE,SAAS,oBAAoB;EAC7B;EACA,WAAW;GACT,aAAa,UAAU,eAAe,WAAW,eAAe,MAAM;GACtE,aAAa,OAAO,SAAS,eAAe,WAAW,eAAe,OAAO,KAAK;GAClF,eAAe,OAAO,cAAc,SAClC,eAAe,aAAa,eAAe,OAAO,cAAc,KAAK;GACvE,mBAAmB,OAAO,UACxB,eAAe,iBAAiB,eAAe,OAAO,MAAM;GAC/D;EACD,wBAAwB,eAAe,iBAAiB,cAAc;EACvE;;;;;;;;;;ACtFH,IAAa,0BAAb,MAA6E;CAC3E,WAAoB;CACpB,WAAoB;CAEpB,MAAM,WACJ,QACA,OACsC;EACtC,OAAO,WAAW,UAAU,OAAO,EAAE,MAAM;;CAG7C,MAAM,eACJ,QACoD;EACpD,OAAO,eAAe,UAAU,OAAO,CAAC;;CAG1C,MAAM,WACJ,QACA,OACA,aAKe;EACf,MAAM,WAAW,UAAU,OAAO,EAAE,OAAO,YAAY;;CAGzD,MAAM,aACJ,QACA,OACA,cACA,aAKkB;EAClB,OAAO,aAAa,UAAU,OAAO,EAAE,OAAO,cAAc,YAAY;;CAG1E,MAAM,iBACJ,QACA,OACA,OACe;EACf,MAAM,iBAAiB,UAAU,OAAO,EAAE,OAAO,MAAM;;CAGzD,MAAM,iBAAiB,QAAyE;EAC9F,OAAO,iBAAiB,UAAU,OAAO,CAAC;;;;;AChE9C,IAAM,yBAAN,MAAmE;CACjE,WAAoB;CACpB,WAAoB;CACpB;CACA;CAEA,YAAY,IAAQ,QAAqB;EACvC,KAAK,KAAK;EACV,KAAKA,UAAU;;CAGjB,QAAwB;EACtB,MAAM,IAAI,MAAM,sDAAsD;;CAGxE,MAAM,QAAuB;EAC3B,MAAM,KAAKA,QAAQ,OAAO;;;AAI9B,SAAgB,yBAAyB,IAAQ,QAAiD;CAChG,OAAO,IAAI,uBAAuB,IAAI,OAAO;;;;ACD/C,MAAa,yBAAiE;CAC5E,MAAM;CACN,IAAI;CACJ,UAAU;CACV,UAAU;CACV,SAAS;CACT,uBAAuB,IAAI,IAAI;EAC7B,CAAC,UAAU,iBAAiB;EAC5B,CAAC,OAAO,gBAAgB;EACxB,CAAC,WAAW,eAAe;EAC3B,CAAC,YAAY,eAAe;EAC5B,CAAC,YAAY,mBAAmB;EAChC,CAAC,SAAS,iBAAiB;EAC5B,CAAC;CACF,OAAO,EACL,YAAY;EACV,kBAAkB;EAClB,QAAQ;GACN,SAAS;GACT,OAAO;GACP,OAAO;GACR;EACD,aAAa,CACX;GACE,SAAS;GACT,OAAO;GACP,OAAO;GACR,CACF;EACF,EACF;CACD,OAAO,QAAQ;EACb,OAAO,IAAI,yBAAyB;;CAEvC"}

package/dist/index.d.mts

@@ -1,8 +1,8 @@
+import { t as createMongoAdapter } from "./mongo-adapter-JuKx_-h9.mjs";
 import { MongoAggExpr, MongoFilterExpr, MongoPipelineStage } from "@prisma-next/mongo-query-ast/execution";
 import { Document } from "@prisma-next/mongo-value";
 import { CodecCallContext } from "@prisma-next/framework-components/codec";
 import { MongoCodecRegistry } from "@prisma-next/mongo-codec";
-import { MongoAdapter } from "@prisma-next/mongo-lowering";
 import { OperationDescriptor, OperationDescriptors } from "@prisma-next/operations";
 
 //#region src/core/operations.d.ts
@@ -15,17 +15,5 @@ declare function lowerFilter(filter: MongoFilterExpr, codecs: MongoCodecRegistry
 declare function lowerStage(stage: MongoPipelineStage, codecs: MongoCodecRegistry, ctx: CodecCallContext): Promise<Record<string, unknown>>;
 declare function lowerPipeline(stages: ReadonlyArray<MongoPipelineStage>, codecs: MongoCodecRegistry, ctx: CodecCallContext): Promise<Array<Record<string, unknown>>>;
 //#endregion
-//#region src/mongo-adapter.d.ts
-/**
- * Construct a Mongo adapter with the standard wire-type codecs registered
- * for encode-side dispatch (`MongoParamRef.codecId` lookups).
- *
- * The runtime-side codec registry the runtime decodes against is composed
- * separately by `createMongoExecutionContext`. This factory exists for
- * direct adapter use (the runtime descriptor's `create(stack)` calls
- * through it). User code should compose a stack/context instead.
- */
-declare function createMongoAdapter(): MongoAdapter;
-//#endregion
 export { createMongoAdapter, lowerAggExpr, lowerFilter, lowerPipeline, lowerStage, mongoVectorNearOperation, mongoVectorOperationDescriptors };
 //# sourceMappingURL=index.d.mts.map

package/dist/index.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.mts","names":[],"sources":["../src/core/operations.ts","../src/lowering.ts","../src/mongo-adapter.ts"],"mappings":";;;;;;;;cAGa,wBAAA,EAA0B,mBAAA;AAAA,cAK1B,+BAAA,EAAiC,oBAAA;;;iBCgI9B,YAAA,CAAa,IAAA,EAAM,YAAA;AAAA,iBAIb,WAAA,CACpB,MAAA,EAAQ,eAAA,EACR,MAAA,EAAQ,kBAAA,EACR,GAAA,EAAK,gBAAA,GACJ,OAAA,CAAQ,QAAA;AAAA,iBA8DW,UAAA,CACpB,KAAA,EAAO,kBAAA,EACP,MAAA,EAAQ,kBAAA,EACR,GAAA,EAAK,gBAAA,GACJ,OAAA,CAAQ,MAAA;AAAA,iBAsNW,aAAA,CACpB,MAAA,EAAQ,aAAA,CAAc,kBAAA,GACtB,MAAA,EAAQ,kBAAA,EACR,GAAA,EAAK,gBAAA,GACJ,OAAA,CAAQ,KAAA,CAAM,MAAA;;;;;;;;;ADzajB;;;iBEqKgB,kBAAA,CAAA,GAAsB,YAAA"}
+{"version":3,"file":"index.d.mts","names":[],"sources":["../src/core/operations.ts","../src/lowering.ts"],"mappings":";;;;;;;;cAGa,wBAAA,EAA0B,mBAAA;AAAA,cAK1B,+BAAA,EAAiC,oBAAA;;;iBCgI9B,YAAA,CAAa,IAAA,EAAM,YAAA;AAAA,iBAIb,WAAA,CACpB,MAAA,EAAQ,eAAA,EACR,MAAA,EAAQ,kBAAA,EACR,GAAA,EAAK,gBAAA,GACJ,OAAA,CAAQ,QAAA;AAAA,iBA8DW,UAAA,CACpB,KAAA,EAAO,kBAAA,EACP,MAAA,EAAQ,kBAAA,EACR,GAAA,EAAK,gBAAA,GACJ,OAAA,CAAQ,MAAA;AAAA,iBAsNW,aAAA,CACpB,MAAA,EAAQ,aAAA,CAAc,kBAAA,GACtB,MAAA,EAAQ,kBAAA,EACR,GAAA,EAAK,gBAAA,GACJ,OAAA,CAAQ,KAAA,CAAM,MAAA"}

package/dist/mongo-adapter-JuKx_-h9.d.mts

@@ -0,0 +1,17 @@
+import { MongoCodecRegistry } from "@prisma-next/mongo-codec";
+import { MongoAdapter } from "@prisma-next/mongo-lowering";
+
+//#region src/mongo-adapter.d.ts
+/**
+ * Construct a Mongo adapter with the standard wire-type codecs registered
+ * for encode-side dispatch (`MongoParamRef.codecId` lookups).
+ *
+ * The runtime-side codec registry the runtime decodes against is composed
+ * separately by `createMongoExecutionContext`. This factory exists for
+ * direct adapter use (the runtime descriptor's `create(stack)` calls
+ * through it). User code should compose a stack/context instead.
+ */
+declare function createMongoAdapter(): MongoAdapter;
+//#endregion
+export { createMongoAdapter as t };
+//# sourceMappingURL=mongo-adapter-JuKx_-h9.d.mts.map

package/dist/mongo-adapter-JuKx_-h9.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mongo-adapter-JuKx_-h9.d.mts","names":[],"sources":["../src/mongo-adapter.ts"],"mappings":";;;;;;AAwKA;;;;;;;iBAAgB,kBAAA,CAAA,GAAsB,YAAA"}

package/package.json

@@ -1,38 +1,38 @@
 {
   "name": "@prisma-next/adapter-mongo",
-  "version": "0.7.0",
+  "version": "0.8.0-dev.1",
   "license": "Apache-2.0",
   "type": "module",
   "sideEffects": false,
   "description": "MongoDB adapter for Prisma Next (lowers commands to wire format)",
   "dependencies": {
+    "@prisma-next/config": "0.8.0-dev.1",
+    "@prisma-next/contract": "0.8.0-dev.1",
+    "@prisma-next/family-mongo": "0.8.0-dev.1",
+    "@prisma-next/framework-components": "0.8.0-dev.1",
+    "@prisma-next/mongo-codec": "0.8.0-dev.1",
+    "@prisma-next/mongo-contract": "0.8.0-dev.1",
+    "@prisma-next/mongo-lowering": "0.8.0-dev.1",
+    "@prisma-next/mongo-query-ast": "0.8.0-dev.1",
+    "@prisma-next/mongo-schema-ir": "0.8.0-dev.1",
+    "@prisma-next/mongo-value": "0.8.0-dev.1",
+    "@prisma-next/mongo-wire": "0.8.0-dev.1",
+    "@prisma-next/operations": "0.8.0-dev.1",
+    "@prisma-next/utils": "0.8.0-dev.1",
     "arktype": "^2.1.29",
-    "mongodb": "^6.16.0",
-    "@prisma-next/config": "0.7.0",
-    "@prisma-next/contract": "0.7.0",
-    "@prisma-next/target-mongo": "0.7.0",
-    "@prisma-next/framework-components": "0.7.0",
-    "@prisma-next/mongo-codec": "0.7.0",
-    "@prisma-next/mongo-contract": "0.7.0",
-    "@prisma-next/mongo-query-ast": "0.7.0",
-    "@prisma-next/mongo-lowering": "0.7.0",
-    "@prisma-next/mongo-schema-ir": "0.7.0",
-    "@prisma-next/mongo-wire": "0.7.0",
-    "@prisma-next/operations": "0.7.0",
-    "@prisma-next/mongo-value": "0.7.0",
-    "@prisma-next/utils": "0.7.0"
+    "mongodb": "^6.16.0"
   },
   "devDependencies": {
+    "@prisma-next/driver-mongo": "0.8.0-dev.1",
+    "@prisma-next/mongo-contract-psl": "0.8.0-dev.1",
+    "@prisma-next/psl-parser": "0.8.0-dev.1",
+    "@prisma-next/test-utils": "0.8.0-dev.1",
+    "@prisma-next/tsconfig": "0.8.0-dev.1",
+    "@prisma-next/tsdown": "0.8.0-dev.1",
     "mongodb-memory-server": "11.0.1",
     "tsdown": "0.22.0",
     "typescript": "5.9.3",
-    "vitest": "4.1.5",
-    "@prisma-next/driver-mongo": "0.7.0",
-    "@prisma-next/mongo-contract-psl": "0.7.0",
-    "@prisma-next/psl-parser": "0.7.0",
-    "@prisma-next/tsconfig": "0.7.0",
-    "@prisma-next/test-utils": "0.7.0",
-    "@prisma-next/tsdown": "0.7.0"
+    "vitest": "4.1.5"
   },
   "files": [
     "dist",
@@ -45,8 +45,6 @@
     "./runtime": "./dist/runtime.mjs",
     "./package.json": "./package.json"
   },
-  "main": "./dist/index.mjs",
-  "module": "./dist/index.mjs",
   "types": "./dist/index.d.mts",
   "repository": {
     "type": "git",

package/src/core/marker-ledger.ts

@@ -0,0 +1,232 @@
+import type { ContractMarkerRecord } from '@prisma-next/contract/types';
+import {
+  RawAggregateCommand,
+  RawFindOneAndUpdateCommand,
+  RawInsertOneCommand,
+} from '@prisma-next/mongo-query-ast/execution';
+import { type } from 'arktype';
+import type { Db, Document, UpdateFilter } from 'mongodb';
+
+const COLLECTION = '_prisma_migrations';
+
+/**
+ * Marker doc shape.
+ *
+ * Same fields as the SQL marker row but camelCase + Mongo-native types:
+ * `Date` is BSON-hydrated, `meta` is a native object (not JSON-stringified),
+ * `_id` and any extension fields are tolerated. `invariants?` is optional —
+ * absent reads as `[]` (schemaless default); present-but-malformed throws.
+ *
+ * `space` is required: every marker doc is keyed by its space id (`_id`)
+ * and stamped with a matching `space` field for partitioned reads.
+ */
+const MongoMarkerDocSchema = type({
+  space: 'string',
+  storageHash: 'string',
+  profileHash: 'string',
+  'contractJson?': 'unknown | null',
+  'canonicalVersion?': 'number | null',
+  'updatedAt?': 'Date',
+  'appTag?': 'string | null',
+  'meta?': type({ '[string]': 'unknown' }).or('null'),
+  'invariants?': type('string').array(),
+  '+': 'delete',
+});
+
+function parseMongoMarkerDoc(doc: unknown): ContractMarkerRecord {
+  const result = MongoMarkerDocSchema(doc);
+  if (result instanceof type.errors) {
+    throw new Error(`Invalid marker doc on ${COLLECTION}: ${result.summary}`);
+  }
+  return {
+    storageHash: result.storageHash,
+    profileHash: result.profileHash,
+    contractJson: result.contractJson ?? null,
+    canonicalVersion: result.canonicalVersion ?? null,
+    updatedAt: result.updatedAt ?? new Date(),
+    appTag: result.appTag ?? null,
+    meta: (result.meta as Record<string, unknown> | null) ?? {},
+    invariants: result.invariants ?? [],
+  };
+}
+
+async function executeAggregate(db: Db, cmd: RawAggregateCommand): Promise<Document[]> {
+  return db
+    .collection(cmd.collection)
+    .aggregate(cmd.pipeline as Record<string, unknown>[])
+    .toArray();
+}
+
+async function executeInsertOne(db: Db, cmd: RawInsertOneCommand): Promise<void> {
+  await db.collection(cmd.collection).insertOne(cmd.document);
+}
+
+async function executeFindOneAndUpdate(
+  db: Db,
+  cmd: RawFindOneAndUpdateCommand,
+): Promise<Document | null> {
+  // `cmd.update` is `Document | ReadonlyArray<Document>` per the AST. The
+  // MongoDB driver's `findOneAndUpdate` accepts the same shape under the
+  // type `UpdateFilter<T> | Document[]`. The driver's runtime path handles
+  // both forms identically — pipelines (array) and update docs (object).
+  // One cast to that union keeps the call single-arm.
+  return db
+    .collection(cmd.collection)
+    .findOneAndUpdate(cmd.filter, cmd.update as UpdateFilter<Document> | Document[], {
+      upsert: cmd.upsert,
+    });
+}
+
+/**
+ * Reads the marker document for the given contract space, or returns
+ * `null` if no marker has been written for that space yet. Each space
+ * owns one row keyed by `_id: <space>` — see ADR 212 for the per-space
+ * mechanism this enables.
+ */
+export async function readMarker(db: Db, space: string): Promise<ContractMarkerRecord | null> {
+  const cmd = new RawAggregateCommand(COLLECTION, [
+    { $match: { _id: space, space } },
+    { $limit: 1 },
+  ]);
+  const docs = await executeAggregate(db, cmd);
+  const doc = docs[0];
+  if (!doc) return null;
+  return parseMongoMarkerDoc(doc);
+}
+
+/**
+ * Reads every marker doc in the collection (one per contract space)
+ * and returns them keyed by `space`. Used by the per-space verifier
+ * to detect marker-vs-on-disk drift and orphan marker rows. Returns
+ * an empty map when no marker docs have been written yet.
+ *
+ * Marker docs are keyed by `_id: <space>` (string); ledger entries
+ * live in the same collection but use a driver-generated `ObjectId`
+ * `_id` plus `type: 'ledger'`. The filter selects string-keyed docs
+ * with a `space` field, which excludes ledger entries by construction.
+ */
+export async function readAllMarkers(db: Db): Promise<ReadonlyMap<string, ContractMarkerRecord>> {
+  const cmd = new RawAggregateCommand(COLLECTION, [
+    {
+      $match: {
+        _id: { $type: 'string' },
+        space: { $type: 'string' },
+        $expr: { $eq: ['$_id', '$space'] },
+      },
+    },
+  ]);
+  const docs = await executeAggregate(db, cmd);
+  const out = new Map<string, ContractMarkerRecord>();
+  for (const doc of docs) {
+    const space = doc['space'];
+    /* 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`. */
+    if (typeof space !== 'string') continue;
+    out.set(space, parseMongoMarkerDoc(doc));
+  }
+  return out;
+}
+
+export async function initMarker(
+  db: Db,
+  space: string,
+  destination: {
+    readonly storageHash: string;
+    readonly profileHash: string;
+    readonly invariants?: readonly string[];
+  },
+): Promise<void> {
+  const cmd = new RawInsertOneCommand(COLLECTION, {
+    _id: space,
+    space,
+    storageHash: destination.storageHash,
+    profileHash: destination.profileHash,
+    contractJson: null,
+    canonicalVersion: null,
+    updatedAt: new Date(),
+    appTag: null,
+    meta: {},
+    invariants: destination.invariants ?? [],
+  });
+  await executeInsertOne(db, cmd);
+}
+
+/**
+ * Updates the marker doc for the given space atomically (CAS on
+ * `expectedFrom`).
+ *
+ * `destination.invariants`:
+ * - `undefined` → existing field left untouched.
+ * - explicit value → merged into the existing field server-side via an
+ *   aggregation pipeline (`$setUnion + $sortArray`), atomic at the
+ *   document level. `[]` is a no-op merge.
+ */
+export async function updateMarker(
+  db: Db,
+  space: string,
+  expectedFrom: string,
+  destination: {
+    readonly storageHash: string;
+    readonly profileHash: string;
+    readonly invariants?: readonly string[];
+  },
+): Promise<boolean> {
+  const setBase: Record<string, unknown> = {
+    storageHash: destination.storageHash,
+    profileHash: destination.profileHash,
+    updatedAt: new Date(),
+  };
+  // When invariants is supplied, use an aggregation pipeline so the
+  // merge runs server-side against the doc's current value (atomic, no
+  // read-then-write window). When omitted, a regular update doc keeps
+  // the field untouched.
+  const update: Document | Document[] =
+    destination.invariants === undefined
+      ? { $set: setBase }
+      : [
+          {
+            $set: {
+              ...setBase,
+              invariants: {
+                $sortArray: {
+                  input: { $setUnion: [{ $ifNull: ['$invariants', []] }, destination.invariants] },
+                  sortBy: 1,
+                },
+              },
+            },
+          },
+        ];
+  const cmd = new RawFindOneAndUpdateCommand(
+    COLLECTION,
+    { _id: space, space, storageHash: expectedFrom },
+    update,
+    false,
+  );
+  const result = await executeFindOneAndUpdate(db, cmd);
+  return result !== null;
+}
+
+/**
+ * Appends a ledger entry for the given space. Ledger entries co-exist
+ * with marker docs in the same collection; marker docs use `_id: <space>`
+ * (string), ledger entries use `type: 'ledger'` plus a driver-generated
+ * ObjectId. Reads partition the two by filter shape.
+ *
+ * The same `edgeId` may legitimately recur across different spaces (e.g.
+ * a synthetic ∅→head edge on first apply), so the ledger key is
+ * `(space, edgeId)` — the doc carries `space` for partitioned reads.
+ */
+export async function writeLedgerEntry(
+  db: Db,
+  space: string,
+  entry: { readonly edgeId: string; readonly from: string; readonly to: string },
+): Promise<void> {
+  const cmd = new RawInsertOneCommand(COLLECTION, {
+    type: 'ledger',
+    space,
+    edgeId: entry.edgeId,
+    from: entry.from,
+    to: entry.to,
+    appliedAt: new Date(),
+  });
+  await executeInsertOne(db, cmd);
+}

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

@@ -0,0 +1,74 @@
+import type { ContractMarkerRecord } from '@prisma-next/contract/types';
+import type { MongoControlAdapter } from '@prisma-next/family-mongo/control-adapter';
+import type { ControlDriverInstance } from '@prisma-next/framework-components/control';
+import type { MongoSchemaIR } from '@prisma-next/mongo-schema-ir';
+import { introspectSchema } from './introspect-schema';
+import {
+  initMarker,
+  readAllMarkers,
+  readMarker,
+  updateMarker,
+  writeLedgerEntry,
+} from './marker-ledger';
+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
+ * and forwarding to the wire-level helpers in this package.
+ */
+export class MongoControlAdapterImpl implements MongoControlAdapter<'mongo'> {
+  readonly familyId = 'mongo' as const;
+  readonly targetId = 'mongo' as const;
+
+  async readMarker(
+    driver: ControlDriverInstance<'mongo', 'mongo'>,
+    space: string,
+  ): Promise<ContractMarkerRecord | null> {
+    return readMarker(extractDb(driver), space);
+  }
+
+  async readAllMarkers(
+    driver: ControlDriverInstance<'mongo', 'mongo'>,
+  ): Promise<ReadonlyMap<string, ContractMarkerRecord>> {
+    return readAllMarkers(extractDb(driver));
+  }
+
+  async initMarker(
+    driver: ControlDriverInstance<'mongo', 'mongo'>,
+    space: string,
+    destination: {
+      readonly storageHash: string;
+      readonly profileHash: string;
+      readonly invariants?: readonly string[];
+    },
+  ): Promise<void> {
+    await initMarker(extractDb(driver), space, destination);
+  }
+
+  async updateMarker(
+    driver: ControlDriverInstance<'mongo', 'mongo'>,
+    space: string,
+    expectedFrom: string,
+    destination: {
+      readonly storageHash: string;
+      readonly profileHash: string;
+      readonly invariants?: readonly string[];
+    },
+  ): Promise<boolean> {
+    return updateMarker(extractDb(driver), space, expectedFrom, destination);
+  }
+
+  async writeLedgerEntry(
+    driver: ControlDriverInstance<'mongo', 'mongo'>,
+    space: string,
+    entry: { readonly edgeId: string; readonly from: string; readonly to: string },
+  ): Promise<void> {
+    await writeLedgerEntry(extractDb(driver), space, entry);
+  }
+
+  async introspectSchema(driver: ControlDriverInstance<'mongo', 'mongo'>): Promise<MongoSchemaIR> {
+    return introspectSchema(extractDb(driver));
+  }
+}

package/src/core/runner-deps.ts

@@ -1,19 +1,19 @@
+import type { ContractMarkerRecord } from '@prisma-next/contract/types';
+import type { MongoControlAdapter } from '@prisma-next/family-mongo/control-adapter';
 import type {
   ControlDriverInstance,
   ControlFamilyInstance,
 } from '@prisma-next/framework-components/control';
-import type { MongoDriver } from '@prisma-next/mongo-lowering';
+import type { MongoAdapter, MongoDriver } from '@prisma-next/mongo-lowering';
+import type {
+  MongoDdlCommandVisitor,
+  MongoInspectionCommandVisitor,
+} from '@prisma-next/mongo-query-ast/control';
 import type { MongoSchemaIR } from '@prisma-next/mongo-schema-ir';
-import {
-  initMarker,
-  type MongoRunnerDependencies,
-  readMarker,
-  updateMarker,
-  writeLedgerEntry,
-} from '@prisma-next/target-mongo/control';
 import type { Db } from 'mongodb';
 import { createMongoAdapter } from '../mongo-adapter';
 import { MongoCommandExecutor, MongoInspectionExecutor } from './command-executor';
+import { MongoControlAdapterImpl } from './mongo-control-adapter';
 
 export function extractDb(driver: ControlDriverInstance<'mongo', 'mongo'>): Db {
   const mongoDriver = driver as ControlDriverInstance<'mongo', 'mongo'> & { db?: Db };
@@ -26,23 +26,83 @@ export function extractDb(driver: ControlDriverInstance<'mongo', 'mongo'>): Db {
   return mongoDriver.db;
 }
 
+/**
+ * Marker / ledger operations the Mongo runner depends on. Every method
+ * takes a `space` parameter so each loaded contract space addresses its
+ * own marker row independently — see ADR 212 for the per-space
+ * mechanism.
+ */
+export interface MarkerOperations {
+  readMarker(space: string): Promise<ContractMarkerRecord | null>;
+  initMarker(
+    space: string,
+    destination: {
+      readonly storageHash: string;
+      readonly profileHash: string;
+      readonly invariants?: readonly string[];
+    },
+  ): Promise<void>;
+  updateMarker(
+    space: string,
+    expectedFrom: string,
+    destination: {
+      readonly storageHash: string;
+      readonly profileHash: string;
+      readonly invariants?: readonly string[];
+    },
+  ): Promise<boolean>;
+  writeLedgerEntry(
+    space: string,
+    entry: {
+      readonly edgeId: string;
+      readonly from: string;
+      readonly to: string;
+    },
+  ): Promise<void>;
+}
+
+export interface MongoRunnerDependencies {
+  readonly commandExecutor: MongoDdlCommandVisitor<Promise<void>>;
+  readonly inspectionExecutor: MongoInspectionCommandVisitor<Promise<Record<string, unknown>[]>>;
+  readonly adapter: MongoAdapter;
+  readonly driver: MongoDriver;
+  readonly markerOps: MarkerOperations;
+  readonly introspectSchema: () => Promise<MongoSchemaIR>;
+}
+
+/**
+ * Build the runner-dependencies envelope. `controlAdapter` is the
+ * dispatch surface for wire-level Mongo CAS operations (marker reads,
+ * marker advances, ledger appends, introspection); the envelope's
+ * `markerOps` shim simply forwards each call through it. When the
+ * caller already has a `MongoControlAdapter` on the control stack it
+ * can pass it in; otherwise a default `MongoControlAdapterImpl` is
+ * constructed locally.
+ */
 export function createMongoRunnerDeps(
   controlDriver: ControlDriverInstance<'mongo', 'mongo'>,
   driver: MongoDriver,
-  family: ControlFamilyInstance<'mongo', MongoSchemaIR>,
+  // Vestigial after the M2.5 family→adapter SPI dispatch refactor: the runner
+  // dependencies now route every wire-level call through `controlAdapter`, so
+  // the `family` instance is no longer consulted. Kept on the signature to
+  // avoid rippling through ~14 call sites mid-orchestration; a follow-up that
+  // already touches this factory should drop the parameter outright.
+  _family: ControlFamilyInstance<'mongo', MongoSchemaIR>,
+  controlAdapter: MongoControlAdapter<'mongo'> = new MongoControlAdapterImpl(),
 ): MongoRunnerDependencies {
-  const db = extractDb(controlDriver);
   return {
-    commandExecutor: new MongoCommandExecutor(db),
-    inspectionExecutor: new MongoInspectionExecutor(db),
+    commandExecutor: new MongoCommandExecutor(extractDb(controlDriver)),
+    inspectionExecutor: new MongoInspectionExecutor(extractDb(controlDriver)),
     adapter: createMongoAdapter(),
     driver,
     markerOps: {
-      readMarker: (space) => readMarker(db, space),
-      initMarker: (space, dest) => initMarker(db, space, dest),
-      updateMarker: (space, expectedFrom, dest) => updateMarker(db, space, expectedFrom, dest),
-      writeLedgerEntry: (space, entry) => writeLedgerEntry(db, space, entry),
+      readMarker: (space) => controlAdapter.readMarker(controlDriver, space),
+      initMarker: (space, dest) => controlAdapter.initMarker(controlDriver, space, dest),
+      updateMarker: (space, expectedFrom, dest) =>
+        controlAdapter.updateMarker(controlDriver, space, expectedFrom, dest),
+      writeLedgerEntry: (space, entry) =>
+        controlAdapter.writeLedgerEntry(controlDriver, space, entry),
     },
-    introspectSchema: () => family.introspect({ driver: controlDriver }),
+    introspectSchema: () => controlAdapter.introspectSchema(controlDriver),
   };
 }

package/src/exports/control.ts

@@ -1,16 +1,31 @@
-import type { ControlAdapterDescriptor } from '@prisma-next/framework-components/control';
+import type { MongoControlAdapterDescriptor } from '@prisma-next/family-mongo/control-adapter';
 
 export { MongoCommandExecutor, MongoInspectionExecutor } from '../core/command-executor';
 export { introspectSchema } from '../core/introspect-schema';
+export {
+  initMarker,
+  readAllMarkers,
+  readMarker,
+  updateMarker,
+  writeLedgerEntry,
+} from '../core/marker-ledger';
+export { MongoControlAdapterImpl } from '../core/mongo-control-adapter';
 export {
   createMongoControlDriver,
   type MongoControlDriverInstance,
 } from '../core/mongo-control-driver';
-export { createMongoRunnerDeps, extractDb } from '../core/runner-deps';
+export {
+  createMongoRunnerDeps,
+  extractDb,
+  type MarkerOperations,
+  type MongoRunnerDependencies,
+} from '../core/runner-deps';
+export { createMongoAdapter } from '../mongo-adapter';
 
 import { mongoCodecDescriptors } from '../core/codecs';
+import { MongoControlAdapterImpl } from '../core/mongo-control-adapter';
 
-const mongoAdapterDescriptor: ControlAdapterDescriptor<'mongo', 'mongo'> = {
+export const mongoAdapterDescriptor: MongoControlAdapterDescriptor<'mongo'> = {
   kind: 'adapter',
   id: 'mongo',
   familyId: 'mongo',
@@ -42,7 +57,7 @@ const mongoAdapterDescriptor: ControlAdapterDescriptor<'mongo', 'mongo'> = {
     },
   },
   create(_stack) {
-    return { familyId: 'mongo' as const, targetId: 'mongo' as const };
+    return new MongoControlAdapterImpl();
   },
 };