@prisma-next/mongo-codec 0.5.0-dev.7 → 0.5.0-dev.70

package/README.md

@@ -4,10 +4,55 @@ Codec interface and registry for MongoDB value serialization.
 
 ## Responsibilities
 
-- **Codec interface**: `MongoCodec<Id, TTraits, TWire, TJs>` — defines encode/decode between wire (BSON) and JS representations, with trait annotations (`equality`, `order`, `boolean`, `numeric`, `textual`, `vector`)
-- **Codec factory**: `mongoCodec()` — creates frozen codec instances from a config object
-- **Codec registry**: `MongoCodecRegistry` and `createMongoCodecRegistry()` — a map-based container that stores and retrieves codecs by ID, with duplicate-ID protection
-- **Type-level helpers**: `MongoCodecJsType<T>` and `MongoCodecTraits<T>` for extracting JS types and traits from codec types
+- **Codec interface**: `MongoCodec<Id, TTraits, TWire, TInput>` — declares how a JS value translates to and from the BSON-shaped wire format the Mongo driver exchanges, plus the JSON-safe form stored in contract artifacts. Same four generics as the framework `Codec` base; the codec instance carries only `id` plus the four conversion methods. Trait annotations (`equality`, `order`, `boolean`, `numeric`, `textual`, `vector`) for operator gating live on the unified `CodecDescriptor` (see [ADR 208](../../../../docs/architecture%20docs/adrs/ADR%20208%20-%20Higher-order%20codecs%20for%20parameterized%20types.md)).
+- **Codec factory**: `mongoCodec()` — creates frozen codec instances from a config object. Both `encode` and `decode` are required so `TInput` and `TWire` are always covered by an explicit author function — the factory installs no identity fallback. `encode` and `decode` may be authored as sync or async functions and are lifted to Promise-returning query-time methods automatically. Build-time methods (`encodeJson`, `decodeJson`) are synchronous and default to identity when omitted.
+- **Codec registry**: `MongoCodecRegistry` and `newMongoCodecRegistry()` — a map-based container that stores and retrieves codecs by ID, with duplicate-ID protection
+- **Type-level helper**: `MongoCodecInput<T>` for extracting the JS application type from a codec type. Trait metadata lives on the unified `CodecDescriptor` (see [ADR 208](../../../../docs/architecture%20docs/adrs/ADR%20208%20-%20Higher-order%20codecs%20for%20parameterized%20types.md)).
+
+## Examples
+
+```ts
+// Sync authoring:
+const intCodec = mongoCodec({
+  typeId: 'mongo/int@1',
+  encode: (v: number) => v,
+  decode: (w: number) => w,
+  encodeJson: (v: number) => v,
+  decodeJson: (j: number) => j,
+});
+
+// Async authoring (e.g. KMS-backed encryption): same factory, same shape.
+const secretCodec = mongoCodec({
+  typeId: 'mongo/secret@1',
+  encode: async (v: string) => encrypt(v, await getKey()),
+  decode: async (w: string) => decrypt(w, await getKey()),
+  encodeJson: (v: string) => v,
+  decodeJson: (j: string) => j,
+});
+```
+
+### Codec call context (`ctx`)
+
+Codecs receive a second `ctx` options argument; you may ignore it. The Mongo runtime allocates one `CodecCallContext` per `mongoRuntime.execute(plan, { signal })` call and threads the same reference to every codec dispatch site as a non-optional argument — when no `signal` is supplied the runtime still threads an empty `{}`, never `undefined`. Mongo uses the framework `CodecCallContext` directly (signal-only); column metadata is SQL-family-specific and isn't part of Mongo's per-call shape today. The internal `MongoCodec` interface declares the parameter as required (`encode(value, ctx: CodecCallContext)` / `decode(wire, ctx: CodecCallContext)`); single-arg author functions `(value) => …` continue to compile via TypeScript's bivariance for trailing parameters, so codec ergonomics are unchanged. The `signal` field on the ctx may be `undefined` when the caller didn't supply one.
+
+```ts
+// Forward ctx.signal to a network SDK so aborted queries stop the round-trip.
+const kmsSecretCodec = mongoCodec({
+  typeId: 'mongo/kms-secret@1',
+  encode: async (v: string, ctx) =>
+    kms.encrypt({ plaintext: v }, { signal: ctx?.signal }),
+  decode: async (w: string, ctx) =>
+    kms.decrypt({ ciphertext: w }, { signal: ctx?.signal }),
+  encodeJson: (v: string) => v,
+  decodeJson: (j: string) => j,
+});
+```
+
+> **Note.** Mongo's read path doesn't go through `codec.decode` (per ADR 204 cross-family scope notes), so the `decode` signature above accepts `ctx` for parity with the codec interface but the runtime doesn't currently invoke `decode` on the Mongo read side. Encode-side `ctx.signal` is observed at every recursion level of `resolveValue` so a mid-encode abort surfaces as `RUNTIME.ABORTED { phase: 'encode' }`.
+
+Codec bodies that ignore `ctx.signal` complete in the background (cooperative cancellation); aborts still surface to the caller as `RUNTIME.ABORTED`.
+
+See [ADR 204 — Single-Path Async Codec Runtime](../../../../docs/architecture%20docs/adrs/ADR%20204%20-%20Single-Path%20Async%20Codec%20Runtime.md) for the codec runtime's async boundary contract, and [ADR 207 — Codec call context: per-query `AbortSignal` and column metadata](../../../../docs/architecture%20docs/adrs/ADR%20207%20-%20Codec%20call%20context%20per-query%20AbortSignal%20and%20column%20metadata.md) for the per-call context shape.
 
 ## Dependencies
 

package/dist/index.d.mts

@@ -1,23 +1,40 @@
 import { JsonValue } from "@prisma-next/contract/types";
-import { Codec, CodecTrait } from "@prisma-next/framework-components/codec";
+import { Codec, CodecCallContext, CodecTrait } from "@prisma-next/framework-components/codec";
 
 //#region src/codecs.d.ts
 type MongoCodecTrait = CodecTrait;
-interface MongoCodec<Id extends string = string, TTraits$1 extends readonly MongoCodecTrait[] = readonly MongoCodecTrait[], TWire = unknown, TJs = unknown> extends Codec<Id, TTraits$1, TWire, TJs> {
-  readonly traits: TTraits$1;
-}
-declare function mongoCodec<Id extends string, const TTraits$1 extends readonly MongoCodecTrait[] = readonly [], TWire = unknown, TJs = unknown>(config: {
+/**
+ * A codec for the Mongo target. Translates between an application value and the BSON-shaped wire form the Mongo driver exchanges, and between an application value and the JSON form stored in contract artifacts.
+ *
+ * Same shape as the framework codec base — see `Codec` in `@prisma-next/framework-components/codec` for the contract. Codec-id-keyed static metadata (`traits`, `targetTypes`, `renderOutputType`) lives on the unified {@link import('@prisma-next/framework-components/codec').CodecDescriptor}; Mongo's full migration to descriptor-side registration is tracked under TML-2324.
+ */
+interface MongoCodec<Id extends string = string, TTraits extends readonly MongoCodecTrait[] = readonly MongoCodecTrait[], TWire = unknown, TInput = unknown> extends Codec<Id, TTraits, TWire, TInput> {}
+/**
+ * Conditional bundle for `encodeJson`/`decodeJson`: when `TInput` is structurally assignable to `JsonValue` the identity defaults are sound and both fields are optional; otherwise both fields are required so an author cannot silently produce a non-JSON-safe contract artifact.
+ */
+type JsonRoundTripConfig<TInput> = [TInput] extends [JsonValue] ? {
+  encodeJson?: (value: TInput) => JsonValue;
+  decodeJson?: (json: JsonValue) => TInput;
+} : {
+  encodeJson: (value: TInput) => JsonValue;
+  decodeJson: (json: JsonValue) => TInput;
+};
+/**
+ * Construct a Mongo codec from author functions.
+ *
+ * Author `encode` and `decode` as sync or async functions; the factory produces a {@link MongoCodec} whose query-time methods follow the boundary contract documented on the framework {@link BaseCodec}. Authors receive a second `ctx` options argument carrying the per-call context; ignore it if you don't need it.
+ *
+ * Both `encode` and `decode` are required so `TInput` and `TWire` are always covered by an explicit author function — the factory installs no identity fallback. `encodeJson` and `decodeJson` default to identity **only when `TInput` is assignable to `JsonValue`**; otherwise both are required so the contract artifact stays JSON-safe.
+ *
+ * Codec-id-keyed static metadata (`traits`, `targetTypes`, `renderOutputType`) lives on the unified `CodecDescriptor` rather than on the codec instance itself (TML-2357).
+ */
+declare function mongoCodec<Id extends string, const TTraits extends readonly MongoCodecTrait[] = readonly [], TWire = unknown, TInput = unknown>(config: {
   typeId: Id;
-  targetTypes: readonly string[];
-  traits?: TTraits$1;
-  encode: (value: TJs) => TWire;
-  decode: (wire: TWire) => TJs;
-  encodeJson?: (value: TJs) => JsonValue;
-  decodeJson?: (json: JsonValue) => TJs;
-  renderOutputType?: (typeParams: Record<string, unknown>) => string | undefined;
-}): MongoCodec<Id, TTraits$1, TWire, TJs>;
-type MongoCodecJsType<T> = T extends MongoCodec<string, readonly MongoCodecTrait[], unknown, infer TJs> ? TJs : never;
-type MongoCodecTraits<T> = T extends MongoCodec<string, infer TTraits> ? TTraits[number] & MongoCodecTrait : never;
+  encode: (value: TInput, ctx: CodecCallContext) => TWire | Promise<TWire>;
+  decode: (wire: TWire, ctx: CodecCallContext) => TInput | Promise<TInput>;
+} & JsonRoundTripConfig<TInput>): MongoCodec<Id, TTraits, TWire, TInput>;
+/** Extract the JS application type carried by a Mongo codec — used both as `encode` input and as `decode` output. */
+type MongoCodecInput<T> = T extends MongoCodec<string, readonly MongoCodecTrait[], unknown, infer TInput> ? TInput : never;
 //#endregion
 //#region src/codec-registry.d.ts
 interface MongoCodecRegistry {
@@ -27,7 +44,10 @@ interface MongoCodecRegistry {
   [Symbol.iterator](): Iterator<MongoCodec<string>>;
   values(): IterableIterator<MongoCodec<string>>;
 }
-declare function createMongoCodecRegistry(): MongoCodecRegistry;
+/**
+ * Create a new Mongo codec registry. Inline object literal — no class implementation; the registry is just a private `Map` with the documented surface methods.
+ */
+declare function newMongoCodecRegistry(): MongoCodecRegistry;
 //#endregion
-export { type MongoCodec, type MongoCodecJsType, type MongoCodecRegistry, type MongoCodecTrait, type MongoCodecTraits, createMongoCodecRegistry, mongoCodec };
+export { type MongoCodec, type MongoCodecInput, type MongoCodecRegistry, type MongoCodecTrait, mongoCodec, newMongoCodecRegistry };
 //# sourceMappingURL=index.d.mts.map

package/dist/index.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.mts","names":[],"sources":["../src/codecs.ts","../src/codec-registry.ts"],"sourcesContent":[],"mappings":";;;;KAGY,eAAA,GAAkB;UAEb,kEAEU,6BAA6B,2DAG9C,MAAU,IAAI,WAAS,OAAO;EAP5B,SAAA,MAAA,EAQO,SARQ;AAE3B;AAE2B,iBAOX,UAPW,CAAA,WAAA,MAAA,EAAA,wBAAA,SASM,eATN,EAAA,GAAA,SAAA,EAAA,EAAA,QAAA,OAAA,EAAA,MAAA,OAAA,CAAA,CAAA,MAAA,EAAA;EAA6B,MAAA,EAa9C,EAb8C;EAGpC,WAAA,EAAA,SAAA,MAAA,EAAA;EAAI,MAAA,CAAA,EAYb,SAZa;EAAS,MAAA,EAAA,CAAA,KAAA,EAaf,GAbe,EAAA,GAaP,KAbO;EAAO,MAAA,EAAA,CAAA,IAAA,EAcvB,KAduB,EAAA,GAcb,GAda;EACrB,UAAA,CAAA,EAAA,CAAA,KAAA,EAcI,GAdJ,EAAA,GAcY,SAdZ;EADT,UAAA,CAAA,EAAA,CAAA,IAAA,EAgBY,SAhBZ,EAAA,GAgB0B,GAhB1B;EAAS,gBAAA,CAAA,EAAA,CAAA,UAAA,EAiBe,MAjBf,CAAA,MAAA,EAAA,OAAA,CAAA,EAAA,GAAA,MAAA,GAAA,SAAA;AAInB,CAAA,CAAA,EAcI,UAdY,CAcD,EAdW,EAcP,SAdO,EAcE,KAdF,EAcS,GAdT,CAAA;AAEO,KA6BrB,gBA7BqB,CAAA,CAAA,CAAA,GA8B/B,CA9B+B,SA8BrB,UA9BqB,CAAA,MAAA,EAAA,SA8BO,eA9BP,EAAA,EAAA,OAAA,EAAA,KAAA,IAAA,CAAA,GAAA,GAAA,GAAA,KAAA;AAIvB,KA4BE,gBA5BF,CAAA,CAAA,CAAA,GA6BR,CA7BQ,SA6BE,UA7BF,CAAA,MAAA,EAAA,KAAA,QAAA,CAAA,GA6BsC,OA7BtC,CAAA,MAAA,CAAA,GA6BwD,eA7BxD,GAAA,KAAA;;;UClBO,kBAAA;mBACE;;EDAP,QAAA,CAAA,KAAA,ECEM,UDFS,CAAA,MAAG,CAAA,CAAA,EAAA,IAAU;EAEvB,CAAA,MAAA,CAAA,QAAU,GAAA,ECCJ,QDDI,CCCK,UDDL,CAAA,MAAA,CAAA,CAAA;EAEA,MAAA,EAAA,ECAf,gBDAe,CCAE,UDAF,CAAA,MAAA,CAAA,CAAA;;AAGP,iBC2BJ,wBAAA,CAAA,CD3BI,EC2BwB,kBD3BxB"}
+{"version":3,"file":"index.d.mts","names":[],"sources":["../src/codecs.ts","../src/codec-registry.ts"],"mappings":";;;;KAOY,eAAA,GAAkB,UAAA;;AAA9B;;;;UAOiB,UAAA,sDAEU,eAAA,cAA6B,eAAA,+CAG9C,KAAA,CAAU,EAAA,EAAI,OAAA,EAAS,KAAA,EAAO,MAAA;;;;KAKnC,mBAAA,YAA+B,MAAA,WAAiB,SAAA;EAE/C,UAAA,IAAc,KAAA,EAAO,MAAA,KAAW,SAAA;EAChC,UAAA,IAAc,IAAA,EAAM,SAAA,KAAc,MAAA;AAAA;EAGlC,UAAA,GAAa,KAAA,EAAO,MAAA,KAAW,SAAA;EAC/B,UAAA,GAAa,IAAA,EAAM,SAAA,KAAc,MAAA;AAAA;;;;;;;;;;iBAYvB,UAAA,mDAEiB,eAAA,oDAAA,CAI/B,MAAA;EACE,MAAA,EAAQ,EAAA;EACR,MAAA,GAAS,KAAA,EAAO,MAAA,EAAQ,GAAA,EAAK,gBAAA,KAAqB,KAAA,GAAQ,OAAA,CAAQ,KAAA;EAClE,MAAA,GAAS,IAAA,EAAM,KAAA,EAAO,GAAA,EAAK,gBAAA,KAAqB,MAAA,GAAS,OAAA,CAAQ,MAAA;AAAA,IAC/D,mBAAA,CAAoB,MAAA,IACvB,UAAA,CAAW,EAAA,EAAI,OAAA,EAAS,KAAA,EAAO,MAAA;AAnCgB;AAAA,KAkEtC,eAAA,MACV,CAAA,SAAU,UAAA,kBAA4B,eAAA,6BAA4C,MAAA;;;UCpFnE,kBAAA;EACf,GAAA,CAAI,EAAA,WAAa,UAAA;EACjB,GAAA,CAAI,EAAA;EACJ,QAAA,CAAS,KAAA,EAAO,UAAA;EAAA,CACf,MAAA,CAAO,QAAP,KAAoB,QAAA,CAAS,UAAA;EAC9B,MAAA,IAAU,gBAAA,CAAiB,UAAA;AAAA;;ADO7B;;iBCDgB,qBAAA,CAAA,GAAyB,kBAAA"}

package/dist/index.mjs

@@ -1,44 +1,59 @@
 //#region src/codec-registry.ts
-var MongoCodecRegistryImpl = class {
-	#byId = /* @__PURE__ */ new Map();
-	get(id) {
-		return this.#byId.get(id);
-	}
-	has(id) {
-		return this.#byId.has(id);
-	}
-	register(codec) {
-		if (this.#byId.has(codec.id)) throw new Error(`Codec with ID '${codec.id}' is already registered`);
-		this.#byId.set(codec.id, codec);
-	}
-	*[Symbol.iterator]() {
-		yield* this.#byId.values();
-	}
-	values() {
-		return this.#byId.values();
-	}
-};
-function createMongoCodecRegistry() {
-	return new MongoCodecRegistryImpl();
+/**
+* Create a new Mongo codec registry. Inline object literal — no class implementation; the registry is just a private `Map` with the documented surface methods.
+*/
+function newMongoCodecRegistry() {
+	const byId = /* @__PURE__ */ new Map();
+	return {
+		get: (id) => byId.get(id),
+		has: (id) => byId.has(id),
+		register: (codec) => {
+			if (byId.has(codec.id)) throw new Error(`Codec with ID '${codec.id}' is already registered`);
+			byId.set(codec.id, codec);
+		},
+		values: () => byId.values(),
+		[Symbol.iterator]: function* () {
+			yield* byId.values();
+		}
+	};
 }
-
 //#endregion
 //#region src/codecs.ts
+/**
+* Construct a Mongo codec from author functions.
+*
+* Author `encode` and `decode` as sync or async functions; the factory produces a {@link MongoCodec} whose query-time methods follow the boundary contract documented on the framework {@link BaseCodec}. Authors receive a second `ctx` options argument carrying the per-call context; ignore it if you don't need it.
+*
+* Both `encode` and `decode` are required so `TInput` and `TWire` are always covered by an explicit author function — the factory installs no identity fallback. `encodeJson` and `decodeJson` default to identity **only when `TInput` is assignable to `JsonValue`**; otherwise both are required so the contract artifact stays JSON-safe.
+*
+* Codec-id-keyed static metadata (`traits`, `targetTypes`, `renderOutputType`) lives on the unified `CodecDescriptor` rather than on the codec instance itself (TML-2357).
+*/
 function mongoCodec(config) {
-	const traits = config.traits ? Object.freeze([...config.traits]) : Object.freeze([]);
 	const identity = (v) => v;
+	const userEncode = config.encode;
+	const userDecode = config.decode;
+	const widenedConfig = config;
 	return {
 		id: config.typeId,
-		targetTypes: config.targetTypes,
-		traits,
-		decode: config.decode,
-		encode: config.encode,
-		encodeJson: config.encodeJson ?? identity,
-		decodeJson: config.decodeJson ?? identity,
-		...config.renderOutputType ? { renderOutputType: config.renderOutputType } : {}
+		encode: (value, ctx) => {
+			try {
+				return Promise.resolve(userEncode(value, ctx));
+			} catch (error) {
+				return Promise.reject(error);
+			}
+		},
+		decode: (wire, ctx) => {
+			try {
+				return Promise.resolve(userDecode(wire, ctx));
+			} catch (error) {
+				return Promise.reject(error);
+			}
+		},
+		encodeJson: widenedConfig.encodeJson ?? identity,
+		decodeJson: widenedConfig.decodeJson ?? identity
 	};
 }
-
 //#endregion
-export { createMongoCodecRegistry, mongoCodec };
+export { mongoCodec, newMongoCodecRegistry };
+
 //# sourceMappingURL=index.mjs.map

package/dist/index.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"index.mjs","names":["#byId"],"sources":["../src/codec-registry.ts","../src/codecs.ts"],"sourcesContent":["import type { MongoCodec } from './codecs';\n\nexport interface MongoCodecRegistry {\n  get(id: string): MongoCodec<string> | undefined;\n  has(id: string): boolean;\n  register(codec: MongoCodec<string>): void;\n  [Symbol.iterator](): Iterator<MongoCodec<string>>;\n  values(): IterableIterator<MongoCodec<string>>;\n}\n\nclass MongoCodecRegistryImpl implements MongoCodecRegistry {\n  readonly #byId = new Map<string, MongoCodec<string>>();\n\n  get(id: string): MongoCodec<string> | undefined {\n    return this.#byId.get(id);\n  }\n\n  has(id: string): boolean {\n    return this.#byId.has(id);\n  }\n\n  register(codec: MongoCodec<string>): void {\n    if (this.#byId.has(codec.id)) {\n      throw new Error(`Codec with ID '${codec.id}' is already registered`);\n    }\n    this.#byId.set(codec.id, codec);\n  }\n\n  *[Symbol.iterator](): Iterator<MongoCodec<string>> {\n    yield* this.#byId.values();\n  }\n\n  values(): IterableIterator<MongoCodec<string>> {\n    return this.#byId.values();\n  }\n}\n\nexport function createMongoCodecRegistry(): MongoCodecRegistry {\n  return new MongoCodecRegistryImpl();\n}\n","import type { JsonValue } from '@prisma-next/contract/types';\nimport type { Codec as BaseCodec, CodecTrait } from '@prisma-next/framework-components/codec';\n\nexport type MongoCodecTrait = CodecTrait;\n\nexport interface MongoCodec<\n  Id extends string = string,\n  TTraits extends readonly MongoCodecTrait[] = readonly MongoCodecTrait[],\n  TWire = unknown,\n  TJs = unknown,\n> extends BaseCodec<Id, TTraits, TWire, TJs> {\n  readonly traits: TTraits;\n}\n\nexport function mongoCodec<\n  Id extends string,\n  const TTraits extends readonly MongoCodecTrait[] = readonly [],\n  TWire = unknown,\n  TJs = unknown,\n>(config: {\n  typeId: Id;\n  targetTypes: readonly string[];\n  traits?: TTraits;\n  encode: (value: TJs) => TWire;\n  decode: (wire: TWire) => TJs;\n  encodeJson?: (value: TJs) => JsonValue;\n  decodeJson?: (json: JsonValue) => TJs;\n  renderOutputType?: (typeParams: Record<string, unknown>) => string | undefined;\n}): MongoCodec<Id, TTraits, TWire, TJs> {\n  const traits = config.traits\n    ? (Object.freeze([...config.traits]) as TTraits)\n    : (Object.freeze([] as const) as unknown as TTraits);\n  const identity = (v: unknown) => v;\n  return {\n    id: config.typeId,\n    targetTypes: config.targetTypes,\n    traits,\n    decode: config.decode,\n    encode: config.encode,\n    encodeJson: (config.encodeJson ?? identity) as (value: TJs) => JsonValue,\n    decodeJson: (config.decodeJson ?? identity) as (json: JsonValue) => TJs,\n    ...(config.renderOutputType ? { renderOutputType: config.renderOutputType } : {}),\n  };\n}\n\nexport type MongoCodecJsType<T> =\n  T extends MongoCodec<string, readonly MongoCodecTrait[], unknown, infer TJs> ? TJs : never;\n\nexport type MongoCodecTraits<T> =\n  T extends MongoCodec<string, infer TTraits> ? TTraits[number] & MongoCodecTrait : never;\n"],"mappings":";AAUA,IAAM,yBAAN,MAA2D;CACzD,CAASA,uBAAQ,IAAI,KAAiC;CAEtD,IAAI,IAA4C;AAC9C,SAAO,MAAKA,KAAM,IAAI,GAAG;;CAG3B,IAAI,IAAqB;AACvB,SAAO,MAAKA,KAAM,IAAI,GAAG;;CAG3B,SAAS,OAAiC;AACxC,MAAI,MAAKA,KAAM,IAAI,MAAM,GAAG,CAC1B,OAAM,IAAI,MAAM,kBAAkB,MAAM,GAAG,yBAAyB;AAEtE,QAAKA,KAAM,IAAI,MAAM,IAAI,MAAM;;CAGjC,EAAE,OAAO,YAA0C;AACjD,SAAO,MAAKA,KAAM,QAAQ;;CAG5B,SAA+C;AAC7C,SAAO,MAAKA,KAAM,QAAQ;;;AAI9B,SAAgB,2BAA+C;AAC7D,QAAO,IAAI,wBAAwB;;;;;ACxBrC,SAAgB,WAKd,QASsC;CACtC,MAAM,SAAS,OAAO,SACjB,OAAO,OAAO,CAAC,GAAG,OAAO,OAAO,CAAC,GACjC,OAAO,OAAO,EAAE,CAAU;CAC/B,MAAM,YAAY,MAAe;AACjC,QAAO;EACL,IAAI,OAAO;EACX,aAAa,OAAO;EACpB;EACA,QAAQ,OAAO;EACf,QAAQ,OAAO;EACf,YAAa,OAAO,cAAc;EAClC,YAAa,OAAO,cAAc;EAClC,GAAI,OAAO,mBAAmB,EAAE,kBAAkB,OAAO,kBAAkB,GAAG,EAAE;EACjF"}
+{"version":3,"file":"index.mjs","names":[],"sources":["../src/codec-registry.ts","../src/codecs.ts"],"sourcesContent":["import type { MongoCodec } from './codecs';\n\nexport interface MongoCodecRegistry {\n  get(id: string): MongoCodec<string> | undefined;\n  has(id: string): boolean;\n  register(codec: MongoCodec<string>): void;\n  [Symbol.iterator](): Iterator<MongoCodec<string>>;\n  values(): IterableIterator<MongoCodec<string>>;\n}\n\n/**\n * Create a new Mongo codec registry. Inline object literal — no class implementation; the registry is just a private `Map` with the documented surface methods.\n */\nexport function newMongoCodecRegistry(): MongoCodecRegistry {\n  const byId = new Map<string, MongoCodec<string>>();\n  return {\n    get: (id) => byId.get(id),\n    has: (id) => byId.has(id),\n    register: (codec) => {\n      if (byId.has(codec.id)) {\n        throw new Error(`Codec with ID '${codec.id}' is already registered`);\n      }\n      byId.set(codec.id, codec);\n    },\n    values: () => byId.values(),\n    [Symbol.iterator]: function* () {\n      yield* byId.values();\n    },\n  };\n}\n","import type { JsonValue } from '@prisma-next/contract/types';\nimport type {\n  Codec as BaseCodec,\n  CodecCallContext,\n  CodecTrait,\n} from '@prisma-next/framework-components/codec';\n\nexport type MongoCodecTrait = CodecTrait;\n\n/**\n * A codec for the Mongo target. Translates between an application value and the BSON-shaped wire form the Mongo driver exchanges, and between an application value and the JSON form stored in contract artifacts.\n *\n * Same shape as the framework codec base — see `Codec` in `@prisma-next/framework-components/codec` for the contract. Codec-id-keyed static metadata (`traits`, `targetTypes`, `renderOutputType`) lives on the unified {@link import('@prisma-next/framework-components/codec').CodecDescriptor}; Mongo's full migration to descriptor-side registration is tracked under TML-2324.\n */\nexport interface MongoCodec<\n  Id extends string = string,\n  TTraits extends readonly MongoCodecTrait[] = readonly MongoCodecTrait[],\n  TWire = unknown,\n  TInput = unknown,\n> extends BaseCodec<Id, TTraits, TWire, TInput> {}\n\n/**\n * Conditional bundle for `encodeJson`/`decodeJson`: when `TInput` is structurally assignable to `JsonValue` the identity defaults are sound and both fields are optional; otherwise both fields are required so an author cannot silently produce a non-JSON-safe contract artifact.\n */\ntype JsonRoundTripConfig<TInput> = [TInput] extends [JsonValue]\n  ? {\n      encodeJson?: (value: TInput) => JsonValue;\n      decodeJson?: (json: JsonValue) => TInput;\n    }\n  : {\n      encodeJson: (value: TInput) => JsonValue;\n      decodeJson: (json: JsonValue) => TInput;\n    };\n\n/**\n * Construct a Mongo codec from author functions.\n *\n * Author `encode` and `decode` as sync or async functions; the factory produces a {@link MongoCodec} whose query-time methods follow the boundary contract documented on the framework {@link BaseCodec}. Authors receive a second `ctx` options argument carrying the per-call context; ignore it if you don't need it.\n *\n * Both `encode` and `decode` are required so `TInput` and `TWire` are always covered by an explicit author function — the factory installs no identity fallback. `encodeJson` and `decodeJson` default to identity **only when `TInput` is assignable to `JsonValue`**; otherwise both are required so the contract artifact stays JSON-safe.\n *\n * Codec-id-keyed static metadata (`traits`, `targetTypes`, `renderOutputType`) lives on the unified `CodecDescriptor` rather than on the codec instance itself (TML-2357).\n */\nexport function mongoCodec<\n  Id extends string,\n  const TTraits extends readonly MongoCodecTrait[] = readonly [],\n  TWire = unknown,\n  TInput = unknown,\n>(\n  config: {\n    typeId: Id;\n    encode: (value: TInput, ctx: CodecCallContext) => TWire | Promise<TWire>;\n    decode: (wire: TWire, ctx: CodecCallContext) => TInput | Promise<TInput>;\n  } & JsonRoundTripConfig<TInput>,\n): MongoCodec<Id, TTraits, TWire, TInput> {\n  const identity = (v: unknown) => v;\n  // The runtime allocates one `CodecCallContext` per `runtime.execute()` call (no caller-supplied `signal` produces `{}` instead of `undefined`) and threads it as a non-optional reference to every codec call. The author surface keeps the second parameter optional so single-arg `(value) => …` authors continue to satisfy the signature via TypeScript's bivariance for trailing parameters.\n  const userEncode = config.encode;\n  const userDecode = config.decode;\n  const widenedConfig = config as {\n    encodeJson?: (value: TInput) => JsonValue;\n    decodeJson?: (json: JsonValue) => TInput;\n  };\n  return {\n    id: config.typeId,\n    encode: (value, ctx) => {\n      try {\n        return Promise.resolve(userEncode(value, ctx));\n      } catch (error) {\n        return Promise.reject(error);\n      }\n    },\n    decode: (wire, ctx) => {\n      try {\n        return Promise.resolve(userDecode(wire, ctx));\n      } catch (error) {\n        return Promise.reject(error);\n      }\n    },\n    encodeJson: (widenedConfig.encodeJson ?? identity) as (value: TInput) => JsonValue,\n    decodeJson: (widenedConfig.decodeJson ?? identity) as (json: JsonValue) => TInput,\n  };\n}\n\n/** Extract the JS application type carried by a Mongo codec — used both as `encode` input and as `decode` output. */\nexport type MongoCodecInput<T> =\n  T extends MongoCodec<string, readonly MongoCodecTrait[], unknown, infer TInput> ? TInput : never;\n"],"mappings":";;;;AAaA,SAAgB,wBAA4C;CAC1D,MAAM,uBAAO,IAAI,KAAiC;CAClD,OAAO;EACL,MAAM,OAAO,KAAK,IAAI,GAAG;EACzB,MAAM,OAAO,KAAK,IAAI,GAAG;EACzB,WAAW,UAAU;GACnB,IAAI,KAAK,IAAI,MAAM,GAAG,EACpB,MAAM,IAAI,MAAM,kBAAkB,MAAM,GAAG,yBAAyB;GAEtE,KAAK,IAAI,MAAM,IAAI,MAAM;;EAE3B,cAAc,KAAK,QAAQ;EAC3B,CAAC,OAAO,WAAW,aAAa;GAC9B,OAAO,KAAK,QAAQ;;EAEvB;;;;;;;;;;;;;ACeH,SAAgB,WAMd,QAKwC;CACxC,MAAM,YAAY,MAAe;CAEjC,MAAM,aAAa,OAAO;CAC1B,MAAM,aAAa,OAAO;CAC1B,MAAM,gBAAgB;CAItB,OAAO;EACL,IAAI,OAAO;EACX,SAAS,OAAO,QAAQ;GACtB,IAAI;IACF,OAAO,QAAQ,QAAQ,WAAW,OAAO,IAAI,CAAC;YACvC,OAAO;IACd,OAAO,QAAQ,OAAO,MAAM;;;EAGhC,SAAS,MAAM,QAAQ;GACrB,IAAI;IACF,OAAO,QAAQ,QAAQ,WAAW,MAAM,IAAI,CAAC;YACtC,OAAO;IACd,OAAO,QAAQ,OAAO,MAAM;;;EAGhC,YAAa,cAAc,cAAc;EACzC,YAAa,cAAc,cAAc;EAC1C"}

package/package.json

@@ -1,17 +1,19 @@
 {
   "name": "@prisma-next/mongo-codec",
-  "version": "0.5.0-dev.7",
+  "version": "0.5.0-dev.70",
+  "license": "Apache-2.0",
   "type": "module",
   "sideEffects": false,
   "description": "Codec interface and registry for Prisma Next MongoDB support",
   "dependencies": {
-    "@prisma-next/contract": "0.5.0-dev.7",
-    "@prisma-next/framework-components": "0.5.0-dev.7"
+    "@prisma-next/contract": "0.5.0-dev.70",
+    "@prisma-next/utils": "0.5.0-dev.70",
+    "@prisma-next/framework-components": "0.5.0-dev.70"
   },
   "devDependencies": {
-    "tsdown": "0.18.4",
+    "tsdown": "0.22.0",
     "typescript": "5.9.3",
-    "vitest": "4.0.17",
+    "vitest": "4.1.5",
     "@prisma-next/test-utils": "0.0.1",
     "@prisma-next/tsconfig": "0.0.0",
     "@prisma-next/tsdown": "0.0.0"

package/src/codec-registry.ts

@@ -8,33 +8,23 @@ export interface MongoCodecRegistry {
   values(): IterableIterator<MongoCodec<string>>;
 }
 
-class MongoCodecRegistryImpl implements MongoCodecRegistry {
-  readonly #byId = new Map<string, MongoCodec<string>>();
-
-  get(id: string): MongoCodec<string> | undefined {
-    return this.#byId.get(id);
-  }
-
-  has(id: string): boolean {
-    return this.#byId.has(id);
-  }
-
-  register(codec: MongoCodec<string>): void {
-    if (this.#byId.has(codec.id)) {
-      throw new Error(`Codec with ID '${codec.id}' is already registered`);
-    }
-    this.#byId.set(codec.id, codec);
-  }
-
-  *[Symbol.iterator](): Iterator<MongoCodec<string>> {
-    yield* this.#byId.values();
-  }
-
-  values(): IterableIterator<MongoCodec<string>> {
-    return this.#byId.values();
-  }
-}
-
-export function createMongoCodecRegistry(): MongoCodecRegistry {
-  return new MongoCodecRegistryImpl();
+/**
+ * Create a new Mongo codec registry. Inline object literal — no class implementation; the registry is just a private `Map` with the documented surface methods.
+ */
+export function newMongoCodecRegistry(): MongoCodecRegistry {
+  const byId = new Map<string, MongoCodec<string>>();
+  return {
+    get: (id) => byId.get(id),
+    has: (id) => byId.has(id),
+    register: (codec) => {
+      if (byId.has(codec.id)) {
+        throw new Error(`Codec with ID '${codec.id}' is already registered`);
+      }
+      byId.set(codec.id, codec);
+    },
+    values: () => byId.values(),
+    [Symbol.iterator]: function* () {
+      yield* byId.values();
+    },
+  };
 }

package/src/codecs.ts

@@ -1,50 +1,87 @@
 import type { JsonValue } from '@prisma-next/contract/types';
-import type { Codec as BaseCodec, CodecTrait } from '@prisma-next/framework-components/codec';
+import type {
+  Codec as BaseCodec,
+  CodecCallContext,
+  CodecTrait,
+} from '@prisma-next/framework-components/codec';
 
 export type MongoCodecTrait = CodecTrait;
 
+/**
+ * A codec for the Mongo target. Translates between an application value and the BSON-shaped wire form the Mongo driver exchanges, and between an application value and the JSON form stored in contract artifacts.
+ *
+ * Same shape as the framework codec base — see `Codec` in `@prisma-next/framework-components/codec` for the contract. Codec-id-keyed static metadata (`traits`, `targetTypes`, `renderOutputType`) lives on the unified {@link import('@prisma-next/framework-components/codec').CodecDescriptor}; Mongo's full migration to descriptor-side registration is tracked under TML-2324.
+ */
 export interface MongoCodec<
   Id extends string = string,
   TTraits extends readonly MongoCodecTrait[] = readonly MongoCodecTrait[],
   TWire = unknown,
-  TJs = unknown,
-> extends BaseCodec<Id, TTraits, TWire, TJs> {
-  readonly traits: TTraits;
-}
+  TInput = unknown,
+> extends BaseCodec<Id, TTraits, TWire, TInput> {}
+
+/**
+ * Conditional bundle for `encodeJson`/`decodeJson`: when `TInput` is structurally assignable to `JsonValue` the identity defaults are sound and both fields are optional; otherwise both fields are required so an author cannot silently produce a non-JSON-safe contract artifact.
+ */
+type JsonRoundTripConfig<TInput> = [TInput] extends [JsonValue]
+  ? {
+      encodeJson?: (value: TInput) => JsonValue;
+      decodeJson?: (json: JsonValue) => TInput;
+    }
+  : {
+      encodeJson: (value: TInput) => JsonValue;
+      decodeJson: (json: JsonValue) => TInput;
+    };
 
+/**
+ * Construct a Mongo codec from author functions.
+ *
+ * Author `encode` and `decode` as sync or async functions; the factory produces a {@link MongoCodec} whose query-time methods follow the boundary contract documented on the framework {@link BaseCodec}. Authors receive a second `ctx` options argument carrying the per-call context; ignore it if you don't need it.
+ *
+ * Both `encode` and `decode` are required so `TInput` and `TWire` are always covered by an explicit author function — the factory installs no identity fallback. `encodeJson` and `decodeJson` default to identity **only when `TInput` is assignable to `JsonValue`**; otherwise both are required so the contract artifact stays JSON-safe.
+ *
+ * Codec-id-keyed static metadata (`traits`, `targetTypes`, `renderOutputType`) lives on the unified `CodecDescriptor` rather than on the codec instance itself (TML-2357).
+ */
 export function mongoCodec<
   Id extends string,
   const TTraits extends readonly MongoCodecTrait[] = readonly [],
   TWire = unknown,
-  TJs = unknown,
->(config: {
-  typeId: Id;
-  targetTypes: readonly string[];
-  traits?: TTraits;
-  encode: (value: TJs) => TWire;
-  decode: (wire: TWire) => TJs;
-  encodeJson?: (value: TJs) => JsonValue;
-  decodeJson?: (json: JsonValue) => TJs;
-  renderOutputType?: (typeParams: Record<string, unknown>) => string | undefined;
-}): MongoCodec<Id, TTraits, TWire, TJs> {
-  const traits = config.traits
-    ? (Object.freeze([...config.traits]) as TTraits)
-    : (Object.freeze([] as const) as unknown as TTraits);
+  TInput = unknown,
+>(
+  config: {
+    typeId: Id;
+    encode: (value: TInput, ctx: CodecCallContext) => TWire | Promise<TWire>;
+    decode: (wire: TWire, ctx: CodecCallContext) => TInput | Promise<TInput>;
+  } & JsonRoundTripConfig<TInput>,
+): MongoCodec<Id, TTraits, TWire, TInput> {
   const identity = (v: unknown) => v;
+  // The runtime allocates one `CodecCallContext` per `runtime.execute()` call (no caller-supplied `signal` produces `{}` instead of `undefined`) and threads it as a non-optional reference to every codec call. The author surface keeps the second parameter optional so single-arg `(value) => …` authors continue to satisfy the signature via TypeScript's bivariance for trailing parameters.
+  const userEncode = config.encode;
+  const userDecode = config.decode;
+  const widenedConfig = config as {
+    encodeJson?: (value: TInput) => JsonValue;
+    decodeJson?: (json: JsonValue) => TInput;
+  };
   return {
     id: config.typeId,
-    targetTypes: config.targetTypes,
-    traits,
-    decode: config.decode,
-    encode: config.encode,
-    encodeJson: (config.encodeJson ?? identity) as (value: TJs) => JsonValue,
-    decodeJson: (config.decodeJson ?? identity) as (json: JsonValue) => TJs,
-    ...(config.renderOutputType ? { renderOutputType: config.renderOutputType } : {}),
+    encode: (value, ctx) => {
+      try {
+        return Promise.resolve(userEncode(value, ctx));
+      } catch (error) {
+        return Promise.reject(error);
+      }
+    },
+    decode: (wire, ctx) => {
+      try {
+        return Promise.resolve(userDecode(wire, ctx));
+      } catch (error) {
+        return Promise.reject(error);
+      }
+    },
+    encodeJson: (widenedConfig.encodeJson ?? identity) as (value: TInput) => JsonValue,
+    decodeJson: (widenedConfig.decodeJson ?? identity) as (json: JsonValue) => TInput,
   };
 }
 
-export type MongoCodecJsType<T> =
-  T extends MongoCodec<string, readonly MongoCodecTrait[], unknown, infer TJs> ? TJs : never;
-
-export type MongoCodecTraits<T> =
-  T extends MongoCodec<string, infer TTraits> ? TTraits[number] & MongoCodecTrait : never;
+/** Extract the JS application type carried by a Mongo codec — used both as `encode` input and as `decode` output. */
+export type MongoCodecInput<T> =
+  T extends MongoCodec<string, readonly MongoCodecTrait[], unknown, infer TInput> ? TInput : never;

package/src/exports/index.ts

@@ -1,4 +1,4 @@
 export type { MongoCodecRegistry } from '../codec-registry';
-export { createMongoCodecRegistry } from '../codec-registry';
-export type { MongoCodec, MongoCodecJsType, MongoCodecTrait, MongoCodecTraits } from '../codecs';
+export { newMongoCodecRegistry } from '../codec-registry';
+export type { MongoCodec, MongoCodecInput, MongoCodecTrait } from '../codecs';
 export { mongoCodec } from '../codecs';