@prisma/orm-family-mongo 0.16.0-dev.36

package/dist/control-CFr3tYsg.mjs

@@ -0,0 +1,398 @@
+import { t as mongoContractCanonicalizationHooks } from "./canonicalization-hooks-DF3Z6sjO.mjs";
+import { t as mongoEmission } from "./exports-CJMh0VTU.mjs";
+import { i as verifyMongoSchema } from "./verify-mongo-schema-De0FG2Rm-CCzwnNPY.mjs";
+import { n as mongoFamilyPslBlockDescriptors, t as mongoFamilyEntityTypes } from "./authoring-entity-types-BGtkMyoN-D32kzx28.mjs";
+import { t as MongoContractSerializer } from "./mongo-contract-serializer-Cx7Fae8e-C8ZYPXpc.mjs";
+import { structuredError } from "@prisma/orm-framework/utils/structured-error";
+import { ifDefined } from "@prisma/orm-framework/utils/defined";
+import { InternalError } from "@prisma/orm-framework/utils/internal-error";
+import { APP_SPACE_ID, SchemaTreeNode, VERIFY_CODE_HASH_MISMATCH, VERIFY_CODE_MARKER_MISSING, VERIFY_CODE_TARGET_MISMATCH } from "@prisma/orm-framework/components/control";
+import { assertDescriptorSelfConsistency } from "@prisma/orm-toolchain/migration-tools/spaces";
+//#region ../../../2-mongo-family/9-family/dist/control.mjs
+function formatKeySpec(keys) {
+	return `{ ${keys.map((k) => `${JSON.stringify(k.field)}: ${JSON.stringify(k.direction)}`).join(", ")} }`;
+}
+const COMMAND_META_KEYS = /* @__PURE__ */ new Set([
+	"kind",
+	"collection",
+	"keys"
+]);
+function formatOptionEntries(cmd) {
+	const parts = Object.entries(cmd).filter(([key, value]) => !COMMAND_META_KEYS.has(key) && value !== void 0).map(([key, value]) => `${key}: ${JSON.stringify(value)}`);
+	if (parts.length === 0) return void 0;
+	return `{ ${parts.join(", ")} }`;
+}
+function formatOptions(cmd) {
+	return formatOptionEntries(cmd);
+}
+function formatCreateCollectionOptions(cmd) {
+	return formatOptionEntries(cmd);
+}
+var MongoDdlCommandFormatter = class {
+	createIndex(cmd) {
+		const keySpec = formatKeySpec(cmd.keys);
+		const opts = formatOptions(cmd);
+		return opts ? `db.${cmd.collection}.createIndex(${keySpec}, ${opts})` : `db.${cmd.collection}.createIndex(${keySpec})`;
+	}
+	dropIndex(cmd) {
+		return `db.${cmd.collection}.dropIndex(${JSON.stringify(cmd.name)})`;
+	}
+	createCollection(cmd) {
+		const opts = formatCreateCollectionOptions(cmd);
+		return opts ? `db.createCollection(${JSON.stringify(cmd.collection)}, ${opts})` : `db.createCollection(${JSON.stringify(cmd.collection)})`;
+	}
+	dropCollection(cmd) {
+		return `db.${cmd.collection}.drop()`;
+	}
+	collMod(cmd) {
+		const parts = [`collMod: ${JSON.stringify(cmd.collection)}`];
+		for (const [key, value] of Object.entries(cmd)) if (!COMMAND_META_KEYS.has(key) && value !== void 0) parts.push(`${key}: ${JSON.stringify(value)}`);
+		return `db.runCommand({ ${parts.join(", ")} })`;
+	}
+};
+const formatter = new MongoDdlCommandFormatter();
+function formatMongoOperations(operations) {
+	const statements = [];
+	for (const operation of operations) {
+		const candidate = operation;
+		if (!("execute" in candidate) || !Array.isArray(candidate["execute"])) continue;
+		for (const step of candidate["execute"]) if (step.command && typeof step.command.accept === "function") statements.push(step.command.accept(formatter));
+	}
+	return statements;
+}
+/**
+* Wraps `formatMongoOperations` into the family-agnostic
+* `OperationPreview` shape. Each statement carries
+* `language: 'mongodb-shell'`. Mirrors `sqlOperationsToPreview`.
+*/
+function mongoOperationsToPreview(operations) {
+	return { statements: formatMongoOperations(operations).map((text) => ({
+		text,
+		language: "mongodb-shell"
+	})) };
+}
+function mongoSchemaToView(schema) {
+	const collectionNodes = schema.collections.map((collection) => collectionToSchemaNode(collection.name, collection));
+	return { root: new SchemaTreeNode({
+		kind: "root",
+		id: "mongo-schema",
+		label: "database",
+		...ifDefined("children", collectionNodes.length > 0 ? collectionNodes : void 0)
+	}) };
+}
+function collectionToSchemaNode(name, collection) {
+	const children = [];
+	for (const index of collection.indexes) {
+		const keysSummary = index.keys.map((k) => {
+			if (k.direction === 1) return k.field;
+			if (k.direction === -1) return `${k.field} desc`;
+			return `${k.field} ${k.direction}`;
+		}).join(", ");
+		const prefix = index.unique ? "unique index" : "index";
+		const options = [];
+		if (index.sparse) options.push("sparse");
+		if (index.expireAfterSeconds != null) options.push(`ttl: ${index.expireAfterSeconds}s`);
+		if (index.partialFilterExpression) options.push("partial");
+		const optsSuffix = options.length > 0 ? ` (${options.join(", ")})` : "";
+		children.push(new SchemaTreeNode({
+			kind: "index",
+			id: `index-${name}-${index.keys.map((k) => `${k.field}_${k.direction}`).join("_")}`,
+			label: `${prefix} (${keysSummary})${optsSuffix}`,
+			meta: {
+				keys: index.keys,
+				unique: index.unique,
+				...ifDefined("sparse", index.sparse || void 0),
+				...ifDefined("expireAfterSeconds", index.expireAfterSeconds ?? void 0),
+				...ifDefined("partialFilterExpression", index.partialFilterExpression ?? void 0)
+			}
+		}));
+	}
+	if (collection.validator) {
+		const validatorChildren = [];
+		const jsonSchema = collection.validator.jsonSchema;
+		const properties = jsonSchema["properties"];
+		const required = new Set(jsonSchema["required"] ?? []);
+		if (properties) for (const [propName, propDef] of Object.entries(properties)) {
+			const bsonType = propDef["bsonType"] ?? "unknown";
+			const suffix = required.has(propName) ? " (required)" : "";
+			validatorChildren.push(new SchemaTreeNode({
+				kind: "field",
+				id: `field-${name}-${propName}`,
+				label: `${propName}: ${bsonType}${suffix}`
+			}));
+		}
+		children.push(new SchemaTreeNode({
+			kind: "field",
+			id: `validator-${name}`,
+			label: `validator (level: ${collection.validator.validationLevel}, action: ${collection.validator.validationAction})`,
+			meta: {
+				validationLevel: collection.validator.validationLevel,
+				validationAction: collection.validator.validationAction,
+				jsonSchema: collection.validator.jsonSchema
+			},
+			...ifDefined("children", validatorChildren.length > 0 ? validatorChildren : void 0)
+		}));
+	}
+	if (collection.options) {
+		const opts = collection.options;
+		const optLabels = [];
+		if (opts.capped) optLabels.push("capped");
+		if (opts.timeseries) optLabels.push("timeseries");
+		if (opts.collation) optLabels.push("collation");
+		if (opts.changeStreamPreAndPostImages) optLabels.push("changeStreamPreAndPostImages");
+		if (opts.clusteredIndex) optLabels.push("clusteredIndex");
+		if (optLabels.length > 0) children.push(new SchemaTreeNode({
+			kind: "field",
+			id: `options-${name}`,
+			label: `options (${optLabels.join(", ")})`,
+			meta: {
+				...ifDefined("capped", opts.capped ?? void 0),
+				...ifDefined("timeseries", opts.timeseries ?? void 0),
+				...ifDefined("collation", opts.collation ?? void 0),
+				...ifDefined("changeStreamPreAndPostImages", opts.changeStreamPreAndPostImages ?? void 0),
+				...ifDefined("clusteredIndex", opts.clusteredIndex ?? void 0)
+			}
+		}));
+	}
+	return new SchemaTreeNode({
+		kind: "collection",
+		id: `collection-${name}`,
+		label: `collection ${name}`,
+		...ifDefined("children", children.length > 0 ? children : void 0)
+	});
+}
+function deserializeMongoContract(contractJson) {
+	return new MongoContractSerializer().deserializeContract(contractJson);
+}
+/**
+* Family-method contract input. By the time control-plane methods
+* (`verify`, `verifySchema`, `sign`, …) are invoked through the CLI
+* control client (`client.ts`), the input has already been threaded
+* through `familyInstance.deserializeContract`. The value is therefore a
+* class-form `MongoTargetContract` (or a structurally-equivalent
+* envelope post-deserialization) and must NOT be re-fed through
+* structural validation (arktype rejects extra keys like `namespaces`).
+*
+* The parameter type on the framework SPI is `unknown` for variance
+* reasons (so the family can express its own contract type without
+* leaking it to the framework). This helper recovers the validated
+* shape with a single narrow cast.
+*/
+function asValidatedMongoContract(contract) {
+	return contract;
+}
+function buildVerifyResult(opts) {
+	return {
+		ok: opts.ok,
+		...ifDefined("code", opts.code),
+		summary: opts.summary,
+		contract: {
+			storageHash: opts.contractStorageHash,
+			...ifDefined("profileHash", opts.contractProfileHash)
+		},
+		...ifDefined("marker", opts.marker ? {
+			storageHash: opts.marker.storageHash,
+			profileHash: opts.marker.profileHash
+		} : void 0),
+		target: {
+			expected: opts.expectedTargetId,
+			...ifDefined("actual", opts.actualTargetId)
+		},
+		meta: {
+			contractPath: opts.contractPath,
+			...ifDefined("configPath", opts.configPath)
+		},
+		timings: { total: opts.totalTime }
+	};
+}
+function createMongoFamilyInstance(controlStack) {
+	const extensions = controlStack.extensions ?? [];
+	for (const extension of extensions) if (extension.contractSpace) {
+		const { contractJson, headRef } = extension.contractSpace;
+		assertDescriptorSelfConsistency({
+			extensionId: extension.id,
+			target: contractJson.target,
+			targetFamily: contractJson.targetFamily,
+			storage: contractJson.storage,
+			headRefHash: headRef.hash,
+			...mongoContractCanonicalizationHooks
+		});
+	}
+	const adapter = controlStack.adapter;
+	const getControlAdapter = () => {
+		if (!adapter) throw new InternalError("Mongo family requires an adapter descriptor in ControlStack");
+		return adapter.create(controlStack);
+	};
+	function isMongoTargetDriver(driver) {
+		return driver.targetId === "mongo";
+	}
+	function asMongoDriver(driver) {
+		if (!isMongoTargetDriver(driver)) throw structuredError("CONTRACT.TARGET_MISMATCH", `Expected Mongo control driver with targetId 'mongo', got '${driver.targetId}'`);
+		return driver;
+	}
+	return {
+		familyId: "mongo",
+		deserializeContract(contractJson) {
+			return deserializeMongoContract(contractJson);
+		},
+		async verify(options) {
+			const { driver, contract: rawContract, expectedTargetId, contractPath, configPath } = options;
+			const startTime = Date.now();
+			const contract = asValidatedMongoContract(rawContract);
+			const contractStorageHash = contract.storage.storageHash;
+			const contractProfileHash = contract.profileHash;
+			const contractTarget = contract.target;
+			const baseOpts = {
+				contractStorageHash,
+				contractProfileHash,
+				expectedTargetId,
+				contractPath,
+				...ifDefined("configPath", configPath)
+			};
+			if (contractTarget !== expectedTargetId) return buildVerifyResult({
+				...baseOpts,
+				ok: false,
+				code: VERIFY_CODE_TARGET_MISMATCH,
+				summary: "Target mismatch",
+				actualTargetId: contractTarget,
+				totalTime: Date.now() - startTime
+			});
+			const marker = await getControlAdapter().readMarker(asMongoDriver(driver), APP_SPACE_ID);
+			if (!marker) return buildVerifyResult({
+				...baseOpts,
+				ok: false,
+				code: VERIFY_CODE_MARKER_MISSING,
+				summary: "Marker missing",
+				totalTime: Date.now() - startTime
+			});
+			if (marker.storageHash !== contractStorageHash) return buildVerifyResult({
+				...baseOpts,
+				ok: false,
+				code: VERIFY_CODE_HASH_MISMATCH,
+				summary: "Hash mismatch",
+				marker,
+				totalTime: Date.now() - startTime
+			});
+			if (contractProfileHash && marker.profileHash !== contractProfileHash) return buildVerifyResult({
+				...baseOpts,
+				ok: false,
+				code: VERIFY_CODE_HASH_MISMATCH,
+				summary: "Hash mismatch",
+				marker,
+				totalTime: Date.now() - startTime
+			});
+			return buildVerifyResult({
+				...baseOpts,
+				ok: true,
+				summary: "Database matches contract",
+				marker,
+				totalTime: Date.now() - startTime
+			});
+		},
+		verifySchema(options) {
+			return verifyMongoSchema({
+				contract: asValidatedMongoContract(options.contract),
+				schema: options.schema,
+				strict: options.strict,
+				frameworkComponents: options.frameworkComponents
+			});
+		},
+		async sign(options) {
+			const { driver, contract: rawContract, contractPath, configPath } = options;
+			const startTime = Date.now();
+			const contract = asValidatedMongoContract(rawContract);
+			const contractStorageHash = contract.storage.storageHash;
+			const contractProfileHash = contract.profileHash;
+			const controlAdapter = getControlAdapter();
+			const mongoDriver = asMongoDriver(driver);
+			const existingMarker = await controlAdapter.readMarker(mongoDriver, APP_SPACE_ID);
+			let markerCreated = false;
+			let markerUpdated = false;
+			let previousHashes;
+			if (!existingMarker) {
+				await controlAdapter.initMarker(mongoDriver, APP_SPACE_ID, {
+					storageHash: contractStorageHash,
+					profileHash: contractProfileHash
+				});
+				markerCreated = true;
+			} else {
+				const storageHashMatches = existingMarker.storageHash === contractStorageHash;
+				const profileHashMatches = existingMarker.profileHash === contractProfileHash;
+				if (!storageHashMatches || !profileHashMatches) {
+					previousHashes = {
+						storageHash: existingMarker.storageHash,
+						profileHash: existingMarker.profileHash
+					};
+					if (!await controlAdapter.updateMarker(mongoDriver, APP_SPACE_ID, existingMarker.storageHash, {
+						storageHash: contractStorageHash,
+						profileHash: contractProfileHash
+					})) throw structuredError("MIGRATION.MARKER_CAS_FAILURE", "CAS conflict: marker was modified by another process during sign");
+					markerUpdated = true;
+				}
+			}
+			let summary;
+			if (markerCreated) summary = "Database signed (marker created)";
+			else if (markerUpdated) summary = `Database signed (marker updated from ${previousHashes?.storageHash ?? "unknown"})`;
+			else summary = "Database already signed with this contract";
+			return {
+				ok: true,
+				summary,
+				contract: {
+					storageHash: contractStorageHash,
+					profileHash: contractProfileHash
+				},
+				target: {
+					expected: contract.target,
+					actual: contract.target
+				},
+				marker: {
+					created: markerCreated,
+					updated: markerUpdated,
+					...ifDefined("previous", previousHashes)
+				},
+				meta: {
+					contractPath,
+					...ifDefined("configPath", configPath)
+				},
+				timings: { total: Date.now() - startTime }
+			};
+		},
+		async readMarker(options) {
+			return getControlAdapter().readMarker(asMongoDriver(options.driver), options.space);
+		},
+		async readAllMarkers(options) {
+			return getControlAdapter().readAllMarkers(asMongoDriver(options.driver));
+		},
+		async readLedger(options) {
+			return getControlAdapter().readLedger(asMongoDriver(options.driver), options.space);
+		},
+		async introspect(options) {
+			return getControlAdapter().introspectSchema(asMongoDriver(options.driver));
+		},
+		toSchemaView(schema) {
+			return mongoSchemaToView(schema);
+		},
+		toOperationPreview(operations) {
+			return mongoOperationsToPreview(operations);
+		}
+	};
+}
+var MongoFamilyDescriptor = class {
+	kind = "family";
+	id = "mongo";
+	familyId = "mongo";
+	version = "0.0.1";
+	emission = mongoEmission;
+	authoring = {
+		entityTypes: mongoFamilyEntityTypes,
+		pslBlockDescriptors: mongoFamilyPslBlockDescriptors
+	};
+	create(stack) {
+		return createMongoFamilyInstance(stack);
+	}
+};
+const mongoFamilyDescriptor = new MongoFamilyDescriptor();
+//#endregion
+export { mongoOperationsToPreview as i, formatMongoOperations as n, mongoFamilyDescriptor as r, createMongoFamilyInstance as t };
+
+//# sourceMappingURL=control-CFr3tYsg.mjs.map

package/dist/control-CFr3tYsg.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"control-CFr3tYsg.mjs","names":[],"sources":["../../../../2-mongo-family/9-family/dist/control.mjs"],"sourcesContent":["import { i as contractToMongoSchemaIR, n as canonicalizeSchemasForVerification, r as diffMongoSchemas, t as verifyMongoSchema } from \"./verify-mongo-schema-De0FG2Rm.mjs\";\nimport { n as mongoFamilyPslBlockDescriptors, t as mongoFamilyEntityTypes } from \"./authoring-entity-types-BGtkMyoN.mjs\";\nimport { t as MongoContractSerializer } from \"./mongo-contract-serializer-Cx7Fae8e.mjs\";\nimport { ifDefined } from \"@internal/utils/defined\";\nimport { mongoEmission } from \"@internal/mongo-emitter\";\nimport { structuredError } from \"@internal/utils/structured-error\";\nimport { APP_SPACE_ID, SchemaTreeNode, VERIFY_CODE_HASH_MISMATCH, VERIFY_CODE_MARKER_MISSING, VERIFY_CODE_TARGET_MISMATCH } from \"@internal/framework-components/control\";\nimport { mongoContractCanonicalizationHooks } from \"@internal/mongo-contract/canonicalization-hooks\";\nimport { assertDescriptorSelfConsistency } from \"@internal/migration-tools/spaces\";\nimport { InternalError } from \"@internal/utils/internal-error\";\n//#region src/core/operation-preview.ts\nfunction formatKeySpec(keys) {\n\treturn `{ ${keys.map((k) => `${JSON.stringify(k.field)}: ${JSON.stringify(k.direction)}`).join(\", \")} }`;\n}\nconst COMMAND_META_KEYS = /* @__PURE__ */ new Set([\n\t\"kind\",\n\t\"collection\",\n\t\"keys\"\n]);\nfunction formatOptionEntries(cmd) {\n\tconst parts = Object.entries(cmd).filter(([key, value]) => !COMMAND_META_KEYS.has(key) && value !== void 0).map(([key, value]) => `${key}: ${JSON.stringify(value)}`);\n\tif (parts.length === 0) return void 0;\n\treturn `{ ${parts.join(\", \")} }`;\n}\nfunction formatOptions(cmd) {\n\treturn formatOptionEntries(cmd);\n}\nfunction formatCreateCollectionOptions(cmd) {\n\treturn formatOptionEntries(cmd);\n}\nvar MongoDdlCommandFormatter = class {\n\tcreateIndex(cmd) {\n\t\tconst keySpec = formatKeySpec(cmd.keys);\n\t\tconst opts = formatOptions(cmd);\n\t\treturn opts ? `db.${cmd.collection}.createIndex(${keySpec}, ${opts})` : `db.${cmd.collection}.createIndex(${keySpec})`;\n\t}\n\tdropIndex(cmd) {\n\t\treturn `db.${cmd.collection}.dropIndex(${JSON.stringify(cmd.name)})`;\n\t}\n\tcreateCollection(cmd) {\n\t\tconst opts = formatCreateCollectionOptions(cmd);\n\t\treturn opts ? `db.createCollection(${JSON.stringify(cmd.collection)}, ${opts})` : `db.createCollection(${JSON.stringify(cmd.collection)})`;\n\t}\n\tdropCollection(cmd) {\n\t\treturn `db.${cmd.collection}.drop()`;\n\t}\n\tcollMod(cmd) {\n\t\tconst parts = [`collMod: ${JSON.stringify(cmd.collection)}`];\n\t\tfor (const [key, value] of Object.entries(cmd)) if (!COMMAND_META_KEYS.has(key) && value !== void 0) parts.push(`${key}: ${JSON.stringify(value)}`);\n\t\treturn `db.runCommand({ ${parts.join(\", \")} })`;\n\t}\n};\nconst formatter = new MongoDdlCommandFormatter();\nfunction formatMongoOperations(operations) {\n\tconst statements = [];\n\tfor (const operation of operations) {\n\t\tconst candidate = operation;\n\t\tif (!(\"execute\" in candidate) || !Array.isArray(candidate[\"execute\"])) continue;\n\t\tfor (const step of candidate[\"execute\"]) if (step.command && typeof step.command.accept === \"function\") statements.push(step.command.accept(formatter));\n\t}\n\treturn statements;\n}\n/**\n* Wraps `formatMongoOperations` into the family-agnostic\n* `OperationPreview` shape. Each statement carries\n* `language: 'mongodb-shell'`. Mirrors `sqlOperationsToPreview`.\n*/\nfunction mongoOperationsToPreview(operations) {\n\treturn { statements: formatMongoOperations(operations).map((text) => ({\n\t\ttext,\n\t\tlanguage: \"mongodb-shell\"\n\t})) };\n}\n//#endregion\n//#region src/core/schema-to-view.ts\nfunction mongoSchemaToView(schema) {\n\tconst collectionNodes = schema.collections.map((collection) => collectionToSchemaNode(collection.name, collection));\n\treturn { root: new SchemaTreeNode({\n\t\tkind: \"root\",\n\t\tid: \"mongo-schema\",\n\t\tlabel: \"database\",\n\t\t...ifDefined(\"children\", collectionNodes.length > 0 ? collectionNodes : void 0)\n\t}) };\n}\nfunction collectionToSchemaNode(name, collection) {\n\tconst children = [];\n\tfor (const index of collection.indexes) {\n\t\tconst keysSummary = index.keys.map((k) => {\n\t\t\tif (k.direction === 1) return k.field;\n\t\t\tif (k.direction === -1) return `${k.field} desc`;\n\t\t\treturn `${k.field} ${k.direction}`;\n\t\t}).join(\", \");\n\t\tconst prefix = index.unique ? \"unique index\" : \"index\";\n\t\tconst options = [];\n\t\tif (index.sparse) options.push(\"sparse\");\n\t\tif (index.expireAfterSeconds != null) options.push(`ttl: ${index.expireAfterSeconds}s`);\n\t\tif (index.partialFilterExpression) options.push(\"partial\");\n\t\tconst optsSuffix = options.length > 0 ? ` (${options.join(\", \")})` : \"\";\n\t\tchildren.push(new SchemaTreeNode({\n\t\t\tkind: \"index\",\n\t\t\tid: `index-${name}-${index.keys.map((k) => `${k.field}_${k.direction}`).join(\"_\")}`,\n\t\t\tlabel: `${prefix} (${keysSummary})${optsSuffix}`,\n\t\t\tmeta: {\n\t\t\t\tkeys: index.keys,\n\t\t\t\tunique: index.unique,\n\t\t\t\t...ifDefined(\"sparse\", index.sparse || void 0),\n\t\t\t\t...ifDefined(\"expireAfterSeconds\", index.expireAfterSeconds ?? void 0),\n\t\t\t\t...ifDefined(\"partialFilterExpression\", index.partialFilterExpression ?? void 0)\n\t\t\t}\n\t\t}));\n\t}\n\tif (collection.validator) {\n\t\tconst validatorChildren = [];\n\t\tconst jsonSchema = collection.validator.jsonSchema;\n\t\tconst properties = jsonSchema[\"properties\"];\n\t\tconst required = new Set(jsonSchema[\"required\"] ?? []);\n\t\tif (properties) for (const [propName, propDef] of Object.entries(properties)) {\n\t\t\tconst bsonType = propDef[\"bsonType\"] ?? \"unknown\";\n\t\t\tconst suffix = required.has(propName) ? \" (required)\" : \"\";\n\t\t\tvalidatorChildren.push(new SchemaTreeNode({\n\t\t\t\tkind: \"field\",\n\t\t\t\tid: `field-${name}-${propName}`,\n\t\t\t\tlabel: `${propName}: ${bsonType}${suffix}`\n\t\t\t}));\n\t\t}\n\t\tchildren.push(new SchemaTreeNode({\n\t\t\tkind: \"field\",\n\t\t\tid: `validator-${name}`,\n\t\t\tlabel: `validator (level: ${collection.validator.validationLevel}, action: ${collection.validator.validationAction})`,\n\t\t\tmeta: {\n\t\t\t\tvalidationLevel: collection.validator.validationLevel,\n\t\t\t\tvalidationAction: collection.validator.validationAction,\n\t\t\t\tjsonSchema: collection.validator.jsonSchema\n\t\t\t},\n\t\t\t...ifDefined(\"children\", validatorChildren.length > 0 ? validatorChildren : void 0)\n\t\t}));\n\t}\n\tif (collection.options) {\n\t\tconst opts = collection.options;\n\t\tconst optLabels = [];\n\t\tif (opts.capped) optLabels.push(\"capped\");\n\t\tif (opts.timeseries) optLabels.push(\"timeseries\");\n\t\tif (opts.collation) optLabels.push(\"collation\");\n\t\tif (opts.changeStreamPreAndPostImages) optLabels.push(\"changeStreamPreAndPostImages\");\n\t\tif (opts.clusteredIndex) optLabels.push(\"clusteredIndex\");\n\t\tif (optLabels.length > 0) children.push(new SchemaTreeNode({\n\t\t\tkind: \"field\",\n\t\t\tid: `options-${name}`,\n\t\t\tlabel: `options (${optLabels.join(\", \")})`,\n\t\t\tmeta: {\n\t\t\t\t...ifDefined(\"capped\", opts.capped ?? void 0),\n\t\t\t\t...ifDefined(\"timeseries\", opts.timeseries ?? void 0),\n\t\t\t\t...ifDefined(\"collation\", opts.collation ?? void 0),\n\t\t\t\t...ifDefined(\"changeStreamPreAndPostImages\", opts.changeStreamPreAndPostImages ?? void 0),\n\t\t\t\t...ifDefined(\"clusteredIndex\", opts.clusteredIndex ?? void 0)\n\t\t\t}\n\t\t}));\n\t}\n\treturn new SchemaTreeNode({\n\t\tkind: \"collection\",\n\t\tid: `collection-${name}`,\n\t\tlabel: `collection ${name}`,\n\t\t...ifDefined(\"children\", children.length > 0 ? children : void 0)\n\t});\n}\n//#endregion\n//#region src/core/control-instance.ts\nfunction deserializeMongoContract(contractJson) {\n\treturn new MongoContractSerializer().deserializeContract(contractJson);\n}\n/**\n* Family-method contract input. By the time control-plane methods\n* (`verify`, `verifySchema`, `sign`, …) are invoked through the CLI\n* control client (`client.ts`), the input has already been threaded\n* through `familyInstance.deserializeContract`. The value is therefore a\n* class-form `MongoTargetContract` (or a structurally-equivalent\n* envelope post-deserialization) and must NOT be re-fed through\n* structural validation (arktype rejects extra keys like `namespaces`).\n*\n* The parameter type on the framework SPI is `unknown` for variance\n* reasons (so the family can express its own contract type without\n* leaking it to the framework). This helper recovers the validated\n* shape with a single narrow cast.\n*/\nfunction asValidatedMongoContract(contract) {\n\treturn contract;\n}\nfunction buildVerifyResult(opts) {\n\treturn {\n\t\tok: opts.ok,\n\t\t...ifDefined(\"code\", opts.code),\n\t\tsummary: opts.summary,\n\t\tcontract: {\n\t\t\tstorageHash: opts.contractStorageHash,\n\t\t\t...ifDefined(\"profileHash\", opts.contractProfileHash)\n\t\t},\n\t\t...ifDefined(\"marker\", opts.marker ? {\n\t\t\tstorageHash: opts.marker.storageHash,\n\t\t\tprofileHash: opts.marker.profileHash\n\t\t} : void 0),\n\t\ttarget: {\n\t\t\texpected: opts.expectedTargetId,\n\t\t\t...ifDefined(\"actual\", opts.actualTargetId)\n\t\t},\n\t\tmeta: {\n\t\t\tcontractPath: opts.contractPath,\n\t\t\t...ifDefined(\"configPath\", opts.configPath)\n\t\t},\n\t\ttimings: { total: opts.totalTime }\n\t};\n}\nfunction createMongoFamilyInstance(controlStack) {\n\tconst extensions = controlStack.extensions ?? [];\n\tfor (const extension of extensions) if (extension.contractSpace) {\n\t\tconst { contractJson, headRef } = extension.contractSpace;\n\t\tassertDescriptorSelfConsistency({\n\t\t\textensionId: extension.id,\n\t\t\ttarget: contractJson.target,\n\t\t\ttargetFamily: contractJson.targetFamily,\n\t\t\tstorage: contractJson.storage,\n\t\t\theadRefHash: headRef.hash,\n\t\t\t...mongoContractCanonicalizationHooks\n\t\t});\n\t}\n\tconst adapter = controlStack.adapter;\n\tconst getControlAdapter = () => {\n\t\tif (!adapter) throw new InternalError(\"Mongo family requires an adapter descriptor in ControlStack\");\n\t\treturn adapter.create(controlStack);\n\t};\n\tfunction isMongoTargetDriver(driver) {\n\t\treturn driver.targetId === \"mongo\";\n\t}\n\tfunction asMongoDriver(driver) {\n\t\tif (!isMongoTargetDriver(driver)) throw structuredError(\"CONTRACT.TARGET_MISMATCH\", `Expected Mongo control driver with targetId 'mongo', got '${driver.targetId}'`);\n\t\treturn driver;\n\t}\n\treturn {\n\t\tfamilyId: \"mongo\",\n\t\tdeserializeContract(contractJson) {\n\t\t\treturn deserializeMongoContract(contractJson);\n\t\t},\n\t\tasync verify(options) {\n\t\t\tconst { driver, contract: rawContract, expectedTargetId, contractPath, configPath } = options;\n\t\t\tconst startTime = Date.now();\n\t\t\tconst contract = asValidatedMongoContract(rawContract);\n\t\t\tconst contractStorageHash = contract.storage.storageHash;\n\t\t\tconst contractProfileHash = contract.profileHash;\n\t\t\tconst contractTarget = contract.target;\n\t\t\tconst baseOpts = {\n\t\t\t\tcontractStorageHash,\n\t\t\t\tcontractProfileHash,\n\t\t\t\texpectedTargetId,\n\t\t\t\tcontractPath,\n\t\t\t\t...ifDefined(\"configPath\", configPath)\n\t\t\t};\n\t\t\tif (contractTarget !== expectedTargetId) return buildVerifyResult({\n\t\t\t\t...baseOpts,\n\t\t\t\tok: false,\n\t\t\t\tcode: VERIFY_CODE_TARGET_MISMATCH,\n\t\t\t\tsummary: \"Target mismatch\",\n\t\t\t\tactualTargetId: contractTarget,\n\t\t\t\ttotalTime: Date.now() - startTime\n\t\t\t});\n\t\t\tconst marker = await getControlAdapter().readMarker(asMongoDriver(driver), APP_SPACE_ID);\n\t\t\tif (!marker) return buildVerifyResult({\n\t\t\t\t...baseOpts,\n\t\t\t\tok: false,\n\t\t\t\tcode: VERIFY_CODE_MARKER_MISSING,\n\t\t\t\tsummary: \"Marker missing\",\n\t\t\t\ttotalTime: Date.now() - startTime\n\t\t\t});\n\t\t\tif (marker.storageHash !== contractStorageHash) return buildVerifyResult({\n\t\t\t\t...baseOpts,\n\t\t\t\tok: false,\n\t\t\t\tcode: VERIFY_CODE_HASH_MISMATCH,\n\t\t\t\tsummary: \"Hash mismatch\",\n\t\t\t\tmarker,\n\t\t\t\ttotalTime: Date.now() - startTime\n\t\t\t});\n\t\t\tif (contractProfileHash && marker.profileHash !== contractProfileHash) return buildVerifyResult({\n\t\t\t\t...baseOpts,\n\t\t\t\tok: false,\n\t\t\t\tcode: VERIFY_CODE_HASH_MISMATCH,\n\t\t\t\tsummary: \"Hash mismatch\",\n\t\t\t\tmarker,\n\t\t\t\ttotalTime: Date.now() - startTime\n\t\t\t});\n\t\t\treturn buildVerifyResult({\n\t\t\t\t...baseOpts,\n\t\t\t\tok: true,\n\t\t\t\tsummary: \"Database matches contract\",\n\t\t\t\tmarker,\n\t\t\t\ttotalTime: Date.now() - startTime\n\t\t\t});\n\t\t},\n\t\tverifySchema(options) {\n\t\t\treturn verifyMongoSchema({\n\t\t\t\tcontract: asValidatedMongoContract(options.contract),\n\t\t\t\tschema: options.schema,\n\t\t\t\tstrict: options.strict,\n\t\t\t\tframeworkComponents: options.frameworkComponents\n\t\t\t});\n\t\t},\n\t\tasync sign(options) {\n\t\t\tconst { driver, contract: rawContract, contractPath, configPath } = options;\n\t\t\tconst startTime = Date.now();\n\t\t\tconst contract = asValidatedMongoContract(rawContract);\n\t\t\tconst contractStorageHash = contract.storage.storageHash;\n\t\t\tconst contractProfileHash = contract.profileHash;\n\t\t\tconst controlAdapter = getControlAdapter();\n\t\t\tconst mongoDriver = asMongoDriver(driver);\n\t\t\tconst existingMarker = await controlAdapter.readMarker(mongoDriver, APP_SPACE_ID);\n\t\t\tlet markerCreated = false;\n\t\t\tlet markerUpdated = false;\n\t\t\tlet previousHashes;\n\t\t\tif (!existingMarker) {\n\t\t\t\tawait controlAdapter.initMarker(mongoDriver, APP_SPACE_ID, {\n\t\t\t\t\tstorageHash: contractStorageHash,\n\t\t\t\t\tprofileHash: contractProfileHash\n\t\t\t\t});\n\t\t\t\tmarkerCreated = true;\n\t\t\t} else {\n\t\t\t\tconst storageHashMatches = existingMarker.storageHash === contractStorageHash;\n\t\t\t\tconst profileHashMatches = existingMarker.profileHash === contractProfileHash;\n\t\t\t\tif (!storageHashMatches || !profileHashMatches) {\n\t\t\t\t\tpreviousHashes = {\n\t\t\t\t\t\tstorageHash: existingMarker.storageHash,\n\t\t\t\t\t\tprofileHash: existingMarker.profileHash\n\t\t\t\t\t};\n\t\t\t\t\tif (!await controlAdapter.updateMarker(mongoDriver, APP_SPACE_ID, existingMarker.storageHash, {\n\t\t\t\t\t\tstorageHash: contractStorageHash,\n\t\t\t\t\t\tprofileHash: contractProfileHash\n\t\t\t\t\t})) throw structuredError(\"MIGRATION.MARKER_CAS_FAILURE\", \"CAS conflict: marker was modified by another process during sign\");\n\t\t\t\t\tmarkerUpdated = true;\n\t\t\t\t}\n\t\t\t}\n\t\t\tlet summary;\n\t\t\tif (markerCreated) summary = \"Database signed (marker created)\";\n\t\t\telse if (markerUpdated) summary = `Database signed (marker updated from ${previousHashes?.storageHash ?? \"unknown\"})`;\n\t\t\telse summary = \"Database already signed with this contract\";\n\t\t\treturn {\n\t\t\t\tok: true,\n\t\t\t\tsummary,\n\t\t\t\tcontract: {\n\t\t\t\t\tstorageHash: contractStorageHash,\n\t\t\t\t\tprofileHash: contractProfileHash\n\t\t\t\t},\n\t\t\t\ttarget: {\n\t\t\t\t\texpected: contract.target,\n\t\t\t\t\tactual: contract.target\n\t\t\t\t},\n\t\t\t\tmarker: {\n\t\t\t\t\tcreated: markerCreated,\n\t\t\t\t\tupdated: markerUpdated,\n\t\t\t\t\t...ifDefined(\"previous\", previousHashes)\n\t\t\t\t},\n\t\t\t\tmeta: {\n\t\t\t\t\tcontractPath,\n\t\t\t\t\t...ifDefined(\"configPath\", configPath)\n\t\t\t\t},\n\t\t\t\ttimings: { total: Date.now() - startTime }\n\t\t\t};\n\t\t},\n\t\tasync readMarker(options) {\n\t\t\treturn getControlAdapter().readMarker(asMongoDriver(options.driver), options.space);\n\t\t},\n\t\tasync readAllMarkers(options) {\n\t\t\treturn getControlAdapter().readAllMarkers(asMongoDriver(options.driver));\n\t\t},\n\t\tasync readLedger(options) {\n\t\t\treturn getControlAdapter().readLedger(asMongoDriver(options.driver), options.space);\n\t\t},\n\t\tasync introspect(options) {\n\t\t\treturn getControlAdapter().introspectSchema(asMongoDriver(options.driver));\n\t\t},\n\t\ttoSchemaView(schema) {\n\t\t\treturn mongoSchemaToView(schema);\n\t\t},\n\t\ttoOperationPreview(operations) {\n\t\t\treturn mongoOperationsToPreview(operations);\n\t\t}\n\t};\n}\n//#endregion\n//#region src/core/control-descriptor.ts\nvar MongoFamilyDescriptor = class {\n\tkind = \"family\";\n\tid = \"mongo\";\n\tfamilyId = \"mongo\";\n\tversion = \"0.0.1\";\n\temission = mongoEmission;\n\tauthoring = {\n\t\tentityTypes: mongoFamilyEntityTypes,\n\t\tpslBlockDescriptors: mongoFamilyPslBlockDescriptors\n\t};\n\tcreate(stack) {\n\t\treturn createMongoFamilyInstance(stack);\n\t}\n};\nconst mongoFamilyDescriptor = new MongoFamilyDescriptor();\n//#endregion\nexport { canonicalizeSchemasForVerification, contractToMongoSchemaIR, createMongoFamilyInstance, diffMongoSchemas, formatMongoOperations, mongoFamilyDescriptor, mongoOperationsToPreview };\n\n//# sourceMappingURL=control.mjs.map"],"mappings":";;;;;;;;;;;AAWA,SAAS,cAAc,MAAM;CAC5B,OAAO,KAAK,KAAK,KAAK,MAAM,GAAG,KAAK,UAAU,EAAE,KAAK,EAAE,IAAI,KAAK,UAAU,EAAE,SAAS,GAAG,CAAC,CAAC,KAAK,IAAI,EAAE;AACtG;AACA,MAAM,oCAAoC,IAAI,IAAI;CACjD;CACA;CACA;AACD,CAAC;AACD,SAAS,oBAAoB,KAAK;CACjC,MAAM,QAAQ,OAAO,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,KAAK,WAAW,CAAC,kBAAkB,IAAI,GAAG,KAAK,UAAU,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,WAAW,GAAG,IAAI,IAAI,KAAK,UAAU,KAAK,GAAG;CACpK,IAAI,MAAM,WAAW,GAAG,OAAO,KAAK;CACpC,OAAO,KAAK,MAAM,KAAK,IAAI,EAAE;AAC9B;AACA,SAAS,cAAc,KAAK;CAC3B,OAAO,oBAAoB,GAAG;AAC/B;AACA,SAAS,8BAA8B,KAAK;CAC3C,OAAO,oBAAoB,GAAG;AAC/B;AACA,IAAI,2BAA2B,MAAM;CACpC,YAAY,KAAK;EAChB,MAAM,UAAU,cAAc,IAAI,IAAI;EACtC,MAAM,OAAO,cAAc,GAAG;EAC9B,OAAO,OAAO,MAAM,IAAI,WAAW,eAAe,QAAQ,IAAI,KAAK,KAAK,MAAM,IAAI,WAAW,eAAe,QAAQ;CACrH;CACA,UAAU,KAAK;EACd,OAAO,MAAM,IAAI,WAAW,aAAa,KAAK,UAAU,IAAI,IAAI,EAAE;CACnE;CACA,iBAAiB,KAAK;EACrB,MAAM,OAAO,8BAA8B,GAAG;EAC9C,OAAO,OAAO,uBAAuB,KAAK,UAAU,IAAI,UAAU,EAAE,IAAI,KAAK,KAAK,uBAAuB,KAAK,UAAU,IAAI,UAAU,EAAE;CACzI;CACA,eAAe,KAAK;EACnB,OAAO,MAAM,IAAI,WAAW;CAC7B;CACA,QAAQ,KAAK;EACZ,MAAM,QAAQ,CAAC,YAAY,KAAK,UAAU,IAAI,UAAU,GAAG;EAC3D,KAAK,MAAM,CAAC,KAAK,UAAU,OAAO,QAAQ,GAAG,GAAG,IAAI,CAAC,kBAAkB,IAAI,GAAG,KAAK,UAAU,KAAK,GAAG,MAAM,KAAK,GAAG,IAAI,IAAI,KAAK,UAAU,KAAK,GAAG;EAClJ,OAAO,mBAAmB,MAAM,KAAK,IAAI,EAAE;CAC5C;AACD;AACA,MAAM,YAAY,IAAI,yBAAyB;AAC/C,SAAS,sBAAsB,YAAY;CAC1C,MAAM,aAAa,CAAC;CACpB,KAAK,MAAM,aAAa,YAAY;EACnC,MAAM,YAAY;EAClB,IAAI,EAAE,aAAa,cAAc,CAAC,MAAM,QAAQ,UAAU,UAAU,GAAG;EACvE,KAAK,MAAM,QAAQ,UAAU,YAAY,IAAI,KAAK,WAAW,OAAO,KAAK,QAAQ,WAAW,YAAY,WAAW,KAAK,KAAK,QAAQ,OAAO,SAAS,CAAC;CACvJ;CACA,OAAO;AACR;;;;;;AAMA,SAAS,yBAAyB,YAAY;CAC7C,OAAO,EAAE,YAAY,sBAAsB,UAAU,CAAC,CAAC,KAAK,UAAU;EACrE;EACA,UAAU;CACX,EAAE,EAAE;AACL;AAGA,SAAS,kBAAkB,QAAQ;CAClC,MAAM,kBAAkB,OAAO,YAAY,KAAK,eAAe,uBAAuB,WAAW,MAAM,UAAU,CAAC;CAClH,OAAO,EAAE,MAAM,IAAI,eAAe;EACjC,MAAM;EACN,IAAI;EACJ,OAAO;EACP,GAAG,UAAU,YAAY,gBAAgB,SAAS,IAAI,kBAAkB,KAAK,CAAC;CAC/E,CAAC,EAAE;AACJ;AACA,SAAS,uBAAuB,MAAM,YAAY;CACjD,MAAM,WAAW,CAAC;CAClB,KAAK,MAAM,SAAS,WAAW,SAAS;EACvC,MAAM,cAAc,MAAM,KAAK,KAAK,MAAM;GACzC,IAAI,EAAE,cAAc,GAAG,OAAO,EAAE;GAChC,IAAI,EAAE,cAAc,IAAI,OAAO,GAAG,EAAE,MAAM;GAC1C,OAAO,GAAG,EAAE,MAAM,GAAG,EAAE;EACxB,CAAC,CAAC,CAAC,KAAK,IAAI;EACZ,MAAM,SAAS,MAAM,SAAS,iBAAiB;EAC/C,MAAM,UAAU,CAAC;EACjB,IAAI,MAAM,QAAQ,QAAQ,KAAK,QAAQ;EACvC,IAAI,MAAM,sBAAsB,MAAM,QAAQ,KAAK,QAAQ,MAAM,mBAAmB,EAAE;EACtF,IAAI,MAAM,yBAAyB,QAAQ,KAAK,SAAS;EACzD,MAAM,aAAa,QAAQ,SAAS,IAAI,KAAK,QAAQ,KAAK,IAAI,EAAE,KAAK;EACrE,SAAS,KAAK,IAAI,eAAe;GAChC,MAAM;GACN,IAAI,SAAS,KAAK,GAAG,MAAM,KAAK,KAAK,MAAM,GAAG,EAAE,MAAM,GAAG,EAAE,WAAW,CAAC,CAAC,KAAK,GAAG;GAChF,OAAO,GAAG,OAAO,IAAI,YAAY,GAAG;GACpC,MAAM;IACL,MAAM,MAAM;IACZ,QAAQ,MAAM;IACd,GAAG,UAAU,UAAU,MAAM,UAAU,KAAK,CAAC;IAC7C,GAAG,UAAU,sBAAsB,MAAM,sBAAsB,KAAK,CAAC;IACrE,GAAG,UAAU,2BAA2B,MAAM,2BAA2B,KAAK,CAAC;GAChF;EACD,CAAC,CAAC;CACH;CACA,IAAI,WAAW,WAAW;EACzB,MAAM,oBAAoB,CAAC;EAC3B,MAAM,aAAa,WAAW,UAAU;EACxC,MAAM,aAAa,WAAW;EAC9B,MAAM,WAAW,IAAI,IAAI,WAAW,eAAe,CAAC,CAAC;EACrD,IAAI,YAAY,KAAK,MAAM,CAAC,UAAU,YAAY,OAAO,QAAQ,UAAU,GAAG;GAC7E,MAAM,WAAW,QAAQ,eAAe;GACxC,MAAM,SAAS,SAAS,IAAI,QAAQ,IAAI,gBAAgB;GACxD,kBAAkB,KAAK,IAAI,eAAe;IACzC,MAAM;IACN,IAAI,SAAS,KAAK,GAAG;IACrB,OAAO,GAAG,SAAS,IAAI,WAAW;GACnC,CAAC,CAAC;EACH;EACA,SAAS,KAAK,IAAI,eAAe;GAChC,MAAM;GACN,IAAI,aAAa;GACjB,OAAO,qBAAqB,WAAW,UAAU,gBAAgB,YAAY,WAAW,UAAU,iBAAiB;GACnH,MAAM;IACL,iBAAiB,WAAW,UAAU;IACtC,kBAAkB,WAAW,UAAU;IACvC,YAAY,WAAW,UAAU;GAClC;GACA,GAAG,UAAU,YAAY,kBAAkB,SAAS,IAAI,oBAAoB,KAAK,CAAC;EACnF,CAAC,CAAC;CACH;CACA,IAAI,WAAW,SAAS;EACvB,MAAM,OAAO,WAAW;EACxB,MAAM,YAAY,CAAC;EACnB,IAAI,KAAK,QAAQ,UAAU,KAAK,QAAQ;EACxC,IAAI,KAAK,YAAY,UAAU,KAAK,YAAY;EAChD,IAAI,KAAK,WAAW,UAAU,KAAK,WAAW;EAC9C,IAAI,KAAK,8BAA8B,UAAU,KAAK,8BAA8B;EACpF,IAAI,KAAK,gBAAgB,UAAU,KAAK,gBAAgB;EACxD,IAAI,UAAU,SAAS,GAAG,SAAS,KAAK,IAAI,eAAe;GAC1D,MAAM;GACN,IAAI,WAAW;GACf,OAAO,YAAY,UAAU,KAAK,IAAI,EAAE;GACxC,MAAM;IACL,GAAG,UAAU,UAAU,KAAK,UAAU,KAAK,CAAC;IAC5C,GAAG,UAAU,cAAc,KAAK,cAAc,KAAK,CAAC;IACpD,GAAG,UAAU,aAAa,KAAK,aAAa,KAAK,CAAC;IAClD,GAAG,UAAU,gCAAgC,KAAK,gCAAgC,KAAK,CAAC;IACxF,GAAG,UAAU,kBAAkB,KAAK,kBAAkB,KAAK,CAAC;GAC7D;EACD,CAAC,CAAC;CACH;CACA,OAAO,IAAI,eAAe;EACzB,MAAM;EACN,IAAI,cAAc;EAClB,OAAO,cAAc;EACrB,GAAG,UAAU,YAAY,SAAS,SAAS,IAAI,WAAW,KAAK,CAAC;CACjE,CAAC;AACF;AAGA,SAAS,yBAAyB,cAAc;CAC/C,OAAO,IAAI,wBAAwB,CAAC,CAAC,oBAAoB,YAAY;AACtE;;;;;;;;;;;;;;;AAeA,SAAS,yBAAyB,UAAU;CAC3C,OAAO;AACR;AACA,SAAS,kBAAkB,MAAM;CAChC,OAAO;EACN,IAAI,KAAK;EACT,GAAG,UAAU,QAAQ,KAAK,IAAI;EAC9B,SAAS,KAAK;EACd,UAAU;GACT,aAAa,KAAK;GAClB,GAAG,UAAU,eAAe,KAAK,mBAAmB;EACrD;EACA,GAAG,UAAU,UAAU,KAAK,SAAS;GACpC,aAAa,KAAK,OAAO;GACzB,aAAa,KAAK,OAAO;EAC1B,IAAI,KAAK,CAAC;EACV,QAAQ;GACP,UAAU,KAAK;GACf,GAAG,UAAU,UAAU,KAAK,cAAc;EAC3C;EACA,MAAM;GACL,cAAc,KAAK;GACnB,GAAG,UAAU,cAAc,KAAK,UAAU;EAC3C;EACA,SAAS,EAAE,OAAO,KAAK,UAAU;CAClC;AACD;AACA,SAAS,0BAA0B,cAAc;CAChD,MAAM,aAAa,aAAa,cAAc,CAAC;CAC/C,KAAK,MAAM,aAAa,YAAY,IAAI,UAAU,eAAe;EAChE,MAAM,EAAE,cAAc,YAAY,UAAU;EAC5C,gCAAgC;GAC/B,aAAa,UAAU;GACvB,QAAQ,aAAa;GACrB,cAAc,aAAa;GAC3B,SAAS,aAAa;GACtB,aAAa,QAAQ;GACrB,GAAG;EACJ,CAAC;CACF;CACA,MAAM,UAAU,aAAa;CAC7B,MAAM,0BAA0B;EAC/B,IAAI,CAAC,SAAS,MAAM,IAAI,cAAc,6DAA6D;EACnG,OAAO,QAAQ,OAAO,YAAY;CACnC;CACA,SAAS,oBAAoB,QAAQ;EACpC,OAAO,OAAO,aAAa;CAC5B;CACA,SAAS,cAAc,QAAQ;EAC9B,IAAI,CAAC,oBAAoB,MAAM,GAAG,MAAM,gBAAgB,4BAA4B,6DAA6D,OAAO,SAAS,EAAE;EACnK,OAAO;CACR;CACA,OAAO;EACN,UAAU;EACV,oBAAoB,cAAc;GACjC,OAAO,yBAAyB,YAAY;EAC7C;EACA,MAAM,OAAO,SAAS;GACrB,MAAM,EAAE,QAAQ,UAAU,aAAa,kBAAkB,cAAc,eAAe;GACtF,MAAM,YAAY,KAAK,IAAI;GAC3B,MAAM,WAAW,yBAAyB,WAAW;GACrD,MAAM,sBAAsB,SAAS,QAAQ;GAC7C,MAAM,sBAAsB,SAAS;GACrC,MAAM,iBAAiB,SAAS;GAChC,MAAM,WAAW;IAChB;IACA;IACA;IACA;IACA,GAAG,UAAU,cAAc,UAAU;GACtC;GACA,IAAI,mBAAmB,kBAAkB,OAAO,kBAAkB;IACjE,GAAG;IACH,IAAI;IACJ,MAAM;IACN,SAAS;IACT,gBAAgB;IAChB,WAAW,KAAK,IAAI,IAAI;GACzB,CAAC;GACD,MAAM,SAAS,MAAM,kBAAkB,CAAC,CAAC,WAAW,cAAc,MAAM,GAAG,YAAY;GACvF,IAAI,CAAC,QAAQ,OAAO,kBAAkB;IACrC,GAAG;IACH,IAAI;IACJ,MAAM;IACN,SAAS;IACT,WAAW,KAAK,IAAI,IAAI;GACzB,CAAC;GACD,IAAI,OAAO,gBAAgB,qBAAqB,OAAO,kBAAkB;IACxE,GAAG;IACH,IAAI;IACJ,MAAM;IACN,SAAS;IACT;IACA,WAAW,KAAK,IAAI,IAAI;GACzB,CAAC;GACD,IAAI,uBAAuB,OAAO,gBAAgB,qBAAqB,OAAO,kBAAkB;IAC/F,GAAG;IACH,IAAI;IACJ,MAAM;IACN,SAAS;IACT;IACA,WAAW,KAAK,IAAI,IAAI;GACzB,CAAC;GACD,OAAO,kBAAkB;IACxB,GAAG;IACH,IAAI;IACJ,SAAS;IACT;IACA,WAAW,KAAK,IAAI,IAAI;GACzB,CAAC;EACF;EACA,aAAa,SAAS;GACrB,OAAO,kBAAkB;IACxB,UAAU,yBAAyB,QAAQ,QAAQ;IACnD,QAAQ,QAAQ;IAChB,QAAQ,QAAQ;IAChB,qBAAqB,QAAQ;GAC9B,CAAC;EACF;EACA,MAAM,KAAK,SAAS;GACnB,MAAM,EAAE,QAAQ,UAAU,aAAa,cAAc,eAAe;GACpE,MAAM,YAAY,KAAK,IAAI;GAC3B,MAAM,WAAW,yBAAyB,WAAW;GACrD,MAAM,sBAAsB,SAAS,QAAQ;GAC7C,MAAM,sBAAsB,SAAS;GACrC,MAAM,iBAAiB,kBAAkB;GACzC,MAAM,cAAc,cAAc,MAAM;GACxC,MAAM,iBAAiB,MAAM,eAAe,WAAW,aAAa,YAAY;GAChF,IAAI,gBAAgB;GACpB,IAAI,gBAAgB;GACpB,IAAI;GACJ,IAAI,CAAC,gBAAgB;IACpB,MAAM,eAAe,WAAW,aAAa,cAAc;KAC1D,aAAa;KACb,aAAa;IACd,CAAC;IACD,gBAAgB;GACjB,OAAO;IACN,MAAM,qBAAqB,eAAe,gBAAgB;IAC1D,MAAM,qBAAqB,eAAe,gBAAgB;IAC1D,IAAI,CAAC,sBAAsB,CAAC,oBAAoB;KAC/C,iBAAiB;MAChB,aAAa,eAAe;MAC5B,aAAa,eAAe;KAC7B;KACA,IAAI,CAAC,MAAM,eAAe,aAAa,aAAa,cAAc,eAAe,aAAa;MAC7F,aAAa;MACb,aAAa;KACd,CAAC,GAAG,MAAM,gBAAgB,gCAAgC,kEAAkE;KAC5H,gBAAgB;IACjB;GACD;GACA,IAAI;GACJ,IAAI,eAAe,UAAU;QACxB,IAAI,eAAe,UAAU,wCAAwC,gBAAgB,eAAe,UAAU;QAC9G,UAAU;GACf,OAAO;IACN,IAAI;IACJ;IACA,UAAU;KACT,aAAa;KACb,aAAa;IACd;IACA,QAAQ;KACP,UAAU,SAAS;KACnB,QAAQ,SAAS;IAClB;IACA,QAAQ;KACP,SAAS;KACT,SAAS;KACT,GAAG,UAAU,YAAY,cAAc;IACxC;IACA,MAAM;KACL;KACA,GAAG,UAAU,cAAc,UAAU;IACtC;IACA,SAAS,EAAE,OAAO,KAAK,IAAI,IAAI,UAAU;GAC1C;EACD;EACA,MAAM,WAAW,SAAS;GACzB,OAAO,kBAAkB,CAAC,CAAC,WAAW,cAAc,QAAQ,MAAM,GAAG,QAAQ,KAAK;EACnF;EACA,MAAM,eAAe,SAAS;GAC7B,OAAO,kBAAkB,CAAC,CAAC,eAAe,cAAc,QAAQ,MAAM,CAAC;EACxE;EACA,MAAM,WAAW,SAAS;GACzB,OAAO,kBAAkB,CAAC,CAAC,WAAW,cAAc,QAAQ,MAAM,GAAG,QAAQ,KAAK;EACnF;EACA,MAAM,WAAW,SAAS;GACzB,OAAO,kBAAkB,CAAC,CAAC,iBAAiB,cAAc,QAAQ,MAAM,CAAC;EAC1E;EACA,aAAa,QAAQ;GACpB,OAAO,kBAAkB,MAAM;EAChC;EACA,mBAAmB,YAAY;GAC9B,OAAO,yBAAyB,UAAU;EAC3C;CACD;AACD;AAGA,IAAI,wBAAwB,MAAM;CACjC,OAAO;CACP,KAAK;CACL,WAAW;CACX,UAAU;CACV,WAAW;CACX,YAAY;EACX,aAAa;EACb,qBAAqB;CACtB;CACA,OAAO,OAAO;EACb,OAAO,0BAA0B,KAAK;CACvC;AACD;AACA,MAAM,wBAAwB,IAAI,sBAAsB"}

package/dist/control-Cj81sPbj.d.mts

@@ -0,0 +1,101 @@
+import { C as MongoContract, W as MongoStorageShape } from "./mongo-value-set-tNn9-pun-dJYx_rVD.mjs";
+import "./index-Cd2zLiU6.mjs";
+import { o as MongoSchemaIR } from "./index-DxoO-ywI.mjs";
+import { Contract, ControlPolicy } from "@prisma/orm-framework/contract/types";
+import { ContractSerializer, ContractSpace, ControlExtensionDescriptor, ControlFamilyDescriptor, ControlFamilyInstance, ControlStack, MigratableTargetDescriptor, MigrationPlanOperation, OperationPreview, OperationPreviewCapable, SchemaDiffIssue, SchemaVerifier, SchemaViewCapable } from "@prisma/orm-framework/components/control";
+//#region ../../../2-mongo-family/9-family/dist/control.d.mts
+//#region src/core/contract-to-schema.d.ts
+declare function contractToMongoSchemaIR(contract: MongoContract | null): MongoSchemaIR;
+//#endregion
+//#region src/core/control-instance.d.ts
+interface MongoControlFamilyInstance extends ControlFamilyInstance<'mongo', MongoSchemaIR>, SchemaViewCapable<MongoSchemaIR>, OperationPreviewCapable {
+  /**
+   * The family seam-of-record for on-disk contract reads. Structurally
+   * validates the JSON envelope, then casts to the framework `Contract`
+   * shape; the per-target serializer (held on the Mongo target
+   * descriptor) does the class-form wrap for downstream consumers, so
+   * the family only needs the validated data. The single named entry
+   * point every CLI on-disk read crosses (TML-2536) — `as Contract`
+   * casts in production package sources are a serializer-bypass smell
+   * guarded by `pnpm lint:no-contract-cast`.
+   */
+  deserializeContract(contractJson: unknown): Contract;
+}
+declare function createMongoFamilyInstance(controlStack: ControlStack): MongoControlFamilyInstance;
+//#endregion
+//#region src/core/control-descriptor.d.ts
+declare const mongoFamilyDescriptor: ControlFamilyDescriptor<'mongo', MongoControlFamilyInstance>;
+//#endregion
+//#region src/core/control-target-descriptor.d.ts
+/**
+ * Mongo target control descriptor type. Extends the framework's
+ * `MigratableTargetDescriptor` with two named SPI properties next to
+ * the existing `migrations` capability:
+ *
+ * - `contractSerializer` — JSON to class boundary for Mongo contracts.
+ * - `schemaVerifier` — per-target verifier walking the family contract
+ *   against `MongoSchemaIR`.
+ *
+ * The descriptor itself is the aggregator; no extra `Target<TContract,
+ * TSchema>` interface is introduced.
+ */
+interface MongoControlTargetDescriptor<TContract extends MongoContract = MongoContract> extends MigratableTargetDescriptor<'mongo', 'mongo', MongoControlFamilyInstance> {
+  readonly contractSerializer: ContractSerializer<TContract>;
+  readonly schemaVerifier: SchemaVerifier<TContract, MongoSchemaIR>;
+}
+//#endregion
+//#region src/core/control-types.d.ts
+/**
+ * Mongo-family extension descriptor.
+ *
+ * Extensions that contribute schema opt into the per-space planner /
+ * runner / verifier by setting `contractSpace`. Extensions without it
+ * are codec-only or query-ops-only — today's behaviour preserved.
+ *
+ * The shape comes from `@internal/framework-components/control`
+ * (`ContractSpace`) — contract-space identity is a framework concept,
+ * not a Mongo-specific one. The Mongo family specialises the generic
+ * to `MongoContract<MongoStorageShape>` so descriptor authors see a
+ * typed contract value over the raw-JSON envelope shape; the runtime
+ * in-memory class `MongoStorage` structurally satisfies the shape.
+ * Mirrors `SqlControlExtensionDescriptor`.
+ */
+interface MongoControlExtensionDescriptor extends ControlExtensionDescriptor<'mongo', 'mongo'> {
+  readonly contractSpace?: ContractSpace<MongoContract<MongoStorageShape>>;
+}
+//#endregion
+//#region src/core/operation-preview.d.ts
+declare function formatMongoOperations(operations: readonly MigrationPlanOperation[]): string[];
+/**
+ * Wraps `formatMongoOperations` into the family-agnostic
+ * `OperationPreview` shape. Each statement carries
+ * `language: 'mongodb-shell'`. Mirrors `sqlOperationsToPreview`.
+ */
+declare function mongoOperationsToPreview(operations: readonly MigrationPlanOperation[]): OperationPreview;
+//#endregion
+//#region src/core/schema-diff.d.ts
+/**
+ * The Mongo schema diff, issue-only: `failures` carry the verdict (a verify
+ * passes exactly when it is empty), `warnings` the surviving warn-graded
+ * findings (live-only extras in non-strict mode, `observed` subjects).
+ *
+ * Each issue's `path` carries the coordinate — `[collectionName]` for a
+ * whole-collection finding, `[collectionName, 'index:…' | 'validator' |
+ * 'options']` for an auxiliary — and `expected`/`actual` carry the real
+ * Mongo schema-IR node the finding concerns.
+ */
+interface MongoSchemaDiff {
+  readonly failures: readonly SchemaDiffIssue[];
+  readonly warnings: readonly SchemaDiffIssue[];
+}
+declare function diffMongoSchemas(live: MongoSchemaIR, expected: MongoSchemaIR, strict: boolean, collectionControlPolicy: (collectionName: string) => ControlPolicy): MongoSchemaDiff;
+//#endregion
+//#region src/core/schema-verify/canonicalize-introspection.d.ts
+interface CanonicalizedSchemas {
+  readonly live: MongoSchemaIR;
+  readonly expected: MongoSchemaIR;
+}
+declare function canonicalizeSchemasForVerification(live: MongoSchemaIR, expected: MongoSchemaIR): CanonicalizedSchemas;
+//#endregion
+export { contractToMongoSchemaIR as a, formatMongoOperations as c, canonicalizeSchemasForVerification as i, mongoFamilyDescriptor as l, MongoControlFamilyInstance as n, createMongoFamilyInstance as o, MongoControlTargetDescriptor as r, diffMongoSchemas as s, MongoControlExtensionDescriptor as t, mongoOperationsToPreview as u };
+//# sourceMappingURL=control-Cj81sPbj.d.mts.map

package/dist/control-Cj81sPbj.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"control-Cj81sPbj.d.mts","names":[],"sources":["../../../../2-mongo-family/9-family/dist/control.d.mts"],"mappings":";;;;;;;iBAKiB,wBAAwB,UAAU,uBAAuB;;;UAGhE,mCAAmC,+BAA+B,gBAAgB,kBAAkB,gBAAgB;;;;;;;;;;;EAW5H,oBAAoB,wBAAwB;;iBAE7B,0BAA0B,cAAc,eAAe;;;cAG1D,uBAAuB,iCAAiC;;;;;;;;;;;;;;;UAe5D,6BAA6B,kBAAkB,gBAAgB,uBAAuB,6CAA6C;WAClI,oBAAoB,mBAAmB;WACvC,gBAAgB,eAAe,WAAW;;;;;;;;;;;;;;;;;;;UAmB3C,wCAAwC;WACvC,gBAAgB,cAAc,cAAc;;;;iBAItC,sBAAsB,qBAAqB;;;;;;iBAM3C,yBAAyB,qBAAqB,2BAA2B;;;;;;;;;;;;;UAahF;WACC,mBAAmB;WACnB,mBAAmB;;iBAEb,iBAAiB,MAAM,eAAe,UAAU,eAAe,iBAAiB,0BAA0B,2BAA2B,gBAAgB;;;UAG5J;WACC,MAAM;WACN,UAAU;;iBAEJ,mCAAmC,MAAM,eAAe,UAAU,gBAAgB"}

package/dist/control-adapter-Db5pT77b.d.mts

@@ -0,0 +1,83 @@
+import { o as MongoSchemaIR } from "./index-DxoO-ywI.mjs";
+import { ContractMarkerRecord, LedgerEntryRecord } from "@prisma/orm-framework/contract/types";
+import { ControlAdapterDescriptor, ControlAdapterInstance, ControlDriverInstance } from "@prisma/orm-framework/components/control";
+//#region ../../../2-mongo-family/9-family/dist/control-adapter.d.mts
+//#region src/core/control-adapter.d.ts
+/**
+ * Mongo control adapter interface for control-plane operations.
+ * Implemented by target-specific adapters (e.g. `@internal/adapter-mongo`).
+ *
+ * Mirrors `SqlControlAdapter` so the family layer dispatches every
+ * driver-bound wire operation through a single SPI surface instead of
+ * importing target-package internals directly. The adapter is the
+ * natural home for these method bodies because it owns both the
+ * `ControlDriverInstance` (which exposes the underlying `Db`) and the
+ * Mongo command vocabulary used to talk to it.
+ *
+ * @template TTarget - The target ID (today only `'mongo'`).
+ */
+interface MongoControlAdapter<TTarget extends string = string> extends ControlAdapterInstance<'mongo', TTarget> {
+  /**
+   * Reads the contract marker document for `space`, or returns `null`
+   * if no marker document has been written for that space yet. Each
+   * space owns one document keyed by `_id: <space>` in the
+   * `_prisma_migrations` collection.
+   */
+  readMarker(driver: ControlDriverInstance<'mongo', TTarget>, space: string): Promise<ContractMarkerRecord | null>;
+  /**
+   * Reads every marker document (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 documents exist yet.
+   */
+  readAllMarkers(driver: ControlDriverInstance<'mongo', TTarget>): Promise<ReadonlyMap<string, ContractMarkerRecord>>;
+  /**
+   * Inserts an initial marker document for the given space.
+   */
+  initMarker(driver: ControlDriverInstance<'mongo', TTarget>, space: string, destination: {
+    readonly storageHash: string;
+    readonly profileHash: string;
+    readonly invariants?: readonly string[];
+  }): Promise<void>;
+  /**
+   * Atomically updates the marker document for `space` (CAS on
+   * `expectedFrom`). Returns `true` when the CAS succeeded, `false`
+   * when another process advanced the marker first.
+   */
+  updateMarker(driver: ControlDriverInstance<'mongo', TTarget>, 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 documents in the same collection; their key shape
+   * distinguishes them at read time.
+   */
+  writeLedgerEntry(driver: ControlDriverInstance<'mongo', TTarget>, space: string, entry: {
+    readonly edgeId: string;
+    readonly from: string;
+    readonly to: string;
+    readonly migrationName: string;
+    readonly migrationHash: string;
+    readonly operations: readonly unknown[];
+  }): Promise<void>;
+  /**
+   * Reads the per-migration ledger journal in apply order. When `space` is
+   * omitted, returns rows for every space.
+   */
+  readLedger(driver: ControlDriverInstance<'mongo', TTarget>, space?: string): Promise<readonly LedgerEntryRecord[]>;
+  /**
+   * Introspects the live database and returns a `MongoSchemaIR`.
+   */
+  introspectSchema(driver: ControlDriverInstance<'mongo', TTarget>): Promise<MongoSchemaIR>;
+}
+/**
+ * Mongo control adapter descriptor. Mirrors `SqlControlAdapterDescriptor`:
+ * extends the framework's `ControlAdapterDescriptor` and narrows the
+ * `create()` return to a `MongoControlAdapter<TTarget>`.
+ */
+interface MongoControlAdapterDescriptor<TTarget extends string = string> extends ControlAdapterDescriptor<'mongo', TTarget, MongoControlAdapter<TTarget>> {}
+//#endregion
+export { MongoControlAdapterDescriptor as n, MongoControlAdapter as t };
+//# sourceMappingURL=control-adapter-Db5pT77b.d.mts.map

package/dist/control-adapter-Db5pT77b.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"control-adapter-Db5pT77b.d.mts","names":[],"sources":["../../../../2-mongo-family/9-family/dist/control-adapter.d.mts"],"mappings":";;;;;;;;;;;;;;;;;;UAiBU,oBAAoB,yCAAyC,gCAAgC;;;;;;;EAOrG,WAAW,QAAQ,+BAA+B,UAAU,gBAAgB,QAAQ;;;;;;;EAOpF,eAAe,QAAQ,+BAA+B,WAAW,QAAQ,oBAAoB;;;;EAI7F,WAAW,QAAQ,+BAA+B,UAAU,eAAe;aAChE;aACA;aACA;MACP;;;;;;EAMJ,aAAa,QAAQ,+BAA+B,UAAU,eAAe,sBAAsB;aACxF;aACA;aACA;MACP;;;;;;EAMJ,iBAAiB,QAAQ,+BAA+B,UAAU,eAAe;aACtE;aACA;aACA;aACA;aACA;aACA;MACP;;;;;EAKJ,WAAW,QAAQ,+BAA+B,UAAU,iBAAiB,iBAAiB;;;;EAI9F,iBAAiB,QAAQ,+BAA+B,WAAW,QAAQ;;;;;;;UAOnE,8BAA8B,yCAAyC,kCAAkC,SAAS,oBAAoB"}

package/dist/dist-C7Ykq48Q.mjs

@@ -0,0 +1,19 @@
+//#region ../../../2-mongo-family/1-foundation/mongo-value/dist/index.mjs
+var MongoParamRef = class MongoParamRef {
+	value;
+	name;
+	codecId;
+	constructor(value, options) {
+		this.value = value;
+		this.name = options?.name;
+		this.codecId = options?.codecId;
+		Object.freeze(this);
+	}
+	static of(value, options) {
+		return new MongoParamRef(value, options);
+	}
+};
+//#endregion
+export { MongoParamRef as t };
+
+//# sourceMappingURL=dist-C7Ykq48Q.mjs.map