@prisma-next/family-sql 0.3.0-dev.34 → 0.3.0-dev.37

package/src/core/schema-verify/verify-sql-schema.ts

@@ -7,6 +7,7 @@
  */
 
 import type { TargetBoundComponentDescriptor } from '@prisma-next/contract/framework-components';
+import type { ColumnDefault } from '@prisma-next/contract/types';
 import type {
   OperationContext,
   SchemaIssue,
@@ -16,8 +17,10 @@ import type {
 import type { SqlContract, SqlStorage } from '@prisma-next/sql-contract/types';
 import type { SqlSchemaIR } from '@prisma-next/sql-schema-ir/types';
 import { ifDefined } from '@prisma-next/utils/defined';
-import type { ComponentDatabaseDependency } from '../migrations/types';
+import { extractCodecControlHooks } from '../assembly';
+import type { CodecControlHooks, ComponentDatabaseDependency } from '../migrations/types';
 import {
+  arraysEqual,
   computeCounts,
   verifyDatabaseDependencies,
   verifyForeignKeys,
@@ -26,6 +29,22 @@ import {
   verifyUniqueConstraints,
 } from './verify-helpers';
 
+/**
+ * Function type for normalizing raw database default expressions into ColumnDefault.
+ * Target-specific implementations handle database dialect differences.
+ */
+export 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).
+ */
+export type NativeTypeNormalizer = (nativeType: string) => string;
+
 /**
  * Options for the pure schema verification function.
  */
@@ -45,6 +64,18 @@ export interface VerifySqlSchemaOptions {
    * 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;
 }
 
 /**
@@ -58,22 +89,167 @@ export interface VerifySqlSchemaOptions {
  * @returns VerifyDatabaseSchemaResult with verification tree and issues
  */
 export function verifySqlSchema(options: VerifySqlSchemaOptions): VerifyDatabaseSchemaResult {
-  const { contract, schema, strict, context, typeMetadataRegistry } = options;
+  const {
+    contract,
+    schema,
+    strict,
+    context,
+    typeMetadataRegistry,
+    normalizeDefault,
+    normalizeNativeType,
+  } = options;
   const startTime = Date.now();
 
-  // Extract contract hashes and target
-  const contractCoreHash = contract.coreHash;
-  const contractProfileHash =
-    'profileHash' in contract && typeof contract.profileHash === 'string'
-      ? contract.profileHash
-      : undefined;
-  const contractTarget = contract.target;
+  // Extract codec control hooks once at entry point for reuse
+  const codecHooks = extractCodecControlHooks(options.frameworkComponents);
+
+  const { contractStorageHash, contractProfileHash, contractTarget } =
+    extractContractMetadata(contract);
+  const { issues, rootChildren } = verifySchemaTables({
+    contract,
+    schema,
+    strict,
+    typeMetadataRegistry,
+    codecHooks,
+    ...ifDefined('normalizeDefault', normalizeDefault),
+    ...ifDefined('normalizeNativeType', normalizeNativeType),
+  });
+
+  validateFrameworkComponentsForExtensions(contract, options.frameworkComponents);
+
+  // Verify storage type instances via codec control hooks (pure, deterministic)
+  const storageTypes = contract.storage.types ?? {};
+  const storageTypeEntries = Object.entries(storageTypes);
+  if (storageTypeEntries.length > 0) {
+    const typeNodes: SchemaVerificationNode[] = [];
+    for (const [typeName, typeInstance] of storageTypeEntries) {
+      const hook = codecHooks.get(typeInstance.codecId);
+      const typeIssues = hook?.verifyType
+        ? hook.verifyType({ typeName, typeInstance, schema })
+        : [];
+      if (typeIssues.length > 0) {
+        issues.push(...typeIssues);
+      }
+      const typeStatus = typeIssues.length > 0 ? 'fail' : 'pass';
+      const typeCode = typeIssues.length > 0 ? (typeIssues[0]?.kind ?? '') : '';
+      typeNodes.push({
+        status: typeStatus,
+        kind: 'storageType',
+        name: `type ${typeName}`,
+        contractPath: `storage.types.${typeName}`,
+        code: typeCode,
+        message:
+          typeIssues.length > 0
+            ? `${typeIssues.length} issue${typeIssues.length === 1 ? '' : 's'}`
+            : '',
+        expected: undefined,
+        actual: undefined,
+        children: [],
+      });
+    }
+    const typesStatus = typeNodes.some((n) => n.status === 'fail') ? 'fail' : 'pass';
+    rootChildren.push({
+      status: typesStatus,
+      kind: 'storageTypes',
+      name: 'types',
+      contractPath: 'storage.types',
+      code: typesStatus === 'fail' ? 'type_mismatch' : '',
+      message: '',
+      expected: undefined,
+      actual: undefined,
+      children: typeNodes,
+    });
+  }
+
+  const databaseDependencies = collectDependenciesFromFrameworkComponents(
+    options.frameworkComponents,
+  );
+  const dependencyStatuses = verifyDatabaseDependencies(databaseDependencies, schema, issues);
+  rootChildren.push(...dependencyStatuses);
+
+  const root = buildRootNode(rootChildren);
 
-  // Compare contract vs schema IR
+  // Compute counts
+  const counts = computeCounts(root);
+
+  // Set ok flag
+  const ok = counts.fail === 0;
+
+  // Set code
+  const code = ok ? undefined : 'PN-SCHEMA-0001';
+
+  // Set summary
+  const summary = ok
+    ? 'Database schema satisfies contract'
+    : `Database schema does not satisfy contract (${counts.fail} failure${counts.fail === 1 ? '' : 's'})`;
+
+  const totalTime = Date.now() - startTime;
+
+  return {
+    ok,
+    ...ifDefined('code', code),
+    summary,
+    contract: {
+      storageHash: contractStorageHash,
+      ...ifDefined('profileHash', contractProfileHash),
+    },
+    target: {
+      expected: contractTarget,
+      actual: contractTarget,
+    },
+    schema: {
+      issues,
+      root,
+      counts,
+    },
+    meta: {
+      strict,
+      ...ifDefined('contractPath', context?.contractPath),
+      ...ifDefined('configPath', context?.configPath),
+    },
+    timings: {
+      total: totalTime,
+    },
+  };
+}
+
+type VerificationStatus = 'pass' | 'warn' | 'fail';
+
+function extractContractMetadata(contract: SqlContract<SqlStorage>): {
+  contractStorageHash: SqlContract<SqlStorage>['storageHash'];
+  contractProfileHash?: SqlContract<SqlStorage>['profileHash'];
+  contractTarget: SqlContract<SqlStorage>['target'];
+} {
+  return {
+    contractStorageHash: contract.storageHash,
+    contractProfileHash:
+      'profileHash' in contract && typeof contract.profileHash === 'string'
+        ? contract.profileHash
+        : undefined,
+    contractTarget: contract.target,
+  };
+}
+
+function verifySchemaTables(options: {
+  contract: SqlContract<SqlStorage>;
+  schema: SqlSchemaIR;
+  strict: boolean;
+  typeMetadataRegistry: ReadonlyMap<string, { nativeType?: string }>;
+  codecHooks: Map<string, CodecControlHooks>;
+  normalizeDefault?: DefaultNormalizer;
+  normalizeNativeType?: NativeTypeNormalizer;
+}): { issues: SchemaIssue[]; rootChildren: SchemaVerificationNode[] } {
+  const {
+    contract,
+    schema,
+    strict,
+    typeMetadataRegistry,
+    codecHooks,
+    normalizeDefault,
+    normalizeNativeType,
+  } = options;
   const issues: SchemaIssue[] = [];
   const rootChildren: SchemaVerificationNode[] = [];
-
-  // Compare tables
   const contractTables = contract.storage.tables;
   const schemaTables = schema.tables;
 
@@ -82,7 +258,6 @@ export function verifySqlSchema(options: VerifySqlSchemaOptions): VerifyDatabase
     const tablePath = `storage.tables.${tableName}`;
 
     if (!schemaTable) {
-      // Missing table
       issues.push({
         kind: 'missing_table',
         table: tableName,
@@ -102,366 +277,592 @@ export function verifySqlSchema(options: VerifySqlSchemaOptions): VerifyDatabase
       continue;
     }
 
-    // Table exists - compare columns, constraints, etc.
-    const tableChildren: SchemaVerificationNode[] = [];
-    const columnNodes: SchemaVerificationNode[] = [];
-
-    // Compare columns
-    for (const [columnName, contractColumn] of Object.entries(contractTable.columns)) {
-      const schemaColumn = schemaTable.columns[columnName];
-      const columnPath = `${tablePath}.columns.${columnName}`;
+    const tableChildren = verifyTableChildren({
+      contractTable,
+      schemaTable,
+      tableName,
+      tablePath,
+      issues,
+      strict,
+      typeMetadataRegistry,
+      codecHooks,
+      ...ifDefined('normalizeDefault', normalizeDefault),
+      ...ifDefined('normalizeNativeType', normalizeNativeType),
+    });
+    rootChildren.push(buildTableNode(tableName, tablePath, tableChildren));
+  }
 
-      if (!schemaColumn) {
-        // Missing column
+  if (strict) {
+    for (const tableName of Object.keys(schemaTables)) {
+      if (!contractTables[tableName]) {
         issues.push({
-          kind: 'missing_column',
+          kind: 'extra_table',
           table: tableName,
-          column: columnName,
-          message: `Column "${tableName}"."${columnName}" is missing from database`,
+          message: `Extra table "${tableName}" found in database (not in contract)`,
         });
-        columnNodes.push({
+        rootChildren.push({
           status: 'fail',
-          kind: 'column',
-          name: `${columnName}: missing`,
-          contractPath: columnPath,
-          code: 'missing_column',
-          message: `Column "${columnName}" is missing`,
+          kind: 'table',
+          name: `table ${tableName}`,
+          contractPath: `storage.tables.${tableName}`,
+          code: 'extra_table',
+          message: `Extra table "${tableName}" found`,
           expected: undefined,
           actual: undefined,
           children: [],
         });
-        continue;
       }
+    }
+  }
 
-      // Column exists - compare type and nullability
-      const columnChildren: SchemaVerificationNode[] = [];
-      let columnStatus: 'pass' | 'warn' | 'fail' = 'pass';
+  return { issues, rootChildren };
+}
 
-      // Compare type using nativeType directly
-      // Both contractColumn.nativeType and schemaColumn.nativeType are required by their types
-      const contractNativeType = contractColumn.nativeType;
-      const schemaNativeType = schemaColumn.nativeType;
+function verifyTableChildren(options: {
+  contractTable: SqlContract<SqlStorage>['storage']['tables'][string];
+  schemaTable: SqlSchemaIR['tables'][string];
+  tableName: string;
+  tablePath: string;
+  issues: SchemaIssue[];
+  strict: boolean;
+  typeMetadataRegistry: ReadonlyMap<string, { nativeType?: string }>;
+  codecHooks: Map<string, CodecControlHooks>;
+  normalizeDefault?: DefaultNormalizer;
+  normalizeNativeType?: NativeTypeNormalizer;
+}): SchemaVerificationNode[] {
+  const {
+    contractTable,
+    schemaTable,
+    tableName,
+    tablePath,
+    issues,
+    strict,
+    typeMetadataRegistry,
+    codecHooks,
+    normalizeDefault,
+    normalizeNativeType,
+  } = options;
+  const tableChildren: SchemaVerificationNode[] = [];
+  const columnNodes = collectContractColumnNodes({
+    contractTable,
+    schemaTable,
+    tableName,
+    tablePath,
+    issues,
+    typeMetadataRegistry,
+    codecHooks,
+    ...ifDefined('normalizeDefault', normalizeDefault),
+    ...ifDefined('normalizeNativeType', normalizeNativeType),
+  });
+  if (columnNodes.length > 0) {
+    tableChildren.push(buildColumnsNode(tablePath, columnNodes));
+  }
+  if (strict) {
+    appendExtraColumnNodes({
+      contractTable,
+      schemaTable,
+      tableName,
+      tablePath,
+      issues,
+      columnNodes,
+    });
+  }
 
-      if (contractNativeType !== schemaNativeType) {
-        // Compare native types directly
-        issues.push({
-          kind: 'type_mismatch',
-          table: tableName,
-          column: columnName,
-          expected: contractNativeType,
-          actual: schemaNativeType,
-          message: `Column "${tableName}"."${columnName}" has type mismatch: expected "${contractNativeType}", got "${schemaNativeType}"`,
-        });
-        columnChildren.push({
-          status: 'fail',
-          kind: 'type',
-          name: 'type',
-          contractPath: `${columnPath}.nativeType`,
-          code: 'type_mismatch',
-          message: `Type mismatch: expected ${contractNativeType}, got ${schemaNativeType}`,
-          expected: contractNativeType,
-          actual: schemaNativeType,
-          children: [],
-        });
-        columnStatus = 'fail';
-      }
+  if (contractTable.primaryKey) {
+    const pkStatus = verifyPrimaryKey(
+      contractTable.primaryKey,
+      schemaTable.primaryKey,
+      tableName,
+      issues,
+    );
+    if (pkStatus === 'fail') {
+      tableChildren.push({
+        status: 'fail',
+        kind: 'primaryKey',
+        name: `primary key: ${contractTable.primaryKey.columns.join(', ')}`,
+        contractPath: `${tablePath}.primaryKey`,
+        code: 'primary_key_mismatch',
+        message: 'Primary key mismatch',
+        expected: contractTable.primaryKey,
+        actual: schemaTable.primaryKey,
+        children: [],
+      });
+    } else {
+      tableChildren.push({
+        status: 'pass',
+        kind: 'primaryKey',
+        name: `primary key: ${contractTable.primaryKey.columns.join(', ')}`,
+        contractPath: `${tablePath}.primaryKey`,
+        code: '',
+        message: '',
+        expected: undefined,
+        actual: undefined,
+        children: [],
+      });
+    }
+  } else if (schemaTable.primaryKey && strict) {
+    issues.push({
+      kind: 'extra_primary_key',
+      table: tableName,
+      message: 'Extra primary key found in database (not in contract)',
+    });
+    tableChildren.push({
+      status: 'fail',
+      kind: 'primaryKey',
+      name: `primary key: ${schemaTable.primaryKey.columns.join(', ')}`,
+      contractPath: `${tablePath}.primaryKey`,
+      code: 'extra_primary_key',
+      message: 'Extra primary key found',
+      expected: undefined,
+      actual: schemaTable.primaryKey,
+      children: [],
+    });
+  }
 
-      // Optionally validate that codecId (if present) and nativeType agree with registry
-      if (contractColumn.codecId) {
-        const typeMetadata = typeMetadataRegistry.get(contractColumn.codecId);
-        if (!typeMetadata) {
-          // Warning: codecId not found in registry
-          columnChildren.push({
-            status: 'warn',
-            kind: 'type',
-            name: 'type_metadata_missing',
-            contractPath: `${columnPath}.codecId`,
-            code: 'type_metadata_missing',
-            message: `codecId "${contractColumn.codecId}" not found in type metadata registry`,
-            expected: contractColumn.codecId,
-            actual: undefined,
-            children: [],
-          });
-        } else if (typeMetadata.nativeType && typeMetadata.nativeType !== contractNativeType) {
-          // Warning: codecId and nativeType don't agree with registry
-          columnChildren.push({
-            status: 'warn',
-            kind: 'type',
-            name: 'type_consistency',
-            contractPath: `${columnPath}.codecId`,
-            code: 'type_consistency_warning',
-            message: `codecId "${contractColumn.codecId}" maps to nativeType "${typeMetadata.nativeType}" in registry, but contract has "${contractNativeType}"`,
-            expected: typeMetadata.nativeType,
-            actual: contractNativeType,
-            children: [],
-          });
-        }
-      }
+  // Verify FK constraints only for FKs with constraint: true
+  const constraintFks = contractTable.foreignKeys.filter((fk) => fk.constraint === true);
+  if (constraintFks.length > 0) {
+    const fkStatuses = verifyForeignKeys(
+      constraintFks,
+      schemaTable.foreignKeys,
+      tableName,
+      tablePath,
+      issues,
+      strict,
+    );
+    tableChildren.push(...fkStatuses);
+  }
 
-      // Compare nullability
-      if (contractColumn.nullable !== schemaColumn.nullable) {
-        issues.push({
-          kind: 'nullability_mismatch',
-          table: tableName,
-          column: columnName,
-          expected: String(contractColumn.nullable),
-          actual: String(schemaColumn.nullable),
-          message: `Column "${tableName}"."${columnName}" has nullability mismatch: expected ${contractColumn.nullable ? 'nullable' : 'not null'}, got ${schemaColumn.nullable ? 'nullable' : 'not null'}`,
-        });
-        columnChildren.push({
-          status: 'fail',
-          kind: 'nullability',
-          name: 'nullability',
-          contractPath: `${columnPath}.nullable`,
-          code: 'nullability_mismatch',
-          message: `Nullability mismatch: expected ${contractColumn.nullable ? 'nullable' : 'not null'}, got ${schemaColumn.nullable ? 'nullable' : 'not null'}`,
-          expected: contractColumn.nullable,
-          actual: schemaColumn.nullable,
-          children: [],
-        });
-        columnStatus = 'fail';
-      }
+  const uniqueStatuses = verifyUniqueConstraints(
+    contractTable.uniques,
+    schemaTable.uniques,
+    schemaTable.indexes,
+    tableName,
+    tablePath,
+    issues,
+    strict,
+  );
+  tableChildren.push(...uniqueStatuses);
+
+  // Combine user-declared indexes with FK-backing indexes (from FKs with index: true)
+  // so the verifier treats FK-backing indexes as expected, not "extra".
+  // Deduplicate: skip FK-backing indexes already covered by a user-declared index.
+  const fkBackingIndexes = contractTable.foreignKeys
+    .filter(
+      (fk) =>
+        fk.index === true &&
+        !contractTable.indexes.some((idx) => arraysEqual(idx.columns, fk.columns)),
+    )
+    .map((fk) => ({ columns: fk.columns }));
+  const allExpectedIndexes = [...contractTable.indexes, ...fkBackingIndexes];
+
+  const indexStatuses = verifyIndexes(
+    allExpectedIndexes,
+    schemaTable.indexes,
+    schemaTable.uniques,
+    tableName,
+    tablePath,
+    issues,
+    strict,
+  );
+  tableChildren.push(...indexStatuses);
+
+  return tableChildren;
+}
 
-      // Compute column status from children (fail > warn > pass)
-      const computedColumnStatus = columnChildren.some((c) => c.status === 'fail')
-        ? 'fail'
-        : columnChildren.some((c) => c.status === 'warn')
-          ? 'warn'
-          : 'pass';
-      // Use computed status if we have children, otherwise use the manually set status
-      const finalColumnStatus = columnChildren.length > 0 ? computedColumnStatus : columnStatus;
-
-      // Build column node
-      const nullableText = contractColumn.nullable ? 'nullable' : 'not nullable';
-      const columnTypeDisplay = contractColumn.codecId
-        ? `${contractNativeType} (${contractColumn.codecId})`
-        : contractNativeType;
-      // Collect failure messages from children to create a summary message
-      const failureMessages = columnChildren
-        .filter((child) => child.status === 'fail' && child.message)
-        .map((child) => child.message)
-        .filter((msg): msg is string => typeof msg === 'string' && msg.length > 0);
-      const columnMessage =
-        finalColumnStatus === 'fail' && failureMessages.length > 0
-          ? failureMessages.join('; ')
-          : '';
-      // Extract code from first child if status indicates an issue
-      const columnCode =
-        (finalColumnStatus === 'fail' || finalColumnStatus === 'warn') && columnChildren[0]
-          ? columnChildren[0].code
-          : '';
+function collectContractColumnNodes(options: {
+  contractTable: SqlContract<SqlStorage>['storage']['tables'][string];
+  schemaTable: SqlSchemaIR['tables'][string];
+  tableName: string;
+  tablePath: string;
+  issues: SchemaIssue[];
+  typeMetadataRegistry: ReadonlyMap<string, { nativeType?: string }>;
+  codecHooks: Map<string, CodecControlHooks>;
+  normalizeDefault?: DefaultNormalizer;
+  normalizeNativeType?: NativeTypeNormalizer;
+}): SchemaVerificationNode[] {
+  const {
+    contractTable,
+    schemaTable,
+    tableName,
+    tablePath,
+    issues,
+    typeMetadataRegistry,
+    codecHooks,
+    normalizeDefault,
+    normalizeNativeType,
+  } = options;
+  const columnNodes: SchemaVerificationNode[] = [];
+
+  for (const [columnName, contractColumn] of Object.entries(contractTable.columns)) {
+    const schemaColumn = schemaTable.columns[columnName];
+    const columnPath = `${tablePath}.columns.${columnName}`;
+
+    if (!schemaColumn) {
+      issues.push({
+        kind: 'missing_column',
+        table: tableName,
+        column: columnName,
+        message: `Column "${tableName}"."${columnName}" is missing from database`,
+      });
       columnNodes.push({
-        status: finalColumnStatus,
+        status: 'fail',
         kind: 'column',
-        name: `${columnName}: ${columnTypeDisplay} (${nullableText})`,
+        name: `${columnName}: missing`,
         contractPath: columnPath,
-        code: columnCode,
-        message: columnMessage,
+        code: 'missing_column',
+        message: `Column "${columnName}" is missing`,
         expected: undefined,
         actual: undefined,
-        children: columnChildren,
+        children: [],
       });
+      continue;
     }
 
-    // Group columns under a "columns" header if we have any columns
-    if (columnNodes.length > 0) {
-      const columnsStatus = columnNodes.some((c) => c.status === 'fail')
-        ? 'fail'
-        : columnNodes.some((c) => c.status === 'warn')
-          ? 'warn'
-          : 'pass';
-      tableChildren.push({
-        status: columnsStatus,
-        kind: 'columns',
-        name: 'columns',
-        contractPath: `${tablePath}.columns`,
-        code: '',
-        message: '',
+    columnNodes.push(
+      verifyColumn({
+        tableName,
+        columnName,
+        contractColumn,
+        schemaColumn,
+        columnPath,
+        issues,
+        typeMetadataRegistry,
+        codecHooks,
+        ...ifDefined('normalizeDefault', normalizeDefault),
+        ...ifDefined('normalizeNativeType', normalizeNativeType),
+      }),
+    );
+  }
+
+  return columnNodes;
+}
+
+function appendExtraColumnNodes(options: {
+  contractTable: SqlContract<SqlStorage>['storage']['tables'][string];
+  schemaTable: SqlSchemaIR['tables'][string];
+  tableName: string;
+  tablePath: string;
+  issues: SchemaIssue[];
+  columnNodes: SchemaVerificationNode[];
+}): void {
+  const { contractTable, schemaTable, tableName, tablePath, issues, columnNodes } = options;
+  for (const [columnName, { nativeType }] of Object.entries(schemaTable.columns)) {
+    if (!contractTable.columns[columnName]) {
+      issues.push({
+        kind: 'extra_column',
+        table: tableName,
+        column: columnName,
+        message: `Extra column "${tableName}"."${columnName}" found in database (not in contract)`,
+      });
+      columnNodes.push({
+        status: 'fail',
+        kind: 'column',
+        name: `${columnName}: extra`,
+        contractPath: `${tablePath}.columns.${columnName}`,
+        code: 'extra_column',
+        message: `Extra column "${columnName}" found`,
         expected: undefined,
-        actual: undefined,
-        children: columnNodes,
+        actual: nativeType,
+        children: [],
       });
     }
+  }
+}
 
-    // Check for extra columns in strict mode
-    if (strict) {
-      for (const [columnName, { nativeType }] of Object.entries(schemaTable.columns)) {
-        if (!contractTable.columns[columnName]) {
-          issues.push({
-            kind: 'extra_column',
-            table: tableName,
-            column: columnName,
-            message: `Extra column "${tableName}"."${columnName}" found in database (not in contract)`,
-          });
-          columnNodes.push({
-            status: 'fail',
-            kind: 'column',
-            name: `${columnName}: extra`,
-            contractPath: `${tablePath}.columns.${columnName}`,
-            code: 'extra_column',
-            message: `Extra column "${columnName}" found`,
-            expected: undefined,
-            actual: nativeType,
-            children: [],
-          });
-        }
-      }
+function verifyColumn(options: {
+  tableName: string;
+  columnName: string;
+  contractColumn: SqlContract<SqlStorage>['storage']['tables'][string]['columns'][string];
+  schemaColumn: SqlSchemaIR['tables'][string]['columns'][string];
+  columnPath: string;
+  issues: SchemaIssue[];
+  typeMetadataRegistry: ReadonlyMap<string, { nativeType?: string }>;
+  codecHooks: Map<string, CodecControlHooks>;
+  normalizeDefault?: DefaultNormalizer;
+  normalizeNativeType?: NativeTypeNormalizer;
+}): SchemaVerificationNode {
+  const {
+    tableName,
+    columnName,
+    contractColumn,
+    schemaColumn,
+    columnPath,
+    issues,
+    codecHooks,
+    normalizeDefault,
+    normalizeNativeType,
+  } = options;
+  const columnChildren: SchemaVerificationNode[] = [];
+  let columnStatus: VerificationStatus = 'pass';
+
+  const contractNativeType = renderExpectedNativeType(contractColumn, codecHooks);
+  const schemaNativeType =
+    normalizeNativeType?.(schemaColumn.nativeType) ?? schemaColumn.nativeType;
+
+  if (contractNativeType !== schemaNativeType) {
+    issues.push({
+      kind: 'type_mismatch',
+      table: tableName,
+      column: columnName,
+      expected: contractNativeType,
+      actual: schemaNativeType,
+      message: `Column "${tableName}"."${columnName}" has type mismatch: expected "${contractNativeType}", got "${schemaNativeType}"`,
+    });
+    columnChildren.push({
+      status: 'fail',
+      kind: 'type',
+      name: 'type',
+      contractPath: `${columnPath}.nativeType`,
+      code: 'type_mismatch',
+      message: `Type mismatch: expected ${contractNativeType}, got ${schemaNativeType}`,
+      expected: contractNativeType,
+      actual: schemaNativeType,
+      children: [],
+    });
+    columnStatus = 'fail';
+  }
+
+  if (contractColumn.codecId) {
+    const typeMetadata = options.typeMetadataRegistry.get(contractColumn.codecId);
+    if (!typeMetadata) {
+      columnChildren.push({
+        status: 'warn',
+        kind: 'type',
+        name: 'type_metadata_missing',
+        contractPath: `${columnPath}.codecId`,
+        code: 'type_metadata_missing',
+        message: `codecId "${contractColumn.codecId}" not found in type metadata registry`,
+        expected: contractColumn.codecId,
+        actual: undefined,
+        children: [],
+      });
+    } else if (typeMetadata.nativeType && typeMetadata.nativeType !== contractColumn.nativeType) {
+      columnChildren.push({
+        status: 'warn',
+        kind: 'type',
+        name: 'type_consistency',
+        contractPath: `${columnPath}.codecId`,
+        code: 'type_consistency_warning',
+        message: `codecId "${contractColumn.codecId}" maps to nativeType "${typeMetadata.nativeType}" in registry, but contract has "${contractColumn.nativeType}"`,
+        expected: typeMetadata.nativeType,
+        actual: contractColumn.nativeType,
+        children: [],
+      });
     }
+  }
 
-    // Compare primary key
-    if (contractTable.primaryKey) {
-      const pkStatus = verifyPrimaryKey(
-        contractTable.primaryKey,
-        schemaTable.primaryKey,
-        tableName,
-        issues,
-      );
-      if (pkStatus === 'fail') {
-        tableChildren.push({
-          status: 'fail',
-          kind: 'primaryKey',
-          name: `primary key: ${contractTable.primaryKey.columns.join(', ')}`,
-          contractPath: `${tablePath}.primaryKey`,
-          code: 'primary_key_mismatch',
-          message: 'Primary key mismatch',
-          expected: contractTable.primaryKey,
-          actual: schemaTable.primaryKey,
-          children: [],
-        });
-      } else {
-        tableChildren.push({
-          status: 'pass',
-          kind: 'primaryKey',
-          name: `primary key: ${contractTable.primaryKey.columns.join(', ')}`,
-          contractPath: `${tablePath}.primaryKey`,
-          code: '',
-          message: '',
-          expected: undefined,
-          actual: undefined,
-          children: [],
-        });
-      }
-    } else if (schemaTable.primaryKey && strict) {
-      // Extra primary key in strict mode
+  if (contractColumn.nullable !== schemaColumn.nullable) {
+    issues.push({
+      kind: 'nullability_mismatch',
+      table: tableName,
+      column: columnName,
+      expected: String(contractColumn.nullable),
+      actual: String(schemaColumn.nullable),
+      message: `Column "${tableName}"."${columnName}" has nullability mismatch: expected ${contractColumn.nullable ? 'nullable' : 'not null'}, got ${schemaColumn.nullable ? 'nullable' : 'not null'}`,
+    });
+    columnChildren.push({
+      status: 'fail',
+      kind: 'nullability',
+      name: 'nullability',
+      contractPath: `${columnPath}.nullable`,
+      code: 'nullability_mismatch',
+      message: `Nullability mismatch: expected ${contractColumn.nullable ? 'nullable' : 'not null'}, got ${schemaColumn.nullable ? 'nullable' : 'not null'}`,
+      expected: contractColumn.nullable,
+      actual: schemaColumn.nullable,
+      children: [],
+    });
+    columnStatus = 'fail';
+  }
+
+  if (contractColumn.default) {
+    if (!schemaColumn.default) {
+      const defaultDescription = describeColumnDefault(contractColumn.default);
       issues.push({
-        kind: 'extra_primary_key',
+        kind: 'default_missing',
         table: tableName,
-        message: 'Extra primary key found in database (not in contract)',
+        column: columnName,
+        expected: defaultDescription,
+        message: `Column "${tableName}"."${columnName}" should have default ${defaultDescription} but database has no default`,
       });
-      tableChildren.push({
+      columnChildren.push({
         status: 'fail',
-        kind: 'primaryKey',
-        name: `primary key: ${schemaTable.primaryKey.columns.join(', ')}`,
-        contractPath: `${tablePath}.primaryKey`,
-        code: 'extra_primary_key',
-        message: 'Extra primary key found',
-        expected: undefined,
-        actual: schemaTable.primaryKey,
+        kind: 'default',
+        name: 'default',
+        contractPath: `${columnPath}.default`,
+        code: 'default_missing',
+        message: `Default missing: expected ${defaultDescription}`,
+        expected: defaultDescription,
+        actual: undefined,
+        children: [],
+      });
+      columnStatus = 'fail';
+    } else if (
+      !columnDefaultsEqual(
+        contractColumn.default,
+        schemaColumn.default,
+        normalizeDefault,
+        schemaNativeType,
+      )
+    ) {
+      const expectedDescription = describeColumnDefault(contractColumn.default);
+      // schemaColumn.default is now a raw string, describe it as-is
+      const actualDescription = schemaColumn.default;
+      issues.push({
+        kind: 'default_mismatch',
+        table: tableName,
+        column: columnName,
+        expected: expectedDescription,
+        actual: actualDescription,
+        message: `Column "${tableName}"."${columnName}" has default mismatch: expected ${expectedDescription}, got ${actualDescription}`,
+      });
+      columnChildren.push({
+        status: 'fail',
+        kind: 'default',
+        name: 'default',
+        contractPath: `${columnPath}.default`,
+        code: 'default_mismatch',
+        message: `Default mismatch: expected ${expectedDescription}, got ${actualDescription}`,
+        expected: expectedDescription,
+        actual: actualDescription,
         children: [],
       });
+      columnStatus = 'fail';
     }
+  }
 
-    // Compare foreign keys
-    const fkStatuses = verifyForeignKeys(
-      contractTable.foreignKeys,
-      schemaTable.foreignKeys,
-      tableName,
-      tablePath,
-      issues,
-      strict,
-    );
-    tableChildren.push(...fkStatuses);
+  // Single-pass aggregation for better performance
+  const aggregated = aggregateChildState(columnChildren, columnStatus);
+  const nullableText = contractColumn.nullable ? 'nullable' : 'not nullable';
+  const columnTypeDisplay = contractColumn.codecId
+    ? `${contractNativeType} (${contractColumn.codecId})`
+    : contractNativeType;
+  const columnMessage = aggregated.failureMessages.join('; ');
 
-    // Compare unique constraints
-    // Pass schemaIndexes so unique indexes can satisfy unique constraint requirements
-    const uniqueStatuses = verifyUniqueConstraints(
-      contractTable.uniques,
-      schemaTable.uniques,
-      schemaTable.indexes,
-      tableName,
-      tablePath,
-      issues,
-      strict,
-    );
-    tableChildren.push(...uniqueStatuses);
-
-    // Compare indexes
-    // Pass schemaUniques so unique constraints can satisfy index requirements
-    const indexStatuses = verifyIndexes(
-      contractTable.indexes,
-      schemaTable.indexes,
-      schemaTable.uniques,
-      tableName,
-      tablePath,
-      issues,
-      strict,
-    );
-    tableChildren.push(...indexStatuses);
-
-    // Build table node
-    const tableStatus = tableChildren.some((c) => c.status === 'fail')
-      ? 'fail'
-      : tableChildren.some((c) => c.status === 'warn')
-        ? 'warn'
-        : 'pass';
-    // Collect failure messages from children to create a summary message
-    const tableFailureMessages = tableChildren
-      .filter((child) => child.status === 'fail' && child.message)
-      .map((child) => child.message)
-      .filter((msg): msg is string => typeof msg === 'string' && msg.length > 0);
-    const tableMessage =
-      tableStatus === 'fail' && tableFailureMessages.length > 0
-        ? `${tableFailureMessages.length} issue${tableFailureMessages.length === 1 ? '' : 's'}`
-        : '';
-    const tableCode =
-      tableStatus === 'fail' && tableChildren.length > 0 && tableChildren[0]
-        ? tableChildren[0].code
-        : '';
-    rootChildren.push({
-      status: tableStatus,
-      kind: 'table',
-      name: `table ${tableName}`,
-      contractPath: tablePath,
-      code: tableCode,
-      message: tableMessage,
-      expected: undefined,
-      actual: undefined,
-      children: tableChildren,
-    });
-  }
+  return {
+    status: aggregated.status,
+    kind: 'column',
+    name: `${columnName}: ${columnTypeDisplay} (${nullableText})`,
+    contractPath: columnPath,
+    code: aggregated.firstCode,
+    message: columnMessage,
+    expected: undefined,
+    actual: undefined,
+    children: columnChildren,
+  };
+}
 
-  // Check for extra tables in strict mode
-  if (strict) {
-    for (const tableName of Object.keys(schemaTables)) {
-      if (!contractTables[tableName]) {
-        issues.push({
-          kind: 'extra_table',
-          table: tableName,
-          message: `Extra table "${tableName}" found in database (not in contract)`,
-        });
-        rootChildren.push({
-          status: 'fail',
-          kind: 'table',
-          name: `table ${tableName}`,
-          contractPath: `storage.tables.${tableName}`,
-          code: 'extra_table',
-          message: `Extra table "${tableName}" found`,
-          expected: undefined,
-          actual: undefined,
-          children: [],
-        });
+function buildColumnsNode(
+  tablePath: string,
+  columnNodes: SchemaVerificationNode[],
+): SchemaVerificationNode {
+  return {
+    status: aggregateChildState(columnNodes, 'pass').status,
+    kind: 'columns',
+    name: 'columns',
+    contractPath: `${tablePath}.columns`,
+    code: '',
+    message: '',
+    expected: undefined,
+    actual: undefined,
+    children: columnNodes,
+  };
+}
+
+function buildTableNode(
+  tableName: string,
+  tablePath: string,
+  tableChildren: SchemaVerificationNode[],
+): SchemaVerificationNode {
+  const tableStatus = aggregateChildState(tableChildren, 'pass').status;
+  const tableFailureMessages = tableChildren
+    .filter((child) => child.status === 'fail' && child.message)
+    .map((child) => child.message)
+    .filter((msg): msg is string => typeof msg === 'string' && msg.length > 0);
+  const tableMessage =
+    tableStatus === 'fail' && tableFailureMessages.length > 0
+      ? `${tableFailureMessages.length} issue${tableFailureMessages.length === 1 ? '' : 's'}`
+      : '';
+  const tableCode =
+    tableStatus === 'fail' && tableChildren.length > 0 && tableChildren[0]
+      ? tableChildren[0].code
+      : '';
+
+  return {
+    status: tableStatus,
+    kind: 'table',
+    name: `table ${tableName}`,
+    contractPath: tablePath,
+    code: tableCode,
+    message: tableMessage,
+    expected: undefined,
+    actual: undefined,
+    children: tableChildren,
+  };
+}
+
+function buildRootNode(rootChildren: SchemaVerificationNode[]): SchemaVerificationNode {
+  return {
+    status: aggregateChildState(rootChildren, 'pass').status,
+    kind: 'contract',
+    name: 'contract',
+    contractPath: '',
+    code: '',
+    message: '',
+    expected: undefined,
+    actual: undefined,
+    children: rootChildren,
+  };
+}
+
+/**
+ * Aggregated state from child nodes, computed in a single pass.
+ */
+interface AggregatedChildState {
+  readonly status: VerificationStatus;
+  readonly failureMessages: readonly string[];
+  readonly firstCode: string;
+}
+
+/**
+ * Aggregates status, failure messages, and code from children in a single pass.
+ * This is more efficient than calling separate functions that each iterate the array.
+ */
+function aggregateChildState(
+  children: SchemaVerificationNode[],
+  fallback: VerificationStatus,
+): AggregatedChildState {
+  let status: VerificationStatus = fallback;
+  const failureMessages: string[] = [];
+  let firstCode = '';
+
+  for (const child of children) {
+    if (child.status === 'fail') {
+      status = 'fail';
+      if (!firstCode) {
+        firstCode = child.code;
+      }
+      if (child.message && typeof child.message === 'string' && child.message.length > 0) {
+        failureMessages.push(child.message);
+      }
+    } else if (child.status === 'warn' && status !== 'fail') {
+      status = 'warn';
+      if (!firstCode) {
+        firstCode = child.code;
       }
     }
   }
 
-  // Validate that all extension packs declared in the contract are present in frameworkComponents
-  // This is a configuration integrity check - if the contract was emitted with an extension,
-  // that extension must be provided in the current configuration.
-  // Note: contract.extensionPacks includes adapter.id and target.id (from extractExtensionIds),
-  // so we check for matches as extension, adapter, or target components.
+  return { status, failureMessages, firstCode };
+}
+
+function validateFrameworkComponentsForExtensions(
+  contract: SqlContract<SqlStorage>,
+  frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<'sql', string>>,
+): void {
   const contractExtensionPacks = contract.extensionPacks ?? {};
   for (const extensionNamespace of Object.keys(contractExtensionPacks)) {
-    const hasComponent = options.frameworkComponents.some(
+    const hasComponent = frameworkComponents.some(
       (component) =>
         component.id === extensionNamespace &&
         (component.kind === 'extension' ||
@@ -476,76 +877,6 @@ export function verifySqlSchema(options: VerifySqlSchemaOptions): VerifyDatabase
       );
     }
   }
-
-  // Compare component-owned database dependencies (pure, deterministic)
-  // Per ADR 154: We do NOT infer dependencies from contract extension packs.
-  // Dependencies are only collected from frameworkComponents provided by the CLI.
-  const databaseDependencies = collectDependenciesFromFrameworkComponents(
-    options.frameworkComponents,
-  );
-  const dependencyStatuses = verifyDatabaseDependencies(databaseDependencies, schema, issues);
-  rootChildren.push(...dependencyStatuses);
-
-  // Build root node
-  const rootStatus = rootChildren.some((c) => c.status === 'fail')
-    ? 'fail'
-    : rootChildren.some((c) => c.status === 'warn')
-      ? 'warn'
-      : 'pass';
-  const root: SchemaVerificationNode = {
-    status: rootStatus,
-    kind: 'contract',
-    name: 'contract',
-    contractPath: '',
-    code: '',
-    message: '',
-    expected: undefined,
-    actual: undefined,
-    children: rootChildren,
-  };
-
-  // Compute counts
-  const counts = computeCounts(root);
-
-  // Set ok flag
-  const ok = counts.fail === 0;
-
-  // Set code
-  const code = ok ? undefined : 'PN-SCHEMA-0001';
-
-  // Set summary
-  const summary = ok
-    ? 'Database schema satisfies contract'
-    : `Database schema does not satisfy contract (${counts.fail} failure${counts.fail === 1 ? '' : 's'})`;
-
-  const totalTime = Date.now() - startTime;
-
-  return {
-    ok,
-    ...ifDefined('code', code),
-    summary,
-    contract: {
-      coreHash: contractCoreHash,
-      ...ifDefined('profileHash', contractProfileHash),
-    },
-    target: {
-      expected: contractTarget,
-      actual: contractTarget,
-    },
-    schema: {
-      issues,
-      root,
-      counts,
-    },
-    meta: {
-      strict,
-      ...ifDefined('contractPath', context?.contractPath),
-      ...ifDefined('configPath', context?.configPath),
-    },
-    timings: {
-      total: totalTime,
-    },
-  };
 }
 
 /**
@@ -586,3 +917,95 @@ function collectDependenciesFromFrameworkComponents<T extends string>(
   }
   return dependencies;
 }
+
+/**
+ * Renders the expected native type for a contract column, expanding parameterized types
+ * using codec control hooks when available.
+ *
+ * This function delegates to the `expandNativeType` hook if the codec provides one,
+ * ensuring that the SQL family layer remains dialect-agnostic while allowing
+ * target-specific adapters (like Postgres) to provide their own expansion logic.
+ */
+function renderExpectedNativeType(
+  contractColumn: SqlContract<SqlStorage>['storage']['tables'][string]['columns'][string],
+  codecHooks: Map<string, CodecControlHooks>,
+): string {
+  const { codecId, nativeType, typeParams } = contractColumn;
+
+  // If no typeParams or codecId, return the base native type
+  if (!typeParams || !codecId) {
+    return nativeType;
+  }
+
+  // Try to use the codec's expandNativeType hook if available
+  const hooks = codecHooks.get(codecId);
+  if (hooks?.expandNativeType) {
+    return hooks.expandNativeType({ nativeType, codecId, typeParams });
+  }
+
+  // Fallback: return base native type if no hook is available
+  return nativeType;
+}
+
+/**
+ * Describes a column default for display purposes.
+ */
+function describeColumnDefault(columnDefault: ColumnDefault): string {
+  switch (columnDefault.kind) {
+    case 'literal':
+      return `literal(${columnDefault.expression})`;
+    case 'function':
+      return columnDefault.expression;
+  }
+}
+
+/**
+ * Compares a contract ColumnDefault against a schema raw default string for semantic equality.
+ *
+ * When a normalizer is provided, the raw schema default is first normalized to a ColumnDefault
+ * before comparison. Without a normalizer, falls back to direct string comparison against
+ * the contract expression.
+ *
+ * @param contractDefault - The expected default from the contract (normalized ColumnDefault)
+ * @param schemaDefault - The raw default expression from the database (string)
+ * @param normalizer - Optional target-specific normalizer to convert raw defaults
+ * @param nativeType - The column's native type, passed to normalizer for context
+ */
+function columnDefaultsEqual(
+  contractDefault: ColumnDefault,
+  schemaDefault: string,
+  normalizer?: DefaultNormalizer,
+  nativeType?: string,
+): boolean {
+  // If no normalizer provided, fall back to direct string comparison
+  if (!normalizer) {
+    return contractDefault.expression === schemaDefault;
+  }
+
+  // Normalize the raw schema default using target-specific logic
+  const normalizedSchema = normalizer(schemaDefault, nativeType ?? '');
+  if (!normalizedSchema) {
+    // Normalizer couldn't parse the expression - treat as mismatch
+    return false;
+  }
+
+  // Compare normalized defaults
+  if (contractDefault.kind !== normalizedSchema.kind) {
+    return false;
+  }
+  if (contractDefault.kind === 'literal' && normalizedSchema.kind === 'literal') {
+    // Normalize both sides: the contract expression may also contain a type cast
+    // (e.g. 'atRisk'::"BillingState") that the normalizer strips, so run the
+    // normalizer on the contract expression too for a fair comparison.
+    const normalizedContract = normalizer(contractDefault.expression, nativeType ?? '');
+    const contractExpr = (normalizedContract?.expression ?? contractDefault.expression).trim();
+    const schemaExpr = normalizedSchema.expression.trim();
+    return contractExpr === schemaExpr;
+  }
+  if (contractDefault.kind === 'function' && normalizedSchema.kind === 'function') {
+    // Normalize function expressions for comparison (case-insensitive, whitespace-tolerant)
+    const normalizeExpr = (expr: string) => expr.toLowerCase().replace(/\s+/g, '');
+    return normalizeExpr(contractDefault.expression) === normalizeExpr(normalizedSchema.expression);
+  }
+  return false;
+}