@prisma-next/adapter-mongo 0.12.0-dev.4 → 0.12.0-dev.40

package/dist/control.d.mts

@@ -2,8 +2,8 @@ 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 { ContractMarkerRecord, LedgerEntryRecord } from "@prisma-next/contract/types";
 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";
 
@@ -27,68 +27,12 @@ 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.
+ * per call.
  */
 declare class MongoControlAdapterImpl implements MongoControlAdapter<'mongo'> {
   readonly familyId: "mongo";
@@ -109,7 +53,11 @@ 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
@@ -143,6 +91,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 {
@@ -165,7 +116,28 @@ interface MongoRunnerDependencies {
 declare function createMongoRunnerDeps(controlDriver: ControlDriverInstance<'mongo', 'mongo'>, driver: MongoDriver, _family: ControlFamilyInstance<'mongo', MongoSchemaIR>, controlAdapter?: MongoControlAdapter<'mongo'>): MongoRunnerDependencies;
 //#endregion
 //#region src/exports/control.d.ts
+declare function readMarker(db: Db, space: string): Promise<ContractMarkerRecord | null>;
+declare function readAllMarkers(db: Db): Promise<ReadonlyMap<string, ContractMarkerRecord>>;
+declare function initMarker(db: Db, space: string, destination: {
+  readonly storageHash: string;
+  readonly profileHash: string;
+  readonly invariants?: readonly string[];
+}): Promise<void>;
+declare function updateMarker(db: Db, space: string, expectedFrom: string, destination: {
+  readonly storageHash: string;
+  readonly profileHash: string;
+  readonly invariants?: readonly string[];
+}): Promise<boolean>;
+declare function readLedger(db: Db, space?: string): Promise<readonly LedgerEntryRecord[]>;
+declare function writeLedgerEntry(db: Db, space: string, entry: {
+  readonly edgeId: string;
+  readonly from: string;
+  readonly to: string;
+  readonly migrationName: string;
+  readonly migrationHash: string;
+  readonly operations: readonly unknown[];
+}): Promise<void>;
 declare const mongoAdapterDescriptor: MongoControlAdapterDescriptor<'mongo'>;
 //#endregion
-export { type MarkerOperations, MongoCommandExecutor, MongoControlAdapterImpl, type MongoControlDriverInstance, MongoInspectionExecutor, type MongoRunnerDependencies, createMongoAdapter, createMongoControlDriver, createMongoRunnerDeps, mongoAdapterDescriptor as default, mongoAdapterDescriptor, extractDb, initMarker, introspectSchema, readAllMarkers, readMarker, updateMarker, writeLedgerEntry };
+export { type MarkerOperations, MongoCommandExecutor, MongoControlAdapterImpl, type MongoControlDriverInstance, MongoInspectionExecutor, type MongoRunnerDependencies, createMongoAdapter, createMongoControlDriver, createMongoRunnerDeps, mongoAdapterDescriptor as default, mongoAdapterDescriptor, extractDb, initMarker, introspectSchema, readAllMarkers, readLedger, 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/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;;;;;;;;;cC7D3C,uBAAA,YAAmC,mBAAA;EAAA,SACrC,QAAA;EAAA,SACA,QAAA;EAEH,UAAA,CACJ,MAAA,EAAQ,qBAAA,oBACR,KAAA,WACC,OAAA,CAAQ,oBAAA;EAgBL,cAAA,CACJ,MAAA,EAAQ,qBAAA,qBACP,OAAA,CAAQ,WAAA,SAAoB,oBAAA;EA6BzB,UAAA,CACJ,MAAA,EAAQ,qBAAA,oBACR,KAAA,UACA,WAAA;IAAA,SACW,WAAA;IAAA,SACA,WAAA;IAAA,SACA,UAAA;EAAA,IAEV,OAAA;EAiBG,YAAA,CACJ,MAAA,EAAQ,qBAAA,oBACR,KAAA,UACA,YAAA,UACA,WAAA;IAAA,SACW,WAAA;IAAA,SACA,WAAA;IAAA,SACA,UAAA;EAAA,IAEV,OAAA;EAmCG,gBAAA,CACJ,MAAA,EAAQ,qBAAA,oBACR,KAAA,UACA,KAAA;IAAA,SACW,MAAA;IAAA,SACA,IAAA;IAAA,SACA,EAAA;IAAA,SACA,aAAA;IAAA,SACA,aAAA;IAAA,SACA,UAAA;EAAA,IAEV,OAAA;EAgBG,UAAA,CACJ,MAAA,EAAQ,qBAAA,oBACR,KAAA,YACC,OAAA,UAAiB,iBAAA;EAsDd,gBAAA,CAAiB,MAAA,EAAQ,qBAAA,qBAA0C,OAAA,CAAQ,aAAA;AAAA;;;UC1OlE,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;;;AJH9E;;;;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;;;iBC3DmB,UAAA,CAAW,EAAA,EAAI,EAAA,EAAI,KAAA,WAAgB,OAAA,CAAQ,oBAAA;AAAA,iBAI3C,cAAA,CAAe,EAAA,EAAI,EAAA,GAAK,OAAA,CAAQ,WAAA,SAAoB,oBAAA;AAAA,iBAIpD,UAAA,CACpB,EAAA,EAAI,EAAA,EACJ,KAAA,UACA,WAAA;EAAA,SACW,WAAA;EAAA,SACA,WAAA;EAAA,SACA,UAAA;AAAA,IAEV,OAAO;AAAA,iBAIY,YAAA,CACpB,EAAA,EAAI,EAAA,EACJ,KAAA,UACA,YAAA,UACA,WAAA;EAAA,SACW,WAAA;EAAA,SACA,WAAA;EAAA,SACA,UAAA;AAAA,IAEV,OAAO;AAAA,iBASY,UAAA,CAAW,EAAA,EAAI,EAAA,EAAI,KAAA,YAAiB,OAAA,UAAiB,iBAAA;AAAA,iBAIrD,gBAAA,CACpB,EAAA,EAAI,EAAA,EACJ,KAAA,UACA,KAAA;EAAA,SACW,MAAA;EAAA,SACA,IAAA;EAAA,SACA,EAAA;EAAA,SACA,aAAA;EAAA,SACA,aAAA;EAAA,SACA,UAAA;AAAA,IAEV,OAAO;AAAA,cAIG,sBAAA,EAAwB,6BAA6B"}

package/dist/control.mjs

@@ -4,6 +4,7 @@ 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 { type } from "arktype";
 //#region src/core/command-executor.ts
 var MongoCommandExecutor = class {
@@ -167,17 +168,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",
@@ -219,115 +210,6 @@ async function executeInsertOne(db, cmd) {
 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/runner-deps.ts
 function extractDb(driver) {
@@ -365,25 +247,123 @@ 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.
+* per call.
 */
 var MongoControlAdapterImpl = class {
 	familyId = "mongo";
 	targetId = "mongo";
 	async readMarker(driver, space) {
-		return readMarker(extractDb(driver), space);
+		const db = extractDb(driver);
+		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);
 	}
 	async readAllMarkers(driver) {
-		return readAllMarkers(extractDb(driver));
+		const db = extractDb(driver);
+		const docs = await withMarkerReadErrorHandling(() => executeAggregate(db, new RawAggregateCommand(COLLECTION, [{ $match: {
+			_id: { $type: "string" },
+			space: { $type: "string" },
+			$expr: { $eq: ["$_id", "$space"] }
+		} }])), {
+			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);
+		await executeInsertOne(extractDb(driver), 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 ?? []
+		}));
 	}
 	async updateMarker(driver, space, expectedFrom, destination) {
-		return updateMarker(extractDb(driver), space, expectedFrom, destination);
+		const db = extractDb(driver);
+		const setBase = {
+			storageHash: destination.storageHash,
+			profileHash: destination.profileHash,
+			updatedAt: /* @__PURE__ */ new Date()
+		};
+		const update = destination.invariants === void 0 ? { $set: setBase } : [{ $set: {
+			...setBase,
+			invariants: { $sortArray: {
+				input: { $setUnion: [{ $ifNull: ["$invariants", []] }, destination.invariants] },
+				sortBy: 1
+			} }
+		} }];
+		return await executeFindOneAndUpdate(db, new RawFindOneAndUpdateCommand(COLLECTION, {
+			_id: space,
+			space,
+			storageHash: expectedFrom
+		}, update, false)) !== null;
 	}
 	async writeLedgerEntry(driver, space, entry) {
-		await writeLedgerEntry(extractDb(driver), space, entry);
+		await executeInsertOne(extractDb(driver), new RawInsertOneCommand(COLLECTION, {
+			type: "ledger",
+			space,
+			edgeId: entry.edgeId,
+			from: entry.from,
+			to: entry.to,
+			migrationName: entry.migrationName,
+			migrationHash: entry.migrationHash,
+			operations: entry.operations,
+			appliedAt: /* @__PURE__ */ new Date()
+		}));
+	}
+	async readLedger(driver, space) {
+		const db = extractDb(driver);
+		const ledgerContext = {
+			space: space ?? "*",
+			markerLocation: MONGO_LEDGER_COLLECTION
+		};
+		const matchStage = { type: "ledger" };
+		if (space !== void 0) matchStage["space"] = space;
+		const docs = await withMarkerReadErrorHandling(() => executeAggregate(db, new RawAggregateCommand(COLLECTION, [{ $match: matchStage }, { $sort: { _id: 1 } }])), ledgerContext);
+		const 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));
@@ -412,6 +392,34 @@ function createMongoControlDriver(db, client) {
 }
 //#endregion
 //#region src/exports/control.ts
+const defaultControlAdapter = new MongoControlAdapterImpl();
+function controlDriverFromDb(db) {
+	return {
+		familyId: "mongo",
+		targetId: "mongo",
+		db,
+		query: () => Promise.reject(/* @__PURE__ */ new Error("MongoDB control driver does not support SQL queries")),
+		close: async () => {}
+	};
+}
+async function readMarker(db, space) {
+	return defaultControlAdapter.readMarker(controlDriverFromDb(db), space);
+}
+async function readAllMarkers(db) {
+	return defaultControlAdapter.readAllMarkers(controlDriverFromDb(db));
+}
+async function initMarker(db, space, destination) {
+	await defaultControlAdapter.initMarker(controlDriverFromDb(db), space, destination);
+}
+async function updateMarker(db, space, expectedFrom, destination) {
+	return defaultControlAdapter.updateMarker(controlDriverFromDb(db), space, expectedFrom, destination);
+}
+async function readLedger(db, space) {
+	return defaultControlAdapter.readLedger(controlDriverFromDb(db), space);
+}
+async function writeLedgerEntry(db, space, entry) {
+	await defaultControlAdapter.writeLedgerEntry(controlDriverFromDb(db), space, entry);
+}
 const mongoAdapterDescriptor = {
 	kind: "adapter",
 	id: "mongo",
@@ -444,6 +452,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, createMongoControlDriver, createMongoRunnerDeps, mongoAdapterDescriptor as default, mongoAdapterDescriptor, extractDb, initMarker, introspectSchema, readAllMarkers, readLedger, 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/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 { parseMarkerRowSafely, withMarkerReadErrorHandling } from '@prisma-next/errors/execution';\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';\nconst MONGO_MARKER_COLLECTION = `_prisma_migrations marker documents in ${COLLECTION}`;\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\nfunction parseMongoMarkerDocSafely(doc: unknown, space: string): ContractMarkerRecord {\n  return parseMarkerRowSafely(doc, parseMongoMarkerDoc, {\n    space,\n    markerLocation: MONGO_MARKER_COLLECTION,\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 markerContext = { space, markerLocation: MONGO_MARKER_COLLECTION };\n  const docs = await withMarkerReadErrorHandling(\n    () =>\n      executeAggregate(\n        db,\n        new RawAggregateCommand(COLLECTION, [{ $match: { _id: space, space } }, { $limit: 1 }]),\n      ),\n    markerContext,\n  );\n  const doc = docs[0];\n  if (!doc) return null;\n  return parseMongoMarkerDocSafely(doc, space);\n}\n\n/**\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 markerContext = { space: 'app', markerLocation: MONGO_MARKER_COLLECTION };\n  const docs = await withMarkerReadErrorHandling(\n    () =>\n      executeAggregate(\n        db,\n        new RawAggregateCommand(COLLECTION, [\n          {\n            $match: {\n              _id: { $type: 'string' },\n              space: { $type: 'string' },\n              $expr: { $eq: ['$_id', '$space'] },\n            },\n          },\n        ]),\n      ),\n    markerContext,\n  );\n  const out = new Map<string, ContractMarkerRecord>();\n  for (const doc of docs) {\n    const space = doc['space'];\n    /* v8 ignore next -- @preserve type-narrowing guard: the $match stage above filters on `space: { $type: 'string' }`, so this branch is unreachable at runtime. The check exists so the `out.set(space, ...)` call below can accept `string`. */\n    if (typeof space !== 'string') continue;\n    out.set(space, parseMongoMarkerDocSafely(doc, space));\n  }\n  return out;\n}\n\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;CAAS;CAEtC,MAAM,YAAY,KAAwC;EACxD,MAAM,UAAoB,cAAc,IAAI,IAAI;EAChD,MAAM,UAAmC,CAAC;EAC1C,IAAI,IAAI,WAAW,KAAA,GAAW,QAAQ,YAAY,IAAI;EACtD,IAAI,IAAI,WAAW,KAAA,GAAW,QAAQ,YAAY,IAAI;EACtD,IAAI,IAAI,uBAAuB,KAAA,GAC7B,QAAQ,wBAAwB,IAAI;EACtC,IAAI,IAAI,4BAA4B,KAAA,GAClC,QAAQ,6BAA6B,IAAI;EAC3C,IAAI,IAAI,SAAS,KAAA,GAAW,QAAQ,UAAU,IAAI;EAClD,IAAI,IAAI,uBAAuB,KAAA,GAC7B,QAAQ,wBAAwB,IAAI;EACtC,IAAI,IAAI,cAAc,KAAA,GAAW,QAAQ,eAAe,IAAI;EAC5D,IAAI,IAAI,YAAY,KAAA,GAAW,QAAQ,aAAa,IAAI;EACxD,IAAI,IAAI,qBAAqB,KAAA,GAAW,QAAQ,sBAAsB,IAAI;EAC1E,IAAI,IAAI,sBAAsB,KAAA,GAAW,QAAQ,uBAAuB,IAAI;EAC5E,MAAM,KAAK,GAAG,WAAW,IAAI,UAAU,EAAE,YAAY,SAAS,OAAO;CACvE;CAEA,MAAM,UAAU,KAAsC;EACpD,MAAM,KAAK,GAAG,WAAW,IAAI,UAAU,EAAE,UAAU,IAAI,IAAI;CAC7D;CAEA,MAAM,iBAAiB,KAA6C;EAClE,MAAM,UAAmC,CAAC;EAC1C,IAAI,IAAI,WAAW,KAAA,GAAW,QAAQ,YAAY,IAAI;EACtD,IAAI,IAAI,SAAS,KAAA,GAAW,QAAQ,UAAU,IAAI;EAClD,IAAI,IAAI,QAAQ,KAAA,GAAW,QAAQ,SAAS,IAAI;EAChD,IAAI,IAAI,eAAe,KAAA,GAAW,QAAQ,gBAAgB,IAAI;EAC9D,IAAI,IAAI,cAAc,KAAA,GAAW,QAAQ,eAAe,IAAI;EAC5D,IAAI,IAAI,mBAAmB,KAAA,GAAW,QAAQ,oBAAoB,IAAI;EACtE,IAAI,IAAI,cAAc,KAAA,GAAW,QAAQ,eAAe,IAAI;EAC5D,IAAI,IAAI,oBAAoB,KAAA,GAAW,QAAQ,qBAAqB,IAAI;EACxE,IAAI,IAAI,qBAAqB,KAAA,GAAW,QAAQ,sBAAsB,IAAI;EAC1E,IAAI,IAAI,iCAAiC,KAAA,GACvC,QAAQ,kCAAkC,IAAI;EAChD,MAAM,KAAK,GAAG,iBAAiB,IAAI,YAAY,OAAO;CACxD;CAEA,MAAM,eAAe,KAA2C;EAC9D,MAAM,KAAK,GAAG,WAAW,IAAI,UAAU,EAAE,KAAK;CAChD;CAEA,MAAM,QAAQ,KAAoC;EAChD,MAAM,UAAmC,EAAE,SAAS,IAAI,WAAW;EACnE,IAAI,IAAI,cAAc,KAAA,GAAW,QAAQ,eAAe,IAAI;EAC5D,IAAI,IAAI,oBAAoB,KAAA,GAAW,QAAQ,qBAAqB,IAAI;EACxE,IAAI,IAAI,qBAAqB,KAAA,GAAW,QAAQ,sBAAsB,IAAI;EAC1E,IAAI,IAAI,iCAAiC,KAAA,GACvC,QAAQ,kCAAkC,IAAI;EAChD,MAAM,KAAK,GAAG,QAAQ,OAAO;CAC/B;AACF;AAEA,IAAa,0BAAb,MAAmG;CACpE;CAA7B,YAAY,IAAyB;EAAR,KAAA,KAAA;CAAS;CAEtC,MAAM,YAAY,KAA8C;EAC9D,IAAI;GACF,OAAO,MAAM,KAAK,GAAG,WAAW,IAAI,UAAU,EAAE,YAAY,EAAE,QAAQ;EACxE,SAAS,OAAgB;GACvB,IAAI,iBAAiB,oBAAoB,MAAM,SAAS,IACtD,OAAO,CAAC;GAEV,MAAM;EACR;CACF;CAEA,MAAM,gBAAgB,MAAmD;EACvE,OAAO,KAAK,GAAG,gBAAgB,EAAE,QAAQ;CAC3C;AACF;;;AC9EA,MAAM,+BAA+B;AAErC,SAAS,eAAe,SAAmD;CACzE,MAAM,OAAwB,CAAC;CAC/B,KAAK,MAAM,CAAC,OAAO,cAAc,OAAO,QAAQ,OAAO,GACrD,KAAK,KAAK;EAAE;EAAkB;CAAoC,CAAC;CAErE,OAAO;AACT;;;;;;AAOA,SAAgB,iBAAiB,KAAwB;CACvD,MAAM,MAAM,IAAI;CAChB,IAAI,CAAC,KAAK,OAAO;CACjB,MAAM,UAAU,OAAO,QAAQ,GAAG;CAClC,OAAO,QAAQ,WAAW,KAAK,QAAQ,KAAK,OAAO,SAAS,QAAQ,KAAK,OAAO;AAClF;AAEA,SAAS,WAAW,KAAiC;CACnD,MAAM,UAAU,IAAI;CACpB,OAAO,IAAI,iBAAiB;EAC1B,MAAM,eAAe,OAAO;EAC5B,QAAQ,IAAI;EACZ,QAAQ,IAAI;EACZ,oBAAoB,IAAI;EACxB,yBAAyB,IAAI;EAC7B,oBAAoB,IAAI;EACxB,WAAW,IAAI;EACf,SAAS,IAAI;EACb,kBAAkB,IAAI;EACtB,mBAAmB,IAAI;CACzB,CAAC;AACH;AAEA,SAAS,eAAe,SAAqD;CAC3E,MAAM,YAAY,QAAQ;CAC1B,IAAI,CAAC,WAAW,OAAO,KAAA;CAEvB,MAAM,aAAa,UAAU;CAC7B,IAAI,CAAC,YAAY,OAAO,KAAA;CAExB,OAAO,IAAI,qBAAqB;EAC9B;EACA,iBAAkB,QAAQ,sBAAgD;EAC1E,kBAAmB,QAAQ,uBAA4C;CACzE,CAAC;AACH;AAEA,SAAS,uBAAuB,MAA0D;CACxF,MAAM,UAAU,KAAK;CACrB,IAAI,CAAC,SAAS,OAAO,KAAA;CAErB,MAAM,SAAS,QAAQ;CACvB,MAAM,OAAO,QAAQ;CACrB,MAAM,MAAM,QAAQ;CACpB,MAAM,aAAa,QAAQ;CAG3B,MAAM,YAAY,QAAQ;CAC1B,MAAM,+BAA+B,QAAQ;CAG7C,MAAM,iBAAiB,QAAQ;CAI/B,IAAI,EADF,UAAU,cAAc,aAAa,gCAAgC,iBAC5C,OAAO,KAAA;CAElC,OAAO,IAAI,6BAA6B;EACtC,GAAI,SAAS,EAAE,QAAQ;GAAE,MAAM,QAAQ;GAAG,GAAI,OAAO,OAAO,EAAE,IAAI,IAAI,CAAC;EAAG,EAAE,IAAI,CAAC;EACjF,GAAI,aAAa,EAAE,WAAW,IAAI,CAAC;EACnC,GAAI,YAAY,EAAE,UAAU,IAAI,CAAC;EACjC,GAAI,+BAA+B,EAAE,6BAA6B,IAAI,CAAC;EACvE,GAAI,iBAAiB,EAAE,eAAe,IAAI,CAAC;CAC7C,CAAC;AACH;AAEA,eAAsB,iBAAiB,IAAgC;CACrE,MAAM,kBAAkB,MAAM,GAAG,gBAAgB,EAAE,QAAQ;CAE3D,MAAM,cAAuC,CAAC;CAE9C,KAAK,MAAM,QAAQ,iBAAiB;EAClC,MAAM,OAAO,KAAK;EAClB,MAAM,OAAO,KAAK;EAElB,IAAI,SAAS,8BAA8B;EAC3C,IAAI,KAAK,WAAW,SAAS,GAAG;EAChC,IAAI,SAAS,QAAQ;EAGrB,MAAM,WAAU,MADQ,GAAG,WAAW,IAAI,EAAE,YAAY,EAAE,QAAQ,GACxC,QAAQ,QAAQ,CAAC,iBAAiB,GAAG,CAAC,EAAE,IAAI,UAAU;EAGhF,MAAM,YAAY,eADE,aAAa,OAAQ,KAAK,aAAyC,CAAC,CAC5C;EAC5C,MAAM,UAAU,uBAAuB,IAAI;EAE3C,YAAY,KACV,IAAI,sBAAsB;GACxB;GACA;GACA,GAAI,YAAY,EAAE,UAAU,IAAI,CAAC;GACjC,GAAI,UAAU,EAAE,QAAQ,IAAI,CAAC;EAC/B,CAAC,CACH;CACF;CAEA,OAAO,IAAI,cAAc,WAAW;AACtC;;;AChHA,MAAM,aAAa;AACnB,MAAM,0BAA0B,0CAA0C;;;;;;;;;;;;AAa1E,MAAM,uBAAuB,KAAK;CAChC,OAAO;CACP,aAAa;CACb,aAAa;CACb,iBAAiB;CACjB,qBAAqB;CACrB,cAAc;CACd,WAAW;CACX,SAAS,KAAK,EAAE,YAAY,UAAU,CAAC,EAAE,GAAG,MAAM;CAClD,eAAe,KAAK,QAAQ,EAAE,MAAM;CACpC,KAAK;AACP,CAAC;AAED,SAAS,oBAAoB,KAAoC;CAC/D,MAAM,SAAS,qBAAqB,GAAG;CACvC,IAAI,kBAAkB,KAAK,QACzB,MAAM,IAAI,MAAM,yBAAyB,WAAW,IAAI,OAAO,SAAS;CAE1E,OAAO;EACL,aAAa,OAAO;EACpB,aAAa,OAAO;EACpB,cAAc,OAAO,gBAAgB;EACrC,kBAAkB,OAAO,oBAAoB;EAC7C,WAAW,OAAO,6BAAa,IAAI,KAAK;EACxC,QAAQ,OAAO,UAAU;EACzB,MAAO,OAAO,QAA2C,CAAC;EAC1D,YAAY,OAAO,cAAc,CAAC;CACpC;AACF;AAEA,SAAS,0BAA0B,KAAc,OAAqC;CACpF,OAAO,qBAAqB,KAAK,qBAAqB;EACpD;EACA,gBAAgB;CAClB,CAAC;AACH;AAEA,eAAe,iBAAiB,IAAQ,KAA+C;CACrF,OAAO,GACJ,WAAW,IAAI,UAAU,EACzB,UAAU,IAAI,QAAqC,EACnD,QAAQ;AACb;AAEA,eAAe,iBAAiB,IAAQ,KAAyC;CAC/E,MAAM,GAAG,WAAW,IAAI,UAAU,EAAE,UAAU,IAAI,QAAQ;AAC5D;AAEA,eAAe,wBACb,IACA,KAC0B;CAM1B,OAAO,GACJ,WAAW,IAAI,UAAU,EACzB,iBAAiB,IAAI,QAAQ,IAAI,QAA+C,EAC/E,QAAQ,IAAI,OACd,CAAC;AACL;;;;;;;AAQA,eAAsB,WAAW,IAAQ,OAAqD;CAU5F,MAAM,OAAM,MARO,kCAEf,iBACE,IACA,IAAI,oBAAoB,YAAY,CAAC,EAAE,QAAQ;EAAE,KAAK;EAAO;CAAM,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,CAAC,CACxF,GACF;EAPsB;EAAO,gBAAgB;CAOjC,CACd,GACiB;CACjB,IAAI,CAAC,KAAK,OAAO;CACjB,OAAO,0BAA0B,KAAK,KAAK;AAC7C;;;;;;;;;;;;AAaA,eAAsB,eAAe,IAA4D;CAE/F,MAAM,OAAO,MAAM,kCAEf,iBACE,IACA,IAAI,oBAAoB,YAAY,CAClC,EACE,QAAQ;EACN,KAAK,EAAE,OAAO,SAAS;EACvB,OAAO,EAAE,OAAO,SAAS;EACzB,OAAO,EAAE,KAAK,CAAC,QAAQ,QAAQ,EAAE;CACnC,EACF,CACF,CAAC,CACH,GACF;EAfsB,OAAO;EAAO,gBAAgB;CAexC,CACd;CACA,MAAM,sBAAM,IAAI,IAAkC;CAClD,KAAK,MAAM,OAAO,MAAM;EACtB,MAAM,QAAQ,IAAI;;EAElB,IAAI,OAAO,UAAU,UAAU;EAC/B,IAAI,IAAI,OAAO,0BAA0B,KAAK,KAAK,CAAC;CACtD;CACA,OAAO;AACT;AAEA,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,KAAK;EACpB,QAAQ;EACR,MAAM,CAAC;EACP,YAAY,YAAY,cAAc,CAAC;CACzC,CAC6B,CAAC;AAChC;;;;;;;;;;;AAYA,eAAsB,aACpB,IACA,OACA,cACA,aAKkB;CAClB,MAAM,UAAmC;EACvC,aAAa,YAAY;EACzB,aAAa,YAAY;EACzB,2BAAW,IAAI,KAAK;CACtB;CAKA,MAAM,SACJ,YAAY,eAAe,KAAA,IACvB,EAAE,MAAM,QAAQ,IAChB,CACE,EACE,MAAM;EACJ,GAAG;EACH,YAAY,EACV,YAAY;GACV,OAAO,EAAE,WAAW,CAAC,EAAE,SAAS,CAAC,eAAe,CAAC,CAAC,EAAE,GAAG,YAAY,UAAU,EAAE;GAC/E,QAAQ;EACV,EACF;CACF,EACF,CACF;CAQN,OAAO,MADc,wBAAwB,IAAI,IANjC,2BACd,YACA;EAAE,KAAK;EAAO;EAAO,aAAa;CAAa,GAC/C,QACA,KAEiD,CAAC,MAClC;AACpB;;;;;;;;;;;AAYA,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,KAAK;CACtB,CAC6B,CAAC;AAChC;;;AC1OA,SAAgB,UAAU,QAAqD;CAC7E,MAAM,cAAc;CACpB,IAAI,CAAC,YAAY,IACf,MAAM,IAAI,MACR,+HAEF;CAEF,OAAO,YAAY;AACrB;;;;;;;;;;AAuDA,SAAgB,sBACd,eACA,QAMA,SACA,iBAA+C,IAAI,wBAAwB,GAClD;CACzB,OAAO;EACL,iBAAiB,IAAI,qBAAqB,UAAU,aAAa,CAAC;EAClE,oBAAoB,IAAI,wBAAwB,UAAU,aAAa,CAAC;EACxE,SAAS,mBAAmB;EAC5B;EACA,WAAW;GACT,aAAa,UAAU,eAAe,WAAW,eAAe,KAAK;GACrE,aAAa,OAAO,SAAS,eAAe,WAAW,eAAe,OAAO,IAAI;GACjF,eAAe,OAAO,cAAc,SAClC,eAAe,aAAa,eAAe,OAAO,cAAc,IAAI;GACtE,mBAAmB,OAAO,UACxB,eAAe,iBAAiB,eAAe,OAAO,KAAK;EAC/D;EACA,wBAAwB,eAAe,iBAAiB,aAAa;CACvE;AACF;;;;;;;;;ACvFA,IAAa,0BAAb,MAA6E;CAC3E,WAAoB;CACpB,WAAoB;CAEpB,MAAM,WACJ,QACA,OACsC;EACtC,OAAO,WAAW,UAAU,MAAM,GAAG,KAAK;CAC5C;CAEA,MAAM,eACJ,QACoD;EACpD,OAAO,eAAe,UAAU,MAAM,CAAC;CACzC;CAEA,MAAM,WACJ,QACA,OACA,aAKe;EACf,MAAM,WAAW,UAAU,MAAM,GAAG,OAAO,WAAW;CACxD;CAEA,MAAM,aACJ,QACA,OACA,cACA,aAKkB;EAClB,OAAO,aAAa,UAAU,MAAM,GAAG,OAAO,cAAc,WAAW;CACzE;CAEA,MAAM,iBACJ,QACA,OACA,OACe;EACf,MAAM,iBAAiB,UAAU,MAAM,GAAG,OAAO,KAAK;CACxD;CAEA,MAAM,iBAAiB,QAAyE;EAC9F,OAAO,iBAAiB,UAAU,MAAM,CAAC;CAC3C;AACF;;;AClEA,IAAM,yBAAN,MAAmE;CACjE,WAAoB;CACpB,WAAoB;CACpB;CACA;CAEA,YAAY,IAAQ,QAAqB;EACvC,KAAK,KAAK;EACV,KAAKA,UAAU;CACjB;CAEA,QAAwB;EACtB,MAAM,IAAI,MAAM,qDAAqD;CACvE;CAEA,MAAM,QAAuB;EAC3B,MAAM,KAAKA,QAAQ,MAAM;CAC3B;AACF;AAEA,SAAgB,yBAAyB,IAAQ,QAAiD;CAChG,OAAO,IAAI,uBAAuB,IAAI,MAAM;AAC9C;;;ACFA,MAAa,yBAAiE;CAC5E,MAAM;CACN,IAAI;CACJ,UAAU;CACV,UAAU;CACV,SAAS;CACT,uBAAuB,IAAI,IAAI;EAC7B,CAAC,UAAU,gBAAgB;EAC3B,CAAC,OAAO,eAAe;EACvB,CAAC,WAAW,cAAc;EAC1B,CAAC,YAAY,cAAc;EAC3B,CAAC,YAAY,kBAAkB;EAC/B,CAAC,SAAS,gBAAgB;CAC5B,CAAC;CACD,OAAO,EACL,YAAY;EACV,kBAAkB;EAClB,QAAQ;GACN,SAAS;GACT,OAAO;GACP,OAAO;EACT;EACA,aAAa,CACX;GACE,SAAS;GACT,OAAO;GACP,OAAO;EACT,CACF;CACF,EACF;CACA,OAAO,QAAQ;EACb,OAAO,IAAI,wBAAwB;CACrC;AACF"}
+{"version":3,"file":"control.mjs","names":["#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 { parseMarkerRowSafely } from '@prisma-next/errors/execution';\nimport type {\n  RawAggregateCommand,\n  RawFindOneAndUpdateCommand,\n  RawInsertOneCommand,\n} from '@prisma-next/mongo-query-ast/execution';\nimport { type } from 'arktype';\nimport type { Db, Document, UpdateFilter } from 'mongodb';\n\nexport const COLLECTION = '_prisma_migrations';\nexport const MONGO_MARKER_COLLECTION = `_prisma_migrations marker documents in ${COLLECTION}`;\nexport const MONGO_LEDGER_COLLECTION = `_prisma_migrations ledger documents in ${COLLECTION}`;\n\nconst MongoMarkerDocSchema = type({\n  space: 'string',\n  storageHash: 'string',\n  profileHash: 'string',\n  'contractJson?': 'unknown | null',\n  'canonicalVersion?': 'number | null',\n  'updatedAt?': 'Date',\n  'appTag?': 'string | null',\n  'meta?': type({ '[string]': 'unknown' }).or('null'),\n  'invariants?': type('string').array(),\n  '+': 'delete',\n});\n\nexport function parseMongoMarkerDoc(doc: unknown): ContractMarkerRecord {\n  const result = MongoMarkerDocSchema(doc);\n  if (result instanceof type.errors) {\n    throw new Error(`Invalid marker doc on ${COLLECTION}: ${result.summary}`);\n  }\n  return {\n    storageHash: result.storageHash,\n    profileHash: result.profileHash,\n    contractJson: result.contractJson ?? null,\n    canonicalVersion: result.canonicalVersion ?? null,\n    updatedAt: result.updatedAt ?? new Date(),\n    appTag: result.appTag ?? null,\n    meta: (result.meta as Record<string, unknown> | null) ?? {},\n    invariants: result.invariants ?? [],\n  };\n}\n\nexport function parseMongoMarkerDocSafely(doc: unknown, space: string): ContractMarkerRecord {\n  return parseMarkerRowSafely(doc, parseMongoMarkerDoc, {\n    space,\n    markerLocation: MONGO_MARKER_COLLECTION,\n  });\n}\n\nexport async function executeAggregate(db: Db, cmd: RawAggregateCommand): Promise<Document[]> {\n  return db\n    .collection(cmd.collection)\n    .aggregate(cmd.pipeline as Record<string, unknown>[])\n    .toArray();\n}\n\nexport async function executeInsertOne(db: Db, cmd: RawInsertOneCommand): Promise<void> {\n  await db.collection(cmd.collection).insertOne(cmd.document);\n}\n\nexport async function executeFindOneAndUpdate(\n  db: Db,\n  cmd: RawFindOneAndUpdateCommand,\n): Promise<Document | null> {\n  return db\n    .collection(cmd.collection)\n    .findOneAndUpdate(cmd.filter, cmd.update as UpdateFilter<Document> | Document[], {\n      upsert: cmd.upsert,\n    });\n}\n","import type { 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      readonly migrationName: string;\n      readonly migrationHash: string;\n      readonly operations: readonly unknown[];\n    },\n  ): Promise<void>;\n}\n\nexport interface MongoRunnerDependencies {\n  readonly commandExecutor: MongoDdlCommandVisitor<Promise<void>>;\n  readonly inspectionExecutor: MongoInspectionCommandVisitor<Promise<Record<string, unknown>[]>>;\n  readonly adapter: MongoAdapter;\n  readonly driver: MongoDriver;\n  readonly markerOps: MarkerOperations;\n  readonly introspectSchema: () => Promise<MongoSchemaIR>;\n}\n\n/**\n * Build the runner-dependencies envelope. `controlAdapter` is the\n * dispatch surface for wire-level Mongo CAS operations (marker reads,\n * marker advances, ledger appends, introspection); the envelope's\n * `markerOps` shim simply forwards each call through it. When the\n * caller already has a `MongoControlAdapter` on the control stack it\n * can pass it in; otherwise a default `MongoControlAdapterImpl` is\n * constructed locally.\n */\nexport function createMongoRunnerDeps(\n  controlDriver: ControlDriverInstance<'mongo', 'mongo'>,\n  driver: MongoDriver,\n  // Vestigial after the family→adapter SPI refactor: the runner dependencies\n  // now route every wire-level call through `controlAdapter`, so the `family`\n  // instance is no longer consulted. Kept on the signature to avoid rippling\n  // through ~14 call sites; a follow-up that already touches this factory\n  // should drop the parameter outright.\n  _family: ControlFamilyInstance<'mongo', MongoSchemaIR>,\n  controlAdapter: MongoControlAdapter<'mongo'> = new MongoControlAdapterImpl(),\n): MongoRunnerDependencies {\n  return {\n    commandExecutor: new MongoCommandExecutor(extractDb(controlDriver)),\n    inspectionExecutor: new MongoInspectionExecutor(extractDb(controlDriver)),\n    adapter: createMongoAdapter(),\n    driver,\n    markerOps: {\n      readMarker: (space) => controlAdapter.readMarker(controlDriver, space),\n      initMarker: (space, dest) => controlAdapter.initMarker(controlDriver, space, dest),\n      updateMarker: (space, expectedFrom, dest) =>\n        controlAdapter.updateMarker(controlDriver, space, expectedFrom, dest),\n      writeLedgerEntry: (space, entry) =>\n        controlAdapter.writeLedgerEntry(controlDriver, space, entry),\n    },\n    introspectSchema: () => controlAdapter.introspectSchema(controlDriver),\n  };\n}\n","import type { ContractMarkerRecord, LedgerEntryRecord } from '@prisma-next/contract/types';\nimport { withMarkerReadErrorHandling } from '@prisma-next/errors/execution';\nimport type { MongoControlAdapter } from '@prisma-next/family-mongo/control-adapter';\nimport type { ControlDriverInstance } from '@prisma-next/framework-components/control';\nimport { ledgerOriginFromStored } from '@prisma-next/migration-tools/ledger-origin';\nimport {\n  RawAggregateCommand,\n  RawFindOneAndUpdateCommand,\n  RawInsertOneCommand,\n} from '@prisma-next/mongo-query-ast/execution';\nimport type { MongoSchemaIR } from '@prisma-next/mongo-schema-ir';\nimport type { Document } from 'mongodb';\nimport { introspectSchema } from './introspect-schema';\nimport {\n  COLLECTION,\n  executeAggregate,\n  executeFindOneAndUpdate,\n  executeInsertOne,\n  MONGO_LEDGER_COLLECTION,\n  MONGO_MARKER_COLLECTION,\n  parseMongoMarkerDocSafely,\n} from './marker-ledger';\nimport { extractDb } from './runner-deps';\n\n/**\n * Mongo control adapter for control-plane operations like introspection\n * and marker-ledger CAS. Implements the family-level `MongoControlAdapter`\n * SPI by extracting the underlying `Db` from the framework-shaped driver\n * per call.\n */\nexport class MongoControlAdapterImpl implements MongoControlAdapter<'mongo'> {\n  readonly familyId = 'mongo' as const;\n  readonly targetId = 'mongo' as const;\n\n  async readMarker(\n    driver: ControlDriverInstance<'mongo', 'mongo'>,\n    space: string,\n  ): Promise<ContractMarkerRecord | null> {\n    const db = extractDb(driver);\n    const markerContext = { space, markerLocation: MONGO_MARKER_COLLECTION };\n    const docs = await withMarkerReadErrorHandling(\n      () =>\n        executeAggregate(\n          db,\n          new RawAggregateCommand(COLLECTION, [{ $match: { _id: space, space } }, { $limit: 1 }]),\n        ),\n      markerContext,\n    );\n    const doc = docs[0];\n    if (!doc) return null;\n    return parseMongoMarkerDocSafely(doc, space);\n  }\n\n  async readAllMarkers(\n    driver: ControlDriverInstance<'mongo', 'mongo'>,\n  ): Promise<ReadonlyMap<string, ContractMarkerRecord>> {\n    const db = extractDb(driver);\n    const markerContext = { space: 'app', markerLocation: MONGO_MARKER_COLLECTION };\n    const docs = await withMarkerReadErrorHandling(\n      () =>\n        executeAggregate(\n          db,\n          new RawAggregateCommand(COLLECTION, [\n            {\n              $match: {\n                _id: { $type: 'string' },\n                space: { $type: 'string' },\n                $expr: { $eq: ['$_id', '$space'] },\n              },\n            },\n          ]),\n        ),\n      markerContext,\n    );\n    const out = new Map<string, ContractMarkerRecord>();\n    for (const doc of docs) {\n      const space = doc['space'];\n      /* v8 ignore next -- @preserve type-narrowing guard: the $match stage above filters on `space: { $type: 'string' }`, so this branch is unreachable at runtime. The check exists so the `out.set(space, ...)` call below can accept `string`. */\n      if (typeof space !== 'string') continue;\n      out.set(space, parseMongoMarkerDocSafely(doc, space));\n    }\n    return out;\n  }\n\n  async initMarker(\n    driver: ControlDriverInstance<'mongo', 'mongo'>,\n    space: string,\n    destination: {\n      readonly storageHash: string;\n      readonly profileHash: string;\n      readonly invariants?: readonly string[];\n    },\n  ): Promise<void> {\n    const db = extractDb(driver);\n    const cmd = new RawInsertOneCommand(COLLECTION, {\n      _id: space,\n      space,\n      storageHash: destination.storageHash,\n      profileHash: destination.profileHash,\n      contractJson: null,\n      canonicalVersion: null,\n      updatedAt: new Date(),\n      appTag: null,\n      meta: {},\n      invariants: destination.invariants ?? [],\n    });\n    await executeInsertOne(db, cmd);\n  }\n\n  async updateMarker(\n    driver: ControlDriverInstance<'mongo', 'mongo'>,\n    space: string,\n    expectedFrom: string,\n    destination: {\n      readonly storageHash: string;\n      readonly profileHash: string;\n      readonly invariants?: readonly string[];\n    },\n  ): Promise<boolean> {\n    const db = extractDb(driver);\n    const setBase: Record<string, unknown> = {\n      storageHash: destination.storageHash,\n      profileHash: destination.profileHash,\n      updatedAt: new Date(),\n    };\n    const update: Document | Document[] =\n      destination.invariants === undefined\n        ? { $set: setBase }\n        : [\n            {\n              $set: {\n                ...setBase,\n                invariants: {\n                  $sortArray: {\n                    input: {\n                      $setUnion: [{ $ifNull: ['$invariants', []] }, destination.invariants],\n                    },\n                    sortBy: 1,\n                  },\n                },\n              },\n            },\n          ];\n    const cmd = new RawFindOneAndUpdateCommand(\n      COLLECTION,\n      { _id: space, space, storageHash: expectedFrom },\n      update,\n      false,\n    );\n    const result = await executeFindOneAndUpdate(db, cmd);\n    return result !== null;\n  }\n\n  async writeLedgerEntry(\n    driver: ControlDriverInstance<'mongo', 'mongo'>,\n    space: string,\n    entry: {\n      readonly edgeId: string;\n      readonly from: string;\n      readonly to: string;\n      readonly migrationName: string;\n      readonly migrationHash: string;\n      readonly operations: readonly unknown[];\n    },\n  ): Promise<void> {\n    const db = extractDb(driver);\n    const cmd = new RawInsertOneCommand(COLLECTION, {\n      type: 'ledger',\n      space,\n      edgeId: entry.edgeId,\n      from: entry.from,\n      to: entry.to,\n      migrationName: entry.migrationName,\n      migrationHash: entry.migrationHash,\n      operations: entry.operations,\n      appliedAt: new Date(),\n    });\n    await executeInsertOne(db, cmd);\n  }\n\n  async readLedger(\n    driver: ControlDriverInstance<'mongo', 'mongo'>,\n    space?: string,\n  ): Promise<readonly LedgerEntryRecord[]> {\n    const db = extractDb(driver);\n    const ledgerContext = { space: space ?? '*', markerLocation: MONGO_LEDGER_COLLECTION };\n    const matchStage: Record<string, unknown> = { type: 'ledger' };\n    if (space !== undefined) {\n      matchStage['space'] = space;\n    }\n    const docs = await withMarkerReadErrorHandling(\n      () =>\n        executeAggregate(\n          db,\n          new RawAggregateCommand(COLLECTION, [{ $match: matchStage }, { $sort: { _id: 1 } }]),\n        ),\n      ledgerContext,\n    );\n\n    const entries: LedgerEntryRecord[] = [];\n    for (const doc of docs) {\n      const migrationName = doc['migrationName'];\n      const migrationHash = doc['migrationHash'];\n      const from = doc['from'];\n      const to = doc['to'];\n      const docSpace = doc['space'];\n      if (typeof migrationName !== 'string' || typeof migrationHash !== 'string') {\n        continue;\n      }\n      if (typeof from !== 'string' || typeof to !== 'string') {\n        continue;\n      }\n      if (typeof docSpace !== 'string') {\n        continue;\n      }\n      const appliedAt = doc['appliedAt'];\n      const appliedAtDate =\n        appliedAt instanceof Date\n          ? appliedAt\n          : appliedAt !== undefined\n            ? new Date(String(appliedAt))\n            : new Date();\n      const operations = doc['operations'];\n      const opList = Array.isArray(operations) ? operations : [];\n      entries.push({\n        space: docSpace,\n        migrationName,\n        migrationHash,\n        from: ledgerOriginFromStored(from),\n        to,\n        appliedAt: appliedAtDate,\n        operationCount: opList.length,\n      });\n    }\n    return entries;\n  }\n\n  async introspectSchema(driver: ControlDriverInstance<'mongo', 'mongo'>): Promise<MongoSchemaIR> {\n    return introspectSchema(extractDb(driver));\n  }\n}\n","import type { 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 { ContractMarkerRecord, LedgerEntryRecord } from '@prisma-next/contract/types';\nimport type { MongoControlAdapterDescriptor } from '@prisma-next/family-mongo/control-adapter';\nimport type { ControlDriverInstance } from '@prisma-next/framework-components/control';\nimport type { Db } from 'mongodb';\n\nexport { MongoCommandExecutor, MongoInspectionExecutor } from '../core/command-executor';\nexport { introspectSchema } from '../core/introspect-schema';\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\nconst defaultControlAdapter = new MongoControlAdapterImpl();\n\nfunction controlDriverFromDb(db: Db): ControlDriverInstance<'mongo', 'mongo'> & { db: Db } {\n  return {\n    familyId: 'mongo',\n    targetId: 'mongo',\n    db,\n    query: () => Promise.reject(new Error('MongoDB control driver does not support SQL queries')),\n    close: async () => {},\n  };\n}\n\nexport async function readMarker(db: Db, space: string): Promise<ContractMarkerRecord | null> {\n  return defaultControlAdapter.readMarker(controlDriverFromDb(db), space);\n}\n\nexport async function readAllMarkers(db: Db): Promise<ReadonlyMap<string, ContractMarkerRecord>> {\n  return defaultControlAdapter.readAllMarkers(controlDriverFromDb(db));\n}\n\nexport async function initMarker(\n  db: Db,\n  space: string,\n  destination: {\n    readonly storageHash: string;\n    readonly profileHash: string;\n    readonly invariants?: readonly string[];\n  },\n): Promise<void> {\n  await defaultControlAdapter.initMarker(controlDriverFromDb(db), space, destination);\n}\n\nexport async function updateMarker(\n  db: Db,\n  space: string,\n  expectedFrom: string,\n  destination: {\n    readonly storageHash: string;\n    readonly profileHash: string;\n    readonly invariants?: readonly string[];\n  },\n): Promise<boolean> {\n  return defaultControlAdapter.updateMarker(\n    controlDriverFromDb(db),\n    space,\n    expectedFrom,\n    destination,\n  );\n}\n\nexport async function readLedger(db: Db, space?: string): Promise<readonly LedgerEntryRecord[]> {\n  return defaultControlAdapter.readLedger(controlDriverFromDb(db), space);\n}\n\nexport async function writeLedgerEntry(\n  db: Db,\n  space: string,\n  entry: {\n    readonly edgeId: string;\n    readonly from: string;\n    readonly to: string;\n    readonly migrationName: string;\n    readonly migrationHash: string;\n    readonly operations: readonly unknown[];\n  },\n): Promise<void> {\n  await defaultControlAdapter.writeLedgerEntry(controlDriverFromDb(db), space, entry);\n}\n\nexport const mongoAdapterDescriptor: MongoControlAdapterDescriptor<'mongo'> = {\n  kind: 'adapter',\n  id: 'mongo',\n  familyId: 'mongo',\n  targetId: 'mongo',\n  version: '0.0.1',\n  scalarTypeDescriptors: new Map([\n    ['String', 'mongo/string@1'],\n    ['Int', 'mongo/int32@1'],\n    ['Boolean', 'mongo/bool@1'],\n    ['DateTime', 'mongo/date@1'],\n    ['ObjectId', 'mongo/objectId@1'],\n    ['Float', 'mongo/double@1'],\n  ]),\n  types: {\n    codecTypes: {\n      codecDescriptors: mongoCodecDescriptors,\n      import: {\n        package: '@prisma-next/adapter-mongo/codec-types',\n        named: 'CodecTypes',\n        alias: 'MongoCodecTypes',\n      },\n      typeImports: [\n        {\n          package: '@prisma-next/adapter-mongo/codec-types',\n          named: 'Vector',\n          alias: 'Vector',\n        },\n      ],\n    },\n  },\n  create(_stack) {\n    return new MongoControlAdapterImpl();\n  },\n};\n\nexport default mongoAdapterDescriptor;\n"],"mappings":";;;;;;;;;AAcA,IAAa,uBAAb,MAAmF;CACpD;CAA7B,YAAY,IAAyB;EAAR,KAAA,KAAA;CAAS;CAEtC,MAAM,YAAY,KAAwC;EACxD,MAAM,UAAoB,cAAc,IAAI,IAAI;EAChD,MAAM,UAAmC,CAAC;EAC1C,IAAI,IAAI,WAAW,KAAA,GAAW,QAAQ,YAAY,IAAI;EACtD,IAAI,IAAI,WAAW,KAAA,GAAW,QAAQ,YAAY,IAAI;EACtD,IAAI,IAAI,uBAAuB,KAAA,GAC7B,QAAQ,wBAAwB,IAAI;EACtC,IAAI,IAAI,4BAA4B,KAAA,GAClC,QAAQ,6BAA6B,IAAI;EAC3C,IAAI,IAAI,SAAS,KAAA,GAAW,QAAQ,UAAU,IAAI;EAClD,IAAI,IAAI,uBAAuB,KAAA,GAC7B,QAAQ,wBAAwB,IAAI;EACtC,IAAI,IAAI,cAAc,KAAA,GAAW,QAAQ,eAAe,IAAI;EAC5D,IAAI,IAAI,YAAY,KAAA,GAAW,QAAQ,aAAa,IAAI;EACxD,IAAI,IAAI,qBAAqB,KAAA,GAAW,QAAQ,sBAAsB,IAAI;EAC1E,IAAI,IAAI,sBAAsB,KAAA,GAAW,QAAQ,uBAAuB,IAAI;EAC5E,MAAM,KAAK,GAAG,WAAW,IAAI,UAAU,EAAE,YAAY,SAAS,OAAO;CACvE;CAEA,MAAM,UAAU,KAAsC;EACpD,MAAM,KAAK,GAAG,WAAW,IAAI,UAAU,EAAE,UAAU,IAAI,IAAI;CAC7D;CAEA,MAAM,iBAAiB,KAA6C;EAClE,MAAM,UAAmC,CAAC;EAC1C,IAAI,IAAI,WAAW,KAAA,GAAW,QAAQ,YAAY,IAAI;EACtD,IAAI,IAAI,SAAS,KAAA,GAAW,QAAQ,UAAU,IAAI;EAClD,IAAI,IAAI,QAAQ,KAAA,GAAW,QAAQ,SAAS,IAAI;EAChD,IAAI,IAAI,eAAe,KAAA,GAAW,QAAQ,gBAAgB,IAAI;EAC9D,IAAI,IAAI,cAAc,KAAA,GAAW,QAAQ,eAAe,IAAI;EAC5D,IAAI,IAAI,mBAAmB,KAAA,GAAW,QAAQ,oBAAoB,IAAI;EACtE,IAAI,IAAI,cAAc,KAAA,GAAW,QAAQ,eAAe,IAAI;EAC5D,IAAI,IAAI,oBAAoB,KAAA,GAAW,QAAQ,qBAAqB,IAAI;EACxE,IAAI,IAAI,qBAAqB,KAAA,GAAW,QAAQ,sBAAsB,IAAI;EAC1E,IAAI,IAAI,iCAAiC,KAAA,GACvC,QAAQ,kCAAkC,IAAI;EAChD,MAAM,KAAK,GAAG,iBAAiB,IAAI,YAAY,OAAO;CACxD;CAEA,MAAM,eAAe,KAA2C;EAC9D,MAAM,KAAK,GAAG,WAAW,IAAI,UAAU,EAAE,KAAK;CAChD;CAEA,MAAM,QAAQ,KAAoC;EAChD,MAAM,UAAmC,EAAE,SAAS,IAAI,WAAW;EACnE,IAAI,IAAI,cAAc,KAAA,GAAW,QAAQ,eAAe,IAAI;EAC5D,IAAI,IAAI,oBAAoB,KAAA,GAAW,QAAQ,qBAAqB,IAAI;EACxE,IAAI,IAAI,qBAAqB,KAAA,GAAW,QAAQ,sBAAsB,IAAI;EAC1E,IAAI,IAAI,iCAAiC,KAAA,GACvC,QAAQ,kCAAkC,IAAI;EAChD,MAAM,KAAK,GAAG,QAAQ,OAAO;CAC/B;AACF;AAEA,IAAa,0BAAb,MAAmG;CACpE;CAA7B,YAAY,IAAyB;EAAR,KAAA,KAAA;CAAS;CAEtC,MAAM,YAAY,KAA8C;EAC9D,IAAI;GACF,OAAO,MAAM,KAAK,GAAG,WAAW,IAAI,UAAU,EAAE,YAAY,EAAE,QAAQ;EACxE,SAAS,OAAgB;GACvB,IAAI,iBAAiB,oBAAoB,MAAM,SAAS,IACtD,OAAO,CAAC;GAEV,MAAM;EACR;CACF;CAEA,MAAM,gBAAgB,MAAmD;EACvE,OAAO,KAAK,GAAG,gBAAgB,EAAE,QAAQ;CAC3C;AACF;;;AC9EA,MAAM,+BAA+B;AAErC,SAAS,eAAe,SAAmD;CACzE,MAAM,OAAwB,CAAC;CAC/B,KAAK,MAAM,CAAC,OAAO,cAAc,OAAO,QAAQ,OAAO,GACrD,KAAK,KAAK;EAAE;EAAkB;CAAoC,CAAC;CAErE,OAAO;AACT;;;;;;AAOA,SAAgB,iBAAiB,KAAwB;CACvD,MAAM,MAAM,IAAI;CAChB,IAAI,CAAC,KAAK,OAAO;CACjB,MAAM,UAAU,OAAO,QAAQ,GAAG;CAClC,OAAO,QAAQ,WAAW,KAAK,QAAQ,KAAK,OAAO,SAAS,QAAQ,KAAK,OAAO;AAClF;AAEA,SAAS,WAAW,KAAiC;CACnD,MAAM,UAAU,IAAI;CACpB,OAAO,IAAI,iBAAiB;EAC1B,MAAM,eAAe,OAAO;EAC5B,QAAQ,IAAI;EACZ,QAAQ,IAAI;EACZ,oBAAoB,IAAI;EACxB,yBAAyB,IAAI;EAC7B,oBAAoB,IAAI;EACxB,WAAW,IAAI;EACf,SAAS,IAAI;EACb,kBAAkB,IAAI;EACtB,mBAAmB,IAAI;CACzB,CAAC;AACH;AAEA,SAAS,eAAe,SAAqD;CAC3E,MAAM,YAAY,QAAQ;CAC1B,IAAI,CAAC,WAAW,OAAO,KAAA;CAEvB,MAAM,aAAa,UAAU;CAC7B,IAAI,CAAC,YAAY,OAAO,KAAA;CAExB,OAAO,IAAI,qBAAqB;EAC9B;EACA,iBAAkB,QAAQ,sBAAgD;EAC1E,kBAAmB,QAAQ,uBAA4C;CACzE,CAAC;AACH;AAEA,SAAS,uBAAuB,MAA0D;CACxF,MAAM,UAAU,KAAK;CACrB,IAAI,CAAC,SAAS,OAAO,KAAA;CAErB,MAAM,SAAS,QAAQ;CACvB,MAAM,OAAO,QAAQ;CACrB,MAAM,MAAM,QAAQ;CACpB,MAAM,aAAa,QAAQ;CAG3B,MAAM,YAAY,QAAQ;CAC1B,MAAM,+BAA+B,QAAQ;CAG7C,MAAM,iBAAiB,QAAQ;CAI/B,IAAI,EADF,UAAU,cAAc,aAAa,gCAAgC,iBAC5C,OAAO,KAAA;CAElC,OAAO,IAAI,6BAA6B;EACtC,GAAI,SAAS,EAAE,QAAQ;GAAE,MAAM,QAAQ;GAAG,GAAI,OAAO,OAAO,EAAE,IAAI,IAAI,CAAC;EAAG,EAAE,IAAI,CAAC;EACjF,GAAI,aAAa,EAAE,WAAW,IAAI,CAAC;EACnC,GAAI,YAAY,EAAE,UAAU,IAAI,CAAC;EACjC,GAAI,+BAA+B,EAAE,6BAA6B,IAAI,CAAC;EACvE,GAAI,iBAAiB,EAAE,eAAe,IAAI,CAAC;CAC7C,CAAC;AACH;AAEA,eAAsB,iBAAiB,IAAgC;CACrE,MAAM,kBAAkB,MAAM,GAAG,gBAAgB,EAAE,QAAQ;CAE3D,MAAM,cAAuC,CAAC;CAE9C,KAAK,MAAM,QAAQ,iBAAiB;EAClC,MAAM,OAAO,KAAK;EAClB,MAAM,OAAO,KAAK;EAElB,IAAI,SAAS,8BAA8B;EAC3C,IAAI,KAAK,WAAW,SAAS,GAAG;EAChC,IAAI,SAAS,QAAQ;EAGrB,MAAM,WAAU,MADQ,GAAG,WAAW,IAAI,EAAE,YAAY,EAAE,QAAQ,GACxC,QAAQ,QAAQ,CAAC,iBAAiB,GAAG,CAAC,EAAE,IAAI,UAAU;EAGhF,MAAM,YAAY,eADE,aAAa,OAAQ,KAAK,aAAyC,CAAC,CAC5C;EAC5C,MAAM,UAAU,uBAAuB,IAAI;EAE3C,YAAY,KACV,IAAI,sBAAsB;GACxB;GACA;GACA,GAAI,YAAY,EAAE,UAAU,IAAI,CAAC;GACjC,GAAI,UAAU,EAAE,QAAQ,IAAI,CAAC;EAC/B,CAAC,CACH;CACF;CAEA,OAAO,IAAI,cAAc,WAAW;AACtC;;;AChHA,MAAa,aAAa;AAC1B,MAAa,0BAA0B,0CAA0C;AACjF,MAAa,0BAA0B,0CAA0C;AAEjF,MAAM,uBAAuB,KAAK;CAChC,OAAO;CACP,aAAa;CACb,aAAa;CACb,iBAAiB;CACjB,qBAAqB;CACrB,cAAc;CACd,WAAW;CACX,SAAS,KAAK,EAAE,YAAY,UAAU,CAAC,EAAE,GAAG,MAAM;CAClD,eAAe,KAAK,QAAQ,EAAE,MAAM;CACpC,KAAK;AACP,CAAC;AAED,SAAgB,oBAAoB,KAAoC;CACtE,MAAM,SAAS,qBAAqB,GAAG;CACvC,IAAI,kBAAkB,KAAK,QACzB,MAAM,IAAI,MAAM,yBAAyB,WAAW,IAAI,OAAO,SAAS;CAE1E,OAAO;EACL,aAAa,OAAO;EACpB,aAAa,OAAO;EACpB,cAAc,OAAO,gBAAgB;EACrC,kBAAkB,OAAO,oBAAoB;EAC7C,WAAW,OAAO,6BAAa,IAAI,KAAK;EACxC,QAAQ,OAAO,UAAU;EACzB,MAAO,OAAO,QAA2C,CAAC;EAC1D,YAAY,OAAO,cAAc,CAAC;CACpC;AACF;AAEA,SAAgB,0BAA0B,KAAc,OAAqC;CAC3F,OAAO,qBAAqB,KAAK,qBAAqB;EACpD;EACA,gBAAgB;CAClB,CAAC;AACH;AAEA,eAAsB,iBAAiB,IAAQ,KAA+C;CAC5F,OAAO,GACJ,WAAW,IAAI,UAAU,EACzB,UAAU,IAAI,QAAqC,EACnD,QAAQ;AACb;AAEA,eAAsB,iBAAiB,IAAQ,KAAyC;CACtF,MAAM,GAAG,WAAW,IAAI,UAAU,EAAE,UAAU,IAAI,QAAQ;AAC5D;AAEA,eAAsB,wBACpB,IACA,KAC0B;CAC1B,OAAO,GACJ,WAAW,IAAI,UAAU,EACzB,iBAAiB,IAAI,QAAQ,IAAI,QAA+C,EAC/E,QAAQ,IAAI,OACd,CAAC;AACL;;;ACtDA,SAAgB,UAAU,QAAqD;CAC7E,MAAM,cAAc;CACpB,IAAI,CAAC,YAAY,IACf,MAAM,IAAI,MACR,+HAEF;CAEF,OAAO,YAAY;AACrB;;;;;;;;;;AA0DA,SAAgB,sBACd,eACA,QAMA,SACA,iBAA+C,IAAI,wBAAwB,GAClD;CACzB,OAAO;EACL,iBAAiB,IAAI,qBAAqB,UAAU,aAAa,CAAC;EAClE,oBAAoB,IAAI,wBAAwB,UAAU,aAAa,CAAC;EACxE,SAAS,mBAAmB;EAC5B;EACA,WAAW;GACT,aAAa,UAAU,eAAe,WAAW,eAAe,KAAK;GACrE,aAAa,OAAO,SAAS,eAAe,WAAW,eAAe,OAAO,IAAI;GACjF,eAAe,OAAO,cAAc,SAClC,eAAe,aAAa,eAAe,OAAO,cAAc,IAAI;GACtE,mBAAmB,OAAO,UACxB,eAAe,iBAAiB,eAAe,OAAO,KAAK;EAC/D;EACA,wBAAwB,eAAe,iBAAiB,aAAa;CACvE;AACF;;;;;;;;;AChFA,IAAa,0BAAb,MAA6E;CAC3E,WAAoB;CACpB,WAAoB;CAEpB,MAAM,WACJ,QACA,OACsC;EACtC,MAAM,KAAK,UAAU,MAAM;EAU3B,MAAM,OAAM,MARO,kCAEf,iBACE,IACA,IAAI,oBAAoB,YAAY,CAAC,EAAE,QAAQ;GAAE,KAAK;GAAO;EAAM,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,CAAC,CACxF,GACF;GAPsB;GAAO,gBAAgB;EAOjC,CACd,GACiB;EACjB,IAAI,CAAC,KAAK,OAAO;EACjB,OAAO,0BAA0B,KAAK,KAAK;CAC7C;CAEA,MAAM,eACJ,QACoD;EACpD,MAAM,KAAK,UAAU,MAAM;EAE3B,MAAM,OAAO,MAAM,kCAEf,iBACE,IACA,IAAI,oBAAoB,YAAY,CAClC,EACE,QAAQ;GACN,KAAK,EAAE,OAAO,SAAS;GACvB,OAAO,EAAE,OAAO,SAAS;GACzB,OAAO,EAAE,KAAK,CAAC,QAAQ,QAAQ,EAAE;EACnC,EACF,CACF,CAAC,CACH,GACF;GAfsB,OAAO;GAAO,gBAAgB;EAexC,CACd;EACA,MAAM,sBAAM,IAAI,IAAkC;EAClD,KAAK,MAAM,OAAO,MAAM;GACtB,MAAM,QAAQ,IAAI;;GAElB,IAAI,OAAO,UAAU,UAAU;GAC/B,IAAI,IAAI,OAAO,0BAA0B,KAAK,KAAK,CAAC;EACtD;EACA,OAAO;CACT;CAEA,MAAM,WACJ,QACA,OACA,aAKe;EAcf,MAAM,iBAbK,UAAU,MAaG,GAAG,IAZX,oBAAoB,YAAY;GAC9C,KAAK;GACL;GACA,aAAa,YAAY;GACzB,aAAa,YAAY;GACzB,cAAc;GACd,kBAAkB;GAClB,2BAAW,IAAI,KAAK;GACpB,QAAQ;GACR,MAAM,CAAC;GACP,YAAY,YAAY,cAAc,CAAC;EACzC,CAC6B,CAAC;CAChC;CAEA,MAAM,aACJ,QACA,OACA,cACA,aAKkB;EAClB,MAAM,KAAK,UAAU,MAAM;EAC3B,MAAM,UAAmC;GACvC,aAAa,YAAY;GACzB,aAAa,YAAY;GACzB,2BAAW,IAAI,KAAK;EACtB;EACA,MAAM,SACJ,YAAY,eAAe,KAAA,IACvB,EAAE,MAAM,QAAQ,IAChB,CACE,EACE,MAAM;GACJ,GAAG;GACH,YAAY,EACV,YAAY;IACV,OAAO,EACL,WAAW,CAAC,EAAE,SAAS,CAAC,eAAe,CAAC,CAAC,EAAE,GAAG,YAAY,UAAU,EACtE;IACA,QAAQ;GACV,EACF;EACF,EACF,CACF;EAQN,OAAO,MADc,wBAAwB,IAAI,IANjC,2BACd,YACA;GAAE,KAAK;GAAO;GAAO,aAAa;EAAa,GAC/C,QACA,KAEiD,CAAC,MAClC;CACpB;CAEA,MAAM,iBACJ,QACA,OACA,OAQe;EAaf,MAAM,iBAZK,UAAU,MAYG,GAAG,IAXX,oBAAoB,YAAY;GAC9C,MAAM;GACN;GACA,QAAQ,MAAM;GACd,MAAM,MAAM;GACZ,IAAI,MAAM;GACV,eAAe,MAAM;GACrB,eAAe,MAAM;GACrB,YAAY,MAAM;GAClB,2BAAW,IAAI,KAAK;EACtB,CAC6B,CAAC;CAChC;CAEA,MAAM,WACJ,QACA,OACuC;EACvC,MAAM,KAAK,UAAU,MAAM;EAC3B,MAAM,gBAAgB;GAAE,OAAO,SAAS;GAAK,gBAAgB;EAAwB;EACrF,MAAM,aAAsC,EAAE,MAAM,SAAS;EAC7D,IAAI,UAAU,KAAA,GACZ,WAAW,WAAW;EAExB,MAAM,OAAO,MAAM,kCAEf,iBACE,IACA,IAAI,oBAAoB,YAAY,CAAC,EAAE,QAAQ,WAAW,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,CACrF,GACF,aACF;EAEA,MAAM,UAA+B,CAAC;EACtC,KAAK,MAAM,OAAO,MAAM;GACtB,MAAM,gBAAgB,IAAI;GAC1B,MAAM,gBAAgB,IAAI;GAC1B,MAAM,OAAO,IAAI;GACjB,MAAM,KAAK,IAAI;GACf,MAAM,WAAW,IAAI;GACrB,IAAI,OAAO,kBAAkB,YAAY,OAAO,kBAAkB,UAChE;GAEF,IAAI,OAAO,SAAS,YAAY,OAAO,OAAO,UAC5C;GAEF,IAAI,OAAO,aAAa,UACtB;GAEF,MAAM,YAAY,IAAI;GACtB,MAAM,gBACJ,qBAAqB,OACjB,YACA,cAAc,KAAA,IACZ,IAAI,KAAK,OAAO,SAAS,CAAC,oBAC1B,IAAI,KAAK;GACjB,MAAM,aAAa,IAAI;GACvB,MAAM,SAAS,MAAM,QAAQ,UAAU,IAAI,aAAa,CAAC;GACzD,QAAQ,KAAK;IACX,OAAO;IACP;IACA;IACA,MAAM,uBAAuB,IAAI;IACjC;IACA,WAAW;IACX,gBAAgB,OAAO;GACzB,CAAC;EACH;EACA,OAAO;CACT;CAEA,MAAM,iBAAiB,QAAyE;EAC9F,OAAO,iBAAiB,UAAU,MAAM,CAAC;CAC3C;AACF;;;ACzOA,IAAM,yBAAN,MAAmE;CACjE,WAAoB;CACpB,WAAoB;CACpB;CACA;CAEA,YAAY,IAAQ,QAAqB;EACvC,KAAK,KAAK;EACV,KAAKA,UAAU;CACjB;CAEA,QAAwB;EACtB,MAAM,IAAI,MAAM,qDAAqD;CACvE;CAEA,MAAM,QAAuB;EAC3B,MAAM,KAAKA,QAAQ,MAAM;CAC3B;AACF;AAEA,SAAgB,yBAAyB,IAAQ,QAAiD;CAChG,OAAO,IAAI,uBAAuB,IAAI,MAAM;AAC9C;;;ACNA,MAAM,wBAAwB,IAAI,wBAAwB;AAE1D,SAAS,oBAAoB,IAA8D;CACzF,OAAO;EACL,UAAU;EACV,UAAU;EACV;EACA,aAAa,QAAQ,uBAAO,IAAI,MAAM,qDAAqD,CAAC;EAC5F,OAAO,YAAY,CAAC;CACtB;AACF;AAEA,eAAsB,WAAW,IAAQ,OAAqD;CAC5F,OAAO,sBAAsB,WAAW,oBAAoB,EAAE,GAAG,KAAK;AACxE;AAEA,eAAsB,eAAe,IAA4D;CAC/F,OAAO,sBAAsB,eAAe,oBAAoB,EAAE,CAAC;AACrE;AAEA,eAAsB,WACpB,IACA,OACA,aAKe;CACf,MAAM,sBAAsB,WAAW,oBAAoB,EAAE,GAAG,OAAO,WAAW;AACpF;AAEA,eAAsB,aACpB,IACA,OACA,cACA,aAKkB;CAClB,OAAO,sBAAsB,aAC3B,oBAAoB,EAAE,GACtB,OACA,cACA,WACF;AACF;AAEA,eAAsB,WAAW,IAAQ,OAAuD;CAC9F,OAAO,sBAAsB,WAAW,oBAAoB,EAAE,GAAG,KAAK;AACxE;AAEA,eAAsB,iBACpB,IACA,OACA,OAQe;CACf,MAAM,sBAAsB,iBAAiB,oBAAoB,EAAE,GAAG,OAAO,KAAK;AACpF;AAEA,MAAa,yBAAiE;CAC5E,MAAM;CACN,IAAI;CACJ,UAAU;CACV,UAAU;CACV,SAAS;CACT,uBAAuB,IAAI,IAAI;EAC7B,CAAC,UAAU,gBAAgB;EAC3B,CAAC,OAAO,eAAe;EACvB,CAAC,WAAW,cAAc;EAC1B,CAAC,YAAY,cAAc;EAC3B,CAAC,YAAY,kBAAkB;EAC/B,CAAC,SAAS,gBAAgB;CAC5B,CAAC;CACD,OAAO,EACL,YAAY;EACV,kBAAkB;EAClB,QAAQ;GACN,SAAS;GACT,OAAO;GACP,OAAO;EACT;EACA,aAAa,CACX;GACE,SAAS;GACT,OAAO;GACP,OAAO;EACT,CACF;CACF,EACF;CACA,OAAO,QAAQ;EACb,OAAO,IAAI,wBAAwB;CACrC;AACF"}

package/package.json

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

package/src/core/marker-ledger.ts

@@ -1,6 +1,6 @@
 import type { ContractMarkerRecord } from '@prisma-next/contract/types';
-import { parseMarkerRowSafely, withMarkerReadErrorHandling } from '@prisma-next/errors/execution';
-import {
+import { parseMarkerRowSafely } from '@prisma-next/errors/execution';
+import type {
   RawAggregateCommand,
   RawFindOneAndUpdateCommand,
   RawInsertOneCommand,
@@ -8,20 +8,10 @@ import {
 import { type } from 'arktype';
 import type { Db, Document, UpdateFilter } from 'mongodb';
 
-const COLLECTION = '_prisma_migrations';
-const MONGO_MARKER_COLLECTION = `_prisma_migrations marker documents in ${COLLECTION}`;
+export const COLLECTION = '_prisma_migrations';
+export const MONGO_MARKER_COLLECTION = `_prisma_migrations marker documents in ${COLLECTION}`;
+export const MONGO_LEDGER_COLLECTION = `_prisma_migrations ledger 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 MongoMarkerDocSchema = type({
   space: 'string',
   storageHash: 'string',
@@ -35,7 +25,7 @@ const MongoMarkerDocSchema = type({
   '+': 'delete',
 });
 
-function parseMongoMarkerDoc(doc: unknown): ContractMarkerRecord {
+export function parseMongoMarkerDoc(doc: unknown): ContractMarkerRecord {
   const result = MongoMarkerDocSchema(doc);
   if (result instanceof type.errors) {
     throw new Error(`Invalid marker doc on ${COLLECTION}: ${result.summary}`);
@@ -52,201 +42,31 @@ function parseMongoMarkerDoc(doc: unknown): ContractMarkerRecord {
   };
 }
 
-function parseMongoMarkerDocSafely(doc: unknown, space: string): ContractMarkerRecord {
+export function parseMongoMarkerDocSafely(doc: unknown, space: string): ContractMarkerRecord {
   return parseMarkerRowSafely(doc, parseMongoMarkerDoc, {
     space,
     markerLocation: MONGO_MARKER_COLLECTION,
   });
 }
 
-async function executeAggregate(db: Db, cmd: RawAggregateCommand): Promise<Document[]> {
+export 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> {
+export async function executeInsertOne(db: Db, cmd: RawInsertOneCommand): Promise<void> {
   await db.collection(cmd.collection).insertOne(cmd.document);
 }
 
-async function executeFindOneAndUpdate(
+export 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 markerContext = { space, markerLocation: MONGO_MARKER_COLLECTION };
-  const docs = await withMarkerReadErrorHandling(
-    () =>
-      executeAggregate(
-        db,
-        new RawAggregateCommand(COLLECTION, [{ $match: { _id: space, space } }, { $limit: 1 }]),
-      ),
-    markerContext,
-  );
-  const doc = docs[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.
- */
-export async function readAllMarkers(db: Db): Promise<ReadonlyMap<string, ContractMarkerRecord>> {
-  const markerContext = { space: 'app', markerLocation: MONGO_MARKER_COLLECTION };
-  const docs = await withMarkerReadErrorHandling(
-    () =>
-      executeAggregate(
-        db,
-        new RawAggregateCommand(COLLECTION, [
-          {
-            $match: {
-              _id: { $type: 'string' },
-              space: { $type: 'string' },
-              $expr: { $eq: ['$_id', '$space'] },
-            },
-          },
-        ]),
-      ),
-    markerContext,
-  );
-  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, parseMongoMarkerDocSafely(doc, space));
-  }
-  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

@@ -1,14 +1,24 @@
-import type { ContractMarkerRecord } from '@prisma-next/contract/types';
+import type { ContractMarkerRecord, LedgerEntryRecord } from '@prisma-next/contract/types';
+import { withMarkerReadErrorHandling } from '@prisma-next/errors/execution';
 import type { MongoControlAdapter } from '@prisma-next/family-mongo/control-adapter';
 import type { ControlDriverInstance } from '@prisma-next/framework-components/control';
+import { ledgerOriginFromStored } from '@prisma-next/migration-tools/ledger-origin';
+import {
+  RawAggregateCommand,
+  RawFindOneAndUpdateCommand,
+  RawInsertOneCommand,
+} from '@prisma-next/mongo-query-ast/execution';
 import type { MongoSchemaIR } from '@prisma-next/mongo-schema-ir';
+import type { Document } from 'mongodb';
 import { introspectSchema } from './introspect-schema';
 import {
-  initMarker,
-  readAllMarkers,
-  readMarker,
-  updateMarker,
-  writeLedgerEntry,
+  COLLECTION,
+  executeAggregate,
+  executeFindOneAndUpdate,
+  executeInsertOne,
+  MONGO_LEDGER_COLLECTION,
+  MONGO_MARKER_COLLECTION,
+  parseMongoMarkerDocSafely,
 } from './marker-ledger';
 import { extractDb } from './runner-deps';
 
@@ -16,7 +26,7 @@ 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.
+ * per call.
  */
 export class MongoControlAdapterImpl implements MongoControlAdapter<'mongo'> {
   readonly familyId = 'mongo' as const;
@@ -26,13 +36,50 @@ export class MongoControlAdapterImpl implements MongoControlAdapter<'mongo'> {
     driver: ControlDriverInstance<'mongo', 'mongo'>,
     space: string,
   ): Promise<ContractMarkerRecord | null> {
-    return readMarker(extractDb(driver), space);
+    const db = extractDb(driver);
+    const markerContext = { space, markerLocation: MONGO_MARKER_COLLECTION };
+    const docs = await withMarkerReadErrorHandling(
+      () =>
+        executeAggregate(
+          db,
+          new RawAggregateCommand(COLLECTION, [{ $match: { _id: space, space } }, { $limit: 1 }]),
+        ),
+      markerContext,
+    );
+    const doc = docs[0];
+    if (!doc) return null;
+    return parseMongoMarkerDocSafely(doc, space);
   }
 
   async readAllMarkers(
     driver: ControlDriverInstance<'mongo', 'mongo'>,
   ): Promise<ReadonlyMap<string, ContractMarkerRecord>> {
-    return readAllMarkers(extractDb(driver));
+    const db = extractDb(driver);
+    const markerContext = { space: 'app', markerLocation: MONGO_MARKER_COLLECTION };
+    const docs = await withMarkerReadErrorHandling(
+      () =>
+        executeAggregate(
+          db,
+          new RawAggregateCommand(COLLECTION, [
+            {
+              $match: {
+                _id: { $type: 'string' },
+                space: { $type: 'string' },
+                $expr: { $eq: ['$_id', '$space'] },
+              },
+            },
+          ]),
+        ),
+      markerContext,
+    );
+    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, parseMongoMarkerDocSafely(doc, space));
+    }
+    return out;
   }
 
   async initMarker(
@@ -44,7 +91,20 @@ export class MongoControlAdapterImpl implements MongoControlAdapter<'mongo'> {
       readonly invariants?: readonly string[];
     },
   ): Promise<void> {
-    await initMarker(extractDb(driver), space, destination);
+    const db = extractDb(driver);
+    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);
   }
 
   async updateMarker(
@@ -57,15 +117,122 @@ export class MongoControlAdapterImpl implements MongoControlAdapter<'mongo'> {
       readonly invariants?: readonly string[];
     },
   ): Promise<boolean> {
-    return updateMarker(extractDb(driver), space, expectedFrom, destination);
+    const db = extractDb(driver);
+    const setBase: Record<string, unknown> = {
+      storageHash: destination.storageHash,
+      profileHash: destination.profileHash,
+      updatedAt: new Date(),
+    };
+    const update: Document | Document[] =
+      destination.invariants === undefined
+        ? { $set: setBase }
+        : [
+            {
+              $set: {
+                ...setBase,
+                invariants: {
+                  $sortArray: {
+                    input: {
+                      $setUnion: [{ $ifNull: ['$invariants', []] }, destination.invariants],
+                    },
+                    sortBy: 1,
+                  },
+                },
+              },
+            },
+          ];
+    const cmd = new RawFindOneAndUpdateCommand(
+      COLLECTION,
+      { _id: space, space, storageHash: expectedFrom },
+      update,
+      false,
+    );
+    const result = await executeFindOneAndUpdate(db, cmd);
+    return result !== null;
   }
 
   async writeLedgerEntry(
     driver: ControlDriverInstance<'mongo', 'mongo'>,
     space: string,
-    entry: { readonly edgeId: string; readonly from: string; readonly to: string },
+    entry: {
+      readonly edgeId: string;
+      readonly from: string;
+      readonly to: string;
+      readonly migrationName: string;
+      readonly migrationHash: string;
+      readonly operations: readonly unknown[];
+    },
   ): Promise<void> {
-    await writeLedgerEntry(extractDb(driver), space, entry);
+    const db = extractDb(driver);
+    const cmd = new RawInsertOneCommand(COLLECTION, {
+      type: 'ledger',
+      space,
+      edgeId: entry.edgeId,
+      from: entry.from,
+      to: entry.to,
+      migrationName: entry.migrationName,
+      migrationHash: entry.migrationHash,
+      operations: entry.operations,
+      appliedAt: new Date(),
+    });
+    await executeInsertOne(db, cmd);
+  }
+
+  async readLedger(
+    driver: ControlDriverInstance<'mongo', 'mongo'>,
+    space?: string,
+  ): Promise<readonly LedgerEntryRecord[]> {
+    const db = extractDb(driver);
+    const ledgerContext = { space: space ?? '*', markerLocation: MONGO_LEDGER_COLLECTION };
+    const matchStage: Record<string, unknown> = { type: 'ledger' };
+    if (space !== undefined) {
+      matchStage['space'] = space;
+    }
+    const docs = await withMarkerReadErrorHandling(
+      () =>
+        executeAggregate(
+          db,
+          new RawAggregateCommand(COLLECTION, [{ $match: matchStage }, { $sort: { _id: 1 } }]),
+        ),
+      ledgerContext,
+    );
+
+    const entries: LedgerEntryRecord[] = [];
+    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 !== undefined
+            ? new Date(String(appliedAt))
+            : 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: ControlDriverInstance<'mongo', 'mongo'>): Promise<MongoSchemaIR> {

package/src/core/runner-deps.ts

@@ -57,6 +57,9 @@ export interface MarkerOperations {
       readonly edgeId: string;
       readonly from: string;
       readonly to: string;
+      readonly migrationName: string;
+      readonly migrationHash: string;
+      readonly operations: readonly unknown[];
     },
   ): Promise<void>;
 }
@@ -82,11 +85,11 @@ export interface MongoRunnerDependencies {
 export function createMongoRunnerDeps(
   controlDriver: ControlDriverInstance<'mongo', 'mongo'>,
   driver: MongoDriver,
-  // 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.
+  // Vestigial after the family→adapter SPI 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; a follow-up that already touches this factory
+  // should drop the parameter outright.
   _family: ControlFamilyInstance<'mongo', MongoSchemaIR>,
   controlAdapter: MongoControlAdapter<'mongo'> = new MongoControlAdapterImpl(),
 ): MongoRunnerDependencies {

package/src/exports/control.ts

@@ -1,14 +1,10 @@
+import type { ContractMarkerRecord, LedgerEntryRecord } from '@prisma-next/contract/types';
 import type { MongoControlAdapterDescriptor } from '@prisma-next/family-mongo/control-adapter';
+import type { ControlDriverInstance } from '@prisma-next/framework-components/control';
+import type { Db } from 'mongodb';
 
 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,
@@ -25,6 +21,75 @@ export { createMongoAdapter } from '../mongo-adapter';
 import { mongoCodecDescriptors } from '../core/codecs';
 import { MongoControlAdapterImpl } from '../core/mongo-control-adapter';
 
+const defaultControlAdapter = new MongoControlAdapterImpl();
+
+function controlDriverFromDb(db: Db): ControlDriverInstance<'mongo', 'mongo'> & { db: Db } {
+  return {
+    familyId: 'mongo',
+    targetId: 'mongo',
+    db,
+    query: () => Promise.reject(new Error('MongoDB control driver does not support SQL queries')),
+    close: async () => {},
+  };
+}
+
+export async function readMarker(db: Db, space: string): Promise<ContractMarkerRecord | null> {
+  return defaultControlAdapter.readMarker(controlDriverFromDb(db), space);
+}
+
+export async function readAllMarkers(db: Db): Promise<ReadonlyMap<string, ContractMarkerRecord>> {
+  return defaultControlAdapter.readAllMarkers(controlDriverFromDb(db));
+}
+
+export async function initMarker(
+  db: Db,
+  space: string,
+  destination: {
+    readonly storageHash: string;
+    readonly profileHash: string;
+    readonly invariants?: readonly string[];
+  },
+): Promise<void> {
+  await defaultControlAdapter.initMarker(controlDriverFromDb(db), space, destination);
+}
+
+export async function updateMarker(
+  db: Db,
+  space: string,
+  expectedFrom: string,
+  destination: {
+    readonly storageHash: string;
+    readonly profileHash: string;
+    readonly invariants?: readonly string[];
+  },
+): Promise<boolean> {
+  return defaultControlAdapter.updateMarker(
+    controlDriverFromDb(db),
+    space,
+    expectedFrom,
+    destination,
+  );
+}
+
+export async function readLedger(db: Db, space?: string): Promise<readonly LedgerEntryRecord[]> {
+  return defaultControlAdapter.readLedger(controlDriverFromDb(db), space);
+}
+
+export async function writeLedgerEntry(
+  db: Db,
+  space: string,
+  entry: {
+    readonly edgeId: string;
+    readonly from: string;
+    readonly to: string;
+    readonly migrationName: string;
+    readonly migrationHash: string;
+    readonly operations: readonly unknown[];
+  },
+): Promise<void> {
+  await defaultControlAdapter.writeLedgerEntry(controlDriverFromDb(db), space, entry);
+}
+
 export const mongoAdapterDescriptor: MongoControlAdapterDescriptor<'mongo'> = {
   kind: 'adapter',
   id: 'mongo',