@prisma-next/sql-relational-core 0.5.0-dev.7 → 0.5.0-dev.9

package/README.md

@@ -91,6 +91,36 @@ flowchart TD
 - Defines `SqlQueryPlan<Row>` interface for SQL query plans produced by lanes before lowering
 - Provides `augmentDescriptorWithColumnMeta(descriptors, columnMeta)` helper to update ParamDescriptor with `codecId` and `nativeType` from column metadata
 
+### Codec Factory (`ast/codec-types.ts` via `exports/ast.ts`)
+
+- `codec({...})` is the SQL-side factory for constructing `Codec` values. It accepts `encode` and `decode` author functions in **either sync or async form** with no annotations; the constructed codec exposes Promise-returning query-time methods regardless of which form was used. `encode` may be omitted (identity default); `decode` is required.
+- Build-time methods (`encodeJson`, `decodeJson`, `renderOutputType?`) are synchronous and pass through unchanged.
+- This is the only public entry point for SQL codecs. There is no separate `codecSync` / `codecAsync` factory and no per-codec async marker on the resulting value.
+
+```ts
+// Sync authoring:
+const textCodec = codec({
+  typeId: 'pg/text@1',
+  targetTypes: ['text'],
+  encode: (v: string) => v,
+  decode: (w: string) => w,
+  encodeJson: (v: string) => v,
+  decodeJson: (j: string) => j as string,
+});
+
+// Async authoring (e.g. KMS-backed encryption): same factory, same shape.
+const secretCodec = codec({
+  typeId: 'pg/secret@1',
+  targetTypes: ['text'],
+  encode: async (v: string) => encrypt(v, await getKey()),
+  decode: async (w: string) => decrypt(w, await getKey()),
+  encodeJson: (v: string) => v,
+  decodeJson: (j: string) => j as string,
+});
+```
+
+See [ADR 204 — Single-Path Async Codec Runtime](../../../../docs/architecture%20docs/adrs/ADR%20204%20-%20Single-Path%20Async%20Codec%20Runtime.md).
+
 ### AST Surface (`ast/*` via `exports/ast.ts`)
 - Query roots: `SelectAst`, `InsertAst`, `UpdateAst`, `DeleteAst`
 - Expressions: `ColumnRef`, `ParamRef`, `LiteralExpr`, `OperationExpr`, `ListExpression`

package/dist/{codec-types-DcEITed4.d.mts → codec-types-B2Xdq0Wr.d.mts}

@@ -41,13 +41,15 @@ interface CodecMeta {
   };
 }
 /**
- * SQL codec interface — extends the framework base with SQL-specific fields.
+ * SQL codec — extends the framework codec base with SQL-specific metadata:
+ * driver-native type info (`meta.db.sql.<dialect>.nativeType`) and an
+ * optional parameterized-codec descriptor (`paramsSchema` + `init`) for
+ * codecs that require type-parameter validation (e.g. `pg/vector@1`).
  *
- * Codecs are pure, synchronous functions with no side effects or IO.
- * They provide deterministic conversion between database wire types and JS values,
- * and between JS values and contract JSON.
+ * See `Codec` in `@prisma-next/framework-components/codec` for the codec
+ * contract that this interface extends.
  */
-interface Codec$1<Id$1 extends string = string, TTraits$1 extends readonly CodecTrait[] = readonly CodecTrait[], TWire = unknown, TJs = unknown, TParams = Record<string, unknown>, THelper = unknown> extends Codec<Id$1, TTraits$1, TWire, TJs> {
+interface Codec$1<Id$1 extends string = string, TTraits$1 extends readonly CodecTrait[] = readonly CodecTrait[], TWire = unknown, TInput = unknown, TParams = Record<string, unknown>, THelper = unknown> extends Codec<Id$1, TTraits$1, TWire, TInput> {
   readonly meta?: CodecMeta;
   readonly paramsSchema?: Type<TParams>;
   readonly init?: (params: TParams) => THelper;
@@ -74,37 +76,58 @@ interface CodecRegistry {
   values(): IterableIterator<Codec$1<string>>;
 }
 /**
- * Codec factory - creates a codec with typeId and encode/decode functions.
- * Provides identity defaults for encodeJson/decodeJson when not supplied.
+ * 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.
  */
-declare function codec<Id$1 extends string, const TTraits$1 extends readonly CodecTrait[], TWire, TJs, TParams = Record<string, unknown>, THelper = unknown>(config: {
+type JsonRoundTripConfig<TInput> = [TInput] extends [JsonValue] ? {
+  encodeJson?: (value: TInput) => JsonValue;
+  decodeJson?: (json: JsonValue) => TInput;
+} : {
+  encodeJson: (value: TInput) => JsonValue;
+  decodeJson: (json: JsonValue) => TInput;
+};
+/**
+ * Construct a SQL codec from author functions and optional metadata.
+ *
+ * Author `encode` and `decode` as sync or async functions; the factory
+ * produces a {@link Codec} whose query-time methods follow the boundary
+ * contract documented on `Codec`.
+ *
+ * `encode` is optional — when omitted, an identity default is installed
+ * (declaring "the input value already is the wire value", so `TInput` and
+ * `TWire` are interchangeable for that codec). `decode` is always
+ * required. `encodeJson` and `decodeJson` default to identity **only when
+ * `TInput` is assignable to `JsonValue`**; otherwise both are required
+ * so the contract artifact stays JSON-safe.
+ */
+declare function codec<Id$1 extends string, const TTraits$1 extends readonly CodecTrait[] = readonly [], TWire = unknown, TInput = unknown, TParams = Record<string, unknown>, THelper = unknown>(config: {
   typeId: Id$1;
   targetTypes: readonly string[];
-  encode: (value: TJs) => TWire;
-  decode: (wire: TWire) => TJs;
-  encodeJson?: (value: TJs) => JsonValue;
-  decodeJson?: (json: JsonValue) => TJs;
+  encode?: (value: TInput) => TWire | Promise<TWire>;
+  decode: (wire: TWire) => TInput | Promise<TInput>;
   meta?: CodecMeta;
   paramsSchema?: Type<TParams>;
   init?: (params: TParams) => THelper;
   traits?: TTraits$1;
   renderOutputType?: (typeParams: Record<string, unknown>) => string | undefined;
-}): Codec$1<Id$1, TTraits$1, TWire, TJs, TParams, THelper>;
+} & JsonRoundTripConfig<TInput>): Codec$1<Id$1, TTraits$1, TWire, TInput, TParams, THelper>;
 /**
  * Type helpers to extract codec types.
  */
 type CodecId<T> = T extends Codec$1<infer Id> ? Id : T extends {
   readonly id: infer Id;
 } ? Id : never;
-type CodecInput<T> = T extends Codec$1<string, readonly CodecTrait[], unknown, infer JsT> ? JsT : never;
-type CodecOutput<T> = T extends Codec$1<string, readonly CodecTrait[], unknown, infer JsT> ? JsT : never;
+type CodecInput<T> = T extends Codec$1<string, readonly CodecTrait[], unknown, infer In> ? In : never;
 type CodecTraits<T> = T extends Codec$1<string, infer TTraits> ? TTraits[number] & CodecTrait : never;
 /**
  * Type helper to extract codec types from builder instance.
  */
 type ExtractCodecTypes<ScalarNames extends { readonly [K in keyof ScalarNames]: Codec$1<string> } = Record<never, never>> = { readonly [K in keyof ScalarNames as ScalarNames[K] extends Codec$1<infer Id> ? Id : never]: {
   readonly input: CodecInput<ScalarNames[K]>;
-  readonly output: CodecOutput<ScalarNames[K]>;
+  readonly output: CodecInput<ScalarNames[K]>;
   readonly traits: CodecTraits<ScalarNames[K]>;
 } };
 /**
@@ -126,8 +149,8 @@ interface CodecDefBuilder<ScalarNames extends { readonly [K in keyof ScalarNames
     readonly scalar: K;
     readonly codec: ScalarNames[K];
     readonly input: CodecInput<ScalarNames[K]>;
-    readonly output: CodecOutput<ScalarNames[K]>;
-    readonly jsType: CodecOutput<ScalarNames[K]>;
+    readonly output: CodecInput<ScalarNames[K]>;
+    readonly jsType: CodecInput<ScalarNames[K]>;
   } };
   readonly dataTypes: { readonly [K in keyof ScalarNames]: { readonly [Id in keyof ExtractCodecTypes<Record<K, ScalarNames[K]>>]: Id }[keyof ExtractCodecTypes<Record<K, ScalarNames[K]>>] };
 }
@@ -140,5 +163,5 @@ declare function createCodecRegistry(): CodecRegistry;
  */
 declare function defineCodecs(): CodecDefBuilder<Record<never, never>>;
 //#endregion
-export { CodecMeta as a, CodecRegistry as c, ExtractCodecTypes as d, ExtractDataTypes as f, defineCodecs as h, CodecInput as i, CodecTrait$1 as l, createCodecRegistry as m, CodecDefBuilder as n, CodecOutput as o, codec as p, CodecId as r, CodecParamsDescriptor as s, Codec$1 as t, CodecTraits as u };
-//# sourceMappingURL=codec-types-DcEITed4.d.mts.map
+export { CodecMeta as a, CodecTrait$1 as c, ExtractDataTypes as d, codec as f, CodecInput as i, CodecTraits as l, defineCodecs as m, CodecDefBuilder as n, CodecParamsDescriptor as o, createCodecRegistry as p, CodecId as r, CodecRegistry as s, Codec$1 as t, ExtractCodecTypes as u };
+//# sourceMappingURL=codec-types-B2Xdq0Wr.d.mts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"codec-types-B2Xdq0Wr.d.mts","names":[],"sources":["../src/ast/codec-types.ts"],"sourcesContent":[],"mappings":";;;;;;;;AAeA;;;;;;AAe8C,UAf7B,qBAe6B,CAAA,UAfG,MAeH,CAAA,MAAA,EAAA,OAAA,CAAA,EAAA,UAAA,OAAA,CAAA,CAAA;EAO7B;EAmBA,SAAA,OAAK,EAAA,MAAA;EAEK;;;;EAKH,SAAA,YAAA,EAxCC,IAwCD,CAxCM,OAwCN,CAAA;EAAS;;;;;EAGN,SAAA,IAAA,CAAA,EAAA,CAAA,MAAA,EApCA,OAoCA,EAAA,GApCY,OAoCZ;;;;AAW3B;;AAGwC,UA3CvB,SAAA,CA2CuB;EACL,SAAA,EAAA,CAAA,EAAA;IACjB,SAAA,GAAA,CAAA,EAAA;MAEiB,SAAA,QAAA,CAAA,EAAA;QAEG,SAAA,UAAA,EAAA,MAAA;MACN,CAAA;IAAT,CAAA;EACM,CAAA;;;AAC5B;;;;;;;;AA2GoC,UA5IpB,OA4IoB,CAAA,aAAA,MAAA,GAAA,MAAA,EAAA,kBAAA,SA1IV,UA0IU,EAAA,GAAA,SA1Ic,UA0Id,EAAA,EAAA,QAAA,OAAA,EAAA,SAAA,OAAA,EAAA,UAvIzB,MAuIyB,CAAA,MAAA,EAAA,OAAA,CAAA,EAAA,UAAA,OAAA,CAAA,SArI3B,KAqI2B,CArIjB,IAqIiB,EArIb,SAqIa,EArIJ,KAqII,EArIG,MAqIH,CAAA,CAAA;EACZ,SAAA,IAAA,CAAA,EArIP,SAqIO;EAAc,SAAA,YAAA,CAAA,EApIb,IAoIa,CApIR,OAoIQ,CAAA;EAAM,SAAA,IAAA,CAAA,EAAA,CAAA,MAAA,EAnIlB,OAmIkB,EAAA,GAnIN,OAmIM;AAiB7C;;;;;;;;;AAY6B,UArJZ,aAAA,CAqJY;EAAiB,GAAA,CAAA,EAAA,EAAA,MAAA,CAAA,EApJ3B,OAoJ2B,CAAA,MAAA,CAAA,GAAA,SAAA;EAAR,GAAA,CAAA,EAAA,EAAA,MAAA,CAAA,EAAA,OAAA;EAC3B,WAAA,CAAA,MAAA,EAAA,MAAA,CAAA,EAAA,SAnJ6B,OAmJ7B,CAAA,MAAA,CAAA,EAAA;EACa,eAAA,CAAA,MAAA,EAAA,MAAA,CAAA,EAnJW,OAmJX,CAAA,MAAA,CAAA,GAAA,SAAA;EAAL,QAAA,CAAA,KAAA,EAlJD,OAkJC,CAAA,MAAA,CAAA,CAAA,EAAA,IAAA;EACC;EAAY,QAAA,CAAA,OAAA,EAAA,MAAA,EAAA,KAAA,EAjJG,UAiJH,CAAA,EAAA,OAAA;EACnB;EACuB,QAAA,CAAA,OAAA,EAAA,MAAA,CAAA,EAAA,SAjJE,UAiJF,EAAA;EACV,CAAA,MAAA,CAAA,QAAA,GAAA,EAjJH,QAiJG,CAjJM,OAiJN,CAAA,MAAA,CAAA,CAAA;EAApB,MAAA,EAAA,EAhJM,gBAgJN,CAhJuB,OAgJvB,CAAA,MAAA,CAAA,CAAA;;;;;;;;;AA+CN,KAzFK,mBAyFc,CAAA,MAAA,CAAA,GAAA,CAzFiB,MAyFjB,CAAA,SAAA,CAzFkC,SAyFlC,CAAA,GAAA;EACjB,UAAA,CAAA,EAAA,CAAA,KAAA,EAxFyB,MAwFzB,EAAA,GAxFoC,SAwFpC;EAAU,UAAA,CAAA,EAAA,CAAA,IAAA,EAvFc,SAuFd,EAAA,GAvF4B,MAuF5B;CAAuB,GAAA;EAAC,UAAA,EAAA,CAAA,KAAA,EApFV,MAoFU,EAAA,GApFC,SAoFD;EACxB,UAAA,EAAA,CAAU,IAAA,EApFG,SAoFH,EAAA,GApFiB,MAoFjB;CACpB;;;;AACF;;;;;;AAMA;;;;;AAGsC,iBA9EtB,KA8EsB,CAAA,aAAA,MAAA,EAAA,wBAAA,SA5EL,UA4EK,EAAA,GAAA,SAAA,EAAA,EAAA,QAAA,OAAA,EAAA,SAAA,OAAA,EAAA,UAzE1B,MAyE0B,CAAA,MAAA,EAAA,OAAA,CAAA,EAAA,UAAA,OAAA,CAAA,CAAA,MAAA,EAAA;EAAY,MAAA,EArEtC,IAqEsC;EAAW,WAAA,EAAA,SAAA,MAAA,EAAA;EAC9B,MAAA,CAAA,EAAA,CAAA,KAAA,EApEV,MAoEU,EAAA,GApEC,KAoED,GApES,OAoET,CApEiB,KAoEjB,CAAA;EAAY,MAAA,EAAA,CAAA,IAAA,EAnExB,KAmEwB,EAAA,GAnEd,MAmEc,GAnEL,OAmEK,CAnEG,MAmEH,CAAA;EAAvB,IAAA,CAAA,EAlET,SAkES;EACY,YAAA,CAAA,EAlEb,IAkEa,CAlER,OAkEQ,CAAA;EAAY,IAAA,CAAA,EAAA,CAAA,MAAA,EAjExB,OAiEwB,EAAA,GAjEZ,OAiEY;EAAvB,MAAA,CAAA,EAhER,SAgEQ;EACY,gBAAA,CAAA,EAAA,CAAA,UAAA,EAhEG,MAgEH,CAAA,MAAA,EAAA,OAAA,CAAA,EAAA,GAAA,MAAA,GAAA,SAAA;CAAY,GA/DvC,mBA+DuC,CA/DnB,MA+DmB,CAAA,CAAA,EA9D1C,OA8D0C,CA9DpC,IA8DoC,EA9DhC,SA8DgC,EA9DvB,KA8DuB,EA9DhB,MA8DgB,EA9DR,OA8DQ,EA9DC,OA8DD,CAAA;;;AAW7C;AAC6C,KA5BjC,OA4BiC,CAAA,CAAA,CAAA,GA3B3C,CA2B2C,SA3BjC,OA2BiC,CAAA,KAAA,GAAA,CAAA,GAAA,EAAA,GA3BV,CA2BU,SAAA;EAAc,SAAA,EAAA,EAAA,KAAA,GAAA;CAEpC,GAAA,EAAA,GAAA,KAAA;AAC4B,KA7BvC,UA6BuC,CAAA,CAAA,CAAA,GA5BjD,CA4BiD,SA5BvC,OA4BuC,CAAA,MAAA,EAAA,SA5BhB,UA4BgB,EAAA,EAAA,OAAA,EAAA,KAAA,GAAA,CAAA,GAAA,EAAA,GAAA,KAAA;AAAG,KA3B1C,WA2B0C,CAAA,CAAA,CAAA,GA1BpD,CA0BoD,SA1B1C,OA0B0C,CAAA,MAAA,EAAA,KAAA,QAAA,CAAA,GA1BX,OA0BW,CAAA,MAAA,CAAA,GA1BO,UA0BP,GAAA,KAAA;;;;AAAmB,KArB7D,iBAqB6D,CAAA,oBAAA,iBACtC,MArBU,WAqBV,GArBwB,OAqBxB,CAAA,MAAA,CAAA,EAAG,GArBuC,MAqBvC,CAAA,KAAA,EAAA,KAAA,CAAA,CAAA,GAAA,iBAAY,MAnB3B,WAmB2B,IAnBZ,WAmBY,CAnBA,CAmBA,CAAA,SAnBW,OAmBX,CAAA,KAAA,GAAA,CAAA,GAAA,EAAA,GAAA,KAAA,GAAA;EAAtB,SAAA,KAAA,EAlBR,UAkBQ,CAlBG,WAkBH,CAlBe,CAkBf,CAAA,CAAA;EAAlB,SAAA,MAAA,EAjBW,UAiBX,CAjBsB,WAiBtB,CAjBkC,CAiBlC,CAAA,CAAA;EAAiB,SAAA,MAAA,EAhBN,WAgBM,CAhBM,WAgBN,CAhBkB,CAgBlB,CAAA,CAAA;AAMV,CAAA,EAC4B;;;;;;;;AAQ7B,KApBJ,gBAoBI,CAAA,oBAAA,iBAAoB,MAnBS,WAmBT,GAnBuB,OAmBvB,CAAA,MAAA,CAAA,EAAY,CAAA,GAAA,iBAAnB,MAjBN,WAiBM,GAAA,kBAAvB,MAhBoB,iBAgBpB,CAhBsC,MAgBtC,CAhB6C,CAgB7C,EAhBgD,WAgBhD,CAhB4D,CAgB5D,CAAA,CAAA,CAAA,GAhBmE,EAgBnE,EAA+D,CAAA,MAf3D,iBAe2D,CAfzC,MAeyC,CAflC,CAekC,EAf/B,WAe+B,CAfnB,CAemB,CAAA,CAAA,CAAA,CAAA,EAAY;;;;AAK1D,UAdN,eAcM,CAAA,oBAAA,iBAAY,MAbU,WAaV,GAbwB,OAaxB,CAAA,MAAA,CAAA,EAAW,GAb+B,MAa/B,CAAA,KAAA,EAAA,KAAA,CAAA,CAAA,CAAA;EACvB,SAAA,UAAA,EAZA,iBAYA,CAZkB,WAYlB,CAAA;EACD,GAAA,CAAA,mBAAA,MAAA,EAAA,kBAX6B,OAW7B,CAAA,MAAA,CAAA,CAAA,CAAA,UAAA,EAVN,UAUM,EAAA,SAAA,EATP,SASO,CAAA,EARjB,eAQiB,CAPlB,CAAA,CAAE,SAOgB,CAPN,WAOM,EAPO,MAOP,CAPc,UAOd,EAP0B,SAO1B,CAAA,CAAA,GAPwC,MAOxC,CAP+C,UAO/C,EAP2D,SAO3D,CAAA,CAAA;EAAY,SAAA,gBAAA,EAAA,iBACD,MAJR,WAIQ,GAAA;IAAY,SAAA,MAAA,EAHtB,WAGsB,CAHV,CAGU,CAAA,SAHC,OAGD,CAAA,KAAA,YAAA,MAAA,CAAA,GAAA,EAAA,GAAA,KAAA;IAAvB,SAAA,MAAA,EAFC,CAED;IACY,SAAA,KAAA,EAFZ,WAEY,CAFA,CAEA,CAAA;IAAY,SAAA,KAAA,EADxB,UACwB,CADb,WACa,CADD,CACC,CAAA,CAAA;IAAvB,SAAA,MAAA,EAAA,UAAA,CAAW,WAAX,CAAuB,CAAvB,CAAA,CAAA;IACW,SAAA,MAAA,EAAX,UAAW,CAAA,WAAA,CAAY,CAAZ,CAAA,CAAA;EAAY,CAAA,EAAvB;EAKE,SAAA,SAAA,EAAA,iBAC4B,MAD5B,WAC4B,GAAA,kBAAG,MAA5B,iBAA4B,CAAV,MAAU,CAAH,CAAG,EAAA,WAAA,CAAY,CAAZ,CAAA,CAAA,CAAA,GAAmB,EAAnB,EAAY,CAAA,MACxD,iBADwD,CACtC,MADsC,CAC/B,CAD+B,EAC5B,WAD4B,CAChB,CADgB,CAAA,CAAA,CAAA,CAAA,EAAtB;;;;;AACM,iBAyHpC,mBAAA,CAAA,CAzHoC,EAyHb,aAzHa;;;;AAyHpC,iBAOA,YAAA,CAAA,CAPmB,EAOH,eAPoB,CAOJ,MAPI,CAAA,KAAA,EAAA,KAAA,CAAA,CAAA"}

package/dist/{errors-ChY_dHam.d.mts → errors-CDvhnH7P.d.mts}

@@ -1,8 +1,8 @@
-import { b as RuntimeError } from "./types-k9pir8XY.mjs";
+import { y as RuntimeError } from "./types-CG3u534i.mjs";
 
 //#region src/errors.d.ts
 declare function planInvalid(message: string, details?: Record<string, unknown>, hints?: readonly string[], docs?: readonly string[]): RuntimeError;
 declare function planUnsupported(message: string, details?: Record<string, unknown>, hints?: readonly string[], docs?: readonly string[]): RuntimeError;
 //#endregion
 export { planUnsupported as n, planInvalid as t };
-//# sourceMappingURL=errors-ChY_dHam.d.mts.map
+//# sourceMappingURL=errors-CDvhnH7P.d.mts.map

package/dist/errors-CDvhnH7P.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors-CDvhnH7P.d.mts","names":[],"sources":["../src/errors.ts"],"sourcesContent":[],"mappings":";;;iBAEgB,WAAA,4BAEJ,+EAGT;iBAkBa,eAAA,4BAEJ,+EAGT"}

package/dist/exports/ast.d.mts

@@ -1,4 +1,4 @@
-import { a as CodecMeta, c as CodecRegistry, d as ExtractCodecTypes, f as ExtractDataTypes, h as defineCodecs, i as CodecInput, l as CodecTrait, m as createCodecRegistry, n as CodecDefBuilder, o as CodecOutput, p as codec, r as CodecId, s as CodecParamsDescriptor, t as Codec, u as CodecTraits } from "../codec-types-DcEITed4.mjs";
+import { a as CodecMeta, c as CodecTrait, d as ExtractDataTypes, f as codec, i as CodecInput, l as CodecTraits, m as defineCodecs, n as CodecDefBuilder, o as CodecParamsDescriptor, p as createCodecRegistry, r as CodecId, s as CodecRegistry, t as Codec, u as ExtractCodecTypes } from "../codec-types-B2Xdq0Wr.mjs";
 import { $ as ToWhereExpr, A as InsertOnConflict, B as NotExpr, C as ExistsExpr, D as ExpressionSource, E as ExpressionRewriter, F as JsonObjectEntry, G as ParamRef, H as OperationExpr, I as JsonObjectExpr, J as SelectAst, K as ProjectionExpr, L as ListExpression, M as JoinAst, N as JoinOnExpr, O as IdentifierRef, P as JsonArrayAggExpr, Q as TableSource, R as LiteralExpr, S as EqColJoinOn, T as ExpressionFolder, U as OrExpr, V as NullCheckExpr, W as OrderByItem, X as SubqueryExpr, Y as SelectAstOptions, Z as TableRef, _ as DeleteAst, a as AndExpr, at as whereExprKinds, b as DoNothingConflictAction, c as AnyInsertOnConflictAction, d as AnyQueryAst, et as UpdateAst, f as AstRewriter, g as DefaultValueExpr, h as ColumnRef, i as AggregateOpFn, it as queryAstKinds, j as InsertValue, k as InsertAst, l as AnyInsertValue, m as BinaryOp, n as AggregateExpr, nt as isQueryAst, o as AnyExpression, p as BinaryExpr, q as ProjectionItem, r as AggregateFn, rt as isWhereExpr, s as AnyFromSource, t as AggregateCountFn, tt as WhereArg, u as AnyOperationArg, v as DerivedTableSource, w as ExprVisitor, x as DoUpdateSetConflictAction, y as Direction, z as LoweredStatement } from "../types-C3Hg-CVz.mjs";
 
 //#region src/ast/adapter-types.d.ts
@@ -186,5 +186,5 @@ type SqlCodecTypes = typeof codecs.CodecTypes;
 //#region src/ast/util.d.ts
 declare function compact<T extends Record<string, unknown>>(o: T): T;
 //#endregion
-export { Adapter, AdapterProfile, AdapterTarget, AggregateCountFn, AggregateExpr, AggregateFn, AggregateOpFn, AndExpr, AnyExpression, AnyFromSource, AnyInsertOnConflictAction, AnyInsertValue, AnyOperationArg, AnyQueryAst, AstRewriter, BinaryExpr, BinaryOp, Codec, CodecDefBuilder, CodecId, CodecInput, CodecMeta, CodecOutput, CodecParamsDescriptor, CodecRegistry, CodecTrait, CodecTraits, ColumnRef, DefaultValueExpr, DeleteAst, DerivedTableSource, Direction, DoNothingConflictAction, DoUpdateSetConflictAction, EqColJoinOn, ExistsExpr, ExprVisitor, ExpressionFolder, ExpressionRewriter, ExpressionSource, ExtractCodecTypes, ExtractDataTypes, IdentifierRef, InsertAst, InsertOnConflict, InsertValue, JoinAst, JoinOnExpr, JsonArrayAggExpr, JsonObjectEntry, JsonObjectExpr, ListExpression, LiteralExpr, LoweredStatement, Lowerer, LowererContext, MarkerStatement, NotExpr, NullCheckExpr, OperationExpr, OrExpr, OrderByItem, ParamRef, ProjectionExpr, ProjectionItem, SQL_CHAR_CODEC_ID, SQL_FLOAT_CODEC_ID, SQL_INT_CODEC_ID, SQL_TEXT_CODEC_ID, SQL_TIMESTAMP_CODEC_ID, SQL_VARCHAR_CODEC_ID, SelectAst, SelectAstOptions, SqlCodecTypes, SqlConnection, SqlDriver, SqlDriverState, SqlExecuteRequest, SqlExplainResult, SqlQueryResult, SqlQueryable, SqlTransaction, SubqueryExpr, TableRef, TableSource, ToWhereExpr, UpdateAst, WhereArg, codec, compact, createCodecRegistry, defineCodecs, isQueryAst, isWhereExpr, queryAstKinds, sqlCodecDefinitions, sqlDataTypes, whereExprKinds };
+export { Adapter, AdapterProfile, AdapterTarget, AggregateCountFn, AggregateExpr, AggregateFn, AggregateOpFn, AndExpr, AnyExpression, AnyFromSource, AnyInsertOnConflictAction, AnyInsertValue, AnyOperationArg, AnyQueryAst, AstRewriter, BinaryExpr, BinaryOp, Codec, CodecDefBuilder, CodecId, CodecInput, CodecMeta, CodecParamsDescriptor, CodecRegistry, CodecTrait, CodecTraits, ColumnRef, DefaultValueExpr, DeleteAst, DerivedTableSource, Direction, DoNothingConflictAction, DoUpdateSetConflictAction, EqColJoinOn, ExistsExpr, ExprVisitor, ExpressionFolder, ExpressionRewriter, ExpressionSource, ExtractCodecTypes, ExtractDataTypes, IdentifierRef, InsertAst, InsertOnConflict, InsertValue, JoinAst, JoinOnExpr, JsonArrayAggExpr, JsonObjectEntry, JsonObjectExpr, ListExpression, LiteralExpr, LoweredStatement, Lowerer, LowererContext, MarkerStatement, NotExpr, NullCheckExpr, OperationExpr, OrExpr, OrderByItem, ParamRef, ProjectionExpr, ProjectionItem, SQL_CHAR_CODEC_ID, SQL_FLOAT_CODEC_ID, SQL_INT_CODEC_ID, SQL_TEXT_CODEC_ID, SQL_TIMESTAMP_CODEC_ID, SQL_VARCHAR_CODEC_ID, SelectAst, SelectAstOptions, SqlCodecTypes, SqlConnection, SqlDriver, SqlDriverState, SqlExecuteRequest, SqlExplainResult, SqlQueryResult, SqlQueryable, SqlTransaction, SubqueryExpr, TableRef, TableSource, ToWhereExpr, UpdateAst, WhereArg, codec, compact, createCodecRegistry, defineCodecs, isQueryAst, isWhereExpr, queryAstKinds, sqlCodecDefinitions, sqlDataTypes, whereExprKinds };
 //# sourceMappingURL=ast.d.mts.map

package/dist/exports/ast.mjs

@@ -73,11 +73,24 @@ var CodecRegistryImpl = class {
 	}
 };
 /**
-* Codec factory - creates a codec with typeId and encode/decode functions.
-* Provides identity defaults for encodeJson/decodeJson when not supplied.
+* Construct a SQL codec from author functions and optional metadata.
+*
+* Author `encode` and `decode` as sync or async functions; the factory
+* produces a {@link Codec} whose query-time methods follow the boundary
+* contract documented on `Codec`.
+*
+* `encode` is optional — when omitted, an identity default is installed
+* (declaring "the input value already is the wire value", so `TInput` and
+* `TWire` are interchangeable for that codec). `decode` is always
+* required. `encodeJson` and `decodeJson` default to identity **only when
+* `TInput` is assignable to `JsonValue`**; otherwise both are required
+* so the contract artifact stays JSON-safe.
 */
 function codec(config) {
 	const identity = (v) => v;
+	const userEncode = config.encode ?? ((value) => value);
+	const userDecode = config.decode;
+	const widenedConfig = config;
 	return {
 		id: config.typeId,
 		targetTypes: config.targetTypes,
@@ -86,10 +99,22 @@ function codec(config) {
 		...ifDefined("init", config.init),
 		...ifDefined("traits", config.traits ? Object.freeze([...config.traits]) : void 0),
 		...ifDefined("renderOutputType", config.renderOutputType),
-		encode: config.encode,
-		decode: config.decode,
-		encodeJson: config.encodeJson ?? identity,
-		decodeJson: config.decodeJson ?? identity
+		encode: (value) => {
+			try {
+				return Promise.resolve(userEncode(value));
+			} catch (error) {
+				return Promise.reject(error);
+			}
+		},
+		decode: (wire) => {
+			try {
+				return Promise.resolve(userDecode(wire));
+			} catch (error) {
+				return Promise.reject(error);
+			}
+		},
+		encodeJson: widenedConfig.encodeJson ?? identity,
+		decodeJson: widenedConfig.decodeJson ?? identity
 	};
 }
 /**