@prisma-next/extension-pgvector 0.14.0 → 0.15.0-dev.10

package/dist/codec-types-BAjDDnH_.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"codec-types-BAjDDnH_.d.mts","names":[],"sources":["../src/core/constants.ts","../src/core/codecs.ts","../src/types/codec-types.ts"],"mappings":";;;;;;;;;cAGa,eAAA;;;KCyBR,YAAA;EAAA,SAA0B,MAAM;AAAA;AAAA,cAiBxB,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,iBAAiB,QAAQ,kBAAA;;;;ADxIG;;;;ACuBS;KCTlD,MAAA;EAAA,SAA0D,cAAA,GAAiB,CAAC;AAAA;AAAA,KAE5E,UAAA,GAAa,YAAc"}
+{"version":3,"file":"codec-types-BAjDDnH_.d.mts","names":[],"sources":["../src/core/constants.ts","../src/core/codecs.ts","../src/types/codec-types.ts"],"mappings":";;;;;;;;;cAGa,eAAA;;;KCyBR,YAAA;EAAA,SAA0B,MAAM;AAAA;AAAA,cAiCxB,aAAA,SAAsB,SAAA,QAC1B,eAAA;EAAA,SAKE,MAAA;cAEG,UAAA,EAAY,kBAAA,EAAoB,MAAA;EAK5C,YAAA,CAAa,KAAA,oBAAyB,KAAA;EAiBhC,MAAA,CAAO,KAAA,YAAiB,IAAA,EAAM,gBAAA,GAAmB,OAAA;EAKjD,MAAA,CAAO,IAAA,UAAc,IAAA,EAAM,gBAAA,GAAmB,OAAA;EASpD,UAAA,CAAW,KAAA,aAAkB,SAAA;EAK7B,UAAA,CAAW,IAAA,EAAM,SAAA;AAAA;AAAA,cAUN,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,iBAAiB,QAAQ,kBAAA;;;;ADpJG;;;;ACuBS;KCTlD,MAAA;EAAA,SAA0D,cAAA,GAAiB,CAAC;AAAA;AAAA,KAE5E,UAAA,GAAa,YAAc"}

package/dist/control.mjs

@@ -1,4 +1,4 @@
-import { n as pgvectorQueryOperations, t as pgvectorPackMeta } from "./descriptor-meta-Bv7s7XWG.mjs";
+import { n as pgvectorQueryOperations, t as pgvectorPackMeta } from "./descriptor-meta-G5zBc8J8.mjs";
 import { contractSpaceFromJson } from "@prisma-next/migration-tools/spaces";
 //#region migrations/20260601T0000_install_vector_extension/migration.json
 var migration_default = {
@@ -79,7 +79,8 @@ var contract_default = {
 			"defaultInInsert": true,
 			"enums": true,
 			"lateral": true,
-			"returning": true
+			"returning": true,
+			"scalarList": true
 		}
 	},
 	extensionPacks: {},

package/dist/control.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"control.mjs","names":["baselineMetadata","baselineOps"],"sources":["../migrations/20260601T0000_install_vector_extension/migration.json","../migrations/20260601T0000_install_vector_extension/ops.json","../migrations/refs/head.json","../src/contract.json","../src/core/contract-space-constants.ts","../src/exports/control.ts"],"sourcesContent":["","","","","/**\n * Static names and identifiers used across pgvector's contract space.\n *\n * Centralised here so the contract IR (`./contract`), the baseline\n * migration ops (`./migrations`), the head ref, and the descriptor\n * (`../exports/control`) all reference the same values without typos.\n *\n * The space identifier `'pgvector'` is what the framework writes to\n * `migrations/` in the user's repo and what the marker table's\n * `space` column carries for pgvector-owned rows.\n *\n * The `pgvector:*` invariantId namespace is locked here — once\n * published, an invariantId is immutable so downstream consumers can\n * reference it by literal string match.\n */\n\nexport const PGVECTOR_SPACE_ID = 'pgvector' as const;\n\nexport const PGVECTOR_NATIVE_TYPE = 'vector' as const;\n\nexport const PGVECTOR_BASELINE_MIGRATION_NAME = '20260601T0000_install_vector_extension' as const;\n\n/**\n * `pgvector:*` invariantIds emitted by the baseline migration. Each id,\n * once published, is immutable: downstream consumers (other extensions,\n * the marker table) reference them by literal string match.\n */\nexport const PGVECTOR_INVARIANTS = {\n  installVector: 'pgvector:install-vector-v1',\n} as const;\n","/**\n * Control-plane descriptor for the pgvector extension.\n *\n * **Contract-space package layout.** The extension's contract\n * + migrations are emitted by the same pipeline application authors use:\n *\n *   `prisma-next contract emit` → `<package>/src/contract.{json,d.ts}`\n *   `prisma-next migration plan` → `<package>/migrations/<dir>/...`\n *\n * The descriptor wires those JSON artefacts via JSON-import declarations\n * so they flow through the consuming application's module resolver\n * without filesystem assumptions, and synthesises the canonical\n * {@link import('@prisma-next/framework-components/control').MigrationPackage}\n * shape for the framework's runner / verifier to consume. Readers in\n * `@prisma-next/migration-tools` add `dirPath` when loading from disk\n * (`OnDiskMigrationPackage`); descriptor-bundled packages do not need\n * it because the framework reads them directly from the descriptor.\n *\n * Wired surfaces:\n *\n *   - `contractSpace.{contractJson,migrations,headRef}` — sourced from\n *     the on-disk artefacts emitted by `build:contract-space`.\n *   - `types.codecTypes.controlPlaneHooks[PGVECTOR_CODEC_ID]` — codec\n *     control hooks (`expandNativeType`, `resolveIdentityValue`) the\n *     SQL planner extracts via `extractCodecControlHooks` and uses to\n *     render `vector(N)` column types and the canonical zero-vector\n *     identity literal.\n *\n * @see docs/architecture docs/adrs/ADR 212 - Contract spaces.md\n *   (contract-space package layout convention).\n */\n\nimport type { Contract } from '@prisma-next/contract/types';\nimport type {\n  CodecControlHooks,\n  SqlControlExtensionDescriptor,\n} from '@prisma-next/family-sql/control';\nimport { contractSpaceFromJson } from '@prisma-next/migration-tools/spaces';\nimport type { SqlStorage } from '@prisma-next/sql-contract/types';\nimport baselineMetadata from '../../migrations/20260601T0000_install_vector_extension/migration.json' with {\n  type: 'json',\n};\nimport baselineOps from '../../migrations/20260601T0000_install_vector_extension/ops.json' with {\n  type: 'json',\n};\nimport headRef from '../../migrations/refs/head.json' with { type: 'json' };\nimport contractJson from '../contract.json' with { type: 'json' };\nimport { PGVECTOR_SPACE_ID } from '../core/contract-space-constants';\nimport { pgvectorPackMeta, pgvectorQueryOperations } from '../core/descriptor-meta';\n\nconst PGVECTOR_CODEC_ID = 'pg/vector@1' as const;\nconst BASELINE_DIR_NAME = '20260601T0000_install_vector_extension';\n\nfunction buildVectorIdentityValue(typeParams: Record<string, unknown> | undefined): string | null {\n  const length = typeParams?.['length'];\n  if (typeof length !== 'number' || !Number.isInteger(length) || length <= 0) {\n    return null;\n  }\n\n  const zeroVector = `[${new Array(length).fill('0').join(',')}]`;\n  return `'${zeroVector}'::vector`;\n}\n\nconst vectorControlPlaneHooks: CodecControlHooks = {\n  expandNativeType: ({ nativeType, typeParams }) => {\n    const length = typeParams?.['length'];\n    if (typeof length === 'number' && Number.isInteger(length) && length > 0) {\n      return `${nativeType}(${length})`;\n    }\n    return nativeType;\n  },\n  resolveIdentityValue: ({ typeParams }) => buildVectorIdentityValue(typeParams),\n};\n\nconst pgvectorContractSpace = contractSpaceFromJson<Contract<SqlStorage>>({\n  contractJson,\n  migrations: [\n    {\n      dirName: BASELINE_DIR_NAME,\n      metadata: baselineMetadata,\n      ops: baselineOps,\n    },\n  ],\n  headRef,\n});\n\nconst pgvectorExtensionDescriptor: SqlControlExtensionDescriptor<'postgres'> = {\n  ...pgvectorPackMeta,\n  id: PGVECTOR_SPACE_ID,\n  contractSpace: pgvectorContractSpace,\n  types: {\n    ...pgvectorPackMeta.types,\n    codecTypes: {\n      ...pgvectorPackMeta.types.codecTypes,\n      controlPlaneHooks: {\n        [PGVECTOR_CODEC_ID]: vectorControlPlaneHooks,\n      },\n    },\n  },\n  queryOperations: () => pgvectorQueryOperations(),\n  create: () => ({\n    familyId: 'sql' as const,\n    targetId: 'postgres' as const,\n  }),\n};\n\nexport { pgvectorExtensionDescriptor };\nexport default pgvectorExtensionDescriptor;\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AIgBA,MAAa,oBAAoB;;;ACkCjC,MAAM,oBAAoB;AAC1B,MAAM,oBAAoB;AAE1B,SAAS,yBAAyB,YAAgE;CAChG,MAAM,SAAS,aAAa;CAC5B,IAAI,OAAO,WAAW,YAAY,CAAC,OAAO,UAAU,MAAM,KAAK,UAAU,GACvE,OAAO;CAIT,OAAO,IAAI,IADY,IAAI,MAAM,MAAM,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,GACvC;AACxB;AAEA,MAAM,0BAA6C;CACjD,mBAAmB,EAAE,YAAY,iBAAiB;EAChD,MAAM,SAAS,aAAa;EAC5B,IAAI,OAAO,WAAW,YAAY,OAAO,UAAU,MAAM,KAAK,SAAS,GACrE,OAAO,GAAG,WAAW,GAAG,OAAO;EAEjC,OAAO;CACT;CACA,uBAAuB,EAAE,iBAAiB,yBAAyB,UAAU;AAC/E;AAEA,MAAM,wBAAwB,sBAA4C;CACxE,cAAA;CACA,YAAY,CACV;EACE,SAAS;EACT,UAAUA;EACV,KAAKC;CACP,CACF;CACA,SAAA;AACF,CAAC;AAED,MAAM,8BAAyE;CAC7E,GAAG;CACH,IAAI;CACJ,eAAe;CACf,OAAO;EACL,GAAG,iBAAiB;EACpB,YAAY;GACV,GAAG,iBAAiB,MAAM;GAC1B,mBAAmB,GAChB,oBAAoB,wBACvB;EACF;CACF;CACA,uBAAuB,wBAAwB;CAC/C,eAAe;EACb,UAAU;EACV,UAAU;CACZ;AACF"}
+{"version":3,"file":"control.mjs","names":["baselineMetadata","baselineOps"],"sources":["../migrations/20260601T0000_install_vector_extension/migration.json","../migrations/20260601T0000_install_vector_extension/ops.json","../migrations/refs/head.json","../src/contract.json","../src/core/contract-space-constants.ts","../src/exports/control.ts"],"sourcesContent":["","","","","/**\n * Static names and identifiers used across pgvector's contract space.\n *\n * Centralised here so the contract IR (`./contract`), the baseline\n * migration ops (`./migrations`), the head ref, and the descriptor\n * (`../exports/control`) all reference the same values without typos.\n *\n * The space identifier `'pgvector'` is what the framework writes to\n * `migrations/` in the user's repo and what the marker table's\n * `space` column carries for pgvector-owned rows.\n *\n * The `pgvector:*` invariantId namespace is locked here — once\n * published, an invariantId is immutable so downstream consumers can\n * reference it by literal string match.\n */\n\nexport const PGVECTOR_SPACE_ID = 'pgvector' as const;\n\nexport const PGVECTOR_NATIVE_TYPE = 'vector' as const;\n\nexport const PGVECTOR_BASELINE_MIGRATION_NAME = '20260601T0000_install_vector_extension' as const;\n\n/**\n * `pgvector:*` invariantIds emitted by the baseline migration. Each id,\n * once published, is immutable: downstream consumers (other extensions,\n * the marker table) reference them by literal string match.\n */\nexport const PGVECTOR_INVARIANTS = {\n  installVector: 'pgvector:install-vector-v1',\n} as const;\n","/**\n * Control-plane descriptor for the pgvector extension.\n *\n * **Contract-space package layout.** The extension's contract\n * + migrations are emitted by the same pipeline application authors use:\n *\n *   `prisma-next contract emit` → `<package>/src/contract.{json,d.ts}`\n *   `prisma-next migration plan` → `<package>/migrations/<dir>/...`\n *\n * The descriptor wires those JSON artefacts via JSON-import declarations\n * so they flow through the consuming application's module resolver\n * without filesystem assumptions, and synthesises the canonical\n * {@link import('@prisma-next/framework-components/control').MigrationPackage}\n * shape for the framework's runner / verifier to consume. Readers in\n * `@prisma-next/migration-tools` add `dirPath` when loading from disk\n * (`OnDiskMigrationPackage`); descriptor-bundled packages do not need\n * it because the framework reads them directly from the descriptor.\n *\n * Wired surfaces:\n *\n *   - `contractSpace.{contractJson,migrations,headRef}` — sourced from\n *     the on-disk artefacts emitted by `build:contract-space`.\n *   - `types.codecTypes.controlPlaneHooks[PGVECTOR_CODEC_ID]` — codec\n *     control hooks (`expandNativeType`, `resolveIdentityValue`) the\n *     SQL planner extracts via `extractCodecControlHooks` and uses to\n *     render `vector(N)` column types and the canonical zero-vector\n *     identity literal.\n *\n * @see docs/architecture docs/adrs/ADR 212 - Contract spaces.md\n *   (contract-space package layout convention).\n */\n\nimport type { Contract } from '@prisma-next/contract/types';\nimport type {\n  CodecControlHooks,\n  SqlControlExtensionDescriptor,\n} from '@prisma-next/family-sql/control';\nimport { contractSpaceFromJson } from '@prisma-next/migration-tools/spaces';\nimport type { SqlStorage } from '@prisma-next/sql-contract/types';\nimport baselineMetadata from '../../migrations/20260601T0000_install_vector_extension/migration.json' with {\n  type: 'json',\n};\nimport baselineOps from '../../migrations/20260601T0000_install_vector_extension/ops.json' with {\n  type: 'json',\n};\nimport headRef from '../../migrations/refs/head.json' with { type: 'json' };\nimport contractJson from '../contract.json' with { type: 'json' };\nimport { PGVECTOR_SPACE_ID } from '../core/contract-space-constants';\nimport { pgvectorPackMeta, pgvectorQueryOperations } from '../core/descriptor-meta';\n\nconst PGVECTOR_CODEC_ID = 'pg/vector@1' as const;\nconst BASELINE_DIR_NAME = '20260601T0000_install_vector_extension';\n\nfunction buildVectorIdentityValue(typeParams: Record<string, unknown> | undefined): string | null {\n  const length = typeParams?.['length'];\n  if (typeof length !== 'number' || !Number.isInteger(length) || length <= 0) {\n    return null;\n  }\n\n  const zeroVector = `[${new Array(length).fill('0').join(',')}]`;\n  return `'${zeroVector}'::vector`;\n}\n\nconst vectorControlPlaneHooks: CodecControlHooks = {\n  expandNativeType: ({ nativeType, typeParams }) => {\n    const length = typeParams?.['length'];\n    if (typeof length === 'number' && Number.isInteger(length) && length > 0) {\n      return `${nativeType}(${length})`;\n    }\n    return nativeType;\n  },\n  resolveIdentityValue: ({ typeParams }) => buildVectorIdentityValue(typeParams),\n};\n\nconst pgvectorContractSpace = contractSpaceFromJson<Contract<SqlStorage>>({\n  contractJson,\n  migrations: [\n    {\n      dirName: BASELINE_DIR_NAME,\n      metadata: baselineMetadata,\n      ops: baselineOps,\n    },\n  ],\n  headRef,\n});\n\nconst pgvectorExtensionDescriptor: SqlControlExtensionDescriptor<'postgres'> = {\n  ...pgvectorPackMeta,\n  id: PGVECTOR_SPACE_ID,\n  contractSpace: pgvectorContractSpace,\n  types: {\n    ...pgvectorPackMeta.types,\n    codecTypes: {\n      ...pgvectorPackMeta.types.codecTypes,\n      controlPlaneHooks: {\n        [PGVECTOR_CODEC_ID]: vectorControlPlaneHooks,\n      },\n    },\n  },\n  queryOperations: () => pgvectorQueryOperations(),\n  create: () => ({\n    familyId: 'sql' as const,\n    targetId: 'postgres' as const,\n  }),\n};\n\nexport { pgvectorExtensionDescriptor };\nexport default pgvectorExtensionDescriptor;\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AIgBA,MAAa,oBAAoB;;;ACkCjC,MAAM,oBAAoB;AAC1B,MAAM,oBAAoB;AAE1B,SAAS,yBAAyB,YAAgE;CAChG,MAAM,SAAS,aAAa;CAC5B,IAAI,OAAO,WAAW,YAAY,CAAC,OAAO,UAAU,MAAM,KAAK,UAAU,GACvE,OAAO;CAIT,OAAO,IAAI,IADY,IAAI,MAAM,MAAM,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,GACvC;AACxB;AAEA,MAAM,0BAA6C;CACjD,mBAAmB,EAAE,YAAY,iBAAiB;EAChD,MAAM,SAAS,aAAa;EAC5B,IAAI,OAAO,WAAW,YAAY,OAAO,UAAU,MAAM,KAAK,SAAS,GACrE,OAAO,GAAG,WAAW,GAAG,OAAO;EAEjC,OAAO;CACT;CACA,uBAAuB,EAAE,iBAAiB,yBAAyB,UAAU;AAC/E;AAEA,MAAM,wBAAwB,sBAA4C;CACxE,cAAA;CACA,YAAY,CACV;EACE,SAAS;EACT,UAAUA;EACV,KAAKC;CACP,CACF;CACA,SAAA;AACF,CAAC;AAED,MAAM,8BAAyE;CAC7E,GAAG;CACH,IAAI;CACJ,eAAe;CACf,OAAO;EACL,GAAG,iBAAiB;EACpB,YAAY;GACV,GAAG,iBAAiB,MAAM;GAC1B,mBAAmB,GAChB,oBAAoB,wBACvB;EACF;CACF;CACA,uBAAuB,wBAAwB;CAC/C,eAAe;EACb,UAAU;EACV,UAAU;CACZ;AACF"}

package/dist/{descriptor-meta-Bv7s7XWG.mjs → descriptor-meta-G5zBc8J8.mjs}

@@ -31,6 +31,15 @@ const vectorParamsSchema = type({ length: "number" }).narrow((params, ctx) => {
 	return true;
 });
 const PG_VECTOR_META = { db: { sql: { postgres: { nativeType: "vector" } } } };
+function parseVector(value) {
+	if (!value.startsWith("[") || !value.endsWith("]")) throw new Error(`Invalid vector format: expected "[...]", got "${value}"`);
+	const content = value.slice(1, -1).trim();
+	return content === "" ? [] : content.split(",").map((entry) => {
+		const number = Number.parseFloat(entry.trim());
+		if (Number.isNaN(number)) throw new Error(`Invalid vector value: "${entry}" is not a number`);
+		return number;
+	});
+}
 var PgVectorCodec = class extends CodecImpl {
 	length;
 	constructor(descriptor, length) {
@@ -39,7 +48,10 @@ 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");
+		for (const element of value) {
+			if (typeof element !== "number") throw new Error("Vector value must contain only numbers");
+			if (!Number.isFinite(element)) throw new Error("Vector value must contain only finite numbers");
+		}
 		if (value.length !== this.length) throw new Error(`Vector length mismatch: expected ${this.length}, got ${value.length}`);
 	}
 	async encode(value, _ctx) {
@@ -48,23 +60,19 @@ var PgVectorCodec = class extends CodecImpl {
 	}
 	async decode(wire, _ctx) {
 		if (typeof wire !== "string") throw new Error("Vector wire value must be a string");
-		if (!wire.startsWith("[") || !wire.endsWith("]")) throw new Error(`Invalid vector format: expected "[...]", got "${wire}"`);
-		const content = wire.slice(1, -1).trim();
-		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;
+		const value = parseVector(wire);
+		this.assertVector(value);
+		return value;
 	}
 	encodeJson(value) {
 		this.assertVector(value);
-		return value;
+		return `[${value.join(",")}]`;
 	}
 	decodeJson(json) {
-		this.assertVector(json);
-		return json;
+		if (typeof json !== "string") throw new Error("Vector database JSON value must be a string");
+		const value = parseVector(json);
+		this.assertVector(value);
+		return value;
 	}
 };
 var PgVectorDescriptor = class extends CodecDescriptorImpl {
@@ -177,4 +185,4 @@ const pgvectorPackMeta = {
 //#endregion
 export { pgvectorQueryOperations as n, pgvectorCodecRegistry as r, pgvectorPackMeta as t };
 
-//# sourceMappingURL=descriptor-meta-Bv7s7XWG.mjs.map
+//# sourceMappingURL=descriptor-meta-G5zBc8J8.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"descriptor-meta-G5zBc8J8.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\nfunction parseVector(value: string): number[] {\n  if (!value.startsWith('[') || !value.endsWith(']')) {\n    throw new Error(`Invalid vector format: expected \"[...]\", got \"${value}\"`);\n  }\n  const content = value.slice(1, -1).trim();\n  return content === ''\n    ? []\n    : content.split(',').map((entry) => {\n        const number = Number.parseFloat(entry.trim());\n        if (Number.isNaN(number)) {\n          throw new Error(`Invalid vector value: \"${entry}\" is not a number`);\n        }\n        return number;\n      });\n}\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    for (const element of value) {\n      if (typeof element !== 'number') {\n        throw new Error('Vector value must contain only numbers');\n      }\n      if (!Number.isFinite(element)) {\n        throw new Error('Vector value must contain only finite numbers');\n      }\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    const value = parseVector(wire);\n    this.assertVector(value);\n    return value;\n  }\n\n  encodeJson(value: number[]): JsonValue {\n    this.assertVector(value);\n    return `[${value.join(',')}]`;\n  }\n\n  decodeJson(json: JsonValue): number[] {\n    if (typeof json !== 'string') {\n      throw new Error('Vector database JSON value must be a string');\n    }\n    const value = parseVector(json);\n    this.assertVector(value);\n    return value;\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;CAAe,CACvF;CACA,QAAQ;EACN,SAAS;EACT,YAAY;EACZ,YAAY,EACV,QAAQ;GAAE,MAAM;GAAO,OAAO;EAAE,EAClC;CACF;AACF,EACF,EACF;;;ACWA,MAAM,qBAAqBA,KAAQ,EACjC,QAAQ,SACV,CAAC,CAAC,CAAC,QAAQ,QAAQ,QAAQ;CACzB,MAAM,EAAE,WAAW;CACnB,IAAI,CAAC,OAAO,UAAU,MAAM,GAC1B,OAAO,IAAI,OAAO,YAAY;CAEhC,IAAI,SAAS,KAAK,SAAA,MAChB,OAAO,IAAI,OAAO,oBAAoB,eAAe,EAAE;CAEzD,OAAO;AACT,CAAC;AAED,MAAM,iBAAiB,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,YAAY,SAAS,EAAE,EAAE,EAAE;AAE7E,SAAS,YAAY,OAAyB;CAC5C,IAAI,CAAC,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,SAAS,GAAG,GAC/C,MAAM,IAAI,MAAM,iDAAiD,MAAM,EAAE;CAE3E,MAAM,UAAU,MAAM,MAAM,GAAG,EAAE,CAAC,CAAC,KAAK;CACxC,OAAO,YAAY,KACf,CAAC,IACD,QAAQ,MAAM,GAAG,CAAC,CAAC,KAAK,UAAU;EAChC,MAAM,SAAS,OAAO,WAAW,MAAM,KAAK,CAAC;EAC7C,IAAI,OAAO,MAAM,MAAM,GACrB,MAAM,IAAI,MAAM,0BAA0B,MAAM,kBAAkB;EAEpE,OAAO;CACT,CAAC;AACP;AAEA,IAAa,gBAAb,cAAmC,UAKjC;CACA;CAEA,YAAY,YAAgC,QAAgB;EAC1D,MAAM,UAAU;EAChB,KAAK,SAAS;CAChB;CAEA,aAAa,OAA2C;EACtD,IAAI,CAAC,MAAM,QAAQ,KAAK,GACtB,MAAM,IAAI,MAAM,0CAA0C;EAE5D,KAAK,MAAM,WAAW,OAAO;GAC3B,IAAI,OAAO,YAAY,UACrB,MAAM,IAAI,MAAM,wCAAwC;GAE1D,IAAI,CAAC,OAAO,SAAS,OAAO,GAC1B,MAAM,IAAI,MAAM,+CAA+C;EAEnE;EACA,IAAI,MAAM,WAAW,KAAK,QACxB,MAAM,IAAI,MAAM,oCAAoC,KAAK,OAAO,QAAQ,MAAM,QAAQ;CAE1F;CAEA,MAAM,OAAO,OAAiB,MAAyC;EACrE,KAAK,aAAa,KAAK;EACvB,OAAO,IAAI,MAAM,KAAK,GAAG,EAAE;CAC7B;CAEA,MAAM,OAAO,MAAc,MAA2C;EACpE,IAAI,OAAO,SAAS,UAClB,MAAM,IAAI,MAAM,oCAAoC;EAEtD,MAAM,QAAQ,YAAY,IAAI;EAC9B,KAAK,aAAa,KAAK;EACvB,OAAO;CACT;CAEA,WAAW,OAA4B;EACrC,KAAK,aAAa,KAAK;EACvB,OAAO,IAAI,MAAM,KAAK,GAAG,EAAE;CAC7B;CAEA,WAAW,MAA2B;EACpC,IAAI,OAAO,SAAS,UAClB,MAAM,IAAI,MAAM,6CAA6C;EAE/D,MAAM,QAAQ,YAAY,IAAI;EAC9B,KAAK,aAAa,KAAK;EACvB,OAAO;CACT;AACF;AAEA,IAAa,qBAAb,cAAwC,oBAAkC;CACxE,UAA4B;CAC5B,SAA2B,CAAC,UAAU;CACtC,cAAgC,CAAC,QAAQ;CACzC,OAAyB;CACzB,eAAiE;CACjE,iBAA0B,QAA8B;EACtD,OAAO,UAAU,OAAO,OAAO;CACjC;CACA,QAAiB,QAAoE;EACnF,aAAa,IAAI,cAAc,MAAM,OAAO,MAAM;CACpD;AACF;AAeA,MAAM,qBAAqB,EACzB,QAAQ,IAd4B,mBAc5B,EACV;;;;;;;;AC5IA,MAAa,wBACX,6BD+I6D,OAAO,OAAO,kBC/I9C,CAAgB;;;ACE/C,MAAM,iBAAiB;AAIvB,SAAgB,0BAA8E;CAC5F,OAAO;EACL,gBAAgB;GACd,MAAM,EAAE,SAAS,eAAe;GAChC,OACE,MACA,UAC4D;IAC5D,MAAM,YAAY,QAAQ,IAAI;IAC9B,OAAO,eAAe;KACpB,QAAQ;KACR,MAAM,CAAC,OAAO,MAAM,SAAS,GAAG,OAAO,OAAO,SAAS,CAAC;KACxD,SAAS;MAAE,SAAS;MAAe,UAAU;KAAM;KACnD,UAAU;MACR,cAAc;MACd,UAAU;MACV,UAAU;KACZ;IACF,CAAC;GACH;EACF;EACA,kBAAkB;GAChB,MAAM,EAAE,SAAS,eAAe;GAChC,OACE,MACA,UAC4D;IAC5D,MAAM,YAAY,QAAQ,IAAI;IAC9B,OAAO,eAAe;KACpB,QAAQ;KACR,MAAM,CAAC,OAAO,MAAM,SAAS,GAAG,OAAO,OAAO,SAAS,CAAC;KACxD,SAAS;MAAE,SAAS;MAAe,UAAU;KAAM;KACnD,UAAU;MACR,cAAc;MACd,UAAU;MACV,UAAU;KACZ;IACF,CAAC;GACH;EACF;CACF;AACF;AAoDA,MAAa,mBAET;CAnDF,MAAM;CACN,IAAI;CACJ,UAAU;CACV,UAAU;CACV,SAAS;CACT,cAAc,EACZ,UAAU,EACR,mBAAmB,KACrB,EACF;CACA,WAAW,EACT,MAAM,uBACR;CACA,OAAO;EACL,YAAY;GACV,kBAAkB,MAAM,KAAK,sBAAsB,OAAO,CAAC;GAC3D,QAAQ;IACN,SAAS;IACT,OAAO;IACP,OAAO;GACT;GACA,aAAa,CACX;IACE,SAAS;IACT,OAAO;IACP,OAAO;GACT,CACF;EACF;EACA,gBAAgB,EACd,QAAQ;GACN,SAAS;GACT,OAAO;GACP,OAAO;EACT,EACF;EACA,qBAAqB,EACnB,QAAQ;GACN,SAAS;GACT,OAAO;GACP,OAAO;EACT,EACF;EACA,SAAS,CACP;GAAE,QAAQ;GAAgB,UAAU;GAAO,UAAU;GAAY,YAAY;EAAS,CACxF;CACF;AAKE"}

package/dist/pack.mjs

@@ -1,2 +1,2 @@
-import { t as pgvectorPackMeta } from "./descriptor-meta-Bv7s7XWG.mjs";
+import { t as pgvectorPackMeta } from "./descriptor-meta-G5zBc8J8.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-Bv7s7XWG.mjs";
+import { n as pgvectorQueryOperations, r as pgvectorCodecRegistry, t as pgvectorPackMeta } from "./descriptor-meta-G5zBc8J8.mjs";
 //#region src/exports/runtime.ts
 const pgvectorRuntimeDescriptor = {
 	kind: "extension",

package/package.json

@@ -1,39 +1,39 @@
 {
   "name": "@prisma-next/extension-pgvector",
-  "version": "0.14.0",
+  "version": "0.15.0-dev.10",
   "license": "Apache-2.0",
   "type": "module",
   "sideEffects": false,
   "dependencies": {
-    "@prisma-next/contract": "0.14.0",
-    "@prisma-next/contract-authoring": "0.14.0",
-    "@prisma-next/family-sql": "0.14.0",
-    "@prisma-next/framework-components": "0.14.0",
-    "@prisma-next/migration-tools": "0.14.0",
-    "@prisma-next/sql-contract": "0.14.0",
-    "@prisma-next/sql-operations": "0.14.0",
-    "@prisma-next/sql-relational-core": "0.14.0",
-    "@prisma-next/sql-runtime": "0.14.0",
-    "@prisma-next/sql-schema-ir": "0.14.0",
+    "@prisma-next/contract": "0.15.0-dev.10",
+    "@prisma-next/contract-authoring": "0.15.0-dev.10",
+    "@prisma-next/family-sql": "0.15.0-dev.10",
+    "@prisma-next/framework-components": "0.15.0-dev.10",
+    "@prisma-next/migration-tools": "0.15.0-dev.10",
+    "@prisma-next/sql-contract": "0.15.0-dev.10",
+    "@prisma-next/sql-operations": "0.15.0-dev.10",
+    "@prisma-next/sql-relational-core": "0.15.0-dev.10",
+    "@prisma-next/sql-runtime": "0.15.0-dev.10",
+    "@prisma-next/sql-schema-ir": "0.15.0-dev.10",
     "@standard-schema/spec": "^1.1.0",
-    "arktype": "^2.2.0"
+    "arktype": "^2.2.2"
   },
   "devDependencies": {
-    "@prisma-next/adapter-postgres": "0.14.0",
-    "@prisma-next/cli": "0.14.0",
-    "@prisma-next/operations": "0.14.0",
-    "@prisma-next/postgres": "0.14.0",
-    "@prisma-next/sql-contract-ts": "0.14.0",
-    "@prisma-next/target-postgres": "0.14.0",
-    "@prisma-next/test-utils": "0.14.0",
-    "@prisma-next/tsconfig": "0.14.0",
-    "@prisma-next/tsdown": "0.14.0",
-    "tsdown": "0.22.1",
+    "@prisma-next/adapter-postgres": "0.15.0-dev.10",
+    "@prisma-next/cli": "0.15.0-dev.10",
+    "@prisma-next/operations": "0.15.0-dev.10",
+    "@prisma-next/postgres": "0.15.0-dev.10",
+    "@prisma-next/sql-contract-ts": "0.15.0-dev.10",
+    "@prisma-next/target-postgres": "0.15.0-dev.10",
+    "@prisma-next/test-utils": "0.15.0-dev.10",
+    "@prisma-next/tsconfig": "0.15.0-dev.10",
+    "@prisma-next/tsdown": "0.15.0-dev.10",
+    "tsdown": "0.22.3",
     "typescript": "5.9.3",
-    "vitest": "4.1.8"
+    "vitest": "4.1.10"
   },
   "peerDependencies": {
-    "@prisma-next/adapter-postgres": "0.14.0",
+    "@prisma-next/adapter-postgres": "0.15.0-dev.10",
     "typescript": ">=5.9"
   },
   "peerDependenciesMeta": {

package/src/contract.d.ts

@@ -44,11 +44,15 @@ type DefaultLiteralValue<CodecId extends string, _Encoded> = CodecId extends key
 
 export type FieldOutputTypes = { readonly public: Record<string, never> };
 export type FieldInputTypes = { readonly public: Record<string, never> };
+export type StorageColumnTypes = { readonly public: {} };
+export type StorageColumnInputTypes = { readonly public: {} };
 export type TypeMaps = TypeMapsType<
   CodecTypes,
   QueryOperationTypes,
   FieldOutputTypes,
-  FieldInputTypes
+  FieldInputTypes,
+  StorageColumnTypes,
+  StorageColumnInputTypes
 >;
 
 type ContractBase = Omit<
@@ -96,6 +100,7 @@ type ContractBase = Omit<
       readonly enums: true;
       readonly lateral: true;
       readonly returning: true;
+      readonly scalarList: true;
     };
   };
   readonly extensionPacks: {};

package/src/contract.json

@@ -43,7 +43,8 @@
       "defaultInInsert": true,
       "enums": true,
       "lateral": true,
-      "returning": true
+      "returning": true,
+      "scalarList": true
     }
   },
   "extensionPacks": {},

package/src/core/codecs.ts

@@ -43,6 +43,22 @@ const vectorParamsSchema = arktype({
 
 const PG_VECTOR_META = { db: { sql: { postgres: { nativeType: 'vector' } } } } as const;
 
+function parseVector(value: string): number[] {
+  if (!value.startsWith('[') || !value.endsWith(']')) {
+    throw new Error(`Invalid vector format: expected "[...]", got "${value}"`);
+  }
+  const content = value.slice(1, -1).trim();
+  return content === ''
+    ? []
+    : content.split(',').map((entry) => {
+        const number = Number.parseFloat(entry.trim());
+        if (Number.isNaN(number)) {
+          throw new Error(`Invalid vector value: "${entry}" is not a number`);
+        }
+        return number;
+      });
+}
+
 export class PgVectorCodec extends CodecImpl<
   typeof VECTOR_CODEC_ID,
   readonly ['equality'],
@@ -60,8 +76,13 @@ export class PgVectorCodec extends CodecImpl<
     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');
+    for (const element of value) {
+      if (typeof element !== 'number') {
+        throw new Error('Vector value must contain only numbers');
+      }
+      if (!Number.isFinite(element)) {
+        throw new Error('Vector value must contain only finite numbers');
+      }
     }
     if (value.length !== this.length) {
       throw new Error(`Vector length mismatch: expected ${this.length}, got ${value.length}`);
@@ -77,32 +98,23 @@ export class PgVectorCodec extends CodecImpl<
     if (typeof wire !== 'string') {
       throw new Error('Vector wire value must be a string');
     }
-    if (!wire.startsWith('[') || !wire.endsWith(']')) {
-      throw new Error(`Invalid vector format: expected "[...]", got "${wire}"`);
-    }
-    const content = wire.slice(1, -1).trim();
-    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;
+    const value = parseVector(wire);
+    this.assertVector(value);
+    return value;
   }
 
   encodeJson(value: number[]): JsonValue {
     this.assertVector(value);
-    return value;
+    return `[${value.join(',')}]`;
   }
 
   decodeJson(json: JsonValue): number[] {
-    this.assertVector(json);
-    return json;
+    if (typeof json !== 'string') {
+      throw new Error('Vector database JSON value must be a string');
+    }
+    const value = parseVector(json);
+    this.assertVector(value);
+    return value;
   }
 }
 

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

@@ -1 +0,0 @@
-{"version":3,"file":"descriptor-meta-Bv7s7XWG.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;CAAe,CACvF;CACA,QAAQ;EACN,SAAS;EACT,YAAY;EACZ,YAAY,EACV,QAAQ;GAAE,MAAM;GAAO,OAAO;EAAE,EAClC;CACF;AACF,EACF,EACF;;;ACWA,MAAM,qBAAqBA,KAAQ,EACjC,QAAQ,SACV,CAAC,CAAC,CAAC,QAAQ,QAAQ,QAAQ;CACzB,MAAM,EAAE,WAAW;CACnB,IAAI,CAAC,OAAO,UAAU,MAAM,GAC1B,OAAO,IAAI,OAAO,YAAY;CAEhC,IAAI,SAAS,KAAK,SAAA,MAChB,OAAO,IAAI,OAAO,oBAAoB,eAAe,EAAE;CAEzD,OAAO;AACT,CAAC;AAED,MAAM,iBAAiB,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,YAAY,SAAS,EAAE,EAAE,EAAE;AAE7E,IAAa,gBAAb,cAAmC,UAKjC;CACA;CAEA,YAAY,YAAgC,QAAgB;EAC1D,MAAM,UAAU;EAChB,KAAK,SAAS;CAChB;CAEA,aAAa,OAA2C;EACtD,IAAI,CAAC,MAAM,QAAQ,KAAK,GACtB,MAAM,IAAI,MAAM,0CAA0C;EAE5D,IAAI,CAAC,MAAM,OAAO,MAAM,OAAO,MAAM,QAAQ,GAC3C,MAAM,IAAI,MAAM,wCAAwC;EAE1D,IAAI,MAAM,WAAW,KAAK,QACxB,MAAM,IAAI,MAAM,oCAAoC,KAAK,OAAO,QAAQ,MAAM,QAAQ;CAE1F;CAEA,MAAM,OAAO,OAAiB,MAAyC;EACrE,KAAK,aAAa,KAAK;EACvB,OAAO,IAAI,MAAM,KAAK,GAAG,EAAE;CAC7B;CAEA,MAAM,OAAO,MAAc,MAA2C;EACpE,IAAI,OAAO,SAAS,UAClB,MAAM,IAAI,MAAM,oCAAoC;EAEtD,IAAI,CAAC,KAAK,WAAW,GAAG,KAAK,CAAC,KAAK,SAAS,GAAG,GAC7C,MAAM,IAAI,MAAM,iDAAiD,KAAK,EAAE;EAE1E,MAAM,UAAU,KAAK,MAAM,GAAG,EAAE,CAAC,CAAC,KAAK;EACvC,MAAM,SACJ,YAAY,KACR,CAAC,IACD,QAAQ,MAAM,GAAG,CAAC,CAAC,KAAK,MAAM;GAC5B,MAAM,MAAM,OAAO,WAAW,EAAE,KAAK,CAAC;GACtC,IAAI,OAAO,MAAM,GAAG,GAClB,MAAM,IAAI,MAAM,0BAA0B,EAAE,kBAAkB;GAEhE,OAAO;EACT,CAAC;EACP,KAAK,aAAa,MAAM;EACxB,OAAO;CACT;CAEA,WAAW,OAA4B;EACrC,KAAK,aAAa,KAAK;EACvB,OAAO;CACT;CAEA,WAAW,MAA2B;EACpC,KAAK,aAAa,IAAI;EACtB,OAAO;CACT;AACF;AAEA,IAAa,qBAAb,cAAwC,oBAAkC;CACxE,UAA4B;CAC5B,SAA2B,CAAC,UAAU;CACtC,cAAgC,CAAC,QAAQ;CACzC,OAAyB;CACzB,eAAiE;CACjE,iBAA0B,QAA8B;EACtD,OAAO,UAAU,OAAO,OAAO;CACjC;CACA,QAAiB,QAAoE;EACnF,aAAa,IAAI,cAAc,MAAM,OAAO,MAAM;CACpD;AACF;AAeA,MAAM,qBAAqB,EACzB,QAAQ,IAd4B,mBAc5B,EACV;;;;;;;;AChIA,MAAa,wBACX,6BDmI6D,OAAO,OAAO,kBCnI9C,CAAgB;;;ACE/C,MAAM,iBAAiB;AAIvB,SAAgB,0BAA8E;CAC5F,OAAO;EACL,gBAAgB;GACd,MAAM,EAAE,SAAS,eAAe;GAChC,OACE,MACA,UAC4D;IAC5D,MAAM,YAAY,QAAQ,IAAI;IAC9B,OAAO,eAAe;KACpB,QAAQ;KACR,MAAM,CAAC,OAAO,MAAM,SAAS,GAAG,OAAO,OAAO,SAAS,CAAC;KACxD,SAAS;MAAE,SAAS;MAAe,UAAU;KAAM;KACnD,UAAU;MACR,cAAc;MACd,UAAU;MACV,UAAU;KACZ;IACF,CAAC;GACH;EACF;EACA,kBAAkB;GAChB,MAAM,EAAE,SAAS,eAAe;GAChC,OACE,MACA,UAC4D;IAC5D,MAAM,YAAY,QAAQ,IAAI;IAC9B,OAAO,eAAe;KACpB,QAAQ;KACR,MAAM,CAAC,OAAO,MAAM,SAAS,GAAG,OAAO,OAAO,SAAS,CAAC;KACxD,SAAS;MAAE,SAAS;MAAe,UAAU;KAAM;KACnD,UAAU;MACR,cAAc;MACd,UAAU;MACV,UAAU;KACZ;IACF,CAAC;GACH;EACF;CACF;AACF;AAoDA,MAAa,mBAET;CAnDF,MAAM;CACN,IAAI;CACJ,UAAU;CACV,UAAU;CACV,SAAS;CACT,cAAc,EACZ,UAAU,EACR,mBAAmB,KACrB,EACF;CACA,WAAW,EACT,MAAM,uBACR;CACA,OAAO;EACL,YAAY;GACV,kBAAkB,MAAM,KAAK,sBAAsB,OAAO,CAAC;GAC3D,QAAQ;IACN,SAAS;IACT,OAAO;IACP,OAAO;GACT;GACA,aAAa,CACX;IACE,SAAS;IACT,OAAO;IACP,OAAO;GACT,CACF;EACF;EACA,gBAAgB,EACd,QAAQ;GACN,SAAS;GACT,OAAO;GACP,OAAO;EACT,EACF;EACA,qBAAqB,EACnB,QAAQ;GACN,SAAS;GACT,OAAO;GACP,OAAO;EACT,EACF;EACA,SAAS,CACP;GAAE,QAAQ;GAAgB,UAAU;GAAO,UAAU;GAAY,YAAY;EAAS,CACxF;CACF;AAKE"}