@prisma-next/family-sql 0.16.0-dev.3 → 0.16.0-dev.31

package/src/core/control-instance.ts

@@ -41,10 +41,11 @@ import type {
   LowererContext,
   SqlExecuteRequest,
 } from '@prisma-next/sql-relational-core/ast';
-import { defaultIndexName } from '@prisma-next/sql-schema-ir/naming';
 import type { SqlSchemaIRNode, SqlTableIR } from '@prisma-next/sql-schema-ir/types';
 import { blindCast } from '@prisma-next/utils/casts';
 import { ifDefined } from '@prisma-next/utils/defined';
+import { InternalError } from '@prisma-next/utils/internal-error';
+import type { StructuredError } from '@prisma-next/utils/structured-error';
 import type { SqlControlAdapter } from './control-adapter';
 import type {
   SqlControlTargetDescriptor,
@@ -55,6 +56,7 @@ import {
   classifyDiffSubjectGranularity,
   verifySqlSchemaByDiff,
 } from './diff/schema-verify';
+import { sqlFamilyError } from './errors';
 import { SqlContractSerializer } from './ir/sql-contract-serializer';
 import type { SqlSchemaDiffFn } from './migrations/schema-differ';
 import type {
@@ -64,6 +66,18 @@ import type {
 import { sqlOperationsToPreview } from './operation-preview';
 import { collectSupportedCodecTypeIds } from './verify';
 
+function missingDescriptorOperationError(targetId: string, operation: string): StructuredError {
+  return sqlFamilyError(
+    'CONTRACT.PACK_CONTRIBUTION_INVALID',
+    `SQL target "${targetId}" is missing the required ${operation} descriptor operation`,
+    {
+      why: `The target descriptor does not contribute the ${operation} operation the SQL family requires for this call.`,
+      fix: `Use a target package whose control descriptor implements ${operation}.`,
+      meta: { targetId, operation },
+    },
+  );
+}
+
 function extractCodecTypeIdsFromContract(contract: unknown): readonly string[] {
   const typeIds = new Set<string>();
 
@@ -350,9 +364,9 @@ interface DescriptorWithStorageTypes {
 function buildSqlTypeMetadataRegistry(options: {
   readonly target: DescriptorWithStorageTypes;
   readonly adapter: DescriptorWithStorageTypes & { readonly targetId: string };
-  readonly extensionPacks: readonly DescriptorWithStorageTypes[];
+  readonly extensions: readonly DescriptorWithStorageTypes[];
 }): SqlTypeMetadataRegistry {
-  const { target, adapter, extensionPacks: extensions } = options;
+  const { target, adapter, extensions } = options;
   const registry = new Map<string, SqlTypeMetadata>();
   const targetId = adapter.targetId;
   const descriptors = [target, adapter, ...extensions];
@@ -384,7 +398,7 @@ interface CrossSpaceFkView {
   readonly id: string;
   readonly contractSpace?: {
     readonly contractJson?: {
-      readonly extensionPacks?: Readonly<Record<string, unknown>>;
+      readonly extensions?: Readonly<Record<string, unknown>>;
       readonly storage?: {
         readonly namespaces?: Readonly<Record<string, unknown>>;
       };
@@ -402,7 +416,7 @@ function buildTransitiveDependsOnMap(
 ): Map<string, Set<string>> {
   const directDeps = new Map<string, readonly string[]>();
   for (const ext of extensions) {
-    const packs = ext.contractSpace?.contractJson?.extensionPacks;
+    const packs = ext.contractSpace?.contractJson?.extensions;
     const deps = packs !== null && typeof packs === 'object' ? Object.keys(packs) : [];
     directDeps.set(ext.id, deps);
   }
@@ -476,8 +490,14 @@ export function assertNoCrossSpaceFkReverseReferences(
             // Check if targetSpaceId depends on ext.id (directly or transitively)
             const targetDeps = dependsOnMap.get(targetSpaceId);
             if (targetDeps?.has(ext.id)) {
-              throw new Error(
+              throw sqlFamilyError(
+                'CONTRACT.FOREIGN_KEY_INVALID',
                 `Cross-space FK reverse-reference detected: extension "${ext.id}" has a cross-space FK targeting space "${targetSpaceId}", but "${targetSpaceId}" depends on "${ext.id}". Cross-space FKs must follow the dependency direction (a space can only reference spaces it depends on, not spaces that depend on it).`,
+                {
+                  why: 'The foreign key points against the contract-space dependency direction.',
+                  fix: 'Move the foreign key to the depending space, or restructure the extension dependencies so the referencing space depends on the referenced one.',
+                  meta: { extensionId: ext.id, targetSpaceId },
+                },
               );
             }
           }
@@ -491,7 +511,7 @@ export function createSqlFamilyInstance<TTargetId extends string>(
   stack: ControlStack<'sql', TTargetId>,
 ): SqlFamilyInstance {
   if (!stack.adapter) {
-    throw new Error('SQL family requires an adapter descriptor in ControlStack');
+    throw new InternalError('SQL family requires an adapter descriptor in ControlStack');
   }
 
   const target = stack.target as unknown as TargetDescriptor<'sql', TTargetId> &
@@ -499,7 +519,7 @@ export function createSqlFamilyInstance<TTargetId extends string>(
   const adapter = stack.adapter as unknown as SqlControlAdapterDescriptor<TTargetId> &
     DescriptorWithStorageTypes;
   const extensions =
-    stack.extensionPacks as unknown as readonly (SqlControlExtensionDescriptor<TTargetId> &
+    stack.extensions as unknown as readonly (SqlControlExtensionDescriptor<TTargetId> &
       DescriptorWithStorageTypes)[];
 
   // Descriptor self-consistency check.
@@ -533,7 +553,7 @@ export function createSqlFamilyInstance<TTargetId extends string>(
   const typeMetadataRegistry = buildSqlTypeMetadataRegistry({
     target,
     adapter,
-    extensionPacks: extensions,
+    extensions: extensions,
   });
 
   // Lazily construct the control adapter on first use, then memoize it.
@@ -759,14 +779,10 @@ export function createSqlFamilyInstance<TTargetId extends string>(
     }): VerifyDatabaseSchemaResult {
       const contract = deserializeWithTargetSerializer(options.contract) as Contract<SqlStorage>;
       if (!diffSchema) {
-        throw new Error(
-          `SQL target "${target.targetId}" is missing the required diffSchema descriptor operation`,
-        );
+        throw missingDescriptorOperationError(target.targetId, 'diffSchema');
       }
       if (!targetGranularityOf) {
-        throw new Error(
-          `SQL target "${target.targetId}" is missing the required classifySubjectGranularity descriptor operation`,
-        );
+        throw missingDescriptorOperationError(target.targetId, 'classifySubjectGranularity');
       }
       // THE VERDICT: the target's full-tree node diff, graded by the
       // family's post-diff filters (strict gating + control-policy
@@ -793,9 +809,7 @@ export function createSqlFamilyInstance<TTargetId extends string>(
      */
     classifySubjectGranularity(issue: SchemaDiffIssue): DiffSubjectGranularity | undefined {
       if (!targetGranularityOf) {
-        throw new Error(
-          `SQL target "${target.targetId}" is missing the required classifySubjectGranularity descriptor operation`,
-        );
+        throw missingDescriptorOperationError(target.targetId, 'classifySubjectGranularity');
       }
       return classifyDiffSubjectGranularity(issue, targetGranularityOf);
     },
@@ -808,9 +822,7 @@ export function createSqlFamilyInstance<TTargetId extends string>(
      */
     classifyEntityKind(issue: SchemaDiffIssue): string | undefined {
       if (!targetEntityKindOf) {
-        throw new Error(
-          `SQL target "${target.targetId}" is missing the required classifyEntityKind descriptor operation`,
-        );
+        throw missingDescriptorOperationError(target.targetId, 'classifyEntityKind');
       }
       return classifyDiffEntityKind(issue, targetEntityKindOf);
     },
@@ -873,7 +885,15 @@ export function createSqlFamilyInstance<TTargetId extends string>(
             },
           );
           if (!updated) {
-            throw new Error('CAS conflict: marker was modified by another process during sign');
+            throw sqlFamilyError(
+              'MIGRATION.MARKER_CAS_FAILURE',
+              'CAS conflict: marker was modified by another process during sign',
+              {
+                why: 'Another process updated the contract marker between the read and the compare-and-swap write.',
+                fix: 'Re-run the sign command; if it keeps failing, make sure only one migration process runs at a time.',
+                meta: { space: APP_SPACE_ID },
+              },
+            );
           }
           markerUpdated = true;
         }
@@ -984,8 +1004,14 @@ export function createSqlFamilyInstance<TTargetId extends string>(
 
     inferPslContract(schemaIR: SqlSchemaIRNode): PslDocumentAst {
       if (!targetInferPslContract) {
-        throw new Error(
+        throw sqlFamilyError(
+          'CONTRACT.INFER_UNSUPPORTED',
           `Target "${target.targetId}" does not support contract infer (no inferPslContract on its descriptor).`,
+          {
+            why: 'The target descriptor does not provide the inferPslContract hook, so a PSL contract cannot be inferred from the database schema.',
+            fix: 'Use a target package that supports contract infer, or author the contract instead of inferring it.',
+            meta: { targetId: target.targetId },
+          },
         );
       }
       return targetInferPslContract(schemaIR, describedContracts);
@@ -1112,7 +1138,7 @@ export function createSqlFamilyInstance<TTargetId extends string>(
           }
 
           for (const index of table.indexes) {
-            const name = index.name ?? defaultIndexName(tableName, index.columns);
+            const name = index.name;
             const label = index.unique ? `unique index ${name}` : `index ${name}`;
             children.push(
               new SchemaTreeNode({

package/src/core/errors.ts

@@ -0,0 +1,22 @@
+import type { StructuredError, StructuredErrorOptions } from '@prisma-next/utils/structured-error';
+import { structuredError } from '@prisma-next/utils/structured-error';
+
+type SqlFamilyErrorCode =
+  | 'CONTRACT.ENUM_INVALID'
+  | 'CONTRACT.ENUM_UNKNOWN'
+  | 'CONTRACT.FOREIGN_KEY_INVALID'
+  | 'CONTRACT.INFER_UNSUPPORTED'
+  | 'CONTRACT.MARKER_ROW_CORRUPT'
+  | 'CONTRACT.NAMESPACE_UNKNOWN'
+  | 'CONTRACT.PACK_CONTRIBUTION_INVALID'
+  | 'CONTRACT.TABLE_AMBIGUOUS'
+  | 'CONTRACT.TYPE_UNKNOWN'
+  | 'MIGRATION.MARKER_CAS_FAILURE';
+
+export function sqlFamilyError(
+  code: SqlFamilyErrorCode,
+  message: string,
+  options?: StructuredErrorOptions,
+): StructuredError {
+  return structuredError(code, message, options);
+}

package/src/core/ir/sql-contract-serializer-base.ts

@@ -24,6 +24,7 @@ import { blindCast } from '@prisma-next/utils/casts';
 import { ifDefined } from '@prisma-next/utils/defined';
 import type { JsonObject, JsonValue } from '@prisma-next/utils/json';
 import { type Type, type } from 'arktype';
+import { sqlFamilyError } from '../errors';
 
 const NamespaceRawSchema = type({
   id: 'string',
@@ -144,8 +145,14 @@ export abstract class SqlContractSerializerBase<TContract extends Contract<SqlSt
       Object.entries(namespaces).map(([nsId, namespaceEntryRaw]) => {
         const namespaceHydrated = this.hydrateSqlNamespaceEntry(nsId, namespaceEntryRaw);
         if (!isMaterializedSqlNamespace(namespaceHydrated)) {
-          throw new Error(
+          throw sqlFamilyError(
+            'CONTRACT.PACK_CONTRIBUTION_INVALID',
             `Target serializer bug: hydrateSqlNamespaceEntry for namespace "${nsId}" returned a non-NamespaceBase value. Override hydrateSqlNamespaceEntry to produce a target namespace concretion.`,
+            {
+              why: 'The target contract serializer hydrated a namespace into a value that is not a materialized namespace concretion.',
+              fix: 'Fix the target package: its hydrateSqlNamespaceEntry override must return a target namespace concretion.',
+              meta: { namespaceId: nsId },
+            },
           );
         }
         return [nsId, namespaceHydrated];

package/src/core/migrations/contract-to-schema-ir.ts

@@ -28,6 +28,8 @@ import {
 } from '@prisma-next/sql-schema-ir/types';
 import { blindCast } from '@prisma-next/utils/casts';
 import { ifDefined } from '@prisma-next/utils/defined';
+import { InternalError } from '@prisma-next/utils/internal-error';
+import { sqlFamilyError } from '../errors';
 
 /**
  * Target-specific callback that expands a column's base `nativeType` and optional
@@ -187,8 +189,14 @@ function resolveColumnTypeMetadata(
   }
   const referenced = storageTypes[column.typeRef];
   if (!referenced) {
-    throw new Error(
+    throw sqlFamilyError(
+      'CONTRACT.TYPE_UNKNOWN',
       `Column references storage type "${column.typeRef}" but it is not defined in storage.types.`,
+      {
+        why: 'The column typeRef does not resolve to any entry in the contract storage.types map.',
+        fix: 'Regenerate the contract from its authoring source; do not hand-edit contract JSON.',
+        meta: { typeRef: column.typeRef },
+      },
     );
   }
   if (isStorageTypeInstance(referenced)) {
@@ -198,7 +206,7 @@ function resolveColumnTypeMetadata(
       typeParams: referenced.typeParams,
     };
   }
-  throw new Error(
+  throw new InternalError(
     `Storage type "${column.typeRef}" has an unknown polymorphic kind; expected a codec-typed StorageTypeInstance.`,
   );
 }
@@ -224,14 +232,26 @@ export function resolveValueSetValues(
 ): readonly string[] {
   const ns = storage.namespaces[ref.namespaceId];
   if (!ns) {
-    throw new Error(
+    throw sqlFamilyError(
+      'CONTRACT.NAMESPACE_UNKNOWN',
       `resolveValueSetValues: namespace "${ref.namespaceId}" not found in storage (${contextLabel})`,
+      {
+        why: 'A value-set reference names a namespace the contract storage does not declare.',
+        fix: 'Regenerate the contract from its authoring source; do not hand-edit contract JSON.',
+        meta: { namespaceId: ref.namespaceId, context: contextLabel },
+      },
     );
   }
   const valueSet = ns.entries.valueSet?.[ref.entityName];
   if (!valueSet) {
-    throw new Error(
+    throw sqlFamilyError(
+      'CONTRACT.ENUM_UNKNOWN',
       `resolveValueSetValues: value-set "${ref.entityName}" not found in namespace "${ref.namespaceId}" (${contextLabel})`,
+      {
+        why: 'A value-set reference names an entry its namespace does not declare.',
+        fix: 'Regenerate the contract from its authoring source; do not hand-edit contract JSON.',
+        meta: { valueSet: ref.entityName, namespaceId: ref.namespaceId, context: contextLabel },
+      },
     );
   }
   // Only TEXT enums ship a CHECK-constraint round-trip in this slice. A
@@ -239,8 +259,14 @@ export function resolveValueSetValues(
   // is future work; fail loudly rather than emit a wrong numeric-as-text check.
   const values = valueSet.values;
   if (!allStrings(values)) {
-    throw new Error(
+    throw sqlFamilyError(
+      'CONTRACT.ENUM_INVALID',
       `resolveValueSetValues: value-set "${ref.entityName}" in namespace "${ref.namespaceId}" has a non-string value; numeric-enum CHECK constraints are not yet supported (${contextLabel})`,
+      {
+        why: 'Only string value-sets can be rendered as CHECK constraints; this value-set carries a non-string value.',
+        fix: 'Use string enum values, or drop the CHECK-constrained enum until numeric enums are supported.',
+        meta: { valueSet: ref.entityName, namespaceId: ref.namespaceId, context: contextLabel },
+      },
     );
   }
   return values;
@@ -276,17 +302,30 @@ function convertUnique(unique: UniqueConstraint, tableName: string): SqlUniqueIR
   };
 }
 
-function convertIndex(index: Index, tableName: string): SqlIndexIRInput {
-  return {
-    columns: index.columns,
-    unique: false,
-    ...ifDefined('name', index.name),
+function convertIndex(
+  index: Index,
+  tableName: string,
+  tableColumns: readonly string[],
+): SqlIndexIRInput {
+  const base = {
+    name: index.name,
+    prefix: index.prefix,
+    where: index.where,
+    unique: index.unique,
+    partial: index.where !== undefined,
     // Carried so the derived index node compares type/options against the
     // introspected side (the legacy walk read them from the contract).
-    ...ifDefined('type', index.type),
-    ...ifDefined('options', index.options),
-    dependsOn: flatColumnDependsOn(tableName, index.columns),
+    type: index.type,
+    options: index.options,
+    annotations: undefined,
+    // An expression index's chains cover every column of its table — the
+    // opaque expression is never parsed, so this deterministic
+    // over-approximation keeps drops ordered without a SQL parser.
+    dependsOn: flatColumnDependsOn(tableName, index.columns ?? tableColumns),
   };
+  return index.expression !== undefined
+    ? { ...base, expression: index.expression }
+    : { ...base, columns: index.columns ?? [] };
 }
 
 /**
@@ -399,7 +438,7 @@ function convertTable(
     // the object→own-column `dependsOn` edge like any other index.
     foreignKeys: table.foreignKeys.map((fk) => convertForeignKey(fk, storage)),
     uniques: table.uniques.map((u) => convertUnique(u, name)),
-    indexes: table.indexes.map((i) => convertIndex(i, name)),
+    indexes: table.indexes.map((i) => convertIndex(i, name, Object.keys(table.columns))),
     ...ifDefined('checks', checks),
   });
 }
@@ -511,7 +550,15 @@ export function contractNamespaceToSchemaIR(
   options: ContractToSchemaIROptions,
 ): SqlSchemaIR {
   if (options.annotationNamespace.length === 0) {
-    throw new Error('annotationNamespace must be a non-empty string');
+    throw sqlFamilyError(
+      'CONTRACT.PACK_CONTRIBUTION_INVALID',
+      'annotationNamespace must be a non-empty string',
+      {
+        why: 'The calling target pack passed an empty annotationNamespace to the contract-to-schema-IR projection.',
+        fix: 'Fix the target pack to pass its non-empty annotation namespace (e.g. "pg").',
+        meta: { option: 'annotationNamespace' },
+      },
+    );
   }
   const namespace = storage.namespaces[namespaceId];
   if (!namespace) {
@@ -539,7 +586,15 @@ export function contractToSchemaIR(
   options: ContractToSchemaIROptions,
 ): SqlSchemaIR {
   if (options.annotationNamespace.length === 0) {
-    throw new Error('annotationNamespace must be a non-empty string');
+    throw sqlFamilyError(
+      'CONTRACT.PACK_CONTRIBUTION_INVALID',
+      'annotationNamespace must be a non-empty string',
+      {
+        why: 'The calling target pack passed an empty annotationNamespace to the contract-to-schema-IR projection.',
+        fix: 'Fix the target pack to pass its non-empty annotation namespace (e.g. "pg").',
+        meta: { option: 'annotationNamespace' },
+      },
+    );
   }
 
   if (!contract) {
@@ -554,8 +609,14 @@ export function contractToSchemaIR(
       StorageTable.assert(tableDefRaw, `namespaces.${ns.id}.entries.table.${tableName}`);
       const tableDef = tableDefRaw;
       if (tables[tableName] !== undefined) {
-        throw new Error(
+        throw sqlFamilyError(
+          'CONTRACT.TABLE_AMBIGUOUS',
           `contractToSchemaIR: duplicate SQL table name "${tableName}" across namespaces (ambiguous for flat SqlSchemaIR.tables).`,
+          {
+            why: 'Two namespaces declare a table with the same name, which is ambiguous for the flat schema-IR table map.',
+            fix: 'Rename one of the tables so every table name is unique across namespaces.',
+            meta: { table: tableName },
+          },
         );
       }
       tables[tableName] = convertTable(

package/src/core/migrations/types.ts

@@ -334,9 +334,9 @@ export interface SqlMigrationPlannerPlanOptions {
    * or `null` for reconciliation flows that have no prior contract.
    *
    * Required at every call site so the structural fact "I have a prior
-   * contract / I don't" is visible in the type. `migration plan` reads
-   * the predecessor bundle's `end-contract.json` from disk and passes
-   * the parsed value; `db update` / `db init` reconcile against the
+   * contract / I don't" is visible in the type. `migration plan` reads the
+   * predecessor's contract from the snapshot store by its storage hash and
+   * passes the parsed value; `db update` / `db init` reconcile against the
    * live schema and pass `null`. Strategies that
    * need from/to column-shape comparisons (unsafe type change, nullability
    * tightening) use this to decide whether to emit `dataTransform`
@@ -346,6 +346,13 @@ export interface SqlMigrationPlannerPlanOptions {
    * plan's `describe()` as `fromContract?.storage.storageHash ?? null`.
    */
   readonly fromContract: Contract<SqlStorage> | null;
+  /**
+   * POSIX-relative path from the migration package dir to
+   * `migrations/snapshots`, e.g. `'../../snapshots'`. Threaded straight
+   * into the produced plan's `renderTypeScript()` metadata so the
+   * scaffold's contract-snapshot imports point at the deduplicated store.
+   */
+  readonly snapshotsImportPath: string;
   /**
    * Active framework components participating in this composition.
    * Each component is target-bound so SQL targets can dispatch

package/src/core/psl-contract-infer/name-transforms.ts

@@ -169,15 +169,3 @@ export function deriveBackRelationFieldName(childModelName: string, isOneToOne:
   const base = childModelName.charAt(0).toLowerCase() + childModelName.slice(1);
   return isOneToOne ? base : pluralize(base);
 }
-
-export function toNamedTypeName(columnName: string): string {
-  let name: string;
-
-  if (hasSeparators(columnName)) {
-    name = snakeToPascalCase(columnName);
-  } else {
-    name = columnName.charAt(0).toUpperCase() + columnName.slice(1);
-  }
-
-  return escapeIfNeeded(name);
-}

package/src/core/psl-contract-infer/printer-config.ts

@@ -1,17 +1,16 @@
 import type { ColumnDefault } from '@prisma-next/contract/types';
 import type { DefaultMappingOptions } from './default-mapping';
 
-export type PslNativeTypeAttribute = {
+export type PslTypeReference = {
   readonly name: string;
   readonly args?: readonly string[];
 };
 
 export type PslTypeResolution =
   | {
-      readonly pslType: string;
+      readonly pslType: PslTypeReference;
       readonly nativeType: string;
       readonly typeParams?: Record<string, unknown>;
-      readonly nativeTypeAttribute?: PslNativeTypeAttribute;
     }
   | {
       readonly unsupported: true;

package/src/core/psl-contract-infer/relation-inference.ts

@@ -123,6 +123,16 @@ function detectOneToOne(fk: SqlForeignKeyIR, table: SqlTableIR): boolean {
     }
   }
 
+  for (const index of table.indexes) {
+    if (!index.unique || index.partial || index.columns === undefined) {
+      continue;
+    }
+    const indexCols = [...index.columns].sort();
+    if (indexCols.length === fkCols.length && indexCols.every((c, i) => c === fkCols[i])) {
+      return true;
+    }
+  }
+
   return false;
 }
 
@@ -170,7 +180,19 @@ export function buildChildRelationField(
   const onDelete = fk.onDelete && fk.onDelete !== DEFAULT_ON_DELETE ? fk.onDelete : undefined;
   const onUpdate = fk.onUpdate && fk.onUpdate !== DEFAULT_ON_UPDATE ? fk.onUpdate : undefined;
   const index =
-    hostTable && !isBackedByColumnKeys(fk.columns, backingIndexColumnKeys(hostTable))
+    hostTable &&
+    !isBackedByColumnKeys(
+      fk.columns,
+      // Only indexes the inferrer actually emits can back the FK in the
+      // emitted contract: partial indexes (and expression indexes, which
+      // carry no column tuple) are not emitted yet, so
+      // they must not suppress the explicit `index: false`.
+      backingIndexColumnKeys({
+        indexes: hostTable.indexes.filter((i) => i.where === undefined),
+        uniques: hostTable.uniques,
+        primaryKey: hostTable.primaryKey,
+      }),
+    )
       ? false
       : undefined;
 

package/src/core/verify.ts

@@ -1,5 +1,6 @@
 import type { ContractMarkerRecord } from '@prisma-next/contract/types';
 import { type } from 'arktype';
+import { sqlFamilyError } from './errors';
 
 const MetaSchema = type({ '[string]': 'unknown' });
 
@@ -80,7 +81,15 @@ export function parseContractMarkerRow(row: unknown): ContractMarkerRecord {
   const result = ContractMarkerRowSchema(row);
   if (result instanceof type.errors) {
     const messages = result.map((p: { message: string }) => p.message).join('; ');
-    throw new Error(`Invalid contract marker row: ${messages}`);
+    throw sqlFamilyError(
+      'CONTRACT.MARKER_ROW_CORRUPT',
+      `Invalid contract marker row: ${messages}`,
+      {
+        why: 'The contract marker row read from the database does not match the expected marker shape.',
+        fix: 'Re-sign the database with `prisma-next db sign`, or repair the marker table.',
+        meta: { issues: messages },
+      },
+    );
   }
 
   const updatedAt = result.updated_at

package/src/exports/psl-infer.ts

@@ -22,13 +22,12 @@ export {
   toEnumName,
   toFieldName,
   toModelName,
-  toNamedTypeName,
 } from '../core/psl-contract-infer/name-transforms';
 export type {
   EnumInfo,
-  PslNativeTypeAttribute,
   PslPrinterOptions,
   PslTypeMap,
+  PslTypeReference,
   PslTypeResolution,
   RelationField,
 } from '../core/psl-contract-infer/printer-config';

package/dist/sql-contract-serializer-C75cfMSS.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"sql-contract-serializer-C75cfMSS.mjs","names":["isPlainRecord"],"sources":["../src/core/ir/sql-contract-serializer-base.ts","../src/core/ir/sql-contract-serializer.ts"],"sourcesContent":["import { ContractValidationError } from '@prisma-next/contract/contract-validation-error';\nimport { isPlainRecord } from '@prisma-next/contract/is-plain-record';\nimport type { Contract } from '@prisma-next/contract/types';\nimport type { ContractSerializer } from '@prisma-next/framework-components/control';\nimport {\n  type AnyEntityKindDescriptor,\n  hydrateNamespaceEntities,\n  type Namespace,\n} from '@prisma-next/framework-components/ir';\nimport { sqlContractCanonicalizationHooks } from '@prisma-next/sql-contract/canonicalization-hooks';\nimport { composeSqlEntityKinds } from '@prisma-next/sql-contract/entity-kinds';\nimport {\n  isMaterializedSqlNamespace,\n  type SqlNamespaceInput,\n  SqlStorage,\n  type SqlStorageInput,\n  type SqlStorageTypeEntry,\n} from '@prisma-next/sql-contract/types';\nimport {\n  createSqlContractSchema,\n  validateSqlContractFully,\n} from '@prisma-next/sql-contract/validators';\nimport { blindCast } from '@prisma-next/utils/casts';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport type { JsonObject, JsonValue } from '@prisma-next/utils/json';\nimport { type Type, type } from 'arktype';\n\nconst NamespaceRawSchema = type({\n  id: 'string',\n  'kind?': 'string',\n  entries: type({\n    '+': 'ignore',\n  }),\n});\n\nexport type SqlEntityHydrationFactory = (entry: unknown) => unknown;\n\n/**\n * SQL family `ContractSerializer` abstract base. Carries the SQL-shared\n * deserialization pipeline:\n *\n * 1. `parseSqlContractStructure` validates the on-disk JSON envelope\n *    against the SQL contract arktype schema (`validateSqlContractFully`)\n *    and returns the validated flat-data shape.\n * 2. `hydrateSqlStorage` walks the validated `storage` subtree and\n *    constructs the family-shared SQL Contract IR class hierarchy\n *    (`SqlStorage` -> `StorageTable` -> `StorageColumn` / `PrimaryKey`\n *    / …). The rest of the contract envelope is JSON-clean primitive\n *    data and passes through unchanged.\n * 3. `constructTargetContract` is the target-specific extension hook;\n *    defaults to identity. Targets that need to attach target-only\n *    fields (e.g. target-specific derived storage fields) override it.\n *\n * Default `serializeContract` is identity over the contract — concrete\n * SQL targets ship JSON-clean class instances, so the contract value\n * can be stringified directly. The non-enumerable family-level `kind`\n * discriminator on `SqlNode` instances stays out of the persisted\n * envelope automatically. Targets that need to canonicalize on the way\n * out (key ordering, dropping computed-only fields) override\n * `serializeContract` directly.\n */\nexport abstract class SqlContractSerializerBase<TContract extends Contract<SqlStorage>>\n  implements ContractSerializer<TContract>\n{\n  private readonly contractSchema: Type<unknown> | undefined;\n  private readonly entryKinds: ReadonlyMap<string, AnyEntityKindDescriptor>;\n\n  constructor(\n    protected readonly entityHydrationRegistry: ReadonlyMap<\n      string,\n      SqlEntityHydrationFactory\n    > = new Map(),\n    packEntityKinds: readonly AnyEntityKindDescriptor[] = [],\n  ) {\n    this.entryKinds = composeSqlEntityKinds(packEntityKinds);\n    this.contractSchema =\n      packEntityKinds.length > 0 ? createSqlContractSchema(this.entryKinds) : undefined;\n  }\n\n  deserializeContract<T extends TContract = TContract>(json: unknown): T {\n    const validated = this.parseSqlContractStructure(json);\n    const hydrated = this.hydrateSqlStorage(validated);\n    return this.constructTargetContract(hydrated) as T;\n  }\n\n  serializeContract(contract: TContract): JsonObject {\n    return contract as unknown as JsonObject;\n  }\n\n  shouldPreserveEmpty = sqlContractCanonicalizationHooks.shouldPreserveEmpty;\n\n  sortStorage = sqlContractCanonicalizationHooks.sortStorage;\n\n  protected parseSqlContractStructure(json: unknown): Contract<SqlStorage> {\n    return validateSqlContractFully<Contract<SqlStorage>>(\n      json,\n      this.contractSchema !== undefined ? { contractSchema: this.contractSchema } : undefined,\n    );\n  }\n\n  protected hydrateSqlStorage(validated: Contract<SqlStorage>): Contract<SqlStorage> {\n    const types = validated.storage.types;\n    const hydratedTypes =\n      types !== undefined\n        ? Object.fromEntries(\n            Object.entries(types).map(([name, entry]) => [\n              name,\n              this.hydrateStorageTypeEntry(entry),\n            ]),\n          )\n        : undefined;\n\n    const rawNamespaces = validated.storage.namespaces;\n    if (rawNamespaces === undefined) {\n      throw new ContractValidationError(\n        'Contract storage.namespaces is required after structural validation',\n        'structural',\n      );\n    }\n    const hydratedNamespaces = this.hydrateSqlNamespaceMap(\n      blindCast<\n        Readonly<Record<string, Record<string, unknown>>>,\n        'parseSqlContractStructure validated raw JSON; namespace entries are plain objects, not SqlNamespace instances.'\n      >(rawNamespaces),\n    );\n\n    return {\n      ...validated,\n      storage: new SqlStorage({\n        storageHash: validated.storage.storageHash,\n        ...ifDefined('types', hydratedTypes),\n        namespaces: blindCast<\n          SqlStorageInput['namespaces'],\n          'hydrateSqlNamespaceMap builds each namespace through the target serializer override, so every value is a SqlNamespace; the framework return type only promises the base Namespace.'\n        >(hydratedNamespaces),\n      }),\n    };\n  }\n\n  protected hydrateSqlNamespaceMap(\n    namespaces: Readonly<Record<string, Record<string, unknown>>>,\n  ): Readonly<Record<string, Namespace>> {\n    return Object.fromEntries(\n      Object.entries(namespaces).map(([nsId, namespaceEntryRaw]) => {\n        const namespaceHydrated = this.hydrateSqlNamespaceEntry(nsId, namespaceEntryRaw);\n        if (!isMaterializedSqlNamespace(namespaceHydrated)) {\n          throw new Error(\n            `Target serializer bug: hydrateSqlNamespaceEntry for namespace \"${nsId}\" returned a non-NamespaceBase value. Override hydrateSqlNamespaceEntry to produce a target namespace concretion.`,\n          );\n        }\n        return [nsId, namespaceHydrated];\n      }),\n    );\n  }\n\n  protected hydrateSqlNamespaceEntry(\n    nsId: string,\n    raw: Record<string, unknown>,\n  ): Namespace | SqlNamespaceInput {\n    const id = typeof raw['id'] === 'string' ? raw['id'] : nsId;\n    const parsed = NamespaceRawSchema({ ...raw, id });\n    if (parsed instanceof type.errors) {\n      const messages = parsed.map((p: { message: string }) => p.message).join('; ');\n      throw new ContractValidationError(`Namespace hydration failed: ${messages}`, 'structural');\n    }\n    const entriesRaw = parsed.entries;\n    const rawEntriesMap = isPlainRecord(entriesRaw) ? entriesRaw : {};\n\n    const entriesInput: Record<string, Readonly<Record<string, unknown>>> = {};\n    for (const [key, innerMap] of Object.entries(rawEntriesMap)) {\n      entriesInput[key] = isPlainRecord(innerMap) ? innerMap : Object.freeze({});\n    }\n\n    const entriesOutput = hydrateNamespaceEntities(entriesInput, this.entryKinds, 'fail', id);\n\n    // Always ensure a 'table' key is present (may be empty).\n    if (!Object.hasOwn(entriesOutput, 'table')) {\n      entriesOutput['table'] = {};\n    }\n\n    return blindCast<\n      SqlNamespaceInput,\n      'entriesOutput holds the hydrated SQL entity-kind maps (table always present); this wraps them as the SqlNamespaceInput the target createNamespace consumes.'\n    >({\n      id,\n      entries: entriesOutput,\n    });\n  }\n\n  protected hydrateStorageTypeEntry(entry: SqlStorageTypeEntry): SqlStorageTypeEntry {\n    if (typeof entry !== 'object' || entry === null) {\n      return entry;\n    }\n    const kind = (entry as { kind?: unknown }).kind;\n    if (typeof kind !== 'string') {\n      return entry;\n    }\n    const factory = this.entityHydrationRegistry.get(kind);\n    if (factory === undefined) {\n      return entry;\n    }\n    return blindCast<\n      SqlStorageTypeEntry,\n      'entity registry factory returns SqlStorageTypeEntry for storage.types entries'\n    >(factory(entry));\n  }\n\n  protected constructTargetContract(hydrated: Contract<SqlStorage>): TContract {\n    return hydrated as TContract;\n  }\n\n  /**\n   * Serializes a namespace's `entries` dict by walking every enumerable\n   * kind — no kind is named here, mirroring the generic hydrate walk in\n   * `hydrateSqlNamespaceEntry` above. `table` is the SQL family's one\n   * universal base kind (every namespace carries it), so it is always\n   * emitted, even when empty; every other kind — target- or\n   * pack-contributed — is emitted only when it holds at least one entry.\n   * A kind carried non-enumerable on `entries` is excluded here for free,\n   * since `Object.entries` honors enumerability.\n   */\n  protected serializeNamespaceEntries(\n    entries: Readonly<Record<string, Readonly<Record<string, unknown>>>>,\n  ): Record<string, Record<string, JsonObject>> {\n    const out: Record<string, Record<string, JsonObject>> = {\n      table: this.serializeEntries(entries['table'] ?? {}),\n    };\n    for (const [kind, record] of Object.entries(entries)) {\n      if (kind === 'table' || record == null || Object.keys(record).length === 0) {\n        continue;\n      }\n      out[kind] = this.serializeEntries(record);\n    }\n    return out;\n  }\n\n  private serializeEntries(entries: Readonly<Record<string, unknown>>): Record<string, JsonObject> {\n    const out: Record<string, JsonObject> = {};\n    for (const [name, entry] of Object.entries(entries)) {\n      out[name] = this.serializeJsonObject(entry);\n    }\n    return out;\n  }\n\n  protected serializeJsonObject(value: unknown): JsonObject {\n    return blindCast<\n      JsonObject,\n      'serializeJsonValue round-trips an IR node through JSON, yielding a JsonObject'\n    >(this.serializeJsonValue(value));\n  }\n\n  private serializeJsonValue(value: unknown): JsonValue {\n    return blindCast<JsonValue, 'JSON.parse(JSON.stringify(x)) yields a JsonValue'>(\n      JSON.parse(JSON.stringify(value)),\n    );\n  }\n}\n","import type { Contract } from '@prisma-next/contract/types';\nimport type { SqlStorage } from '@prisma-next/sql-contract/types';\nimport { SqlContractSerializerBase } from './sql-contract-serializer-base';\n\n/**\n * Default SQL family `ContractSerializer` concretion. Inherits the\n * full SQL-shared deserialization pipeline (structural validation +\n * IR-class hydration) without pack-registered `storage.types`\n * hydration factories — targets that emit polymorphic JSON outside the\n * codec-typed envelope wire a target-specific subclass with a populated\n * registry (see Postgres). Family-level call sites instantiate this\n * default directly when no target serializer is supplied.\n *\n * Because this serializer has no target concretion, deserialization of\n * contracts that include namespace entries from JSON will throw unless\n * the caller provides pre-hydrated `NamespaceBase` instances. Production\n * paths always supply a target-specific serializer.\n */\nexport class SqlContractSerializer extends SqlContractSerializerBase<Contract<SqlStorage>> {\n  constructor() {\n    super(new Map());\n  }\n}\n"],"mappings":";;;;;;;;;;;AA2BA,MAAM,qBAAqB,KAAK;CAC9B,IAAI;CACJ,SAAS;CACT,SAAS,KAAK,EACZ,KAAK,SACP,CAAC;AACH,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;AA4BD,IAAsB,4BAAtB,MAEA;CAKuB;CAJrB;CACA;CAEA,YACE,0CAGI,IAAI,IAAI,GACZ,kBAAsD,CAAC,GACvD;EALmB,KAAA,0BAAA;EAMnB,KAAK,aAAa,sBAAsB,eAAe;EACvD,KAAK,iBACH,gBAAgB,SAAS,IAAI,wBAAwB,KAAK,UAAU,IAAI,KAAA;CAC5E;CAEA,oBAAqD,MAAkB;EACrE,MAAM,YAAY,KAAK,0BAA0B,IAAI;EACrD,MAAM,WAAW,KAAK,kBAAkB,SAAS;EACjD,OAAO,KAAK,wBAAwB,QAAQ;CAC9C;CAEA,kBAAkB,UAAiC;EACjD,OAAO;CACT;CAEA,sBAAsB,iCAAiC;CAEvD,cAAc,iCAAiC;CAE/C,0BAAoC,MAAqC;EACvE,OAAO,yBACL,MACA,KAAK,mBAAmB,KAAA,IAAY,EAAE,gBAAgB,KAAK,eAAe,IAAI,KAAA,CAChF;CACF;CAEA,kBAA4B,WAAuD;EACjF,MAAM,QAAQ,UAAU,QAAQ;EAChC,MAAM,gBACJ,UAAU,KAAA,IACN,OAAO,YACL,OAAO,QAAQ,KAAK,CAAC,CAAC,KAAK,CAAC,MAAM,WAAW,CAC3C,MACA,KAAK,wBAAwB,KAAK,CACpC,CAAC,CACH,IACA,KAAA;EAEN,MAAM,gBAAgB,UAAU,QAAQ;EACxC,IAAI,kBAAkB,KAAA,GACpB,MAAM,IAAI,wBACR,uEACA,YACF;EAEF,MAAM,qBAAqB,KAAK,uBAC9B,UAGE,aAAa,CACjB;EAEA,OAAO;GACL,GAAG;GACH,SAAS,IAAI,WAAW;IACtB,aAAa,UAAU,QAAQ;IAC/B,GAAG,UAAU,SAAS,aAAa;IACnC,YAAY,UAGV,kBAAkB;GACtB,CAAC;EACH;CACF;CAEA,uBACE,YACqC;EACrC,OAAO,OAAO,YACZ,OAAO,QAAQ,UAAU,CAAC,CAAC,KAAK,CAAC,MAAM,uBAAuB;GAC5D,MAAM,oBAAoB,KAAK,yBAAyB,MAAM,iBAAiB;GAC/E,IAAI,CAAC,2BAA2B,iBAAiB,GAC/C,MAAM,IAAI,MACR,kEAAkE,KAAK,kHACzE;GAEF,OAAO,CAAC,MAAM,iBAAiB;EACjC,CAAC,CACH;CACF;CAEA,yBACE,MACA,KAC+B;EAC/B,MAAM,KAAK,OAAO,IAAI,UAAU,WAAW,IAAI,QAAQ;EACvD,MAAM,SAAS,mBAAmB;GAAE,GAAG;GAAK;EAAG,CAAC;EAChD,IAAI,kBAAkB,KAAK,QAEzB,MAAM,IAAI,wBAAwB,+BADjB,OAAO,KAAK,MAA2B,EAAE,OAAO,CAAC,CAAC,KAAK,IACA,KAAK,YAAY;EAE3F,MAAM,aAAa,OAAO;EAC1B,MAAM,gBAAgBA,gBAAc,UAAU,IAAI,aAAa,CAAC;EAEhE,MAAM,eAAkE,CAAC;EACzE,KAAK,MAAM,CAAC,KAAK,aAAa,OAAO,QAAQ,aAAa,GACxD,aAAa,OAAOA,gBAAc,QAAQ,IAAI,WAAW,OAAO,OAAO,CAAC,CAAC;EAG3E,MAAM,gBAAgB,yBAAyB,cAAc,KAAK,YAAY,QAAQ,EAAE;EAGxF,IAAI,CAAC,OAAO,OAAO,eAAe,OAAO,GACvC,cAAc,WAAW,CAAC;EAG5B,OAAO,UAGL;GACA;GACA,SAAS;EACX,CAAC;CACH;CAEA,wBAAkC,OAAiD;EACjF,IAAI,OAAO,UAAU,YAAY,UAAU,MACzC,OAAO;EAET,MAAM,OAAQ,MAA6B;EAC3C,IAAI,OAAO,SAAS,UAClB,OAAO;EAET,MAAM,UAAU,KAAK,wBAAwB,IAAI,IAAI;EACrD,IAAI,YAAY,KAAA,GACd,OAAO;EAET,OAAO,UAGL,QAAQ,KAAK,CAAC;CAClB;CAEA,wBAAkC,UAA2C;EAC3E,OAAO;CACT;;;;;;;;;;;CAYA,0BACE,SAC4C;EAC5C,MAAM,MAAkD,EACtD,OAAO,KAAK,iBAAiB,QAAQ,YAAY,CAAC,CAAC,EACrD;EACA,KAAK,MAAM,CAAC,MAAM,WAAW,OAAO,QAAQ,OAAO,GAAG;GACpD,IAAI,SAAS,WAAW,UAAU,QAAQ,OAAO,KAAK,MAAM,CAAC,CAAC,WAAW,GACvE;GAEF,IAAI,QAAQ,KAAK,iBAAiB,MAAM;EAC1C;EACA,OAAO;CACT;CAEA,iBAAyB,SAAwE;EAC/F,MAAM,MAAkC,CAAC;EACzC,KAAK,MAAM,CAAC,MAAM,UAAU,OAAO,QAAQ,OAAO,GAChD,IAAI,QAAQ,KAAK,oBAAoB,KAAK;EAE5C,OAAO;CACT;CAEA,oBAA8B,OAA4B;EACxD,OAAO,UAGL,KAAK,mBAAmB,KAAK,CAAC;CAClC;CAEA,mBAA2B,OAA2B;EACpD,OAAO,UACL,KAAK,MAAM,KAAK,UAAU,KAAK,CAAC,CAClC;CACF;AACF;;;;;;;;;;;;;;;;;AC9OA,IAAa,wBAAb,cAA2C,0BAAgD;CACzF,cAAc;EACZ,sBAAM,IAAI,IAAI,CAAC;CACjB;AACF"}

package/dist/verify-C-G0obRm.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"verify-C-G0obRm.mjs","names":[],"sources":["../src/core/verify.ts"],"sourcesContent":["import type { ContractMarkerRecord } from '@prisma-next/contract/types';\nimport { type } from 'arktype';\n\nconst MetaSchema = type({ '[string]': 'unknown' });\n\nfunction parseMeta(meta: unknown): Record<string, unknown> {\n  if (meta === null || meta === undefined) {\n    return {};\n  }\n\n  let parsed: unknown;\n  if (typeof meta === 'string') {\n    try {\n      parsed = JSON.parse(meta);\n    } catch {\n      return {};\n    }\n  } else {\n    parsed = meta;\n  }\n\n  const result = MetaSchema(parsed);\n  if (result instanceof type.errors) {\n    return {};\n  }\n\n  return result as Record<string, unknown>;\n}\n\n/**\n * SQLite stores `contract_json` as TEXT, so the wire shape is a JSON string;\n * Postgres uses `jsonb` and returns an already-parsed value. Normalize both\n * here so `ContractMarkerRecord.contractJson` is always the structured form.\n */\nfunction parseContractJson(value: unknown): unknown {\n  if (value === null || value === undefined) return null;\n  if (typeof value !== 'string') return value;\n  try {\n    return JSON.parse(value);\n  } catch {\n    return null;\n  }\n}\n\n/**\n * Wire shape of a `prisma_contract.marker` row as it comes out of a SQL\n * driver. Snake-cased to match the on-disk column names. Shared by every\n * SQL target's `readMarker` so each runner doesn't redeclare it inline.\n */\nexport type ContractMarkerRow = {\n  core_hash: string;\n  profile_hash: string;\n  contract_json: unknown | null;\n  canonical_version: number | null;\n  updated_at: Date | string;\n  app_tag: string | null;\n  meta: unknown | null;\n  // SQLite stores arrays as JSON-TEXT, so this is `string` on the wire from\n  // a SQLite driver and `string[]` from a Postgres driver. Targets normalize\n  // before passing to `parseContractMarkerRow`.\n  invariants: unknown;\n};\n\nconst ContractMarkerRowSchema = type({\n  core_hash: 'string',\n  profile_hash: 'string',\n  'contract_json?': 'unknown | null',\n  'canonical_version?': 'number | null',\n  'updated_at?': 'Date | string',\n  'app_tag?': 'string | null',\n  'meta?': 'unknown | null',\n  invariants: type('string').array(),\n});\n\n/**\n * Parses a contract marker row from database query result.\n * This is SQL-specific parsing logic (handles SQL row structure with snake_case columns).\n */\nexport function parseContractMarkerRow(row: unknown): ContractMarkerRecord {\n  const result = ContractMarkerRowSchema(row);\n  if (result instanceof type.errors) {\n    const messages = result.map((p: { message: string }) => p.message).join('; ');\n    throw new Error(`Invalid contract marker row: ${messages}`);\n  }\n\n  const updatedAt = result.updated_at\n    ? result.updated_at instanceof Date\n      ? result.updated_at\n      : new Date(result.updated_at)\n    : new Date();\n\n  return {\n    storageHash: result.core_hash,\n    profileHash: result.profile_hash,\n    contractJson: parseContractJson(result.contract_json),\n    canonicalVersion: result.canonical_version ?? null,\n    updatedAt,\n    appTag: result.app_tag ?? null,\n    meta: parseMeta(result.meta),\n    invariants: result.invariants,\n  };\n}\n\n/**\n * Collects supported codec type IDs from adapter and extension manifests.\n * Returns a sorted, unique array of type IDs that are declared in the manifests.\n * This enables coverage checks by comparing contract column types against supported types.\n *\n * Note: This extracts type IDs from manifest type imports, not from runtime codec registries.\n * The manifests declare which codec types are available, but the actual type IDs\n * are defined in the codec-types TypeScript modules that are imported.\n *\n * For MVP, we return an empty array since extracting type IDs from TypeScript modules\n * would require runtime evaluation or static analysis. This can be enhanced later.\n */\nexport function collectSupportedCodecTypeIds(\n  descriptors: ReadonlyArray<{ readonly id: string }>,\n): readonly string[] {\n  // For MVP, return empty array\n  // Future enhancement: Extract type IDs from codec-types modules via static analysis\n  // or require manifests to explicitly list supported type IDs\n  void descriptors;\n  return [];\n}\n"],"mappings":";;AAGA,MAAM,aAAa,KAAK,EAAE,YAAY,UAAU,CAAC;AAEjD,SAAS,UAAU,MAAwC;CACzD,IAAI,SAAS,QAAQ,SAAS,KAAA,GAC5B,OAAO,CAAC;CAGV,IAAI;CACJ,IAAI,OAAO,SAAS,UAClB,IAAI;EACF,SAAS,KAAK,MAAM,IAAI;CAC1B,QAAQ;EACN,OAAO,CAAC;CACV;MAEA,SAAS;CAGX,MAAM,SAAS,WAAW,MAAM;CAChC,IAAI,kBAAkB,KAAK,QACzB,OAAO,CAAC;CAGV,OAAO;AACT;;;;;;AAOA,SAAS,kBAAkB,OAAyB;CAClD,IAAI,UAAU,QAAQ,UAAU,KAAA,GAAW,OAAO;CAClD,IAAI,OAAO,UAAU,UAAU,OAAO;CACtC,IAAI;EACF,OAAO,KAAK,MAAM,KAAK;CACzB,QAAQ;EACN,OAAO;CACT;AACF;AAqBA,MAAM,0BAA0B,KAAK;CACnC,WAAW;CACX,cAAc;CACd,kBAAkB;CAClB,sBAAsB;CACtB,eAAe;CACf,YAAY;CACZ,SAAS;CACT,YAAY,KAAK,QAAQ,CAAC,CAAC,MAAM;AACnC,CAAC;;;;;AAMD,SAAgB,uBAAuB,KAAoC;CACzE,MAAM,SAAS,wBAAwB,GAAG;CAC1C,IAAI,kBAAkB,KAAK,QAAQ;EACjC,MAAM,WAAW,OAAO,KAAK,MAA2B,EAAE,OAAO,CAAC,CAAC,KAAK,IAAI;EAC5E,MAAM,IAAI,MAAM,gCAAgC,UAAU;CAC5D;CAEA,MAAM,YAAY,OAAO,aACrB,OAAO,sBAAsB,OAC3B,OAAO,aACP,IAAI,KAAK,OAAO,UAAU,oBAC5B,IAAI,KAAK;CAEb,OAAO;EACL,aAAa,OAAO;EACpB,aAAa,OAAO;EACpB,cAAc,kBAAkB,OAAO,aAAa;EACpD,kBAAkB,OAAO,qBAAqB;EAC9C;EACA,QAAQ,OAAO,WAAW;EAC1B,MAAM,UAAU,OAAO,IAAI;EAC3B,YAAY,OAAO;CACrB;AACF;;;;;;;;;;;;;AAcA,SAAgB,6BACd,aACmB;CAKnB,OAAO,CAAC;AACV"}