@prisma-next/extension-pgvector 0.6.0-dev.5 → 0.6.0-dev.7

package/README.md

@@ -69,7 +69,7 @@ Add vector columns to your contract and enable the namespace via pack refs:
 import { int4Column, textColumn } from '@prisma-next/adapter-postgres/column-types';
 import sqlFamily from '@prisma-next/family-sql/pack';
 import { defineContract, field, model } from '@prisma-next/sql-contract-ts/contract-builder';
-import { vector, vectorColumn } from '@prisma-next/extension-pgvector/column-types';
+import { vector } from '@prisma-next/extension-pgvector/column-types';
 import pgvector from '@prisma-next/extension-pgvector/pack';
 import postgres from '@prisma-next/target-postgres/pack';
 
@@ -90,7 +90,7 @@ export const contract = defineContract({
 });
 ```
 
-The `vector(N)` factory is registered through the unified `CodecDescriptor<{ length: number }>` shape — `paramsSchema` validates the dimension at the contract boundary, `renderOutputType: ({ length }) => 'Vector<' + length + '>'` produces the column's TS type for `contract.d.ts`, and the curried `factory` materializes the runtime codec at context construction. See [ADR 208 — Higher-order codecs for parameterized types](../../../docs/architecture%20docs/adrs/ADR%20208%20-%20Higher-order%20codecs%20for%20parameterized%20types.md) for the descriptor model. For undimensioned vector columns (rare; typically only valid in legacy schemas where `vector` was declared without a dimension), use `vectorColumn` instead.
+The `vector(N)` factory is registered through the unified `CodecDescriptor<{ length: number }>` shape — `paramsSchema` validates the dimension at the contract boundary, `renderOutputType: ({ length }) => 'Vector<' + length + '>'` produces the column's TS type for `contract.d.ts`, and the curried `factory` materializes the runtime codec at context construction. See [ADR 208 — Higher-order codecs for parameterized types](../../../docs/architecture%20docs/adrs/ADR%20208%20-%20Higher-order%20codecs%20for%20parameterized%20types.md) for the descriptor model. Every pgvector column must declare an explicit dimension via `vector(N)`; the runtime codec is constructed against `{ length: N }`, so an undimensioned form has no honest descriptor signature.
 
 ### Runtime Setup
 

package/dist/{codec-types-CQubO6uQ.d.mts → codec-types-D9jU-l1B.d.mts}

@@ -14,8 +14,8 @@ type VectorParams = {
   readonly length: number;
 };
 declare class PgVectorCodec extends CodecImpl<typeof VECTOR_CODEC_ID, readonly ['equality'], string, number[]> {
-  readonly length: number | undefined;
-  constructor(descriptor: AnyCodecDescriptor, length: number | undefined);
+  readonly length: number;
+  constructor(descriptor: AnyCodecDescriptor, length: number);
   assertVector(value: unknown): asserts value is number[];
   encode(value: number[], _ctx: CodecCallContext): Promise<string>;
   decode(wire: string, _ctx: CodecCallContext): Promise<number[]>;
@@ -37,9 +37,6 @@ declare class PgVectorDescriptor extends CodecDescriptorImpl<VectorParams> {
   };
   readonly paramsSchema: StandardSchemaV1<VectorParams>;
   renderOutputType(params: VectorParams): string;
-  /**
-   * The runtime calls `factory(undefined)(ctx)` to materialize a representative codec for parameterized descriptors that ship a no-params column variant (here, `vectorColumn` vs `vector(N)`). The runtime cast widens `params` to `unknown`, so guarding with an optional read keeps the typed call site (`factory({ length })`) strict while still producing a length-agnostic codec for representative use. Encode/decode for an undimensioned column run through this representative; the wire format `[v1,v2,...]` is dimension-independent.
-   */
   factory(params: VectorParams): (ctx: CodecInstanceContext) => PgVectorCodec;
 }
 declare const codecDescriptorMap: {
@@ -60,4 +57,4 @@ type Vector<N extends number = number> = number[] & {
 type CodecTypes = CodecTypes$1;
 //#endregion
 export { Vector as n, CodecTypes as t };
-//# sourceMappingURL=codec-types-CQubO6uQ.d.mts.map
+//# sourceMappingURL=codec-types-D9jU-l1B.d.mts.map

package/dist/{codec-types-CQubO6uQ.d.mts.map → codec-types-D9jU-l1B.d.mts.map}

@@ -1 +1 @@
-{"version":3,"file":"codec-types-CQubO6uQ.d.mts","names":[],"sources":["../src/core/constants.ts","../src/core/codecs.ts","../src/types/codec-types.ts"],"mappings":";;;;;;;;;cAGa,eAAA;;;KCyBR,YAAA;EAAA,SAA0B,MAAA;AAAA;AAAA,cAiBlB,aAAA,SAAsB,SAAA,QAC1B,eAAA;EAAA,SAKE,MAAA;cAEG,UAAA,EAAY,kBAAA,EAAoB,MAAA;EAK5C,YAAA,CAAa,KAAA,oBAAyB,KAAA;EAYhC,MAAA,CAAO,KAAA,YAAiB,IAAA,EAAM,gBAAA,GAAmB,OAAA;EAKjD,MAAA,CAAO,IAAA,UAAc,IAAA,EAAM,gBAAA,GAAmB,OAAA;EAsBpD,UAAA,CAAW,KAAA,aAAkB,SAAA;EAK7B,UAAA,CAAW,IAAA,EAAM,SAAA;AAAA;AAAA,cAMN,kBAAA,SAA2B,mBAAA,CAAoB,YAAA;EAAA,SACxC,OAAA;EAAA,SACA,MAAA;EAAA,SACA,WAAA;EAAA,SACA,IAAA;IAAA;;;;;;;;WACA,YAAA,EAAc,gBAAA,CAAiB,YAAA;EACxC,gBAAA,CAAiB,MAAA,EAAQ,YAAA;EA5C5B;;;EAkDG,OAAA,CAAQ,MAAA,EAAQ,YAAA,IAAgB,GAAA,EAAK,oBAAA,KAAyB,aAAA;AAAA;AAAA,cAkBnE,kBAAA;EAAA,iBAEI,kBAAA;AAAA;AAAA,KAEE,YAAA,GAAa,iBAAA,QAAyB,kBAAA;;;;;;;;AApHY;KCTlD,MAAA;EAAA,SAA0D,cAAA,GAAiB,CAAA;AAAA;AAAA,KAE3E,UAAA,GAAa,YAAA"}
+{"version":3,"file":"codec-types-D9jU-l1B.d.mts","names":[],"sources":["../src/core/constants.ts","../src/core/codecs.ts","../src/types/codec-types.ts"],"mappings":";;;;;;;;;cAGa,eAAA;;;KCyBR,YAAA;EAAA,SAA0B,MAAA;AAAA;AAAA,cAiBlB,aAAA,SAAsB,SAAA,QAC1B,eAAA;EAAA,SAKE,MAAA;cAEG,UAAA,EAAY,kBAAA,EAAoB,MAAA;EAK5C,YAAA,CAAa,KAAA,oBAAyB,KAAA;EAYhC,MAAA,CAAO,KAAA,YAAiB,IAAA,EAAM,gBAAA,GAAmB,OAAA;EAKjD,MAAA,CAAO,IAAA,UAAc,IAAA,EAAM,gBAAA,GAAmB,OAAA;EAsBpD,UAAA,CAAW,KAAA,aAAkB,SAAA;EAK7B,UAAA,CAAW,IAAA,EAAM,SAAA;AAAA;AAAA,cAMN,kBAAA,SAA2B,mBAAA,CAAoB,YAAA;EAAA,SACxC,OAAA;EAAA,SACA,MAAA;EAAA,SACA,WAAA;EAAA,SACA,IAAA;IAAA;;;;;;;;WACA,YAAA,EAAc,gBAAA,CAAiB,YAAA;EACxC,gBAAA,CAAiB,MAAA,EAAQ,YAAA;EAGzB,OAAA,CAAQ,MAAA,EAAQ,YAAA,IAAgB,GAAA,EAAK,oBAAA,KAAyB,aAAA;AAAA;AAAA,cAkBnE,kBAAA;EAAA,iBAEI,kBAAA;AAAA;AAAA,KAEE,YAAA,GAAa,iBAAA,QAAyB,kBAAA;;;;;;;;AAjHY;KCTlD,MAAA;EAAA,SAA0D,cAAA,GAAiB,CAAA;AAAA;AAAA,KAE3E,UAAA,GAAa,YAAA"}

package/dist/codec-types.d.mts

@@ -1,2 +1,2 @@
-import { n as Vector, t as CodecTypes } from "./codec-types-CQubO6uQ.mjs";
+import { n as Vector, t as CodecTypes } from "./codec-types-D9jU-l1B.mjs";
 export { type CodecTypes, type Vector };

package/dist/column-types.d.mts

@@ -1,13 +1,6 @@
 import { ColumnTypeDescriptor } from "@prisma-next/framework-components/codec";
 
 //#region src/exports/column-types.d.ts
-/**
- * Static vector column descriptor without dimension. Use `vector(N)` for dimensioned vectors that produce `vector(N)` DDL.
- */
-declare const vectorColumn: {
-  readonly codecId: "pg/vector@1";
-  readonly nativeType: "vector";
-};
 /**
  * Factory for creating dimensioned vector column descriptors.
  *
@@ -26,5 +19,5 @@ declare function vector<N extends number>(length: N): ColumnTypeDescriptor & {
   };
 };
 //#endregion
-export { vector, vectorColumn };
+export { vector };
 //# sourceMappingURL=column-types.d.mts.map

package/dist/column-types.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"column-types.d.mts","names":[],"sources":["../src/exports/column-types.ts"],"mappings":";;;;;AA6BA;cAjBa,YAAA;EAAA,SAG4B,OAAA;EAAA,SAAA,UAAA;AAAA;;;;;;;;;;;;;iBAczB,MAAA,kBAAA,CACd,MAAA,EAAQ,CAAA,GACP,oBAAA;EAAA,SAAkC,UAAA;IAAA,SAAuB,MAAA,EAAQ,CAAA;EAAA;AAAA"}
+{"version":3,"file":"column-types.d.mts","names":[],"sources":["../src/exports/column-types.ts"],"mappings":";;;;;;;;;;;;;;;iBAmBgB,MAAA,kBAAA,CACd,MAAA,EAAQ,CAAA,GACP,oBAAA;EAAA,SAAkC,UAAA;IAAA,SAAuB,MAAA,EAAQ,CAAA;EAAA;AAAA"}

package/dist/column-types.mjs

@@ -1,13 +1,6 @@
 import { n as VECTOR_MAX_DIM, t as VECTOR_CODEC_ID } from "./constants-DX-00vYk.mjs";
 //#region src/exports/column-types.ts
 /**
-* Static vector column descriptor without dimension. Use `vector(N)` for dimensioned vectors that produce `vector(N)` DDL.
-*/
-const vectorColumn = {
-	codecId: VECTOR_CODEC_ID,
-	nativeType: "vector"
-};
-/**
 * Factory for creating dimensioned vector column descriptors.
 *
 * @example
@@ -28,6 +21,6 @@ function vector(length) {
 	};
 }
 //#endregion
-export { vector, vectorColumn };
+export { vector };
 
 //# sourceMappingURL=column-types.mjs.map

package/dist/column-types.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"column-types.mjs","names":[],"sources":["../src/exports/column-types.ts"],"sourcesContent":["/**\n * Column type descriptors for pgvector extension.\n *\n * These descriptors provide both codecId and nativeType for use in contract authoring. They are derived from the same source of truth as codec definitions and manifests.\n */\n\nimport type { ColumnTypeDescriptor } from '@prisma-next/framework-components/codec';\nimport { VECTOR_CODEC_ID, VECTOR_MAX_DIM } from '../core/constants';\n\n/**\n * Static vector column descriptor without dimension. Use `vector(N)` for dimensioned vectors that produce `vector(N)` DDL.\n */\nexport const vectorColumn = {\n  codecId: VECTOR_CODEC_ID,\n  nativeType: 'vector',\n} as const satisfies ColumnTypeDescriptor;\n\n/**\n * Factory for creating dimensioned vector column descriptors.\n *\n * @example\n * ```typescript\n * .column('embedding', { type: vector(1536), nullable: false })\n * // Produces: nativeType: 'vector', typeParams: { length: 1536 }\n * ```\n * @param length - The dimension of the vector (e.g., 1536 for OpenAI embeddings)\n * @returns A column type descriptor with `typeParams.length` set\n * @throws {RangeError} If length is not an integer in the range [1, VECTOR_MAX_DIM]\n */\nexport function vector<N extends number>(\n  length: N,\n): ColumnTypeDescriptor & { readonly typeParams: { readonly length: N } } {\n  if (!Number.isInteger(length) || length < 1 || length > VECTOR_MAX_DIM) {\n    throw new RangeError(\n      `pgvector: dimension must be an integer in [1, ${VECTOR_MAX_DIM}], got ${length}`,\n    );\n  }\n  return {\n    codecId: VECTOR_CODEC_ID,\n    nativeType: 'vector',\n    typeParams: { length },\n  } as const;\n}\n"],"mappings":";;;;;AAYA,MAAa,eAAe;CAC1B,SAAS;CACT,YAAY;CACb;;;;;;;;;;;;;AAcD,SAAgB,OACd,QACwE;CACxE,IAAI,CAAC,OAAO,UAAU,OAAO,IAAI,SAAS,KAAK,SAAA,MAC7C,MAAM,IAAI,WACR,iDAAiD,eAAe,SAAS,SAC1E;CAEH,OAAO;EACL,SAAS;EACT,YAAY;EACZ,YAAY,EAAE,QAAQ;EACvB"}
+{"version":3,"file":"column-types.mjs","names":[],"sources":["../src/exports/column-types.ts"],"sourcesContent":["/**\n * Column type descriptor factory for pgvector extension. `vector(N)` is the canonical authoring surface; every pgvector column must declare a dimension via this factory. The dimension threads into the runtime codec through `paramsSchema.length` and into the DDL via the family-layer `expandNativeType` hook (e.g. `vector(1536)`).\n */\n\nimport type { ColumnTypeDescriptor } from '@prisma-next/framework-components/codec';\nimport { VECTOR_CODEC_ID, VECTOR_MAX_DIM } from '../core/constants';\n\n/**\n * Factory for creating dimensioned vector column descriptors.\n *\n * @example\n * ```typescript\n * .column('embedding', { type: vector(1536), nullable: false })\n * // Produces: nativeType: 'vector', typeParams: { length: 1536 }\n * ```\n * @param length - The dimension of the vector (e.g., 1536 for OpenAI embeddings)\n * @returns A column type descriptor with `typeParams.length` set\n * @throws {RangeError} If length is not an integer in the range [1, VECTOR_MAX_DIM]\n */\nexport function vector<N extends number>(\n  length: N,\n): ColumnTypeDescriptor & { readonly typeParams: { readonly length: N } } {\n  if (!Number.isInteger(length) || length < 1 || length > VECTOR_MAX_DIM) {\n    throw new RangeError(\n      `pgvector: dimension must be an integer in [1, ${VECTOR_MAX_DIM}], got ${length}`,\n    );\n  }\n  return {\n    codecId: VECTOR_CODEC_ID,\n    nativeType: 'vector',\n    typeParams: { length },\n  } as const;\n}\n"],"mappings":";;;;;;;;;;;;;;AAmBA,SAAgB,OACd,QACwE;CACxE,IAAI,CAAC,OAAO,UAAU,OAAO,IAAI,SAAS,KAAK,SAAA,MAC7C,MAAM,IAAI,WACR,iDAAiD,eAAe,SAAS,SAC1E;CAEH,OAAO;EACL,SAAS;EACT,YAAY;EACZ,YAAY,EAAE,QAAQ;EACvB"}

package/dist/control.mjs

@@ -1,4 +1,4 @@
-import { n as pgvectorQueryOperations, t as pgvectorPackMeta } from "./descriptor-meta-DEgJjLLi.mjs";
+import { n as pgvectorQueryOperations, t as pgvectorPackMeta } from "./descriptor-meta-8UnGdpZ6.mjs";
 import { contractSpaceFromJson } from "@prisma-next/migration-tools/spaces";
 //#region migrations/20260601T0000_install_vector_extension/migration.json
 var migration_default = {

package/dist/{descriptor-meta-DEgJjLLi.mjs → descriptor-meta-8UnGdpZ6.mjs}

@@ -1,5 +1,5 @@
 import { n as VECTOR_MAX_DIM, t as VECTOR_CODEC_ID } from "./constants-DX-00vYk.mjs";
-import { buildOperation, refsOf, toExpr } from "@prisma-next/sql-relational-core/expression";
+import { buildOperation, codecOf, toExpr } from "@prisma-next/sql-relational-core/expression";
 import { buildCodecDescriptorRegistry } from "@prisma-next/sql-relational-core/codec-descriptor-registry";
 import { CodecDescriptorImpl, CodecImpl } from "@prisma-next/framework-components/codec";
 import { type } from "arktype";
@@ -40,7 +40,7 @@ var PgVectorCodec = class extends CodecImpl {
 	assertVector(value) {
 		if (!Array.isArray(value)) throw new Error("Vector value must be an array of numbers");
 		if (!value.every((v) => typeof v === "number")) throw new Error("Vector value must contain only numbers");
-		if (this.length !== void 0 && value.length !== this.length) throw new Error(`Vector length mismatch: expected ${this.length}, got ${value.length}`);
+		if (value.length !== this.length) throw new Error(`Vector length mismatch: expected ${this.length}, got ${value.length}`);
 	}
 	async encode(value, _ctx) {
 		this.assertVector(value);
@@ -76,11 +76,8 @@ var PgVectorDescriptor = class extends CodecDescriptorImpl {
 	renderOutputType(params) {
 		return `Vector<${params.length}>`;
 	}
-	/**
-	* The runtime calls `factory(undefined)(ctx)` to materialize a representative codec for parameterized descriptors that ship a no-params column variant (here, `vectorColumn` vs `vector(N)`). The runtime cast widens `params` to `unknown`, so guarding with an optional read keeps the typed call site (`factory({ length })`) strict while still producing a length-agnostic codec for representative use. Encode/decode for an undimensioned column run through this representative; the wire format `[v1,v2,...]` is dimension-independent.
-	*/
 	factory(params) {
-		return () => new PgVectorCodec(this, params?.length);
+		return () => new PgVectorCodec(this, params.length);
 	}
 };
 const codecDescriptorMap = { vector: new PgVectorDescriptor() };
@@ -100,10 +97,10 @@ function pgvectorQueryOperations() {
 		cosineDistance: {
 			self: { codecId: pgvectorTypeId },
 			impl: (self, other) => {
-				const selfRefs = refsOf(self);
+				const selfCodec = codecOf(self);
 				return buildOperation({
 					method: "cosineDistance",
-					args: [toExpr(self, pgvectorTypeId, selfRefs), toExpr(other, pgvectorTypeId, selfRefs)],
+					args: [toExpr(self, selfCodec), toExpr(other, selfCodec)],
 					returns: {
 						codecId: "pg/float8@1",
 						nullable: false
@@ -119,10 +116,10 @@ function pgvectorQueryOperations() {
 		cosineSimilarity: {
 			self: { codecId: pgvectorTypeId },
 			impl: (self, other) => {
-				const selfRefs = refsOf(self);
+				const selfCodec = codecOf(self);
 				return buildOperation({
 					method: "cosineSimilarity",
-					args: [toExpr(self, pgvectorTypeId, selfRefs), toExpr(other, pgvectorTypeId, selfRefs)],
+					args: [toExpr(self, selfCodec), toExpr(other, selfCodec)],
 					returns: {
 						codecId: "pg/float8@1",
 						nullable: false
@@ -159,6 +156,11 @@ const pgvectorPackMeta = {
 				alias: "Vector"
 			}]
 		},
+		operationTypes: { import: {
+			package: "@prisma-next/extension-pgvector/operation-types",
+			named: "OperationTypes",
+			alias: "PgVectorOperationTypes"
+		} },
 		queryOperationTypes: { import: {
 			package: "@prisma-next/extension-pgvector/operation-types",
 			named: "QueryOperationTypes",
@@ -175,4 +177,4 @@ const pgvectorPackMeta = {
 //#endregion
 export { pgvectorQueryOperations as n, pgvectorCodecRegistry as r, pgvectorPackMeta as t };
 
-//# sourceMappingURL=descriptor-meta-DEgJjLLi.mjs.map
+//# sourceMappingURL=descriptor-meta-8UnGdpZ6.mjs.map

package/dist/descriptor-meta-8UnGdpZ6.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"descriptor-meta-8UnGdpZ6.mjs","names":["arktype"],"sources":["../src/core/authoring.ts","../src/core/codecs.ts","../src/core/registry.ts","../src/core/descriptor-meta.ts"],"sourcesContent":["import type { AuthoringTypeNamespace } from '@prisma-next/framework-components/authoring';\nimport { VECTOR_MAX_DIM } from './constants';\n\nexport const pgvectorAuthoringTypes = {\n  pgvector: {\n    Vector: {\n      kind: 'typeConstructor',\n      args: [\n        { kind: 'number', name: 'length', integer: true, minimum: 1, maximum: VECTOR_MAX_DIM },\n      ],\n      output: {\n        codecId: 'pg/vector@1',\n        nativeType: 'vector',\n        typeParams: {\n          length: { kind: 'arg', index: 0 },\n        },\n      },\n    },\n  },\n} as const satisfies AuthoringTypeNamespace;\n","/**\n * pgvector extension codec.\n *\n * Mirrors the patterns in `postgres/codecs-class.ts` and `sqlite/codecs-class.ts` for the single `pg/vector@1` codec. Three artifacts:\n *\n * 1. `PgVectorCodec` extends {@link CodecImpl} with the runtime encode/decode/encodeJson/decodeJson conversions inline. Conversions are simple enough (PostgreSQL `[1,2,3]` text format) that no shared helper module is warranted; the class body is the source of truth.\n * 2. `PgVectorDescriptor` extends {@link CodecDescriptorImpl} with the codec id, traits, target types, params schema (`{ length: number }`, validated against {@link VECTOR_MAX_DIM}), `meta` (postgres `nativeType: 'vector'`), and the emit-path `renderOutputType` producing `Vector<${length}>`.\n * 3. `pgVectorColumn(length)` per-codec column helper invoking `descriptor.factory({ length })` directly + passing the bare `nativeType: 'vector'`. The family-layer {@link expandNativeType} hook renders the parameterized form (`vector(1536)`) at emit/verify time from `nativeType` + `typeParams`.\n *\n * `length` threads into the runtime codec via the constructor so encode/decode/encodeJson/decodeJson enforce the declared dimension at every ingress path. Without this, `vector(3)` and `vector(1536)` would produce codecs with identical behaviour and a dimension-mismatched value would round-trip undetected.\n */\n\nimport type { JsonValue } from '@prisma-next/contract/types';\nimport {\n  type AnyCodecDescriptor,\n  type CodecCallContext,\n  CodecDescriptorImpl,\n  CodecImpl,\n  type CodecInstanceContext,\n  type ColumnHelperFor,\n  type ColumnHelperForStrict,\n  column,\n} from '@prisma-next/framework-components/codec';\nimport type { ExtractCodecTypes } from '@prisma-next/sql-relational-core/ast';\nimport type { StandardSchemaV1 } from '@standard-schema/spec';\nimport { type as arktype } from 'arktype';\nimport { VECTOR_CODEC_ID, VECTOR_MAX_DIM } from './constants';\n\ntype VectorParams = { readonly length: number };\n\nconst vectorParamsSchema = arktype({\n  length: 'number',\n}).narrow((params, ctx) => {\n  const { length } = params;\n  if (!Number.isInteger(length)) {\n    return ctx.mustBe('an integer');\n  }\n  if (length < 1 || length > VECTOR_MAX_DIM) {\n    return ctx.mustBe(`in the range [1, ${VECTOR_MAX_DIM}]`);\n  }\n  return true;\n}) satisfies StandardSchemaV1<VectorParams>;\n\nconst PG_VECTOR_META = { db: { sql: { postgres: { nativeType: 'vector' } } } } as const;\n\nexport class PgVectorCodec extends CodecImpl<\n  typeof VECTOR_CODEC_ID,\n  readonly ['equality'],\n  string,\n  number[]\n> {\n  readonly length: number;\n\n  constructor(descriptor: AnyCodecDescriptor, length: number) {\n    super(descriptor);\n    this.length = length;\n  }\n\n  assertVector(value: unknown): asserts value is number[] {\n    if (!Array.isArray(value)) {\n      throw new Error('Vector value must be an array of numbers');\n    }\n    if (!value.every((v) => typeof v === 'number')) {\n      throw new Error('Vector value must contain only numbers');\n    }\n    if (value.length !== this.length) {\n      throw new Error(`Vector length mismatch: expected ${this.length}, got ${value.length}`);\n    }\n  }\n\n  async encode(value: number[], _ctx: CodecCallContext): Promise<string> {\n    this.assertVector(value);\n    return `[${value.join(',')}]`;\n  }\n\n  async decode(wire: string, _ctx: CodecCallContext): Promise<number[]> {\n    if (typeof wire !== 'string') {\n      throw new Error('Vector wire value must be a string');\n    }\n    if (!wire.startsWith('[') || !wire.endsWith(']')) {\n      throw new Error(`Invalid vector format: expected \"[...]\", got \"${wire}\"`);\n    }\n    const content = wire.slice(1, -1).trim();\n    const parsed =\n      content === ''\n        ? []\n        : content.split(',').map((v) => {\n            const num = Number.parseFloat(v.trim());\n            if (Number.isNaN(num)) {\n              throw new Error(`Invalid vector value: \"${v}\" is not a number`);\n            }\n            return num;\n          });\n    this.assertVector(parsed);\n    return parsed;\n  }\n\n  encodeJson(value: number[]): JsonValue {\n    this.assertVector(value);\n    return value;\n  }\n\n  decodeJson(json: JsonValue): number[] {\n    this.assertVector(json);\n    return json;\n  }\n}\n\nexport class PgVectorDescriptor extends CodecDescriptorImpl<VectorParams> {\n  override readonly codecId = VECTOR_CODEC_ID;\n  override readonly traits = ['equality'] as const;\n  override readonly targetTypes = ['vector'] as const;\n  override readonly meta = PG_VECTOR_META;\n  override readonly paramsSchema: StandardSchemaV1<VectorParams> = vectorParamsSchema;\n  override renderOutputType(params: VectorParams): string {\n    return `Vector<${params.length}>`;\n  }\n  override factory(params: VectorParams): (ctx: CodecInstanceContext) => PgVectorCodec {\n    return () => new PgVectorCodec(this, params.length);\n  }\n}\n\nexport const pgVectorDescriptor = new PgVectorDescriptor();\n\n/**\n * Per-codec column helper for `pg/vector@1`. Generic over `N extends number` so the column site preserves the dimension literal in `typeParams` (e.g. `pgVectorColumn(1536)` packs `typeParams: { length: 1536 }`).\n *\n * Passes the bare `nativeType: 'vector'`; the family-layer `expandNativeType` hook renders the parameterized form (`vector(1536)`) at emit/verify time from `nativeType` + `typeParams`.\n */\nexport const pgVectorColumn = <N extends number>(length: N) =>\n  column(pgVectorDescriptor.factory({ length }), pgVectorDescriptor.codecId, { length }, 'vector');\n\npgVectorColumn satisfies ColumnHelperFor<PgVectorDescriptor>;\npgVectorColumn satisfies ColumnHelperForStrict<PgVectorDescriptor>;\n\nconst codecDescriptorMap = {\n  vector: pgVectorDescriptor,\n} as const;\n\nexport type CodecTypes = ExtractCodecTypes<typeof codecDescriptorMap>;\n\nexport const codecDescriptors: readonly AnyCodecDescriptor[] = Object.values(codecDescriptorMap);\n","import { buildCodecDescriptorRegistry } from '@prisma-next/sql-relational-core/codec-descriptor-registry';\nimport type { CodecDescriptorRegistry } from '@prisma-next/sql-relational-core/query-lane-context';\nimport { codecDescriptors } from './codecs';\n\n/**\n * Registry of every codec descriptor shipped by `@prisma-next/extension-pgvector`.\n *\n * Public consumer surface for the pgvector codec set. Currently a single entry (`pg/vector@1`); the registry shape stays consistent with the other codec-shipping packages so consumers don't need to special-case extensions. See ADR 208.\n */\nexport const pgvectorCodecRegistry: CodecDescriptorRegistry =\n  buildCodecDescriptorRegistry(codecDescriptors);\n","import {\n  buildOperation,\n  type CodecExpression,\n  codecOf,\n  type Expression,\n  toExpr,\n} from '@prisma-next/sql-relational-core/expression';\nimport type { CodecTypes } from '../types/codec-types';\nimport type { QueryOperationTypes } from '../types/operation-types';\nimport { pgvectorAuthoringTypes } from './authoring';\nimport { pgvectorCodecRegistry } from './registry';\n\nconst pgvectorTypeId = 'pg/vector@1' as const;\n\ntype CodecTypesBase = Record<string, { readonly input: unknown; readonly output: unknown }>;\n\nexport function pgvectorQueryOperations<CT extends CodecTypesBase>(): QueryOperationTypes<CT> {\n  return {\n    cosineDistance: {\n      self: { codecId: pgvectorTypeId },\n      impl: (\n        self: CodecExpression<'pg/vector@1', boolean, CT>,\n        other: CodecExpression<'pg/vector@1', boolean, CT>,\n      ): Expression<{ codecId: 'pg/float8@1'; nullable: false }> => {\n        const selfCodec = codecOf(self);\n        return buildOperation({\n          method: 'cosineDistance',\n          args: [toExpr(self, selfCodec), toExpr(other, selfCodec)],\n          returns: { codecId: 'pg/float8@1', nullable: false },\n          lowering: {\n            targetFamily: 'sql',\n            strategy: 'function',\n            template: '{{self}} <=> {{arg0}}',\n          },\n        });\n      },\n    },\n    cosineSimilarity: {\n      self: { codecId: pgvectorTypeId },\n      impl: (\n        self: CodecExpression<'pg/vector@1', boolean, CT>,\n        other: CodecExpression<'pg/vector@1', boolean, CT>,\n      ): Expression<{ codecId: 'pg/float8@1'; nullable: false }> => {\n        const selfCodec = codecOf(self);\n        return buildOperation({\n          method: 'cosineSimilarity',\n          args: [toExpr(self, selfCodec), toExpr(other, selfCodec)],\n          returns: { codecId: 'pg/float8@1', nullable: false },\n          lowering: {\n            targetFamily: 'sql',\n            strategy: 'function',\n            template: '1 - ({{self}} <=> {{arg0}})',\n          },\n        });\n      },\n    },\n  };\n}\n\nconst pgvectorPackMetaBase = {\n  kind: 'extension',\n  id: 'pgvector',\n  familyId: 'sql',\n  targetId: 'postgres',\n  version: '0.0.1',\n  capabilities: {\n    postgres: {\n      'pgvector.cosine': true,\n    },\n  },\n  authoring: {\n    type: pgvectorAuthoringTypes,\n  },\n  types: {\n    codecTypes: {\n      codecDescriptors: Array.from(pgvectorCodecRegistry.values()),\n      import: {\n        package: '@prisma-next/extension-pgvector/codec-types',\n        named: 'CodecTypes',\n        alias: 'PgVectorTypes',\n      },\n      typeImports: [\n        {\n          package: '@prisma-next/extension-pgvector/codec-types',\n          named: 'Vector',\n          alias: 'Vector',\n        },\n      ],\n    },\n    operationTypes: {\n      import: {\n        package: '@prisma-next/extension-pgvector/operation-types',\n        named: 'OperationTypes',\n        alias: 'PgVectorOperationTypes',\n      },\n    },\n    queryOperationTypes: {\n      import: {\n        package: '@prisma-next/extension-pgvector/operation-types',\n        named: 'QueryOperationTypes',\n        alias: 'PgVectorQueryOperationTypes',\n      },\n    },\n    storage: [\n      { typeId: pgvectorTypeId, familyId: 'sql', targetId: 'postgres', nativeType: 'vector' },\n    ],\n  },\n} as const;\n\nexport const pgvectorPackMeta: typeof pgvectorPackMetaBase & {\n  readonly __codecTypes?: CodecTypes;\n} = pgvectorPackMetaBase;\n"],"mappings":";;;;;;AAGA,MAAa,yBAAyB,EACpC,UAAU,EACR,QAAQ;CACN,MAAM;CACN,MAAM,CACJ;EAAE,MAAM;EAAU,MAAM;EAAU,SAAS;EAAM,SAAS;EAAG,SAAS;EAAgB,CACvF;CACD,QAAQ;EACN,SAAS;EACT,YAAY;EACZ,YAAY,EACV,QAAQ;GAAE,MAAM;GAAO,OAAO;GAAG,EAClC;EACF;CACF,EACF,EACF;;;ACWD,MAAM,qBAAqBA,KAAQ,EACjC,QAAQ,UACT,CAAC,CAAC,QAAQ,QAAQ,QAAQ;CACzB,MAAM,EAAE,WAAW;CACnB,IAAI,CAAC,OAAO,UAAU,OAAO,EAC3B,OAAO,IAAI,OAAO,aAAa;CAEjC,IAAI,SAAS,KAAK,SAAA,MAChB,OAAO,IAAI,OAAO,oBAAoB,eAAe,GAAG;CAE1D,OAAO;EACP;AAEF,MAAM,iBAAiB,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,YAAY,UAAU,EAAE,EAAE,EAAE;AAE9E,IAAa,gBAAb,cAAmC,UAKjC;CACA;CAEA,YAAY,YAAgC,QAAgB;EAC1D,MAAM,WAAW;EACjB,KAAK,SAAS;;CAGhB,aAAa,OAA2C;EACtD,IAAI,CAAC,MAAM,QAAQ,MAAM,EACvB,MAAM,IAAI,MAAM,2CAA2C;EAE7D,IAAI,CAAC,MAAM,OAAO,MAAM,OAAO,MAAM,SAAS,EAC5C,MAAM,IAAI,MAAM,yCAAyC;EAE3D,IAAI,MAAM,WAAW,KAAK,QACxB,MAAM,IAAI,MAAM,oCAAoC,KAAK,OAAO,QAAQ,MAAM,SAAS;;CAI3F,MAAM,OAAO,OAAiB,MAAyC;EACrE,KAAK,aAAa,MAAM;EACxB,OAAO,IAAI,MAAM,KAAK,IAAI,CAAC;;CAG7B,MAAM,OAAO,MAAc,MAA2C;EACpE,IAAI,OAAO,SAAS,UAClB,MAAM,IAAI,MAAM,qCAAqC;EAEvD,IAAI,CAAC,KAAK,WAAW,IAAI,IAAI,CAAC,KAAK,SAAS,IAAI,EAC9C,MAAM,IAAI,MAAM,iDAAiD,KAAK,GAAG;EAE3E,MAAM,UAAU,KAAK,MAAM,GAAG,GAAG,CAAC,MAAM;EACxC,MAAM,SACJ,YAAY,KACR,EAAE,GACF,QAAQ,MAAM,IAAI,CAAC,KAAK,MAAM;GAC5B,MAAM,MAAM,OAAO,WAAW,EAAE,MAAM,CAAC;GACvC,IAAI,OAAO,MAAM,IAAI,EACnB,MAAM,IAAI,MAAM,0BAA0B,EAAE,mBAAmB;GAEjE,OAAO;IACP;EACR,KAAK,aAAa,OAAO;EACzB,OAAO;;CAGT,WAAW,OAA4B;EACrC,KAAK,aAAa,MAAM;EACxB,OAAO;;CAGT,WAAW,MAA2B;EACpC,KAAK,aAAa,KAAK;EACvB,OAAO;;;AAIX,IAAa,qBAAb,cAAwC,oBAAkC;CACxE,UAA4B;CAC5B,SAA2B,CAAC,WAAW;CACvC,cAAgC,CAAC,SAAS;CAC1C,OAAyB;CACzB,eAAiE;CACjE,iBAA0B,QAA8B;EACtD,OAAO,UAAU,OAAO,OAAO;;CAEjC,QAAiB,QAAoE;EACnF,aAAa,IAAI,cAAc,MAAM,OAAO,OAAO;;;AAiBvD,MAAM,qBAAqB,EACzB,QAAQ,IAd4B,oBAc5B,EACT;;;;;;;;AChID,MAAa,wBACX,6BDmI6D,OAAO,OAAO,mBCnI9C,CAAiB;;;ACEhD,MAAM,iBAAiB;AAIvB,SAAgB,0BAA8E;CAC5F,OAAO;EACL,gBAAgB;GACd,MAAM,EAAE,SAAS,gBAAgB;GACjC,OACE,MACA,UAC4D;IAC5D,MAAM,YAAY,QAAQ,KAAK;IAC/B,OAAO,eAAe;KACpB,QAAQ;KACR,MAAM,CAAC,OAAO,MAAM,UAAU,EAAE,OAAO,OAAO,UAAU,CAAC;KACzD,SAAS;MAAE,SAAS;MAAe,UAAU;MAAO;KACpD,UAAU;MACR,cAAc;MACd,UAAU;MACV,UAAU;MACX;KACF,CAAC;;GAEL;EACD,kBAAkB;GAChB,MAAM,EAAE,SAAS,gBAAgB;GACjC,OACE,MACA,UAC4D;IAC5D,MAAM,YAAY,QAAQ,KAAK;IAC/B,OAAO,eAAe;KACpB,QAAQ;KACR,MAAM,CAAC,OAAO,MAAM,UAAU,EAAE,OAAO,OAAO,UAAU,CAAC;KACzD,SAAS;MAAE,SAAS;MAAe,UAAU;MAAO;KACpD,UAAU;MACR,cAAc;MACd,UAAU;MACV,UAAU;MACX;KACF,CAAC;;GAEL;EACF;;AAqDH,MAAa,mBAET;CAnDF,MAAM;CACN,IAAI;CACJ,UAAU;CACV,UAAU;CACV,SAAS;CACT,cAAc,EACZ,UAAU,EACR,mBAAmB,MACpB,EACF;CACD,WAAW,EACT,MAAM,wBACP;CACD,OAAO;EACL,YAAY;GACV,kBAAkB,MAAM,KAAK,sBAAsB,QAAQ,CAAC;GAC5D,QAAQ;IACN,SAAS;IACT,OAAO;IACP,OAAO;IACR;GACD,aAAa,CACX;IACE,SAAS;IACT,OAAO;IACP,OAAO;IACR,CACF;GACF;EACD,gBAAgB,EACd,QAAQ;GACN,SAAS;GACT,OAAO;GACP,OAAO;GACR,EACF;EACD,qBAAqB,EACnB,QAAQ;GACN,SAAS;GACT,OAAO;GACP,OAAO;GACR,EACF;EACD,SAAS,CACP;GAAE,QAAQ;GAAgB,UAAU;GAAO,UAAU;GAAY,YAAY;GAAU,CACxF;EACF;CAKC"}

package/dist/pack.d.mts

@@ -1,4 +1,4 @@
-import { t as CodecTypes } from "./codec-types-CQubO6uQ.mjs";
+import { t as CodecTypes } from "./codec-types-D9jU-l1B.mjs";
 import * as _$_prisma_next_framework_components_codec0 from "@prisma-next/framework-components/codec";
 
 //#region src/core/descriptor-meta.d.ts
@@ -53,6 +53,13 @@ declare const pgvectorPackMetaBase: {
         readonly alias: "Vector";
       }];
     };
+    readonly operationTypes: {
+      readonly import: {
+        readonly package: "@prisma-next/extension-pgvector/operation-types";
+        readonly named: "OperationTypes";
+        readonly alias: "PgVectorOperationTypes";
+      };
+    };
     readonly queryOperationTypes: {
       readonly import: {
         readonly package: "@prisma-next/extension-pgvector/operation-types";

package/dist/pack.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"pack.d.mts","names":[],"sources":["../src/core/descriptor-meta.ts"],"mappings":";;;;cA+CM,oBAAA;EAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iCAyCI,0CAAA,CAAA,eAAA;MAAA;;;;;;;;;;;;;;;;;;;;;;;;;;cAEG,gBAAA,SAAyB,oBAAA;EAAA,SAC3B,YAAA,GAAe,UAAA;AAAA"}
+{"version":3,"file":"pack.d.mts","names":[],"sources":["../src/core/descriptor-meta.ts"],"mappings":";;;;cA2DM,oBAAA;EAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iCAgDI,0CAAA,CAAA,eAAA;MAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;cAEG,gBAAA,SAAyB,oBAAA;EAAA,SAC3B,YAAA,GAAe,UAAA;AAAA"}

package/dist/pack.mjs

@@ -1,2 +1,2 @@
-import { t as pgvectorPackMeta } from "./descriptor-meta-DEgJjLLi.mjs";
+import { t as pgvectorPackMeta } from "./descriptor-meta-8UnGdpZ6.mjs";
 export { pgvectorPackMeta as default };

package/dist/runtime.mjs

@@ -1,4 +1,4 @@
-import { n as pgvectorQueryOperations, r as pgvectorCodecRegistry, t as pgvectorPackMeta } from "./descriptor-meta-DEgJjLLi.mjs";
+import { n as pgvectorQueryOperations, r as pgvectorCodecRegistry, t as pgvectorPackMeta } from "./descriptor-meta-8UnGdpZ6.mjs";
 //#region src/exports/runtime.ts
 const pgvectorRuntimeDescriptor = {
 	kind: "extension",

package/package.json

@@ -1,38 +1,38 @@
 {
   "name": "@prisma-next/extension-pgvector",
-  "version": "0.6.0-dev.5",
+  "version": "0.6.0-dev.7",
   "license": "Apache-2.0",
   "type": "module",
   "sideEffects": false,
   "dependencies": {
     "@standard-schema/spec": "^1.1.0",
     "arktype": "^2.1.29",
-    "@prisma-next/contract": "0.6.0-dev.5",
-    "@prisma-next/family-sql": "0.6.0-dev.5",
-    "@prisma-next/contract-authoring": "0.6.0-dev.5",
-    "@prisma-next/framework-components": "0.6.0-dev.5",
-    "@prisma-next/sql-contract": "0.6.0-dev.5",
-    "@prisma-next/migration-tools": "0.6.0-dev.5",
-    "@prisma-next/sql-operations": "0.6.0-dev.5",
-    "@prisma-next/sql-relational-core": "0.6.0-dev.5",
-    "@prisma-next/sql-runtime": "0.6.0-dev.5",
-    "@prisma-next/sql-schema-ir": "0.6.0-dev.5"
+    "@prisma-next/contract": "0.6.0-dev.7",
+    "@prisma-next/contract-authoring": "0.6.0-dev.7",
+    "@prisma-next/family-sql": "0.6.0-dev.7",
+    "@prisma-next/framework-components": "0.6.0-dev.7",
+    "@prisma-next/migration-tools": "0.6.0-dev.7",
+    "@prisma-next/sql-contract": "0.6.0-dev.7",
+    "@prisma-next/sql-operations": "0.6.0-dev.7",
+    "@prisma-next/sql-relational-core": "0.6.0-dev.7",
+    "@prisma-next/sql-schema-ir": "0.6.0-dev.7",
+    "@prisma-next/sql-runtime": "0.6.0-dev.7"
   },
   "devDependencies": {
     "tsdown": "0.22.0",
     "typescript": "5.9.3",
     "vitest": "4.1.5",
-    "@prisma-next/adapter-postgres": "0.6.0-dev.5",
-    "@prisma-next/cli": "0.6.0-dev.5",
-    "@prisma-next/operations": "0.6.0-dev.5",
-    "@prisma-next/sql-contract-ts": "0.6.0-dev.5",
-    "@prisma-next/tsconfig": "0.0.0",
+    "@prisma-next/adapter-postgres": "0.6.0-dev.7",
+    "@prisma-next/operations": "0.6.0-dev.7",
+    "@prisma-next/cli": "0.6.0-dev.7",
+    "@prisma-next/sql-contract-ts": "0.6.0-dev.7",
+    "@prisma-next/target-postgres": "0.6.0-dev.7",
     "@prisma-next/test-utils": "0.0.1",
-    "@prisma-next/tsdown": "0.0.0",
-    "@prisma-next/target-postgres": "0.6.0-dev.5"
+    "@prisma-next/tsconfig": "0.0.0",
+    "@prisma-next/tsdown": "0.0.0"
   },
   "peerDependencies": {
-    "@prisma-next/adapter-postgres": "0.6.0-dev.5"
+    "@prisma-next/adapter-postgres": "0.6.0-dev.7"
   },
   "peerDependenciesMeta": {
     "@prisma-next/adapter-postgres": {

package/src/core/codecs.ts

@@ -49,9 +49,9 @@ export class PgVectorCodec extends CodecImpl<
   string,
   number[]
 > {
-  readonly length: number | undefined;
+  readonly length: number;
 
-  constructor(descriptor: AnyCodecDescriptor, length: number | undefined) {
+  constructor(descriptor: AnyCodecDescriptor, length: number) {
     super(descriptor);
     this.length = length;
   }
@@ -63,7 +63,7 @@ export class PgVectorCodec extends CodecImpl<
     if (!value.every((v) => typeof v === 'number')) {
       throw new Error('Vector value must contain only numbers');
     }
-    if (this.length !== undefined && value.length !== this.length) {
+    if (value.length !== this.length) {
       throw new Error(`Vector length mismatch: expected ${this.length}, got ${value.length}`);
     }
   }
@@ -115,11 +115,8 @@ export class PgVectorDescriptor extends CodecDescriptorImpl<VectorParams> {
   override renderOutputType(params: VectorParams): string {
     return `Vector<${params.length}>`;
   }
-  /**
-   * The runtime calls `factory(undefined)(ctx)` to materialize a representative codec for parameterized descriptors that ship a no-params column variant (here, `vectorColumn` vs `vector(N)`). The runtime cast widens `params` to `unknown`, so guarding with an optional read keeps the typed call site (`factory({ length })`) strict while still producing a length-agnostic codec for representative use. Encode/decode for an undimensioned column run through this representative; the wire format `[v1,v2,...]` is dimension-independent.
-   */
   override factory(params: VectorParams): (ctx: CodecInstanceContext) => PgVectorCodec {
-    return () => new PgVectorCodec(this, (params as VectorParams | undefined)?.length);
+    return () => new PgVectorCodec(this, params.length);
   }
 }
 

package/src/core/descriptor-meta.ts

@@ -1,4 +1,10 @@
-import { buildOperation, refsOf, toExpr } from '@prisma-next/sql-relational-core/expression';
+import {
+  buildOperation,
+  type CodecExpression,
+  codecOf,
+  type Expression,
+  toExpr,
+} from '@prisma-next/sql-relational-core/expression';
 import type { CodecTypes } from '../types/codec-types';
 import type { QueryOperationTypes } from '../types/operation-types';
 import { pgvectorAuthoringTypes } from './authoring';
@@ -12,11 +18,14 @@ export function pgvectorQueryOperations<CT extends CodecTypesBase>(): QueryOpera
   return {
     cosineDistance: {
       self: { codecId: pgvectorTypeId },
-      impl: (self, other) => {
-        const selfRefs = refsOf(self);
+      impl: (
+        self: CodecExpression<'pg/vector@1', boolean, CT>,
+        other: CodecExpression<'pg/vector@1', boolean, CT>,
+      ): Expression<{ codecId: 'pg/float8@1'; nullable: false }> => {
+        const selfCodec = codecOf(self);
         return buildOperation({
           method: 'cosineDistance',
-          args: [toExpr(self, pgvectorTypeId, selfRefs), toExpr(other, pgvectorTypeId, selfRefs)],
+          args: [toExpr(self, selfCodec), toExpr(other, selfCodec)],
           returns: { codecId: 'pg/float8@1', nullable: false },
           lowering: {
             targetFamily: 'sql',
@@ -28,11 +37,14 @@ export function pgvectorQueryOperations<CT extends CodecTypesBase>(): QueryOpera
     },
     cosineSimilarity: {
       self: { codecId: pgvectorTypeId },
-      impl: (self, other) => {
-        const selfRefs = refsOf(self);
+      impl: (
+        self: CodecExpression<'pg/vector@1', boolean, CT>,
+        other: CodecExpression<'pg/vector@1', boolean, CT>,
+      ): Expression<{ codecId: 'pg/float8@1'; nullable: false }> => {
+        const selfCodec = codecOf(self);
         return buildOperation({
           method: 'cosineSimilarity',
-          args: [toExpr(self, pgvectorTypeId, selfRefs), toExpr(other, pgvectorTypeId, selfRefs)],
+          args: [toExpr(self, selfCodec), toExpr(other, selfCodec)],
           returns: { codecId: 'pg/float8@1', nullable: false },
           lowering: {
             targetFamily: 'sql',
@@ -75,6 +87,13 @@ const pgvectorPackMetaBase = {
         },
       ],
     },
+    operationTypes: {
+      import: {
+        package: '@prisma-next/extension-pgvector/operation-types',
+        named: 'OperationTypes',
+        alias: 'PgVectorOperationTypes',
+      },
+    },
     queryOperationTypes: {
       import: {
         package: '@prisma-next/extension-pgvector/operation-types',

package/src/exports/column-types.ts

@@ -1,20 +1,10 @@
 /**
- * Column type descriptors for pgvector extension.
- *
- * These descriptors provide both codecId and nativeType for use in contract authoring. They are derived from the same source of truth as codec definitions and manifests.
+ * Column type descriptor factory for pgvector extension. `vector(N)` is the canonical authoring surface; every pgvector column must declare a dimension via this factory. The dimension threads into the runtime codec through `paramsSchema.length` and into the DDL via the family-layer `expandNativeType` hook (e.g. `vector(1536)`).
  */
 
 import type { ColumnTypeDescriptor } from '@prisma-next/framework-components/codec';
 import { VECTOR_CODEC_ID, VECTOR_MAX_DIM } from '../core/constants';
 
-/**
- * Static vector column descriptor without dimension. Use `vector(N)` for dimensioned vectors that produce `vector(N)` DDL.
- */
-export const vectorColumn = {
-  codecId: VECTOR_CODEC_ID,
-  nativeType: 'vector',
-} as const satisfies ColumnTypeDescriptor;
-
 /**
  * Factory for creating dimensioned vector column descriptors.
  *

package/dist/descriptor-meta-DEgJjLLi.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"descriptor-meta-DEgJjLLi.mjs","names":["arktype"],"sources":["../src/core/authoring.ts","../src/core/codecs.ts","../src/core/registry.ts","../src/core/descriptor-meta.ts"],"sourcesContent":["import type { AuthoringTypeNamespace } from '@prisma-next/framework-components/authoring';\nimport { VECTOR_MAX_DIM } from './constants';\n\nexport const pgvectorAuthoringTypes = {\n  pgvector: {\n    Vector: {\n      kind: 'typeConstructor',\n      args: [\n        { kind: 'number', name: 'length', integer: true, minimum: 1, maximum: VECTOR_MAX_DIM },\n      ],\n      output: {\n        codecId: 'pg/vector@1',\n        nativeType: 'vector',\n        typeParams: {\n          length: { kind: 'arg', index: 0 },\n        },\n      },\n    },\n  },\n} as const satisfies AuthoringTypeNamespace;\n","/**\n * pgvector extension codec.\n *\n * Mirrors the patterns in `postgres/codecs-class.ts` and `sqlite/codecs-class.ts` for the single `pg/vector@1` codec. Three artifacts:\n *\n * 1. `PgVectorCodec` extends {@link CodecImpl} with the runtime encode/decode/encodeJson/decodeJson conversions inline. Conversions are simple enough (PostgreSQL `[1,2,3]` text format) that no shared helper module is warranted; the class body is the source of truth.\n * 2. `PgVectorDescriptor` extends {@link CodecDescriptorImpl} with the codec id, traits, target types, params schema (`{ length: number }`, validated against {@link VECTOR_MAX_DIM}), `meta` (postgres `nativeType: 'vector'`), and the emit-path `renderOutputType` producing `Vector<${length}>`.\n * 3. `pgVectorColumn(length)` per-codec column helper invoking `descriptor.factory({ length })` directly + passing the bare `nativeType: 'vector'`. The family-layer {@link expandNativeType} hook renders the parameterized form (`vector(1536)`) at emit/verify time from `nativeType` + `typeParams`.\n *\n * `length` threads into the runtime codec via the constructor so encode/decode/encodeJson/decodeJson enforce the declared dimension at every ingress path. Without this, `vector(3)` and `vector(1536)` would produce codecs with identical behaviour and a dimension-mismatched value would round-trip undetected.\n */\n\nimport type { JsonValue } from '@prisma-next/contract/types';\nimport {\n  type AnyCodecDescriptor,\n  type CodecCallContext,\n  CodecDescriptorImpl,\n  CodecImpl,\n  type CodecInstanceContext,\n  type ColumnHelperFor,\n  type ColumnHelperForStrict,\n  column,\n} from '@prisma-next/framework-components/codec';\nimport type { ExtractCodecTypes } from '@prisma-next/sql-relational-core/ast';\nimport type { StandardSchemaV1 } from '@standard-schema/spec';\nimport { type as arktype } from 'arktype';\nimport { VECTOR_CODEC_ID, VECTOR_MAX_DIM } from './constants';\n\ntype VectorParams = { readonly length: number };\n\nconst vectorParamsSchema = arktype({\n  length: 'number',\n}).narrow((params, ctx) => {\n  const { length } = params;\n  if (!Number.isInteger(length)) {\n    return ctx.mustBe('an integer');\n  }\n  if (length < 1 || length > VECTOR_MAX_DIM) {\n    return ctx.mustBe(`in the range [1, ${VECTOR_MAX_DIM}]`);\n  }\n  return true;\n}) satisfies StandardSchemaV1<VectorParams>;\n\nconst PG_VECTOR_META = { db: { sql: { postgres: { nativeType: 'vector' } } } } as const;\n\nexport class PgVectorCodec extends CodecImpl<\n  typeof VECTOR_CODEC_ID,\n  readonly ['equality'],\n  string,\n  number[]\n> {\n  readonly length: number | undefined;\n\n  constructor(descriptor: AnyCodecDescriptor, length: number | undefined) {\n    super(descriptor);\n    this.length = length;\n  }\n\n  assertVector(value: unknown): asserts value is number[] {\n    if (!Array.isArray(value)) {\n      throw new Error('Vector value must be an array of numbers');\n    }\n    if (!value.every((v) => typeof v === 'number')) {\n      throw new Error('Vector value must contain only numbers');\n    }\n    if (this.length !== undefined && value.length !== this.length) {\n      throw new Error(`Vector length mismatch: expected ${this.length}, got ${value.length}`);\n    }\n  }\n\n  async encode(value: number[], _ctx: CodecCallContext): Promise<string> {\n    this.assertVector(value);\n    return `[${value.join(',')}]`;\n  }\n\n  async decode(wire: string, _ctx: CodecCallContext): Promise<number[]> {\n    if (typeof wire !== 'string') {\n      throw new Error('Vector wire value must be a string');\n    }\n    if (!wire.startsWith('[') || !wire.endsWith(']')) {\n      throw new Error(`Invalid vector format: expected \"[...]\", got \"${wire}\"`);\n    }\n    const content = wire.slice(1, -1).trim();\n    const parsed =\n      content === ''\n        ? []\n        : content.split(',').map((v) => {\n            const num = Number.parseFloat(v.trim());\n            if (Number.isNaN(num)) {\n              throw new Error(`Invalid vector value: \"${v}\" is not a number`);\n            }\n            return num;\n          });\n    this.assertVector(parsed);\n    return parsed;\n  }\n\n  encodeJson(value: number[]): JsonValue {\n    this.assertVector(value);\n    return value;\n  }\n\n  decodeJson(json: JsonValue): number[] {\n    this.assertVector(json);\n    return json;\n  }\n}\n\nexport class PgVectorDescriptor extends CodecDescriptorImpl<VectorParams> {\n  override readonly codecId = VECTOR_CODEC_ID;\n  override readonly traits = ['equality'] as const;\n  override readonly targetTypes = ['vector'] as const;\n  override readonly meta = PG_VECTOR_META;\n  override readonly paramsSchema: StandardSchemaV1<VectorParams> = vectorParamsSchema;\n  override renderOutputType(params: VectorParams): string {\n    return `Vector<${params.length}>`;\n  }\n  /**\n   * The runtime calls `factory(undefined)(ctx)` to materialize a representative codec for parameterized descriptors that ship a no-params column variant (here, `vectorColumn` vs `vector(N)`). The runtime cast widens `params` to `unknown`, so guarding with an optional read keeps the typed call site (`factory({ length })`) strict while still producing a length-agnostic codec for representative use. Encode/decode for an undimensioned column run through this representative; the wire format `[v1,v2,...]` is dimension-independent.\n   */\n  override factory(params: VectorParams): (ctx: CodecInstanceContext) => PgVectorCodec {\n    return () => new PgVectorCodec(this, (params as VectorParams | undefined)?.length);\n  }\n}\n\nexport const pgVectorDescriptor = new PgVectorDescriptor();\n\n/**\n * Per-codec column helper for `pg/vector@1`. Generic over `N extends number` so the column site preserves the dimension literal in `typeParams` (e.g. `pgVectorColumn(1536)` packs `typeParams: { length: 1536 }`).\n *\n * Passes the bare `nativeType: 'vector'`; the family-layer `expandNativeType` hook renders the parameterized form (`vector(1536)`) at emit/verify time from `nativeType` + `typeParams`.\n */\nexport const pgVectorColumn = <N extends number>(length: N) =>\n  column(pgVectorDescriptor.factory({ length }), pgVectorDescriptor.codecId, { length }, 'vector');\n\npgVectorColumn satisfies ColumnHelperFor<PgVectorDescriptor>;\npgVectorColumn satisfies ColumnHelperForStrict<PgVectorDescriptor>;\n\nconst codecDescriptorMap = {\n  vector: pgVectorDescriptor,\n} as const;\n\nexport type CodecTypes = ExtractCodecTypes<typeof codecDescriptorMap>;\n\nexport const codecDescriptors: readonly AnyCodecDescriptor[] = Object.values(codecDescriptorMap);\n","import { buildCodecDescriptorRegistry } from '@prisma-next/sql-relational-core/codec-descriptor-registry';\nimport type { CodecDescriptorRegistry } from '@prisma-next/sql-relational-core/query-lane-context';\nimport { codecDescriptors } from './codecs';\n\n/**\n * Registry of every codec descriptor shipped by `@prisma-next/extension-pgvector`.\n *\n * Public consumer surface for the pgvector codec set. Currently a single entry (`pg/vector@1`); the registry shape stays consistent with the other codec-shipping packages so consumers don't need to special-case extensions. See ADR 208.\n */\nexport const pgvectorCodecRegistry: CodecDescriptorRegistry =\n  buildCodecDescriptorRegistry(codecDescriptors);\n","import { buildOperation, refsOf, toExpr } from '@prisma-next/sql-relational-core/expression';\nimport type { CodecTypes } from '../types/codec-types';\nimport type { QueryOperationTypes } from '../types/operation-types';\nimport { pgvectorAuthoringTypes } from './authoring';\nimport { pgvectorCodecRegistry } from './registry';\n\nconst pgvectorTypeId = 'pg/vector@1' as const;\n\ntype CodecTypesBase = Record<string, { readonly input: unknown; readonly output: unknown }>;\n\nexport function pgvectorQueryOperations<CT extends CodecTypesBase>(): QueryOperationTypes<CT> {\n  return {\n    cosineDistance: {\n      self: { codecId: pgvectorTypeId },\n      impl: (self, other) => {\n        const selfRefs = refsOf(self);\n        return buildOperation({\n          method: 'cosineDistance',\n          args: [toExpr(self, pgvectorTypeId, selfRefs), toExpr(other, pgvectorTypeId, selfRefs)],\n          returns: { codecId: 'pg/float8@1', nullable: false },\n          lowering: {\n            targetFamily: 'sql',\n            strategy: 'function',\n            template: '{{self}} <=> {{arg0}}',\n          },\n        });\n      },\n    },\n    cosineSimilarity: {\n      self: { codecId: pgvectorTypeId },\n      impl: (self, other) => {\n        const selfRefs = refsOf(self);\n        return buildOperation({\n          method: 'cosineSimilarity',\n          args: [toExpr(self, pgvectorTypeId, selfRefs), toExpr(other, pgvectorTypeId, selfRefs)],\n          returns: { codecId: 'pg/float8@1', nullable: false },\n          lowering: {\n            targetFamily: 'sql',\n            strategy: 'function',\n            template: '1 - ({{self}} <=> {{arg0}})',\n          },\n        });\n      },\n    },\n  };\n}\n\nconst pgvectorPackMetaBase = {\n  kind: 'extension',\n  id: 'pgvector',\n  familyId: 'sql',\n  targetId: 'postgres',\n  version: '0.0.1',\n  capabilities: {\n    postgres: {\n      'pgvector.cosine': true,\n    },\n  },\n  authoring: {\n    type: pgvectorAuthoringTypes,\n  },\n  types: {\n    codecTypes: {\n      codecDescriptors: Array.from(pgvectorCodecRegistry.values()),\n      import: {\n        package: '@prisma-next/extension-pgvector/codec-types',\n        named: 'CodecTypes',\n        alias: 'PgVectorTypes',\n      },\n      typeImports: [\n        {\n          package: '@prisma-next/extension-pgvector/codec-types',\n          named: 'Vector',\n          alias: 'Vector',\n        },\n      ],\n    },\n    queryOperationTypes: {\n      import: {\n        package: '@prisma-next/extension-pgvector/operation-types',\n        named: 'QueryOperationTypes',\n        alias: 'PgVectorQueryOperationTypes',\n      },\n    },\n    storage: [\n      { typeId: pgvectorTypeId, familyId: 'sql', targetId: 'postgres', nativeType: 'vector' },\n    ],\n  },\n} as const;\n\nexport const pgvectorPackMeta: typeof pgvectorPackMetaBase & {\n  readonly __codecTypes?: CodecTypes;\n} = pgvectorPackMetaBase;\n"],"mappings":";;;;;;AAGA,MAAa,yBAAyB,EACpC,UAAU,EACR,QAAQ;CACN,MAAM;CACN,MAAM,CACJ;EAAE,MAAM;EAAU,MAAM;EAAU,SAAS;EAAM,SAAS;EAAG,SAAS;EAAgB,CACvF;CACD,QAAQ;EACN,SAAS;EACT,YAAY;EACZ,YAAY,EACV,QAAQ;GAAE,MAAM;GAAO,OAAO;GAAG,EAClC;EACF;CACF,EACF,EACF;;;ACWD,MAAM,qBAAqBA,KAAQ,EACjC,QAAQ,UACT,CAAC,CAAC,QAAQ,QAAQ,QAAQ;CACzB,MAAM,EAAE,WAAW;CACnB,IAAI,CAAC,OAAO,UAAU,OAAO,EAC3B,OAAO,IAAI,OAAO,aAAa;CAEjC,IAAI,SAAS,KAAK,SAAA,MAChB,OAAO,IAAI,OAAO,oBAAoB,eAAe,GAAG;CAE1D,OAAO;EACP;AAEF,MAAM,iBAAiB,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,YAAY,UAAU,EAAE,EAAE,EAAE;AAE9E,IAAa,gBAAb,cAAmC,UAKjC;CACA;CAEA,YAAY,YAAgC,QAA4B;EACtE,MAAM,WAAW;EACjB,KAAK,SAAS;;CAGhB,aAAa,OAA2C;EACtD,IAAI,CAAC,MAAM,QAAQ,MAAM,EACvB,MAAM,IAAI,MAAM,2CAA2C;EAE7D,IAAI,CAAC,MAAM,OAAO,MAAM,OAAO,MAAM,SAAS,EAC5C,MAAM,IAAI,MAAM,yCAAyC;EAE3D,IAAI,KAAK,WAAW,KAAA,KAAa,MAAM,WAAW,KAAK,QACrD,MAAM,IAAI,MAAM,oCAAoC,KAAK,OAAO,QAAQ,MAAM,SAAS;;CAI3F,MAAM,OAAO,OAAiB,MAAyC;EACrE,KAAK,aAAa,MAAM;EACxB,OAAO,IAAI,MAAM,KAAK,IAAI,CAAC;;CAG7B,MAAM,OAAO,MAAc,MAA2C;EACpE,IAAI,OAAO,SAAS,UAClB,MAAM,IAAI,MAAM,qCAAqC;EAEvD,IAAI,CAAC,KAAK,WAAW,IAAI,IAAI,CAAC,KAAK,SAAS,IAAI,EAC9C,MAAM,IAAI,MAAM,iDAAiD,KAAK,GAAG;EAE3E,MAAM,UAAU,KAAK,MAAM,GAAG,GAAG,CAAC,MAAM;EACxC,MAAM,SACJ,YAAY,KACR,EAAE,GACF,QAAQ,MAAM,IAAI,CAAC,KAAK,MAAM;GAC5B,MAAM,MAAM,OAAO,WAAW,EAAE,MAAM,CAAC;GACvC,IAAI,OAAO,MAAM,IAAI,EACnB,MAAM,IAAI,MAAM,0BAA0B,EAAE,mBAAmB;GAEjE,OAAO;IACP;EACR,KAAK,aAAa,OAAO;EACzB,OAAO;;CAGT,WAAW,OAA4B;EACrC,KAAK,aAAa,MAAM;EACxB,OAAO;;CAGT,WAAW,MAA2B;EACpC,KAAK,aAAa,KAAK;EACvB,OAAO;;;AAIX,IAAa,qBAAb,cAAwC,oBAAkC;CACxE,UAA4B;CAC5B,SAA2B,CAAC,WAAW;CACvC,cAAgC,CAAC,SAAS;CAC1C,OAAyB;CACzB,eAAiE;CACjE,iBAA0B,QAA8B;EACtD,OAAO,UAAU,OAAO,OAAO;;;;;CAKjC,QAAiB,QAAoE;EACnF,aAAa,IAAI,cAAc,MAAO,QAAqC,OAAO;;;AAiBtF,MAAM,qBAAqB,EACzB,QAAQ,IAd4B,oBAc5B,EACT;;;;;;;;ACnID,MAAa,wBACX,6BDsI6D,OAAO,OAAO,mBCtI9C,CAAiB;;;ACJhD,MAAM,iBAAiB;AAIvB,SAAgB,0BAA8E;CAC5F,OAAO;EACL,gBAAgB;GACd,MAAM,EAAE,SAAS,gBAAgB;GACjC,OAAO,MAAM,UAAU;IACrB,MAAM,WAAW,OAAO,KAAK;IAC7B,OAAO,eAAe;KACpB,QAAQ;KACR,MAAM,CAAC,OAAO,MAAM,gBAAgB,SAAS,EAAE,OAAO,OAAO,gBAAgB,SAAS,CAAC;KACvF,SAAS;MAAE,SAAS;MAAe,UAAU;MAAO;KACpD,UAAU;MACR,cAAc;MACd,UAAU;MACV,UAAU;MACX;KACF,CAAC;;GAEL;EACD,kBAAkB;GAChB,MAAM,EAAE,SAAS,gBAAgB;GACjC,OAAO,MAAM,UAAU;IACrB,MAAM,WAAW,OAAO,KAAK;IAC7B,OAAO,eAAe;KACpB,QAAQ;KACR,MAAM,CAAC,OAAO,MAAM,gBAAgB,SAAS,EAAE,OAAO,OAAO,gBAAgB,SAAS,CAAC;KACvF,SAAS;MAAE,SAAS;MAAe,UAAU;MAAO;KACpD,UAAU;MACR,cAAc;MACd,UAAU;MACV,UAAU;MACX;KACF,CAAC;;GAEL;EACF;;AA8CH,MAAa,mBAET;CA5CF,MAAM;CACN,IAAI;CACJ,UAAU;CACV,UAAU;CACV,SAAS;CACT,cAAc,EACZ,UAAU,EACR,mBAAmB,MACpB,EACF;CACD,WAAW,EACT,MAAM,wBACP;CACD,OAAO;EACL,YAAY;GACV,kBAAkB,MAAM,KAAK,sBAAsB,QAAQ,CAAC;GAC5D,QAAQ;IACN,SAAS;IACT,OAAO;IACP,OAAO;IACR;GACD,aAAa,CACX;IACE,SAAS;IACT,OAAO;IACP,OAAO;IACR,CACF;GACF;EACD,qBAAqB,EACnB,QAAQ;GACN,SAAS;GACT,OAAO;GACP,OAAO;GACR,EACF;EACD,SAAS,CACP;GAAE,QAAQ;GAAgB,UAAU;GAAO,UAAU;GAAY,YAAY;GAAU,CACxF;EACF;CAKC"}