@prisma-next/family-sql 0.3.0-dev.2 → 0.3.0-dev.21

package/dist/exports/schema-verify.d.ts

@@ -1,75 +1,11 @@
-import { SchemaIssue, SchemaVerificationNode, OperationContext, VerifyDatabaseSchemaResult } from '@prisma-next/core-control-plane/types';
-import { SqlSchemaIR } from '@prisma-next/sql-schema-ir/types';
-import { i as ComponentDatabaseDependency } from './types-Bh7ftf0Q.js';
-import { TargetBoundComponentDescriptor } from '@prisma-next/contract/framework-components';
-import { SqlContract, SqlStorage } from '@prisma-next/sql-contract/types';
-import '@prisma-next/utils/result';
-import './instance-DiZi2k_2.js';
-import '@prisma-next/contract/ir';
-import '@prisma-next/contract/pack-manifest-types';
-import '@prisma-next/contract/types';
-import '@prisma-next/core-control-plane/schema-view';
-import '@prisma-next/operations';
-import '@prisma-next/sql-operations';
-
 /**
- * Pure verification helper functions for SQL schema verification.
- * These functions verify schema IR against contract requirements.
- */
-
-/**
- * Compares two arrays of strings for equality (order-sensitive).
- */
-declare function arraysEqual(a: readonly string[], b: readonly string[]): boolean;
-/**
- * Verifies database dependencies are installed using component-owned verification hooks.
- * Each dependency provides a pure verifyDatabaseDependencyInstalled function that checks
- * whether the dependency is satisfied based on the in-memory schema IR (no DB I/O).
- *
- * Returns verification nodes for the tree.
- */
-declare function verifyDatabaseDependencies(dependencies: ReadonlyArray<ComponentDatabaseDependency<unknown>>, schema: SqlSchemaIR, issues: SchemaIssue[]): SchemaVerificationNode[];
-
-/**
- * Pure SQL schema verification function.
- *
- * This module provides a pure function that verifies a SqlSchemaIR against
- * a SqlContract without requiring a database connection. It can be reused
- * by migration planners and other tools that need to compare schema states.
- */
-
-/**
- * Options for the pure schema verification function.
- */
-interface VerifySqlSchemaOptions {
-    /** The validated SQL contract to verify against */
-    readonly contract: SqlContract<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>>;
-}
-/**
- * Verifies that a SqlSchemaIR matches a SqlContract.
- *
- * 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.
+ * Pure schema verification exports.
  *
- * @param options - Verification options
- * @returns VerifyDatabaseSchemaResult with verification tree and issues
+ * This module exports the pure schema verification function that can be used
+ * without a database connection. It's suitable for migration planning and
+ * other tools that need to compare schema states.
  */
-declare function verifySqlSchema(options: VerifySqlSchemaOptions): VerifyDatabaseSchemaResult;
-
-export { type VerifySqlSchemaOptions, arraysEqual, verifyDatabaseDependencies, verifySqlSchema };
+export { arraysEqual, isIndexSatisfied, isUniqueConstraintSatisfied, verifyDatabaseDependencies, } from '../core/schema-verify/verify-helpers';
+export type { VerifySqlSchemaOptions } from '../core/schema-verify/verify-sql-schema';
+export { verifySqlSchema } from '../core/schema-verify/verify-sql-schema';
+//# sourceMappingURL=schema-verify.d.ts.map

package/dist/exports/schema-verify.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema-verify.d.ts","sourceRoot":"","sources":["../../src/exports/schema-verify.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EACL,WAAW,EACX,gBAAgB,EAChB,2BAA2B,EAC3B,0BAA0B,GAC3B,MAAM,sCAAsC,CAAC;AAC9C,YAAY,EAAE,sBAAsB,EAAE,MAAM,yCAAyC,CAAC;AACtF,OAAO,EAAE,eAAe,EAAE,MAAM,yCAAyC,CAAC"}

package/dist/exports/schema-verify.js

@@ -1,10 +1,14 @@
 import {
   arraysEqual,
+  isIndexSatisfied,
+  isUniqueConstraintSatisfied,
   verifyDatabaseDependencies,
   verifySqlSchema
-} from "./chunk-F252JMEU.js";
+} from "../chunk-XH2Y5NTD.js";
 export {
   arraysEqual,
+  isIndexSatisfied,
+  isUniqueConstraintSatisfied,
   verifyDatabaseDependencies,
   verifySqlSchema
 };

package/dist/exports/test-utils.d.ts

@@ -1,33 +1,7 @@
-import { OperationManifest } from '@prisma-next/contract/pack-manifest-types';
-import { TypesImportSpec } from '@prisma-next/contract/types';
-import { ControlTargetDescriptor, ControlAdapterDescriptor, ControlExtensionDescriptor } from '@prisma-next/core-control-plane/types';
-import { OperationSignature, OperationRegistry } from '@prisma-next/operations';
-export { c as convertOperationManifest } from './instance-DiZi2k_2.js';
-import '@prisma-next/contract/framework-components';
-import '@prisma-next/contract/ir';
-import '@prisma-next/core-control-plane/schema-view';
-import '@prisma-next/sql-operations';
-import '@prisma-next/sql-schema-ir/types';
-
 /**
- * Assembles an operation registry from descriptors (adapter, target, extensions).
- * Loops over descriptors, extracts operations, converts them using the provided
- * conversion function, and registers them in a new registry.
+ * Test utilities for working with component descriptors.
+ * These functions operate on descriptors directly, used in tests and integration tests.
  */
-declare function assembleOperationRegistry(descriptors: ReadonlyArray<ControlTargetDescriptor<'sql', string> | ControlAdapterDescriptor<'sql', string> | ControlExtensionDescriptor<'sql', string>>, convertOperationManifest: (manifest: OperationManifest) => OperationSignature): OperationRegistry;
-/**
- * Extracts codec type imports from descriptors for contract.d.ts generation.
- */
-declare function extractCodecTypeImports(descriptors: ReadonlyArray<ControlTargetDescriptor<'sql', string> | ControlAdapterDescriptor<'sql', string> | ControlExtensionDescriptor<'sql', string>>): ReadonlyArray<TypesImportSpec>;
-/**
- * Extracts operation type imports from descriptors for contract.d.ts generation.
- */
-declare function extractOperationTypeImports(descriptors: ReadonlyArray<ControlTargetDescriptor<'sql', string> | ControlAdapterDescriptor<'sql', string> | ControlExtensionDescriptor<'sql', string>>): ReadonlyArray<TypesImportSpec>;
-/**
- * Extracts extension IDs from descriptors in deterministic order:
- * [adapter.id, target.id, ...extensions.map(e => e.id)]
- * Deduplicates while preserving stable order.
- */
-declare function extractExtensionIds(adapter: ControlAdapterDescriptor<'sql', string>, target: ControlTargetDescriptor<'sql', string>, extensions: ReadonlyArray<ControlExtensionDescriptor<'sql', string>>): ReadonlyArray<string>;
-
-export { assembleOperationRegistry, extractCodecTypeImports, extractExtensionIds, extractOperationTypeImports };
+export { assembleOperationRegistry, extractCodecTypeImports, extractExtensionIds, extractOperationTypeImports, } from '../core/assembly';
+export { convertOperationManifest } from '../core/instance';
+//# sourceMappingURL=test-utils.d.ts.map

package/dist/exports/test-utils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"test-utils.d.ts","sourceRoot":"","sources":["../../src/exports/test-utils.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EACL,yBAAyB,EACzB,uBAAuB,EACvB,mBAAmB,EACnB,2BAA2B,GAC5B,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAC"}

package/dist/exports/test-utils.js

@@ -4,9 +4,9 @@ import {
   extractCodecTypeImports,
   extractExtensionIds,
   extractOperationTypeImports
-} from "./chunk-6P44BVZ4.js";
-import "./chunk-C3GKWCKA.js";
-import "./chunk-F252JMEU.js";
+} from "../chunk-F27CR6XZ.js";
+import "../chunk-SU7LN2UH.js";
+import "../chunk-XH2Y5NTD.js";
 export {
   assembleOperationRegistry,
   convertOperationManifest,

package/dist/exports/verify.d.ts

@@ -1,28 +1,2 @@
-import { ContractMarkerRecord } from '@prisma-next/contract/types';
-import { ControlDriverInstance } from '@prisma-next/core-control-plane/types';
-
-/**
- * Parses a contract marker row from database query result.
- * This is SQL-specific parsing logic (handles SQL row structure with snake_case columns).
- */
-declare function parseContractMarkerRow(row: unknown): ContractMarkerRecord;
-/**
- * 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.
- */
-declare function readMarkerSql(): {
-    readonly sql: string;
-    readonly params: readonly unknown[];
-};
-/**
- * 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
- */
-declare function readMarker(driver: ControlDriverInstance<'sql', string>): Promise<ContractMarkerRecord | null>;
-
-export { parseContractMarkerRow, readMarker, readMarkerSql };
+export { parseContractMarkerRow, readMarker, readMarkerSql } from '../core/verify';
+//# sourceMappingURL=verify.d.ts.map

package/dist/exports/verify.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify.d.ts","sourceRoot":"","sources":["../../src/exports/verify.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,sBAAsB,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC"}

package/dist/exports/verify.js

@@ -2,7 +2,7 @@ import {
   parseContractMarkerRow,
   readMarker,
   readMarkerSql
-} from "./chunk-C3GKWCKA.js";
+} from "../chunk-SU7LN2UH.js";
 export {
   parseContractMarkerRow,
   readMarker,

package/package.json

@@ -1,37 +1,36 @@
 {
   "name": "@prisma-next/family-sql",
-  "version": "0.3.0-dev.2",
+  "version": "0.3.0-dev.21",
   "type": "module",
   "sideEffects": false,
   "description": "SQL family descriptor for Prisma Next",
   "dependencies": {
     "arktype": "^2.0.0",
-    "@prisma-next/contract": "0.3.0-dev.2",
-    "@prisma-next/core-execution-plane": "0.3.0-dev.2",
-    "@prisma-next/operations": "0.3.0-dev.2",
-    "@prisma-next/runtime-executor": "0.3.0-dev.2",
-    "@prisma-next/sql-contract-emitter": "0.3.0-dev.2",
-    "@prisma-next/sql-contract-ts": "0.3.0-dev.2",
-    "@prisma-next/sql-contract": "0.3.0-dev.2",
-    "@prisma-next/sql-operations": "0.3.0-dev.2",
-    "@prisma-next/sql-relational-core": "0.3.0-dev.2",
-    "@prisma-next/sql-runtime": "0.3.0-dev.2",
-    "@prisma-next/sql-schema-ir": "0.3.0-dev.2",
-    "@prisma-next/utils": "0.3.0-dev.2",
-    "@prisma-next/cli": "0.3.0-dev.2",
-    "@prisma-next/core-control-plane": "0.3.0-dev.2"
+    "@prisma-next/contract": "0.3.0-dev.21",
+    "@prisma-next/cli": "0.3.0-dev.21",
+    "@prisma-next/core-control-plane": "0.3.0-dev.21",
+    "@prisma-next/core-execution-plane": "0.3.0-dev.21",
+    "@prisma-next/operations": "0.3.0-dev.21",
+    "@prisma-next/runtime-executor": "0.3.0-dev.21",
+    "@prisma-next/sql-contract": "0.3.0-dev.21",
+    "@prisma-next/sql-contract-emitter": "0.3.0-dev.21",
+    "@prisma-next/sql-contract-ts": "0.3.0-dev.21",
+    "@prisma-next/sql-operations": "0.3.0-dev.21",
+    "@prisma-next/sql-relational-core": "0.3.0-dev.21",
+    "@prisma-next/sql-schema-ir": "0.3.0-dev.21",
+    "@prisma-next/sql-runtime": "0.3.0-dev.21",
+    "@prisma-next/utils": "0.3.0-dev.21"
   },
   "devDependencies": {
-    "@vitest/coverage-v8": "^4.0.0",
-    "tsup": "^8.3.0",
-    "typescript": "^5.9.3",
-    "vite-tsconfig-paths": "^5.1.4",
-    "vitest": "^4.0.16",
-    "@prisma-next/driver-postgres": "0.3.0-dev.2",
+    "tsup": "8.5.1",
+    "typescript": "5.9.3",
+    "vitest": "4.0.16",
+    "@prisma-next/driver-postgres": "0.3.0-dev.21",
     "@prisma-next/test-utils": "0.0.1"
   },
   "files": [
-    "dist"
+    "dist",
+    "src"
   ],
   "exports": {
     "./control": {
@@ -60,11 +59,11 @@
     }
   },
   "scripts": {
-    "build": "tsup --config tsup.config.ts",
+    "build": "tsup --config tsup.config.ts && tsc --project tsconfig.build.json",
     "test": "vitest run",
     "test:coverage": "vitest run --coverage",
     "typecheck": "tsc --project tsconfig.json --noEmit",
-    "lint": "biome check . --config-path ../../../../biome.json --error-on-warnings",
-    "clean": "node ../../../../scripts/clean.mjs"
+    "lint": "biome check . --error-on-warnings",
+    "clean": "rm -rf dist coverage .tmp-output"
   }
 }

package/src/core/assembly.ts

@@ -0,0 +1,117 @@
+import type { OperationManifest } from '@prisma-next/contract/pack-manifest-types';
+import type { TypesImportSpec } from '@prisma-next/contract/types';
+import type {
+  ControlAdapterDescriptor,
+  ControlExtensionDescriptor,
+  ControlTargetDescriptor,
+} from '@prisma-next/core-control-plane/types';
+import type { OperationRegistry, OperationSignature } from '@prisma-next/operations';
+import { createOperationRegistry } from '@prisma-next/operations';
+
+/**
+ * Assembles an operation registry from descriptors (adapter, target, extensions).
+ * Loops over descriptors, extracts operations, converts them using the provided
+ * conversion function, and registers them in a new registry.
+ */
+export function assembleOperationRegistry(
+  descriptors: ReadonlyArray<
+    | ControlTargetDescriptor<'sql', string>
+    | ControlAdapterDescriptor<'sql', string>
+    | ControlExtensionDescriptor<'sql', string>
+  >,
+  convertOperationManifest: (manifest: OperationManifest) => OperationSignature,
+): OperationRegistry {
+  const registry = createOperationRegistry();
+
+  for (const descriptor of descriptors) {
+    const operations = descriptor.operations ?? [];
+    for (const operationManifest of operations as ReadonlyArray<OperationManifest>) {
+      const signature = convertOperationManifest(operationManifest);
+      registry.register(signature);
+    }
+  }
+
+  return registry;
+}
+
+/**
+ * Extracts codec type imports from descriptors for contract.d.ts generation.
+ */
+export function extractCodecTypeImports(
+  descriptors: ReadonlyArray<
+    | ControlTargetDescriptor<'sql', string>
+    | ControlAdapterDescriptor<'sql', string>
+    | ControlExtensionDescriptor<'sql', string>
+  >,
+): ReadonlyArray<TypesImportSpec> {
+  const imports: TypesImportSpec[] = [];
+
+  for (const descriptor of descriptors) {
+    const types = descriptor.types;
+    const codecTypes = types?.codecTypes;
+    if (codecTypes?.import) {
+      imports.push(codecTypes.import);
+    }
+  }
+
+  return imports;
+}
+
+/**
+ * Extracts operation type imports from descriptors for contract.d.ts generation.
+ */
+export function extractOperationTypeImports(
+  descriptors: ReadonlyArray<
+    | ControlTargetDescriptor<'sql', string>
+    | ControlAdapterDescriptor<'sql', string>
+    | ControlExtensionDescriptor<'sql', string>
+  >,
+): ReadonlyArray<TypesImportSpec> {
+  const imports: TypesImportSpec[] = [];
+
+  for (const descriptor of descriptors) {
+    const types = descriptor.types;
+    const operationTypes = types?.operationTypes;
+    if (operationTypes?.import) {
+      imports.push(operationTypes.import);
+    }
+  }
+
+  return imports;
+}
+
+/**
+ * Extracts extension IDs from descriptors in deterministic order:
+ * [adapter.id, target.id, ...extensions.map(e => e.id)]
+ * Deduplicates while preserving stable order.
+ */
+export function extractExtensionIds(
+  adapter: ControlAdapterDescriptor<'sql', string>,
+  target: ControlTargetDescriptor<'sql', string>,
+  extensions: ReadonlyArray<ControlExtensionDescriptor<'sql', string>>,
+): ReadonlyArray<string> {
+  const ids: string[] = [];
+  const seen = new Set<string>();
+
+  // Add adapter first
+  if (!seen.has(adapter.id)) {
+    ids.push(adapter.id);
+    seen.add(adapter.id);
+  }
+
+  // Add target second
+  if (!seen.has(target.id)) {
+    ids.push(target.id);
+    seen.add(target.id);
+  }
+
+  // Add extensions in order
+  for (const ext of extensions) {
+    if (!seen.has(ext.id)) {
+      ids.push(ext.id);
+      seen.add(ext.id);
+    }
+  }
+
+  return ids;
+}

package/src/core/control-adapter.ts

@@ -0,0 +1,52 @@
+import type {
+  ControlAdapterInstance,
+  ControlDriverInstance,
+} from '@prisma-next/core-control-plane/types';
+import type { SqlSchemaIR } from '@prisma-next/sql-schema-ir/types';
+
+/**
+ * SQL control adapter interface for control-plane operations.
+ * Implemented by target-specific adapters (e.g., Postgres, MySQL).
+ *
+ * @template TTarget - The target ID (e.g., 'postgres', 'mysql')
+ */
+export interface SqlControlAdapter<TTarget extends string = string>
+  extends ControlAdapterInstance<'sql', TTarget> {
+  /**
+   * The target ID this adapter implements.
+   * Used for type tracking and runtime validation.
+   * @deprecated Use targetId from ControlAdapterInstance instead
+   */
+  readonly target: TTarget;
+
+  /**
+   * Introspects a database schema and returns a raw SqlSchemaIR.
+   *
+   * This is a pure schema discovery operation that queries the database catalog
+   * and returns the schema structure without type mapping or contract enrichment.
+   * Type mapping and enrichment are handled separately by enrichment helpers.
+   *
+   * @param driver - ControlDriverInstance instance for executing queries (target-specific)
+   * @param contractIR - Optional contract IR for contract-guided introspection (filtering, optimization)
+   * @param schema - Schema name to introspect (defaults to 'public')
+   * @returns Promise resolving to SqlSchemaIR representing the live database schema
+   */
+  introspect(
+    driver: ControlDriverInstance<'sql', TTarget>,
+    contractIR?: unknown,
+    schema?: string,
+  ): Promise<SqlSchemaIR>;
+}
+
+/**
+ * SQL control adapter descriptor interface.
+ * Provides a factory method to create control adapter instances.
+ *
+ * @template TTarget - The target ID (e.g., 'postgres', 'mysql')
+ */
+export interface SqlControlAdapterDescriptor<TTarget extends string = string> {
+  /**
+   * Creates a SQL control adapter instance for control-plane operations.
+   */
+  create(): SqlControlAdapter<TTarget>;
+}

package/src/core/descriptor.ts

@@ -0,0 +1,33 @@
+import type {
+  ControlFamilyDescriptor,
+  ControlPlaneStack,
+} from '@prisma-next/core-control-plane/types';
+import { sqlTargetFamilyHook } from '@prisma-next/sql-contract-emitter';
+import { createSqlFamilyInstance, type SqlControlFamilyInstance } from './instance';
+
+/**
+ * SQL family descriptor implementation.
+ * Provides the SQL family hook and factory method.
+ */
+export class SqlFamilyDescriptor
+  implements ControlFamilyDescriptor<'sql', SqlControlFamilyInstance>
+{
+  readonly kind = 'family' as const;
+  readonly id = 'sql';
+  readonly familyId = 'sql' as const;
+  readonly version = '0.0.1';
+  readonly hook = sqlTargetFamilyHook;
+
+  create<TTargetId extends string>(
+    stack: ControlPlaneStack<'sql', TTargetId>,
+  ): SqlControlFamilyInstance {
+    // Note: driver is not passed here because SqlFamilyInstance operations
+    // (validate, emit, etc.) don't require DB connectivity. Commands that
+    // need the driver (verify, introspect) get it directly from the stack.
+    return createSqlFamilyInstance({
+      target: stack.target,
+      adapter: stack.adapter,
+      extensionPacks: stack.extensionPacks,
+    });
+  }
+}