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

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

@@ -1 +0,0 @@
-{"version":3,"file":"verify-mongo-schema-DlPXaotB.mjs","names":["MongoSchemaIRCtor","MongoSchemaCollectionCtor","MongoSchemaIndexCtor","MongoSchemaCollectionOptionsCtor"],"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;CAChE,OAAO,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;CACxE,OAAO,IAAI,qBAAqB;EAC9B,YAAY,EAAE;EACd,iBAAiB,EAAE;EACnB,kBAAkB,EAAE;EACrB,CAAC;;AAGJ,SAAS,eAAe,GAAgE;CACtF,OAAO,IAAI,6BAA6B,EAAE;;AAG5C,SAAS,kBAAkB,MAAc,KAAoD;CAE3F,OAAO,IAAI,sBAAsB;EAC/B;EACA,UAHe,IAAI,WAAW,EAAE,EAAE,IAAI,aAG/B;EACP,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;CACrF,IAAI,CAAC,UACH,OAAO,IAAI,cAAc,EAAE,CAAC;CAO9B,OAAO,IAAI,cAJS,OAAO,QAAQ,SAAS,QAAQ,YAAY,CAAC,KAAK,CAAC,MAAM,SAC3E,kBAAkB,MAAM,IAAI,CAGM,CAAC;;;;AClDvC,SAAgB,iBACd,MACA,UACA,QAKA;CACA,MAAM,SAAwB,EAAE;CAChC,MAAM,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;CAEhF,KAAK,MAAM,QAAQ,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE;EACvC,MAAM,WAAW,KAAK,WAAW,KAAK;EACtC,MAAM,eAAe,SAAS,WAAW,KAAK;EAE9C,IAAI,CAAC,YAAY,cAAc;GAC7B,OAAO,KAAK;IACV,MAAM;IACN,OAAO;IACP,SAAS,eAAe,KAAK;IAC9B,CAAC;GACF,mBAAmB,KAAK;IACtB,QAAQ;IACR,MAAM;IACN;IACA,cAAc,uBAAuB;IACrC,MAAM;IACN,SAAS,eAAe,KAAK;IAC7B,UAAU;IACV,QAAQ;IACR,UAAU,EAAE;IACb,CAAC;GACF;GACA;;EAGF,IAAI,YAAY,CAAC,cAAc;GAC7B,MAAM,SAAS,SAAS,SAAS;GACjC,OAAO,KAAK;IACV,MAAM;IACN,OAAO;IACP,SAAS,qBAAqB,KAAK;IACpC,CAAC;GACF,mBAAmB,KAAK;IACtB;IACA,MAAM;IACN;IACA,cAAc,uBAAuB;IACrC,MAAM;IACN,SAAS,qBAAqB,KAAK;IACnC,UAAU;IACV,QAAQ;IACR,UAAU,EAAE;IACb,CAAC;GACF,IAAI,WAAW,QAAQ;QAClB;GACL;;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;EAED,KAAK,MAAM,KAAK,UACd,IAAI,EAAE,WAAW,QAAQ;OACpB,IAAI,EAAE,WAAW,QAAQ;OACzB;EAGP,IAAI,SAAS,WAAW,GACtB;EAGF,mBAAmB,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;CAc3D,OAAO;EAAE,MAAA;GAXP,QAAQ;GACR,MAAM;GACN,MAAM;GACN,cAAc;GACd,MAAM,eAAe,SAAS,UAAU;GACxC,SAAS,eAAe,SAAS,mBAAmB;GACpD,UAAU;GACV,QAAQ;GACR,UAAU;GAGC;EAAE;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;CACZ,OAAO,OAAO,GAAG,KAAK,GAAG,SAAS;;AAGpC,SAAS,gBAAgB,OAAiC;CACxD,OAAO,MAAM,KAAK,KAAK,MAAM,GAAG,EAAE,MAAM,GAAG,EAAE,YAAY,CAAC,KAAK,KAAK;;AAGtE,SAAS,YACP,UACA,MACA,UACA,QACA,QAC0B;CAC1B,MAAM,QAAkC,EAAE;CAC1C,MAAM,6BAAa,IAAI,KAA+B;CACtD,KAAK,MAAM,OAAO,KAAK,SAAS,WAAW,IAAI,oBAAoB,IAAI,EAAE,IAAI;CAE7E,MAAM,iCAAiB,IAAI,KAA+B;CAC1D,KAAK,MAAM,OAAO,SAAS,SAAS,eAAe,IAAI,oBAAoB,IAAI,EAAE,IAAI;CAErF,KAAK,MAAM,CAAC,KAAK,QAAQ,gBACvB,IAAI,WAAW,IAAI,IAAI,EACrB,MAAM,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;EACL,OAAO,KAAK;GACV,MAAM;GACN,OAAO;GACP,mBAAmB,gBAAgB,IAAI;GACvC,SAAS,SAAS,gBAAgB,IAAI,CAAC,0BAA0B,SAAS;GAC3E,CAAC;EACF,MAAM,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;;CAIN,KAAK,MAAM,CAAC,KAAK,QAAQ,YACvB,IAAI,CAAC,eAAe,IAAI,IAAI,EAAE;EAC5B,MAAM,SAAS,SAAS,SAAS;EACjC,OAAO,KAAK;GACV,MAAM;GACN,OAAO;GACP,mBAAmB,gBAAgB,IAAI;GACvC,SAAS,eAAe,gBAAgB,IAAI,CAAC,kBAAkB,SAAS;GACzE,CAAC;EACF,MAAM,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;;CAIN,OAAO;;AAGT,SAAS,cACP,UACA,MACA,UACA,QACA,QAC0B;CAC1B,IAAI,CAAC,KAAK,aAAa,CAAC,SAAS,WAAW,OAAO,EAAE;CAErD,IAAI,SAAS,aAAa,CAAC,KAAK,WAAW;EACzC,OAAO,KAAK;GACV,MAAM;GACN,OAAO;GACP,SAAS,oCAAoC,SAAS;GACvD,CAAC;EACF,OAAO,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;;CAGH,IAAI,CAAC,SAAS,aAAa,KAAK,WAAW;EACzC,MAAM,SAAS,SAAS,SAAS;EACjC,OAAO,KAAK;GACV,MAAM;GACN,OAAO;GACP,SAAS,kCAAkC,SAAS;GACrD,CAAC;EACF,OAAO,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;CAE3D,IACE,eAAe,kBACf,QAAQ,oBAAoB,YAAY,mBACxC,QAAQ,qBAAqB,YAAY,kBACzC;EACA,OAAO,KAAK;GACV,MAAM;GACN,OAAO;GACP,UAAU;GACV,QAAQ;GACR,SAAS,qCAAqC,SAAS;GACxD,CAAC;EACF,OAAO,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;;CAGH,OAAO,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;CAC1B,IAAI,CAAC,KAAK,WAAW,CAAC,SAAS,SAAS,OAAO,EAAE;CAEjD,IAAI,CAAC,SAAS,WAAW,KAAK,SAAS;EACrC,MAAM,SAAS,SAAS,SAAS;EACjC,OAAO,KAAK;GACV,MAAM;GACN,OAAO;GACP,QAAQ,aAAa,KAAK,QAAQ;GAClC,SAAS,gCAAgC,SAAS;GACnD,CAAC;EACF,OAAO,CACL;GACE;GACA,MAAM;GACN,MAAM;GACN,cAAc,uBAAuB,SAAS;GAC9C,MAAM;GACN,SAAS;GACT,UAAU;GACV,QAAQ,KAAK;GACb,UAAU,EAAE;GACb,CACF;;CAGH,IAAI,UAAU,KAAK,SAAS,SAAS,QAAQ,EAC3C,OAAO,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;CAGH,OAAO,KAAK;EACV,MAAM;EACN,OAAO;EACP,UAAU,aAAa,SAAS,QAAQ;EACxC,QAAQ,aAAa,KAAK,QAAQ;EAClC,SAAS,mCAAmC,SAAS;EACtD,CAAC;CACF,OAAO,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;CAC/D,KAAK,MAAM,KAAK,SAAS,aAAa,eAAe,IAAI,EAAE,MAAM,EAAE;CAEnE,MAAM,6BAAa,IAAI,KAAoC;CAC3D,KAAK,MAAM,KAAK,KAAK,aAAa,WAAW,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;CAED,OAAO;EACL,MAAM,IAAIA,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,KAAA;CAEJ,OAAO,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,KAAA;CAEJ,OAAO,IAAIA,sBAA0B;EACnC,MAAM,aAAa;EACnB;EACA,GAAG,UAAU,aAAa,aAAa,UAAU;EACjD,GAAG,UAAU,WAAW,QAAQ;EACjC,CAAC;;AAGJ,SAAS,8BAA8B,OAA2C;CAEhF,IAAI,CADe,MAAM,KAAK,MAAM,MAAM,EAAE,cAAc,OAC3C,EAAE,OAAO;CACxB,OAAO,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;CAC9D,IAAI,YAAY,UAAU,GAAG,OAAO;CACpC,MAAM,aAAa,CAAC,GAAG,YAAY,CAAC,MAAM,GAAG,MAAM,EAAE,MAAM,cAAc,EAAE,MAAM,CAAC;CAClF,IAAI,UAAU;CACd,OAAO,KAAK,KAAK,MAAM;EACrB,IAAI,EAAE,cAAc,QAAQ,OAAO;EACnC,MAAM,OAAO,WAAW;;EAExB,IAAI,SAAS,KAAA,GACX,MAAM,IAAI,MAAM,2CAA2C;EAE7D,OAAO;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,KAAA,KAAa,sBAAsB,eAAe,UAAU,QAAQ,GAC3F,KAAA,IACA,UAAU;CAChB,MAAM,mBACJ,eAAe,qBAAqB,KAAA,KAAa,UAAU,qBAAqB,YAC5E,KAAA,IACA,UAAU;CAChB,MAAM,oBACJ,eAAe,sBAAsB,KAAA,KAAa,UAAU,sBAAsB,aAC9E,KAAA,IACA,UAAU;CAEhB,OAAO,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,CAClC,CAAC,KAAK,MAAM,GAAG,EAAE,MAAM,GAAG,EAAE,YAAY,CAAC,KAAK,IAAI;CACtF,KAAK,MAAM,YAAY,iBAIrB,IAHuB,aAAa,SAAS,KAAK,CAC/C,KAAK,MAAM,GAAG,EAAE,MAAM,GAAG,EAAE,YAAY,CACvC,KAAK,IACU,KAAK,YAAY,OAAO;;;;;;;;;;;AAc9C,SAAS,qBAAqB,WAG3B;CAKD,IAAI,EAHF,UAAU,KAAK,UAAU,KACzB,UAAU,KAAK,MAAM,MAAM,EAAE,UAAU,UAAU,EAAE,cAAc,OAAO,KAEtD,CAAC,UAAU,SAAS,OAAO,UAAU;CAEzD,MAAM,WAAW,OAAO,KAAK,UAAU,QAAQ,CAAC,KAAK,WAAW;EAC9D;EACA,WAAW;EACZ,EAAE;CAWH,MAAM,gBAA4B,EAAE;CACpC,KAAK,MAAM,OAAO,UAAU,MAAM;EAChC,IAAI,IAAI,UAAU,SAAS;EAC3B,IAAI,IAAI,UAAU,QAAQ;GACxB,cAAc,KAAK,GAAG,SAAS;GAC/B;;EAEF,cAAc,KAAK,IAAI;;CAEzB,OAAO;;;;;;;;;;;;;AAcT,SAAS,sBACP,eAIA,aACS;CACT,IAAI,gBAAgB,KAAA,GAAW,OAAO;CAEtC,OADmB,cAAc,QAAQ,MAAM,EAAE,cAAc,OAAO,CAAC,KAAK,MAAM,EAAE,MACnE,CAAC,OAAO,UAAU,YAAY,WAAW,EAAE;;AAG9D,SAAS,wBACP,aACA,iBAC0C;CAC1C,MAAM,YAAY,YAAY,YAC1B,uBAAuB,YAAY,WAAW,iBAAiB,UAAU,GACzE,KAAA;CAIJ,MAAM,aAAa,YAAY,aAC1B,uBACC,YAAY,YACZ,iBAAiB,WAClB,GACD,KAAA;CAIJ,MAAM,iBAAiB,YAAY,iBAC9B,uBACC,YAAY,gBACZ,iBAAiB,eAClB,GACD,KAAA;CAKJ,MAAM,+BAA+B,uBACnC,YAAY,6BACb,GACG,KAAA,IACA,YAAY;CAIhB,IAAI,EADF,YAAY,UAAU,cAAc,aAAa,gCAAgC,iBAC/D,OAAO,KAAA;CAE3B,OAAO,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,KAAA,IACA,gBAAgB;CAQpB,IAAI,EALF,gBAAgB,UAChB,gBAAgB,cAChB,gBAAgB,aAChB,gCACA,gBAAgB,iBACE,OAAO,KAAA;CAE3B,OAAO,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;CAChF,OAAO,UAAU,KAAA,KAAa,MAAM,YAAY;;;;;;;;;;;;;;;AAgBlD,SAAS,uBACP,MACA,UACyB;CACzB,IAAI,aAAa,KAAA,GAAW,OAAO;CACnC,MAAM,MAA+B,EAAE;CACvC,KAAK,MAAM,OAAO,OAAO,KAAK,SAAS,EACrC,IAAI,OAAO,OAAO,MAAM,IAAI,EAAE,IAAI,OAAO,KAAK;CAEhD,OAAO;;;;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,SAK/B,CACX;CACD,MAAM,EAAE,MAAM,QAAQ,WAAW,iBAAiB,eAAe,mBAAmB,OAAO;CAE3F,MAAM,KAAK,OAAO,SAAS;CAC3B,MAAM,cAAc,OAAO,SAAS,gBAAgB,WAAW,SAAS,cAAc;CAEtF,OAAO;EACL;EACA,GAAG,UAAU,QAAQ,KAAK,KAAA,IAAY,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/src/core/contract-to-schema.ts

@@ -1,63 +0,0 @@
-import type {
-  MongoContract,
-  MongoStorageCollection,
-  MongoStorageCollectionOptions,
-  MongoStorageIndex,
-  MongoStorageValidator,
-} from '@prisma-next/mongo-contract';
-import {
-  MongoSchemaCollection,
-  MongoSchemaCollectionOptions,
-  MongoSchemaIndex,
-  MongoSchemaIR,
-  MongoSchemaValidator,
-} from '@prisma-next/mongo-schema-ir';
-
-function convertIndex(index: MongoStorageIndex): MongoSchemaIndex {
-  return new MongoSchemaIndex({
-    keys: index.keys,
-    unique: index.unique,
-    sparse: index.sparse,
-    expireAfterSeconds: index.expireAfterSeconds,
-    partialFilterExpression: index.partialFilterExpression,
-    wildcardProjection: index.wildcardProjection,
-    collation: index.collation,
-    weights: index.weights,
-    default_language: index.default_language,
-    language_override: index.language_override,
-  });
-}
-
-function convertValidator(v: MongoStorageValidator): MongoSchemaValidator {
-  return new MongoSchemaValidator({
-    jsonSchema: v.jsonSchema,
-    validationLevel: v.validationLevel,
-    validationAction: v.validationAction,
-  });
-}
-
-function convertOptions(o: MongoStorageCollectionOptions): MongoSchemaCollectionOptions {
-  return new MongoSchemaCollectionOptions(o);
-}
-
-function convertCollection(name: string, def: MongoStorageCollection): MongoSchemaCollection {
-  const indexes = (def.indexes ?? []).map(convertIndex);
-  return new MongoSchemaCollection({
-    name,
-    indexes,
-    ...(def.validator != null && { validator: convertValidator(def.validator) }),
-    ...(def.options != null && { options: convertOptions(def.options) }),
-  });
-}
-
-export function contractToMongoSchemaIR(contract: MongoContract | null): MongoSchemaIR {
-  if (!contract) {
-    return new MongoSchemaIR([]);
-  }
-
-  const collections = Object.entries(contract.storage.collections).map(([name, def]) =>
-    convertCollection(name, def),
-  );
-
-  return new MongoSchemaIR(collections);
-}

package/src/core/ddl-formatter.ts

@@ -1,112 +0,0 @@
-import type { MigrationPlanOperation } from '@prisma-next/framework-components/control';
-import type {
-  CollModCommand,
-  CreateCollectionCommand,
-  CreateIndexCommand,
-  DropCollectionCommand,
-  DropIndexCommand,
-  MongoDdlCommandVisitor,
-  MongoIndexKey,
-} from '@prisma-next/mongo-query-ast/control';
-
-function formatKeySpec(keys: ReadonlyArray<MongoIndexKey>): string {
-  const entries = keys.map((k) => `${JSON.stringify(k.field)}: ${JSON.stringify(k.direction)}`);
-  return `{ ${entries.join(', ')} }`;
-}
-
-function formatOptions(cmd: CreateIndexCommand): string | undefined {
-  const parts: string[] = [];
-  if (cmd.unique) parts.push('unique: true');
-  if (cmd.sparse) parts.push('sparse: true');
-  if (cmd.expireAfterSeconds !== undefined)
-    parts.push(`expireAfterSeconds: ${cmd.expireAfterSeconds}`);
-  if (cmd.name) parts.push(`name: ${JSON.stringify(cmd.name)}`);
-  if (cmd.collation) parts.push(`collation: ${JSON.stringify(cmd.collation)}`);
-  if (cmd.weights) parts.push(`weights: ${JSON.stringify(cmd.weights)}`);
-  if (cmd.default_language) parts.push(`default_language: ${JSON.stringify(cmd.default_language)}`);
-  if (cmd.language_override)
-    parts.push(`language_override: ${JSON.stringify(cmd.language_override)}`);
-  if (cmd.wildcardProjection)
-    parts.push(`wildcardProjection: ${JSON.stringify(cmd.wildcardProjection)}`);
-  if (cmd.partialFilterExpression)
-    parts.push(`partialFilterExpression: ${JSON.stringify(cmd.partialFilterExpression)}`);
-  if (parts.length === 0) return undefined;
-  return `{ ${parts.join(', ')} }`;
-}
-
-function formatCreateCollectionOptions(cmd: CreateCollectionCommand): string | undefined {
-  const parts: string[] = [];
-  if (cmd.capped) parts.push('capped: true');
-  if (cmd.size !== undefined) parts.push(`size: ${cmd.size}`);
-  if (cmd.max !== undefined) parts.push(`max: ${cmd.max}`);
-  if (cmd.timeseries) parts.push(`timeseries: ${JSON.stringify(cmd.timeseries)}`);
-  if (cmd.collation) parts.push(`collation: ${JSON.stringify(cmd.collation)}`);
-  if (cmd.clusteredIndex) parts.push(`clusteredIndex: ${JSON.stringify(cmd.clusteredIndex)}`);
-  if (cmd.validator) parts.push(`validator: ${JSON.stringify(cmd.validator)}`);
-  if (cmd.validationLevel) parts.push(`validationLevel: ${JSON.stringify(cmd.validationLevel)}`);
-  if (cmd.validationAction) parts.push(`validationAction: ${JSON.stringify(cmd.validationAction)}`);
-  if (cmd.changeStreamPreAndPostImages)
-    parts.push(`changeStreamPreAndPostImages: ${JSON.stringify(cmd.changeStreamPreAndPostImages)}`);
-  if (parts.length === 0) return undefined;
-  return `{ ${parts.join(', ')} }`;
-}
-
-class MongoDdlCommandFormatter implements MongoDdlCommandVisitor<string> {
-  createIndex(cmd: CreateIndexCommand): string {
-    const keySpec = formatKeySpec(cmd.keys);
-    const opts = formatOptions(cmd);
-    return opts
-      ? `db.${cmd.collection}.createIndex(${keySpec}, ${opts})`
-      : `db.${cmd.collection}.createIndex(${keySpec})`;
-  }
-
-  dropIndex(cmd: DropIndexCommand): string {
-    return `db.${cmd.collection}.dropIndex(${JSON.stringify(cmd.name)})`;
-  }
-
-  createCollection(cmd: CreateCollectionCommand): string {
-    const opts = formatCreateCollectionOptions(cmd);
-    return opts
-      ? `db.createCollection(${JSON.stringify(cmd.collection)}, ${opts})`
-      : `db.createCollection(${JSON.stringify(cmd.collection)})`;
-  }
-
-  dropCollection(cmd: DropCollectionCommand): string {
-    return `db.${cmd.collection}.drop()`;
-  }
-
-  collMod(cmd: CollModCommand): string {
-    const parts: string[] = [`collMod: ${JSON.stringify(cmd.collection)}`];
-    if (cmd.validator) parts.push(`validator: ${JSON.stringify(cmd.validator)}`);
-    if (cmd.validationLevel) parts.push(`validationLevel: ${JSON.stringify(cmd.validationLevel)}`);
-    if (cmd.validationAction)
-      parts.push(`validationAction: ${JSON.stringify(cmd.validationAction)}`);
-    if (cmd.changeStreamPreAndPostImages)
-      parts.push(
-        `changeStreamPreAndPostImages: ${JSON.stringify(cmd.changeStreamPreAndPostImages)}`,
-      );
-    return `db.runCommand({ ${parts.join(', ')} })`;
-  }
-}
-
-const formatter = new MongoDdlCommandFormatter();
-
-interface MongoExecuteStep {
-  readonly command: { readonly accept: <R>(visitor: MongoDdlCommandVisitor<R>) => R };
-}
-
-export function formatMongoOperations(operations: readonly MigrationPlanOperation[]): string[] {
-  const statements: string[] = [];
-  for (const operation of operations) {
-    const candidate = operation as unknown as Record<string, unknown>;
-    if (!('execute' in candidate) || !Array.isArray(candidate['execute'])) {
-      continue;
-    }
-    for (const step of candidate['execute'] as MongoExecuteStep[]) {
-      if (step.command && typeof step.command.accept === 'function') {
-        statements.push(step.command.accept(formatter));
-      }
-    }
-  }
-  return statements;
-}

package/src/core/marker-ledger.ts

@@ -1,232 +0,0 @@
-import type { ContractMarkerRecord } from '@prisma-next/contract/types';
-import {
-  RawAggregateCommand,
-  RawFindOneAndUpdateCommand,
-  RawInsertOneCommand,
-} from '@prisma-next/mongo-query-ast/execution';
-import { type } from 'arktype';
-import type { Db, Document, UpdateFilter } from 'mongodb';
-
-const COLLECTION = '_prisma_migrations';
-
-/**
- * Marker doc shape.
- *
- * Same fields as the SQL marker row but camelCase + Mongo-native types:
- * `Date` is BSON-hydrated, `meta` is a native object (not JSON-stringified),
- * `_id` and any extension fields are tolerated. `invariants?` is optional —
- * absent reads as `[]` (schemaless default); present-but-malformed throws.
- *
- * `space` is required: every marker doc is keyed by its space id (`_id`)
- * and stamped with a matching `space` field for partitioned reads.
- */
-const MongoMarkerDocSchema = type({
-  space: 'string',
-  storageHash: 'string',
-  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)
-    .aggregate(cmd.pipeline as Record<string, unknown>[])
-    .toArray();
-}
-
-async function executeInsertOne(db: Db, cmd: RawInsertOneCommand): Promise<void> {
-  await db.collection(cmd.collection).insertOne(cmd.document);
-}
-
-async function executeFindOneAndUpdate(
-  db: Db,
-  cmd: RawFindOneAndUpdateCommand,
-): Promise<Document | null> {
-  // `cmd.update` is `Document | ReadonlyArray<Document>` per the AST. The
-  // MongoDB driver's `findOneAndUpdate` accepts the same shape under the
-  // type `UpdateFilter<T> | Document[]`. The driver's runtime path handles
-  // both forms identically — pipelines (array) and update docs (object).
-  // One cast to that union keeps the call single-arm.
-  return db
-    .collection(cmd.collection)
-    .findOneAndUpdate(cmd.filter, cmd.update as UpdateFilter<Document> | Document[], {
-      upsert: cmd.upsert,
-    });
-}
-
-/**
- * Reads the marker document for the given contract space, or returns
- * `null` if no marker has been written for that space yet. Each space
- * owns one row keyed by `_id: <space>` — see ADR 212 for the per-space
- * mechanism this enables.
- */
-export async function readMarker(db: Db, space: string): Promise<ContractMarkerRecord | null> {
-  const cmd = new RawAggregateCommand(COLLECTION, [
-    { $match: { _id: space, space } },
-    { $limit: 1 },
-  ]);
-  const docs = await executeAggregate(db, cmd);
-  const doc = docs[0];
-  if (!doc) return null;
-  return parseMongoMarkerDoc(doc);
-}
-
-/**
- * Reads every marker doc in the collection (one per contract space)
- * and returns them keyed by `space`. Used by the per-space verifier
- * to detect marker-vs-on-disk drift and orphan marker rows. Returns
- * an empty map when no marker docs have been written yet.
- *
- * Marker docs are keyed by `_id: <space>` (string); ledger entries
- * live in the same collection but use a driver-generated `ObjectId`
- * `_id` plus `type: 'ledger'`. The filter selects string-keyed docs
- * with a `space` field, which excludes ledger entries by construction.
- */
-export async function readAllMarkers(db: Db): Promise<ReadonlyMap<string, ContractMarkerRecord>> {
-  const cmd = new RawAggregateCommand(COLLECTION, [
-    {
-      $match: {
-        _id: { $type: 'string' },
-        space: { $type: 'string' },
-        $expr: { $eq: ['$_id', '$space'] },
-      },
-    },
-  ]);
-  const docs = await executeAggregate(db, cmd);
-  const out = new Map<string, ContractMarkerRecord>();
-  for (const doc of docs) {
-    const space = doc['space'];
-    /* v8 ignore next -- @preserve type-narrowing guard: the $match stage above filters on `space: { $type: 'string' }`, so this branch is unreachable at runtime. The check exists so the `out.set(space, ...)` call below can accept `string`. */
-    if (typeof space !== 'string') continue;
-    out.set(space, parseMongoMarkerDoc(doc));
-  }
-  return out;
-}
-
-export async function initMarker(
-  db: Db,
-  space: string,
-  destination: {
-    readonly storageHash: string;
-    readonly profileHash: string;
-    readonly invariants?: readonly string[];
-  },
-): Promise<void> {
-  const cmd = new RawInsertOneCommand(COLLECTION, {
-    _id: space,
-    space,
-    storageHash: destination.storageHash,
-    profileHash: destination.profileHash,
-    contractJson: null,
-    canonicalVersion: null,
-    updatedAt: new Date(),
-    appTag: null,
-    meta: {},
-    invariants: destination.invariants ?? [],
-  });
-  await executeInsertOne(db, cmd);
-}
-
-/**
- * Updates the marker doc for the given space atomically (CAS on
- * `expectedFrom`).
- *
- * `destination.invariants`:
- * - `undefined` → existing field left untouched.
- * - explicit value → merged into the existing field server-side via an
- *   aggregation pipeline (`$setUnion + $sortArray`), atomic at the
- *   document level. `[]` is a no-op merge.
- */
-export async function updateMarker(
-  db: Db,
-  space: string,
-  expectedFrom: string,
-  destination: {
-    readonly storageHash: string;
-    readonly profileHash: string;
-    readonly invariants?: readonly string[];
-  },
-): Promise<boolean> {
-  const setBase: Record<string, unknown> = {
-    storageHash: destination.storageHash,
-    profileHash: destination.profileHash,
-    updatedAt: new Date(),
-  };
-  // When invariants is supplied, use an aggregation pipeline so the
-  // merge runs server-side against the doc's current value (atomic, no
-  // read-then-write window). When omitted, a regular update doc keeps
-  // the field untouched.
-  const update: Document | Document[] =
-    destination.invariants === undefined
-      ? { $set: setBase }
-      : [
-          {
-            $set: {
-              ...setBase,
-              invariants: {
-                $sortArray: {
-                  input: { $setUnion: [{ $ifNull: ['$invariants', []] }, destination.invariants] },
-                  sortBy: 1,
-                },
-              },
-            },
-          },
-        ];
-  const cmd = new RawFindOneAndUpdateCommand(
-    COLLECTION,
-    { _id: space, space, storageHash: expectedFrom },
-    update,
-    false,
-  );
-  const result = await executeFindOneAndUpdate(db, cmd);
-  return result !== null;
-}
-
-/**
- * Appends a ledger entry for the given space. Ledger entries co-exist
- * with marker docs in the same collection; marker docs use `_id: <space>`
- * (string), ledger entries use `type: 'ledger'` plus a driver-generated
- * ObjectId. Reads partition the two by filter shape.
- *
- * The same `edgeId` may legitimately recur across different spaces (e.g.
- * a synthetic ∅→head edge on first apply), so the ledger key is
- * `(space, edgeId)` — the doc carries `space` for partitioned reads.
- */
-export async function writeLedgerEntry(
-  db: Db,
-  space: string,
-  entry: { readonly edgeId: string; readonly from: string; readonly to: string },
-): Promise<void> {
-  const cmd = new RawInsertOneCommand(COLLECTION, {
-    type: 'ledger',
-    space,
-    edgeId: entry.edgeId,
-    from: entry.from,
-    to: entry.to,
-    appliedAt: new Date(),
-  });
-  await executeInsertOne(db, cmd);
-}