@prisma-next/sql-contract 0.12.0-dev.7 → 0.12.0-dev.70

package/dist/sql-storage-BQDI6Xrg.d.mts

@@ -0,0 +1,312 @@
+import { n as ForeignKeyInput, o as SqlNode, t as ForeignKey } from "./foreign-key-BATxB95l.mjs";
+import { Namespace, Storage, StorageType } from "@prisma-next/framework-components/ir";
+import { ColumnDefault, ControlPolicy, StorageHashBase, ValueSetRef } from "@prisma-next/contract/types";
+
+//#region src/ir/check-constraint.d.ts
+/**
+ * Hydration / construction input shape for {@link CheckConstraint}.
+ * Mirrors the on-disk storage JSON envelope so the serializer hydration
+ * walker can hand a validated literal straight to `new`.
+ */
+interface CheckConstraintInput {
+  readonly name: string;
+  readonly column: string;
+  readonly valueSet: ValueSetRef;
+}
+/**
+ * SQL Contract IR node for a table-level check constraint that restricts
+ * a column to the permitted values of a value-set.
+ *
+ * The constraint is **structured** (names a column and a value-set
+ * reference), not a raw SQL expression. Each target renders its own DDL
+ * from the structured form, keeping the contract target-agnostic.
+ *
+ * Construction is idempotent: passing an existing `CheckConstraint`
+ * instance as input produces a new instance with identical fields.
+ * The constructor does not use `instanceof` for input discrimination —
+ * it reads plain named properties, which is sufficient since
+ * `CheckConstraintInput` is a structural type.
+ */
+declare class CheckConstraint extends SqlNode {
+  readonly name: string;
+  readonly column: string;
+  readonly valueSet: ValueSetRef;
+  constructor(input: CheckConstraintInput);
+}
+//#endregion
+//#region src/ir/primary-key.d.ts
+interface PrimaryKeyInput {
+  readonly columns: readonly string[];
+  readonly name?: string;
+}
+/**
+ * SQL Contract IR node for a table's primary-key constraint.
+ */
+declare class PrimaryKey extends SqlNode {
+  readonly columns: readonly string[];
+  readonly name?: string;
+  constructor(input: PrimaryKeyInput);
+}
+//#endregion
+//#region src/ir/sql-index.d.ts
+interface IndexInput {
+  readonly columns: readonly string[];
+  readonly name?: string;
+  readonly type?: string;
+  readonly options?: Record<string, unknown>;
+}
+/**
+ * SQL Contract IR node for a table-level secondary index.
+ *
+ * Note that this class shadows the global TypeScript `Index` lib type
+ * at the family-shared name; consumer files that need both should
+ * alias one (e.g.
+ * `import { Index as SqlIndexNode } from '@prisma-next/sql-contract/types'`).
+ */
+declare class Index extends SqlNode {
+  readonly columns: readonly string[];
+  readonly name?: string;
+  readonly type?: string;
+  readonly options?: Record<string, unknown>;
+  constructor(input: IndexInput);
+}
+//#endregion
+//#region src/ir/storage-column.d.ts
+/**
+ * Hydration / construction input shape for {@link StorageColumn}. Mirrors
+ * the on-disk storage JSON envelope exactly so the family-base
+ * serializer's hydration walker can hand an arktype-validated literal
+ * straight to `new`.
+ *
+ * `typeParams` and `typeRef` remain mutually exclusive (one or the
+ * other, not both); the constructor preserves whichever caller-side
+ * choice the input encodes.
+ */
+interface StorageColumnInput {
+  readonly nativeType: string;
+  readonly codecId: string;
+  readonly nullable: boolean;
+  readonly typeParams?: Record<string, unknown>;
+  readonly typeRef?: string;
+  readonly default?: ColumnDefault;
+  readonly control?: ControlPolicy;
+  readonly valueSet?: ValueSetRef;
+}
+/**
+ * SQL Contract IR node for a single column entry in `StorageTable.columns`.
+ *
+ * Single concrete family-shared class — every SQL target reads the
+ * same column shape today, so there is no per-target subclass. The
+ * class type accepts any caller that constructs via
+ * `new StorageColumn(input)`; literal construction sites must pass
+ * through the constructor or the family-base hydration walker.
+ *
+ * The column's `name` is not on the class — columns are keyed by name
+ * in the parent `StorageTable.columns: Record<string, StorageColumn>`
+ * map, so a `name` field would be redundant with the key.
+ */
+declare class StorageColumn extends SqlNode {
+  readonly nativeType: string;
+  readonly codecId: string;
+  readonly nullable: boolean;
+  readonly typeParams?: Record<string, unknown>;
+  readonly typeRef?: string;
+  readonly default?: ColumnDefault;
+  readonly control?: ControlPolicy;
+  readonly valueSet?: ValueSetRef;
+  constructor(input: StorageColumnInput);
+}
+//#endregion
+//#region src/ir/unique-constraint.d.ts
+interface UniqueConstraintInput {
+  readonly columns: readonly string[];
+  readonly name?: string;
+}
+/**
+ * SQL Contract IR node for a table-level unique constraint.
+ */
+declare class UniqueConstraint extends SqlNode {
+  readonly columns: readonly string[];
+  readonly name?: string;
+  constructor(input: UniqueConstraintInput);
+}
+//#endregion
+//#region src/ir/storage-table.d.ts
+interface StorageTableInput {
+  readonly columns: Record<string, StorageColumn | StorageColumnInput>;
+  readonly primaryKey?: PrimaryKey | PrimaryKeyInput;
+  readonly uniques: ReadonlyArray<UniqueConstraint | UniqueConstraintInput>;
+  readonly indexes: ReadonlyArray<Index | IndexInput>;
+  readonly foreignKeys: ReadonlyArray<ForeignKey | ForeignKeyInput>;
+  readonly control?: ControlPolicy;
+  readonly checks?: ReadonlyArray<CheckConstraint | CheckConstraintInput>;
+}
+/**
+ * SQL Contract IR node for a single table entry in a namespace's
+ * `tables` map.
+ *
+ * The constructor normalises nested IR-class fields (columns, primary
+ * key, uniques, indexes, foreign keys) into the appropriate class
+ * instances so downstream walks see a uniform AST regardless of whether
+ * the input was a JSON literal or an already-constructed class.
+ *
+ * The table's `name` is not on the class — tables are keyed by name in
+ * the parent namespace's `tables: Record<string, StorageTable>` map.
+ */
+declare class StorageTable extends SqlNode {
+  readonly columns: Readonly<Record<string, StorageColumn>>;
+  readonly uniques: ReadonlyArray<UniqueConstraint>;
+  readonly indexes: ReadonlyArray<Index>;
+  readonly foreignKeys: ReadonlyArray<ForeignKey>;
+  readonly primaryKey?: PrimaryKey;
+  readonly control?: ControlPolicy;
+  readonly checks?: ReadonlyArray<CheckConstraint>;
+  constructor(input: StorageTableInput);
+}
+//#endregion
+//#region src/ir/storage-type-instance.d.ts
+/**
+ * Sentinel kind for the legacy codec-triple shape persisted under
+ * `SqlStorage.types`. Plain JSON-clean object literals carry this
+ * discriminator so the polymorphic slot dispatch can route them down
+ * the codec path while target-specific IR class instances (e.g. the
+ * Postgres enum class) keep their own narrower `kind` literal.
+ */
+declare const CODEC_INSTANCE_KIND: "codec-instance";
+/**
+ * Structural sub-interface of {@link StorageType} for codec-typed entries
+ * in `SqlStorage.types`. These are plain object literals — there is no
+ * runtime IR class, the JSON envelope round-trips through the slot
+ * unchanged. The `kind: 'codec-instance'` discriminator is the dispatch
+ * key that distinguishes codec-typed entries from class-instance entries
+ * (e.g. `PostgresEnumType`) sharing the polymorphic slot.
+ */
+interface StorageTypeInstance extends StorageType {
+  readonly kind: typeof CODEC_INSTANCE_KIND;
+  readonly codecId: string;
+  readonly nativeType: string;
+  readonly typeParams: Record<string, unknown>;
+}
+/**
+ * Construction-time input for a codec-triple entry. Symmetric with the
+ * structural runtime shape minus the `kind` discriminator — callers may
+ * omit `kind`; the helper {@link toStorageTypeInstance} stamps it on.
+ */
+interface StorageTypeInstanceInput {
+  readonly codecId: string;
+  readonly nativeType: string;
+  readonly typeParams: Record<string, unknown>;
+}
+/**
+ * Stamp the codec-instance `kind` discriminator on a caller-supplied
+ * codec triple. Idempotent: input that already carries the discriminator
+ * passes through unchanged.
+ */
+declare function toStorageTypeInstance(input: StorageTypeInstanceInput): StorageTypeInstance;
+/**
+ * Type-guard for codec-typed entries on the polymorphic
+ * `SqlStorage.types` slot. Distinguishes `StorageTypeInstance` from
+ * class-instance kinds (e.g. `PostgresEnumType`).
+ */
+declare function isStorageTypeInstance(value: unknown): value is StorageTypeInstance;
+//#endregion
+//#region src/ir/storage-value-set.d.ts
+/**
+ * Hydration / construction input shape for {@link StorageValueSet}.
+ * Mirrors the on-disk storage JSON envelope so the serializer hydration
+ * walker can hand a validated literal straight to `new`.
+ */
+interface StorageValueSetInput {
+  readonly kind: 'value-set';
+  /** Ordered permitted values, codec-encoded. Declaration order is preserved. */
+  readonly values: readonly string[];
+}
+/**
+ * SQL Contract IR node for a value-set entry in a namespace's `valueSet`
+ * map (`SqlNamespace.entries.valueSet`).
+ *
+ * A value-set records the ordered set of permitted codec-encoded values for
+ * an enum-like column restriction. It does not carry a `codecId` — the
+ * column that references it already holds the codec; the value-set holds
+ * only the permitted values.
+ *
+ * The node's `kind` is enumerable (`'value-set'`) so the JSON envelope
+ * carries the discriminator and the serializer hydration walker can
+ * dispatch on it. This follows the per-leaf enumerable-kind convention
+ * established in the SQL-node comment (future polymorphic dispatch on
+ * namespace entries needs the discriminator in JSON).
+ *
+ * The entry's name is not on the class — value-sets are keyed by name in
+ * the parent namespace's `valueSet: Record<string, StorageValueSet>` map.
+ */
+declare class StorageValueSet extends SqlNode {
+  readonly kind: "value-set";
+  readonly values: readonly string[];
+  constructor(input: StorageValueSetInput);
+}
+//#endregion
+//#region src/ir/sql-storage.d.ts
+/**
+ * Polymorphic value type for document-scoped `SqlStorage.types` entries
+ * (codec aliases / parameterised native type registrations).
+ *
+ * Postgres native enum registrations live under the postgres-specific
+ * `entries.type` slot on `PostgresSchema` (target layer), not here.
+ */
+type SqlStorageTypeEntry = StorageTypeInstance | StorageTypeInstanceInput;
+interface SqlNamespaceTablesInput {
+  readonly id: string;
+  readonly entries: {
+    readonly table: Record<string, StorageTable | StorageTableInput>;
+    readonly valueSet?: Record<string, StorageValueSet | StorageValueSetInput>;
+  };
+}
+interface SqlStorageInput<THash extends string = string> {
+  readonly storageHash: StorageHashBase<THash>;
+  readonly types?: Record<string, SqlStorageTypeEntry>;
+  readonly namespaces: Readonly<Record<string, SqlNamespace>>;
+}
+/**
+ * SQL Contract IR root node for the `storage` field.
+ *
+ * Single concrete family-shared class — both Postgres and SQLite
+ * consume this class today. Per-target storage subclasses are
+ * introduced when each target's namespace shape earns its
+ * target-specific concretion (target-specific derived fields,
+ * target-specific storage extensions).
+ *
+ * Honours the framework `Storage` interface: every SQL IR carries a
+ * `namespaces` map keyed by namespace id. Callers must supply fully
+ * constructed `Namespace` instances — construction discipline lives
+ * in the authoring builders and deserializer hydration paths.
+ *
+ * The constructor normalises optional `types` into class instances.
+ * `types` is polymorphic per Decision 18 Option B: codec-triple inputs
+ * are stamped with `kind: 'codec-instance'`; hydration of raw JSON
+ * class-instance entries (carrying their narrower `kind` literal) is
+ * the per-target serializer's responsibility (so the family base does
+ * not import target-specific subclasses).
+ */
+type SqlNamespace = Namespace & {
+  readonly entries: Readonly<{
+    readonly table: Readonly<Record<string, StorageTable>>;
+    readonly valueSet?: Readonly<Record<string, StorageValueSet>>;
+  }>;
+  /**
+   * Render a dialect-qualified table reference for runtime SQL emission.
+   * Present on materialised target concretions (`PostgresSchema`,
+   * `SqliteDatabase`, …) and family placeholders; omitted on emitted
+   * contract structural namespace literals (methods are not serialised).
+   */
+  qualifyTable?(tableName: string): string;
+};
+declare class SqlStorage<THash extends string = string> extends SqlNode implements Storage {
+  readonly storageHash: StorageHashBase<THash>;
+  readonly namespaces: Readonly<Record<string, SqlNamespace>>;
+  readonly types?: Readonly<Record<string, StorageTypeInstance>>;
+  constructor(input: SqlStorageInput<THash>);
+}
+declare function storageTableAt(storage: SqlStorage, namespaceId: string, tableName: string): StorageTable | undefined;
+//#endregion
+export { PrimaryKeyInput as C, PrimaryKey as S, CheckConstraintInput as T, UniqueConstraintInput as _, SqlStorageTypeEntry as a, Index as b, StorageValueSetInput as c, StorageTypeInstanceInput as d, isStorageTypeInstance as f, UniqueConstraint as g, StorageTableInput as h, SqlStorageInput as i, CODEC_INSTANCE_KIND as l, StorageTable as m, SqlNamespaceTablesInput as n, storageTableAt as o, toStorageTypeInstance as p, SqlStorage as r, StorageValueSet as s, SqlNamespace as t, StorageTypeInstance as u, StorageColumn as v, CheckConstraint as w, IndexInput as x, StorageColumnInput as y };
+//# sourceMappingURL=sql-storage-BQDI6Xrg.d.mts.map

package/dist/sql-storage-BQDI6Xrg.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sql-storage-BQDI6Xrg.d.mts","names":[],"sources":["../src/ir/check-constraint.ts","../src/ir/primary-key.ts","../src/ir/sql-index.ts","../src/ir/storage-column.ts","../src/ir/unique-constraint.ts","../src/ir/storage-table.ts","../src/ir/storage-type-instance.ts","../src/ir/storage-value-set.ts","../src/ir/sql-storage.ts"],"mappings":";;;;;;;;AASA;;UAAiB,oBAAA;EAAA,SACN,IAAA;EAAA,SACA,MAAA;EAAA,SACA,QAAA,EAAU,WAAW;AAAA;;;AAAA;AAiBhC;;;;;;;;;;;cAAa,eAAA,SAAwB,OAAA;EAAA,SAC1B,IAAA;EAAA,SACA,MAAA;EAAA,SACA,QAAA,EAAU,WAAA;cAEP,KAAA,EAAO,oBAAA;AAAA;;;UC/BJ,eAAA;EAAA,SACN,OAAA;EAAA,SACA,IAAI;AAAA;ADIf;;;AAAA,cCEa,UAAA,SAAmB,OAAO;EAAA,SAC5B,OAAA;EAAA,SACQ,IAAA;cAEL,KAAA,EAAO,eAAA;AAAA;;;UCZJ,UAAA;EAAA,SACN,OAAA;EAAA,SACA,IAAA;EAAA,SACA,IAAA;EAAA,SACA,OAAA,GAAU,MAAM;AAAA;;;;;;;;AFKK;cEMnB,KAAA,SAAc,OAAA;EAAA,SAChB,OAAA;EAAA,SACQ,IAAA;EAAA,SACA,IAAA;EAAA,SACA,OAAA,GAAU,MAAA;cAEf,KAAA,EAAO,UAAA;AAAA;;;;;;AFfrB;;;;;;;UGKiB,kBAAA;EAAA,SACN,UAAA;EAAA,SACA,OAAA;EAAA,SACA,QAAA;EAAA,SACA,UAAA,GAAa,MAAA;EAAA,SACb,OAAA;EAAA,SACA,OAAA,GAAU,aAAA;EAAA,SACV,OAAA,GAAU,aAAA;EAAA,SACV,QAAA,GAAW,WAAA;AAAA;;;;;;;;;;;AHYmB;;;cGI5B,aAAA,SAAsB,OAAA;EAAA,SACxB,UAAA;EAAA,SACA,OAAA;EAAA,SACA,QAAA;EAAA,SACQ,UAAA,GAAa,MAAA;EAAA,SACb,OAAA;EAAA,SACA,OAAA,GAAU,aAAA;EAAA,SACV,OAAA,GAAU,aAAA;EAAA,SACV,QAAA,GAAW,WAAA;cAEhB,KAAA,EAAO,kBAAA;AAAA;;;UC7CJ,qBAAA;EAAA,SACN,OAAA;EAAA,SACA,IAAI;AAAA;AJIf;;;AAAA,cIEa,gBAAA,SAAyB,OAAO;EAAA,SAClC,OAAA;EAAA,SACQ,IAAA;cAEL,KAAA,EAAO,qBAAA;AAAA;;;UCLJ,iBAAA;EAAA,SACN,OAAA,EAAS,MAAA,SAAe,aAAA,GAAgB,kBAAA;EAAA,SACxC,UAAA,GAAa,UAAA,GAAa,eAAA;EAAA,SAC1B,OAAA,EAAS,aAAA,CAAc,gBAAA,GAAmB,qBAAA;EAAA,SAC1C,OAAA,EAAS,aAAA,CAAc,KAAA,GAAQ,UAAA;EAAA,SAC/B,WAAA,EAAa,aAAA,CAAc,UAAA,GAAa,eAAA;EAAA,SACxC,OAAA,GAAU,aAAA;EAAA,SACV,MAAA,GAAS,aAAA,CAAc,eAAA,GAAkB,oBAAA;AAAA;;;;;;;;;;;;;cAevC,YAAA,SAAqB,OAAA;EAAA,SACvB,OAAA,EAAS,QAAA,CAAS,MAAA,SAAe,aAAA;EAAA,SACjC,OAAA,EAAS,aAAA,CAAc,gBAAA;EAAA,SACvB,OAAA,EAAS,aAAA,CAAc,KAAA;EAAA,SACvB,WAAA,EAAa,aAAA,CAAc,UAAA;EAAA,SACnB,UAAA,GAAa,UAAA;EAAA,SACb,OAAA,GAAU,aAAA;EAAA,SACV,MAAA,GAAS,aAAA,CAAc,eAAA;cAE5B,KAAA,EAAO,iBAAA;AAAA;;;;;;;ALhCrB;;;cMAa,mBAAA;;;;;;ANGmB;AAiBhC;;UMViB,mBAAA,SAA4B,WAAA;EAAA,SAClC,IAAA,SAAa,mBAAA;EAAA,SACb,OAAA;EAAA,SACA,UAAA;EAAA,SACA,UAAA,EAAY,MAAA;AAAA;;;;;;UAQN,wBAAA;EAAA,SACN,OAAA;EAAA,SACA,UAAA;EAAA,SACA,UAAA,EAAY,MAAM;AAAA;;;;AL/B7B;;iBKuCgB,qBAAA,CAAsB,KAAA,EAAO,wBAAA,GAA2B,mBAAmB;;ALrC5E;AAMf;;;iBK6CgB,qBAAA,CAAsB,KAAA,YAAiB,KAAA,IAAS,mBAAmB;;;;;;;AN/CnF;UODiB,oBAAA;EAAA,SACN,IAAA;EPGqB;EAAA,SODrB,MAAM;AAAA;;;;APCe;AAiBhC;;;;;;;;;;;;;;cOGa,eAAA,SAAwB,OAAO;EAAA,SACxB,IAAA;EAAA,SACT,MAAA;cAEG,KAAA,EAAO,oBAAA;AAAA;;;;;;;;;;KClBT,mBAAA,GAAsB,mBAAA,GAAsB,wBAAwB;AAAA,UAE/D,uBAAA;EAAA,SACN,EAAA;EAAA,SACA,OAAA;IAAA,SACE,KAAA,EAAO,MAAA,SAAe,YAAA,GAAe,iBAAA;IAAA,SACrC,QAAA,GAAW,MAAA,SAAe,eAAA,GAAkB,oBAAA;EAAA;AAAA;AAAA,UAIxC,eAAA;EAAA,SACN,WAAA,EAAa,eAAA,CAAgB,KAAA;EAAA,SAC7B,KAAA,GAAQ,MAAA,SAAe,mBAAA;EAAA,SACvB,UAAA,EAAY,QAAA,CAAS,MAAA,SAAe,YAAA;AAAA;;;;;;;ARGN;;;;AC/BzC;;;;AAEe;AAMf;;;;;;KOkDY,YAAA,GAAe,SAAA;EAAA,SAChB,OAAA,EAAS,QAAA;IAAA,SACP,KAAA,EAAO,QAAA,CAAS,MAAA,SAAe,YAAA;IAAA,SAC/B,QAAA,GAAW,QAAA,CAAS,MAAA,SAAe,eAAA;EAAA;EPjDZ;;;;ACZpC;;EMqEE,YAAA,EAAc,SAAA;AAAA;AAAA,cAGH,UAAA,wCAAkD,OAAA,YAAmB,OAAA;EAAA,SACvE,WAAA,EAAa,eAAA,CAAgB,KAAA;EAAA,SAC7B,UAAA,EAAY,QAAA,CAAS,MAAA,SAAe,YAAA;EAAA,SAC5B,KAAA,GAAQ,QAAA,CAAS,MAAA,SAAe,mBAAA;cAErC,KAAA,EAAO,eAAA,CAAgB,KAAA;AAAA;AAAA,iBAerB,cAAA,CACd,OAAA,EAAS,UAAA,EACT,WAAA,UACA,SAAA,WACC,YAAY"}

package/dist/{types-YQrDHy-b.mjs → types-BulBf1Cm.mjs}

@@ -16,9 +16,10 @@ import { asNamespaceId } from "@prisma-next/contract/types";
 * envelope and runtime walk are honest at every layer.
 *
 * The `kind` discriminator is installed as a non-enumerable own property
-* so the JSON envelope reads `{ "id": "__unbound__" }` — symmetric
-* with the family-level non-enumerable `kind` on `SqlNode` and bounded
-* to the minimum data the framework `Namespace` interface promises.
+* so the JSON envelope reads `{ "id": "__unbound__", "entries": { … } }`
+* — symmetric with the family-level non-enumerable `kind` on `SqlNode`
+* and bounded to the minimum data the framework `Namespace` interface
+* promises.
 *
 * **Freeze-trap warning.** The leaf constructor calls
 * `freezeNode(this)` after installing `kind`. The leaf-class shape
@@ -35,7 +36,7 @@ import { asNamespaceId } from "@prisma-next/contract/types";
 var SqlUnboundNamespace = class SqlUnboundNamespace extends NamespaceBase {
 	static instance = new SqlUnboundNamespace();
 	id = UNBOUND_NAMESPACE_ID;
-	tables = Object.freeze({});
+	entries = Object.freeze({ table: Object.freeze({}) });
 	constructor() {
 		super();
 		Object.defineProperty(this, "kind", {
@@ -46,6 +47,9 @@ var SqlUnboundNamespace = class SqlUnboundNamespace extends NamespaceBase {
 		});
 		freezeNode(this);
 	}
+	qualifyTable(tableName) {
+		return `"${tableName}"`;
+	}
 };
 //#endregion
 //#region src/ir/sql-node.ts
@@ -94,11 +98,48 @@ var SqlNode = class extends IRNodeBase {
 	}
 };
 //#endregion
+//#region src/ir/check-constraint.ts
+/**
+* SQL Contract IR node for a table-level check constraint that restricts
+* a column to the permitted values of a value-set.
+*
+* The constraint is **structured** (names a column and a value-set
+* reference), not a raw SQL expression. Each target renders its own DDL
+* from the structured form, keeping the contract target-agnostic.
+*
+* Construction is idempotent: passing an existing `CheckConstraint`
+* instance as input produces a new instance with identical fields.
+* The constructor does not use `instanceof` for input discrimination —
+* it reads plain named properties, which is sufficient since
+* `CheckConstraintInput` is a structural type.
+*/
+var CheckConstraint = class extends SqlNode {
+	name;
+	column;
+	valueSet;
+	constructor(input) {
+		super();
+		this.name = input.name;
+		this.column = input.column;
+		this.valueSet = input.valueSet;
+		freezeNode(this);
+	}
+};
+//#endregion
 //#region src/ir/foreign-key-reference.ts
 /**
 * SQL Contract IR node for one side (source or target) of a foreign-key
 * declaration. Carries the full coordinate: namespace, table, and columns.
 *
+* Cross-space discrimination is based on `spaceId` presence: absent means
+* local (same contract-space); present means cross-space (the referenced
+* table lives in the contract-space identified by `spaceId`).
+*
+* For local references `spaceId` is absent from JSON, keeping the serialized
+* shape byte-identical to contracts authored before cross-space support was
+* added. For cross-space references `spaceId` appears in JSON so round-trips
+* are lossless.
+*
 * Use `UNBOUND_NAMESPACE_ID` from `@prisma-next/framework-components/ir`
 * as the sentinel `namespaceId` for single-namespace (unbound) references.
 */
@@ -111,6 +152,7 @@ var ForeignKeyReference = class extends SqlNode {
 		this.namespaceId = asNamespaceId(input.namespaceId);
 		this.tableName = input.tableName;
 		this.columns = input.columns;
+		if (input.spaceId !== void 0) this.spaceId = input.spaceId;
 		freezeNode(this);
 	}
 };
@@ -208,6 +250,7 @@ var StorageColumn = class extends SqlNode {
 		if (input.typeRef !== void 0) this.typeRef = input.typeRef;
 		if (input.default !== void 0) this.default = input.default;
 		if (input.control !== void 0) this.control = input.control;
+		if (input.valueSet !== void 0) this.valueSet = input.valueSet;
 		freezeNode(this);
 	}
 };
@@ -252,6 +295,36 @@ var StorageTable = class extends SqlNode {
 		this.indexes = Object.freeze(input.indexes.map((i) => i instanceof Index ? i : new Index(i)));
 		this.foreignKeys = Object.freeze(input.foreignKeys.map((fk) => fk instanceof ForeignKey ? fk : new ForeignKey(fk)));
 		if (input.control !== void 0) this.control = input.control;
+		if (input.checks !== void 0 && input.checks.length > 0) this.checks = Object.freeze(input.checks.map((cc) => new CheckConstraint(cc)));
+		freezeNode(this);
+	}
+};
+//#endregion
+//#region src/ir/storage-value-set.ts
+/**
+* SQL Contract IR node for a value-set entry in a namespace's `valueSet`
+* map (`SqlNamespace.entries.valueSet`).
+*
+* A value-set records the ordered set of permitted codec-encoded values for
+* an enum-like column restriction. It does not carry a `codecId` — the
+* column that references it already holds the codec; the value-set holds
+* only the permitted values.
+*
+* The node's `kind` is enumerable (`'value-set'`) so the JSON envelope
+* carries the discriminator and the serializer hydration walker can
+* dispatch on it. This follows the per-leaf enumerable-kind convention
+* established in the SQL-node comment (future polymorphic dispatch on
+* namespace entries needs the discriminator in JSON).
+*
+* The entry's name is not on the class — value-sets are keyed by name in
+* the parent namespace's `valueSet: Record<string, StorageValueSet>` map.
+*/
+var StorageValueSet = class extends SqlNode {
+	kind = "value-set";
+	values;
+	constructor(input) {
+		super();
+		this.values = Object.freeze([...input.values]);
 		freezeNode(this);
 	}
 };
@@ -266,23 +339,24 @@ function isMaterializedSqlNamespace(ns) {
 }
 var SqlBoundNamespace = class SqlBoundNamespace extends NamespaceBase {
 	id;
-	tables;
+	entries;
 	static fromTablesInput(input) {
-		const tableCount = Object.keys(input.tables ?? {}).length;
-		const enumCount = Object.keys(input.enum ?? {}).length;
-		if (input.id === UNBOUND_NAMESPACE_ID && tableCount === 0 && enumCount === 0) return castAs(SqlUnboundNamespace.instance);
+		const tableCount = Object.keys(input.entries.table).length;
+		const hasValueSets = input.entries.valueSet !== void 0 && Object.keys(input.entries.valueSet).length > 0;
+		if (input.id === UNBOUND_NAMESPACE_ID && tableCount === 0 && !hasValueSets) return castAs(SqlUnboundNamespace.instance);
 		return castAs(new SqlBoundNamespace(input));
 	}
 	constructor(input) {
 		super();
 		this.id = input.id;
-		this.tables = Object.freeze(Object.fromEntries(Object.entries(input.tables ?? {}).map(([name, t]) => [name, t instanceof StorageTable ? t : new StorageTable(t)])));
-		if (input.enum !== void 0 && Object.keys(input.enum).length > 0) Object.defineProperty(this, "enum", {
-			value: Object.freeze({ ...input.enum }),
-			writable: false,
-			enumerable: true,
-			configurable: false
-		});
+		const table = Object.freeze(Object.fromEntries(Object.entries(input.entries.table).map(([k, v]) => [k, new StorageTable(v)])));
+		if (input.entries.valueSet !== void 0) {
+			const valueSet = Object.freeze(Object.fromEntries(Object.entries(input.entries.valueSet).map(([k, v]) => [k, new StorageValueSet(v)])));
+			this.entries = Object.freeze({
+				table,
+				valueSet
+			});
+		} else this.entries = Object.freeze({ table });
 		Object.defineProperty(this, "kind", {
 			value: SQL_NAMESPACE_KIND,
 			writable: false,
@@ -291,12 +365,16 @@ var SqlBoundNamespace = class SqlBoundNamespace extends NamespaceBase {
 		});
 		freezeNode(this);
 	}
+	qualifyTable(tableName) {
+		if (this.id === UNBOUND_NAMESPACE_ID) return `"${tableName}"`;
+		return `"${this.id}"."${tableName}"`;
+	}
 };
 function buildSqlNamespace(input) {
 	return SqlBoundNamespace.fromTablesInput(input);
 }
 function buildSqlNamespaceMap(namespaces) {
-	return Object.fromEntries(Object.entries(namespaces).map(([nsKey, ns]) => [nsKey, isMaterializedSqlNamespace(ns) ? blindCast(ns) : SqlBoundNamespace.fromTablesInput(ns)]));
+	return Object.fromEntries(Object.entries(namespaces).map(([nsKey, ns]) => [nsKey, isMaterializedSqlNamespace(ns) ? blindCast(ns) : SqlBoundNamespace.fromTablesInput(blindCast(ns))]));
 }
 //#endregion
 //#region src/ir/postgres-enum-storage-entry.ts
@@ -370,11 +448,13 @@ var SqlStorage = class extends SqlNode {
 		freezeNode(this);
 	}
 };
+function storageTableAt(storage, namespaceId, tableName) {
+	return storage.namespaces[namespaceId]?.entries.table[tableName];
+}
 /**
 * Strict polymorphic-slot dispatch for `SqlStorage.types` entries.
-* Every entry must carry a recognised `kind` discriminator — either
-* `'codec-instance'` (codec triple, family-shared) or
-* `'postgres-enum'` (target-specific IR class). Untagged or
+* Every entry must carry a `kind: 'codec-instance'` discriminator or
+* be an already-constructed `StorageTypeInstance`. Untagged or
 * unrecognised inputs throw a diagnostic naming the entry and its
 * `kind`, so format drift surfaces loudly at the deserializer
 * boundary instead of slipping past the seam and corrupting
@@ -388,14 +468,10 @@ var SqlStorage = class extends SqlNode {
 * only fires for in-memory authoring bugs.
 */
 function normaliseTypeEntry(name, entry) {
-	if (isPostgresEnumStorageEntry(entry)) {
-		if (entry instanceof SqlNode) return entry;
-		throw new Error(`Encountered raw postgres-enum JSON in storage.types[${JSON.stringify(name)}] without serializer hydration; use a target ContractSerializer that registers the matching entity-type factory.`);
-	}
 	if (isStorageTypeInstance(entry)) return entry;
 	const rawKind = entry.kind;
 	const kindDescription = rawKind === void 0 ? "missing `kind` discriminator" : `unrecognised \`kind\` discriminator ${JSON.stringify(rawKind)}`;
-	throw new Error(`storage.types[${JSON.stringify(name)}] has ${kindDescription}; expected ${JSON.stringify("codec-instance")} or ${JSON.stringify("postgres-enum")}. Untagged codec triples should be wrapped with toStorageTypeInstance(...) before construction.`);
+	throw new Error(`storage.types[${JSON.stringify(name)}] has ${kindDescription}; expected ${JSON.stringify("codec-instance")}. Untagged codec triples should be wrapped with toStorageTypeInstance(...) before construction.`);
 }
 //#endregion
 //#region src/types.ts
@@ -408,6 +484,6 @@ function applyFkDefaults(fk, overrideDefaults) {
 	};
 }
 //#endregion
-export { ForeignKey as _, CODEC_INSTANCE_KIND as a, SqlUnboundNamespace as b, POSTGRES_ENUM_KIND as c, buildSqlNamespaceMap as d, StorageTable as f, PrimaryKey as g, Index as h, SqlStorage as i, isPostgresEnumStorageEntry as l, StorageColumn as m, DEFAULT_FK_INDEX as n, isStorageTypeInstance as o, UniqueConstraint as p, applyFkDefaults as r, toStorageTypeInstance as s, DEFAULT_FK_CONSTRAINT as t, buildSqlNamespace as u, ForeignKeyReference as v, SqlNode as y };
+export { SqlUnboundNamespace as C, SqlNode as S, Index as _, storageTableAt as a, ForeignKeyReference as b, toStorageTypeInstance as c, buildSqlNamespace as d, buildSqlNamespaceMap as f, StorageColumn as g, UniqueConstraint as h, SqlStorage as i, POSTGRES_ENUM_KIND as l, StorageTable as m, DEFAULT_FK_INDEX as n, CODEC_INSTANCE_KIND as o, StorageValueSet as p, applyFkDefaults as r, isStorageTypeInstance as s, DEFAULT_FK_CONSTRAINT as t, isPostgresEnumStorageEntry as u, PrimaryKey as v, CheckConstraint as x, ForeignKey as y };
 
-//# sourceMappingURL=types-YQrDHy-b.mjs.map
+//# sourceMappingURL=types-BulBf1Cm.mjs.map