@prisma-next/family-sql 0.14.0-dev.9 → 0.14.0-dev.90

package/src/core/migrations/native-type-expander.ts

@@ -0,0 +1,28 @@
+import type { TargetBoundComponentDescriptor } from '@prisma-next/framework-components/components';
+import { extractCodecControlHooks } from '../assembly';
+
+/**
+ * Builds the codec-hook-composed `expandNativeType` callback the contract→IR
+ * derivation uses to expand parameterized native types (e.g. `character` +
+ * `{ length: 36 }` → `character(36)`). Returns `undefined` when no framework
+ * components are supplied, so callers can omit the option entirely.
+ */
+export function buildNativeTypeExpander(
+  frameworkComponents?: ReadonlyArray<TargetBoundComponentDescriptor<'sql', string>>,
+) {
+  if (!frameworkComponents) {
+    return undefined;
+  }
+  const codecHooks = extractCodecControlHooks(frameworkComponents);
+  return (input: {
+    readonly nativeType: string;
+    readonly codecId?: string;
+    readonly typeParams?: Record<string, unknown>;
+  }) => {
+    if (!input.typeParams) return input.nativeType;
+    if (!input.codecId) return input.nativeType;
+    const hooks = codecHooks.get(input.codecId);
+    if (!hooks?.expandNativeType) return input.nativeType;
+    return hooks.expandNativeType(input);
+  };
+}

package/src/core/migrations/schema-differ.ts

@@ -0,0 +1,41 @@
+import type { Contract, ControlPolicy } from '@prisma-next/contract/types';
+import type { TargetBoundComponentDescriptor } from '@prisma-next/framework-components/components';
+import type { SchemaDiffIssue } from '@prisma-next/framework-components/control';
+import type { SqlStorage } from '@prisma-next/sql-contract/types';
+import type { SqlSchemaIRNode } from '@prisma-next/sql-schema-ir/types';
+
+/**
+ * The full-tree node diff a SQL target produces for the family verify
+ * verdict: the target derives the expected tree from the contract, applies
+ * the pre-diff normalizations (semantic satisfaction, FK schema-segment
+ * resolution), runs the generic differ, and ownership-scopes the result.
+ * Strict gating, control-policy disposition, and the verdict itself are the
+ * family's post-diff filters over this output.
+ */
+export interface SqlSchemaDiffResult {
+  /** The full, ownership-scoped diff issue list. */
+  readonly issues: readonly SchemaDiffIssue[];
+  /**
+   * Resolves a diff issue's subject table's declared control policy directly
+   * from the contract (Decision 5's own-layer-per-concern discipline extends
+   * here too: control policy is a contract concern, resolved by the target
+   * at disposition time — never stamped on the diff node). `undefined`
+   * when the issue's path resolves to no contract table (a genuine orphan,
+   * or a non-table subject).
+   */
+  readonly resolveControlPolicy: (issue: SchemaDiffIssue) => ControlPolicy | undefined;
+  /**
+   * The expected/actual namespace-node pairs the codec `verifyType` hooks
+   * run over — one per contract namespace with tables, paired by DDL
+   * schema; a flat target repeats its sole actual root per such namespace.
+   */
+  readonly namespacePairs: ReadonlyArray<{ readonly actual: SqlSchemaIRNode | undefined }>;
+}
+
+export interface SqlSchemaDiffInput {
+  readonly contract: Contract<SqlStorage>;
+  readonly schema: SqlSchemaIRNode;
+  readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<'sql', string>>;
+}
+
+export type SqlSchemaDiffFn = (input: SqlSchemaDiffInput) => SqlSchemaDiffResult;

package/src/core/migrations/types.ts

@@ -1,11 +1,9 @@
 import type { Contract } from '@prisma-next/contract/types';
 import type { TargetBoundComponentDescriptor } from '@prisma-next/framework-components/components';
 import type {
-  ContractSerializer,
   ContractSpace,
   ControlAdapterDescriptor,
   ControlExtensionDescriptor,
-  MigratableTargetDescriptor,
   MigrationOperationPolicy,
   MigrationPlan,
   MigrationPlannerConflict,
@@ -18,8 +16,8 @@ import type {
   MigrationRunnerResult,
   OperationContext,
   OpFactoryCall,
-  SchemaIssue,
-  SchemaVerifier,
+  SchemaDiffIssue,
+  SchemaOwnership,
 } from '@prisma-next/framework-components/control';
 import type { AggregateMigrationEdgeRef } from '@prisma-next/migration-tools/aggregate';
 import type {
@@ -30,10 +28,9 @@ import type {
   StorageTypeInstance,
 } from '@prisma-next/sql-contract/types';
 import type { SqlOperationDescriptors } from '@prisma-next/sql-operations';
-import type { SqlSchemaIR } from '@prisma-next/sql-schema-ir/types';
+import type { SqlSchemaIRNode } from '@prisma-next/sql-schema-ir/types';
 import type { Result } from '@prisma-next/utils/result';
 import type { SqlControlAdapter } from '../control-adapter';
-import type { SqlControlFamilyInstance } from '../control-instance';
 
 export type AnyRecord = Readonly<Record<string, unknown>>;
 
@@ -102,20 +99,28 @@ export interface FieldEventContext {
 }
 
 export interface CodecControlHooks<TTargetDetails = unknown> {
+  /**
+   * `schema` is typed as the family-level `SqlSchemaIRNode` (not the concrete
+   * `SqlSchemaIR` class) because the actual value handed in is whatever
+   * per-namespace node the calling target's tree shape produces — a flat
+   * `SqlSchemaIR` for SQLite, a `PostgresNamespaceSchemaNode` for Postgres —
+   * read structurally for its `tables`/`nativeEnums` fields. Hooks that need
+   * the concrete Postgres shape narrow via `PostgresNamespaceSchemaNode.is(schema)`.
+   */
   planTypeOperations?: (options: {
     readonly typeName: string;
     readonly typeInstance: StorageTypeInstance;
     readonly contract: Contract<SqlStorage>;
-    readonly schema: SqlSchemaIR;
+    readonly schema: SqlSchemaIRNode;
     readonly schemaName?: string;
     readonly policy: MigrationOperationPolicy;
   }) => StorageTypePlanResult<TTargetDetails>;
   verifyType?: (options: {
     readonly typeName: string;
     readonly typeInstance: StorageTypeInstance;
-    readonly schema: SqlSchemaIR;
+    readonly schema: SqlSchemaIRNode;
     readonly schemaName?: string;
-  }) => readonly SchemaIssue[];
+  }) => readonly SchemaDiffIssue[];
   introspectTypes?: (options: {
     readonly driver: SqlControlDriverInstance<string>;
     readonly schemaName?: string;
@@ -277,12 +282,12 @@ export type SqlPlannerConflictKind =
   | 'controlPolicySuppressedCall';
 
 export interface SqlPlannerConflictLocation {
-  readonly namespace?: string;
-  readonly table?: string;
+  readonly namespaceId?: string;
+  readonly entityKind?: string;
+  readonly entityName?: string;
   readonly column?: string;
   readonly index?: string;
   readonly constraint?: string;
-  readonly type?: string;
 }
 
 export interface SqlPlannerConflict extends MigrationPlannerConflict {
@@ -308,7 +313,12 @@ export type SqlPlannerResult<TTargetDetails> =
 
 export interface SqlMigrationPlannerPlanOptions {
   readonly contract: Contract<SqlStorage>;
-  readonly schema: SqlSchemaIR;
+  /**
+   * The "from"/live schema as the target's introspected node (SQLite a flat
+   * `SqlSchemaIR`, Postgres a `PostgresDatabaseSchemaNode` root). Structure-aware
+   * consumers narrow the concrete shape before walking it.
+   */
+  readonly schema: SqlSchemaIRNode;
   readonly policy: MigrationOperationPolicy;
   readonly schemaName?: string;
   /**
@@ -343,6 +353,16 @@ export interface SqlMigrationPlannerPlanOptions {
    * All components must have matching familyId ('sql') and targetId.
    */
   readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<'sql', string>>;
+  /**
+   * Ownership oracle over the whole contract-space composition (the passive
+   * aggregate). The planner asks it, per live extra node, whether any space
+   * declares that entity: a sibling-owned node is left untouched, an unowned
+   * node is a genuine extra it may drop under a destructive policy. The
+   * planner holds no list of other spaces' names — ownership lives in the
+   * aggregate; it only asks. Absent for a single-space plan handed no
+   * aggregate. See {@link SchemaOwnership}.
+   */
+  readonly ownership?: SchemaOwnership;
 }
 
 export interface SqlMigrationPlanner<TTargetDetails> {
@@ -456,30 +476,6 @@ export interface SqlMigrationRunner<TTargetDetails> {
   ): Promise<SqlMigrationRunnerResult>;
 }
 
-export interface SqlControlTargetDescriptor<
-  TTargetId extends string,
-  TTargetDetails,
-  TContract extends Contract<SqlStorage> = Contract<SqlStorage>,
-> extends MigratableTargetDescriptor<'sql', TTargetId, SqlControlFamilyInstance> {
-  readonly queryOperations?: () => SqlOperationDescriptors;
-  /**
-   * JSON ⇄ class boundary for the SQL target's contract. The descriptor
-   * composes a concrete `SqlContractSerializerBase` subclass; the rest
-   * of the control stack reaches `descriptor.contractSerializer` rather
-   * than importing a per-target deserialization function.
-   */
-  readonly contractSerializer: ContractSerializer<TContract>;
-  /**
-   * Per-target schema verifier walking the contract against
-   * `SqlSchemaIR`. The descriptor composes a concrete
-   * `SqlSchemaVerifierBase` subclass; the family-shared walk lives on
-   * the base, the target-specific dispatch on the subclass.
-   */
-  readonly schemaVerifier: SchemaVerifier<TContract, SqlSchemaIR>;
-  createPlanner(adapter: SqlControlAdapter<TTargetId>): SqlMigrationPlanner<TTargetDetails>;
-  createRunner(family: SqlControlFamilyInstance): SqlMigrationRunner<TTargetDetails>;
-}
-
 export interface CreateSqlMigrationPlanOptions<TTargetDetails> {
   readonly targetId: string;
   /**

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

@@ -127,6 +127,21 @@ export function toEnumName(pgTypeName: string): NameResult {
   return { name };
 }
 
+const VALID_IDENTIFIER_PATTERN = /^[A-Za-z_]\w*$/;
+
+/**
+ * PSL member name for a native-enum value. The value itself always prints
+ * explicitly (`member = "value"`), so the returned name never needs a map:
+ * a value that already is a valid, non-reserved identifier is kept verbatim
+ * (case included); anything else is camelCased/escaped like a field name.
+ */
+export function toEnumMemberName(value: string): string {
+  if (VALID_IDENTIFIER_PATTERN.test(value) && !needsEscaping(value)) {
+    return value;
+  }
+  return escapeIfNeeded(snakeToCamelCase(value));
+}
+
 export function pluralize(word: string): string {
   if (
     word.endsWith('s') ||

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

@@ -1,12 +1,6 @@
 import type { ColumnDefault } from '@prisma-next/contract/types';
 import type { DefaultMappingOptions } from './default-mapping';
 
-/**
- * Internal printer-shaped configuration, used by the SQL family's
- * `sqlSchemaIrToPslAst` helper (M2). The framework-level psl-printer no longer
- * exposes these — they're consumed only inside the SQL family.
- */
-
 export type PslNativeTypeAttribute = {
   readonly name: string;
   readonly args?: readonly string[];
@@ -43,6 +37,18 @@ export interface PslPrinterOptions {
 export type RelationField = {
   readonly fieldName: string;
   readonly typeName: string;
+  /**
+   * Namespace qualifier for a cross-space relation (e.g. `"auth"` for a
+   * relation into `supabase:auth.AuthUser`). Absent for a same-namespace
+   * relation.
+   */
+  readonly typeNamespaceId?: string | undefined;
+  /**
+   * Contract-space qualifier for a relation into another stack extension
+   * pack's contract space (e.g. `"supabase"`). Absent for a same-space
+   * relation.
+   */
+  readonly typeContractSpaceId?: string | undefined;
   readonly referencedTableName?: string | undefined;
   readonly optional: boolean;
   readonly list: boolean;
@@ -52,4 +58,6 @@ export type RelationField = {
   readonly references?: readonly string[] | undefined;
   readonly onDelete?: string | undefined;
   readonly onUpdate?: string | undefined;
+  /** `false` when the FK's source columns have no live backing index; omitted (the default) otherwise. */
+  readonly index?: boolean | undefined;
 };

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

@@ -1,4 +1,5 @@
 import type { SqlForeignKeyIR, SqlTableIR } from '@prisma-next/sql-schema-ir/types';
+import { backingIndexColumnKeys, isBackedByColumnKeys } from '../foreign-key-index-backing';
 import { deriveBackRelationFieldName, deriveRelationFieldName, pluralize } from './name-transforms';
 import type { RelationField } from './printer-config';
 
@@ -71,6 +72,7 @@ export function inferRelations(
         fk,
         childOptional,
         relationName,
+        table,
       );
 
       addRelationField(relationsByTable, childTableName, childRelField);
@@ -136,15 +138,38 @@ function deriveRelationName(
   return fk.columns.join('_');
 }
 
-function buildChildRelationField(
+/**
+ * Builds the child-side {@link RelationField} for a single foreign key:
+ * `typeName` is the parent model name, `fields`/`references` are the FK's raw
+ * columns, and `onDelete`/`onUpdate` are normalized to their PSL spelling.
+ * Exported so a caller resolving a foreign key against a model outside
+ * `tables` (e.g. a cross-space reference into another contract) can reuse the
+ * same normalization instead of duplicating it.
+ *
+ * `hostTable` is the table the FK is declared on (i.e. `table`, not the
+ * referenced parent) — its own indexes/uniques/primary key are what a
+ * backing index for this FK would be. When none of them exactly match the
+ * FK's source columns (in order), `index: false` is stamped so the emitted
+ * `@relation` opts out of the framework's default derived backing-index
+ * expectation, matching what `db verify` will find live. Passing the table
+ * is optional so existing single-FK callers (e.g. cross-space resolution
+ * before a host table reference is threaded through) can omit it and keep
+ * the framework default.
+ */
+export function buildChildRelationField(
   fieldName: string,
   parentModelName: string,
   fk: SqlForeignKeyIR,
   optional: boolean,
   relationName?: string,
+  hostTable?: SqlTableIR,
 ): RelationField {
   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))
+      ? false
+      : undefined;
 
   return {
     fieldName,
@@ -158,6 +183,7 @@ function buildChildRelationField(
     references: fk.referencedColumns,
     onDelete: onDelete ? REFERENTIAL_ACTION_PSL[onDelete] : undefined,
     onUpdate: onUpdate ? REFERENTIAL_ACTION_PSL[onUpdate] : undefined,
+    index,
   };
 }
 

package/src/core/sql-migration.ts

@@ -1,5 +1,7 @@
+import type { Contract } from '@prisma-next/contract/types';
 import { deriveProvidedInvariants } from '@prisma-next/migration-tools/invariants';
 import { Migration } from '@prisma-next/migration-tools/migration';
+import type { SqlStorage } from '@prisma-next/sql-contract/types';
 import { isThenable } from '@prisma-next/utils/promise';
 import type { SqlMigrationPlanOperation, SqlPlanTargetDetails } from './migrations/types';
 
@@ -14,13 +16,22 @@ import type { SqlMigrationPlanOperation, SqlPlanTargetDetails } from './migratio
  * fully concrete operation shape. Target-free code in SQL family / tooling
  * parameterises over `TDetails` (and usually `TTargetId = string`).
  *
+ * The `Start` / `End` contract generics are forwarded to the framework
+ * `Migration` base so the derived `describe()` and the per-target view getters
+ * (`PostgresMigration` / `SqliteMigration`) carry each migration's precise
+ * contract types. The view getters themselves live on the per-target bases
+ * because the SQL ContractView shapes differ per target (SQLite unwraps its
+ * sole namespace to the root; Postgres is schema-qualified).
+ *
  * Keeps target-free contract/runtime features in the family layer while
  * letting adapters own target shape.
  */
 export abstract class SqlMigration<
   TDetails extends SqlPlanTargetDetails,
   TTargetId extends string = string,
-> extends Migration<SqlMigrationPlanOperation<TDetails>, 'sql', TTargetId> {
+  Start extends Contract<SqlStorage> = Contract<SqlStorage>,
+  End extends Contract<SqlStorage> = Contract<SqlStorage>,
+> extends Migration<SqlMigrationPlanOperation<TDetails>, 'sql', TTargetId, Start, End> {
   /**
    * Sorted, deduplicated invariant ids declared by this migration's
    * data-transform ops. Derived from `this.operations` so the field remains

package/src/exports/control.ts

@@ -14,6 +14,10 @@ export type {
 export { assembleAuthoringContributions } from '@prisma-next/framework-components/control';
 export { extractCodecControlHooks } from '../core/assembly';
 export type { SqlControlFamilyInstance } from '../core/control-instance';
+export type {
+  SqlControlTargetDescriptor,
+  SqlDescribedContractSpace,
+} from '../core/control-target-descriptor';
 export type {
   ContractToSchemaIROptions,
   DefaultRenderer,
@@ -22,11 +26,12 @@ export type {
 } from '../core/migrations/contract-to-schema-ir';
 // Contract → SchemaIR conversion for offline migration planning
 export {
+  contractNamespaceToSchemaIR,
   contractToSchemaIR,
   detectDestructiveChanges,
   resolveValueSetValues,
 } from '../core/migrations/contract-to-schema-ir';
-export type { ControlPolicySubject } from '../core/migrations/control-policy';
+export type { ControlPolicySubject, SuppressionRecord } from '../core/migrations/control-policy';
 export {
   controlPolicyForCall,
   partitionCallsByControlPolicy,
@@ -34,6 +39,7 @@ export {
 } from '../core/migrations/control-policy';
 export type { PlanFieldEventOperationsOptions } from '../core/migrations/field-event-planner';
 export { planFieldEventOperations } from '../core/migrations/field-event-planner';
+export { buildNativeTypeExpander } from '../core/migrations/native-type-expander';
 export {
   createMigrationPlan,
   plannerFailure,
@@ -42,6 +48,11 @@ export {
   runnerSuccess,
 } from '../core/migrations/plan-helpers';
 export { INIT_ADDITIVE_POLICY } from '../core/migrations/policies';
+export type {
+  SqlSchemaDiffFn,
+  SqlSchemaDiffInput,
+  SqlSchemaDiffResult,
+} from '../core/migrations/schema-differ';
 export type {
   CodecControlHooks,
   CreateSqlMigrationPlanOptions,
@@ -51,7 +62,6 @@ export type {
   ResolveIdentityValueInput,
   SqlControlAdapterDescriptor,
   SqlControlExtensionDescriptor,
-  SqlControlTargetDescriptor,
   SqlMigrationPlan,
   SqlMigrationPlanContractInfo,
   SqlMigrationPlanner,

package/src/exports/diff.ts

@@ -0,0 +1,25 @@
+/**
+ * SQL relational schema-diff exports.
+ *
+ * The generic node differ (`buildPostgresPlanDiff` / `buildSqlitePlanDiff`)
+ * drives both plan and verify over the trees as derived — no pre-diff
+ * transformation. This module surfaces the verify-verdict machinery. Pure —
+ * no database connection required.
+ */
+
+export type {
+  SqlDiffVerdict,
+  SqlDiffVerdictInput,
+  StorageTypeVerdict,
+  StorageTypeVerdictInput,
+  VerifySqlSchemaByDiffInput,
+} from '../core/diff/schema-verify';
+export {
+  classifyDiffSubjectGranularity,
+  classifySqlDiffIssue,
+  computeSqlDiffVerdict,
+  computeStorageTypeVerdict,
+  verifySqlSchemaByDiff,
+} from '../core/diff/schema-verify';
+export type { NativeTypeNormalizer } from '../core/diff/sql-schema-diff';
+export { arraysEqual } from '../core/diff/sql-schema-diff';

package/src/exports/psl-infer.ts

@@ -0,0 +1,40 @@
+/**
+ * Shape-neutral database→PSL inference utilities.
+ *
+ * These leaf transforms (name normalization, relation inference, generic
+ * default mapping, the printer-config types, raw-default parsing) carry no
+ * dialect knowledge, so they live in the SQL family and are imported by the
+ * target that owns the dialect maps and walks its own schema tree (Postgres).
+ * The framework owns `PslDocumentAst` + `printPsl`; the target owns the
+ * Postgres type/default maps.
+ */
+
+export type {
+  DefaultMappingOptions,
+  DefaultMappingResult,
+} from '../core/psl-contract-infer/default-mapping';
+export { mapDefault } from '../core/psl-contract-infer/default-mapping';
+export {
+  deriveBackRelationFieldName,
+  deriveRelationFieldName,
+  pluralize,
+  toEnumMemberName,
+  toEnumName,
+  toFieldName,
+  toModelName,
+  toNamedTypeName,
+} from '../core/psl-contract-infer/name-transforms';
+export type {
+  EnumInfo,
+  PslNativeTypeAttribute,
+  PslPrinterOptions,
+  PslTypeMap,
+  PslTypeResolution,
+  RelationField,
+} from '../core/psl-contract-infer/printer-config';
+export { parseRawDefault } from '../core/psl-contract-infer/raw-default-parser';
+export type { InferredRelations } from '../core/psl-contract-infer/relation-inference';
+export {
+  buildChildRelationField,
+  inferRelations,
+} from '../core/psl-contract-infer/relation-inference';

package/dist/authoring-type-constructors-CjFfO6LM.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"authoring-type-constructors-CjFfO6LM.mjs","names":[],"sources":["../src/core/authoring-entity-types.ts","../src/core/authoring-field-presets.ts","../src/core/authoring-type-constructors.ts"],"sourcesContent":["import type { JsonValue } from '@prisma-next/contract/types';\nimport type {\n  AuthoringEntityContext,\n  AuthoringEntityTypeDescriptor,\n  AuthoringEntityTypeNamespace,\n  AuthoringPslBlockDescriptorNamespace,\n  PslExtensionBlock,\n} from '@prisma-next/framework-components/authoring';\nimport { type EnumTypeHandle, enumType } from '@prisma-next/sql-contract-ts/contract-builder';\nimport { blindCast } from '@prisma-next/utils/casts';\n\nfunction parseQuotedString(raw: string): string | undefined {\n  if (raw.startsWith('\"') && raw.endsWith('\"') && raw.length >= 2) {\n    return raw.slice(1, -1);\n  }\n  return undefined;\n}\n\nexport const sqlFamilyEnumEntityDescriptor = {\n  kind: 'entity' as const,\n  discriminator: 'enum',\n  output: {\n    factory: (\n      block: PslExtensionBlock,\n      ctx: AuthoringEntityContext,\n    ): EnumTypeHandle | undefined => {\n      const sourceId = ctx.sourceId ?? 'unknown';\n      const diagnostics = ctx.diagnostics;\n\n      const typeAttr = block.blockAttributes.find((a) => a.name === 'type');\n      if (!typeAttr) {\n        diagnostics?.push({\n          code: 'PSL_ENUM_MISSING_TYPE',\n          message: `enum \"${block.name}\" is missing a @@type(\"codecId\") attribute`,\n          sourceId,\n          span: block.span,\n        });\n        return undefined;\n      }\n\n      const rawCodecArg = typeAttr.args[0]?.value;\n      const codecId = rawCodecArg !== undefined ? parseQuotedString(rawCodecArg) : undefined;\n      if (!codecId) {\n        diagnostics?.push({\n          code: 'PSL_ENUM_MISSING_TYPE',\n          message: `enum \"${block.name}\" @@type attribute must have a quoted codec id argument`,\n          sourceId,\n          span: typeAttr.span,\n        });\n        return undefined;\n      }\n\n      const nativeType = ctx.codecLookup?.targetTypesFor(codecId)?.[0];\n      if (nativeType === undefined) {\n        const typeArgSpan = typeAttr.args[0]?.span ?? typeAttr.span;\n        diagnostics?.push({\n          code: 'PSL_EXTENSION_INVALID_VALUE',\n          message: `enum \"${block.name}\" @@type references unknown codec \"${codecId}\"`,\n          sourceId,\n          span: typeArgSpan,\n        });\n        return undefined;\n      }\n\n      const codec = ctx.codecLookup?.get(codecId);\n      if (codec === undefined) {\n        const typeArgSpan = typeAttr.args[0]?.span ?? typeAttr.span;\n        diagnostics?.push({\n          code: 'PSL_EXTENSION_INVALID_VALUE',\n          message: `enum \"${block.name}\" @@type codec \"${codecId}\" resolves in targetTypesFor but is absent from codecLookup.get`,\n          sourceId,\n          span: typeArgSpan,\n        });\n        return undefined;\n      }\n\n      const seenValues = new Set<string>();\n      const members: { name: string; value: unknown }[] = [];\n      let memberError = false;\n\n      for (const [memberName, paramValue] of Object.entries(block.parameters)) {\n        let value: unknown;\n        if (paramValue.kind === 'bare') {\n          try {\n            value = codec.decodeJson(memberName);\n          } catch {\n            diagnostics?.push({\n              code: 'PSL_ENUM_BARE_MEMBER_NON_STRING_CODEC',\n              message: `enum \"${block.name}\" member \"${memberName}\" has no value and codec \"${codecId}\" does not accept a bare name as input`,\n              sourceId,\n              span: paramValue.span,\n            });\n            memberError = true;\n            continue;\n          }\n        } else if (paramValue.kind === 'value') {\n          let jsonValue: unknown;\n          try {\n            jsonValue = JSON.parse(paramValue.raw);\n          } catch {\n            diagnostics?.push({\n              code: 'PSL_EXTENSION_INVALID_VALUE',\n              message: `enum \"${block.name}\" member \"${memberName}\" value \"${paramValue.raw}\" is not valid JSON`,\n              sourceId,\n              span: paramValue.span,\n            });\n            memberError = true;\n            continue;\n          }\n          try {\n            value = codec.decodeJson(\n              blindCast<JsonValue, 'JSON.parse returns a JsonValue-compatible value'>(jsonValue),\n            );\n          } catch (err) {\n            const reason = err instanceof Error ? err.message : String(err);\n            diagnostics?.push({\n              code: 'PSL_EXTENSION_INVALID_VALUE',\n              message: `enum \"${block.name}\" member \"${memberName}\" was rejected by codec \"${codecId}\": ${reason}`,\n              sourceId,\n              span: paramValue.span,\n            });\n            memberError = true;\n            continue;\n          }\n        } else {\n          continue;\n        }\n\n        const valueKey = String(value);\n        if (seenValues.has(valueKey)) {\n          diagnostics?.push({\n            code: 'PSL_ENUM_DUPLICATE_MEMBER_VALUE',\n            message: `enum \"${block.name}\": duplicate member value \"${valueKey}\"`,\n            sourceId,\n            span: paramValue.span,\n          });\n          memberError = true;\n          continue;\n        }\n        seenValues.add(valueKey);\n        members.push({ name: memberName, value });\n      }\n\n      if (memberError) return undefined;\n\n      if (members.length === 0) {\n        diagnostics?.push({\n          code: 'PSL_ENUM_MISSING_TYPE',\n          message: `enum \"${block.name}\" must have at least one member`,\n          sourceId,\n          span: block.span,\n        });\n        return undefined;\n      }\n\n      return enumType(\n        block.name,\n        { codecId, nativeType },\n        ...members.map((m) => ({ name: m.name, value: m.value })),\n      );\n    },\n  },\n} satisfies AuthoringEntityTypeDescriptor;\n\nexport const sqlFamilyEntityTypes: AuthoringEntityTypeNamespace = {\n  enum: sqlFamilyEnumEntityDescriptor,\n};\n\nexport const sqlFamilyPslBlockDescriptors = {\n  enum: {\n    kind: 'pslBlock',\n    keyword: 'enum',\n    discriminator: 'enum',\n    name: { required: true },\n    parameters: {},\n    variadicParameters: true,\n  },\n} as const satisfies AuthoringPslBlockDescriptorNamespace;\n","import type { AuthoringFieldNamespace } from '@prisma-next/framework-components/authoring';\n\n/**\n * Family-level SQL authoring field presets.\n *\n * Only presets whose codec IDs align with the ID generator metadata live here\n * (see `@prisma-next/ids`). These presets are target-agnostic because the\n * generator metadata fixes their codec/native-type to `sql/char@1`\n * (`character`) regardless of target, and the PSL interpreter lets the\n * generator override the scalar descriptor.\n *\n * The `uuidString` / `id.uuidv4String` / `id.uuidv7String` presets store UUID\n * values as `character(36)` — portable across all SQL targets. For a native\n * Postgres `uuid` column use `uuidNative` / `id.uuidv4Native` /\n * `id.uuidv7Native` from `@prisma-next/target-postgres`.\n *\n * Scalar presets that map to target-specific codecs (e.g. `text`, `int`,\n * `boolean`, `dateTime`) are contributed by the target pack (see\n * `postgresAuthoringFieldPresets` in `@prisma-next/target-postgres`) so the\n * TS callback surface and the PSL scalar surface lower to byte-identical\n * contracts for the active target.\n */\n\nconst CHARACTER_CODEC_ID = 'sql/char@1';\nconst CHARACTER_NATIVE_TYPE = 'character';\n\nconst nanoidOptionsArgument = {\n  kind: 'object',\n  optional: true,\n  properties: {\n    size: {\n      kind: 'number',\n      optional: true,\n      integer: true,\n      minimum: 2,\n      maximum: 255,\n    },\n  },\n} as const;\n\nexport const sqlFamilyAuthoringFieldPresets = {\n  uuidString: {\n    kind: 'fieldPreset',\n    output: {\n      codecId: CHARACTER_CODEC_ID,\n      nativeType: CHARACTER_NATIVE_TYPE,\n      typeParams: {\n        length: 36,\n      },\n    },\n  },\n  ulid: {\n    kind: 'fieldPreset',\n    output: {\n      codecId: CHARACTER_CODEC_ID,\n      nativeType: CHARACTER_NATIVE_TYPE,\n      typeParams: {\n        length: 26,\n      },\n    },\n  },\n  nanoid: {\n    kind: 'fieldPreset',\n    args: [nanoidOptionsArgument],\n    output: {\n      codecId: CHARACTER_CODEC_ID,\n      nativeType: CHARACTER_NATIVE_TYPE,\n      typeParams: {\n        length: {\n          kind: 'arg',\n          index: 0,\n          path: ['size'],\n          default: 21,\n        },\n      },\n    },\n  },\n  cuid2: {\n    kind: 'fieldPreset',\n    output: {\n      codecId: CHARACTER_CODEC_ID,\n      nativeType: CHARACTER_NATIVE_TYPE,\n      typeParams: {\n        length: 24,\n      },\n    },\n  },\n  ksuid: {\n    kind: 'fieldPreset',\n    output: {\n      codecId: CHARACTER_CODEC_ID,\n      nativeType: CHARACTER_NATIVE_TYPE,\n      typeParams: {\n        length: 27,\n      },\n    },\n  },\n  id: {\n    uuidv4String: {\n      kind: 'fieldPreset',\n      output: {\n        codecId: CHARACTER_CODEC_ID,\n        nativeType: CHARACTER_NATIVE_TYPE,\n        typeParams: {\n          length: 36,\n        },\n        executionDefaults: {\n          onCreate: {\n            kind: 'generator',\n            id: 'uuidv4',\n          },\n        },\n        id: true,\n      },\n    },\n    uuidv7String: {\n      kind: 'fieldPreset',\n      output: {\n        codecId: CHARACTER_CODEC_ID,\n        nativeType: CHARACTER_NATIVE_TYPE,\n        typeParams: {\n          length: 36,\n        },\n        executionDefaults: {\n          onCreate: {\n            kind: 'generator',\n            id: 'uuidv7',\n          },\n        },\n        id: true,\n      },\n    },\n    ulid: {\n      kind: 'fieldPreset',\n      output: {\n        codecId: CHARACTER_CODEC_ID,\n        nativeType: CHARACTER_NATIVE_TYPE,\n        typeParams: {\n          length: 26,\n        },\n        executionDefaults: {\n          onCreate: {\n            kind: 'generator',\n            id: 'ulid',\n          },\n        },\n        id: true,\n      },\n    },\n    nanoid: {\n      kind: 'fieldPreset',\n      args: [nanoidOptionsArgument],\n      output: {\n        codecId: CHARACTER_CODEC_ID,\n        nativeType: CHARACTER_NATIVE_TYPE,\n        typeParams: {\n          length: {\n            kind: 'arg',\n            index: 0,\n            path: ['size'],\n            default: 21,\n          },\n        },\n        executionDefaults: {\n          onCreate: {\n            kind: 'generator',\n            id: 'nanoid',\n            params: {\n              size: {\n                kind: 'arg',\n                index: 0,\n                path: ['size'],\n              },\n            },\n          },\n        },\n        id: true,\n      },\n    },\n    cuid2: {\n      kind: 'fieldPreset',\n      output: {\n        codecId: CHARACTER_CODEC_ID,\n        nativeType: CHARACTER_NATIVE_TYPE,\n        typeParams: {\n          length: 24,\n        },\n        executionDefaults: {\n          onCreate: {\n            kind: 'generator',\n            id: 'cuid2',\n          },\n        },\n        id: true,\n      },\n    },\n    ksuid: {\n      kind: 'fieldPreset',\n      output: {\n        codecId: CHARACTER_CODEC_ID,\n        nativeType: CHARACTER_NATIVE_TYPE,\n        typeParams: {\n          length: 27,\n        },\n        executionDefaults: {\n          onCreate: {\n            kind: 'generator',\n            id: 'ksuid',\n          },\n        },\n        id: true,\n      },\n    },\n  },\n} as const satisfies AuthoringFieldNamespace;\n","import type { AuthoringTypeNamespace } from '@prisma-next/framework-components/authoring';\n\nexport const sqlFamilyAuthoringTypes = {\n  sql: {\n    String: {\n      kind: 'typeConstructor',\n      args: [{ kind: 'number', name: 'length', integer: true, minimum: 1, maximum: 10485760 }],\n      output: {\n        codecId: 'sql/varchar@1',\n        nativeType: 'character varying',\n        typeParams: {\n          length: { kind: 'arg', index: 0 },\n        },\n      },\n    },\n  },\n} as const satisfies AuthoringTypeNamespace;\n"],"mappings":";;;AAWA,SAAS,kBAAkB,KAAiC;CAC1D,IAAI,IAAI,WAAW,IAAG,KAAK,IAAI,SAAS,IAAG,KAAK,IAAI,UAAU,GAC5D,OAAO,IAAI,MAAM,GAAG,EAAE;AAG1B;AAoJA,MAAa,uBAAqD,EAChE,MAAM;CAlJN,MAAM;CACN,eAAe;CACf,QAAQ,EACN,UACE,OACA,QAC+B;EAC/B,MAAM,WAAW,IAAI,YAAY;EACjC,MAAM,cAAc,IAAI;EAExB,MAAM,WAAW,MAAM,gBAAgB,MAAM,MAAM,EAAE,SAAS,MAAM;EACpE,IAAI,CAAC,UAAU;GACb,aAAa,KAAK;IAChB,MAAM;IACN,SAAS,SAAS,MAAM,KAAK;IAC7B;IACA,MAAM,MAAM;GACd,CAAC;GACD;EACF;EAEA,MAAM,cAAc,SAAS,KAAK,EAAE,EAAE;EACtC,MAAM,UAAU,gBAAgB,KAAA,IAAY,kBAAkB,WAAW,IAAI,KAAA;EAC7E,IAAI,CAAC,SAAS;GACZ,aAAa,KAAK;IAChB,MAAM;IACN,SAAS,SAAS,MAAM,KAAK;IAC7B;IACA,MAAM,SAAS;GACjB,CAAC;GACD;EACF;EAEA,MAAM,aAAa,IAAI,aAAa,eAAe,OAAO,CAAC,GAAG;EAC9D,IAAI,eAAe,KAAA,GAAW;GAC5B,MAAM,cAAc,SAAS,KAAK,EAAE,EAAE,QAAQ,SAAS;GACvD,aAAa,KAAK;IAChB,MAAM;IACN,SAAS,SAAS,MAAM,KAAK,qCAAqC,QAAQ;IAC1E;IACA,MAAM;GACR,CAAC;GACD;EACF;EAEA,MAAM,QAAQ,IAAI,aAAa,IAAI,OAAO;EAC1C,IAAI,UAAU,KAAA,GAAW;GACvB,MAAM,cAAc,SAAS,KAAK,EAAE,EAAE,QAAQ,SAAS;GACvD,aAAa,KAAK;IAChB,MAAM;IACN,SAAS,SAAS,MAAM,KAAK,kBAAkB,QAAQ;IACvD;IACA,MAAM;GACR,CAAC;GACD;EACF;EAEA,MAAM,6BAAa,IAAI,IAAY;EACnC,MAAM,UAA8C,CAAC;EACrD,IAAI,cAAc;EAElB,KAAK,MAAM,CAAC,YAAY,eAAe,OAAO,QAAQ,MAAM,UAAU,GAAG;GACvE,IAAI;GACJ,IAAI,WAAW,SAAS,QACtB,IAAI;IACF,QAAQ,MAAM,WAAW,UAAU;GACrC,QAAQ;IACN,aAAa,KAAK;KAChB,MAAM;KACN,SAAS,SAAS,MAAM,KAAK,YAAY,WAAW,4BAA4B,QAAQ;KACxF;KACA,MAAM,WAAW;IACnB,CAAC;IACD,cAAc;IACd;GACF;QACK,IAAI,WAAW,SAAS,SAAS;IACtC,IAAI;IACJ,IAAI;KACF,YAAY,KAAK,MAAM,WAAW,GAAG;IACvC,QAAQ;KACN,aAAa,KAAK;MAChB,MAAM;MACN,SAAS,SAAS,MAAM,KAAK,YAAY,WAAW,WAAW,WAAW,IAAI;MAC9E;MACA,MAAM,WAAW;KACnB,CAAC;KACD,cAAc;KACd;IACF;IACA,IAAI;KACF,QAAQ,MAAM,WACZ,UAAwE,SAAS,CACnF;IACF,SAAS,KAAK;KACZ,MAAM,SAAS,eAAe,QAAQ,IAAI,UAAU,OAAO,GAAG;KAC9D,aAAa,KAAK;MAChB,MAAM;MACN,SAAS,SAAS,MAAM,KAAK,YAAY,WAAW,2BAA2B,QAAQ,KAAK;MAC5F;MACA,MAAM,WAAW;KACnB,CAAC;KACD,cAAc;KACd;IACF;GACF,OACE;GAGF,MAAM,WAAW,OAAO,KAAK;GAC7B,IAAI,WAAW,IAAI,QAAQ,GAAG;IAC5B,aAAa,KAAK;KAChB,MAAM;KACN,SAAS,SAAS,MAAM,KAAK,6BAA6B,SAAS;KACnE;KACA,MAAM,WAAW;IACnB,CAAC;IACD,cAAc;IACd;GACF;GACA,WAAW,IAAI,QAAQ;GACvB,QAAQ,KAAK;IAAE,MAAM;IAAY;GAAM,CAAC;EAC1C;EAEA,IAAI,aAAa,OAAO,KAAA;EAExB,IAAI,QAAQ,WAAW,GAAG;GACxB,aAAa,KAAK;IAChB,MAAM;IACN,SAAS,SAAS,MAAM,KAAK;IAC7B;IACA,MAAM,MAAM;GACd,CAAC;GACD;EACF;EAEA,OAAO,SACL,MAAM,MACN;GAAE;GAAS;EAAW,GACtB,GAAG,QAAQ,KAAK,OAAO;GAAE,MAAM,EAAE;GAAM,OAAO,EAAE;EAAM,EAAE,CAC1D;CACF,EACF;AAIM,EACR;AAEA,MAAa,+BAA+B,EAC1C,MAAM;CACJ,MAAM;CACN,SAAS;CACT,eAAe;CACf,MAAM,EAAE,UAAU,KAAK;CACvB,YAAY,CAAC;CACb,oBAAoB;AACtB,EACF;;;;;;;;;;;;;;;;;;;;;;;AC1JA,MAAM,qBAAqB;AAC3B,MAAM,wBAAwB;AAE9B,MAAM,wBAAwB;CAC5B,MAAM;CACN,UAAU;CACV,YAAY,EACV,MAAM;EACJ,MAAM;EACN,UAAU;EACV,SAAS;EACT,SAAS;EACT,SAAS;CACX,EACF;AACF;AAEA,MAAa,iCAAiC;CAC5C,YAAY;EACV,MAAM;EACN,QAAQ;GACN,SAAS;GACT,YAAY;GACZ,YAAY,EACV,QAAQ,GACV;EACF;CACF;CACA,MAAM;EACJ,MAAM;EACN,QAAQ;GACN,SAAS;GACT,YAAY;GACZ,YAAY,EACV,QAAQ,GACV;EACF;CACF;CACA,QAAQ;EACN,MAAM;EACN,MAAM,CAAC,qBAAqB;EAC5B,QAAQ;GACN,SAAS;GACT,YAAY;GACZ,YAAY,EACV,QAAQ;IACN,MAAM;IACN,OAAO;IACP,MAAM,CAAC,MAAM;IACb,SAAS;GACX,EACF;EACF;CACF;CACA,OAAO;EACL,MAAM;EACN,QAAQ;GACN,SAAS;GACT,YAAY;GACZ,YAAY,EACV,QAAQ,GACV;EACF;CACF;CACA,OAAO;EACL,MAAM;EACN,QAAQ;GACN,SAAS;GACT,YAAY;GACZ,YAAY,EACV,QAAQ,GACV;EACF;CACF;CACA,IAAI;EACF,cAAc;GACZ,MAAM;GACN,QAAQ;IACN,SAAS;IACT,YAAY;IACZ,YAAY,EACV,QAAQ,GACV;IACA,mBAAmB,EACjB,UAAU;KACR,MAAM;KACN,IAAI;IACN,EACF;IACA,IAAI;GACN;EACF;EACA,cAAc;GACZ,MAAM;GACN,QAAQ;IACN,SAAS;IACT,YAAY;IACZ,YAAY,EACV,QAAQ,GACV;IACA,mBAAmB,EACjB,UAAU;KACR,MAAM;KACN,IAAI;IACN,EACF;IACA,IAAI;GACN;EACF;EACA,MAAM;GACJ,MAAM;GACN,QAAQ;IACN,SAAS;IACT,YAAY;IACZ,YAAY,EACV,QAAQ,GACV;IACA,mBAAmB,EACjB,UAAU;KACR,MAAM;KACN,IAAI;IACN,EACF;IACA,IAAI;GACN;EACF;EACA,QAAQ;GACN,MAAM;GACN,MAAM,CAAC,qBAAqB;GAC5B,QAAQ;IACN,SAAS;IACT,YAAY;IACZ,YAAY,EACV,QAAQ;KACN,MAAM;KACN,OAAO;KACP,MAAM,CAAC,MAAM;KACb,SAAS;IACX,EACF;IACA,mBAAmB,EACjB,UAAU;KACR,MAAM;KACN,IAAI;KACJ,QAAQ,EACN,MAAM;MACJ,MAAM;MACN,OAAO;MACP,MAAM,CAAC,MAAM;KACf,EACF;IACF,EACF;IACA,IAAI;GACN;EACF;EACA,OAAO;GACL,MAAM;GACN,QAAQ;IACN,SAAS;IACT,YAAY;IACZ,YAAY,EACV,QAAQ,GACV;IACA,mBAAmB,EACjB,UAAU;KACR,MAAM;KACN,IAAI;IACN,EACF;IACA,IAAI;GACN;EACF;EACA,OAAO;GACL,MAAM;GACN,QAAQ;IACN,SAAS;IACT,YAAY;IACZ,YAAY,EACV,QAAQ,GACV;IACA,mBAAmB,EACjB,UAAU;KACR,MAAM;KACN,IAAI;IACN,EACF;IACA,IAAI;GACN;EACF;CACF;AACF;;;ACpNA,MAAa,0BAA0B,EACrC,KAAK,EACH,QAAQ;CACN,MAAM;CACN,MAAM,CAAC;EAAE,MAAM;EAAU,MAAM;EAAU,SAAS;EAAM,SAAS;EAAG,SAAS;CAAS,CAAC;CACvF,QAAQ;EACN,SAAS;EACT,YAAY;EACZ,YAAY,EACV,QAAQ;GAAE,MAAM;GAAO,OAAO;EAAE,EAClC;CACF;AACF,EACF,EACF"}

package/dist/control-adapter-Cmw9LvEP.d.mts.map

@@ -1 +0,0 @@
-{"version":3,"file":"control-adapter-Cmw9LvEP.d.mts","names":[],"sources":["../src/core/control-adapter.ts"],"mappings":";;;;;;;;;;AAuBA;;;;;UAAiB,OAAA;EACf,KAAA,CAAM,GAAA,EAAK,WAAA,GAAc,OAAA,EAAS,OAAA,EAAS,cAAA,YAA0B,gBAAA;AAAA;;;;;;;UAStD,qBAAA,SAA8B,OAAA;EAC7C,qBAAA,CACE,GAAA,EAAK,WAAA,GAAc,OAAA,EACnB,OAAA,GAAU,cAAA,YACT,OAAA,CAAQ,iBAAA;AAAA;AAb0E;AASvF;;;;;AATuF,UAsBtE,iBAAA,0CACP,sBAAA,QAA8B,OAAA,GACpC,qBAAA;EAXS;;;;;;;;;;;;;;;EA2BX,UAAA,CACE,MAAA,EAAQ,wBAAA,CAAyB,OAAA,GACjC,KAAA,WACC,OAAA,CAAQ,oBAAA;EArBI;;;;;;;EA8Bf,cAAA,CACE,MAAA,EAAQ,wBAAA,CAAyB,OAAA,IAChC,OAAA,CAAQ,WAAA,SAAoB,oBAAA;EADI;;;;EAOnC,UAAA,CACE,MAAA,EAAQ,wBAAA,CAAyB,OAAA,GACjC,KAAA,YACC,OAAA,UAAiB,iBAAA;EAFe;;;;;;EAUnC,YAAA,CACE,MAAA,EAAQ,wBAAA,CAAyB,OAAA,GACjC,KAAA,UACA,WAAA;IAAA,SACW,WAAA;IAAA,SACA,WAAA;IAAA,SACA,UAAA;EAAA,IAEV,OAAA;EA0BO;;;;;;EAlBV,UAAA,CACE,MAAA,EAAQ,wBAAA,CAAyB,OAAA,GACjC,KAAA,UACA,WAAA;IAAA,SACW,WAAA;IAAA,SACA,WAAA;IAAA,SACA,UAAA;EAAA,IAEV,OAAA;EA2EsC;;;;;;;EAlEzC,YAAA,CACE,MAAA,EAAQ,wBAAA,CAAyB,OAAA,GACjC,KAAA,UACA,YAAA,UACA,WAAA;IAAA,SACW,WAAA;IAAA,SACA,WAAA;IAAA,SACA,UAAA;EAAA,IAEV,OAAA;EAxEgC;;;;;;EAgFnC,gBAAA,CACE,MAAA,EAAQ,wBAAA,CAAyB,OAAA,GACjC,KAAA,UACA,KAAA;IAAA,SACW,MAAA;IAAA,SACA,IAAA;IAAA,SACA,EAAA;IAAA,SACA,aAAA;IAAA,SACA,aAAA;IAAA,SACA,UAAA;EAAA,IAEV,OAAA;EAvEgC;;;;;;;;;;;;EAqFnC,UAAA,CACE,MAAA,EAAQ,wBAAA,CAAyB,OAAA,GACjC,QAAA,YACA,MAAA,YACC,OAAA,CAAQ,WAAA;EA5ET;;;;;EAAA,SAmFO,gBAAA,GAAmB,iBAAA;EApE1B;;;;;EAAA,SA2EO,mBAAA,GAAsB,oBAAA;EA5D/B;;;;EAkEA,4BAAA,aAAyC,OAAA;EA/DvC;;;;EAqEF,0BAAA,aAAuC,OAAA;AAAA;;;;;;;UASxB,2BAAA;EA1DF;;;;;;EAiEb,MAAA,CAAO,KAAA,EAAO,YAAA,QAAoB,OAAA,IAAW,iBAAA,CAAkB,OAAA;AAAA"}

package/dist/schema-verify.d.mts

@@ -1,39 +0,0 @@
-import { i as verifySqlSchema, n as NativeTypeNormalizer, r as VerifySqlSchemaOptions } from "./verify-sql-schema-thU-jKpf.mjs";
-import { SchemaIssue } from "@prisma-next/framework-components/control";
-import { ControlPolicy } from "@prisma-next/contract/types";
-import { SqlIndexIR, SqlUniqueIR } from "@prisma-next/sql-schema-ir/types";
-
-//#region src/core/schema-verify/verify-helpers.d.ts
-/**
- * Compares two arrays of strings for equality (order-sensitive).
- */
-declare function arraysEqual(a: readonly string[], b: readonly string[]): boolean;
-/**
- * Checks if a unique constraint requirement is satisfied by the given columns.
- *
- * Semantic satisfaction: a unique constraint requirement can be satisfied by:
- * - A unique constraint with the same columns, OR
- * - A unique index with the same columns
- *
- * @param uniques - The unique constraints in the schema table
- * @param indexes - The indexes in the schema table
- * @param columns - The columns required by the unique constraint
- * @returns true if the requirement is satisfied
- */
-declare function isUniqueConstraintSatisfied(uniques: readonly SqlUniqueIR[], indexes: readonly SqlIndexIR[], columns: readonly string[]): boolean;
-/**
- * Checks if an index requirement is satisfied by the given columns.
- *
- * Semantic satisfaction: a non-unique index requirement can be satisfied by:
- * - Any index (unique or non-unique) with the same columns, OR
- * - A unique constraint with the same columns (stronger satisfies weaker)
- *
- * @param indexes - The indexes in the schema table
- * @param uniques - The unique constraints in the schema table
- * @param columns - The columns required by the index
- * @returns true if the requirement is satisfied
- */
-declare function isIndexSatisfied(indexes: readonly SqlIndexIR[], uniques: readonly SqlUniqueIR[], columns: readonly string[]): boolean;
-//#endregion
-export { type NativeTypeNormalizer, type VerifySqlSchemaOptions, arraysEqual, isIndexSatisfied, isUniqueConstraintSatisfied, verifySqlSchema };
-//# sourceMappingURL=schema-verify.d.mts.map

package/dist/schema-verify.d.mts.map

@@ -1 +0,0 @@
-{"version":3,"file":"schema-verify.d.mts","names":[],"sources":["../src/core/schema-verify/verify-helpers.ts"],"mappings":";;;;;;;;;iBAgEgB,WAAA,CAAY,CAAA,qBAAsB,CAAoB;AA+BtE;;;;;;;;;;AAG4B;AAuB5B;AA1BA,iBAAgB,2BAAA,CACd,OAAA,WAAkB,WAAA,IAClB,OAAA,WAAkB,UAAU,IAC5B,OAAA;;;;;;;;;AA0B0B;;;;iBAHZ,gBAAA,CACd,OAAA,WAAkB,UAAA,IAClB,OAAA,WAAkB,WAAW,IAC7B,OAAA"}

package/dist/schema-verify.mjs

@@ -1,2 +0,0 @@
-import { i as isUniqueConstraintSatisfied, n as arraysEqual, r as isIndexSatisfied, t as verifySqlSchema } from "./verify-sql-schema-xT4udQLQ.mjs";
-export { arraysEqual, isIndexSatisfied, isUniqueConstraintSatisfied, verifySqlSchema };

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

@@ -1 +0,0 @@
-{"version":3,"file":"sql-contract-serializer-BR2vC7Z-.mjs","names":[],"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  NamespaceBase,\n  UNBOUND_NAMESPACE_ID,\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  buildSqlNamespace,\n  type SqlNamespaceTablesInput,\n  SqlStorage,\n  type SqlStorageInput,\n  type SqlStorageTypeEntry,\n  SqlUnboundNamespace,\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 } 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(rawNamespaces);\n    // Compatibility shim: production code that addresses `__unbound__` for table\n    // metadata lookups (collection-contract, query-plan-mutations, model-accessor,\n    // query-plan-meta, where-binding) uses optional chaining and tolerates absence,\n    // but runtime-qualification (TML-2605) has not yet landed cross-namespace table\n    // routing. Injecting the empty singleton here keeps helpers that augment the\n    // deserialized JSON (e.g. buildMixedPolyContract) working by providing a slot to\n    // write into. Once runtime-qualification routes table lookups by namespace, this\n    // shim should be removed.\n    //\n    // TML-2916: the shim only fires when the target's default namespace IS unbound\n    // (SQLite, Mongo). On Postgres (`defaultNamespaceId === 'public'`) injecting an\n    // empty `__unbound__` slot violates ADR 223 — un-namespaced PG models belong in\n    // `public`, not `__unbound__`.\n    const withInjectedUnbound =\n      this.defaultNamespaceId === UNBOUND_NAMESPACE_ID\n        ? {\n            ...hydratedNamespaces,\n            [UNBOUND_NAMESPACE_ID]:\n              hydratedNamespaces[UNBOUND_NAMESPACE_ID] ?? SqlUnboundNamespace.instance,\n          }\n        : hydratedNamespaces;\n\n    return {\n      ...validated,\n      storage: new SqlStorage({\n        storageHash: validated.storage.storageHash,\n        ...ifDefined('types', hydratedTypes),\n        // Cast narrows the result of hydrateSqlNamespaceMap from the wider\n        // framework `Namespace` to the SQL-family `SqlNamespace`.\n        namespaces: blindCast<\n          SqlStorageInput['namespaces'],\n          'hydrateSqlNamespaceMap builds each namespace through the SQL family concretions (SqlBoundNamespace / target schema), so every value is a SqlNamespace; the framework return type only promises the base Namespace.'\n        >(withInjectedUnbound),\n      }),\n    };\n  }\n\n  protected abstract get defaultNamespaceId(): string;\n\n  protected hydrateSqlNamespaceMap(\n    namespaces: Readonly<Record<string, Namespace | Record<string, unknown>>>,\n  ): Readonly<Record<string, Namespace>> {\n    return Object.fromEntries(\n      Object.entries(namespaces).map(([nsId, namespaceEntryRaw]) => {\n        // Raw entries passed structural validation; hydrate materialises family IR class instances.\n        const namespaceHydrated = this.hydrateSqlNamespaceEntry(nsId, namespaceEntryRaw);\n        const namespaceMaterialised =\n          namespaceHydrated instanceof NamespaceBase\n            ? namespaceHydrated\n            : buildSqlNamespace(\n                blindCast<\n                  SqlNamespaceTablesInput,\n                  'hydrateSqlNamespaceEntry returns SqlNamespaceTablesInput when raw is not a NamespaceBase'\n                >(namespaceHydrated),\n              );\n        return [nsId, namespaceMaterialised];\n      }),\n    );\n  }\n\n  protected hydrateSqlNamespaceEntry(\n    nsId: string,\n    raw: Namespace | Record<string, unknown>,\n  ): Namespace | SqlNamespaceTablesInput {\n    if (raw instanceof NamespaceBase) {\n      return raw;\n    }\n    const rawRecord = isPlainRecord(raw) ? raw : {};\n    const id = typeof rawRecord['id'] === 'string' ? rawRecord['id'] : nsId;\n    const parsed = NamespaceRawSchema({ ...rawRecord, 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      SqlNamespaceTablesInput,\n      'entriesOutput holds the hydrated SQL entity-kind maps (table always present); this wraps them as the SqlNamespaceTablesInput the family 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","import type { Contract } from '@prisma-next/contract/types';\nimport { UNBOUND_NAMESPACE_ID } from '@prisma-next/framework-components/ir';\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 */\nexport class SqlContractSerializer extends SqlContractSerializerBase<Contract<SqlStorage>> {\n  constructor() {\n    super(new Map());\n  }\n\n  // Family-level fallback when no target descriptor is wired in. Preserves the\n  // pre-TML-2916 compatibility-shim behaviour for the unbound slot.\n  protected override get defaultNamespaceId(): string {\n    return UNBOUND_NAMESPACE_ID;\n  }\n}\n"],"mappings":";;;;;;;;;;;AA8BA,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,uBAAuB,aAAa;EAcpE,MAAM,sBACJ,KAAK,uBAAuB,uBACxB;GACE,GAAG;IACF,uBACC,mBAAmB,yBAAyB,oBAAoB;EACpE,IACA;EAEN,OAAO;GACL,GAAG;GACH,SAAS,IAAI,WAAW;IACtB,aAAa,UAAU,QAAQ;IAC/B,GAAG,UAAU,SAAS,aAAa;IAGnC,YAAY,UAGV,mBAAmB;GACvB,CAAC;EACH;CACF;CAIA,uBACE,YACqC;EACrC,OAAO,OAAO,YACZ,OAAO,QAAQ,UAAU,CAAC,CAAC,KAAK,CAAC,MAAM,uBAAuB;GAE5D,MAAM,oBAAoB,KAAK,yBAAyB,MAAM,iBAAiB;GAU/E,OAAO,CAAC,MARN,6BAA6B,gBACzB,oBACA,kBACE,UAGE,iBAAiB,CACrB,CAC6B;EACrC,CAAC,CACH;CACF;CAEA,yBACE,MACA,KACqC;EACrC,IAAI,eAAe,eACjB,OAAO;EAET,MAAM,YAAY,cAAc,GAAG,IAAI,MAAM,CAAC;EAC9C,MAAM,KAAK,OAAO,UAAU,UAAU,WAAW,UAAU,QAAQ;EACnE,MAAM,SAAS,mBAAmB;GAAE,GAAG;GAAW;EAAG,CAAC;EACtD,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,gBAAgB,cAAc,UAAU,IAAI,aAAa,CAAC;EAEhE,MAAM,eAAkE,CAAC;EACzE,KAAK,MAAM,CAAC,KAAK,aAAa,OAAO,QAAQ,aAAa,GACxD,aAAa,OAAO,cAAc,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;AACF;;;;;;;;;;;;ACpOA,IAAa,wBAAb,cAA2C,0BAAgD;CACzF,cAAc;EACZ,sBAAM,IAAI,IAAI,CAAC;CACjB;CAIA,IAAuB,qBAA6B;EAClD,OAAO;CACT;AACF"}

package/dist/test-utils.d.mts

@@ -1,2 +0,0 @@
-import { extractCodecTypeImports, extractComponentIds, extractQueryOperationTypeImports } from "@prisma-next/framework-components/control";
-export { extractCodecTypeImports, extractComponentIds, extractQueryOperationTypeImports };

package/dist/test-utils.mjs

@@ -1,2 +0,0 @@
-import { extractCodecTypeImports, extractComponentIds, extractQueryOperationTypeImports } from "@prisma-next/framework-components/control";
-export { extractCodecTypeImports, extractComponentIds, extractQueryOperationTypeImports };

package/dist/types-kgstZ_Zd.d.mts.map

@@ -1 +0,0 @@
-{"version":3,"file":"types-kgstZ_Zd.d.mts","names":[],"sources":["../src/core/control-instance.ts","../src/core/migrations/types.ts"],"mappings":";;;;;;;;;;;;;;UA4KU,eAAA;EAAA,SACC,MAAA;EAAA,SACA,QAAA;EAAA,SACA,QAAA;EAAA,SACA,UAAA;AAAA;AAAA,KAGN,uBAAA,GAA0B,GAAG,SAAS,eAAA;AAAA,UAEjC,sBAAA;EAAA,SACC,gBAAA,EAAkB,aAAA,CAAc,eAAA;EAAA,SAChC,YAAA,EAAc,aAAA;EAAA,SACd,oBAAA,EAAsB,uBAAA;AAAA;AAAA,UAGhB,wBAAA,SACP,qBAAA,QAA6B,WAAA,GACnC,iBAAA,CAAkB,WAAA,GAClB,uBAAA,CAAwB,WAAA,GACxB,uBAAA,EACA,sBAAA;EAhBO;;AAAU;AAAA;;;;AAGqC;EAsBxD,mBAAA,CAAoB,YAAA,YAAwB,QAAA;EAE5C,MAAA,CAAO,OAAA;IAAA,SACI,MAAA,EAAQ,wBAAA;IAAA,SACR,QAAA;IAAA,SACA,gBAAA;IAAA,SACA,YAAA;IAAA,SACA,UAAA;EAAA,IACP,OAAA,CAAQ,oBAAA;EAzB0C;;;;;;;;;AAAA;EAqCtD,YAAA,CAAa,OAAA;IAAA,SACF,QAAA;IAAA,SACA,MAAA,EAAQ,WAAA;IAAA,SACR,MAAA;IAAA,SACA,mBAAA,EAAqB,aAAA,CAAc,8BAAA;EAAA,IAC1C,0BAAA;EAEJ,IAAA,CAAK,OAAA;IAAA,SACM,MAAA,EAAQ,wBAAA;IAAA,SACR,QAAA;IAAA,SACA,YAAA;IAAA,SACA,UAAA;EAAA,IACP,OAAA,CAAQ,kBAAA;EAEZ,UAAA,CAAW,OAAA;IAAA,SACA,MAAA,EAAQ,wBAAA;IAAA,SACR,QAAA;EAAA,IACP,OAAA,CAAQ,WAAA;EAEZ,gBAAA,CAAiB,QAAA,EAAU,WAAA,GAAc,cAAA;EAEzC,QAAA,CACE,GAAA,EAAK,WAAA,GAAc,OAAA,EACnB,OAAA,EAAS,cAAA,YACR,OAAA,CAAQ,iBAAA;EAPC;;;;;EAcZ,UAAA,CAAW,OAAA;IAAA,SACA,MAAA,EAAQ,wBAAA;IAAA,SACR,KAAA;IAAA,SACA,WAAA;MAAA,SACE,WAAA;MAAA,SACA,WAAA;MAAA,SACA,UAAA;IAAA;EAAA,IAET,OAAA;EAgCA;;;;EA1BJ,YAAA,CAAa,OAAA;IAAA,SACF,MAAA,EAAQ,wBAAA;IAAA,SACR,KAAA;IAAA,SACA,YAAA;IAAA,SACA,WAAA;MAAA,SACE,WAAA;MAAA,SACA,WAAA;MAAA,SACA,UAAA;IAAA;EAAA,IAET,OAAA;EAtFF;;;;EA4FF,gBAAA,CAAiB,OAAA;IAAA,SACN,MAAA,EAAQ,wBAAA;IAAA,SACR,KAAA;IAAA,SACA,KAAA;MAAA,SACE,MAAA;MAAA,SACA,IAAA;MAAA,SACA,EAAA;MAAA,SACA,aAAA;MAAA,SACA,aAAA;MAAA,SACA,UAAA;IAAA;EAAA,IAET,OAAA;EAEJ,4BAAA,aAAyC,OAAA;EAEzC,0BAAA,aAAuC,OAAA;EAEvC,kBAAA,CAAmB,UAAA,WAAqB,sBAAA,KAA2B,gBAAA;AAAA;;;KCrQzD,SAAA,GAAY,QAAQ,CAAC,MAAA;AAAA,UAEhB,qBAAA;EAAA,SACN,UAAA,WAAqB,yBAAyB,CAAC,cAAA;AAAA;ADCsB;;;AAAA,UCK/D,qBAAA;EAAA,SACN,UAAA;EAAA,SACA,OAAA;EAAA,SACA,UAAA,GAAa,MAAM;AAAA;;AD+HT;AAAA;;;;AAGqC;UCxHzC,yBAAA;EAAA,SACN,UAAA;EAAA,SACA,OAAA;EAAA,SACA,UAAA,GAAa,MAAM;AAAA;;;;;;;;;;;;;AD0H0B;AAGxD;KC5GY,UAAA;;;;;;;;;;;;;UAcK,iBAAA;EAAA,SACN,WAAA;EAAA,SACA,SAAA;EAAA,SACA,SAAA;EAAA,SACA,UAAA,GAAa,YAAA;EAAA,SACb,QAAA,GAAW,YAAA;EAAA,SACX,UAAA,GAAa,aAAA;EAAA,SACb,QAAA,GAAW,aAAA;AAAA;AAAA,UAGL,iBAAA;EACf,kBAAA,IAAsB,OAAA;IAAA,SACX,QAAA;IAAA,SACA,YAAA,EAAc,mBAAA;IAAA,SACd,QAAA,EAAU,QAAA,CAAS,UAAA;IAAA,SACnB,MAAA,EAAQ,WAAA;IAAA,SACR,UAAA;IAAA,SACA,MAAA,EAAQ,wBAAA;EAAA,MACb,qBAAA,CAAsB,cAAA;EAC5B,UAAA,IAAc,OAAA;IAAA,SACH,QAAA;IAAA,SACA,YAAA,EAAc,mBAAA;IAAA,SACd,MAAA,EAAQ,WAAA;IAAA,SACR,UAAA;EAAA,eACI,WAAA;EACf,eAAA,IAAmB,OAAA;IAAA,SACR,MAAA,EAAQ,wBAAA;IAAA,SACR,UAAA;EAAA,MACL,OAAA,CAAQ,MAAA,SAAe,mBAAA;EDuEL;;;;;;;;;;EC5DxB,gBAAA,IAAoB,KAAA,EAAO,qBAAA;EDqEP;;;;;;;;;EC3DpB,oBAAA,IAAwB,KAAA,EAAO,yBAAA;EDmE3B;;;;;;;;;;;;;;ECpDJ,YAAA,IAAgB,KAAA,EAAO,UAAA,EAAY,GAAA,EAAK,iBAAA,cAA+B,aAAA;AAAA;AAAA,UAGxD,6BAAA,mCACP,0BAAA,QAAkC,SAAA;EAAA,SACjC,eAAA,SAAwB,uBAAA;EDkE5B;;;;;;;;;;;EAAA,SCtDI,aAAA,GAAgB,aAAA,CAAc,QAAA,CAAS,UAAA;AAAA;AAAA,UAGjC,2BAAA,mCACP,wBAAA,QAAgC,SAAA,EAAW,iBAAA,CAAkB,SAAA;EAAA,SAC5D,eAAA,SAAwB,uBAAA;AAAA;AAAA,UAGlB,6BAAA;EAAA,SACN,WAAA;EAAA,SACA,GAAA;ED4DP;;;;;;;;EAAA,SCnDO,MAAA;EAAA,SACA,IAAA,GAAO,SAAS;AAAA;;;;;;;;UAUV,oBAAA;EAAA,SACN,MAAA;EAAA,SACA,IAAI;AAAA;AAAA,UAGE,+BAAA;EAAA,SACN,EAAA;EAAA,SACA,OAAA,GAAU,cAAc;AAAA;AAAA,UAGlB,yBAAA,yBAAkD,sBAAA;EAAA,SACxD,OAAA;EAAA,SACA,MAAA,EAAQ,+BAAA,CAAgC,cAAA;EAAA,SACxC,QAAA,WAAmB,6BAAA;EAAA,SACnB,OAAA,WAAkB,6BAAA;EAAA,SAClB,SAAA,WAAoB,6BAAA;EAAA,SACpB,IAAA,GAAO,SAAA;AAAA;AAAA,UAGD,4BAAA;EAAA,SACN,WAAA;EAAA,SACA,WAAW;AAAA;AAAA,UAGL,gBAAA,yBAAyC,aAAA;EDoExD;;;;;;;AAEmF;;;;ACrQrF;;;EDmQE,SCrDS,OAAA;EA9M4B;AAEvC;;;EAFuC,SAmN5B,MAAA,GAAS,4BAAA;EAjNmB;;;EAAA,SAqN5B,WAAA,EAAa,4BAAA;EAAA,SACb,UAAA,YACL,yBAAA,CAA0B,cAAA,IAC1B,OAAA,CAAQ,yBAAA,CAA0B,cAAA;EAvNgC;AAMxE;;;;;;;EANwE,SAiO7D,kBAAA;EAAA,SACA,IAAA,GAAO,SAAA;AAAA;AAAA,KAGN,sBAAA;AAAA,UASK,0BAAA;EAAA,SACN,SAAA;EAAA,SACA,KAAA;EAAA,SACA,MAAA;EAAA,SACA,KAAA;EAAA,SACA,UAAA;EAAA,SACA,IAAA;AAAA;AAAA,UAGM,kBAAA,SAA2B,wBAAA;EAAA,SACjC,IAAA,EAAM,sBAAA;EAAA,SACN,QAAA,GAAW,0BAAA;EAAA,SACX,IAAA,GAAO,SAAA;AAAA;AAAA,UAGD,uBAAA,yBACP,IAAA,CAAK,6BAAA;EAAA,SACJ,IAAA;EAAA,SACA,IAAA,EAAM,gBAAA,CAAiB,cAAA;AAAA;AAAA,UAGjB,uBAAA,SAAgC,IAAA,CAAK,6BAAA;EAAA,SAC3C,IAAA;EAAA,SACA,SAAA,WAAoB,kBAAA;AAAA;AAAA,KAGnB,gBAAA,mBACR,uBAAA,CAAwB,cAAA,IACxB,uBAAA;AAAA,UAEa,8BAAA;EAAA,SACN,QAAA,EAAU,QAAA,CAAS,UAAA;EAAA,SACnB,MAAA,EAAQ,WAAA;EAAA,SACR,MAAA,EAAQ,wBAAA;EAAA,SACR,UAAA;EAvNa;;;;;;;EAAA,SA+Nb,OAAA;EA5NwB;AAGnC;;;;;;;;;;;;;;;EAHmC,SA6OxB,YAAA,EAAc,QAAA,CAAS,UAAA;EAxN1B;;;;;;EAAA,SA+NG,mBAAA,EAAqB,aAAA,CAAc,8BAAA;AAAA;AAAA,UAG7B,mBAAA;EACf,IAAA,CAAK,OAAA,EAAS,8BAAA,GAAiC,gBAAA,CAAiB,cAAA;AAAA;AAAA,UAGjD,kCAAA;EACf,gBAAA,EAAkB,SAAA,EAAW,yBAAA,CAA0B,cAAA;EACvD,mBAAA,EAAqB,SAAA,EAAW,yBAAA,CAA0B,cAAA;AAAA;AAAA,UAG3C,gCAAA;EAAA,SACN,IAAA,EAAM,gBAAA,CAAiB,cAAA;EAAA,SACvB,MAAA,EAAQ,wBAAA;EAzPN;;;;;;;EAAA,SAiQF,KAAA;EA5PE;;;;EAAA,SAiQF,mBAAA,EAAqB,QAAA,CAAS,UAAA;EAnQzB;;;;EAAA,SAwQL,MAAA,EAAQ,wBAAA;EAAA,SACR,UAAA;EAAA,SACA,kBAAA;EAAA,SACA,SAAA,GAAY,kCAAA,CAAmC,cAAA;EAAA,SAC/C,OAAA,GAAU,gBAAA;EAnQU;;;;EAAA,SAwQpB,eAAA,GAAkB,8BAAA;EAnPI;;;;;;EAAA,SA0PtB,mBAAA,EAAqB,aAAA,CAAc,8BAAA;EA3O2B;;AAAa;AAGtF;EAHyE,SAgP9D,cAAA,WAAyB,yBAAA;AAAA;AAAA,KAGxB,2BAAA;AAAA,UAYK,yBAAA,SAAkC,sBAAA;EAAA,SACxC,IAAA,EAAM,2BAAA;EAAA,SACN,IAAA,GAAO,SAAA;AAAA;AAAA,UAGD,8BAAA,SAAuC,mCAAmC;AAAA,KAE/E,wBAAA,GAA2B,MAAA,CACrC,8BAAA,EACA,yBAAA;AAAA,UAGe,kBAAA;EAvQP;;;;;;;;;AAakD;AAG5D;;;EAqQE,OAAA,CAAQ,OAAA;IAAA,SACG,MAAA,EAAQ,wBAAA;IAAA,SACR,eAAA,EAAiB,aAAA,CAAc,gCAAA,CAAiC,cAAA;EAAA,IACvE,OAAA,CAAQ,qBAAA;EAvQJ;;;;;;;;;;EAmRR,mBAAA,CACE,OAAA,EAAS,gCAAA,CAAiC,cAAA,IACzC,OAAA,CAAQ,wBAAA;AAAA;AAAA,UAGI,0BAAA,6DAGG,QAAA,CAAS,UAAA,IAAc,QAAA,CAAS,UAAA,WAC1C,0BAAA,QAAkC,SAAA,EAAW,wBAAA;EAAA,SAC5C,eAAA,SAAwB,uBAAA;;;;;;;WAOxB,kBAAA,EAAoB,kBAAA,CAAmB,SAAA;EApRvB;AAAA;AAU3B;;;;EAV2B,SA2RhB,cAAA,EAAgB,cAAA,CAAe,SAAA,EAAW,WAAA;EACnD,aAAA,CAAc,OAAA,EAAS,iBAAA,CAAkB,SAAA,IAAa,mBAAA,CAAoB,cAAA;EAC1E,YAAA,CAAa,MAAA,EAAQ,wBAAA,GAA2B,kBAAA,CAAmB,cAAA;AAAA;AAAA,UAGpD,6BAAA;EAAA,SACN,QAAA;EAjRA;;;EAAA,SAqRA,OAAA;EAAA,SACA,MAAA,GAAS,4BAAA;EAAA,SACT,WAAA,EAAa,4BAAA;EAAA,SACb,UAAA,WAAqB,yBAAA,CAA0B,cAAA;EApRhB;;;;;EAAA,SA0R/B,kBAAA;EAAA,SACA,IAAA,GAAO,SAAA;AAAA"}