@prisma-next/contract 0.11.0-dev.6 → 0.11.0-dev.60

package/dist/testing.mjs

@@ -1,5 +1,5 @@
 import { t as coreHash } from "./types-CVGwkRLa.mjs";
-import { n as computeProfileHash, r as computeStorageHash, t as computeExecutionHash } from "./hashing-rZiqFOlc.mjs";
+import { n as computeProfileHash, r as computeStorageHash, t as computeExecutionHash } from "./hashing-C25nwocN.mjs";
 import { ifDefined } from "@prisma-next/utils/defined";
 //#region src/testing-factories.ts
 const DUMMY_HASH = coreHash("sha256:test");
@@ -17,7 +17,9 @@ function createContract(overrides = {}) {
 	const storageHash = computeStorageHash({
 		target,
 		targetFamily,
-		storage: rawStorage
+		storage: rawStorage,
+		...ifDefined("shouldPreserveEmpty", overrides.shouldPreserveEmpty),
+		...ifDefined("sortStorage", overrides.sortStorage)
 	});
 	const storage = {
 		...rawStorage,

package/dist/testing.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"testing.mjs","names":[],"sources":["../src/testing-factories.ts"],"sourcesContent":["import { ifDefined } from '@prisma-next/utils/defined';\nimport type { Contract } from './contract-types';\nimport type {\n  ContractModel,\n  ContractModelBase,\n  ContractValueObject,\n  ModelStorageBase,\n} from './domain-types';\nimport { computeExecutionHash, computeProfileHash, computeStorageHash } from './hashing';\nimport type { ExecutionSection, ProfileHashBase, StorageBase } from './types';\nimport { coreHash } from './types';\n\ntype ContractOverrides<\n  TStorage extends StorageBase = StorageBase,\n  TModels extends Record<string, ContractModelBase> = Record<string, ContractModel>,\n> = {\n  target?: string;\n  targetFamily?: string;\n  roots?: Record<string, string>;\n  models?: TModels;\n  storage?: Omit<TStorage, 'storageHash'>;\n  valueObjects?: Record<string, ContractValueObject>;\n  capabilities?: Record<string, Record<string, boolean>>;\n  extensionPacks?: Record<string, unknown>;\n  execution?: Omit<ExecutionSection, 'executionHash'>;\n  profileHash?: ProfileHashBase<string>;\n  meta?: Record<string, unknown>;\n};\n\nconst DUMMY_HASH = coreHash('sha256:test');\n\nconst DEFAULT_FRAMEWORK_STORAGE = { namespaces: {} } as const;\n\nconst UNBOUND_NAMESPACE_ID = '__unbound__' as const;\n\nconst DEFAULT_SQL_STORAGE = {\n  namespaces: {\n    [UNBOUND_NAMESPACE_ID]: {\n      id: UNBOUND_NAMESPACE_ID,\n      tables: {},\n    },\n  },\n} as const;\n\nexport function createContract<\n  TStorage extends StorageBase = StorageBase,\n  TModels extends Record<string, ContractModelBase> = Record<string, ContractModel>,\n>(overrides: ContractOverrides<TStorage, TModels> = {}): Contract<TStorage, TModels> {\n  const target = overrides.target ?? 'postgres';\n  const targetFamily = overrides.targetFamily ?? 'sql';\n  const capabilities = overrides.capabilities ?? {};\n\n  const rawStorage = overrides.storage ?? DEFAULT_FRAMEWORK_STORAGE;\n\n  const storageHash = computeStorageHash({\n    target,\n    targetFamily,\n    storage: rawStorage as Record<string, unknown>,\n  });\n\n  const storage = {\n    ...rawStorage,\n    storageHash,\n  } as TStorage;\n\n  const computedProfileHash =\n    overrides.profileHash ?? computeProfileHash({ target, targetFamily, capabilities });\n\n  return {\n    target,\n    targetFamily,\n    roots: overrides.roots ?? {},\n    models: (overrides.models ?? {}) as TModels,\n    ...ifDefined('valueObjects', overrides.valueObjects),\n    storage,\n    capabilities,\n    extensionPacks: overrides.extensionPacks ?? {},\n    ...(overrides.execution !== undefined\n      ? {\n          execution: {\n            ...overrides.execution,\n            executionHash: computeExecutionHash({\n              target,\n              targetFamily,\n              execution: overrides.execution,\n            }),\n          },\n        }\n      : {}),\n    profileHash: computedProfileHash,\n    meta: overrides.meta ?? {},\n  };\n}\n\ntype SqlStorageLike = StorageBase & {\n  readonly namespaces: Readonly<\n    Record<string, { readonly id: string; readonly tables: Readonly<Record<string, unknown>> }>\n  >;\n  readonly types?: Record<string, unknown>;\n};\n\ntype SqlModelLike = ContractModel<ModelStorageBase & { table: string }>;\n\nexport function createSqlContract(\n  overrides: ContractOverrides<SqlStorageLike, Record<string, SqlModelLike>> = {},\n): Contract<SqlStorageLike, Record<string, SqlModelLike>> {\n  return createContract<SqlStorageLike, Record<string, SqlModelLike>>({\n    ...overrides,\n    target: overrides.target ?? 'postgres',\n    targetFamily: overrides.targetFamily ?? 'sql',\n    storage: overrides.storage ?? DEFAULT_SQL_STORAGE,\n  });\n}\n\nexport { DUMMY_HASH };\n"],"mappings":";;;;AA6BA,MAAM,aAAa,SAAS,cAAc;AAE1C,MAAM,4BAA4B,EAAE,YAAY,EAAE,EAAE;AAEpD,MAAM,uBAAuB;AAE7B,MAAM,sBAAsB,EAC1B,YAAY,GACT,uBAAuB;CACtB,IAAI;CACJ,QAAQ,EAAE;CACX,EACF,EACF;AAED,SAAgB,eAGd,YAAkD,EAAE,EAA+B;CACnF,MAAM,SAAS,UAAU,UAAU;CACnC,MAAM,eAAe,UAAU,gBAAgB;CAC/C,MAAM,eAAe,UAAU,gBAAgB,EAAE;CAEjD,MAAM,aAAa,UAAU,WAAW;CAExC,MAAM,cAAc,mBAAmB;EACrC;EACA;EACA,SAAS;EACV,CAAC;CAEF,MAAM,UAAU;EACd,GAAG;EACH;EACD;CAED,MAAM,sBACJ,UAAU,eAAe,mBAAmB;EAAE;EAAQ;EAAc;EAAc,CAAC;CAErF,OAAO;EACL;EACA;EACA,OAAO,UAAU,SAAS,EAAE;EAC5B,QAAS,UAAU,UAAU,EAAE;EAC/B,GAAG,UAAU,gBAAgB,UAAU,aAAa;EACpD;EACA;EACA,gBAAgB,UAAU,kBAAkB,EAAE;EAC9C,GAAI,UAAU,cAAc,KAAA,IACxB,EACE,WAAW;GACT,GAAG,UAAU;GACb,eAAe,qBAAqB;IAClC;IACA;IACA,WAAW,UAAU;IACtB,CAAC;GACH,EACF,GACD,EAAE;EACN,aAAa;EACb,MAAM,UAAU,QAAQ,EAAE;EAC3B;;AAYH,SAAgB,kBACd,YAA6E,EAAE,EACvB;CACxD,OAAO,eAA6D;EAClE,GAAG;EACH,QAAQ,UAAU,UAAU;EAC5B,cAAc,UAAU,gBAAgB;EACxC,SAAS,UAAU,WAAW;EAC/B,CAAC"}
+{"version":3,"file":"testing.mjs","names":[],"sources":["../src/testing-factories.ts"],"sourcesContent":["import { ifDefined } from '@prisma-next/utils/defined';\nimport type { PreserveEmptyPredicate, StorageSort } from './canonicalization';\nimport type { Contract } from './contract-types';\nimport type { CrossReference } from './cross-reference';\nimport type {\n  ContractModel,\n  ContractModelBase,\n  ContractValueObject,\n  ModelStorageBase,\n} from './domain-types';\nimport { computeExecutionHash, computeProfileHash, computeStorageHash } from './hashing';\nimport type { ExecutionSection, ProfileHashBase, StorageBase } from './types';\nimport { coreHash } from './types';\n\ntype ContractOverrides<\n  TStorage extends StorageBase = StorageBase,\n  TModels extends Record<string, ContractModelBase> = Record<string, ContractModel>,\n> = {\n  target?: string;\n  targetFamily?: string;\n  roots?: Record<string, CrossReference>;\n  models?: TModels;\n  storage?: Omit<TStorage, 'storageHash'>;\n  valueObjects?: Record<string, ContractValueObject>;\n  capabilities?: Record<string, Record<string, boolean>>;\n  extensionPacks?: Record<string, unknown>;\n  execution?: Omit<ExecutionSection, 'executionHash'>;\n  profileHash?: ProfileHashBase<string>;\n  meta?: Record<string, unknown>;\n  shouldPreserveEmpty?: PreserveEmptyPredicate;\n  sortStorage?: StorageSort;\n};\n\nconst DUMMY_HASH = coreHash('sha256:test');\n\nconst DEFAULT_FRAMEWORK_STORAGE = { namespaces: {} } as const;\n\nconst UNBOUND_NAMESPACE_ID = '__unbound__' as const;\n\nconst DEFAULT_SQL_STORAGE = {\n  namespaces: {\n    [UNBOUND_NAMESPACE_ID]: {\n      id: UNBOUND_NAMESPACE_ID,\n      tables: {},\n    },\n  },\n} as const;\n\nexport function createContract<\n  TStorage extends StorageBase = StorageBase,\n  TModels extends Record<string, ContractModelBase> = Record<string, ContractModel>,\n>(overrides: ContractOverrides<TStorage, TModels> = {}): Contract<TStorage, TModels> {\n  const target = overrides.target ?? 'postgres';\n  const targetFamily = overrides.targetFamily ?? 'sql';\n  const capabilities = overrides.capabilities ?? {};\n\n  const rawStorage = overrides.storage ?? DEFAULT_FRAMEWORK_STORAGE;\n\n  const storageHash = computeStorageHash({\n    target,\n    targetFamily,\n    storage: rawStorage as Record<string, unknown>,\n    ...ifDefined('shouldPreserveEmpty', overrides.shouldPreserveEmpty),\n    ...ifDefined('sortStorage', overrides.sortStorage),\n  });\n\n  const storage = {\n    ...rawStorage,\n    storageHash,\n  } as TStorage;\n\n  const computedProfileHash =\n    overrides.profileHash ?? computeProfileHash({ target, targetFamily, capabilities });\n\n  return {\n    target,\n    targetFamily,\n    roots: overrides.roots ?? {},\n    models: (overrides.models ?? {}) as TModels,\n    ...ifDefined('valueObjects', overrides.valueObjects),\n    storage,\n    capabilities,\n    extensionPacks: overrides.extensionPacks ?? {},\n    ...(overrides.execution !== undefined\n      ? {\n          execution: {\n            ...overrides.execution,\n            executionHash: computeExecutionHash({\n              target,\n              targetFamily,\n              execution: overrides.execution,\n            }),\n          },\n        }\n      : {}),\n    profileHash: computedProfileHash,\n    meta: overrides.meta ?? {},\n  };\n}\n\ntype SqlStorageLike = StorageBase & {\n  readonly namespaces: Readonly<\n    Record<string, { readonly id: string; readonly tables: Readonly<Record<string, unknown>> }>\n  >;\n  readonly types?: Record<string, unknown>;\n};\n\ntype SqlModelLike = ContractModel<ModelStorageBase & { table: string }>;\n\nexport function createSqlContract(\n  overrides: ContractOverrides<SqlStorageLike, Record<string, SqlModelLike>> = {},\n): Contract<SqlStorageLike, Record<string, SqlModelLike>> {\n  return createContract<SqlStorageLike, Record<string, SqlModelLike>>({\n    ...overrides,\n    target: overrides.target ?? 'postgres',\n    targetFamily: overrides.targetFamily ?? 'sql',\n    storage: overrides.storage ?? DEFAULT_SQL_STORAGE,\n  });\n}\n\nexport { DUMMY_HASH };\n"],"mappings":";;;;AAiCA,MAAM,aAAa,SAAS,aAAa;AAEzC,MAAM,4BAA4B,EAAE,YAAY,CAAC,EAAE;AAEnD,MAAM,uBAAuB;AAE7B,MAAM,sBAAsB,EAC1B,YAAY,GACT,uBAAuB;CACtB,IAAI;CACJ,QAAQ,CAAC;AACX,EACF,EACF;AAEA,SAAgB,eAGd,YAAkD,CAAC,GAAgC;CACnF,MAAM,SAAS,UAAU,UAAU;CACnC,MAAM,eAAe,UAAU,gBAAgB;CAC/C,MAAM,eAAe,UAAU,gBAAgB,CAAC;CAEhD,MAAM,aAAa,UAAU,WAAW;CAExC,MAAM,cAAc,mBAAmB;EACrC;EACA;EACA,SAAS;EACT,GAAG,UAAU,uBAAuB,UAAU,mBAAmB;EACjE,GAAG,UAAU,eAAe,UAAU,WAAW;CACnD,CAAC;CAED,MAAM,UAAU;EACd,GAAG;EACH;CACF;CAEA,MAAM,sBACJ,UAAU,eAAe,mBAAmB;EAAE;EAAQ;EAAc;CAAa,CAAC;CAEpF,OAAO;EACL;EACA;EACA,OAAO,UAAU,SAAS,CAAC;EAC3B,QAAS,UAAU,UAAU,CAAC;EAC9B,GAAG,UAAU,gBAAgB,UAAU,YAAY;EACnD;EACA;EACA,gBAAgB,UAAU,kBAAkB,CAAC;EAC7C,GAAI,UAAU,cAAc,KAAA,IACxB,EACE,WAAW;GACT,GAAG,UAAU;GACb,eAAe,qBAAqB;IAClC;IACA;IACA,WAAW,UAAU;GACvB,CAAC;EACH,EACF,IACA,CAAC;EACL,aAAa;EACb,MAAM,UAAU,QAAQ,CAAC;CAC3B;AACF;AAWA,SAAgB,kBACd,YAA6E,CAAC,GACtB;CACxD,OAAO,eAA6D;EAClE,GAAG;EACH,QAAQ,UAAU,UAAU;EAC5B,cAAc,UAAU,gBAAgB;EACxC,SAAS,UAAU,WAAW;CAChC,CAAC;AACH"}

package/dist/types-CVGwkRLa.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"types-CVGwkRLa.mjs","names":[],"sources":["../src/types.ts"],"sourcesContent":["/**\n * Unique symbol used as the key for branding types.\n */\nexport const $: unique symbol = Symbol('__prisma_next_brand__');\n\n/**\n * A helper type to brand a given type with a unique identifier.\n *\n * @template TKey Text used as the brand key.\n * @template TValue Optional value associated with the brand key. Defaults to `true`.\n */\nexport type Brand<TKey extends string | number | symbol, TValue = true> = {\n  [$]: {\n    [K in TKey]: TValue;\n  };\n};\n\n/**\n * Base type for storage contract hashes.\n * Emitted contract.d.ts files use this with the hash value as a type parameter:\n * `type StorageHash = StorageHashBase<'sha256:abc123...'>`\n */\nexport type StorageHashBase<THash extends string> = THash & Brand<'StorageHash'>;\n\n/**\n * Base type for execution contract hashes.\n * Emitted contract.d.ts files use this with the hash value as a type parameter:\n * `type ExecutionHash = ExecutionHashBase<'sha256:def456...'>`\n */\nexport type ExecutionHashBase<THash extends string> = THash & Brand<'ExecutionHash'>;\n\nexport function executionHash<const T extends string>(value: T): ExecutionHashBase<T> {\n  return value as ExecutionHashBase<T>;\n}\n\nexport function coreHash<const T extends string>(value: T): StorageHashBase<T> {\n  return value as StorageHashBase<T>;\n}\n\n/**\n * Base type for profile contract hashes.\n * Emitted contract.d.ts files use this with the hash value as a type parameter:\n * `type ProfileHash = ProfileHashBase<'sha256:def456...'>`\n */\nexport type ProfileHashBase<THash extends string> = THash & Brand<'ProfileHash'>;\n\nexport function profileHash<const T extends string>(value: T): ProfileHashBase<T> {\n  return value as ProfileHashBase<T>;\n}\n\n/**\n * Base type for family-specific storage blocks.\n * Family storage types (SqlStorage, MongoStorage, etc.) extend this to carry the\n * storage hash alongside family-specific data (tables, collections, etc.).\n */\nexport interface StorageBase<THash extends string = string> {\n  readonly storageHash: StorageHashBase<THash>;\n}\n\nexport interface FieldType {\n  readonly type: string;\n  readonly nullable: boolean;\n  readonly items?: FieldType;\n  readonly properties?: Record<string, FieldType>;\n}\n\nexport type GeneratedValueSpec = {\n  readonly id: string;\n  readonly params?: Record<string, unknown>;\n};\n\nexport type JsonPrimitive = string | number | boolean | null;\n\nexport type JsonValue =\n  | JsonPrimitive\n  | { readonly [key: string]: JsonValue }\n  | readonly JsonValue[];\n\nexport type ColumnDefaultLiteralValue = JsonValue;\n\nexport type ColumnDefaultLiteralInputValue = ColumnDefaultLiteralValue | Date;\n\n/**\n * Runtime predicate for `ColumnDefaultLiteralInputValue`. Authoring layers\n * resolve template values from caller-supplied args (typed `unknown` at the\n * boundary) and need to validate before constructing a `ColumnDefault`.\n * Accepts JSON primitives, plain arrays/objects of JSON values, and `Date`\n * instances. Rejects functions, class instances (other than `Date`),\n * `undefined`, `bigint`, `symbol`, and arrays/objects containing those.\n */\nexport function isColumnDefaultLiteralInputValue(\n  value: unknown,\n): value is ColumnDefaultLiteralInputValue {\n  if (value === null) return true;\n  const t = typeof value;\n  if (t === 'string' || t === 'number' || t === 'boolean') return true;\n  if (value instanceof Date) return true;\n  if (Array.isArray(value)) return value.every(isColumnDefaultLiteralInputValue);\n  if (t === 'object' && Object.getPrototypeOf(value) === Object.prototype) {\n    return Object.values(value as Record<string, unknown>).every(isColumnDefaultLiteralInputValue);\n  }\n  return false;\n}\n\nexport type ColumnDefault =\n  | {\n      readonly kind: 'literal';\n      readonly value: ColumnDefaultLiteralInputValue;\n    }\n  | { readonly kind: 'function'; readonly expression: string };\n\nexport function isColumnDefault(value: unknown): value is ColumnDefault {\n  if (typeof value !== 'object' || value === null) return false;\n  const kind = (value as { kind?: unknown }).kind;\n  if (kind === 'literal') {\n    return 'value' in value;\n  }\n  if (kind === 'function') {\n    return typeof (value as { expression?: unknown }).expression === 'string';\n  }\n  return false;\n}\n\nexport type ExecutionMutationDefaultValue = {\n  readonly kind: 'generator';\n  readonly id: GeneratedValueSpec['id'];\n  readonly params?: Record<string, unknown>;\n};\n\nexport function isExecutionMutationDefaultValue(\n  value: unknown,\n): value is ExecutionMutationDefaultValue {\n  if (typeof value !== 'object' || value === null) return false;\n  const candidate = value as {\n    kind?: unknown;\n    id?: unknown;\n    params?: unknown;\n  };\n  if (candidate.kind !== 'generator') return false;\n  if (typeof candidate.id !== 'string') return false;\n  if (\n    candidate.params !== undefined &&\n    (typeof candidate.params !== 'object' ||\n      candidate.params === null ||\n      Array.isArray(candidate.params))\n  ) {\n    return false;\n  }\n  return true;\n}\n\nexport type ExecutionMutationDefault = {\n  readonly ref: { readonly table: string; readonly column: string };\n  readonly onCreate?: ExecutionMutationDefaultValue;\n  readonly onUpdate?: ExecutionMutationDefaultValue;\n};\n\n/**\n * `ExecutionMutationDefault` minus its `ref` — the per-field phases value\n * authoring layers attach to a column before the column ref is known.\n */\nexport type ExecutionMutationDefaultPhases = Omit<ExecutionMutationDefault, 'ref'>;\n\nexport type ExecutionSection<THash extends string = string> = {\n  readonly executionHash: ExecutionHashBase<THash>;\n  readonly mutations: {\n    readonly defaults: ReadonlyArray<ExecutionMutationDefault>;\n  };\n};\n\nexport interface Source {\n  readonly readOnly: boolean;\n  readonly projection: Record<string, FieldType>;\n  readonly origin?: Record<string, unknown>;\n  readonly capabilities?: Record<string, boolean>;\n}\n\n// Document family types\nexport interface DocIndex {\n  readonly name: string;\n  readonly keys: Record<string, 'asc' | 'desc'>;\n  readonly unique?: boolean;\n  readonly where?: Expr;\n}\n\nexport type Expr =\n  | { readonly kind: 'eq'; readonly path: ReadonlyArray<string>; readonly value: unknown }\n  | { readonly kind: 'exists'; readonly path: ReadonlyArray<string> };\n\nexport interface DocCollection {\n  readonly name: string;\n  readonly id?: {\n    readonly strategy: 'auto' | 'client' | 'uuid' | 'objectId';\n  };\n  readonly fields: Record<string, FieldType>;\n  readonly indexes?: ReadonlyArray<DocIndex>;\n  readonly readOnly?: boolean;\n}\n\nexport interface PlanMeta {\n  readonly target: string;\n  readonly targetFamily?: string;\n  readonly storageHash: string;\n  readonly profileHash?: string;\n  readonly lane: string;\n  readonly annotations?: {\n    readonly [key: string]: unknown;\n  };\n}\n\n/**\n * Contract marker record stored in the database.\n * Represents the current contract identity for a database.\n */\nexport interface ContractMarkerRecord {\n  readonly storageHash: string;\n  readonly profileHash: string;\n  readonly contractJson: unknown | null;\n  readonly canonicalVersion: number | null;\n  readonly updatedAt: Date;\n  readonly appTag: string | null;\n  readonly meta: Record<string, unknown>;\n  readonly invariants: readonly string[];\n}\n"],"mappings":";AA+BA,SAAgB,cAAsC,OAAgC;CACpF,OAAO;;AAGT,SAAgB,SAAiC,OAA8B;CAC7E,OAAO;;AAUT,SAAgB,YAAoC,OAA8B;CAChF,OAAO;;;;;;;;;;AA2CT,SAAgB,iCACd,OACyC;CACzC,IAAI,UAAU,MAAM,OAAO;CAC3B,MAAM,IAAI,OAAO;CACjB,IAAI,MAAM,YAAY,MAAM,YAAY,MAAM,WAAW,OAAO;CAChE,IAAI,iBAAiB,MAAM,OAAO;CAClC,IAAI,MAAM,QAAQ,MAAM,EAAE,OAAO,MAAM,MAAM,iCAAiC;CAC9E,IAAI,MAAM,YAAY,OAAO,eAAe,MAAM,KAAK,OAAO,WAC5D,OAAO,OAAO,OAAO,MAAiC,CAAC,MAAM,iCAAiC;CAEhG,OAAO;;AAUT,SAAgB,gBAAgB,OAAwC;CACtE,IAAI,OAAO,UAAU,YAAY,UAAU,MAAM,OAAO;CACxD,MAAM,OAAQ,MAA6B;CAC3C,IAAI,SAAS,WACX,OAAO,WAAW;CAEpB,IAAI,SAAS,YACX,OAAO,OAAQ,MAAmC,eAAe;CAEnE,OAAO;;AAST,SAAgB,gCACd,OACwC;CACxC,IAAI,OAAO,UAAU,YAAY,UAAU,MAAM,OAAO;CACxD,MAAM,YAAY;CAKlB,IAAI,UAAU,SAAS,aAAa,OAAO;CAC3C,IAAI,OAAO,UAAU,OAAO,UAAU,OAAO;CAC7C,IACE,UAAU,WAAW,KAAA,MACpB,OAAO,UAAU,WAAW,YAC3B,UAAU,WAAW,QACrB,MAAM,QAAQ,UAAU,OAAO,GAEjC,OAAO;CAET,OAAO"}
+{"version":3,"file":"types-CVGwkRLa.mjs","names":[],"sources":["../src/types.ts"],"sourcesContent":["/**\n * Unique symbol used as the key for branding types.\n */\nexport const $: unique symbol = Symbol('__prisma_next_brand__');\n\n/**\n * A helper type to brand a given type with a unique identifier.\n *\n * @template TKey Text used as the brand key.\n * @template TValue Optional value associated with the brand key. Defaults to `true`.\n */\nexport type Brand<TKey extends string | number | symbol, TValue = true> = {\n  [$]: {\n    [K in TKey]: TValue;\n  };\n};\n\n/**\n * Base type for storage contract hashes.\n * Emitted contract.d.ts files use this with the hash value as a type parameter:\n * `type StorageHash = StorageHashBase<'sha256:abc123...'>`\n */\nexport type StorageHashBase<THash extends string> = THash & Brand<'StorageHash'>;\n\n/**\n * Base type for execution contract hashes.\n * Emitted contract.d.ts files use this with the hash value as a type parameter:\n * `type ExecutionHash = ExecutionHashBase<'sha256:def456...'>`\n */\nexport type ExecutionHashBase<THash extends string> = THash & Brand<'ExecutionHash'>;\n\nexport function executionHash<const T extends string>(value: T): ExecutionHashBase<T> {\n  return value as ExecutionHashBase<T>;\n}\n\nexport function coreHash<const T extends string>(value: T): StorageHashBase<T> {\n  return value as StorageHashBase<T>;\n}\n\n/**\n * Base type for profile contract hashes.\n * Emitted contract.d.ts files use this with the hash value as a type parameter:\n * `type ProfileHash = ProfileHashBase<'sha256:def456...'>`\n */\nexport type ProfileHashBase<THash extends string> = THash & Brand<'ProfileHash'>;\n\nexport function profileHash<const T extends string>(value: T): ProfileHashBase<T> {\n  return value as ProfileHashBase<T>;\n}\n\n/**\n * One entity-kind slot in a namespace — a map of entity name to entry.\n * Values are opaque at the foundation layer; family and target concretions\n * refine them to typed IR classes.\n */\nexport type StorageEntitySlot = Readonly<Record<string, unknown>>;\n\n/**\n * Plain-data namespace entry in a storage block. Every hydrated contract\n * carries at least `id` plus zero or more entity-kind slot maps (`tables`,\n * `collections`, …). Foundation declares only this shape — no IR machinery.\n */\nexport interface StorageNamespace {\n  readonly id: string;\n}\n\n/**\n * Base type for family-specific storage blocks.\n * Family storage types (SqlStorage, MongoStorage, etc.) extend this to carry the\n * storage hash alongside family-specific data (tables, collections, etc.).\n *\n * The `namespaces` map is carried by every hydrated storage block. Serialized\n * envelope shape is target-owned; this types the in-memory contract after\n * `deserializeContract`.\n */\nexport interface StorageBase<THash extends string = string> {\n  readonly storageHash: StorageHashBase<THash>;\n  readonly namespaces: Readonly<Record<string, StorageNamespace>>;\n}\n\nexport interface FieldType {\n  readonly type: string;\n  readonly nullable: boolean;\n  readonly items?: FieldType;\n  readonly properties?: Record<string, FieldType>;\n}\n\nexport type GeneratedValueSpec = {\n  readonly id: string;\n  readonly params?: Record<string, unknown>;\n};\n\nexport type JsonPrimitive = string | number | boolean | null;\n\nexport type JsonValue =\n  | JsonPrimitive\n  | { readonly [key: string]: JsonValue }\n  | readonly JsonValue[];\n\nexport type ColumnDefaultLiteralValue = JsonValue;\n\nexport type ColumnDefaultLiteralInputValue = ColumnDefaultLiteralValue | Date;\n\n/**\n * Runtime predicate for `ColumnDefaultLiteralInputValue`. Authoring layers\n * resolve template values from caller-supplied args (typed `unknown` at the\n * boundary) and need to validate before constructing a `ColumnDefault`.\n * Accepts JSON primitives, plain arrays/objects of JSON values, and `Date`\n * instances. Rejects functions, class instances (other than `Date`),\n * `undefined`, `bigint`, `symbol`, and arrays/objects containing those.\n */\nexport function isColumnDefaultLiteralInputValue(\n  value: unknown,\n): value is ColumnDefaultLiteralInputValue {\n  if (value === null) return true;\n  const t = typeof value;\n  if (t === 'string' || t === 'number' || t === 'boolean') return true;\n  if (value instanceof Date) return true;\n  if (Array.isArray(value)) return value.every(isColumnDefaultLiteralInputValue);\n  if (t === 'object' && Object.getPrototypeOf(value) === Object.prototype) {\n    return Object.values(value as Record<string, unknown>).every(isColumnDefaultLiteralInputValue);\n  }\n  return false;\n}\n\nexport type ColumnDefault =\n  | {\n      readonly kind: 'literal';\n      readonly value: ColumnDefaultLiteralInputValue;\n    }\n  | { readonly kind: 'function'; readonly expression: string };\n\nexport function isColumnDefault(value: unknown): value is ColumnDefault {\n  if (typeof value !== 'object' || value === null) return false;\n  const kind = (value as { kind?: unknown }).kind;\n  if (kind === 'literal') {\n    return 'value' in value;\n  }\n  if (kind === 'function') {\n    return typeof (value as { expression?: unknown }).expression === 'string';\n  }\n  return false;\n}\n\nexport type ExecutionMutationDefaultValue = {\n  readonly kind: 'generator';\n  readonly id: GeneratedValueSpec['id'];\n  readonly params?: Record<string, unknown>;\n};\n\nexport function isExecutionMutationDefaultValue(\n  value: unknown,\n): value is ExecutionMutationDefaultValue {\n  if (typeof value !== 'object' || value === null) return false;\n  const candidate = value as {\n    kind?: unknown;\n    id?: unknown;\n    params?: unknown;\n  };\n  if (candidate.kind !== 'generator') return false;\n  if (typeof candidate.id !== 'string') return false;\n  if (\n    candidate.params !== undefined &&\n    (typeof candidate.params !== 'object' ||\n      candidate.params === null ||\n      Array.isArray(candidate.params))\n  ) {\n    return false;\n  }\n  return true;\n}\n\nexport type ExecutionMutationDefault = {\n  readonly ref: { readonly table: string; readonly column: string };\n  readonly onCreate?: ExecutionMutationDefaultValue;\n  readonly onUpdate?: ExecutionMutationDefaultValue;\n};\n\n/**\n * `ExecutionMutationDefault` minus its `ref` — the per-field phases value\n * authoring layers attach to a column before the column ref is known.\n */\nexport type ExecutionMutationDefaultPhases = Omit<ExecutionMutationDefault, 'ref'>;\n\nexport type ExecutionSection<THash extends string = string> = {\n  readonly executionHash: ExecutionHashBase<THash>;\n  readonly mutations: {\n    readonly defaults: ReadonlyArray<ExecutionMutationDefault>;\n  };\n};\n\nexport interface Source {\n  readonly readOnly: boolean;\n  readonly projection: Record<string, FieldType>;\n  readonly origin?: Record<string, unknown>;\n  readonly capabilities?: Record<string, boolean>;\n}\n\n// Document family types\nexport interface DocIndex {\n  readonly name: string;\n  readonly keys: Record<string, 'asc' | 'desc'>;\n  readonly unique?: boolean;\n  readonly where?: Expr;\n}\n\nexport type Expr =\n  | { readonly kind: 'eq'; readonly path: ReadonlyArray<string>; readonly value: unknown }\n  | { readonly kind: 'exists'; readonly path: ReadonlyArray<string> };\n\nexport interface DocCollection {\n  readonly name: string;\n  readonly id?: {\n    readonly strategy: 'auto' | 'client' | 'uuid' | 'objectId';\n  };\n  readonly fields: Record<string, FieldType>;\n  readonly indexes?: ReadonlyArray<DocIndex>;\n  readonly readOnly?: boolean;\n}\n\nexport interface PlanMeta {\n  readonly target: string;\n  readonly targetFamily?: string;\n  readonly storageHash: string;\n  readonly profileHash?: string;\n  readonly lane: string;\n  readonly annotations?: {\n    readonly [key: string]: unknown;\n  };\n}\n\n/**\n * Contract marker record stored in the database.\n * Represents the current contract identity for a database.\n */\nexport interface ContractMarkerRecord {\n  readonly storageHash: string;\n  readonly profileHash: string;\n  readonly contractJson: unknown | null;\n  readonly canonicalVersion: number | null;\n  readonly updatedAt: Date;\n  readonly appTag: string | null;\n  readonly meta: Record<string, unknown>;\n  readonly invariants: readonly string[];\n}\n"],"mappings":";AA+BA,SAAgB,cAAsC,OAAgC;CACpF,OAAO;AACT;AAEA,SAAgB,SAAiC,OAA8B;CAC7E,OAAO;AACT;AASA,SAAgB,YAAoC,OAA8B;CAChF,OAAO;AACT;;;;;;;;;AA+DA,SAAgB,iCACd,OACyC;CACzC,IAAI,UAAU,MAAM,OAAO;CAC3B,MAAM,IAAI,OAAO;CACjB,IAAI,MAAM,YAAY,MAAM,YAAY,MAAM,WAAW,OAAO;CAChE,IAAI,iBAAiB,MAAM,OAAO;CAClC,IAAI,MAAM,QAAQ,KAAK,GAAG,OAAO,MAAM,MAAM,gCAAgC;CAC7E,IAAI,MAAM,YAAY,OAAO,eAAe,KAAK,MAAM,OAAO,WAC5D,OAAO,OAAO,OAAO,KAAgC,EAAE,MAAM,gCAAgC;CAE/F,OAAO;AACT;AASA,SAAgB,gBAAgB,OAAwC;CACtE,IAAI,OAAO,UAAU,YAAY,UAAU,MAAM,OAAO;CACxD,MAAM,OAAQ,MAA6B;CAC3C,IAAI,SAAS,WACX,OAAO,WAAW;CAEpB,IAAI,SAAS,YACX,OAAO,OAAQ,MAAmC,eAAe;CAEnE,OAAO;AACT;AAQA,SAAgB,gCACd,OACwC;CACxC,IAAI,OAAO,UAAU,YAAY,UAAU,MAAM,OAAO;CACxD,MAAM,YAAY;CAKlB,IAAI,UAAU,SAAS,aAAa,OAAO;CAC3C,IAAI,OAAO,UAAU,OAAO,UAAU,OAAO;CAC7C,IACE,UAAU,WAAW,KAAA,MACpB,OAAO,UAAU,WAAW,YAC3B,UAAU,WAAW,QACrB,MAAM,QAAQ,UAAU,MAAM,IAEhC,OAAO;CAET,OAAO;AACT"}

package/dist/types.d.mts

@@ -1,2 +1,3 @@
-import { A as isExecutionMutationDefaultValue, B as ContractRelationOn, C as Source, D as executionHash, E as coreHash, F as ContractFieldType, G as ReferenceRelationKeys, H as ContractVariantEntry, I as ContractModel, J as ValueObjectFieldType, K as ScalarFieldType, L as ContractModelBase, M as ContractDiscriminator, N as ContractEmbedRelation, O as isColumnDefault, P as ContractField, R as ContractReferenceRelation, S as ProfileHashBase, T as StorageHashBase, U as EmbedRelationKeys, V as ContractValueObject, W as ModelStorageBase, _ as FieldType, a as ColumnDefault, b as JsonValue, c as ContractMarkerRecord, d as ExecutionHashBase, f as ExecutionMutationDefault, g as Expr, h as ExecutionSection, i as Brand, j as profileHash, k as isColumnDefaultLiteralInputValue, l as DocCollection, m as ExecutionMutationDefaultValue, n as ContractExecutionSection, o as ColumnDefaultLiteralInputValue, p as ExecutionMutationDefaultPhases, q as UnionFieldType, r as $, s as ColumnDefaultLiteralValue, t as Contract, u as DocIndex, v as GeneratedValueSpec, w as StorageBase, x as PlanMeta, y as JsonPrimitive, z as ContractRelation } from "./contract-types-Bt2uyqs3.mjs";
-export { type $, type Brand, type ColumnDefault, type ColumnDefaultLiteralInputValue, type ColumnDefaultLiteralValue, type Contract, type ContractDiscriminator, type ContractEmbedRelation, type ContractExecutionSection, type ContractField, type ContractFieldType, type ContractMarkerRecord, type ContractModel, type ContractModelBase, type ContractReferenceRelation, type ContractRelation, type ContractRelationOn, type ContractValueObject, type ContractVariantEntry, type DocCollection, type DocIndex, type EmbedRelationKeys, type ExecutionHashBase, type ExecutionMutationDefault, type ExecutionMutationDefaultPhases, type ExecutionMutationDefaultValue, type ExecutionSection, type Expr, type FieldType, type GeneratedValueSpec, type JsonPrimitive, type JsonValue, type ModelStorageBase, type PlanMeta, type ProfileHashBase, type ReferenceRelationKeys, type ScalarFieldType, type Source, type StorageBase, type StorageHashBase, type UnionFieldType, type ValueObjectFieldType, coreHash, executionHash, isColumnDefault, isColumnDefaultLiteralInputValue, isExecutionMutationDefaultValue, profileHash };
+import { a as asNamespaceId, i as NamespaceId, n as CrossReferenceSchema, r as crossRef, t as CrossReference } from "./cross-reference-t0TDbBTP.mjs";
+import { A as isColumnDefault, B as ContractReferenceRelation, C as Source, D as StorageNamespace, E as StorageHashBase, F as ContractEmbedRelation, G as EmbedRelationKeys, H as ContractRelationOn, I as ContractField, J as ScalarFieldType, K as ModelStorageBase, L as ContractFieldType, M as isExecutionMutationDefaultValue, N as profileHash, O as coreHash, P as ContractDiscriminator, R as ContractModel, S as ProfileHashBase, T as StorageEntitySlot, U as ContractValueObject, V as ContractRelation, W as ContractVariantEntry, X as ValueObjectFieldType, Y as UnionFieldType, _ as FieldType, a as ColumnDefault, b as JsonValue, c as ContractMarkerRecord, d as ExecutionHashBase, f as ExecutionMutationDefault, g as Expr, h as ExecutionSection, i as Brand, j as isColumnDefaultLiteralInputValue, k as executionHash, l as DocCollection, m as ExecutionMutationDefaultValue, n as ContractExecutionSection, o as ColumnDefaultLiteralInputValue, p as ExecutionMutationDefaultPhases, q as ReferenceRelationKeys, r as $, s as ColumnDefaultLiteralValue, t as Contract, u as DocIndex, v as GeneratedValueSpec, w as StorageBase, x as PlanMeta, y as JsonPrimitive, z as ContractModelBase } from "./contract-types-CZPm4Ooy.mjs";
+export { type $, type Brand, type ColumnDefault, type ColumnDefaultLiteralInputValue, type ColumnDefaultLiteralValue, type Contract, type ContractDiscriminator, type ContractEmbedRelation, type ContractExecutionSection, type ContractField, type ContractFieldType, type ContractMarkerRecord, type ContractModel, type ContractModelBase, type ContractReferenceRelation, type ContractRelation, type ContractRelationOn, type ContractValueObject, type ContractVariantEntry, type CrossReference, CrossReferenceSchema, type DocCollection, type DocIndex, type EmbedRelationKeys, type ExecutionHashBase, type ExecutionMutationDefault, type ExecutionMutationDefaultPhases, type ExecutionMutationDefaultValue, type ExecutionSection, type Expr, type FieldType, type GeneratedValueSpec, type JsonPrimitive, type JsonValue, type ModelStorageBase, type NamespaceId, type PlanMeta, type ProfileHashBase, type ReferenceRelationKeys, type ScalarFieldType, type Source, type StorageBase, type StorageEntitySlot, type StorageHashBase, type StorageNamespace, type UnionFieldType, type ValueObjectFieldType, asNamespaceId, coreHash, crossRef, executionHash, isColumnDefault, isColumnDefaultLiteralInputValue, isExecutionMutationDefaultValue, profileHash };

package/dist/types.mjs

@@ -1,2 +1,25 @@
 import { a as isExecutionMutationDefaultValue, i as isColumnDefaultLiteralInputValue, n as executionHash, o as profileHash, r as isColumnDefault, t as coreHash } from "./types-CVGwkRLa.mjs";
-export { coreHash, executionHash, isColumnDefault, isColumnDefaultLiteralInputValue, isExecutionMutationDefaultValue, profileHash };
+import { blindCast } from "@prisma-next/utils/casts";
+import { type } from "arktype";
+//#region src/namespace-id.ts
+function asNamespaceId(value) {
+	return blindCast(value);
+}
+//#endregion
+//#region src/cross-reference.ts
+const CrossReferenceSchema = blindCast(type({
+	"+": "reject",
+	namespace: "string",
+	model: "string"
+}));
+const DEFAULT_CROSS_REF_NAMESPACE = "__unbound__";
+function crossRef(model, namespace = DEFAULT_CROSS_REF_NAMESPACE) {
+	return {
+		namespace: asNamespaceId(namespace),
+		model
+	};
+}
+//#endregion
+export { CrossReferenceSchema, asNamespaceId, coreHash, crossRef, executionHash, isColumnDefault, isColumnDefaultLiteralInputValue, isExecutionMutationDefaultValue, profileHash };
+
+//# sourceMappingURL=types.mjs.map

package/dist/types.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.mjs","names":[],"sources":["../src/namespace-id.ts","../src/cross-reference.ts"],"sourcesContent":["import { blindCast } from '@prisma-next/utils/casts';\n\nexport type NamespaceId = string & { readonly __brand: 'NamespaceId' };\n\nexport function asNamespaceId(value: string): NamespaceId {\n  return blindCast<\n    NamespaceId,\n    'NamespaceId is a compile-time-only brand on string; this factory is the sole assertion site'\n  >(value);\n}\n","import { blindCast } from '@prisma-next/utils/casts';\nimport { type Type, type } from 'arktype';\nimport { asNamespaceId, type NamespaceId } from './namespace-id';\n\nexport interface CrossReference {\n  readonly namespace: NamespaceId;\n  readonly model: string;\n}\n\nexport const CrossReferenceSchema = blindCast<\n  Type<CrossReference>,\n  'namespace is validated as string at runtime and branded to NamespaceId by asNamespaceId in crossRef(); the schema accepts plain strings but the public type reflects the branded shape'\n>(\n  type({\n    '+': 'reject',\n    namespace: 'string',\n    model: 'string',\n  }),\n);\n\nconst DEFAULT_CROSS_REF_NAMESPACE = '__unbound__';\n\nexport function crossRef(\n  model: string,\n  namespace: string = DEFAULT_CROSS_REF_NAMESPACE,\n): CrossReference {\n  return { namespace: asNamespaceId(namespace), model };\n}\n"],"mappings":";;;;AAIA,SAAgB,cAAc,OAA4B;CACxD,OAAO,UAGL,KAAK;AACT;;;ACAA,MAAa,uBAAuB,UAIlC,KAAK;CACH,KAAK;CACL,WAAW;CACX,OAAO;AACT,CAAC,CACH;AAEA,MAAM,8BAA8B;AAEpC,SAAgB,SACd,OACA,YAAoB,6BACJ;CAChB,OAAO;EAAE,WAAW,cAAc,SAAS;EAAG;CAAM;AACtD"}

package/dist/validate-domain.d.mts

@@ -1,18 +1,20 @@
+import { t as CrossReference } from "./cross-reference-t0TDbBTP.mjs";
+
 //#region src/validate-domain.d.ts
 interface DomainModelShape {
   readonly fields: Record<string, unknown>;
   readonly relations?: Record<string, {
-    readonly to: string;
+    readonly to: CrossReference;
   }>;
   readonly discriminator?: {
     readonly field: string;
   };
   readonly variants?: Record<string, unknown>;
-  readonly base?: string;
+  readonly base?: CrossReference;
   readonly owner?: string;
 }
 interface DomainContractShape {
-  readonly roots: Record<string, string>;
+  readonly roots: Record<string, CrossReference>;
   readonly models: Record<string, DomainModelShape>;
   readonly valueObjects?: Record<string, {
     readonly fields: Record<string, unknown>;

package/dist/validate-domain.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"validate-domain.d.mts","names":[],"sources":["../src/validate-domain.ts"],"mappings":";UAEiB,gBAAA;EAAA,SACN,MAAA,EAAQ,MAAA;EAAA,SACR,SAAA,GAAY,MAAA;IAAA,SAA0B,EAAA;EAAA;EAAA,SACtC,aAAA;IAAA,SAA2B,KAAA;EAAA;EAAA,SAC3B,QAAA,GAAW,MAAA;EAAA,SACX,IAAA;EAAA,SACA,KAAA;AAAA;AAAA,UAGM,mBAAA;EAAA,SACN,KAAA,EAAO,MAAA;EAAA,SACP,MAAA,EAAQ,MAAA,SAAe,gBAAA;EAAA,SACvB,YAAA,GAAe,MAAA;IAAA,SAA0B,MAAA,EAAQ,MAAA;EAAA;AAAA;AAAA,iBAG5C,sBAAA,CAAuB,QAAA,EAAU,mBAAA"}
+{"version":3,"file":"validate-domain.d.mts","names":[],"sources":["../src/validate-domain.ts"],"mappings":";;;UAGiB,gBAAA;EAAA,SACN,MAAA,EAAQ,MAAA;EAAA,SACR,SAAA,GAAY,MAAA;IAAA,SAA0B,EAAA,EAAI,cAAA;EAAA;EAAA,SAC1C,aAAA;IAAA,SAA2B,KAAA;EAAA;EAAA,SAC3B,QAAA,GAAW,MAAA;EAAA,SACX,IAAA,GAAO,cAAA;EAAA,SACP,KAAA;AAAA;AAAA,UAGM,mBAAA;EAAA,SACN,KAAA,EAAO,MAAA,SAAe,cAAA;EAAA,SACtB,MAAA,EAAQ,MAAA,SAAe,gBAAA;EAAA,SACvB,YAAA,GAAe,MAAA;IAAA,SAA0B,MAAA,EAAQ,MAAA;EAAA;AAAA;AAAA,iBAG5C,sBAAA,CAAuB,QAA6B,EAAnB,mBAAmB"}

package/dist/validate-domain.mjs

@@ -14,9 +14,11 @@ function validateContractDomain(contract) {
 }
 function validateRoots(contract, modelNames, errors) {
 	const seenValues = /* @__PURE__ */ new Set();
-	for (const [rootKey, modelName] of Object.entries(contract.roots)) {
-		if (seenValues.has(modelName)) errors.push(`Duplicate root value: "${modelName}" is mapped by multiple root keys`);
-		seenValues.add(modelName);
+	for (const [rootKey, crossRef] of Object.entries(contract.roots)) {
+		const modelName = crossRef.model;
+		const dedupeKey = `${crossRef.namespace}:${modelName}`;
+		if (seenValues.has(dedupeKey)) errors.push(`Duplicate root value: "${modelName}" is mapped by multiple root keys`);
+		seenValues.add(dedupeKey);
 		if (!modelNames.has(modelName)) errors.push(`Root "${rootKey}" references model "${modelName}" which does not exist in models`);
 	}
 }
@@ -30,21 +32,25 @@ function validateVariantsAndBases(contract, modelNames, errors) {
 			}
 			const variantModel = models.get(variantName);
 			if (!variantModel) continue;
-			if (variantModel.base !== modelName) errors.push(`Variant "${variantName}" has base "${variantModel.base ?? "(none)"}" but expected "${modelName}"`);
+			if (variantModel.base?.model !== modelName) errors.push(`Variant "${variantName}" has base "${variantModel.base?.model ?? "(none)"}" but expected "${modelName}"`);
 		}
 		if (model.base) {
-			if (!modelNames.has(model.base)) {
-				errors.push(`Model "${modelName}" has base "${model.base}" which does not exist in models`);
+			const baseModelName = model.base.model;
+			if (!modelNames.has(baseModelName)) {
+				errors.push(`Model "${modelName}" has base "${baseModelName}" which does not exist in models`);
 				continue;
 			}
-			const baseModel = models.get(model.base);
+			const baseModel = models.get(baseModelName);
 			if (!baseModel) continue;
-			if (!baseModel.variants || !Object.hasOwn(baseModel.variants, modelName)) errors.push(`Model "${modelName}" has base "${model.base}" which does not list it as a variant`);
+			if (!baseModel.variants || !Object.hasOwn(baseModel.variants, modelName)) errors.push(`Model "${modelName}" has base "${baseModelName}" which does not list it as a variant`);
 		}
 	}
 }
 function validateRelationTargets(contract, modelNames, errors) {
-	for (const [modelName, model] of Object.entries(contract.models)) for (const [relName, relation] of Object.entries(model.relations ?? {})) if (!modelNames.has(relation.to)) errors.push(`Relation "${relName}" on model "${modelName}" targets "${relation.to}" which does not exist in models`);
+	for (const [modelName, model] of Object.entries(contract.models)) for (const [relName, relation] of Object.entries(model.relations ?? {})) {
+		const targetModelName = relation.to.model;
+		if (!modelNames.has(targetModelName)) errors.push(`Relation "${relName}" on model "${modelName}" targets "${targetModelName}" which does not exist in models`);
+	}
 }
 function validateDiscriminators(contract, errors) {
 	for (const [modelName, model] of Object.entries(contract.models)) {
@@ -64,7 +70,7 @@ function validateOwnership(contract, modelNames, errors) {
 		if (!model.owner) continue;
 		if (model.owner === modelName) errors.push(`Model "${modelName}" cannot own itself`);
 		if (!modelNames.has(model.owner)) errors.push(`Model "${modelName}" has owner "${model.owner}" which does not exist in models`);
-		for (const [rootKey, rootModel] of Object.entries(contract.roots)) if (rootModel === modelName) errors.push(`Owned model "${modelName}" must not appear in roots (found as root "${rootKey}")`);
+		for (const [rootKey, rootRef] of Object.entries(contract.roots)) if (rootRef.model === modelName) errors.push(`Owned model "${modelName}" must not appear in roots (found as root "${rootKey}")`);
 	}
 }
 function forEachContractField(contract, callback) {

package/dist/validate-domain.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"validate-domain.mjs","names":["f"],"sources":["../src/validate-domain.ts"],"sourcesContent":["import { ContractValidationError } from './contract-validation-error';\n\nexport interface DomainModelShape {\n  readonly fields: Record<string, unknown>;\n  readonly relations?: Record<string, { readonly to: string }>;\n  readonly discriminator?: { readonly field: string };\n  readonly variants?: Record<string, unknown>;\n  readonly base?: string;\n  readonly owner?: string;\n}\n\nexport interface DomainContractShape {\n  readonly roots: Record<string, string>;\n  readonly models: Record<string, DomainModelShape>;\n  readonly valueObjects?: Record<string, { readonly fields: Record<string, unknown> }>;\n}\n\nexport function validateContractDomain(contract: DomainContractShape): void {\n  const errors: string[] = [];\n  const modelNames = new Set(Object.keys(contract.models));\n\n  validateRoots(contract, modelNames, errors);\n  validateVariantsAndBases(contract, modelNames, errors);\n  validateRelationTargets(contract, modelNames, errors);\n  validateDiscriminators(contract, errors);\n  validateOwnership(contract, modelNames, errors);\n  validateValueObjectReferences(contract, errors);\n  validateFieldModifiers(contract, errors);\n\n  if (errors.length > 0) {\n    throw new ContractValidationError(\n      `Contract domain validation failed:\\n- ${errors.join('\\n- ')}`,\n      'domain',\n    );\n  }\n}\n\nfunction validateRoots(\n  contract: DomainContractShape,\n  modelNames: Set<string>,\n  errors: string[],\n): void {\n  const seenValues = new Set<string>();\n  for (const [rootKey, modelName] of Object.entries(contract.roots)) {\n    if (seenValues.has(modelName)) {\n      errors.push(`Duplicate root value: \"${modelName}\" is mapped by multiple root keys`);\n    }\n    seenValues.add(modelName);\n\n    if (!modelNames.has(modelName)) {\n      errors.push(\n        `Root \"${rootKey}\" references model \"${modelName}\" which does not exist in models`,\n      );\n    }\n  }\n}\n\nfunction validateVariantsAndBases(\n  contract: DomainContractShape,\n  modelNames: Set<string>,\n  errors: string[],\n): void {\n  const models = new Map(Object.entries(contract.models));\n\n  for (const [modelName, model] of models) {\n    if (model.variants) {\n      for (const variantName of Object.keys(model.variants)) {\n        if (!modelNames.has(variantName)) {\n          errors.push(\n            `Model \"${modelName}\" lists variant \"${variantName}\" which does not exist in models`,\n          );\n          continue;\n        }\n        const variantModel = models.get(variantName);\n        if (!variantModel) continue;\n        if (variantModel.base !== modelName) {\n          errors.push(\n            `Variant \"${variantName}\" has base \"${variantModel.base ?? '(none)'}\" but expected \"${modelName}\"`,\n          );\n        }\n      }\n    }\n\n    if (model.base) {\n      if (!modelNames.has(model.base)) {\n        errors.push(`Model \"${modelName}\" has base \"${model.base}\" which does not exist in models`);\n        continue;\n      }\n      const baseModel = models.get(model.base);\n      if (!baseModel) continue;\n      if (!baseModel.variants || !Object.hasOwn(baseModel.variants, modelName)) {\n        errors.push(\n          `Model \"${modelName}\" has base \"${model.base}\" which does not list it as a variant`,\n        );\n      }\n    }\n  }\n}\n\nfunction validateRelationTargets(\n  contract: DomainContractShape,\n  modelNames: Set<string>,\n  errors: string[],\n): void {\n  for (const [modelName, model] of Object.entries(contract.models)) {\n    for (const [relName, relation] of Object.entries(model.relations ?? {})) {\n      if (!modelNames.has(relation.to)) {\n        errors.push(\n          `Relation \"${relName}\" on model \"${modelName}\" targets \"${relation.to}\" which does not exist in models`,\n        );\n      }\n    }\n  }\n}\n\nfunction validateDiscriminators(contract: DomainContractShape, errors: string[]): void {\n  for (const [modelName, model] of Object.entries(contract.models)) {\n    if (model.discriminator) {\n      if (!model.variants || Object.keys(model.variants).length === 0) {\n        errors.push(`Model \"${modelName}\" has discriminator but no variants`);\n      }\n      if (!Object.hasOwn(model.fields, model.discriminator.field)) {\n        errors.push(\n          `Discriminator field \"${model.discriminator.field}\" is not a field on model \"${modelName}\"`,\n        );\n      }\n    }\n\n    if (model.variants && Object.keys(model.variants).length > 0 && !model.discriminator) {\n      errors.push(`Model \"${modelName}\" has variants but no discriminator`);\n    }\n\n    if (model.base) {\n      if (model.discriminator) {\n        errors.push(`Model \"${modelName}\" has base and must not have discriminator`);\n      }\n      if (model.variants && Object.keys(model.variants).length > 0) {\n        errors.push(`Model \"${modelName}\" has base and must not have variants`);\n      }\n    }\n  }\n}\n\nfunction validateOwnership(\n  contract: DomainContractShape,\n  modelNames: Set<string>,\n  errors: string[],\n): void {\n  for (const [modelName, model] of Object.entries(contract.models)) {\n    if (!model.owner) continue;\n\n    if (model.owner === modelName) {\n      errors.push(`Model \"${modelName}\" cannot own itself`);\n    }\n\n    if (!modelNames.has(model.owner)) {\n      errors.push(`Model \"${modelName}\" has owner \"${model.owner}\" which does not exist in models`);\n    }\n\n    for (const [rootKey, rootModel] of Object.entries(contract.roots)) {\n      if (rootModel === modelName) {\n        errors.push(\n          `Owned model \"${modelName}\" must not appear in roots (found as root \"${rootKey}\")`,\n        );\n      }\n    }\n  }\n}\n\ninterface FieldTypeLike {\n  readonly kind?: string;\n  readonly name?: string;\n  readonly members?: readonly FieldTypeLike[];\n}\n\ninterface FieldLike {\n  readonly type?: FieldTypeLike;\n  readonly many?: boolean;\n  readonly dict?: boolean;\n}\n\nfunction forEachContractField(\n  contract: DomainContractShape,\n  callback: (field: unknown, location: string) => void,\n): void {\n  for (const [modelName, model] of Object.entries(contract.models)) {\n    for (const [fieldName, field] of Object.entries(model.fields)) {\n      callback(field, `Model \"${modelName}\" field \"${fieldName}\"`);\n    }\n  }\n  for (const [voName, vo] of Object.entries(contract.valueObjects ?? {})) {\n    for (const [fieldName, field] of Object.entries(vo.fields)) {\n      callback(field, `Value object \"${voName}\" field \"${fieldName}\"`);\n    }\n  }\n}\n\nfunction validateValueObjectReferences(contract: DomainContractShape, errors: string[]): void {\n  const voNames = new Set(Object.keys(contract.valueObjects ?? {}));\n\n  function checkType(type: FieldTypeLike | undefined, location: string): void {\n    if (!type) return;\n    if (type.kind === 'valueObject' && type.name && !voNames.has(type.name)) {\n      errors.push(\n        `${location} references value object \"${type.name}\" which does not exist in valueObjects`,\n      );\n      return;\n    }\n    if (type.kind === 'union') {\n      for (const member of type.members ?? []) checkType(member, location);\n    }\n  }\n\n  forEachContractField(contract, (field, location) => {\n    const f = field as FieldLike | undefined;\n    checkType(f?.type, location);\n  });\n}\n\nfunction validateFieldModifiers(contract: DomainContractShape, errors: string[]): void {\n  forEachContractField(contract, (field, location) => {\n    const f = field as FieldLike | undefined;\n    if (f?.many && f?.dict) {\n      errors.push(`${location} cannot have both \"many\" and \"dict\" modifiers`);\n    }\n  });\n}\n"],"mappings":";;AAiBA,SAAgB,uBAAuB,UAAqC;CAC1E,MAAM,SAAmB,EAAE;CAC3B,MAAM,aAAa,IAAI,IAAI,OAAO,KAAK,SAAS,OAAO,CAAC;CAExD,cAAc,UAAU,YAAY,OAAO;CAC3C,yBAAyB,UAAU,YAAY,OAAO;CACtD,wBAAwB,UAAU,YAAY,OAAO;CACrD,uBAAuB,UAAU,OAAO;CACxC,kBAAkB,UAAU,YAAY,OAAO;CAC/C,8BAA8B,UAAU,OAAO;CAC/C,uBAAuB,UAAU,OAAO;CAExC,IAAI,OAAO,SAAS,GAClB,MAAM,IAAI,wBACR,yCAAyC,OAAO,KAAK,OAAO,IAC5D,SACD;;AAIL,SAAS,cACP,UACA,YACA,QACM;CACN,MAAM,6BAAa,IAAI,KAAa;CACpC,KAAK,MAAM,CAAC,SAAS,cAAc,OAAO,QAAQ,SAAS,MAAM,EAAE;EACjE,IAAI,WAAW,IAAI,UAAU,EAC3B,OAAO,KAAK,0BAA0B,UAAU,mCAAmC;EAErF,WAAW,IAAI,UAAU;EAEzB,IAAI,CAAC,WAAW,IAAI,UAAU,EAC5B,OAAO,KACL,SAAS,QAAQ,sBAAsB,UAAU,kCAClD;;;AAKP,SAAS,yBACP,UACA,YACA,QACM;CACN,MAAM,SAAS,IAAI,IAAI,OAAO,QAAQ,SAAS,OAAO,CAAC;CAEvD,KAAK,MAAM,CAAC,WAAW,UAAU,QAAQ;EACvC,IAAI,MAAM,UACR,KAAK,MAAM,eAAe,OAAO,KAAK,MAAM,SAAS,EAAE;GACrD,IAAI,CAAC,WAAW,IAAI,YAAY,EAAE;IAChC,OAAO,KACL,UAAU,UAAU,mBAAmB,YAAY,kCACpD;IACD;;GAEF,MAAM,eAAe,OAAO,IAAI,YAAY;GAC5C,IAAI,CAAC,cAAc;GACnB,IAAI,aAAa,SAAS,WACxB,OAAO,KACL,YAAY,YAAY,cAAc,aAAa,QAAQ,SAAS,kBAAkB,UAAU,GACjG;;EAKP,IAAI,MAAM,MAAM;GACd,IAAI,CAAC,WAAW,IAAI,MAAM,KAAK,EAAE;IAC/B,OAAO,KAAK,UAAU,UAAU,cAAc,MAAM,KAAK,kCAAkC;IAC3F;;GAEF,MAAM,YAAY,OAAO,IAAI,MAAM,KAAK;GACxC,IAAI,CAAC,WAAW;GAChB,IAAI,CAAC,UAAU,YAAY,CAAC,OAAO,OAAO,UAAU,UAAU,UAAU,EACtE,OAAO,KACL,UAAU,UAAU,cAAc,MAAM,KAAK,uCAC9C;;;;AAMT,SAAS,wBACP,UACA,YACA,QACM;CACN,KAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,SAAS,OAAO,EAC9D,KAAK,MAAM,CAAC,SAAS,aAAa,OAAO,QAAQ,MAAM,aAAa,EAAE,CAAC,EACrE,IAAI,CAAC,WAAW,IAAI,SAAS,GAAG,EAC9B,OAAO,KACL,aAAa,QAAQ,cAAc,UAAU,aAAa,SAAS,GAAG,kCACvE;;AAMT,SAAS,uBAAuB,UAA+B,QAAwB;CACrF,KAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,SAAS,OAAO,EAAE;EAChE,IAAI,MAAM,eAAe;GACvB,IAAI,CAAC,MAAM,YAAY,OAAO,KAAK,MAAM,SAAS,CAAC,WAAW,GAC5D,OAAO,KAAK,UAAU,UAAU,qCAAqC;GAEvE,IAAI,CAAC,OAAO,OAAO,MAAM,QAAQ,MAAM,cAAc,MAAM,EACzD,OAAO,KACL,wBAAwB,MAAM,cAAc,MAAM,6BAA6B,UAAU,GAC1F;;EAIL,IAAI,MAAM,YAAY,OAAO,KAAK,MAAM,SAAS,CAAC,SAAS,KAAK,CAAC,MAAM,eACrE,OAAO,KAAK,UAAU,UAAU,qCAAqC;EAGvE,IAAI,MAAM,MAAM;GACd,IAAI,MAAM,eACR,OAAO,KAAK,UAAU,UAAU,4CAA4C;GAE9E,IAAI,MAAM,YAAY,OAAO,KAAK,MAAM,SAAS,CAAC,SAAS,GACzD,OAAO,KAAK,UAAU,UAAU,uCAAuC;;;;AAM/E,SAAS,kBACP,UACA,YACA,QACM;CACN,KAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,SAAS,OAAO,EAAE;EAChE,IAAI,CAAC,MAAM,OAAO;EAElB,IAAI,MAAM,UAAU,WAClB,OAAO,KAAK,UAAU,UAAU,qBAAqB;EAGvD,IAAI,CAAC,WAAW,IAAI,MAAM,MAAM,EAC9B,OAAO,KAAK,UAAU,UAAU,eAAe,MAAM,MAAM,kCAAkC;EAG/F,KAAK,MAAM,CAAC,SAAS,cAAc,OAAO,QAAQ,SAAS,MAAM,EAC/D,IAAI,cAAc,WAChB,OAAO,KACL,gBAAgB,UAAU,6CAA6C,QAAQ,IAChF;;;AAkBT,SAAS,qBACP,UACA,UACM;CACN,KAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,SAAS,OAAO,EAC9D,KAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,MAAM,OAAO,EAC3D,SAAS,OAAO,UAAU,UAAU,WAAW,UAAU,GAAG;CAGhE,KAAK,MAAM,CAAC,QAAQ,OAAO,OAAO,QAAQ,SAAS,gBAAgB,EAAE,CAAC,EACpE,KAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,GAAG,OAAO,EACxD,SAAS,OAAO,iBAAiB,OAAO,WAAW,UAAU,GAAG;;AAKtE,SAAS,8BAA8B,UAA+B,QAAwB;CAC5F,MAAM,UAAU,IAAI,IAAI,OAAO,KAAK,SAAS,gBAAgB,EAAE,CAAC,CAAC;CAEjE,SAAS,UAAU,MAAiC,UAAwB;EAC1E,IAAI,CAAC,MAAM;EACX,IAAI,KAAK,SAAS,iBAAiB,KAAK,QAAQ,CAAC,QAAQ,IAAI,KAAK,KAAK,EAAE;GACvE,OAAO,KACL,GAAG,SAAS,4BAA4B,KAAK,KAAK,wCACnD;GACD;;EAEF,IAAI,KAAK,SAAS,SAChB,KAAK,MAAM,UAAU,KAAK,WAAW,EAAE,EAAE,UAAU,QAAQ,SAAS;;CAIxE,qBAAqB,WAAW,OAAO,aAAa;EAElD,UAAUA,OAAG,MAAM,SAAS;GAC5B;;AAGJ,SAAS,uBAAuB,UAA+B,QAAwB;CACrF,qBAAqB,WAAW,OAAO,aAAa;EAClD,MAAM,IAAI;EACV,IAAI,GAAG,QAAQ,GAAG,MAChB,OAAO,KAAK,GAAG,SAAS,+CAA+C;GAEzE"}
+{"version":3,"file":"validate-domain.mjs","names":["f"],"sources":["../src/validate-domain.ts"],"sourcesContent":["import { ContractValidationError } from './contract-validation-error';\nimport type { CrossReference } from './cross-reference';\n\nexport interface DomainModelShape {\n  readonly fields: Record<string, unknown>;\n  readonly relations?: Record<string, { readonly to: CrossReference }>;\n  readonly discriminator?: { readonly field: string };\n  readonly variants?: Record<string, unknown>;\n  readonly base?: CrossReference;\n  readonly owner?: string;\n}\n\nexport interface DomainContractShape {\n  readonly roots: Record<string, CrossReference>;\n  readonly models: Record<string, DomainModelShape>;\n  readonly valueObjects?: Record<string, { readonly fields: Record<string, unknown> }>;\n}\n\nexport function validateContractDomain(contract: DomainContractShape): void {\n  const errors: string[] = [];\n  const modelNames = new Set(Object.keys(contract.models));\n\n  validateRoots(contract, modelNames, errors);\n  validateVariantsAndBases(contract, modelNames, errors);\n  validateRelationTargets(contract, modelNames, errors);\n  validateDiscriminators(contract, errors);\n  validateOwnership(contract, modelNames, errors);\n  validateValueObjectReferences(contract, errors);\n  validateFieldModifiers(contract, errors);\n\n  if (errors.length > 0) {\n    throw new ContractValidationError(\n      `Contract domain validation failed:\\n- ${errors.join('\\n- ')}`,\n      'domain',\n    );\n  }\n}\n\nfunction validateRoots(\n  contract: DomainContractShape,\n  modelNames: Set<string>,\n  errors: string[],\n): void {\n  const seenValues = new Set<string>();\n  for (const [rootKey, crossRef] of Object.entries(contract.roots)) {\n    const modelName = crossRef.model;\n    const dedupeKey = `${crossRef.namespace}:${modelName}`;\n    if (seenValues.has(dedupeKey)) {\n      errors.push(`Duplicate root value: \"${modelName}\" is mapped by multiple root keys`);\n    }\n    seenValues.add(dedupeKey);\n\n    if (!modelNames.has(modelName)) {\n      errors.push(\n        `Root \"${rootKey}\" references model \"${modelName}\" which does not exist in models`,\n      );\n    }\n  }\n}\n\nfunction validateVariantsAndBases(\n  contract: DomainContractShape,\n  modelNames: Set<string>,\n  errors: string[],\n): void {\n  const models = new Map(Object.entries(contract.models));\n\n  for (const [modelName, model] of models) {\n    if (model.variants) {\n      for (const variantName of Object.keys(model.variants)) {\n        if (!modelNames.has(variantName)) {\n          errors.push(\n            `Model \"${modelName}\" lists variant \"${variantName}\" which does not exist in models`,\n          );\n          continue;\n        }\n        const variantModel = models.get(variantName);\n        if (!variantModel) continue;\n        if (variantModel.base?.model !== modelName) {\n          errors.push(\n            `Variant \"${variantName}\" has base \"${variantModel.base?.model ?? '(none)'}\" but expected \"${modelName}\"`,\n          );\n        }\n      }\n    }\n\n    if (model.base) {\n      const baseModelName = model.base.model;\n      if (!modelNames.has(baseModelName)) {\n        errors.push(\n          `Model \"${modelName}\" has base \"${baseModelName}\" which does not exist in models`,\n        );\n        continue;\n      }\n      const baseModel = models.get(baseModelName);\n      if (!baseModel) continue;\n      if (!baseModel.variants || !Object.hasOwn(baseModel.variants, modelName)) {\n        errors.push(\n          `Model \"${modelName}\" has base \"${baseModelName}\" which does not list it as a variant`,\n        );\n      }\n    }\n  }\n}\n\nfunction validateRelationTargets(\n  contract: DomainContractShape,\n  modelNames: Set<string>,\n  errors: string[],\n): void {\n  for (const [modelName, model] of Object.entries(contract.models)) {\n    for (const [relName, relation] of Object.entries(model.relations ?? {})) {\n      const targetModelName = relation.to.model;\n      if (!modelNames.has(targetModelName)) {\n        errors.push(\n          `Relation \"${relName}\" on model \"${modelName}\" targets \"${targetModelName}\" which does not exist in models`,\n        );\n      }\n    }\n  }\n}\n\nfunction validateDiscriminators(contract: DomainContractShape, errors: string[]): void {\n  for (const [modelName, model] of Object.entries(contract.models)) {\n    if (model.discriminator) {\n      if (!model.variants || Object.keys(model.variants).length === 0) {\n        errors.push(`Model \"${modelName}\" has discriminator but no variants`);\n      }\n      if (!Object.hasOwn(model.fields, model.discriminator.field)) {\n        errors.push(\n          `Discriminator field \"${model.discriminator.field}\" is not a field on model \"${modelName}\"`,\n        );\n      }\n    }\n\n    if (model.variants && Object.keys(model.variants).length > 0 && !model.discriminator) {\n      errors.push(`Model \"${modelName}\" has variants but no discriminator`);\n    }\n\n    if (model.base) {\n      if (model.discriminator) {\n        errors.push(`Model \"${modelName}\" has base and must not have discriminator`);\n      }\n      if (model.variants && Object.keys(model.variants).length > 0) {\n        errors.push(`Model \"${modelName}\" has base and must not have variants`);\n      }\n    }\n  }\n}\n\nfunction validateOwnership(\n  contract: DomainContractShape,\n  modelNames: Set<string>,\n  errors: string[],\n): void {\n  for (const [modelName, model] of Object.entries(contract.models)) {\n    if (!model.owner) continue;\n\n    if (model.owner === modelName) {\n      errors.push(`Model \"${modelName}\" cannot own itself`);\n    }\n\n    if (!modelNames.has(model.owner)) {\n      errors.push(`Model \"${modelName}\" has owner \"${model.owner}\" which does not exist in models`);\n    }\n\n    for (const [rootKey, rootRef] of Object.entries(contract.roots)) {\n      if (rootRef.model === modelName) {\n        errors.push(\n          `Owned model \"${modelName}\" must not appear in roots (found as root \"${rootKey}\")`,\n        );\n      }\n    }\n  }\n}\n\ninterface FieldTypeLike {\n  readonly kind?: string;\n  readonly name?: string;\n  readonly members?: readonly FieldTypeLike[];\n}\n\ninterface FieldLike {\n  readonly type?: FieldTypeLike;\n  readonly many?: boolean;\n  readonly dict?: boolean;\n}\n\nfunction forEachContractField(\n  contract: DomainContractShape,\n  callback: (field: unknown, location: string) => void,\n): void {\n  for (const [modelName, model] of Object.entries(contract.models)) {\n    for (const [fieldName, field] of Object.entries(model.fields)) {\n      callback(field, `Model \"${modelName}\" field \"${fieldName}\"`);\n    }\n  }\n  for (const [voName, vo] of Object.entries(contract.valueObjects ?? {})) {\n    for (const [fieldName, field] of Object.entries(vo.fields)) {\n      callback(field, `Value object \"${voName}\" field \"${fieldName}\"`);\n    }\n  }\n}\n\nfunction validateValueObjectReferences(contract: DomainContractShape, errors: string[]): void {\n  const voNames = new Set(Object.keys(contract.valueObjects ?? {}));\n\n  function checkType(type: FieldTypeLike | undefined, location: string): void {\n    if (!type) return;\n    if (type.kind === 'valueObject' && type.name && !voNames.has(type.name)) {\n      errors.push(\n        `${location} references value object \"${type.name}\" which does not exist in valueObjects`,\n      );\n      return;\n    }\n    if (type.kind === 'union') {\n      for (const member of type.members ?? []) checkType(member, location);\n    }\n  }\n\n  forEachContractField(contract, (field, location) => {\n    const f = field as FieldLike | undefined;\n    checkType(f?.type, location);\n  });\n}\n\nfunction validateFieldModifiers(contract: DomainContractShape, errors: string[]): void {\n  forEachContractField(contract, (field, location) => {\n    const f = field as FieldLike | undefined;\n    if (f?.many && f?.dict) {\n      errors.push(`${location} cannot have both \"many\" and \"dict\" modifiers`);\n    }\n  });\n}\n"],"mappings":";;AAkBA,SAAgB,uBAAuB,UAAqC;CAC1E,MAAM,SAAmB,CAAC;CAC1B,MAAM,aAAa,IAAI,IAAI,OAAO,KAAK,SAAS,MAAM,CAAC;CAEvD,cAAc,UAAU,YAAY,MAAM;CAC1C,yBAAyB,UAAU,YAAY,MAAM;CACrD,wBAAwB,UAAU,YAAY,MAAM;CACpD,uBAAuB,UAAU,MAAM;CACvC,kBAAkB,UAAU,YAAY,MAAM;CAC9C,8BAA8B,UAAU,MAAM;CAC9C,uBAAuB,UAAU,MAAM;CAEvC,IAAI,OAAO,SAAS,GAClB,MAAM,IAAI,wBACR,yCAAyC,OAAO,KAAK,MAAM,KAC3D,QACF;AAEJ;AAEA,SAAS,cACP,UACA,YACA,QACM;CACN,MAAM,6BAAa,IAAI,IAAY;CACnC,KAAK,MAAM,CAAC,SAAS,aAAa,OAAO,QAAQ,SAAS,KAAK,GAAG;EAChE,MAAM,YAAY,SAAS;EAC3B,MAAM,YAAY,GAAG,SAAS,UAAU,GAAG;EAC3C,IAAI,WAAW,IAAI,SAAS,GAC1B,OAAO,KAAK,0BAA0B,UAAU,kCAAkC;EAEpF,WAAW,IAAI,SAAS;EAExB,IAAI,CAAC,WAAW,IAAI,SAAS,GAC3B,OAAO,KACL,SAAS,QAAQ,sBAAsB,UAAU,iCACnD;CAEJ;AACF;AAEA,SAAS,yBACP,UACA,YACA,QACM;CACN,MAAM,SAAS,IAAI,IAAI,OAAO,QAAQ,SAAS,MAAM,CAAC;CAEtD,KAAK,MAAM,CAAC,WAAW,UAAU,QAAQ;EACvC,IAAI,MAAM,UACR,KAAK,MAAM,eAAe,OAAO,KAAK,MAAM,QAAQ,GAAG;GACrD,IAAI,CAAC,WAAW,IAAI,WAAW,GAAG;IAChC,OAAO,KACL,UAAU,UAAU,mBAAmB,YAAY,iCACrD;IACA;GACF;GACA,MAAM,eAAe,OAAO,IAAI,WAAW;GAC3C,IAAI,CAAC,cAAc;GACnB,IAAI,aAAa,MAAM,UAAU,WAC/B,OAAO,KACL,YAAY,YAAY,cAAc,aAAa,MAAM,SAAS,SAAS,kBAAkB,UAAU,EACzG;EAEJ;EAGF,IAAI,MAAM,MAAM;GACd,MAAM,gBAAgB,MAAM,KAAK;GACjC,IAAI,CAAC,WAAW,IAAI,aAAa,GAAG;IAClC,OAAO,KACL,UAAU,UAAU,cAAc,cAAc,iCAClD;IACA;GACF;GACA,MAAM,YAAY,OAAO,IAAI,aAAa;GAC1C,IAAI,CAAC,WAAW;GAChB,IAAI,CAAC,UAAU,YAAY,CAAC,OAAO,OAAO,UAAU,UAAU,SAAS,GACrE,OAAO,KACL,UAAU,UAAU,cAAc,cAAc,sCAClD;EAEJ;CACF;AACF;AAEA,SAAS,wBACP,UACA,YACA,QACM;CACN,KAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,SAAS,MAAM,GAC7D,KAAK,MAAM,CAAC,SAAS,aAAa,OAAO,QAAQ,MAAM,aAAa,CAAC,CAAC,GAAG;EACvE,MAAM,kBAAkB,SAAS,GAAG;EACpC,IAAI,CAAC,WAAW,IAAI,eAAe,GACjC,OAAO,KACL,aAAa,QAAQ,cAAc,UAAU,aAAa,gBAAgB,iCAC5E;CAEJ;AAEJ;AAEA,SAAS,uBAAuB,UAA+B,QAAwB;CACrF,KAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,SAAS,MAAM,GAAG;EAChE,IAAI,MAAM,eAAe;GACvB,IAAI,CAAC,MAAM,YAAY,OAAO,KAAK,MAAM,QAAQ,EAAE,WAAW,GAC5D,OAAO,KAAK,UAAU,UAAU,oCAAoC;GAEtE,IAAI,CAAC,OAAO,OAAO,MAAM,QAAQ,MAAM,cAAc,KAAK,GACxD,OAAO,KACL,wBAAwB,MAAM,cAAc,MAAM,6BAA6B,UAAU,EAC3F;EAEJ;EAEA,IAAI,MAAM,YAAY,OAAO,KAAK,MAAM,QAAQ,EAAE,SAAS,KAAK,CAAC,MAAM,eACrE,OAAO,KAAK,UAAU,UAAU,oCAAoC;EAGtE,IAAI,MAAM,MAAM;GACd,IAAI,MAAM,eACR,OAAO,KAAK,UAAU,UAAU,2CAA2C;GAE7E,IAAI,MAAM,YAAY,OAAO,KAAK,MAAM,QAAQ,EAAE,SAAS,GACzD,OAAO,KAAK,UAAU,UAAU,sCAAsC;EAE1E;CACF;AACF;AAEA,SAAS,kBACP,UACA,YACA,QACM;CACN,KAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,SAAS,MAAM,GAAG;EAChE,IAAI,CAAC,MAAM,OAAO;EAElB,IAAI,MAAM,UAAU,WAClB,OAAO,KAAK,UAAU,UAAU,oBAAoB;EAGtD,IAAI,CAAC,WAAW,IAAI,MAAM,KAAK,GAC7B,OAAO,KAAK,UAAU,UAAU,eAAe,MAAM,MAAM,iCAAiC;EAG9F,KAAK,MAAM,CAAC,SAAS,YAAY,OAAO,QAAQ,SAAS,KAAK,GAC5D,IAAI,QAAQ,UAAU,WACpB,OAAO,KACL,gBAAgB,UAAU,6CAA6C,QAAQ,GACjF;CAGN;AACF;AAcA,SAAS,qBACP,UACA,UACM;CACN,KAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,SAAS,MAAM,GAC7D,KAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,MAAM,MAAM,GAC1D,SAAS,OAAO,UAAU,UAAU,WAAW,UAAU,EAAE;CAG/D,KAAK,MAAM,CAAC,QAAQ,OAAO,OAAO,QAAQ,SAAS,gBAAgB,CAAC,CAAC,GACnE,KAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,GAAG,MAAM,GACvD,SAAS,OAAO,iBAAiB,OAAO,WAAW,UAAU,EAAE;AAGrE;AAEA,SAAS,8BAA8B,UAA+B,QAAwB;CAC5F,MAAM,UAAU,IAAI,IAAI,OAAO,KAAK,SAAS,gBAAgB,CAAC,CAAC,CAAC;CAEhE,SAAS,UAAU,MAAiC,UAAwB;EAC1E,IAAI,CAAC,MAAM;EACX,IAAI,KAAK,SAAS,iBAAiB,KAAK,QAAQ,CAAC,QAAQ,IAAI,KAAK,IAAI,GAAG;GACvE,OAAO,KACL,GAAG,SAAS,4BAA4B,KAAK,KAAK,uCACpD;GACA;EACF;EACA,IAAI,KAAK,SAAS,SAChB,KAAK,MAAM,UAAU,KAAK,WAAW,CAAC,GAAG,UAAU,QAAQ,QAAQ;CAEvE;CAEA,qBAAqB,WAAW,OAAO,aAAa;EAElD,UAAUA,OAAG,MAAM,QAAQ;CAC7B,CAAC;AACH;AAEA,SAAS,uBAAuB,UAA+B,QAAwB;CACrF,qBAAqB,WAAW,OAAO,aAAa;EAClD,MAAM,IAAI;EACV,IAAI,GAAG,QAAQ,GAAG,MAChB,OAAO,KAAK,GAAG,SAAS,8CAA8C;CAE1E,CAAC;AACH"}

package/package.json

@@ -1,19 +1,19 @@
 {
   "name": "@prisma-next/contract",
-  "version": "0.11.0-dev.6",
+  "version": "0.11.0-dev.60",
   "license": "Apache-2.0",
   "type": "module",
   "sideEffects": false,
   "description": "Data contract type definitions and JSON schema for Prisma Next",
   "dependencies": {
-    "@prisma-next/utils": "0.11.0-dev.6",
+    "@prisma-next/utils": "0.11.0-dev.60",
     "@standard-schema/spec": "^1.1.0",
     "arktype": "^2.2.0"
   },
   "devDependencies": {
-    "@prisma-next/test-utils": "0.11.0-dev.6",
-    "@prisma-next/tsconfig": "0.11.0-dev.6",
-    "@prisma-next/tsdown": "0.11.0-dev.6",
+    "@prisma-next/test-utils": "0.11.0-dev.60",
+    "@prisma-next/tsconfig": "0.11.0-dev.60",
+    "@prisma-next/tsdown": "0.11.0-dev.60",
     "tsdown": "0.22.0",
     "typescript": "5.9.3",
     "vitest": "4.1.6"
@@ -29,6 +29,7 @@
   "exports": {
     "./contract-validation-error": "./dist/contract-validation-error.mjs",
     "./hashing": "./dist/hashing.mjs",
+    "./hashing-utils": "./dist/hashing-utils.mjs",
     "./testing": "./dist/testing.mjs",
     "./types": "./dist/types.mjs",
     "./validate-domain": "./dist/validate-domain.mjs",

package/src/canonicalization-path-match.ts

@@ -0,0 +1,44 @@
+import type { PreserveEmptyPredicate } from './canonicalization';
+
+export type PathSegment = string | '*' | readonly string[];
+
+export type PathPattern = readonly PathSegment[];
+
+export function matchesPathPattern(path: readonly string[], pattern: PathPattern): boolean {
+  if (path.length !== pattern.length) {
+    return false;
+  }
+
+  for (let i = 0; i < pattern.length; i++) {
+    const segment = pattern[i];
+    const value = path[i];
+    if (segment === undefined || value === undefined) {
+      return false;
+    }
+
+    if (segment === '*') {
+      continue;
+    }
+
+    if (typeof segment === 'string') {
+      if (value !== segment) {
+        return false;
+      }
+      continue;
+    }
+
+    if (Array.isArray(segment)) {
+      if (!segment.includes(value)) {
+        return false;
+      }
+    }
+  }
+
+  return true;
+}
+
+export function createPreserveEmptyPredicate(
+  patterns: readonly PathPattern[],
+): PreserveEmptyPredicate {
+  return (path) => patterns.some((pattern) => matchesPathPattern(path, pattern));
+}

package/src/canonicalization-storage-sort.ts

@@ -0,0 +1,88 @@
+import type { StorageSort } from './canonicalization';
+
+export type PathSegment = string | '*';
+
+export interface NamedArraySortTarget {
+  readonly path: readonly PathSegment[];
+  readonly arrayKeys: readonly string[];
+}
+
+function isPlainRecord(value: unknown): value is Record<string, unknown> {
+  return typeof value === 'object' && value !== null && !Array.isArray(value);
+}
+
+export function compareByNameProperty(a: unknown, b: unknown): number {
+  const nameA = isPlainRecord(a) && typeof a['name'] === 'string' ? a['name'] : '';
+  const nameB = isPlainRecord(b) && typeof b['name'] === 'string' ? b['name'] : '';
+  return nameA.localeCompare(nameB);
+}
+
+function sortArrayKeysOnRecord(
+  record: Record<string, unknown>,
+  arrayKeys: readonly string[],
+  compare: (a: unknown, b: unknown) => number,
+): Record<string, unknown> {
+  const sorted: Record<string, unknown> = { ...record };
+  for (const key of arrayKeys) {
+    const value = record[key];
+    if (Array.isArray(value)) {
+      sorted[key] = [...value].sort(compare);
+    }
+  }
+  return sorted;
+}
+
+function walkAndSort(
+  node: unknown,
+  pathSegments: readonly PathSegment[],
+  arrayKeys: readonly string[],
+  compare: (a: unknown, b: unknown) => number,
+): unknown {
+  if (pathSegments.length === 0) {
+    if (!isPlainRecord(node)) {
+      return node;
+    }
+    return sortArrayKeysOnRecord(node, arrayKeys, compare);
+  }
+
+  if (!isPlainRecord(node)) {
+    return node;
+  }
+
+  const [head, ...rest] = pathSegments;
+  if (head === undefined) {
+    return node;
+  }
+
+  if (head === '*') {
+    const sorted: Record<string, unknown> = { ...node };
+    for (const key of Object.keys(node)) {
+      sorted[key] = walkAndSort(node[key], rest, arrayKeys, compare);
+    }
+    return sorted;
+  }
+
+  const child = node[head];
+  if (child === undefined) {
+    return node;
+  }
+
+  return { ...node, [head]: walkAndSort(child, rest, arrayKeys, compare) };
+}
+
+export function createStorageSort(
+  targets: readonly NamedArraySortTarget[],
+  compare: (a: unknown, b: unknown) => number = compareByNameProperty,
+): StorageSort {
+  return (storage) => {
+    if (!isPlainRecord(storage)) {
+      return storage;
+    }
+
+    let result: unknown = storage;
+    for (const target of targets) {
+      result = walkAndSort(result, target.path, target.arrayKeys, compare);
+    }
+    return result;
+  };
+}