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

package/dist/control.d.mts

@@ -1,20 +1,45 @@
-import { a as DropCollectionCall, c as schemaCollectionToCreateCollectionOptions, i as CreateIndexCall, l as schemaIndexToCreateIndexOptions, n as CollModMeta, o as DropIndexCall, r as CreateCollectionCall, s as OpFactoryCall, t as CollModCall } from "./op-factory-call-9z5D19cP.mjs";
+import { a as DropCollectionCall, c as schemaCollectionToCreateCollectionOptions, i as CreateIndexCall, l as schemaIndexToCreateIndexOptions, n as CollModMeta, o as DropIndexCall, r as CreateCollectionCall, s as OpFactoryCall, t as CollModCall } from "./op-factory-call-BC-llGKt.mjs";
+import { MarkerOperations, MongoRunnerDependencies } from "@prisma-next/adapter-mongo/control";
+import { MongoControlTargetDescriptor } from "@prisma-next/family-mongo/control";
 import { MongoSchemaIR } from "@prisma-next/mongo-schema-ir";
-import { MongoQueryPlan } from "@prisma-next/mongo-query-ast/execution";
-import { AnyMongoMigrationOperation, MongoAndExpr, MongoDdlCommandVisitor, MongoExistsExpr, MongoExprFilter, MongoFieldFilter, MongoFilterExpr, MongoFilterVisitor, MongoInspectionCommandVisitor, MongoMigrationPlanOperation, MongoNotExpr, MongoOrExpr } from "@prisma-next/mongo-query-ast/control";
+import { AnyMongoMigrationOperation, MongoAndExpr, MongoExistsExpr, MongoExprFilter, MongoFieldFilter, MongoFilterExpr, MongoFilterVisitor, MongoMigrationPlanOperation, MongoNotExpr, MongoOrExpr } from "@prisma-next/mongo-query-ast/control";
 import { Migration, MigrationMeta } from "@prisma-next/migration-tools/migration";
-import { MigrationOperationPolicy, MigrationPlan, MigrationPlanOperation, MigrationPlanWithAuthoringSurface, MigrationPlanner, MigrationPlannerConflict, MigrationPlannerResult, MigrationRunnerExecutionChecks, MigrationRunnerResult, MigrationScaffoldContext, OperationContext } from "@prisma-next/framework-components/control";
-import { MongoContract } from "@prisma-next/mongo-contract";
-import { Contract, ContractMarkerRecord } from "@prisma-next/contract/types";
-import { Db } from "mongodb";
+import { MigrationOperationPolicy, MigrationPlan, MigrationPlanOperation, MigrationPlanWithAuthoringSurface, MigrationPlanner, MigrationPlannerConflict, MigrationPlannerResult, MigrationRunnerExecutionChecks, MigrationRunnerResult, MigrationScaffoldContext, OperationContext, SchemaIssue, SchemaVerifyOptions } from "@prisma-next/framework-components/control";
+import { MongoQueryPlan } from "@prisma-next/mongo-query-ast/execution";
+import { MongoContractSerializerBase, MongoSchemaVerifierBase } from "@prisma-next/family-mongo/ir";
+import { Namespace, NamespaceBase } from "@prisma-next/framework-components/ir";
+import { MongoContract, MongoStorage } from "@prisma-next/mongo-contract";
+import { Contract } from "@prisma-next/contract/types";
 import { TargetBoundComponentDescriptor } from "@prisma-next/framework-components/components";
-import { MongoAdapter, MongoDriver } from "@prisma-next/mongo-lowering";
+import { JsonObject } from "@prisma-next/utils/json";
 
-//#region src/core/contract-to-schema.d.ts
-declare function contractToMongoSchemaIR(contract: MongoContract | null): MongoSchemaIR;
+//#region src/core/mongo-target-contract.d.ts
+/**
+ * Mongo target contract envelope: the result of
+ * `descriptor.contractSerializer.deserializeContract(json)`.
+ *
+ * Structurally `MongoContract` with the storage envelope promoted to
+ * the family-layer `MongoStorage` class instance — the class carries
+ * `namespaces` and gives the rest of the framework a stable surface to
+ * reach for. The leaf collection / index shapes inside
+ * `storage.collections` are family-layer `MongoCollection` instances.
+ */
+type MongoTargetContract = Omit<MongoContract, 'storage'> & {
+  readonly storage: MongoStorage;
+};
 //#endregion
-//#region src/core/ddl-formatter.d.ts
-declare function formatMongoOperations(operations: readonly MigrationPlanOperation[]): string[];
+//#region src/core/control-target.d.ts
+/**
+ * `migration.ts` default-exports a `Migration` subclass whose `operations`
+ * getter returns the ordered list of operations and whose `describe()`
+ * returns the manifest identity metadata. `MongoMigrationPlanner.plan()`
+ * returns a `MigrationPlanWithAuthoringSurface` that knows how to render
+ * itself back to such a file; `MongoMigrationPlanner.emptyMigration()`
+ * returns the same shape for `migration new`. Users run the scaffolded
+ * `migration.ts` directly (via `node migration.ts`) to self-emit
+ * `ops.json` and attest the `migrationHash`.
+ */
+declare const mongoTargetDescriptor: MongoControlTargetDescriptor<MongoTargetContract>;
 //#endregion
 //#region src/core/filter-evaluator.d.ts
 declare class FilterEvaluator implements MongoFilterVisitor<boolean> {
@@ -28,62 +53,6 @@ declare class FilterEvaluator implements MongoFilterVisitor<boolean> {
   expr(_expr: MongoExprFilter): boolean;
 }
 //#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-ops-serializer.d.ts
 declare function deserializeMongoOp(json: unknown): AnyMongoMigrationOperation;
 declare function deserializeMongoOps(json: readonly unknown[]): AnyMongoMigrationOperation[];
@@ -129,38 +98,6 @@ declare class MongoMigrationPlanner implements MigrationPlanner<'mongo', 'mongo'
 }
 //#endregion
 //#region src/core/mongo-runner.d.ts
-/**
- * Marker / ledger operations the Mongo runner depends on. Every method
- * takes a `space` parameter so each loaded contract space addresses its
- * own marker row independently — see ADR 212 for the per-space
- * mechanism.
- */
-interface MarkerOperations {
-  readMarker(space: string): Promise<ContractMarkerRecord | null>;
-  initMarker(space: string, destination: {
-    readonly storageHash: string;
-    readonly profileHash: string;
-    readonly invariants?: readonly string[];
-  }): Promise<void>;
-  updateMarker(space: string, expectedFrom: string, destination: {
-    readonly storageHash: string;
-    readonly profileHash: string;
-    readonly invariants?: readonly string[];
-  }): Promise<boolean>;
-  writeLedgerEntry(space: string, entry: {
-    readonly edgeId: string;
-    readonly from: string;
-    readonly to: string;
-  }): Promise<void>;
-}
-interface MongoRunnerDependencies {
-  readonly commandExecutor: MongoDdlCommandVisitor<Promise<void>>;
-  readonly inspectionExecutor: MongoInspectionCommandVisitor<Promise<Record<string, unknown>[]>>;
-  readonly adapter: MongoAdapter;
-  readonly driver: MongoDriver;
-  readonly markerOps: MarkerOperations;
-  readonly introspectSchema: () => Promise<MongoSchemaIR>;
-}
 interface MongoMigrationRunnerExecuteOptions {
   readonly plan: MigrationPlan;
   readonly destinationContract: MongoContract;
@@ -198,6 +135,136 @@ declare class MongoMigrationRunner {
   private ensureMarkerCompatibility;
 }
 //#endregion
+//#region src/core/mongo-target-contract-serializer.d.ts
+/**
+ * Mongo target `ContractSerializer` concretion. Plugs into the
+ * family-shared deserialization pipeline at `constructTargetContract`,
+ * wrapping the validated flat-data shape in a `MongoStorage` class
+ * instance and providing the target's default namespace map.
+ *
+ * Default namespaces is
+ * `{ [UNSPECIFIED_NAMESPACE_ID]: MongoTargetUnspecifiedDatabase.instance }`
+ * — supplied at this target-layer call site because the family-layer
+ * `MongoStorage` class is target-agnostic (it cannot import the
+ * Mongo-target's namespace concretion). Contracts authored before
+ * multi-namespace support bind to the unspecified singleton without the
+ * call site declaring anything.
+ *
+ * `validated.storage.collections` already carries `MongoCollection` IR
+ * class instances by the time this method runs — the family-base
+ * `hydrateMongoContract` walks the arktype-validated tree and
+ * constructs class instances before validation. The target serializer
+ * just wraps the envelope.
+ */
+declare class MongoTargetContractSerializer extends MongoContractSerializerBase<MongoTargetContract> {
+  protected constructTargetContract(validated: MongoContract): MongoTargetContract;
+  /**
+   * Produce the canonical on-disk JSON shape from an in-memory Mongo
+   * contract. Strips runtime-only fields the storage class carries
+   * for its live-instance API but that don't belong in the persisted
+   * envelope: `MongoStorage.namespaces` is a Namespace-class map the
+   * verifier and runtime walk; the persisted shape omits it (today's
+   * contracts have a single implicit unspecified namespace; future
+   * explicit per-collection assignment will surface in JSON via a
+   * different field).
+   *
+   * Constructing the JsonObject here — rather than relying on
+   * non-enumerable property tricks at the storage class — keeps the
+   * "what's on disk" decision in the SPI implementer, where it
+   * belongs.
+   */
+  serializeContract(contract: MongoTargetContract): JsonObject;
+}
+//#endregion
+//#region src/core/mongo-target-database.d.ts
+/**
+ * Mongo target `Namespace` concretion. In Mongo the "namespace" concept
+ * binds to the connection's `db` field — a `MongoTargetDatabase` instance
+ * names the database the collections live under.
+ *
+ * Qualifier emission is the rendering seam: query / DDL emission asks the
+ * namespace for its qualifier (e.g. `"<db>.<collection>"`) and consumes
+ * the result polymorphically. The unspecified singleton overrides these
+ * methods to elide the prefix entirely — call sites stay polymorphic and
+ * never branch on `id === UNSPECIFIED_NAMESPACE_ID`.
+ *
+ * **Freeze-trap warning.** The constructor calls `freezeNode(this)` at
+ * the end. Direct subclasses MUST NOT add instance fields — the freeze
+ * runs in this base constructor and any subclass field assignment will
+ * silently fail in non-strict mode or throw in strict mode. The
+ * `MongoTargetUnspecifiedDatabase` singleton below is intentionally
+ * field-free for this reason; if a future subclass needs to carry
+ * additional fields, lift this `freezeNode` to the leaf-class
+ * constructors (or to a `seal()` hook each leaf calls explicitly).
+ */
+declare class MongoTargetDatabase extends NamespaceBase {
+  readonly kind: "database";
+  readonly id: string;
+  constructor(id: string);
+  /**
+   * The bare qualifier as it would appear in a rendered string. The
+   * unspecified-database singleton overrides this to return `''`.
+   */
+  qualifier(): string;
+  /**
+   * Qualify a collection name with the database prefix. The
+   * unspecified-database singleton overrides this to emit just the
+   * collection name. Used by emission/introspection paths that need a
+   * fully-qualified reference.
+   */
+  qualifyCollection(collectionName: string): string;
+}
+/**
+ * Singleton subclass for the reserved sentinel namespace id
+ * (`UNSPECIFIED_NAMESPACE_ID`). Overrides qualifier emission to elide
+ * the database prefix — call sites that consume `qualifier()` /
+ * `qualifyCollection()` get unqualified output without branching on the
+ * namespace id.
+ *
+ * This is the target-side materialization of "the framework provides
+ * affordances; targets implement specifics": the framework names the
+ * sentinel; Mongo decides what no-database-bound means here (the
+ * collection name, naked).
+ */
+declare class MongoTargetUnspecifiedDatabase extends MongoTargetDatabase {
+  static readonly instance: MongoTargetUnspecifiedDatabase;
+  private constructor();
+  qualifier(): string;
+  qualifyCollection(collectionName: string): string;
+}
+//#endregion
+//#region src/core/mongo-target-schema-verifier.d.ts
+/**
+ * Mongo target `SchemaVerifier` concretion. Extends the family base's
+ * namespace-walk scaffolding and contributes the per-namespace diff via
+ * `verifyNamespace`; the diff body reuses the existing target-side
+ * helpers (`contractToMongoSchemaIR`, `canonicalizeSchemasForVerification`,
+ * `diffMongoSchemas`) so production verification behaviour is unchanged.
+ *
+ * Today's invariant: every Mongo contract carries exactly one
+ * namespace (the unspecified singleton, materialised as
+ * `MongoTargetUnspecifiedDatabase`), so the family-base namespace walk
+ * dispatches exactly once and the per-namespace body runs the existing
+ * whole-schema diff. Future per-collection namespace assignment will
+ * have this hook project the diff to the namespace's owned collections.
+ *
+ * `verifyTargetExtensions` returns the empty list — Mongo has no
+ * target-only kinds today.
+ *
+ * Strict diff mode is `false` for SPI-routed calls; production
+ * verification today still goes through `verifyMongoSchema` which
+ * receives strict from the CLI.
+ */
+declare class MongoTargetSchemaVerifier extends MongoSchemaVerifierBase<MongoTargetContract, MongoSchemaIR> {
+  protected verifyNamespace(options: {
+    readonly contract: MongoTargetContract;
+    readonly schema: MongoSchemaIR;
+    readonly namespaceId: string;
+    readonly namespace: Namespace;
+  }): readonly SchemaIssue[];
+  protected verifyTargetExtensions(_options: SchemaVerifyOptions<MongoTargetContract, MongoSchemaIR>): readonly SchemaIssue[];
+}
+//#endregion
 //#region src/core/planner-produced-migration.d.ts
 /**
  * Planner-produced Mongo migration, returned by `MongoMigrationPlanner.plan(...)`
@@ -253,5 +320,5 @@ interface RenderMigrationMeta {
  */
 declare function renderCallsToTypeScript(calls: ReadonlyArray<OpFactoryCall>, meta: RenderMigrationMeta): string;
 //#endregion
-export { CollModCall, type CollModMeta, CreateCollectionCall, CreateIndexCall, DropCollectionCall, DropIndexCall, FilterEvaluator, type MarkerOperations, MongoMigrationPlanner, MongoMigrationRunner, type MongoMigrationRunnerExecuteOptions, type MongoRunnerDependencies, type OpFactoryCall, type PlanCallsResult, PlannerProducedMongoMigration, type RenderMigrationMeta, contractToMongoSchemaIR, deserializeMongoOp, deserializeMongoOps, formatMongoOperations, initMarker, readAllMarkers, readMarker, renderCallsToTypeScript, renderOps, schemaCollectionToCreateCollectionOptions, schemaIndexToCreateIndexOptions, serializeMongoOps, updateMarker, writeLedgerEntry };
+export { CollModCall, type CollModMeta, CreateCollectionCall, CreateIndexCall, DropCollectionCall, DropIndexCall, FilterEvaluator, type MarkerOperations, MongoMigrationPlanner, MongoMigrationRunner, type MongoMigrationRunnerExecuteOptions, type MongoRunnerDependencies, type MongoTargetContract, MongoTargetContractSerializer, MongoTargetDatabase, MongoTargetSchemaVerifier, MongoTargetUnspecifiedDatabase, type OpFactoryCall, type PlanCallsResult, PlannerProducedMongoMigration, type RenderMigrationMeta, deserializeMongoOp, deserializeMongoOps, mongoTargetDescriptor, renderCallsToTypeScript, renderOps, schemaCollectionToCreateCollectionOptions, schemaIndexToCreateIndexOptions, serializeMongoOps };
 //# sourceMappingURL=control.d.mts.map

package/dist/control.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"control.d.mts","names":[],"sources":["../src/core/contract-to-schema.ts","../src/core/ddl-formatter.ts","../src/core/filter-evaluator.ts","../src/core/marker-ledger.ts","../src/core/mongo-ops-serializer.ts","../src/core/mongo-planner.ts","../src/core/mongo-runner.ts","../src/core/planner-produced-migration.ts","../src/core/render-ops.ts","../src/core/render-typescript.ts"],"mappings":";;;;;;;;;;;;;iBAoDgB,uBAAA,CAAwB,QAAA,EAAU,aAAA,UAAuB,aAAA;;;iBC6CzD,qBAAA,CAAsB,UAAA,WAAqB,sBAAA;;;cC/C9C,eAAA,YAA2B,kBAAA;EAAA,QAC9B,GAAA;EAER,QAAA,CAAS,MAAA,EAAQ,eAAA,EAAiB,GAAA,EAAK,MAAA;EAKvC,KAAA,CAAM,IAAA,EAAM,gBAAA;EAKZ,GAAA,CAAI,IAAA,EAAM,YAAA;EAIV,EAAA,CAAG,IAAA,EAAM,WAAA;EAIT,GAAA,CAAI,IAAA,EAAM,YAAA;EAIV,MAAA,CAAO,IAAA,EAAM,eAAA;EAKb,IAAA,CAAK,KAAA,EAAO,eAAA;AAAA;;;;;;;;;iBCKQ,UAAA,CAAW,EAAA,EAAI,EAAA,EAAI,KAAA,WAAgB,OAAA,CAAQ,oBAAA;;;;;AHjCjE;;;;;;;iBGuDsB,cAAA,CAAe,EAAA,EAAI,EAAA,GAAK,OAAA,CAAQ,WAAA,SAAoB,oBAAA;AAAA,iBAqBpD,UAAA,CACpB,EAAA,EAAI,EAAA,EACJ,KAAA,UACA,WAAA;EAAA,SACW,WAAA;EAAA,SACA,WAAA;EAAA,SACA,UAAA;AAAA,IAEV,OAAA;;;;;;;;ADtFH;;;iBCgHsB,YAAA,CACpB,EAAA,EAAI,EAAA,EACJ,KAAA,UACA,YAAA,UACA,WAAA;EAAA,SACW,WAAA;EAAA,SACA,WAAA;EAAA,SACA,UAAA;AAAA,IAEV,OAAA;;;;;;;;;;;iBA8CmB,gBAAA,CACpB,EAAA,EAAI,EAAA,EACJ,KAAA,UACA,KAAA;EAAA,SAAkB,MAAA;EAAA,SAAyB,IAAA;EAAA,SAAuB,EAAA;AAAA,IACjE,OAAA;;;iBCiZa,kBAAA,CAAmB,IAAA,YAAgB,0BAAA;AAAA,iBAOnC,mBAAA,CAAoB,IAAA,uBAA2B,0BAAA;AAAA,iBAI/C,iBAAA,CAAkB,GAAA,WAAc,0BAAA;;;KCphBpC,eAAA;EAAA,SACG,IAAA;EAAA,SAA0B,KAAA,EAAO,aAAA;AAAA;EAAA,SACjC,IAAA;EAAA,SAA0B,SAAA,EAAW,wBAAA;AAAA;AAAA,cAEvC,qBAAA,YAAiC,gBAAA;EAC5C,SAAA,CAAU,OAAA;IAAA,SACC,QAAA;IAAA,SACA,MAAA;IAAA,SACA,MAAA,EAAQ,wBAAA;IAAA,SACR,mBAAA,EAAqB,aAAA,CAAc,8BAAA;EAAA,IAC1C,eAAA;EAgIJ,IAAA,CAAK,OAAA;IAAA,SACM,QAAA;IAAA,SACA,MAAA;IAAA,SACA,MAAA,EAAQ,wBAAA;;;;AJjJrB;;aIuJa,YAAA,EAAc,QAAA;IAAA,SACd,mBAAA,EAAqB,aAAA,CAAc,8BAAA;EAAA,IAC1C,sBAAA;;;;AHxMN;;;;;;EG8NE,cAAA,CAAe,OAAA,EAAS,wBAAA,GAA2B,iCAAA;AAAA;;;;;;;;;UC1OpC,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;AAAA,UAG1B,kCAAA;EAAA,SACN,IAAA,EAAM,aAAA;EAAA,SACN,mBAAA,EAAqB,aAAA;EAAA,SACrB,MAAA,EAAQ,wBAAA;EAAA,SACR,SAAA;IACP,gBAAA,EAAkB,EAAA,EAAI,sBAAA;IACtB,mBAAA,EAAqB,EAAA,EAAI,sBAAA;EAAA;EAAA,SAElB,eAAA,GAAkB,8BAAA;EAAA,SAClB,mBAAA,EAAqB,aAAA,CAAc,8BAAA;EAAA,SACnC,kBAAA;EAAA,SACA,OAAA,GAAU,gBAAA;EJlCV;;;;;;;;;;;EAAA,SI8CA,aAAA,IAAiB,MAAA,EAAQ,aAAA,KAAkB,aAAA;AAAA;AAAA,cAezC,oBAAA;EAAA,iBACkB,IAAA;cAAA,IAAA,EAAM,uBAAA;EAE7B,OAAA,CAAQ,OAAA,EAAS,kCAAA,GAAqC,OAAA,CAAQ,qBAAA;EAAA,QAuLtD,oBAAA;EAAA,QA+DA,2BAAA;EAAA,QAoCA,cAAA;EAAA,QAgBA,kBAAA;EAAA,QASN,0BAAA;EAAA,QAuBA,yBAAA;AAAA;;;;;;;;;;;;AN3YV;;;;;;;cO5Ba,6BAAA,SACH,SAAA,CAAU,0BAAA,aACP,iCAAA;EAAA,iBAKQ,KAAA;EAAA,iBACA,IAAA;EAAA,SAJV,QAAA;cAGU,KAAA,WAAgB,aAAA,IAChB,IAAA,EAAM,aAAA;EAAA,IAKZ,UAAA,CAAA,YAAuB,0BAAA;EAI3B,QAAA,CAAA,GAAY,aAAA;EAIrB,gBAAA,CAAA;AAAA;;;iBC1Cc,SAAA,CAAU,KAAA,EAAO,aAAA,CAAc,aAAA,IAAiB,2BAAA;;;UCC/C,mBAAA;EAAA,SACN,IAAA;EAAA,SACA,EAAA;EAAA,SACA,MAAA;AAAA;;;;;;;;AT6CX;;;;;;;;;;iBSJgB,uBAAA,CACd,KAAA,EAAO,aAAA,CAAc,aAAA,GACrB,IAAA,EAAM,mBAAA"}
+{"version":3,"file":"control.d.mts","names":[],"sources":["../src/core/mongo-target-contract.ts","../src/core/control-target.ts","../src/core/filter-evaluator.ts","../src/core/mongo-ops-serializer.ts","../src/core/mongo-planner.ts","../src/core/mongo-runner.ts","../src/core/mongo-target-contract-serializer.ts","../src/core/mongo-target-database.ts","../src/core/mongo-target-schema-verifier.ts","../src/core/planner-produced-migration.ts","../src/core/render-ops.ts","../src/core/render-typescript.ts"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;KAYY,mBAAA,GAAsB,IAAA,CAAK,aAAA;EAAA,SAC5B,OAAA,EAAS,YAAA;AAAA;;;;;;;;;;;;;cCmCP,qBAAA,EAAuB,4BAAA,CAA6B,mBAAA;;;cCEpD,eAAA,YAA2B,kBAAA;EAAA,QAC9B,GAAA;EAER,QAAA,CAAS,MAAA,EAAQ,eAAA,EAAiB,GAAA,EAAK,MAAA;EAKvC,KAAA,CAAM,IAAA,EAAM,gBAAA;EAKZ,GAAA,CAAI,IAAA,EAAM,YAAA;EAIV,EAAA,CAAG,IAAA,EAAM,WAAA;EAIT,GAAA,CAAI,IAAA,EAAM,YAAA;EAIV,MAAA,CAAO,IAAA,EAAM,eAAA;EAKb,IAAA,CAAK,KAAA,EAAO,eAAA;AAAA;;;iBC8hBE,kBAAA,CAAmB,IAAA,YAAgB,0BAAA;AAAA,iBAOnC,mBAAA,CAAoB,IAAA,uBAA2B,0BAAA;AAAA,iBAI/C,iBAAA,CAAkB,GAAA,WAAc,0BAAA;;;KCphBpC,eAAA;EAAA,SACG,IAAA;EAAA,SAA0B,KAAA,EAAO,aAAA;AAAA;EAAA,SACjC,IAAA;EAAA,SAA0B,SAAA,EAAW,wBAAA;AAAA;AAAA,cAEvC,qBAAA,YAAiC,gBAAA;EAC5C,SAAA,CAAU,OAAA;IAAA,SACC,QAAA;IAAA,SACA,MAAA;IAAA,SACA,MAAA,EAAQ,wBAAA;IAAA,SACR,mBAAA,EAAqB,aAAA,CAAc,8BAAA;EAAA,IAC1C,eAAA;EAgIJ,IAAA,CAAK,OAAA;IAAA,SACM,QAAA;IAAA,SACA,MAAA;IAAA,SACA,MAAA,EAAQ,wBAAA;IJrOW;;;;;IAAA,SI2OnB,YAAA,EAAc,QAAA;IAAA,SACd,mBAAA,EAAqB,aAAA,CAAc,8BAAA;EAAA,IAC1C,sBAAA;;;;AH1MN;;;;;;EGgOE,cAAA,CAAe,OAAA,EAAS,wBAAA,GAA2B,iCAAA;AAAA;;;UC9OpC,kCAAA;EAAA,SACN,IAAA,EAAM,aAAA;EAAA,SACN,mBAAA,EAAqB,aAAA;EAAA,SACrB,MAAA,EAAQ,wBAAA;EAAA,SACR,SAAA;IACP,gBAAA,EAAkB,EAAA,EAAI,sBAAA;IACtB,mBAAA,EAAqB,EAAA,EAAI,sBAAA;EAAA;EAAA,SAElB,eAAA,GAAkB,8BAAA;EAAA,SAClB,mBAAA,EAAqB,aAAA,CAAc,8BAAA;EAAA,SACnC,kBAAA;EAAA,SACA,OAAA,GAAU,gBAAA;;;;;;;;;;;;WAYV,aAAA,IAAiB,MAAA,EAAQ,aAAA,KAAkB,aAAA;AAAA;AAAA,cAezC,oBAAA;EAAA,iBACkB,IAAA;cAAA,IAAA,EAAM,uBAAA;EAE7B,OAAA,CAAQ,OAAA,EAAS,kCAAA,GAAqC,OAAA,CAAQ,qBAAA;EAAA,QAuLtD,oBAAA;EAAA,QA+DA,2BAAA;EAAA,QAoCA,cAAA;EAAA,QAgBA,kBAAA;EAAA,QASN,0BAAA;EAAA,QAuBA,yBAAA;AAAA;;;;;;;;;;;;;;;ALzYV;;;;;;;;cMea,6BAAA,SAAsC,2BAAA,CAA4B,mBAAA;EAAA,UACnE,uBAAA,CAAwB,SAAA,EAAW,aAAA,GAAgB,mBAAA;ENfpD;;;;;;;ACmCX;;;;;;;;EKOW,iBAAA,CAAkB,QAAA,EAAU,mBAAA,GAAsB,UAAA;AAAA;;;;;;;;;;;;;;;;;;AN3C7D;;;;;cOca,mBAAA,SAA4B,aAAA;EAAA,SAC9B,IAAA;EAAA,SACA,EAAA;cAEG,EAAA;EPlByB;;;;EO4BrC,SAAA,CAAA;;;;ANQF;;;EMEE,iBAAA,CAAkB,cAAA;AAAA;;;;ALApB;;;;;;;;;cKiBa,8BAAA,SAAuC,mBAAA;EAAA,gBAClC,QAAA,EAAU,8BAAA;EAAA,QAEnB,WAAA,CAAA;EAIE,SAAA,CAAA;EAIA,iBAAA,CAAkB,cAAA;AAAA;;;;;;;;;;;;;;APlE7B;;;;;;;;;;cQoBa,yBAAA,SAAkC,uBAAA,CAC7C,mBAAA,EACA,aAAA;EAAA,UAEU,eAAA,CAAgB,OAAA;IAAA,SACf,QAAA,EAAU,mBAAA;IAAA,SACV,MAAA,EAAQ,aAAA;IAAA,SACR,WAAA;IAAA,SACA,SAAA,EAAW,SAAA;EAAA,aACT,WAAA;EAAA,UAOH,sBAAA,CACR,QAAA,EAAU,mBAAA,CAAoB,mBAAA,EAAqB,aAAA,aACzC,WAAA;AAAA;;;;;;;;;;;;;;;ARtCd;;;;cSYa,6BAAA,SACH,SAAA,CAAU,0BAAA,aACP,iCAAA;EAAA,iBAKQ,KAAA;EAAA,iBACA,IAAA;EAAA,SAJV,QAAA;cAGU,KAAA,WAAgB,aAAA,IAChB,IAAA,EAAM,aAAA;EAAA,IAKZ,UAAA,CAAA,YAAuB,0BAAA;EAI3B,QAAA,CAAA,GAAY,aAAA;EAIrB,gBAAA,CAAA;AAAA;;;iBC1Cc,SAAA,CAAU,KAAA,EAAO,aAAA,CAAc,aAAA,IAAiB,2BAAA;;;UCC/C,mBAAA;EAAA,SACN,IAAA;EAAA,SACA,EAAA;EAAA,SACA,MAAA;AAAA;;;;;;;;;;;AXKX;;;;;;;iBWoCgB,uBAAA,CACd,KAAA,EAAO,aAAA,CAAc,aAAA,GACrB,IAAA,EAAM,mBAAA"}