@prisma-next/adapter-mongo 0.12.0 → 0.13.0-dev.2

package/dist/control.d.mts

@@ -1,11 +1,11 @@
-import { t as createMongoAdapter } from "./mongo-adapter-JuKx_-h9.mjs";
-import { Db, Document, MongoClient } from "mongodb";
+import { t as createMongoAdapter } from "./mongo-adapter-Ch21r_Sr.mjs";
+import { Db, Document } from "mongodb";
 import { CollModCommand, CreateCollectionCommand, CreateIndexCommand, DropCollectionCommand, DropIndexCommand, ListCollectionsCommand, ListIndexesCommand, MongoDdlCommandVisitor, MongoInspectionCommandVisitor } from "@prisma-next/mongo-query-ast/control";
 import { MongoSchemaIR } from "@prisma-next/mongo-schema-ir";
 import { MongoControlAdapter, MongoControlAdapterDescriptor } from "@prisma-next/family-mongo/control-adapter";
-import { ContractMarkerRecord } from "@prisma-next/contract/types";
+import { MongoAdapter, MongoControlDriverInstance, MongoControlDriverInstance as MongoControlDriverInstance$1, MongoDriver } from "@prisma-next/mongo-lowering";
+import { ContractMarkerRecord, LedgerEntryRecord } from "@prisma-next/contract/types";
 import { ControlDriverInstance, ControlFamilyInstance } from "@prisma-next/framework-components/control";
-import { MongoAdapter, MongoDriver } from "@prisma-next/mongo-lowering";
 
 //#region src/core/command-executor.d.ts
 declare class MongoCommandExecutor implements MongoDdlCommandVisitor<Promise<void>> {
@@ -27,70 +27,18 @@ 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.
+ * SPI. Every marker/ledger operation builds a canonical command inline via
+ * the contract-free fluent builder and dispatches it through the family
+ * adapter's lowering path (`createMongoAdapter().lower(plan, {})`) onto the
+ * Mongo wire transport (`driver.execute(wireCommand)`) — the same route SQL
+ * marker/ledger ops take through `adapter.lower()` → `driver.query()`.
  */
 declare class MongoControlAdapterImpl implements MongoControlAdapter<'mongo'> {
+  #private;
   readonly familyId: "mongo";
   readonly targetId: "mongo";
   readMarker(driver: ControlDriverInstance<'mongo', 'mongo'>, space: string): Promise<ContractMarkerRecord | null>;
@@ -109,15 +57,16 @@ declare class MongoControlAdapterImpl implements MongoControlAdapter<'mongo'> {
     readonly edgeId: string;
     readonly from: string;
     readonly to: string;
+    readonly migrationName: string;
+    readonly migrationHash: string;
+    readonly operations: readonly unknown[];
   }): Promise<void>;
+  readLedger(driver: ControlDriverInstance<'mongo', 'mongo'>, space?: string): Promise<readonly LedgerEntryRecord[]>;
   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;
-}
-declare function createMongoControlDriver(db: Db, client: MongoClient): MongoControlDriverInstance;
+declare function isMongoControlDriver(driver: ControlDriverInstance<'mongo', string>): driver is MongoControlDriverInstance$1;
 //#endregion
 //#region src/core/runner-deps.d.ts
 declare function extractDb(driver: ControlDriverInstance<'mongo', 'mongo'>): Db;
@@ -143,6 +92,9 @@ interface MarkerOperations {
     readonly edgeId: string;
     readonly from: string;
     readonly to: string;
+    readonly migrationName: string;
+    readonly migrationHash: string;
+    readonly operations: readonly unknown[];
   }): Promise<void>;
 }
 interface MongoRunnerDependencies {
@@ -167,5 +119,5 @@ declare function createMongoRunnerDeps(controlDriver: ControlDriverInstance<'mon
 //#region src/exports/control.d.ts
 declare const mongoAdapterDescriptor: MongoControlAdapterDescriptor<'mongo'>;
 //#endregion
-export { type MarkerOperations, MongoCommandExecutor, MongoControlAdapterImpl, type MongoControlDriverInstance, MongoInspectionExecutor, type MongoRunnerDependencies, createMongoAdapter, createMongoControlDriver, createMongoRunnerDeps, mongoAdapterDescriptor as default, mongoAdapterDescriptor, extractDb, initMarker, introspectSchema, readAllMarkers, readMarker, updateMarker, writeLedgerEntry };
+export { type MarkerOperations, MongoCommandExecutor, MongoControlAdapterImpl, type MongoControlDriverInstance, MongoInspectionExecutor, type MongoRunnerDependencies, createMongoAdapter, createMongoRunnerDeps, mongoAdapterDescriptor as default, mongoAdapterDescriptor, extractDb, introspectSchema, isMongoControlDriver };
 //# sourceMappingURL=control.d.mts.map

package/dist/control.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"control.d.mts","names":[],"sources":["../src/core/command-executor.ts","../src/core/introspect-schema.ts","../src/core/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;;;;;;;;;iBCGlC,UAAA,CAAW,EAAA,EAAI,EAAA,EAAI,KAAA,WAAgB,OAAA,CAAQ,oBAAA;;AFhFjE;;;;;;;;;;iBE0GsB,cAAA,CAAe,EAAA,EAAI,EAAA,GAAK,OAAA,CAAQ,WAAA,SAAoB,oBAAA;AAAA,iBA4BpD,UAAA,CACpB,EAAA,EAAI,EAAA,EACJ,KAAA,UACA,WAAA;EAAA,SACW,WAAA;EAAA,SACA,WAAA;EAAA,SACA,UAAA;AAAA,IAEV,OAAO;;;;;;;;;;;iBA0BY,YAAA,CACpB,EAAA,EAAI,EAAA,EACJ,KAAA,UACA,YAAA,UACA,WAAA;EAAA,SACW,WAAA;EAAA,SACA,WAAA;EAAA,SACA,UAAA;AAAA,IAEV,OAAO;;;;;;;;;;;iBA8CY,gBAAA,CACpB,EAAA,EAAI,EAAA,EACJ,KAAA,UACA,KAAA;EAAA,SAAkB,MAAA;EAAA,SAAyB,IAAA;EAAA,SAAuB,EAAA;AAAA,IACjE,OAAO;;;;;;;;;cC7NG,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,qBAAqB;EAAA,SAC9D,EAAA,EAAI,EAAA;AAAA;AAAA,iBAuBC,wBAAA,CAAyB,EAAA,EAAI,EAAA,EAAI,MAAA,EAAQ,WAAA,GAAc,0BAAA;;;iBCVvD,SAAA,CAAU,MAAA,EAAQ,qBAAA,qBAA0C,EAAE;;;ALH9E;;;;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,6BAA6B"}
+{"version":3,"file":"control.d.mts","names":[],"sources":["../src/core/command-executor.ts","../src/core/introspect-schema.ts","../src/core/mongo-control-adapter.ts","../src/core/mongo-control-driver.ts","../src/core/runner-deps.ts","../src/exports/control.ts"],"mappings":";;;;;;;;;;cAca,oBAAA,YAAgC,sBAAA,CAAuB,OAAA;EAAA,iBACrC,EAAA;cAAA,EAAA,EAAI,EAAA;EAE3B,WAAA,CAAY,GAAA,EAAK,kBAAA,GAAqB,OAAA;EAmBtC,SAAA,CAAU,GAAA,EAAK,gBAAA,GAAmB,OAAA;EAIlC,gBAAA,CAAiB,GAAA,EAAK,uBAAA,GAA0B,OAAA;EAgBhD,cAAA,CAAe,GAAA,EAAK,qBAAA,GAAwB,OAAA;EAI5C,OAAA,CAAQ,GAAA,EAAK,cAAA,GAAiB,OAAA;AAAA;AAAA,cAWzB,uBAAA,YAAmC,6BAAA,CAA8B,OAAA,CAAQ,QAAA;EAAA,iBACvD,EAAA;cAAA,EAAA,EAAI,EAAA;EAE3B,WAAA,CAAY,GAAA,EAAK,kBAAA,GAAqB,OAAA,CAAQ,QAAA;EAW9C,eAAA,CAAgB,IAAA,EAAM,sBAAA,GAAyB,OAAA,CAAQ,QAAA;AAAA;;;iBCMzC,gBAAA,CAAiB,EAAA,EAAI,EAAA,GAAK,OAAA,CAAQ,aAAA;;;;;;;;;AD7ExD;;;cEyBa,uBAAA,YAAmC,mBAAA;EAAA;WACrC,QAAA;EAAA,SACA,QAAA;EAmDH,UAAA,CACJ,MAAA,EAAQ,qBAAA,oBACR,KAAA,WACC,OAAA,CAAQ,oBAAA;EAoBL,cAAA,CACJ,MAAA,EAAQ,qBAAA,qBACP,OAAA,CAAQ,WAAA,SAAoB,oBAAA;EAyBzB,UAAA,CACJ,MAAA,EAAQ,qBAAA,oBACR,KAAA,UACA,WAAA;IAAA,SACW,WAAA;IAAA,SACA,WAAA;IAAA,SACA,UAAA;EAAA,IAEV,OAAA;EAgBG,YAAA,CACJ,MAAA,EAAQ,qBAAA,oBACR,KAAA,UACA,YAAA,UACA,WAAA;IAAA,SACW,WAAA;IAAA,SACA,WAAA;IAAA,SACA,UAAA;EAAA,IAEV,OAAA;EA+BG,gBAAA,CACJ,MAAA,EAAQ,qBAAA,oBACR,KAAA,UACA,KAAA;IAAA,SACW,MAAA;IAAA,SACA,IAAA;IAAA,SACA,EAAA;IAAA,SACA,aAAA;IAAA,SACA,aAAA;IAAA,SACA,UAAA;EAAA,IAEV,OAAA;EAiBG,UAAA,CACJ,MAAA,EAAQ,qBAAA,oBACR,KAAA,YACC,OAAA,UAAiB,iBAAA;EAqDd,gBAAA,CAAiB,MAAA,EAAQ,qBAAA,qBAA0C,OAAA,CAAQ,aAAA;AAAA;;;iBC/RnE,oBAAA,CACd,MAAA,EAAQ,qBAAA,oBACP,MAAA,IAAU,4BAA0B;;;iBCavB,SAAA,CAAU,MAAA,EAAQ,qBAAA,qBAA0C,EAAE;;;AJJ9E;;;;UIoBiB,gBAAA;EACf,UAAA,CAAW,KAAA,WAAgB,OAAA,CAAQ,oBAAA;EACnC,UAAA,CACE,KAAA,UACA,WAAA;IAAA,SACW,WAAA;IAAA,SACA,WAAA;IAAA,SACA,UAAA;EAAA,IAEV,OAAA;EACH,YAAA,CACE,KAAA,UACA,YAAA,UACA,WAAA;IAAA,SACW,WAAA;IAAA,SACA,WAAA;IAAA,SACA,UAAA;EAAA,IAEV,OAAA;EACH,gBAAA,CACE,KAAA,UACA,KAAA;IAAA,SACW,MAAA;IAAA,SACA,IAAA;IAAA,SACA,EAAA;IAAA,SACA,aAAA;IAAA,SACA,aAAA;IAAA,SACA,UAAA;EAAA,IAEV,OAAA;AAAA;AAAA,UAGY,uBAAA;EAAA,SACN,eAAA,EAAiB,sBAAA,CAAuB,OAAA;EAAA,SACxC,kBAAA,EAAoB,6BAAA,CAA8B,OAAA,CAAQ,MAAA;EAAA,SAC1D,OAAA,EAAS,YAAA;EAAA,SACT,MAAA,EAAQ,WAAA;EAAA,SACR,SAAA,EAAW,gBAAA;EAAA,SACX,gBAAA,QAAwB,OAAA,CAAQ,aAAA;AAAA;;;;;;;;;;iBAY3B,qBAAA,CACd,aAAA,EAAe,qBAAA,oBACf,MAAA,EAAQ,WAAA,EAMR,OAAA,EAAS,qBAAA,UAA+B,aAAA,GACxC,cAAA,GAAgB,mBAAA,YACf,uBAAA;;;cC3EU,sBAAA,EAAwB,6BAA6B"}

package/dist/control.mjs

@@ -1,9 +1,13 @@
-import { r as mongoCodecDescriptors, t as createMongoAdapter } from "./mongo-adapter-DAC5qq3o.mjs";
-import { RawAggregateCommand, RawFindOneAndUpdateCommand, RawInsertOneCommand } from "@prisma-next/mongo-query-ast/execution";
+import { r as mongoCodecDescriptors, t as createMongoAdapter } from "./mongo-adapter-ifsSo1o1.mjs";
+import { MongoAggFieldRef, MongoAggLiteral, MongoAggOperator } from "@prisma-next/mongo-query-ast/execution";
+import { blindCast } from "@prisma-next/utils/casts";
 import { MongoServerError } from "mongodb";
 import { keysToKeySpec } from "@prisma-next/mongo-query-ast/control";
 import { MongoSchemaCollection, MongoSchemaCollectionOptions, MongoSchemaIR, MongoSchemaIndex, MongoSchemaValidator } from "@prisma-next/mongo-schema-ir";
 import { parseMarkerRowSafely, withMarkerReadErrorHandling } from "@prisma-next/errors/execution";
+import { ledgerOriginFromStored } from "@prisma-next/migration-tools/ledger-origin";
+import { expr, fn } from "@prisma-next/mongo-query-builder";
+import { collection } from "@prisma-next/mongo-query-builder/contract-free";
 import { type } from "arktype";
 //#region src/core/command-executor.ts
 var MongoCommandExecutor = class {
@@ -167,17 +171,7 @@ async function introspectSchema(db) {
 //#region src/core/marker-ledger.ts
 const COLLECTION = "_prisma_migrations";
 const MONGO_MARKER_COLLECTION = `_prisma_migrations marker documents in ${COLLECTION}`;
-/**
-* 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 MONGO_LEDGER_COLLECTION = `_prisma_migrations ledger documents in ${COLLECTION}`;
 const MongoMarkerDocSchema = type({
 	space: "string",
 	storageHash: "string",
@@ -210,130 +204,19 @@ function parseMongoMarkerDocSafely(doc, space) {
 		markerLocation: MONGO_MARKER_COLLECTION
 	});
 }
-async function executeAggregate(db, cmd) {
-	return db.collection(cmd.collection).aggregate(cmd.pipeline).toArray();
-}
-async function executeInsertOne(db, cmd) {
-	await db.collection(cmd.collection).insertOne(cmd.document);
-}
-async function executeFindOneAndUpdate(db, cmd) {
-	return db.collection(cmd.collection).findOneAndUpdate(cmd.filter, cmd.update, { upsert: cmd.upsert });
-}
-/**
-* 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 withMarkerReadErrorHandling(() => executeAggregate(db, new RawAggregateCommand(COLLECTION, [{ $match: {
-		_id: space,
-		space
-	} }, { $limit: 1 }])), {
-		space,
-		markerLocation: MONGO_MARKER_COLLECTION
-	}))[0];
-	if (!doc) return null;
-	return parseMongoMarkerDocSafely(doc, space);
-}
-/**
-* 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 withMarkerReadErrorHandling(() => executeAggregate(db, new RawAggregateCommand(COLLECTION, [{ $match: {
-		_id: { $type: "string" },
-		space: { $type: "string" },
-		$expr: { $eq: ["$_id", "$space"] }
-	} }])), {
-		space: "app",
-		markerLocation: MONGO_MARKER_COLLECTION
-	});
-	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, parseMongoMarkerDocSafely(doc, space));
-	}
-	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/marker-ledger-collection.ts
+const MARKER_LEDGER_COLLECTION = "_prisma_migrations";
+//#endregion
+//#region src/core/mongo-control-driver.ts
+function isMongoControlDriver(driver) {
+	return driver.familyId === "mongo" && driver.targetId === "mongo" && "execute" in driver && typeof driver.execute === "function";
 }
 //#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;
+	if (!isMongoControlDriver(driver)) throw new Error("Expected a Mongo control driver created by mongoControlDriver.create() from `@prisma-next/driver-mongo/control`.");
+	return driver.db;
 }
 /**
 * Build the runner-dependencies envelope. `controlAdapter` is the
@@ -364,53 +247,166 @@ function createMongoRunnerDeps(controlDriver, driver, _family, controlAdapter =
 /**
 * Mongo control adapter for control-plane operations like introspection
 * and marker-ledger CAS. Implements the family-level `MongoControlAdapter`
-* SPI by extracting the underlying `Db` from the framework-shaped driver
-* and forwarding to the wire-level helpers in this package.
+* SPI. Every marker/ledger operation builds a canonical command inline via
+* the contract-free fluent builder and dispatches it through the family
+* adapter's lowering path (`createMongoAdapter().lower(plan, {})`) onto the
+* Mongo wire transport (`driver.execute(wireCommand)`) — the same route SQL
+* marker/ledger ops take through `adapter.lower()` → `driver.query()`.
 */
 var MongoControlAdapterImpl = class {
 	familyId = "mongo";
 	targetId = "mongo";
+	#adapter = createMongoAdapter();
+	#markerLedgerCollection = collection(MARKER_LEDGER_COLLECTION);
+	async #execute(driver, command) {
+		const plan = {
+			collection: MARKER_LEDGER_COLLECTION,
+			command,
+			meta: {
+				target: "mongo",
+				targetFamily: "mongo",
+				storageHash: "",
+				lane: "control"
+			}
+		};
+		const wireCommand = await this.#adapter.lower(plan, {});
+		if (!isMongoControlDriver(driver)) throw new Error("Mongo control adapter requires a Mongo control driver with an execute() transport. Provide a MongoControlDriver from `@prisma-next/driver-mongo/control`.");
+		const rows = [];
+		for await (const row of driver.execute(wireCommand)) rows.push(row);
+		return rows;
+	}
+	/**
+	* Server-side invariant-merge aggregation expression:
+	* `$sortArray({ input: $setUnion([$ifNull('$invariants', []), incoming]), sortBy: 1 })`.
+	*
+	* Built through the typed agg-expr layer — `fn.setUnion` plus the generic
+	* `MongoAggOperator` for `$ifNull` / `$sortArray` (neither has a named `fn`
+	* helper). Returns a `MongoAggOperator` that is passed directly to
+	* `f.stage.set({ invariants: ... })` in the update pipeline.
+	*/
+	#invariantMergeExpr(incoming) {
+		const existingOrEmpty = MongoAggOperator.of("$ifNull", [MongoAggFieldRef.of("invariants"), MongoAggLiteral.of([])]);
+		const merged = fn.setUnion({
+			_field: {
+				codecId: "mongo/array@1",
+				nullable: false
+			},
+			node: existingOrEmpty
+		}, {
+			_field: {
+				codecId: "mongo/array@1",
+				nullable: false
+			},
+			node: MongoAggLiteral.of([...incoming])
+		});
+		return MongoAggOperator.of("$sortArray", {
+			input: merged.node,
+			sortBy: MongoAggLiteral.of(1)
+		});
+	}
 	async readMarker(driver, space) {
-		return readMarker(extractDb(driver), space);
+		const doc = (await withMarkerReadErrorHandling(() => this.#execute(driver, this.#markerLedgerCollection.aggregate().match((f) => f._id.eq(space)).match((f) => f.space.eq(space)).limit(1).build()), {
+			space,
+			markerLocation: MONGO_MARKER_COLLECTION
+		}))[0];
+		if (!doc) return null;
+		return parseMongoMarkerDocSafely(doc, space);
 	}
 	async readAllMarkers(driver) {
-		return readAllMarkers(extractDb(driver));
+		const docs = await withMarkerReadErrorHandling(() => this.#execute(driver, this.#markerLedgerCollection.aggregate().match((f) => f._id.type("string")).match((f) => f.space.type("string")).match((f) => expr(fn.eq(f._id, f.space))).build()), {
+			space: "app",
+			markerLocation: MONGO_MARKER_COLLECTION
+		});
+		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, parseMongoMarkerDocSafely(doc, space));
+		}
+		return out;
 	}
 	async initMarker(driver, space, destination) {
-		await initMarker(extractDb(driver), space, destination);
+		const document = {
+			_id: space,
+			space,
+			storageHash: destination.storageHash,
+			profileHash: destination.profileHash,
+			contractJson: null,
+			canonicalVersion: null,
+			updatedAt: /* @__PURE__ */ new Date(),
+			appTag: null,
+			meta: {},
+			invariants: [...destination.invariants ?? []]
+		};
+		await this.#execute(driver, this.#markerLedgerCollection.insertOne(document));
 	}
 	async updateMarker(driver, space, expectedFrom, destination) {
-		return updateMarker(extractDb(driver), space, expectedFrom, destination);
+		const { invariants } = destination;
+		return (await this.#execute(driver, this.#markerLedgerCollection.match((f) => f._id.eq(space)).match((f) => f.space.eq(space)).match((f) => f.storageHash.eq(expectedFrom)).findOneAndUpdate((f) => [f.stage.set(invariants === void 0 ? {
+			storageHash: MongoAggLiteral.of(destination.storageHash),
+			profileHash: MongoAggLiteral.of(destination.profileHash),
+			updatedAt: MongoAggLiteral.of(/* @__PURE__ */ new Date())
+		} : {
+			storageHash: MongoAggLiteral.of(destination.storageHash),
+			profileHash: MongoAggLiteral.of(destination.profileHash),
+			updatedAt: MongoAggLiteral.of(/* @__PURE__ */ new Date()),
+			invariants: this.#invariantMergeExpr(invariants)
+		})], { upsert: false }))).length > 0;
 	}
 	async writeLedgerEntry(driver, space, entry) {
-		await writeLedgerEntry(extractDb(driver), space, entry);
+		const document = {
+			type: "ledger",
+			space,
+			edgeId: entry.edgeId,
+			from: entry.from,
+			to: entry.to,
+			migrationName: entry.migrationName,
+			migrationHash: entry.migrationHash,
+			operations: blindCast(entry.operations),
+			appliedAt: /* @__PURE__ */ new Date()
+		};
+		await this.#execute(driver, this.#markerLedgerCollection.insertOne(document));
+	}
+	async readLedger(driver, space) {
+		const ledgerContext = {
+			space: space ?? "*",
+			markerLocation: MONGO_LEDGER_COLLECTION
+		};
+		const chain = this.#markerLedgerCollection.aggregate().match((f) => f.type.eq("ledger"));
+		const command = space === void 0 ? chain.sort({ _id: 1 }).build() : chain.match((f) => f.space.eq(space)).sort({ _id: 1 }).build();
+		const docs = await withMarkerReadErrorHandling(() => this.#execute(driver, command), ledgerContext);
+		const entries = [];
+		for (const doc of docs) {
+			const migrationName = doc["migrationName"];
+			const migrationHash = doc["migrationHash"];
+			const from = doc["from"];
+			const to = doc["to"];
+			const docSpace = doc["space"];
+			if (typeof migrationName !== "string" || typeof migrationHash !== "string") continue;
+			if (typeof from !== "string" || typeof to !== "string") continue;
+			if (typeof docSpace !== "string") continue;
+			const appliedAt = doc["appliedAt"];
+			const appliedAtDate = appliedAt instanceof Date ? appliedAt : appliedAt !== void 0 ? new Date(String(appliedAt)) : /* @__PURE__ */ new Date();
+			const operations = doc["operations"];
+			const opList = Array.isArray(operations) ? operations : [];
+			entries.push({
+				space: docSpace,
+				migrationName,
+				migrationHash,
+				from: ledgerOriginFromStored(from),
+				to,
+				appliedAt: appliedAtDate,
+				operationCount: opList.length
+			});
+		}
+		return entries;
 	}
 	async introspectSchema(driver) {
 		return introspectSchema(extractDb(driver));
 	}
 };
 //#endregion
-//#region src/core/mongo-control-driver.ts
-var MongoControlDriverImpl = class {
-	familyId = "mongo";
-	targetId = "mongo";
-	db;
-	#client;
-	constructor(db, client) {
-		this.db = db;
-		this.#client = client;
-	}
-	query() {
-		throw new Error("MongoDB control driver does not support SQL queries");
-	}
-	async close() {
-		await this.#client.close();
-	}
-};
-function createMongoControlDriver(db, client) {
-	return new MongoControlDriverImpl(db, client);
-}
-//#endregion
 //#region src/exports/control.ts
 const mongoAdapterDescriptor = {
 	kind: "adapter",
@@ -444,6 +440,6 @@ const mongoAdapterDescriptor = {
 	}
 };
 //#endregion
-export { MongoCommandExecutor, MongoControlAdapterImpl, MongoInspectionExecutor, createMongoAdapter, createMongoControlDriver, createMongoRunnerDeps, mongoAdapterDescriptor as default, mongoAdapterDescriptor, extractDb, initMarker, introspectSchema, readAllMarkers, readMarker, updateMarker, writeLedgerEntry };
+export { MongoCommandExecutor, MongoControlAdapterImpl, MongoInspectionExecutor, createMongoAdapter, createMongoRunnerDeps, mongoAdapterDescriptor as default, mongoAdapterDescriptor, extractDb, introspectSchema, isMongoControlDriver };
 
 //# sourceMappingURL=control.mjs.map