@prisma-next/sql-contract-ts 0.14.0-dev.6 → 0.14.0-dev.60

package/src/contract-types.ts

@@ -21,10 +21,10 @@ 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 }>
-    ? C
-    : Record<string, never>
+export type ExtractCodecTypesFromPack<P> = P extends {
+  __codecTypes?: infer C extends Record<string, { output: unknown }>;
+}
+  ? C
   : Record<string, never>;
 
 export type MergeExtensionCodecTypes<Packs extends Record<string, unknown>> = UnionToIntersection<
@@ -279,6 +279,8 @@ type FieldNullableOf<FieldState> = FieldState extends {
   ? Nullable
   : boolean;
 
+type FieldManyOf<FieldState> = FieldState extends { readonly many?: true } ? true : false;
+
 type FieldColumnOverrideOf<FieldState> = Present<
   FieldState extends { readonly columnName?: infer ColumnName } ? ColumnName : never
 >;
@@ -471,15 +473,17 @@ type StorageColumn<
   NativeType extends string,
   TypeRef extends string | undefined = undefined,
   TypeParams extends Record<string, unknown> | undefined = undefined,
+  Many extends boolean = false,
 > = {
   readonly nativeType: NativeType;
   readonly codecId: CodecId;
   readonly nullable: Nullable;
   readonly default?: ColumnDefault;
-} & (TypeRef extends string ? { readonly typeRef: TypeRef } : Record<string, never>) &
+} & (TypeRef extends string ? { readonly typeRef: TypeRef } : Record<never, never>) &
   (TypeParams extends Record<string, unknown>
     ? { readonly typeParams: TypeParams }
-    : Record<string, never>);
+    : Record<never, never>) &
+  (Many extends true ? { readonly many: true } : Record<never, never>);
 
 type ModelStorageColumn<
   Definition,
@@ -496,7 +500,8 @@ type ModelStorageColumn<
           ResolveFieldDescriptor<Definition, ModelFieldState<Definition, ModelName, FieldName>>
         >,
         ResolveFieldColumnTypeRef<Definition, ModelFieldState<Definition, ModelName, FieldName>>,
-        ResolveFieldColumnTypeParams<Definition, ModelFieldState<Definition, ModelName, FieldName>>
+        ResolveFieldColumnTypeParams<Definition, ModelFieldState<Definition, ModelName, FieldName>>,
+        FieldManyOf<ModelFieldState<Definition, ModelName, FieldName>>
       >
     : never;
 
@@ -677,6 +682,8 @@ type BuiltStorage<Definition> = {
   };
 };
 
+type StorageColumnManyOf<Col> = Col extends { readonly many: true } ? true : false;
+
 // 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).
@@ -698,7 +705,9 @@ type CodecChannelType<
 > = ModelStorageColumn<Definition, ModelName, FieldName>['codecId'] extends infer Id extends
   keyof CodecTypesFromDefinition<Definition>
   ? CodecTypesFromDefinition<Definition>[Id] extends { readonly [K in Channel]: infer T }
-    ? T
+    ? StorageColumnManyOf<ModelStorageColumn<Definition, ModelName, FieldName>> extends true
+      ? ReadonlyArray<T>
+      : T
     : unknown
   : unknown;
 
@@ -712,7 +721,9 @@ type FieldChannelType<
 > =
   | ([EnumValueUnion<ModelFieldState<Definition, ModelName, FieldName>>] extends [never]
       ? CodecChannelType<Definition, ModelName, FieldName, Channel>
-      : EnumValueUnion<ModelFieldState<Definition, ModelName, FieldName>>)
+      : StorageColumnManyOf<ModelStorageColumn<Definition, ModelName, FieldName>> extends true
+        ? ReadonlyArray<EnumValueUnion<ModelFieldState<Definition, ModelName, FieldName>>>
+        : EnumValueUnion<ModelFieldState<Definition, ModelName, FieldName>>)
   | (FieldNullableOf<ModelFieldState<Definition, ModelName, FieldName>> extends true
       ? null
       : never);
@@ -735,6 +746,17 @@ type FieldChannelTypes<Definition, Channel extends 'output' | 'input'> = {
   };
 };
 
+type StorageColumnChannelTypes<Definition, Channel extends 'output' | 'input'> = {
+  readonly [Ns in DefaultStorageNamespaceId<Definition>]: {
+    readonly [ModelName in ModelNames<Definition> as BuiltModelTableName<Definition, ModelName>]: {
+      readonly [FieldName in ModelFieldNames<Definition, ModelName> as BuiltModelColumnMappings<
+        Definition,
+        ModelName
+      >[FieldName]['column']]: FieldChannelType<Definition, ModelName, FieldName, Channel>;
+    };
+  };
+};
+
 export type SqlContractResult<Definition> = ContractWithTypeMaps<
   Omit<Contract<BuiltStorage<Definition>>, 'domain'> & {
     readonly target: DefinitionTargetId<Definition>;
@@ -754,6 +776,8 @@ export type SqlContractResult<Definition> = ContractWithTypeMaps<
     CodecTypesFromDefinition<Definition>,
     Record<string, never>,
     FieldChannelTypes<Definition, 'output'>,
-    FieldChannelTypes<Definition, 'input'>
+    FieldChannelTypes<Definition, 'input'>,
+    StorageColumnChannelTypes<Definition, 'output'>,
+    StorageColumnChannelTypes<Definition, 'input'>
   >
 >;

package/src/enum-type.ts

@@ -1,306 +1,14 @@
-import type { ColumnTypeDescriptor } from '@prisma-next/framework-components/codec';
-import { blindCast } from '@prisma-next/utils/casts';
-
-// ---------------------------------------------------------------------------
-// EnumMember — a single member declaration with literal type preservation
-// ---------------------------------------------------------------------------
-
-/**
- * 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. `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> {
-  readonly name: Name;
-  readonly value: Value;
-}
-
-/**
- * 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>(
-  name: Name,
-  value: Value,
-): EnumMember<Name, Value>;
-export function member<const Name extends string, const Value = Name>(
-  name: Name,
-  value?: Value,
-): EnumMember<Name, Value> {
-  return {
-    name,
-    value: blindCast<
-      Value,
-      'overload signatures enforce Value=Name when value is omitted; default generic Value=Name makes this safe'
-    >(value ?? name),
-  };
-}
-
-// ---------------------------------------------------------------------------
-// Internal types for inferring the literal tuple from the members spread
-// ---------------------------------------------------------------------------
-
-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, unknown>[]> = {
-  readonly [K in keyof Members]: Members[K] extends EnumMember<infer N, unknown> ? N : never;
-};
-
-type MembersAccessorMap<Members extends readonly EnumMember<string, unknown>[]> = {
-  readonly [M in Members[number] as M['name']]: M['value'];
-};
-
-// ---------------------------------------------------------------------------
-// EnumTypeHandle — the authoring handle returned by enumType()
-// ---------------------------------------------------------------------------
-
-/**
- * Internal brand that identifies an EnumTypeHandle in the lowering pipeline.
- * Not exported — callers only interact with `EnumTypeHandle`.
- */
-export const ENUM_TYPE_HANDLE_BRAND = Symbol('EnumTypeHandle');
-
-/**
- * Authoring handle returned by `enumType()`. Carries:
- *
- * - The ordered literal value tuple (`.values`) and name tuple (`.names`)
- *   so downstream type-tests can assert literal preservation.
- * - A namespaced member accessor map (`.members`) to avoid collisions with
- *   `.values` / `.has` / `.nameOf` / `.ordinalOf`.
- * - Runtime helpers `.has()`, `.nameOf()`, `.ordinalOf()`.
- * - Internal metadata (`enumName`, `codecId`, `nativeType`,
- *   `enumMembers`) for the lowering pipeline.
- *
- * The type is generic over the ordered value tuple so callers that assign
- * `const Role = enumType(...)` retain the literal tuple on `.values`.
- */
-export interface EnumTypeHandle<
-  Name extends string = string,
-  Values extends readonly unknown[] = readonly unknown[],
-  Names extends readonly string[] = readonly string[],
-  MembersMap extends Record<string, unknown> = Record<string, unknown>,
-> {
-  /** Internal brand for lowering-pipeline detection. */
-  readonly [ENUM_TYPE_HANDLE_BRAND]: true;
-
-  /** The enum's declared name (used as the key in domain `enum` / storage `valueSet`). */
-  readonly enumName: Name;
-
-  /** codecId from the codec passed to `enumType`. */
-  readonly codecId: string;
-
-  /** nativeType from the codec passed to `enumType`. */
-  readonly nativeType: string;
-
-  /** Ordered member list for lowering (name + value pairs). */
-  readonly enumMembers: readonly { readonly name: string; readonly value: Values[number] }[];
-
-  /** Ordered literal value tuple. Declaration order is preserved. */
-  readonly values: Values;
-
-  /** Ordered literal name tuple. Declaration order is preserved. */
-  readonly names: Names;
-
-  /**
-   * Namespaced accessor map: `Role.members.User === 'user'`.
-   * Namespaced under `.members` to avoid collisions with `.values` / `.has`.
-   */
-  readonly members: MembersMap;
-
-  /** Returns `true` if `v` is a declared member value. */
-  has(v: Values[number]): boolean;
-
-  /** Returns the member name for a value, or `undefined` if not found. */
-  nameOf(v: Values[number]): string | undefined;
-
-  /** Returns the zero-based declaration index of a value, or `-1` if not found. */
-  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.
- *
- * - The codec is an explicit required argument — the `codecId` and
- *   `nativeType` are taken from the passed `ColumnTypeDescriptor` (e.g.
- *   `{ codecId: 'pg/text@1', nativeType: 'text' }` from a field preset
- *   output or a direct inline object).
- * - `const` generics on the members spread preserve the ordered literal
- *   value tuple so `Role.values` is `readonly ['user','admin']`, not
- *   `string[]`.
- * - Well-formedness assertions at construction: non-empty member list;
- *   unique names; unique values.
- *
- * The returned handle wires into `field.namedType(handle)` to set
- * `valueSet` refs on both the domain field and the storage column.
- *
- * @example
- * ```ts
- * const Role = enumType('Role', { codecId: 'pg/text@1', nativeType: 'text' },
- *   member('User', 'user'),
- *   member('Admin', 'admin'),
- * );
- * // Role.values → readonly ['user', 'admin']
- * // Role.members.User → 'user'
- * ```
- */
-export function enumType<
-  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,
-  ...members: Members
-): EnumTypeHandle<
-  Name,
-  MembersToValues<[...Members]>,
-  MembersToNames<[...Members]>,
-  MembersAccessorMap<[...Members]>
->;
-export function enumType(
-  name: string,
-  codec: Pick<ColumnTypeDescriptor, 'codecId' | 'nativeType'>,
-  ...members: EnumMember<string, unknown>[]
-): EnumTypeHandle;
-export function enumType(
-  name: string,
-  codec: Pick<ColumnTypeDescriptor, 'codecId' | 'nativeType'>,
-  ...members: EnumMember<string, unknown>[]
-): EnumTypeHandle {
-  if (members.length === 0) {
-    throw new Error(`enumType("${name}"): must have at least one member.`);
-  }
-
-  const seenNames = new Set<string>();
-  const seenValues = new Set<string>();
-  for (const m of members) {
-    if (seenNames.has(m.name)) {
-      throw new Error(
-        `enumType("${name}"): duplicate member name "${m.name}". Member names must be unique.`,
-      );
-    }
-    seenNames.add(m.name);
-
-    const loweredValue = String(m.value);
-    if (seenValues.has(loweredValue)) {
-      throw new Error(
-        `enumType("${name}"): duplicate member value "${loweredValue}". Member values must be unique.`,
-      );
-    }
-    seenValues.add(loweredValue);
-  }
-
-  const values = Object.freeze(members.map((m) => m.value));
-  const names = Object.freeze(members.map((m) => m.name));
-  const enumMembers = Object.freeze(members.map((m) => ({ name: m.name, value: m.value })));
-
-  const membersAccessor = Object.freeze(Object.fromEntries(members.map((m) => [m.name, m.value])));
-
-  const valueSet = new Set(values);
-  const valueToName = new Map(members.map((m) => [m.value, m.name]));
-  const valueToOrdinal = new Map(values.map((v, i) => [v, i]));
-
-  return {
-    [ENUM_TYPE_HANDLE_BRAND]: true,
-    enumName: name,
-    codecId: codec.codecId,
-    nativeType: codec.nativeType,
-    enumMembers,
-    values,
-    names,
-    members: membersAccessor,
-    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
- * in field state without importing the BRAND symbol at every call site.
- */
-export function isEnumTypeHandle(value: unknown): value is EnumTypeHandle {
-  return (
-    typeof value === 'object' &&
-    value !== null &&
-    Reflect.get(value, ENUM_TYPE_HANDLE_BRAND) === true
-  );
-}
+export type {
+  BoundEnumType,
+  CodecInput,
+  CodecTypeMap,
+  EnumMember,
+  EnumTypeHandle,
+} from '@prisma-next/contract-authoring';
+export {
+  bindEnumType,
+  ENUM_TYPE_HANDLE_BRAND,
+  enumType,
+  isEnumTypeHandle,
+  member,
+} from '@prisma-next/contract-authoring';

package/dist/build-contract-CQ4u83jx.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"build-contract-CQ4u83jx.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 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  type SqlNamespaceTablesInput,\n  SqlStorage,\n  type SqlStorageInput,\n  type StorageColumn,\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 encodeViaCodec(value: unknown, codecId: string, codecLookup?: CodecLookup): JsonValue {\n  const codec = codecLookup?.get(codecId);\n  if (codec) {\n    return codec.encodeJson(value);\n  }\n  return blindCast<\n    JsonValue,\n    'no codec lookup at build time: literal/enum member value is already JSON-safe'\n  >(value);\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: encodeViaCodec(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  defaultNamespaceId: string,\n): ContractRelationThrough {\n  if (!tableNamespaceByName.has(through.table)) {\n    throw new Error(\n      `buildSqlContractFromDefinition: junction table \"${through.table}\" for relation \"${modelName}.${fieldName}\" is not a declared model.`,\n    );\n  }\n  // Junction table names are unique per namespace, not globally. Prefer the\n  // junction's own declared namespace (carried on the through node); fall back to\n  // the target's default namespace. Resolving by bare table name would pick the\n  // wrong namespace when the same junction table name exists in two namespaces.\n  const namespaceId = through.namespaceId ?? defaultNamespaceId;\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\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, StorageTableInput>> = {};\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: 'valueSet',\n              namespaceId: defaultNamespaceId,\n              entityName: enumHandle.enumName,\n            }\n          : undefined;\n      const domainValueSetRef: ValueSetRef | undefined =\n        enumHandle !== undefined\n          ? {\n              plane: 'domain',\n              entityKind: 'enum',\n              namespaceId: defaultNamespaceId,\n              entityName: 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: { namespace: namespaceId, 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] = 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            defaultNamespaceId,\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 ?? {};\n  const documentTypes: Record<string, StorageTypeInstance> = Object.fromEntries(\n    Object.entries(rawStorageTypes).map(([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 namespaceCoordinateIds = collectStorageNamespaceCoordinateIds(definition);\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.map((m) => ({\n        name: m.name,\n        value: encodeViaCodec(m.value, handle.codecId, codecLookup),\n      })),\n    };\n\n    let storageSlot = storageValueSetsByNs[nsId];\n    if (storageSlot === undefined) {\n      storageSlot = {};\n      storageValueSetsByNs[nsId] = storageSlot;\n    }\n    storageSlot[enumName] = {\n      kind: 'valueSet',\n      values: handle.values.map((v) => encodeViaCodec(v, handle.codecId, codecLookup)),\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 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 [id, createNamespace ? createNamespace(nsInput) : buildSqlNamespace(nsInput)];\n      }),\n    ),\n  );\n  const storageWithoutHash = {\n    ...(Object.keys(documentTypes).length > 0 ? { types: documentTypes } : {}),\n    namespaces:\n      defaultNamespaceId === UNBOUND_NAMESPACE_ID\n        ? ensureUnboundNamespaceSlot(namespaces, createNamespace)\n        : namespaces,\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":";;;;;;;;;;;;AA6DA,SAAS,eAAe,OAAgB,SAAiB,aAAsC;CAC7F,MAAM,QAAQ,aAAa,IAAI,OAAO;CACtC,IAAI,OACF,OAAO,MAAM,WAAW,KAAK;CAE/B,OAAO,UAGL,KAAK;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,eAAe,aAAa,OAAO,SAAS,WAAW;CAChE;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,WACA,oBACyB;CACzB,IAAI,CAAC,qBAAqB,IAAI,QAAQ,KAAK,GACzC,MAAM,IAAI,MACR,mDAAmD,QAAQ,MAAM,kBAAkB,UAAU,GAAG,UAAU,2BAC5G;CAMF,MAAM,cAAc,QAAQ,eAAe;CAE3C,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,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,oBAAuE,CAAC;CAC9E,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,YAAY,WAAW;GACzB,IACA,KAAA;GACN,MAAM,oBACJ,eAAe,KAAA,IACX;IACE,OAAO;IACP,YAAY;IACZ,aAAa;IACb,YAAY,WAAW;GACzB,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,WAAW;KAAa,OAAO;KAAW,QAAQ,MAAM;IAAW;IAC1E,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;EACxB;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,WACT,kBACF;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,kBAAkB,WAAW,gBAAgB,CAAC;CACpD,MAAM,gBAAqD,OAAO,YAChE,OAAO,QAAQ,eAAe,CAAC,CAAC,KAAK,CAAC,MAAM,WAAW;EACrD,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,CACH;CACA,MAAM,yBAAyB,qCAAqC,UAAU;CAI9E,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,YAAY,KAAK,OAAO;IACtC,MAAM,EAAE;IACR,OAAO,eAAe,EAAE,OAAO,OAAO,SAAS,WAAW;GAC5D,EAAE;EACJ;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,OAAO,KAAK,MAAM,eAAe,GAAG,OAAO,SAAS,WAAW,CAAC;EACjF;CACF;CAEA,MAAM,EAAE,oBAAoB;CAC5B,MAAM,aAAa,UAIjB,OAAO,YACL,CAAC,GAAG,sBAAsB,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,OAAO;EAC7C,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,CAAC,IAAI,kBAAkB,gBAAgB,OAAO,IAAI,kBAAkB,OAAO,CAAC;CACrF,CAAC,CACH,CACF;CACA,MAAM,qBAAqB;EACzB,GAAI,OAAO,KAAK,aAAa,CAAC,CAAC,SAAS,IAAI,EAAE,OAAO,cAAc,IAAI,CAAC;EACxE,YACE,uBAAuB,uBACnB,2BAA2B,YAAY,eAAe,IACtD;CACR;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"}