@prisma-next/target-mongo 0.5.0-dev.3 → 0.5.0-dev.30

package/dist/verify-mongo-schema-P0TRBJNs.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-mongo-schema-P0TRBJNs.mjs","names":["issues: SchemaIssue[]","collectionChildren: SchemaVerificationNode[]","nodes: SchemaVerificationNode[]","MongoSchemaIRCtor","MongoSchemaCollectionCtor","MongoSchemaIndexCtor","projectedKeys: IndexKey[]","MongoSchemaCollectionOptionsCtor","out: Record<string, unknown>"],"sources":["../src/core/contract-to-schema.ts","../src/core/schema-diff.ts","../src/core/schema-verify/canonicalize-introspection.ts","../src/core/schema-verify/verify-mongo-schema.ts"],"sourcesContent":["import type {\n  MongoContract,\n  MongoStorageCollection,\n  MongoStorageCollectionOptions,\n  MongoStorageIndex,\n  MongoStorageValidator,\n} from '@prisma-next/mongo-contract';\nimport {\n  MongoSchemaCollection,\n  MongoSchemaCollectionOptions,\n  MongoSchemaIndex,\n  MongoSchemaIR,\n  MongoSchemaValidator,\n} from '@prisma-next/mongo-schema-ir';\n\nfunction convertIndex(index: MongoStorageIndex): MongoSchemaIndex {\n  return new MongoSchemaIndex({\n    keys: index.keys,\n    unique: index.unique,\n    sparse: index.sparse,\n    expireAfterSeconds: index.expireAfterSeconds,\n    partialFilterExpression: index.partialFilterExpression,\n    wildcardProjection: index.wildcardProjection,\n    collation: index.collation,\n    weights: index.weights,\n    default_language: index.default_language,\n    language_override: index.language_override,\n  });\n}\n\nfunction convertValidator(v: MongoStorageValidator): MongoSchemaValidator {\n  return new MongoSchemaValidator({\n    jsonSchema: v.jsonSchema,\n    validationLevel: v.validationLevel,\n    validationAction: v.validationAction,\n  });\n}\n\nfunction convertOptions(o: MongoStorageCollectionOptions): MongoSchemaCollectionOptions {\n  return new MongoSchemaCollectionOptions(o);\n}\n\nfunction convertCollection(name: string, def: MongoStorageCollection): MongoSchemaCollection {\n  const indexes = (def.indexes ?? []).map(convertIndex);\n  return new MongoSchemaCollection({\n    name,\n    indexes,\n    ...(def.validator != null && { validator: convertValidator(def.validator) }),\n    ...(def.options != null && { options: convertOptions(def.options) }),\n  });\n}\n\nexport function contractToMongoSchemaIR(contract: MongoContract | null): MongoSchemaIR {\n  if (!contract) {\n    return new MongoSchemaIR([]);\n  }\n\n  const collections = Object.entries(contract.storage.collections).map(([name, def]) =>\n    convertCollection(name, def),\n  );\n\n  return new MongoSchemaIR(collections);\n}\n","import type {\n  SchemaIssue,\n  SchemaVerificationNode,\n} from '@prisma-next/framework-components/control';\nimport type {\n  MongoSchemaCollection,\n  MongoSchemaIndex,\n  MongoSchemaIR,\n} from '@prisma-next/mongo-schema-ir';\nimport { canonicalize, deepEqual } from '@prisma-next/mongo-schema-ir';\n\nexport function diffMongoSchemas(\n  live: MongoSchemaIR,\n  expected: MongoSchemaIR,\n  strict: boolean,\n): {\n  root: SchemaVerificationNode;\n  issues: SchemaIssue[];\n  counts: { pass: number; warn: number; fail: number; totalNodes: number };\n} {\n  const issues: SchemaIssue[] = [];\n  const collectionChildren: SchemaVerificationNode[] = [];\n  let pass = 0;\n  let warn = 0;\n  let fail = 0;\n\n  const allNames = new Set([...live.collectionNames, ...expected.collectionNames]);\n\n  for (const name of [...allNames].sort()) {\n    const liveColl = live.collection(name);\n    const expectedColl = expected.collection(name);\n\n    if (!liveColl && expectedColl) {\n      issues.push({\n        kind: 'missing_table',\n        table: name,\n        message: `Collection \"${name}\" is missing from the database`,\n      });\n      collectionChildren.push({\n        status: 'fail',\n        kind: 'collection',\n        name,\n        contractPath: `storage.collections.${name}`,\n        code: 'MISSING_COLLECTION',\n        message: `Collection \"${name}\" is missing`,\n        expected: name,\n        actual: null,\n        children: [],\n      });\n      fail++;\n      continue;\n    }\n\n    if (liveColl && !expectedColl) {\n      const status = strict ? 'fail' : 'warn';\n      issues.push({\n        kind: 'extra_table',\n        table: name,\n        message: `Extra collection \"${name}\" exists in the database but not in the contract`,\n      });\n      collectionChildren.push({\n        status,\n        kind: 'collection',\n        name,\n        contractPath: `storage.collections.${name}`,\n        code: 'EXTRA_COLLECTION',\n        message: `Extra collection \"${name}\" found`,\n        expected: null,\n        actual: name,\n        children: [],\n      });\n      if (status === 'fail') fail++;\n      else warn++;\n      continue;\n    }\n\n    const lc = liveColl as MongoSchemaCollection;\n    const ec = expectedColl as MongoSchemaCollection;\n    const indexChildren = diffIndexes(name, lc, ec, strict, issues);\n    const validatorChildren = diffValidator(name, lc, ec, strict, issues);\n    const optionsChildren = diffOptions(name, lc, ec, strict, issues);\n    const children = [...indexChildren, ...validatorChildren, ...optionsChildren];\n\n    const worstStatus = children.reduce<'pass' | 'warn' | 'fail'>(\n      (s, c) => (c.status === 'fail' ? 'fail' : c.status === 'warn' && s !== 'fail' ? 'warn' : s),\n      'pass',\n    );\n\n    for (const c of children) {\n      if (c.status === 'pass') pass++;\n      else if (c.status === 'warn') warn++;\n      else fail++;\n    }\n\n    if (children.length === 0) {\n      pass++;\n    }\n\n    collectionChildren.push({\n      status: worstStatus,\n      kind: 'collection',\n      name,\n      contractPath: `storage.collections.${name}`,\n      code: worstStatus === 'pass' ? 'MATCH' : 'DRIFT',\n      message:\n        worstStatus === 'pass' ? `Collection \"${name}\" matches` : `Collection \"${name}\" has drift`,\n      expected: name,\n      actual: name,\n      children,\n    });\n  }\n\n  const rootStatus = fail > 0 ? 'fail' : warn > 0 ? 'warn' : 'pass';\n  const totalNodes = pass + warn + fail + collectionChildren.length;\n\n  const root: SchemaVerificationNode = {\n    status: rootStatus,\n    kind: 'root',\n    name: 'mongo-schema',\n    contractPath: 'storage',\n    code: rootStatus === 'pass' ? 'MATCH' : 'DRIFT',\n    message: rootStatus === 'pass' ? 'Schema matches' : 'Schema has drift',\n    expected: null,\n    actual: null,\n    children: collectionChildren,\n  };\n\n  return { root, issues, counts: { pass, warn, fail, totalNodes } };\n}\n\nfunction buildIndexLookupKey(index: MongoSchemaIndex): string {\n  const keys = index.keys.map((k) => `${k.field}:${k.direction}`).join(',');\n  const opts = [\n    index.unique ? 'unique' : '',\n    index.sparse ? 'sparse' : '',\n    index.expireAfterSeconds != null ? `ttl:${index.expireAfterSeconds}` : '',\n    index.partialFilterExpression ? `pfe:${canonicalize(index.partialFilterExpression)}` : '',\n    index.wildcardProjection ? `wp:${canonicalize(index.wildcardProjection)}` : '',\n    index.collation ? `col:${canonicalize(index.collation)}` : '',\n    index.weights ? `wt:${canonicalize(index.weights)}` : '',\n    index.default_language ? `dl:${index.default_language}` : '',\n    index.language_override ? `lo:${index.language_override}` : '',\n  ]\n    .filter(Boolean)\n    .join(';');\n  return opts ? `${keys}|${opts}` : keys;\n}\n\nfunction formatIndexName(index: MongoSchemaIndex): string {\n  return index.keys.map((k) => `${k.field}:${k.direction}`).join(', ');\n}\n\nfunction diffIndexes(\n  collName: string,\n  live: MongoSchemaCollection,\n  expected: MongoSchemaCollection,\n  strict: boolean,\n  issues: SchemaIssue[],\n): SchemaVerificationNode[] {\n  const nodes: SchemaVerificationNode[] = [];\n  const liveLookup = new Map<string, MongoSchemaIndex>();\n  for (const idx of live.indexes) liveLookup.set(buildIndexLookupKey(idx), idx);\n\n  const expectedLookup = new Map<string, MongoSchemaIndex>();\n  for (const idx of expected.indexes) expectedLookup.set(buildIndexLookupKey(idx), idx);\n\n  for (const [key, idx] of expectedLookup) {\n    if (liveLookup.has(key)) {\n      nodes.push({\n        status: 'pass',\n        kind: 'index',\n        name: formatIndexName(idx),\n        contractPath: `storage.collections.${collName}.indexes`,\n        code: 'MATCH',\n        message: `Index ${formatIndexName(idx)} matches`,\n        expected: key,\n        actual: key,\n        children: [],\n      });\n    } else {\n      issues.push({\n        kind: 'index_mismatch',\n        table: collName,\n        indexOrConstraint: formatIndexName(idx),\n        message: `Index ${formatIndexName(idx)} missing on collection \"${collName}\"`,\n      });\n      nodes.push({\n        status: 'fail',\n        kind: 'index',\n        name: formatIndexName(idx),\n        contractPath: `storage.collections.${collName}.indexes`,\n        code: 'MISSING_INDEX',\n        message: `Index ${formatIndexName(idx)} missing`,\n        expected: key,\n        actual: null,\n        children: [],\n      });\n    }\n  }\n\n  for (const [key, idx] of liveLookup) {\n    if (!expectedLookup.has(key)) {\n      const status = strict ? 'fail' : 'warn';\n      issues.push({\n        kind: 'extra_index',\n        table: collName,\n        indexOrConstraint: formatIndexName(idx),\n        message: `Extra index ${formatIndexName(idx)} on collection \"${collName}\"`,\n      });\n      nodes.push({\n        status,\n        kind: 'index',\n        name: formatIndexName(idx),\n        contractPath: `storage.collections.${collName}.indexes`,\n        code: 'EXTRA_INDEX',\n        message: `Extra index ${formatIndexName(idx)}`,\n        expected: null,\n        actual: key,\n        children: [],\n      });\n    }\n  }\n\n  return nodes;\n}\n\nfunction diffValidator(\n  collName: string,\n  live: MongoSchemaCollection,\n  expected: MongoSchemaCollection,\n  strict: boolean,\n  issues: SchemaIssue[],\n): SchemaVerificationNode[] {\n  if (!live.validator && !expected.validator) return [];\n\n  if (expected.validator && !live.validator) {\n    issues.push({\n      kind: 'type_missing',\n      table: collName,\n      message: `Validator missing on collection \"${collName}\"`,\n    });\n    return [\n      {\n        status: 'fail',\n        kind: 'validator',\n        name: 'validator',\n        contractPath: `storage.collections.${collName}.validator`,\n        code: 'MISSING_VALIDATOR',\n        message: 'Validator missing',\n        expected: canonicalize(expected.validator.jsonSchema),\n        actual: null,\n        children: [],\n      },\n    ];\n  }\n\n  if (!expected.validator && live.validator) {\n    const status = strict ? 'fail' : 'warn';\n    issues.push({\n      kind: 'extra_validator',\n      table: collName,\n      message: `Extra validator on collection \"${collName}\"`,\n    });\n    return [\n      {\n        status,\n        kind: 'validator',\n        name: 'validator',\n        contractPath: `storage.collections.${collName}.validator`,\n        code: 'EXTRA_VALIDATOR',\n        message: 'Extra validator found',\n        expected: null,\n        actual: canonicalize(live.validator.jsonSchema),\n        children: [],\n      },\n    ];\n  }\n\n  const liveVal = live.validator as NonNullable<typeof live.validator>;\n  const expectedVal = expected.validator as NonNullable<typeof expected.validator>;\n  const liveSchema = canonicalize(liveVal.jsonSchema);\n  const expectedSchema = canonicalize(expectedVal.jsonSchema);\n\n  if (\n    liveSchema !== expectedSchema ||\n    liveVal.validationLevel !== expectedVal.validationLevel ||\n    liveVal.validationAction !== expectedVal.validationAction\n  ) {\n    issues.push({\n      kind: 'type_mismatch',\n      table: collName,\n      expected: expectedSchema,\n      actual: liveSchema,\n      message: `Validator mismatch on collection \"${collName}\"`,\n    });\n    return [\n      {\n        status: 'fail',\n        kind: 'validator',\n        name: 'validator',\n        contractPath: `storage.collections.${collName}.validator`,\n        code: 'VALIDATOR_MISMATCH',\n        message: 'Validator mismatch',\n        expected: {\n          jsonSchema: expectedVal.jsonSchema,\n          validationLevel: expectedVal.validationLevel,\n          validationAction: expectedVal.validationAction,\n        },\n        actual: {\n          jsonSchema: liveVal.jsonSchema,\n          validationLevel: liveVal.validationLevel,\n          validationAction: liveVal.validationAction,\n        },\n        children: [],\n      },\n    ];\n  }\n\n  return [\n    {\n      status: 'pass',\n      kind: 'validator',\n      name: 'validator',\n      contractPath: `storage.collections.${collName}.validator`,\n      code: 'MATCH',\n      message: 'Validator matches',\n      expected: expectedSchema,\n      actual: liveSchema,\n      children: [],\n    },\n  ];\n}\n\nfunction diffOptions(\n  collName: string,\n  live: MongoSchemaCollection,\n  expected: MongoSchemaCollection,\n  strict: boolean,\n  issues: SchemaIssue[],\n): SchemaVerificationNode[] {\n  if (!live.options && !expected.options) return [];\n\n  if (!expected.options && live.options) {\n    const status = strict ? 'fail' : 'warn';\n    issues.push({\n      kind: 'type_mismatch',\n      table: collName,\n      actual: canonicalize(live.options),\n      message: `Extra collection options on \"${collName}\"`,\n    });\n    return [\n      {\n        status,\n        kind: 'options',\n        name: 'options',\n        contractPath: `storage.collections.${collName}.options`,\n        code: 'EXTRA_OPTIONS',\n        message: 'Extra collection options found',\n        expected: null,\n        actual: live.options,\n        children: [],\n      },\n    ];\n  }\n\n  if (deepEqual(live.options, expected.options)) {\n    return [\n      {\n        status: 'pass',\n        kind: 'options',\n        name: 'options',\n        contractPath: `storage.collections.${collName}.options`,\n        code: 'MATCH',\n        message: 'Collection options match',\n        expected: canonicalize(expected.options),\n        actual: canonicalize(live.options),\n        children: [],\n      },\n    ];\n  }\n\n  issues.push({\n    kind: 'type_mismatch',\n    table: collName,\n    expected: canonicalize(expected.options),\n    actual: canonicalize(live.options),\n    message: `Collection options mismatch on \"${collName}\"`,\n  });\n  return [\n    {\n      status: 'fail',\n      kind: 'options',\n      name: 'options',\n      contractPath: `storage.collections.${collName}.options`,\n      code: 'OPTIONS_MISMATCH',\n      message: 'Collection options mismatch',\n      expected: expected.options,\n      actual: live.options,\n      children: [],\n    },\n  ];\n}\n","/**\n * Canonicalizes a live (introspected) `MongoSchemaIR` against the expected\n * (contract-built) IR before diffing. MongoDB applies server-side defaults\n * to several option/index families that are absent from authored contracts,\n * which would otherwise cause `verifyMongoSchema` to report false-positive\n * drift on a fresh `migration apply`.\n *\n * The normalization is contract-aware where it has to be: server defaults\n * are stripped from the live IR for fields the contract did not specify, so\n * a contract that *does* specify a value still gets compared faithfully.\n *\n * Symmetric defaults — like `changeStreamPreAndPostImages: { enabled: false }`,\n * which is equivalent to \"absent\" on both sides — are stripped from both IRs\n * so either authoring style verifies.\n */\n\nimport type {\n  MongoSchemaCollection,\n  MongoSchemaCollectionOptions,\n  MongoSchemaIndex,\n  MongoSchemaIR,\n} from '@prisma-next/mongo-schema-ir';\nimport {\n  MongoSchemaCollection as MongoSchemaCollectionCtor,\n  MongoSchemaCollectionOptions as MongoSchemaCollectionOptionsCtor,\n  MongoSchemaIndex as MongoSchemaIndexCtor,\n  MongoSchemaIR as MongoSchemaIRCtor,\n} from '@prisma-next/mongo-schema-ir';\nimport { ifDefined } from '@prisma-next/utils/defined';\n\nexport interface CanonicalizedSchemas {\n  readonly live: MongoSchemaIR;\n  readonly expected: MongoSchemaIR;\n}\n\nexport function canonicalizeSchemasForVerification(\n  live: MongoSchemaIR,\n  expected: MongoSchemaIR,\n): CanonicalizedSchemas {\n  const expectedByName = new Map<string, MongoSchemaCollection>();\n  for (const c of expected.collections) expectedByName.set(c.name, c);\n\n  const liveByName = new Map<string, MongoSchemaCollection>();\n  for (const c of live.collections) liveByName.set(c.name, c);\n\n  const canonicalLive = live.collections.map((c) =>\n    canonicalizeLiveCollection(c, expectedByName.get(c.name)),\n  );\n  const canonicalExpected = expected.collections.map((c) =>\n    canonicalizeExpectedCollection(c, liveByName.get(c.name)),\n  );\n\n  return {\n    live: new MongoSchemaIRCtor(canonicalLive),\n    expected: new MongoSchemaIRCtor(canonicalExpected),\n  };\n}\n\nfunction canonicalizeLiveCollection(\n  liveColl: MongoSchemaCollection,\n  expectedColl: MongoSchemaCollection | undefined,\n): MongoSchemaCollection {\n  const expectedIndexes = expectedColl?.indexes ?? [];\n  const indexes = liveColl.indexes.map((idx) =>\n    canonicalizeLiveIndex(idx, findExpectedIndexCounterpart(idx, expectedIndexes)),\n  );\n\n  const options = liveColl.options\n    ? canonicalizeLiveOptions(liveColl.options, expectedColl?.options)\n    : undefined;\n\n  return new MongoSchemaCollectionCtor({\n    name: liveColl.name,\n    indexes,\n    ...ifDefined('validator', liveColl.validator),\n    ...ifDefined('options', options),\n  });\n}\n\nfunction canonicalizeExpectedCollection(\n  expectedColl: MongoSchemaCollection,\n  liveColl: MongoSchemaCollection | undefined,\n): MongoSchemaCollection {\n  // Symmetric text-index key ordering: a contract-shaped text index preserves\n  // the user-authored field order, but the introspected counterpart comes\n  // back from MongoDB with `weights` keys in alphabetical order, so we\n  // canonicalize both sides to alphabetical text-key order. The order of\n  // text fields within the text block is semantically irrelevant — relevance\n  // is governed by `weights`, not key order.\n  const indexes = expectedColl.indexes.map(canonicalizeTextIndexKeyOrder);\n\n  const options = expectedColl.options\n    ? canonicalizeExpectedOptions(expectedColl.options, liveColl?.options)\n    : undefined;\n\n  return new MongoSchemaCollectionCtor({\n    name: expectedColl.name,\n    indexes,\n    ...ifDefined('validator', expectedColl.validator),\n    ...ifDefined('options', options),\n  });\n}\n\nfunction canonicalizeTextIndexKeyOrder(index: MongoSchemaIndex): MongoSchemaIndex {\n  const hasTextKey = index.keys.some((k) => k.direction === 'text');\n  if (!hasTextKey) return index;\n  return new MongoSchemaIndexCtor({\n    keys: sortTextKeys(index.keys),\n    unique: index.unique,\n    ...ifDefined('sparse', index.sparse),\n    ...ifDefined('expireAfterSeconds', index.expireAfterSeconds),\n    ...ifDefined('partialFilterExpression', index.partialFilterExpression),\n    ...ifDefined('wildcardProjection', index.wildcardProjection),\n    ...ifDefined('collation', index.collation),\n    ...ifDefined('weights', index.weights),\n    ...ifDefined('default_language', index.default_language),\n    ...ifDefined('language_override', index.language_override),\n  });\n}\n\n/**\n * Returns a copy of `keys` with text-direction entries sorted alphabetically\n * while preserving the relative position of non-text entries. Compound text\n * indexes (`{a: 1, _fts: 'text', _ftsx: 1, b: 1}`) keep their scalar\n * prefix/suffix layout; only the contiguous text block is reordered.\n */\nfunction sortTextKeys(\n  keys: ReadonlyArray<{\n    readonly field: string;\n    readonly direction: 'text' | 1 | -1 | '2dsphere' | '2d' | 'hashed';\n  }>,\n): ReadonlyArray<{\n  readonly field: string;\n  readonly direction: 'text' | 1 | -1 | '2dsphere' | '2d' | 'hashed';\n}> {\n  const textEntries = keys.filter((k) => k.direction === 'text');\n  if (textEntries.length <= 1) return keys;\n  const sortedText = [...textEntries].sort((a, b) => a.field.localeCompare(b.field));\n  let textIdx = 0;\n  return keys.map((k) => {\n    if (k.direction !== 'text') return k;\n    const next = sortedText[textIdx++];\n    /* v8 ignore next 3 -- @preserve invariant guard: textIdx is always < sortedText.length here because we only consume sortedText for text-direction entries and sortedText is built from the same filter. */\n    if (next === undefined) {\n      throw new Error('sortTextKeys: text-key counts mismatched');\n    }\n    return next;\n  });\n}\n\nfunction canonicalizeLiveIndex(\n  liveIndex: MongoSchemaIndex,\n  expectedIndex: MongoSchemaIndex | undefined,\n): MongoSchemaIndex {\n  const projectedKeys = sortTextKeys(projectTextIndexKeys(liveIndex));\n  const collation = liveIndex.collation\n    ? stripUnspecifiedFields(liveIndex.collation, expectedIndex?.collation)\n    : liveIndex.collation;\n\n  // Text-index server defaults: when the contract did not set\n  // `weights`/`default_language`/`language_override`, MongoDB applies\n  // `weights = {<field>: 1, ...}` (uniform), `'english'`, and `'language'`\n  // respectively. Strip them from live *only* when the live value matches\n  // those defaults — preserving non-default live values lets the verifier\n  // surface drift when the live index is tampered (e.g. weights tuned\n  // out-of-band, custom `default_language`/`language_override`) even though\n  // the contract authored neither.\n  const weights =\n    expectedIndex?.weights === undefined && hasDefaultTextWeights(projectedKeys, liveIndex.weights)\n      ? undefined\n      : liveIndex.weights;\n  const default_language =\n    expectedIndex?.default_language === undefined && liveIndex.default_language === 'english'\n      ? undefined\n      : liveIndex.default_language;\n  const language_override =\n    expectedIndex?.language_override === undefined && liveIndex.language_override === 'language'\n      ? undefined\n      : liveIndex.language_override;\n\n  return new MongoSchemaIndexCtor({\n    keys: projectedKeys,\n    unique: liveIndex.unique,\n    ...ifDefined('sparse', liveIndex.sparse),\n    ...ifDefined('expireAfterSeconds', liveIndex.expireAfterSeconds),\n    ...ifDefined('partialFilterExpression', liveIndex.partialFilterExpression),\n    ...ifDefined('wildcardProjection', liveIndex.wildcardProjection),\n    ...ifDefined('collation', collation),\n    ...ifDefined('weights', weights),\n    ...ifDefined('default_language', default_language),\n    ...ifDefined('language_override', language_override),\n  });\n}\n\n/**\n * Locate the contract-side index that corresponds to a live index for the\n * purpose of contract-aware normalization. We deliberately match by the\n * *projected* (contract-shaped) key list — so a live `_fts/_ftsx` index\n * resolves to a contract `{title: 'text', body: 'text'}` index — and pick\n * the first match. Contracts very rarely contain duplicate-key indexes; if\n * we have no counterpart we fall back to no normalization for that index.\n */\nfunction findExpectedIndexCounterpart(\n  liveIndex: MongoSchemaIndex,\n  expectedIndexes: ReadonlyArray<MongoSchemaIndex>,\n): MongoSchemaIndex | undefined {\n  const projectedLiveKeys = sortTextKeys(projectTextIndexKeys(liveIndex));\n  const liveKeySig = projectedLiveKeys.map((k) => `${k.field}:${k.direction}`).join(',');\n  for (const expected of expectedIndexes) {\n    const expectedKeySig = sortTextKeys(expected.keys)\n      .map((k) => `${k.field}:${k.direction}`)\n      .join(',');\n    if (expectedKeySig === liveKeySig) return expected;\n  }\n  return undefined;\n}\n\n/**\n * MongoDB expands a contract-shaped text index like\n * `[{title: 'text'}, {body: 'text'}]` into its internal weighted vector\n * representation `[{_fts: 'text'}, {_ftsx: 1}]`. We project back to\n * contract-shaped keys via `weights`, iterating in whatever order MongoDB\n * returns them (alphabetical, in practice). `sortTextKeys` is applied\n * downstream to canonicalize the order on both sides, so this projection\n * does not depend on a specific iteration order.\n */\nfunction projectTextIndexKeys(liveIndex: MongoSchemaIndex): ReadonlyArray<{\n  readonly field: string;\n  readonly direction: 'text' | 1 | -1 | '2dsphere' | '2d' | 'hashed';\n}> {\n  const isTextIndex =\n    liveIndex.keys.length >= 1 &&\n    liveIndex.keys.some((k) => k.field === '_fts' && k.direction === 'text');\n\n  if (!isTextIndex || !liveIndex.weights) return liveIndex.keys;\n\n  const textKeys = Object.keys(liveIndex.weights).map((field) => ({\n    field,\n    direction: 'text' as const,\n  }));\n\n  // Splice the projected text fields into the original `_fts/_ftsx` slot so\n  // compound text indexes that mix scalar prefixes *and* suffixes — e.g.\n  // `[prefix, _fts, _ftsx, suffix]` — keep their original layout. Flattening\n  // scalars first would yield `[prefix, suffix, ...text]`, which `sortTextKeys`\n  // (downstream) cannot recover because it only reorders text-direction\n  // entries within their existing positions. MongoDB always emits exactly one\n  // `_fts`/`_ftsx` pair per index, so we don't need to guard against\n  // duplicates.\n  type IndexKey = (typeof liveIndex.keys)[number];\n  const projectedKeys: IndexKey[] = [];\n  for (const key of liveIndex.keys) {\n    if (key.field === '_ftsx') continue;\n    if (key.field === '_fts') {\n      projectedKeys.push(...textKeys);\n      continue;\n    }\n    projectedKeys.push(key);\n  }\n  return projectedKeys;\n}\n\n/**\n * MongoDB's server-default `weights` for an authored-without-weights text\n * index assigns `1` to every text-direction field. Returns `true` only when\n * `liveWeights` is exactly that uniform shape (every projected text-direction\n * key weighted at `1`) so the canonicalizer leaves non-default weights —\n * including out-of-band relevance tweaks — visible to the verifier.\n *\n * `projectTextIndexKeys` derives text-direction keys from the live weights\n * map, so the count is guaranteed to match; we only have to check the value\n * shape.\n */\nfunction hasDefaultTextWeights(\n  projectedKeys: ReadonlyArray<{\n    readonly field: string;\n    readonly direction: 'text' | 1 | -1 | '2dsphere' | '2d' | 'hashed';\n  }>,\n  liveWeights: MongoSchemaIndex['weights'],\n): boolean {\n  if (liveWeights === undefined) return false;\n  const textFields = projectedKeys.filter((k) => k.direction === 'text').map((k) => k.field);\n  return textFields.every((field) => liveWeights[field] === 1);\n}\n\nfunction canonicalizeLiveOptions(\n  liveOptions: MongoSchemaCollectionOptions,\n  expectedOptions: MongoSchemaCollectionOptions | undefined,\n): MongoSchemaCollectionOptions | undefined {\n  const collation = liveOptions.collation\n    ? stripUnspecifiedFields(liveOptions.collation, expectedOptions?.collation)\n    : undefined;\n\n  // Timeseries: drop `bucketMaxSpanSeconds` (and any other server-applied\n  // extras) when the contract did not specify them.\n  const timeseries = liveOptions.timeseries\n    ? (stripUnspecifiedFields(\n        liveOptions.timeseries as Record<string, unknown>,\n        expectedOptions?.timeseries as Record<string, unknown> | undefined,\n      ) as MongoSchemaCollectionOptions['timeseries'])\n    : undefined;\n\n  // ClusteredIndex: drop `key`, `unique`, `v` and any other server-applied\n  // extras when the contract did not specify them.\n  const clusteredIndex = liveOptions.clusteredIndex\n    ? (stripUnspecifiedFields(\n        liveOptions.clusteredIndex as Record<string, unknown>,\n        expectedOptions?.clusteredIndex as Record<string, unknown> | undefined,\n      ) as MongoSchemaCollectionOptions['clusteredIndex'])\n    : undefined;\n\n  // changeStreamPreAndPostImages: `{enabled: false}` is equivalent to\n  // \"absent\". Strip it from live so it round-trips with a contract that\n  // omits the field, and is symmetric with the expected-side stripping.\n  const changeStreamPreAndPostImages = isDisabledChangeStream(\n    liveOptions.changeStreamPreAndPostImages,\n  )\n    ? undefined\n    : liveOptions.changeStreamPreAndPostImages;\n\n  const hasMeaningful =\n    liveOptions.capped || timeseries || collation || changeStreamPreAndPostImages || clusteredIndex;\n  if (!hasMeaningful) return undefined;\n\n  return new MongoSchemaCollectionOptionsCtor({\n    ...ifDefined('capped', liveOptions.capped),\n    ...ifDefined('timeseries', timeseries),\n    ...ifDefined('collation', collation),\n    ...ifDefined('changeStreamPreAndPostImages', changeStreamPreAndPostImages),\n    ...ifDefined('clusteredIndex', clusteredIndex),\n  });\n}\n\nfunction canonicalizeExpectedOptions(\n  expectedOptions: MongoSchemaCollectionOptions,\n  _liveOptions: MongoSchemaCollectionOptions | undefined,\n): MongoSchemaCollectionOptions | undefined {\n  // Symmetric: a contract `{enabled: false}` is equivalent to absent.\n  const changeStreamPreAndPostImages = isDisabledChangeStream(\n    expectedOptions.changeStreamPreAndPostImages,\n  )\n    ? undefined\n    : expectedOptions.changeStreamPreAndPostImages;\n\n  const hasMeaningful =\n    expectedOptions.capped ||\n    expectedOptions.timeseries ||\n    expectedOptions.collation ||\n    changeStreamPreAndPostImages ||\n    expectedOptions.clusteredIndex;\n  if (!hasMeaningful) return undefined;\n\n  return new MongoSchemaCollectionOptionsCtor({\n    ...ifDefined('capped', expectedOptions.capped),\n    ...ifDefined('timeseries', expectedOptions.timeseries),\n    ...ifDefined('collation', expectedOptions.collation),\n    ...ifDefined('changeStreamPreAndPostImages', changeStreamPreAndPostImages),\n    ...ifDefined('clusteredIndex', expectedOptions.clusteredIndex),\n  });\n}\n\nfunction isDisabledChangeStream(value: { enabled: boolean } | undefined): boolean {\n  return value !== undefined && value.enabled === false;\n}\n\n/**\n * Returns a copy of `live` containing only the keys that `expected` defines.\n * Used for option families whose individual sub-fields are server-extended\n * with platform defaults (collation, timeseries, clusteredIndex), so the\n * verifier should compare only what the contract actually authored.\n *\n * When `expected` is `undefined` — i.e. the contract authored nothing for\n * this whole option family but the live IR has it — we return `live`\n * unchanged so the verifier still sees the entire live block and can\n * surface it as drift. (Returning `undefined` here would silently strip a\n * server-attached collation/timeseries/clusteredIndex that the contract\n * never asked for, hiding real drift.)\n */\nfunction stripUnspecifiedFields(\n  live: Record<string, unknown>,\n  expected: Record<string, unknown> | undefined,\n): Record<string, unknown> {\n  if (expected === undefined) return live;\n  const out: Record<string, unknown> = {};\n  for (const key of Object.keys(expected)) {\n    if (Object.hasOwn(live, key)) out[key] = live[key];\n  }\n  return out;\n}\n","import type { TargetBoundComponentDescriptor } from '@prisma-next/framework-components/components';\nimport type {\n  OperationContext,\n  VerifyDatabaseSchemaResult,\n} from '@prisma-next/framework-components/control';\nimport { VERIFY_CODE_SCHEMA_FAILURE } from '@prisma-next/framework-components/control';\nimport type { MongoContract } from '@prisma-next/mongo-contract';\nimport type { MongoSchemaIR } from '@prisma-next/mongo-schema-ir';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport { contractToMongoSchemaIR } from '../contract-to-schema';\nimport { diffMongoSchemas } from '../schema-diff';\nimport { canonicalizeSchemasForVerification } from './canonicalize-introspection';\n\nexport interface VerifyMongoSchemaOptions {\n  readonly contract: MongoContract;\n  readonly schema: MongoSchemaIR;\n  readonly strict: boolean;\n  readonly context?: OperationContext;\n  /**\n   * Active framework components participating in this composition. Mongo\n   * verification does not currently consult them, but the parameter exists\n   * for parity with `verifySqlSchema` so callers can pass the same envelope.\n   */\n  readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<'mongo', string>>;\n}\n\nexport function verifyMongoSchema(options: VerifyMongoSchemaOptions): VerifyDatabaseSchemaResult {\n  const { contract, schema, strict, context } = options;\n  const startTime = Date.now();\n\n  const expectedIR = contractToMongoSchemaIR(contract);\n  // Strip server-applied defaults (and authored equivalents) before diffing so\n  // the verifier compares like-with-like — see `canonicalize-introspection.ts`.\n  const { live: canonicalLive, expected: canonicalExpected } = canonicalizeSchemasForVerification(\n    schema,\n    expectedIR,\n  );\n  const { root, issues, counts } = diffMongoSchemas(canonicalLive, canonicalExpected, strict);\n\n  const ok = counts.fail === 0;\n  const profileHash = typeof contract.profileHash === 'string' ? contract.profileHash : '';\n\n  return {\n    ok,\n    ...ifDefined('code', ok ? undefined : VERIFY_CODE_SCHEMA_FAILURE),\n    summary: ok ? 'Schema matches contract' : `Schema verification found ${counts.fail} issue(s)`,\n    contract: {\n      storageHash: contract.storage.storageHash,\n      ...(profileHash ? { profileHash } : {}),\n    },\n    target: { expected: contract.target },\n    schema: { issues, root, counts },\n    meta: {\n      strict,\n      ...ifDefined('contractPath', context?.contractPath),\n      ...ifDefined('configPath', context?.configPath),\n    },\n    timings: { total: Date.now() - startTime },\n  };\n}\n"],"mappings":";;;;;AAeA,SAAS,aAAa,OAA4C;AAChE,QAAO,IAAI,iBAAiB;EAC1B,MAAM,MAAM;EACZ,QAAQ,MAAM;EACd,QAAQ,MAAM;EACd,oBAAoB,MAAM;EAC1B,yBAAyB,MAAM;EAC/B,oBAAoB,MAAM;EAC1B,WAAW,MAAM;EACjB,SAAS,MAAM;EACf,kBAAkB,MAAM;EACxB,mBAAmB,MAAM;EAC1B,CAAC;;AAGJ,SAAS,iBAAiB,GAAgD;AACxE,QAAO,IAAI,qBAAqB;EAC9B,YAAY,EAAE;EACd,iBAAiB,EAAE;EACnB,kBAAkB,EAAE;EACrB,CAAC;;AAGJ,SAAS,eAAe,GAAgE;AACtF,QAAO,IAAI,6BAA6B,EAAE;;AAG5C,SAAS,kBAAkB,MAAc,KAAoD;AAE3F,QAAO,IAAI,sBAAsB;EAC/B;EACA,UAHe,IAAI,WAAW,EAAE,EAAE,IAAI,aAAa;EAInD,GAAI,IAAI,aAAa,QAAQ,EAAE,WAAW,iBAAiB,IAAI,UAAU,EAAE;EAC3E,GAAI,IAAI,WAAW,QAAQ,EAAE,SAAS,eAAe,IAAI,QAAQ,EAAE;EACpE,CAAC;;AAGJ,SAAgB,wBAAwB,UAA+C;AACrF,KAAI,CAAC,SACH,QAAO,IAAI,cAAc,EAAE,CAAC;AAO9B,QAAO,IAAI,cAJS,OAAO,QAAQ,SAAS,QAAQ,YAAY,CAAC,KAAK,CAAC,MAAM,SAC3E,kBAAkB,MAAM,IAAI,CAC7B,CAEoC;;;;;AClDvC,SAAgB,iBACd,MACA,UACA,QAKA;CACA,MAAMA,SAAwB,EAAE;CAChC,MAAMC,qBAA+C,EAAE;CACvD,IAAI,OAAO;CACX,IAAI,OAAO;CACX,IAAI,OAAO;CAEX,MAAM,WAAW,IAAI,IAAI,CAAC,GAAG,KAAK,iBAAiB,GAAG,SAAS,gBAAgB,CAAC;AAEhF,MAAK,MAAM,QAAQ,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE;EACvC,MAAM,WAAW,KAAK,WAAW,KAAK;EACtC,MAAM,eAAe,SAAS,WAAW,KAAK;AAE9C,MAAI,CAAC,YAAY,cAAc;AAC7B,UAAO,KAAK;IACV,MAAM;IACN,OAAO;IACP,SAAS,eAAe,KAAK;IAC9B,CAAC;AACF,sBAAmB,KAAK;IACtB,QAAQ;IACR,MAAM;IACN;IACA,cAAc,uBAAuB;IACrC,MAAM;IACN,SAAS,eAAe,KAAK;IAC7B,UAAU;IACV,QAAQ;IACR,UAAU,EAAE;IACb,CAAC;AACF;AACA;;AAGF,MAAI,YAAY,CAAC,cAAc;GAC7B,MAAM,SAAS,SAAS,SAAS;AACjC,UAAO,KAAK;IACV,MAAM;IACN,OAAO;IACP,SAAS,qBAAqB,KAAK;IACpC,CAAC;AACF,sBAAmB,KAAK;IACtB;IACA,MAAM;IACN;IACA,cAAc,uBAAuB;IACrC,MAAM;IACN,SAAS,qBAAqB,KAAK;IACnC,UAAU;IACV,QAAQ;IACR,UAAU,EAAE;IACb,CAAC;AACF,OAAI,WAAW,OAAQ;OAClB;AACL;;EAGF,MAAM,KAAK;EACX,MAAM,KAAK;EACX,MAAM,gBAAgB,YAAY,MAAM,IAAI,IAAI,QAAQ,OAAO;EAC/D,MAAM,oBAAoB,cAAc,MAAM,IAAI,IAAI,QAAQ,OAAO;EACrE,MAAM,kBAAkB,YAAY,MAAM,IAAI,IAAI,QAAQ,OAAO;EACjE,MAAM,WAAW;GAAC,GAAG;GAAe,GAAG;GAAmB,GAAG;GAAgB;EAE7E,MAAM,cAAc,SAAS,QAC1B,GAAG,MAAO,EAAE,WAAW,SAAS,SAAS,EAAE,WAAW,UAAU,MAAM,SAAS,SAAS,GACzF,OACD;AAED,OAAK,MAAM,KAAK,SACd,KAAI,EAAE,WAAW,OAAQ;WAChB,EAAE,WAAW,OAAQ;MACzB;AAGP,MAAI,SAAS,WAAW,EACtB;AAGF,qBAAmB,KAAK;GACtB,QAAQ;GACR,MAAM;GACN;GACA,cAAc,uBAAuB;GACrC,MAAM,gBAAgB,SAAS,UAAU;GACzC,SACE,gBAAgB,SAAS,eAAe,KAAK,aAAa,eAAe,KAAK;GAChF,UAAU;GACV,QAAQ;GACR;GACD,CAAC;;CAGJ,MAAM,aAAa,OAAO,IAAI,SAAS,OAAO,IAAI,SAAS;CAC3D,MAAM,aAAa,OAAO,OAAO,OAAO,mBAAmB;AAc3D,QAAO;EAAE,MAZ4B;GACnC,QAAQ;GACR,MAAM;GACN,MAAM;GACN,cAAc;GACd,MAAM,eAAe,SAAS,UAAU;GACxC,SAAS,eAAe,SAAS,mBAAmB;GACpD,UAAU;GACV,QAAQ;GACR,UAAU;GACX;EAEc;EAAQ,QAAQ;GAAE;GAAM;GAAM;GAAM;GAAY;EAAE;;AAGnE,SAAS,oBAAoB,OAAiC;CAC5D,MAAM,OAAO,MAAM,KAAK,KAAK,MAAM,GAAG,EAAE,MAAM,GAAG,EAAE,YAAY,CAAC,KAAK,IAAI;CACzE,MAAM,OAAO;EACX,MAAM,SAAS,WAAW;EAC1B,MAAM,SAAS,WAAW;EAC1B,MAAM,sBAAsB,OAAO,OAAO,MAAM,uBAAuB;EACvE,MAAM,0BAA0B,OAAO,aAAa,MAAM,wBAAwB,KAAK;EACvF,MAAM,qBAAqB,MAAM,aAAa,MAAM,mBAAmB,KAAK;EAC5E,MAAM,YAAY,OAAO,aAAa,MAAM,UAAU,KAAK;EAC3D,MAAM,UAAU,MAAM,aAAa,MAAM,QAAQ,KAAK;EACtD,MAAM,mBAAmB,MAAM,MAAM,qBAAqB;EAC1D,MAAM,oBAAoB,MAAM,MAAM,sBAAsB;EAC7D,CACE,OAAO,QAAQ,CACf,KAAK,IAAI;AACZ,QAAO,OAAO,GAAG,KAAK,GAAG,SAAS;;AAGpC,SAAS,gBAAgB,OAAiC;AACxD,QAAO,MAAM,KAAK,KAAK,MAAM,GAAG,EAAE,MAAM,GAAG,EAAE,YAAY,CAAC,KAAK,KAAK;;AAGtE,SAAS,YACP,UACA,MACA,UACA,QACA,QAC0B;CAC1B,MAAMC,QAAkC,EAAE;CAC1C,MAAM,6BAAa,IAAI,KAA+B;AACtD,MAAK,MAAM,OAAO,KAAK,QAAS,YAAW,IAAI,oBAAoB,IAAI,EAAE,IAAI;CAE7E,MAAM,iCAAiB,IAAI,KAA+B;AAC1D,MAAK,MAAM,OAAO,SAAS,QAAS,gBAAe,IAAI,oBAAoB,IAAI,EAAE,IAAI;AAErF,MAAK,MAAM,CAAC,KAAK,QAAQ,eACvB,KAAI,WAAW,IAAI,IAAI,CACrB,OAAM,KAAK;EACT,QAAQ;EACR,MAAM;EACN,MAAM,gBAAgB,IAAI;EAC1B,cAAc,uBAAuB,SAAS;EAC9C,MAAM;EACN,SAAS,SAAS,gBAAgB,IAAI,CAAC;EACvC,UAAU;EACV,QAAQ;EACR,UAAU,EAAE;EACb,CAAC;MACG;AACL,SAAO,KAAK;GACV,MAAM;GACN,OAAO;GACP,mBAAmB,gBAAgB,IAAI;GACvC,SAAS,SAAS,gBAAgB,IAAI,CAAC,0BAA0B,SAAS;GAC3E,CAAC;AACF,QAAM,KAAK;GACT,QAAQ;GACR,MAAM;GACN,MAAM,gBAAgB,IAAI;GAC1B,cAAc,uBAAuB,SAAS;GAC9C,MAAM;GACN,SAAS,SAAS,gBAAgB,IAAI,CAAC;GACvC,UAAU;GACV,QAAQ;GACR,UAAU,EAAE;GACb,CAAC;;AAIN,MAAK,MAAM,CAAC,KAAK,QAAQ,WACvB,KAAI,CAAC,eAAe,IAAI,IAAI,EAAE;EAC5B,MAAM,SAAS,SAAS,SAAS;AACjC,SAAO,KAAK;GACV,MAAM;GACN,OAAO;GACP,mBAAmB,gBAAgB,IAAI;GACvC,SAAS,eAAe,gBAAgB,IAAI,CAAC,kBAAkB,SAAS;GACzE,CAAC;AACF,QAAM,KAAK;GACT;GACA,MAAM;GACN,MAAM,gBAAgB,IAAI;GAC1B,cAAc,uBAAuB,SAAS;GAC9C,MAAM;GACN,SAAS,eAAe,gBAAgB,IAAI;GAC5C,UAAU;GACV,QAAQ;GACR,UAAU,EAAE;GACb,CAAC;;AAIN,QAAO;;AAGT,SAAS,cACP,UACA,MACA,UACA,QACA,QAC0B;AAC1B,KAAI,CAAC,KAAK,aAAa,CAAC,SAAS,UAAW,QAAO,EAAE;AAErD,KAAI,SAAS,aAAa,CAAC,KAAK,WAAW;AACzC,SAAO,KAAK;GACV,MAAM;GACN,OAAO;GACP,SAAS,oCAAoC,SAAS;GACvD,CAAC;AACF,SAAO,CACL;GACE,QAAQ;GACR,MAAM;GACN,MAAM;GACN,cAAc,uBAAuB,SAAS;GAC9C,MAAM;GACN,SAAS;GACT,UAAU,aAAa,SAAS,UAAU,WAAW;GACrD,QAAQ;GACR,UAAU,EAAE;GACb,CACF;;AAGH,KAAI,CAAC,SAAS,aAAa,KAAK,WAAW;EACzC,MAAM,SAAS,SAAS,SAAS;AACjC,SAAO,KAAK;GACV,MAAM;GACN,OAAO;GACP,SAAS,kCAAkC,SAAS;GACrD,CAAC;AACF,SAAO,CACL;GACE;GACA,MAAM;GACN,MAAM;GACN,cAAc,uBAAuB,SAAS;GAC9C,MAAM;GACN,SAAS;GACT,UAAU;GACV,QAAQ,aAAa,KAAK,UAAU,WAAW;GAC/C,UAAU,EAAE;GACb,CACF;;CAGH,MAAM,UAAU,KAAK;CACrB,MAAM,cAAc,SAAS;CAC7B,MAAM,aAAa,aAAa,QAAQ,WAAW;CACnD,MAAM,iBAAiB,aAAa,YAAY,WAAW;AAE3D,KACE,eAAe,kBACf,QAAQ,oBAAoB,YAAY,mBACxC,QAAQ,qBAAqB,YAAY,kBACzC;AACA,SAAO,KAAK;GACV,MAAM;GACN,OAAO;GACP,UAAU;GACV,QAAQ;GACR,SAAS,qCAAqC,SAAS;GACxD,CAAC;AACF,SAAO,CACL;GACE,QAAQ;GACR,MAAM;GACN,MAAM;GACN,cAAc,uBAAuB,SAAS;GAC9C,MAAM;GACN,SAAS;GACT,UAAU;IACR,YAAY,YAAY;IACxB,iBAAiB,YAAY;IAC7B,kBAAkB,YAAY;IAC/B;GACD,QAAQ;IACN,YAAY,QAAQ;IACpB,iBAAiB,QAAQ;IACzB,kBAAkB,QAAQ;IAC3B;GACD,UAAU,EAAE;GACb,CACF;;AAGH,QAAO,CACL;EACE,QAAQ;EACR,MAAM;EACN,MAAM;EACN,cAAc,uBAAuB,SAAS;EAC9C,MAAM;EACN,SAAS;EACT,UAAU;EACV,QAAQ;EACR,UAAU,EAAE;EACb,CACF;;AAGH,SAAS,YACP,UACA,MACA,UACA,QACA,QAC0B;AAC1B,KAAI,CAAC,KAAK,WAAW,CAAC,SAAS,QAAS,QAAO,EAAE;AAEjD,KAAI,CAAC,SAAS,WAAW,KAAK,SAAS;EACrC,MAAM,SAAS,SAAS,SAAS;AACjC,SAAO,KAAK;GACV,MAAM;GACN,OAAO;GACP,QAAQ,aAAa,KAAK,QAAQ;GAClC,SAAS,gCAAgC,SAAS;GACnD,CAAC;AACF,SAAO,CACL;GACE;GACA,MAAM;GACN,MAAM;GACN,cAAc,uBAAuB,SAAS;GAC9C,MAAM;GACN,SAAS;GACT,UAAU;GACV,QAAQ,KAAK;GACb,UAAU,EAAE;GACb,CACF;;AAGH,KAAI,UAAU,KAAK,SAAS,SAAS,QAAQ,CAC3C,QAAO,CACL;EACE,QAAQ;EACR,MAAM;EACN,MAAM;EACN,cAAc,uBAAuB,SAAS;EAC9C,MAAM;EACN,SAAS;EACT,UAAU,aAAa,SAAS,QAAQ;EACxC,QAAQ,aAAa,KAAK,QAAQ;EAClC,UAAU,EAAE;EACb,CACF;AAGH,QAAO,KAAK;EACV,MAAM;EACN,OAAO;EACP,UAAU,aAAa,SAAS,QAAQ;EACxC,QAAQ,aAAa,KAAK,QAAQ;EAClC,SAAS,mCAAmC,SAAS;EACtD,CAAC;AACF,QAAO,CACL;EACE,QAAQ;EACR,MAAM;EACN,MAAM;EACN,cAAc,uBAAuB,SAAS;EAC9C,MAAM;EACN,SAAS;EACT,UAAU,SAAS;EACnB,QAAQ,KAAK;EACb,UAAU,EAAE;EACb,CACF;;;;;AC7WH,SAAgB,mCACd,MACA,UACsB;CACtB,MAAM,iCAAiB,IAAI,KAAoC;AAC/D,MAAK,MAAM,KAAK,SAAS,YAAa,gBAAe,IAAI,EAAE,MAAM,EAAE;CAEnE,MAAM,6BAAa,IAAI,KAAoC;AAC3D,MAAK,MAAM,KAAK,KAAK,YAAa,YAAW,IAAI,EAAE,MAAM,EAAE;CAE3D,MAAM,gBAAgB,KAAK,YAAY,KAAK,MAC1C,2BAA2B,GAAG,eAAe,IAAI,EAAE,KAAK,CAAC,CAC1D;CACD,MAAM,oBAAoB,SAAS,YAAY,KAAK,MAClD,+BAA+B,GAAG,WAAW,IAAI,EAAE,KAAK,CAAC,CAC1D;AAED,QAAO;EACL,MAAM,IAAIC,cAAkB,cAAc;EAC1C,UAAU,IAAIA,cAAkB,kBAAkB;EACnD;;AAGH,SAAS,2BACP,UACA,cACuB;CACvB,MAAM,kBAAkB,cAAc,WAAW,EAAE;CACnD,MAAM,UAAU,SAAS,QAAQ,KAAK,QACpC,sBAAsB,KAAK,6BAA6B,KAAK,gBAAgB,CAAC,CAC/E;CAED,MAAM,UAAU,SAAS,UACrB,wBAAwB,SAAS,SAAS,cAAc,QAAQ,GAChE;AAEJ,QAAO,IAAIC,sBAA0B;EACnC,MAAM,SAAS;EACf;EACA,GAAG,UAAU,aAAa,SAAS,UAAU;EAC7C,GAAG,UAAU,WAAW,QAAQ;EACjC,CAAC;;AAGJ,SAAS,+BACP,cACA,UACuB;CAOvB,MAAM,UAAU,aAAa,QAAQ,IAAI,8BAA8B;CAEvE,MAAM,UAAU,aAAa,UACzB,4BAA4B,aAAa,SAAS,UAAU,QAAQ,GACpE;AAEJ,QAAO,IAAIA,sBAA0B;EACnC,MAAM,aAAa;EACnB;EACA,GAAG,UAAU,aAAa,aAAa,UAAU;EACjD,GAAG,UAAU,WAAW,QAAQ;EACjC,CAAC;;AAGJ,SAAS,8BAA8B,OAA2C;AAEhF,KAAI,CADe,MAAM,KAAK,MAAM,MAAM,EAAE,cAAc,OAAO,CAChD,QAAO;AACxB,QAAO,IAAIC,iBAAqB;EAC9B,MAAM,aAAa,MAAM,KAAK;EAC9B,QAAQ,MAAM;EACd,GAAG,UAAU,UAAU,MAAM,OAAO;EACpC,GAAG,UAAU,sBAAsB,MAAM,mBAAmB;EAC5D,GAAG,UAAU,2BAA2B,MAAM,wBAAwB;EACtE,GAAG,UAAU,sBAAsB,MAAM,mBAAmB;EAC5D,GAAG,UAAU,aAAa,MAAM,UAAU;EAC1C,GAAG,UAAU,WAAW,MAAM,QAAQ;EACtC,GAAG,UAAU,oBAAoB,MAAM,iBAAiB;EACxD,GAAG,UAAU,qBAAqB,MAAM,kBAAkB;EAC3D,CAAC;;;;;;;;AASJ,SAAS,aACP,MAOC;CACD,MAAM,cAAc,KAAK,QAAQ,MAAM,EAAE,cAAc,OAAO;AAC9D,KAAI,YAAY,UAAU,EAAG,QAAO;CACpC,MAAM,aAAa,CAAC,GAAG,YAAY,CAAC,MAAM,GAAG,MAAM,EAAE,MAAM,cAAc,EAAE,MAAM,CAAC;CAClF,IAAI,UAAU;AACd,QAAO,KAAK,KAAK,MAAM;AACrB,MAAI,EAAE,cAAc,OAAQ,QAAO;EACnC,MAAM,OAAO,WAAW;;AAExB,MAAI,SAAS,OACX,OAAM,IAAI,MAAM,2CAA2C;AAE7D,SAAO;GACP;;AAGJ,SAAS,sBACP,WACA,eACkB;CAClB,MAAM,gBAAgB,aAAa,qBAAqB,UAAU,CAAC;CACnE,MAAM,YAAY,UAAU,YACxB,uBAAuB,UAAU,WAAW,eAAe,UAAU,GACrE,UAAU;CAUd,MAAM,UACJ,eAAe,YAAY,UAAa,sBAAsB,eAAe,UAAU,QAAQ,GAC3F,SACA,UAAU;CAChB,MAAM,mBACJ,eAAe,qBAAqB,UAAa,UAAU,qBAAqB,YAC5E,SACA,UAAU;CAChB,MAAM,oBACJ,eAAe,sBAAsB,UAAa,UAAU,sBAAsB,aAC9E,SACA,UAAU;AAEhB,QAAO,IAAIA,iBAAqB;EAC9B,MAAM;EACN,QAAQ,UAAU;EAClB,GAAG,UAAU,UAAU,UAAU,OAAO;EACxC,GAAG,UAAU,sBAAsB,UAAU,mBAAmB;EAChE,GAAG,UAAU,2BAA2B,UAAU,wBAAwB;EAC1E,GAAG,UAAU,sBAAsB,UAAU,mBAAmB;EAChE,GAAG,UAAU,aAAa,UAAU;EACpC,GAAG,UAAU,WAAW,QAAQ;EAChC,GAAG,UAAU,oBAAoB,iBAAiB;EAClD,GAAG,UAAU,qBAAqB,kBAAkB;EACrD,CAAC;;;;;;;;;;AAWJ,SAAS,6BACP,WACA,iBAC8B;CAE9B,MAAM,aADoB,aAAa,qBAAqB,UAAU,CAAC,CAClC,KAAK,MAAM,GAAG,EAAE,MAAM,GAAG,EAAE,YAAY,CAAC,KAAK,IAAI;AACtF,MAAK,MAAM,YAAY,gBAIrB,KAHuB,aAAa,SAAS,KAAK,CAC/C,KAAK,MAAM,GAAG,EAAE,MAAM,GAAG,EAAE,YAAY,CACvC,KAAK,IAAI,KACW,WAAY,QAAO;;;;;;;;;;;AAc9C,SAAS,qBAAqB,WAG3B;AAKD,KAAI,EAHF,UAAU,KAAK,UAAU,KACzB,UAAU,KAAK,MAAM,MAAM,EAAE,UAAU,UAAU,EAAE,cAAc,OAAO,KAEtD,CAAC,UAAU,QAAS,QAAO,UAAU;CAEzD,MAAM,WAAW,OAAO,KAAK,UAAU,QAAQ,CAAC,KAAK,WAAW;EAC9D;EACA,WAAW;EACZ,EAAE;CAWH,MAAMC,gBAA4B,EAAE;AACpC,MAAK,MAAM,OAAO,UAAU,MAAM;AAChC,MAAI,IAAI,UAAU,QAAS;AAC3B,MAAI,IAAI,UAAU,QAAQ;AACxB,iBAAc,KAAK,GAAG,SAAS;AAC/B;;AAEF,gBAAc,KAAK,IAAI;;AAEzB,QAAO;;;;;;;;;;;;;AAcT,SAAS,sBACP,eAIA,aACS;AACT,KAAI,gBAAgB,OAAW,QAAO;AAEtC,QADmB,cAAc,QAAQ,MAAM,EAAE,cAAc,OAAO,CAAC,KAAK,MAAM,EAAE,MAAM,CACxE,OAAO,UAAU,YAAY,WAAW,EAAE;;AAG9D,SAAS,wBACP,aACA,iBAC0C;CAC1C,MAAM,YAAY,YAAY,YAC1B,uBAAuB,YAAY,WAAW,iBAAiB,UAAU,GACzE;CAIJ,MAAM,aAAa,YAAY,aAC1B,uBACC,YAAY,YACZ,iBAAiB,WAClB,GACD;CAIJ,MAAM,iBAAiB,YAAY,iBAC9B,uBACC,YAAY,gBACZ,iBAAiB,eAClB,GACD;CAKJ,MAAM,+BAA+B,uBACnC,YAAY,6BACb,GACG,SACA,YAAY;AAIhB,KAAI,EADF,YAAY,UAAU,cAAc,aAAa,gCAAgC,gBAC/D,QAAO;AAE3B,QAAO,IAAIC,6BAAiC;EAC1C,GAAG,UAAU,UAAU,YAAY,OAAO;EAC1C,GAAG,UAAU,cAAc,WAAW;EACtC,GAAG,UAAU,aAAa,UAAU;EACpC,GAAG,UAAU,gCAAgC,6BAA6B;EAC1E,GAAG,UAAU,kBAAkB,eAAe;EAC/C,CAAC;;AAGJ,SAAS,4BACP,iBACA,cAC0C;CAE1C,MAAM,+BAA+B,uBACnC,gBAAgB,6BACjB,GACG,SACA,gBAAgB;AAQpB,KAAI,EALF,gBAAgB,UAChB,gBAAgB,cAChB,gBAAgB,aAChB,gCACA,gBAAgB,gBACE,QAAO;AAE3B,QAAO,IAAIA,6BAAiC;EAC1C,GAAG,UAAU,UAAU,gBAAgB,OAAO;EAC9C,GAAG,UAAU,cAAc,gBAAgB,WAAW;EACtD,GAAG,UAAU,aAAa,gBAAgB,UAAU;EACpD,GAAG,UAAU,gCAAgC,6BAA6B;EAC1E,GAAG,UAAU,kBAAkB,gBAAgB,eAAe;EAC/D,CAAC;;AAGJ,SAAS,uBAAuB,OAAkD;AAChF,QAAO,UAAU,UAAa,MAAM,YAAY;;;;;;;;;;;;;;;AAgBlD,SAAS,uBACP,MACA,UACyB;AACzB,KAAI,aAAa,OAAW,QAAO;CACnC,MAAMC,MAA+B,EAAE;AACvC,MAAK,MAAM,OAAO,OAAO,KAAK,SAAS,CACrC,KAAI,OAAO,OAAO,MAAM,IAAI,CAAE,KAAI,OAAO,KAAK;AAEhD,QAAO;;;;;ACzWT,SAAgB,kBAAkB,SAA+D;CAC/F,MAAM,EAAE,UAAU,QAAQ,QAAQ,YAAY;CAC9C,MAAM,YAAY,KAAK,KAAK;CAK5B,MAAM,EAAE,MAAM,eAAe,UAAU,sBAAsB,mCAC3D,QAJiB,wBAAwB,SAAS,CAMnD;CACD,MAAM,EAAE,MAAM,QAAQ,WAAW,iBAAiB,eAAe,mBAAmB,OAAO;CAE3F,MAAM,KAAK,OAAO,SAAS;CAC3B,MAAM,cAAc,OAAO,SAAS,gBAAgB,WAAW,SAAS,cAAc;AAEtF,QAAO;EACL;EACA,GAAG,UAAU,QAAQ,KAAK,SAAY,2BAA2B;EACjE,SAAS,KAAK,4BAA4B,6BAA6B,OAAO,KAAK;EACnF,UAAU;GACR,aAAa,SAAS,QAAQ;GAC9B,GAAI,cAAc,EAAE,aAAa,GAAG,EAAE;GACvC;EACD,QAAQ,EAAE,UAAU,SAAS,QAAQ;EACrC,QAAQ;GAAE;GAAQ;GAAM;GAAQ;EAChC,MAAM;GACJ;GACA,GAAG,UAAU,gBAAgB,SAAS,aAAa;GACnD,GAAG,UAAU,cAAc,SAAS,WAAW;GAChD;EACD,SAAS,EAAE,OAAO,KAAK,KAAK,GAAG,WAAW;EAC3C"}

package/package.json

@@ -1,23 +1,23 @@
 {
   "name": "@prisma-next/target-mongo",
-  "version": "0.5.0-dev.3",
+  "version": "0.5.0-dev.30",
   "type": "module",
   "sideEffects": false,
   "description": "MongoDB target pack for Prisma Next",
   "dependencies": {
     "arktype": "^2.1.29",
     "mongodb": "^6.16.0",
-    "@prisma-next/contract": "0.5.0-dev.3",
-    "@prisma-next/framework-components": "0.5.0-dev.3",
-    "@prisma-next/migration-tools": "0.5.0-dev.3",
-    "@prisma-next/mongo-contract": "0.5.0-dev.3",
-    "@prisma-next/ts-render": "0.5.0-dev.3",
-    "@prisma-next/mongo-query-ast": "0.5.0-dev.3",
-    "@prisma-next/mongo-schema-ir": "0.5.0-dev.3",
-    "@prisma-next/mongo-value": "0.5.0-dev.3",
-    "@prisma-next/utils": "0.5.0-dev.3",
-    "@prisma-next/mongo-lowering": "0.5.0-dev.3",
-    "@prisma-next/errors": "0.5.0-dev.3"
+    "@prisma-next/contract": "0.5.0-dev.30",
+    "@prisma-next/errors": "0.5.0-dev.30",
+    "@prisma-next/framework-components": "0.5.0-dev.30",
+    "@prisma-next/migration-tools": "0.5.0-dev.30",
+    "@prisma-next/ts-render": "0.5.0-dev.30",
+    "@prisma-next/mongo-contract": "0.5.0-dev.30",
+    "@prisma-next/mongo-query-ast": "0.5.0-dev.30",
+    "@prisma-next/mongo-schema-ir": "0.5.0-dev.30",
+    "@prisma-next/mongo-value": "0.5.0-dev.30",
+    "@prisma-next/mongo-lowering": "0.5.0-dev.30",
+    "@prisma-next/utils": "0.5.0-dev.30"
   },
   "devDependencies": {
     "mongodb-memory-server": "10.4.3",
@@ -25,9 +25,9 @@
     "tsdown": "0.18.4",
     "typescript": "5.9.3",
     "vitest": "4.0.17",
+    "@prisma-next/tsdown": "0.0.0",
     "@prisma-next/test-utils": "0.0.1",
-    "@prisma-next/tsconfig": "0.0.0",
-    "@prisma-next/tsdown": "0.0.0"
+    "@prisma-next/tsconfig": "0.0.0"
   },
   "files": [
     "dist",
@@ -38,6 +38,7 @@
     "./control": "./dist/control.mjs",
     "./migration": "./dist/migration.mjs",
     "./pack": "./dist/pack.mjs",
+    "./schema-verify": "./dist/schema-verify.mjs",
     "./package.json": "./package.json"
   },
   "repository": {
@@ -48,6 +49,9 @@
   "main": "./dist/pack.mjs",
   "module": "./dist/pack.mjs",
   "types": "./dist/pack.d.mts",
+  "prismaNext": {
+    "minServerVersion": "6.0"
+  },
   "scripts": {
     "build": "tsdown",
     "test": "vitest run --passWithNoTests",

package/src/core/marker-ledger.ts

@@ -4,11 +4,45 @@ import {
   RawFindOneAndUpdateCommand,
   RawInsertOneCommand,
 } from '@prisma-next/mongo-query-ast/execution';
-import type { Db, Document } from 'mongodb';
+import { type } from 'arktype';
+import type { Db, Document, UpdateFilter } from 'mongodb';
 
 const COLLECTION = '_prisma_migrations';
 const MARKER_ID = 'marker';
 
+// Same shape 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.
+const MongoMarkerDocSchema = type({
+  storageHash: 'string',
+  profileHash: 'string',
+  'contractJson?': 'unknown | null',
+  'canonicalVersion?': 'number | null',
+  'updatedAt?': 'Date',
+  'appTag?': 'string | null',
+  'meta?': type({ '[string]': 'unknown' }).or('null'),
+  'invariants?': type('string').array(),
+  '+': 'delete',
+});
+
+function parseMongoMarkerDoc(doc: unknown): ContractMarkerRecord {
+  const result = MongoMarkerDocSchema(doc);
+  if (result instanceof type.errors) {
+    throw new Error(`Invalid marker doc on ${COLLECTION}: ${result.summary}`);
+  }
+  return {
+    storageHash: result.storageHash,
+    profileHash: result.profileHash,
+    contractJson: result.contractJson ?? null,
+    canonicalVersion: result.canonicalVersion ?? null,
+    updatedAt: result.updatedAt ?? new Date(),
+    appTag: result.appTag ?? null,
+    meta: (result.meta as Record<string, unknown> | null) ?? {},
+    invariants: result.invariants ?? [],
+  };
+}
+
 async function executeAggregate(db: Db, cmd: RawAggregateCommand): Promise<Document[]> {
   return db
     .collection(cmd.collection)
@@ -24,9 +58,16 @@ async function executeFindOneAndUpdate(
   db: Db,
   cmd: RawFindOneAndUpdateCommand,
 ): Promise<Document | null> {
+  // `cmd.update` is `Document | ReadonlyArray<Document>` per the AST. The
+  // MongoDB driver's `findOneAndUpdate` accepts the same shape under the
+  // type `UpdateFilter<T> | Document[]`. The driver's runtime path handles
+  // both forms identically — pipelines (array) and update docs (object).
+  // One cast to that union keeps the call single-arm.
   return db
     .collection(cmd.collection)
-    .findOneAndUpdate(cmd.filter, cmd.update as Record<string, unknown>, { upsert: cmd.upsert });
+    .findOneAndUpdate(cmd.filter, cmd.update as UpdateFilter<Document> | Document[], {
+      upsert: cmd.upsert,
+    });
 }
 
 export async function readMarker(db: Db): Promise<ContractMarkerRecord | null> {
@@ -34,20 +75,16 @@ export async function readMarker(db: Db): Promise<ContractMarkerRecord | null> {
   const docs = await executeAggregate(db, cmd);
   const doc = docs[0];
   if (!doc) return null;
-  return {
-    storageHash: doc['storageHash'] as string,
-    profileHash: doc['profileHash'] as string,
-    contractJson: (doc['contractJson'] as unknown) ?? null,
-    canonicalVersion: (doc['canonicalVersion'] as number) ?? null,
-    updatedAt: doc['updatedAt'] as Date,
-    appTag: (doc['appTag'] as string) ?? null,
-    meta: (doc['meta'] as Record<string, unknown>) ?? {},
-  };
+  return parseMongoMarkerDoc(doc);
 }
 
 export async function initMarker(
   db: Db,
-  destination: { readonly storageHash: string; readonly profileHash: string },
+  destination: {
+    readonly storageHash: string;
+    readonly profileHash: string;
+    readonly invariants?: readonly string[];
+  },
 ): Promise<void> {
   const cmd = new RawInsertOneCommand(COLLECTION, {
     _id: MARKER_ID,
@@ -58,25 +95,58 @@ export async function initMarker(
     updatedAt: new Date(),
     appTag: null,
     meta: {},
+    invariants: destination.invariants ?? [],
   });
   await executeInsertOne(db, cmd);
 }
 
+/**
+ * Updates the marker doc atomically (CAS on `expectedFrom`).
+ *
+ * `destination.invariants`:
+ * - `undefined` → existing field left untouched.
+ * - explicit value → merged into the existing field server-side via an
+ *   aggregation pipeline (`$setUnion + $sortArray`), atomic at the
+ *   document level. `[]` is a no-op merge.
+ */
 export async function updateMarker(
   db: Db,
   expectedFrom: string,
-  destination: { readonly storageHash: string; readonly profileHash: string },
+  destination: {
+    readonly storageHash: string;
+    readonly profileHash: string;
+    readonly invariants?: readonly string[];
+  },
 ): Promise<boolean> {
+  const setBase: Record<string, unknown> = {
+    storageHash: destination.storageHash,
+    profileHash: destination.profileHash,
+    updatedAt: new Date(),
+  };
+  // When invariants is supplied, use an aggregation pipeline so the
+  // merge runs server-side against the doc's current value (atomic, no
+  // read-then-write window). When omitted, a regular update doc keeps
+  // the field untouched.
+  const update: Document | Document[] =
+    destination.invariants === undefined
+      ? { $set: setBase }
+      : [
+          {
+            $set: {
+              ...setBase,
+              invariants: {
+                $sortArray: {
+                  input: { $setUnion: [{ $ifNull: ['$invariants', []] }, destination.invariants] },
+                  sortBy: 1,
+                },
+              },
+            },
+          },
+        ];
   const cmd = new RawFindOneAndUpdateCommand(
     COLLECTION,
     { _id: MARKER_ID, storageHash: expectedFrom },
-    {
-      $set: {
-        storageHash: destination.storageHash,
-        profileHash: destination.profileHash,
-        updatedAt: new Date(),
-      },
-    },
+    update,
     false,
   );
   const result = await executeFindOneAndUpdate(db, cmd);

package/src/core/migration-factories.ts

@@ -24,6 +24,7 @@ import {
   type MongoMigrationPlanOperation,
 } from '@prisma-next/mongo-query-ast/control';
 import type { MongoQueryPlan } from '@prisma-next/mongo-query-ast/execution';
+import { ifDefined } from '@prisma-next/utils/defined';
 import type { CollModMeta } from './op-factory-call';
 
 interface Buildable {
@@ -50,6 +51,12 @@ const MATCH_ALL_FILTER: MongoFilterExpr = MongoExistsExpr.exists('_id');
 export function dataTransform(
   name: string,
   options: {
+    /**
+     * Optional opt-in routing identity. Presence opts the transform into
+     * invariant-aware routing; absence means it is path-dependent and
+     * not referenceable from refs.
+     */
+    invariantId?: string;
     check?: {
       source: () => MongoQueryPlan | Buildable;
       filter?: MongoFilterExpr;
@@ -81,6 +88,7 @@ export function dataTransform(
     label: `Data transform: ${name}`,
     operationClass: 'data',
     name,
+    ...ifDefined('invariantId', options.invariantId),
     precheck,
     run,
     postcheck,

package/src/core/mongo-ops-serializer.ts

@@ -197,13 +197,9 @@ const PlanMetaJson = type({
   target: 'string',
   storageHash: 'string',
   lane: 'string',
-  paramDescriptors: 'unknown[]',
   'targetFamily?': 'string',
   'profileHash?': 'string',
   'annotations?': 'Record<string, unknown>',
-  'refs?': 'Record<string, unknown>',
-  'projection?': 'Record<string, string> | string[]',
-  'projectionTypes?': 'Record<string, string>',
 });
 
 const QueryPlanJson = type({
@@ -427,13 +423,9 @@ export function deserializeMongoQueryPlan(json: unknown): MongoQueryPlan {
     target: m.target,
     storageHash: m.storageHash,
     lane: m.lane,
-    paramDescriptors: m.paramDescriptors as PlanMeta['paramDescriptors'],
     ...ifDefined('targetFamily', m.targetFamily),
     ...ifDefined('profileHash', m.profileHash),
     ...ifDefined('annotations', m.annotations),
-    ...ifDefined('refs', m.refs),
-    ...ifDefined('projection', m.projection),
-    ...ifDefined('projectionTypes', m.projectionTypes),
   };
   return { collection: data.collection, command, meta };
 }

package/src/core/mongo-planner.ts

@@ -225,7 +225,7 @@ export class MongoMigrationPlanner implements MigrationPlanner<'mongo', 'mongo'>
     readonly contract: unknown;
     readonly schema: unknown;
     readonly policy: MigrationOperationPolicy;
-    readonly fromHash: string;
+    readonly fromHash: string | null;
     readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<'mongo', 'mongo'>>;
   }): MigrationPlannerResult {
     const contract = options.contract as MongoContract;

package/src/core/mongo-runner.ts

@@ -8,7 +8,9 @@ import type {
   MigrationRunnerExecutionChecks,
   MigrationRunnerFailure,
   MigrationRunnerResult,
+  OperationContext,
 } from '@prisma-next/framework-components/control';
+import type { MongoContract } from '@prisma-next/mongo-contract';
 import type { MongoAdapter, MongoDriver } from '@prisma-next/mongo-lowering';
 import type {
   AnyMongoMigrationOperation,
@@ -19,31 +21,28 @@ import type {
   MongoMigrationCheck,
   MongoMigrationPlanOperation,
 } from '@prisma-next/mongo-query-ast/control';
+import type { MongoSchemaIR } from '@prisma-next/mongo-schema-ir';
 import { notOk, ok } from '@prisma-next/utils/result';
-
-const READ_ONLY_CHECK_COMMAND_KINDS: ReadonlySet<string> = new Set(['aggregate', 'rawAggregate']);
-
-function hasProfileHash(value: unknown): value is { readonly profileHash: string } {
-  return (
-    typeof value === 'object' &&
-    value !== null &&
-    Object.hasOwn(value, 'profileHash') &&
-    typeof (value as { profileHash: unknown }).profileHash === 'string'
-  );
-}
-
 import { FilterEvaluator } from './filter-evaluator';
 import { deserializeMongoOps } from './mongo-ops-serializer';
+import { verifyMongoSchema } from './schema-verify/verify-mongo-schema';
+
+const READ_ONLY_CHECK_COMMAND_KINDS: ReadonlySet<string> = new Set(['aggregate', 'rawAggregate']);
 
 export interface MarkerOperations {
   readMarker(): Promise<ContractMarkerRecord | null>;
   initMarker(destination: {
     readonly storageHash: string;
     readonly profileHash: string;
+    readonly invariants?: readonly string[];
   }): Promise<void>;
   updateMarker(
     expectedFrom: string,
-    destination: { readonly storageHash: string; readonly profileHash: string },
+    destination: {
+      readonly storageHash: string;
+      readonly profileHash: string;
+      readonly invariants?: readonly string[];
+    },
   ): Promise<boolean>;
   writeLedgerEntry(entry: {
     readonly edgeId: string;
@@ -58,6 +57,27 @@ export interface MongoRunnerDependencies {
   readonly adapter: MongoAdapter;
   readonly driver: MongoDriver;
   readonly markerOps: MarkerOperations;
+  readonly introspectSchema: () => Promise<MongoSchemaIR>;
+}
+
+export interface MongoMigrationRunnerExecuteOptions {
+  readonly plan: MigrationPlan;
+  readonly destinationContract: MongoContract;
+  readonly policy: MigrationOperationPolicy;
+  readonly callbacks?: {
+    onOperationStart?(op: MigrationPlanOperation): void;
+    onOperationComplete?(op: MigrationPlanOperation): void;
+  };
+  readonly executionChecks?: MigrationRunnerExecutionChecks;
+  readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<'mongo', 'mongo'>>;
+  readonly strictVerification?: boolean;
+  readonly context?: OperationContext;
+  /**
+   * Invariant ids contributed by this apply (the migration's `providedInvariants`).
+   * The runner unions these into `marker.invariants` atomically with the marker write.
+   * Defaults to `[]` for marker-only flows.
+   */
+  readonly invariants?: readonly string[];
 }
 
 function runnerFailure(
@@ -75,17 +95,7 @@ function runnerFailure(
 export class MongoMigrationRunner {
   constructor(private readonly deps: MongoRunnerDependencies) {}
 
-  async execute(options: {
-    readonly plan: MigrationPlan;
-    readonly destinationContract: unknown;
-    readonly policy: MigrationOperationPolicy;
-    readonly callbacks?: {
-      onOperationStart?(op: MigrationPlanOperation): void;
-      onOperationComplete?(op: MigrationPlanOperation): void;
-    };
-    readonly executionChecks?: MigrationRunnerExecutionChecks;
-    readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<'mongo', 'mongo'>>;
-  }): Promise<MigrationRunnerResult> {
+  async execute(options: MongoMigrationRunnerExecuteOptions): Promise<MigrationRunnerResult> {
     const { commandExecutor, inspectionExecutor, adapter, driver, markerOps } = this.deps;
     const operations = deserializeMongoOps(options.plan.operations as readonly unknown[]);
 
@@ -176,22 +186,47 @@ export class MongoMigrationRunner {
     }
 
     const destination = options.plan.destination;
-    const profileHash = hasProfileHash(options.destinationContract)
-      ? options.destinationContract.profileHash
-      : destination.storageHash;
-
-    if (
-      operationsExecuted === 0 &&
-      existingMarker?.storageHash === destination.storageHash &&
-      existingMarker.profileHash === profileHash
-    ) {
+    const profileHash = options.destinationContract.profileHash ?? destination.storageHash;
+
+    // Sort + dedupe so the initMarker path writes a stable initial value.
+    // updateMarker merges server-side, so no client-side union is needed.
+    const incomingInvariants = Array.from(new Set(options.invariants ?? [])).sort();
+    const existingInvariantSet = new Set(existingMarker?.invariants ?? []);
+    const incomingIsSubsetOfExisting = incomingInvariants.every((id) =>
+      existingInvariantSet.has(id),
+    );
+    const markerAlreadyAtDestination =
+      existingMarker !== null &&
+      existingMarker.storageHash === destination.storageHash &&
+      existingMarker.profileHash === profileHash;
+
+    // Skip marker/ledger writes (and schema verification) only when the apply
+    // is a true no-op: no operations executed, marker already at destination,
+    // and every incoming invariant is already in the stored set.
+    if (operationsExecuted === 0 && markerAlreadyAtDestination && incomingIsSubsetOfExisting) {
       return ok({ operationsPlanned: operations.length, operationsExecuted });
     }
 
+    const liveSchema = await this.deps.introspectSchema();
+    const verifyResult = verifyMongoSchema({
+      contract: options.destinationContract,
+      schema: liveSchema,
+      strict: options.strictVerification ?? true,
+      frameworkComponents: options.frameworkComponents,
+      ...(options.context ? { context: options.context } : {}),
+    });
+    if (!verifyResult.ok) {
+      return runnerFailure('SCHEMA_VERIFY_FAILED', verifyResult.summary, {
+        why: 'The resulting database schema does not satisfy the destination contract.',
+        meta: { issues: verifyResult.schema.issues },
+      });
+    }
+
     if (existingMarker) {
       const updated = await markerOps.updateMarker(existingMarker.storageHash, {
         storageHash: destination.storageHash,
         profileHash,
+        invariants: incomingInvariants,
       });
       if (!updated) {
         return runnerFailure(
@@ -209,6 +244,7 @@ export class MongoMigrationRunner {
       await markerOps.initMarker({
         storageHash: destination.storageHash,
         profileHash,
+        invariants: incomingInvariants,
       });
     }
 
@@ -259,7 +295,7 @@ export class MongoMigrationRunner {
     }
 
     for (const plan of op.run) {
-      const wireCommand = adapter.lower(plan);
+      const wireCommand = await adapter.lower(plan, {});
       for await (const _ of driver.execute(wireCommand)) {
         /* consume */
       }
@@ -307,7 +343,7 @@ export class MongoMigrationRunner {
           },
         );
       }
-      const wireCommand = adapter.lower(check.source);
+      const wireCommand = await adapter.lower(check.source, {});
       let matchFound = false;
       for await (const row of driver.execute<Record<string, unknown>>(wireCommand)) {
         if (filterEvaluator.evaluate(check.filter, row)) {
@@ -375,13 +411,9 @@ export class MongoMigrationRunner {
   ): MigrationRunnerResult | undefined {
     const origin = plan.origin ?? null;
     if (!origin) {
-      if (marker) {
-        return runnerFailure(
-          'MARKER_ORIGIN_MISMATCH',
-          'Database already has a contract marker but the plan has no origin. This would silently overwrite the existing marker.',
-          { meta: { markerStorageHash: marker.storageHash } },
-        );
-      }
+      // No origin assertion on the plan — the caller has done its own
+      // correctness check (typically `db update` via live-schema
+      // introspection) and does not rely on marker continuity.
       return undefined;
     }
 

package/src/core/planner-produced-migration.ts

@@ -47,7 +47,6 @@ export class PlannerProducedMongoMigration
     return renderCallsToTypeScript(this.calls, {
       from: this.meta.from,
       to: this.meta.to,
-      ...ifDefined('kind', this.meta.kind),
       ...ifDefined('labels', this.meta.labels),
     });
   }

package/src/core/render-typescript.ts

@@ -3,9 +3,8 @@ import { type ImportRequirement, jsonToTsSource, renderImports } from '@prisma-n
 import type { OpFactoryCall } from './op-factory-call';
 
 export interface RenderMigrationMeta {
-  readonly from: string;
+  readonly from: string | null;
   readonly to: string;
-  readonly kind?: string;
   readonly labels?: readonly string[];
 }
 
@@ -36,8 +35,8 @@ const BASE_IMPORTS: readonly ImportRequirement[] = [
  * `Migration` (i.e. `MongoMigration`) from `@prisma-next/family-mongo`, and
  * implements the abstract `operations` and `describe` members. `meta` is
  * always rendered — `describe()` is part of the `Migration` contract, so
- * even an empty stub must satisfy it; callers pass empty strings for a
- * migration-new scaffold.
+ * even an empty stub must satisfy it; callers pass `from: null` for a
+ * baseline `migration-new` scaffold (and a real `to` hash either way).
  *
  * The walk is polymorphic: each call node contributes its own
  * `renderTypeScript()` expression and declares its own
@@ -89,9 +88,6 @@ function buildDescribeMethod(meta: RenderMigrationMeta): string {
   lines.push('    return {');
   lines.push(`      from: ${JSON.stringify(meta.from)},`);
   lines.push(`      to: ${JSON.stringify(meta.to)},`);
-  if (meta.kind) {
-    lines.push(`      kind: ${JSON.stringify(meta.kind)},`);
-  }
   if (meta.labels && meta.labels.length > 0) {
     lines.push(`      labels: ${jsonToTsSource(meta.labels)},`);
   }