@prisma-next/extension-pgvector 0.5.0-dev.9 → 0.5.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +5 -2
- package/dist/codec-types-yMSpEJJM.d.mts +63 -0
- package/dist/codec-types-yMSpEJJM.d.mts.map +1 -0
- package/dist/codec-types.d.mts +1 -1
- package/dist/codec-types.mjs +1 -1
- package/dist/column-types.d.mts +2 -5
- package/dist/column-types.d.mts.map +1 -1
- package/dist/column-types.mjs +4 -7
- package/dist/column-types.mjs.map +1 -1
- package/dist/{constants-Co5golCK.mjs → constants-DX-00vYk.mjs} +2 -2
- package/dist/{constants-Co5golCK.mjs.map → constants-DX-00vYk.mjs.map} +1 -1
- package/dist/control.d.mts.map +1 -1
- package/dist/control.mjs +177 -30
- package/dist/control.mjs.map +1 -1
- package/dist/descriptor-meta-DEgJjLLi.mjs +178 -0
- package/dist/descriptor-meta-DEgJjLLi.mjs.map +1 -0
- package/dist/operation-types-Bd-jkNN3.d.mts +38 -0
- package/dist/operation-types-Bd-jkNN3.d.mts.map +1 -0
- package/dist/operation-types.d.mts +2 -76
- package/dist/operation-types.mjs +1 -1
- package/dist/pack.d.mts +3 -10
- package/dist/pack.d.mts.map +1 -1
- package/dist/pack.mjs +2 -3
- package/dist/runtime.d.mts +10 -1
- package/dist/runtime.d.mts.map +1 -1
- package/dist/runtime.mjs +6 -25
- package/dist/runtime.mjs.map +1 -1
- package/package.json +20 -17
- package/src/core/codecs.ts +127 -59
- package/src/core/contract-space-constants.ts +30 -0
- package/src/core/contract.ts +74 -0
- package/src/core/descriptor-meta.ts +40 -36
- package/src/core/migrations.ts +125 -0
- package/src/core/registry.ts +11 -0
- package/src/exports/column-types.ts +3 -6
- package/src/exports/control.ts +35 -37
- package/src/exports/operation-types.ts +1 -1
- package/src/exports/runtime.ts +11 -41
- package/src/types/operation-types.ts +19 -36
- package/dist/codec-types-BifaP625.d.mts +0 -27
- package/dist/codec-types-BifaP625.d.mts.map +0 -1
- package/dist/descriptor-meta-BQbvJJxu.mjs +0 -148
- package/dist/descriptor-meta-BQbvJJxu.mjs.map +0 -1
- package/dist/operation-types.d.mts.map +0 -1
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"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"}
|
|
@@ -0,0 +1,38 @@
|
|
|
1
|
+
import { CodecExpression, Expression } from "@prisma-next/sql-relational-core/expression";
|
|
2
|
+
import { SqlQueryOperationTypes } from "@prisma-next/sql-contract/types";
|
|
3
|
+
|
|
4
|
+
//#region src/types/operation-types.d.ts
|
|
5
|
+
type CodecTypesBase = Record<string, {
|
|
6
|
+
readonly input: unknown;
|
|
7
|
+
readonly output: unknown;
|
|
8
|
+
}>;
|
|
9
|
+
/**
|
|
10
|
+
* Operation type definitions for pgvector extension.
|
|
11
|
+
*
|
|
12
|
+
* This file exports type-only definitions for operation method signatures.
|
|
13
|
+
* These types are imported by contract.d.ts files for compile-time type inference.
|
|
14
|
+
*/
|
|
15
|
+
/** Flat operation signatures for the query builder. */
|
|
16
|
+
type QueryOperationTypes<CT extends CodecTypesBase> = SqlQueryOperationTypes<CT, {
|
|
17
|
+
readonly cosineDistance: {
|
|
18
|
+
readonly self: {
|
|
19
|
+
readonly codecId: 'pg/vector@1';
|
|
20
|
+
};
|
|
21
|
+
readonly impl: (self: CodecExpression<'pg/vector@1', boolean, CT>, other: CodecExpression<'pg/vector@1', boolean, CT>) => Expression<{
|
|
22
|
+
codecId: 'pg/float8@1';
|
|
23
|
+
nullable: false;
|
|
24
|
+
}>;
|
|
25
|
+
};
|
|
26
|
+
readonly cosineSimilarity: {
|
|
27
|
+
readonly self: {
|
|
28
|
+
readonly codecId: 'pg/vector@1';
|
|
29
|
+
};
|
|
30
|
+
readonly impl: (self: CodecExpression<'pg/vector@1', boolean, CT>, other: CodecExpression<'pg/vector@1', boolean, CT>) => Expression<{
|
|
31
|
+
codecId: 'pg/float8@1';
|
|
32
|
+
nullable: false;
|
|
33
|
+
}>;
|
|
34
|
+
};
|
|
35
|
+
}>;
|
|
36
|
+
//#endregion
|
|
37
|
+
export { QueryOperationTypes as t };
|
|
38
|
+
//# sourceMappingURL=operation-types-Bd-jkNN3.d.mts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"operation-types-Bd-jkNN3.d.mts","names":[],"sources":["../src/types/operation-types.ts"],"mappings":";;;;KAGK,cAAA,GAAiB,MAAA;EAAA,SAA0B,KAAA;EAAA,SAAyB,MAAA;AAAA;;;;;;;;KAU7D,mBAAA,YAA+B,cAAA,IAAkB,sBAAA,CAC3D,EAAA;EAAA,SAEW,cAAA;IAAA,SACE,IAAA;MAAA,SAAiB,OAAA;IAAA;IAAA,SACjB,IAAA,GACP,IAAA,EAAM,eAAA,yBAAwC,EAAA,GAC9C,KAAA,EAAO,eAAA,yBAAwC,EAAA,MAC5C,UAAA;MAAa,OAAA;MAAwB,QAAA;IAAA;EAAA;EAAA,SAEnC,gBAAA;IAAA,SACE,IAAA;MAAA,SAAiB,OAAA;IAAA;IAAA,SACjB,IAAA,GACP,IAAA,EAAM,eAAA,yBAAwC,EAAA,GAC9C,KAAA,EAAO,eAAA,yBAAwC,EAAA,MAC5C,UAAA;MAAa,OAAA;MAAwB,QAAA;IAAA;EAAA;AAAA"}
|
|
@@ -1,76 +1,2 @@
|
|
|
1
|
-
import {
|
|
2
|
-
|
|
3
|
-
//#region src/types/operation-types.d.ts
|
|
4
|
-
|
|
5
|
-
/**
|
|
6
|
-
* Operation type definitions for pgvector extension.
|
|
7
|
-
*
|
|
8
|
-
* This file exports type-only definitions for operation method signatures.
|
|
9
|
-
* These types are imported by contract.d.ts files for compile-time type inference.
|
|
10
|
-
*/
|
|
11
|
-
type OperationTypes = {
|
|
12
|
-
readonly 'pg/vector@1': {
|
|
13
|
-
readonly cosineDistance: {
|
|
14
|
-
readonly args: readonly [{
|
|
15
|
-
readonly codecId: 'pg/vector@1';
|
|
16
|
-
readonly nullable: false;
|
|
17
|
-
}];
|
|
18
|
-
readonly returns: {
|
|
19
|
-
readonly codecId: 'pg/float8@1';
|
|
20
|
-
readonly nullable: false;
|
|
21
|
-
};
|
|
22
|
-
readonly lowering: {
|
|
23
|
-
readonly targetFamily: 'sql';
|
|
24
|
-
readonly strategy: 'function';
|
|
25
|
-
readonly template: string;
|
|
26
|
-
};
|
|
27
|
-
};
|
|
28
|
-
readonly cosineSimilarity: {
|
|
29
|
-
readonly args: readonly [{
|
|
30
|
-
readonly codecId: 'pg/vector@1';
|
|
31
|
-
readonly nullable: false;
|
|
32
|
-
}];
|
|
33
|
-
readonly returns: {
|
|
34
|
-
readonly codecId: 'pg/float8@1';
|
|
35
|
-
readonly nullable: false;
|
|
36
|
-
};
|
|
37
|
-
readonly lowering: {
|
|
38
|
-
readonly targetFamily: 'sql';
|
|
39
|
-
readonly strategy: 'function';
|
|
40
|
-
readonly template: string;
|
|
41
|
-
};
|
|
42
|
-
};
|
|
43
|
-
};
|
|
44
|
-
};
|
|
45
|
-
/** Flat operation signatures for the query builder. */
|
|
46
|
-
type QueryOperationTypes = SqlQueryOperationTypes<{
|
|
47
|
-
readonly cosineDistance: {
|
|
48
|
-
readonly args: readonly [{
|
|
49
|
-
readonly codecId: 'pg/vector@1';
|
|
50
|
-
readonly nullable: boolean;
|
|
51
|
-
}, {
|
|
52
|
-
readonly codecId: 'pg/vector@1';
|
|
53
|
-
readonly nullable: boolean;
|
|
54
|
-
}];
|
|
55
|
-
readonly returns: {
|
|
56
|
-
readonly codecId: 'pg/float8@1';
|
|
57
|
-
readonly nullable: false;
|
|
58
|
-
};
|
|
59
|
-
};
|
|
60
|
-
readonly cosineSimilarity: {
|
|
61
|
-
readonly args: readonly [{
|
|
62
|
-
readonly codecId: 'pg/vector@1';
|
|
63
|
-
readonly nullable: boolean;
|
|
64
|
-
}, {
|
|
65
|
-
readonly codecId: 'pg/vector@1';
|
|
66
|
-
readonly nullable: boolean;
|
|
67
|
-
}];
|
|
68
|
-
readonly returns: {
|
|
69
|
-
readonly codecId: 'pg/float8@1';
|
|
70
|
-
readonly nullable: false;
|
|
71
|
-
};
|
|
72
|
-
};
|
|
73
|
-
}>;
|
|
74
|
-
//#endregion
|
|
75
|
-
export { type OperationTypes, type QueryOperationTypes };
|
|
76
|
-
//# sourceMappingURL=operation-types.d.mts.map
|
|
1
|
+
import { t as QueryOperationTypes } from "./operation-types-Bd-jkNN3.mjs";
|
|
2
|
+
export { type QueryOperationTypes };
|
package/dist/operation-types.mjs
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
export {
|
|
1
|
+
export {};
|
package/dist/pack.d.mts
CHANGED
|
@@ -1,5 +1,5 @@
|
|
|
1
|
-
import { t as CodecTypes } from "./codec-types-
|
|
2
|
-
import * as
|
|
1
|
+
import { t as CodecTypes } from "./codec-types-yMSpEJJM.mjs";
|
|
2
|
+
import * as _$_prisma_next_framework_components_codec0 from "@prisma-next/framework-components/codec";
|
|
3
3
|
|
|
4
4
|
//#region src/core/descriptor-meta.d.ts
|
|
5
5
|
declare const pgvectorPackMetaBase: {
|
|
@@ -41,7 +41,7 @@ declare const pgvectorPackMetaBase: {
|
|
|
41
41
|
};
|
|
42
42
|
readonly types: {
|
|
43
43
|
readonly codecTypes: {
|
|
44
|
-
readonly
|
|
44
|
+
readonly codecDescriptors: _$_prisma_next_framework_components_codec0.CodecDescriptor<unknown>[];
|
|
45
45
|
readonly import: {
|
|
46
46
|
readonly package: "@prisma-next/extension-pgvector/codec-types";
|
|
47
47
|
readonly named: "CodecTypes";
|
|
@@ -53,13 +53,6 @@ declare const pgvectorPackMetaBase: {
|
|
|
53
53
|
readonly alias: "Vector";
|
|
54
54
|
}];
|
|
55
55
|
};
|
|
56
|
-
readonly operationTypes: {
|
|
57
|
-
readonly import: {
|
|
58
|
-
readonly package: "@prisma-next/extension-pgvector/operation-types";
|
|
59
|
-
readonly named: "OperationTypes";
|
|
60
|
-
readonly alias: "PgVectorOperationTypes";
|
|
61
|
-
};
|
|
62
|
-
};
|
|
63
56
|
readonly queryOperationTypes: {
|
|
64
57
|
readonly import: {
|
|
65
58
|
readonly package: "@prisma-next/extension-pgvector/operation-types";
|
package/dist/pack.d.mts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"pack.d.mts","names":[],"sources":["../src/core/descriptor-meta.ts"],"
|
|
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"}
|
package/dist/pack.mjs
CHANGED
|
@@ -1,3 +1,2 @@
|
|
|
1
|
-
import { t as pgvectorPackMeta } from "./descriptor-meta-
|
|
2
|
-
|
|
3
|
-
export { pgvectorPackMeta as default };
|
|
1
|
+
import { t as pgvectorPackMeta } from "./descriptor-meta-DEgJjLLi.mjs";
|
|
2
|
+
export { pgvectorPackMeta as default };
|
package/dist/runtime.d.mts
CHANGED
|
@@ -1,7 +1,16 @@
|
|
|
1
1
|
import { SqlRuntimeExtensionDescriptor } from "@prisma-next/sql-runtime";
|
|
2
|
+
import { CodecDescriptorRegistry } from "@prisma-next/sql-relational-core/query-lane-context";
|
|
2
3
|
|
|
4
|
+
//#region src/core/registry.d.ts
|
|
5
|
+
/**
|
|
6
|
+
* Registry of every codec descriptor shipped by `@prisma-next/extension-pgvector`.
|
|
7
|
+
*
|
|
8
|
+
* 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.
|
|
9
|
+
*/
|
|
10
|
+
declare const pgvectorCodecRegistry: CodecDescriptorRegistry;
|
|
11
|
+
//#endregion
|
|
3
12
|
//#region src/exports/runtime.d.ts
|
|
4
13
|
declare const pgvectorRuntimeDescriptor: SqlRuntimeExtensionDescriptor<'postgres'>;
|
|
5
14
|
//#endregion
|
|
6
|
-
export { pgvectorRuntimeDescriptor as default };
|
|
15
|
+
export { pgvectorRuntimeDescriptor as default, pgvectorCodecRegistry };
|
|
7
16
|
//# sourceMappingURL=runtime.d.mts.map
|
package/dist/runtime.d.mts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"runtime.d.mts","names":[],"sources":["../src/
|
|
1
|
+
{"version":3,"file":"runtime.d.mts","names":[],"sources":["../src/core/registry.ts","../src/exports/runtime.ts"],"mappings":";;;;;;;AASA;;cAAa,qBAAA,EAAuB,uBAAA;;;cCL9B,yBAAA,EAA2B,6BAAA"}
|
package/dist/runtime.mjs
CHANGED
|
@@ -1,32 +1,14 @@
|
|
|
1
|
-
import { n as
|
|
2
|
-
import { n as pgvectorQueryOperations, r as codecDefinitions, t as pgvectorPackMeta } from "./descriptor-meta-BQbvJJxu.mjs";
|
|
3
|
-
import { createCodecRegistry } from "@prisma-next/sql-relational-core/ast";
|
|
4
|
-
import { type } from "arktype";
|
|
5
|
-
|
|
1
|
+
import { n as pgvectorQueryOperations, r as pgvectorCodecRegistry, t as pgvectorPackMeta } from "./descriptor-meta-DEgJjLLi.mjs";
|
|
6
2
|
//#region src/exports/runtime.ts
|
|
7
|
-
const parameterizedCodecDescriptors = [{
|
|
8
|
-
codecId: VECTOR_CODEC_ID,
|
|
9
|
-
paramsSchema: type({ length: "number" }).narrow((params, ctx) => {
|
|
10
|
-
const { length } = params;
|
|
11
|
-
if (!Number.isInteger(length)) return ctx.mustBe("an integer");
|
|
12
|
-
if (length < 1 || length > VECTOR_MAX_DIM) return ctx.mustBe(`in the range [1, ${VECTOR_MAX_DIM}]`);
|
|
13
|
-
return true;
|
|
14
|
-
})
|
|
15
|
-
}];
|
|
16
|
-
function createPgvectorCodecRegistry() {
|
|
17
|
-
const registry = createCodecRegistry();
|
|
18
|
-
for (const def of Object.values(codecDefinitions)) registry.register(def.codec);
|
|
19
|
-
return registry;
|
|
20
|
-
}
|
|
21
3
|
const pgvectorRuntimeDescriptor = {
|
|
22
4
|
kind: "extension",
|
|
23
5
|
id: pgvectorPackMeta.id,
|
|
24
6
|
version: pgvectorPackMeta.version,
|
|
25
7
|
familyId: "sql",
|
|
26
8
|
targetId: "postgres",
|
|
27
|
-
|
|
28
|
-
|
|
29
|
-
|
|
9
|
+
types: { codecTypes: { codecDescriptors: Array.from(pgvectorCodecRegistry.values()) } },
|
|
10
|
+
codecs: () => Array.from(pgvectorCodecRegistry.values()),
|
|
11
|
+
queryOperations: () => pgvectorQueryOperations(),
|
|
30
12
|
create() {
|
|
31
13
|
return {
|
|
32
14
|
familyId: "sql",
|
|
@@ -34,8 +16,7 @@ const pgvectorRuntimeDescriptor = {
|
|
|
34
16
|
};
|
|
35
17
|
}
|
|
36
18
|
};
|
|
37
|
-
var runtime_default = pgvectorRuntimeDescriptor;
|
|
38
|
-
|
|
39
19
|
//#endregion
|
|
40
|
-
export {
|
|
20
|
+
export { pgvectorRuntimeDescriptor as default, pgvectorCodecRegistry };
|
|
21
|
+
|
|
41
22
|
//# sourceMappingURL=runtime.mjs.map
|
package/dist/runtime.mjs.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"runtime.mjs","names":[
|
|
1
|
+
{"version":3,"file":"runtime.mjs","names":[],"sources":["../src/exports/runtime.ts"],"sourcesContent":["import type { SqlRuntimeExtensionDescriptor } from '@prisma-next/sql-runtime';\nimport { pgvectorPackMeta, pgvectorQueryOperations } from '../core/descriptor-meta';\nimport { pgvectorCodecRegistry } from '../core/registry';\n\nconst pgvectorRuntimeDescriptor: SqlRuntimeExtensionDescriptor<'postgres'> = {\n kind: 'extension' as const,\n id: pgvectorPackMeta.id,\n version: pgvectorPackMeta.version,\n familyId: 'sql' as const,\n targetId: 'postgres' as const,\n // Expose the unified descriptor list so `extractCodecLookup` reads `targetTypes` / `meta` / `renderOutputType` directly off the descriptors and materializes the representative `Codec` for the SQL renderer's cast-policy lookup.\n types: {\n codecTypes: {\n codecDescriptors: Array.from(pgvectorCodecRegistry.values()),\n },\n },\n codecs: () => Array.from(pgvectorCodecRegistry.values()),\n queryOperations: () => pgvectorQueryOperations(),\n create() {\n return {\n familyId: 'sql' as const,\n targetId: 'postgres' as const,\n };\n },\n};\n\nexport { pgvectorCodecRegistry };\nexport default pgvectorRuntimeDescriptor;\n"],"mappings":";;AAIA,MAAM,4BAAuE;CAC3E,MAAM;CACN,IAAI,iBAAiB;CACrB,SAAS,iBAAiB;CAC1B,UAAU;CACV,UAAU;CAEV,OAAO,EACL,YAAY,EACV,kBAAkB,MAAM,KAAK,sBAAsB,QAAQ,CAAC,EAC7D,EACF;CACD,cAAc,MAAM,KAAK,sBAAsB,QAAQ,CAAC;CACxD,uBAAuB,yBAAyB;CAChD,SAAS;EACP,OAAO;GACL,UAAU;GACV,UAAU;GACX;;CAEJ"}
|
package/package.json
CHANGED
|
@@ -1,29 +1,32 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@prisma-next/extension-pgvector",
|
|
3
|
-
"version": "0.5.0
|
|
3
|
+
"version": "0.5.0",
|
|
4
|
+
"license": "Apache-2.0",
|
|
4
5
|
"type": "module",
|
|
5
6
|
"sideEffects": false,
|
|
6
7
|
"dependencies": {
|
|
7
|
-
"
|
|
8
|
-
"
|
|
9
|
-
"@prisma-next/contract
|
|
10
|
-
"@prisma-next/family-sql": "0.5.0
|
|
11
|
-
"@prisma-next/framework-components": "0.5.0
|
|
12
|
-
"@prisma-next/
|
|
13
|
-
"@prisma-next/sql-
|
|
14
|
-
"@prisma-next/sql-
|
|
15
|
-
"@prisma-next/sql-
|
|
8
|
+
"@standard-schema/spec": "^1.1.0",
|
|
9
|
+
"arktype": "^2.1.29",
|
|
10
|
+
"@prisma-next/contract": "0.5.0",
|
|
11
|
+
"@prisma-next/family-sql": "0.5.0",
|
|
12
|
+
"@prisma-next/framework-components": "0.5.0",
|
|
13
|
+
"@prisma-next/migration-tools": "0.5.0",
|
|
14
|
+
"@prisma-next/sql-contract": "0.5.0",
|
|
15
|
+
"@prisma-next/sql-operations": "0.5.0",
|
|
16
|
+
"@prisma-next/sql-relational-core": "0.5.0",
|
|
17
|
+
"@prisma-next/sql-runtime": "0.5.0",
|
|
18
|
+
"@prisma-next/contract-authoring": "0.5.0",
|
|
19
|
+
"@prisma-next/sql-schema-ir": "0.5.0"
|
|
16
20
|
},
|
|
17
21
|
"devDependencies": {
|
|
18
|
-
"tsdown": "0.
|
|
22
|
+
"tsdown": "0.22.0",
|
|
19
23
|
"typescript": "5.9.3",
|
|
20
|
-
"vitest": "4.
|
|
21
|
-
"@prisma-next/operations": "0.5.0
|
|
22
|
-
"@prisma-next/sql-contract": "0.5.0
|
|
23
|
-
"@prisma-next/
|
|
24
|
-
"@prisma-next/tsdown": "0.0.0",
|
|
24
|
+
"vitest": "4.1.5",
|
|
25
|
+
"@prisma-next/operations": "0.5.0",
|
|
26
|
+
"@prisma-next/sql-contract-ts": "0.5.0",
|
|
27
|
+
"@prisma-next/test-utils": "0.0.1",
|
|
25
28
|
"@prisma-next/tsconfig": "0.0.0",
|
|
26
|
-
"@prisma-next/
|
|
29
|
+
"@prisma-next/tsdown": "0.0.0"
|
|
27
30
|
},
|
|
28
31
|
"files": [
|
|
29
32
|
"dist",
|
package/src/core/codecs.ts
CHANGED
|
@@ -1,77 +1,145 @@
|
|
|
1
1
|
/**
|
|
2
|
-
*
|
|
2
|
+
* pgvector extension codec.
|
|
3
3
|
*
|
|
4
|
-
*
|
|
5
|
-
*
|
|
4
|
+
* Mirrors the patterns in `postgres/codecs-class.ts` and `sqlite/codecs-class.ts` for the single `pg/vector@1` codec. Three artifacts:
|
|
5
|
+
*
|
|
6
|
+
* 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.
|
|
7
|
+
* 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}>`.
|
|
8
|
+
* 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`.
|
|
9
|
+
*
|
|
10
|
+
* `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.
|
|
6
11
|
*/
|
|
7
12
|
|
|
8
|
-
import {
|
|
9
|
-
|
|
10
|
-
|
|
11
|
-
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
|
|
15
|
-
|
|
16
|
-
|
|
17
|
-
|
|
18
|
-
|
|
19
|
-
|
|
20
|
-
|
|
21
|
-
|
|
22
|
-
|
|
23
|
-
|
|
24
|
-
|
|
25
|
-
|
|
13
|
+
import type { JsonValue } from '@prisma-next/contract/types';
|
|
14
|
+
import {
|
|
15
|
+
type AnyCodecDescriptor,
|
|
16
|
+
type CodecCallContext,
|
|
17
|
+
CodecDescriptorImpl,
|
|
18
|
+
CodecImpl,
|
|
19
|
+
type CodecInstanceContext,
|
|
20
|
+
type ColumnHelperFor,
|
|
21
|
+
type ColumnHelperForStrict,
|
|
22
|
+
column,
|
|
23
|
+
} from '@prisma-next/framework-components/codec';
|
|
24
|
+
import type { ExtractCodecTypes } from '@prisma-next/sql-relational-core/ast';
|
|
25
|
+
import type { StandardSchemaV1 } from '@standard-schema/spec';
|
|
26
|
+
import { type as arktype } from 'arktype';
|
|
27
|
+
import { VECTOR_CODEC_ID, VECTOR_MAX_DIM } from './constants';
|
|
28
|
+
|
|
29
|
+
type VectorParams = { readonly length: number };
|
|
30
|
+
|
|
31
|
+
const vectorParamsSchema = arktype({
|
|
32
|
+
length: 'number',
|
|
33
|
+
}).narrow((params, ctx) => {
|
|
34
|
+
const { length } = params;
|
|
35
|
+
if (!Number.isInteger(length)) {
|
|
36
|
+
return ctx.mustBe('an integer');
|
|
37
|
+
}
|
|
38
|
+
if (length < 1 || length > VECTOR_MAX_DIM) {
|
|
39
|
+
return ctx.mustBe(`in the range [1, ${VECTOR_MAX_DIM}]`);
|
|
40
|
+
}
|
|
41
|
+
return true;
|
|
42
|
+
}) satisfies StandardSchemaV1<VectorParams>;
|
|
43
|
+
|
|
44
|
+
const PG_VECTOR_META = { db: { sql: { postgres: { nativeType: 'vector' } } } } as const;
|
|
45
|
+
|
|
46
|
+
export class PgVectorCodec extends CodecImpl<
|
|
47
|
+
typeof VECTOR_CODEC_ID,
|
|
48
|
+
readonly ['equality'],
|
|
49
|
+
string,
|
|
50
|
+
number[]
|
|
51
|
+
> {
|
|
52
|
+
readonly length: number | undefined;
|
|
53
|
+
|
|
54
|
+
constructor(descriptor: AnyCodecDescriptor, length: number | undefined) {
|
|
55
|
+
super(descriptor);
|
|
56
|
+
this.length = length;
|
|
57
|
+
}
|
|
58
|
+
|
|
59
|
+
assertVector(value: unknown): asserts value is number[] {
|
|
26
60
|
if (!Array.isArray(value)) {
|
|
27
61
|
throw new Error('Vector value must be an array of numbers');
|
|
28
62
|
}
|
|
29
63
|
if (!value.every((v) => typeof v === 'number')) {
|
|
30
64
|
throw new Error('Vector value must contain only numbers');
|
|
31
65
|
}
|
|
32
|
-
|
|
33
|
-
|
|
66
|
+
if (this.length !== undefined && value.length !== this.length) {
|
|
67
|
+
throw new Error(`Vector length mismatch: expected ${this.length}, got ${value.length}`);
|
|
68
|
+
}
|
|
69
|
+
}
|
|
70
|
+
|
|
71
|
+
async encode(value: number[], _ctx: CodecCallContext): Promise<string> {
|
|
72
|
+
this.assertVector(value);
|
|
34
73
|
return `[${value.join(',')}]`;
|
|
35
|
-
}
|
|
36
|
-
|
|
37
|
-
|
|
74
|
+
}
|
|
75
|
+
|
|
76
|
+
async decode(wire: string, _ctx: CodecCallContext): Promise<number[]> {
|
|
38
77
|
if (typeof wire !== 'string') {
|
|
39
78
|
throw new Error('Vector wire value must be a string');
|
|
40
79
|
}
|
|
41
|
-
// Parse PostgreSQL vector format: [1,2,3]
|
|
42
80
|
if (!wire.startsWith('[') || !wire.endsWith(']')) {
|
|
43
81
|
throw new Error(`Invalid vector format: expected "[...]", got "${wire}"`);
|
|
44
82
|
}
|
|
45
83
|
const content = wire.slice(1, -1).trim();
|
|
46
|
-
|
|
47
|
-
|
|
48
|
-
|
|
49
|
-
|
|
50
|
-
|
|
51
|
-
|
|
52
|
-
|
|
53
|
-
|
|
54
|
-
|
|
55
|
-
|
|
56
|
-
|
|
57
|
-
|
|
58
|
-
|
|
59
|
-
|
|
60
|
-
|
|
61
|
-
|
|
62
|
-
|
|
63
|
-
|
|
64
|
-
|
|
65
|
-
|
|
66
|
-
|
|
67
|
-
|
|
68
|
-
|
|
69
|
-
|
|
70
|
-
|
|
71
|
-
|
|
72
|
-
|
|
73
|
-
|
|
74
|
-
|
|
75
|
-
|
|
76
|
-
|
|
77
|
-
|
|
84
|
+
const parsed =
|
|
85
|
+
content === ''
|
|
86
|
+
? []
|
|
87
|
+
: content.split(',').map((v) => {
|
|
88
|
+
const num = Number.parseFloat(v.trim());
|
|
89
|
+
if (Number.isNaN(num)) {
|
|
90
|
+
throw new Error(`Invalid vector value: "${v}" is not a number`);
|
|
91
|
+
}
|
|
92
|
+
return num;
|
|
93
|
+
});
|
|
94
|
+
this.assertVector(parsed);
|
|
95
|
+
return parsed;
|
|
96
|
+
}
|
|
97
|
+
|
|
98
|
+
encodeJson(value: number[]): JsonValue {
|
|
99
|
+
this.assertVector(value);
|
|
100
|
+
return value;
|
|
101
|
+
}
|
|
102
|
+
|
|
103
|
+
decodeJson(json: JsonValue): number[] {
|
|
104
|
+
this.assertVector(json);
|
|
105
|
+
return json;
|
|
106
|
+
}
|
|
107
|
+
}
|
|
108
|
+
|
|
109
|
+
export class PgVectorDescriptor extends CodecDescriptorImpl<VectorParams> {
|
|
110
|
+
override readonly codecId = VECTOR_CODEC_ID;
|
|
111
|
+
override readonly traits = ['equality'] as const;
|
|
112
|
+
override readonly targetTypes = ['vector'] as const;
|
|
113
|
+
override readonly meta = PG_VECTOR_META;
|
|
114
|
+
override readonly paramsSchema: StandardSchemaV1<VectorParams> = vectorParamsSchema;
|
|
115
|
+
override renderOutputType(params: VectorParams): string {
|
|
116
|
+
return `Vector<${params.length}>`;
|
|
117
|
+
}
|
|
118
|
+
/**
|
|
119
|
+
* 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.
|
|
120
|
+
*/
|
|
121
|
+
override factory(params: VectorParams): (ctx: CodecInstanceContext) => PgVectorCodec {
|
|
122
|
+
return () => new PgVectorCodec(this, (params as VectorParams | undefined)?.length);
|
|
123
|
+
}
|
|
124
|
+
}
|
|
125
|
+
|
|
126
|
+
export const pgVectorDescriptor = new PgVectorDescriptor();
|
|
127
|
+
|
|
128
|
+
/**
|
|
129
|
+
* 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 }`).
|
|
130
|
+
*
|
|
131
|
+
* Passes the bare `nativeType: 'vector'`; the family-layer `expandNativeType` hook renders the parameterized form (`vector(1536)`) at emit/verify time from `nativeType` + `typeParams`.
|
|
132
|
+
*/
|
|
133
|
+
export const pgVectorColumn = <N extends number>(length: N) =>
|
|
134
|
+
column(pgVectorDescriptor.factory({ length }), pgVectorDescriptor.codecId, { length }, 'vector');
|
|
135
|
+
|
|
136
|
+
pgVectorColumn satisfies ColumnHelperFor<PgVectorDescriptor>;
|
|
137
|
+
pgVectorColumn satisfies ColumnHelperForStrict<PgVectorDescriptor>;
|
|
138
|
+
|
|
139
|
+
const codecDescriptorMap = {
|
|
140
|
+
vector: pgVectorDescriptor,
|
|
141
|
+
} as const;
|
|
142
|
+
|
|
143
|
+
export type CodecTypes = ExtractCodecTypes<typeof codecDescriptorMap>;
|
|
144
|
+
|
|
145
|
+
export const codecDescriptors: readonly AnyCodecDescriptor[] = Object.values(codecDescriptorMap);
|
|
@@ -0,0 +1,30 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Static names and identifiers used across pgvector's contract space.
|
|
3
|
+
*
|
|
4
|
+
* Centralised here so the contract IR (`./contract`), the baseline
|
|
5
|
+
* migration ops (`./migrations`), the head ref, and the descriptor
|
|
6
|
+
* (`../exports/control`) all reference the same values without typos.
|
|
7
|
+
*
|
|
8
|
+
* The space identifier `'pgvector'` is what the framework writes to
|
|
9
|
+
* `migrations/pgvector/` in the user's repo and what the marker table's
|
|
10
|
+
* `space` column carries for pgvector-owned rows.
|
|
11
|
+
*
|
|
12
|
+
* The `pgvector:*` invariantId namespace is locked here — once
|
|
13
|
+
* published, an invariantId is immutable so downstream consumers can
|
|
14
|
+
* reference it by literal string match.
|
|
15
|
+
*/
|
|
16
|
+
|
|
17
|
+
export const PGVECTOR_SPACE_ID = 'pgvector' as const;
|
|
18
|
+
|
|
19
|
+
export const PGVECTOR_NATIVE_TYPE = 'vector' as const;
|
|
20
|
+
|
|
21
|
+
export const PGVECTOR_BASELINE_MIGRATION_NAME = '20260601T0000_install_vector_extension' as const;
|
|
22
|
+
|
|
23
|
+
/**
|
|
24
|
+
* `pgvector:*` invariantIds emitted by the baseline migration. Each id,
|
|
25
|
+
* once published, is immutable: downstream consumers (other extensions,
|
|
26
|
+
* the marker table) reference them by literal string match.
|
|
27
|
+
*/
|
|
28
|
+
export const PGVECTOR_INVARIANTS = {
|
|
29
|
+
installVector: 'pgvector:install-vector-v1',
|
|
30
|
+
} as const;
|