@prisma-next/sql-contract-psl 0.3.0-dev.128 → 0.3.0-dev.147

package/README.md

@@ -6,20 +6,20 @@ PSL-first SQL contract interpretation for Prisma Next.
 
 `@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 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`)
 - Support pgvector parity mapping from PSL attributes to existing TS-representable descriptor shape (`codecId`, `nativeType`, `typeParams`)
 - 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`
+- Emit deterministic relation metadata in `models.<Model>.relations`
 - Enforce extension composition for supported namespaced attributes (for example `@pgvector.column(...)`)
 - Validate generator applicability by declared `codecId` support on composed generator descriptors
 - Consume target-bound scalar descriptors and mutation-default registries assembled by composition layers
@@ -66,7 +66,7 @@ Supported `@default(...)` surface in v1 when composed contributors provide handl
 ## Public API
 
 - `@prisma-next/sql-contract-psl`
-  - `interpretPslDocumentToSqlContractIR({ document, target, scalarTypeDescriptors, controlMutationDefaults?, composedExtensionPacks? })`
+  - `interpretPslDocumentToSqlContract({ document, target, scalarTypeDescriptors, controlMutationDefaults?, composedExtensionPacks? })`
 - `@prisma-next/sql-contract-psl/provider`
   - `prismaContract(schemaPath, { output?, target, scalarTypeDescriptors, controlMutationDefaults?, composedExtensionPacks? })`
   - Provider input is fully preassembled by composition layers (for example `@prisma-next/family-sql/control` helpers).
@@ -76,7 +76,6 @@ Supported `@default(...)` surface in v1 when composed contributors provide handl
 - **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**
@@ -92,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/index.d.mts

@@ -1,25 +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 } from "@prisma-next/psl-parser";
-import { ContractSourceDiagnostics } from "@prisma-next/config/config-types";
-import { TargetPackRef } from "@prisma-next/contract/framework-components";
-import { ContractIR } from "@prisma-next/contract/ir";
+import { ContractSourceDiagnostic, ContractSourceDiagnostics } from "@prisma-next/config/config-types";
+import { ColumnDefault, Contract, ExecutionMutationDefaultValue } from "@prisma-next/contract/types";
+import { ExtensionPackRef, TargetPackRef } from "@prisma-next/framework-components/components";
 
-//#region src/interpreter.d.ts
+//#region src/psl-column-resolution.d.ts
 type ColumnDescriptor = {
   readonly codecId: string;
   readonly nativeType: string;
   readonly typeRef?: string;
   readonly typeParams?: Record<string, unknown>;
 };
-interface InterpretPslDocumentToSqlContractIRInput {
+//#endregion
+//#region src/interpreter.d.ts
+interface InterpretPslDocumentToSqlContractInput {
   readonly document: ParsePslDocumentResult;
   readonly target: TargetPackRef<'sql', 'postgres'>;
   readonly scalarTypeDescriptors: ReadonlyMap<string, ColumnDescriptor>;
   readonly composedExtensionPacks?: readonly string[];
+  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 ControlMutationDefaults, type DefaultFunctionLoweringContext, type DefaultFunctionLoweringHandler, type DefaultFunctionRegistry, type DefaultFunctionRegistryEntry, type InterpretPslDocumentToSqlContractIRInput, type MutationDefaultGeneratorDescriptor, 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/interpreter.ts"],"sourcesContent":[],"mappings":";;;;;;;;KA2BK,gBAAA;;EAAA,SAAA,UAAgB,EAAA,MAAA;EAOJ,SAAA,OAAA,CAAA,EAAA,MAAA;EACI,SAAA,UAAA,CAAA,EAJG,MAIH,CAAA,MAAA,EAAA,OAAA,CAAA;CACF;AACmC,UAHrC,wCAAA,CAGqC;EAApB,SAAA,QAAA,EAFb,sBAEa;EAEG,SAAA,MAAA,EAHlB,aAGkB,CAAA,KAAA,EAAA,UAAA,CAAA;EAAuB,SAAA,qBAAA,EAF1B,WAE0B,CAAA,MAAA,EAFN,gBAEM,CAAA;EAo0C5C,SAAA,sBAAA,CAAA,EAAA,SAAmC,MAAA,EAAA;EAC1C,SAAA,uBAAA,CAAA,EAr0C4B,uBAq0C5B;;AACa,iBAFN,mCAAA,CAEM,KAAA,EADb,wCACa,CAAA,EAAnB,MAAmB,CAAZ,UAAY,EAAA,yBAAA,CAAA"}
+{"version":3,"file":"index.d.mts","names":[],"sources":["../src/psl-column-resolution.ts","../src/interpreter.ts"],"sourcesContent":[],"mappings":";;;;;;;;;KA2BY,gBAAA;;;;EAAA,SAAA,UAAgB,CAAA,EAIJ,MAJI,CAAA,MAIJ,EAAA,OAAM,CAAA;;;;UC4Cb,sCAAA;EDhDL,SAAA,QAAA,ECiDS,sBD7CS;mBC8CX;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,iBAm4BlB,iCAAA,CAn4BkB,KAAA,EAo4BzB,sCAp4ByB,CAAA,EAq4B/B,MAr4B+B,CAq4BxB,QAr4BwB,EAq4Bd,yBAr4Bc,CAAA"}

package/dist/index.mjs

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