@prisma-next/sql-contract-psl 0.0.1

package/README.md

@@ -0,0 +1,79 @@
+# @prisma-next/sql-contract-psl
+
+PSL-first SQL contract interpretation and provider composition for Prisma Next.
+
+## Overview
+
+`@prisma-next/sql-contract-psl` provides two entrypoints:
+
+- **Pure interpreter** (`@prisma-next/sql-contract-psl`): parsed PSL document -> SQL `ContractIR`
+- **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 generic PSL attributes into SQL contract semantics (`@id`, `@unique`, `@default`, `@relation`, `@map`, `@@map`)
+- 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
+- Enforce extension composition for supported namespaced attributes (for example `@pgvector.column(...)`)
+- Compose provider flow for SQL PSL-first config (`read -> parse -> interpret`)
+- 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
+
+## Non-responsibilities
+
+- Canonical artifact emission (`contract.json`, `contract.d.ts`) and hashing
+- CLI or ControlClient orchestration
+
+The **pure interpreter entrypoint** specifically excludes:
+- File I/O (`schema.prisma` reading)
+- PSL parsing (`parsePslDocument`)
+- 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.
+
+## Public API
+
+- `@prisma-next/sql-contract-psl`
+  - `interpretPslDocumentToSqlContractIR({ document, target? })`
+- `@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.
+
+## 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`
+
+## Architecture
+
+```mermaid
+flowchart LR
+  config[prisma-next.config.ts] --> providerHelper[@prisma-next/sql-contract-psl/provider]
+  providerHelper --> fsRead[read schema.prisma]
+  fsRead --> parser[@prisma-next/psl-parser]
+  parser --> parsed[ParsePslDocumentResult]
+  parsed --> interpreter[@prisma-next/sql-contract-psl]
+  interpreter --> irResult[Result_ContractIR_Diagnostics]
+  irResult --> emit[Framework emit pipeline]
+```
+
+## Related Docs
+
+- `docs/Architecture Overview.md`
+- `docs/architecture docs/subsystems/1. Data Contract.md`
+- `docs/architecture docs/subsystems/2. Contract Emitter & Types.md`
+- `docs/architecture docs/adrs/ADR 006 - Dual Authoring Modes.md`
+- `docs/architecture docs/adrs/ADR 163 - Provider-invoked source interpretation packages.md`

package/dist/index.d.mts

@@ -0,0 +1,16 @@
+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";
+
+//#region src/interpreter.d.ts
+interface InterpretPslDocumentToSqlContractIRInput {
+  readonly document: ParsePslDocumentResult;
+  readonly target?: TargetPackRef<'sql', 'postgres'>;
+  readonly composedExtensionPacks?: readonly string[];
+}
+declare function interpretPslDocumentToSqlContractIR(input: InterpretPslDocumentToSqlContractIRInput): Result<ContractIR, ContractSourceDiagnostics>;
+//#endregion
+export { type InterpretPslDocumentToSqlContractIRInput, interpretPslDocumentToSqlContractIR };
+//# sourceMappingURL=index.d.mts.map

package/dist/index.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.mts","names":[],"sources":["../src/interpreter.ts"],"sourcesContent":[],"mappings":";;;;;;;UAyBiB,wCAAA;qBACI;EADJ,SAAA,MAAA,CAAA,EAEG,aAFH,CAAA,KAAA,EAAA,UAAwC,CAAA;EAulBzC,SAAA,sBAAA,CAAA,EAAA,SAAmC,MAAA,EAAA;;AAEzC,iBAFM,mCAAA,CAEN,KAAA,EADD,wCACC,CAAA,EAAP,MAAO,CAAA,UAAA,EAAY,yBAAZ,CAAA"}

package/dist/index.mjs

@@ -0,0 +1,3 @@
+import { t as interpretPslDocumentToSqlContractIR } from "./interpreter-_6-Xk1_m.mjs";
+
+export { interpretPslDocumentToSqlContractIR };