@prisma-next/sql-relational-core 0.16.0-dev.3 → 0.16.0-dev.31

package/dist/{types-Dr3jep6j.d.mts → types-CWlaErjN.d.mts}

@@ -1,6 +1,44 @@
-import { o as CodecRef } from "./codec-types-C8vFGWij.mjs";
+import { o as CodecRef } from "./codec-types-Bayoa4PI.mjs";
 import { ParamSpec } from "@prisma-next/operations";
 import { SqlLoweringSpec } from "@prisma-next/sql-operations";
+//#region src/ast/json-value-projection.d.ts
+declare abstract class JsonValueProjection {
+  abstract readonly kind: string;
+  readonly value: ProjectionExpr;
+  protected constructor(value: ProjectionExpr);
+  abstract accept<R>(visitor: JsonValueProjectionVisitor<R>): R;
+  abstract rewrite(rewriter: ExpressionRewriter): AnyJsonValueProjection;
+  fold<T>(folder: ExpressionFolder<T>): T;
+  collectColumnRefs(): ColumnRef[];
+  collectParamRefs(): AnyParamRef[];
+  protected freeze(): void;
+}
+interface JsonValueProjectionVisitor<R> {
+  codec(projection: CodecJsonValueProjection): R;
+  native(projection: NativeJsonValueProjection): R;
+  document(projection: JsonDocumentProjection): R;
+}
+declare class CodecJsonValueProjection extends JsonValueProjection {
+  readonly kind: "codec";
+  readonly codec: CodecRef;
+  constructor(value: ProjectionExpr, codec: CodecRef);
+  accept<R>(visitor: JsonValueProjectionVisitor<R>): R;
+  rewrite(rewriter: ExpressionRewriter): CodecJsonValueProjection;
+}
+declare class NativeJsonValueProjection extends JsonValueProjection {
+  readonly kind: "native";
+  constructor(value: ProjectionExpr);
+  accept<R>(visitor: JsonValueProjectionVisitor<R>): R;
+  rewrite(rewriter: ExpressionRewriter): NativeJsonValueProjection;
+}
+declare class JsonDocumentProjection extends JsonValueProjection {
+  readonly kind: "document";
+  constructor(value: ProjectionExpr);
+  accept<R>(visitor: JsonValueProjectionVisitor<R>): R;
+  rewrite(rewriter: ExpressionRewriter): JsonDocumentProjection;
+}
+type AnyJsonValueProjection = CodecJsonValueProjection | NativeJsonValueProjection | JsonDocumentProjection;
+//#endregion
 //#region src/ast/types.d.ts
 type Direction = 'asc' | 'desc';
 type BinaryOp = 'eq' | 'neq' | 'gt' | 'lt' | 'gte' | 'lte' | 'like' | 'in' | 'notIn';
@@ -41,6 +79,9 @@ interface ExprVisitor<R> {
   operation(expr: OperationExpr): R;
   aggregate(expr: AggregateExpr): R;
   windowFunc(expr: WindowFuncExpr): R;
+  functionCall(expr: FunctionCallExpr): R;
+  cast(expr: CastExpr): R;
+  case(expr: CaseExpr): R;
   jsonObject(expr: JsonObjectExpr): R;
   jsonArrayAgg(expr: JsonArrayAggExpr): R;
   binary(expr: BinaryExpr): R;
@@ -74,7 +115,7 @@ type JoinOnExpr = EqColJoinOn | AnyExpression;
 type WhereArg = AnyExpression | ToWhereExpr;
 type JsonObjectEntry = {
   readonly key: string;
-  readonly value: ProjectionExpr;
+  readonly value: AnyJsonValueProjection;
 };
 declare abstract class AstNode {
   abstract readonly kind: string;
@@ -89,6 +130,7 @@ declare abstract class FromSource extends AstNode {
   abstract toFromSource(): AnyFromSource;
 }
 declare abstract class Expression extends AstNode implements ExpressionSource {
+  #private;
   abstract accept<R>(visitor: ExprVisitor<R>): R;
   abstract rewrite(rewriter: ExpressionRewriter): AnyExpression;
   abstract fold<T>(folder: ExpressionFolder<T>): T;
@@ -127,13 +169,21 @@ declare class DerivedTableSource extends FromSource {
   rewrite(rewriter: AstRewriter): AnyFromSource;
   toFromSource(): AnyFromSource;
 }
+interface FunctionSourceAlias {
+  readonly alias: string;
+  readonly columnAliases?: ReadonlyArray<string>;
+}
 declare class FunctionSource extends FromSource {
+  #private;
   readonly kind: "function-source";
   readonly fn: string;
   readonly args: ReadonlyArray<AnyExpression>;
   readonly alias: string | undefined;
-  protected constructor(fn: string, args: ReadonlyArray<AnyExpression>, alias?: string);
-  static of(fn: string, args: ReadonlyArray<AnyExpression>, alias?: string): FunctionSource;
+  readonly columnAliases: ReadonlyArray<string> | undefined;
+  readonly ordinality: boolean;
+  protected constructor(fn: string, args: ReadonlyArray<AnyExpression>, alias?: FunctionSourceAlias, ordinality?: boolean);
+  static of(fn: string, args: ReadonlyArray<AnyExpression>, alias?: FunctionSourceAlias): FunctionSource;
+  withOrdinality(): FunctionSource;
   rewrite(rewriter: AstRewriter): AnyFromSource;
   toFromSource(): AnyFromSource;
 }
@@ -295,11 +345,45 @@ declare class WindowFuncExpr extends Expression {
   rewrite(rewriter: ExpressionRewriter): AnyExpression;
   fold<T>(folder: ExpressionFolder<T>): T;
 }
+declare class FunctionCallExpr extends Expression {
+  readonly kind: "function-call";
+  readonly fn: string;
+  readonly args: ReadonlyArray<AnyExpression>;
+  constructor(fn: string, args: ReadonlyArray<AnyExpression>);
+  static of(fn: string, args: ReadonlyArray<AnyExpression>): FunctionCallExpr;
+  accept<R>(visitor: ExprVisitor<R>): R;
+  rewrite(rewriter: ExpressionRewriter): AnyExpression;
+  fold<T>(folder: ExpressionFolder<T>): T;
+}
+declare class CastExpr extends Expression {
+  readonly kind: "cast";
+  readonly expr: AnyExpression;
+  readonly targetType: string;
+  constructor(expr: AnyExpression, targetType: string);
+  static as(expr: AnyExpression, targetType: string): CastExpr;
+  accept<R>(visitor: ExprVisitor<R>): R;
+  rewrite(rewriter: ExpressionRewriter): AnyExpression;
+  fold<T>(folder: ExpressionFolder<T>): T;
+}
+interface CaseBranch {
+  readonly condition: AnyExpression;
+  readonly value: AnyExpression;
+}
+declare class CaseExpr extends Expression {
+  readonly kind: "case";
+  readonly branches: ReadonlyArray<Readonly<CaseBranch>>;
+  readonly elseExpr: AnyExpression | undefined;
+  constructor(branches: ReadonlyArray<CaseBranch>, elseExpr?: AnyExpression);
+  static of(branches: ReadonlyArray<CaseBranch>, elseExpr?: AnyExpression): CaseExpr;
+  accept<R>(visitor: ExprVisitor<R>): R;
+  rewrite(rewriter: ExpressionRewriter): AnyExpression;
+  fold<T>(folder: ExpressionFolder<T>): T;
+}
 declare class JsonObjectExpr extends Expression {
   readonly kind: "json-object";
   readonly entries: ReadonlyArray<JsonObjectEntry>;
   constructor(entries: ReadonlyArray<JsonObjectEntry>);
-  static entry(key: string, value: ProjectionExpr): JsonObjectEntry;
+  static entry(key: string, value: AnyJsonValueProjection): JsonObjectEntry;
   static fromEntries(entries: ReadonlyArray<JsonObjectEntry>): JsonObjectExpr;
   accept<R>(visitor: ExprVisitor<R>): R;
   rewrite(rewriter: ExpressionRewriter): AnyExpression;
@@ -322,11 +406,11 @@ declare class OrderByItem extends AstNode {
 }
 declare class JsonArrayAggExpr extends Expression {
   readonly kind: "json-array-agg";
-  readonly expr: AnyExpression;
+  readonly expr: AnyJsonValueProjection;
   readonly onEmpty: 'null' | 'emptyArray';
   readonly orderBy: ReadonlyArray<OrderByItem> | undefined;
-  constructor(expr: AnyExpression, onEmpty?: 'null' | 'emptyArray', orderBy?: ReadonlyArray<OrderByItem>);
-  static of(expr: AnyExpression, onEmpty?: 'null' | 'emptyArray', orderBy?: ReadonlyArray<OrderByItem>): JsonArrayAggExpr;
+  constructor(expr: AnyJsonValueProjection, onEmpty?: 'null' | 'emptyArray', orderBy?: ReadonlyArray<OrderByItem>);
+  static of(expr: AnyJsonValueProjection, onEmpty?: 'null' | 'emptyArray', orderBy?: ReadonlyArray<OrderByItem>): JsonArrayAggExpr;
   accept<R>(visitor: ExprVisitor<R>): R;
   rewrite(rewriter: ExpressionRewriter): AnyExpression;
   fold<T>(folder: ExpressionFolder<T>): T;
@@ -437,9 +521,9 @@ declare class ProjectionItem extends AstNode {
   readonly alias: string;
   readonly expr: ProjectionExpr;
   /**
-   * Codec identity for the projected cell. Decode-side dispatch resolves the per-instance codec through `contractCodecs.forCodecRef(codec)` — content-keyed memoisation collapses repeated lookups for the same logical column onto one shared {@link Codec}.
+   * Codec identity for any known projected result, whether read directly from a contract column or forwarded through a query wrapper. Decode-side dispatch resolves the per-instance codec through `contractCodecs.forCodecRef(codec)` — content-keyed memoisation collapses repeated lookups for the same logical result onto one shared {@link Codec}.
    *
-   * Stays `undefined` for non-column-bound projections (computed expressions, subqueries, raw aliases) whose decoded type the runtime cannot infer from a single contract column.
+   * Stays `undefined` only when the projected result's codec is unknown, such as computed expressions, subqueries, or raw aliases whose decoded type the runtime cannot infer.
    */
   readonly codec: CodecRef | undefined;
   constructor(alias: string, expr: ProjectionExpr, codec?: CodecRef);
@@ -595,7 +679,7 @@ declare class RawSqlExpr extends QueryAst {
 }
 type AnyQueryAst = SelectAst | InsertAst | UpdateAst | DeleteAst | RawSqlExpr;
 type AnyFromSource = TableSource | DerivedTableSource | FunctionSource;
-type AnyExpression = ColumnRef | IdentifierRef | ParamRef | PreparedParamRef | LiteralExpr | SubqueryExpr | OperationExpr | AggregateExpr | WindowFuncExpr | JsonObjectExpr | JsonArrayAggExpr | ListExpression | BinaryExpr | AndExpr | OrExpr | ExistsExpr | NullCheckExpr | NotExpr | RawExpr;
+type AnyExpression = ColumnRef | IdentifierRef | ParamRef | PreparedParamRef | LiteralExpr | SubqueryExpr | OperationExpr | AggregateExpr | WindowFuncExpr | FunctionCallExpr | CastExpr | CaseExpr | JsonObjectExpr | JsonArrayAggExpr | ListExpression | BinaryExpr | AndExpr | OrExpr | ExistsExpr | NullCheckExpr | NotExpr | RawExpr;
 type AnyParamRef = ParamRef | PreparedParamRef;
 type AnyInsertOnConflictAction = DoNothingConflictAction | DoUpdateSetConflictAction;
 type AnyInsertValue = ColumnRef | ParamRef | PreparedParamRef | DefaultValueExpr | RawExpr;
@@ -634,5 +718,5 @@ interface LoweredStatement {
   readonly annotations?: Record<string, unknown>;
 }
 //#endregion
-export { RawExpr as $, IdentifierRef as A, ListExpression as B, EqColJoinOn as C, ExpressionRewriter as D, ExpressionFolder as E, JoinOnExpr as F, NullCheckExpr as G, LoweredParam as H, JsonArrayAggExpr as I, OrderByItem as J, OperationExpr as K, JsonObjectEntry as L, InsertOnConflict as M, InsertValue as N, ExpressionSource as O, JoinAst as P, ProjectionItem as Q, JsonObjectExpr as R, DoUpdateSetConflictAction as S, ExprVisitor as T, LoweredStatement as U, LiteralExpr as V, NotExpr as W, PreparedParamRef as X, ParamRef as Y, ProjectionExpr as Z, DefaultValueExpr as _, AndExpr as a, TableRef as at, Direction as b, AnyInsertOnConflictAction as c, UpdateAst as ct, AnyParamRef as d, WindowFuncExpr as dt, RawSqlExpr as et, AnyQueryAst as f, isQueryAst as ft, ColumnRef as g, BinaryOp as h, whereExprKinds as ht, AggregateOpFn as i, SubqueryExpr as it, InsertAst as j, FunctionSource as k, AnyInsertValue as l, WhereArg as lt, BinaryExpr as m, queryAstKinds as mt, AggregateExpr as n, SelectAst as nt, AnyExpression as o, TableSource as ot, AstRewriter as p, isWhereExpr as pt, OrExpr as q, AggregateFn as r, SelectAstOptions as rt, AnyFromSource as s, ToWhereExpr as st, AggregateCountFn as t, RawSqlLiteral as tt, AnyOperationArg as u, WindowFn as ut, DeleteAst as v, ExistsExpr as w, DoNothingConflictAction as x, DerivedTableSource as y, LimitOffsetValue as z };
-//# sourceMappingURL=types-Dr3jep6j.d.mts.map
+export { OrderByItem as $, ExpressionRewriter as A, JoinOnExpr as B, Direction as C, JsonDocumentProjection as Ct, ExistsExpr as D, EqColJoinOn as E, IdentifierRef as F, ListExpression as G, JsonObjectEntry as H, InsertAst as I, LoweredStatement as J, LiteralExpr as K, InsertOnConflict as L, FunctionCallExpr as M, FunctionSource as N, ExprVisitor as O, FunctionSourceAlias as P, OrExpr as Q, InsertValue as R, DerivedTableSource as S, CodecJsonValueProjection as St, DoUpdateSetConflictAction as T, NativeJsonValueProjection as Tt, JsonObjectExpr as U, JsonArrayAggExpr as V, LimitOffsetValue as W, NullCheckExpr as X, NotExpr as Y, OperationExpr as Z, CaseExpr as _, isQueryAst as _t, AndExpr as a, RawSqlExpr as at, DefaultValueExpr as b, whereExprKinds as bt, AnyInsertOnConflictAction as c, SelectAstOptions as ct, AnyParamRef as d, TableSource as dt, ParamRef as et, AnyQueryAst as f, ToWhereExpr as ft, CaseBranch as g, WindowFuncExpr as gt, BinaryOp as h, WindowFn as ht, AggregateOpFn as i, RawExpr as it, ExpressionSource as j, ExpressionFolder as k, AnyInsertValue as l, SubqueryExpr as lt, BinaryExpr as m, WhereArg as mt, AggregateExpr as n, ProjectionExpr as nt, AnyExpression as o, RawSqlLiteral as ot, AstRewriter as p, UpdateAst as pt, LoweredParam as q, AggregateFn as r, ProjectionItem as rt, AnyFromSource as s, SelectAst as st, AggregateCountFn as t, PreparedParamRef as tt, AnyOperationArg as u, TableRef as ut, CastExpr as v, isWhereExpr as vt, DoNothingConflictAction as w, JsonValueProjectionVisitor as wt, DeleteAst as x, AnyJsonValueProjection as xt, ColumnRef as y, queryAstKinds as yt, JoinAst as z };
+//# sourceMappingURL=types-CWlaErjN.d.mts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types-CWlaErjN.d.mts","names":[],"sources":["../src/ast/json-value-projection.ts","../src/ast/types.ts"],"mappings":";;;;uBASe;oBACK;WACT,OAAO;YAEP,YAAa,OAAO;WAIpB,OAAO,GAAG,SAAS,2BAA2B,KAAK;WACnD,QAAQ,UAAU,qBAAqB;EAEhD,KAAK,GAAG,QAAQ,iBAAiB,KAAK;EAItC,qBAAqB;EAIrB,oBAAoB;YAIV;;UAKK,2BAA2B;EAC1C,MAAM,YAAY,2BAA2B;EAC7C,OAAO,YAAY,4BAA4B;EAC/C,SAAS,YAAY,yBAAyB;;cAGnC,iCAAiC;WACnC;WACA,OAAO;cAEJ,OAAO,gBAAgB,OAAO;EAMjC,OAAO,GAAG,SAAS,2BAA2B,KAAK;EAInD,QAAQ,UAAU,qBAAqB;;cAKrC,kCAAkC;WACpC;cAEG,OAAO;EAKV,OAAO,GAAG,SAAS,2BAA2B,KAAK;EAInD,QAAQ,UAAU,qBAAqB;;cAKrC,+BAA+B;WACjC;cAEG,OAAO;EAKV,OAAO,GAAG,SAAS,2BAA2B,KAAK;EAInD,QAAQ,UAAU,qBAAqB;;KAKtC,yBACR,2BACA,4BACA;;;KC1FQ;KAEA;KAEA;KACA;KACA,cAAc,mBAAmB;;;;;;;;KASjC;;KAGA,qDAAqD;UAEhD;EACf,UAAU;;UAGK;EACf,WAAW,MAAM,YAAY;EAC7B,eAAe,MAAM,gBAAgB;EACrC,UAAU,MAAM,WAAW,WAAW;EACtC,kBAAkB,MAAM,mBAAmB;EAC3C,SAAS,MAAM,cAAc;EAC7B,MAAM,MAAM,iBAAiB,iBAAiB;EAC9C,QAAQ,KAAK,YAAY;EACzB,SAAS,MAAM,UAAU;;UAGV,oBAAoB;EACnC,aAAa,QAAQ,cAAc;EACnC,aAAa,IAAI,cAAc,cAAc;;UAG9B,YAAY;EAC3B,UAAU,MAAM,YAAY;EAC5B,cAAc,MAAM,gBAAgB;EACpC,SAAS,MAAM,eAAe;EAC9B,UAAU,MAAM,gBAAgB;EAChC,UAAU,MAAM,gBAAgB;EAChC,WAAW,MAAM,iBAAiB;EAClC,aAAa,MAAM,mBAAmB;EACtC,KAAK,MAAM,WAAW;EACtB,KAAK,MAAM,WAAW;EACtB,WAAW,MAAM,iBAAiB;EAClC,aAAa,MAAM,mBAAmB;EACtC,OAAO,MAAM,aAAa;EAC1B,IAAI,MAAM,UAAU;EACpB,GAAG,MAAM,SAAS;EAClB,OAAO,MAAM,aAAa;EAC1B,UAAU,MAAM,gBAAgB;EAChC,IAAI,MAAM,UAAU;EACpB,QAAQ,MAAM,cAAc;EAC5B,MAAM,MAAM,WAAW;EACvB,cAAc,MAAM,mBAAmB;EACvC,KAAK,MAAM,iBAAiB;EAC5B,QAAQ,MAAM,UAAU;;UA4BT,iBAAiB;EAChC,OAAO;EACP,QAAQ,GAAG,GAAG,GAAG,IAAI;EACrB,aAAa,OAAO;EACpB,WAAW,MAAM,YAAY;EAC7B,eAAe,MAAM,gBAAgB;EACrC,UAAU,MAAM,WAAW;EAC3B,kBAAkB,MAAM,mBAAmB;EAC3C,SAAS,MAAM,cAAc;EAC7B,MAAM,MAAM,iBAAiB;EAC7B,QAAQ,KAAK,YAAY;EACzB,SAAS,MAAM,UAAU;;KAGf,iBAAiB;KACjB,cAAc,YAAY,WAAW,mBAAmB,mBAAmB;KAC3E,aAAa,cAAc;KAC3B,WAAW,gBAAgB;KAC3B;WACD;WACA,OAAO;;uBAkLH;oBACK;YAER;;uBAKG,iBAAiB;WACrB,oBAAoB;WACpB,cAAc;;uBAGV,mBAAmB;WACvB,QAAQ,UAAU,cAAc;WAChC,gBAAgB;;uBAGZ,mBAAmB,mBAAmB;;WAC1C,OAAO,GAAG,SAAS,YAAY,KAAK;WACpC,QAAQ,UAAU,qBAAqB;WACvC,KAAK,GAAG,QAAQ,iBAAiB,KAAK;EAE/C,qBAAqB;EAIrB,oBAAoB;EAIpB,iBAAiB;EAQjB,UAAU;EAIV,OAAO;;cAKI,oBAAoB;WACtB;WACA;WACA;;;;;;;WAOA;YAEA,YAAa,cAAc,gBAAgB;SAO7C,MAAM,cAAc,gBAAgB,uBAAuB;EAMzD,QAAQ,UAAU,cAAc;EAIhC,gBAAgB;;UAKV;WACN;WACA;;cAGE,2BAA2B;WAC7B;WACA;WACA,OAAO;cAEJ,eAAe,OAAO;SAO3B,GAAG,eAAe,OAAO,YAAY;EAKnC,QAAQ,UAAU,cAAc;EAIhC,gBAAgB;;UAKV;WACN;WACA,gBAAgB;;cAGd,uBAAuB;;WACzB;WACA;WACA,MAAM,cAAc;WACpB;WACA,eAAe;WACf;YAEA,YACP,YACA,MAAM,cAAc,gBACpB,QAAQ,qBACR;SAiBK,GACL,YACA,MAAM,cAAc,gBACpB,QAAQ,sBACP;EAYH,kBAAkB;EAKT,QAAQ,UAAU,cAAc;EAMhC,gBAAgB;;cAKd,kBAAkB;WACpB;WACA;WACA;cAEG,eAAe;SAOpB,GAAG,eAAe,iBAAiB;EAIjC,OAAO,GAAG,SAAS,YAAY,KAAK;EAIpC,QAAQ,UAAU,qBAAqB;EAIvC,KAAK,GAAG,QAAQ,iBAAiB,KAAK;EAItC,iBAAiB;;cAKf,sBAAsB;WACxB;WACA;cAEG;SAML,GAAG,eAAe;EAIhB,OAAO,GAAG,SAAS,YAAY,KAAK;EAIpC,QAAQ,UAAU,qBAAqB;EAIvC,KAAK,GAAG,QAAQ,iBAAiB,KAAK;;cAKpC,iBAAiB;WACnB;WACA;WACA;;;;;;WAMA,OAAO;cAGd,gBACA;IACE;IACA,QAAQ;;SAUL,GACL,gBACA;IACE;IACA,QAAQ;MAET;EAIM,OAAO,GAAG,SAAS,YAAY,KAAK;EAIpC,QAAQ,UAAU,qBAAqB;EAIvC,KAAK,GAAG,QAAQ,iBAAiB,KAAK;;;;;;;;cAWpC,yBAAyB;WAC3B;WACA;WACA,OAAO;cAEJ,cAAc,OAAO;SAO1B,GAAG,cAAc,OAAO,WAAW;EAIjC,OAAO,GAAG,SAAS,YAAY,KAAK;EAIpC,QAAQ,UAAU,qBAAqB;EAIvC,KAAK,GAAG,QAAQ,iBAAiB,KAAK;;cAKpC,yBAAyB;WAC3B;;;cAQE,oBAAoB;WACtB;WACA;cAEG;SAML,GAAG,iBAAiB;EAIlB,OAAO,GAAG,SAAS,YAAY,KAAK;EAIpC,QAAQ,UAAU,qBAAqB;EAIvC,KAAK,GAAG,QAAQ,iBAAiB,KAAK;;cAKpC,qBAAqB;WACvB;WACA,OAAO;cAEJ,OAAO;SAMZ,GAAG,OAAO,YAAY;EAIpB,OAAO,GAAG,SAAS,YAAY,KAAK;EAIpC,QAAQ,UAAU,qBAAqB;EAKvC,KAAK,GAAG,QAAQ,iBAAiB,KAAK;;cAKpC,sBAAsB;WACxB;WACA;WACA,MAAM;WACN,MAAM,cAAc,gBAAgB,WAAW;WAC/C,SAAS;WACT,UAAU;cAEP;aACD;aACA,MAAM;aACN,MAAM,cAAc,gBAAgB,WAAW;aAC/C,SAAS;aACT,UAAU;;EAWZ,OAAO,GAAG,SAAS,YAAY,KAAK;EAIpC,QAAQ,UAAU,qBAAqB;EAUvC,KAAK,GAAG,QAAQ,iBAAiB,KAAK;EAOtC,iBAAiB;;cAKf,gBAAgB;WAClB;WACA,OAAO,uBAAuB;WAC9B,SAAS;cAEN;aACD,OAAO,uBAAuB;aAC9B,SAAS;;EAQX,OAAO,GAAG,SAAS,YAAY,KAAK;EAIpC,QAAQ,UAAU,qBAAqB;EAIvC,KAAK,GAAG,QAAQ,iBAAiB,KAAK;;cAapC,sBAAsB;WACxB;WACA,IAAI;WACJ,MAAM;cAEH,IAAI,aAAa,OAAO;SAc7B,MAAM,OAAO,gBAAgB;SAI7B,IAAI,MAAM,gBAAgB;SAI1B,IAAI,MAAM,gBAAgB;SAI1B,IAAI,MAAM,gBAAgB;SAI1B,IAAI,MAAM,gBAAgB;EAIxB,OAAO,GAAG,SAAS,YAAY,KAAK;EAIpC,QAAQ,UAAU,qBAAqB;EAIvC,KAAK,GAAG,QAAQ,iBAAiB,KAAK;;;;;;;;;;;;;;;cAkBpC,uBAAuB;WACzB;WACA,IAAI;WACJ,MAAM,cAAc;WACpB,aAAa,cAAc;WAC3B,SAAS,cAAc;cAEpB;aACD,IAAI;aACJ,OAAO,cAAc;aACrB,cAAc,cAAc;aAC5B,UAAU,cAAc;;SAc5B,UAAU;aACN,cAAc,cAAc;aAC5B,UAAU,cAAc;MAC/B;EAIK,OAAO,GAAG,SAAS,YAAY,KAAK;EAIpC,QAAQ,UAAU,qBAAqB;EAevC,KAAK,GAAG,QAAQ,iBAAiB,KAAK;;cASpC,yBAAyB;WAC3B;WACA;WACA,MAAM,cAAc;cAEjB,YAAY,MAAM,cAAc;SAOrC,GAAG,YAAY,MAAM,cAAc,iBAAiB;EAIlD,OAAO,GAAG,SAAS,YAAY,KAAK;EAIpC,QAAQ,UAAU,qBAAqB;EAOvC,KAAK,GAAG,QAAQ,iBAAiB,KAAK;;cAQpC,iBAAiB;WACnB;WACA,MAAM;WACN;cAEG,MAAM,eAAe;SAO1B,GAAG,MAAM,eAAe,qBAAqB;EAI3C,OAAO,GAAG,SAAS,YAAY,KAAK;EAIpC,QAAQ,UAAU,qBAAqB;EAIvC,KAAK,GAAG,QAAQ,iBAAiB,KAAK;;UAKhC;WACN,WAAW;WACX,OAAO;;cAGL,iBAAiB;WACnB;WACA,UAAU,cAAc,SAAS;WACjC,UAAU;cAEP,UAAU,cAAc,aAAa,WAAW;SAmBrD,GAAG,UAAU,cAAc,aAAa,WAAW,gBAAgB;EAIjE,OAAO,GAAG,SAAS,YAAY,KAAK;EAIpC,QAAQ,UAAU,qBAAqB;EAUvC,KAAK,GAAG,QAAQ,iBAAiB,KAAK;;cAYpC,uBAAuB;WACzB;WACA,SAAS,cAAc;cAEpB,SAAS,cAAc;SAM5B,MAAM,aAAa,OAAO,yBAAyB;SAOnD,YAAY,SAAS,cAAc,mBAAmB;EAIpD,OAAO,GAAG,SAAS,YAAY,KAAK;EAIpC,QAAQ,UAAU,qBAAqB;EASvC,KAAK,GAAG,QAAQ,iBAAiB,KAAK;;cAQpC,oBAAoB;WACtB;WACA,MAAM;WACN,KAAK;cAEF,MAAM,eAAe,KAAK;SAO/B,IAAI,MAAM,gBAAgB;SAI1B,KAAK,MAAM,gBAAgB;EAIlC,QAAQ,UAAU,qBAAqB;;;;;;EASvC,WAAW;;cAKA,yBAAyB;WAC3B;WACA,MAAM;WACN;WACA,SAAS,cAAc;cAG9B,MAAM,wBACN,iCACA,UAAU,cAAc;SASnB,GACL,MAAM,wBACN,iCACA,UAAU,cAAc,eACvB;EAIM,OAAO,GAAG,SAAS,YAAY,KAAK;EAIpC,QAAQ,UAAU,qBAAqB;EAQvC,KAAK,GAAG,QAAQ,iBAAiB,KAAK;;cAQpC,uBAAuB;WACzB;WACA,QAAQ,cAAc;cAEnB,QAAQ,cAAc;SAM3B,GAAG,QAAQ,cAAc,iBAAiB;SAI1C,WAAW,QAAQ,yBAAyB;EAI1C,OAAO,GAAG,SAAS,YAAY,KAAK;EAIpC,QAAQ,UAAU,qBAAqB;EAQhD,KAAK,GAAG,QAAQ,iBAAiB,KAAK;;cAW3B,mBAAmB;WACrB;WACA,IAAI;WACJ,MAAM;WACN,OAAO;cAEJ,IAAI,UAAU,MAAM,eAAe,OAAO;SAQ/C,GAAG,MAAM,eAAe,OAAO,gBAAgB;SAI/C,IAAI,MAAM,eAAe,OAAO,gBAAgB;SAIhD,GAAG,MAAM,eAAe,OAAO,gBAAgB;SAI/C,GAAG,MAAM,eAAe,OAAO,gBAAgB;SAI/C,IAAI,MAAM,eAAe,OAAO,gBAAgB;SAIhD,IAAI,MAAM,eAAe,OAAO,gBAAgB;SAIhD,KAAK,MAAM,eAAe,OAAO,gBAAgB;SAIjD,GAAG,MAAM,eAAe,OAAO,gBAAgB;SAI/C,MAAM,MAAM,eAAe,OAAO,gBAAgB;EAIhD,OAAO,GAAG,SAAS,YAAY,KAAK;EAIpC,QAAQ,UAAU,qBAAqB;EAQvC,KAAK,GAAG,QAAQ,iBAAiB,KAAK;;cAQpC,gBAAgB;WAClB;WACA,OAAO,cAAc;cAElB,OAAO,cAAc;SAM1B,GAAG,OAAO,cAAc,iBAAiB;SAIzC,QAAQ;EAIN,OAAO,GAAG,SAAS,YAAY,KAAK;EAIpC,QAAQ,UAAU,qBAAqB;EAIvC,KAAK,GAAG,QAAQ,iBAAiB,KAAK;;cAQpC,eAAe;WACjB;WACA,OAAO,cAAc;cAElB,OAAO,cAAc;SAM1B,GAAG,OAAO,cAAc,iBAAiB;SAIzC,SAAS;EAIP,OAAO,GAAG,SAAS,YAAY,KAAK;EAIpC,QAAQ,UAAU,qBAAqB;EAIvC,KAAK,GAAG,QAAQ,iBAAiB,KAAK;;cAQpC,mBAAmB;WACrB;WACA;WACA,UAAU;cAEP,UAAU,WAAW;SAO1B,OAAO,UAAU,YAAY;SAI7B,UAAU,UAAU,YAAY;EAI9B,OAAO,GAAG,SAAS,YAAY,KAAK;EAIpC,QAAQ,UAAU,qBAAqB;EAIvC,KAAK,GAAG,QAAQ,iBAAiB,KAAK;;cAKpC,sBAAsB;WACxB;WACA,MAAM;WACN;cAEG,MAAM,eAAe;SAO1B,OAAO,MAAM,gBAAgB;SAI7B,UAAU,MAAM,gBAAgB;EAI9B,OAAO,GAAG,SAAS,YAAY,KAAK;EAIpC,QAAQ,UAAU,qBAAqB;EAIvC,KAAK,GAAG,QAAQ,iBAAiB,KAAK;;cAKpC,gBAAgB;WAClB;WACA,MAAM;cAEH,MAAM;EAMlB,eAAe;EAIN,OAAO,GAAG,SAAS,YAAY,KAAK;EAIpC,QAAQ,UAAU,qBAAqB;EAIvC,KAAK,GAAG,QAAQ,iBAAiB,KAAK;;cAKpC,oBAAoB;WACtB;WACA,MAAM;WACN,OAAO;cAEJ,MAAM,WAAW,OAAO;SAO7B,GAAG,MAAM,WAAW,OAAO,YAAY;EAI9C,QAAQ,UAAU,cAAc,cAAc;;cAKnC,gBAAgB;WAClB;WACA;WACA,QAAQ;WACR;WACA,IAAI;cAGX,+CACA,QAAQ,eACR,IAAI,YACJ;SAUK,MAAM,QAAQ,eAAe,IAAI,YAAY,oBAAkB;SAI/D,KAAK,QAAQ,eAAe,IAAI,YAAY,oBAAkB;SAI9D,MAAM,QAAQ,eAAe,IAAI,YAAY,oBAAkB;SAI/D,KAAK,QAAQ,eAAe,IAAI,YAAY,oBAAkB;EAIrE,QAAQ,UAAU,cAAc;;cAUrB,uBAAuB;WACzB;WACA;WACA,MAAM;;;;;;WAMN,OAAO;cAEJ,eAAe,MAAM,gBAAgB,QAAQ;SAQlD,GAAG,eAAe,MAAM,gBAAgB,QAAQ,WAAW;EAIlE,UAAU,OAAO,uBAAuB;;KAK9B,4BAA4B;UAEvB;WACN,OAAO;WACP,OAAO,cAAc;WACrB,YAAY,cAAc;WAC1B,OAAO;WACP,SAAS,cAAc;WACvB;WACA,YAAY,cAAc;WAC1B,SAAS,cAAc;WACvB,QAAQ;WACR,OAAO;WACP,QAAQ;WACR;aAA4B;;;cAG1B,kBAAkB;WACpB;WACA,MAAM;WACN,OAAO,cAAc;WACrB,YAAY,cAAc;WAC1B,OAAO;WACP,SAAS,cAAc;WACvB;WACA,YAAY,cAAc;WAC1B,SAAS,cAAc;WACvB,QAAQ;WACR,OAAO;WACP,QAAQ;WACR;aAA4B;;cAEzB,SAAS;SAuBd,KAAK,MAAM,gBAAgB;SAiB3B,UAAU;UAgBT;EAiBR,SAAS,MAAM,gBAAgB;EAI/B,UAAU,OAAO,cAAc,WAAW;EAO1C,eAAe,YAAY,cAAc,kBAAkB;EAI3D,cAAc,eAAe,MAAM,iBAAiB;EAOpD,UAAU,OAAO,4BAA4B;EAI7C,YAAY,SAAS,cAAc,eAAe;EAOlD,aAAa,oBAAiB;EAO9B,eAAe,YAAY,cAAc,iBAAiB;EAO1D,YAAY,SAAS,cAAc,iBAAiB;EAOpD,WAAW,QAAQ,4BAA4B;EAI/C,UAAU,OAAO,+BAA+B;EAIhD,WAAW,QAAQ,+BAA+B;EAIlD,oBAAoB;aAA4B;kBAA+B;EAI/E,QAAQ,UAAU,cAAc;EA+BhC,qBAAqB;EA2DrB,oBAAoB;EAyDX,cAAc;;uBAKV,+BAA+B;WACnC,4BAA4B;;cAG1B,gCAAgC;WAClC;;EAOA,4BAA4B;;cAK1B,kCAAkC;WACpC;WACA,KAAK,SAAS,eAAe;cAE1B,KAAK,SAAS,eAAe;EAMhC,4BAA4B;;cAK1B,yBAAyB;WAC3B;WACA,SAAS,cAAc;WACvB,QAAQ;cAEL,SAAS,cAAc,YAAY,QAAQ;SAOhD,GAAG,SAAS,cAAc,aAAa;EAI9C,aAAa;EAIb,YAAY,KAAK,SAAS,eAAe,kBAAkB;;cAKhD,kBAAkB;WACpB;WACA,OAAO;WACP,MAAM,cAAc,SAAS,eAAe;WAC5C,YAAY;WACZ,WAAW,cAAc;cAGhC,OAAO,aACP,OAAM,cAAc,eAAe,eACnC,aAAa,kBACb,YAAY,cAAc;SAUrB,KAAK,OAAO,cAAc;EAIjC,SAAS,MAAM,cAAc,eAAe,gBAAgB;EAS5D,cAAc,WAAW,cAAc,8BAA8B;EASrE,eAAe,YAAY,+BAA+B;EAS1D,QAAQ,UAAU,cAAc;EASvB,oBAAoB;EA0BpB,cAAc;;cAKZ,kBAAkB;WACpB;WACA,OAAO;WACP,KAAK,SAAS,eAAe;WAC7B,OAAO;WACP,WAAW,cAAc;cAGhC,OAAO,aACP,MAAK,SAAS,eAAe,iBAC7B,QAAQ,eACR,YAAY,cAAc;SAUrB,MAAM,OAAO,cAAc;EAIlC,QAAQ,KAAK,SAAS,eAAe,kBAAkB;EAIvD,UAAU,OAAO,4BAA4B;EAI7C,cAAc,WAAW,cAAc,8BAA8B;EAIrE,QAAQ,UAAU,cAAc;EASvB,oBAAoB;EAgBpB,cAAc;;cAKZ,kBAAkB;WACpB;WACA,OAAO;WACP,OAAO;WACP,WAAW,cAAc;cAGhC,OAAO,aACP,QAAQ,eACR,YAAY,cAAc;SASrB,KAAK,OAAO,cAAc;EAIjC,UAAU,OAAO,4BAA4B;EAI7C,cAAc,WAAW,cAAc,8BAA8B;EAIrE,QAAQ,UAAU,cAAc;EAQvB,oBAAoB;EAapB,cAAc;;;;;;;;;;;;;;;;;cAoBZ,mBAAmB;WACrB;WACA;WACA,eAAe;cAEZ,8BAA8B,eAAe;SAYlD,GAAG,8BAA8B,eAAe,kBAAkB;EAIhE,oBAAoB;EAYpB,cAAc;;KAKb,cAAc,YAAY,YAAY,YAAY,YAAY;KAC9D,gBAAgB,cAAc,qBAAqB;KACnD,gBACR,YACA,gBACA,WACA,mBACA,cACA,eACA,gBACA,gBACA,iBACA,mBACA,WACA,WACA,iBACA,mBACA,iBACA,aACA,UACA,SACA,aACA,gBACA,UACA;KACQ,cAAc,WAAW;KACzB,4BAA4B,0BAA0B;KACtD,iBAAiB,YAAY,WAAW,mBAAmB,mBAAmB;KAC9E,kBAAkB,gBAAgB,WAAW,mBAAmB;cAE/D,eAAe;cAOf,gBAAgB;iBASb,WAAW,iBAAiB,SAAS;iBAUrC,YAAY,iBAAiB,SAAS;UAUrC;EACf,eAAe;;;;;;;;;;;;;;;;KAiBL;WACG;WAA0B;;WAC1B;WAAuB;;UAErB;WACN;WACA,iBAAiB;WACjB,cAAc"}

package/package.json

@@ -1,26 +1,26 @@
 {
   "name": "@prisma-next/sql-relational-core",
-  "version": "0.16.0-dev.3",
+  "version": "0.16.0-dev.31",
   "license": "Apache-2.0",
   "type": "module",
   "sideEffects": false,
   "description": "AST types, query lane context, and type utilities for Prisma Next SQL lanes",
   "dependencies": {
-    "@prisma-next/contract": "0.16.0-dev.3",
-    "@prisma-next/framework-components": "0.16.0-dev.3",
-    "@prisma-next/operations": "0.16.0-dev.3",
-    "@prisma-next/sql-contract": "0.16.0-dev.3",
-    "@prisma-next/sql-operations": "0.16.0-dev.3",
-    "@prisma-next/utils": "0.16.0-dev.3",
+    "@prisma-next/contract": "0.16.0-dev.31",
+    "@prisma-next/framework-components": "0.16.0-dev.31",
+    "@prisma-next/operations": "0.16.0-dev.31",
+    "@prisma-next/sql-contract": "0.16.0-dev.31",
+    "@prisma-next/sql-operations": "0.16.0-dev.31",
+    "@prisma-next/utils": "0.16.0-dev.31",
     "@standard-schema/spec": "^1.1.0",
     "arktype": "^2.2.2",
     "ts-toolbelt": "^9.6.0"
   },
   "devDependencies": {
-    "@prisma-next/sql-contract-ts": "0.16.0-dev.3",
-    "@prisma-next/test-utils": "0.16.0-dev.3",
-    "@prisma-next/tsconfig": "0.16.0-dev.3",
-    "@prisma-next/tsdown": "0.16.0-dev.3",
+    "@prisma-next/sql-contract-ts": "0.16.0-dev.31",
+    "@prisma-next/test-utils": "0.16.0-dev.31",
+    "@prisma-next/tsconfig": "0.16.0-dev.31",
+    "@prisma-next/tsdown": "0.16.0-dev.31",
     "tsdown": "0.22.8",
     "typescript": "5.9.3",
     "vitest": "4.1.10"

package/src/ast/codec-types.ts

@@ -1,3 +1,4 @@
+import type { JsonValue } from '@prisma-next/contract/types';
 import type {
   Codec as BaseCodec,
   CodecCallContext,
@@ -6,6 +7,7 @@ import type {
   CodecRef,
   CodecTrait,
 } from '@prisma-next/framework-components/codec';
+import { ifDefined } from '@prisma-next/utils/defined';
 
 export type {
   CodecCallContext,
@@ -14,6 +16,41 @@ export type {
   CodecTrait,
 } from '@prisma-next/framework-components/codec';
 
+function isJsonArray(value: JsonValue): value is readonly JsonValue[] {
+  return Array.isArray(value);
+}
+
+function freezeJsonValue(value: JsonValue): void {
+  if (value === null || typeof value !== 'object') {
+    return;
+  }
+
+  if (isJsonArray(value)) {
+    for (const item of value) {
+      freezeJsonValue(item);
+    }
+  } else {
+    for (const item of Object.values(value)) {
+      freezeJsonValue(item);
+    }
+  }
+
+  Object.freeze(value);
+}
+
+export function frozenCodecRef(codec: CodecRef): CodecRef {
+  const typeParams = codec.typeParams === undefined ? undefined : structuredClone(codec.typeParams);
+  if (typeParams !== undefined) {
+    freezeJsonValue(typeParams);
+  }
+
+  return Object.freeze({
+    codecId: codec.codecId,
+    ...ifDefined('typeParams', typeParams),
+    ...ifDefined('many', codec.many),
+  });
+}
+
 /**
  * SQL-family addressing of a single column. The decode site populates a `SqlColumnRef` whenever it can resolve the cell to a single underlying `(table, column)` (the typical case for projected columns from a single-table source); cells the runtime cannot resolve (aggregate aliases, include aggregate fields, computed projections without a simple ref) get `column = undefined`.
  *

package/src/ast/ddl-types.ts

@@ -1,6 +1,7 @@
 import type { ColumnDefaultLiteralInputValue } from '@prisma-next/contract/types';
 import { isColumnDefaultLiteralInputValue } from '@prisma-next/contract/types';
 import type { ReferentialAction } from '@prisma-next/sql-contract/types';
+import { structuredError } from '@prisma-next/utils/structured-error';
 import type { CodecRef } from './codec-types';
 import type { AnyParamRef } from './types';
 
@@ -38,7 +39,7 @@ export class LiteralColumnDefault extends DdlColumnDefault {
   constructor(value: ColumnDefaultLiteralInputValue) {
     super();
     if (!isColumnDefaultLiteralInputValue(value)) {
-      throw new Error('Invalid column default literal value');
+      throw structuredError('CONTRACT.DEFAULT_INVALID', 'Invalid column default literal value');
     }
     this.value = value;
     this.freeze();

package/src/ast/json-value-projection.ts

@@ -0,0 +1,100 @@
+import { type CodecRef, frozenCodecRef } from './codec-types';
+import type {
+  AnyParamRef,
+  ColumnRef,
+  ExpressionFolder,
+  ExpressionRewriter,
+  ProjectionExpr,
+} from './types';
+
+abstract class JsonValueProjection {
+  abstract readonly kind: string;
+  readonly value: ProjectionExpr;
+
+  protected constructor(value: ProjectionExpr) {
+    this.value = value;
+  }
+
+  abstract accept<R>(visitor: JsonValueProjectionVisitor<R>): R;
+  abstract rewrite(rewriter: ExpressionRewriter): AnyJsonValueProjection;
+
+  fold<T>(folder: ExpressionFolder<T>): T {
+    return this.value.fold(folder);
+  }
+
+  collectColumnRefs(): ColumnRef[] {
+    return this.value.collectColumnRefs();
+  }
+
+  collectParamRefs(): AnyParamRef[] {
+    return this.value.collectParamRefs();
+  }
+
+  protected freeze(): void {
+    Object.freeze(this);
+  }
+}
+
+export interface JsonValueProjectionVisitor<R> {
+  codec(projection: CodecJsonValueProjection): R;
+  native(projection: NativeJsonValueProjection): R;
+  document(projection: JsonDocumentProjection): R;
+}
+
+export class CodecJsonValueProjection extends JsonValueProjection {
+  readonly kind = 'codec' as const;
+  readonly codec: CodecRef;
+
+  constructor(value: ProjectionExpr, codec: CodecRef) {
+    super(value);
+    this.codec = frozenCodecRef(codec);
+    this.freeze();
+  }
+
+  override accept<R>(visitor: JsonValueProjectionVisitor<R>): R {
+    return visitor.codec(this);
+  }
+
+  override rewrite(rewriter: ExpressionRewriter): CodecJsonValueProjection {
+    return new CodecJsonValueProjection(this.value.rewrite(rewriter), this.codec);
+  }
+}
+
+export class NativeJsonValueProjection extends JsonValueProjection {
+  readonly kind = 'native' as const;
+
+  constructor(value: ProjectionExpr) {
+    super(value);
+    this.freeze();
+  }
+
+  override accept<R>(visitor: JsonValueProjectionVisitor<R>): R {
+    return visitor.native(this);
+  }
+
+  override rewrite(rewriter: ExpressionRewriter): NativeJsonValueProjection {
+    return new NativeJsonValueProjection(this.value.rewrite(rewriter));
+  }
+}
+
+export class JsonDocumentProjection extends JsonValueProjection {
+  readonly kind = 'document' as const;
+
+  constructor(value: ProjectionExpr) {
+    super(value);
+    this.freeze();
+  }
+
+  override accept<R>(visitor: JsonValueProjectionVisitor<R>): R {
+    return visitor.document(this);
+  }
+
+  override rewrite(rewriter: ExpressionRewriter): JsonDocumentProjection {
+    return new JsonDocumentProjection(this.value.rewrite(rewriter));
+  }
+}
+
+export type AnyJsonValueProjection =
+  | CodecJsonValueProjection
+  | NativeJsonValueProjection
+  | JsonDocumentProjection;

package/src/ast/sql-codec-helpers.ts

@@ -5,6 +5,7 @@
  */
 
 import type { JsonValue } from '@prisma-next/contract/types';
+import { structuredError } from '@prisma-next/utils/structured-error';
 
 export const SQL_CHAR_CODEC_ID = 'sql/char@1' as const;
 export const SQL_VARCHAR_CODEC_ID = 'sql/varchar@1' as const;
@@ -19,8 +20,10 @@ export const sqlCharRenderOutputType = (typeParams: { readonly length?: number }
   const length = typeParams.length;
   if (length === undefined) return undefined;
   if (typeof length !== 'number' || !Number.isFinite(length) || !Number.isInteger(length)) {
-    throw new Error(
+    throw structuredError(
+      'RUNTIME.TYPE_PARAMS_INVALID',
       `renderOutputType: expected integer "length" in typeParams for Char, got ${String(length)}`,
+      { meta: { codec: SQL_CHAR_CODEC_ID, param: 'length', received: String(length) } },
     );
   }
   return `Char<${length}>`;
@@ -32,8 +35,10 @@ export const sqlVarcharRenderOutputType = (typeParams: { readonly length?: numbe
   const length = typeParams.length;
   if (length === undefined) return undefined;
   if (typeof length !== 'number' || !Number.isFinite(length) || !Number.isInteger(length)) {
-    throw new Error(
+    throw structuredError(
+      'RUNTIME.TYPE_PARAMS_INVALID',
       `renderOutputType: expected integer "length" in typeParams for Varchar, got ${String(length)}`,
+      { meta: { codec: SQL_VARCHAR_CODEC_ID, param: 'length', received: String(length) } },
     );
   }
   return `Varchar<${length}>`;
@@ -53,11 +58,19 @@ export const sqlTimestampDecode = (wire: Date): Date => wire;
 export const sqlTimestampEncodeJson = (value: Date): JsonValue => value.toISOString();
 export const sqlTimestampDecodeJson = (json: JsonValue): Date => {
   if (typeof json !== 'string') {
-    throw new Error(`Expected ISO date string for sql/timestamp@1, got ${typeof json}`);
+    throw structuredError(
+      'RUNTIME.DECODE_FAILED',
+      `Expected ISO date string for sql/timestamp@1, got ${typeof json}`,
+      { meta: { codec: SQL_TIMESTAMP_CODEC_ID } },
+    );
   }
   const date = new Date(json);
   if (Number.isNaN(date.getTime())) {
-    throw new Error(`Invalid ISO date string for sql/timestamp@1: ${json}`);
+    throw structuredError(
+      'RUNTIME.DECODE_FAILED',
+      `Invalid ISO date string for sql/timestamp@1: ${json}`,
+      { meta: { codec: SQL_TIMESTAMP_CODEC_ID } },
+    );
   }
   return date;
 };
@@ -71,8 +84,10 @@ export const sqlTimestampRenderOutputType = (typeParams: { readonly precision?:
     !Number.isFinite(precision) ||
     !Number.isInteger(precision)
   ) {
-    throw new Error(
+    throw structuredError(
+      'RUNTIME.TYPE_PARAMS_INVALID',
       `renderOutputType: expected integer "precision" in typeParams for Timestamp, got ${String(precision)}`,
+      { meta: { codec: SQL_TIMESTAMP_CODEC_ID, param: 'precision', received: String(precision) } },
     );
   }
   return `Timestamp<${precision}>`;