@prisma-next/sql-contract-ts 0.13.0-dev.3 → 0.13.0-dev.31

package/src/contract-lowering.ts

@@ -1,10 +1,6 @@
 import type { ColumnTypeDescriptor } from '@prisma-next/framework-components/codec';
 import type { ExtensionPackRef } from '@prisma-next/framework-components/components';
-import {
-  isPostgresEnumStorageEntry,
-  type PostgresEnumStorageEntry,
-  type StorageTypeInstance,
-} from '@prisma-next/sql-contract/types';
+import type { StorageTypeInstance } from '@prisma-next/sql-contract/types';
 import { ifDefined } from '@prisma-next/utils/defined';
 import type {
   ContractDefinition,
@@ -59,15 +55,15 @@ type RuntimeModelSpec = {
 };
 
 type RuntimeCollection = {
-  readonly storageTypes: Record<string, StorageTypeInstance | PostgresEnumStorageEntry>;
+  readonly storageTypes: Record<string, StorageTypeInstance>;
   readonly models: Record<string, RuntimeModel>;
   readonly modelSpecs: ReadonlyMap<string, RuntimeModelSpec>;
 };
 
 function buildStorageTypeReverseLookup(
-  storageTypes: Record<string, StorageTypeInstance | PostgresEnumStorageEntry>,
-): ReadonlyMap<StorageTypeInstance | PostgresEnumStorageEntry, string> {
-  const lookup = new Map<StorageTypeInstance | PostgresEnumStorageEntry, string>();
+  storageTypes: Record<string, StorageTypeInstance>,
+): ReadonlyMap<StorageTypeInstance, string> {
+  const lookup = new Map<StorageTypeInstance, string>();
   for (const [key, instance] of Object.entries(storageTypes)) {
     lookup.set(instance, key);
   }
@@ -78,8 +74,8 @@ function resolveFieldDescriptor(
   modelName: string,
   fieldName: string,
   fieldState: FieldStateOf<ScalarFieldBuilder>,
-  storageTypes: Record<string, StorageTypeInstance | PostgresEnumStorageEntry>,
-  storageTypeReverseLookup: ReadonlyMap<StorageTypeInstance | PostgresEnumStorageEntry, string>,
+  storageTypes: Record<string, StorageTypeInstance>,
+  storageTypeReverseLookup: ReadonlyMap<StorageTypeInstance, string>,
 ): ColumnTypeDescriptor {
   if ('descriptor' in fieldState && fieldState.descriptor) {
     return fieldState.descriptor;
@@ -96,9 +92,7 @@ function resolveFieldDescriptor(
     const typeRef =
       typeof fieldState.typeRef === 'string'
         ? fieldState.typeRef
-        : storageTypeReverseLookup.get(
-            fieldState.typeRef as StorageTypeInstance | PostgresEnumStorageEntry,
-          );
+        : storageTypeReverseLookup.get(fieldState.typeRef as StorageTypeInstance);
 
     if (!typeRef) {
       throw new Error(
@@ -113,11 +107,8 @@ function resolveFieldDescriptor(
       );
     }
 
-    const codecId = isPostgresEnumStorageEntry(referencedType)
-      ? referencedType.codecId
-      : referencedType.codecId;
     return {
-      codecId,
+      codecId: referencedType.codecId,
       nativeType: referencedType.nativeType,
       typeRef,
     };
@@ -705,8 +696,8 @@ function resolveForeignKeyNodes(
 function resolveModelNode(
   spec: RuntimeModelSpec,
   allSpecs: ReadonlyMap<string, RuntimeModelSpec>,
-  storageTypes: Record<string, StorageTypeInstance | PostgresEnumStorageEntry>,
-  storageTypeReverseLookup: ReadonlyMap<StorageTypeInstance | PostgresEnumStorageEntry, string>,
+  storageTypes: Record<string, StorageTypeInstance>,
+  storageTypeReverseLookup: ReadonlyMap<StorageTypeInstance, string>,
   extensionPacks?: Record<string, ExtensionPackRef<'sql', string>>,
 ): ModelNode {
   const fields: FieldNode[] = [];
@@ -783,10 +774,7 @@ function resolveModelNode(
 }
 
 function collectRuntimeModelSpecs(definition: ContractInput): RuntimeCollection {
-  const storageTypes = { ...(definition.types ?? {}) } as Record<
-    string,
-    StorageTypeInstance | PostgresEnumStorageEntry
-  >;
+  const storageTypes = { ...(definition.types ?? {}) } as Record<string, StorageTypeInstance>;
   const models = { ...(definition.models ?? {}) } as Record<string, RuntimeModel>;
 
   emitTypedNamedTypeFallbackWarnings(models, storageTypes);

package/src/contract-types.ts

@@ -17,6 +17,7 @@ import type {
 } from '@prisma-next/sql-contract/types';
 import type { UnionToIntersection } from './authoring-type-utils';
 import type { AttributeStageIdFieldNames, FieldStateOf, ScalarFieldBuilder } from './contract-dsl';
+import type { EnumTypeHandle } from './enum-type';
 
 export type ExtractCodecTypesFromPack<P> = P extends { __codecTypes?: infer C }
   ? C extends Record<string, { output: unknown }>
@@ -333,17 +334,39 @@ type ResolveNamedStorageType<Definition, TypeRef> =
       : StorageTypeInstance
     : StorageTypeInstance;
 
-type ResolveFieldDescriptor<Definition, FieldState> = [FieldDescriptorOf<FieldState>] extends [
-  never,
-]
-  ? ResolveNamedStorageType<Definition, FieldTypeRefOf<FieldState>>
-  : FieldDescriptorOf<FieldState>;
+// An enum-typed field carries its `EnumTypeHandle` (an object with a `codecId`
+// and `nativeType`, but no `kind`) as the field's `typeRef`. It is neither a
+// string nor a registered `StorageType`, so the named-type lookup cannot reach
+// it; `EnumFieldHandle` short-circuits the resolvers to read codec + native type
+// straight off the handle, with no column type-ref (the enum name is carried
+// elsewhere). The `[...] extends [never]` guard excludes plain column fields,
+// whose `typeRef` is `never`.
+type EnumFieldHandle<FieldState> = [FieldTypeRefOf<FieldState>] extends [never]
+  ? never
+  : FieldTypeRefOf<FieldState> extends EnumTypeHandle
+    ? FieldTypeRefOf<FieldState>
+    : never;
+
+type EnumHandleDescriptor<Handle> = Handle extends {
+  readonly codecId: infer CodecId extends string;
+  readonly nativeType: infer NativeType extends string;
+}
+  ? { readonly codecId: CodecId; readonly nativeType: NativeType }
+  : never;
 
-type ResolveFieldColumnTypeRef<Definition, FieldState> = [FieldTypeRefOf<FieldState>] extends [
+type ResolveFieldDescriptor<Definition, FieldState> = [EnumFieldHandle<FieldState>] extends [never]
+  ? [FieldDescriptorOf<FieldState>] extends [never]
+    ? ResolveNamedStorageType<Definition, FieldTypeRefOf<FieldState>>
+    : FieldDescriptorOf<FieldState>
+  : EnumHandleDescriptor<EnumFieldHandle<FieldState>>;
+
+type ResolveFieldColumnTypeRef<Definition, FieldState> = [EnumFieldHandle<FieldState>] extends [
   never,
 ]
-  ? DescriptorTypeRef<FieldDescriptorOf<FieldState>>
-  : ResolveNamedStorageTypeKey<Definition, FieldTypeRefOf<FieldState>>;
+  ? [FieldTypeRefOf<FieldState>] extends [never]
+    ? DescriptorTypeRef<FieldDescriptorOf<FieldState>>
+    : ResolveNamedStorageTypeKey<Definition, FieldTypeRefOf<FieldState>>
+  : undefined;
 
 type ResolveFieldColumnTypeParams<Definition, FieldState> = [
   ResolveFieldColumnTypeRef<Definition, FieldState>,
@@ -558,6 +581,37 @@ type BuiltStorageTables<Definition> = {
     : Record<string, never>);
 };
 
+type DefinitionEnums<Definition> = Definition extends {
+  readonly enums?: infer E;
+}
+  ? Present<E> extends Record<string, EnumTypeHandle>
+    ? // A bare `Record<string, EnumTypeHandle>` (no literal keys) is the
+      // widened default for a contract authored without enums; treat it as
+      // empty so `db.enums` carries only literally-authored enums.
+      string extends keyof Present<E>
+      ? Record<never, never>
+      : Present<E>
+    : Record<never, never>
+  : Record<never, never>;
+
+type EnumHandleAccessorType<Handle> =
+  Handle extends EnumTypeHandle<infer _Name, infer Values, infer Names, infer MembersMap>
+    ? {
+        readonly values: Values;
+        readonly names: Names;
+        readonly members: MembersMap;
+        has(v: Values[number]): boolean;
+        nameOf(v: Values[number]): string | undefined;
+        ordinalOf(v: Values[number]): number;
+      }
+    : never;
+
+type BuiltEnumAccessors<Definition> = {
+  readonly [K in keyof DefinitionEnums<Definition>]: EnumHandleAccessorType<
+    DefinitionEnums<Definition>[K]
+  >;
+};
+
 type BuiltDocumentScopedTypes<Definition> = {
   readonly [K in keyof DefinitionTypes<Definition> as DefinitionTypes<Definition>[K] extends StorageTypeInstance
     ? K
@@ -610,29 +664,53 @@ type BuiltStorage<Definition> = {
   };
 };
 
-type FieldOutputType<
+// The enum value union for an enum-typed field, or `never` for a non-enum
+// field. The field's `typeRef` carries the authored `EnumTypeHandle`, whose
+// `Values` tuple preserves the literal member values (text or numeric).
+type EnumValueUnion<FieldState> = [FieldTypeRefOf<FieldState>] extends [
+  EnumTypeHandle<string, infer Values>,
+]
+  ? readonly unknown[] extends Values
+    ? never
+    : Values[number]
+  : never;
+
+// The codec's `output` / `input` JS type for a field's column, before
+// nullability. `unknown` when the codec is not in the definition's codec map.
+type CodecChannelType<
   Definition,
   ModelName extends ModelNames<Definition>,
   FieldName extends ModelFieldNames<Definition, ModelName>,
+  Channel extends 'output' | 'input',
+> = ModelStorageColumn<Definition, ModelName, FieldName>['codecId'] extends infer Id extends
+  keyof CodecTypesFromDefinition<Definition>
+  ? CodecTypesFromDefinition<Definition>[Id] extends { readonly [K in Channel]: infer T }
+    ? T
+    : unknown
+  : unknown;
+
+// A field's read/write JS type: the enum value union when the field is
+// enum-typed, otherwise the codec channel type, with column nullability applied.
+type FieldChannelType<
+  Definition,
+  ModelName extends ModelNames<Definition>,
+  FieldName extends ModelFieldNames<Definition, ModelName>,
+  Channel extends 'output' | 'input',
 > =
-  ModelStorageColumn<Definition, ModelName, FieldName> extends infer Col
-    ? Col extends { readonly codecId: infer Id extends string }
-      ? Id extends keyof CodecTypesFromDefinition<Definition>
-        ? CodecTypesFromDefinition<Definition>[Id] extends { readonly output: infer O }
-          ? Col extends { readonly nullable: true }
-            ? O | null
-            : O
-          : unknown
-        : unknown
-      : unknown
-    : unknown;
-
-type FieldOutputTypes<Definition> = {
+  | ([EnumValueUnion<ModelFieldState<Definition, ModelName, FieldName>>] extends [never]
+      ? CodecChannelType<Definition, ModelName, FieldName, Channel>
+      : EnumValueUnion<ModelFieldState<Definition, ModelName, FieldName>>)
+  | (FieldNullableOf<ModelFieldState<Definition, ModelName, FieldName>> extends true
+      ? null
+      : never);
+
+type FieldChannelTypes<Definition, Channel extends 'output' | 'input'> = {
   readonly [ModelName in ModelNames<Definition>]: {
-    readonly [FieldName in ModelFieldNames<Definition, ModelName>]: FieldOutputType<
+    readonly [FieldName in ModelFieldNames<Definition, ModelName>]: FieldChannelType<
       Definition,
       ModelName,
-      FieldName
+      FieldName,
+      Channel
     >;
   };
 };
@@ -646,11 +724,12 @@ export type SqlContractResult<Definition> = ContractWithTypeMaps<
       ? Record<string, never>
       : DefinitionExtensionPacks<Definition>;
     readonly capabilities: DerivedCapabilities<Definition>;
+    readonly enumAccessors: BuiltEnumAccessors<Definition>;
   },
   TypeMaps<
     CodecTypesFromDefinition<Definition>,
     Record<string, never>,
-    Record<string, never>,
-    FieldOutputTypes<Definition>
+    FieldChannelTypes<Definition, 'output'>,
+    FieldChannelTypes<Definition, 'input'>
   >
 >;

package/src/contract-warnings.ts

@@ -1,7 +1,4 @@
-import type {
-  PostgresEnumStorageEntry,
-  StorageTypeInstance,
-} from '@prisma-next/sql-contract/types';
+import type { StorageTypeInstance } from '@prisma-next/sql-contract/types';
 import {
   type ContractModelBuilder,
   type ModelAttributesSpec,
@@ -28,7 +25,7 @@ type RuntimeModelSpec = {
 };
 
 type RuntimeCollection = {
-  readonly storageTypes: Record<string, StorageTypeInstance | PostgresEnumStorageEntry>;
+  readonly storageTypes: Record<string, StorageTypeInstance>;
   readonly models: Record<string, RuntimeModel>;
   readonly modelSpecs: ReadonlyMap<string, RuntimeModelSpec>;
 };
@@ -136,7 +133,7 @@ function formatFallbackWarning(location: string, current: string, suggested: str
 
 export function emitTypedNamedTypeFallbackWarnings(
   models: Record<string, RuntimeModel>,
-  storageTypes: Record<string, StorageTypeInstance | PostgresEnumStorageEntry>,
+  storageTypes: Record<string, StorageTypeInstance>,
 ): void {
   const warnings: string[] = [];
   const warnedFields = new Set<string>();

package/src/enum-type.ts

@@ -8,24 +8,27 @@ import { blindCast } from '@prisma-next/utils/casts';
 /**
  * A single enum member produced by `member()`. The `Name` and `Value` generics
  * are preserved as literal types so `enumType()` can carry the ordered value
- * tuple in its return type.
+ * tuple in its return type. `Value` is whatever the codec dictates — its type
+ * is constrained at `enumType` against the codec's input type, not here.
  */
-export interface EnumMember<Name extends string, Value extends string> {
+export interface EnumMember<Name extends string, Value> {
   readonly name: Name;
   readonly value: Value;
 }
 
 /**
- * Declare an enum member. The `value` defaults to `name` when omitted.
- * Both generics are preserved as literals so downstream `enumType` can
- * carry the ordered value tuple in its type.
+ * Declare an enum member. The `value` defaults to `name` when omitted. The
+ * value is an unconstrained literal here; `enumType` constrains it against the
+ * codec's input type. Both generics are preserved as literals so downstream
+ * `enumType` carries the value union in its type; the value is serialized to its
+ * codec string form only at lowering.
  */
 export function member<const Name extends string>(name: Name): EnumMember<Name, Name>;
-export function member<const Name extends string, const Value extends string>(
+export function member<const Name extends string, const Value>(
   name: Name,
   value: Value,
 ): EnumMember<Name, Value>;
-export function member<const Name extends string, const Value extends string = Name>(
+export function member<const Name extends string, const Value = Name>(
   name: Name,
   value?: Value,
 ): EnumMember<Name, Value> {
@@ -42,15 +45,15 @@ export function member<const Name extends string, const Value extends string = N
 // Internal types for inferring the literal tuple from the members spread
 // ---------------------------------------------------------------------------
 
-type MembersToValues<Members extends readonly EnumMember<string, string>[]> = {
+type MembersToValues<Members extends readonly EnumMember<string, unknown>[]> = {
   readonly [K in keyof Members]: Members[K] extends EnumMember<string, infer V> ? V : never;
 };
 
-type MembersToNames<Members extends readonly EnumMember<string, string>[]> = {
-  readonly [K in keyof Members]: Members[K] extends EnumMember<infer N, string> ? N : never;
+type MembersToNames<Members extends readonly EnumMember<string, unknown>[]> = {
+  readonly [K in keyof Members]: Members[K] extends EnumMember<infer N, unknown> ? N : never;
 };
 
-type MembersAccessorMap<Members extends readonly EnumMember<string, string>[]> = {
+type MembersAccessorMap<Members extends readonly EnumMember<string, unknown>[]> = {
   readonly [M in Members[number] as M['name']]: M['value'];
 };
 
@@ -80,9 +83,9 @@ export const ENUM_TYPE_HANDLE_BRAND = Symbol('EnumTypeHandle');
  */
 export interface EnumTypeHandle<
   Name extends string = string,
-  Values extends readonly string[] = readonly string[],
+  Values extends readonly unknown[] = readonly unknown[],
   Names extends readonly string[] = readonly string[],
-  MembersMap extends Record<string, string> = Record<string, string>,
+  MembersMap extends Record<string, unknown> = Record<string, unknown>,
 > {
   /** Internal brand for lowering-pipeline detection. */
   readonly [ENUM_TYPE_HANDLE_BRAND]: true;
@@ -97,7 +100,7 @@ export interface EnumTypeHandle<
   readonly nativeType: string;
 
   /** Ordered member list for lowering (name + value pairs). */
-  readonly enumMembers: readonly { readonly name: string; readonly value: string }[];
+  readonly enumMembers: readonly { readonly name: string; readonly value: Values[number] }[];
 
   /** Ordered literal value tuple. Declaration order is preserved. */
   readonly values: Values;
@@ -112,19 +115,43 @@ export interface EnumTypeHandle<
   readonly members: MembersMap;
 
   /** Returns `true` if `v` is a declared member value. */
-  has(v: string): boolean;
+  has(v: Values[number]): boolean;
 
   /** Returns the member name for a value, or `undefined` if not found. */
-  nameOf(v: string): string | undefined;
+  nameOf(v: Values[number]): string | undefined;
 
   /** Returns the zero-based declaration index of a value, or `-1` if not found. */
-  ordinalOf(v: string): number;
+  ordinalOf(v: Values[number]): number;
 }
 
 // ---------------------------------------------------------------------------
 // enumType()
 // ---------------------------------------------------------------------------
 
+/**
+ * A codec typemap: codecId → `{ input, output }`, the same shape the query
+ * lanes consume (e.g. `{ 'pg/text@1': { input: string }, 'pg/int4@1': { input: number } }`).
+ * The bound `enumType` wrappers supply the target pack's typemap; the core
+ * defaults to an empty map (no codec is known), so member values stay
+ * unconstrained.
+ */
+export type CodecTypeMap = Record<string, { readonly input?: unknown }>;
+
+/**
+ * The application input type the codec dictates for an enum's member values:
+ * looks `Codec['codecId']` up in the supplied codec typemap. When the codecId
+ * isn't in the map (the core's empty default, or an unknown codec) the input is
+ * unconstrained, so any member-value literal is accepted and inferred verbatim.
+ */
+export type CodecInput<
+  CodecTypes extends CodecTypeMap,
+  Codec extends { readonly codecId: string },
+> = Codec['codecId'] extends keyof CodecTypes
+  ? CodecTypes[Codec['codecId']] extends { readonly input: infer In }
+    ? In
+    : unknown
+  : unknown;
+
 /**
  * Declare a domain enum for use in TS-authoring contracts.
  *
@@ -152,9 +179,16 @@ export interface EnumTypeHandle<
  * ```
  */
 export function enumType<
-  const Name extends string,
-  const Codec extends Pick<ColumnTypeDescriptor, 'codecId' | 'nativeType'>,
-  const Members extends readonly [EnumMember<string, string>, ...EnumMember<string, string>[]],
+  CodecTypes extends CodecTypeMap = Record<string, never>,
+  const Name extends string = string,
+  const Codec extends Pick<ColumnTypeDescriptor, 'codecId' | 'nativeType'> = Pick<
+    ColumnTypeDescriptor,
+    'codecId' | 'nativeType'
+  >,
+  const Members extends readonly [
+    EnumMember<string, CodecInput<CodecTypes, Codec>>,
+    ...EnumMember<string, CodecInput<CodecTypes, Codec>>[],
+  ] = readonly [EnumMember<string, CodecInput<CodecTypes, Codec>>],
 >(
   name: Name,
   codec: Codec,
@@ -168,12 +202,12 @@ export function enumType<
 export function enumType(
   name: string,
   codec: Pick<ColumnTypeDescriptor, 'codecId' | 'nativeType'>,
-  ...members: EnumMember<string, string>[]
+  ...members: EnumMember<string, unknown>[]
 ): EnumTypeHandle;
 export function enumType(
   name: string,
   codec: Pick<ColumnTypeDescriptor, 'codecId' | 'nativeType'>,
-  ...members: EnumMember<string, string>[]
+  ...members: EnumMember<string, unknown>[]
 ): EnumTypeHandle {
   if (members.length === 0) {
     throw new Error(`enumType("${name}"): must have at least one member.`);
@@ -189,12 +223,13 @@ export function enumType(
     }
     seenNames.add(m.name);
 
-    if (seenValues.has(m.value)) {
+    const loweredValue = String(m.value);
+    if (seenValues.has(loweredValue)) {
       throw new Error(
-        `enumType("${name}"): duplicate member value "${m.value}". Member values must be unique.`,
+        `enumType("${name}"): duplicate member value "${loweredValue}". Member values must be unique.`,
       );
     }
-    seenValues.add(m.value);
+    seenValues.add(loweredValue);
   }
 
   const values = Object.freeze(members.map((m) => m.value));
@@ -216,12 +251,47 @@ export function enumType(
     values,
     names,
     members: membersAccessor,
-    has: (v: string) => valueSet.has(v),
-    nameOf: (v: string) => valueToName.get(v),
-    ordinalOf: (v: string) => valueToOrdinal.get(v) ?? -1,
+    has: (v: unknown) => valueSet.has(v),
+    nameOf: (v: unknown) => valueToName.get(v),
+    ordinalOf: (v: unknown) => valueToOrdinal.get(v) ?? -1,
   };
 }
 
+/**
+ * The signature of an `enumType` whose codec typemap is already bound — the
+ * shape a target-bound wrapper (e.g. `@prisma-next/postgres/contract-builder`)
+ * exposes. The member values are constrained to the codec's input type drawn
+ * from `CodecTypes` (so a `pg/text@1` codec rejects numeric members, etc.),
+ * while `Name`, `Codec`, and the member tuple still infer from the call.
+ */
+export type BoundEnumType<CodecTypes extends CodecTypeMap> = <
+  const Name extends string,
+  const Codec extends Pick<ColumnTypeDescriptor, 'codecId' | 'nativeType'>,
+  const Members extends readonly [
+    EnumMember<string, CodecInput<CodecTypes, Codec>>,
+    ...EnumMember<string, CodecInput<CodecTypes, Codec>>[],
+  ],
+>(
+  name: Name,
+  codec: Codec,
+  ...members: Members
+) => EnumTypeHandle<
+  Name,
+  MembersToValues<[...Members]>,
+  MembersToNames<[...Members]>,
+  MembersAccessorMap<[...Members]>
+>;
+
+/**
+ * Bind `enumType` to a target's codec typemap. The returned function is the
+ * same runtime `enumType`, retyped so member values are constrained to the
+ * codec's input type. Target packages call this with their pack's
+ * `ExtractCodecTypesFromPack<Pack>` to expose a codec-aware `enumType`.
+ */
+export function bindEnumType<CodecTypes extends CodecTypeMap>(): BoundEnumType<CodecTypes> {
+  return enumType;
+}
+
 /**
  * Returns true when the value is an `EnumTypeHandle` produced by
  * `enumType()`. Used in the lowering pipeline to detect enum handles

package/src/exports/contract-builder.ts

@@ -2,6 +2,7 @@ export type {
   ComposedAuthoringHelpers,
   ContractInput,
   ContractModelBuilder,
+  MergeEnums,
   ModelLike,
   ScalarFieldBuilder,
 } from '../contract-builder';
@@ -25,5 +26,12 @@ export type {
   UniqueConstraintNode,
 } from '../contract-definition';
 export type { TargetFieldRef } from '../contract-dsl';
-export type { EnumMember, EnumTypeHandle } from '../enum-type';
-export { enumType, member } from '../enum-type';
+export type { ExtractCodecTypesFromPack } from '../contract-types';
+export type {
+  BoundEnumType,
+  CodecInput,
+  CodecTypeMap,
+  EnumMember,
+  EnumTypeHandle,
+} from '../enum-type';
+export { bindEnumType, enumType, member } from '../enum-type';

package/dist/build-contract-C-x2pfu4.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"build-contract-C-x2pfu4.mjs","names":[],"sources":["../src/build-contract.ts"],"sourcesContent":["import {\n  computeExecutionHash,\n  computeProfileHash,\n  computeStorageHash,\n} from '@prisma-next/contract/hashing';\nimport {\n  asNamespaceId,\n  type ColumnDefault,\n  type ColumnDefaultLiteralInputValue,\n  type Contract,\n  type ContractEnum,\n  type ContractField,\n  type ContractModel,\n  type ContractRelation,\n  type ContractRelationThrough,\n  type ContractValueObject,\n  type CrossReference,\n  coreHash,\n  crossRef,\n  type ExecutionMutationDefault,\n  type JsonValue,\n  type StorageHashBase,\n  type ValueSetRef,\n} from '@prisma-next/contract/types';\nimport { type CapabilityMatrix, mergeCapabilityMatrices } from '@prisma-next/contract-authoring';\nimport type { CodecLookup } from '@prisma-next/framework-components/codec';\nimport { UNBOUND_NAMESPACE_ID } from '@prisma-next/framework-components/ir';\nimport { sqlContractCanonicalizationHooks } from '@prisma-next/sql-contract/canonicalization-hooks';\nimport { validateIndexTypes } from '@prisma-next/sql-contract/index-type-validation';\nimport {\n  createIndexTypeRegistry,\n  type IndexTypeMap,\n  type IndexTypeRegistration,\n} from '@prisma-next/sql-contract/index-types';\nimport {\n  applyFkDefaults,\n  buildSqlNamespace,\n  type CheckConstraintInput,\n  isPostgresEnumStorageEntry,\n  type PostgresEnumStorageEntry,\n  type SqlNamespaceTablesInput,\n  SqlStorage,\n  type SqlStorageInput,\n  type StorageColumn,\n  StorageTable,\n  type StorageTableInput,\n  type StorageTypeInstance,\n  type StorageValueSetInput,\n  toStorageTypeInstance,\n} from '@prisma-next/sql-contract/types';\nimport { validateStorageSemantics } from '@prisma-next/sql-contract/validators';\nimport { blindCast } from '@prisma-next/utils/casts';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport type {\n  ContractDefinition,\n  FieldNode,\n  ModelNode,\n  RelationNode,\n  ValueObjectFieldNode,\n} from './contract-definition';\n\ntype DomainFieldRef =\n  | { readonly kind: 'scalar'; readonly many?: boolean }\n  | { readonly kind: 'valueObject'; readonly name: string; readonly many?: boolean };\n\nfunction encodeDefaultLiteralValue(\n  value: ColumnDefaultLiteralInputValue,\n  codecId: string,\n  codecLookup?: CodecLookup,\n): JsonValue {\n  const codec = codecLookup?.get(codecId);\n  if (codec) {\n    return codec.encodeJson(value);\n  }\n  return value as JsonValue;\n}\n\nfunction encodeColumnDefault(\n  defaultInput: ColumnDefault,\n  codecId: string,\n  codecLookup?: CodecLookup,\n): ColumnDefault {\n  if (defaultInput.kind === 'function') {\n    return { kind: 'function', expression: defaultInput.expression };\n  }\n  return {\n    kind: 'literal',\n    value: encodeDefaultLiteralValue(defaultInput.value, codecId, codecLookup),\n  };\n}\n\nfunction assertStorageSemantics(\n  definition: ContractDefinition,\n  contract: Contract<SqlStorage>,\n): void {\n  const semanticErrors = validateStorageSemantics(contract.storage);\n  if (semanticErrors.length > 0) {\n    throw new Error(`Contract semantic validation failed: ${semanticErrors.join('; ')}`);\n  }\n\n  const indexTypeRegistry = createIndexTypeRegistry();\n  const packsToRegister: ReadonlyArray<{ readonly id?: string; readonly indexTypes?: unknown }> = [\n    definition.target,\n    ...Object.values(definition.extensionPacks ?? {}),\n  ];\n  for (const pack of packsToRegister) {\n    const registration = pack.indexTypes;\n    if (registration === undefined) continue;\n    if (\n      typeof registration !== 'object' ||\n      registration === null ||\n      !Array.isArray((registration as { entries?: unknown }).entries)\n    ) {\n      throw new Error(\n        `Pack \"${pack.id ?? '<unknown>'}\" declares \"indexTypes\" but its value is not an IndexTypeRegistration (expected an object with an \"entries\" array; got ${typeof registration}).`,\n      );\n    }\n    for (const entry of (registration as IndexTypeRegistration<IndexTypeMap>).entries) {\n      indexTypeRegistry.register(entry);\n    }\n  }\n  validateIndexTypes(contract, indexTypeRegistry);\n}\n\nfunction assertKnownTargetModel(\n  modelsByName: ReadonlyMap<string, ModelNode>,\n  modelsByCoordinate: ReadonlyMap<string, ModelNode>,\n  sourceModelName: string,\n  targetModelName: string,\n  targetNamespaceId: string | undefined,\n  context: string,\n): ModelNode {\n  const targetModel =\n    targetNamespaceId !== undefined && targetNamespaceId.length > 0\n      ? modelsByCoordinate.get(`${targetNamespaceId}:${targetModelName}`)\n      : modelsByName.get(targetModelName);\n  if (!targetModel) {\n    const qualified =\n      targetNamespaceId !== undefined && targetNamespaceId.length > 0\n        ? `${targetNamespaceId}.${targetModelName}`\n        : targetModelName;\n    throw new Error(\n      `${context} on model \"${sourceModelName}\" references unknown model \"${qualified}\"`,\n    );\n  }\n  return targetModel;\n}\n\nfunction assertTargetTableMatches(\n  sourceModelName: string,\n  targetModel: ModelNode,\n  referencedTableName: string,\n  context: string,\n): void {\n  if (targetModel.tableName !== referencedTableName) {\n    throw new Error(\n      `${context} on model \"${sourceModelName}\" references table \"${referencedTableName}\" but model \"${targetModel.modelName}\" maps to \"${targetModel.tableName}\"`,\n    );\n  }\n}\n\nfunction isValueObjectField(\n  field: FieldNode | ValueObjectFieldNode,\n): field is ValueObjectFieldNode {\n  return 'valueObjectName' in field;\n}\n\nconst JSONB_CODEC_ID = 'pg/jsonb@1';\nconst JSONB_NATIVE_TYPE = 'jsonb';\n\nfunction resolveModelNamespaceId(\n  model: ModelNode,\n  modelNameToNamespaceId: ReadonlyMap<string, string>,\n  defaultNamespaceId: string,\n): string {\n  if (model.namespaceId !== undefined && model.namespaceId.length > 0) {\n    return model.namespaceId;\n  }\n  return modelNameToNamespaceId.get(model.modelName) ?? defaultNamespaceId;\n}\n\nfunction buildThroughDescriptor(\n  through: NonNullable<RelationNode['through']>,\n  tableNamespaceByName: ReadonlyMap<string, string>,\n  targetModel: ModelNode,\n  modelName: string,\n  fieldName: string,\n): ContractRelationThrough {\n  const namespaceId = tableNamespaceByName.get(through.table);\n  if (namespaceId === undefined) {\n    throw new Error(\n      `buildSqlContractFromDefinition: junction table \"${through.table}\" for relation \"${modelName}.${fieldName}\" is not a declared model.`,\n    );\n  }\n\n  return {\n    table: through.table,\n    namespaceId,\n    parentColumns: through.parentColumns,\n    childColumns: through.childColumns,\n    targetColumns: targetColumnsForJunction(targetModel, fieldName),\n  };\n}\n\nfunction targetColumnsForJunction(targetModel: ModelNode, fieldName: string): readonly string[] {\n  const primaryKeyColumns = targetModel.id?.columns;\n  if (primaryKeyColumns && primaryKeyColumns.length > 0) {\n    return primaryKeyColumns;\n  }\n  const firstUnique = targetModel.uniques?.find((u) => u.columns.length > 0);\n  if (firstUnique) {\n    return firstUnique.columns;\n  }\n  throw new Error(\n    `M:N target model \"${targetModel.modelName}\" (relation field \"${fieldName}\") has no primary id or unique key to derive junction targetColumns.`,\n  );\n}\n\nfunction buildStorageColumn(\n  field: FieldNode | ValueObjectFieldNode,\n  storageValueSetRef: ValueSetRef | undefined,\n  codecLookup?: CodecLookup,\n): StorageColumn {\n  if (isValueObjectField(field)) {\n    const encodedDefault =\n      field.default !== undefined\n        ? encodeColumnDefault(field.default, JSONB_CODEC_ID, codecLookup)\n        : undefined;\n\n    return {\n      nativeType: JSONB_NATIVE_TYPE,\n      codecId: JSONB_CODEC_ID,\n      nullable: field.nullable,\n      ...ifDefined('default', encodedDefault),\n    };\n  }\n\n  if (field.many) {\n    return {\n      nativeType: JSONB_NATIVE_TYPE,\n      codecId: JSONB_CODEC_ID,\n      nullable: field.nullable,\n    };\n  }\n\n  const codecId = field.descriptor.codecId;\n  const encodedDefault =\n    field.default !== undefined\n      ? encodeColumnDefault(field.default, codecId, codecLookup)\n      : undefined;\n\n  return {\n    nativeType: field.descriptor.nativeType,\n    codecId,\n    nullable: field.nullable,\n    ...ifDefined('typeParams', field.descriptor.typeParams),\n    ...ifDefined('default', encodedDefault),\n    ...ifDefined('typeRef', field.descriptor.typeRef),\n    ...ifDefined('valueSet', storageValueSetRef),\n  };\n}\n\nfunction buildDomainField(\n  field: FieldNode | ValueObjectFieldNode,\n  column: StorageColumn,\n  domainValueSetRef: ValueSetRef | undefined,\n): ContractField {\n  if (isValueObjectField(field)) {\n    return {\n      type: { kind: 'valueObject', name: field.valueObjectName },\n      nullable: field.nullable,\n      ...(field.many ? { many: true } : {}),\n    };\n  }\n\n  return {\n    type: {\n      kind: 'scalar',\n      codecId: column.codecId,\n      ...ifDefined('typeParams', column.typeParams),\n    },\n    nullable: column.nullable,\n    ...(field.many ? { many: true } : {}),\n    ...ifDefined('valueSet', domainValueSetRef),\n  };\n}\n\nfunction collectStorageNamespaceCoordinateIds(definition: ContractDefinition): Set<string> {\n  const ids = new Set<string>();\n  ids.add(definition.target.defaultNamespaceId);\n  for (const id of definition.namespaces ?? []) {\n    if (id.length > 0) {\n      ids.add(id);\n    }\n  }\n  for (const model of definition.models) {\n    if (model.namespaceId !== undefined && model.namespaceId.length > 0) {\n      ids.add(model.namespaceId);\n    }\n  }\n  return ids;\n}\n\nfunction ensureUnboundNamespaceSlot(\n  namespaces: SqlStorageInput['namespaces'],\n  createNamespace: ContractDefinition['createNamespace'],\n): SqlStorageInput['namespaces'] {\n  if (Object.hasOwn(namespaces, UNBOUND_NAMESPACE_ID)) {\n    return namespaces;\n  }\n  const unboundInput: SqlNamespaceTablesInput = {\n    id: UNBOUND_NAMESPACE_ID,\n    entries: { table: {} },\n  };\n  const unbound = createNamespace ? createNamespace(unboundInput) : buildSqlNamespace(unboundInput);\n  return blindCast<\n    SqlStorageInput['namespaces'],\n    'createNamespace may return a target namespace concretion; the unbound slot matches SqlNamespace at runtime'\n  >({\n    [UNBOUND_NAMESPACE_ID]: unbound,\n    ...namespaces,\n  });\n}\n\nconst POSTGRES_ENUM_NAMESPACE_ID = 'public';\n\nfunction partitionStorageTypesForTarget(\n  targetId: string,\n  types: Record<string, StorageTypeInstance | PostgresEnumStorageEntry>,\n  namespaceTypes?: Readonly<Record<string, Readonly<Record<string, PostgresEnumStorageEntry>>>>,\n): {\n  readonly documentTypes: Record<string, StorageTypeInstance>;\n  readonly namespaceEnumTypesById: Record<string, Record<string, PostgresEnumStorageEntry>>;\n} {\n  const documentTypes: Record<string, StorageTypeInstance> = {};\n  const namespaceEnumTypesById: Record<string, Record<string, PostgresEnumStorageEntry>> = {};\n  for (const [name, entry] of Object.entries(types)) {\n    if (isPostgresEnumStorageEntry(entry)) {\n      if (targetId !== 'postgres') {\n        throw new Error(\n          `buildSqlContractFromDefinition: postgres enum \"${name}\" is only valid when target is \"postgres\" (got \"${targetId}\").`,\n        );\n      }\n      let slot = namespaceEnumTypesById[POSTGRES_ENUM_NAMESPACE_ID];\n      if (slot === undefined) {\n        slot = {};\n        namespaceEnumTypesById[POSTGRES_ENUM_NAMESPACE_ID] = slot;\n      }\n      slot[name] = entry;\n      continue;\n    }\n    documentTypes[name] = entry;\n  }\n  if (namespaceTypes !== undefined) {\n    for (const [nsId, enumsInNs] of Object.entries(namespaceTypes)) {\n      for (const [name, entry] of Object.entries(enumsInNs)) {\n        if (targetId !== 'postgres') {\n          throw new Error(\n            `buildSqlContractFromDefinition: postgres enum \"${name}\" is only valid when target is \"postgres\" (got \"${targetId}\").`,\n          );\n        }\n        let slot = namespaceEnumTypesById[nsId];\n        if (slot === undefined) {\n          slot = {};\n          namespaceEnumTypesById[nsId] = slot;\n        }\n        slot[name] = entry;\n      }\n    }\n  }\n  return { documentTypes, namespaceEnumTypesById };\n}\n\nexport function buildSqlContractFromDefinition(\n  definition: ContractDefinition,\n  codecLookup?: CodecLookup,\n): Contract<SqlStorage> {\n  const target = definition.target.targetId;\n  const defaultNamespaceId = definition.target.defaultNamespaceId;\n  const targetFamily = 'sql';\n  const resolveNamespaceId = (m: ModelNode): string =>\n    m.namespaceId !== undefined && m.namespaceId.length > 0 ? m.namespaceId : defaultNamespaceId;\n  const modelsByName = new Map(definition.models.map((m) => [m.modelName, m]));\n  const tableNamespaceByName = new Map(\n    definition.models.map((m) => [\n      m.tableName,\n      m.namespaceId !== undefined && m.namespaceId.length > 0 ? m.namespaceId : defaultNamespaceId,\n    ]),\n  );\n  const modelsByCoordinate = new Map(\n    definition.models.map((m) => [`${resolveNamespaceId(m)}:${m.modelName}`, m]),\n  );\n\n  const tablesByNamespace: Record<string, Record<string, StorageTable>> = {};\n  const modelNameToNamespaceId = new Map<string, string>();\n  const executionDefaults: ExecutionMutationDefault[] = [];\n  const modelsByNamespace: Record<string, Record<string, ContractModel>> = {};\n  const rootEntries: Array<{\n    readonly tableName: string;\n    readonly namespaceId: string;\n    readonly ref: CrossReference;\n  }> = [];\n\n  for (const semanticModel of definition.models) {\n    const tableName = semanticModel.tableName;\n    const namespaceId =\n      semanticModel.namespaceId !== undefined && semanticModel.namespaceId.length > 0\n        ? semanticModel.namespaceId\n        : defaultNamespaceId;\n    modelNameToNamespaceId.set(semanticModel.modelName, namespaceId);\n    // STI variants share the base table; the base model already owns this\n    // table name and its root, so the variant contributes neither.\n    if (!semanticModel.sharesBaseTable) {\n      rootEntries.push({\n        tableName,\n        namespaceId,\n        ref: crossRef(semanticModel.modelName, namespaceId),\n      });\n    }\n\n    // --- Build storage table ---\n\n    const columns: Record<string, StorageColumn> = {};\n    const fieldToColumn: Record<string, string> = {};\n    const domainFields: Record<string, ContractField> = {};\n    const domainFieldRefs: Record<string, DomainFieldRef> = {};\n\n    for (const field of semanticModel.fields) {\n      const executionDefaultPhases =\n        field.executionDefaults?.onCreate || field.executionDefaults?.onUpdate\n          ? field.executionDefaults\n          : undefined;\n      if (executionDefaultPhases) {\n        if (field.default !== undefined) {\n          throw new Error(\n            `Field \"${semanticModel.modelName}.${field.fieldName}\" cannot define both default and executionDefaults.`,\n          );\n        }\n        if (field.nullable) {\n          throw new Error(\n            `Field \"${semanticModel.modelName}.${field.fieldName}\" cannot be nullable when executionDefaults are present.`,\n          );\n        }\n      }\n\n      const enumHandle = !isValueObjectField(field) ? field.enumTypeHandle : undefined;\n      // Authored enums are always registered under the contract's defaultNamespaceId\n      // (see the enum registration loop below), so refs must point there regardless\n      // of which namespace the consuming model lives in.\n      const storageValueSetRef: ValueSetRef | undefined =\n        enumHandle !== undefined\n          ? {\n              plane: 'storage',\n              entityKind: 'value-set',\n              namespaceId: defaultNamespaceId,\n              name: enumHandle.enumName,\n            }\n          : undefined;\n      const domainValueSetRef: ValueSetRef | undefined =\n        enumHandle !== undefined\n          ? {\n              plane: 'domain',\n              entityKind: 'enum',\n              namespaceId: defaultNamespaceId,\n              name: enumHandle.enumName,\n            }\n          : undefined;\n\n      const column = buildStorageColumn(field, storageValueSetRef, codecLookup);\n      columns[field.columnName] = column;\n      fieldToColumn[field.fieldName] = field.columnName;\n\n      domainFields[field.fieldName] = buildDomainField(field, column, domainValueSetRef);\n\n      if (isValueObjectField(field)) {\n        domainFieldRefs[field.fieldName] = {\n          kind: 'valueObject',\n          name: field.valueObjectName,\n          ...(field.many ? { many: true } : {}),\n        };\n      } else if (field.many) {\n        domainFieldRefs[field.fieldName] = { kind: 'scalar', many: true };\n      }\n\n      if (executionDefaultPhases) {\n        executionDefaults.push({\n          ref: { table: tableName, column: field.columnName },\n          ...ifDefined('onCreate', executionDefaultPhases.onCreate),\n          ...ifDefined('onUpdate', executionDefaultPhases.onUpdate),\n        });\n      }\n    }\n\n    const foreignKeys = (semanticModel.foreignKeys ?? []).map((fk) => {\n      if (fk.references.spaceId !== undefined) {\n        // Cross-space FK: the target lives in a different contract space.\n        // Skip local model lookup and carry the spaceId coordinate through.\n        const targetNamespaceId = fk.references.namespaceId ?? defaultNamespaceId;\n        return {\n          source: { namespaceId: asNamespaceId(namespaceId), tableName, columns: fk.columns },\n          target: {\n            namespaceId: asNamespaceId(targetNamespaceId),\n            tableName: fk.references.table,\n            columns: fk.references.columns,\n            spaceId: fk.references.spaceId,\n          },\n          ...applyFkDefaults(\n            {\n              ...ifDefined('constraint', fk.constraint),\n              ...ifDefined('index', fk.index),\n            },\n            definition.foreignKeyDefaults,\n          ),\n          ...ifDefined('name', fk.name),\n          ...ifDefined('onDelete', fk.onDelete),\n          ...ifDefined('onUpdate', fk.onUpdate),\n        };\n      }\n\n      const targetModel = assertKnownTargetModel(\n        modelsByName,\n        modelsByCoordinate,\n        semanticModel.modelName,\n        fk.references.model,\n        fk.references.namespaceId,\n        'Foreign key',\n      );\n      assertTargetTableMatches(\n        semanticModel.modelName,\n        targetModel,\n        fk.references.table,\n        'Foreign key',\n      );\n      const targetNamespaceId =\n        fk.references.namespaceId ??\n        (targetModel.namespaceId !== undefined && targetModel.namespaceId.length > 0\n          ? targetModel.namespaceId\n          : defaultNamespaceId);\n      return {\n        source: { namespaceId: asNamespaceId(namespaceId), tableName, columns: fk.columns },\n        target: {\n          namespaceId: asNamespaceId(targetNamespaceId),\n          tableName: fk.references.table,\n          columns: fk.references.columns,\n        },\n        ...applyFkDefaults(\n          {\n            ...ifDefined('constraint', fk.constraint),\n            ...ifDefined('index', fk.index),\n          },\n          definition.foreignKeyDefaults,\n        ),\n        ...ifDefined('name', fk.name),\n        ...ifDefined('onDelete', fk.onDelete),\n        ...ifDefined('onUpdate', fk.onUpdate),\n      };\n    });\n\n    // STI variants share the base table: their columns are already\n    // materialised onto the base `ModelNode`, so the variant builds a domain\n    // model (below) but no storage table of its own.\n    if (!semanticModel.sharesBaseTable) {\n      const checksForTable: CheckConstraintInput[] = Object.entries(columns).flatMap(\n        ([columnName, col]) => {\n          const valueSet = col.valueSet;\n          return valueSet === undefined\n            ? []\n            : [{ name: `${tableName}_${columnName}_check`, column: columnName, valueSet }];\n        },\n      );\n\n      const tableInput: StorageTableInput = {\n        columns,\n        ...ifDefined('control', semanticModel.control),\n        uniques: (semanticModel.uniques ?? []).map((u) => ({\n          columns: u.columns,\n          ...ifDefined('name', u.name),\n        })),\n        indexes: (semanticModel.indexes ?? []).map((i) => ({\n          columns: i.columns,\n          ...ifDefined('name', i.name),\n          ...ifDefined('type', i.type),\n          ...ifDefined('options', i.options),\n        })),\n        foreignKeys,\n        ...(semanticModel.id\n          ? {\n              primaryKey: {\n                columns: semanticModel.id.columns,\n                ...ifDefined('name', semanticModel.id.name),\n              },\n            }\n          : {}),\n        ...(checksForTable.length > 0 ? { checks: checksForTable } : {}),\n      };\n\n      let nsTables = tablesByNamespace[namespaceId];\n      if (nsTables === undefined) {\n        nsTables = {};\n        tablesByNamespace[namespaceId] = nsTables;\n      }\n      if (nsTables[tableName] !== undefined) {\n        throw new Error(\n          `buildSqlContractFromDefinition: duplicate table \"${tableName}\" in namespace \"${namespaceId}\".`,\n        );\n      }\n      nsTables[tableName] = new StorageTable(tableInput);\n    }\n\n    // --- Build contract model ---\n\n    const storageFields: Record<string, { readonly column: string }> = {};\n    for (const [fieldName, columnName] of Object.entries(fieldToColumn)) {\n      storageFields[fieldName] = { column: columnName };\n    }\n\n    const columnToField = new Map(\n      Object.entries(fieldToColumn).map(([field, col]) => [col, field]),\n    );\n    const modelRelations: Record<string, ContractRelation> = {};\n    for (const relation of semanticModel.relations ?? []) {\n      // Cross-space relations have `spaceId` set — the target model lives in\n      // a different contract space, so skip local model lookup and validation.\n      if (relation.spaceId !== undefined) {\n        const targetNamespaceId = relation.namespaceId ?? defaultNamespaceId;\n        modelRelations[relation.fieldName] = {\n          to: crossRef(relation.toModel, targetNamespaceId, relation.spaceId),\n          // Cross-space belongsTo relations are always N:1 (the FK-owning side).\n          cardinality: 'N:1',\n          on: {\n            localFields: relation.on.parentColumns.map((col) => columnToField.get(col) ?? col),\n            // For cross-space targets the lowering carries field names directly\n            // (no fieldToColumn map available for the remote model).\n            targetFields: relation.on.childColumns,\n          },\n        };\n        continue;\n      }\n\n      const targetModel = assertKnownTargetModel(\n        modelsByName,\n        modelsByCoordinate,\n        semanticModel.modelName,\n        relation.toModel,\n        relation.toNamespaceId,\n        'Relation',\n      );\n      assertTargetTableMatches(semanticModel.modelName, targetModel, relation.toTable, 'Relation');\n\n      const targetColumnToField = new Map(\n        targetModel.fields.map((f) => [f.columnName, f.fieldName]),\n      );\n\n      const to = crossRef(\n        relation.toModel,\n        relation.toNamespaceId !== undefined && relation.toNamespaceId.length > 0\n          ? relation.toNamespaceId\n          : resolveModelNamespaceId(targetModel, modelNameToNamespaceId, defaultNamespaceId),\n      );\n      const on = {\n        localFields: relation.on.parentColumns.map((col) => columnToField.get(col) ?? col),\n        targetFields: relation.on.childColumns.map((col) => targetColumnToField.get(col) ?? col),\n      };\n\n      if (relation.cardinality === 'N:M') {\n        if (!relation.through) {\n          throw new Error(\n            `Relation \"${semanticModel.modelName}.${relation.fieldName}\" with cardinality \"N:M\" requires through metadata`,\n          );\n        }\n        modelRelations[relation.fieldName] = {\n          to,\n          cardinality: 'N:M',\n          on,\n          through: buildThroughDescriptor(\n            relation.through,\n            tableNamespaceByName,\n            targetModel,\n            semanticModel.modelName,\n            relation.fieldName,\n          ),\n        };\n      } else {\n        modelRelations[relation.fieldName] = { to, cardinality: relation.cardinality, on };\n      }\n    }\n\n    let namespaceModels = modelsByNamespace[namespaceId];\n    if (namespaceModels === undefined) {\n      namespaceModels = {};\n      modelsByNamespace[namespaceId] = namespaceModels;\n    }\n    namespaceModels[semanticModel.modelName] = {\n      storage: {\n        table: tableName,\n        namespaceId,\n        fields: storageFields,\n      },\n      fields: domainFields,\n      relations: modelRelations,\n    };\n  }\n\n  // --- Assemble contract ---\n\n  // Aggregate roots are keyed by bare storage table name. When two models in\n  // different namespaces map to the same bare table name, the bare key would\n  // collide (last write wins, silently dropping a root), so those entries fall\n  // back to a namespace-qualified key. Single-namespace contracts never\n  // collide and keep their bare keys unchanged.\n  const rootTableNameCounts = new Map<string, number>();\n  for (const entry of rootEntries) {\n    rootTableNameCounts.set(entry.tableName, (rootTableNameCounts.get(entry.tableName) ?? 0) + 1);\n  }\n  const roots: Record<string, CrossReference> = {};\n  for (const entry of rootEntries) {\n    const key =\n      (rootTableNameCounts.get(entry.tableName) ?? 0) > 1\n        ? `${entry.namespaceId}.${entry.tableName}`\n        : entry.tableName;\n    roots[key] = entry.ref;\n  }\n\n  // Normalise raw codec-triple inputs to the `kind: 'codec-instance'`\n  // discriminator shape before hashing so the storageHash matches the\n  // persisted JSON envelope produced from the SqlStorage class instance\n  // (which always carries the discriminator).\n  const rawStorageTypes = (definition.storageTypes ?? {}) as Record<\n    string,\n    StorageTypeInstance | PostgresEnumStorageEntry\n  >;\n  const storageTypes = Object.fromEntries(\n    Object.entries(rawStorageTypes).map(([name, entry]) => {\n      if (isPostgresEnumStorageEntry(entry)) return [name, entry];\n      if ((entry as { kind?: unknown }).kind === 'codec-instance') return [name, entry];\n      return [\n        name,\n        toStorageTypeInstance({\n          codecId: entry.codecId,\n          nativeType: entry.nativeType,\n          typeParams: (entry as { typeParams?: Record<string, unknown> }).typeParams ?? {},\n        }),\n      ];\n    }),\n  );\n  const { documentTypes, namespaceEnumTypesById } = partitionStorageTypesForTarget(\n    target,\n    storageTypes,\n    definition.namespaceTypes,\n  );\n  const namespaceCoordinateIds = collectStorageNamespaceCoordinateIds(definition);\n  for (const id of Object.keys(namespaceEnumTypesById)) {\n    namespaceCoordinateIds.add(id);\n  }\n\n  // Build per-namespace registries for `enumType()` handles.\n  // All authored enums target the contract's default namespace.\n  const domainEnumsByNs: Record<string, Record<string, ContractEnum>> = {};\n  const storageValueSetsByNs: Record<string, Record<string, StorageValueSetInput>> = {};\n  for (const [enumName, handle] of Object.entries(definition.enums ?? {})) {\n    if (enumName !== handle.enumName) {\n      throw new Error(\n        `enum declaration key \"${enumName}\" must match enumType name \"${handle.enumName}\". Aliases are not supported.`,\n      );\n    }\n    const nsId = defaultNamespaceId;\n    let domainSlot = domainEnumsByNs[nsId];\n    if (domainSlot === undefined) {\n      domainSlot = {};\n      domainEnumsByNs[nsId] = domainSlot;\n    }\n    domainSlot[enumName] = {\n      codecId: handle.codecId,\n      members: handle.enumMembers,\n    };\n\n    let storageSlot = storageValueSetsByNs[nsId];\n    if (storageSlot === undefined) {\n      storageSlot = {};\n      storageValueSetsByNs[nsId] = storageSlot;\n    }\n    storageSlot[enumName] = {\n      kind: 'value-set',\n      values: handle.values,\n    };\n  }\n\n  const { createNamespace } = definition;\n  const namespaces = blindCast<\n    SqlStorageInput['namespaces'],\n    'contract authoring materialises each namespace coordinate from the model set and explicit namespace list'\n  >(\n    Object.fromEntries(\n      [...namespaceCoordinateIds].sort().map((id) => {\n        const enumTypes = namespaceEnumTypesById[id];\n        const valueSetEntries = storageValueSetsByNs[id];\n        const nsInput: SqlNamespaceTablesInput = {\n          id,\n          entries: {\n            table: tablesByNamespace[id] ?? {},\n            ...(valueSetEntries !== undefined && Object.keys(valueSetEntries).length > 0\n              ? { valueSet: valueSetEntries }\n              : {}),\n          },\n        };\n        return [\n          id,\n          createNamespace ? createNamespace(nsInput, enumTypes) : buildSqlNamespace(nsInput),\n        ];\n      }),\n    ),\n  );\n  const storageWithoutHash = {\n    ...(Object.keys(documentTypes).length > 0 ? { types: documentTypes } : {}),\n    namespaces: ensureUnboundNamespaceSlot(namespaces, createNamespace),\n  };\n  const storageHash: StorageHashBase<string> = definition.storageHash\n    ? coreHash(definition.storageHash)\n    : computeStorageHash({\n        target,\n        targetFamily,\n        storage: storageWithoutHash as Record<string, unknown>,\n        ...sqlContractCanonicalizationHooks,\n      });\n  const storage = new SqlStorage({ ...storageWithoutHash, storageHash });\n\n  const executionSection =\n    executionDefaults.length > 0\n      ? {\n          mutations: {\n            defaults: executionDefaults.sort((a, b) => {\n              const tableCompare = a.ref.table.localeCompare(b.ref.table);\n              if (tableCompare !== 0) {\n                return tableCompare;\n              }\n              return a.ref.column.localeCompare(b.ref.column);\n            }),\n          },\n        }\n      : undefined;\n\n  const extensionNamespaces = definition.extensionPacks\n    ? Object.values(definition.extensionPacks).map((pack) => pack.id)\n    : undefined;\n\n  const extensionPacks: Record<string, unknown> = { ...(definition.extensionPacks || {}) };\n  if (extensionNamespaces) {\n    for (const namespace of extensionNamespaces) {\n      if (!Object.hasOwn(extensionPacks, namespace)) {\n        extensionPacks[namespace] = {};\n      }\n    }\n  }\n\n  const extensionPackCapabilitySources = definition.extensionPacks\n    ? Object.values(definition.extensionPacks).map(\n        (pack) => pack.capabilities as CapabilityMatrix | undefined,\n      )\n    : [];\n  const capabilities = mergeCapabilityMatrices(\n    definition.target.capabilities as CapabilityMatrix | undefined,\n    ...extensionPackCapabilitySources,\n  );\n  // Internal `profileHash` computation is unchanged from `origin/main`: it\n  // continues to fingerprint the author-declared capability subset. With\n  // `capabilities` removed from the `defineContract` input that subset is\n  // now always empty, so the hash naturally stabilises at `hash({})`.\n  const profileHash = computeProfileHash({\n    target,\n    targetFamily,\n    capabilities: {},\n  });\n\n  const executionWithHash = executionSection\n    ? {\n        ...executionSection,\n        executionHash: computeExecutionHash({ target, targetFamily, execution: executionSection }),\n      }\n    : undefined;\n\n  const valueObjects: Record<string, ContractValueObject> | undefined =\n    definition.valueObjects && definition.valueObjects.length > 0\n      ? Object.fromEntries(\n          definition.valueObjects.map((vo) => [\n            vo.name,\n            {\n              fields: Object.fromEntries(\n                vo.fields.map((f) => [\n                  f.fieldName,\n                  isValueObjectField(f)\n                    ? {\n                        type: { kind: 'valueObject' as const, name: f.valueObjectName },\n                        nullable: f.nullable,\n                        ...(f.many ? { many: true } : {}),\n                      }\n                    : {\n                        type: {\n                          kind: 'scalar' as const,\n                          codecId: f.descriptor.codecId,\n                          ...ifDefined('typeParams', f.descriptor.typeParams),\n                        },\n                        nullable: f.nullable,\n                      },\n                ]),\n              ),\n            },\n          ]),\n        )\n      : undefined;\n\n  const domainNamespaceIds = new Set(Object.keys(modelsByNamespace));\n  if (domainNamespaceIds.size === 0) {\n    domainNamespaceIds.add(defaultNamespaceId);\n  }\n  if (valueObjects !== undefined) {\n    domainNamespaceIds.add(defaultNamespaceId);\n  }\n  for (const nsId of Object.keys(domainEnumsByNs)) {\n    domainNamespaceIds.add(nsId);\n  }\n  const domainNamespaces = Object.fromEntries(\n    [...domainNamespaceIds].sort().map((namespaceId) => {\n      const modelsInNs = modelsByNamespace[namespaceId] ?? {};\n      const enumsInNs = domainEnumsByNs[namespaceId];\n      const namespaceSlice = {\n        models: modelsInNs,\n        ...(namespaceId === defaultNamespaceId && valueObjects !== undefined\n          ? { valueObjects }\n          : {}),\n        ...(enumsInNs !== undefined && Object.keys(enumsInNs).length > 0\n          ? { enum: enumsInNs }\n          : {}),\n      };\n      return [namespaceId, namespaceSlice];\n    }),\n  );\n\n  const contract: Contract<SqlStorage> = {\n    target,\n    targetFamily,\n    ...ifDefined('defaultControlPolicy', definition.defaultControlPolicy),\n    domain: { namespaces: domainNamespaces },\n    roots,\n    storage,\n    ...(executionWithHash ? { execution: executionWithHash } : {}),\n    extensionPacks,\n    capabilities,\n    profileHash,\n    meta: {},\n  };\n\n  assertStorageSemantics(definition, contract);\n\n  return contract;\n}\n"],"mappings":";;;;;;;;;;;;AAiEA,SAAS,0BACP,OACA,SACA,aACW;CACX,MAAM,QAAQ,aAAa,IAAI,OAAO;CACtC,IAAI,OACF,OAAO,MAAM,WAAW,KAAK;CAE/B,OAAO;AACT;AAEA,SAAS,oBACP,cACA,SACA,aACe;CACf,IAAI,aAAa,SAAS,YACxB,OAAO;EAAE,MAAM;EAAY,YAAY,aAAa;CAAW;CAEjE,OAAO;EACL,MAAM;EACN,OAAO,0BAA0B,aAAa,OAAO,SAAS,WAAW;CAC3E;AACF;AAEA,SAAS,uBACP,YACA,UACM;CACN,MAAM,iBAAiB,yBAAyB,SAAS,OAAO;CAChE,IAAI,eAAe,SAAS,GAC1B,MAAM,IAAI,MAAM,wCAAwC,eAAe,KAAK,IAAI,GAAG;CAGrF,MAAM,oBAAoB,wBAAwB;CAClD,MAAM,kBAA0F,CAC9F,WAAW,QACX,GAAG,OAAO,OAAO,WAAW,kBAAkB,CAAC,CAAC,CAClD;CACA,KAAK,MAAM,QAAQ,iBAAiB;EAClC,MAAM,eAAe,KAAK;EAC1B,IAAI,iBAAiB,KAAA,GAAW;EAChC,IACE,OAAO,iBAAiB,YACxB,iBAAiB,QACjB,CAAC,MAAM,QAAS,aAAuC,OAAO,GAE9D,MAAM,IAAI,MACR,SAAS,KAAK,MAAM,YAAY,yHAAyH,OAAO,aAAa,GAC/K;EAEF,KAAK,MAAM,SAAU,aAAqD,SACxE,kBAAkB,SAAS,KAAK;CAEpC;CACA,mBAAmB,UAAU,iBAAiB;AAChD;AAEA,SAAS,uBACP,cACA,oBACA,iBACA,iBACA,mBACA,SACW;CACX,MAAM,cACJ,sBAAsB,KAAA,KAAa,kBAAkB,SAAS,IAC1D,mBAAmB,IAAI,GAAG,kBAAkB,GAAG,iBAAiB,IAChE,aAAa,IAAI,eAAe;CACtC,IAAI,CAAC,aAAa;EAChB,MAAM,YACJ,sBAAsB,KAAA,KAAa,kBAAkB,SAAS,IAC1D,GAAG,kBAAkB,GAAG,oBACxB;EACN,MAAM,IAAI,MACR,GAAG,QAAQ,aAAa,gBAAgB,8BAA8B,UAAU,EAClF;CACF;CACA,OAAO;AACT;AAEA,SAAS,yBACP,iBACA,aACA,qBACA,SACM;CACN,IAAI,YAAY,cAAc,qBAC5B,MAAM,IAAI,MACR,GAAG,QAAQ,aAAa,gBAAgB,sBAAsB,oBAAoB,eAAe,YAAY,UAAU,aAAa,YAAY,UAAU,EAC5J;AAEJ;AAEA,SAAS,mBACP,OAC+B;CAC/B,OAAO,qBAAqB;AAC9B;AAEA,MAAM,iBAAiB;AACvB,MAAM,oBAAoB;AAE1B,SAAS,wBACP,OACA,wBACA,oBACQ;CACR,IAAI,MAAM,gBAAgB,KAAA,KAAa,MAAM,YAAY,SAAS,GAChE,OAAO,MAAM;CAEf,OAAO,uBAAuB,IAAI,MAAM,SAAS,KAAK;AACxD;AAEA,SAAS,uBACP,SACA,sBACA,aACA,WACA,WACyB;CACzB,MAAM,cAAc,qBAAqB,IAAI,QAAQ,KAAK;CAC1D,IAAI,gBAAgB,KAAA,GAClB,MAAM,IAAI,MACR,mDAAmD,QAAQ,MAAM,kBAAkB,UAAU,GAAG,UAAU,2BAC5G;CAGF,OAAO;EACL,OAAO,QAAQ;EACf;EACA,eAAe,QAAQ;EACvB,cAAc,QAAQ;EACtB,eAAe,yBAAyB,aAAa,SAAS;CAChE;AACF;AAEA,SAAS,yBAAyB,aAAwB,WAAsC;CAC9F,MAAM,oBAAoB,YAAY,IAAI;CAC1C,IAAI,qBAAqB,kBAAkB,SAAS,GAClD,OAAO;CAET,MAAM,cAAc,YAAY,SAAS,MAAM,MAAM,EAAE,QAAQ,SAAS,CAAC;CACzE,IAAI,aACF,OAAO,YAAY;CAErB,MAAM,IAAI,MACR,qBAAqB,YAAY,UAAU,qBAAqB,UAAU,qEAC5E;AACF;AAEA,SAAS,mBACP,OACA,oBACA,aACe;CACf,IAAI,mBAAmB,KAAK,GAAG;EAC7B,MAAM,iBACJ,MAAM,YAAY,KAAA,IACd,oBAAoB,MAAM,SAAS,gBAAgB,WAAW,IAC9D,KAAA;EAEN,OAAO;GACL,YAAY;GACZ,SAAS;GACT,UAAU,MAAM;GAChB,GAAG,UAAU,WAAW,cAAc;EACxC;CACF;CAEA,IAAI,MAAM,MACR,OAAO;EACL,YAAY;EACZ,SAAS;EACT,UAAU,MAAM;CAClB;CAGF,MAAM,UAAU,MAAM,WAAW;CACjC,MAAM,iBACJ,MAAM,YAAY,KAAA,IACd,oBAAoB,MAAM,SAAS,SAAS,WAAW,IACvD,KAAA;CAEN,OAAO;EACL,YAAY,MAAM,WAAW;EAC7B;EACA,UAAU,MAAM;EAChB,GAAG,UAAU,cAAc,MAAM,WAAW,UAAU;EACtD,GAAG,UAAU,WAAW,cAAc;EACtC,GAAG,UAAU,WAAW,MAAM,WAAW,OAAO;EAChD,GAAG,UAAU,YAAY,kBAAkB;CAC7C;AACF;AAEA,SAAS,iBACP,OACA,QACA,mBACe;CACf,IAAI,mBAAmB,KAAK,GAC1B,OAAO;EACL,MAAM;GAAE,MAAM;GAAe,MAAM,MAAM;EAAgB;EACzD,UAAU,MAAM;EAChB,GAAI,MAAM,OAAO,EAAE,MAAM,KAAK,IAAI,CAAC;CACrC;CAGF,OAAO;EACL,MAAM;GACJ,MAAM;GACN,SAAS,OAAO;GAChB,GAAG,UAAU,cAAc,OAAO,UAAU;EAC9C;EACA,UAAU,OAAO;EACjB,GAAI,MAAM,OAAO,EAAE,MAAM,KAAK,IAAI,CAAC;EACnC,GAAG,UAAU,YAAY,iBAAiB;CAC5C;AACF;AAEA,SAAS,qCAAqC,YAA6C;CACzF,MAAM,sBAAM,IAAI,IAAY;CAC5B,IAAI,IAAI,WAAW,OAAO,kBAAkB;CAC5C,KAAK,MAAM,MAAM,WAAW,cAAc,CAAC,GACzC,IAAI,GAAG,SAAS,GACd,IAAI,IAAI,EAAE;CAGd,KAAK,MAAM,SAAS,WAAW,QAC7B,IAAI,MAAM,gBAAgB,KAAA,KAAa,MAAM,YAAY,SAAS,GAChE,IAAI,IAAI,MAAM,WAAW;CAG7B,OAAO;AACT;AAEA,SAAS,2BACP,YACA,iBAC+B;CAC/B,IAAI,OAAO,OAAO,YAAY,oBAAoB,GAChD,OAAO;CAET,MAAM,eAAwC;EAC5C,IAAI;EACJ,SAAS,EAAE,OAAO,CAAC,EAAE;CACvB;CACA,MAAM,UAAU,kBAAkB,gBAAgB,YAAY,IAAI,kBAAkB,YAAY;CAChG,OAAO,UAGL;GACC,uBAAuB;EACxB,GAAG;CACL,CAAC;AACH;AAEA,MAAM,6BAA6B;AAEnC,SAAS,+BACP,UACA,OACA,gBAIA;CACA,MAAM,gBAAqD,CAAC;CAC5D,MAAM,yBAAmF,CAAC;CAC1F,KAAK,MAAM,CAAC,MAAM,UAAU,OAAO,QAAQ,KAAK,GAAG;EACjD,IAAI,2BAA2B,KAAK,GAAG;GACrC,IAAI,aAAa,YACf,MAAM,IAAI,MACR,kDAAkD,KAAK,kDAAkD,SAAS,IACpH;GAEF,IAAI,OAAO,uBAAuB;GAClC,IAAI,SAAS,KAAA,GAAW;IACtB,OAAO,CAAC;IACR,uBAAuB,8BAA8B;GACvD;GACA,KAAK,QAAQ;GACb;EACF;EACA,cAAc,QAAQ;CACxB;CACA,IAAI,mBAAmB,KAAA,GACrB,KAAK,MAAM,CAAC,MAAM,cAAc,OAAO,QAAQ,cAAc,GAC3D,KAAK,MAAM,CAAC,MAAM,UAAU,OAAO,QAAQ,SAAS,GAAG;EACrD,IAAI,aAAa,YACf,MAAM,IAAI,MACR,kDAAkD,KAAK,kDAAkD,SAAS,IACpH;EAEF,IAAI,OAAO,uBAAuB;EAClC,IAAI,SAAS,KAAA,GAAW;GACtB,OAAO,CAAC;GACR,uBAAuB,QAAQ;EACjC;EACA,KAAK,QAAQ;CACf;CAGJ,OAAO;EAAE;EAAe;CAAuB;AACjD;AAEA,SAAgB,+BACd,YACA,aACsB;CACtB,MAAM,SAAS,WAAW,OAAO;CACjC,MAAM,qBAAqB,WAAW,OAAO;CAC7C,MAAM,eAAe;CACrB,MAAM,sBAAsB,MAC1B,EAAE,gBAAgB,KAAA,KAAa,EAAE,YAAY,SAAS,IAAI,EAAE,cAAc;CAC5E,MAAM,eAAe,IAAI,IAAI,WAAW,OAAO,KAAK,MAAM,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC;CAC3E,MAAM,uBAAuB,IAAI,IAC/B,WAAW,OAAO,KAAK,MAAM,CAC3B,EAAE,WACF,EAAE,gBAAgB,KAAA,KAAa,EAAE,YAAY,SAAS,IAAI,EAAE,cAAc,kBAC5E,CAAC,CACH;CACA,MAAM,qBAAqB,IAAI,IAC7B,WAAW,OAAO,KAAK,MAAM,CAAC,GAAG,mBAAmB,CAAC,EAAE,GAAG,EAAE,aAAa,CAAC,CAAC,CAC7E;CAEA,MAAM,oBAAkE,CAAC;CACzE,MAAM,yCAAyB,IAAI,IAAoB;CACvD,MAAM,oBAAgD,CAAC;CACvD,MAAM,oBAAmE,CAAC;CAC1E,MAAM,cAID,CAAC;CAEN,KAAK,MAAM,iBAAiB,WAAW,QAAQ;EAC7C,MAAM,YAAY,cAAc;EAChC,MAAM,cACJ,cAAc,gBAAgB,KAAA,KAAa,cAAc,YAAY,SAAS,IAC1E,cAAc,cACd;EACN,uBAAuB,IAAI,cAAc,WAAW,WAAW;EAG/D,IAAI,CAAC,cAAc,iBACjB,YAAY,KAAK;GACf;GACA;GACA,KAAK,SAAS,cAAc,WAAW,WAAW;EACpD,CAAC;EAKH,MAAM,UAAyC,CAAC;EAChD,MAAM,gBAAwC,CAAC;EAC/C,MAAM,eAA8C,CAAC;EACrD,MAAM,kBAAkD,CAAC;EAEzD,KAAK,MAAM,SAAS,cAAc,QAAQ;GACxC,MAAM,yBACJ,MAAM,mBAAmB,YAAY,MAAM,mBAAmB,WAC1D,MAAM,oBACN,KAAA;GACN,IAAI,wBAAwB;IAC1B,IAAI,MAAM,YAAY,KAAA,GACpB,MAAM,IAAI,MACR,UAAU,cAAc,UAAU,GAAG,MAAM,UAAU,oDACvD;IAEF,IAAI,MAAM,UACR,MAAM,IAAI,MACR,UAAU,cAAc,UAAU,GAAG,MAAM,UAAU,yDACvD;GAEJ;GAEA,MAAM,aAAa,CAAC,mBAAmB,KAAK,IAAI,MAAM,iBAAiB,KAAA;GAIvE,MAAM,qBACJ,eAAe,KAAA,IACX;IACE,OAAO;IACP,YAAY;IACZ,aAAa;IACb,MAAM,WAAW;GACnB,IACA,KAAA;GACN,MAAM,oBACJ,eAAe,KAAA,IACX;IACE,OAAO;IACP,YAAY;IACZ,aAAa;IACb,MAAM,WAAW;GACnB,IACA,KAAA;GAEN,MAAM,SAAS,mBAAmB,OAAO,oBAAoB,WAAW;GACxE,QAAQ,MAAM,cAAc;GAC5B,cAAc,MAAM,aAAa,MAAM;GAEvC,aAAa,MAAM,aAAa,iBAAiB,OAAO,QAAQ,iBAAiB;GAEjF,IAAI,mBAAmB,KAAK,GAC1B,gBAAgB,MAAM,aAAa;IACjC,MAAM;IACN,MAAM,MAAM;IACZ,GAAI,MAAM,OAAO,EAAE,MAAM,KAAK,IAAI,CAAC;GACrC;QACK,IAAI,MAAM,MACf,gBAAgB,MAAM,aAAa;IAAE,MAAM;IAAU,MAAM;GAAK;GAGlE,IAAI,wBACF,kBAAkB,KAAK;IACrB,KAAK;KAAE,OAAO;KAAW,QAAQ,MAAM;IAAW;IAClD,GAAG,UAAU,YAAY,uBAAuB,QAAQ;IACxD,GAAG,UAAU,YAAY,uBAAuB,QAAQ;GAC1D,CAAC;EAEL;EAEA,MAAM,eAAe,cAAc,eAAe,CAAC,EAAA,CAAG,KAAK,OAAO;GAChE,IAAI,GAAG,WAAW,YAAY,KAAA,GAAW;IAGvC,MAAM,oBAAoB,GAAG,WAAW,eAAe;IACvD,OAAO;KACL,QAAQ;MAAE,aAAa,cAAc,WAAW;MAAG;MAAW,SAAS,GAAG;KAAQ;KAClF,QAAQ;MACN,aAAa,cAAc,iBAAiB;MAC5C,WAAW,GAAG,WAAW;MACzB,SAAS,GAAG,WAAW;MACvB,SAAS,GAAG,WAAW;KACzB;KACA,GAAG,gBACD;MACE,GAAG,UAAU,cAAc,GAAG,UAAU;MACxC,GAAG,UAAU,SAAS,GAAG,KAAK;KAChC,GACA,WAAW,kBACb;KACA,GAAG,UAAU,QAAQ,GAAG,IAAI;KAC5B,GAAG,UAAU,YAAY,GAAG,QAAQ;KACpC,GAAG,UAAU,YAAY,GAAG,QAAQ;IACtC;GACF;GAEA,MAAM,cAAc,uBAClB,cACA,oBACA,cAAc,WACd,GAAG,WAAW,OACd,GAAG,WAAW,aACd,aACF;GACA,yBACE,cAAc,WACd,aACA,GAAG,WAAW,OACd,aACF;GACA,MAAM,oBACJ,GAAG,WAAW,gBACb,YAAY,gBAAgB,KAAA,KAAa,YAAY,YAAY,SAAS,IACvE,YAAY,cACZ;GACN,OAAO;IACL,QAAQ;KAAE,aAAa,cAAc,WAAW;KAAG;KAAW,SAAS,GAAG;IAAQ;IAClF,QAAQ;KACN,aAAa,cAAc,iBAAiB;KAC5C,WAAW,GAAG,WAAW;KACzB,SAAS,GAAG,WAAW;IACzB;IACA,GAAG,gBACD;KACE,GAAG,UAAU,cAAc,GAAG,UAAU;KACxC,GAAG,UAAU,SAAS,GAAG,KAAK;IAChC,GACA,WAAW,kBACb;IACA,GAAG,UAAU,QAAQ,GAAG,IAAI;IAC5B,GAAG,UAAU,YAAY,GAAG,QAAQ;IACpC,GAAG,UAAU,YAAY,GAAG,QAAQ;GACtC;EACF,CAAC;EAKD,IAAI,CAAC,cAAc,iBAAiB;GAClC,MAAM,iBAAyC,OAAO,QAAQ,OAAO,CAAC,CAAC,SACpE,CAAC,YAAY,SAAS;IACrB,MAAM,WAAW,IAAI;IACrB,OAAO,aAAa,KAAA,IAChB,CAAC,IACD,CAAC;KAAE,MAAM,GAAG,UAAU,GAAG,WAAW;KAAS,QAAQ;KAAY;IAAS,CAAC;GACjF,CACF;GAEA,MAAM,aAAgC;IACpC;IACA,GAAG,UAAU,WAAW,cAAc,OAAO;IAC7C,UAAU,cAAc,WAAW,CAAC,EAAA,CAAG,KAAK,OAAO;KACjD,SAAS,EAAE;KACX,GAAG,UAAU,QAAQ,EAAE,IAAI;IAC7B,EAAE;IACF,UAAU,cAAc,WAAW,CAAC,EAAA,CAAG,KAAK,OAAO;KACjD,SAAS,EAAE;KACX,GAAG,UAAU,QAAQ,EAAE,IAAI;KAC3B,GAAG,UAAU,QAAQ,EAAE,IAAI;KAC3B,GAAG,UAAU,WAAW,EAAE,OAAO;IACnC,EAAE;IACF;IACA,GAAI,cAAc,KACd,EACE,YAAY;KACV,SAAS,cAAc,GAAG;KAC1B,GAAG,UAAU,QAAQ,cAAc,GAAG,IAAI;IAC5C,EACF,IACA,CAAC;IACL,GAAI,eAAe,SAAS,IAAI,EAAE,QAAQ,eAAe,IAAI,CAAC;GAChE;GAEA,IAAI,WAAW,kBAAkB;GACjC,IAAI,aAAa,KAAA,GAAW;IAC1B,WAAW,CAAC;IACZ,kBAAkB,eAAe;GACnC;GACA,IAAI,SAAS,eAAe,KAAA,GAC1B,MAAM,IAAI,MACR,oDAAoD,UAAU,kBAAkB,YAAY,GAC9F;GAEF,SAAS,aAAa,IAAI,aAAa,UAAU;EACnD;EAIA,MAAM,gBAA6D,CAAC;EACpE,KAAK,MAAM,CAAC,WAAW,eAAe,OAAO,QAAQ,aAAa,GAChE,cAAc,aAAa,EAAE,QAAQ,WAAW;EAGlD,MAAM,gBAAgB,IAAI,IACxB,OAAO,QAAQ,aAAa,CAAC,CAAC,KAAK,CAAC,OAAO,SAAS,CAAC,KAAK,KAAK,CAAC,CAClE;EACA,MAAM,iBAAmD,CAAC;EAC1D,KAAK,MAAM,YAAY,cAAc,aAAa,CAAC,GAAG;GAGpD,IAAI,SAAS,YAAY,KAAA,GAAW;IAClC,MAAM,oBAAoB,SAAS,eAAe;IAClD,eAAe,SAAS,aAAa;KACnC,IAAI,SAAS,SAAS,SAAS,mBAAmB,SAAS,OAAO;KAElE,aAAa;KACb,IAAI;MACF,aAAa,SAAS,GAAG,cAAc,KAAK,QAAQ,cAAc,IAAI,GAAG,KAAK,GAAG;MAGjF,cAAc,SAAS,GAAG;KAC5B;IACF;IACA;GACF;GAEA,MAAM,cAAc,uBAClB,cACA,oBACA,cAAc,WACd,SAAS,SACT,SAAS,eACT,UACF;GACA,yBAAyB,cAAc,WAAW,aAAa,SAAS,SAAS,UAAU;GAE3F,MAAM,sBAAsB,IAAI,IAC9B,YAAY,OAAO,KAAK,MAAM,CAAC,EAAE,YAAY,EAAE,SAAS,CAAC,CAC3D;GAEA,MAAM,KAAK,SACT,SAAS,SACT,SAAS,kBAAkB,KAAA,KAAa,SAAS,cAAc,SAAS,IACpE,SAAS,gBACT,wBAAwB,aAAa,wBAAwB,kBAAkB,CACrF;GACA,MAAM,KAAK;IACT,aAAa,SAAS,GAAG,cAAc,KAAK,QAAQ,cAAc,IAAI,GAAG,KAAK,GAAG;IACjF,cAAc,SAAS,GAAG,aAAa,KAAK,QAAQ,oBAAoB,IAAI,GAAG,KAAK,GAAG;GACzF;GAEA,IAAI,SAAS,gBAAgB,OAAO;IAClC,IAAI,CAAC,SAAS,SACZ,MAAM,IAAI,MACR,aAAa,cAAc,UAAU,GAAG,SAAS,UAAU,mDAC7D;IAEF,eAAe,SAAS,aAAa;KACnC;KACA,aAAa;KACb;KACA,SAAS,uBACP,SAAS,SACT,sBACA,aACA,cAAc,WACd,SAAS,SACX;IACF;GACF,OACE,eAAe,SAAS,aAAa;IAAE;IAAI,aAAa,SAAS;IAAa;GAAG;EAErF;EAEA,IAAI,kBAAkB,kBAAkB;EACxC,IAAI,oBAAoB,KAAA,GAAW;GACjC,kBAAkB,CAAC;GACnB,kBAAkB,eAAe;EACnC;EACA,gBAAgB,cAAc,aAAa;GACzC,SAAS;IACP,OAAO;IACP;IACA,QAAQ;GACV;GACA,QAAQ;GACR,WAAW;EACb;CACF;CASA,MAAM,sCAAsB,IAAI,IAAoB;CACpD,KAAK,MAAM,SAAS,aAClB,oBAAoB,IAAI,MAAM,YAAY,oBAAoB,IAAI,MAAM,SAAS,KAAK,KAAK,CAAC;CAE9F,MAAM,QAAwC,CAAC;CAC/C,KAAK,MAAM,SAAS,aAAa;EAC/B,MAAM,OACH,oBAAoB,IAAI,MAAM,SAAS,KAAK,KAAK,IAC9C,GAAG,MAAM,YAAY,GAAG,MAAM,cAC9B,MAAM;EACZ,MAAM,OAAO,MAAM;CACrB;CAMA,MAAM,kBAAmB,WAAW,gBAAgB,CAAC;CAkBrD,MAAM,EAAE,eAAe,2BAA2B,+BAChD,QAfmB,OAAO,YAC1B,OAAO,QAAQ,eAAe,CAAC,CAAC,KAAK,CAAC,MAAM,WAAW;EACrD,IAAI,2BAA2B,KAAK,GAAG,OAAO,CAAC,MAAM,KAAK;EAC1D,IAAK,MAA6B,SAAS,kBAAkB,OAAO,CAAC,MAAM,KAAK;EAChF,OAAO,CACL,MACA,sBAAsB;GACpB,SAAS,MAAM;GACf,YAAY,MAAM;GAClB,YAAa,MAAmD,cAAc,CAAC;EACjF,CAAC,CACH;CACF,CAAC,CAIU,GACX,WAAW,cACb;CACA,MAAM,yBAAyB,qCAAqC,UAAU;CAC9E,KAAK,MAAM,MAAM,OAAO,KAAK,sBAAsB,GACjD,uBAAuB,IAAI,EAAE;CAK/B,MAAM,kBAAgE,CAAC;CACvE,MAAM,uBAA6E,CAAC;CACpF,KAAK,MAAM,CAAC,UAAU,WAAW,OAAO,QAAQ,WAAW,SAAS,CAAC,CAAC,GAAG;EACvE,IAAI,aAAa,OAAO,UACtB,MAAM,IAAI,MACR,yBAAyB,SAAS,8BAA8B,OAAO,SAAS,8BAClF;EAEF,MAAM,OAAO;EACb,IAAI,aAAa,gBAAgB;EACjC,IAAI,eAAe,KAAA,GAAW;GAC5B,aAAa,CAAC;GACd,gBAAgB,QAAQ;EAC1B;EACA,WAAW,YAAY;GACrB,SAAS,OAAO;GAChB,SAAS,OAAO;EAClB;EAEA,IAAI,cAAc,qBAAqB;EACvC,IAAI,gBAAgB,KAAA,GAAW;GAC7B,cAAc,CAAC;GACf,qBAAqB,QAAQ;EAC/B;EACA,YAAY,YAAY;GACtB,MAAM;GACN,QAAQ,OAAO;EACjB;CACF;CAEA,MAAM,EAAE,oBAAoB;CAC5B,MAAM,aAAa,UAIjB,OAAO,YACL,CAAC,GAAG,sBAAsB,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,OAAO;EAC7C,MAAM,YAAY,uBAAuB;EACzC,MAAM,kBAAkB,qBAAqB;EAC7C,MAAM,UAAmC;GACvC;GACA,SAAS;IACP,OAAO,kBAAkB,OAAO,CAAC;IACjC,GAAI,oBAAoB,KAAA,KAAa,OAAO,KAAK,eAAe,CAAC,CAAC,SAAS,IACvE,EAAE,UAAU,gBAAgB,IAC5B,CAAC;GACP;EACF;EACA,OAAO,CACL,IACA,kBAAkB,gBAAgB,SAAS,SAAS,IAAI,kBAAkB,OAAO,CACnF;CACF,CAAC,CACH,CACF;CACA,MAAM,qBAAqB;EACzB,GAAI,OAAO,KAAK,aAAa,CAAC,CAAC,SAAS,IAAI,EAAE,OAAO,cAAc,IAAI,CAAC;EACxE,YAAY,2BAA2B,YAAY,eAAe;CACpE;CACA,MAAM,cAAuC,WAAW,cACpD,SAAS,WAAW,WAAW,IAC/B,mBAAmB;EACjB;EACA;EACA,SAAS;EACT,GAAG;CACL,CAAC;CACL,MAAM,UAAU,IAAI,WAAW;EAAE,GAAG;EAAoB;CAAY,CAAC;CAErE,MAAM,mBACJ,kBAAkB,SAAS,IACvB,EACE,WAAW,EACT,UAAU,kBAAkB,MAAM,GAAG,MAAM;EACzC,MAAM,eAAe,EAAE,IAAI,MAAM,cAAc,EAAE,IAAI,KAAK;EAC1D,IAAI,iBAAiB,GACnB,OAAO;EAET,OAAO,EAAE,IAAI,OAAO,cAAc,EAAE,IAAI,MAAM;CAChD,CAAC,EACH,EACF,IACA,KAAA;CAEN,MAAM,sBAAsB,WAAW,iBACnC,OAAO,OAAO,WAAW,cAAc,CAAC,CAAC,KAAK,SAAS,KAAK,EAAE,IAC9D,KAAA;CAEJ,MAAM,iBAA0C,EAAE,GAAI,WAAW,kBAAkB,CAAC,EAAG;CACvF,IAAI;OACG,MAAM,aAAa,qBACtB,IAAI,CAAC,OAAO,OAAO,gBAAgB,SAAS,GAC1C,eAAe,aAAa,CAAC;CAAA;CAKnC,MAAM,iCAAiC,WAAW,iBAC9C,OAAO,OAAO,WAAW,cAAc,CAAC,CAAC,KACtC,SAAS,KAAK,YACjB,IACA,CAAC;CACL,MAAM,eAAe,wBACnB,WAAW,OAAO,cAClB,GAAG,8BACL;CAKA,MAAM,cAAc,mBAAmB;EACrC;EACA;EACA,cAAc,CAAC;CACjB,CAAC;CAED,MAAM,oBAAoB,mBACtB;EACE,GAAG;EACH,eAAe,qBAAqB;GAAE;GAAQ;GAAc,WAAW;EAAiB,CAAC;CAC3F,IACA,KAAA;CAEJ,MAAM,eACJ,WAAW,gBAAgB,WAAW,aAAa,SAAS,IACxD,OAAO,YACL,WAAW,aAAa,KAAK,OAAO,CAClC,GAAG,MACH,EACE,QAAQ,OAAO,YACb,GAAG,OAAO,KAAK,MAAM,CACnB,EAAE,WACF,mBAAmB,CAAC,IAChB;EACE,MAAM;GAAE,MAAM;GAAwB,MAAM,EAAE;EAAgB;EAC9D,UAAU,EAAE;EACZ,GAAI,EAAE,OAAO,EAAE,MAAM,KAAK,IAAI,CAAC;CACjC,IACA;EACE,MAAM;GACJ,MAAM;GACN,SAAS,EAAE,WAAW;GACtB,GAAG,UAAU,cAAc,EAAE,WAAW,UAAU;EACpD;EACA,UAAU,EAAE;CACd,CACN,CAAC,CACH,EACF,CACF,CAAC,CACH,IACA,KAAA;CAEN,MAAM,qBAAqB,IAAI,IAAI,OAAO,KAAK,iBAAiB,CAAC;CACjE,IAAI,mBAAmB,SAAS,GAC9B,mBAAmB,IAAI,kBAAkB;CAE3C,IAAI,iBAAiB,KAAA,GACnB,mBAAmB,IAAI,kBAAkB;CAE3C,KAAK,MAAM,QAAQ,OAAO,KAAK,eAAe,GAC5C,mBAAmB,IAAI,IAAI;CAE7B,MAAM,mBAAmB,OAAO,YAC9B,CAAC,GAAG,kBAAkB,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,gBAAgB;EAClD,MAAM,aAAa,kBAAkB,gBAAgB,CAAC;EACtD,MAAM,YAAY,gBAAgB;EAUlC,OAAO,CAAC,aAAa;GARnB,QAAQ;GACR,GAAI,gBAAgB,sBAAsB,iBAAiB,KAAA,IACvD,EAAE,aAAa,IACf,CAAC;GACL,GAAI,cAAc,KAAA,KAAa,OAAO,KAAK,SAAS,CAAC,CAAC,SAAS,IAC3D,EAAE,MAAM,UAAU,IAClB,CAAC;EAE2B,CAAC;CACrC,CAAC,CACH;CAEA,MAAM,WAAiC;EACrC;EACA;EACA,GAAG,UAAU,wBAAwB,WAAW,oBAAoB;EACpE,QAAQ,EAAE,YAAY,iBAAiB;EACvC;EACA;EACA,GAAI,oBAAoB,EAAE,WAAW,kBAAkB,IAAI,CAAC;EAC5D;EACA;EACA;EACA,MAAM,CAAC;CACT;CAEA,uBAAuB,YAAY,QAAQ;CAE3C,OAAO;AACT"}