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

package/dist/index.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"index.mjs","names":["arktypeType"],"sources":["../src/polymorphic-index-scope.ts","../src/contract-schema.ts","../src/validate-storage.ts","../src/validate-mongo-contract.ts"],"sourcesContent":["import type { MongoStorageIndex } from './contract-types';\n\nexport type PolymorphicIndexScope = {\n  readonly discriminatorField: string;\n  readonly discriminatorValue: string | number | boolean;\n};\n\nexport type ApplyScopeResult =\n  | { readonly kind: 'ok'; readonly index: MongoStorageIndex }\n  | { readonly kind: 'conflict'; readonly reason: string };\n\nfunction isScalarDiscriminatorValue(value: unknown): value is string | number | boolean {\n  const t = typeof value;\n  return t === 'string' || t === 'number' || t === 'boolean';\n}\n\nfunction formatValue(value: unknown): string {\n  if (typeof value === 'string') return JSON.stringify(value);\n  if (value === null) return 'null';\n  if (Array.isArray(value)) return JSON.stringify(value);\n  if (typeof value === 'object') return JSON.stringify(value);\n  return String(value);\n}\n\nexport function applyPolymorphicScopeToMongoIndex(\n  index: MongoStorageIndex,\n  scope: PolymorphicIndexScope,\n): ApplyScopeResult {\n  if (!isScalarDiscriminatorValue(scope.discriminatorValue)) {\n    return {\n      kind: 'conflict',\n      reason: `Variant-scoped indexes require a scalar (string, number, or boolean) discriminator value for field \"${scope.discriminatorField}\", but received ${formatValue(scope.discriminatorValue)}.`,\n    };\n  }\n\n  const existing = index.partialFilterExpression;\n  if (existing && Object.hasOwn(existing, scope.discriminatorField)) {\n    const existingValue = existing[scope.discriminatorField];\n    if (existingValue === scope.discriminatorValue) {\n      return { kind: 'ok', index };\n    }\n    return {\n      kind: 'conflict',\n      reason: `Index partialFilterExpression sets \"${scope.discriminatorField}\" to ${formatValue(existingValue)}, which conflicts with the variant's discriminator value ${formatValue(scope.discriminatorValue)}.`,\n    };\n  }\n\n  const merged: Record<string, unknown> = {\n    ...(existing ?? {}),\n    [scope.discriminatorField]: scope.discriminatorValue,\n  };\n\n  return {\n    kind: 'ok',\n    index: { ...index, partialFilterExpression: merged },\n  };\n}\n","import { type } from 'arktype';\nimport type { MongoJsonObject, MongoJsonPrimitive, MongoJsonValue } from './contract-types';\n\nconst ScalarFieldTypeSchema = type({\n  '+': 'reject',\n  kind: \"'scalar'\",\n  codecId: 'string',\n  'typeParams?': 'Record<string, unknown>',\n});\n\nconst ValueObjectFieldTypeSchema = type({\n  '+': 'reject',\n  kind: \"'valueObject'\",\n  name: 'string',\n});\n\nconst UnionFieldTypeSchema = type({\n  '+': 'reject',\n  kind: \"'union'\",\n  members: ScalarFieldTypeSchema.or(ValueObjectFieldTypeSchema).array(),\n});\n\nconst FieldTypeSchema = ScalarFieldTypeSchema.or(ValueObjectFieldTypeSchema).or(\n  UnionFieldTypeSchema,\n);\n\nconst RawFieldSchema = type({\n  '+': 'reject',\n  type: FieldTypeSchema,\n  'nullable?': 'boolean',\n  'many?': 'boolean',\n  'dict?': 'boolean',\n});\n\nconst FieldSchema = RawFieldSchema.pipe((field) => ({\n  ...field,\n  nullable: field.nullable ?? false,\n}));\n\nconst RelationOnSchema = type({\n  '+': 'reject',\n  localFields: 'string[]',\n  targetFields: 'string[]',\n});\n\nconst RelationSchema = type({\n  '+': 'reject',\n  to: 'string',\n  cardinality: \"'1:1' | '1:N' | 'N:1'\",\n  'on?': RelationOnSchema,\n});\n\nconst StorageRelationEntrySchema = type({\n  '+': 'reject',\n  field: 'string',\n});\n\nconst MongoJsonPrimitiveSchema = type\n  .declare<MongoJsonPrimitive>()\n  .type('string | number | boolean | null');\n\nfunction isMongoJsonRecord(value: unknown): value is Record<string, unknown> {\n  if (typeof value !== 'object' || value === null || Array.isArray(value)) {\n    return false;\n  }\n  const prototype = Object.getPrototypeOf(value);\n  return prototype === Object.prototype || prototype === null;\n}\n\nfunction withUnseenReference(value: object, seen: WeakSet<object>, visit: () => boolean): boolean {\n  if (seen.has(value)) {\n    return false;\n  }\n\n  seen.add(value);\n  const result = visit();\n  seen.delete(value);\n  return result;\n}\n\nfunction isMongoJsonObject(value: unknown, seen: WeakSet<object>): value is MongoJsonObject {\n  return (\n    isMongoJsonRecord(value) &&\n    withUnseenReference(value, seen, () =>\n      Object.values(value).every((entry) => isMongoJsonValue(entry, seen)),\n    )\n  );\n}\n\nfunction isMongoJsonValue(value: unknown, seen = new WeakSet<object>()): value is MongoJsonValue {\n  if (MongoJsonPrimitiveSchema.allows(value)) {\n    return true;\n  }\n  if (Array.isArray(value)) {\n    return withUnseenReference(value, seen, () =>\n      value.every((entry) => isMongoJsonValue(entry, seen)),\n    );\n  }\n  return isMongoJsonObject(value, seen);\n}\n\nconst MongoJsonValueSchema = type('unknown').narrow((value, ctx) =>\n  isMongoJsonValue(value) ? true : ctx.mustBe('a JSON-serializable MongoJsonValue'),\n);\n\nconst MongoJsonObjectSchema = type({ '[string]': 'unknown' }).narrow((value, ctx) =>\n  isMongoJsonRecord(value) &&\n  Object.values(value).every((entry) => MongoJsonValueSchema.allows(entry))\n    ? true\n    : ctx.mustBe('a JSON object with MongoJsonValue entries'),\n);\n\nconst NumberRecordSchema = type({ '[string]': 'number' });\n\nconst IndexFieldsSchema = type({\n  '+': 'reject',\n  '[string]': '1 | -1 | \"text\" | \"2dsphere\" | \"2d\" | \"hashed\"',\n}).narrow((fields, ctx) =>\n  Object.keys(fields).length > 0 ? true : ctx.mustBe('an index field map with at least one entry'),\n);\n\nconst CollationSchema = type({\n  '+': 'reject',\n  locale: 'string',\n  'caseLevel?': 'boolean',\n  'caseFirst?': '\"off\" | \"upper\" | \"lower\"',\n  'strength?': '1 | 2 | 3 | 4 | 5',\n  'numericOrdering?': 'boolean',\n  'alternate?': '\"non-ignorable\" | \"shifted\"',\n  'maxVariable?': '\"punct\" | \"space\"',\n  'backwards?': 'boolean',\n  'normalization?': 'boolean',\n});\n\nconst IndexOptionDefaultsSchema = type({\n  '+': 'reject',\n  'storageEngine?': MongoJsonObjectSchema,\n});\n\nconst TimeSeriesCollectionOptionsSchema = type({\n  '+': 'reject',\n  timeField: 'string',\n  'metaField?': 'string',\n  'granularity?': '\"seconds\" | \"minutes\" | \"hours\"',\n  'bucketMaxSpanSeconds?': 'number',\n  'bucketRoundingSeconds?': 'number',\n});\n\nconst ClusteredCollectionKeySchema = type({\n  '+': 'reject',\n  '[string]': '1',\n}).narrow((key, ctx) =>\n  Object.keys(key).length > 0\n    ? true\n    : ctx.mustBe('a clustered index key map with at least one entry'),\n);\n\nconst ClusteredCollectionOptionsSchema = type({\n  '+': 'reject',\n  'name?': 'string',\n  key: ClusteredCollectionKeySchema,\n  unique: 'boolean',\n});\n\nconst ChangeStreamPreAndPostImagesSchema = type({\n  '+': 'reject',\n  enabled: 'boolean',\n});\n\nconst CollectionOptionsSchema = type({\n  '+': 'reject',\n  'capped?': 'boolean',\n  'size?': 'number',\n  'max?': 'number',\n  'storageEngine?': MongoJsonObjectSchema,\n  'indexOptionDefaults?': IndexOptionDefaultsSchema,\n  'collation?': CollationSchema,\n  'timeseries?': TimeSeriesCollectionOptionsSchema,\n  'clusteredIndex?': ClusteredCollectionOptionsSchema,\n  'expireAfterSeconds?': 'number',\n  'changeStreamPreAndPostImages?': ChangeStreamPreAndPostImagesSchema,\n});\n\nconst ModelStorageSchema = type({\n  '+': 'reject',\n  'collection?': 'string',\n  'relations?': type({ '[string]': StorageRelationEntrySchema }),\n});\n\nconst DiscriminatorSchema = type({\n  '+': 'reject',\n  field: 'string',\n});\n\nconst VariantEntrySchema = type({\n  '+': 'reject',\n  value: 'string',\n});\n\nconst ModelDefinitionSchema = type({\n  '+': 'reject',\n  fields: type({ '[string]': FieldSchema }),\n  storage: ModelStorageSchema,\n  'relations?': type({ '[string]': RelationSchema }),\n  'discriminator?': DiscriminatorSchema,\n  'variants?': type({ '[string]': VariantEntrySchema }),\n  'base?': 'string',\n  'owner?': 'string',\n});\n\nconst WildcardProjectionSchema = type({\n  '+': 'reject',\n  '[string]': '0 | 1',\n});\n\nconst IndexOptionsSchema = type({\n  '+': 'reject',\n  'unique?': 'boolean',\n  'name?': 'string',\n  'partialFilterExpression?': MongoJsonObjectSchema,\n  'sparse?': 'boolean',\n  'expireAfterSeconds?': 'number',\n  'weights?': NumberRecordSchema,\n  'default_language?': 'string',\n  'language_override?': 'string',\n  'textIndexVersion?': 'number',\n  '2dsphereIndexVersion?': 'number',\n  'bits?': 'number',\n  'min?': 'number',\n  'max?': 'number',\n  'bucketSize?': 'number',\n  'hidden?': 'boolean',\n  'collation?': CollationSchema,\n  'wildcardProjection?': WildcardProjectionSchema,\n});\n\nconst IndexSchema = type({\n  '+': 'reject',\n  fields: IndexFieldsSchema,\n  'options?': IndexOptionsSchema,\n});\n\nconst MongoIndexKeySchema = type({\n  '+': 'reject',\n  field: 'string',\n  direction: '1 | -1 | \"text\" | \"2dsphere\" | \"2d\" | \"hashed\"',\n});\n\nconst MongoStorageIndexSchema = type({\n  '+': 'reject',\n  keys: MongoIndexKeySchema.array().atLeastLength(1),\n  'unique?': 'boolean',\n  'sparse?': 'boolean',\n  'expireAfterSeconds?': 'number',\n  'partialFilterExpression?': 'Record<string, unknown>',\n  'wildcardProjection?': 'Record<string, 0 | 1>',\n  'collation?': 'Record<string, unknown>',\n  'weights?': 'Record<string, number>',\n  'default_language?': 'string',\n  'language_override?': 'string',\n});\n\nconst MongoStorageValidatorSchema = type({\n  '+': 'reject',\n  jsonSchema: 'Record<string, unknown>',\n  validationLevel: \"'strict' | 'moderate'\",\n  validationAction: \"'error' | 'warn'\",\n});\n\nconst CappedOptionsSchema = type({\n  '+': 'reject',\n  size: 'number',\n  'max?': 'number',\n});\n\nconst TimeseriesOptionsSchema = type({\n  '+': 'reject',\n  timeField: 'string',\n  'metaField?': 'string',\n  'granularity?': \"'seconds' | 'minutes' | 'hours'\",\n});\n\nconst ClusteredIndexSchema = type({\n  '+': 'reject',\n  'name?': 'string',\n});\n\nconst MongoCollectionOptionsSchema = type({\n  '+': 'reject',\n  'capped?': CappedOptionsSchema,\n  'timeseries?': TimeseriesOptionsSchema,\n  'collation?': 'Record<string, unknown>',\n  'changeStreamPreAndPostImages?': ChangeStreamPreAndPostImagesSchema,\n  'clusteredIndex?': ClusteredIndexSchema,\n});\n\nconst StorageCollectionSchema = type({\n  '+': 'reject',\n  'indexes?': MongoStorageIndexSchema.array(),\n  'validator?': MongoStorageValidatorSchema,\n  'options?': MongoCollectionOptionsSchema,\n});\n\nexport const MongoContractSchema = type({\n  '+': 'reject',\n  targetFamily: \"'mongo'\",\n  'schemaVersion?': 'string',\n  'target?': 'string',\n  'storageHash?': 'string',\n  'profileHash?': 'string',\n  roots: 'Record<string, string>',\n  'capabilities?': 'Record<string, unknown>',\n  'extensionPacks?': 'Record<string, unknown>',\n  'meta?': 'Record<string, unknown>',\n  'sources?': 'Record<string, unknown>',\n  '_generated?': 'Record<string, unknown>',\n  storage: type({\n    '+': 'reject',\n    collections: type({ '[string]': StorageCollectionSchema }),\n    'storageHash?': 'string',\n  }),\n  models: type({ '[string]': ModelDefinitionSchema }),\n  'valueObjects?': type({\n    '[string]': type({ '+': 'reject', fields: type({ '[string]': FieldSchema }) }),\n  }),\n});\n\nexport {\n  CollationSchema,\n  CollectionOptionsSchema,\n  IndexFieldsSchema,\n  IndexOptionsSchema,\n  IndexSchema,\n  MongoIndexKeySchema,\n  MongoStorageIndexSchema,\n  NumberRecordSchema,\n  WildcardProjectionSchema,\n};\n","import type { MongoContract } from './contract-types';\n\nexport function validateMongoStorage(contract: MongoContract): void {\n  const errors: string[] = [];\n\n  for (const [modelName, model] of Object.entries(contract.models)) {\n    if (model.storage.collection && !(model.storage.collection in contract.storage.collections)) {\n      errors.push(\n        `Model \"${modelName}\" references collection \"${model.storage.collection}\" which is not in storage.collections`,\n      );\n    }\n\n    // Mongo does not support multi-table inheritance (ADR 2): all variants of a base\n    // must share the same collection (single-table inheritance only).\n    if (model.base) {\n      const baseModel = contract.models[model.base];\n      if (baseModel) {\n        const variantCollection = model.storage.collection;\n        const baseCollection = baseModel.storage.collection;\n        if (variantCollection !== baseCollection) {\n          errors.push(\n            `Mongo does not support multi-table inheritance; variant \"${modelName}\" must share its base's collection (\"${baseCollection ?? '(none)'}\"), but has \"${variantCollection ?? '(none)'}\"`,\n          );\n        }\n      }\n    }\n\n    for (const [relName, relation] of Object.entries(model.relations ?? {})) {\n      const targetModel = contract.models[relation.to];\n\n      if (targetModel?.owner) {\n        if (targetModel.owner !== modelName) {\n          errors.push(\n            `Embed relation \"${relName}\" targets \"${relation.to}\" which is owned by \"${targetModel.owner}\", not \"${modelName}\"`,\n          );\n        }\n        if (targetModel.storage.collection) {\n          errors.push(\n            `Embed relation \"${relName}\" targets \"${relation.to}\" which must not have a collection`,\n          );\n        }\n      } else if ('on' in relation && relation.on) {\n        for (const localField of relation.on.localFields) {\n          if (!(localField in model.fields)) {\n            errors.push(\n              `Reference relation \"${relName}\": localField \"${localField}\" is not a field on model \"${modelName}\"`,\n            );\n          }\n        }\n\n        if (targetModel) {\n          for (const targetField of relation.on.targetFields) {\n            if (!(targetField in targetModel.fields)) {\n              errors.push(\n                `Reference relation \"${relName}\": targetField \"${targetField}\" is not a field on model \"${relation.to}\"`,\n              );\n            }\n          }\n        }\n      }\n    }\n  }\n\n  if (errors.length > 0) {\n    throw new Error(`Contract storage validation failed:\\n- ${errors.join('\\n- ')}`);\n  }\n}\n","import { validateContractDomain } from '@prisma-next/contract/validate-domain';\nimport { type as arktypeType } from 'arktype';\nimport { MongoContractSchema } from './contract-schema';\nimport type { MongoContract } from './contract-types';\nimport { validateMongoStorage } from './validate-storage';\n\nexport interface MongoContractIndices {\n  readonly variantToBase: Record<string, string>;\n  readonly modelToVariants: Record<string, string[]>;\n}\n\nexport interface ValidatedMongoContract<TContract extends MongoContract> {\n  readonly contract: TContract;\n  readonly indices: MongoContractIndices;\n}\n\nexport function validateMongoContract<TContract extends MongoContract>(\n  value: unknown,\n): ValidatedMongoContract<TContract> {\n  const parsed = MongoContractSchema(value);\n  if (parsed instanceof arktypeType.errors) {\n    throw new Error(`Contract structural validation failed: ${parsed.summary}`);\n  }\n\n  const contract = parsed as unknown as TContract;\n\n  validateContractDomain(contract);\n  validateMongoStorage(contract);\n\n  const indices = buildIndices(contract);\n\n  return { contract, indices };\n}\n\nfunction buildIndices(contract: MongoContract): MongoContractIndices {\n  const variantToBase: Record<string, string> = {};\n  const modelToVariants: Record<string, string[]> = {};\n\n  for (const [modelName, model] of Object.entries(contract.models)) {\n    if (model.base) {\n      variantToBase[modelName] = model.base;\n    }\n    if (model.variants) {\n      modelToVariants[modelName] = Object.keys(model.variants);\n    }\n  }\n\n  return { variantToBase, modelToVariants };\n}\n"],"mappings":";;;AAWA,SAAS,2BAA2B,OAAoD;CACtF,MAAM,IAAI,OAAO;CACjB,OAAO,MAAM,YAAY,MAAM,YAAY,MAAM;;AAGnD,SAAS,YAAY,OAAwB;CAC3C,IAAI,OAAO,UAAU,UAAU,OAAO,KAAK,UAAU,MAAM;CAC3D,IAAI,UAAU,MAAM,OAAO;CAC3B,IAAI,MAAM,QAAQ,MAAM,EAAE,OAAO,KAAK,UAAU,MAAM;CACtD,IAAI,OAAO,UAAU,UAAU,OAAO,KAAK,UAAU,MAAM;CAC3D,OAAO,OAAO,MAAM;;AAGtB,SAAgB,kCACd,OACA,OACkB;CAClB,IAAI,CAAC,2BAA2B,MAAM,mBAAmB,EACvD,OAAO;EACL,MAAM;EACN,QAAQ,uGAAuG,MAAM,mBAAmB,kBAAkB,YAAY,MAAM,mBAAmB,CAAC;EACjM;CAGH,MAAM,WAAW,MAAM;CACvB,IAAI,YAAY,OAAO,OAAO,UAAU,MAAM,mBAAmB,EAAE;EACjE,MAAM,gBAAgB,SAAS,MAAM;EACrC,IAAI,kBAAkB,MAAM,oBAC1B,OAAO;GAAE,MAAM;GAAM;GAAO;EAE9B,OAAO;GACL,MAAM;GACN,QAAQ,uCAAuC,MAAM,mBAAmB,OAAO,YAAY,cAAc,CAAC,2DAA2D,YAAY,MAAM,mBAAmB,CAAC;GAC5M;;CAGH,MAAM,SAAkC;EACtC,GAAI,YAAY,EAAE;GACjB,MAAM,qBAAqB,MAAM;EACnC;CAED,OAAO;EACL,MAAM;EACN,OAAO;GAAE,GAAG;GAAO,yBAAyB;GAAQ;EACrD;;;;ACpDH,MAAM,wBAAwB,KAAK;CACjC,KAAK;CACL,MAAM;CACN,SAAS;CACT,eAAe;CAChB,CAAC;AAEF,MAAM,6BAA6B,KAAK;CACtC,KAAK;CACL,MAAM;CACN,MAAM;CACP,CAAC;AAEF,MAAM,uBAAuB,KAAK;CAChC,KAAK;CACL,MAAM;CACN,SAAS,sBAAsB,GAAG,2BAA2B,CAAC,OAAO;CACtE,CAAC;AAcF,MAAM,cARiB,KAAK;CAC1B,KAAK;CACL,MANsB,sBAAsB,GAAG,2BAA2B,CAAC,GAC3E,qBAKqB;CACrB,aAAa;CACb,SAAS;CACT,SAAS;CACV,CAEiC,CAAC,MAAM,WAAW;CAClD,GAAG;CACH,UAAU,MAAM,YAAY;CAC7B,EAAE;AAQH,MAAM,iBAAiB,KAAK;CAC1B,KAAK;CACL,IAAI;CACJ,aAAa;CACb,OAVuB,KAAK;EAC5B,KAAK;EACL,aAAa;EACb,cAAc;EACf,CAMwB;CACxB,CAAC;AAEF,MAAM,6BAA6B,KAAK;CACtC,KAAK;CACL,OAAO;CACR,CAAC;AAEF,MAAM,2BAA2B,KAC9B,SAA6B,CAC7B,KAAK,mCAAmC;AAE3C,SAAS,kBAAkB,OAAkD;CAC3E,IAAI,OAAO,UAAU,YAAY,UAAU,QAAQ,MAAM,QAAQ,MAAM,EACrE,OAAO;CAET,MAAM,YAAY,OAAO,eAAe,MAAM;CAC9C,OAAO,cAAc,OAAO,aAAa,cAAc;;AAGzD,SAAS,oBAAoB,OAAe,MAAuB,OAA+B;CAChG,IAAI,KAAK,IAAI,MAAM,EACjB,OAAO;CAGT,KAAK,IAAI,MAAM;CACf,MAAM,SAAS,OAAO;CACtB,KAAK,OAAO,MAAM;CAClB,OAAO;;AAGT,SAAS,kBAAkB,OAAgB,MAAiD;CAC1F,OACE,kBAAkB,MAAM,IACxB,oBAAoB,OAAO,YACzB,OAAO,OAAO,MAAM,CAAC,OAAO,UAAU,iBAAiB,OAAO,KAAK,CAAC,CACrE;;AAIL,SAAS,iBAAiB,OAAgB,uBAAO,IAAI,SAAiB,EAA2B;CAC/F,IAAI,yBAAyB,OAAO,MAAM,EACxC,OAAO;CAET,IAAI,MAAM,QAAQ,MAAM,EACtB,OAAO,oBAAoB,OAAO,YAChC,MAAM,OAAO,UAAU,iBAAiB,OAAO,KAAK,CAAC,CACtD;CAEH,OAAO,kBAAkB,OAAO,KAAK;;AAGvC,MAAM,uBAAuB,KAAK,UAAU,CAAC,QAAQ,OAAO,QAC1D,iBAAiB,MAAM,GAAG,OAAO,IAAI,OAAO,qCAAqC,CAClF;AAED,MAAM,wBAAwB,KAAK,EAAE,YAAY,WAAW,CAAC,CAAC,QAAQ,OAAO,QAC3E,kBAAkB,MAAM,IACxB,OAAO,OAAO,MAAM,CAAC,OAAO,UAAU,qBAAqB,OAAO,MAAM,CAAC,GACrE,OACA,IAAI,OAAO,4CAA4C,CAC5D;AAED,MAAM,qBAAqB,KAAK,EAAE,YAAY,UAAU,CAAC;AAEzD,MAAM,oBAAoB,KAAK;CAC7B,KAAK;CACL,YAAY;CACb,CAAC,CAAC,QAAQ,QAAQ,QACjB,OAAO,KAAK,OAAO,CAAC,SAAS,IAAI,OAAO,IAAI,OAAO,6CAA6C,CACjG;AAED,MAAM,kBAAkB,KAAK;CAC3B,KAAK;CACL,QAAQ;CACR,cAAc;CACd,cAAc;CACd,aAAa;CACb,oBAAoB;CACpB,cAAc;CACd,gBAAgB;CAChB,cAAc;CACd,kBAAkB;CACnB,CAAC;AAEF,MAAM,4BAA4B,KAAK;CACrC,KAAK;CACL,kBAAkB;CACnB,CAAC;AAEF,MAAM,oCAAoC,KAAK;CAC7C,KAAK;CACL,WAAW;CACX,cAAc;CACd,gBAAgB;CAChB,yBAAyB;CACzB,0BAA0B;CAC3B,CAAC;AAWF,MAAM,mCAAmC,KAAK;CAC5C,KAAK;CACL,SAAS;CACT,KAZmC,KAAK;EACxC,KAAK;EACL,YAAY;EACb,CAAC,CAAC,QAAQ,KAAK,QACd,OAAO,KAAK,IAAI,CAAC,SAAS,IACtB,OACA,IAAI,OAAO,oDAAoD,CAMlC;CACjC,QAAQ;CACT,CAAC;AAEF,MAAM,qCAAqC,KAAK;CAC9C,KAAK;CACL,SAAS;CACV,CAAC;AAE8B,KAAK;CACnC,KAAK;CACL,WAAW;CACX,SAAS;CACT,QAAQ;CACR,kBAAkB;CAClB,wBAAwB;CACxB,cAAc;CACd,eAAe;CACf,mBAAmB;CACnB,uBAAuB;CACvB,iCAAiC;CAClC,CAAC;AAEF,MAAM,qBAAqB,KAAK;CAC9B,KAAK;CACL,eAAe;CACf,cAAc,KAAK,EAAE,YAAY,4BAA4B,CAAC;CAC/D,CAAC;AAEF,MAAM,sBAAsB,KAAK;CAC/B,KAAK;CACL,OAAO;CACR,CAAC;AAEF,MAAM,qBAAqB,KAAK;CAC9B,KAAK;CACL,OAAO;CACR,CAAC;AAEF,MAAM,wBAAwB,KAAK;CACjC,KAAK;CACL,QAAQ,KAAK,EAAE,YAAY,aAAa,CAAC;CACzC,SAAS;CACT,cAAc,KAAK,EAAE,YAAY,gBAAgB,CAAC;CAClD,kBAAkB;CAClB,aAAa,KAAK,EAAE,YAAY,oBAAoB,CAAC;CACrD,SAAS;CACT,UAAU;CACX,CAAC;AA4BkB,KAAK;CACvB,KAAK;CACL,QAAQ;CACR,YAxByB,KAAK;EAC9B,KAAK;EACL,WAAW;EACX,SAAS;EACT,4BAA4B;EAC5B,WAAW;EACX,uBAAuB;EACvB,YAAY;EACZ,qBAAqB;EACrB,sBAAsB;EACtB,qBAAqB;EACrB,yBAAyB;EACzB,SAAS;EACT,QAAQ;EACR,QAAQ;EACR,eAAe;EACf,WAAW;EACX,cAAc;EACd,uBAvB+B,KAAK;GACpC,KAAK;GACL,YAAY;GACb,CAoBwB;EACxB,CAKa;CACb,CAAC;AAQF,MAAM,0BAA0B,KAAK;CACnC,KAAK;CACL,MAR0B,KAAK;EAC/B,KAAK;EACL,OAAO;EACP,WAAW;EACZ,CAIO,CAAoB,OAAO,CAAC,cAAc,EAAE;CAClD,WAAW;CACX,WAAW;CACX,uBAAuB;CACvB,4BAA4B;CAC5B,uBAAuB;CACvB,cAAc;CACd,YAAY;CACZ,qBAAqB;CACrB,sBAAsB;CACvB,CAAC;AAEF,MAAM,8BAA8B,KAAK;CACvC,KAAK;CACL,YAAY;CACZ,iBAAiB;CACjB,kBAAkB;CACnB,CAAC;AAoBF,MAAM,+BAA+B,KAAK;CACxC,KAAK;CACL,WApB0B,KAAK;EAC/B,KAAK;EACL,MAAM;EACN,QAAQ;EACT,CAgB+B;CAC9B,eAf8B,KAAK;EACnC,KAAK;EACL,WAAW;EACX,cAAc;EACd,gBAAgB;EACjB,CAUuC;CACtC,cAAc;CACd,iCAAiC;CACjC,mBAX2B,KAAK;EAChC,KAAK;EACL,SAAS;EACV,CAQwC;CACxC,CAAC;AASF,MAAa,sBAAsB,KAAK;CACtC,KAAK;CACL,cAAc;CACd,kBAAkB;CAClB,WAAW;CACX,gBAAgB;CAChB,gBAAgB;CAChB,OAAO;CACP,iBAAiB;CACjB,mBAAmB;CACnB,SAAS;CACT,YAAY;CACZ,eAAe;CACf,SAAS,KAAK;EACZ,KAAK;EACL,aAAa,KAAK,EAAE,YAtBQ,KAAK;GACnC,KAAK;GACL,YAAY,wBAAwB,OAAO;GAC3C,cAAc;GACd,YAAY;GACb,CAiBmC,EAAyB,CAAC;EAC1D,gBAAgB;EACjB,CAAC;CACF,QAAQ,KAAK,EAAE,YAAY,uBAAuB,CAAC;CACnD,iBAAiB,KAAK,EACpB,YAAY,KAAK;EAAE,KAAK;EAAU,QAAQ,KAAK,EAAE,YAAY,aAAa,CAAC;EAAE,CAAC,EAC/E,CAAC;CACH,CAAC;;;ACnUF,SAAgB,qBAAqB,UAA+B;CAClE,MAAM,SAAmB,EAAE;CAE3B,KAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,SAAS,OAAO,EAAE;EAChE,IAAI,MAAM,QAAQ,cAAc,EAAE,MAAM,QAAQ,cAAc,SAAS,QAAQ,cAC7E,OAAO,KACL,UAAU,UAAU,2BAA2B,MAAM,QAAQ,WAAW,uCACzE;EAKH,IAAI,MAAM,MAAM;GACd,MAAM,YAAY,SAAS,OAAO,MAAM;GACxC,IAAI,WAAW;IACb,MAAM,oBAAoB,MAAM,QAAQ;IACxC,MAAM,iBAAiB,UAAU,QAAQ;IACzC,IAAI,sBAAsB,gBACxB,OAAO,KACL,4DAA4D,UAAU,uCAAuC,kBAAkB,SAAS,eAAe,qBAAqB,SAAS,GACtL;;;EAKP,KAAK,MAAM,CAAC,SAAS,aAAa,OAAO,QAAQ,MAAM,aAAa,EAAE,CAAC,EAAE;GACvE,MAAM,cAAc,SAAS,OAAO,SAAS;GAE7C,IAAI,aAAa,OAAO;IACtB,IAAI,YAAY,UAAU,WACxB,OAAO,KACL,mBAAmB,QAAQ,aAAa,SAAS,GAAG,uBAAuB,YAAY,MAAM,UAAU,UAAU,GAClH;IAEH,IAAI,YAAY,QAAQ,YACtB,OAAO,KACL,mBAAmB,QAAQ,aAAa,SAAS,GAAG,oCACrD;UAEE,IAAI,QAAQ,YAAY,SAAS,IAAI;IAC1C,KAAK,MAAM,cAAc,SAAS,GAAG,aACnC,IAAI,EAAE,cAAc,MAAM,SACxB,OAAO,KACL,uBAAuB,QAAQ,iBAAiB,WAAW,6BAA6B,UAAU,GACnG;IAIL,IAAI;UACG,MAAM,eAAe,SAAS,GAAG,cACpC,IAAI,EAAE,eAAe,YAAY,SAC/B,OAAO,KACL,uBAAuB,QAAQ,kBAAkB,YAAY,6BAA6B,SAAS,GAAG,GACvG;;;;;CAQb,IAAI,OAAO,SAAS,GAClB,MAAM,IAAI,MAAM,0CAA0C,OAAO,KAAK,OAAO,GAAG;;;;AChDpF,SAAgB,sBACd,OACmC;CACnC,MAAM,SAAS,oBAAoB,MAAM;CACzC,IAAI,kBAAkBA,KAAY,QAChC,MAAM,IAAI,MAAM,0CAA0C,OAAO,UAAU;CAG7E,MAAM,WAAW;CAEjB,uBAAuB,SAAS;CAChC,qBAAqB,SAAS;CAI9B,OAAO;EAAE;EAAU,SAFH,aAAa,SAEH;EAAE;;AAG9B,SAAS,aAAa,UAA+C;CACnE,MAAM,gBAAwC,EAAE;CAChD,MAAM,kBAA4C,EAAE;CAEpD,KAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,SAAS,OAAO,EAAE;EAChE,IAAI,MAAM,MACR,cAAc,aAAa,MAAM;EAEnC,IAAI,MAAM,UACR,gBAAgB,aAAa,OAAO,KAAK,MAAM,SAAS;;CAI5D,OAAO;EAAE;EAAe;EAAiB"}
+{"version":3,"file":"index.mjs","names":[],"sources":["../src/contract-schema.ts","../src/ir/mongo-change-stream-pre-and-post-images-options.ts","../src/ir/mongo-clustered-collection-options.ts","../src/ir/mongo-collation-options.ts","../src/ir/mongo-index-option-defaults.ts","../src/ir/mongo-time-series-collection-options.ts","../src/ir/mongo-collection-options.ts","../src/ir/mongo-index.ts","../src/ir/mongo-validator.ts","../src/ir/mongo-collection.ts","../src/ir/mongo-index-options.ts","../src/ir/mongo-storage.ts","../src/polymorphic-index-scope.ts","../src/validate-storage.ts"],"sourcesContent":["import { type } from 'arktype';\nimport type { MongoJsonObject, MongoJsonPrimitive, MongoJsonValue } from './contract-types';\n\nconst ScalarFieldTypeSchema = type({\n  '+': 'reject',\n  kind: \"'scalar'\",\n  codecId: 'string',\n  'typeParams?': 'Record<string, unknown>',\n});\n\nconst ValueObjectFieldTypeSchema = type({\n  '+': 'reject',\n  kind: \"'valueObject'\",\n  name: 'string',\n});\n\nconst UnionFieldTypeSchema = type({\n  '+': 'reject',\n  kind: \"'union'\",\n  members: ScalarFieldTypeSchema.or(ValueObjectFieldTypeSchema).array(),\n});\n\nconst FieldTypeSchema = ScalarFieldTypeSchema.or(ValueObjectFieldTypeSchema).or(\n  UnionFieldTypeSchema,\n);\n\nconst RawFieldSchema = type({\n  '+': 'reject',\n  type: FieldTypeSchema,\n  'nullable?': 'boolean',\n  'many?': 'boolean',\n  'dict?': 'boolean',\n});\n\nconst FieldSchema = RawFieldSchema.pipe((field) => ({\n  ...field,\n  nullable: field.nullable ?? false,\n}));\n\nconst RelationOnSchema = type({\n  '+': 'reject',\n  localFields: 'string[]',\n  targetFields: 'string[]',\n});\n\nconst RelationSchema = type({\n  '+': 'reject',\n  to: 'string',\n  cardinality: \"'1:1' | '1:N' | 'N:1'\",\n  'on?': RelationOnSchema,\n});\n\nconst StorageRelationEntrySchema = type({\n  '+': 'reject',\n  field: 'string',\n});\n\nconst MongoJsonPrimitiveSchema = type\n  .declare<MongoJsonPrimitive>()\n  .type('string | number | boolean | null');\n\nfunction isMongoJsonRecord(value: unknown): value is Record<string, unknown> {\n  if (typeof value !== 'object' || value === null || Array.isArray(value)) {\n    return false;\n  }\n  const prototype = Object.getPrototypeOf(value);\n  return prototype === Object.prototype || prototype === null;\n}\n\nfunction withUnseenReference(value: object, seen: WeakSet<object>, visit: () => boolean): boolean {\n  if (seen.has(value)) {\n    return false;\n  }\n\n  seen.add(value);\n  const result = visit();\n  seen.delete(value);\n  return result;\n}\n\nfunction isMongoJsonObject(value: unknown, seen: WeakSet<object>): value is MongoJsonObject {\n  return (\n    isMongoJsonRecord(value) &&\n    withUnseenReference(value, seen, () =>\n      Object.values(value).every((entry) => isMongoJsonValue(entry, seen)),\n    )\n  );\n}\n\nfunction isMongoJsonValue(value: unknown, seen = new WeakSet<object>()): value is MongoJsonValue {\n  if (MongoJsonPrimitiveSchema.allows(value)) {\n    return true;\n  }\n  if (Array.isArray(value)) {\n    return withUnseenReference(value, seen, () =>\n      value.every((entry) => isMongoJsonValue(entry, seen)),\n    );\n  }\n  return isMongoJsonObject(value, seen);\n}\n\nconst MongoJsonValueSchema = type('unknown').narrow((value, ctx) =>\n  isMongoJsonValue(value) ? true : ctx.mustBe('a JSON-serializable MongoJsonValue'),\n);\n\nconst MongoJsonObjectSchema = type({ '[string]': 'unknown' }).narrow((value, ctx) =>\n  isMongoJsonRecord(value) &&\n  Object.values(value).every((entry) => MongoJsonValueSchema.allows(entry))\n    ? true\n    : ctx.mustBe('a JSON object with MongoJsonValue entries'),\n);\n\nconst NumberRecordSchema = type({ '[string]': 'number' });\n\nconst IndexFieldsSchema = type({\n  '+': 'reject',\n  '[string]': '1 | -1 | \"text\" | \"2dsphere\" | \"2d\" | \"hashed\"',\n}).narrow((fields, ctx) =>\n  Object.keys(fields).length > 0 ? true : ctx.mustBe('an index field map with at least one entry'),\n);\n\nconst CollationSchema = type({\n  '+': 'reject',\n  'kind?': \"'mongo-collation-options'\",\n  locale: 'string',\n  'caseLevel?': 'boolean',\n  'caseFirst?': '\"off\" | \"upper\" | \"lower\"',\n  'strength?': '1 | 2 | 3 | 4 | 5',\n  'numericOrdering?': 'boolean',\n  'alternate?': '\"non-ignorable\" | \"shifted\"',\n  'maxVariable?': '\"punct\" | \"space\"',\n  'backwards?': 'boolean',\n  'normalization?': 'boolean',\n});\n\nconst IndexOptionDefaultsSchema = type({\n  '+': 'reject',\n  'kind?': \"'mongo-index-option-defaults'\",\n  'storageEngine?': MongoJsonObjectSchema,\n});\n\nconst TimeSeriesCollectionOptionsSchema = type({\n  '+': 'reject',\n  'kind?': \"'mongo-time-series-collection-options'\",\n  timeField: 'string',\n  'metaField?': 'string',\n  'granularity?': '\"seconds\" | \"minutes\" | \"hours\"',\n  'bucketMaxSpanSeconds?': 'number',\n  'bucketRoundingSeconds?': 'number',\n});\n\nconst ClusteredCollectionKeySchema = type({\n  '+': 'reject',\n  '[string]': '1',\n}).narrow((key, ctx) =>\n  Object.keys(key).length > 0\n    ? true\n    : ctx.mustBe('a clustered index key map with at least one entry'),\n);\n\nconst ClusteredCollectionOptionsSchema = type({\n  '+': 'reject',\n  'kind?': \"'mongo-clustered-collection-options'\",\n  'name?': 'string',\n  key: ClusteredCollectionKeySchema,\n  unique: 'boolean',\n});\n\nconst ChangeStreamPreAndPostImagesSchema = type({\n  '+': 'reject',\n  'kind?': \"'mongo-change-stream-pre-and-post-images-options'\",\n  enabled: 'boolean',\n});\n\nconst CollectionOptionsSchema = type({\n  '+': 'reject',\n  'capped?': 'boolean',\n  'size?': 'number',\n  'max?': 'number',\n  'storageEngine?': MongoJsonObjectSchema,\n  'indexOptionDefaults?': IndexOptionDefaultsSchema,\n  'collation?': CollationSchema,\n  'timeseries?': TimeSeriesCollectionOptionsSchema,\n  'clusteredIndex?': ClusteredCollectionOptionsSchema,\n  'expireAfterSeconds?': 'number',\n  'changeStreamPreAndPostImages?': ChangeStreamPreAndPostImagesSchema,\n});\n\nconst ModelStorageSchema = type({\n  '+': 'reject',\n  'collection?': 'string',\n  'relations?': type({ '[string]': StorageRelationEntrySchema }),\n});\n\nconst DiscriminatorSchema = type({\n  '+': 'reject',\n  field: 'string',\n});\n\nconst VariantEntrySchema = type({\n  '+': 'reject',\n  value: 'string',\n});\n\nconst ModelDefinitionSchema = type({\n  '+': 'reject',\n  fields: type({ '[string]': FieldSchema }),\n  storage: ModelStorageSchema,\n  'relations?': type({ '[string]': RelationSchema }),\n  'discriminator?': DiscriminatorSchema,\n  'variants?': type({ '[string]': VariantEntrySchema }),\n  'base?': 'string',\n  'owner?': 'string',\n});\n\nconst WildcardProjectionSchema = type({\n  '+': 'reject',\n  '[string]': '0 | 1',\n});\n\nconst IndexOptionsSchema = type({\n  '+': 'reject',\n  'kind?': \"'mongo-index-options'\",\n  'unique?': 'boolean',\n  'name?': 'string',\n  'partialFilterExpression?': MongoJsonObjectSchema,\n  'sparse?': 'boolean',\n  'expireAfterSeconds?': 'number',\n  'weights?': NumberRecordSchema,\n  'default_language?': 'string',\n  'language_override?': 'string',\n  'textIndexVersion?': 'number',\n  '2dsphereIndexVersion?': 'number',\n  'bits?': 'number',\n  'min?': 'number',\n  'max?': 'number',\n  'bucketSize?': 'number',\n  'hidden?': 'boolean',\n  'collation?': CollationSchema,\n  'wildcardProjection?': WildcardProjectionSchema,\n});\n\nconst IndexSchema = type({\n  '+': 'reject',\n  fields: IndexFieldsSchema,\n  'options?': IndexOptionsSchema,\n});\n\nconst MongoIndexKeySchema = type({\n  '+': 'reject',\n  field: 'string',\n  direction: '1 | -1 | \"text\" | \"2dsphere\" | \"2d\" | \"hashed\"',\n});\n\nconst MongoStorageIndexSchema = type({\n  '+': 'reject',\n  'kind?': \"'mongo-index'\",\n  keys: MongoIndexKeySchema.array().atLeastLength(1),\n  'unique?': 'boolean',\n  'sparse?': 'boolean',\n  'expireAfterSeconds?': 'number',\n  'partialFilterExpression?': 'Record<string, unknown>',\n  'wildcardProjection?': 'Record<string, 0 | 1>',\n  'collation?': 'Record<string, unknown>',\n  'weights?': 'Record<string, number>',\n  'default_language?': 'string',\n  'language_override?': 'string',\n});\n\nconst MongoStorageValidatorSchema = type({\n  '+': 'reject',\n  'kind?': \"'mongo-validator'\",\n  jsonSchema: 'Record<string, unknown>',\n  validationLevel: \"'strict' | 'moderate'\",\n  validationAction: \"'error' | 'warn'\",\n});\n\nconst CappedOptionsSchema = type({\n  '+': 'reject',\n  size: 'number',\n  'max?': 'number',\n});\n\nconst TimeseriesOptionsSchema = type({\n  '+': 'reject',\n  'kind?': \"'mongo-time-series-collection-options'\",\n  timeField: 'string',\n  'metaField?': 'string',\n  'granularity?': \"'seconds' | 'minutes' | 'hours'\",\n  'bucketMaxSpanSeconds?': 'number',\n  'bucketRoundingSeconds?': 'number',\n});\n\nconst ClusteredIndexSchema = type({\n  '+': 'reject',\n  'name?': 'string',\n});\n\nconst MongoCollectionOptionsSchema = type({\n  '+': 'reject',\n  'kind?': \"'mongo-collection-options'\",\n  'capped?': CappedOptionsSchema,\n  'storageEngine?': MongoJsonObjectSchema,\n  'indexOptionDefaults?': IndexOptionDefaultsSchema,\n  'timeseries?': TimeseriesOptionsSchema,\n  'collation?': 'Record<string, unknown>',\n  'expireAfterSeconds?': 'number',\n  'changeStreamPreAndPostImages?': ChangeStreamPreAndPostImagesSchema,\n  'clusteredIndex?': ClusteredIndexSchema,\n});\n\nconst StorageCollectionSchema = type({\n  '+': 'reject',\n  'kind?': \"'mongo-collection'\",\n  'indexes?': MongoStorageIndexSchema.array(),\n  'validator?': MongoStorageValidatorSchema,\n  'options?': MongoCollectionOptionsSchema,\n});\n\nexport const MongoContractSchema = type({\n  '+': 'reject',\n  targetFamily: \"'mongo'\",\n  'schemaVersion?': 'string',\n  'target?': 'string',\n  'storageHash?': 'string',\n  'profileHash?': 'string',\n  roots: 'Record<string, string>',\n  'capabilities?': 'Record<string, unknown>',\n  'extensionPacks?': 'Record<string, unknown>',\n  'meta?': 'Record<string, unknown>',\n  'sources?': 'Record<string, unknown>',\n  '_generated?': 'Record<string, unknown>',\n  storage: type({\n    '+': 'reject',\n    collections: type({ '[string]': StorageCollectionSchema }),\n    'storageHash?': 'string',\n  }),\n  models: type({ '[string]': ModelDefinitionSchema }),\n  'valueObjects?': type({\n    '[string]': type({ '+': 'reject', fields: type({ '[string]': FieldSchema }) }),\n  }),\n});\n\nexport {\n  CollationSchema,\n  CollectionOptionsSchema,\n  IndexFieldsSchema,\n  IndexOptionsSchema,\n  IndexSchema,\n  MongoIndexKeySchema,\n  MongoStorageIndexSchema,\n  NumberRecordSchema,\n  WildcardProjectionSchema,\n};\n","import { freezeNode, IRNodeBase } from '@prisma-next/framework-components/ir';\n\nexport interface MongoChangeStreamPreAndPostImagesOptionsInput {\n  readonly enabled: boolean;\n}\n\n/**\n * Change-stream pre-and-post-images collection option. Lifted from a\n * `type =` data shape to an AST class extending `IRNodeBase` per\n * FR18. Single-field shape; the class exists for AST-pattern\n * consistency (every nested data shape inside `MongoCollectionOptions`\n * is an AST node so the verifier can walk uniformly).\n */\nexport class MongoChangeStreamPreAndPostImagesOptions extends IRNodeBase {\n  readonly kind = 'mongo-change-stream-pre-and-post-images-options' as const;\n  readonly enabled: boolean;\n\n  constructor(options: MongoChangeStreamPreAndPostImagesOptionsInput) {\n    super();\n    this.enabled = options.enabled;\n    freezeNode(this);\n  }\n}\n","import { freezeNode, IRNodeBase } from '@prisma-next/framework-components/ir';\n\nexport type MongoClusteredCollectionKey = Readonly<Record<string, 1>>;\n\nexport interface MongoClusteredCollectionOptionsInput {\n  readonly name?: string;\n  readonly key: MongoClusteredCollectionKey;\n  readonly unique: boolean;\n}\n\n/**\n * Clustered-collection options (the `clusteredIndex` collection-creation\n * field). Lifted from a `type =` data shape to an AST class extending\n * `IRNodeBase` per FR18.\n *\n * MongoDB requires `key` and `unique` for any clustered collection; the\n * constructor enforces presence by type signature.\n */\nexport class MongoClusteredCollectionOptions extends IRNodeBase {\n  readonly kind = 'mongo-clustered-collection-options' as const;\n  declare readonly name?: string;\n  readonly key: MongoClusteredCollectionKey;\n  readonly unique: boolean;\n\n  constructor(options: MongoClusteredCollectionOptionsInput) {\n    super();\n    if (options.name !== undefined) this.name = options.name;\n    this.key = options.key;\n    this.unique = options.unique;\n    freezeNode(this);\n  }\n}\n","import { freezeNode, IRNodeBase } from '@prisma-next/framework-components/ir';\n\nexport type MongoCollationCaseFirst = 'off' | 'upper' | 'lower';\nexport type MongoCollationStrength = 1 | 2 | 3 | 4 | 5;\nexport type MongoCollationAlternate = 'non-ignorable' | 'shifted';\nexport type MongoCollationMaxVariable = 'punct' | 'space';\n\n/**\n * Authoring / hydration input shape for {@link MongoCollationOptions}. Carries\n * the canonical data without the IR-class `kind` discriminator; the class\n * fabricates `kind` so the authoring DSL and the SPI hydration walker can\n * pass plain data literals through the constructor without forcing every\n * call site to spell out `kind: 'mongo-collation-options'`.\n */\nexport interface MongoCollationOptionsInput {\n  readonly locale: string;\n  readonly caseLevel?: boolean;\n  readonly caseFirst?: MongoCollationCaseFirst;\n  readonly strength?: MongoCollationStrength;\n  readonly numericOrdering?: boolean;\n  readonly alternate?: MongoCollationAlternate;\n  readonly maxVariable?: MongoCollationMaxVariable;\n  readonly backwards?: boolean;\n  readonly normalization?: boolean;\n}\n\n/**\n * Mongo Contract IR leaf for collection / index collation options.\n *\n * Lifted from a `type =` data shape to an AST class extending\n * `IRNodeBase` per FR18 (\"Mongo's Contract IR is fully unified under\n * the AST-class pattern, layered family / target\"). Single concrete class\n * (no target subclass): collation options carry no target-specific\n * variation at this layer — both Atlas and self-hosted Mongo consume the\n * same option vocabulary.\n *\n * Undefined optional fields are not assigned, so `JSON.stringify` omits\n * them from the canonical JSON output (matches the pre-lift data shape's\n * round-trip behaviour, modulo the new `kind` discriminator).\n */\nexport class MongoCollationOptions extends IRNodeBase {\n  readonly kind = 'mongo-collation-options' as const;\n  readonly locale: string;\n  declare readonly caseLevel?: boolean;\n  declare readonly caseFirst?: MongoCollationCaseFirst;\n  declare readonly strength?: MongoCollationStrength;\n  declare readonly numericOrdering?: boolean;\n  declare readonly alternate?: MongoCollationAlternate;\n  declare readonly maxVariable?: MongoCollationMaxVariable;\n  declare readonly backwards?: boolean;\n  declare readonly normalization?: boolean;\n\n  constructor(options: MongoCollationOptionsInput) {\n    super();\n    this.locale = options.locale;\n    if (options.caseLevel !== undefined) this.caseLevel = options.caseLevel;\n    if (options.caseFirst !== undefined) this.caseFirst = options.caseFirst;\n    if (options.strength !== undefined) this.strength = options.strength;\n    if (options.numericOrdering !== undefined) this.numericOrdering = options.numericOrdering;\n    if (options.alternate !== undefined) this.alternate = options.alternate;\n    if (options.maxVariable !== undefined) this.maxVariable = options.maxVariable;\n    if (options.backwards !== undefined) this.backwards = options.backwards;\n    if (options.normalization !== undefined) this.normalization = options.normalization;\n    freezeNode(this);\n  }\n}\n","import { freezeNode, IRNodeBase } from '@prisma-next/framework-components/ir';\nimport type { MongoJsonObject } from '../contract-types';\n\nexport interface MongoIndexOptionDefaultsInput {\n  readonly storageEngine?: MongoJsonObject;\n}\n\n/**\n * Collection-level default index options (the `indexOptionDefaults`\n * collection-creation field on Mongo's `createCollection`). Lifted from\n * a `type =` data shape to an AST class extending `IRNodeBase` per\n * FR18 (Mongo Contract IR fully unified under the AST-class pattern).\n *\n * Carries `storageEngine` only — the underlying MongoDB option set is\n * intentionally narrow at this layer; per-engine richer option vocabularies\n * are out of scope for this project.\n */\nexport class MongoIndexOptionDefaults extends IRNodeBase {\n  readonly kind = 'mongo-index-option-defaults' as const;\n  declare readonly storageEngine?: MongoJsonObject;\n\n  constructor(options: MongoIndexOptionDefaultsInput = {}) {\n    super();\n    if (options.storageEngine !== undefined) this.storageEngine = options.storageEngine;\n    freezeNode(this);\n  }\n}\n","import { freezeNode, IRNodeBase } from '@prisma-next/framework-components/ir';\n\nexport type MongoTimeSeriesGranularity = 'seconds' | 'minutes' | 'hours';\n\nexport interface MongoTimeSeriesCollectionOptionsInput {\n  readonly timeField: string;\n  readonly metaField?: string;\n  readonly granularity?: MongoTimeSeriesGranularity;\n  readonly bucketMaxSpanSeconds?: number;\n  readonly bucketRoundingSeconds?: number;\n}\n\n/**\n * Time-series collection options. Lifted from a `type =` data shape to\n * an AST class extending `IRNodeBase` per FR18.\n *\n * MongoDB requires `timeField` for any time-series collection; the\n * constructor enforces presence by type signature (`timeField: string`\n * is required on the input).\n */\nexport class MongoTimeSeriesCollectionOptions extends IRNodeBase {\n  readonly kind = 'mongo-time-series-collection-options' as const;\n  readonly timeField: string;\n  declare readonly metaField?: string;\n  declare readonly granularity?: MongoTimeSeriesGranularity;\n  declare readonly bucketMaxSpanSeconds?: number;\n  declare readonly bucketRoundingSeconds?: number;\n\n  constructor(options: MongoTimeSeriesCollectionOptionsInput) {\n    super();\n    this.timeField = options.timeField;\n    if (options.metaField !== undefined) this.metaField = options.metaField;\n    if (options.granularity !== undefined) this.granularity = options.granularity;\n    if (options.bucketMaxSpanSeconds !== undefined)\n      this.bucketMaxSpanSeconds = options.bucketMaxSpanSeconds;\n    if (options.bucketRoundingSeconds !== undefined)\n      this.bucketRoundingSeconds = options.bucketRoundingSeconds;\n    freezeNode(this);\n  }\n}\n","import { freezeNode, IRNodeBase } from '@prisma-next/framework-components/ir';\nimport type { MongoJsonObject } from '../contract-types';\nimport {\n  MongoChangeStreamPreAndPostImagesOptions,\n  type MongoChangeStreamPreAndPostImagesOptionsInput,\n} from './mongo-change-stream-pre-and-post-images-options';\nimport type {\n  MongoClusteredCollectionOptions,\n  MongoClusteredCollectionOptionsInput,\n} from './mongo-clustered-collection-options';\nimport { MongoCollationOptions, type MongoCollationOptionsInput } from './mongo-collation-options';\nimport {\n  MongoIndexOptionDefaults,\n  type MongoIndexOptionDefaultsInput,\n} from './mongo-index-option-defaults';\nimport {\n  MongoTimeSeriesCollectionOptions,\n  type MongoTimeSeriesCollectionOptionsInput,\n} from './mongo-time-series-collection-options';\n\n/**\n * Storage-shape sub-shape: only `name` is persisted on the storage\n * `clusteredIndex` field. The richer authoring vocabulary\n * (`MongoClusteredCollectionOptions.key`, `…unique`) is intentionally\n * not round-tripped through the on-disk JSON envelope — those fields\n * are application-side configuration that informs collection creation\n * but does not survive into the persisted collection options.\n */\nexport interface MongoStorageClusteredIndexShape {\n  readonly name?: string;\n}\n\n/**\n * Storage-shape sub-shape: `capped` collections persist `size` (required)\n * and optionally `max` document count. The authoring DSL surface uses a\n * flat `capped: boolean` + separate `size` / `max` fields; builders\n * translate that authoring vocabulary into this nested storage form\n * before constructing {@link MongoCollectionOptions}.\n */\nexport interface MongoStorageCappedShape {\n  readonly size: number;\n  readonly max?: number;\n}\n\n/**\n * Hydration / construction input shape for {@link MongoCollectionOptions}.\n * Mirrors the on-disk storage JSON envelope exactly (nested `capped`,\n * `clusteredIndex`, …) so the family-base serializer's hydration walker\n * can hand an arktype-validated object literal straight to `new`.\n * Nested IR-class fields may be supplied as either plain data literals\n * (typical for JSON-derived input) or already-constructed class\n * instances (typical when re-wrapping during a partial walk).\n */\nexport interface MongoCollectionOptionsInput {\n  readonly capped?: MongoStorageCappedShape;\n  readonly storageEngine?: MongoJsonObject;\n  readonly indexOptionDefaults?: MongoIndexOptionDefaults | MongoIndexOptionDefaultsInput;\n  readonly collation?: MongoCollationOptions | MongoCollationOptionsInput;\n  readonly timeseries?: MongoTimeSeriesCollectionOptions | MongoTimeSeriesCollectionOptionsInput;\n  readonly clusteredIndex?: MongoStorageClusteredIndexShape;\n  readonly expireAfterSeconds?: number;\n  readonly changeStreamPreAndPostImages?:\n    | MongoChangeStreamPreAndPostImagesOptions\n    | MongoChangeStreamPreAndPostImagesOptionsInput;\n}\n\n/**\n * Authoring-side flat vocabulary accepted by the contract-ts builder\n * DSL (e.g. `capped: boolean` + separate `size` / `max` scalars). The\n * builder translates this surface into a {@link MongoCollectionOptionsInput}\n * before constructing {@link MongoCollectionOptions}. Kept as a\n * standalone type so authoring DSL ergonomics do not leak into the\n * storage IR construction contract.\n */\nexport interface MongoCollectionOptionsAuthoringInput {\n  readonly capped?: boolean;\n  readonly size?: number;\n  readonly max?: number;\n  readonly storageEngine?: MongoJsonObject;\n  readonly indexOptionDefaults?: MongoIndexOptionDefaults | MongoIndexOptionDefaultsInput;\n  readonly collation?: MongoCollationOptions | MongoCollationOptionsInput;\n  readonly timeseries?: MongoTimeSeriesCollectionOptions | MongoTimeSeriesCollectionOptionsInput;\n  readonly clusteredIndex?: MongoClusteredCollectionOptions | MongoClusteredCollectionOptionsInput;\n  readonly expireAfterSeconds?: number;\n  readonly changeStreamPreAndPostImages?:\n    | MongoChangeStreamPreAndPostImagesOptions\n    | MongoChangeStreamPreAndPostImagesOptionsInput;\n}\n\n/**\n * Mongo Contract IR node for collection-level creation options (the\n * second argument to `db.createCollection(name, options)`). Lifted from\n * the pre-M2R2 `MongoStorageCollectionOptions` storage interface to a\n * class extending `IRNodeBase` per FR18.\n *\n * Single concrete family-layer class (no target subclass). The\n * constructor accepts the storage JSON envelope shape ({@link\n * MongoCollectionOptionsInput}) so the family-base hydration walker\n * can pass arktype-validated objects directly to `new`. Authoring\n * vocabulary is translated to this shape upstream in the contract-ts\n * builder.\n *\n * Nested IR sub-shapes (collation, timeseries, …) are normalised to\n * their respective IR class instances inside the constructor so\n * downstream walks see a uniform AST regardless of whether the input\n * was a JSON literal or an already-constructed class.\n */\nexport class MongoCollectionOptions extends IRNodeBase {\n  readonly kind = 'mongo-collection-options' as const;\n  declare readonly capped?: MongoStorageCappedShape;\n  declare readonly storageEngine?: MongoJsonObject;\n  declare readonly indexOptionDefaults?: MongoIndexOptionDefaults;\n  declare readonly collation?: MongoCollationOptions;\n  declare readonly timeseries?: MongoTimeSeriesCollectionOptions;\n  declare readonly clusteredIndex?: MongoStorageClusteredIndexShape;\n  declare readonly expireAfterSeconds?: number;\n  declare readonly changeStreamPreAndPostImages?: MongoChangeStreamPreAndPostImagesOptions;\n\n  constructor(input: MongoCollectionOptionsInput = {}) {\n    super();\n    if (input.capped !== undefined) {\n      this.capped = {\n        size: input.capped.size,\n        ...(input.capped.max != null && { max: input.capped.max }),\n      };\n    }\n    if (input.storageEngine !== undefined) this.storageEngine = input.storageEngine;\n    if (input.indexOptionDefaults !== undefined) {\n      this.indexOptionDefaults =\n        input.indexOptionDefaults instanceof MongoIndexOptionDefaults\n          ? input.indexOptionDefaults\n          : new MongoIndexOptionDefaults(input.indexOptionDefaults);\n    }\n    if (input.collation !== undefined) {\n      this.collation =\n        input.collation instanceof MongoCollationOptions\n          ? input.collation\n          : new MongoCollationOptions(input.collation);\n    }\n    if (input.timeseries !== undefined) {\n      this.timeseries =\n        input.timeseries instanceof MongoTimeSeriesCollectionOptions\n          ? input.timeseries\n          : new MongoTimeSeriesCollectionOptions(input.timeseries);\n    }\n    if (input.clusteredIndex !== undefined) {\n      this.clusteredIndex =\n        input.clusteredIndex.name !== undefined ? { name: input.clusteredIndex.name } : {};\n    }\n    if (input.expireAfterSeconds !== undefined) this.expireAfterSeconds = input.expireAfterSeconds;\n    if (input.changeStreamPreAndPostImages !== undefined) {\n      this.changeStreamPreAndPostImages =\n        input.changeStreamPreAndPostImages instanceof MongoChangeStreamPreAndPostImagesOptions\n          ? input.changeStreamPreAndPostImages\n          : new MongoChangeStreamPreAndPostImagesOptions(input.changeStreamPreAndPostImages);\n    }\n    freezeNode(this);\n  }\n}\n","import { freezeNode, IRNodeBase } from '@prisma-next/framework-components/ir';\nimport type { MongoIndexKey } from '../contract-types';\n\n/**\n * Hydration / construction input shape for {@link MongoIndex}. Mirrors\n * the on-disk storage JSON envelope exactly so the family-base\n * serializer's hydration walker can hand an arktype-validated literal\n * straight to `new`.\n */\nexport interface MongoIndexInput {\n  readonly keys: ReadonlyArray<MongoIndexKey>;\n  readonly unique?: boolean;\n  readonly sparse?: boolean;\n  readonly expireAfterSeconds?: number;\n  readonly partialFilterExpression?: Record<string, unknown>;\n  readonly wildcardProjection?: Record<string, 0 | 1>;\n  readonly collation?: Record<string, unknown>;\n  readonly weights?: Record<string, number>;\n  readonly default_language?: string;\n  readonly language_override?: string;\n}\n\n/**\n * Mongo Contract IR node for a single collection index entry (one\n * element of `MongoCollection.indexes`). Lifted from the\n * pre-M2R2 `MongoStorageIndex` storage interface to a class extending\n * `IRNodeBase` per FR18.\n *\n * Single concrete family-layer class (no target subclass). The spec's\n * `MongoTargetIndex extends MongoIndex` pattern remains additive — a\n * future Mongo target with target-specific index extensions is free to\n * subclass; for the single Mongo target shipped today a concrete\n * family-layer class is enough and avoids a target-import layering\n * violation from the contract-ts builder.\n */\nexport class MongoIndex extends IRNodeBase {\n  readonly kind = 'mongo-index' as const;\n  readonly keys: ReadonlyArray<MongoIndexKey>;\n  declare readonly unique?: boolean;\n  declare readonly sparse?: boolean;\n  declare readonly expireAfterSeconds?: number;\n  declare readonly partialFilterExpression?: Record<string, unknown>;\n  declare readonly wildcardProjection?: Record<string, 0 | 1>;\n  declare readonly collation?: Record<string, unknown>;\n  declare readonly weights?: Record<string, number>;\n  declare readonly default_language?: string;\n  declare readonly language_override?: string;\n\n  constructor(input: MongoIndexInput) {\n    super();\n    this.keys = input.keys;\n    if (input.unique !== undefined) this.unique = input.unique;\n    if (input.sparse !== undefined) this.sparse = input.sparse;\n    if (input.expireAfterSeconds !== undefined) this.expireAfterSeconds = input.expireAfterSeconds;\n    if (input.partialFilterExpression !== undefined)\n      this.partialFilterExpression = input.partialFilterExpression;\n    if (input.wildcardProjection !== undefined) this.wildcardProjection = input.wildcardProjection;\n    if (input.collation !== undefined) this.collation = input.collation;\n    if (input.weights !== undefined) this.weights = input.weights;\n    if (input.default_language !== undefined) this.default_language = input.default_language;\n    if (input.language_override !== undefined) this.language_override = input.language_override;\n    freezeNode(this);\n  }\n}\n","import { freezeNode, IRNodeBase } from '@prisma-next/framework-components/ir';\n\nexport type MongoValidatorValidationLevel = 'strict' | 'moderate';\nexport type MongoValidatorValidationAction = 'error' | 'warn';\n\nexport interface MongoValidatorInput {\n  readonly jsonSchema: Record<string, unknown>;\n  readonly validationLevel: MongoValidatorValidationLevel;\n  readonly validationAction: MongoValidatorValidationAction;\n}\n\n/**\n * Mongo Contract IR node for collection-level document validators (the\n * `validator` field on Mongo's `createCollection`). Lifted from the\n * pre-M2R2 `MongoStorageValidator` storage interface to a class extending\n * `IRNodeBase` per FR18.\n *\n * Concrete at the family layer (no target subclass). The spec's\n * abstract-family + target-concrete pattern (`MongoTargetValidator\n * extends MongoValidator`) becomes meaningful when a second Mongo target\n * introduces target-specific validator extensions (Atlas search rules,\n * DocumentDB-specific levels, …); for the single Mongo target shipped\n * today, a concrete family-layer class lets the PSL JSON-Schema deriver\n * and the contract-ts builder construct instances directly without a\n * target-import layering violation. Target subclassing remains additive\n * — a future `MongoTargetValidator extends MongoValidator` is an\n * additive change, not a breaking one.\n */\nexport class MongoValidator extends IRNodeBase {\n  readonly kind = 'mongo-validator' as const;\n  readonly jsonSchema: Record<string, unknown>;\n  readonly validationLevel: MongoValidatorValidationLevel;\n  readonly validationAction: MongoValidatorValidationAction;\n\n  constructor(input: MongoValidatorInput) {\n    super();\n    this.jsonSchema = input.jsonSchema;\n    this.validationLevel = input.validationLevel;\n    this.validationAction = input.validationAction;\n    freezeNode(this);\n  }\n}\n","import { freezeNode, IRNodeBase } from '@prisma-next/framework-components/ir';\nimport {\n  MongoCollectionOptions,\n  type MongoCollectionOptionsInput,\n} from './mongo-collection-options';\nimport { MongoIndex, type MongoIndexInput } from './mongo-index';\nimport { MongoValidator, type MongoValidatorInput } from './mongo-validator';\n\n/**\n * Hydration / construction input shape for {@link MongoCollection}.\n * Mirrors the on-disk storage JSON envelope exactly (the value held at\n * `contract.storage.collections[<name>]`) so the family-base\n * serializer's hydration walker can hand an arktype-validated literal\n * straight to `new`. Nested IR-class fields may be supplied as either\n * plain data literals (typical for JSON-derived input) or\n * already-constructed class instances.\n */\nexport interface MongoCollectionInput {\n  readonly indexes?: ReadonlyArray<MongoIndex | MongoIndexInput>;\n  readonly validator?: MongoValidator | MongoValidatorInput;\n  readonly options?: MongoCollectionOptions | MongoCollectionOptionsInput;\n}\n\n/**\n * Mongo Contract IR node for a single collection entry in\n * `contract.storage.collections`. Lifted from the pre-M2R2\n * `MongoStorageCollection` storage interface to a class extending\n * `IRNodeBase` per FR18.\n *\n * Concrete at the family layer (no target subclass). The spec's\n * `MongoTargetCollection extends MongoCollection` pattern remains\n * additive: a future Mongo target with target-specific extensions is\n * free to subclass without breaking the family-layer construction\n * sites.\n *\n * The unprefixed name `MongoCollection` is now the contract IR class.\n * Note that `@prisma-next/mongo-orm` also exports a (different)\n * `MongoCollection<TContract, ModelName>` generic for the user-facing\n * ORM query builder; the two live in separate packages and are\n * resolved by import path. A source file that needs both should alias\n * one (e.g. `import { MongoCollection as MongoContractCollection }\n * from '@prisma-next/mongo-contract'`).\n */\nexport class MongoCollection extends IRNodeBase {\n  readonly kind = 'mongo-collection' as const;\n  declare readonly indexes?: ReadonlyArray<MongoIndex>;\n  declare readonly validator?: MongoValidator;\n  declare readonly options?: MongoCollectionOptions;\n\n  constructor(input: MongoCollectionInput = {}) {\n    super();\n    if (input.indexes !== undefined) {\n      this.indexes = input.indexes.map((idx) =>\n        idx instanceof MongoIndex ? idx : new MongoIndex(idx),\n      );\n    }\n    if (input.validator !== undefined) {\n      this.validator =\n        input.validator instanceof MongoValidator\n          ? input.validator\n          : new MongoValidator(input.validator);\n    }\n    if (input.options !== undefined) {\n      this.options =\n        input.options instanceof MongoCollectionOptions\n          ? input.options\n          : new MongoCollectionOptions(input.options);\n    }\n    freezeNode(this);\n  }\n}\n","import { freezeNode, IRNodeBase } from '@prisma-next/framework-components/ir';\nimport type { MongoJsonObject, MongoWildcardProjection } from '../contract-types';\nimport { MongoCollationOptions, type MongoCollationOptionsInput } from './mongo-collation-options';\n\n/**\n * Authoring / hydration input shape for {@link MongoIndexOptions}. Carries\n * the index option vocabulary as plain data without the IR-class `kind`\n * discriminator. `collation` accepts either a class instance or its own\n * input shape — the constructor normalises to the class form internally.\n */\nexport interface MongoIndexOptionsInput {\n  readonly unique?: boolean;\n  readonly name?: string;\n  readonly partialFilterExpression?: MongoJsonObject;\n  readonly sparse?: boolean;\n  readonly expireAfterSeconds?: number;\n  readonly weights?: Readonly<Record<string, number>>;\n  readonly default_language?: string;\n  readonly language_override?: string;\n  readonly textIndexVersion?: number;\n  readonly '2dsphereIndexVersion'?: number;\n  readonly bits?: number;\n  readonly min?: number;\n  readonly max?: number;\n  readonly bucketSize?: number;\n  readonly hidden?: boolean;\n  readonly collation?: MongoCollationOptions | MongoCollationOptionsInput;\n  readonly wildcardProjection?: MongoWildcardProjection;\n}\n\n/**\n * Mongo Contract IR node for the per-index option vocabulary (the second\n * argument to `db.collection.createIndex(keys, options)` minus the keys\n * themselves). Lifted from a `type =` data shape to an AST class\n * extending `IRNodeBase` per FR18.\n *\n * Nested `collation` is itself an IR class (`MongoCollationOptions`); the\n * constructor accepts either a class instance or a data literal and\n * normalises to the class form so downstream walks see a uniform IR tree.\n */\nexport class MongoIndexOptions extends IRNodeBase {\n  readonly kind = 'mongo-index-options' as const;\n  declare readonly unique?: boolean;\n  declare readonly name?: string;\n  declare readonly partialFilterExpression?: MongoJsonObject;\n  declare readonly sparse?: boolean;\n  declare readonly expireAfterSeconds?: number;\n  declare readonly weights?: Readonly<Record<string, number>>;\n  declare readonly default_language?: string;\n  declare readonly language_override?: string;\n  declare readonly textIndexVersion?: number;\n  declare readonly '2dsphereIndexVersion'?: number;\n  declare readonly bits?: number;\n  declare readonly min?: number;\n  declare readonly max?: number;\n  declare readonly bucketSize?: number;\n  declare readonly hidden?: boolean;\n  declare readonly collation?: MongoCollationOptions;\n  declare readonly wildcardProjection?: MongoWildcardProjection;\n\n  constructor(options: MongoIndexOptionsInput = {}) {\n    super();\n    if (options.unique !== undefined) this.unique = options.unique;\n    if (options.name !== undefined) this.name = options.name;\n    if (options.partialFilterExpression !== undefined)\n      this.partialFilterExpression = options.partialFilterExpression;\n    if (options.sparse !== undefined) this.sparse = options.sparse;\n    if (options.expireAfterSeconds !== undefined)\n      this.expireAfterSeconds = options.expireAfterSeconds;\n    if (options.weights !== undefined) this.weights = options.weights;\n    if (options.default_language !== undefined) this.default_language = options.default_language;\n    if (options.language_override !== undefined) this.language_override = options.language_override;\n    if (options.textIndexVersion !== undefined) this.textIndexVersion = options.textIndexVersion;\n    if (options['2dsphereIndexVersion'] !== undefined)\n      this['2dsphereIndexVersion'] = options['2dsphereIndexVersion'];\n    if (options.bits !== undefined) this.bits = options.bits;\n    if (options.min !== undefined) this.min = options.min;\n    if (options.max !== undefined) this.max = options.max;\n    if (options.bucketSize !== undefined) this.bucketSize = options.bucketSize;\n    if (options.hidden !== undefined) this.hidden = options.hidden;\n    if (options.collation !== undefined) {\n      this.collation =\n        options.collation instanceof MongoCollationOptions\n          ? options.collation\n          : new MongoCollationOptions(options.collation);\n    }\n    if (options.wildcardProjection !== undefined)\n      this.wildcardProjection = options.wildcardProjection;\n    freezeNode(this);\n  }\n}\n","import type { StorageHashBase } from '@prisma-next/contract/types';\nimport {\n  freezeNode,\n  IRNodeBase,\n  type Namespace,\n  type Storage,\n} from '@prisma-next/framework-components/ir';\nimport type { MongoCollection } from './mongo-collection';\n\n/**\n * Construction input shape for {@link MongoStorage}. Mirrors the\n * required runtime fields explicitly so the family-base serializer's\n * hydration walker can hand the class a typed literal.\n */\nexport interface MongoStorageInput<THash extends string = string> {\n  readonly storageHash: StorageHashBase<THash>;\n  readonly collections: Readonly<Record<string, MongoCollection>>;\n  readonly namespaces: Readonly<Record<string, Namespace>>;\n}\n\n/**\n * Mongo family storage IR class. Carries the family-shared\n * `storage.collections` map alongside the framework-promised\n * `namespaces` map — single concrete class at the family layer (the\n * Mongo family has one target today, and the data shape is uniform\n * across the family; no abstract base earns its existence yet).\n *\n * `namespaces` is supplied by the caller. The Mongo target wraps a\n * deserialized `MongoContract` envelope at\n * `MongoTargetContractSerializer.constructTargetContract`, providing\n * the default `{ [UNSPECIFIED_NAMESPACE_ID]:\n * MongoTargetUnspecifiedDatabase.instance }` map at that target-layer\n * site. The foundation-layer class stays target-agnostic.\n *\n * Constructed instances are frozen via `freezeNode(this)`; instance\n * fields are JSON-clean by construction (`storageHash`, `collections`,\n * `namespaces` all enumerable own properties). The persisted on-disk\n * envelope shape is target-owned: `MongoTargetContractSerializer.serializeContract`\n * decides whether `namespaces` round-trips through JSON or is stripped\n * for the JSON envelope.\n */\nexport class MongoStorage<THash extends string = string> extends IRNodeBase implements Storage {\n  readonly kind = 'mongo-storage' as const;\n  readonly storageHash: StorageHashBase<THash>;\n  readonly collections: Readonly<Record<string, MongoCollection>>;\n  readonly namespaces: Readonly<Record<string, Namespace>>;\n\n  constructor(input: MongoStorageInput<THash>) {\n    super();\n    this.storageHash = input.storageHash;\n    this.collections = input.collections;\n    this.namespaces = input.namespaces;\n    freezeNode(this);\n  }\n}\n","import { MongoIndex, type MongoIndexInput } from './ir/mongo-index';\n\nexport type PolymorphicIndexScope = {\n  readonly discriminatorField: string;\n  readonly discriminatorValue: string | number | boolean;\n};\n\nexport type ApplyScopeResult =\n  | { readonly kind: 'ok'; readonly index: MongoIndex }\n  | { readonly kind: 'conflict'; readonly reason: string };\n\nfunction isScalarDiscriminatorValue(value: unknown): value is string | number | boolean {\n  const t = typeof value;\n  return t === 'string' || t === 'number' || t === 'boolean';\n}\n\nfunction formatValue(value: unknown): string {\n  if (typeof value === 'string') return JSON.stringify(value);\n  if (value === null) return 'null';\n  if (Array.isArray(value)) return JSON.stringify(value);\n  if (typeof value === 'object') return JSON.stringify(value);\n  return String(value);\n}\n\nexport function applyPolymorphicScopeToMongoIndex(\n  index: MongoIndex,\n  scope: PolymorphicIndexScope,\n): ApplyScopeResult {\n  if (!isScalarDiscriminatorValue(scope.discriminatorValue)) {\n    return {\n      kind: 'conflict',\n      reason: `Variant-scoped indexes require a scalar (string, number, or boolean) discriminator value for field \"${scope.discriminatorField}\", but received ${formatValue(scope.discriminatorValue)}.`,\n    };\n  }\n\n  const existing = index.partialFilterExpression;\n  if (existing && Object.hasOwn(existing, scope.discriminatorField)) {\n    const existingValue = existing[scope.discriminatorField];\n    if (existingValue === scope.discriminatorValue) {\n      return { kind: 'ok', index };\n    }\n    return {\n      kind: 'conflict',\n      reason: `Index partialFilterExpression sets \"${scope.discriminatorField}\" to ${formatValue(existingValue)}, which conflicts with the variant's discriminator value ${formatValue(scope.discriminatorValue)}.`,\n    };\n  }\n\n  const merged: Record<string, unknown> = {\n    ...(existing ?? {}),\n    [scope.discriminatorField]: scope.discriminatorValue,\n  };\n\n  const cloned: MongoIndexInput = {\n    keys: index.keys,\n    ...(index.unique !== undefined && { unique: index.unique }),\n    ...(index.sparse !== undefined && { sparse: index.sparse }),\n    ...(index.expireAfterSeconds !== undefined && { expireAfterSeconds: index.expireAfterSeconds }),\n    partialFilterExpression: merged,\n    ...(index.wildcardProjection !== undefined && { wildcardProjection: index.wildcardProjection }),\n    ...(index.collation !== undefined && { collation: index.collation }),\n    ...(index.weights !== undefined && { weights: index.weights }),\n    ...(index.default_language !== undefined && { default_language: index.default_language }),\n    ...(index.language_override !== undefined && { language_override: index.language_override }),\n  };\n\n  return { kind: 'ok', index: new MongoIndex(cloned) };\n}\n","import type { MongoContract } from './contract-types';\n\nexport function validateMongoStorage(contract: MongoContract): void {\n  const errors: string[] = [];\n\n  for (const [modelName, model] of Object.entries(contract.models)) {\n    if (model.storage.collection && !(model.storage.collection in contract.storage.collections)) {\n      errors.push(\n        `Model \"${modelName}\" references collection \"${model.storage.collection}\" which is not in storage.collections`,\n      );\n    }\n\n    // Mongo does not support multi-table inheritance (ADR 2): all variants of a base\n    // must share the same collection (single-table inheritance only).\n    if (model.base) {\n      const baseModel = contract.models[model.base];\n      if (baseModel) {\n        const variantCollection = model.storage.collection;\n        const baseCollection = baseModel.storage.collection;\n        if (variantCollection !== baseCollection) {\n          errors.push(\n            `Mongo does not support multi-table inheritance; variant \"${modelName}\" must share its base's collection (\"${baseCollection ?? '(none)'}\"), but has \"${variantCollection ?? '(none)'}\"`,\n          );\n        }\n      }\n    }\n\n    for (const [relName, relation] of Object.entries(model.relations ?? {})) {\n      const targetModel = contract.models[relation.to];\n\n      if (targetModel?.owner) {\n        if (targetModel.owner !== modelName) {\n          errors.push(\n            `Embed relation \"${relName}\" targets \"${relation.to}\" which is owned by \"${targetModel.owner}\", not \"${modelName}\"`,\n          );\n        }\n        if (targetModel.storage.collection) {\n          errors.push(\n            `Embed relation \"${relName}\" targets \"${relation.to}\" which must not have a collection`,\n          );\n        }\n      } else if ('on' in relation && relation.on) {\n        for (const localField of relation.on.localFields) {\n          if (!(localField in model.fields)) {\n            errors.push(\n              `Reference relation \"${relName}\": localField \"${localField}\" is not a field on model \"${modelName}\"`,\n            );\n          }\n        }\n\n        if (targetModel) {\n          for (const targetField of relation.on.targetFields) {\n            if (!(targetField in targetModel.fields)) {\n              errors.push(\n                `Reference relation \"${relName}\": targetField \"${targetField}\" is not a field on model \"${relation.to}\"`,\n              );\n            }\n          }\n        }\n      }\n    }\n  }\n\n  if (errors.length > 0) {\n    throw new Error(`Contract storage validation failed:\\n- ${errors.join('\\n- ')}`);\n  }\n}\n"],"mappings":";;;AAGA,MAAM,wBAAwB,KAAK;CACjC,KAAK;CACL,MAAM;CACN,SAAS;CACT,eAAe;CAChB,CAAC;AAEF,MAAM,6BAA6B,KAAK;CACtC,KAAK;CACL,MAAM;CACN,MAAM;CACP,CAAC;AAEF,MAAM,uBAAuB,KAAK;CAChC,KAAK;CACL,MAAM;CACN,SAAS,sBAAsB,GAAG,2BAA2B,CAAC,OAAO;CACtE,CAAC;AAcF,MAAM,cARiB,KAAK;CAC1B,KAAK;CACL,MANsB,sBAAsB,GAAG,2BAA2B,CAAC,GAC3E,qBAKqB;CACrB,aAAa;CACb,SAAS;CACT,SAAS;CACV,CAEiC,CAAC,MAAM,WAAW;CAClD,GAAG;CACH,UAAU,MAAM,YAAY;CAC7B,EAAE;AAQH,MAAM,iBAAiB,KAAK;CAC1B,KAAK;CACL,IAAI;CACJ,aAAa;CACb,OAVuB,KAAK;EAC5B,KAAK;EACL,aAAa;EACb,cAAc;EACf,CAMwB;CACxB,CAAC;AAEF,MAAM,6BAA6B,KAAK;CACtC,KAAK;CACL,OAAO;CACR,CAAC;AAEF,MAAM,2BAA2B,KAC9B,SAA6B,CAC7B,KAAK,mCAAmC;AAE3C,SAAS,kBAAkB,OAAkD;CAC3E,IAAI,OAAO,UAAU,YAAY,UAAU,QAAQ,MAAM,QAAQ,MAAM,EACrE,OAAO;CAET,MAAM,YAAY,OAAO,eAAe,MAAM;CAC9C,OAAO,cAAc,OAAO,aAAa,cAAc;;AAGzD,SAAS,oBAAoB,OAAe,MAAuB,OAA+B;CAChG,IAAI,KAAK,IAAI,MAAM,EACjB,OAAO;CAGT,KAAK,IAAI,MAAM;CACf,MAAM,SAAS,OAAO;CACtB,KAAK,OAAO,MAAM;CAClB,OAAO;;AAGT,SAAS,kBAAkB,OAAgB,MAAiD;CAC1F,OACE,kBAAkB,MAAM,IACxB,oBAAoB,OAAO,YACzB,OAAO,OAAO,MAAM,CAAC,OAAO,UAAU,iBAAiB,OAAO,KAAK,CAAC,CACrE;;AAIL,SAAS,iBAAiB,OAAgB,uBAAO,IAAI,SAAiB,EAA2B;CAC/F,IAAI,yBAAyB,OAAO,MAAM,EACxC,OAAO;CAET,IAAI,MAAM,QAAQ,MAAM,EACtB,OAAO,oBAAoB,OAAO,YAChC,MAAM,OAAO,UAAU,iBAAiB,OAAO,KAAK,CAAC,CACtD;CAEH,OAAO,kBAAkB,OAAO,KAAK;;AAGvC,MAAM,uBAAuB,KAAK,UAAU,CAAC,QAAQ,OAAO,QAC1D,iBAAiB,MAAM,GAAG,OAAO,IAAI,OAAO,qCAAqC,CAClF;AAED,MAAM,wBAAwB,KAAK,EAAE,YAAY,WAAW,CAAC,CAAC,QAAQ,OAAO,QAC3E,kBAAkB,MAAM,IACxB,OAAO,OAAO,MAAM,CAAC,OAAO,UAAU,qBAAqB,OAAO,MAAM,CAAC,GACrE,OACA,IAAI,OAAO,4CAA4C,CAC5D;AAED,MAAM,qBAAqB,KAAK,EAAE,YAAY,UAAU,CAAC;AAEzD,MAAM,oBAAoB,KAAK;CAC7B,KAAK;CACL,YAAY;CACb,CAAC,CAAC,QAAQ,QAAQ,QACjB,OAAO,KAAK,OAAO,CAAC,SAAS,IAAI,OAAO,IAAI,OAAO,6CAA6C,CACjG;AAED,MAAM,kBAAkB,KAAK;CAC3B,KAAK;CACL,SAAS;CACT,QAAQ;CACR,cAAc;CACd,cAAc;CACd,aAAa;CACb,oBAAoB;CACpB,cAAc;CACd,gBAAgB;CAChB,cAAc;CACd,kBAAkB;CACnB,CAAC;AAEF,MAAM,4BAA4B,KAAK;CACrC,KAAK;CACL,SAAS;CACT,kBAAkB;CACnB,CAAC;AAEF,MAAM,oCAAoC,KAAK;CAC7C,KAAK;CACL,SAAS;CACT,WAAW;CACX,cAAc;CACd,gBAAgB;CAChB,yBAAyB;CACzB,0BAA0B;CAC3B,CAAC;AAWF,MAAM,mCAAmC,KAAK;CAC5C,KAAK;CACL,SAAS;CACT,SAAS;CACT,KAbmC,KAAK;EACxC,KAAK;EACL,YAAY;EACb,CAAC,CAAC,QAAQ,KAAK,QACd,OAAO,KAAK,IAAI,CAAC,SAAS,IACtB,OACA,IAAI,OAAO,oDAAoD,CAOlC;CACjC,QAAQ;CACT,CAAC;AAEF,MAAM,qCAAqC,KAAK;CAC9C,KAAK;CACL,SAAS;CACT,SAAS;CACV,CAAC;AAE8B,KAAK;CACnC,KAAK;CACL,WAAW;CACX,SAAS;CACT,QAAQ;CACR,kBAAkB;CAClB,wBAAwB;CACxB,cAAc;CACd,eAAe;CACf,mBAAmB;CACnB,uBAAuB;CACvB,iCAAiC;CAClC,CAAC;AAEF,MAAM,qBAAqB,KAAK;CAC9B,KAAK;CACL,eAAe;CACf,cAAc,KAAK,EAAE,YAAY,4BAA4B,CAAC;CAC/D,CAAC;AAEF,MAAM,sBAAsB,KAAK;CAC/B,KAAK;CACL,OAAO;CACR,CAAC;AAEF,MAAM,qBAAqB,KAAK;CAC9B,KAAK;CACL,OAAO;CACR,CAAC;AAEF,MAAM,wBAAwB,KAAK;CACjC,KAAK;CACL,QAAQ,KAAK,EAAE,YAAY,aAAa,CAAC;CACzC,SAAS;CACT,cAAc,KAAK,EAAE,YAAY,gBAAgB,CAAC;CAClD,kBAAkB;CAClB,aAAa,KAAK,EAAE,YAAY,oBAAoB,CAAC;CACrD,SAAS;CACT,UAAU;CACX,CAAC;AA6BkB,KAAK;CACvB,KAAK;CACL,QAAQ;CACR,YAzByB,KAAK;EAC9B,KAAK;EACL,SAAS;EACT,WAAW;EACX,SAAS;EACT,4BAA4B;EAC5B,WAAW;EACX,uBAAuB;EACvB,YAAY;EACZ,qBAAqB;EACrB,sBAAsB;EACtB,qBAAqB;EACrB,yBAAyB;EACzB,SAAS;EACT,QAAQ;EACR,QAAQ;EACR,eAAe;EACf,WAAW;EACX,cAAc;EACd,uBAxB+B,KAAK;GACpC,KAAK;GACL,YAAY;GACb,CAqBwB;EACxB,CAKa;CACb,CAAC;AAQF,MAAM,0BAA0B,KAAK;CACnC,KAAK;CACL,SAAS;CACT,MAT0B,KAAK;EAC/B,KAAK;EACL,OAAO;EACP,WAAW;EACZ,CAKO,CAAoB,OAAO,CAAC,cAAc,EAAE;CAClD,WAAW;CACX,WAAW;CACX,uBAAuB;CACvB,4BAA4B;CAC5B,uBAAuB;CACvB,cAAc;CACd,YAAY;CACZ,qBAAqB;CACrB,sBAAsB;CACvB,CAAC;AAEF,MAAM,8BAA8B,KAAK;CACvC,KAAK;CACL,SAAS;CACT,YAAY;CACZ,iBAAiB;CACjB,kBAAkB;CACnB,CAAC;AAuBF,MAAM,+BAA+B,KAAK;CACxC,KAAK;CACL,SAAS;CACT,WAxB0B,KAAK;EAC/B,KAAK;EACL,MAAM;EACN,QAAQ;EACT,CAoB+B;CAC9B,kBAAkB;CAClB,wBAAwB;CACxB,eArB8B,KAAK;EACnC,KAAK;EACL,SAAS;EACT,WAAW;EACX,cAAc;EACd,gBAAgB;EAChB,yBAAyB;EACzB,0BAA0B;EAC3B,CAauC;CACtC,cAAc;CACd,uBAAuB;CACvB,iCAAiC;CACjC,mBAf2B,KAAK;EAChC,KAAK;EACL,SAAS;EACV,CAYwC;CACxC,CAAC;AAUF,MAAa,sBAAsB,KAAK;CACtC,KAAK;CACL,cAAc;CACd,kBAAkB;CAClB,WAAW;CACX,gBAAgB;CAChB,gBAAgB;CAChB,OAAO;CACP,iBAAiB;CACjB,mBAAmB;CACnB,SAAS;CACT,YAAY;CACZ,eAAe;CACf,SAAS,KAAK;EACZ,KAAK;EACL,aAAa,KAAK,EAAE,YAvBQ,KAAK;GACnC,KAAK;GACL,SAAS;GACT,YAAY,wBAAwB,OAAO;GAC3C,cAAc;GACd,YAAY;GACb,CAiBmC,EAAyB,CAAC;EAC1D,gBAAgB;EACjB,CAAC;CACF,QAAQ,KAAK,EAAE,YAAY,uBAAuB,CAAC;CACnD,iBAAiB,KAAK,EACpB,YAAY,KAAK;EAAE,KAAK;EAAU,QAAQ,KAAK,EAAE,YAAY,aAAa,CAAC;EAAE,CAAC,EAC/E,CAAC;CACH,CAAC;;;;;;;;;;ACxUF,IAAa,2CAAb,cAA8D,WAAW;CACvE,OAAgB;CAChB;CAEA,YAAY,SAAwD;EAClE,OAAO;EACP,KAAK,UAAU,QAAQ;EACvB,WAAW,KAAK;;;;;;;;;;;;;ACFpB,IAAa,kCAAb,cAAqD,WAAW;CAC9D,OAAgB;CAEhB;CACA;CAEA,YAAY,SAA+C;EACzD,OAAO;EACP,IAAI,QAAQ,SAAS,KAAA,GAAW,KAAK,OAAO,QAAQ;EACpD,KAAK,MAAM,QAAQ;EACnB,KAAK,SAAS,QAAQ;EACtB,WAAW,KAAK;;;;;;;;;;;;;;;;;;;ACWpB,IAAa,wBAAb,cAA2C,WAAW;CACpD,OAAgB;CAChB;CAUA,YAAY,SAAqC;EAC/C,OAAO;EACP,KAAK,SAAS,QAAQ;EACtB,IAAI,QAAQ,cAAc,KAAA,GAAW,KAAK,YAAY,QAAQ;EAC9D,IAAI,QAAQ,cAAc,KAAA,GAAW,KAAK,YAAY,QAAQ;EAC9D,IAAI,QAAQ,aAAa,KAAA,GAAW,KAAK,WAAW,QAAQ;EAC5D,IAAI,QAAQ,oBAAoB,KAAA,GAAW,KAAK,kBAAkB,QAAQ;EAC1E,IAAI,QAAQ,cAAc,KAAA,GAAW,KAAK,YAAY,QAAQ;EAC9D,IAAI,QAAQ,gBAAgB,KAAA,GAAW,KAAK,cAAc,QAAQ;EAClE,IAAI,QAAQ,cAAc,KAAA,GAAW,KAAK,YAAY,QAAQ;EAC9D,IAAI,QAAQ,kBAAkB,KAAA,GAAW,KAAK,gBAAgB,QAAQ;EACtE,WAAW,KAAK;;;;;;;;;;;;;;;AC9CpB,IAAa,2BAAb,cAA8C,WAAW;CACvD,OAAgB;CAGhB,YAAY,UAAyC,EAAE,EAAE;EACvD,OAAO;EACP,IAAI,QAAQ,kBAAkB,KAAA,GAAW,KAAK,gBAAgB,QAAQ;EACtE,WAAW,KAAK;;;;;;;;;;;;;ACJpB,IAAa,mCAAb,cAAsD,WAAW;CAC/D,OAAgB;CAChB;CAMA,YAAY,SAAgD;EAC1D,OAAO;EACP,KAAK,YAAY,QAAQ;EACzB,IAAI,QAAQ,cAAc,KAAA,GAAW,KAAK,YAAY,QAAQ;EAC9D,IAAI,QAAQ,gBAAgB,KAAA,GAAW,KAAK,cAAc,QAAQ;EAClE,IAAI,QAAQ,yBAAyB,KAAA,GACnC,KAAK,uBAAuB,QAAQ;EACtC,IAAI,QAAQ,0BAA0B,KAAA,GACpC,KAAK,wBAAwB,QAAQ;EACvC,WAAW,KAAK;;;;;;;;;;;;;;;;;;;;;;;ACsEpB,IAAa,yBAAb,cAA4C,WAAW;CACrD,OAAgB;CAUhB,YAAY,QAAqC,EAAE,EAAE;EACnD,OAAO;EACP,IAAI,MAAM,WAAW,KAAA,GACnB,KAAK,SAAS;GACZ,MAAM,MAAM,OAAO;GACnB,GAAI,MAAM,OAAO,OAAO,QAAQ,EAAE,KAAK,MAAM,OAAO,KAAK;GAC1D;EAEH,IAAI,MAAM,kBAAkB,KAAA,GAAW,KAAK,gBAAgB,MAAM;EAClE,IAAI,MAAM,wBAAwB,KAAA,GAChC,KAAK,sBACH,MAAM,+BAA+B,2BACjC,MAAM,sBACN,IAAI,yBAAyB,MAAM,oBAAoB;EAE/D,IAAI,MAAM,cAAc,KAAA,GACtB,KAAK,YACH,MAAM,qBAAqB,wBACvB,MAAM,YACN,IAAI,sBAAsB,MAAM,UAAU;EAElD,IAAI,MAAM,eAAe,KAAA,GACvB,KAAK,aACH,MAAM,sBAAsB,mCACxB,MAAM,aACN,IAAI,iCAAiC,MAAM,WAAW;EAE9D,IAAI,MAAM,mBAAmB,KAAA,GAC3B,KAAK,iBACH,MAAM,eAAe,SAAS,KAAA,IAAY,EAAE,MAAM,MAAM,eAAe,MAAM,GAAG,EAAE;EAEtF,IAAI,MAAM,uBAAuB,KAAA,GAAW,KAAK,qBAAqB,MAAM;EAC5E,IAAI,MAAM,iCAAiC,KAAA,GACzC,KAAK,+BACH,MAAM,wCAAwC,2CAC1C,MAAM,+BACN,IAAI,yCAAyC,MAAM,6BAA6B;EAExF,WAAW,KAAK;;;;;;;;;;;;;;;;;;ACzHpB,IAAa,aAAb,cAAgC,WAAW;CACzC,OAAgB;CAChB;CAWA,YAAY,OAAwB;EAClC,OAAO;EACP,KAAK,OAAO,MAAM;EAClB,IAAI,MAAM,WAAW,KAAA,GAAW,KAAK,SAAS,MAAM;EACpD,IAAI,MAAM,WAAW,KAAA,GAAW,KAAK,SAAS,MAAM;EACpD,IAAI,MAAM,uBAAuB,KAAA,GAAW,KAAK,qBAAqB,MAAM;EAC5E,IAAI,MAAM,4BAA4B,KAAA,GACpC,KAAK,0BAA0B,MAAM;EACvC,IAAI,MAAM,uBAAuB,KAAA,GAAW,KAAK,qBAAqB,MAAM;EAC5E,IAAI,MAAM,cAAc,KAAA,GAAW,KAAK,YAAY,MAAM;EAC1D,IAAI,MAAM,YAAY,KAAA,GAAW,KAAK,UAAU,MAAM;EACtD,IAAI,MAAM,qBAAqB,KAAA,GAAW,KAAK,mBAAmB,MAAM;EACxE,IAAI,MAAM,sBAAsB,KAAA,GAAW,KAAK,oBAAoB,MAAM;EAC1E,WAAW,KAAK;;;;;;;;;;;;;;;;;;;;;;ACjCpB,IAAa,iBAAb,cAAoC,WAAW;CAC7C,OAAgB;CAChB;CACA;CACA;CAEA,YAAY,OAA4B;EACtC,OAAO;EACP,KAAK,aAAa,MAAM;EACxB,KAAK,kBAAkB,MAAM;EAC7B,KAAK,mBAAmB,MAAM;EAC9B,WAAW,KAAK;;;;;;;;;;;;;;;;;;;;;;;;;ACIpB,IAAa,kBAAb,cAAqC,WAAW;CAC9C,OAAgB;CAKhB,YAAY,QAA8B,EAAE,EAAE;EAC5C,OAAO;EACP,IAAI,MAAM,YAAY,KAAA,GACpB,KAAK,UAAU,MAAM,QAAQ,KAAK,QAChC,eAAe,aAAa,MAAM,IAAI,WAAW,IAAI,CACtD;EAEH,IAAI,MAAM,cAAc,KAAA,GACtB,KAAK,YACH,MAAM,qBAAqB,iBACvB,MAAM,YACN,IAAI,eAAe,MAAM,UAAU;EAE3C,IAAI,MAAM,YAAY,KAAA,GACpB,KAAK,UACH,MAAM,mBAAmB,yBACrB,MAAM,UACN,IAAI,uBAAuB,MAAM,QAAQ;EAEjD,WAAW,KAAK;;;;;;;;;;;;;;;AC5BpB,IAAa,oBAAb,cAAuC,WAAW;CAChD,OAAgB;CAmBhB,YAAY,UAAkC,EAAE,EAAE;EAChD,OAAO;EACP,IAAI,QAAQ,WAAW,KAAA,GAAW,KAAK,SAAS,QAAQ;EACxD,IAAI,QAAQ,SAAS,KAAA,GAAW,KAAK,OAAO,QAAQ;EACpD,IAAI,QAAQ,4BAA4B,KAAA,GACtC,KAAK,0BAA0B,QAAQ;EACzC,IAAI,QAAQ,WAAW,KAAA,GAAW,KAAK,SAAS,QAAQ;EACxD,IAAI,QAAQ,uBAAuB,KAAA,GACjC,KAAK,qBAAqB,QAAQ;EACpC,IAAI,QAAQ,YAAY,KAAA,GAAW,KAAK,UAAU,QAAQ;EAC1D,IAAI,QAAQ,qBAAqB,KAAA,GAAW,KAAK,mBAAmB,QAAQ;EAC5E,IAAI,QAAQ,sBAAsB,KAAA,GAAW,KAAK,oBAAoB,QAAQ;EAC9E,IAAI,QAAQ,qBAAqB,KAAA,GAAW,KAAK,mBAAmB,QAAQ;EAC5E,IAAI,QAAQ,4BAA4B,KAAA,GACtC,KAAK,0BAA0B,QAAQ;EACzC,IAAI,QAAQ,SAAS,KAAA,GAAW,KAAK,OAAO,QAAQ;EACpD,IAAI,QAAQ,QAAQ,KAAA,GAAW,KAAK,MAAM,QAAQ;EAClD,IAAI,QAAQ,QAAQ,KAAA,GAAW,KAAK,MAAM,QAAQ;EAClD,IAAI,QAAQ,eAAe,KAAA,GAAW,KAAK,aAAa,QAAQ;EAChE,IAAI,QAAQ,WAAW,KAAA,GAAW,KAAK,SAAS,QAAQ;EACxD,IAAI,QAAQ,cAAc,KAAA,GACxB,KAAK,YACH,QAAQ,qBAAqB,wBACzB,QAAQ,YACR,IAAI,sBAAsB,QAAQ,UAAU;EAEpD,IAAI,QAAQ,uBAAuB,KAAA,GACjC,KAAK,qBAAqB,QAAQ;EACpC,WAAW,KAAK;;;;;;;;;;;;;;;;;;;;;;;;;;AC/CpB,IAAa,eAAb,cAAiE,WAA8B;CAC7F,OAAgB;CAChB;CACA;CACA;CAEA,YAAY,OAAiC;EAC3C,OAAO;EACP,KAAK,cAAc,MAAM;EACzB,KAAK,cAAc,MAAM;EACzB,KAAK,aAAa,MAAM;EACxB,WAAW,KAAK;;;;;ACzCpB,SAAS,2BAA2B,OAAoD;CACtF,MAAM,IAAI,OAAO;CACjB,OAAO,MAAM,YAAY,MAAM,YAAY,MAAM;;AAGnD,SAAS,YAAY,OAAwB;CAC3C,IAAI,OAAO,UAAU,UAAU,OAAO,KAAK,UAAU,MAAM;CAC3D,IAAI,UAAU,MAAM,OAAO;CAC3B,IAAI,MAAM,QAAQ,MAAM,EAAE,OAAO,KAAK,UAAU,MAAM;CACtD,IAAI,OAAO,UAAU,UAAU,OAAO,KAAK,UAAU,MAAM;CAC3D,OAAO,OAAO,MAAM;;AAGtB,SAAgB,kCACd,OACA,OACkB;CAClB,IAAI,CAAC,2BAA2B,MAAM,mBAAmB,EACvD,OAAO;EACL,MAAM;EACN,QAAQ,uGAAuG,MAAM,mBAAmB,kBAAkB,YAAY,MAAM,mBAAmB,CAAC;EACjM;CAGH,MAAM,WAAW,MAAM;CACvB,IAAI,YAAY,OAAO,OAAO,UAAU,MAAM,mBAAmB,EAAE;EACjE,MAAM,gBAAgB,SAAS,MAAM;EACrC,IAAI,kBAAkB,MAAM,oBAC1B,OAAO;GAAE,MAAM;GAAM;GAAO;EAE9B,OAAO;GACL,MAAM;GACN,QAAQ,uCAAuC,MAAM,mBAAmB,OAAO,YAAY,cAAc,CAAC,2DAA2D,YAAY,MAAM,mBAAmB,CAAC;GAC5M;;CAGH,MAAM,SAAkC;EACtC,GAAI,YAAY,EAAE;GACjB,MAAM,qBAAqB,MAAM;EACnC;CAeD,OAAO;EAAE,MAAM;EAAM,OAAO,IAAI,WAAW;GAZzC,MAAM,MAAM;GACZ,GAAI,MAAM,WAAW,KAAA,KAAa,EAAE,QAAQ,MAAM,QAAQ;GAC1D,GAAI,MAAM,WAAW,KAAA,KAAa,EAAE,QAAQ,MAAM,QAAQ;GAC1D,GAAI,MAAM,uBAAuB,KAAA,KAAa,EAAE,oBAAoB,MAAM,oBAAoB;GAC9F,yBAAyB;GACzB,GAAI,MAAM,uBAAuB,KAAA,KAAa,EAAE,oBAAoB,MAAM,oBAAoB;GAC9F,GAAI,MAAM,cAAc,KAAA,KAAa,EAAE,WAAW,MAAM,WAAW;GACnE,GAAI,MAAM,YAAY,KAAA,KAAa,EAAE,SAAS,MAAM,SAAS;GAC7D,GAAI,MAAM,qBAAqB,KAAA,KAAa,EAAE,kBAAkB,MAAM,kBAAkB;GACxF,GAAI,MAAM,sBAAsB,KAAA,KAAa,EAAE,mBAAmB,MAAM,mBAAmB;GAG5C,CAAC;EAAE;;;;AC/DtD,SAAgB,qBAAqB,UAA+B;CAClE,MAAM,SAAmB,EAAE;CAE3B,KAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,SAAS,OAAO,EAAE;EAChE,IAAI,MAAM,QAAQ,cAAc,EAAE,MAAM,QAAQ,cAAc,SAAS,QAAQ,cAC7E,OAAO,KACL,UAAU,UAAU,2BAA2B,MAAM,QAAQ,WAAW,uCACzE;EAKH,IAAI,MAAM,MAAM;GACd,MAAM,YAAY,SAAS,OAAO,MAAM;GACxC,IAAI,WAAW;IACb,MAAM,oBAAoB,MAAM,QAAQ;IACxC,MAAM,iBAAiB,UAAU,QAAQ;IACzC,IAAI,sBAAsB,gBACxB,OAAO,KACL,4DAA4D,UAAU,uCAAuC,kBAAkB,SAAS,eAAe,qBAAqB,SAAS,GACtL;;;EAKP,KAAK,MAAM,CAAC,SAAS,aAAa,OAAO,QAAQ,MAAM,aAAa,EAAE,CAAC,EAAE;GACvE,MAAM,cAAc,SAAS,OAAO,SAAS;GAE7C,IAAI,aAAa,OAAO;IACtB,IAAI,YAAY,UAAU,WACxB,OAAO,KACL,mBAAmB,QAAQ,aAAa,SAAS,GAAG,uBAAuB,YAAY,MAAM,UAAU,UAAU,GAClH;IAEH,IAAI,YAAY,QAAQ,YACtB,OAAO,KACL,mBAAmB,QAAQ,aAAa,SAAS,GAAG,oCACrD;UAEE,IAAI,QAAQ,YAAY,SAAS,IAAI;IAC1C,KAAK,MAAM,cAAc,SAAS,GAAG,aACnC,IAAI,EAAE,cAAc,MAAM,SACxB,OAAO,KACL,uBAAuB,QAAQ,iBAAiB,WAAW,6BAA6B,UAAU,GACnG;IAIL,IAAI;UACG,MAAM,eAAe,SAAS,GAAG,cACpC,IAAI,EAAE,eAAe,YAAY,SAC/B,OAAO,KACL,uBAAuB,QAAQ,kBAAkB,YAAY,6BAA6B,SAAS,GAAG,GACvG;;;;;CAQb,IAAI,OAAO,SAAS,GAClB,MAAM,IAAI,MAAM,0CAA0C,OAAO,KAAK,OAAO,GAAG"}

package/package.json

@@ -1,18 +1,20 @@
 {
   "name": "@prisma-next/mongo-contract",
-  "version": "0.8.0",
+  "version": "0.9.0-dev.1",
   "license": "Apache-2.0",
   "type": "module",
   "sideEffects": false,
   "description": "Contract types and validation for Prisma Next MongoDB support",
   "dependencies": {
-    "@prisma-next/contract": "0.8.0",
+    "@prisma-next/contract": "0.9.0-dev.1",
+    "@prisma-next/framework-components": "0.9.0-dev.1",
+    "@prisma-next/utils": "0.9.0-dev.1",
     "arktype": "^2.1.29"
   },
   "devDependencies": {
-    "@prisma-next/test-utils": "0.8.0",
-    "@prisma-next/tsconfig": "0.8.0",
-    "@prisma-next/tsdown": "0.8.0",
+    "@prisma-next/test-utils": "0.9.0-dev.1",
+    "@prisma-next/tsconfig": "0.9.0-dev.1",
+    "@prisma-next/tsdown": "0.9.0-dev.1",
     "tsdown": "0.22.0",
     "typescript": "5.9.3",
     "vitest": "4.1.5"
@@ -25,8 +27,6 @@
     ".": "./dist/index.mjs",
     "./package.json": "./package.json"
   },
-  "main": "./dist/index.mjs",
-  "module": "./dist/index.mjs",
   "types": "./dist/index.d.mts",
   "repository": {
     "type": "git",

package/src/contract-schema.ts

@@ -121,6 +121,7 @@ const IndexFieldsSchema = type({
 
 const CollationSchema = type({
   '+': 'reject',
+  'kind?': "'mongo-collation-options'",
   locale: 'string',
   'caseLevel?': 'boolean',
   'caseFirst?': '"off" | "upper" | "lower"',
@@ -134,11 +135,13 @@ const CollationSchema = type({
 
 const IndexOptionDefaultsSchema = type({
   '+': 'reject',
+  'kind?': "'mongo-index-option-defaults'",
   'storageEngine?': MongoJsonObjectSchema,
 });
 
 const TimeSeriesCollectionOptionsSchema = type({
   '+': 'reject',
+  'kind?': "'mongo-time-series-collection-options'",
   timeField: 'string',
   'metaField?': 'string',
   'granularity?': '"seconds" | "minutes" | "hours"',
@@ -157,6 +160,7 @@ const ClusteredCollectionKeySchema = type({
 
 const ClusteredCollectionOptionsSchema = type({
   '+': 'reject',
+  'kind?': "'mongo-clustered-collection-options'",
   'name?': 'string',
   key: ClusteredCollectionKeySchema,
   unique: 'boolean',
@@ -164,6 +168,7 @@ const ClusteredCollectionOptionsSchema = type({
 
 const ChangeStreamPreAndPostImagesSchema = type({
   '+': 'reject',
+  'kind?': "'mongo-change-stream-pre-and-post-images-options'",
   enabled: 'boolean',
 });
 
@@ -215,6 +220,7 @@ const WildcardProjectionSchema = type({
 
 const IndexOptionsSchema = type({
   '+': 'reject',
+  'kind?': "'mongo-index-options'",
   'unique?': 'boolean',
   'name?': 'string',
   'partialFilterExpression?': MongoJsonObjectSchema,
@@ -248,6 +254,7 @@ const MongoIndexKeySchema = type({
 
 const MongoStorageIndexSchema = type({
   '+': 'reject',
+  'kind?': "'mongo-index'",
   keys: MongoIndexKeySchema.array().atLeastLength(1),
   'unique?': 'boolean',
   'sparse?': 'boolean',
@@ -262,6 +269,7 @@ const MongoStorageIndexSchema = type({
 
 const MongoStorageValidatorSchema = type({
   '+': 'reject',
+  'kind?': "'mongo-validator'",
   jsonSchema: 'Record<string, unknown>',
   validationLevel: "'strict' | 'moderate'",
   validationAction: "'error' | 'warn'",
@@ -275,9 +283,12 @@ const CappedOptionsSchema = type({
 
 const TimeseriesOptionsSchema = type({
   '+': 'reject',
+  'kind?': "'mongo-time-series-collection-options'",
   timeField: 'string',
   'metaField?': 'string',
   'granularity?': "'seconds' | 'minutes' | 'hours'",
+  'bucketMaxSpanSeconds?': 'number',
+  'bucketRoundingSeconds?': 'number',
 });
 
 const ClusteredIndexSchema = type({
@@ -287,15 +298,20 @@ const ClusteredIndexSchema = type({
 
 const MongoCollectionOptionsSchema = type({
   '+': 'reject',
+  'kind?': "'mongo-collection-options'",
   'capped?': CappedOptionsSchema,
+  'storageEngine?': MongoJsonObjectSchema,
+  'indexOptionDefaults?': IndexOptionDefaultsSchema,
   'timeseries?': TimeseriesOptionsSchema,
   'collation?': 'Record<string, unknown>',
+  'expireAfterSeconds?': 'number',
   'changeStreamPreAndPostImages?': ChangeStreamPreAndPostImagesSchema,
   'clusteredIndex?': ClusteredIndexSchema,
 });
 
 const StorageCollectionSchema = type({
   '+': 'reject',
+  'kind?': "'mongo-collection'",
   'indexes?': MongoStorageIndexSchema.array(),
   'validator?': MongoStorageValidatorSchema,
   'options?': MongoCollectionOptionsSchema,

package/src/contract-types.ts

@@ -5,6 +5,8 @@ import type {
   ContractValueObject,
   StorageBase,
 } from '@prisma-next/contract/types';
+import type { MongoCollection } from './ir/mongo-collection';
+import type { MongoIndexOptionsInput } from './ir/mongo-index-options';
 
 export type MongoIndexFieldValue = 1 | -1 | 'text' | '2dsphere' | '2d' | 'hashed';
 
@@ -18,90 +20,17 @@ export type MongoJsonObject = {
   readonly [key: string]: MongoJsonValue;
 };
 
-export type MongoCollationCaseFirst = 'off' | 'upper' | 'lower';
-
-export type MongoCollationStrength = 1 | 2 | 3 | 4 | 5;
-
-export type MongoCollationAlternate = 'non-ignorable' | 'shifted';
-
-export type MongoCollationMaxVariable = 'punct' | 'space';
-
-export type MongoCollationOptions = {
-  readonly locale: string;
-  readonly caseLevel?: boolean;
-  readonly caseFirst?: MongoCollationCaseFirst;
-  readonly strength?: MongoCollationStrength;
-  readonly numericOrdering?: boolean;
-  readonly alternate?: MongoCollationAlternate;
-  readonly maxVariable?: MongoCollationMaxVariable;
-  readonly backwards?: boolean;
-  readonly normalization?: boolean;
-};
-
 export type MongoWildcardProjection = Readonly<Record<string, 0 | 1>>;
 
-export type MongoIndexOptions = {
-  readonly unique?: boolean;
-  readonly name?: string;
-  readonly partialFilterExpression?: MongoJsonObject;
-  readonly sparse?: boolean;
-  readonly expireAfterSeconds?: number;
-  readonly weights?: Readonly<Record<string, number>>;
-  readonly default_language?: string;
-  readonly language_override?: string;
-  readonly textIndexVersion?: number;
-  readonly '2dsphereIndexVersion'?: number;
-  readonly bits?: number;
-  readonly min?: number;
-  readonly max?: number;
-  readonly bucketSize?: number;
-  readonly hidden?: boolean;
-  readonly collation?: MongoCollationOptions;
-  readonly wildcardProjection?: MongoWildcardProjection;
-};
-
-export type MongoIndex = {
+/**
+ * Authoring-DSL shape for a single index entry on a model — the
+ * `indexes` array element accepted by the contract-ts builder. The
+ * builder translates these (with model context) into {@link MongoIndex}
+ * IR-class instances on `MongoCollection.indexes`.
+ */
+export type MongoIndexAuthoringInput = {
   readonly fields: MongoIndexFields;
-  readonly options?: MongoIndexOptions;
-};
-
-export type MongoIndexOptionDefaults = {
-  readonly storageEngine?: MongoJsonObject;
-};
-
-export type MongoTimeSeriesGranularity = 'seconds' | 'minutes' | 'hours';
-
-export type MongoTimeSeriesCollectionOptions = {
-  readonly timeField: string;
-  readonly metaField?: string;
-  readonly granularity?: MongoTimeSeriesGranularity;
-  readonly bucketMaxSpanSeconds?: number;
-  readonly bucketRoundingSeconds?: number;
-};
-
-export type MongoClusteredCollectionKey = Readonly<Record<string, 1>>;
-
-export type MongoClusteredCollectionOptions = {
-  readonly name?: string;
-  readonly key: MongoClusteredCollectionKey;
-  readonly unique: boolean;
-};
-
-export type MongoChangeStreamPreAndPostImagesOptions = {
-  readonly enabled: boolean;
-};
-
-export type MongoCollectionOptions = {
-  readonly capped?: boolean;
-  readonly size?: number;
-  readonly max?: number;
-  readonly storageEngine?: MongoJsonObject;
-  readonly indexOptionDefaults?: MongoIndexOptionDefaults;
-  readonly collation?: MongoCollationOptions;
-  readonly timeseries?: MongoTimeSeriesCollectionOptions;
-  readonly clusteredIndex?: MongoClusteredCollectionOptions;
-  readonly expireAfterSeconds?: number;
-  readonly changeStreamPreAndPostImages?: MongoChangeStreamPreAndPostImagesOptions;
+  readonly options?: MongoIndexOptionsInput;
 };
 
 export type MongoIndexKeyDirection = 1 | -1 | 'text' | '2dsphere' | '2d' | 'hashed';
@@ -111,47 +40,6 @@ export interface MongoIndexKey {
   readonly direction: MongoIndexKeyDirection;
 }
 
-export interface MongoStorageIndex {
-  readonly keys: ReadonlyArray<MongoIndexKey>;
-  readonly unique?: boolean;
-  readonly sparse?: boolean;
-  readonly expireAfterSeconds?: number;
-  readonly partialFilterExpression?: Record<string, unknown>;
-  readonly wildcardProjection?: Record<string, 0 | 1>;
-  readonly collation?: Record<string, unknown>;
-  readonly weights?: Record<string, number>;
-  readonly default_language?: string;
-  readonly language_override?: string;
-}
-
-export interface MongoStorageValidator {
-  readonly jsonSchema: Record<string, unknown>;
-  readonly validationLevel: 'strict' | 'moderate';
-  readonly validationAction: 'error' | 'warn';
-}
-
-export interface MongoStorageCollectionOptions {
-  readonly capped?: { size: number; max?: number };
-  readonly timeseries?: {
-    timeField: string;
-    metaField?: string;
-    granularity?: 'seconds' | 'minutes' | 'hours';
-  };
-  readonly collation?: Record<string, unknown>;
-  readonly changeStreamPreAndPostImages?: { enabled: boolean };
-  readonly clusteredIndex?: { name?: string };
-}
-
-export interface MongoStorageCollection {
-  readonly indexes?: ReadonlyArray<MongoStorageIndex>;
-  readonly validator?: MongoStorageValidator;
-  readonly options?: MongoStorageCollectionOptions;
-}
-
-export type MongoStorage<THash extends string = string> = StorageBase<THash> & {
-  readonly collections: Record<string, MongoStorageCollection>;
-};
-
 export type MongoModelStorage = {
   readonly collection?: string;
   readonly relations?: Record<string, { readonly field: string }>;
@@ -159,8 +47,21 @@ export type MongoModelStorage = {
 
 export type MongoModelDefinition = ContractModel<MongoModelStorage>;
 
+/**
+ * Data-shape constraint for the Mongo family's storage block. The
+ * runtime in-memory representation is the concrete {@link MongoStorage}
+ * class from `./ir/mongo-storage`; this type is the structural superset
+ * used as the generic-parameter constraint so consumers can name
+ * `MongoContract<...>` over either the raw JSON envelope (no
+ * `namespaces` field) or a fully-constructed class instance (with
+ * `namespaces`). The class structurally satisfies this shape.
+ */
+export type MongoStorageShape<THash extends string = string> = StorageBase<THash> & {
+  readonly collections: Record<string, MongoCollection>;
+};
+
 export type MongoContract<
-  S extends MongoStorage = MongoStorage,
+  S extends MongoStorageShape = MongoStorageShape,
   M extends Record<string, MongoModelDefinition> = Record<string, MongoModelDefinition>,
 > = Contract<S, M>;
 

package/src/exports/index.ts

@@ -1,48 +1,73 @@
+export { MongoContractSchema } from '../contract-schema';
 export type {
   ExtractMongoCodecTypes,
   ExtractMongoFieldInputTypes,
   ExtractMongoFieldOutputTypes,
   ExtractMongoTypeMaps,
   InferModelRow,
-  MongoChangeStreamPreAndPostImagesOptions,
-  MongoClusteredCollectionKey,
-  MongoClusteredCollectionOptions,
-  MongoCollationAlternate,
-  MongoCollationCaseFirst,
-  MongoCollationMaxVariable,
-  MongoCollationOptions,
-  MongoCollationStrength,
-  MongoCollectionOptions,
   MongoContract,
   MongoContractWithTypeMaps,
-  MongoIndex,
+  MongoIndexAuthoringInput,
   MongoIndexFields,
   MongoIndexFieldValue,
   MongoIndexKey,
   MongoIndexKeyDirection,
-  MongoIndexOptionDefaults,
-  MongoIndexOptions,
   MongoJsonObject,
   MongoJsonPrimitive,
   MongoJsonValue,
   MongoModelDefinition,
   MongoModelStorage,
-  MongoStorage,
-  MongoStorageCollection,
-  MongoStorageCollectionOptions,
-  MongoStorageIndex,
-  MongoStorageValidator,
-  MongoTimeSeriesCollectionOptions,
-  MongoTimeSeriesGranularity,
+  MongoStorageShape,
   MongoTypeMaps,
   MongoTypeMapsPhantomKey,
   MongoWildcardProjection,
 } from '../contract-types';
+export type { MongoChangeStreamPreAndPostImagesOptionsInput } from '../ir/mongo-change-stream-pre-and-post-images-options';
+export { MongoChangeStreamPreAndPostImagesOptions } from '../ir/mongo-change-stream-pre-and-post-images-options';
+export type {
+  MongoClusteredCollectionKey,
+  MongoClusteredCollectionOptionsInput,
+} from '../ir/mongo-clustered-collection-options';
+export { MongoClusteredCollectionOptions } from '../ir/mongo-clustered-collection-options';
+export type {
+  MongoCollationAlternate,
+  MongoCollationCaseFirst,
+  MongoCollationMaxVariable,
+  MongoCollationOptionsInput,
+  MongoCollationStrength,
+} from '../ir/mongo-collation-options';
+export { MongoCollationOptions } from '../ir/mongo-collation-options';
+export type { MongoCollectionInput } from '../ir/mongo-collection';
+export { MongoCollection } from '../ir/mongo-collection';
+export type {
+  MongoCollectionOptionsAuthoringInput,
+  MongoCollectionOptionsInput,
+  MongoStorageCappedShape,
+  MongoStorageClusteredIndexShape,
+} from '../ir/mongo-collection-options';
+export { MongoCollectionOptions } from '../ir/mongo-collection-options';
+export type { MongoIndexInput } from '../ir/mongo-index';
+export { MongoIndex } from '../ir/mongo-index';
+export type { MongoIndexOptionDefaultsInput } from '../ir/mongo-index-option-defaults';
+export { MongoIndexOptionDefaults } from '../ir/mongo-index-option-defaults';
+export type { MongoIndexOptionsInput } from '../ir/mongo-index-options';
+export { MongoIndexOptions } from '../ir/mongo-index-options';
+export type { MongoStorageInput } from '../ir/mongo-storage';
+export { MongoStorage } from '../ir/mongo-storage';
+export type {
+  MongoTimeSeriesCollectionOptionsInput,
+  MongoTimeSeriesGranularity,
+} from '../ir/mongo-time-series-collection-options';
+export { MongoTimeSeriesCollectionOptions } from '../ir/mongo-time-series-collection-options';
+export type {
+  MongoValidatorInput,
+  MongoValidatorValidationAction,
+  MongoValidatorValidationLevel,
+} from '../ir/mongo-validator';
+export { MongoValidator } from '../ir/mongo-validator';
 export type {
   ApplyScopeResult,
   PolymorphicIndexScope,
 } from '../polymorphic-index-scope';
 export { applyPolymorphicScopeToMongoIndex } from '../polymorphic-index-scope';
-export type { MongoContractIndices, ValidatedMongoContract } from '../validate-mongo-contract';
-export { validateMongoContract } from '../validate-mongo-contract';
 export { validateMongoStorage } from '../validate-storage';

package/src/ir/mongo-change-stream-pre-and-post-images-options.ts

@@ -0,0 +1,23 @@
+import { freezeNode, IRNodeBase } from '@prisma-next/framework-components/ir';
+
+export interface MongoChangeStreamPreAndPostImagesOptionsInput {
+  readonly enabled: boolean;
+}
+
+/**
+ * Change-stream pre-and-post-images collection option. Lifted from a
+ * `type =` data shape to an AST class extending `IRNodeBase` per
+ * FR18. Single-field shape; the class exists for AST-pattern
+ * consistency (every nested data shape inside `MongoCollectionOptions`
+ * is an AST node so the verifier can walk uniformly).
+ */
+export class MongoChangeStreamPreAndPostImagesOptions extends IRNodeBase {
+  readonly kind = 'mongo-change-stream-pre-and-post-images-options' as const;
+  readonly enabled: boolean;
+
+  constructor(options: MongoChangeStreamPreAndPostImagesOptionsInput) {
+    super();
+    this.enabled = options.enabled;
+    freezeNode(this);
+  }
+}