@prisma-next/family-sql 0.5.0-dev.4 → 0.5.0-dev.41

package/README.md

@@ -111,7 +111,7 @@ The descriptor is "pure data + factory" - it only provides the hook and factory
 - **`src/core/control-descriptor.ts`**: `SqlFamilyDescriptor` class implementing `ControlFamilyDescriptor` interface (pure data + factory)
 - **`src/core/control-instance.ts`**: `createSqlFamilyInstance` function that creates `SqlFamilyInstance` with domain action methods (`validateContract`, `verify`, `schemaVerify`, `introspect`, `toSchemaView`, `emitContract`). Contains `convertOperationManifest` function used internally by instance creation and test utilities in the same package.
 - **`src/core/assembly.ts`**: Assembly helpers for extracting type imports, collecting codec-owned storage type control hooks, and composing mutation-default registries with duplicate detection.
-- **`src/core/verify.ts`**: Verification helpers (`readMarker`, `collectSupportedCodecTypeIds`)
+- **`src/core/verify.ts`**: Verification helpers (`parseContractMarkerRow`, `collectSupportedCodecTypeIds`)
 - **`src/core/control-adapter.ts`**: SQL control adapter interface (`SqlControlAdapter`) for control-plane operations
 - **`src/core/migrations/`**: Migration IR helpers plus planner and runner SPI types (`MigrationPlanner`, `MigrationRunner`, `SqlControlTargetDescriptor`). Runners return `MigrationRunnerResult` which is a union of success/failure.
 - **`src/core/migrations/contract-to-schema-ir.ts`**: `contractToSchemaIR(contract, { annotationNamespace, ... })` converts a contract to `SqlSchemaIR` for offline migration planning (used by `migration plan` to synthesize the "from" schema without a database connection). Also exports `detectDestructiveChanges(from, to)` which compares two `SqlStorage` values and returns a list of destructive changes (dropped tables, dropped columns) for migration policy enforcement.
@@ -135,7 +135,7 @@ The runner returns structured errors with the following codes:
 - **`./control`**: Control plane entry point for CLI/config usage (exports `SqlFamilyDescriptor`)
 - **`./control-adapter`**: SQL control adapter interface (`SqlControlAdapter`, `SqlControlAdapterDescriptor`) for target-specific adapters
 - **`./runtime`**: Runtime plane identity exports only (family ID, types, descriptor identity). Does **not** export runtime creation helpers—use `instantiateExecutionStack` from `@prisma-next/framework-components/execution` and `createExecutionContext`, `createRuntime`, `createSqlExecutionStack` from `@prisma-next/sql-runtime`. See [ADR 152](../../../docs/architecture%20docs/adrs/ADR%20152%20-%20Execution%20Plane%20Descriptors%20and%20Instances.md).
-- **`./verify`**: Verification utilities (`readMarker`, `readMarkerSql`, `parseContractMarkerRow`) for reading contract markers from databases
+- **`./verify`**: Marker row parsing helper (`parseContractMarkerRow`). Marker reads are owned by each `SqlControlAdapter` (e.g. `PostgresControlAdapter.readMarker`) so dialect-specific SQL stays target-local.
 
 ## Dependencies
 

package/dist/control-adapter.d.mts

@@ -1,5 +1,6 @@
-import { n as NativeTypeNormalizer, t as DefaultNormalizer } from "./verify-sql-schema-BBhkqEDo.mjs";
+import { n as NativeTypeNormalizer, t as DefaultNormalizer } from "./verify-sql-schema-_EoNcGIq.mjs";
 import { ControlAdapterInstance, ControlDriverInstance, ControlStack } from "@prisma-next/framework-components/control";
+import { ContractMarkerRecord } from "@prisma-next/contract/types";
 import { AnyQueryAst, LoweredStatement, LowererContext } from "@prisma-next/sql-relational-core/ast";
 import { SqlSchemaIR } from "@prisma-next/sql-schema-ir/types";
 
@@ -12,6 +13,16 @@ import { SqlSchemaIR } from "@prisma-next/sql-schema-ir/types";
  * @template TTarget - The target ID (e.g., 'postgres', 'mysql')
  */
 interface SqlControlAdapter<TTarget extends string = string> extends ControlAdapterInstance<'sql', TTarget> {
+  /**
+   * Reads the contract marker from the database, returning `null` if the marker
+   * table or its row is missing. Implementations are responsible for the
+   * dialect-specific existence probe (e.g. Postgres `information_schema.tables`
+   * vs SQLite `sqlite_master`) and parameter placeholders.
+   *
+   * @param driver - ControlDriverInstance for executing queries (target-specific)
+   * @returns Resolved marker record, or `null` if not yet stamped.
+   */
+  readMarker(driver: ControlDriverInstance<'sql', TTarget>): Promise<ContractMarkerRecord | null>;
   /**
    * Introspects a database schema and returns a raw SqlSchemaIR.
    *

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

@@ -1 +1 @@
-{"version":3,"file":"control-adapter.d.mts","names":[],"sources":["../src/core/control-adapter.ts"],"sourcesContent":[],"mappings":";;;;;;;;;AAmBA;;;;AAkBa,UAlBI,iBAkBJ,CAAA,gBAAA,MAAA,GAAA,MAAA,CAAA,SAjBH,sBAiBG,CAAA,KAAA,EAjB2B,OAiB3B,CAAA,CAAA;EAAR;;;;;;;;AAkCL;;;;EAO+C,UAAA,CAAA,MAAA,EA5CnC,qBA4CmC,CAAA,KAAA,EA5CN,OA4CM,CAAA,EAAA,QAAA,CAAA,EAAA,OAAA,EAAA,MAAA,CAAA,EAAA,MAAA,CAAA,EAzC1C,OAyC0C,CAzClC,WAyCkC,CAAA;EAAiB;;;;;8BAlClC;;;;;;iCAOG;;;;;;;;;;aAWpB,sBAAsB,0BAA0B;;;;;;;;UAS5C;;;;;;;gBAOD,oBAAoB,WAAW,kBAAkB"}
+{"version":3,"file":"control-adapter.d.mts","names":[],"sources":["../src/core/control-adapter.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;AAoBA;;;;AAWqE,UAXpD,iBAWoD,CAAA,gBAAA,MAAA,GAAA,MAAA,CAAA,SAV3D,sBAU2D,CAAA,KAAA,EAV7B,OAU6B,CAAA,CAAA;EAAR;;;;;;;;;EA2CA,UAAA,CAAA,MAAA,EA3CxC,qBA2CwC,CAAA,KAAA,EA3CX,OA2CW,CAAA,CAAA,EA3CA,OA2CA,CA3CQ,oBA2CR,GAAA,IAAA,CAAA;EArDnD;;AA8DV;;;;;;;;;;qBArCY,6BAA6B,gDAGpC,QAAQ;;;;;;8BAOiB;;;;;;iCAOG;;;;;;;;;;aAWpB,sBAAsB,0BAA0B;;;;;;;;UAS5C;;;;;;;gBAOD,oBAAoB,WAAW,kBAAkB"}

package/dist/control.d.mts

@@ -1,9 +1,9 @@
-import { A as SqlPlannerFailureResult, C as SqlMigrationRunnerFailure, D as SqlPlannerConflict, E as SqlPlanTargetDetails, F as isDatabaseDependencyProvider, I as SchemaVerifyOptions, L as SqlControlFamilyInstance, M as SqlPlannerSuccessResult, N as StorageTypePlanResult, O as SqlPlannerConflictKind, P as collectInitDependencies, S as SqlMigrationRunnerExecuteOptions, T as SqlMigrationRunnerSuccessValue, _ as SqlMigrationPlanner, a as ComponentDatabaseDependency, b as SqlMigrationRunnerErrorCode, c as ResolveIdentityValueInput, d as SqlControlTargetDescriptor, f as SqlMigrationPlan, g as SqlMigrationPlanOperationTarget, h as SqlMigrationPlanOperationStep, i as ComponentDatabaseDependencies, j as SqlPlannerResult, k as SqlPlannerConflictLocation, l as SqlControlAdapterDescriptor, m as SqlMigrationPlanOperation, n as AnySqlMigrationOperation, o as CreateSqlMigrationPlanOptions, p as SqlMigrationPlanContractInfo, r as CodecControlHooks, s as ExpandNativeTypeInput, t as AnyRecord, u as SqlControlExtensionDescriptor, v as SqlMigrationPlannerPlanOptions, w as SqlMigrationRunnerResult, x as SqlMigrationRunnerExecuteCallbacks, y as SqlMigrationRunner } from "./types-C6K4mxDM.mjs";
+import { A as SqlPlannerFailureResult, C as SqlMigrationRunnerFailure, D as SqlPlannerConflict, E as SqlPlanTargetDetails, F as isDatabaseDependencyProvider, I as SchemaVerifyOptions, L as SqlControlFamilyInstance, M as SqlPlannerSuccessResult, N as StorageTypePlanResult, O as SqlPlannerConflictKind, P as collectInitDependencies, S as SqlMigrationRunnerExecuteOptions, T as SqlMigrationRunnerSuccessValue, _ as SqlMigrationPlanner, a as ComponentDatabaseDependency, b as SqlMigrationRunnerErrorCode, c as ResolveIdentityValueInput, d as SqlControlTargetDescriptor, f as SqlMigrationPlan, g as SqlMigrationPlanOperationTarget, h as SqlMigrationPlanOperationStep, i as ComponentDatabaseDependencies, j as SqlPlannerResult, k as SqlPlannerConflictLocation, l as SqlControlAdapterDescriptor, m as SqlMigrationPlanOperation, n as AnySqlMigrationOperation, o as CreateSqlMigrationPlanOptions, p as SqlMigrationPlanContractInfo, r as CodecControlHooks, s as ExpandNativeTypeInput, t as AnyRecord, u as SqlControlExtensionDescriptor, v as SqlMigrationPlannerPlanOptions, w as SqlMigrationRunnerResult, x as SqlMigrationRunnerExecuteCallbacks, y as SqlMigrationRunner } from "./types-gLyIyd2X.mjs";
 import { ControlFamilyDescriptor, ControlStack, MigrationOperationClass, MigrationOperationPolicy, MigrationOperationPolicy as MigrationOperationPolicy$1, MigrationPlan, MigrationPlanOperation, MigrationPlanner, MigrationPlannerConflict, MigrationPlannerConflict as MigrationPlannerConflict$1, MigrationPlannerResult, TargetMigrationsCapability, assembleAuthoringContributions } from "@prisma-next/framework-components/control";
 import { NotOk, Ok } from "@prisma-next/utils/result";
-import { SqlSchemaIR } from "@prisma-next/sql-schema-ir/types";
 import * as _prisma_next_contract_types0 from "@prisma-next/contract/types";
 import { ColumnDefault, Contract } from "@prisma-next/contract/types";
+import { SqlSchemaIR } from "@prisma-next/sql-schema-ir/types";
 import { TargetBoundComponentDescriptor } from "@prisma-next/framework-components/components";
 import { SqlStorage, StorageColumn } from "@prisma-next/sql-contract/types";
 import * as _prisma_next_framework_components_emission0 from "@prisma-next/framework-components/emission";
@@ -20,6 +20,7 @@ declare class SqlFamilyDescriptor implements ControlFamilyDescriptor<'sql', SqlC
     readonly validateStructure: (contract: _prisma_next_contract_types0.Contract) => void;
     readonly generateStorageType: (contract: _prisma_next_contract_types0.Contract, storageHashTypeName: string) => string;
     readonly generateModelStorageType: (_modelName: string, model: _prisma_next_contract_types0.ContractModel) => string;
+    readonly resolveFieldTypeParams: (_modelName: string, fieldName: string, model: _prisma_next_contract_types0.ContractModel, contract: _prisma_next_contract_types0.Contract) => Record<string, unknown> | undefined;
     readonly getFamilyImports: () => string[];
     readonly getFamilyTypeAliases: (options?: _prisma_next_framework_components_emission0.GenerateContractTypesOptions) => string;
     readonly getTypeMapsExpression: () => string;

package/dist/control.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"control.d.mts","names":[],"sources":["../src/core/control-descriptor.ts","../src/core/assembly.ts","../src/core/migrations/contract-to-schema-ir.ts","../src/core/migrations/plan-helpers.ts","../src/core/migrations/policies.ts","../src/exports/control.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;;cASa,mBAAA,YACA,+BAA+B;;;;;;;uCAAwB,4BAAA,CAAA;;IADvD,SAAA,mBACX,EAAA,CAAA,QAAA,uCAAA,EAAA,mBAAA,EAAA,MAAA,EAAA,GAAA,MAAA;IAA0C,SAAA,wBAAA,EAAA,CAAA,UAAA,EAAA,MAAA,EAAA,KAAA,4CAAA,EAAA,GAAA,MAAA;IAAwB,SAAA,gBAAA,EAAA,GAAA,GAAA,MAAA,EAAA;0FAMhD;;;;;IAOW,SAAA,KAAA,EAAA;MAApB,SAAA,IAAA,EAAA;QACN,SAAA,IAAA,EAAA,aAAA;QAdQ,SAAA,MAAA,EAAA;UAAuB,SAAA,OAAA,EAAA,YAAA;;;;UCYpB,CAAA;QACa,CAAA;MAAd,CAAA;MACA,SAAA,IAAA,EAAA;QAAZ,SAAA,IAAA,EAAA,aAAA;QAAG,SAAA,MAAA,EAAA;;;;YCYM,SAAkB,MAGN,EAAA,EAAA;UAYZ,CAAA;QAuII,CAAA;MACR,CAAA;MACF,SAAA,MAAA,EAAA;QACM,SAAA,IAAA,EAAA,aAAA;QAAwB,SAAA,IAAA,EAAA,SAAA,CAAA;UAiCnB,SAAA,IAAyB,EAAA,QAAA;UAEZ,SAAA,QAAA,EAAA,IAAA;UACH,SAAA,UAAA,EAAA;YACoB,SAAA,IAAA,EAAA;cAAd,SAAA,IAAA,EAAA,QAAA;cAAa,SAAA,QAAA,EAAA,IAAA;cAkBZ,SAAA,OAAA,EAAA,IAAA;cACb,SAAA,OAAA,EAAA,CAAA;cAAT,SAAA,OAAA,EAAA,GAAA;YACD,CAAA;UACR,CAAA;QAAW,CAAA,CAAA;;;;UC1JE,SAAmB,UAAA,EAAA;YACM,SAAA,MAAA,EAAA;cAA9B,SAAA,IAAA,EAAA,KAAA;cACS,SAAA,KAAA,EAAA,CAAA;cAAjB,SAAA,IAAA,EAAA,SAAA,CAAA,MAAA,CAAA;cAAgB,SAAA,OAAA,EAAA,EAAA;YAYW,CAAA;UACL,CAAA;QAAjB,CAAA;MACmB,CAAA;MAAxB,SAAA,KAAA,EAAA;QAAuB,SAAA,IAAA,EAAA,aAAA;QAOV,SAAc,MAAA,EAAqB;UAoBtB,SAAA,OAGtB,EAAA,YAAA;UAYsB,SAAA,UAAA,EAAA,WAAA;UACrB,SAAA,UAAA,EAAA;YAE2B,SAAA,MAAA,EAAA,EAAA;UAC1B,CAAA;QAAN,CAAA;MAAK,CAAA;;;;UCtJK,SAEX,OAAA,EAAA,YAFiC;;;;UC+D8D,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;0CL7CtF,oBAAoB,aAC1B;;;;iBCFW,wBAAA,cACD,cAAc,iDAC1B,YAAY;;;;;;;;;ADff;;;;KE2BY,kBAAA;;;wBAGY,sBFvBJ,CAAA;CAOW,EAAA,GAAA,MAAA;;;;;;;;ACD/B;;AACe,KC4BH,eAAA,GD5BG,CAAA,GAAA,EC4BqB,aD5BrB,EAAA,MAAA,EC4B4C,aD5B5C,EAAA,GAAA,MAAA;;;;;;;ACaf;AAeA;AAuIA;AACQ,iBADQ,wBAAA,CACR,IAAA,EAAA,UAAA,GAAA,IAAA,EAAA,EAAA,EACF,UADE,CAAA,EAAA,SAEI,0BAFJ,EAAA;AACF,UAkCW,yBAAA,CAlCX;EACM,SAAA,mBAAA,EAAA,MAAA;EAAwB,SAAA,gBAAA,CAAA,EAmCN,kBAnCM;EAiCnB,SAAA,aAAA,CAAA,EAGU,eAHe;EAEZ,SAAA,mBAAA,CAAA,EAEG,aAFH,CAEiB,8BAFjB,CAAA,KAAA,EAAA,MAAA,CAAA,CAAA;;;;;AAoB9B;;;;;;;;;ACvJA;;;AAEoB,iBDqJJ,kBAAA,CCrJI,QAAA,EDsJR,QCtJQ,CDsJC,UCtJD,CAAA,GAAA,IAAA,EAAA,OAAA,EDuJT,yBCvJS,CAAA,EDwJjB,WCxJiB;;;iBAFJ,6CACL,8BAA8B,kBACtC,iBAAiB;iBAYJ,qCACR,iBAAiB,kBACtB,wBAAwB;iBAOX,cAAA,qBAAmC,uBAAuB;;;;iBAoB1D,aAAA;;;AH/HhB,CAAA,CAAA,EGkII,EHlIS,CGkIN,8BHjIL,CAAA;;;;iBG6Ic,aAAA,OACR;;SAE2B;IAChC,MAAM;;;;;;cCtJI,sBAAsB;;;AJInC,cK2DiG,QL3DpF,EK2DoF,mBL1D/F"}
+{"version":3,"file":"control.d.mts","names":[],"sources":["../src/core/control-descriptor.ts","../src/core/assembly.ts","../src/core/migrations/contract-to-schema-ir.ts","../src/core/migrations/plan-helpers.ts","../src/core/migrations/policies.ts","../src/exports/control.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;;cASa,mBAAA,YACA,+BAA+B;;;;;;;uCAAwB,4BAAA,CAAA;;IADvD,SAAA,mBACX,EAAA,CAAA,QAAA,uCAAA,EAAA,mBAAA,EAAA,MAAA,EAAA,GAAA,MAAA;IAA0C,SAAA,wBAAA,EAAA,CAAA,UAAA,EAAA,MAAA,EAAA,KAAA,4CAAA,EAAA,GAAA,MAAA;IAAwB,SAAA,sBAAA,EAAA,CAAA,UAAA,EAAA,MAAA,EAAA,SAAA,EAAA,MAAA,EAAA,KAAA,4CAAA,EAAA,QAAA,uCAAA,EAAA,SAAA,CAAA,MAAA,EAAA,OAAA,CAAA,GAAA,SAAA;;0FAY5C;;;;;;;QACO,SAAA,IAAA,EAAA,aAAA;QAApB,SAAA,MAAA,EAAA;UACN,SAAA,OAAA,EAAA,YAAA;UAdQ,SAAA,UAAA,EAAA,WAAA;UAAuB,SAAA,UAAA,EAAA;;;;MCYpB,CAAA;MACa,SAAA,IAAA,EAAA;QAAd,SAAA,IAAA,EAAA,aAAA;QACA,SAAA,MAAA,EAAA;UAAZ,SAAA,OAAA,EAAA,YAAA;UAAG,SAAA,UAAA,EAAA,WAAA;;;;QCYM,CAAA;MAeA,CAAA;MAuII,SAAA,MAAA,EAAA;QACR,SAAA,IAAA,EAAA,aAAA;QACF,SAAA,IAAA,EAAA,SAAA,CAAA;UACM,SAAA,IAAA,EAAA,QAAA;UAAwB,SAAA,QAAA,EAAA,IAAA;UAiCnB,SAAA,UAAyB,EAAA;YAEZ,SAAA,IAAA,EAAA;cACH,SAAA,IAAA,EAAA,QAAA;cACoB,SAAA,QAAA,EAAA,IAAA;cAAd,SAAA,OAAA,EAAA,IAAA;cAAa,SAAA,OAAA,EAAA,CAAA;cAkBZ,SAAA,OAAA,EAAA,GAAA;YACb,CAAA;UAAT,CAAA;QACD,CAAA,CAAA;QACR,SAAA,MAAA,EAAA;UAAW,SAAA,OAAA,EAAA,YAAA;;;;cC1JqB,SAAA,IAAA,EAAA,KAAA;cACM,SAAA,KAAA,EAAA,CAAA;cAA9B,SAAA,IAAA,EAAA,SAAA,CAAA,MAAA,CAAA;cACS,SAAA,OAAA,EAAA,EAAA;YAAjB,CAAA;UAAgB,CAAA;QAaH,CAAA;MACS,CAAA;MAAjB,SAAA,KAAA,EAAA;QACmB,SAAA,IAAA,EAAA,aAAA;QAAxB,SAAA,MAAA,EAAA;UAAuB,SAAA,OAAA,EAAA,YAAA;UAOV,SAAc,UAAqB,EAAA,WAAA;UAoBtB,SAAA,UAGtB,EAAA;YAYsB,SAAA,MAAA,EAAA,EAAA;UACrB,CAAA;QAE2B,CAAA;MAC1B,CAAA;MAAN,SAAA,KAAA,EAAA;QAAK,SAAA,IAAA,EAAA,aAAA;;;;UCvJK,SAEX,UAFiC,EAAA;;;;MC+D8D,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;0CL7CtF,oBAAoB,aAC1B;;;;iBCFW,wBAAA,cACD,cAAc,iDAC1B,YAAY;;;;;;;;;ADff;;;;KE2BY,kBAAA;;;wBAGY;;;;;;;;;;;KAYZ,eAAA,SAAwB,uBAAuB;AD7B3D;;;;;;;;;ACcY,iBAsJI,wBAAA,CAnJc,IAAA,EAoJtB,UApJsB,GAAA,IAAA,EAAA,EAAA,EAqJxB,UArJwB,CAAA,EAAA,SAsJlB,0BAtJkB,EAAA;AAYlB,UA2KK,yBAAA,CA3KmB;EAuIpB,SAAA,mBAAwB,EAAA,MAAA;EAChC,SAAA,gBAAA,CAAA,EAqCsB,kBArCtB;EACF,SAAA,aAAA,CAAA,EAqCqB,eArCrB;EACM,SAAA,mBAAA,CAAA,EAqCqB,aArCrB,CAqCmC,8BArCnC,CAAA,KAAA,EAAA,MAAA,CAAA,CAAA;;AAiCZ;;;;;;AAsBA;;;;;;;;;ACvJgB,iBDuJA,kBAAA,CCvJmB,QAAA,EDwJvB,QCxJuB,CDwJd,UCxJc,CAAA,GAAA,IAAA,EAAA,OAAA,EDyJxB,yBCzJwB,CAAA,ED0JhC,WC1JgC;;;iBAAnB,6CACL,8BAA8B,kBACtC,iBAAiB;iBAaJ,qCACR,iBAAiB,kBACtB,wBAAwB;iBAOX,cAAA,qBAAmC,uBAAuB;;;;iBAoB1D,aAAA;;;AHhIhB,CAAA,CAAA,EGmII,EHnIS,CGmIN,8BHlIL,CAAA;;;;iBG8Ic,aAAA,OACR;;SAE2B;IAChC,MAAM;;;;;;cCvJI,sBAAsB;;;AJInC,cK2DiG,QL3DpF,EK2DoF,mBL1D/F"}