@prisma-next/sql-contract-psl 0.3.0-dev.71 → 0.4.0-dev.1

package/README.md

@@ -1,26 +1,29 @@
 # @prisma-next/sql-contract-psl
 
-PSL-first SQL contract interpretation and provider composition for Prisma Next.
+PSL-first SQL contract interpretation for Prisma Next.
 
 ## Overview
 
 `@prisma-next/sql-contract-psl` provides two entrypoints:
 
-- **Pure interpreter** (`@prisma-next/sql-contract-psl`): parsed PSL document -> SQL `ContractIR`
+- **Pure interpreter** (`@prisma-next/sql-contract-psl`): parsed PSL document -> SQL `Contract`
 - **Provider helper** (`@prisma-next/sql-contract-psl/provider`): read file -> parse -> interpret -> `ContractConfig`
 
 This keeps core/CLI source-agnostic while giving PSL-first SQL users a one-line config helper.
 
 ## Responsibilities
 
-- Interpret `ParsePslDocumentResult` into SQL `ContractIR`
+- Interpret `ParsePslDocumentResult` into SQL `Contract`
 - Interpret generic PSL attributes into SQL contract semantics (`@id`, `@unique`, `@default`, `@relation`, `@map`, `@@map`)
-- Lower supported default functions through a registry boundary (provider-supplied in v1) so parser/interpreter remain generic
-- Support pgvector parity mapping from PSL attributes to existing TS-representable descriptor shape (`codecId`, `nativeType`, `typeParams`)
+- Lower shared constructor expressions in both `types {}` blocks and inline field positions (for example `ShortName = sql.String(length: 35)` and `embedding pgvector.Vector(length: 1536)?`)
+- Lower supported default functions through composed registry inputs
+- Support selected Postgres native-type attributes on named types for brownfield round-trips (`@db.Char`, `@db.VarChar`, `@db.Numeric`, `@db.Uuid`, `@db.SmallInt`, `@db.Real`, `@db.Timestamp`, `@db.Timestamptz`, `@db.Date`, `@db.Time`, `@db.Timetz`, `@db.Json`)
 - Map PSL relation action tokens to SQL contract referential actions and emit diagnostics for unsupported values
-- Emit deterministic relation metadata in `models.<Model>.relations` and top-level `contract.relations`
-- Enforce extension composition for supported namespaced attributes (for example `@pgvector.column(...)`)
-- Compose provider flow for SQL PSL-first config (`read -> parse -> interpret`)
+- Emit deterministic relation metadata in `models.<Model>.relations`
+- Enforce extension composition for namespaced constructor expressions and emit strict diagnostics for unsupported namespaced attributes
+- Validate generator applicability by declared `codecId` support on composed generator descriptors
+- Consume target-bound scalar descriptors, shared authoring contributions, and mutation-default registries assembled by composition layers
+- Compose provider flow for SQL PSL-first config (`read -> parse -> interpret`) without local registry assembly
 - Preserve parser diagnostics and add interpreter diagnostics with stable codes
 - Return `notOk` with structured diagnostics for unsupported constructs
 - Keep interpretation deterministic for equivalent AST inputs
@@ -39,7 +42,7 @@ The **pure interpreter entrypoint** specifically excludes:
 - Artifact emission (`contract.json`, `contract.d.ts`) and hashing
 - CLI or ControlClient orchestration
 
-Current scope is SQL/Postgres-first: scalar and enum mappings resolve to Postgres codec/native type descriptors in v1.
+Current scope is SQL/Postgres-first: callers pass Postgres-oriented scalar descriptors and target context in v1.
 
 Unsupported PSL constructs in v1 (strict errors):
 
@@ -53,7 +56,7 @@ Unsupported PSL constructs in v1 (strict errors):
 - **Implicit Prisma ORM many-to-many remains unsupported** (list navigation on both sides without explicit join model)
   - Represent many-to-many with an explicit join model (two foreign keys)
 
-Supported `@default(...)` surface in v1:
+Supported `@default(...)` surface in v1 when composed contributors provide handlers:
 
 - Storage defaults: `autoincrement()`, `now()`, literals, `dbgenerated("...")`
 - Execution defaults: `uuid()`, `uuid(4)`, `uuid(7)`, `cuid(2)`, `ulid()`, `nanoid()`, `nanoid(<2-255>)`
@@ -63,23 +66,21 @@ Supported `@default(...)` surface in v1:
 ## Public API
 
 - `@prisma-next/sql-contract-psl`
-  - `interpretPslDocumentToSqlContractIR({ document, target? })`
+  - `interpretPslDocumentToSqlContract({ document, target, scalarTypeDescriptors, authoringContributions?, controlMutationDefaults?, composedExtensionPacks? })`
 - `@prisma-next/sql-contract-psl/provider`
-  - `prismaContract(schemaPath, { output?, target?, composedExtensionPacks? })`
-  - `composedExtensionPacks` is currently a milestone-local string-id hook for namespace
-    availability checks (for example `['pgvector']`); plan to evolve to richer composed pack
-    metadata/manifest inputs before broadening namespaced-attribute validation.
+  - `prismaContract(schemaPath, { output?, target, scalarTypeDescriptors, authoringContributions?, controlMutationDefaults?, composedExtensionPacks? })`
+  - Provider input is fully preassembled by composition layers (for example `@prisma-next/family-sql/control` helpers).
 
 ## Dependencies
 
 - **Depends on**
   - `@prisma-next/psl-parser` for parser + parser result types
   - `@prisma-next/sql-contract-ts` for SQL authoring builder composition
-  - `@prisma-next/core-control-plane` for contract source diagnostics types
   - `pathe` for provider path resolution
   - `@prisma-next/contract` and `@prisma-next/utils`
 - **Used by**
   - PSL contract providers configured via `contract.source`
+  - Composition helpers such as `@prisma-next/family-sql/control` that assemble provider inputs
 
 ## Architecture
 
@@ -90,7 +91,7 @@ flowchart LR
   fsRead --> parser[@prisma-next/psl-parser]
   parser --> parsed[ParsePslDocumentResult]
   parsed --> interpreter[@prisma-next/sql-contract-psl]
-  interpreter --> irResult[Result_ContractIR_Diagnostics]
+  interpreter --> irResult[Result_Contract_Diagnostics]
   irResult --> emit[Framework emit pipeline]
 ```
 

package/dist/default-function-registry-DUMRIhJH.d.mts

@@ -0,0 +1,71 @@
+import { PslSpan } from "@prisma-next/psl-parser";
+import { ContractSourceDiagnostic } from "@prisma-next/config/config-types";
+import { ColumnDefault, ExecutionMutationDefaultValue } from "@prisma-next/contract/types";
+
+//#region src/default-function-registry.d.ts
+interface DefaultFunctionArgument {
+  readonly raw: string;
+  readonly span: PslSpan;
+}
+interface ParsedDefaultFunctionCall {
+  readonly name: string;
+  readonly raw: string;
+  readonly args: readonly DefaultFunctionArgument[];
+  readonly span: PslSpan;
+}
+interface DefaultFunctionLoweringContext {
+  readonly sourceId: string;
+  readonly modelName: string;
+  readonly fieldName: string;
+  readonly columnCodecId?: string;
+}
+type LoweredDefaultValue = {
+  readonly kind: 'storage';
+  readonly defaultValue: ColumnDefault;
+} | {
+  readonly kind: 'execution';
+  readonly generated: ExecutionMutationDefaultValue;
+};
+type LoweredDefaultResult = {
+  readonly ok: true;
+  readonly value: LoweredDefaultValue;
+} | {
+  readonly ok: false;
+  readonly diagnostic: ContractSourceDiagnostic;
+};
+type DefaultFunctionLoweringHandler = (input: {
+  readonly call: ParsedDefaultFunctionCall;
+  readonly context: DefaultFunctionLoweringContext;
+}) => LoweredDefaultResult;
+interface DefaultFunctionRegistryEntry {
+  readonly lower: DefaultFunctionLoweringHandler;
+  readonly usageSignatures?: readonly string[];
+}
+type DefaultFunctionRegistry = ReadonlyMap<string, DefaultFunctionRegistryEntry>;
+interface MutationDefaultGeneratorDescriptor {
+  readonly id: string;
+  readonly applicableCodecIds: readonly string[];
+  readonly resolveGeneratedColumnDescriptor?: (input: {
+    readonly generated: ExecutionMutationDefaultValue;
+  }) => {
+    readonly codecId: string;
+    readonly nativeType: string;
+    readonly typeRef?: string;
+    readonly typeParams?: Record<string, unknown>;
+  } | undefined;
+}
+interface ControlMutationDefaultEntry {
+  readonly lower: (input: {
+    readonly call: ParsedDefaultFunctionCall;
+    readonly context: DefaultFunctionLoweringContext;
+  }) => LoweredDefaultResult;
+  readonly usageSignatures?: readonly string[];
+}
+type ControlMutationDefaultRegistry = ReadonlyMap<string, ControlMutationDefaultEntry>;
+interface ControlMutationDefaults {
+  readonly defaultFunctionRegistry: ControlMutationDefaultRegistry;
+  readonly generatorDescriptors: readonly MutationDefaultGeneratorDescriptor[];
+}
+//#endregion
+export { DefaultFunctionRegistryEntry as a, DefaultFunctionRegistry as i, DefaultFunctionLoweringContext as n, MutationDefaultGeneratorDescriptor as o, DefaultFunctionLoweringHandler as r, ControlMutationDefaults as t };
+//# sourceMappingURL=default-function-registry-DUMRIhJH.d.mts.map

package/dist/default-function-registry-DUMRIhJH.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"default-function-registry-DUMRIhJH.d.mts","names":[],"sources":["../src/default-function-registry.ts"],"sourcesContent":[],"mappings":";;;;;UAIU,uBAAA;;EAAA,SAAA,IAAA,EAEO,OAFP;AAKV;AAOiB,UAPA,yBAAA,CAO8B;EAOnC,SAAA,IAAA,EAAA,MAAA;EAIA,SAAA,GAAA,EAAA,MAAA;EAIA,SAAA,IAAA,EAAA,SAnBc,uBAmBgB,EAAA;EACzB,SAAA,IAAA,EAnBA,OAmBA;;AAEX,UAlBW,8BAAA,CAkBX;EAAoB,SAAA,QAAA,EAAA,MAAA;EAET,SAAA,SAAA,EAAA,MAAA;EAKL,SAAA,SAAA,EAAA,MAAuB;EAElB,SAAA,aAAA,CAAA,EAAA,MAAA;AAejB;AAEmB,KArCP,mBAAA,GAqCO;EACG,SAAA,IAAA,EAAA,SAAA;EACd,SAAA,YAAA,EAtC+C,aAsC/C;CAAoB,GAAA;EAIhB,SAAA,IAAA,EAAA,WAAA;EAEK,SAAA,SAAA,EA3CqC,6BA4ClB;;KA1CxB,oBAAA;;kBAC6B;;;uBACM;;KAEnC,8BAAA;iBACK;oBACG;MACd;UAEW,4BAAA;kBACC;;;KAIN,uBAAA,GAA0B,oBAAoB;UAEzC,kCAAA;;;;wBAIO;;;;;0BAMM;;;UAKb,2BAAA;;mBAEE;sBACG;QACd;;;KAII,8BAAA,GAAiC,oBAAoB;UAEhD,uBAAA;oCACmB;0CACM"}

package/dist/index.d.mts

@@ -1,54 +1,30 @@
+import { a as DefaultFunctionRegistryEntry, i as DefaultFunctionRegistry, n as DefaultFunctionLoweringContext, o as MutationDefaultGeneratorDescriptor, r as DefaultFunctionLoweringHandler, t as ControlMutationDefaults } from "./default-function-registry-DUMRIhJH.mjs";
+import { AuthoringContributions } from "@prisma-next/framework-components/authoring";
 import { Result } from "@prisma-next/utils/result";
 import { ParsePslDocumentResult, PslSpan } from "@prisma-next/psl-parser";
 import { ContractSourceDiagnostic, ContractSourceDiagnostics } from "@prisma-next/config/config-types";
-import { TargetPackRef } from "@prisma-next/contract/framework-components";
-import { ContractIR } from "@prisma-next/contract/ir";
-import { ColumnDefault, ExecutionMutationDefaultValue } from "@prisma-next/contract/types";
+import { ColumnDefault, Contract, ExecutionMutationDefaultValue } from "@prisma-next/contract/types";
+import { ExtensionPackRef, TargetPackRef } from "@prisma-next/framework-components/components";
 
-//#region src/default-function-registry.d.ts
-interface DefaultFunctionArgument {
-  readonly raw: string;
-  readonly span: PslSpan;
-}
-interface ParsedDefaultFunctionCall {
-  readonly name: string;
-  readonly raw: string;
-  readonly args: readonly DefaultFunctionArgument[];
-  readonly span: PslSpan;
-}
-interface DefaultFunctionLoweringContext {
-  readonly sourceId: string;
-  readonly modelName: string;
-  readonly fieldName: string;
-}
-type LoweredDefaultValue = {
-  readonly kind: 'storage';
-  readonly defaultValue: ColumnDefault;
-} | {
-  readonly kind: 'execution';
-  readonly generated: ExecutionMutationDefaultValue;
-};
-type LoweredDefaultResult = {
-  readonly ok: true;
-  readonly value: LoweredDefaultValue;
-} | {
-  readonly ok: false;
-  readonly diagnostic: ContractSourceDiagnostic;
+//#region src/psl-column-resolution.d.ts
+type ColumnDescriptor = {
+  readonly codecId: string;
+  readonly nativeType: string;
+  readonly typeRef?: string;
+  readonly typeParams?: Record<string, unknown>;
 };
-type DefaultFunctionLoweringHandler = (input: {
-  readonly call: ParsedDefaultFunctionCall;
-  readonly context: DefaultFunctionLoweringContext;
-}) => LoweredDefaultResult;
-type DefaultFunctionRegistry = ReadonlyMap<string, DefaultFunctionLoweringHandler>;
 //#endregion
 //#region src/interpreter.d.ts
-interface InterpretPslDocumentToSqlContractIRInput {
+interface InterpretPslDocumentToSqlContractInput {
   readonly document: ParsePslDocumentResult;
-  readonly target?: TargetPackRef<'sql', 'postgres'>;
+  readonly target: TargetPackRef<'sql', 'postgres'>;
+  readonly scalarTypeDescriptors: ReadonlyMap<string, ColumnDescriptor>;
   readonly composedExtensionPacks?: readonly string[];
-  readonly defaultFunctionRegistry?: DefaultFunctionRegistry;
+  readonly composedExtensionPackRefs?: readonly ExtensionPackRef<'sql', 'postgres'>[];
+  readonly controlMutationDefaults?: ControlMutationDefaults;
+  readonly authoringContributions?: AuthoringContributions;
 }
-declare function interpretPslDocumentToSqlContractIR(input: InterpretPslDocumentToSqlContractIRInput): Result<ContractIR, ContractSourceDiagnostics>;
+declare function interpretPslDocumentToSqlContract(input: InterpretPslDocumentToSqlContractInput): Result<Contract, ContractSourceDiagnostics>;
 //#endregion
-export { type InterpretPslDocumentToSqlContractIRInput, interpretPslDocumentToSqlContractIR };
+export { type ControlMutationDefaults, type DefaultFunctionLoweringContext, type DefaultFunctionLoweringHandler, type DefaultFunctionRegistry, type DefaultFunctionRegistryEntry, type InterpretPslDocumentToSqlContractInput, type MutationDefaultGeneratorDescriptor, interpretPslDocumentToSqlContract };
 //# sourceMappingURL=index.d.mts.map

package/dist/index.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.mts","names":[],"sources":["../src/default-function-registry.ts","../src/interpreter.ts"],"sourcesContent":[],"mappings":";;;;;;;;UAIU,uBAAA;;iBAEO;;UAGA,yBAAA;EALP,SAAA,IAAA,EAAA,MAAA;EAKO,SAAA,GAAA,EAAA,MAAA;EAOA,SAAA,IAAA,EAAA,SAJS,uBAIqB,EAAA;EAM1C,SAAA,IAAA,EATY,OASO;AAE2D;AAMvE,UAdK,8BAAA,CAcyB;EACzB,SAAA,QAAA,EAAA,MAAA;EACG,SAAA,SAAA,EAAA,MAAA;EACd,SAAA,SAAA,EAAA,MAAA;;AAEN,KAbK,mBAAA,GAaO;;yBAZ2C;;ECUtC,SAAA,IAAA,EAAA,WAAA;EACI,SAAA,SAAA,EDViC,6BCUjC;CACD;KDTf,oBAAA,GCWgC;EAAuB,SAAA,EAAA,EAAA,IAAA;EA2gC5C,SAAA,KAAA,EDrhCyB,mBCqhCzB;CACP,GAAA;EACC,SAAA,EAAA,EAAA,KAAA;EAAY,SAAA,UAAA,EDthCyB,wBCshCzB;CAAnB;AAAM,KDphCG,8BAAA,GCohCH,CAAA,KAAA,EAAA;iBDnhCQ;oBACG;MACd;KAEM,uBAAA,GAA0B,oBAAoB;;;UCFzC,wCAAA;qBACI;ED9BX,SAAA,MAAA,CAAA,EC+BU,aD/Ba,CAAA,KAEhB,EAAA,UAAO,CAAA;EAGP,SAAA,sBAAyB,CAAA,EAAA,SAGhB,MAAA,EAAA;EAIT,SAAA,uBAAA,CAA8B,ECqBV,uBDrBU;AAI9C;AAMI,iBCshCW,mCAAA,CDphC+B,KAAA,ECqhCtC,wCDrhC8D,CAAA,ECshCpE,MDthCoE,CCshC7D,UDthC6D,ECshCjD,yBDthCiD,CAAA"}
+{"version":3,"file":"index.d.mts","names":[],"sources":["../src/psl-column-resolution.ts","../src/interpreter.ts"],"sourcesContent":[],"mappings":";;;;;;;;;KAmCY,gBAAA;;;;EAAA,SAAA,UAAgB,CAAA,EAIJ,MAJI,CAAA,MAIJ,EAAA,OAAM,CAAA;;;;UCsCb,sCAAA;ED1CL,SAAA,QAAA,EC2CS,sBDvCS;mBCwCX;kCACe,oBAAoB;;EAHrC,SAAA,yBAAA,CAAA,EAAA,SAK+B,gBALO,CAAA,KAAA,EAAA,UAAA,CAAA,EAAA;EAClC,SAAA,uBAAA,CAAA,EAKgB,uBALhB;EACF,SAAA,sBAAA,CAAA,EAKiB,sBALjB;;AACe,iBAu/BlB,iCAAA,CAv/BkB,KAAA,EAw/BzB,sCAx/ByB,CAAA,EAy/B/B,MAz/B+B,CAy/BxB,QAz/BwB,EAy/Bd,yBAz/Bc,CAAA"}

package/dist/index.mjs

@@ -1,3 +1,3 @@
-import { t as interpretPslDocumentToSqlContractIR } from "./interpreter-IXr5c7s7.mjs";
+import { t as interpretPslDocumentToSqlContract } from "./interpreter-iFCRN9nb.mjs";
 
-export { interpretPslDocumentToSqlContractIR };
+export { interpretPslDocumentToSqlContract };