@prisma-next/contract 0.5.0-dev.9 → 0.5.1

package/README.md

@@ -11,7 +11,7 @@ Core contract data types and JSON schemas for Prisma Next.
 This package provides the foundational type definitions for Prisma Next data contracts:
 
 - **Contract data types**: The canonical description of an application's data model and storage layout (`ContractBase`, `DocumentContract`, `Source`, `FieldType`)
-- **Plan metadata**: Target-family-agnostic plan metadata types (`PlanMeta`, `ParamDescriptor`, `PlanRefs`). The plan markers themselves (`QueryPlan`, `ExecutionPlan`) live in `@prisma-next/framework-components/runtime`; family-specific plans (`SqlExecutionPlan`, `MongoExecutionPlan`) live in their respective domains.
+- **Plan metadata**: Target-family-agnostic plan metadata (`PlanMeta`). The plan markers themselves (`QueryPlan`, `ExecutionPlan`) live in `@prisma-next/framework-components/runtime`; family-specific plans (`SqlExecutionPlan`, `MongoExecutionPlan`) live in their respective domains. Per [ADR 205](../../../../docs/architecture%20docs/adrs/ADR%20205%20-%20Execution%20metadata%20lives%20on%20AST.md), execution metadata (codec IDs, projection refs, parameter descriptors) lives on the family AST when one is present, not on `PlanMeta`.
 - **Hash types**: Branded hash types for storage, execution, and profile hashing (`StorageHashBase`, `ExecutionHashBase`, `ProfileHashBase`)
 - **JSON Schemas**: Validation schemas for contract files
 - **Type guards**: Runtime type guards for narrowing contract types (`isDocumentContract`)
@@ -60,16 +60,6 @@ For SQL contracts, use `@prisma-next/sql-contract-ts/schema-sql` instead.
 
 ## Type System
 
-### Plan Types
-
-`ParamDescriptor` describes a single parameter in an execution plan:
-
-- **`source`**: Origin of the parameter (`'dsl'`, `'raw'`, or `'lane'`)
-- **`index`** (optional): 1-based position into `plan.params`
-- **`name`** (optional): Parameter name for codec resolution
-- **`codecId`**, **`nativeType`**, **`nullable`** (optional): Type metadata from contract
-- **`refs`** (optional): `{ table, column }` when the param is used against a known column
-
 ### Column Defaults
 
 - When adding column defaults, re-emit the contract and verify the emitted JSON includes the full default payload.

package/dist/{contract-types-CmLTUrpi.d.mts → contract-types-Kl86EaEa.d.mts}

@@ -122,6 +122,15 @@ type JsonValue = JsonPrimitive | {
 } | readonly JsonValue[];
 type ColumnDefaultLiteralValue = JsonValue;
 type ColumnDefaultLiteralInputValue = ColumnDefaultLiteralValue | Date;
+/**
+ * Runtime predicate for `ColumnDefaultLiteralInputValue`. Authoring layers
+ * resolve template values from caller-supplied args (typed `unknown` at the
+ * boundary) and need to validate before constructing a `ColumnDefault`.
+ * Accepts JSON primitives, plain arrays/objects of JSON values, and `Date`
+ * instances. Rejects functions, class instances (other than `Date`),
+ * `undefined`, `bigint`, `symbol`, and arrays/objects containing those.
+ */
+declare function isColumnDefaultLiteralInputValue(value: unknown): value is ColumnDefaultLiteralInputValue;
 type ColumnDefault = {
   readonly kind: 'literal';
   readonly value: ColumnDefaultLiteralInputValue;
@@ -129,11 +138,13 @@ type ColumnDefault = {
   readonly kind: 'function';
   readonly expression: string;
 };
+declare function isColumnDefault(value: unknown): value is ColumnDefault;
 type ExecutionMutationDefaultValue = {
   readonly kind: 'generator';
   readonly id: GeneratedValueSpec['id'];
   readonly params?: Record<string, unknown>;
 };
+declare function isExecutionMutationDefaultValue(value: unknown): value is ExecutionMutationDefaultValue;
 type ExecutionMutationDefault = {
   readonly ref: {
     readonly table: string;
@@ -142,6 +153,11 @@ type ExecutionMutationDefault = {
   readonly onCreate?: ExecutionMutationDefaultValue;
   readonly onUpdate?: ExecutionMutationDefaultValue;
 };
+/**
+ * `ExecutionMutationDefault` minus its `ref` — the per-field phases value
+ * authoring layers attach to a column before the column ref is known.
+ */
+type ExecutionMutationDefaultPhases = Omit<ExecutionMutationDefault, 'ref'>;
 type ExecutionSection<THash extends string = string> = {
   readonly executionHash: ExecutionHashBase<THash>;
   readonly mutations: {
@@ -177,30 +193,6 @@ interface DocCollection {
   readonly indexes?: ReadonlyArray<DocIndex>;
   readonly readOnly?: boolean;
 }
-interface ParamDescriptor {
-  readonly index?: number;
-  readonly name?: string;
-  readonly codecId?: string;
-  readonly nativeType?: string;
-  readonly nullable?: boolean;
-  readonly source: 'dsl' | 'raw' | 'lane';
-  readonly refs?: {
-    table: string;
-    column: string;
-  };
-}
-interface PlanRefs {
-  readonly tables?: readonly string[];
-  readonly columns?: ReadonlyArray<{
-    table: string;
-    column: string;
-  }>;
-  readonly indexes?: ReadonlyArray<{
-    readonly table: string;
-    readonly columns: ReadonlyArray<string>;
-    readonly name?: string;
-  }>;
-}
 interface PlanMeta {
   readonly target: string;
   readonly targetFamily?: string;
@@ -208,17 +200,8 @@ interface PlanMeta {
   readonly profileHash?: string;
   readonly lane: string;
   readonly annotations?: {
-    codecs?: Record<string, string>;
-    [key: string]: unknown;
+    readonly [key: string]: unknown;
   };
-  readonly paramDescriptors: ReadonlyArray<ParamDescriptor>;
-  readonly refs?: PlanRefs;
-  readonly projection?: Record<string, string> | ReadonlyArray<string>;
-  /**
-   * Optional mapping of projection alias → column type ID (fully qualified ns/name@version).
-   * Used for codec resolution when AST+refs don't provide enough type info.
-   */
-  readonly projectionTypes?: Record<string, string>;
 }
 /**
  * Contract marker record stored in the database.
@@ -232,6 +215,7 @@ interface ContractMarkerRecord {
   readonly updatedAt: Date;
   readonly appTag: string | null;
   readonly meta: Record<string, unknown>;
+  readonly invariants: readonly string[];
 }
 //#endregion
 //#region src/contract-types.d.ts
@@ -279,5 +263,5 @@ interface Contract<TStorage extends StorageBase = StorageBase, TModels extends R
   readonly meta: Record<string, unknown>;
 }
 //#endregion
-export { ContractDiscriminator as A, ContractVariantEntry as B, ProfileHashBase as C, coreHash as D, StorageHashBase as E, ContractModelBase as F, UnionFieldType as G, ModelStorageBase as H, ContractReferenceRelation as I, ValueObjectFieldType as K, ContractRelation as L, ContractField as M, ContractFieldType as N, executionHash as O, ContractModel as P, ContractRelationOn as R, PlanRefs as S, StorageBase as T, ReferenceRelationKeys as U, EmbedRelationKeys as V, ScalarFieldType as W, GeneratedValueSpec as _, ColumnDefault as a, ParamDescriptor as b, ContractMarkerRecord as c, ExecutionHashBase as d, ExecutionMutationDefault as f, FieldType as g, Expr as h, Brand as i, ContractEmbedRelation as j, profileHash as k, DocCollection as l, ExecutionSection as m, ContractExecutionSection as n, ColumnDefaultLiteralInputValue as o, ExecutionMutationDefaultValue as p, $ as r, ColumnDefaultLiteralValue as s, Contract as t, DocIndex as u, JsonPrimitive as v, Source as w, PlanMeta as x, JsonValue as y, ContractValueObject as z };
-//# sourceMappingURL=contract-types-CmLTUrpi.d.mts.map
+export { isExecutionMutationDefaultValue as A, ContractRelationOn as B, Source as C, executionHash as D, coreHash as E, ContractFieldType as F, ReferenceRelationKeys as G, ContractVariantEntry as H, ContractModel as I, ValueObjectFieldType as J, ScalarFieldType as K, ContractModelBase as L, ContractDiscriminator as M, ContractEmbedRelation as N, isColumnDefault as O, ContractField as P, ContractReferenceRelation as R, ProfileHashBase as S, StorageHashBase as T, EmbedRelationKeys as U, ContractValueObject as V, ModelStorageBase as W, FieldType as _, ColumnDefault as a, JsonValue as b, ContractMarkerRecord as c, ExecutionHashBase as d, ExecutionMutationDefault as f, Expr as g, ExecutionSection as h, Brand as i, profileHash as j, isColumnDefaultLiteralInputValue as k, DocCollection as l, ExecutionMutationDefaultValue as m, ContractExecutionSection as n, ColumnDefaultLiteralInputValue as o, ExecutionMutationDefaultPhases as p, UnionFieldType as q, $ as r, ColumnDefaultLiteralValue as s, Contract as t, DocIndex as u, GeneratedValueSpec as v, StorageBase as w, PlanMeta as x, JsonPrimitive as y, ContractRelation as z };
+//# sourceMappingURL=contract-types-Kl86EaEa.d.mts.map

package/dist/contract-types-Kl86EaEa.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract-types-Kl86EaEa.d.mts","names":[],"sources":["../src/domain-types.ts","../src/types.ts","../src/contract-types.ts"],"mappings":";KAAY,eAAA;EAAA,SACD,IAAA;EAAA,SACA,OAAA;EAAA,SACA,UAAA,GAAa,MAAA;AAAA;AAAA,KAGZ,oBAAA;EAAA,SACD,IAAA;EAAA,SACA,IAAA;AAAA;AAAA,KAGC,cAAA;EAAA,SACD,IAAA;EAAA,SACA,OAAA,EAAS,aAAA,CAAc,eAAA,GAAkB,oBAAA;AAAA;AAAA,KAGxC,iBAAA,GAAoB,eAAA,GAAkB,oBAAA,GAAuB,cAAA;AAAA,KAE7D,aAAA;EAAA,SACD,QAAA;EAAA,SACA,IAAA,EAAM,iBAAA;EAAA,SACN,IAAA;EAAA,SACA,IAAA;AAAA;AAAA,KAGC,kBAAA;EAAA,SACD,WAAA;EAAA,SACA,YAAA;AAAA;AAAA,KAGC,yBAAA;EAAA,SACD,EAAA;EAAA,SACA,WAAA;EAAA,SACA,EAAA,EAAI,kBAAA;AAAA;AAAA,KAGH,qBAAA;EAAA,SACD,EAAA;EAAA,SACA,WAAA;AAAA;AAAA,KAGC,gBAAA,GAAmB,yBAAA,GAA4B,qBAAA;AAAA,KAE/C,qBAAA;EAAA,SACD,KAAA;AAAA;AAAA,KAGC,oBAAA;EAAA,SACD,KAAA;AAAA;AAAA,KAGC,mBAAA;EAAA,SACD,MAAA,EAAQ,MAAA,SAAe,aAAA;AAAA;AAAA,KAGtB,gBAAA,GAAmB,QAAA,CAAS,MAAA;AAAA,UAEvB,iBAAA,uBAAwC,gBAAA,GAAmB,gBAAA;EAAA,SACjE,MAAA,EAAQ,MAAA,SAAe,aAAA;EAAA,SACvB,SAAA,EAAW,MAAA,SAAe,gBAAA;EAAA,SAC1B,OAAA,EAAS,aAAA;EAAA,SACT,aAAA,GAAgB,qBAAA;EAAA,SAChB,QAAA,GAAW,MAAA,SAAe,oBAAA;EAAA,SAC1B,IAAA;EAAA,SACA,KAAA;AAAA;AAAA,UAGM,aAAA,uBAAoC,gBAAA,GAAmB,gBAAA,UAC9D,iBAAA,CAAkB,aAAA;EAAA,SACjB,MAAA,EAAQ,MAAA,SAAe,aAAA;AAAA;AAAA,KAK7B,sBAAA;EAAA,SACM,MAAA,EAAQ,MAAA;IAAA,SAA0B,SAAA,EAAW,MAAA,SAAe,gBAAA;EAAA;AAAA;AAAA,KAG3D,qBAAA,mBACQ,sBAAA,mCACe,SAAA,4BAErB,SAAA,WAAoB,SAAA,iBAA0B,SAAA,WAAoB,SAAA,eAAwB,CAAA,UAAW,yBAAA,GAC7G,CAAA,iBAEE,SAAA,WAAoB,SAAA;AAAA,KAEhB,iBAAA,mBACQ,sBAAA,mCACe,SAAA,4BAErB,SAAA,WAAoB,SAAA,iBAA0B,SAAA,WAAoB,SAAA,eAAwB,CAAA,UAAW,yBAAA,WAE7G,CAAA,SACE,SAAA,WAAoB,SAAA;;;;AA9F5B;;cCGa,CAAA;;;;;;;KAQD,KAAA;EAAA,CACT,CAAA,WACO,IAAA,GAAO,MAAA;AAAA;;ADFjB;;;;KCWY,eAAA,yBAAwC,KAAA,GAAQ,KAAA;;;;;;KAOhD,iBAAA,yBAA0C,KAAA,GAAQ,KAAA;AAAA,iBAE9C,aAAA,wBAAA,CAAsC,KAAA,EAAO,CAAA,GAAI,iBAAA,CAAkB,CAAA;AAAA,iBAInE,QAAA,wBAAA,CAAiC,KAAA,EAAO,CAAA,GAAI,eAAA,CAAgB,CAAA;;;ADnB5E;;;KC4BY,eAAA,yBAAwC,KAAA,GAAQ,KAAA;AAAA,iBAE5C,WAAA,wBAAA,CAAoC,KAAA,EAAO,CAAA,GAAI,eAAA,CAAgB,CAAA;;;;;;UAS9D,WAAA;EAAA,SACN,WAAA,EAAa,eAAA,CAAgB,KAAA;AAAA;AAAA,UAGvB,SAAA;EAAA,SACN,IAAA;EAAA,SACA,QAAA;EAAA,SACA,KAAA,GAAQ,SAAA;EAAA,SACR,UAAA,GAAa,MAAA,SAAe,SAAA;AAAA;AAAA,KAG3B,kBAAA;EAAA,SACD,EAAA;EAAA,SACA,MAAA,GAAS,MAAA;AAAA;AAAA,KAGR,aAAA;AAAA,KAEA,SAAA,GACR,aAAA;EAAA,UACY,GAAA,WAAc,SAAA;AAAA,aACjB,SAAA;AAAA,KAED,yBAAA,GAA4B,SAAA;AAAA,KAE5B,8BAAA,GAAiC,yBAAA,GAA4B,IAAA;ADlDzE;;;;;;;;AAAA,iBC4DgB,gCAAA,CACd,KAAA,YACC,KAAA,IAAS,8BAAA;AAAA,KAYA,aAAA;EAAA,SAEG,IAAA;EAAA,SACA,KAAA,EAAO,8BAAA;AAAA;EAAA,SAEP,IAAA;EAAA,SAA2B,UAAA;AAAA;AAAA,iBAE1B,eAAA,CAAgB,KAAA,YAAiB,KAAA,IAAS,aAAA;AAAA,KAY9C,6BAAA;EAAA,SACD,IAAA;EAAA,SACA,EAAA,EAAI,kBAAA;EAAA,SACJ,MAAA,GAAS,MAAA;AAAA;AAAA,iBAGJ,+BAAA,CACd,KAAA,YACC,KAAA,IAAS,6BAAA;AAAA,KAoBA,wBAAA;EAAA,SACD,GAAA;IAAA,SAAgB,KAAA;IAAA,SAAwB,MAAA;EAAA;EAAA,SACxC,QAAA,GAAW,6BAAA;EAAA,SACX,QAAA,GAAW,6BAAA;AAAA;;;;;KAOV,8BAAA,GAAiC,IAAA,CAAK,wBAAA;AAAA,KAEtC,gBAAA;EAAA,SACD,aAAA,EAAe,iBAAA,CAAkB,KAAA;EAAA,SACjC,SAAA;IAAA,SACE,QAAA,EAAU,aAAA,CAAc,wBAAA;EAAA;AAAA;AAAA,UAIpB,MAAA;EAAA,SACN,QAAA;EAAA,SACA,UAAA,EAAY,MAAA,SAAe,SAAA;EAAA,SAC3B,MAAA,GAAS,MAAA;EAAA,SACT,YAAA,GAAe,MAAA;AAAA;AAAA,UAIT,QAAA;EAAA,SACN,IAAA;EAAA,SACA,IAAA,EAAM,MAAA;EAAA,SACN,MAAA;EAAA,SACA,KAAA,GAAQ,IAAA;AAAA;AAAA,KAGP,IAAA;EAAA,SACG,IAAA;EAAA,SAAqB,IAAA,EAAM,aAAA;EAAA,SAAgC,KAAA;AAAA;EAAA,SAC3D,IAAA;EAAA,SAAyB,IAAA,EAAM,aAAA;AAAA;AAAA,UAE7B,aAAA;EAAA,SACN,IAAA;EAAA,SACA,EAAA;IAAA,SACE,QAAA;EAAA;EAAA,SAEF,MAAA,EAAQ,MAAA,SAAe,SAAA;EAAA,SACvB,OAAA,GAAU,aAAA,CAAc,QAAA;EAAA,SACxB,QAAA;AAAA;AAAA,UAGM,QAAA;EAAA,SACN,MAAA;EAAA,SACA,YAAA;EAAA,SACA,WAAA;EAAA,SACA,WAAA;EAAA,SACA,IAAA;EAAA,SACA,WAAA;IAAA,UACG,GAAA;EAAA;AAAA;;;;;UAQG,oBAAA;EAAA,SACN,WAAA;EAAA,SACA,WAAA;EAAA,SACA,YAAA;EAAA,SACA,gBAAA;EAAA,SACA,SAAA,EAAW,IAAA;EAAA,SACX,MAAA;EAAA,SACA,IAAA,EAAM,MAAA;EAAA,SACN,UAAA;AAAA;;;;;;;;;;;;KC7MC,wBAAA;EAAA,SACD,aAAA,EAAe,iBAAA,CAAkB,KAAA;EAAA,SACjC,SAAA;IAAA,SACE,QAAA,EAAU,aAAA,CAAc,wBAAA;EAAA;AAAA;;;;;;;;;;;;;;;AFJrC;UEuBiB,QAAA,kBACE,WAAA,GAAc,WAAA,kBACf,MAAA,SAAe,iBAAA,IAAqB,MAAA,SAAe,iBAAA;EAAA,SAE1D,MAAA;EAAA,SACA,YAAA;EAAA,SACA,KAAA,EAAO,MAAA;EAAA,SACP,MAAA,EAAQ,OAAA;EAAA,SACR,YAAA,GAAe,MAAA,SAAe,mBAAA;EAAA,SAC9B,OAAA,EAAS,QAAA;EAAA,SACT,YAAA,EAAc,MAAA,SAAe,MAAA;EAAA,SAC7B,cAAA,EAAgB,MAAA;EAAA,SAChB,SAAA,GAAY,wBAAA;EAAA,SACZ,WAAA,EAAa,eAAA;EAAA,SACb,IAAA,EAAM,MAAA;AAAA"}

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

@@ -1,7 +1,6 @@
 import { isArrayEqual } from "@prisma-next/utils/array-equal";
 import { ifDefined } from "@prisma-next/utils/defined";
 import { createHash } from "node:crypto";
-
 //#region src/canonicalization.ts
 const TOP_LEVEL_ORDER = [
 	"schemaVersion",
@@ -78,8 +77,9 @@ function omitDefaults(obj, path) {
 				"tables",
 				"foreignKeys"
 			]);
+			const isStorageTypeTypeParams = currentPath.length === 4 && currentPath[0] === "storage" && currentPath[1] === "types" && key === "typeParams";
 			const isFkBooleanField = currentPath.length === 5 && currentPath[0] === "storage" && currentPath[1] === "tables" && currentPath[3] === "foreignKeys" && (key === "constraint" || key === "index");
-			if (!isRequiredModels && !isRequiredTables && !isRequiredCollections && !isCollectionEntry && !isRequiredRoots && !isRequiredExtensionPacks && !isRequiredCapabilities && !isRequiredMeta && !isRequiredExecutionDefaults && !isExtensionNamespace && !isModelRelations && !isModelStorage && !isTableUniques && !isTableIndexes && !isTableForeignKeys && !isFkBooleanField && !(key === "nullable")) continue;
+			if (!isRequiredModels && !isRequiredTables && !isRequiredCollections && !isCollectionEntry && !isRequiredRoots && !isRequiredExtensionPacks && !isRequiredCapabilities && !isRequiredMeta && !isRequiredExecutionDefaults && !isExtensionNamespace && !isModelRelations && !isModelStorage && !isTableUniques && !isTableIndexes && !isTableForeignKeys && !isFkBooleanField && !(key === "nullable") && !isStorageTypeTypeParams) continue;
 		}
 		result[key] = omitDefaults(value, currentPath);
 	}
@@ -157,7 +157,6 @@ function canonicalizeContractToObject(contract, options) {
 function canonicalizeContract(contract, options) {
 	return JSON.stringify(canonicalizeContractToObject(contract, options), null, 2);
 }
-
 //#endregion
 //#region src/hashing.ts
 const SCHEMA_VERSION = "1";
@@ -190,7 +189,7 @@ function computeExecutionHash(args) {
 function computeProfileHash(args) {
 	return sha256(hashContract(args));
 }
-
 //#endregion
 export { canonicalizeContractToObject as a, canonicalizeContract as i, computeProfileHash as n, computeStorageHash as r, computeExecutionHash as t };
-//# sourceMappingURL=hashing-CyaA_Qvf.mjs.map
+
+//# sourceMappingURL=hashing-Dz-16T7H.mjs.map

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

@@ -0,0 +1 @@
+{"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/hashing.d.mts

@@ -1,4 +1,4 @@
-import { C as ProfileHashBase, E as StorageHashBase, d as ExecutionHashBase, t as Contract } from "./contract-types-CmLTUrpi.mjs";
+import { S as ProfileHashBase, T as StorageHashBase, d as ExecutionHashBase, t as Contract } from "./contract-types-Kl86EaEa.mjs";
 
 //#region src/canonicalization.d.ts
 declare function canonicalizeContractToObject(contract: Contract, options?: {

package/dist/hashing.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"hashing.d.mts","names":[],"sources":["../src/canonicalization.ts","../src/hashing.ts"],"sourcesContent":[],"mappings":";;;iBAwOgB,4BAAA,WACJ,iBAwBZ;EAzBgB,aAAA,CAAA,EAAA,MAAA;AAyBhB,CAAA,CAAA,EAtBG,MAsBa,CAAA,MAAA,EAAA,OAAA,CAAoB;iBAApB,oBAAA,WACJ;;;;;iBCpOI,kBAAA;;ED0MA,YAAA,EAAA,MAAA;EAyBA,OAAA,EChOL,MDgOK,CAAA,MAAA,EAAoB,OAAA,CAAA;IC/NhC;iBAIY,oBAAA;;EARA,YAAA,EAAA,MAAA;EAQA,SAAA,EAGH,MAHG,CAAA,MAAoB,EAAA,OAAA,CAAA;AAQpC,CAAA,CAAA,EAJI,iBAIY,CAAA,MAAkB,CAAA;AAGH,iBAHf,kBAAA,CAGe,IAAA,EAAA;EAAf,MAAA,EAAA,MAAA;EACZ,YAAA,EAAA,MAAA;EAAe,YAAA,EADH,MACG,CAAA,MAAA,EADY,MACZ,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA;IAAf"}
+{"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"}

package/dist/hashing.mjs

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

package/dist/testing.d.mts

@@ -1,4 +1,4 @@
-import { C as ProfileHashBase, E as StorageHashBase, F as ContractModelBase, H as ModelStorageBase, P as ContractModel, T as StorageBase, m as ExecutionSection, t as Contract, z as ContractValueObject } from "./contract-types-CmLTUrpi.mjs";
+import { I as ContractModel, L as ContractModelBase, S as ProfileHashBase, T as StorageHashBase, V as ContractValueObject, W as ModelStorageBase, h as ExecutionSection, t as Contract, w as StorageBase } from "./contract-types-Kl86EaEa.mjs";
 
 //#region src/testing-factories.d.ts
 type ContractOverrides<TStorage extends StorageBase = StorageBase, TModels extends Record<string, ContractModelBase> = Record<string, ContractModel>> = {

package/dist/testing.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"testing.d.mts","names":[],"sources":["../src/testing-factories.ts"],"sourcesContent":[],"mappings":";;;AAS8E,KAGzE,iBAAA,CAAA,iBACc,WADG,GACW,WADX,EAAA,gBAEJ,MAFI,CAAA,MAAA,EAEW,iBAFX,CAAA,GAEgC,MAFhC,CAAA,MAAA,EAE+C,aAF/C,CAAA,CAAA,GAAA;EACH,MAAA,CAAA,EAAA,MAAA;EAAc,YAAA,CAAA,EAAA,MAAA;EACA,KAAA,CAAA,EAIvB,MAJuB,CAAA,MAAA,EAAA,MAAA,CAAA;EAAf,MAAA,CAAA,EAKP,OALO;EAAmD,OAAA,CAAA,EAMzD,IANyD,CAMpD,QANoD,EAAA,aAAA,CAAA;EAAf,YAAA,CAAA,EAOrC,MAPqC,CAAA,MAAA,EAOtB,mBAPsB,CAAA;EAI5C,YAAA,CAAA,EAIO,MAJP,CAAA,MAAA,EAIsB,MAJtB,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA;EACC,cAAA,CAAA,EAIQ,MAJR,CAAA,MAAA,EAAA,OAAA,CAAA;EACM,SAAA,CAAA,EAIH,IAJG,CAIE,gBAJF,EAAA,eAAA,CAAA;EAAL,WAAA,CAAA,EAKI,eALJ,CAAA,MAAA,CAAA;EACoB,IAAA,CAAA,EAKvB,MALuB,CAAA,MAAA,EAAA,OAAA,CAAA;CAAf;cAQX,UAP0B,EAOU,eAPV,CAAA,aAAA,CAAA;AAAf,iBASD,cATC,CAAA,iBAUE,WAVF,GAUgB,WAVhB,EAAA,gBAWC,MAXD,CAAA,MAAA,EAWgB,iBAXhB,CAAA,GAWqC,MAXrC,CAAA,MAAA,EAWoD,aAXpD,CAAA,CAAA,CAAA,SAAA,CAAA,EAYJ,iBAZI,CAYc,QAZd,EAYwB,OAZxB,CAAA,CAAA,EAYwC,QAZxC,CAYiD,QAZjD,EAY2D,OAZ3D,CAAA;KA4DZ,cAAA,GAAiB,WA3DH,GAAA;EACA,SAAA,MAAA,EA2DA,MA3DA,CAAA,MAAA,EAAA,OAAA,CAAA;EAAL,SAAA,KAAA,CAAA,EA4DK,MA5DL,CAAA,MAAA,EAAA,OAAA,CAAA;CACE;KA8DX,YAAA,GAAe,aA7DX,CA6DyB,gBA7DzB,GAAA;EAAM,KAAA,EAAA,MAAA;AAAA,CAAA,CAAA;AAKC,iBA0DA,iBAAA,CA1Dc,SAAA,CAAA,EA2DjB,iBA3DiB,CA2DC,cA3DD,EA2DiB,MA3DjB,CAAA,MAAA,EA2DgC,YA3DhC,CAAA,CAAA,CAAA,EA4D3B,QA5D2B,CA4DlB,cA5DkB,EA4DF,MA5DE,CAAA,MAAA,EA4Da,YA5Db,CAAA,CAAA"}
+{"version":3,"file":"testing.d.mts","names":[],"sources":["../src/testing-factories.ts"],"mappings":";;;KAYK,iBAAA,kBACc,WAAA,GAAc,WAAA,kBACf,MAAA,SAAe,iBAAA,IAAqB,MAAA,SAAe,aAAA;EAEnE,MAAA;EACA,YAAA;EACA,KAAA,GAAQ,MAAA;EACR,MAAA,GAAS,OAAA;EACT,OAAA,GAAU,IAAA,CAAK,QAAA;EACf,YAAA,GAAe,MAAA,SAAe,mBAAA;EAC9B,YAAA,GAAe,MAAA,SAAe,MAAA;EAC9B,cAAA,GAAiB,MAAA;EACjB,SAAA,GAAY,IAAA,CAAK,gBAAA;EACjB,WAAA,GAAc,eAAA;EACd,IAAA,GAAO,MAAA;AAAA;AAAA,cAGH,UAAA,EAAoC,eAAA;AAAA,iBAE1B,cAAA,kBACG,WAAA,GAAc,WAAA,kBACf,MAAA,SAAe,iBAAA,IAAqB,MAAA,SAAe,aAAA,EAAA,CACnE,SAAA,GAAW,iBAAA,CAAkB,QAAA,EAAU,OAAA,IAAgB,QAAA,CAAS,QAAA,EAAU,OAAA;AAAA,KAgDvE,cAAA,GAAiB,WAAA;EAAA,SACX,MAAA,EAAQ,MAAA;EAAA,SACR,KAAA,GAAQ,MAAA;AAAA;AAAA,KAGd,YAAA,GAAe,aAAA,CAAc,gBAAA;EAAqB,KAAA;AAAA;AAAA,iBAEvC,iBAAA,CACd,SAAA,GAAW,iBAAA,CAAkB,cAAA,EAAgB,MAAA,SAAe,YAAA,KAC3D,QAAA,CAAS,cAAA,EAAgB,MAAA,SAAe,YAAA"}

package/dist/testing.mjs

@@ -1,7 +1,6 @@
-import { t as coreHash } from "./types-aMyNgejf.mjs";
-import { n as computeProfileHash, r as computeStorageHash, t as computeExecutionHash } from "./hashing-CyaA_Qvf.mjs";
+import { t as coreHash } from "./types-CVGwkRLa.mjs";
+import { n as computeProfileHash, r as computeStorageHash, t as computeExecutionHash } from "./hashing-Dz-16T7H.mjs";
 import { ifDefined } from "@prisma-next/utils/defined";
-
 //#region src/testing-factories.ts
 const DUMMY_HASH = coreHash("sha256:test");
 function createContract(overrides = {}) {
@@ -52,7 +51,7 @@ function createSqlContract(overrides = {}) {
 		...overrides
 	});
 }
-
 //#endregion
 export { DUMMY_HASH, createContract, createSqlContract };
+
 //# sourceMappingURL=testing.mjs.map

package/dist/testing.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"testing.mjs","names":[],"sources":["../src/testing-factories.ts"],"sourcesContent":["import { ifDefined } from '@prisma-next/utils/defined';\nimport type { Contract } from './contract-types';\nimport type {\n  ContractModel,\n  ContractModelBase,\n  ContractValueObject,\n  ModelStorageBase,\n} from './domain-types';\nimport { computeExecutionHash, computeProfileHash, computeStorageHash } from './hashing';\nimport type { ExecutionSection, ProfileHashBase, StorageBase } from './types';\nimport { coreHash } from './types';\n\ntype ContractOverrides<\n  TStorage extends StorageBase = StorageBase,\n  TModels extends Record<string, ContractModelBase> = Record<string, ContractModel>,\n> = {\n  target?: string;\n  targetFamily?: string;\n  roots?: Record<string, string>;\n  models?: TModels;\n  storage?: Omit<TStorage, 'storageHash'>;\n  valueObjects?: Record<string, ContractValueObject>;\n  capabilities?: Record<string, Record<string, boolean>>;\n  extensionPacks?: Record<string, unknown>;\n  execution?: Omit<ExecutionSection, 'executionHash'>;\n  profileHash?: ProfileHashBase<string>;\n  meta?: Record<string, unknown>;\n};\n\nconst DUMMY_HASH = coreHash('sha256:test');\n\nexport function createContract<\n  TStorage extends StorageBase = StorageBase,\n  TModels extends Record<string, ContractModelBase> = Record<string, ContractModel>,\n>(overrides: ContractOverrides<TStorage, TModels> = {}): Contract<TStorage, TModels> {\n  const target = overrides.target ?? 'postgres';\n  const targetFamily = overrides.targetFamily ?? 'sql';\n  const capabilities = overrides.capabilities ?? {};\n\n  const rawStorage =\n    overrides.storage ?? ({ tables: {} } as unknown as Omit<TStorage, 'storageHash'>);\n\n  const storageHash = computeStorageHash({\n    target,\n    targetFamily,\n    storage: rawStorage as Record<string, unknown>,\n  });\n\n  const storage = {\n    ...rawStorage,\n    storageHash,\n  } as TStorage;\n\n  const computedProfileHash =\n    overrides.profileHash ?? computeProfileHash({ target, targetFamily, capabilities });\n\n  return {\n    target,\n    targetFamily,\n    roots: overrides.roots ?? {},\n    models: (overrides.models ?? {}) as TModels,\n    ...ifDefined('valueObjects', overrides.valueObjects),\n    storage,\n    capabilities,\n    extensionPacks: overrides.extensionPacks ?? {},\n    ...(overrides.execution !== undefined\n      ? {\n          execution: {\n            ...overrides.execution,\n            executionHash: computeExecutionHash({\n              target,\n              targetFamily,\n              execution: overrides.execution,\n            }),\n          },\n        }\n      : {}),\n    profileHash: computedProfileHash,\n    meta: overrides.meta ?? {},\n  };\n}\n\ntype SqlStorageLike = StorageBase & {\n  readonly tables: Record<string, unknown>;\n  readonly types?: Record<string, unknown>;\n};\n\ntype SqlModelLike = ContractModel<ModelStorageBase & { table: string }>;\n\nexport function createSqlContract(\n  overrides: ContractOverrides<SqlStorageLike, Record<string, SqlModelLike>> = {},\n): Contract<SqlStorageLike, Record<string, SqlModelLike>> {\n  return createContract<SqlStorageLike, Record<string, SqlModelLike>>({\n    target: 'postgres',\n    targetFamily: 'sql',\n    storage: overrides.storage ?? { tables: {} },\n    ...overrides,\n  });\n}\n\nexport { DUMMY_HASH };\n"],"mappings":";;;;;AA6BA,MAAM,aAAa,SAAS,cAAc;AAE1C,SAAgB,eAGd,YAAkD,EAAE,EAA+B;CACnF,MAAM,SAAS,UAAU,UAAU;CACnC,MAAM,eAAe,UAAU,gBAAgB;CAC/C,MAAM,eAAe,UAAU,gBAAgB,EAAE;CAEjD,MAAM,aACJ,UAAU,WAAY,EAAE,QAAQ,EAAE,EAAE;CAEtC,MAAM,cAAc,mBAAmB;EACrC;EACA;EACA,SAAS;EACV,CAAC;CAEF,MAAM,UAAU;EACd,GAAG;EACH;EACD;CAED,MAAM,sBACJ,UAAU,eAAe,mBAAmB;EAAE;EAAQ;EAAc;EAAc,CAAC;AAErF,QAAO;EACL;EACA;EACA,OAAO,UAAU,SAAS,EAAE;EAC5B,QAAS,UAAU,UAAU,EAAE;EAC/B,GAAG,UAAU,gBAAgB,UAAU,aAAa;EACpD;EACA;EACA,gBAAgB,UAAU,kBAAkB,EAAE;EAC9C,GAAI,UAAU,cAAc,SACxB,EACE,WAAW;GACT,GAAG,UAAU;GACb,eAAe,qBAAqB;IAClC;IACA;IACA,WAAW,UAAU;IACtB,CAAC;GACH,EACF,GACD,EAAE;EACN,aAAa;EACb,MAAM,UAAU,QAAQ,EAAE;EAC3B;;AAUH,SAAgB,kBACd,YAA6E,EAAE,EACvB;AACxD,QAAO,eAA6D;EAClE,QAAQ;EACR,cAAc;EACd,SAAS,UAAU,WAAW,EAAE,QAAQ,EAAE,EAAE;EAC5C,GAAG;EACJ,CAAC"}
+{"version":3,"file":"testing.mjs","names":[],"sources":["../src/testing-factories.ts"],"sourcesContent":["import { ifDefined } from '@prisma-next/utils/defined';\nimport type { Contract } from './contract-types';\nimport type {\n  ContractModel,\n  ContractModelBase,\n  ContractValueObject,\n  ModelStorageBase,\n} from './domain-types';\nimport { computeExecutionHash, computeProfileHash, computeStorageHash } from './hashing';\nimport type { ExecutionSection, ProfileHashBase, StorageBase } from './types';\nimport { coreHash } from './types';\n\ntype ContractOverrides<\n  TStorage extends StorageBase = StorageBase,\n  TModels extends Record<string, ContractModelBase> = Record<string, ContractModel>,\n> = {\n  target?: string;\n  targetFamily?: string;\n  roots?: Record<string, string>;\n  models?: TModels;\n  storage?: Omit<TStorage, 'storageHash'>;\n  valueObjects?: Record<string, ContractValueObject>;\n  capabilities?: Record<string, Record<string, boolean>>;\n  extensionPacks?: Record<string, unknown>;\n  execution?: Omit<ExecutionSection, 'executionHash'>;\n  profileHash?: ProfileHashBase<string>;\n  meta?: Record<string, unknown>;\n};\n\nconst DUMMY_HASH = coreHash('sha256:test');\n\nexport function createContract<\n  TStorage extends StorageBase = StorageBase,\n  TModels extends Record<string, ContractModelBase> = Record<string, ContractModel>,\n>(overrides: ContractOverrides<TStorage, TModels> = {}): Contract<TStorage, TModels> {\n  const target = overrides.target ?? 'postgres';\n  const targetFamily = overrides.targetFamily ?? 'sql';\n  const capabilities = overrides.capabilities ?? {};\n\n  const rawStorage =\n    overrides.storage ?? ({ tables: {} } as unknown as Omit<TStorage, 'storageHash'>);\n\n  const storageHash = computeStorageHash({\n    target,\n    targetFamily,\n    storage: rawStorage as Record<string, unknown>,\n  });\n\n  const storage = {\n    ...rawStorage,\n    storageHash,\n  } as TStorage;\n\n  const computedProfileHash =\n    overrides.profileHash ?? computeProfileHash({ target, targetFamily, capabilities });\n\n  return {\n    target,\n    targetFamily,\n    roots: overrides.roots ?? {},\n    models: (overrides.models ?? {}) as TModels,\n    ...ifDefined('valueObjects', overrides.valueObjects),\n    storage,\n    capabilities,\n    extensionPacks: overrides.extensionPacks ?? {},\n    ...(overrides.execution !== undefined\n      ? {\n          execution: {\n            ...overrides.execution,\n            executionHash: computeExecutionHash({\n              target,\n              targetFamily,\n              execution: overrides.execution,\n            }),\n          },\n        }\n      : {}),\n    profileHash: computedProfileHash,\n    meta: overrides.meta ?? {},\n  };\n}\n\ntype SqlStorageLike = StorageBase & {\n  readonly tables: Record<string, unknown>;\n  readonly types?: Record<string, unknown>;\n};\n\ntype SqlModelLike = ContractModel<ModelStorageBase & { table: string }>;\n\nexport function createSqlContract(\n  overrides: ContractOverrides<SqlStorageLike, Record<string, SqlModelLike>> = {},\n): Contract<SqlStorageLike, Record<string, SqlModelLike>> {\n  return createContract<SqlStorageLike, Record<string, SqlModelLike>>({\n    target: 'postgres',\n    targetFamily: 'sql',\n    storage: overrides.storage ?? { tables: {} },\n    ...overrides,\n  });\n}\n\nexport { DUMMY_HASH };\n"],"mappings":";;;;AA6BA,MAAM,aAAa,SAAS,cAAc;AAE1C,SAAgB,eAGd,YAAkD,EAAE,EAA+B;CACnF,MAAM,SAAS,UAAU,UAAU;CACnC,MAAM,eAAe,UAAU,gBAAgB;CAC/C,MAAM,eAAe,UAAU,gBAAgB,EAAE;CAEjD,MAAM,aACJ,UAAU,WAAY,EAAE,QAAQ,EAAE,EAAE;CAEtC,MAAM,cAAc,mBAAmB;EACrC;EACA;EACA,SAAS;EACV,CAAC;CAEF,MAAM,UAAU;EACd,GAAG;EACH;EACD;CAED,MAAM,sBACJ,UAAU,eAAe,mBAAmB;EAAE;EAAQ;EAAc;EAAc,CAAC;CAErF,OAAO;EACL;EACA;EACA,OAAO,UAAU,SAAS,EAAE;EAC5B,QAAS,UAAU,UAAU,EAAE;EAC/B,GAAG,UAAU,gBAAgB,UAAU,aAAa;EACpD;EACA;EACA,gBAAgB,UAAU,kBAAkB,EAAE;EAC9C,GAAI,UAAU,cAAc,KAAA,IACxB,EACE,WAAW;GACT,GAAG,UAAU;GACb,eAAe,qBAAqB;IAClC;IACA;IACA,WAAW,UAAU;IACtB,CAAC;GACH,EACF,GACD,EAAE;EACN,aAAa;EACb,MAAM,UAAU,QAAQ,EAAE;EAC3B;;AAUH,SAAgB,kBACd,YAA6E,EAAE,EACvB;CACxD,OAAO,eAA6D;EAClE,QAAQ;EACR,cAAc;EACd,SAAS,UAAU,WAAW,EAAE,QAAQ,EAAE,EAAE;EAC5C,GAAG;EACJ,CAAC"}

package/dist/types-CVGwkRLa.mjs

@@ -0,0 +1,46 @@
+//#region src/types.ts
+function executionHash(value) {
+	return value;
+}
+function coreHash(value) {
+	return value;
+}
+function profileHash(value) {
+	return value;
+}
+/**
+* Runtime predicate for `ColumnDefaultLiteralInputValue`. Authoring layers
+* resolve template values from caller-supplied args (typed `unknown` at the
+* boundary) and need to validate before constructing a `ColumnDefault`.
+* Accepts JSON primitives, plain arrays/objects of JSON values, and `Date`
+* instances. Rejects functions, class instances (other than `Date`),
+* `undefined`, `bigint`, `symbol`, and arrays/objects containing those.
+*/
+function isColumnDefaultLiteralInputValue(value) {
+	if (value === null) return true;
+	const t = typeof value;
+	if (t === "string" || t === "number" || t === "boolean") return true;
+	if (value instanceof Date) return true;
+	if (Array.isArray(value)) return value.every(isColumnDefaultLiteralInputValue);
+	if (t === "object" && Object.getPrototypeOf(value) === Object.prototype) return Object.values(value).every(isColumnDefaultLiteralInputValue);
+	return false;
+}
+function isColumnDefault(value) {
+	if (typeof value !== "object" || value === null) return false;
+	const kind = value.kind;
+	if (kind === "literal") return "value" in value;
+	if (kind === "function") return typeof value.expression === "string";
+	return false;
+}
+function isExecutionMutationDefaultValue(value) {
+	if (typeof value !== "object" || value === null) return false;
+	const candidate = value;
+	if (candidate.kind !== "generator") return false;
+	if (typeof candidate.id !== "string") return false;
+	if (candidate.params !== void 0 && (typeof candidate.params !== "object" || candidate.params === null || Array.isArray(candidate.params))) return false;
+	return true;
+}
+//#endregion
+export { isExecutionMutationDefaultValue as a, isColumnDefaultLiteralInputValue as i, executionHash as n, profileHash as o, isColumnDefault as r, coreHash as t };
+
+//# sourceMappingURL=types-CVGwkRLa.mjs.map

package/dist/types-CVGwkRLa.mjs.map

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

package/dist/types.d.mts

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

package/dist/types.mjs

@@ -1,3 +1,2 @@
-import { n as executionHash, r as profileHash, t as coreHash } from "./types-aMyNgejf.mjs";
-
-export { coreHash, executionHash, profileHash };
+import { a as isExecutionMutationDefaultValue, i as isColumnDefaultLiteralInputValue, n as executionHash, o as profileHash, r as isColumnDefault, t as coreHash } from "./types-CVGwkRLa.mjs";
+export { coreHash, executionHash, isColumnDefault, isColumnDefaultLiteralInputValue, isExecutionMutationDefaultValue, profileHash };

package/dist/validate-contract.d.mts

@@ -1,4 +1,4 @@
-import { t as Contract } from "./contract-types-CmLTUrpi.mjs";
+import { t as Contract } from "./contract-types-Kl86EaEa.mjs";
 
 //#region src/validate-contract.d.ts
 type ContractValidationPhase = 'structural' | 'domain' | 'storage';

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

@@ -1 +1 @@
-{"version":3,"file":"validate-contract.d.mts","names":[],"sources":["../src/validate-contract.ts"],"sourcesContent":[],"mappings":";;;KAKY,uBAAA;cAEC,uBAAA,SAAgC,KAAA;EAFjC,SAAA,IAAA,GAAA,4BAAuB;EAEtB,SAAA,KAAA,EAEK,uBAFmB;EAEnB,WAAA,CAAA,OAAA,EAAA,MAAA,EAAA,KAAA,EAEoB,uBAFpB;;;;AAalB;AAqDA;AAAmD,KArDvC,gBAAA,GAqDuC,CAAA,QAAA,EArDT,QAqDS,EAAA,GAAA,IAAA;;;;;;;;;;;;;;;;;;;;iBAAnC,mCAAmC,4CAE/B,mBACjB"}
+{"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,3 +1,2 @@
-import { n as ContractValidationError, r as validateContract } from "./validate-domain-CpCcTlqJ.mjs";
-
-export { ContractValidationError, validateContract };
+import { n as ContractValidationError, r as validateContract } from "./validate-domain-WtPdBLia.mjs";
+export { ContractValidationError, validateContract };

package/dist/{validate-domain-CpCcTlqJ.mjs → validate-domain-WtPdBLia.mjs}

@@ -1,5 +1,4 @@
 import { type } from "arktype";
-
 //#region src/validate-contract.ts
 var ContractValidationError = class extends Error {
 	code = "CONTRACT.VALIDATION_FAILED";
@@ -65,7 +64,6 @@ function validateContract(value, storageValidator) {
 	storageValidator(contract);
 	return contract;
 }
-
 //#endregion
 //#region src/validate-domain.ts
 function validateContractDomain(contract) {
@@ -141,13 +139,13 @@ function forEachContractField(contract, callback) {
 }
 function validateValueObjectReferences(contract, errors) {
 	const voNames = new Set(Object.keys(contract.valueObjects ?? {}));
-	function checkType(type$1, location) {
-		if (!type$1) return;
-		if (type$1.kind === "valueObject" && type$1.name && !voNames.has(type$1.name)) {
-			errors.push(`${location} references value object "${type$1.name}" which does not exist in 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$1.kind === "union") for (const member of type$1.members ?? []) checkType(member, location);
+		if (type.kind === "union") for (const member of type.members ?? []) checkType(member, location);
 	}
 	forEachContractField(contract, (field, location) => {
 		checkType(field?.type, location);
@@ -159,7 +157,7 @@ function validateFieldModifiers(contract, errors) {
 		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-CpCcTlqJ.mjs.map
+
+//# sourceMappingURL=validate-domain-WtPdBLia.mjs.map

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

@@ -0,0 +1 @@
+{"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/dist/validate-domain.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"validate-domain.d.mts","names":[],"sources":["../src/validate-domain.ts"],"sourcesContent":[],"mappings":";UAEiB,gBAAA;EAAA,SAAA,MAAA,EACE,MADc,CAAA,MAAA,EAAA,OAAA,CAAA;EACd,SAAA,SAAA,CAAA,EACI,MADJ,CAAA,MAAA,EAAA;IACI,SAAA,EAAA,EAAA,MAAA;EAED,CAAA,CAAA;EAAM,SAAA,aAAA,CAAA,EAAA;IAKX,SAAA,KAAA,EAAA,MAAmB;EAClB,CAAA;EACgB,SAAA,QAAA,CAAA,EAPZ,MAOY,CAAA,MAAA,EAAA,OAAA,CAAA;EAAf,SAAA,IAAA,CAAA,EAAA,MAAA;EACyC,SAAA,KAAA,CAAA,EAAA,MAAA;;AAA5B,UAHf,mBAAA,CAGe;EAGhB,SAAA,KAAA,EALE,MAKF,CAAA,MAAsB,EAAA,MAAW,CAAA;mBAJ9B,eAAe;0BACR;qBAAkC;;;iBAG5C,sBAAA,WAAiC"}
+{"version":3,"file":"validate-domain.d.mts","names":[],"sources":["../src/validate-domain.ts"],"mappings":";UAEiB,gBAAA;EAAA,SACN,MAAA,EAAQ,MAAA;EAAA,SACR,SAAA,GAAY,MAAA;IAAA,SAA0B,EAAA;EAAA;EAAA,SACtC,aAAA;IAAA,SAA2B,KAAA;EAAA;EAAA,SAC3B,QAAA,GAAW,MAAA;EAAA,SACX,IAAA;EAAA,SACA,KAAA;AAAA;AAAA,UAGM,mBAAA;EAAA,SACN,KAAA,EAAO,MAAA;EAAA,SACP,MAAA,EAAQ,MAAA,SAAe,gBAAA;EAAA,SACvB,YAAA,GAAe,MAAA;IAAA,SAA0B,MAAA,EAAQ,MAAA;EAAA;AAAA;AAAA,iBAG5C,sBAAA,CAAuB,QAAA,EAAU,mBAAA"}

package/dist/validate-domain.mjs

@@ -1,3 +1,2 @@
-import { t as validateContractDomain } from "./validate-domain-CpCcTlqJ.mjs";
-
-export { validateContractDomain };
+import { t as validateContractDomain } from "./validate-domain-WtPdBLia.mjs";
+export { validateContractDomain };

package/package.json

@@ -1,20 +1,22 @@
 {
   "name": "@prisma-next/contract",
-  "version": "0.5.0-dev.9",
+  "version": "0.5.1",
+  "license": "Apache-2.0",
   "type": "module",
   "sideEffects": false,
   "description": "Data contract type definitions and JSON schema for Prisma Next",
   "dependencies": {
+    "@standard-schema/spec": "^1.1.0",
     "arktype": "^2.1.29",
-    "@prisma-next/utils": "0.5.0-dev.9"
+    "@prisma-next/utils": "0.5.1"
   },
   "devDependencies": {
-    "tsdown": "0.18.4",
+    "tsdown": "0.22.0",
     "typescript": "5.9.3",
-    "vitest": "4.0.17",
+    "vitest": "4.1.5",
+    "@prisma-next/tsconfig": "0.0.0",
     "@prisma-next/test-utils": "0.0.1",
-    "@prisma-next/tsdown": "0.0.0",
-    "@prisma-next/tsconfig": "0.0.0"
+    "@prisma-next/tsdown": "0.0.0"
   },
   "files": [
     "dist",

package/src/canonicalization.ts

@@ -98,6 +98,15 @@ function omitDefaults(obj: unknown, path: readonly string[]): unknown {
           ['storage', 'tables', 'foreignKeys'],
         );
 
+      // `storage.types.<name>.typeParams` is part of the StorageTypeInstance
+      // shape (validators require it). Preserve it even when empty so the
+      // emitted contract.json remains structurally valid after a round-trip.
+      const isStorageTypeTypeParams =
+        currentPath.length === 4 &&
+        currentPath[0] === 'storage' &&
+        currentPath[1] === 'types' &&
+        key === 'typeParams';
+
       const isFkBooleanField =
         currentPath.length === 5 &&
         currentPath[0] === 'storage' &&
@@ -124,7 +133,8 @@ function omitDefaults(obj: unknown, path: readonly string[]): unknown {
         !isTableIndexes &&
         !isTableForeignKeys &&
         !isFkBooleanField &&
-        !isNullableField
+        !isNullableField &&
+        !isStorageTypeTypeParams
       ) {
         continue;
       }

package/src/exports/types.ts

@@ -29,6 +29,7 @@ export type {
   DocIndex,
   ExecutionHashBase,
   ExecutionMutationDefault,
+  ExecutionMutationDefaultPhases,
   ExecutionMutationDefaultValue,
   ExecutionSection,
   Expr,
@@ -36,12 +37,17 @@ export type {
   GeneratedValueSpec,
   JsonPrimitive,
   JsonValue,
-  ParamDescriptor,
   PlanMeta,
-  PlanRefs,
   ProfileHashBase,
   Source,
   StorageBase,
   StorageHashBase,
 } from '../types';
-export { coreHash, executionHash, profileHash } from '../types';
+export {
+  coreHash,
+  executionHash,
+  isColumnDefault,
+  isColumnDefaultLiteralInputValue,
+  isExecutionMutationDefaultValue,
+  profileHash,
+} from '../types';

package/src/types.ts

@@ -80,6 +80,28 @@ export type ColumnDefaultLiteralValue = JsonValue;
 
 export type ColumnDefaultLiteralInputValue = ColumnDefaultLiteralValue | Date;
 
+/**
+ * Runtime predicate for `ColumnDefaultLiteralInputValue`. Authoring layers
+ * resolve template values from caller-supplied args (typed `unknown` at the
+ * boundary) and need to validate before constructing a `ColumnDefault`.
+ * Accepts JSON primitives, plain arrays/objects of JSON values, and `Date`
+ * instances. Rejects functions, class instances (other than `Date`),
+ * `undefined`, `bigint`, `symbol`, and arrays/objects containing those.
+ */
+export function isColumnDefaultLiteralInputValue(
+  value: unknown,
+): value is ColumnDefaultLiteralInputValue {
+  if (value === null) return true;
+  const t = typeof value;
+  if (t === 'string' || t === 'number' || t === 'boolean') return true;
+  if (value instanceof Date) return true;
+  if (Array.isArray(value)) return value.every(isColumnDefaultLiteralInputValue);
+  if (t === 'object' && Object.getPrototypeOf(value) === Object.prototype) {
+    return Object.values(value as Record<string, unknown>).every(isColumnDefaultLiteralInputValue);
+  }
+  return false;
+}
+
 export type ColumnDefault =
   | {
       readonly kind: 'literal';
@@ -87,18 +109,58 @@ export type ColumnDefault =
     }
   | { readonly kind: 'function'; readonly expression: string };
 
+export function isColumnDefault(value: unknown): value is ColumnDefault {
+  if (typeof value !== 'object' || value === null) return false;
+  const kind = (value as { kind?: unknown }).kind;
+  if (kind === 'literal') {
+    return 'value' in value;
+  }
+  if (kind === 'function') {
+    return typeof (value as { expression?: unknown }).expression === 'string';
+  }
+  return false;
+}
+
 export type ExecutionMutationDefaultValue = {
   readonly kind: 'generator';
   readonly id: GeneratedValueSpec['id'];
   readonly params?: Record<string, unknown>;
 };
 
+export function isExecutionMutationDefaultValue(
+  value: unknown,
+): value is ExecutionMutationDefaultValue {
+  if (typeof value !== 'object' || value === null) return false;
+  const candidate = value as {
+    kind?: unknown;
+    id?: unknown;
+    params?: unknown;
+  };
+  if (candidate.kind !== 'generator') return false;
+  if (typeof candidate.id !== 'string') return false;
+  if (
+    candidate.params !== undefined &&
+    (typeof candidate.params !== 'object' ||
+      candidate.params === null ||
+      Array.isArray(candidate.params))
+  ) {
+    return false;
+  }
+  return true;
+}
+
 export type ExecutionMutationDefault = {
   readonly ref: { readonly table: string; readonly column: string };
   readonly onCreate?: ExecutionMutationDefaultValue;
   readonly onUpdate?: ExecutionMutationDefaultValue;
 };
 
+/**
+ * `ExecutionMutationDefault` minus its `ref` — the per-field phases value
+ * authoring layers attach to a column before the column ref is known.
+ */
+export type ExecutionMutationDefaultPhases = Omit<ExecutionMutationDefault, 'ref'>;
+
 export type ExecutionSection<THash extends string = string> = {
   readonly executionHash: ExecutionHashBase<THash>;
   readonly mutations: {
@@ -135,27 +197,6 @@ export interface DocCollection {
   readonly readOnly?: boolean;
 }
 
-// Plan types - target-family agnostic execution types
-export interface ParamDescriptor {
-  readonly index?: number;
-  readonly name?: string;
-  readonly codecId?: string;
-  readonly nativeType?: string;
-  readonly nullable?: boolean;
-  readonly source: 'dsl' | 'raw' | 'lane';
-  readonly refs?: { table: string; column: string };
-}
-
-export interface PlanRefs {
-  readonly tables?: readonly string[];
-  readonly columns?: ReadonlyArray<{ table: string; column: string }>;
-  readonly indexes?: ReadonlyArray<{
-    readonly table: string;
-    readonly columns: ReadonlyArray<string>;
-    readonly name?: string;
-  }>;
-}
-
 export interface PlanMeta {
   readonly target: string;
   readonly targetFamily?: string;
@@ -163,17 +204,8 @@ export interface PlanMeta {
   readonly profileHash?: string;
   readonly lane: string;
   readonly annotations?: {
-    codecs?: Record<string, string>; // alias/param → codec id ('ns/name@v')
-    [key: string]: unknown;
+    readonly [key: string]: unknown;
   };
-  readonly paramDescriptors: ReadonlyArray<ParamDescriptor>;
-  readonly refs?: PlanRefs;
-  readonly projection?: Record<string, string> | ReadonlyArray<string>;
-  /**
-   * Optional mapping of projection alias → column type ID (fully qualified ns/name@version).
-   * Used for codec resolution when AST+refs don't provide enough type info.
-   */
-  readonly projectionTypes?: Record<string, string>;
 }
 
 /**
@@ -188,4 +220,5 @@ export interface ContractMarkerRecord {
   readonly updatedAt: Date;
   readonly appTag: string | null;
   readonly meta: Record<string, unknown>;
+  readonly invariants: readonly string[];
 }

package/dist/contract-types-CmLTUrpi.d.mts.map

@@ -1 +0,0 @@
-{"version":3,"file":"contract-types-CmLTUrpi.d.mts","names":[],"sources":["../src/domain-types.ts","../src/types.ts","../src/contract-types.ts"],"sourcesContent":[],"mappings":";KAAY,eAAA;EAAA,SAAA,IAAA,EAAA,QAAe;EAMf,SAAA,OAAA,EAAA,MAAoB;EAKpB,SAAA,UAAc,CAAA,EARF,MAQE,CAAA,MAAA,EAAA,OAAA,CAAA;CAEQ;AAAkB,KAPxC,oBAAA,GAOwC;EAAhC,SAAA,IAAA,EAAA,aAAA;EAAa,SAAA,IAAA,EAAA,MAAA;AAGjC,CAAA;AAAgC,KALpB,cAAA,GAKoB;EAAkB,SAAA,IAAA,EAAA,OAAA;EAAuB,SAAA,OAAA,EAHrD,aAGqD,CAHvC,eAGuC,GAHrB,oBAGqB,CAAA;CAAc;AAE3E,KAFA,iBAAA,GAAoB,eAIf,GAJiC,oBAIhB,GAJuC,cAIvC;AAKtB,KAPA,aAAA,GAOkB;EAKlB,SAAA,QAAA,EAAA,OAAA;EAMA,SAAA,IAAA,EAhBK,iBAgBgB;EAKrB,SAAA,IAAA,CAAA,EAAA,IAAgB;EAEhB,SAAA,IAAA,CAAA,EAAA,IAAA;AAIZ,CAAA;AAIY,KA1BA,kBAAA,GA0BmB;EAInB,SAAA,WAAgB,EAAA,SAAY,MAAA,EAAT;EAEd,SAAA,YAAiB,EAAA,SAAA,MAAA,EAAA;CAAuB;AAAmB,KA3BhE,yBAAA,GA2BgE;EAC1C,SAAA,EAAA,EAAA,MAAA;EAAf,SAAA,WAAA,EAAA,KAAA,GAAA,KAAA,GAAA,KAAA;EACkB,SAAA,EAAA,EA1BtB,kBA0BsB;CAAf;AACF,KAxBR,qBAAA,GAwBQ;EACO,SAAA,EAAA,EAAA,MAAA;EACU,SAAA,WAAA,EAAA,KAAA,GAAA,KAAA;CAAf;AAAM,KArBhB,gBAAA,GAAmB,yBAqBH,GArB+B,qBAqB/B;AAKX,KAxBL,qBAAA,GAwBkB;EAAuB,SAAA,KAAA,EAAA,MAAA;CAAmB;AAC5C,KArBhB,oBAAA,GAqBgB;EACM,SAAA,KAAA,EAAA,MAAA;CAAf;AADT,KAjBE,mBAAA,GAiBF;EAAiB,SAAA,MAAA,EAhBR,MAgBQ,CAAA,MAAA,EAhBO,aAgBP,CAAA;AAE1B,CAAA;AAKsE,KApB3D,gBAAA,GAAmB,QAoBwC,CApB/B,MAoB+B,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA;AAAf,UAlBvC,iBAkBuC,CAAA,sBAlBC,gBAkBD,GAlBoB,gBAkBpB,CAAA,CAAA;EAArC,SAAA,MAAA,EAjBA,MAiBA,CAAA,MAAA,EAjBe,aAiBf,CAAA;EAAM,SAAA,SAAA,EAhBH,MAgBG,CAAA,MAAA,EAhBY,gBAgBZ,CAAA;EAGb,SAAA,OAAA,EAlBQ,aAkBa;EACb,SAAA,aAAA,CAAA,EAlBO,qBAkBP;EACe,SAAA,QAAA,CAAA,EAlBb,MAkBa,CAAA,MAAA,EAlBE,oBAkBF,CAAA;EAErB,SAAA,IAAA,CAAA,EAAA,MAAA;EAAoB,SAAA,KAAA,CAAA,EAAA,MAAA;;AAA8C,UAf/D,aAe+D,CAAA,sBAf3B,gBAe2B,GAfR,gBAeQ,CAAA,SAdtE,iBAcsE,CAdpD,aAcoD,CAAA,CAAA;EAAwB,SAAA,MAAA,EAbrF,MAaqF,CAAA,MAAA,EAbtE,aAasE,CAAA;;KARnG,sBAAA,GASC;EAEE,SAAA,MAAA,EAVW,MAUX,CAAA,MAAA,EAAA;IAAoB,SAAA,SAAA,EAV4B,MAU5B,CAAA,MAAA,EAV2C,gBAU3C,CAAA;EAAS,CAAA,CAAA;AAErC,CAAA;AACoB,KAVR,qBAUQ,CAAA,kBATA,sBASA,EAAA,kBAAA,MAAA,GAAA,MARe,SAQf,CAAA,QAAA,CAAA,CAAA,GAAA,QACe,MAPrB,SAOqB,CAAA,QAAA,CAAA,CAPD,SAOC,CAAA,CAAA,WAAA,CAAA,GAPyB,SAOzB,CAAA,QAAA,CAAA,CAP6C,SAO7C,CAAA,CAAA,WAAA,CAAA,CAPqE,CAOrE,CAAA,SAPgF,yBAOhF,GAN7B,CAM6B,GAAA,KAAA,EAErB,CAAA,MANN,SAMM,CAAA,QAAA,CAAA,CANc,SAMd,CAAA,CAAA,WAAA,CAAA,CAAA;AAAoB,KAJtB,iBAIsB,CAAA,kBAHd,sBAGc,EAAA,kBAAA,MAAA,GAAA,MAFC,SAED,CAAA,QAAA,CAAA,CAAA,GAAA,QAA0B,MAA9C,SAA8C,CAAA,QAAA,CAAA,CAA1B,SAA0B,CAAA,CAAA,WAAA,CAAA,GAAA,SAAA,CAAA,QAAA,CAAA,CAAoB,SAApB,CAAA,CAAA,WAAA,CAAA,CAA4C,CAA5C,CAAA,SAAuD,yBAAvD,GAAA,KAAA,GAEtD,CAFsD,EAAoB,CAAA,MAGxE,SAHwE,CAAA,QAAA,CAAA,CAGpD,SAHoD,CAAA,CAAA,WAAA,CAAA,CAAA;;;;AA3FhF;AAMA;AAKY,cCRC,CDQa,EAAA,OAAA,MAAA;;;;;AAK1B;;AAAkD,KCLtC,KDKsC,CAAA,aAAA,MAAA,GAAA,MAAA,GAAA,MAAA,EAAA,SAAA,IAAA,CAAA,GAAA;EAAuB,CCJtE,CAAA,CDIsE,EAAA,QCH/D,IDG6E,GCHtE,MDGsE,EAE3E;AAOZ,CAAA;AAKA;AAMA;AAKA;AAEA;AAIA;AAIY,KC7BA,eD6BmB,CAAA,cACG,MAAA,CAAA,GC9BkB,KD8BjC,GC9ByC,KD8BnC,CAAA,aAAA,CAAA;AAGzB;AAEA;;;;AACmB,KC7BP,iBD6BO,CAAA,cAAA,MAAA,CAAA,GC7BmC,KD6BnC,GC7B2C,KD6B3C,CAAA,eAAA,CAAA;AACkB,iBC5BrB,aD4BqB,CAAA,gBAAA,MAAA,CAAA,CAAA,KAAA,EC5BwB,CD4BxB,CAAA,EC5B4B,iBD4B5B,CC5B8C,CD4B9C,CAAA;AAAf,iBCxBN,QDwBM,CAAA,gBAAA,MAAA,CAAA,CAAA,KAAA,ECxBkC,CDwBlC,CAAA,ECxBsC,eDwBtC,CCxBsD,CDwBtD,CAAA;;;;;;AAQL,KCvBL,eDuBkB,CAAA,cAAA,MAAA,CAAA,GCvBsB,KDuBtB,GCvB8B,KDuB9B,CAAA,aAAA,CAAA;AAAuB,iBCrBrC,WDqBqC,CAAA,gBAAA,MAAA,CAAA,CAAA,KAAA,ECrBM,CDqBN,CAAA,ECrBU,eDqBV,CCrB0B,CDqB1B,CAAA;;;;;;AAC1B,UCbV,WDaU,CAAA,cAAA,MAAA,GAAA,MAAA,CAAA,CAAA;EAMtB,SAAA,WAAA,EClBmB,eDkBG,CClBa,KDkBb,CAAA;;AAC6B,UChBvC,SAAA,CDgBuC;EAArC,SAAA,IAAA,EAAA,MAAA;EAAM,SAAA,QAAA,EAAA,OAAA;EAGb,SAAA,KAAA,CAAA,EChBO,SDgBc;EACb,SAAA,UAAA,CAAA,EChBI,MDgBJ,CAAA,MAAA,EChBmB,SDgBnB,CAAA;;AAGN,KChBF,kBAAA,GDgBE;EAAoB,SAAA,EAAA,EAAA,MAAA;EAA0B,SAAA,MAAA,CAAA,ECdxC,MDcwC,CAAA,MAAA,EAAA,OAAA,CAAA;CAAoB;AAAwB,KCX5F,aAAA,GDW4F,MAAA,GAAA,MAAA,GAAA,OAAA,GAAA,IAAA;AAAW,KCTvG,SAAA,GACR,aDQ+G,GAAA;EAC7G,UAAA,GAAA,EAAA,MAAA,CAAA,ECRwB,SDQxB;CAEE,GAAA,SCTK,SDSL,EAAA;AAAoB,KCPhB,yBAAA,GAA4B,SDOZ;AAAS,KCLzB,8BAAA,GAAiC,yBDKR,GCLoC,IDKpC;AAEzB,KCLA,aAAA,GDKiB;EACT,SAAA,IAAA,EAAA,SAAA;EACe,SAAA,KAAA,ECJb,8BDIa;CAErB,GAAA;EAAoB,SAAA,IAAA,EAAA,UAAA;EAA0B,SAAA,UAAA,EAAA,MAAA;CAAoB;AAAwB,KCF5F,6BAAA,GDE4F;EAAW,SAAA,IAAA,EAAA,WAAA;EAE7G,SAAA,EAAA,ECFS,kBDET,CAAA,IAAA,CAAA;EACE,SAAA,MAAA,CAAA,ECFY,MDEZ,CAAA,MAAA,EAAA,OAAA,CAAA;CAAoB;AAAS,KCCzB,wBAAA,GDDyB;;;;EC3FxB,CAAA;EAQD,SAAK,QAAA,CAAA,EAsFK,6BAtFL;EAEP,SAAA,QAAA,CAAA,EAqFY,6BArFZ;CAAO;AADd,KAyFS,gBAzFT,CAAA,cAAA,MAAA,GAAA,MAAA,CAAA,GAAA;EAAC,SAAA,aAAA,EA0FsB,iBA1FtB,CA0FwC,KA1FxC,CAAA;EAUQ,SAAA,SAAe,EAAA;IAOf,SAAA,QAAiB,EA2EN,aA3E+B,CA2EjB,wBA3E8B,CAAA;EAEnD,CAAA;CAA6C;AAAsB,UA6ElE,MAAA,CA7EkE;EAAlB,SAAA,QAAA,EAAA,OAAA;EAAiB,SAAA,UAAA,EA+E3D,MA/E2D,CAAA,MAAA,EA+E5C,SA/E4C,CAAA;EAIlE,SAAA,MAAQ,CAAA,EA4EJ,MA5EI,CAAA,MAAA,EAAA,OAAA,CAAA;EAAgC,SAAA,YAAA,CAAA,EA6E9B,MA7E8B,CAAA,MAAA,EAAA,OAAA,CAAA;;AAAI,UAiF3C,QAAA,CAjF2C;EAAe,SAAA,IAAA,EAAA,MAAA;EAS/D,SAAA,IAAA,EA0EK,MA1EU,CAAA,MAAA,EAAA,KAAyB,GAAA,MAAQ,CAAA;EAE5C,SAAA,MAAW,CAAA,EAAA,OAAA;EAAgC,SAAA,KAAA,CAAA,EA0ExC,IA1EwC;;AAAI,KA6EnD,IAAA,GA7EmD;EAAe,SAAA,IAAA,EAAA,IAAA;EAS7D,SAAA,IAAA,EAqEyB,aArEd,CAAA,MACY,CAAA;EAGvB,SAAA,KAAS,EAAA,OAAA;CAGP,GAAA;EACoB,SAAA,IAAA,EAAA,QAAA;EAAf,SAAA,IAAA,EA8DsB,aA9DtB,CAAA,MAAA,CAAA;CAAM;AAGlB,UA6DK,aAAA,CA7Da;EAKlB,SAAA,IAAA,EAAA,MAAa;EAEb,SAAA,EAAA,CAAS,EAAA;IACjB,SAAA,QAAA,EAAA,MAAA,GAAA,QAAA,GAAA,MAAA,GAAA,UAAA;EAC0B,CAAA;EACjB,SAAA,MAAA,EAwDM,MAxDN,CAAA,MAAA,EAwDqB,SAxDrB,CAAA;EAAS,SAAA,OAAA,CAAA,EAyDD,aAzDC,CAyDa,QAzDb,CAAA;EAEV,SAAA,QAAA,CAAA,EAAA,OAAA;AAEZ;AAEY,UAwDK,eAAA,CArDK;EAIV,SAAA,KAAA,CAAA,EAAA,MAAA;EAMA,SAAA,IAAA,CAAA,EAAA,MAAA;EAMA,SAAA,OAAA,CAAA,EAAgB,MAAA;EACgB,SAAA,UAAA,CAAA,EAAA,MAAA;EAAlB,SAAA,QAAA,CAAA,EAAA,OAAA;EAEW,SAAA,MAAA,EAAA,KAAA,GAAA,KAAA,GAAA,MAAA;EAAd,SAAA,IAAA,CAAA,EAAA;IAAa,KAAA,EAAA,MAAA;IAInB,MAAM,EAAA,MAAA;EAEe,CAAA;;AAClB,UAqCH,QAAA,CArCG;EACM,SAAA,MAAA,CAAA,EAAA,SAAA,MAAA,EAAA;EAAM,SAAA,OAAA,CAAA,EAsCX,aAtCW,CAAA;IAIf,KAAA,EAAQ,MAAA;IAOb,MAAI,EAAA,MAAA;EAIC,CAAA,CAAA;EAKiB,SAAA,OAAA,CAAA,EAmBb,aAnBa,CAAA;IAAf,SAAA,KAAA,EAAA,MAAA;IACgB,SAAA,OAAA,EAoBb,aApBa,CAAA,MAAA,CAAA;IAAd,SAAA,IAAA,CAAA,EAAA,MAAA;EAAa,CAAA,CAAA;AAKlC;AAUiB,UAUA,QAAA,CAVQ;EAEJ,SAAA,MAAA,EAAA,MAAA;EAGC,SAAA,YAAA,CAAA,EAAA,MAAA;EAFD,SAAA,WAAA,EAAA,MAAA;EAAa,SAAA,WAAA,CAAA,EAAA,MAAA;EAOjB,SAAA,IAAQ,EAAA,MAAA;EAOZ,SAAA,WAAA,CAAA,EAAA;IAG8B,MAAA,CAAA,EAH9B,MAG8B,CAAA,MAAA,EAAA,MAAA,CAAA;IAAd,CAAA,GAAA,EAAA,MAAA,CAAA,EAAA,OAAA;EACX,CAAA;EACM,SAAA,gBAAA,EAFK,aAEL,CAFmB,eAEnB,CAAA;EAAyB,SAAA,IAAA,CAAA,EAD/B,QAC+B;EAKpB,SAAA,UAAA,CAAA,EALL,MAKK,CAAA,MAAA,EAAA,MAAA,CAAA,GALoB,aAKpB,CAAA,MAAA,CAAA;EAAM;AAOnC;;;6BAP6B;AC9J7B;;;;;AAGoC,UDkKnB,oBAAA,CClKmB;EAmBnB,SAAA,WAAQ,EAAA,MAAA;EACN,SAAA,WAAA,EAAA,MAAA;EAAc,SAAA,YAAA,EAAA,OAAA,GAAA,IAAA;EACA,SAAA,gBAAA,EAAA,MAAA,GAAA,IAAA;EAAf,SAAA,SAAA,EDkJI,IClJJ;EAAmD,SAAA,MAAA,EAAA,MAAA,GAAA,IAAA;EAAf,SAAA,IAAA,EDoJrC,MCpJqC,CAAA,MAAA,EAAA,OAAA,CAAA;;;;AFnCtD;AAKA;;;;;AAKA;;;AAAyE,KEC7D,wBFD6D,CAAA,cAAA,MAAA,GAAA,MAAA,CAAA,GAAA;EAAc,SAAA,aAAA,EEE7D,iBFF6D,CEE3C,KFF2C,CAAA;EAE3E,SAAA,SAAa,EAAA;IAOb,SAAA,QAAkB,EELP,aFKO,CELO,wBFKP,CAAA;EAKlB,CAAA;AAMZ,CAAA;AAKA;AAEA;AAIA;AAIA;AAIA;AAEA;;;;;;;;;;AAKsB,UEvBL,QFuBK,CAAA,iBEtBH,WFsBG,GEtBW,WFsBX,EAAA,gBErBJ,MFqBI,CAAA,MAAA,EErBW,iBFqBX,CAAA,GErBgC,MFqBhC,CAAA,MAAA,EErB+C,iBFqB/C,CAAA,CAAA,CAAA;EAAM,SAAA,MAAA,EAAA,MAAA;EAKX,SAAA,YAAa,EAAA,MAAA;EAAuB,SAAA,KAAA,EEtBnC,MFsBmC,CAAA,MAAA,EAAA,MAAA,CAAA;EAAmB,SAAA,MAAA,EErBrD,OFqBqD;EAC5C,SAAA,YAAA,CAAA,EErBF,MFqBE,CAAA,MAAA,EErBa,mBFqBb,CAAA;EACM,SAAA,OAAA,EErBd,QFqBc;EAAf,SAAA,YAAA,EEpBM,MFoBN,CAAA,MAAA,EEpBqB,MFoBrB,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA;EADT,SAAA,cAAA,EElBiB,MFkBjB,CAAA,MAAA,EAAA,OAAA,CAAA;EAAiB,SAAA,SAAA,CAAA,EEjBJ,wBFiBI;EAMtB,SAAA,WAAA,EEtBmB,eFsBG,CAAA,MAAA,CAAA;EAC4C,SAAA,IAAA,EEtBtD,MFsBsD,CAAA,MAAA,EAAA,OAAA,CAAA"}

package/dist/hashing-CyaA_Qvf.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"hashing-CyaA_Qvf.mjs","names":["result: Record<string, unknown>","sorted: Record<string, unknown>","result: StorageObject","sortedTable: TableObject","ordered: Record<string, unknown>"],"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      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      ) {\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;AAC/C,KAAI,UAAU,MAAO,QAAO;AAC5B,KAAI,UAAU,KAAM,QAAO;AAC3B,KAAI,MAAM,QAAQ,MAAM,IAAI,MAAM,WAAW,EAAG,QAAO;AACvD,KAAI,OAAO,UAAU,YAAY,UAAU,KAEzC,QADa,OAAO,KAAK,MAAM,CACnB,WAAW;AAEzB,QAAO;;AAGT,SAAS,aAAa,KAAc,MAAkC;AACpE,KAAI,QAAQ,QAAQ,OAAO,QAAQ,SACjC,QAAO;AAGT,KAAI,MAAM,QAAQ,IAAI,CACpB,QAAO,IAAI,KAAK,SAAS,aAAa,MAAM,KAAK,CAAC;CAGpD,MAAMA,SAAkC,EAAE;AAE1C,MAAK,MAAM,CAAC,KAAK,UAAU,OAAO,QAAQ,IAAI,EAAE;EAC9C,MAAM,cAAc,CAAC,GAAG,MAAM,IAAI;AAElC,MAAI,QAAQ,aACV;AAGF,MAAI,QAAQ,eAAe,UAAU,MACnC;AAGF,OAAK,QAAQ,cAAc,QAAQ,eAAe,UAAU,WAC1D;AAGF,MAAI,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;GAEH,MAAM,mBACJ,YAAY,WAAW,KACvB,YAAY,OAAO,aACnB,YAAY,OAAO,YACnB,YAAY,OAAO,kBAClB,QAAQ,gBAAgB,QAAQ;AAInC,OACE,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,YAqB9B;;AAIJ,SAAO,OAAO,aAAa,OAAO,YAAY;;AAGhD,QAAO;;AAGT,SAAS,eAAe,KAAuB;AAC7C,KAAI,QAAQ,QAAQ,OAAO,QAAQ,SACjC,QAAO;AAGT,KAAI,MAAM,QAAQ,IAAI,CACpB,QAAO,IAAI,KAAK,SAAS,eAAe,KAAK,CAAC;CAGhD,MAAMC,SAAkC,EAAE;CAC1C,MAAM,OAAO,OAAO,KAAK,IAAI,CAAC,MAAM;AACpC,MAAK,MAAM,OAAO,KAChB,QAAO,OAAO,eAAgB,IAAgC,KAAK;AAGrE,QAAO;;AAcT,SAAS,sBAAsB,SAA2B;AACxD,KAAI,CAAC,WAAW,OAAO,YAAY,SACjC,QAAO;CAGT,MAAM,aAAa;AACnB,KAAI,CAAC,WAAW,UAAU,OAAO,WAAW,WAAW,SACrD,QAAO;CAGT,MAAM,SAAS,WAAW;CAC1B,MAAMC,SAAwB,EAAE,GAAG,YAAY;AAE/C,QAAO,SAAS,EAAE;CAClB,MAAM,mBAAmB,OAAO,KAAK,OAAO,CAAC,MAAM;AACnD,MAAK,MAAM,aAAa,kBAAkB;EACxC,MAAM,QAAQ,OAAO;AACrB,MAAI,CAAC,SAAS,OAAO,UAAU,UAAU;AACvC,UAAO,OAAO,aAAa;AAC3B;;EAGF,MAAM,WAAW;EACjB,MAAMC,cAA2B,EAAE,GAAG,UAAU;AAEhD,MAAI,MAAM,QAAQ,SAAS,QAAQ,CACjC,aAAY,UAAU,CAAC,GAAG,SAAS,QAAQ,CAAC,MAAM,GAAG,MAAM;GACzD,MAAM,QAAS,GAAyB,QAAQ;GAChD,MAAM,QAAS,GAAyB,QAAQ;AAChD,UAAO,MAAM,cAAc,MAAM;IACjC;AAGJ,MAAI,MAAM,QAAQ,SAAS,QAAQ,CACjC,aAAY,UAAU,CAAC,GAAG,SAAS,QAAQ,CAAC,MAAM,GAAG,MAAM;GACzD,MAAM,QAAS,GAAyB,QAAQ;GAChD,MAAM,QAAS,GAAyB,QAAQ;AAChD,UAAO,MAAM,cAAc,MAAM;IACjC;AAGJ,SAAO,OAAO,aAAa;;AAG7B,QAAO;;AAGT,SAAgB,cAAc,KAAuD;CACnF,MAAMC,UAAmC,EAAE;CAC3C,MAAM,YAAY,IAAI,IAAI,OAAO,KAAK,IAAI,CAAC;AAE3C,MAAK,MAAM,OAAO,gBAChB,KAAI,UAAU,IAAI,IAAI,EAAE;AACtB,UAAQ,OAAO,IAAI;AACnB,YAAU,OAAO,IAAI;;AAIzB,MAAK,MAAM,OAAO,MAAM,KAAK,UAAU,CAAC,MAAM,CAC5C,SAAQ,OAAO,IAAI;AAGrB,QAAO;;AAGT,SAAgB,6BACd,UACA,SACyB;CAezB,MAAM,sBAAsB,aAdgB;EAC1C,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;EAChB,EACoD,EAAE,CAAC;CACxD,MAAM,oBAAoB,sBAAsB,oBAAoB,WAAW;AAG/E,QAAO,cADgB,eADG;EAAE,GAAG;EAAqB,SAAS;EAAmB,CACxB,CACpB;;AAGtC,SAAgB,qBACd,UACA,SACQ;AACR,QAAO,KAAK,UAAU,6BAA6B,UAAU,QAAQ,EAAE,MAAM,EAAE;;;;;AChQjF,MAAM,iBAAiB;AAEvB,SAAS,OAAO,SAAyB;CACvC,MAAM,OAAO,WAAW,SAAS;AACjC,MAAK,OAAO,QAAQ;AACpB,QAAO,UAAU,KAAK,OAAO,MAAM;;AAGrC,SAAS,aAAa,SAA0C;AAc9D,QAAO,qBAbU;EACf,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;EACJ,EACqC,EAAE,eAAe,gBAAgB,CAAC;;AAG1E,SAAgB,mBAAmB,MAIP;AAC1B,QAAO,OAAO,aAAa,KAAK,CAAC;;AAGnC,SAAgB,qBAAqB,MAIP;AAC5B,QAAO,OAAO,aAAa,KAAK,CAAC;;AAGnC,SAAgB,mBAAmB,MAIP;AAC1B,QAAO,OAAO,aAAa,KAAK,CAAC"}

package/dist/types-aMyNgejf.mjs

@@ -1,14 +0,0 @@
-//#region src/types.ts
-function executionHash(value) {
-	return value;
-}
-function coreHash(value) {
-	return value;
-}
-function profileHash(value) {
-	return value;
-}
-
-//#endregion
-export { executionHash as n, profileHash as r, coreHash as t };
-//# sourceMappingURL=types-aMyNgejf.mjs.map

package/dist/types-aMyNgejf.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"types-aMyNgejf.mjs","names":[],"sources":["../src/types.ts"],"sourcesContent":["/**\n * Unique symbol used as the key for branding types.\n */\nexport const $: unique symbol = Symbol('__prisma_next_brand__');\n\n/**\n * A helper type to brand a given type with a unique identifier.\n *\n * @template TKey Text used as the brand key.\n * @template TValue Optional value associated with the brand key. Defaults to `true`.\n */\nexport type Brand<TKey extends string | number | symbol, TValue = true> = {\n  [$]: {\n    [K in TKey]: TValue;\n  };\n};\n\n/**\n * Base type for storage contract hashes.\n * Emitted contract.d.ts files use this with the hash value as a type parameter:\n * `type StorageHash = StorageHashBase<'sha256:abc123...'>`\n */\nexport type StorageHashBase<THash extends string> = THash & Brand<'StorageHash'>;\n\n/**\n * Base type for execution contract hashes.\n * Emitted contract.d.ts files use this with the hash value as a type parameter:\n * `type ExecutionHash = ExecutionHashBase<'sha256:def456...'>`\n */\nexport type ExecutionHashBase<THash extends string> = THash & Brand<'ExecutionHash'>;\n\nexport function executionHash<const T extends string>(value: T): ExecutionHashBase<T> {\n  return value as ExecutionHashBase<T>;\n}\n\nexport function coreHash<const T extends string>(value: T): StorageHashBase<T> {\n  return value as StorageHashBase<T>;\n}\n\n/**\n * Base type for profile contract hashes.\n * Emitted contract.d.ts files use this with the hash value as a type parameter:\n * `type ProfileHash = ProfileHashBase<'sha256:def456...'>`\n */\nexport type ProfileHashBase<THash extends string> = THash & Brand<'ProfileHash'>;\n\nexport function profileHash<const T extends string>(value: T): ProfileHashBase<T> {\n  return value as ProfileHashBase<T>;\n}\n\n/**\n * Base type for family-specific storage blocks.\n * Family storage types (SqlStorage, MongoStorage, etc.) extend this to carry the\n * storage hash alongside family-specific data (tables, collections, etc.).\n */\nexport interface StorageBase<THash extends string = string> {\n  readonly storageHash: StorageHashBase<THash>;\n}\n\nexport interface FieldType {\n  readonly type: string;\n  readonly nullable: boolean;\n  readonly items?: FieldType;\n  readonly properties?: Record<string, FieldType>;\n}\n\nexport type GeneratedValueSpec = {\n  readonly id: string;\n  readonly params?: Record<string, unknown>;\n};\n\nexport type JsonPrimitive = string | number | boolean | null;\n\nexport type JsonValue =\n  | JsonPrimitive\n  | { readonly [key: string]: JsonValue }\n  | readonly JsonValue[];\n\nexport type ColumnDefaultLiteralValue = JsonValue;\n\nexport type ColumnDefaultLiteralInputValue = ColumnDefaultLiteralValue | Date;\n\nexport type ColumnDefault =\n  | {\n      readonly kind: 'literal';\n      readonly value: ColumnDefaultLiteralInputValue;\n    }\n  | { readonly kind: 'function'; readonly expression: string };\n\nexport type ExecutionMutationDefaultValue = {\n  readonly kind: 'generator';\n  readonly id: GeneratedValueSpec['id'];\n  readonly params?: Record<string, unknown>;\n};\n\nexport type ExecutionMutationDefault = {\n  readonly ref: { readonly table: string; readonly column: string };\n  readonly onCreate?: ExecutionMutationDefaultValue;\n  readonly onUpdate?: ExecutionMutationDefaultValue;\n};\n\nexport type ExecutionSection<THash extends string = string> = {\n  readonly executionHash: ExecutionHashBase<THash>;\n  readonly mutations: {\n    readonly defaults: ReadonlyArray<ExecutionMutationDefault>;\n  };\n};\n\nexport interface Source {\n  readonly readOnly: boolean;\n  readonly projection: Record<string, FieldType>;\n  readonly origin?: Record<string, unknown>;\n  readonly capabilities?: Record<string, boolean>;\n}\n\n// Document family types\nexport interface DocIndex {\n  readonly name: string;\n  readonly keys: Record<string, 'asc' | 'desc'>;\n  readonly unique?: boolean;\n  readonly where?: Expr;\n}\n\nexport type Expr =\n  | { readonly kind: 'eq'; readonly path: ReadonlyArray<string>; readonly value: unknown }\n  | { readonly kind: 'exists'; readonly path: ReadonlyArray<string> };\n\nexport interface DocCollection {\n  readonly name: string;\n  readonly id?: {\n    readonly strategy: 'auto' | 'client' | 'uuid' | 'objectId';\n  };\n  readonly fields: Record<string, FieldType>;\n  readonly indexes?: ReadonlyArray<DocIndex>;\n  readonly readOnly?: boolean;\n}\n\n// Plan types - target-family agnostic execution types\nexport interface ParamDescriptor {\n  readonly index?: number;\n  readonly name?: string;\n  readonly codecId?: string;\n  readonly nativeType?: string;\n  readonly nullable?: boolean;\n  readonly source: 'dsl' | 'raw' | 'lane';\n  readonly refs?: { table: string; column: string };\n}\n\nexport interface PlanRefs {\n  readonly tables?: readonly string[];\n  readonly columns?: ReadonlyArray<{ table: string; column: string }>;\n  readonly indexes?: ReadonlyArray<{\n    readonly table: string;\n    readonly columns: ReadonlyArray<string>;\n    readonly name?: string;\n  }>;\n}\n\nexport interface PlanMeta {\n  readonly target: string;\n  readonly targetFamily?: string;\n  readonly storageHash: string;\n  readonly profileHash?: string;\n  readonly lane: string;\n  readonly annotations?: {\n    codecs?: Record<string, string>; // alias/param → codec id ('ns/name@v')\n    [key: string]: unknown;\n  };\n  readonly paramDescriptors: ReadonlyArray<ParamDescriptor>;\n  readonly refs?: PlanRefs;\n  readonly projection?: Record<string, string> | ReadonlyArray<string>;\n  /**\n   * Optional mapping of projection alias → column type ID (fully qualified ns/name@version).\n   * Used for codec resolution when AST+refs don't provide enough type info.\n   */\n  readonly projectionTypes?: Record<string, string>;\n}\n\n/**\n * Contract marker record stored in the database.\n * Represents the current contract identity for a database.\n */\nexport interface ContractMarkerRecord {\n  readonly storageHash: string;\n  readonly profileHash: string;\n  readonly contractJson: unknown | null;\n  readonly canonicalVersion: number | null;\n  readonly updatedAt: Date;\n  readonly appTag: string | null;\n  readonly meta: Record<string, unknown>;\n}\n"],"mappings":";AA+BA,SAAgB,cAAsC,OAAgC;AACpF,QAAO;;AAGT,SAAgB,SAAiC,OAA8B;AAC7E,QAAO;;AAUT,SAAgB,YAAoC,OAA8B;AAChF,QAAO"}

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

@@ -1 +0,0 @@
-{"version":3,"file":"validate-domain-CpCcTlqJ.mjs","names":["errors: string[]","type"],"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,AAAS,OAAO;CAChB,AAAS;CAET,YAAY,SAAiB,OAAgC;AAC3D,QAAM,QAAQ;AACd,OAAK,OAAO;AACZ,OAAK,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;AACtD,QAAO;;AAGT,SAAS,mBAAmB,UAAyC;AACnE,QAAO;EACL,OAAO,SAAS;EAChB,QAAQ,SAAS;EACjB,GAAI,SAAS,eAAe,EAAE,cAAc,SAAS,cAAc,GAAG,EAAE;EACzE;;;;;;;;;;;;;;;;;;;;;AAsBH,SAAgB,iBACd,OACA,kBACW;AACX,KAAI,OAAO,UAAU,YAAY,UAAU,KACzC,OAAM,IAAI,wBAAwB,sCAAsC,aAAa;CAKvF,MAAM,SAAS,eAFE,uBAAuB,MAAiC,CAElC;AACvC,KAAI,kBAAkB,KAAK,OACzB,OAAM,IAAI,wBACR,+BAA+B,OAAO,WACtC,aACD;CAGH,MAAM,WAAW;AAEjB,wBAAuB,mBAAmB,SAAS,CAAC;AAEpD,kBAAiB,SAAS;AAE1B,QAAO;;;;;AClFT,SAAgB,uBAAuB,UAAqC;CAC1E,MAAMA,SAAmB,EAAE;CAC3B,MAAM,aAAa,IAAI,IAAI,OAAO,KAAK,SAAS,OAAO,CAAC;AAExD,eAAc,UAAU,YAAY,OAAO;AAC3C,0BAAyB,UAAU,YAAY,OAAO;AACtD,yBAAwB,UAAU,YAAY,OAAO;AACrD,wBAAuB,UAAU,OAAO;AACxC,mBAAkB,UAAU,YAAY,OAAO;AAC/C,+BAA8B,UAAU,OAAO;AAC/C,wBAAuB,UAAU,OAAO;AAExC,KAAI,OAAO,SAAS,EAClB,OAAM,IAAI,wBACR,yCAAyC,OAAO,KAAK,OAAO,IAC5D,SACD;;AAIL,SAAS,cACP,UACA,YACA,QACM;CACN,MAAM,6BAAa,IAAI,KAAa;AACpC,MAAK,MAAM,CAAC,SAAS,cAAc,OAAO,QAAQ,SAAS,MAAM,EAAE;AACjE,MAAI,WAAW,IAAI,UAAU,CAC3B,QAAO,KAAK,0BAA0B,UAAU,mCAAmC;AAErF,aAAW,IAAI,UAAU;AAEzB,MAAI,CAAC,WAAW,IAAI,UAAU,CAC5B,QAAO,KACL,SAAS,QAAQ,sBAAsB,UAAU,kCAClD;;;AAKP,SAAS,yBACP,UACA,YACA,QACM;CACN,MAAM,SAAS,IAAI,IAAI,OAAO,QAAQ,SAAS,OAAO,CAAC;AAEvD,MAAK,MAAM,CAAC,WAAW,UAAU,QAAQ;AACvC,MAAI,MAAM,SACR,MAAK,MAAM,eAAe,OAAO,KAAK,MAAM,SAAS,EAAE;AACrD,OAAI,CAAC,WAAW,IAAI,YAAY,EAAE;AAChC,WAAO,KACL,UAAU,UAAU,mBAAmB,YAAY,kCACpD;AACD;;GAEF,MAAM,eAAe,OAAO,IAAI,YAAY;AAC5C,OAAI,CAAC,aAAc;AACnB,OAAI,aAAa,SAAS,UACxB,QAAO,KACL,YAAY,YAAY,cAAc,aAAa,QAAQ,SAAS,kBAAkB,UAAU,GACjG;;AAKP,MAAI,MAAM,MAAM;AACd,OAAI,CAAC,WAAW,IAAI,MAAM,KAAK,EAAE;AAC/B,WAAO,KAAK,UAAU,UAAU,cAAc,MAAM,KAAK,kCAAkC;AAC3F;;GAEF,MAAM,YAAY,OAAO,IAAI,MAAM,KAAK;AACxC,OAAI,CAAC,UAAW;AAChB,OAAI,CAAC,UAAU,YAAY,CAAC,OAAO,OAAO,UAAU,UAAU,UAAU,CACtE,QAAO,KACL,UAAU,UAAU,cAAc,MAAM,KAAK,uCAC9C;;;;AAMT,SAAS,wBACP,UACA,YACA,QACM;AACN,MAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,SAAS,OAAO,CAC9D,MAAK,MAAM,CAAC,SAAS,aAAa,OAAO,QAAQ,MAAM,aAAa,EAAE,CAAC,CACrE,KAAI,CAAC,WAAW,IAAI,SAAS,GAAG,CAC9B,QAAO,KACL,aAAa,QAAQ,cAAc,UAAU,aAAa,SAAS,GAAG,kCACvE;;AAMT,SAAS,uBAAuB,UAA+B,QAAwB;AACrF,MAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,SAAS,OAAO,EAAE;AAChE,MAAI,MAAM,eAAe;AACvB,OAAI,CAAC,MAAM,YAAY,OAAO,KAAK,MAAM,SAAS,CAAC,WAAW,EAC5D,QAAO,KAAK,UAAU,UAAU,qCAAqC;AAEvE,OAAI,CAAC,OAAO,OAAO,MAAM,QAAQ,MAAM,cAAc,MAAM,CACzD,QAAO,KACL,wBAAwB,MAAM,cAAc,MAAM,6BAA6B,UAAU,GAC1F;;AAIL,MAAI,MAAM,YAAY,OAAO,KAAK,MAAM,SAAS,CAAC,SAAS,KAAK,CAAC,MAAM,cACrE,QAAO,KAAK,UAAU,UAAU,qCAAqC;AAGvE,MAAI,MAAM,MAAM;AACd,OAAI,MAAM,cACR,QAAO,KAAK,UAAU,UAAU,4CAA4C;AAE9E,OAAI,MAAM,YAAY,OAAO,KAAK,MAAM,SAAS,CAAC,SAAS,EACzD,QAAO,KAAK,UAAU,UAAU,uCAAuC;;;;AAM/E,SAAS,kBACP,UACA,YACA,QACM;AACN,MAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,SAAS,OAAO,EAAE;AAChE,MAAI,CAAC,MAAM,MAAO;AAElB,MAAI,MAAM,UAAU,UAClB,QAAO,KAAK,UAAU,UAAU,qBAAqB;AAGvD,MAAI,CAAC,WAAW,IAAI,MAAM,MAAM,CAC9B,QAAO,KAAK,UAAU,UAAU,eAAe,MAAM,MAAM,kCAAkC;AAG/F,OAAK,MAAM,CAAC,SAAS,cAAc,OAAO,QAAQ,SAAS,MAAM,CAC/D,KAAI,cAAc,UAChB,QAAO,KACL,gBAAgB,UAAU,6CAA6C,QAAQ,IAChF;;;AAkBT,SAAS,qBACP,UACA,UACM;AACN,MAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,SAAS,OAAO,CAC9D,MAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,MAAM,OAAO,CAC3D,UAAS,OAAO,UAAU,UAAU,WAAW,UAAU,GAAG;AAGhE,MAAK,MAAM,CAAC,QAAQ,OAAO,OAAO,QAAQ,SAAS,gBAAgB,EAAE,CAAC,CACpE,MAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,GAAG,OAAO,CACxD,UAAS,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,QAAiC,UAAwB;AAC1E,MAAI,CAACC,OAAM;AACX,MAAIA,OAAK,SAAS,iBAAiBA,OAAK,QAAQ,CAAC,QAAQ,IAAIA,OAAK,KAAK,EAAE;AACvE,UAAO,KACL,GAAG,SAAS,4BAA4BA,OAAK,KAAK,wCACnD;AACD;;AAEF,MAAIA,OAAK,SAAS,QAChB,MAAK,MAAM,UAAUA,OAAK,WAAW,EAAE,CAAE,WAAU,QAAQ,SAAS;;AAIxE,sBAAqB,WAAW,OAAO,aAAa;AAElD,YADU,OACG,MAAM,SAAS;GAC5B;;AAGJ,SAAS,uBAAuB,UAA+B,QAAwB;AACrF,sBAAqB,WAAW,OAAO,aAAa;EAClD,MAAM,IAAI;AACV,MAAI,GAAG,QAAQ,GAAG,KAChB,QAAO,KAAK,GAAG,SAAS,+CAA+C;GAEzE"}