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

package/dist/control.d.mts

@@ -1,11 +1,11 @@
 import { t as createMongoAdapter } from "./mongo-adapter-JuKx_-h9.mjs";
-import { Db, Document, MongoClient } from "mongodb";
+import { Db, Document } from "mongodb";
 import { CollModCommand, CreateCollectionCommand, CreateIndexCommand, DropCollectionCommand, DropIndexCommand, ListCollectionsCommand, ListIndexesCommand, MongoDdlCommandVisitor, MongoInspectionCommandVisitor } from "@prisma-next/mongo-query-ast/control";
 import { MongoSchemaIR } from "@prisma-next/mongo-schema-ir";
+import { ContractMarkerRecord, LedgerEntryRecord } from "@prisma-next/contract/types";
 import { MongoControlAdapter, MongoControlAdapterDescriptor } from "@prisma-next/family-mongo/control-adapter";
-import { ContractMarkerRecord } from "@prisma-next/contract/types";
+import { MongoAdapter, MongoControlDriverInstance, MongoControlDriverInstance as MongoControlDriverInstance$1, MongoDriver } from "@prisma-next/mongo-lowering";
 import { ControlDriverInstance, ControlFamilyInstance } from "@prisma-next/framework-components/control";
-import { MongoAdapter, MongoDriver } from "@prisma-next/mongo-lowering";
 
 //#region src/core/command-executor.d.ts
 declare class MongoCommandExecutor implements MongoDdlCommandVisitor<Promise<void>> {
@@ -27,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,15 +53,16 @@ declare class MongoControlAdapterImpl implements MongoControlAdapter<'mongo'> {
     readonly edgeId: string;
     readonly from: string;
     readonly to: string;
+    readonly migrationName: string;
+    readonly migrationHash: string;
+    readonly operations: readonly unknown[];
   }): Promise<void>;
+  readLedger(driver: ControlDriverInstance<'mongo', 'mongo'>, space?: string): Promise<readonly LedgerEntryRecord[]>;
   introspectSchema(driver: ControlDriverInstance<'mongo', 'mongo'>): Promise<MongoSchemaIR>;
 }
 //#endregion
 //#region src/core/mongo-control-driver.d.ts
-interface MongoControlDriverInstance extends ControlDriverInstance<'mongo', 'mongo'> {
-  readonly db: Db;
-}
-declare function createMongoControlDriver(db: Db, client: MongoClient): MongoControlDriverInstance;
+declare function isMongoControlDriver(driver: ControlDriverInstance<'mongo', string>): driver is MongoControlDriverInstance$1;
 //#endregion
 //#region src/core/runner-deps.d.ts
 declare function extractDb(driver: ControlDriverInstance<'mongo', 'mongo'>): Db;
@@ -143,6 +88,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 +113,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, createMongoRunnerDeps, mongoAdapterDescriptor as default, mongoAdapterDescriptor, extractDb, initMarker, introspectSchema, isMongoControlDriver, 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;;;iBC1OnE,oBAAA,CACd,MAAA,EAAQ,qBAAA,oBACP,MAAA,IAAU,4BAA0B;;;iBCavB,SAAA,CAAU,MAAA,EAAQ,qBAAA,qBAA0C,EAAE;;;AJJ9E;;;;UIoBiB,gBAAA;EACf,UAAA,CAAW,KAAA,WAAgB,OAAA,CAAQ,oBAAA;EACnC,UAAA,CACE,KAAA,UACA,WAAA;IAAA,SACW,WAAA;IAAA,SACA,WAAA;IAAA,SACA,UAAA;EAAA,IAEV,OAAA;EACH,YAAA,CACE,KAAA,UACA,YAAA,UACA,WAAA;IAAA,SACW,WAAA;IAAA,SACA,WAAA;IAAA,SACA,UAAA;EAAA,IAEV,OAAA;EACH,gBAAA,CACE,KAAA,UACA,KAAA;IAAA,SACW,MAAA;IAAA,SACA,IAAA;IAAA,SACA,EAAA;IAAA,SACA,aAAA;IAAA,SACA,aAAA;IAAA,SACA,UAAA;EAAA,IAEV,OAAA;AAAA;AAAA,UAGY,uBAAA;EAAA,SACN,eAAA,EAAiB,sBAAA,CAAuB,OAAA;EAAA,SACxC,kBAAA,EAAoB,6BAAA,CAA8B,OAAA,CAAQ,MAAA;EAAA,SAC1D,OAAA,EAAS,YAAA;EAAA,SACT,MAAA,EAAQ,WAAA;EAAA,SACR,SAAA,EAAW,gBAAA;EAAA,SACX,gBAAA,QAAwB,OAAA,CAAQ,aAAA;AAAA;;;;;;;;;;iBAY3B,qBAAA,CACd,aAAA,EAAe,qBAAA,oBACf,MAAA,EAAQ,WAAA,EAMR,OAAA,EAAS,qBAAA,UAA+B,aAAA,GACxC,cAAA,GAAgB,mBAAA,YACf,uBAAA;;;iBC9DmB,UAAA,CAAW,EAAA,EAAI,EAAA,EAAI,KAAA,WAAgB,OAAA,CAAQ,oBAAA;AAAA,iBAI3C,cAAA,CAAe,EAAA,EAAI,EAAA,GAAK,OAAA,CAAQ,WAAA,SAAoB,oBAAA;AAAA,iBAIpD,UAAA,CACpB,EAAA,EAAI,EAAA,EACJ,KAAA,UACA,WAAA;EAAA,SACW,WAAA;EAAA,SACA,WAAA;EAAA,SACA,UAAA;AAAA,IAEV,OAAO;AAAA,iBAIY,YAAA,CACpB,EAAA,EAAI,EAAA,EACJ,KAAA,UACA,YAAA,UACA,WAAA;EAAA,SACW,WAAA;EAAA,SACA,WAAA;EAAA,SACA,UAAA;AAAA,IAEV,OAAO;AAAA,iBASY,UAAA,CAAW,EAAA,EAAI,EAAA,EAAI,KAAA,YAAiB,OAAA,UAAiB,iBAAA;AAAA,iBAIrD,gBAAA,CACpB,EAAA,EAAI,EAAA,EACJ,KAAA,UACA,KAAA;EAAA,SACW,MAAA;EAAA,SACA,IAAA;EAAA,SACA,EAAA;EAAA,SACA,aAAA;EAAA,SACA,aAAA;EAAA,SACA,UAAA;AAAA,IAEV,OAAO;AAAA,cAIG,sBAAA,EAAwB,6BAA6B"}

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,121 +210,16 @@ 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/mongo-control-driver.ts
+function isMongoControlDriver(driver) {
+	return driver.familyId === "mongo" && driver.targetId === "mongo";
 }
 //#endregion
 //#region src/core/runner-deps.ts
 function extractDb(driver) {
-	const mongoDriver = driver;
-	if (!mongoDriver.db) throw new Error("Mongo control driver does not expose a db property. Use mongoControlDriver.create() from `@prisma-next/driver-mongo/control`.");
-	return mongoDriver.db;
+	if (!isMongoControlDriver(driver)) throw new Error("Expected a Mongo control driver created by mongoControlDriver.create() from `@prisma-next/driver-mongo/control`.");
+	return driver.db;
 }
 /**
 * Build the runner-dependencies envelope. `controlAdapter` is the
@@ -365,53 +251,157 @@ 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));
 	}
 };
 //#endregion
-//#region src/core/mongo-control-driver.ts
-var MongoControlDriverImpl = class {
-	familyId = "mongo";
-	targetId = "mongo";
-	db;
-	#client;
-	constructor(db, client) {
-		this.db = db;
-		this.#client = client;
-	}
-	query() {
-		throw new Error("MongoDB control driver does not support SQL queries");
-	}
-	async close() {
-		await this.#client.close();
-	}
-};
-function createMongoControlDriver(db, client) {
-	return new MongoControlDriverImpl(db, client);
-}
-//#endregion
 //#region src/exports/control.ts
+const defaultControlAdapter = new MongoControlAdapterImpl();
+function controlDriverFromDb(db) {
+	return {
+		familyId: "mongo",
+		targetId: "mongo",
+		db,
+		close: async () => {}
+	};
+}
+async function readMarker(db, space) {
+	return defaultControlAdapter.readMarker(controlDriverFromDb(db), space);
+}
+async function readAllMarkers(db) {
+	return defaultControlAdapter.readAllMarkers(controlDriverFromDb(db));
+}
+async function initMarker(db, space, destination) {
+	await defaultControlAdapter.initMarker(controlDriverFromDb(db), space, destination);
+}
+async function updateMarker(db, space, expectedFrom, destination) {
+	return defaultControlAdapter.updateMarker(controlDriverFromDb(db), space, expectedFrom, destination);
+}
+async function readLedger(db, space) {
+	return defaultControlAdapter.readLedger(controlDriverFromDb(db), space);
+}
+async function writeLedgerEntry(db, space, entry) {
+	await defaultControlAdapter.writeLedgerEntry(controlDriverFromDb(db), space, entry);
+}
 const mongoAdapterDescriptor = {
 	kind: "adapter",
 	id: "mongo",
@@ -444,6 +434,6 @@ const mongoAdapterDescriptor = {
 	}
 };
 //#endregion
-export { MongoCommandExecutor, MongoControlAdapterImpl, MongoInspectionExecutor, createMongoAdapter, createMongoControlDriver, createMongoRunnerDeps, mongoAdapterDescriptor as default, mongoAdapterDescriptor, extractDb, initMarker, introspectSchema, readAllMarkers, readMarker, updateMarker, writeLedgerEntry };
+export { MongoCommandExecutor, MongoControlAdapterImpl, MongoInspectionExecutor, createMongoAdapter, createMongoRunnerDeps, mongoAdapterDescriptor as default, mongoAdapterDescriptor, extractDb, initMarker, introspectSchema, isMongoControlDriver, readAllMarkers, readLedger, readMarker, updateMarker, writeLedgerEntry };
 
 //# sourceMappingURL=control.mjs.map