@prisma-next/extension-pgvector 0.5.0-dev.8 → 0.5.0-dev.81

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

@@ -0,0 +1 @@
+{"version":3,"file":"descriptor-meta-CBnWOxms.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 type { SqlOperationDescriptor } from '@prisma-next/sql-operations';\nimport {\n  buildOperation,\n  type CodecExpression,\n  type Expression,\n  refsOf,\n  toExpr,\n} from '@prisma-next/sql-relational-core/expression';\nimport type { CodecTypes } from '../types/codec-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<\n  CT extends CodecTypesBase,\n>(): readonly SqlOperationDescriptor[] {\n  return [\n    {\n      method: '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 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    {\n      method: '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 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    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,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;;;ACEhD,MAAM,iBAAiB;AAIvB,SAAgB,0BAEuB;CACrC,OAAO,CACL;EACE,QAAQ;EACR,MAAM,EAAE,SAAS,gBAAgB;EACjC,OACE,MACA,UAC4D;GAC5D,MAAM,WAAW,OAAO,KAAK;GAC7B,OAAO,eAAe;IACpB,QAAQ;IACR,MAAM,CAAC,OAAO,MAAM,gBAAgB,SAAS,EAAE,OAAO,OAAO,gBAAgB,SAAS,CAAC;IACvF,SAAS;KAAE,SAAS;KAAe,UAAU;KAAO;IACpD,UAAU;KACR,cAAc;KACd,UAAU;KACV,UAAU;KACX;IACF,CAAC;;EAEL,EACD;EACE,QAAQ;EACR,MAAM,EAAE,SAAS,gBAAgB;EACjC,OACE,MACA,UAC4D;GAC5D,MAAM,WAAW,OAAO,KAAK;GAC7B,OAAO,eAAe;IACpB,QAAQ;IACR,MAAM,CAAC,OAAO,MAAM,gBAAgB,SAAS,EAAE,OAAO,OAAO,gBAAgB,SAAS,CAAC;IACvF,SAAS;KAAE,SAAS;KAAe,UAAU;KAAO;IACpD,UAAU;KACR,cAAc;KACd,UAAU;KACV,UAAU;KACX;IACF,CAAC;;EAEL,CACF;;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/operation-types.d.mts

@@ -1,7 +1,11 @@
+import { CodecExpression, Expression } from "@prisma-next/sql-relational-core/expression";
 import { SqlQueryOperationTypes } from "@prisma-next/sql-contract/types";
 
 //#region src/types/operation-types.d.ts
-
+type CodecTypesBase = Record<string, {
+  readonly input: unknown;
+  readonly output: unknown;
+}>;
 /**
  * Operation type definitions for pgvector extension.
  *
@@ -11,64 +15,36 @@ import { SqlQueryOperationTypes } from "@prisma-next/sql-contract/types";
 type OperationTypes = {
   readonly 'pg/vector@1': {
     readonly cosineDistance: {
-      readonly args: readonly [{
+      readonly self: {
         readonly codecId: 'pg/vector@1';
-        readonly nullable: false;
-      }];
-      readonly returns: {
-        readonly codecId: 'pg/float8@1';
-        readonly nullable: false;
-      };
-      readonly lowering: {
-        readonly targetFamily: 'sql';
-        readonly strategy: 'function';
-        readonly template: string;
       };
     };
     readonly cosineSimilarity: {
-      readonly args: readonly [{
+      readonly self: {
         readonly codecId: 'pg/vector@1';
-        readonly nullable: false;
-      }];
-      readonly returns: {
-        readonly codecId: 'pg/float8@1';
-        readonly nullable: false;
-      };
-      readonly lowering: {
-        readonly targetFamily: 'sql';
-        readonly strategy: 'function';
-        readonly template: string;
       };
     };
   };
 };
 /** Flat operation signatures for the query builder. */
-type QueryOperationTypes = SqlQueryOperationTypes<{
+type QueryOperationTypes<CT extends CodecTypesBase> = SqlQueryOperationTypes<CT, {
   readonly cosineDistance: {
-    readonly args: readonly [{
-      readonly codecId: 'pg/vector@1';
-      readonly nullable: boolean;
-    }, {
+    readonly self: {
       readonly codecId: 'pg/vector@1';
-      readonly nullable: boolean;
-    }];
-    readonly returns: {
-      readonly codecId: 'pg/float8@1';
-      readonly nullable: false;
     };
+    readonly impl: (self: CodecExpression<'pg/vector@1', boolean, CT>, other: CodecExpression<'pg/vector@1', boolean, CT>) => Expression<{
+      codecId: 'pg/float8@1';
+      nullable: false;
+    }>;
   };
   readonly cosineSimilarity: {
-    readonly args: readonly [{
-      readonly codecId: 'pg/vector@1';
-      readonly nullable: boolean;
-    }, {
+    readonly self: {
       readonly codecId: 'pg/vector@1';
-      readonly nullable: boolean;
-    }];
-    readonly returns: {
-      readonly codecId: 'pg/float8@1';
-      readonly nullable: false;
     };
+    readonly impl: (self: CodecExpression<'pg/vector@1', boolean, CT>, other: CodecExpression<'pg/vector@1', boolean, CT>) => Expression<{
+      codecId: 'pg/float8@1';
+      nullable: false;
+    }>;
   };
 }>;
 //#endregion

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

@@ -1 +1 @@
-{"version":3,"file":"operation-types.d.mts","names":[],"sources":["../src/types/operation-types.ts"],"sourcesContent":[],"mappings":";;;;;;AASA;AAwBA;;;KAxBY,cAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAwBA,mBAAA,GAAsB"}
+{"version":3,"file":"operation-types.d.mts","names":[],"sources":["../src/types/operation-types.ts"],"mappings":";;;;KAGK,cAAA,GAAiB,MAAA;EAAA,SAA0B,KAAA;EAAA,SAAyB,MAAA;AAAA;;;;;;;KAS7D,cAAA;EAAA,SACD,aAAA;IAAA,SACE,cAAA;MAAA,SACE,IAAA;QAAA,SAAiB,OAAA;MAAA;IAAA;IAAA,SAEnB,gBAAA;MAAA,SACE,IAAA;QAAA,SAAiB,OAAA;MAAA;IAAA;EAAA;AAAA;AAMhC;AAAA,KAAY,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"}

package/dist/operation-types.mjs

@@ -1 +1 @@
-export {  };
+export {};

package/dist/pack.d.mts

@@ -1,6 +1,5 @@
-import { t as CodecTypes } from "./codec-types-BifaP625.mjs";
-import * as _prisma_next_sql_relational_core_ast0 from "@prisma-next/sql-relational-core/ast";
-
+import { t as CodecTypes } from "./codec-types-yMSpEJJM.mjs";
+import * as _$_prisma_next_framework_components_codec0 from "@prisma-next/framework-components/codec";
 //#region src/core/descriptor-meta.d.ts
 declare const pgvectorPackMetaBase: {
   readonly kind: "extension";
@@ -41,7 +40,7 @@ declare const pgvectorPackMetaBase: {
   };
   readonly types: {
     readonly codecTypes: {
-      readonly codecInstances: _prisma_next_sql_relational_core_ast0.Codec<"pg/vector@1", readonly ["equality"], string, number[], Record<string, unknown>, unknown>[];
+      readonly codecDescriptors: _$_prisma_next_framework_components_codec0.CodecDescriptor<unknown>[];
       readonly import: {
         readonly package: "@prisma-next/extension-pgvector/codec-types";
         readonly named: "CodecTypes";

package/dist/pack.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"pack.d.mts","names":[],"sources":["../src/core/descriptor-meta.ts"],"sourcesContent":[],"mappings":";;;;cAoCM;EAAA,SAAA,IAAA,EAAA,WAgDI;EAEG,SAAA,EAAA,EAAA,UAEW;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;+BAJd,qCAAA,CAAA,8DAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;cAEG,yBAAyB;0BACZ"}
+{"version":3,"file":"pack.d.mts","names":[],"sources":["../src/core/descriptor-meta.ts"],"mappings":";;;cA+DM,oBAAA;EAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iCAgDI,0CAAA,CAAA,eAAA;MAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;cAEG,gBAAA,SAAyB,oBAAA;EAAA,SAC3B,YAAA,GAAe,UAAA;AAAA"}

package/dist/pack.mjs

@@ -1,3 +1,2 @@
-import { t as pgvectorPackMeta } from "./descriptor-meta-BQbvJJxu.mjs";
-
-export { pgvectorPackMeta as default };
+import { t as pgvectorPackMeta } from "./descriptor-meta-CBnWOxms.mjs";
+export { pgvectorPackMeta as default };

package/dist/runtime.d.mts

@@ -1,7 +1,16 @@
 import { SqlRuntimeExtensionDescriptor } from "@prisma-next/sql-runtime";
+import { CodecDescriptorRegistry } from "@prisma-next/sql-relational-core/query-lane-context";
 
+//#region src/core/registry.d.ts
+/**
+ * Registry of every codec descriptor shipped by `@prisma-next/extension-pgvector`.
+ *
+ * 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.
+ */
+declare const pgvectorCodecRegistry: CodecDescriptorRegistry;
+//#endregion
 //#region src/exports/runtime.d.ts
 declare const pgvectorRuntimeDescriptor: SqlRuntimeExtensionDescriptor<'postgres'>;
 //#endregion
-export { pgvectorRuntimeDescriptor as default };
+export { pgvectorRuntimeDescriptor as default, pgvectorCodecRegistry };
 //# sourceMappingURL=runtime.d.mts.map

package/dist/runtime.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"runtime.d.mts","names":[],"sources":["../src/exports/runtime.ts"],"sourcesContent":[],"mappings":";;;cAwCM,2BAA2B"}
+{"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

@@ -1,32 +1,14 @@
-import { n as VECTOR_MAX_DIM, t as VECTOR_CODEC_ID } from "./constants-Co5golCK.mjs";
-import { n as pgvectorQueryOperations, r as codecDefinitions, t as pgvectorPackMeta } from "./descriptor-meta-BQbvJJxu.mjs";
-import { createCodecRegistry } from "@prisma-next/sql-relational-core/ast";
-import { type } from "arktype";
-
+import { n as pgvectorQueryOperations, r as pgvectorCodecRegistry, t as pgvectorPackMeta } from "./descriptor-meta-CBnWOxms.mjs";
 //#region src/exports/runtime.ts
-const parameterizedCodecDescriptors = [{
-	codecId: VECTOR_CODEC_ID,
-	paramsSchema: type({ length: "number" }).narrow((params, ctx) => {
-		const { length } = params;
-		if (!Number.isInteger(length)) return ctx.mustBe("an integer");
-		if (length < 1 || length > VECTOR_MAX_DIM) return ctx.mustBe(`in the range [1, ${VECTOR_MAX_DIM}]`);
-		return true;
-	})
-}];
-function createPgvectorCodecRegistry() {
-	const registry = createCodecRegistry();
-	for (const def of Object.values(codecDefinitions)) registry.register(def.codec);
-	return registry;
-}
 const pgvectorRuntimeDescriptor = {
 	kind: "extension",
 	id: pgvectorPackMeta.id,
 	version: pgvectorPackMeta.version,
 	familyId: "sql",
 	targetId: "postgres",
-	codecs: createPgvectorCodecRegistry,
-	queryOperations: () => pgvectorQueryOperations,
-	parameterizedCodecs: () => parameterizedCodecDescriptors,
+	types: { codecTypes: { codecDescriptors: Array.from(pgvectorCodecRegistry.values()) } },
+	codecs: () => Array.from(pgvectorCodecRegistry.values()),
+	queryOperations: () => pgvectorQueryOperations(),
 	create() {
 		return {
 			familyId: "sql",
@@ -34,8 +16,7 @@ const pgvectorRuntimeDescriptor = {
 		};
 	}
 };
-var runtime_default = pgvectorRuntimeDescriptor;
-
 //#endregion
-export { runtime_default as default };
+export { pgvectorRuntimeDescriptor as default, pgvectorCodecRegistry };
+
 //# sourceMappingURL=runtime.mjs.map

package/dist/runtime.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"runtime.mjs","names":["arktype","pgvectorRuntimeDescriptor: SqlRuntimeExtensionDescriptor<'postgres'>"],"sources":["../src/exports/runtime.ts"],"sourcesContent":["import { createCodecRegistry } from '@prisma-next/sql-relational-core/ast';\nimport type {\n  RuntimeParameterizedCodecDescriptor,\n  SqlRuntimeExtensionDescriptor,\n} from '@prisma-next/sql-runtime';\nimport { type as arktype } from 'arktype';\nimport { codecDefinitions } from '../core/codecs';\nimport { VECTOR_CODEC_ID, VECTOR_MAX_DIM } from '../core/constants';\nimport { pgvectorPackMeta, pgvectorQueryOperations } from '../core/descriptor-meta';\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});\n\nconst parameterizedCodecDescriptors = [\n  {\n    codecId: VECTOR_CODEC_ID,\n    paramsSchema: vectorParamsSchema,\n  },\n] as const satisfies ReadonlyArray<\n  RuntimeParameterizedCodecDescriptor<{ readonly length: number }>\n>;\n\nfunction createPgvectorCodecRegistry() {\n  const registry = createCodecRegistry();\n  for (const def of Object.values(codecDefinitions)) {\n    registry.register(def.codec);\n  }\n  return registry;\n}\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  codecs: createPgvectorCodecRegistry,\n  queryOperations: () => pgvectorQueryOperations,\n  parameterizedCodecs: () => parameterizedCodecDescriptors,\n  create() {\n    return {\n      familyId: 'sql' as const,\n      targetId: 'postgres' as const,\n    };\n  },\n};\n\nexport default pgvectorRuntimeDescriptor;\n"],"mappings":";;;;;;AAuBA,MAAM,gCAAgC,CACpC;CACE,SAAS;CACT,cAhBuBA,KAAQ,EACjC,QAAQ,UACT,CAAC,CAAC,QAAQ,QAAQ,QAAQ;EACzB,MAAM,EAAE,WAAW;AACnB,MAAI,CAAC,OAAO,UAAU,OAAO,CAC3B,QAAO,IAAI,OAAO,aAAa;AAEjC,MAAI,SAAS,KAAK,SAAS,eACzB,QAAO,IAAI,OAAO,oBAAoB,eAAe,GAAG;AAE1D,SAAO;GACP;CAMC,CACF;AAID,SAAS,8BAA8B;CACrC,MAAM,WAAW,qBAAqB;AACtC,MAAK,MAAM,OAAO,OAAO,OAAO,iBAAiB,CAC/C,UAAS,SAAS,IAAI,MAAM;AAE9B,QAAO;;AAGT,MAAMC,4BAAuE;CAC3E,MAAM;CACN,IAAI,iBAAiB;CACrB,SAAS,iBAAiB;CAC1B,UAAU;CACV,UAAU;CACV,QAAQ;CACR,uBAAuB;CACvB,2BAA2B;CAC3B,SAAS;AACP,SAAO;GACL,UAAU;GACV,UAAU;GACX;;CAEJ;AAED,sBAAe"}
+{"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

@@ -1,29 +1,32 @@
 {
   "name": "@prisma-next/extension-pgvector",
-  "version": "0.5.0-dev.8",
+  "version": "0.5.0-dev.81",
+  "license": "Apache-2.0",
   "type": "module",
   "sideEffects": false,
   "dependencies": {
-    "arktype": "^2.0.0",
-    "@prisma-next/contract-authoring": "0.5.0-dev.8",
-    "@prisma-next/contract": "0.5.0-dev.8",
-    "@prisma-next/family-sql": "0.5.0-dev.8",
-    "@prisma-next/framework-components": "0.5.0-dev.8",
-    "@prisma-next/sql-relational-core": "0.5.0-dev.8",
-    "@prisma-next/sql-runtime": "0.5.0-dev.8",
-    "@prisma-next/sql-operations": "0.5.0-dev.8",
-    "@prisma-next/sql-schema-ir": "0.5.0-dev.8"
+    "@standard-schema/spec": "^1.1.0",
+    "arktype": "^2.1.29",
+    "@prisma-next/contract": "0.5.0-dev.81",
+    "@prisma-next/family-sql": "0.5.0-dev.81",
+    "@prisma-next/contract-authoring": "0.5.0-dev.81",
+    "@prisma-next/framework-components": "0.5.0-dev.81",
+    "@prisma-next/migration-tools": "0.5.0-dev.81",
+    "@prisma-next/sql-operations": "0.5.0-dev.81",
+    "@prisma-next/sql-runtime": "0.5.0-dev.81",
+    "@prisma-next/sql-contract": "0.5.0-dev.81",
+    "@prisma-next/sql-schema-ir": "0.5.0-dev.81",
+    "@prisma-next/sql-relational-core": "0.5.0-dev.81"
   },
   "devDependencies": {
-    "tsdown": "0.18.4",
+    "tsdown": "0.22.0",
     "typescript": "5.9.3",
-    "vitest": "4.0.17",
-    "@prisma-next/operations": "0.5.0-dev.8",
-    "@prisma-next/sql-contract": "0.5.0-dev.8",
-    "@prisma-next/sql-contract-ts": "0.5.0-dev.8",
-    "@prisma-next/tsdown": "0.0.0",
+    "vitest": "4.1.5",
+    "@prisma-next/sql-contract-ts": "0.5.0-dev.81",
+    "@prisma-next/test-utils": "0.0.1",
+    "@prisma-next/operations": "0.5.0-dev.81",
     "@prisma-next/tsconfig": "0.0.0",
-    "@prisma-next/test-utils": "0.0.1"
+    "@prisma-next/tsdown": "0.0.0"
   },
   "files": [
     "dist",

package/src/core/codecs.ts

@@ -1,77 +1,145 @@
 /**
- * Vector codec implementation for pgvector extension.
+ * pgvector extension codec.
  *
- * Provides encoding/decoding for the `vector` PostgreSQL type.
- * Wire format is a string like `[1,2,3]` (PostgreSQL vector text format).
+ * Mirrors the patterns in `postgres/codecs-class.ts` and `sqlite/codecs-class.ts` for the single `pg/vector@1` codec. Three artifacts:
+ *
+ * 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.
+ * 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}>`.
+ * 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`.
+ *
+ * `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.
  */
 
-import { codec, defineCodecs } from '@prisma-next/sql-relational-core/ast';
-
-const pgVectorCodec = codec({
-  typeId: 'pg/vector@1',
-  targetTypes: ['vector'],
-  traits: ['equality'],
-  renderOutputType: (typeParams) => {
-    const length = typeParams['length'];
-    if (length === undefined) return undefined;
-    if (typeof length !== 'number' || !Number.isFinite(length) || !Number.isInteger(length)) {
-      throw new Error(
-        `renderOutputType: expected positive integer "length" in typeParams for Vector, got ${String(length)}`,
-      );
-    }
-    return `Vector<${length}>`;
-  },
-  encode: (value: number[]): string => {
-    // Validate that value is an array of numbers
+import type { JsonValue } from '@prisma-next/contract/types';
+import {
+  type AnyCodecDescriptor,
+  type CodecCallContext,
+  CodecDescriptorImpl,
+  CodecImpl,
+  type CodecInstanceContext,
+  type ColumnHelperFor,
+  type ColumnHelperForStrict,
+  column,
+} from '@prisma-next/framework-components/codec';
+import type { ExtractCodecTypes } from '@prisma-next/sql-relational-core/ast';
+import type { StandardSchemaV1 } from '@standard-schema/spec';
+import { type as arktype } from 'arktype';
+import { VECTOR_CODEC_ID, VECTOR_MAX_DIM } from './constants';
+
+type VectorParams = { readonly length: number };
+
+const vectorParamsSchema = arktype({
+  length: 'number',
+}).narrow((params, ctx) => {
+  const { length } = params;
+  if (!Number.isInteger(length)) {
+    return ctx.mustBe('an integer');
+  }
+  if (length < 1 || length > VECTOR_MAX_DIM) {
+    return ctx.mustBe(`in the range [1, ${VECTOR_MAX_DIM}]`);
+  }
+  return true;
+}) satisfies StandardSchemaV1<VectorParams>;
+
+const PG_VECTOR_META = { db: { sql: { postgres: { nativeType: 'vector' } } } } as const;
+
+export class PgVectorCodec extends CodecImpl<
+  typeof VECTOR_CODEC_ID,
+  readonly ['equality'],
+  string,
+  number[]
+> {
+  readonly length: number | undefined;
+
+  constructor(descriptor: AnyCodecDescriptor, length: number | undefined) {
+    super(descriptor);
+    this.length = length;
+  }
+
+  assertVector(value: unknown): asserts value is number[] {
     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');
     }
-    // Format as PostgreSQL vector text format: [1,2,3]
-    // PostgreSQL's pg library requires the vector format string
+    if (this.length !== undefined && value.length !== this.length) {
+      throw new Error(`Vector length mismatch: expected ${this.length}, got ${value.length}`);
+    }
+  }
+
+  async encode(value: number[], _ctx: CodecCallContext): Promise<string> {
+    this.assertVector(value);
     return `[${value.join(',')}]`;
-  },
-  decode: (wire: string): number[] => {
-    // Handle string format from PostgreSQL: [1,2,3]
+  }
+
+  async decode(wire: string, _ctx: CodecCallContext): Promise<number[]> {
     if (typeof wire !== 'string') {
       throw new Error('Vector wire value must be a string');
     }
-    // Parse PostgreSQL vector format: [1,2,3]
     if (!wire.startsWith('[') || !wire.endsWith(']')) {
       throw new Error(`Invalid vector format: expected "[...]", got "${wire}"`);
     }
     const content = wire.slice(1, -1).trim();
-    if (content === '') {
-      return [];
-    }
-    const values = content.split(',').map((v) => {
-      const num = Number.parseFloat(v.trim());
-      if (Number.isNaN(num)) {
-        throw new Error(`Invalid vector value: "${v}" is not a number`);
-      }
-      return num;
-    });
-    return values;
-  },
-  meta: {
-    db: {
-      sql: {
-        postgres: {
-          nativeType: 'vector',
-        },
-      },
-    },
-  },
-});
-
-// Build codec definitions using the builder DSL
-const codecs = defineCodecs().add('vector', pgVectorCodec);
-
-// Export derived structures directly from codecs builder
-export const codecDefinitions = codecs.codecDefinitions;
-export const dataTypes = codecs.dataTypes;
-
-// Export types derived from codecs builder
-export type CodecTypes = typeof codecs.CodecTypes;
+    const parsed =
+      content === ''
+        ? []
+        : content.split(',').map((v) => {
+            const num = Number.parseFloat(v.trim());
+            if (Number.isNaN(num)) {
+              throw new Error(`Invalid vector value: "${v}" is not a number`);
+            }
+            return num;
+          });
+    this.assertVector(parsed);
+    return parsed;
+  }
+
+  encodeJson(value: number[]): JsonValue {
+    this.assertVector(value);
+    return value;
+  }
+
+  decodeJson(json: JsonValue): number[] {
+    this.assertVector(json);
+    return json;
+  }
+}
+
+export class PgVectorDescriptor extends CodecDescriptorImpl<VectorParams> {
+  override readonly codecId = VECTOR_CODEC_ID;
+  override readonly traits = ['equality'] as const;
+  override readonly targetTypes = ['vector'] as const;
+  override readonly meta = PG_VECTOR_META;
+  override readonly paramsSchema: StandardSchemaV1<VectorParams> = vectorParamsSchema;
+  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);
+  }
+}
+
+export const pgVectorDescriptor = new PgVectorDescriptor();
+
+/**
+ * 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 }`).
+ *
+ * Passes the bare `nativeType: 'vector'`; the family-layer `expandNativeType` hook renders the parameterized form (`vector(1536)`) at emit/verify time from `nativeType` + `typeParams`.
+ */
+export const pgVectorColumn = <N extends number>(length: N) =>
+  column(pgVectorDescriptor.factory({ length }), pgVectorDescriptor.codecId, { length }, 'vector');
+
+pgVectorColumn satisfies ColumnHelperFor<PgVectorDescriptor>;
+pgVectorColumn satisfies ColumnHelperForStrict<PgVectorDescriptor>;
+
+const codecDescriptorMap = {
+  vector: pgVectorDescriptor,
+} as const;
+
+export type CodecTypes = ExtractCodecTypes<typeof codecDescriptorMap>;
+
+export const codecDescriptors: readonly AnyCodecDescriptor[] = Object.values(codecDescriptorMap);

package/src/core/contract-space-constants.ts

@@ -0,0 +1,30 @@
+/**
+ * Static names and identifiers used across pgvector's contract space.
+ *
+ * Centralised here so the contract IR (`./contract`), the baseline
+ * migration ops (`./migrations`), the head ref, and the descriptor
+ * (`../exports/control`) all reference the same values without typos.
+ *
+ * The space identifier `'pgvector'` is what the framework writes to
+ * `migrations/pgvector/` in the user's repo and what the marker table's
+ * `space` column carries for pgvector-owned rows.
+ *
+ * The `pgvector:*` invariantId namespace is locked here — once
+ * published, an invariantId is immutable so downstream consumers can
+ * reference it by literal string match.
+ */
+
+export const PGVECTOR_SPACE_ID = 'pgvector' as const;
+
+export const PGVECTOR_NATIVE_TYPE = 'vector' as const;
+
+export const PGVECTOR_BASELINE_MIGRATION_NAME = '20260601T0000_install_vector_extension' as const;
+
+/**
+ * `pgvector:*` invariantIds emitted by the baseline migration. Each id,
+ * once published, is immutable: downstream consumers (other extensions,
+ * the marker table) reference them by literal string match.
+ */
+export const PGVECTOR_INVARIANTS = {
+  installVector: 'pgvector:install-vector-v1',
+} as const;

package/src/core/contract.ts

@@ -0,0 +1,74 @@
+/**
+ * pgvector contract space — declares the parameterised native type
+ * `vector(N)` that user columns can name as `nativeType`.
+ *
+ * Unlike CipherStash's typed objects (composite types / domains / enums
+ * — deferred behind `meta.cipherstashFutureIR` until the IR vocabulary
+ * gains first-class support), pgvector's `vector` is a parameterised
+ * native type and *is* representable in today's IR via
+ * {@link StorageTypeInstance}: `{ codecId, nativeType, typeParams }`.
+ * The contract registers a representative instance under
+ * `storage.types.vector` so the verifier sees the type as part of
+ * pgvector's space contribution and so the pinned `contract.json` on
+ * disk is materially distinct from an empty space.
+ *
+ * Per-column instances on the user's side carry concrete
+ * `typeParams.length` (e.g. `vector(1536)`); the registration here
+ * declares the parameterised shape — it is not consumed as a literal
+ * column type by any user table.
+ */
+
+import { computeStorageHash } from '@prisma-next/contract/hashing';
+import { type Contract, coreHash, profileHash } from '@prisma-next/contract/types';
+import type { SqlStorage } from '@prisma-next/sql-contract/types';
+import { VECTOR_CODEC_ID } from './constants';
+import { PGVECTOR_NATIVE_TYPE } from './contract-space-constants';
+
+const TARGET = 'postgres' as const;
+const TARGET_FAMILY = 'sql' as const;
+
+/**
+ * Storage body for the contract — pgvector ships no tables of its own;
+ * the `vector` parameterised native type is registered under
+ * `storage.types` so pgvector's IR contribution is non-empty and the
+ * pinned `contract.json` on disk differs materially from an empty
+ * extension space.
+ *
+ * Authored without `storageHash` here so {@link computeStorageHash} can
+ * digest the canonical body (the hashing pipeline panics if asked to
+ * hash an object that already carries its own output — see
+ * `assertDescriptorSelfConsistency`'s storage-hash strip).
+ */
+const storageBody = {
+  tables: {},
+  types: {
+    [PGVECTOR_NATIVE_TYPE]: {
+      codecId: VECTOR_CODEC_ID,
+      nativeType: PGVECTOR_NATIVE_TYPE,
+      typeParams: {},
+    },
+  },
+};
+
+/** Content-addressed hash of pgvector's storage IR. */
+export const PGVECTOR_STORAGE_HASH = computeStorageHash({
+  target: TARGET,
+  targetFamily: TARGET_FAMILY,
+  storage: storageBody,
+});
+
+/** pgvector's contract value, exposed via the descriptor's `contractSpace.contractJson`. */
+export const pgvectorContract: Contract<SqlStorage> = {
+  target: TARGET,
+  targetFamily: TARGET_FAMILY,
+  roots: {},
+  models: {},
+  capabilities: {},
+  extensionPacks: {},
+  meta: {},
+  profileHash: profileHash('pgvector-extension-profile-v1'),
+  storage: {
+    ...storageBody,
+    storageHash: coreHash(PGVECTOR_STORAGE_HASH),
+  },
+};