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

package/dist/contract-validation-error-Dp2vHZt5.mjs

@@ -0,0 +1,14 @@
+//#region src/contract-validation-error.ts
+var ContractValidationError = class extends Error {
+	code = "CONTRACT.VALIDATION_FAILED";
+	phase;
+	constructor(message, phase) {
+		super(message);
+		this.name = "ContractValidationError";
+		this.phase = phase;
+	}
+};
+//#endregion
+export { ContractValidationError as t };
+
+//# sourceMappingURL=contract-validation-error-Dp2vHZt5.mjs.map

package/dist/contract-validation-error-Dp2vHZt5.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract-validation-error-Dp2vHZt5.mjs","names":[],"sources":["../src/contract-validation-error.ts"],"sourcesContent":["export type ContractValidationPhase = 'structural' | 'domain' | 'storage';\n\nexport class ContractValidationError extends Error {\n  readonly code = 'CONTRACT.VALIDATION_FAILED';\n  readonly phase: ContractValidationPhase;\n\n  constructor(message: string, phase: ContractValidationPhase) {\n    super(message);\n    this.name = 'ContractValidationError';\n    this.phase = phase;\n  }\n}\n"],"mappings":";AAEA,IAAa,0BAAb,cAA6C,MAAM;CACjD,OAAgB;CAChB;CAEA,YAAY,SAAiB,OAAgC;EAC3D,MAAM,QAAQ;EACd,KAAK,OAAO;EACZ,KAAK,QAAQ"}

package/dist/contract-validation-error.d.mts

@@ -0,0 +1,10 @@
+//#region src/contract-validation-error.d.ts
+type ContractValidationPhase = 'structural' | 'domain' | 'storage';
+declare class ContractValidationError extends Error {
+  readonly code = "CONTRACT.VALIDATION_FAILED";
+  readonly phase: ContractValidationPhase;
+  constructor(message: string, phase: ContractValidationPhase);
+}
+//#endregion
+export { ContractValidationError, type ContractValidationPhase };
+//# sourceMappingURL=contract-validation-error.d.mts.map

package/dist/contract-validation-error.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract-validation-error.d.mts","names":[],"sources":["../src/contract-validation-error.ts"],"mappings":";KAAY,uBAAA;AAAA,cAEC,uBAAA,SAAgC,KAAA;EAAA,SAClC,IAAA;EAAA,SACA,KAAA,EAAO,uBAAA;cAEJ,OAAA,UAAiB,KAAA,EAAO,uBAAA;AAAA"}

package/dist/contract-validation-error.mjs

@@ -0,0 +1,2 @@
+import { t as ContractValidationError } from "./contract-validation-error-Dp2vHZt5.mjs";
+export { ContractValidationError };

package/dist/{hashing-Dz-16T7H.mjs → hashing-JryrY8ZF.mjs}

@@ -133,20 +133,26 @@ function orderTopLevel(obj) {
 	for (const key of Array.from(remaining).sort()) ordered[key] = obj[key];
 	return ordered;
 }
+/**
+* Object-form variant of {@link canonicalizeContract}. Exported because the
+* emitter writes the canonical contract through a separate JSON-stringify
+* pass and consumes the structured object directly.
+*/
 function canonicalizeContractToObject(contract, options) {
+	const serialized = options.serializeContract(contract);
 	const withDefaultsOmitted = omitDefaults({
-		...ifDefined("schemaVersion", options?.schemaVersion),
-		targetFamily: contract.targetFamily,
-		target: contract.target,
-		profileHash: contract.profileHash,
-		roots: contract.roots,
-		models: contract.models,
-		...ifDefined("valueObjects", contract.valueObjects),
-		storage: contract.storage,
-		...ifDefined("execution", contract.execution),
-		extensionPacks: contract.extensionPacks,
-		capabilities: contract.capabilities,
-		meta: contract.meta
+		...ifDefined("schemaVersion", options.schemaVersion),
+		targetFamily: serialized["targetFamily"],
+		target: serialized["target"],
+		profileHash: serialized["profileHash"],
+		roots: serialized["roots"],
+		models: serialized["models"],
+		...ifDefined("valueObjects", serialized["valueObjects"]),
+		storage: serialized["storage"],
+		...ifDefined("execution", serialized["execution"]),
+		extensionPacks: serialized["extensionPacks"],
+		capabilities: serialized["capabilities"],
+		meta: serialized["meta"]
 	}, []);
 	const withSortedIndexes = sortIndexesAndUniques(withDefaultsOmitted["storage"]);
 	return orderTopLevel(sortObjectKeys({
@@ -178,7 +184,10 @@ function hashContract(section) {
 		meta: {},
 		profileHash: "",
 		...section
-	}, { schemaVersion: SCHEMA_VERSION });
+	}, {
+		schemaVersion: SCHEMA_VERSION,
+		serializeContract: (c) => JSON.parse(JSON.stringify(c))
+	});
 }
 function computeStorageHash(args) {
 	return sha256(hashContract(args));
@@ -192,4 +201,4 @@ function computeProfileHash(args) {
 //#endregion
 export { canonicalizeContractToObject as a, canonicalizeContract as i, computeProfileHash as n, computeStorageHash as r, computeExecutionHash as t };
 
-//# sourceMappingURL=hashing-Dz-16T7H.mjs.map
+//# sourceMappingURL=hashing-JryrY8ZF.mjs.map

package/dist/hashing-JryrY8ZF.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"hashing-JryrY8ZF.mjs","names":[],"sources":["../src/canonicalization.ts","../src/hashing.ts"],"sourcesContent":["import { isArrayEqual } from '@prisma-next/utils/array-equal';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport type { JsonObject } from '@prisma-next/utils/json';\n\nimport type { Contract } from './contract-types';\n\n/**\n * Per-target contract serializer hook. The framework canonicalizer uses\n * this to convert an in-memory contract (which may carry class-instance\n * IR nodes whose runtime-only fields must not appear in the on-disk\n * envelope) into a plain JsonObject before applying the family-agnostic\n * canonical-key ordering / default-omission / sort steps. Targets whose\n * contract is JSON-clean by construction return the contract unchanged.\n */\nexport type SerializeContract = (contract: Contract) => JsonObject;\n\nconst TOP_LEVEL_ORDER = [\n  'schemaVersion',\n  'canonicalVersion',\n  'targetFamily',\n  'target',\n  'profileHash',\n  'roots',\n  'models',\n  'valueObjects',\n  'storage',\n  'execution',\n  'capabilities',\n  'extensionPacks',\n  'meta',\n] as const;\n\nfunction isDefaultValue(value: unknown): boolean {\n  if (value === false) return true;\n  if (value === null) return false;\n  if (Array.isArray(value) && value.length === 0) return true;\n  if (typeof value === 'object' && value !== null) {\n    const keys = Object.keys(value);\n    return keys.length === 0;\n  }\n  return false;\n}\n\nfunction omitDefaults(obj: unknown, path: readonly string[]): unknown {\n  if (obj === null || typeof obj !== 'object') {\n    return obj;\n  }\n\n  if (Array.isArray(obj)) {\n    return obj.map((item) => omitDefaults(item, path));\n  }\n\n  const result: Record<string, unknown> = {};\n\n  for (const [key, value] of Object.entries(obj)) {\n    const currentPath = [...path, key];\n\n    if (key === '_generated') {\n      continue;\n    }\n\n    if (key === 'generated' && value === false) {\n      continue;\n    }\n\n    if ((key === 'onDelete' || key === 'onUpdate') && value === 'noAction') {\n      continue;\n    }\n\n    if (isDefaultValue(value)) {\n      const isRequiredModels = isArrayEqual(currentPath, ['models']);\n      const isRequiredTables = isArrayEqual(currentPath, ['storage', 'tables']);\n      const isRequiredCollections = isArrayEqual(currentPath, ['storage', 'collections']);\n      const isCollectionEntry =\n        currentPath.length === 3 &&\n        isArrayEqual([currentPath[0], currentPath[1]], ['storage', 'collections']);\n      const isRequiredRoots = isArrayEqual(currentPath, ['roots']);\n      const isRequiredExtensionPacks = isArrayEqual(currentPath, ['extensionPacks']);\n      const isRequiredCapabilities = isArrayEqual(currentPath, ['capabilities']);\n      const isRequiredMeta = isArrayEqual(currentPath, ['meta']);\n      const isRequiredExecutionDefaults = isArrayEqual(currentPath, [\n        'execution',\n        'mutations',\n        'defaults',\n      ]);\n      const isExtensionNamespace = currentPath.length === 2 && currentPath[0] === 'extensionPacks';\n      const isModelRelations =\n        currentPath.length === 3 &&\n        isArrayEqual([currentPath[0], currentPath[2]], ['models', 'relations']);\n      const isModelStorage =\n        currentPath.length === 3 &&\n        isArrayEqual([currentPath[0], currentPath[2]], ['models', 'storage']);\n      const isTableUniques =\n        currentPath.length === 4 &&\n        isArrayEqual(\n          [currentPath[0], currentPath[1], currentPath[3]],\n          ['storage', 'tables', 'uniques'],\n        );\n      const isTableIndexes =\n        currentPath.length === 4 &&\n        isArrayEqual(\n          [currentPath[0], currentPath[1], currentPath[3]],\n          ['storage', 'tables', 'indexes'],\n        );\n      const isTableForeignKeys =\n        currentPath.length === 4 &&\n        isArrayEqual(\n          [currentPath[0], currentPath[1], currentPath[3]],\n          ['storage', 'tables', 'foreignKeys'],\n        );\n\n      // `storage.types.<name>.typeParams` is part of the StorageTypeInstance\n      // shape (validators require it). Preserve it even when empty so the\n      // emitted contract.json remains structurally valid after a round-trip.\n      const isStorageTypeTypeParams =\n        currentPath.length === 4 &&\n        currentPath[0] === 'storage' &&\n        currentPath[1] === 'types' &&\n        key === 'typeParams';\n\n      const isFkBooleanField =\n        currentPath.length === 5 &&\n        currentPath[0] === 'storage' &&\n        currentPath[1] === 'tables' &&\n        currentPath[3] === 'foreignKeys' &&\n        (key === 'constraint' || key === 'index');\n\n      const isNullableField = key === 'nullable';\n\n      if (\n        !isRequiredModels &&\n        !isRequiredTables &&\n        !isRequiredCollections &&\n        !isCollectionEntry &&\n        !isRequiredRoots &&\n        !isRequiredExtensionPacks &&\n        !isRequiredCapabilities &&\n        !isRequiredMeta &&\n        !isRequiredExecutionDefaults &&\n        !isExtensionNamespace &&\n        !isModelRelations &&\n        !isModelStorage &&\n        !isTableUniques &&\n        !isTableIndexes &&\n        !isTableForeignKeys &&\n        !isFkBooleanField &&\n        !isNullableField &&\n        !isStorageTypeTypeParams\n      ) {\n        continue;\n      }\n    }\n\n    result[key] = omitDefaults(value, currentPath);\n  }\n\n  return result;\n}\n\nfunction sortObjectKeys(obj: unknown): unknown {\n  if (obj === null || typeof obj !== 'object') {\n    return obj;\n  }\n\n  if (Array.isArray(obj)) {\n    return obj.map((item) => sortObjectKeys(item));\n  }\n\n  const sorted: Record<string, unknown> = {};\n  const keys = Object.keys(obj).sort();\n  for (const key of keys) {\n    sorted[key] = sortObjectKeys((obj as Record<string, unknown>)[key]);\n  }\n\n  return sorted;\n}\n\ntype StorageObject = {\n  tables?: Record<string, unknown>;\n  [key: string]: unknown;\n};\n\ntype TableObject = {\n  indexes?: unknown[];\n  uniques?: unknown[];\n  [key: string]: unknown;\n};\n\nfunction sortIndexesAndUniques(storage: unknown): unknown {\n  if (!storage || typeof storage !== 'object') {\n    return storage;\n  }\n\n  const storageObj = storage as StorageObject;\n  if (!storageObj.tables || typeof storageObj.tables !== 'object') {\n    return storage;\n  }\n\n  const tables = storageObj.tables;\n  const result: StorageObject = { ...storageObj };\n\n  result.tables = {};\n  const sortedTableNames = Object.keys(tables).sort();\n  for (const tableName of sortedTableNames) {\n    const table = tables[tableName];\n    if (!table || typeof table !== 'object') {\n      result.tables[tableName] = table;\n      continue;\n    }\n\n    const tableObj = table as TableObject;\n    const sortedTable: TableObject = { ...tableObj };\n\n    if (Array.isArray(tableObj.indexes)) {\n      sortedTable.indexes = [...tableObj.indexes].sort((a, b) => {\n        const nameA = (a as { name?: string })?.name || '';\n        const nameB = (b as { name?: string })?.name || '';\n        return nameA.localeCompare(nameB);\n      });\n    }\n\n    if (Array.isArray(tableObj.uniques)) {\n      sortedTable.uniques = [...tableObj.uniques].sort((a, b) => {\n        const nameA = (a as { name?: string })?.name || '';\n        const nameB = (b as { name?: string })?.name || '';\n        return nameA.localeCompare(nameB);\n      });\n    }\n\n    result.tables[tableName] = sortedTable;\n  }\n\n  return result;\n}\n\nexport function orderTopLevel(obj: Record<string, unknown>): Record<string, unknown> {\n  const ordered: Record<string, unknown> = {};\n  const remaining = new Set(Object.keys(obj));\n\n  for (const key of TOP_LEVEL_ORDER) {\n    if (remaining.has(key)) {\n      ordered[key] = obj[key];\n      remaining.delete(key);\n    }\n  }\n\n  for (const key of Array.from(remaining).sort()) {\n    ordered[key] = obj[key];\n  }\n\n  return ordered;\n}\n\nexport interface CanonicalizeContractOptions {\n  readonly schemaVersion?: string;\n  /**\n   * Per-target hook that converts the in-memory contract (which may\n   * carry class-instance IR nodes) into a plain JsonObject before the\n   * family-agnostic canonicalization steps run.\n   *\n   * Routing through the hook is what lets each target decide which\n   * fields appear in the on-disk envelope; runtime-only class API\n   * fields stay invisible to the canonicalization walk by virtue of\n   * the per-target serializer not putting them in the JSON shape.\n   */\n  readonly serializeContract: SerializeContract;\n}\n\n/**\n * Object-form variant of {@link canonicalizeContract}. Exported because the\n * emitter writes the canonical contract through a separate JSON-stringify\n * pass and consumes the structured object directly.\n */\nexport function canonicalizeContractToObject(\n  contract: Contract,\n  options: CanonicalizeContractOptions,\n): Record<string, unknown> {\n  const serialized = options.serializeContract(contract);\n  const normalized: Record<string, unknown> = {\n    ...ifDefined('schemaVersion', options.schemaVersion),\n    targetFamily: serialized['targetFamily'],\n    target: serialized['target'],\n    profileHash: serialized['profileHash'],\n    roots: serialized['roots'],\n    models: serialized['models'],\n    ...ifDefined('valueObjects', serialized['valueObjects']),\n    storage: serialized['storage'],\n    ...ifDefined('execution', serialized['execution']),\n    extensionPacks: serialized['extensionPacks'],\n    capabilities: serialized['capabilities'],\n    meta: serialized['meta'],\n  };\n  const withDefaultsOmitted = omitDefaults(normalized, []) as Record<string, unknown>;\n  const withSortedIndexes = sortIndexesAndUniques(withDefaultsOmitted['storage']);\n  const withSortedStorage = { ...withDefaultsOmitted, storage: withSortedIndexes };\n  const withSortedKeys = sortObjectKeys(withSortedStorage) as Record<string, unknown>;\n  return orderTopLevel(withSortedKeys);\n}\n\nexport function canonicalizeContract(\n  contract: Contract,\n  options: CanonicalizeContractOptions,\n): string {\n  return JSON.stringify(canonicalizeContractToObject(contract, options), null, 2);\n}\n","import { createHash } from 'node:crypto';\nimport type { JsonObject } from '@prisma-next/utils/json';\nimport { canonicalizeContract } from './canonicalization';\nimport type { Contract } from './contract-types';\nimport type { ExecutionHashBase, ProfileHashBase, StorageHashBase } from './types';\n\nconst SCHEMA_VERSION = '1';\n\nfunction sha256(content: string): string {\n  const hash = createHash('sha256');\n  hash.update(content);\n  return `sha256:${hash.digest('hex')}`;\n}\n\nfunction hashContract(section: Record<string, unknown>): string {\n  // Blind cast: the synthesised object is a hash-only stand-in\n  // — never returned to callers, never executed as a Contract.\n  // `canonicalizeContract` only walks the storage / execution /\n  // capabilities slices, all of which are populated above, so the\n  // missing precise Contract typing on the other slots is\n  // immaterial for the hash result.\n  const contract = {\n    targetFamily: section['targetFamily'],\n    target: section['target'],\n    roots: {},\n    models: {},\n    storage: section['storage'] ?? {},\n    execution: section['execution'],\n    extensionPacks: {},\n    capabilities: section['capabilities'] ?? {},\n    meta: {},\n    profileHash: '',\n    ...section,\n  } as unknown as Contract;\n  return canonicalizeContract(contract, {\n    schemaVersion: SCHEMA_VERSION,\n    serializeContract: (c) => JSON.parse(JSON.stringify(c)) as JsonObject,\n  });\n}\n\nexport function computeStorageHash(args: {\n  target: string;\n  targetFamily: string;\n  storage: Record<string, unknown>;\n}): StorageHashBase<string> {\n  return sha256(hashContract(args)) as StorageHashBase<string>;\n}\n\nexport function computeExecutionHash(args: {\n  target: string;\n  targetFamily: string;\n  execution: Record<string, unknown>;\n}): ExecutionHashBase<string> {\n  return sha256(hashContract(args)) as ExecutionHashBase<string>;\n}\n\nexport function computeProfileHash(args: {\n  target: string;\n  targetFamily: string;\n  capabilities: Record<string, Record<string, boolean>>;\n}): ProfileHashBase<string> {\n  return sha256(hashContract(args)) as ProfileHashBase<string>;\n}\n"],"mappings":";;;;AAgBA,MAAM,kBAAkB;CACtB;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACD;AAED,SAAS,eAAe,OAAyB;CAC/C,IAAI,UAAU,OAAO,OAAO;CAC5B,IAAI,UAAU,MAAM,OAAO;CAC3B,IAAI,MAAM,QAAQ,MAAM,IAAI,MAAM,WAAW,GAAG,OAAO;CACvD,IAAI,OAAO,UAAU,YAAY,UAAU,MAEzC,OADa,OAAO,KAAK,MACd,CAAC,WAAW;CAEzB,OAAO;;AAGT,SAAS,aAAa,KAAc,MAAkC;CACpE,IAAI,QAAQ,QAAQ,OAAO,QAAQ,UACjC,OAAO;CAGT,IAAI,MAAM,QAAQ,IAAI,EACpB,OAAO,IAAI,KAAK,SAAS,aAAa,MAAM,KAAK,CAAC;CAGpD,MAAM,SAAkC,EAAE;CAE1C,KAAK,MAAM,CAAC,KAAK,UAAU,OAAO,QAAQ,IAAI,EAAE;EAC9C,MAAM,cAAc,CAAC,GAAG,MAAM,IAAI;EAElC,IAAI,QAAQ,cACV;EAGF,IAAI,QAAQ,eAAe,UAAU,OACnC;EAGF,KAAK,QAAQ,cAAc,QAAQ,eAAe,UAAU,YAC1D;EAGF,IAAI,eAAe,MAAM,EAAE;GACzB,MAAM,mBAAmB,aAAa,aAAa,CAAC,SAAS,CAAC;GAC9D,MAAM,mBAAmB,aAAa,aAAa,CAAC,WAAW,SAAS,CAAC;GACzE,MAAM,wBAAwB,aAAa,aAAa,CAAC,WAAW,cAAc,CAAC;GACnF,MAAM,oBACJ,YAAY,WAAW,KACvB,aAAa,CAAC,YAAY,IAAI,YAAY,GAAG,EAAE,CAAC,WAAW,cAAc,CAAC;GAC5E,MAAM,kBAAkB,aAAa,aAAa,CAAC,QAAQ,CAAC;GAC5D,MAAM,2BAA2B,aAAa,aAAa,CAAC,iBAAiB,CAAC;GAC9E,MAAM,yBAAyB,aAAa,aAAa,CAAC,eAAe,CAAC;GAC1E,MAAM,iBAAiB,aAAa,aAAa,CAAC,OAAO,CAAC;GAC1D,MAAM,8BAA8B,aAAa,aAAa;IAC5D;IACA;IACA;IACD,CAAC;GACF,MAAM,uBAAuB,YAAY,WAAW,KAAK,YAAY,OAAO;GAC5E,MAAM,mBACJ,YAAY,WAAW,KACvB,aAAa,CAAC,YAAY,IAAI,YAAY,GAAG,EAAE,CAAC,UAAU,YAAY,CAAC;GACzE,MAAM,iBACJ,YAAY,WAAW,KACvB,aAAa,CAAC,YAAY,IAAI,YAAY,GAAG,EAAE,CAAC,UAAU,UAAU,CAAC;GACvE,MAAM,iBACJ,YAAY,WAAW,KACvB,aACE;IAAC,YAAY;IAAI,YAAY;IAAI,YAAY;IAAG,EAChD;IAAC;IAAW;IAAU;IAAU,CACjC;GACH,MAAM,iBACJ,YAAY,WAAW,KACvB,aACE;IAAC,YAAY;IAAI,YAAY;IAAI,YAAY;IAAG,EAChD;IAAC;IAAW;IAAU;IAAU,CACjC;GACH,MAAM,qBACJ,YAAY,WAAW,KACvB,aACE;IAAC,YAAY;IAAI,YAAY;IAAI,YAAY;IAAG,EAChD;IAAC;IAAW;IAAU;IAAc,CACrC;GAKH,MAAM,0BACJ,YAAY,WAAW,KACvB,YAAY,OAAO,aACnB,YAAY,OAAO,WACnB,QAAQ;GAEV,MAAM,mBACJ,YAAY,WAAW,KACvB,YAAY,OAAO,aACnB,YAAY,OAAO,YACnB,YAAY,OAAO,kBAClB,QAAQ,gBAAgB,QAAQ;GAInC,IACE,CAAC,oBACD,CAAC,oBACD,CAAC,yBACD,CAAC,qBACD,CAAC,mBACD,CAAC,4BACD,CAAC,0BACD,CAAC,kBACD,CAAC,+BACD,CAAC,wBACD,CAAC,oBACD,CAAC,kBACD,CAAC,kBACD,CAAC,kBACD,CAAC,sBACD,CAAC,oBACD,EAnBsB,QAAQ,eAoB9B,CAAC,yBAED;;EAIJ,OAAO,OAAO,aAAa,OAAO,YAAY;;CAGhD,OAAO;;AAGT,SAAS,eAAe,KAAuB;CAC7C,IAAI,QAAQ,QAAQ,OAAO,QAAQ,UACjC,OAAO;CAGT,IAAI,MAAM,QAAQ,IAAI,EACpB,OAAO,IAAI,KAAK,SAAS,eAAe,KAAK,CAAC;CAGhD,MAAM,SAAkC,EAAE;CAC1C,MAAM,OAAO,OAAO,KAAK,IAAI,CAAC,MAAM;CACpC,KAAK,MAAM,OAAO,MAChB,OAAO,OAAO,eAAgB,IAAgC,KAAK;CAGrE,OAAO;;AAcT,SAAS,sBAAsB,SAA2B;CACxD,IAAI,CAAC,WAAW,OAAO,YAAY,UACjC,OAAO;CAGT,MAAM,aAAa;CACnB,IAAI,CAAC,WAAW,UAAU,OAAO,WAAW,WAAW,UACrD,OAAO;CAGT,MAAM,SAAS,WAAW;CAC1B,MAAM,SAAwB,EAAE,GAAG,YAAY;CAE/C,OAAO,SAAS,EAAE;CAClB,MAAM,mBAAmB,OAAO,KAAK,OAAO,CAAC,MAAM;CACnD,KAAK,MAAM,aAAa,kBAAkB;EACxC,MAAM,QAAQ,OAAO;EACrB,IAAI,CAAC,SAAS,OAAO,UAAU,UAAU;GACvC,OAAO,OAAO,aAAa;GAC3B;;EAGF,MAAM,WAAW;EACjB,MAAM,cAA2B,EAAE,GAAG,UAAU;EAEhD,IAAI,MAAM,QAAQ,SAAS,QAAQ,EACjC,YAAY,UAAU,CAAC,GAAG,SAAS,QAAQ,CAAC,MAAM,GAAG,MAAM;GACzD,MAAM,QAAS,GAAyB,QAAQ;GAChD,MAAM,QAAS,GAAyB,QAAQ;GAChD,OAAO,MAAM,cAAc,MAAM;IACjC;EAGJ,IAAI,MAAM,QAAQ,SAAS,QAAQ,EACjC,YAAY,UAAU,CAAC,GAAG,SAAS,QAAQ,CAAC,MAAM,GAAG,MAAM;GACzD,MAAM,QAAS,GAAyB,QAAQ;GAChD,MAAM,QAAS,GAAyB,QAAQ;GAChD,OAAO,MAAM,cAAc,MAAM;IACjC;EAGJ,OAAO,OAAO,aAAa;;CAG7B,OAAO;;AAGT,SAAgB,cAAc,KAAuD;CACnF,MAAM,UAAmC,EAAE;CAC3C,MAAM,YAAY,IAAI,IAAI,OAAO,KAAK,IAAI,CAAC;CAE3C,KAAK,MAAM,OAAO,iBAChB,IAAI,UAAU,IAAI,IAAI,EAAE;EACtB,QAAQ,OAAO,IAAI;EACnB,UAAU,OAAO,IAAI;;CAIzB,KAAK,MAAM,OAAO,MAAM,KAAK,UAAU,CAAC,MAAM,EAC5C,QAAQ,OAAO,IAAI;CAGrB,OAAO;;;;;;;AAuBT,SAAgB,6BACd,UACA,SACyB;CACzB,MAAM,aAAa,QAAQ,kBAAkB,SAAS;CAetD,MAAM,sBAAsB,aAAa;EAbvC,GAAG,UAAU,iBAAiB,QAAQ,cAAc;EACpD,cAAc,WAAW;EACzB,QAAQ,WAAW;EACnB,aAAa,WAAW;EACxB,OAAO,WAAW;EAClB,QAAQ,WAAW;EACnB,GAAG,UAAU,gBAAgB,WAAW,gBAAgB;EACxD,SAAS,WAAW;EACpB,GAAG,UAAU,aAAa,WAAW,aAAa;EAClD,gBAAgB,WAAW;EAC3B,cAAc,WAAW;EACzB,MAAM,WAAW;EAEgC,EAAE,EAAE,CAAC;CACxD,MAAM,oBAAoB,sBAAsB,oBAAoB,WAAW;CAG/E,OAAO,cADgB,eAAe;EADV,GAAG;EAAqB,SAAS;EACN,CACpB,CAAC;;AAGtC,SAAgB,qBACd,UACA,SACQ;CACR,OAAO,KAAK,UAAU,6BAA6B,UAAU,QAAQ,EAAE,MAAM,EAAE;;;;ACzSjF,MAAM,iBAAiB;AAEvB,SAAS,OAAO,SAAyB;CACvC,MAAM,OAAO,WAAW,SAAS;CACjC,KAAK,OAAO,QAAQ;CACpB,OAAO,UAAU,KAAK,OAAO,MAAM;;AAGrC,SAAS,aAAa,SAA0C;CAoB9D,OAAO,qBAAqB;EAZ1B,cAAc,QAAQ;EACtB,QAAQ,QAAQ;EAChB,OAAO,EAAE;EACT,QAAQ,EAAE;EACV,SAAS,QAAQ,cAAc,EAAE;EACjC,WAAW,QAAQ;EACnB,gBAAgB,EAAE;EAClB,cAAc,QAAQ,mBAAmB,EAAE;EAC3C,MAAM,EAAE;EACR,aAAa;EACb,GAAG;EAE+B,EAAE;EACpC,eAAe;EACf,oBAAoB,MAAM,KAAK,MAAM,KAAK,UAAU,EAAE,CAAC;EACxD,CAAC;;AAGJ,SAAgB,mBAAmB,MAIP;CAC1B,OAAO,OAAO,aAAa,KAAK,CAAC;;AAGnC,SAAgB,qBAAqB,MAIP;CAC5B,OAAO,OAAO,aAAa,KAAK,CAAC;;AAGnC,SAAgB,mBAAmB,MAIP;CAC1B,OAAO,OAAO,aAAa,KAAK,CAAC"}

package/dist/hashing.d.mts

@@ -1,12 +1,37 @@
 import { S as ProfileHashBase, T as StorageHashBase, d as ExecutionHashBase, t as Contract } from "./contract-types-Kl86EaEa.mjs";
+import { JsonObject } from "@prisma-next/utils/json";
 
 //#region src/canonicalization.d.ts
-declare function canonicalizeContractToObject(contract: Contract, options?: {
-  schemaVersion?: string;
-}): Record<string, unknown>;
-declare function canonicalizeContract(contract: Contract, options?: {
-  schemaVersion?: string;
-}): string;
+/**
+ * Per-target contract serializer hook. The framework canonicalizer uses
+ * this to convert an in-memory contract (which may carry class-instance
+ * IR nodes whose runtime-only fields must not appear in the on-disk
+ * envelope) into a plain JsonObject before applying the family-agnostic
+ * canonical-key ordering / default-omission / sort steps. Targets whose
+ * contract is JSON-clean by construction return the contract unchanged.
+ */
+type SerializeContract = (contract: Contract) => JsonObject;
+interface CanonicalizeContractOptions {
+  readonly schemaVersion?: string;
+  /**
+   * Per-target hook that converts the in-memory contract (which may
+   * carry class-instance IR nodes) into a plain JsonObject before the
+   * family-agnostic canonicalization steps run.
+   *
+   * Routing through the hook is what lets each target decide which
+   * fields appear in the on-disk envelope; runtime-only class API
+   * fields stay invisible to the canonicalization walk by virtue of
+   * the per-target serializer not putting them in the JSON shape.
+   */
+  readonly serializeContract: SerializeContract;
+}
+/**
+ * Object-form variant of {@link canonicalizeContract}. Exported because the
+ * emitter writes the canonical contract through a separate JSON-stringify
+ * pass and consumes the structured object directly.
+ */
+declare function canonicalizeContractToObject(contract: Contract, options: CanonicalizeContractOptions): Record<string, unknown>;
+declare function canonicalizeContract(contract: Contract, options: CanonicalizeContractOptions): string;
 //#endregion
 //#region src/hashing.d.ts
 declare function computeStorageHash(args: {
@@ -25,5 +50,5 @@ declare function computeProfileHash(args: {
   capabilities: Record<string, Record<string, boolean>>;
 }): ProfileHashBase<string>;
 //#endregion
-export { canonicalizeContract, canonicalizeContractToObject, computeExecutionHash, computeProfileHash, computeStorageHash };
+export { type CanonicalizeContractOptions, type SerializeContract, canonicalizeContract, canonicalizeContractToObject, computeExecutionHash, computeProfileHash, computeStorageHash };
 //# sourceMappingURL=hashing.d.mts.map

package/dist/hashing.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"hashing.d.mts","names":[],"sources":["../src/canonicalization.ts","../src/hashing.ts"],"mappings":";;;iBAkPgB,4BAAA,CACd,QAAA,EAAU,QAAA,EACV,OAAA;EAAY,aAAA;AAAA,IACX,MAAA;AAAA,iBAsBa,oBAAA,CACd,QAAA,EAAU,QAAA,EACV,OAAA;EAAY,aAAA;AAAA;;;iBC/OE,kBAAA,CAAmB,IAAA;EACjC,MAAA;EACA,YAAA;EACA,OAAA,EAAS,MAAA;AAAA,IACP,eAAA;AAAA,iBAIY,oBAAA,CAAqB,IAAA;EACnC,MAAA;EACA,YAAA;EACA,SAAA,EAAW,MAAA;AAAA,IACT,iBAAA;AAAA,iBAIY,kBAAA,CAAmB,IAAA;EACjC,MAAA;EACA,YAAA;EACA,YAAA,EAAc,MAAA,SAAe,MAAA;AAAA,IAC3B,eAAA"}
+{"version":3,"file":"hashing.d.mts","names":[],"sources":["../src/canonicalization.ts","../src/hashing.ts"],"mappings":";;;;;;AAcA;;;;;;KAAY,iBAAA,IAAqB,QAAA,EAAU,QAAA,KAAa,UAAA;AAAA,UA+OvC,2BAAA;EAAA,SACN,aAAA;EADiC;;;;;;;;AAoB5C;;EApB4C,SAYjC,iBAAA,EAAmB,iBAAA;AAAA;;;;;;iBAQd,4BAAA,CACd,QAAA,EAAU,QAAA,EACV,OAAA,EAAS,2BAAA,GACR,MAAA;AAAA,iBAuBa,oBAAA,CACd,QAAA,EAAU,QAAA,EACV,OAAA,EAAS,2BAAA;;;iBCrQK,kBAAA,CAAmB,IAAA;EACjC,MAAA;EACA,YAAA;EACA,OAAA,EAAS,MAAA;AAAA,IACP,eAAA;AAAA,iBAIY,oBAAA,CAAqB,IAAA;EACnC,MAAA;EACA,YAAA;EACA,SAAA,EAAW,MAAA;AAAA,IACT,iBAAA;AAAA,iBAIY,kBAAA,CAAmB,IAAA;EACjC,MAAA;EACA,YAAA;EACA,YAAA,EAAc,MAAA,SAAe,MAAA;AAAA,IAC3B,eAAA"}

package/dist/hashing.mjs

@@ -1,2 +1,2 @@
-import { a as canonicalizeContractToObject, i as canonicalizeContract, n as computeProfileHash, r as computeStorageHash, t as computeExecutionHash } from "./hashing-Dz-16T7H.mjs";
+import { a as canonicalizeContractToObject, i as canonicalizeContract, n as computeProfileHash, r as computeStorageHash, t as computeExecutionHash } from "./hashing-JryrY8ZF.mjs";
 export { canonicalizeContract, canonicalizeContractToObject, computeExecutionHash, computeProfileHash, computeStorageHash };

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-Dz-16T7H.mjs";
+import { n as computeProfileHash, r as computeStorageHash, t as computeExecutionHash } from "./hashing-JryrY8ZF.mjs";
 import { ifDefined } from "@prisma-next/utils/defined";
 //#region src/testing-factories.ts
 const DUMMY_HASH = coreHash("sha256:test");

package/dist/validate-domain.mjs

@@ -1,2 +1,97 @@
-import { t as validateContractDomain } from "./validate-domain-WtPdBLia.mjs";
+import { t as ContractValidationError } from "./contract-validation-error-Dp2vHZt5.mjs";
+//#region src/validate-domain.ts
+function validateContractDomain(contract) {
+	const errors = [];
+	const modelNames = new Set(Object.keys(contract.models));
+	validateRoots(contract, modelNames, errors);
+	validateVariantsAndBases(contract, modelNames, errors);
+	validateRelationTargets(contract, modelNames, errors);
+	validateDiscriminators(contract, errors);
+	validateOwnership(contract, modelNames, errors);
+	validateValueObjectReferences(contract, errors);
+	validateFieldModifiers(contract, errors);
+	if (errors.length > 0) throw new ContractValidationError(`Contract domain validation failed:\n- ${errors.join("\n- ")}`, "domain");
+}
+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);
+		if (!modelNames.has(modelName)) errors.push(`Root "${rootKey}" references model "${modelName}" which does not exist in models`);
+	}
+}
+function validateVariantsAndBases(contract, modelNames, errors) {
+	const models = new Map(Object.entries(contract.models));
+	for (const [modelName, model] of models) {
+		if (model.variants) for (const variantName of Object.keys(model.variants)) {
+			if (!modelNames.has(variantName)) {
+				errors.push(`Model "${modelName}" lists variant "${variantName}" which does not exist in models`);
+				continue;
+			}
+			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 (model.base) {
+			if (!modelNames.has(model.base)) {
+				errors.push(`Model "${modelName}" has base "${model.base}" which does not exist in models`);
+				continue;
+			}
+			const baseModel = models.get(model.base);
+			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`);
+		}
+	}
+}
+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`);
+}
+function validateDiscriminators(contract, errors) {
+	for (const [modelName, model] of Object.entries(contract.models)) {
+		if (model.discriminator) {
+			if (!model.variants || Object.keys(model.variants).length === 0) errors.push(`Model "${modelName}" has discriminator but no variants`);
+			if (!Object.hasOwn(model.fields, model.discriminator.field)) errors.push(`Discriminator field "${model.discriminator.field}" is not a field on model "${modelName}"`);
+		}
+		if (model.variants && Object.keys(model.variants).length > 0 && !model.discriminator) errors.push(`Model "${modelName}" has variants but no discriminator`);
+		if (model.base) {
+			if (model.discriminator) errors.push(`Model "${modelName}" has base and must not have discriminator`);
+			if (model.variants && Object.keys(model.variants).length > 0) errors.push(`Model "${modelName}" has base and must not have variants`);
+		}
+	}
+}
+function validateOwnership(contract, modelNames, errors) {
+	for (const [modelName, model] of Object.entries(contract.models)) {
+		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}")`);
+	}
+}
+function forEachContractField(contract, callback) {
+	for (const [modelName, model] of Object.entries(contract.models)) for (const [fieldName, field] of Object.entries(model.fields)) callback(field, `Model "${modelName}" field "${fieldName}"`);
+	for (const [voName, vo] of Object.entries(contract.valueObjects ?? {})) for (const [fieldName, field] of Object.entries(vo.fields)) callback(field, `Value object "${voName}" field "${fieldName}"`);
+}
+function validateValueObjectReferences(contract, errors) {
+	const voNames = new Set(Object.keys(contract.valueObjects ?? {}));
+	function checkType(type, location) {
+		if (!type) return;
+		if (type.kind === "valueObject" && type.name && !voNames.has(type.name)) {
+			errors.push(`${location} references value object "${type.name}" which does not exist in valueObjects`);
+			return;
+		}
+		if (type.kind === "union") for (const member of type.members ?? []) checkType(member, location);
+	}
+	forEachContractField(contract, (field, location) => {
+		checkType(field?.type, location);
+	});
+}
+function validateFieldModifiers(contract, errors) {
+	forEachContractField(contract, (field, location) => {
+		const f = field;
+		if (f?.many && f?.dict) errors.push(`${location} cannot have both "many" and "dict" modifiers`);
+	});
+}
+//#endregion
 export { validateContractDomain };
+
+//# sourceMappingURL=validate-domain.mjs.map

package/dist/validate-domain.mjs.map

@@ -0,0 +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"}

package/package.json

@@ -1,19 +1,19 @@
 {
   "name": "@prisma-next/contract",
-  "version": "0.8.0",
+  "version": "0.9.0-dev.1",
   "license": "Apache-2.0",
   "type": "module",
   "sideEffects": false,
   "description": "Data contract type definitions and JSON schema for Prisma Next",
   "dependencies": {
-    "@prisma-next/utils": "0.8.0",
+    "@prisma-next/utils": "0.9.0-dev.1",
     "@standard-schema/spec": "^1.1.0",
     "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"
@@ -27,10 +27,10 @@
     "node": ">=20"
   },
   "exports": {
+    "./contract-validation-error": "./dist/contract-validation-error.mjs",
     "./hashing": "./dist/hashing.mjs",
     "./testing": "./dist/testing.mjs",
     "./types": "./dist/types.mjs",
-    "./validate-contract": "./dist/validate-contract.mjs",
     "./validate-domain": "./dist/validate-domain.mjs",
     "./package.json": "./package.json"
   },

package/src/canonicalization.ts

@@ -1,8 +1,19 @@
 import { isArrayEqual } from '@prisma-next/utils/array-equal';
 import { ifDefined } from '@prisma-next/utils/defined';
+import type { JsonObject } from '@prisma-next/utils/json';
 
 import type { Contract } from './contract-types';
 
+/**
+ * Per-target contract serializer hook. The framework canonicalizer uses
+ * this to convert an in-memory contract (which may carry class-instance
+ * IR nodes whose runtime-only fields must not appear in the on-disk
+ * envelope) into a plain JsonObject before applying the family-agnostic
+ * canonical-key ordering / default-omission / sort steps. Targets whose
+ * contract is JSON-clean by construction return the contract unchanged.
+ */
+export type SerializeContract = (contract: Contract) => JsonObject;
+
 const TOP_LEVEL_ORDER = [
   'schemaVersion',
   'canonicalVersion',
@@ -240,23 +251,44 @@ export function orderTopLevel(obj: Record<string, unknown>): Record<string, unkn
   return ordered;
 }
 
+export interface CanonicalizeContractOptions {
+  readonly schemaVersion?: string;
+  /**
+   * Per-target hook that converts the in-memory contract (which may
+   * carry class-instance IR nodes) into a plain JsonObject before the
+   * family-agnostic canonicalization steps run.
+   *
+   * Routing through the hook is what lets each target decide which
+   * fields appear in the on-disk envelope; runtime-only class API
+   * fields stay invisible to the canonicalization walk by virtue of
+   * the per-target serializer not putting them in the JSON shape.
+   */
+  readonly serializeContract: SerializeContract;
+}
+
+/**
+ * Object-form variant of {@link canonicalizeContract}. Exported because the
+ * emitter writes the canonical contract through a separate JSON-stringify
+ * pass and consumes the structured object directly.
+ */
 export function canonicalizeContractToObject(
   contract: Contract,
-  options?: { schemaVersion?: string },
+  options: CanonicalizeContractOptions,
 ): Record<string, unknown> {
+  const serialized = options.serializeContract(contract);
   const normalized: Record<string, unknown> = {
-    ...ifDefined('schemaVersion', options?.schemaVersion),
-    targetFamily: contract.targetFamily,
-    target: contract.target,
-    profileHash: contract.profileHash,
-    roots: contract.roots,
-    models: contract.models,
-    ...ifDefined('valueObjects', contract.valueObjects),
-    storage: contract.storage,
-    ...ifDefined('execution', contract.execution),
-    extensionPacks: contract.extensionPacks,
-    capabilities: contract.capabilities,
-    meta: contract.meta,
+    ...ifDefined('schemaVersion', options.schemaVersion),
+    targetFamily: serialized['targetFamily'],
+    target: serialized['target'],
+    profileHash: serialized['profileHash'],
+    roots: serialized['roots'],
+    models: serialized['models'],
+    ...ifDefined('valueObjects', serialized['valueObjects']),
+    storage: serialized['storage'],
+    ...ifDefined('execution', serialized['execution']),
+    extensionPacks: serialized['extensionPacks'],
+    capabilities: serialized['capabilities'],
+    meta: serialized['meta'],
   };
   const withDefaultsOmitted = omitDefaults(normalized, []) as Record<string, unknown>;
   const withSortedIndexes = sortIndexesAndUniques(withDefaultsOmitted['storage']);
@@ -267,7 +299,7 @@ export function canonicalizeContractToObject(
 
 export function canonicalizeContract(
   contract: Contract,
-  options?: { schemaVersion?: string },
+  options: CanonicalizeContractOptions,
 ): string {
   return JSON.stringify(canonicalizeContractToObject(contract, options), null, 2);
 }

package/src/contract-validation-error.ts

@@ -0,0 +1,12 @@
+export type ContractValidationPhase = 'structural' | 'domain' | 'storage';
+
+export class ContractValidationError extends Error {
+  readonly code = 'CONTRACT.VALIDATION_FAILED';
+  readonly phase: ContractValidationPhase;
+
+  constructor(message: string, phase: ContractValidationPhase) {
+    super(message);
+    this.name = 'ContractValidationError';
+    this.phase = phase;
+  }
+}

package/src/exports/contract-validation-error.ts

@@ -0,0 +1,4 @@
+export {
+  ContractValidationError,
+  type ContractValidationPhase,
+} from '../contract-validation-error';

package/src/exports/hashing.ts

@@ -1,2 +1,7 @@
-export { canonicalizeContract, canonicalizeContractToObject } from '../canonicalization';
+export {
+  type CanonicalizeContractOptions,
+  canonicalizeContract,
+  canonicalizeContractToObject,
+  type SerializeContract,
+} from '../canonicalization';
 export { computeExecutionHash, computeProfileHash, computeStorageHash } from '../hashing';

package/src/hashing.ts

@@ -1,4 +1,5 @@
 import { createHash } from 'node:crypto';
+import type { JsonObject } from '@prisma-next/utils/json';
 import { canonicalizeContract } from './canonicalization';
 import type { Contract } from './contract-types';
 import type { ExecutionHashBase, ProfileHashBase, StorageHashBase } from './types';
@@ -12,6 +13,12 @@ function sha256(content: string): string {
 }
 
 function hashContract(section: Record<string, unknown>): string {
+  // Blind cast: the synthesised object is a hash-only stand-in
+  // — never returned to callers, never executed as a Contract.
+  // `canonicalizeContract` only walks the storage / execution /
+  // capabilities slices, all of which are populated above, so the
+  // missing precise Contract typing on the other slots is
+  // immaterial for the hash result.
   const contract = {
     targetFamily: section['targetFamily'],
     target: section['target'],
@@ -24,8 +31,11 @@ function hashContract(section: Record<string, unknown>): string {
     meta: {},
     profileHash: '',
     ...section,
-  } as Contract;
-  return canonicalizeContract(contract, { schemaVersion: SCHEMA_VERSION });
+  } as unknown as Contract;
+  return canonicalizeContract(contract, {
+    schemaVersion: SCHEMA_VERSION,
+    serializeContract: (c) => JSON.parse(JSON.stringify(c)) as JsonObject,
+  });
 }
 
 export function computeStorageHash(args: {

package/src/validate-domain.ts

@@ -1,4 +1,4 @@
-import { ContractValidationError } from './validate-contract';
+import { ContractValidationError } from './contract-validation-error';
 
 export interface DomainModelShape {
   readonly fields: Record<string, unknown>;

package/dist/hashing-Dz-16T7H.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"hashing-Dz-16T7H.mjs","names":[],"sources":["../src/canonicalization.ts","../src/hashing.ts"],"sourcesContent":["import { isArrayEqual } from '@prisma-next/utils/array-equal';\nimport { ifDefined } from '@prisma-next/utils/defined';\n\nimport type { Contract } from './contract-types';\n\nconst TOP_LEVEL_ORDER = [\n  'schemaVersion',\n  'canonicalVersion',\n  'targetFamily',\n  'target',\n  'profileHash',\n  'roots',\n  'models',\n  'valueObjects',\n  'storage',\n  'execution',\n  'capabilities',\n  'extensionPacks',\n  'meta',\n] as const;\n\nfunction isDefaultValue(value: unknown): boolean {\n  if (value === false) return true;\n  if (value === null) return false;\n  if (Array.isArray(value) && value.length === 0) return true;\n  if (typeof value === 'object' && value !== null) {\n    const keys = Object.keys(value);\n    return keys.length === 0;\n  }\n  return false;\n}\n\nfunction omitDefaults(obj: unknown, path: readonly string[]): unknown {\n  if (obj === null || typeof obj !== 'object') {\n    return obj;\n  }\n\n  if (Array.isArray(obj)) {\n    return obj.map((item) => omitDefaults(item, path));\n  }\n\n  const result: Record<string, unknown> = {};\n\n  for (const [key, value] of Object.entries(obj)) {\n    const currentPath = [...path, key];\n\n    if (key === '_generated') {\n      continue;\n    }\n\n    if (key === 'generated' && value === false) {\n      continue;\n    }\n\n    if ((key === 'onDelete' || key === 'onUpdate') && value === 'noAction') {\n      continue;\n    }\n\n    if (isDefaultValue(value)) {\n      const isRequiredModels = isArrayEqual(currentPath, ['models']);\n      const isRequiredTables = isArrayEqual(currentPath, ['storage', 'tables']);\n      const isRequiredCollections = isArrayEqual(currentPath, ['storage', 'collections']);\n      const isCollectionEntry =\n        currentPath.length === 3 &&\n        isArrayEqual([currentPath[0], currentPath[1]], ['storage', 'collections']);\n      const isRequiredRoots = isArrayEqual(currentPath, ['roots']);\n      const isRequiredExtensionPacks = isArrayEqual(currentPath, ['extensionPacks']);\n      const isRequiredCapabilities = isArrayEqual(currentPath, ['capabilities']);\n      const isRequiredMeta = isArrayEqual(currentPath, ['meta']);\n      const isRequiredExecutionDefaults = isArrayEqual(currentPath, [\n        'execution',\n        'mutations',\n        'defaults',\n      ]);\n      const isExtensionNamespace = currentPath.length === 2 && currentPath[0] === 'extensionPacks';\n      const isModelRelations =\n        currentPath.length === 3 &&\n        isArrayEqual([currentPath[0], currentPath[2]], ['models', 'relations']);\n      const isModelStorage =\n        currentPath.length === 3 &&\n        isArrayEqual([currentPath[0], currentPath[2]], ['models', 'storage']);\n      const isTableUniques =\n        currentPath.length === 4 &&\n        isArrayEqual(\n          [currentPath[0], currentPath[1], currentPath[3]],\n          ['storage', 'tables', 'uniques'],\n        );\n      const isTableIndexes =\n        currentPath.length === 4 &&\n        isArrayEqual(\n          [currentPath[0], currentPath[1], currentPath[3]],\n          ['storage', 'tables', 'indexes'],\n        );\n      const isTableForeignKeys =\n        currentPath.length === 4 &&\n        isArrayEqual(\n          [currentPath[0], currentPath[1], currentPath[3]],\n          ['storage', 'tables', 'foreignKeys'],\n        );\n\n      // `storage.types.<name>.typeParams` is part of the StorageTypeInstance\n      // shape (validators require it). Preserve it even when empty so the\n      // emitted contract.json remains structurally valid after a round-trip.\n      const isStorageTypeTypeParams =\n        currentPath.length === 4 &&\n        currentPath[0] === 'storage' &&\n        currentPath[1] === 'types' &&\n        key === 'typeParams';\n\n      const isFkBooleanField =\n        currentPath.length === 5 &&\n        currentPath[0] === 'storage' &&\n        currentPath[1] === 'tables' &&\n        currentPath[3] === 'foreignKeys' &&\n        (key === 'constraint' || key === 'index');\n\n      const isNullableField = key === 'nullable';\n\n      if (\n        !isRequiredModels &&\n        !isRequiredTables &&\n        !isRequiredCollections &&\n        !isCollectionEntry &&\n        !isRequiredRoots &&\n        !isRequiredExtensionPacks &&\n        !isRequiredCapabilities &&\n        !isRequiredMeta &&\n        !isRequiredExecutionDefaults &&\n        !isExtensionNamespace &&\n        !isModelRelations &&\n        !isModelStorage &&\n        !isTableUniques &&\n        !isTableIndexes &&\n        !isTableForeignKeys &&\n        !isFkBooleanField &&\n        !isNullableField &&\n        !isStorageTypeTypeParams\n      ) {\n        continue;\n      }\n    }\n\n    result[key] = omitDefaults(value, currentPath);\n  }\n\n  return result;\n}\n\nfunction sortObjectKeys(obj: unknown): unknown {\n  if (obj === null || typeof obj !== 'object') {\n    return obj;\n  }\n\n  if (Array.isArray(obj)) {\n    return obj.map((item) => sortObjectKeys(item));\n  }\n\n  const sorted: Record<string, unknown> = {};\n  const keys = Object.keys(obj).sort();\n  for (const key of keys) {\n    sorted[key] = sortObjectKeys((obj as Record<string, unknown>)[key]);\n  }\n\n  return sorted;\n}\n\ntype StorageObject = {\n  tables?: Record<string, unknown>;\n  [key: string]: unknown;\n};\n\ntype TableObject = {\n  indexes?: unknown[];\n  uniques?: unknown[];\n  [key: string]: unknown;\n};\n\nfunction sortIndexesAndUniques(storage: unknown): unknown {\n  if (!storage || typeof storage !== 'object') {\n    return storage;\n  }\n\n  const storageObj = storage as StorageObject;\n  if (!storageObj.tables || typeof storageObj.tables !== 'object') {\n    return storage;\n  }\n\n  const tables = storageObj.tables;\n  const result: StorageObject = { ...storageObj };\n\n  result.tables = {};\n  const sortedTableNames = Object.keys(tables).sort();\n  for (const tableName of sortedTableNames) {\n    const table = tables[tableName];\n    if (!table || typeof table !== 'object') {\n      result.tables[tableName] = table;\n      continue;\n    }\n\n    const tableObj = table as TableObject;\n    const sortedTable: TableObject = { ...tableObj };\n\n    if (Array.isArray(tableObj.indexes)) {\n      sortedTable.indexes = [...tableObj.indexes].sort((a, b) => {\n        const nameA = (a as { name?: string })?.name || '';\n        const nameB = (b as { name?: string })?.name || '';\n        return nameA.localeCompare(nameB);\n      });\n    }\n\n    if (Array.isArray(tableObj.uniques)) {\n      sortedTable.uniques = [...tableObj.uniques].sort((a, b) => {\n        const nameA = (a as { name?: string })?.name || '';\n        const nameB = (b as { name?: string })?.name || '';\n        return nameA.localeCompare(nameB);\n      });\n    }\n\n    result.tables[tableName] = sortedTable;\n  }\n\n  return result;\n}\n\nexport function orderTopLevel(obj: Record<string, unknown>): Record<string, unknown> {\n  const ordered: Record<string, unknown> = {};\n  const remaining = new Set(Object.keys(obj));\n\n  for (const key of TOP_LEVEL_ORDER) {\n    if (remaining.has(key)) {\n      ordered[key] = obj[key];\n      remaining.delete(key);\n    }\n  }\n\n  for (const key of Array.from(remaining).sort()) {\n    ordered[key] = obj[key];\n  }\n\n  return ordered;\n}\n\nexport function canonicalizeContractToObject(\n  contract: Contract,\n  options?: { schemaVersion?: string },\n): Record<string, unknown> {\n  const normalized: Record<string, unknown> = {\n    ...ifDefined('schemaVersion', options?.schemaVersion),\n    targetFamily: contract.targetFamily,\n    target: contract.target,\n    profileHash: contract.profileHash,\n    roots: contract.roots,\n    models: contract.models,\n    ...ifDefined('valueObjects', contract.valueObjects),\n    storage: contract.storage,\n    ...ifDefined('execution', contract.execution),\n    extensionPacks: contract.extensionPacks,\n    capabilities: contract.capabilities,\n    meta: contract.meta,\n  };\n  const withDefaultsOmitted = omitDefaults(normalized, []) as Record<string, unknown>;\n  const withSortedIndexes = sortIndexesAndUniques(withDefaultsOmitted['storage']);\n  const withSortedStorage = { ...withDefaultsOmitted, storage: withSortedIndexes };\n  const withSortedKeys = sortObjectKeys(withSortedStorage) as Record<string, unknown>;\n  return orderTopLevel(withSortedKeys);\n}\n\nexport function canonicalizeContract(\n  contract: Contract,\n  options?: { schemaVersion?: string },\n): string {\n  return JSON.stringify(canonicalizeContractToObject(contract, options), null, 2);\n}\n","import { createHash } from 'node:crypto';\nimport { canonicalizeContract } from './canonicalization';\nimport type { Contract } from './contract-types';\nimport type { ExecutionHashBase, ProfileHashBase, StorageHashBase } from './types';\n\nconst SCHEMA_VERSION = '1';\n\nfunction sha256(content: string): string {\n  const hash = createHash('sha256');\n  hash.update(content);\n  return `sha256:${hash.digest('hex')}`;\n}\n\nfunction hashContract(section: Record<string, unknown>): string {\n  const contract = {\n    targetFamily: section['targetFamily'],\n    target: section['target'],\n    roots: {},\n    models: {},\n    storage: section['storage'] ?? {},\n    execution: section['execution'],\n    extensionPacks: {},\n    capabilities: section['capabilities'] ?? {},\n    meta: {},\n    profileHash: '',\n    ...section,\n  } as Contract;\n  return canonicalizeContract(contract, { schemaVersion: SCHEMA_VERSION });\n}\n\nexport function computeStorageHash(args: {\n  target: string;\n  targetFamily: string;\n  storage: Record<string, unknown>;\n}): StorageHashBase<string> {\n  return sha256(hashContract(args)) as StorageHashBase<string>;\n}\n\nexport function computeExecutionHash(args: {\n  target: string;\n  targetFamily: string;\n  execution: Record<string, unknown>;\n}): ExecutionHashBase<string> {\n  return sha256(hashContract(args)) as ExecutionHashBase<string>;\n}\n\nexport function computeProfileHash(args: {\n  target: string;\n  targetFamily: string;\n  capabilities: Record<string, Record<string, boolean>>;\n}): ProfileHashBase<string> {\n  return sha256(hashContract(args)) as ProfileHashBase<string>;\n}\n"],"mappings":";;;;AAKA,MAAM,kBAAkB;CACtB;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACD;AAED,SAAS,eAAe,OAAyB;CAC/C,IAAI,UAAU,OAAO,OAAO;CAC5B,IAAI,UAAU,MAAM,OAAO;CAC3B,IAAI,MAAM,QAAQ,MAAM,IAAI,MAAM,WAAW,GAAG,OAAO;CACvD,IAAI,OAAO,UAAU,YAAY,UAAU,MAEzC,OADa,OAAO,KAAK,MACd,CAAC,WAAW;CAEzB,OAAO;;AAGT,SAAS,aAAa,KAAc,MAAkC;CACpE,IAAI,QAAQ,QAAQ,OAAO,QAAQ,UACjC,OAAO;CAGT,IAAI,MAAM,QAAQ,IAAI,EACpB,OAAO,IAAI,KAAK,SAAS,aAAa,MAAM,KAAK,CAAC;CAGpD,MAAM,SAAkC,EAAE;CAE1C,KAAK,MAAM,CAAC,KAAK,UAAU,OAAO,QAAQ,IAAI,EAAE;EAC9C,MAAM,cAAc,CAAC,GAAG,MAAM,IAAI;EAElC,IAAI,QAAQ,cACV;EAGF,IAAI,QAAQ,eAAe,UAAU,OACnC;EAGF,KAAK,QAAQ,cAAc,QAAQ,eAAe,UAAU,YAC1D;EAGF,IAAI,eAAe,MAAM,EAAE;GACzB,MAAM,mBAAmB,aAAa,aAAa,CAAC,SAAS,CAAC;GAC9D,MAAM,mBAAmB,aAAa,aAAa,CAAC,WAAW,SAAS,CAAC;GACzE,MAAM,wBAAwB,aAAa,aAAa,CAAC,WAAW,cAAc,CAAC;GACnF,MAAM,oBACJ,YAAY,WAAW,KACvB,aAAa,CAAC,YAAY,IAAI,YAAY,GAAG,EAAE,CAAC,WAAW,cAAc,CAAC;GAC5E,MAAM,kBAAkB,aAAa,aAAa,CAAC,QAAQ,CAAC;GAC5D,MAAM,2BAA2B,aAAa,aAAa,CAAC,iBAAiB,CAAC;GAC9E,MAAM,yBAAyB,aAAa,aAAa,CAAC,eAAe,CAAC;GAC1E,MAAM,iBAAiB,aAAa,aAAa,CAAC,OAAO,CAAC;GAC1D,MAAM,8BAA8B,aAAa,aAAa;IAC5D;IACA;IACA;IACD,CAAC;GACF,MAAM,uBAAuB,YAAY,WAAW,KAAK,YAAY,OAAO;GAC5E,MAAM,mBACJ,YAAY,WAAW,KACvB,aAAa,CAAC,YAAY,IAAI,YAAY,GAAG,EAAE,CAAC,UAAU,YAAY,CAAC;GACzE,MAAM,iBACJ,YAAY,WAAW,KACvB,aAAa,CAAC,YAAY,IAAI,YAAY,GAAG,EAAE,CAAC,UAAU,UAAU,CAAC;GACvE,MAAM,iBACJ,YAAY,WAAW,KACvB,aACE;IAAC,YAAY;IAAI,YAAY;IAAI,YAAY;IAAG,EAChD;IAAC;IAAW;IAAU;IAAU,CACjC;GACH,MAAM,iBACJ,YAAY,WAAW,KACvB,aACE;IAAC,YAAY;IAAI,YAAY;IAAI,YAAY;IAAG,EAChD;IAAC;IAAW;IAAU;IAAU,CACjC;GACH,MAAM,qBACJ,YAAY,WAAW,KACvB,aACE;IAAC,YAAY;IAAI,YAAY;IAAI,YAAY;IAAG,EAChD;IAAC;IAAW;IAAU;IAAc,CACrC;GAKH,MAAM,0BACJ,YAAY,WAAW,KACvB,YAAY,OAAO,aACnB,YAAY,OAAO,WACnB,QAAQ;GAEV,MAAM,mBACJ,YAAY,WAAW,KACvB,YAAY,OAAO,aACnB,YAAY,OAAO,YACnB,YAAY,OAAO,kBAClB,QAAQ,gBAAgB,QAAQ;GAInC,IACE,CAAC,oBACD,CAAC,oBACD,CAAC,yBACD,CAAC,qBACD,CAAC,mBACD,CAAC,4BACD,CAAC,0BACD,CAAC,kBACD,CAAC,+BACD,CAAC,wBACD,CAAC,oBACD,CAAC,kBACD,CAAC,kBACD,CAAC,kBACD,CAAC,sBACD,CAAC,oBACD,EAnBsB,QAAQ,eAoB9B,CAAC,yBAED;;EAIJ,OAAO,OAAO,aAAa,OAAO,YAAY;;CAGhD,OAAO;;AAGT,SAAS,eAAe,KAAuB;CAC7C,IAAI,QAAQ,QAAQ,OAAO,QAAQ,UACjC,OAAO;CAGT,IAAI,MAAM,QAAQ,IAAI,EACpB,OAAO,IAAI,KAAK,SAAS,eAAe,KAAK,CAAC;CAGhD,MAAM,SAAkC,EAAE;CAC1C,MAAM,OAAO,OAAO,KAAK,IAAI,CAAC,MAAM;CACpC,KAAK,MAAM,OAAO,MAChB,OAAO,OAAO,eAAgB,IAAgC,KAAK;CAGrE,OAAO;;AAcT,SAAS,sBAAsB,SAA2B;CACxD,IAAI,CAAC,WAAW,OAAO,YAAY,UACjC,OAAO;CAGT,MAAM,aAAa;CACnB,IAAI,CAAC,WAAW,UAAU,OAAO,WAAW,WAAW,UACrD,OAAO;CAGT,MAAM,SAAS,WAAW;CAC1B,MAAM,SAAwB,EAAE,GAAG,YAAY;CAE/C,OAAO,SAAS,EAAE;CAClB,MAAM,mBAAmB,OAAO,KAAK,OAAO,CAAC,MAAM;CACnD,KAAK,MAAM,aAAa,kBAAkB;EACxC,MAAM,QAAQ,OAAO;EACrB,IAAI,CAAC,SAAS,OAAO,UAAU,UAAU;GACvC,OAAO,OAAO,aAAa;GAC3B;;EAGF,MAAM,WAAW;EACjB,MAAM,cAA2B,EAAE,GAAG,UAAU;EAEhD,IAAI,MAAM,QAAQ,SAAS,QAAQ,EACjC,YAAY,UAAU,CAAC,GAAG,SAAS,QAAQ,CAAC,MAAM,GAAG,MAAM;GACzD,MAAM,QAAS,GAAyB,QAAQ;GAChD,MAAM,QAAS,GAAyB,QAAQ;GAChD,OAAO,MAAM,cAAc,MAAM;IACjC;EAGJ,IAAI,MAAM,QAAQ,SAAS,QAAQ,EACjC,YAAY,UAAU,CAAC,GAAG,SAAS,QAAQ,CAAC,MAAM,GAAG,MAAM;GACzD,MAAM,QAAS,GAAyB,QAAQ;GAChD,MAAM,QAAS,GAAyB,QAAQ;GAChD,OAAO,MAAM,cAAc,MAAM;IACjC;EAGJ,OAAO,OAAO,aAAa;;CAG7B,OAAO;;AAGT,SAAgB,cAAc,KAAuD;CACnF,MAAM,UAAmC,EAAE;CAC3C,MAAM,YAAY,IAAI,IAAI,OAAO,KAAK,IAAI,CAAC;CAE3C,KAAK,MAAM,OAAO,iBAChB,IAAI,UAAU,IAAI,IAAI,EAAE;EACtB,QAAQ,OAAO,IAAI;EACnB,UAAU,OAAO,IAAI;;CAIzB,KAAK,MAAM,OAAO,MAAM,KAAK,UAAU,CAAC,MAAM,EAC5C,QAAQ,OAAO,IAAI;CAGrB,OAAO;;AAGT,SAAgB,6BACd,UACA,SACyB;CAezB,MAAM,sBAAsB,aAAa;EAbvC,GAAG,UAAU,iBAAiB,SAAS,cAAc;EACrD,cAAc,SAAS;EACvB,QAAQ,SAAS;EACjB,aAAa,SAAS;EACtB,OAAO,SAAS;EAChB,QAAQ,SAAS;EACjB,GAAG,UAAU,gBAAgB,SAAS,aAAa;EACnD,SAAS,SAAS;EAClB,GAAG,UAAU,aAAa,SAAS,UAAU;EAC7C,gBAAgB,SAAS;EACzB,cAAc,SAAS;EACvB,MAAM,SAAS;EAEkC,EAAE,EAAE,CAAC;CACxD,MAAM,oBAAoB,sBAAsB,oBAAoB,WAAW;CAG/E,OAAO,cADgB,eAAe;EADV,GAAG;EAAqB,SAAS;EACN,CACpB,CAAC;;AAGtC,SAAgB,qBACd,UACA,SACQ;CACR,OAAO,KAAK,UAAU,6BAA6B,UAAU,QAAQ,EAAE,MAAM,EAAE;;;;AC1QjF,MAAM,iBAAiB;AAEvB,SAAS,OAAO,SAAyB;CACvC,MAAM,OAAO,WAAW,SAAS;CACjC,KAAK,OAAO,QAAQ;CACpB,OAAO,UAAU,KAAK,OAAO,MAAM;;AAGrC,SAAS,aAAa,SAA0C;CAc9D,OAAO,qBAAqB;EAZ1B,cAAc,QAAQ;EACtB,QAAQ,QAAQ;EAChB,OAAO,EAAE;EACT,QAAQ,EAAE;EACV,SAAS,QAAQ,cAAc,EAAE;EACjC,WAAW,QAAQ;EACnB,gBAAgB,EAAE;EAClB,cAAc,QAAQ,mBAAmB,EAAE;EAC3C,MAAM,EAAE;EACR,aAAa;EACb,GAAG;EAE+B,EAAE,EAAE,eAAe,gBAAgB,CAAC;;AAG1E,SAAgB,mBAAmB,MAIP;CAC1B,OAAO,OAAO,aAAa,KAAK,CAAC;;AAGnC,SAAgB,qBAAqB,MAIP;CAC5B,OAAO,OAAO,aAAa,KAAK,CAAC;;AAGnC,SAAgB,mBAAmB,MAIP;CAC1B,OAAO,OAAO,aAAa,KAAK,CAAC"}

package/dist/validate-contract.d.mts

@@ -1,37 +0,0 @@
-import { t as Contract } from "./contract-types-Kl86EaEa.mjs";
-
-//#region src/validate-contract.d.ts
-type ContractValidationPhase = 'structural' | 'domain' | 'storage';
-declare class ContractValidationError extends Error {
-  readonly code = "CONTRACT.VALIDATION_FAILED";
-  readonly phase: ContractValidationPhase;
-  constructor(message: string, phase: ContractValidationPhase);
-}
-/**
- * Family-provided storage validator.
- * SQL validates tables/columns/FKs; Mongo validates collections/embedding.
- */
-type StorageValidator = (contract: Contract) => void;
-/**
- * Framework-level contract validation (ADR 182).
- *
- * Three-pass validation:
- * 1. **Structural validation** (arktype): verifies required fields exist with
- *    correct base types.
- * 2. **Domain validation** (framework-owned): roots, relation targets,
- *    variant/base consistency, discriminators, ownership, orphans.
- * 3. **Storage validation** (family-provided): SQL validates tables/columns/FKs;
- *    Mongo validates collections/embedding.
- *
- * JSON persistence fields (`schemaVersion`, `_generated`) are stripped before
- * validation — they are not part of the in-memory contract representation.
- *
- * @template TContract  The fully-typed contract type (preserves literal types).
- * @param value           Raw contract value (e.g. parsed from JSON).
- * @param storageValidator  Family-specific storage validation function.
- * @returns The validated contract with full literal types.
- */
-declare function validateContract<TContract extends Contract>(value: unknown, storageValidator: StorageValidator): TContract;
-//#endregion
-export { ContractValidationError, type ContractValidationPhase, type StorageValidator, validateContract };
-//# sourceMappingURL=validate-contract.d.mts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"validate-contract.d.mts","names":[],"sources":["../src/validate-contract.ts"],"mappings":";;;KAKY,uBAAA;AAAA,cAEC,uBAAA,SAAgC,KAAA;EAAA,SAClC,IAAA;EAAA,SACA,KAAA,EAAO,uBAAA;cAEJ,OAAA,UAAiB,KAAA,EAAO,uBAAA;AAAA;;AAJtC;;;KAeY,gBAAA,IAAoB,QAAA,EAAU,QAAA;;;;;;;;;;;;;;;AAA1C;;;;;iBAqDgB,gBAAA,mBAAmC,QAAA,CAAA,CACjD,KAAA,WACA,gBAAA,EAAkB,gBAAA,GACjB,SAAA"}

package/dist/validate-contract.mjs

@@ -1,2 +0,0 @@
-import { n as ContractValidationError, r as validateContract } from "./validate-domain-WtPdBLia.mjs";
-export { ContractValidationError, validateContract };

package/dist/validate-domain-WtPdBLia.mjs

@@ -1,163 +0,0 @@
-import { type } from "arktype";
-//#region src/validate-contract.ts
-var ContractValidationError = class extends Error {
-	code = "CONTRACT.VALIDATION_FAILED";
-	phase;
-	constructor(message, phase) {
-		super(message);
-		this.name = "ContractValidationError";
-		this.phase = phase;
-	}
-};
-const ContractSchema = type({
-	target: "string",
-	targetFamily: "string",
-	roots: "Record<string, string>",
-	models: "Record<string, unknown>",
-	"valueObjects?": "Record<string, unknown>",
-	storage: "Record<string, unknown>",
-	capabilities: "Record<string, Record<string, boolean>>",
-	extensionPacks: "Record<string, unknown>",
-	meta: "Record<string, unknown>",
-	"execution?": {
-		"executionHash?": "string",
-		mutations: { defaults: "unknown[]" }
-	},
-	profileHash: "string"
-});
-function stripPersistenceFields(raw) {
-	const { schemaVersion: _, _generated: _g, ...rest } = raw;
-	return rest;
-}
-function extractDomainShape(contract) {
-	return {
-		roots: contract.roots,
-		models: contract.models,
-		...contract.valueObjects ? { valueObjects: contract.valueObjects } : {}
-	};
-}
-/**
-* Framework-level contract validation (ADR 182).
-*
-* Three-pass validation:
-* 1. **Structural validation** (arktype): verifies required fields exist with
-*    correct base types.
-* 2. **Domain validation** (framework-owned): roots, relation targets,
-*    variant/base consistency, discriminators, ownership, orphans.
-* 3. **Storage validation** (family-provided): SQL validates tables/columns/FKs;
-*    Mongo validates collections/embedding.
-*
-* JSON persistence fields (`schemaVersion`, `_generated`) are stripped before
-* validation — they are not part of the in-memory contract representation.
-*
-* @template TContract  The fully-typed contract type (preserves literal types).
-* @param value           Raw contract value (e.g. parsed from JSON).
-* @param storageValidator  Family-specific storage validation function.
-* @returns The validated contract with full literal types.
-*/
-function validateContract(value, storageValidator) {
-	if (typeof value !== "object" || value === null) throw new ContractValidationError("Contract must be a non-null object", "structural");
-	const parsed = ContractSchema(stripPersistenceFields(value));
-	if (parsed instanceof type.errors) throw new ContractValidationError(`Invalid contract structure: ${parsed.summary}`, "structural");
-	const contract = parsed;
-	validateContractDomain(extractDomainShape(contract));
-	storageValidator(contract);
-	return contract;
-}
-//#endregion
-//#region src/validate-domain.ts
-function validateContractDomain(contract) {
-	const errors = [];
-	const modelNames = new Set(Object.keys(contract.models));
-	validateRoots(contract, modelNames, errors);
-	validateVariantsAndBases(contract, modelNames, errors);
-	validateRelationTargets(contract, modelNames, errors);
-	validateDiscriminators(contract, errors);
-	validateOwnership(contract, modelNames, errors);
-	validateValueObjectReferences(contract, errors);
-	validateFieldModifiers(contract, errors);
-	if (errors.length > 0) throw new ContractValidationError(`Contract domain validation failed:\n- ${errors.join("\n- ")}`, "domain");
-}
-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);
-		if (!modelNames.has(modelName)) errors.push(`Root "${rootKey}" references model "${modelName}" which does not exist in models`);
-	}
-}
-function validateVariantsAndBases(contract, modelNames, errors) {
-	const models = new Map(Object.entries(contract.models));
-	for (const [modelName, model] of models) {
-		if (model.variants) for (const variantName of Object.keys(model.variants)) {
-			if (!modelNames.has(variantName)) {
-				errors.push(`Model "${modelName}" lists variant "${variantName}" which does not exist in models`);
-				continue;
-			}
-			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 (model.base) {
-			if (!modelNames.has(model.base)) {
-				errors.push(`Model "${modelName}" has base "${model.base}" which does not exist in models`);
-				continue;
-			}
-			const baseModel = models.get(model.base);
-			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`);
-		}
-	}
-}
-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`);
-}
-function validateDiscriminators(contract, errors) {
-	for (const [modelName, model] of Object.entries(contract.models)) {
-		if (model.discriminator) {
-			if (!model.variants || Object.keys(model.variants).length === 0) errors.push(`Model "${modelName}" has discriminator but no variants`);
-			if (!Object.hasOwn(model.fields, model.discriminator.field)) errors.push(`Discriminator field "${model.discriminator.field}" is not a field on model "${modelName}"`);
-		}
-		if (model.variants && Object.keys(model.variants).length > 0 && !model.discriminator) errors.push(`Model "${modelName}" has variants but no discriminator`);
-		if (model.base) {
-			if (model.discriminator) errors.push(`Model "${modelName}" has base and must not have discriminator`);
-			if (model.variants && Object.keys(model.variants).length > 0) errors.push(`Model "${modelName}" has base and must not have variants`);
-		}
-	}
-}
-function validateOwnership(contract, modelNames, errors) {
-	for (const [modelName, model] of Object.entries(contract.models)) {
-		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}")`);
-	}
-}
-function forEachContractField(contract, callback) {
-	for (const [modelName, model] of Object.entries(contract.models)) for (const [fieldName, field] of Object.entries(model.fields)) callback(field, `Model "${modelName}" field "${fieldName}"`);
-	for (const [voName, vo] of Object.entries(contract.valueObjects ?? {})) for (const [fieldName, field] of Object.entries(vo.fields)) callback(field, `Value object "${voName}" field "${fieldName}"`);
-}
-function validateValueObjectReferences(contract, errors) {
-	const voNames = new Set(Object.keys(contract.valueObjects ?? {}));
-	function checkType(type, location) {
-		if (!type) return;
-		if (type.kind === "valueObject" && type.name && !voNames.has(type.name)) {
-			errors.push(`${location} references value object "${type.name}" which does not exist in valueObjects`);
-			return;
-		}
-		if (type.kind === "union") for (const member of type.members ?? []) checkType(member, location);
-	}
-	forEachContractField(contract, (field, location) => {
-		checkType(field?.type, location);
-	});
-}
-function validateFieldModifiers(contract, errors) {
-	forEachContractField(contract, (field, location) => {
-		const f = field;
-		if (f?.many && f?.dict) errors.push(`${location} cannot have both "many" and "dict" modifiers`);
-	});
-}
-//#endregion
-export { ContractValidationError as n, validateContract as r, validateContractDomain as t };
-
-//# sourceMappingURL=validate-domain-WtPdBLia.mjs.map

package/dist/validate-domain-WtPdBLia.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"validate-domain-WtPdBLia.mjs","names":["f"],"sources":["../src/validate-contract.ts","../src/validate-domain.ts"],"sourcesContent":["import { type } from 'arktype';\nimport type { Contract } from './contract-types';\nimport type { DomainContractShape } from './validate-domain';\nimport { validateContractDomain } from './validate-domain';\n\nexport type ContractValidationPhase = 'structural' | 'domain' | 'storage';\n\nexport class ContractValidationError extends Error {\n  readonly code = 'CONTRACT.VALIDATION_FAILED';\n  readonly phase: ContractValidationPhase;\n\n  constructor(message: string, phase: ContractValidationPhase) {\n    super(message);\n    this.name = 'ContractValidationError';\n    this.phase = phase;\n  }\n}\n\n/**\n * Family-provided storage validator.\n * SQL validates tables/columns/FKs; Mongo validates collections/embedding.\n */\nexport type StorageValidator = (contract: Contract) => void;\n\nconst ContractSchema = type({\n  target: 'string',\n  targetFamily: 'string',\n  roots: 'Record<string, string>',\n  models: 'Record<string, unknown>',\n  'valueObjects?': 'Record<string, unknown>',\n  storage: 'Record<string, unknown>',\n  capabilities: 'Record<string, Record<string, boolean>>',\n  extensionPacks: 'Record<string, unknown>',\n  meta: 'Record<string, unknown>',\n  'execution?': {\n    'executionHash?': 'string',\n    mutations: {\n      defaults: 'unknown[]',\n    },\n  },\n  profileHash: 'string',\n});\n\nfunction stripPersistenceFields(raw: Record<string, unknown>): Record<string, unknown> {\n  const { schemaVersion: _, _generated: _g, ...rest } = raw;\n  return rest;\n}\n\nfunction extractDomainShape(contract: Contract): DomainContractShape {\n  return {\n    roots: contract.roots,\n    models: contract.models,\n    ...(contract.valueObjects ? { valueObjects: contract.valueObjects } : {}),\n  };\n}\n\n/**\n * Framework-level contract validation (ADR 182).\n *\n * Three-pass validation:\n * 1. **Structural validation** (arktype): verifies required fields exist with\n *    correct base types.\n * 2. **Domain validation** (framework-owned): roots, relation targets,\n *    variant/base consistency, discriminators, ownership, orphans.\n * 3. **Storage validation** (family-provided): SQL validates tables/columns/FKs;\n *    Mongo validates collections/embedding.\n *\n * JSON persistence fields (`schemaVersion`, `_generated`) are stripped before\n * validation — they are not part of the in-memory contract representation.\n *\n * @template TContract  The fully-typed contract type (preserves literal types).\n * @param value           Raw contract value (e.g. parsed from JSON).\n * @param storageValidator  Family-specific storage validation function.\n * @returns The validated contract with full literal types.\n */\nexport function validateContract<TContract extends Contract>(\n  value: unknown,\n  storageValidator: StorageValidator,\n): TContract {\n  if (typeof value !== 'object' || value === null) {\n    throw new ContractValidationError('Contract must be a non-null object', 'structural');\n  }\n\n  const stripped = stripPersistenceFields(value as Record<string, unknown>);\n\n  const parsed = ContractSchema(stripped);\n  if (parsed instanceof type.errors) {\n    throw new ContractValidationError(\n      `Invalid contract structure: ${parsed.summary}`,\n      'structural',\n    );\n  }\n\n  const contract = parsed as unknown as Contract;\n\n  validateContractDomain(extractDomainShape(contract));\n\n  storageValidator(contract);\n\n  return contract as unknown as TContract;\n}\n","import { ContractValidationError } from './validate-contract';\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":";;AAOA,IAAa,0BAAb,cAA6C,MAAM;CACjD,OAAgB;CAChB;CAEA,YAAY,SAAiB,OAAgC;EAC3D,MAAM,QAAQ;EACd,KAAK,OAAO;EACZ,KAAK,QAAQ;;;AAUjB,MAAM,iBAAiB,KAAK;CAC1B,QAAQ;CACR,cAAc;CACd,OAAO;CACP,QAAQ;CACR,iBAAiB;CACjB,SAAS;CACT,cAAc;CACd,gBAAgB;CAChB,MAAM;CACN,cAAc;EACZ,kBAAkB;EAClB,WAAW,EACT,UAAU,aACX;EACF;CACD,aAAa;CACd,CAAC;AAEF,SAAS,uBAAuB,KAAuD;CACrF,MAAM,EAAE,eAAe,GAAG,YAAY,IAAI,GAAG,SAAS;CACtD,OAAO;;AAGT,SAAS,mBAAmB,UAAyC;CACnE,OAAO;EACL,OAAO,SAAS;EAChB,QAAQ,SAAS;EACjB,GAAI,SAAS,eAAe,EAAE,cAAc,SAAS,cAAc,GAAG,EAAE;EACzE;;;;;;;;;;;;;;;;;;;;;AAsBH,SAAgB,iBACd,OACA,kBACW;CACX,IAAI,OAAO,UAAU,YAAY,UAAU,MACzC,MAAM,IAAI,wBAAwB,sCAAsC,aAAa;CAKvF,MAAM,SAAS,eAFE,uBAAuB,MAEF,CAAC;CACvC,IAAI,kBAAkB,KAAK,QACzB,MAAM,IAAI,wBACR,+BAA+B,OAAO,WACtC,aACD;CAGH,MAAM,WAAW;CAEjB,uBAAuB,mBAAmB,SAAS,CAAC;CAEpD,iBAAiB,SAAS;CAE1B,OAAO;;;;AClFT,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"}

package/src/exports/validate-contract.ts

@@ -1,6 +0,0 @@
-export {
-  ContractValidationError,
-  type ContractValidationPhase,
-  type StorageValidator,
-  validateContract,
-} from '../validate-contract';

package/src/validate-contract.ts

@@ -1,101 +0,0 @@
-import { type } from 'arktype';
-import type { Contract } from './contract-types';
-import type { DomainContractShape } from './validate-domain';
-import { validateContractDomain } from './validate-domain';
-
-export type ContractValidationPhase = 'structural' | 'domain' | 'storage';
-
-export class ContractValidationError extends Error {
-  readonly code = 'CONTRACT.VALIDATION_FAILED';
-  readonly phase: ContractValidationPhase;
-
-  constructor(message: string, phase: ContractValidationPhase) {
-    super(message);
-    this.name = 'ContractValidationError';
-    this.phase = phase;
-  }
-}
-
-/**
- * Family-provided storage validator.
- * SQL validates tables/columns/FKs; Mongo validates collections/embedding.
- */
-export type StorageValidator = (contract: Contract) => void;
-
-const ContractSchema = type({
-  target: 'string',
-  targetFamily: 'string',
-  roots: 'Record<string, string>',
-  models: 'Record<string, unknown>',
-  'valueObjects?': 'Record<string, unknown>',
-  storage: 'Record<string, unknown>',
-  capabilities: 'Record<string, Record<string, boolean>>',
-  extensionPacks: 'Record<string, unknown>',
-  meta: 'Record<string, unknown>',
-  'execution?': {
-    'executionHash?': 'string',
-    mutations: {
-      defaults: 'unknown[]',
-    },
-  },
-  profileHash: 'string',
-});
-
-function stripPersistenceFields(raw: Record<string, unknown>): Record<string, unknown> {
-  const { schemaVersion: _, _generated: _g, ...rest } = raw;
-  return rest;
-}
-
-function extractDomainShape(contract: Contract): DomainContractShape {
-  return {
-    roots: contract.roots,
-    models: contract.models,
-    ...(contract.valueObjects ? { valueObjects: contract.valueObjects } : {}),
-  };
-}
-
-/**
- * Framework-level contract validation (ADR 182).
- *
- * Three-pass validation:
- * 1. **Structural validation** (arktype): verifies required fields exist with
- *    correct base types.
- * 2. **Domain validation** (framework-owned): roots, relation targets,
- *    variant/base consistency, discriminators, ownership, orphans.
- * 3. **Storage validation** (family-provided): SQL validates tables/columns/FKs;
- *    Mongo validates collections/embedding.
- *
- * JSON persistence fields (`schemaVersion`, `_generated`) are stripped before
- * validation — they are not part of the in-memory contract representation.
- *
- * @template TContract  The fully-typed contract type (preserves literal types).
- * @param value           Raw contract value (e.g. parsed from JSON).
- * @param storageValidator  Family-specific storage validation function.
- * @returns The validated contract with full literal types.
- */
-export function validateContract<TContract extends Contract>(
-  value: unknown,
-  storageValidator: StorageValidator,
-): TContract {
-  if (typeof value !== 'object' || value === null) {
-    throw new ContractValidationError('Contract must be a non-null object', 'structural');
-  }
-
-  const stripped = stripPersistenceFields(value as Record<string, unknown>);
-
-  const parsed = ContractSchema(stripped);
-  if (parsed instanceof type.errors) {
-    throw new ContractValidationError(
-      `Invalid contract structure: ${parsed.summary}`,
-      'structural',
-    );
-  }
-
-  const contract = parsed as unknown as Contract;
-
-  validateContractDomain(extractDomainShape(contract));
-
-  storageValidator(contract);
-
-  return contract as unknown as TContract;
-}