@prisma-next/family-sql 0.3.0-dev.12 → 0.3.0-dev.122

package/src/core/verify.ts

@@ -1,10 +1,5 @@
 import type { ContractMarkerRecord } from '@prisma-next/contract/types';
-import type {
-  ControlAdapterDescriptor,
-  ControlDriverInstance,
-  ControlExtensionDescriptor,
-  ControlTargetDescriptor,
-} from '@prisma-next/core-control-plane/types';
+import type { ControlDriverInstance } from '@prisma-next/core-control-plane/types';
 import { type } from 'arktype';
 
 const MetaSchema = type({ '[string]': 'unknown' });
@@ -71,7 +66,7 @@ export function parseContractMarkerRow(row: unknown): ContractMarkerRecord {
     : new Date();
 
   return {
-    coreHash: validatedRow.core_hash,
+    storageHash: validatedRow.core_hash,
     profileHash: validatedRow.profile_hash,
     contractJson: validatedRow.contract_json ?? null,
     canonicalVersion: validatedRow.canonical_version ?? null,
@@ -162,12 +157,8 @@ export async function readMarker(
  * 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.
  */
-export function collectSupportedCodecTypeIds<TFamilyId extends string, TTargetId extends string>(
-  descriptors: ReadonlyArray<
-    | ControlTargetDescriptor<TFamilyId, TTargetId>
-    | ControlAdapterDescriptor<TFamilyId, TTargetId>
-    | ControlExtensionDescriptor<TFamilyId, TTargetId>
-  >,
+export function collectSupportedCodecTypeIds(
+  descriptors: ReadonlyArray<{ readonly id: string }>,
 ): readonly string[] {
   // For MVP, return empty array
   // Future enhancement: Extract type IDs from codec-types modules via static analysis

package/src/exports/control.ts

@@ -1,4 +1,4 @@
-import { SqlFamilyDescriptor } from '../core/descriptor';
+import { SqlFamilyDescriptor } from '../core/control-descriptor';
 
 // Re-export core types from canonical source
 export type {
@@ -11,7 +11,23 @@ export type {
   MigrationPlanOperation,
   TargetMigrationsCapability,
 } from '@prisma-next/core-control-plane/types';
-export type { SchemaVerifyOptions, SqlControlFamilyInstance } from '../core/instance';
+export type { SqlControlDescriptorWithContributions } from '../core/assembly';
+export {
+  assembleControlMutationDefaultContributions,
+  assemblePslInterpretationContributions,
+  extractCodecControlHooks,
+} from '../core/assembly';
+export type { SchemaVerifyOptions, SqlControlFamilyInstance } from '../core/control-instance';
+export type {
+  ContractToSchemaIROptions,
+  DefaultRenderer,
+  NativeTypeExpander,
+} from '../core/migrations/contract-to-schema-ir';
+// Contract → SchemaIR conversion for offline migration planning
+export {
+  contractToSchemaIR,
+  detectDestructiveChanges,
+} from '../core/migrations/contract-to-schema-ir';
 export {
   createMigrationPlan,
   plannerFailure,
@@ -22,10 +38,19 @@ export {
 export { INIT_ADDITIVE_POLICY } from '../core/migrations/policies';
 // SQL-specific types
 export type {
+  CodecControlHooks,
   ComponentDatabaseDependencies,
   ComponentDatabaseDependency,
+  ControlMutationDefaultFunctionEntry,
+  ControlMutationDefaultFunctionHandler,
+  ControlMutationDefaultGeneratorDescriptor,
   CreateSqlMigrationPlanOptions,
+  ExpandNativeTypeInput,
+  PslScalarTypeDescriptor,
+  ResolveIdentityValueInput,
+  SqlControlAdapterDescriptor,
   SqlControlExtensionDescriptor,
+  SqlControlStaticContributions,
   SqlControlTargetDescriptor,
   SqlMigrationPlan,
   SqlMigrationPlanContractInfo,
@@ -47,10 +72,8 @@ export type {
   SqlPlannerFailureResult,
   SqlPlannerResult,
   SqlPlannerSuccessResult,
+  StorageTypePlanResult,
 } from '../core/migrations/types';
+export { collectInitDependencies, isDatabaseDependencyProvider } from '../core/migrations/types';
 
-/**
- * SQL family descriptor for control plane (CLI/config).
- * Provides the SQL family hook and conversion helpers.
- */
 export default new SqlFamilyDescriptor();

package/src/exports/runtime.ts

@@ -1,7 +1,3 @@
-import { SqlRuntimeFamilyDescriptor } from '../core/runtime-descriptor';
+import { sqlRuntimeFamilyDescriptor } from '../core/runtime-descriptor';
 
-/**
- * SQL runtime family descriptor for execution/runtime plane.
- * Provides factory method to create SQL runtime family instance.
- */
-export default new SqlRuntimeFamilyDescriptor();
+export default sqlRuntimeFamilyDescriptor;

package/src/exports/schema-verify.ts

@@ -6,6 +6,14 @@
  * other tools that need to compare schema states.
  */
 
-export { arraysEqual, verifyDatabaseDependencies } from '../core/schema-verify/verify-helpers';
-export type { VerifySqlSchemaOptions } from '../core/schema-verify/verify-sql-schema';
+export {
+  arraysEqual,
+  isIndexSatisfied,
+  isUniqueConstraintSatisfied,
+  verifyDatabaseDependencies,
+} from '../core/schema-verify/verify-helpers';
+export type {
+  NativeTypeNormalizer,
+  VerifySqlSchemaOptions,
+} from '../core/schema-verify/verify-sql-schema';
 export { verifySqlSchema } from '../core/schema-verify/verify-sql-schema';

package/src/exports/test-utils.ts

@@ -7,5 +7,5 @@ export {
   extractCodecTypeImports,
   extractExtensionIds,
   extractOperationTypeImports,
+  extractQueryOperationTypeImports,
 } from '../core/assembly';
-export { convertOperationManifest } from '../core/instance';