@prisma-next/family-sql 0.3.0-pr.99.6 → 0.4.0-dev.1

package/dist/schema-verify.d.mts

@@ -0,0 +1,48 @@
+import { i as verifySqlSchema, n as NativeTypeNormalizer, r as VerifySqlSchemaOptions } from "./verify-sql-schema-BBhkqEDo.mjs";
+import { i as ComponentDatabaseDependency } from "./types-BaUzKt6Q.mjs";
+import { SchemaIssue, SchemaVerificationNode } from "@prisma-next/framework-components/control";
+import { SqlIndexIR, SqlSchemaIR, 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;
+/**
+ * Verifies database dependencies are installed using component-owned verification hooks.
+ * Checks whether each dependency is satisfied by verifying its id is present in
+ * schema.dependencies (populated from introspection).
+ *
+ * Returns verification nodes for the tree.
+ */
+declare function verifyDatabaseDependencies(dependencies: ReadonlyArray<ComponentDatabaseDependency<unknown>>, schema: SqlSchemaIR, issues: SchemaIssue[]): SchemaVerificationNode[];
+//#endregion
+export { type NativeTypeNormalizer, type VerifySqlSchemaOptions, arraysEqual, isIndexSatisfied, isUniqueConstraintSatisfied, verifyDatabaseDependencies, verifySqlSchema };
+//# sourceMappingURL=schema-verify.d.mts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"schema-verify.d.mts","names":[],"sources":["../src/core/schema-verify/verify-helpers.ts"],"sourcesContent":[],"mappings":";;;;;;;AAmFA;AA6YA;;AACgB,iBAvcA,WAAA,CAucA,CAAA,EAAA,SAAA,MAAA,EAAA,EAAA,CAAA,EAAA,SAAA,MAAA,EAAA,CAAA,EAAA,OAAA;;;;;;;;;;;;;iBAxaA,2BAAA,mBACI,iCACA;;;;;;;;;;;;;iBAwBJ,gBAAA,mBACI,gCACA;;;;;;;;iBA2YJ,0BAAA,eACA,cAAc,+CACpB,qBACA,gBACP"}

package/dist/schema-verify.mjs

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

package/dist/test-utils.d.mts

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

package/dist/test-utils.mjs

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

package/dist/types-BaUzKt6Q.d.mts

@@ -0,0 +1,353 @@
+import { ControlAdapterDescriptor, ControlDriverInstance, ControlExtensionDescriptor, ControlFamilyInstance, ControlStack, MigratableTargetDescriptor, MigrationOperationPolicy, MigrationPlan, MigrationPlanOperation, MigrationPlannerConflict, MigrationPlannerFailureResult, MigrationPlannerSuccessResult, MigrationRunnerExecutionChecks, MigrationRunnerFailure, MigrationRunnerSuccessValue, OperationContext, SchemaIssue, SchemaViewCapable, SignDatabaseResult, VerifyDatabaseResult, VerifyDatabaseSchemaResult } from "@prisma-next/framework-components/control";
+import { Result } from "@prisma-next/utils/result";
+import { SqlSchemaIR } from "@prisma-next/sql-schema-ir/types";
+import { ColumnDefault, Contract, ExecutionMutationDefaultValue } from "@prisma-next/contract/types";
+import { TargetBoundComponentDescriptor } from "@prisma-next/framework-components/components";
+import { SqlStorage, StorageTypeInstance } from "@prisma-next/sql-contract/types";
+import { TypesImportSpec } from "@prisma-next/framework-components/emission";
+import { SqlOperationDescriptor } from "@prisma-next/sql-operations";
+
+//#region src/core/control-instance.d.ts
+interface SqlTypeMetadata {
+  readonly typeId: string;
+  readonly familyId: 'sql';
+  readonly targetId: string;
+  readonly nativeType?: string;
+}
+type SqlTypeMetadataRegistry = Map<string, SqlTypeMetadata>;
+interface SqlFamilyInstanceState {
+  readonly codecTypeImports: ReadonlyArray<TypesImportSpec>;
+  readonly operationTypeImports: ReadonlyArray<TypesImportSpec>;
+  readonly extensionIds: ReadonlyArray<string>;
+  readonly typeMetadataRegistry: SqlTypeMetadataRegistry;
+}
+interface SchemaVerifyOptions {
+  readonly driver: ControlDriverInstance<'sql', string>;
+  readonly contract: unknown;
+  readonly strict: boolean;
+  readonly context?: OperationContext;
+  /**
+   * Active framework components participating in this composition.
+   * All components must have matching familyId ('sql') and targetId.
+   */
+  readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<'sql', string>>;
+}
+interface SqlControlFamilyInstance extends ControlFamilyInstance<'sql', SqlSchemaIR>, SchemaViewCapable<SqlSchemaIR>, SqlFamilyInstanceState {
+  validateContract(contractJson: unknown): Contract;
+  verify(options: {
+    readonly driver: ControlDriverInstance<'sql', string>;
+    readonly contract: unknown;
+    readonly expectedTargetId: string;
+    readonly contractPath: string;
+    readonly configPath?: string;
+  }): Promise<VerifyDatabaseResult>;
+  schemaVerify(options: SchemaVerifyOptions): Promise<VerifyDatabaseSchemaResult>;
+  sign(options: {
+    readonly driver: ControlDriverInstance<'sql', string>;
+    readonly contract: unknown;
+    readonly contractPath: string;
+    readonly configPath?: string;
+  }): Promise<SignDatabaseResult>;
+  introspect(options: {
+    readonly driver: ControlDriverInstance<'sql', string>;
+    readonly contract?: unknown;
+  }): Promise<SqlSchemaIR>;
+}
+//#endregion
+//#region src/core/migrations/types.d.ts
+type AnyRecord = Readonly<Record<string, unknown>>;
+type ControlMutationDefaultSpan = {
+  readonly start: {
+    readonly offset: number;
+    readonly line: number;
+    readonly column: number;
+  };
+  readonly end: {
+    readonly offset: number;
+    readonly line: number;
+    readonly column: number;
+  };
+};
+type ControlMutationDefaultFunctionCall = {
+  readonly name: string;
+  readonly raw: string;
+  readonly args: readonly {
+    readonly raw: string;
+    readonly span: ControlMutationDefaultSpan;
+  }[];
+  readonly span: ControlMutationDefaultSpan;
+};
+type ControlMutationDefaultLoweringContext = {
+  readonly sourceId: string;
+  readonly modelName: string;
+  readonly fieldName: string;
+  readonly columnCodecId?: string;
+};
+type ControlMutationDefaultFunctionResult = {
+  readonly ok: true;
+  readonly value: {
+    readonly kind: 'storage';
+    readonly defaultValue: ColumnDefault;
+  } | {
+    readonly kind: 'execution';
+    readonly generated: ExecutionMutationDefaultValue;
+  };
+} | {
+  readonly ok: false;
+  readonly diagnostic: {
+    readonly code: string;
+    readonly message: string;
+    readonly sourceId?: string;
+    readonly span?: ControlMutationDefaultSpan;
+  };
+};
+type ControlMutationDefaultFunctionHandler = (input: {
+  readonly call: ControlMutationDefaultFunctionCall;
+  readonly context: ControlMutationDefaultLoweringContext;
+}) => ControlMutationDefaultFunctionResult;
+interface ControlMutationDefaultFunctionEntry {
+  readonly lower: ControlMutationDefaultFunctionHandler;
+  readonly usageSignatures?: readonly string[];
+}
+interface ControlMutationDefaultGeneratorDescriptor {
+  readonly id: string;
+  readonly applicableCodecIds: readonly string[];
+  readonly resolveGeneratedColumnDescriptor?: (input: {
+    readonly generated: {
+      readonly kind: string;
+      readonly id: string;
+      readonly params?: Record<string, unknown>;
+    };
+  }) => {
+    readonly codecId: string;
+    readonly nativeType: string;
+    readonly typeRef?: string;
+    readonly typeParams?: Record<string, unknown>;
+  } | undefined;
+}
+interface PslScalarTypeDescriptor {
+  readonly codecId: string;
+  readonly nativeType: string;
+  readonly typeRef?: string;
+  readonly typeParams?: Record<string, unknown>;
+}
+interface SqlControlStaticContributions {
+  readonly controlMutationDefaults?: () => {
+    readonly defaultFunctionRegistry: ReadonlyMap<string, ControlMutationDefaultFunctionEntry>;
+    readonly generatorDescriptors: ReadonlyArray<ControlMutationDefaultGeneratorDescriptor>;
+  };
+  readonly pslTypeDescriptors?: () => {
+    readonly scalarTypeDescriptors: ReadonlyMap<string, PslScalarTypeDescriptor>;
+  };
+  /** Query operation descriptors for the migration DSL client. Same static data as runtime descriptors. */
+  readonly queryOperations?: () => ReadonlyArray<SqlOperationDescriptor>;
+}
+interface ComponentDatabaseDependency<TTargetDetails> {
+  readonly id: string;
+  readonly label: string;
+  readonly install: readonly SqlMigrationPlanOperation<TTargetDetails>[];
+}
+interface ComponentDatabaseDependencies<TTargetDetails> {
+  readonly init?: readonly ComponentDatabaseDependency<TTargetDetails>[];
+}
+interface DatabaseDependencyProvider {
+  readonly databaseDependencies?: ComponentDatabaseDependencies<unknown>;
+}
+declare function isDatabaseDependencyProvider(value: unknown): value is DatabaseDependencyProvider;
+declare function collectInitDependencies(components: ReadonlyArray<unknown>): readonly ComponentDatabaseDependency<unknown>[];
+interface StorageTypePlanResult<TTargetDetails> {
+  readonly operations: readonly SqlMigrationPlanOperation<TTargetDetails>[];
+}
+/**
+ * Input for expanding parameterized native types.
+ */
+interface ExpandNativeTypeInput {
+  readonly nativeType: string;
+  readonly codecId?: string;
+  readonly typeParams?: Record<string, unknown>;
+}
+/**
+ * Input for resolving an identity-value SQL literal used to backfill existing rows when
+ * adding a NOT NULL column without an explicit default.
+ *
+ * "Identity value" in the algebraic (monoid) sense: the neutral element for the type
+ * (0 for numbers, '' for strings, false for booleans, etc.).
+ */
+interface ResolveIdentityValueInput {
+  readonly nativeType: string;
+  readonly codecId?: string;
+  readonly typeParams?: Record<string, unknown>;
+}
+interface CodecControlHooks<TTargetDetails = unknown> {
+  planTypeOperations?: (options: {
+    readonly typeName: string;
+    readonly typeInstance: StorageTypeInstance;
+    readonly contract: Contract<SqlStorage>;
+    readonly schema: SqlSchemaIR;
+    readonly schemaName?: string;
+    readonly policy: MigrationOperationPolicy;
+  }) => StorageTypePlanResult<TTargetDetails>;
+  verifyType?: (options: {
+    readonly typeName: string;
+    readonly typeInstance: StorageTypeInstance;
+    readonly schema: SqlSchemaIR;
+    readonly schemaName?: string;
+  }) => readonly SchemaIssue[];
+  introspectTypes?: (options: {
+    readonly driver: ControlDriverInstance<'sql', string>;
+    readonly schemaName?: string;
+  }) => Promise<Record<string, StorageTypeInstance>>;
+  /**
+   * Expands a parameterized native type to its full SQL representation.
+   * Used by schema verification to compare contract types against database types.
+   *
+   * For example, expands:
+   * - { nativeType: 'character varying', typeParams: { length: 255 } } -> 'character varying(255)'
+   * - { nativeType: 'numeric', typeParams: { precision: 10, scale: 2 } } -> 'numeric(10,2)'
+   *
+   * Returns the expanded type string, or the original nativeType if no expansion is needed.
+   */
+  expandNativeType?: (input: ExpandNativeTypeInput) => string;
+  /**
+   * Resolves the identity value (monoid neutral element) as a SQL literal for safely adding
+   * a NOT NULL column without an explicit default to a non-empty table.
+   *
+   * Return semantics:
+   * - string: use this literal
+   * - null: explicitly no safe identity value is known; fall back to another strategy
+   * - undefined: no opinion; planner may use built-in fallbacks
+   */
+  resolveIdentityValue?: (input: ResolveIdentityValueInput) => string | null | undefined;
+}
+interface SqlControlExtensionDescriptor<TTargetId extends string> extends ControlExtensionDescriptor<'sql', TTargetId>, SqlControlStaticContributions {
+  readonly databaseDependencies?: ComponentDatabaseDependencies<unknown>;
+}
+interface SqlControlAdapterDescriptor<TTargetId extends string> extends ControlAdapterDescriptor<'sql', TTargetId>, SqlControlStaticContributions {}
+interface SqlMigrationPlanOperationStep {
+  readonly description: string;
+  readonly sql: string;
+  readonly meta?: AnyRecord;
+}
+interface SqlMigrationPlanOperationTarget<TTargetDetails> {
+  readonly id: string;
+  readonly details?: TTargetDetails;
+}
+interface SqlMigrationPlanOperation<TTargetDetails> extends MigrationPlanOperation {
+  readonly summary?: string;
+  readonly target: SqlMigrationPlanOperationTarget<TTargetDetails>;
+  readonly precheck: readonly SqlMigrationPlanOperationStep[];
+  readonly execute: readonly SqlMigrationPlanOperationStep[];
+  readonly postcheck: readonly SqlMigrationPlanOperationStep[];
+  readonly meta?: AnyRecord;
+}
+interface SqlMigrationPlanContractInfo {
+  readonly storageHash: string;
+  readonly profileHash?: string;
+}
+interface SqlMigrationPlan<TTargetDetails> extends MigrationPlan {
+  /**
+   * Origin contract identity that the plan expects the database to currently be at.
+   * If omitted or null, the runner skips origin validation entirely.
+   */
+  readonly origin?: SqlMigrationPlanContractInfo | null;
+  /**
+   * Destination contract identity that the plan intends to reach.
+   */
+  readonly destination: SqlMigrationPlanContractInfo;
+  readonly operations: readonly SqlMigrationPlanOperation<TTargetDetails>[];
+  readonly meta?: AnyRecord;
+}
+type SqlPlannerConflictKind = 'typeMismatch' | 'nullabilityConflict' | 'indexIncompatible' | 'foreignKeyConflict' | 'missingButNonAdditive' | 'unsupportedOperation';
+interface SqlPlannerConflictLocation {
+  readonly table?: string;
+  readonly column?: string;
+  readonly index?: string;
+  readonly constraint?: string;
+  readonly type?: string;
+}
+interface SqlPlannerConflict extends MigrationPlannerConflict {
+  readonly kind: SqlPlannerConflictKind;
+  readonly location?: SqlPlannerConflictLocation;
+  readonly meta?: AnyRecord;
+}
+interface SqlPlannerSuccessResult<TTargetDetails> extends Omit<MigrationPlannerSuccessResult, 'plan'> {
+  readonly kind: 'success';
+  readonly plan: SqlMigrationPlan<TTargetDetails>;
+}
+interface SqlPlannerFailureResult extends Omit<MigrationPlannerFailureResult, 'conflicts'> {
+  readonly kind: 'failure';
+  readonly conflicts: readonly SqlPlannerConflict[];
+}
+type SqlPlannerResult<TTargetDetails> = SqlPlannerSuccessResult<TTargetDetails> | SqlPlannerFailureResult;
+interface SqlMigrationPlannerPlanOptions {
+  readonly contract: Contract<SqlStorage>;
+  readonly schema: SqlSchemaIR;
+  readonly policy: MigrationOperationPolicy;
+  readonly schemaName?: string;
+  /**
+   * Active framework components participating in this composition.
+   * SQL targets can interpret this list to derive database dependencies.
+   * All components must have matching familyId ('sql') and targetId.
+   */
+  readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<'sql', string>>;
+}
+interface SqlMigrationPlanner<TTargetDetails> {
+  plan(options: SqlMigrationPlannerPlanOptions): SqlPlannerResult<TTargetDetails>;
+}
+interface SqlMigrationRunnerExecuteCallbacks<TTargetDetails> {
+  onOperationStart?(operation: SqlMigrationPlanOperation<TTargetDetails>): void;
+  onOperationComplete?(operation: SqlMigrationPlanOperation<TTargetDetails>): void;
+}
+interface SqlMigrationRunnerExecuteOptions<TTargetDetails> {
+  readonly plan: SqlMigrationPlan<TTargetDetails>;
+  readonly driver: ControlDriverInstance<'sql', string>;
+  /**
+   * Destination contract IR.
+   * Must correspond to `plan.destination` and is used for schema verification and marker/ledger writes.
+   */
+  readonly destinationContract: Contract<SqlStorage>;
+  /**
+   * Execution-time policy that defines which operation classes are allowed.
+   * The runner validates each operation against this policy before execution.
+   */
+  readonly policy: MigrationOperationPolicy;
+  readonly schemaName?: string;
+  readonly strictVerification?: boolean;
+  readonly callbacks?: SqlMigrationRunnerExecuteCallbacks<TTargetDetails>;
+  readonly context?: OperationContext;
+  /**
+   * Execution-time checks configuration.
+   * All checks default to `true` (enabled) when omitted.
+   */
+  readonly executionChecks?: MigrationRunnerExecutionChecks;
+  /**
+   * Active framework components participating in this composition.
+   * SQL targets can interpret this list to derive database dependencies.
+   * All components must have matching familyId ('sql') and targetId.
+   */
+  readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<'sql', string>>;
+}
+type SqlMigrationRunnerErrorCode = 'DESTINATION_CONTRACT_MISMATCH' | 'MARKER_ORIGIN_MISMATCH' | 'POLICY_VIOLATION' | 'PRECHECK_FAILED' | 'POSTCHECK_FAILED' | 'SCHEMA_VERIFY_FAILED' | 'EXECUTION_FAILED';
+interface SqlMigrationRunnerFailure extends MigrationRunnerFailure {
+  readonly code: SqlMigrationRunnerErrorCode;
+  readonly meta?: AnyRecord;
+}
+interface SqlMigrationRunnerSuccessValue extends MigrationRunnerSuccessValue {}
+type SqlMigrationRunnerResult = Result<SqlMigrationRunnerSuccessValue, SqlMigrationRunnerFailure>;
+interface SqlMigrationRunner<TTargetDetails> {
+  execute(options: SqlMigrationRunnerExecuteOptions<TTargetDetails>): Promise<SqlMigrationRunnerResult>;
+}
+interface SqlControlTargetDescriptor<TTargetId extends string, TTargetDetails> extends MigratableTargetDescriptor<'sql', TTargetId, SqlControlFamilyInstance>, SqlControlStaticContributions {
+  createPlanner(family: SqlControlFamilyInstance): SqlMigrationPlanner<TTargetDetails>;
+  createRunner(family: SqlControlFamilyInstance): SqlMigrationRunner<TTargetDetails>;
+}
+interface CreateSqlMigrationPlanOptions<TTargetDetails> {
+  readonly targetId: string;
+  readonly origin?: SqlMigrationPlanContractInfo | null;
+  readonly destination: SqlMigrationPlanContractInfo;
+  readonly operations: readonly SqlMigrationPlanOperation<TTargetDetails>[];
+  readonly meta?: AnyRecord;
+}
+//#endregion
+export { SqlPlannerConflict as A, SqlControlFamilyInstance as B, SqlMigrationRunner as C, SqlMigrationRunnerFailure as D, SqlMigrationRunnerExecuteOptions as E, SqlPlannerSuccessResult as F, StorageTypePlanResult as I, collectInitDependencies as L, SqlPlannerConflictLocation as M, SqlPlannerFailureResult as N, SqlMigrationRunnerResult as O, SqlPlannerResult as P, isDatabaseDependencyProvider as R, SqlMigrationPlannerPlanOptions as S, SqlMigrationRunnerExecuteCallbacks as T, SqlMigrationPlanContractInfo as _, ControlMutationDefaultFunctionEntry as a, SqlMigrationPlanOperationTarget as b, CreateSqlMigrationPlanOptions as c, ResolveIdentityValueInput as d, SqlControlAdapterDescriptor as f, SqlMigrationPlan as g, SqlControlTargetDescriptor as h, ComponentDatabaseDependency as i, SqlPlannerConflictKind as j, SqlMigrationRunnerSuccessValue as k, ExpandNativeTypeInput as l, SqlControlStaticContributions as m, CodecControlHooks as n, ControlMutationDefaultFunctionHandler as o, SqlControlExtensionDescriptor as p, ComponentDatabaseDependencies as r, ControlMutationDefaultGeneratorDescriptor as s, AnyRecord as t, PslScalarTypeDescriptor as u, SqlMigrationPlanOperation as v, SqlMigrationRunnerErrorCode as w, SqlMigrationPlanner as x, SqlMigrationPlanOperationStep as y, SchemaVerifyOptions as z };
+//# sourceMappingURL=types-BaUzKt6Q.d.mts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types-BaUzKt6Q.d.mts","names":[],"sources":["../src/core/control-instance.ts","../src/core/migrations/types.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;UA0JU,eAAA;;;;;AA1HsE;AA0HvD,KAOpB,uBAAA,GAA0B,GAAH,CAAA,MAAA,EAAe,eAAA,CAAA;AAAT,UAExB,sBAAA,CAAsB;EACW,SAAA,gBAAA,EAAd,aAAc,CAAA,eAAA,CAAA;EAAd,SAAA,oBAAA,EACI,aADJ,CACkB,eADlB,CAAA;EACkB,SAAA,YAAA,EACtB,aADsB,CAAA,MAAA,CAAA;EAAd,SAAA,oBAAA,EAEA,uBAFA;;AAEA,UAGhB,mBAAA,CAHgB;EAAuB,SAAA,MAAA,EAIrC,qBAJqC,CAAA,KAAA,EAAA,MAAA,CAAA;EAGvC,SAAA,QAAA,EAAA,OAAmB;EACjB,SAAA,MAAA,EAAA,OAAA;EAGE,SAAA,OAAA,CAAA,EAAA,gBAAA;EAKyB;;;AAG9C;EACuC,SAAA,mBAAA,EAJP,aAIO,CAJO,8BAIP,CAAA,KAAA,EAAA,MAAA,CAAA,CAAA;;AAGI,UAJ1B,wBAAA,SACP,qBAGiC,CAAA,KAAA,EAHJ,WAGI,CAAA,EAFvC,iBAEuC,CAFrB,WAEqB,CAAA,EADvC,sBACuC,CAAA;EAGtB,gBAAA,CAAA,YAAA,EAAA,OAAA,CAAA,EAHsB,QAGtB;EAKP,MAAA,CAAA,OAAA,EAAA;IAAR,SAAA,MAAA,EALe,qBAKf,CAAA,KAAA,EAAA,MAAA,CAAA;IAEkB,SAAA,QAAA,EAAA,OAAA;IAA8B,SAAA,gBAAA,EAAA,MAAA;IAAR,SAAA,YAAA,EAAA,MAAA;IAGzB,SAAA,UAAA,CAAA,EAAA,MAAA;EAIP,CAAA,CAAA,EATR,OASQ,CATA,oBASA,CAAA;EAAR,YAAA,CAAA,OAAA,EAPkB,mBAOlB,CAAA,EAPwC,OAOxC,CAPgD,0BAOhD,CAAA;EAGe,IAAA,CAAA,OAAA,EAAA;IAEP,SAAA,MAAA,EATO,qBASP,CAAA,KAAA,EAAA,MAAA,CAAA;IAAR,SAAA,QAAA,EAAA,OAAA;IAzBI,SAAA,YAAA,EAAA,MAAA;IACN,SAAA,UAAA,CAAA,EAAA,MAAA;EACA,CAAA,CAAA,EAkBE,OAlBF,CAkBU,kBAlBV,CAAA;EAAsB,UAAA,CAAA,OAAA,EAAA;qBAqBL;;MAEf,QAAQ;ACnLd;;;KAAY,SAAA,GAAY,SAAS;KAE5B,0BAAA;ED2HK,SAAA,KAAA,EAAA;IAOL,SAAA,MAAA,EAAA,MAAuB;IAElB,SAAA,IAAA,EAAA,MAAsB;IACW,SAAA,MAAA,EAAA,MAAA;EAAd,CAAA;EACkB,SAAA,GAAA,EAAA;IAAd,SAAA,MAAA,EAAA,MAAA;IACR,SAAA,IAAA,EAAA,MAAA;IACQ,SAAA,MAAA,EAAA,MAAA;EAAuB,CAAA;AAGxD,CAAA;KC9HK,kCAAA,GD+Hc;EAGE,SAAA,IAAA,EAAA,MAAA;EAKyB,SAAA,GAAA,EAAA,MAAA;EAAd,SAAA,IAAA,EAAA,SAAA;IAAa,SAAA,GAAA,EAAA,MAAA;IAG5B,SAAA,IAAA,ECrIE,0BDsIjB;EAAqC,CAAA,EAAA;EACjB,SAAA,IAAA,ECrIL,0BDqIK;CAEqB;KCpItC,qCAAA,GDuIgB;EAKP,SAAA,QAAA,EAAA,MAAA;EAAR,SAAA,SAAA,EAAA,MAAA;EAEkB,SAAA,SAAA,EAAA,MAAA;EAA8B,SAAA,aAAA,CAAA,EAAA,MAAA;CAAR;AAGzB,KC1IT,oCAAA,GD0IS;EAIP,SAAA,EAAA,EAAA,IAAA;EAAR,SAAA,KAAA,EAAA;IAGe,SAAA,IAAA,EAAA,SAAA;IAEP,SAAA,YAAA,EC/I+C,aD+I/C;EAAR,CAAA,GAAA;IAzBI,SAAA,IAAA,EAAA,WAAA;IACN,SAAA,SAAA,ECtHwD,6BDsHxD;EACA,CAAA;CAAsB,GAAA;;;;IC5Jd,SAAS,OAAA,EAAA,MAAY;IAE5B,SAAA,QAAA,CAAA,EAAA,MAA0B;IAa1B,SAAA,IAAA,CAAA,EA8BmB,0BA9Be;EAUlC,CAAA;AAOL,CAAA;AAI6D,KAajD,qCAAA,GAbiD,CAAA,KAAA,EAAA;EACD,SAAA,IAAA,EAa3C,kCAb2C;EAQpC,SAAA,OAAA,EAMJ,qCANI;CAA0B,EAAA,GAO5C,oCAP4C;AAItC,UAKK,mCAAA,CALgC;EAChC,SAAA,KAAA,EAKC,qCALD;EACG,SAAA,eAAA,CAAA,EAAA,SAAA,MAAA,EAAA;;AACsB,UAOzB,yCAAA,CAPyB;EAEzB,SAAA,EAAA,EAAA,MAAA;EAKA,SAAA,kBAAA,EAAA,SAAA,MAAyC,EAAA;EAmBzC,SAAA,gCAIO,CAAA,EAAA,CAAM,KAAA,EAAA;IAGb,SAAA,SAAA,EAAA;MAEyC,SAAA,IAAA,EAAA,MAAA;MAApB,SAAA,EAAA,EAAA,MAAA;MACW,SAAA,MAAA,CAAA,EAtBzB,MAsByB,CAAA,MAAA,EAAA,OAAA,CAAA;IAAd,CAAA;EAGqB,CAAA,EAAA,GAAA;IAApB,SAAA,OAAA,EAAA,MAAA;IAGa,SAAA,UAAA,EAAA,MAAA;IAAd,SAAA,OAAA,CAAA,EAAA,MAAA;IAAa,SAAA,UAAA,CAAA,EArBlB,MAqBkB,CAAA,MAAA,EAAA,OAAA,CAAA;EAG/B,CAAA,GAAA,SAAA;AAMjB;AAIiB,UA7BA,uBAAA,CA6B0B;EAI3B,SAAA,OAAA,EAAA,MAAA;EAIA,SAAA,UAAA,EAAA,MAAuB;EAatB,SAAA,OAAA,CAAA,EAAA,MAAqB;EAOrB,SAAA,UAAA,CAAA,EArDO,MAqDc,CAAA,MAAA,EAGd,OAAM,CAAA;AAU9B;AAMiB,UArEA,6BAAA,CAqEiB;EAGP,SAAA,uBAAA,CAAA,EAAA,GAAA,GAAA;IACK,SAAA,uBAAA,EAvEM,WAuEN,CAAA,MAAA,EAvE0B,mCAuE1B,CAAA;IAAT,SAAA,oBAAA,EAtEY,aAsEZ,CAtE0B,yCAsE1B,CAAA;EACF,CAAA;EAEA,SAAA,kBAAA,CAAA,EAAA,GAAA,GAAA;IACS,SAAA,qBAAA,EAvEM,WAuEN,CAAA,MAAA,EAvE0B,uBAuE1B,CAAA;EAAtB,CAAA;EAGmB;EACN,SAAA,eAAA,CAAA,EAAA,GAAA,GAxEc,aAwEd,CAxE4B,sBAwE5B,CAAA;;AAIA,UAzEJ,2BAyEI,CAAA,cAAA,CAAA,CAAA;EAEU,SAAA,EAAA,EAAA,MAAA;EAAf,SAAA,KAAA,EAAA,MAAA;EAAR,SAAA,OAAA,EAAA,SAxEqB,yBAwErB,CAxE+C,cAwE/C,CAAA,EAAA;;AAqByB,UA1FhB,6BA0FgB,CAAA,cAAA,CAAA,CAAA;EAAyB,SAAA,IAAA,CAAA,EAAA,SAzF/B,2BAyF+B,CAzFH,cAyFG,CAAA,EAAA;AAG1D;AAC4C,UA1F3B,0BAAA,CA0F2B;EAEV,SAAA,oBAAA,CAAA,EA3FA,6BA2FA,CAAA,OAAA,CAAA;;AAD9B,iBAvFY,4BAAA,CAuFZ,KAAA,EAAA,OAAA,CAAA,EAAA,KAAA,IAvFmE,0BAuFnE;AAA6B,iBAnFjB,uBAAA,CAmFiB,UAAA,EAlFnB,aAkFmB,CAAA,OAAA,CAAA,CAAA,EAAA,SAjFrB,2BAiFqB,CAAA,OAAA,CAAA,EAAA;AAIhB,UA1EA,qBA0E2B,CAAA,cAAA,CAAA,CAAA;EACF,SAAA,UAAA,EAAA,SA1EV,yBA0EU,CA1EgB,cA0EhB,CAAA,EAAA;;;;AAG1C;AAMiB,UA7EA,qBAAA,CA6E+B;EAK/B,SAAA,UAAA,EAAA,MAAA;EAEkC,SAAA,OAAA,CAAA,EAAA,MAAA;EAAhC,SAAA,UAAA,CAAA,EAjFK,MAiFL,CAAA,MAAA,EAAA,OAAA,CAAA;;;;;;;AAOnB;AAKA;AAKoB,UAxFH,yBAAA,CAwFG;EAII,SAAA,UAAA,EAAA,MAAA;EACkC,SAAA,OAAA,CAAA,EAAA,MAAA;EAA1B,SAAA,UAAA,CAAA,EA1FR,MA0FQ,CAAA,MAAA,EAAA,OAAA,CAAA;;AAV0B,UA7EzC,iBA6EyC,CAAA,iBAAA,OAAA,CAAA,CAAA;EAAa,kBAAA,CAAA,EAAA,CAAA,OAAA,EAAA;IAc3D,SAAA,QAAA,EAAA,MAAsB;IAQjB,SAAA,YAAA,EAhGU,mBAgGgB;IAQ1B,SAAA,QAAmB,EAvGb,QAuGa,CAvGJ,UAuGI,CAAA;IACnB,SAAA,MAAA,EAvGI,WAuGJ;IACK,SAAA,UAAA,CAAA,EAAA,MAAA;IACJ,SAAA,MAAA,EAvGG,wBAuGH;EAH0B,CAAA,EAAA,GAnGpC,qBAmGoC,CAnGd,cAmGc,CAAA;EAAwB,UAAA,CAAA,EAAA,CAAA,OAAA,EAAA;IAMnD,SAAA,QAAA,EAAA,MAAuB;IACzB,SAAA,YAAA,EAvGY,mBAuGZ;IAEmB,SAAA,MAAA,EAxGb,WAwGa;IAAjB,SAAA,UAAA,CAAA,EAAA,MAAA;EAFP,CAAA,EAAA,GAAA,SApGO,WAoGP,EAAA;EAAI,eAAA,CAAA,EAAA,CAAA,OAAA,EAAA;IAKG,SAAA,MAAA,EAvGI,qBAuGoB,CAAA,KAAA,EAAA,MAAA,CAAA;IAAa,SAAA,UAAA,CAAA,EAAA,MAAA;EAEvB,CAAA,EAAA,GAvGvB,OAuGuB,CAvGf,MAuGe,CAAA,MAAA,EAvGA,mBAuGA,CAAA,CAAA;EAFkB;;AAKjD;;;;;AAIA;;;EAEmB,gBAAA,CAAA,EAAA,CAAA,KAAA,EArGU,qBAqGV,EAAA,GAAA,MAAA;EACA;;;;AAUnB;;;;;EAIiB,oBAAA,CAAA,EAAA,CAAA,KAAA,EA1GgB,yBA0GkB,EAAA,GAAA,MAAA,GAAA,IAAA,GAAA,SAAA;;AACpB,UAxGd,6BAwGc,CAAA,kBAAA,MAAA,CAAA,SAvGrB,0BAuGqB,CAAA,KAAA,EAvGa,SAuGb,CAAA,EAtG3B,6BAsG2B,CAAA;EAC6B,SAAA,oBAAA,CAAA,EAtG1B,6BAsG0B,CAAA,OAAA,CAAA;;AAAD,UAnG1C,2BAmG0C,CAAA,kBAAA,MAAA,CAAA,SAlGjD,wBAkGiD,CAAA,KAAA,EAlGjB,SAkGiB,CAAA,EAjGvD,6BAiGuD,CAAA,CAG3D;AACkC,UAnGjB,6BAAA,CAmGiB;EAAjB,SAAA,WAAA,EAAA,MAAA;EACE,SAAA,GAAA,EAAA,MAAA;EAKsB,SAAA,IAAA,CAAA,EAtGvB,SAsGuB;;AAKtB,UAxGF,+BAwGE,CAAA,cAAA,CAAA,CAAA;EAGuC,SAAA,EAAA,EAAA,MAAA;EAAnC,SAAA,OAAA,CAAA,EAzGF,cAyGE;;AAMM,UA5GZ,yBA4GY,CAAA,cAAA,CAAA,SA5GsC,sBA4GtC,CAAA;EAMiB,SAAA,OAAA,CAAA,EAAA,MAAA;EAAd,SAAA,MAAA,EAhHb,+BAgHa,CAhHmB,cAgHnB,CAAA;EAAa,SAAA,QAAA,EAAA,SA/Gf,6BA+Ge,EAAA;EAGjC,SAAA,OAAA,EAAA,SAjHiB,6BAiHU,EAAA;EAStB,SAAA,SAAA,EAAA,SAzHc,6BAyHY,EAAA;EAC1B,SAAA,IAAA,CAAA,EAzHC,SAyHD;;AADkC,UArHlC,4BAAA,CAqHkC;EAAsB,SAAA,WAAA,EAAA,MAAA;EAKxD,SAAA,WAAA,CAAA,EAAA,MAAA;AAEjB;AACE,UAxHe,gBAwHf,CAAA,cAAA,CAAA,SAxHwD,aAwHxD,CAAA;EACA;;;AAGF;EAE8C,SAAA,MAAA,CAAA,EAzH1B,4BAyH0B,GAAA,IAAA;EAAjC;;;EACD,SAAA,WAAA,EAtHY,4BAsHZ;EAGK,SAAA,UAAA,EAAA,SAxHe,yBAwHW,CAxHe,cAwHf,CAAA,EAAA;EACC,SAAA,IAAA,CAAA,EAxH1B,SAwH0B;;AAEpB,KAvHZ,sBAAA,GAuHY,cAAA,GAAA,qBAAA,GAAA,mBAAA,GAAA,oBAAA,GAAA,uBAAA,GAAA,sBAAA;AAA+C,UA/GtD,0BAAA,CA+GsD;EAApB,SAAA,KAAA,CAAA,EAAA,MAAA;EAC5B,SAAA,MAAA,CAAA,EAAA,MAAA;EAA8C,SAAA,KAAA,CAAA,EAAA,MAAA;EAAnB,SAAA,UAAA,CAAA,EAAA,MAAA;EAHxC,SAAA,IAAA,CAAA,EAAA,MAAA;;AACuB,UAtGhB,kBAAA,SAA2B,wBAsGX,CAAA;EAKhB,SAAA,IAAA,EA1GA,sBA0G6B;EAE1B,SAAA,QAAA,CAAA,EA3GE,0BA2GF;EACI,SAAA,IAAA,CAAA,EA3GN,SA2GM;;AACQ,UAzGf,uBAyGe,CAAA,cAAA,CAAA,SAxGtB,IAwGsB,CAxGjB,6BAwGiB,EAAA,MAAA,CAAA,CAAA;EACd,SAAA,IAAA,EAAA,SAAA;EAAS,SAAA,IAAA,EAvGV,gBAuGU,CAvGO,cAuGP,CAAA;;UApGV,uBAAA,SAAgC,KAAK;;+BAEvB;;KAGnB,mCACR,wBAAwB,kBACxB;UAEa,8BAAA;qBACI,SAAS;mBACX;mBACA;;;;;;;gCAOa,cAAc;;UAG7B;gBACD,iCAAiC,iBAAiB;;UAGjD;+BACc,0BAA0B;kCACvB,0BAA0B;;UAG3C;iBACA,iBAAiB;mBACf;;;;;gCAKa,SAAS;;;;;mBAKtB;;;uBAGI,mCAAmC;qBACrC;;;;;6BAKQ;;;;;;gCAMG,cAAc;;KAGlC,2BAAA;UASK,yBAAA,SAAkC;iBAClC;kBACC;;UAGD,8BAAA,SAAuC;KAE5C,wBAAA,GAA2B,OACrC,gCACA;UAGe;mBAEJ,iCAAiC,kBACzC,QAAQ;;UAGI,6EACP,kCAAkC,WAAW,2BACnD;wBACoB,2BAA2B,oBAAoB;uBAChD,2BAA2B,mBAAmB;;UAGpD;;oBAEG;wBACI;gCACQ,0BAA0B;kBACxC"}

package/dist/verify-DZHtfcmj.mjs

@@ -0,0 +1,108 @@
+import { type } from "arktype";
+
+//#region src/core/verify.ts
+const MetaSchema = type({ "[string]": "unknown" });
+function parseMeta(meta) {
+	if (meta === null || meta === void 0) return {};
+	let parsed;
+	if (typeof meta === "string") try {
+		parsed = JSON.parse(meta);
+	} catch {
+		return {};
+	}
+	else parsed = meta;
+	const result = MetaSchema(parsed);
+	if (result instanceof type.errors) return {};
+	return result;
+}
+const ContractMarkerRowSchema = type({
+	core_hash: "string",
+	profile_hash: "string",
+	"contract_json?": "unknown | null",
+	"canonical_version?": "number | null",
+	"updated_at?": "Date | string",
+	"app_tag?": "string | null",
+	"meta?": "unknown | null"
+});
+/**
+* Parses a contract marker row from database query result.
+* This is SQL-specific parsing logic (handles SQL row structure with snake_case columns).
+*/
+function parseContractMarkerRow(row) {
+	const result = ContractMarkerRowSchema(row);
+	if (result instanceof type.errors) {
+		const messages = result.map((p) => p.message).join("; ");
+		throw new Error(`Invalid contract marker row: ${messages}`);
+	}
+	const validatedRow = result;
+	const updatedAt = validatedRow.updated_at ? validatedRow.updated_at instanceof Date ? validatedRow.updated_at : new Date(validatedRow.updated_at) : /* @__PURE__ */ new Date();
+	return {
+		storageHash: validatedRow.core_hash,
+		profileHash: validatedRow.profile_hash,
+		contractJson: validatedRow.contract_json ?? null,
+		canonicalVersion: validatedRow.canonical_version ?? null,
+		updatedAt,
+		appTag: validatedRow.app_tag ?? null,
+		meta: parseMeta(validatedRow.meta)
+	};
+}
+/**
+* Returns the SQL statement to read the contract marker.
+* This is a migration-plane helper (no runtime imports).
+* @internal - Used internally by readMarker(). Prefer readMarker() for Control Plane usage.
+*/
+function readMarkerSql() {
+	return {
+		sql: `select
+      core_hash,
+      profile_hash,
+      contract_json,
+      canonical_version,
+      updated_at,
+      app_tag,
+      meta
+    from prisma_contract.marker
+    where id = $1`,
+		params: [1]
+	};
+}
+/**
+* Reads the contract marker from the database using the provided driver.
+* Returns the parsed marker record or null if no marker is found.
+* This abstracts SQL-specific details from the Control Plane.
+*
+* @param driver - ControlDriverInstance instance for executing queries
+* @returns Promise resolving to ContractMarkerRecord or null if marker not found
+*/
+async function readMarker(driver) {
+	const markerStatement = readMarkerSql();
+	try {
+		const queryResult = await driver.query(markerStatement.sql, markerStatement.params);
+		if (queryResult.rows.length === 0) return null;
+		const markerRow = queryResult.rows[0];
+		if (!markerRow) throw new Error("Database query returned unexpected result structure");
+		return parseContractMarkerRow(markerRow);
+	} catch (error) {
+		if (error instanceof Error && (error.message.includes("does not exist") || error.code === "42P01")) return null;
+		throw error;
+	}
+}
+/**
+* Collects supported codec type IDs from adapter and extension manifests.
+* Returns a sorted, unique array of type IDs that are declared in the manifests.
+* This enables coverage checks by comparing contract column types against supported types.
+*
+* Note: This extracts type IDs from manifest type imports, not from runtime codec registries.
+* The manifests declare which codec types are available, but the actual type IDs
+* are defined in the codec-types TypeScript modules that are imported.
+*
+* For MVP, we return an empty array since extracting type IDs from TypeScript modules
+* would require runtime evaluation or static analysis. This can be enhanced later.
+*/
+function collectSupportedCodecTypeIds(descriptors) {
+	return [];
+}
+
+//#endregion
+export { readMarkerSql as i, parseContractMarkerRow as n, readMarker as r, collectSupportedCodecTypeIds as t };
+//# sourceMappingURL=verify-DZHtfcmj.mjs.map

package/dist/verify-DZHtfcmj.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-DZHtfcmj.mjs","names":["parsed: unknown"],"sources":["../src/core/verify.ts"],"sourcesContent":["import type { ContractMarkerRecord } from '@prisma-next/contract/types';\nimport type { ControlDriverInstance } from '@prisma-next/framework-components/control';\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\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});\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 validatedRow = result as {\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  };\n\n  const updatedAt = validatedRow.updated_at\n    ? validatedRow.updated_at instanceof Date\n      ? validatedRow.updated_at\n      : new Date(validatedRow.updated_at)\n    : new Date();\n\n  return {\n    storageHash: validatedRow.core_hash,\n    profileHash: validatedRow.profile_hash,\n    contractJson: validatedRow.contract_json ?? null,\n    canonicalVersion: validatedRow.canonical_version ?? null,\n    updatedAt,\n    appTag: validatedRow.app_tag ?? null,\n    meta: parseMeta(validatedRow.meta),\n  };\n}\n\n/**\n * Returns the SQL statement to read the contract marker.\n * This is a migration-plane helper (no runtime imports).\n * @internal - Used internally by readMarker(). Prefer readMarker() for Control Plane usage.\n */\nexport function readMarkerSql(): { readonly sql: string; readonly params: readonly unknown[] } {\n  return {\n    sql: `select\n      core_hash,\n      profile_hash,\n      contract_json,\n      canonical_version,\n      updated_at,\n      app_tag,\n      meta\n    from prisma_contract.marker\n    where id = $1`,\n    params: [1],\n  };\n}\n\n/**\n * Reads the contract marker from the database using the provided driver.\n * Returns the parsed marker record or null if no marker is found.\n * This abstracts SQL-specific details from the Control Plane.\n *\n * @param driver - ControlDriverInstance instance for executing queries\n * @returns Promise resolving to ContractMarkerRecord or null if marker not found\n */\nexport async function readMarker(\n  driver: ControlDriverInstance<'sql', string>,\n): Promise<ContractMarkerRecord | null> {\n  const markerStatement = readMarkerSql();\n\n  try {\n    const queryResult = await driver.query<{\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    }>(markerStatement.sql, markerStatement.params);\n\n    if (queryResult.rows.length === 0) {\n      return null;\n    }\n\n    const markerRow = queryResult.rows[0];\n    if (!markerRow) {\n      // If rows array has length > 0 but first element is undefined, this is an unexpected result structure\n      throw new Error('Database query returned unexpected result structure');\n    }\n\n    return parseContractMarkerRow(markerRow);\n  } catch (error) {\n    // Handle case where marker table doesn't exist yet (empty database)\n    // PostgreSQL error code 42P01 = undefined_table\n    if (\n      error instanceof Error &&\n      (error.message.includes('does not exist') || (error as { code?: string }).code === '42P01')\n    ) {\n      return null;\n    }\n    throw error;\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":";;;AAIA,MAAM,aAAa,KAAK,EAAE,YAAY,WAAW,CAAC;AAElD,SAAS,UAAU,MAAwC;AACzD,KAAI,SAAS,QAAQ,SAAS,OAC5B,QAAO,EAAE;CAGX,IAAIA;AACJ,KAAI,OAAO,SAAS,SAClB,KAAI;AACF,WAAS,KAAK,MAAM,KAAK;SACnB;AACN,SAAO,EAAE;;KAGX,UAAS;CAGX,MAAM,SAAS,WAAW,OAAO;AACjC,KAAI,kBAAkB,KAAK,OACzB,QAAO,EAAE;AAGX,QAAO;;AAGT,MAAM,0BAA0B,KAAK;CACnC,WAAW;CACX,cAAc;CACd,kBAAkB;CAClB,sBAAsB;CACtB,eAAe;CACf,YAAY;CACZ,SAAS;CACV,CAAC;;;;;AAMF,SAAgB,uBAAuB,KAAoC;CACzE,MAAM,SAAS,wBAAwB,IAAI;AAC3C,KAAI,kBAAkB,KAAK,QAAQ;EACjC,MAAM,WAAW,OAAO,KAAK,MAA2B,EAAE,QAAQ,CAAC,KAAK,KAAK;AAC7E,QAAM,IAAI,MAAM,gCAAgC,WAAW;;CAG7D,MAAM,eAAe;CAUrB,MAAM,YAAY,aAAa,aAC3B,aAAa,sBAAsB,OACjC,aAAa,aACb,IAAI,KAAK,aAAa,WAAW,mBACnC,IAAI,MAAM;AAEd,QAAO;EACL,aAAa,aAAa;EAC1B,aAAa,aAAa;EAC1B,cAAc,aAAa,iBAAiB;EAC5C,kBAAkB,aAAa,qBAAqB;EACpD;EACA,QAAQ,aAAa,WAAW;EAChC,MAAM,UAAU,aAAa,KAAK;EACnC;;;;;;;AAQH,SAAgB,gBAA+E;AAC7F,QAAO;EACL,KAAK;;;;;;;;;;EAUL,QAAQ,CAAC,EAAE;EACZ;;;;;;;;;;AAWH,eAAsB,WACpB,QACsC;CACtC,MAAM,kBAAkB,eAAe;AAEvC,KAAI;EACF,MAAM,cAAc,MAAM,OAAO,MAQ9B,gBAAgB,KAAK,gBAAgB,OAAO;AAE/C,MAAI,YAAY,KAAK,WAAW,EAC9B,QAAO;EAGT,MAAM,YAAY,YAAY,KAAK;AACnC,MAAI,CAAC,UAEH,OAAM,IAAI,MAAM,sDAAsD;AAGxE,SAAO,uBAAuB,UAAU;UACjC,OAAO;AAGd,MACE,iBAAiB,UAChB,MAAM,QAAQ,SAAS,iBAAiB,IAAK,MAA4B,SAAS,SAEnF,QAAO;AAET,QAAM;;;;;;;;;;;;;;;AAgBV,SAAgB,6BACd,aACmB;AAKnB,QAAO,EAAE"}

package/dist/verify-sql-schema-BBhkqEDo.d.mts

@@ -0,0 +1,67 @@
+import { OperationContext, VerifyDatabaseSchemaResult } from "@prisma-next/framework-components/control";
+import { SqlSchemaIR } from "@prisma-next/sql-schema-ir/types";
+import { ColumnDefault, Contract } from "@prisma-next/contract/types";
+import { TargetBoundComponentDescriptor } from "@prisma-next/framework-components/components";
+import { SqlStorage } from "@prisma-next/sql-contract/types";
+
+//#region src/core/schema-verify/verify-sql-schema.d.ts
+
+/**
+ * Function type for normalizing raw database default expressions into ColumnDefault.
+ * Target-specific implementations handle database dialect differences.
+ */
+type DefaultNormalizer = (rawDefault: string, nativeType: string) => ColumnDefault | undefined;
+/**
+ * Function type for normalizing schema native types to canonical form for comparison.
+ * Target-specific implementations handle dialect-specific type name variations
+ * (e.g., Postgres 'varchar' → 'character varying', 'timestamptz' normalization).
+ */
+type NativeTypeNormalizer = (nativeType: string) => string;
+/**
+ * Options for the pure schema verification function.
+ */
+interface VerifySqlSchemaOptions {
+  /** The validated SQL contract to verify against */
+  readonly contract: Contract<SqlStorage>;
+  /** The schema IR from introspection (or another source) */
+  readonly schema: SqlSchemaIR;
+  /** Whether to run in strict mode (detects extra tables/columns) */
+  readonly strict: boolean;
+  /** Optional operation context for metadata */
+  readonly context?: OperationContext;
+  /** Type metadata registry for codec consistency warnings */
+  readonly typeMetadataRegistry: ReadonlyMap<string, {
+    nativeType?: string;
+  }>;
+  /**
+   * Active framework components participating in this composition.
+   * All components must have matching familyId ('sql') and targetId.
+   */
+  readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<'sql', string>>;
+  /**
+   * Optional target-specific normalizer for raw database default expressions.
+   * When provided, schema defaults (raw strings) are normalized before comparison
+   * with contract defaults (ColumnDefault objects).
+   */
+  readonly normalizeDefault?: DefaultNormalizer;
+  /**
+   * Optional target-specific normalizer for schema native type names.
+   * When provided, schema native types are normalized before comparison
+   * with contract native types (e.g., Postgres 'varchar' → 'character varying').
+   */
+  readonly normalizeNativeType?: NativeTypeNormalizer;
+}
+/**
+ * Verifies that a SqlSchemaIR matches a Contract.
+ *
+ * This is a pure function that does NOT perform any database I/O.
+ * It takes an already-introspected schema IR and compares it against
+ * the contract requirements.
+ *
+ * @param options - Verification options
+ * @returns VerifyDatabaseSchemaResult with verification tree and issues
+ */
+declare function verifySqlSchema(options: VerifySqlSchemaOptions): VerifyDatabaseSchemaResult;
+//#endregion
+export { verifySqlSchema as i, NativeTypeNormalizer as n, VerifySqlSchemaOptions as r, DefaultNormalizer as t };
+//# sourceMappingURL=verify-sql-schema-BBhkqEDo.d.mts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"verify-sql-schema-BBhkqEDo.d.mts","names":[],"sources":["../src/core/schema-verify/verify-sql-schema.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;;;AAqEgC,KA9BpB,iBAAA,GA8BoB,CAAA,UAAA,EAAA,MAAA,EAAA,UAAA,EAAA,MAAA,EAAA,GA3B3B,aA2B2B,GAAA,SAAA;;;;AAyBhC;;KA7CY,oBAAA;;;;UAKK,sBAAA;;qBAEI,SAAS;;mBAEX;;;;qBAIE;;iCAEY;;;;;;;gCAKD,cAAc;;;;;;8BAMhB;;;;;;iCAMG;;;;;;;;;;;;iBAajB,eAAA,UAAyB,yBAAyB"}