@prisma-next/sql-relational-core 0.3.0-pr.106.2 → 0.3.0-pr.106.3

package/dist/{chunk-RRFFQFSY.js → chunk-4WKZQIDS.js}

@@ -181,7 +181,8 @@ function schema(context) {
       proxiedTable
     );
   }
-  return Object.freeze({ tables });
+  const types = context.types ?? {};
+  return Object.freeze({ tables, types });
 }
 
 export {
@@ -189,4 +190,4 @@ export {
   TableBuilderImpl,
   schema
 };
-//# sourceMappingURL=chunk-RRFFQFSY.js.map
+//# sourceMappingURL=chunk-4WKZQIDS.js.map

package/dist/{chunk-RRFFQFSY.js.map → chunk-4WKZQIDS.js.map}

@@ -1 +1 @@
-{"version":3,"sources":["../src/schema.ts"],"sourcesContent":["import type { OperationRegistry } from '@prisma-next/operations';\nimport { planInvalid } from '@prisma-next/plan';\nimport type {\n  ExtractCodecTypes,\n  ExtractOperationTypes,\n  SqlContract,\n  SqlStorage,\n  StorageColumn,\n} from '@prisma-next/sql-contract/types';\nimport type { BinaryOp, ColumnRef, ExpressionSource, TableRef } from './ast/types';\nimport { attachOperationsToColumnBuilder } from './operations-registry';\nimport type { QueryLaneContext } from './query-lane-context';\nimport type {\n  BinaryBuilder,\n  CodecTypes as CodecTypesType,\n  ColumnBuilder,\n  ComputeColumnJsType,\n  NullCheckBuilder,\n  OperationTypeSignature,\n  OperationTypes,\n  OrderBuilder,\n  ParamPlaceholder,\n} from './types';\n\ntype TableColumns<Table extends { columns: Record<string, StorageColumn> }> = Table['columns'];\n\ntype ColumnBuilders<\n  Contract extends SqlContract<SqlStorage>,\n  TableName extends string,\n  Columns extends Record<string, StorageColumn>,\n  CodecTypes extends CodecTypesType,\n  Operations extends OperationTypes,\n> = {\n  readonly [K in keyof Columns]: ColumnBuilder<\n    K & string,\n    Columns[K],\n    ComputeColumnJsType<Contract, TableName, K & string, Columns[K], CodecTypes>,\n    Operations\n  >;\n};\n\nexport class ColumnBuilderImpl<\n  ColumnName extends string,\n  ColumnMeta extends StorageColumn,\n  JsType = unknown,\n> implements ExpressionSource\n{\n  readonly kind = 'column' as const;\n\n  constructor(\n    readonly table: string,\n    readonly column: ColumnName,\n    private readonly storageColumn: ColumnMeta,\n  ) {}\n\n  get columnMeta(): ColumnMeta {\n    return this.storageColumn;\n  }\n\n  // Type-level helper property (not used at runtime)\n  get __jsType(): JsType {\n    return undefined as unknown as JsType;\n  }\n\n  /**\n   * Converts this column builder to a ColumnRef expression.\n   * This is the canonical way to get an AST node from a builder.\n   */\n  toExpr(): ColumnRef {\n    return Object.freeze({\n      kind: 'col' as const,\n      table: this.table,\n      column: this.column,\n    });\n  }\n\n  private createBinaryBuilder(\n    op: BinaryOp,\n    value: ParamPlaceholder | ExpressionSource,\n  ): BinaryBuilder<ColumnName, ColumnMeta, JsType> {\n    if (value == null) {\n      throw planInvalid(\n        'Parameter placeholder or expression source required for column comparison',\n      );\n    }\n    // Check for ExpressionSource first (has toExpr method)\n    if ('toExpr' in value && typeof value.toExpr === 'function') {\n      return Object.freeze({\n        kind: 'binary' as const,\n        op,\n        left: this.toExpr(),\n        right: value,\n      }) as BinaryBuilder<ColumnName, ColumnMeta, JsType>;\n    }\n    // Must be a ParamPlaceholder\n    if ('kind' in value && value.kind === 'param-placeholder') {\n      return Object.freeze({\n        kind: 'binary' as const,\n        op,\n        left: this.toExpr(),\n        right: value,\n      }) as BinaryBuilder<ColumnName, ColumnMeta, JsType>;\n    }\n    throw planInvalid('Parameter placeholder or expression source required for column comparison');\n  }\n\n  eq(value: ParamPlaceholder | ExpressionSource): BinaryBuilder<ColumnName, ColumnMeta, JsType> {\n    return this.createBinaryBuilder('eq', value);\n  }\n\n  neq(value: ParamPlaceholder | ExpressionSource): BinaryBuilder<ColumnName, ColumnMeta, JsType> {\n    return this.createBinaryBuilder('neq', value);\n  }\n\n  gt(value: ParamPlaceholder | ExpressionSource): BinaryBuilder<ColumnName, ColumnMeta, JsType> {\n    return this.createBinaryBuilder('gt', value);\n  }\n\n  lt(value: ParamPlaceholder | ExpressionSource): BinaryBuilder<ColumnName, ColumnMeta, JsType> {\n    return this.createBinaryBuilder('lt', value);\n  }\n\n  gte(value: ParamPlaceholder | ExpressionSource): BinaryBuilder<ColumnName, ColumnMeta, JsType> {\n    return this.createBinaryBuilder('gte', value);\n  }\n\n  lte(value: ParamPlaceholder | ExpressionSource): BinaryBuilder<ColumnName, ColumnMeta, JsType> {\n    return this.createBinaryBuilder('lte', value);\n  }\n\n  asc(): OrderBuilder<ColumnName, ColumnMeta, JsType> {\n    return Object.freeze({\n      kind: 'order' as const,\n      expr: this.toExpr(),\n      dir: 'asc' as const,\n    }) as OrderBuilder<ColumnName, ColumnMeta, JsType>;\n  }\n\n  desc(): OrderBuilder<ColumnName, ColumnMeta, JsType> {\n    return Object.freeze({\n      kind: 'order' as const,\n      expr: this.toExpr(),\n      dir: 'desc' as const,\n    }) as OrderBuilder<ColumnName, ColumnMeta, JsType>;\n  }\n\n  /**\n   * Creates an IS NULL check for this column.\n   * Available on all columns at runtime, but typed to only be visible on nullable columns.\n   */\n  isNull(): NullCheckBuilder<ColumnName, ColumnMeta, JsType> {\n    return Object.freeze({\n      kind: 'nullCheck' as const,\n      expr: this.toExpr(),\n      isNull: true,\n    }) as NullCheckBuilder<ColumnName, ColumnMeta, JsType>;\n  }\n\n  /**\n   * Creates an IS NOT NULL check for this column.\n   * Available on all columns at runtime, but typed to only be visible on nullable columns.\n   */\n  isNotNull(): NullCheckBuilder<ColumnName, ColumnMeta, JsType> {\n    return Object.freeze({\n      kind: 'nullCheck' as const,\n      expr: this.toExpr(),\n      isNull: false,\n    }) as NullCheckBuilder<ColumnName, ColumnMeta, JsType>;\n  }\n}\n\nexport class TableBuilderImpl<\n  Contract extends SqlContract<SqlStorage>,\n  TableName extends string,\n  Columns extends Record<string, StorageColumn>,\n  CodecTypes extends CodecTypesType,\n  Operations extends OperationTypes,\n> implements TableRef\n{\n  readonly kind = 'table' as const;\n  readonly columns: ColumnBuilders<Contract, TableName, Columns, CodecTypes, Operations>;\n  private readonly _name: TableName;\n\n  constructor(\n    name: TableName,\n    columns: ColumnBuilders<Contract, TableName, Columns, CodecTypes, Operations>,\n  ) {\n    this._name = name;\n    this.columns = columns;\n  }\n\n  get name(): string {\n    return this._name;\n  }\n}\n\nfunction buildColumns<\n  Contract extends SqlContract<SqlStorage>,\n  TableName extends keyof Contract['storage']['tables'] & string,\n  CodecTypes extends CodecTypesType,\n  Operations extends OperationTypes,\n>(\n  tableName: TableName,\n  storage: SqlStorage,\n  _contract: Contract,\n  operationRegistry?: OperationRegistry,\n  contractCapabilities?: Record<string, Record<string, boolean>>,\n): ColumnBuilders<\n  Contract,\n  TableName,\n  Contract['storage']['tables'][TableName]['columns'],\n  CodecTypes,\n  Operations\n> {\n  const table = storage.tables[tableName];\n\n  if (!table) {\n    throw planInvalid(`Unknown table ${tableName}`);\n  }\n\n  type Columns = Contract['storage']['tables'][TableName]['columns'];\n  const tableColumns = table.columns as Columns;\n\n  const result = {} as {\n    [K in keyof Columns]: ColumnBuilder<\n      K & string,\n      Columns[K],\n      ComputeColumnJsType<Contract, TableName, K & string, Columns[K], CodecTypes>,\n      Operations\n    >;\n  };\n\n  const assignColumn = <ColumnKey extends keyof Columns & string>(\n    columnName: ColumnKey,\n    columnDef: Columns[ColumnKey],\n  ) => {\n    type JsType = ComputeColumnJsType<\n      Contract,\n      TableName,\n      ColumnKey,\n      Columns[ColumnKey],\n      CodecTypes\n    >;\n\n    const columnBuilder = new ColumnBuilderImpl<ColumnKey, Columns[ColumnKey], JsType>(\n      tableName,\n      columnName,\n      columnDef,\n    );\n\n    const builderWithOps = attachOperationsToColumnBuilder<\n      ColumnKey,\n      Columns[ColumnKey],\n      JsType,\n      Operations\n    >(\n      columnBuilder as unknown as ColumnBuilder<\n        ColumnKey,\n        Columns[ColumnKey],\n        JsType,\n        Record<string, never>\n      >,\n      columnDef,\n      operationRegistry,\n      contractCapabilities,\n    );\n\n    (result as Record<string, unknown>)[columnName] = builderWithOps;\n  };\n\n  for (const columnName of Object.keys(tableColumns) as Array<keyof Columns & string>) {\n    const columnDef = tableColumns[columnName];\n    if (!columnDef) continue;\n    assignColumn(columnName, columnDef);\n  }\n\n  return result as ColumnBuilders<Contract, TableName, Columns, CodecTypes, Operations>;\n}\n\n/**\n * Creates a Proxy that enables accessing table columns directly on the table object,\n * in addition to the standard `table.columns.columnName` syntax.\n *\n * This allows both access patterns:\n * - `tables.user.columns.id` (standard access)\n * - `tables.user.id` (convenience access via proxy)\n *\n * The proxy intercepts property access and routes column name lookups to\n * `table.columns[prop]`, while preserving direct access to table properties\n * like `name`, `kind`, and `columns`.\n */\nfunction createTableProxy<\n  Contract extends SqlContract<SqlStorage>,\n  TableName extends string,\n  Columns extends Record<string, StorageColumn>,\n  CodecTypes extends CodecTypesType,\n  Operations extends OperationTypes,\n>(\n  table: TableBuilderImpl<Contract, TableName, Columns, CodecTypes, Operations>,\n): TableBuilderImpl<Contract, TableName, Columns, CodecTypes, Operations> {\n  return new Proxy(table, {\n    get(target, prop) {\n      if (prop === 'name' || prop === 'kind' || prop === 'columns') {\n        return Reflect.get(target, prop);\n      }\n      if (typeof prop === 'string' && prop in target.columns) {\n        return target.columns[prop as keyof typeof target.columns];\n      }\n      return undefined;\n    },\n  });\n}\n\ntype ExtractSchemaTables<\n  Contract extends SqlContract<SqlStorage>,\n  CodecTypes extends CodecTypesType,\n  Operations extends OperationTypes,\n> = {\n  readonly [TableName in keyof Contract['storage']['tables']]: TableBuilderImpl<\n    Contract,\n    TableName & string,\n    TableColumns<Contract['storage']['tables'][TableName]>,\n    CodecTypes,\n    Operations\n  > &\n    TableRef;\n};\n\nexport type SchemaHandle<\n  Contract extends SqlContract<SqlStorage> = SqlContract<SqlStorage>,\n  CodecTypes extends CodecTypesType = CodecTypesType,\n  Operations extends OperationTypes = Record<string, never>,\n> = {\n  readonly tables: ExtractSchemaTables<Contract, CodecTypes, Operations>;\n};\n\ntype SchemaReturnType<Contract extends SqlContract<SqlStorage>> = SchemaHandle<\n  Contract,\n  ExtractCodecTypes<Contract>,\n  ToOperationTypes<ExtractOperationTypes<Contract>>\n>;\n\ntype NormalizeOperationTypes<T> = {\n  [TypeId in keyof T]: {\n    [Method in keyof T[TypeId]]: T[TypeId][Method] extends OperationTypeSignature\n      ? T[TypeId][Method]\n      : OperationTypeSignature;\n  };\n};\n\ntype ToOperationTypes<T> = T extends OperationTypes ? T : NormalizeOperationTypes<T>;\n\n/**\n * Creates a schema handle for building SQL queries.\n *\n * @param context - Query lane context containing contract, codec and operation registries\n * @returns A schema handle with typed table builders\n *\n * @example\n * ```typescript\n * const schemaHandle = schema<Contract>(context);\n * const userTable = schemaHandle.tables.user;\n * ```\n */\nexport function schema<Contract extends SqlContract<SqlStorage>>(\n  context: QueryLaneContext<Contract>,\n): SchemaReturnType<Contract> {\n  const contract = context.contract;\n  const storage = contract.storage;\n  type CodecTypes = ExtractCodecTypes<Contract>;\n  type Operations = ToOperationTypes<ExtractOperationTypes<Contract>>;\n  const tables = {} as ExtractSchemaTables<Contract, CodecTypes, Operations>;\n  const contractCapabilities = contract.capabilities;\n\n  const operationRegistry = context.operations;\n\n  for (const tableName of Object.keys(storage.tables) as Array<\n    keyof Contract['storage']['tables'] & string\n  >) {\n    const columns = buildColumns<Contract, typeof tableName, CodecTypes, Operations>(\n      tableName,\n      storage,\n      contract,\n      operationRegistry,\n      contractCapabilities,\n    );\n    const table = new TableBuilderImpl<\n      Contract,\n      typeof tableName & string,\n      Contract['storage']['tables'][typeof tableName]['columns'],\n      CodecTypes,\n      Operations\n    >(tableName, columns);\n    const proxiedTable = createTableProxy<\n      Contract,\n      typeof tableName & string,\n      Contract['storage']['tables'][typeof tableName]['columns'],\n      CodecTypes,\n      Operations\n    >(table);\n    (tables as Record<string, unknown>)[tableName] = Object.freeze(\n      proxiedTable,\n    ) as ExtractSchemaTables<Contract, CodecTypes, Operations>[typeof tableName];\n  }\n\n  return Object.freeze({ tables }) as SchemaReturnType<Contract>;\n}\n\nexport type { ColumnBuilderImpl as Column, TableBuilderImpl as Table };\n"],"mappings":";;;;;AACA,SAAS,mBAAmB;AAwCrB,IAAM,oBAAN,MAKP;AAAA,EAGE,YACW,OACA,QACQ,eACjB;AAHS;AACA;AACQ;AAAA,EAChB;AAAA,EANM,OAAO;AAAA,EAQhB,IAAI,aAAyB;AAC3B,WAAO,KAAK;AAAA,EACd;AAAA;AAAA,EAGA,IAAI,WAAmB;AACrB,WAAO;AAAA,EACT;AAAA;AAAA;AAAA;AAAA;AAAA,EAMA,SAAoB;AAClB,WAAO,OAAO,OAAO;AAAA,MACnB,MAAM;AAAA,MACN,OAAO,KAAK;AAAA,MACZ,QAAQ,KAAK;AAAA,IACf,CAAC;AAAA,EACH;AAAA,EAEQ,oBACN,IACA,OAC+C;AAC/C,QAAI,SAAS,MAAM;AACjB,YAAM;AAAA,QACJ;AAAA,MACF;AAAA,IACF;AAEA,QAAI,YAAY,SAAS,OAAO,MAAM,WAAW,YAAY;AAC3D,aAAO,OAAO,OAAO;AAAA,QACnB,MAAM;AAAA,QACN;AAAA,QACA,MAAM,KAAK,OAAO;AAAA,QAClB,OAAO;AAAA,MACT,CAAC;AAAA,IACH;AAEA,QAAI,UAAU,SAAS,MAAM,SAAS,qBAAqB;AACzD,aAAO,OAAO,OAAO;AAAA,QACnB,MAAM;AAAA,QACN;AAAA,QACA,MAAM,KAAK,OAAO;AAAA,QAClB,OAAO;AAAA,MACT,CAAC;AAAA,IACH;AACA,UAAM,YAAY,2EAA2E;AAAA,EAC/F;AAAA,EAEA,GAAG,OAA2F;AAC5F,WAAO,KAAK,oBAAoB,MAAM,KAAK;AAAA,EAC7C;AAAA,EAEA,IAAI,OAA2F;AAC7F,WAAO,KAAK,oBAAoB,OAAO,KAAK;AAAA,EAC9C;AAAA,EAEA,GAAG,OAA2F;AAC5F,WAAO,KAAK,oBAAoB,MAAM,KAAK;AAAA,EAC7C;AAAA,EAEA,GAAG,OAA2F;AAC5F,WAAO,KAAK,oBAAoB,MAAM,KAAK;AAAA,EAC7C;AAAA,EAEA,IAAI,OAA2F;AAC7F,WAAO,KAAK,oBAAoB,OAAO,KAAK;AAAA,EAC9C;AAAA,EAEA,IAAI,OAA2F;AAC7F,WAAO,KAAK,oBAAoB,OAAO,KAAK;AAAA,EAC9C;AAAA,EAEA,MAAoD;AAClD,WAAO,OAAO,OAAO;AAAA,MACnB,MAAM;AAAA,MACN,MAAM,KAAK,OAAO;AAAA,MAClB,KAAK;AAAA,IACP,CAAC;AAAA,EACH;AAAA,EAEA,OAAqD;AACnD,WAAO,OAAO,OAAO;AAAA,MACnB,MAAM;AAAA,MACN,MAAM,KAAK,OAAO;AAAA,MAClB,KAAK;AAAA,IACP,CAAC;AAAA,EACH;AAAA;AAAA;AAAA;AAAA;AAAA,EAMA,SAA2D;AACzD,WAAO,OAAO,OAAO;AAAA,MACnB,MAAM;AAAA,MACN,MAAM,KAAK,OAAO;AAAA,MAClB,QAAQ;AAAA,IACV,CAAC;AAAA,EACH;AAAA;AAAA;AAAA;AAAA;AAAA,EAMA,YAA8D;AAC5D,WAAO,OAAO,OAAO;AAAA,MACnB,MAAM;AAAA,MACN,MAAM,KAAK,OAAO;AAAA,MAClB,QAAQ;AAAA,IACV,CAAC;AAAA,EACH;AACF;AAEO,IAAM,mBAAN,MAOP;AAAA,EACW,OAAO;AAAA,EACP;AAAA,EACQ;AAAA,EAEjB,YACE,MACA,SACA;AACA,SAAK,QAAQ;AACb,SAAK,UAAU;AAAA,EACjB;AAAA,EAEA,IAAI,OAAe;AACjB,WAAO,KAAK;AAAA,EACd;AACF;AAEA,SAAS,aAMP,WACA,SACA,WACA,mBACA,sBAOA;AACA,QAAM,QAAQ,QAAQ,OAAO,SAAS;AAEtC,MAAI,CAAC,OAAO;AACV,UAAM,YAAY,iBAAiB,SAAS,EAAE;AAAA,EAChD;AAGA,QAAM,eAAe,MAAM;AAE3B,QAAM,SAAS,CAAC;AAShB,QAAM,eAAe,CACnB,YACA,cACG;AASH,UAAM,gBAAgB,IAAI;AAAA,MACxB;AAAA,MACA;AAAA,MACA;AAAA,IACF;AAEA,UAAM,iBAAiB;AAAA,MAMrB;AAAA,MAMA;AAAA,MACA;AAAA,MACA;AAAA,IACF;AAEA,IAAC,OAAmC,UAAU,IAAI;AAAA,EACpD;AAEA,aAAW,cAAc,OAAO,KAAK,YAAY,GAAoC;AACnF,UAAM,YAAY,aAAa,UAAU;AACzC,QAAI,CAAC,UAAW;AAChB,iBAAa,YAAY,SAAS;AAAA,EACpC;AAEA,SAAO;AACT;AAcA,SAAS,iBAOP,OACwE;AACxE,SAAO,IAAI,MAAM,OAAO;AAAA,IACtB,IAAI,QAAQ,MAAM;AAChB,UAAI,SAAS,UAAU,SAAS,UAAU,SAAS,WAAW;AAC5D,eAAO,QAAQ,IAAI,QAAQ,IAAI;AAAA,MACjC;AACA,UAAI,OAAO,SAAS,YAAY,QAAQ,OAAO,SAAS;AACtD,eAAO,OAAO,QAAQ,IAAmC;AAAA,MAC3D;AACA,aAAO;AAAA,IACT;AAAA,EACF,CAAC;AACH;AAqDO,SAAS,OACd,SAC4B;AAC5B,QAAM,WAAW,QAAQ;AACzB,QAAM,UAAU,SAAS;AAGzB,QAAM,SAAS,CAAC;AAChB,QAAM,uBAAuB,SAAS;AAEtC,QAAM,oBAAoB,QAAQ;AAElC,aAAW,aAAa,OAAO,KAAK,QAAQ,MAAM,GAE/C;AACD,UAAM,UAAU;AAAA,MACd;AAAA,MACA;AAAA,MACA;AAAA,MACA;AAAA,MACA;AAAA,IACF;AACA,UAAM,QAAQ,IAAI,iBAMhB,WAAW,OAAO;AACpB,UAAM,eAAe,iBAMnB,KAAK;AACP,IAAC,OAAmC,SAAS,IAAI,OAAO;AAAA,MACtD;AAAA,IACF;AAAA,EACF;AAEA,SAAO,OAAO,OAAO,EAAE,OAAO,CAAC;AACjC;","names":[]}
+{"version":3,"sources":["../src/schema.ts"],"sourcesContent":["import type { OperationRegistry } from '@prisma-next/operations';\nimport { planInvalid } from '@prisma-next/plan';\nimport type {\n  ExtractCodecTypes,\n  ExtractOperationTypes,\n  SqlContract,\n  SqlStorage,\n  StorageColumn,\n} from '@prisma-next/sql-contract/types';\nimport type { BinaryOp, ColumnRef, ExpressionSource, TableRef } from './ast/types';\nimport { attachOperationsToColumnBuilder } from './operations-registry';\nimport type { QueryLaneContext } from './query-lane-context';\nimport type {\n  BinaryBuilder,\n  CodecTypes as CodecTypesType,\n  ColumnBuilder,\n  ComputeColumnJsType,\n  NullCheckBuilder,\n  OperationTypeSignature,\n  OperationTypes,\n  OrderBuilder,\n  ParamPlaceholder,\n} from './types';\n\ntype TableColumns<Table extends { columns: Record<string, StorageColumn> }> = Table['columns'];\n\ntype ColumnBuilders<\n  Contract extends SqlContract<SqlStorage>,\n  TableName extends string,\n  Columns extends Record<string, StorageColumn>,\n  CodecTypes extends CodecTypesType,\n  Operations extends OperationTypes,\n> = {\n  readonly [K in keyof Columns]: ColumnBuilder<\n    K & string,\n    Columns[K],\n    ComputeColumnJsType<Contract, TableName, K & string, Columns[K], CodecTypes>,\n    Operations\n  >;\n};\n\nexport class ColumnBuilderImpl<\n  ColumnName extends string,\n  ColumnMeta extends StorageColumn,\n  JsType = unknown,\n> implements ExpressionSource\n{\n  readonly kind = 'column' as const;\n\n  constructor(\n    readonly table: string,\n    readonly column: ColumnName,\n    private readonly storageColumn: ColumnMeta,\n  ) {}\n\n  get columnMeta(): ColumnMeta {\n    return this.storageColumn;\n  }\n\n  // Type-level helper property (not used at runtime)\n  get __jsType(): JsType {\n    return undefined as unknown as JsType;\n  }\n\n  /**\n   * Converts this column builder to a ColumnRef expression.\n   * This is the canonical way to get an AST node from a builder.\n   */\n  toExpr(): ColumnRef {\n    return Object.freeze({\n      kind: 'col' as const,\n      table: this.table,\n      column: this.column,\n    });\n  }\n\n  private createBinaryBuilder(\n    op: BinaryOp,\n    value: ParamPlaceholder | ExpressionSource,\n  ): BinaryBuilder<ColumnName, ColumnMeta, JsType> {\n    if (value == null) {\n      throw planInvalid(\n        'Parameter placeholder or expression source required for column comparison',\n      );\n    }\n    // Check for ExpressionSource first (has toExpr method)\n    if ('toExpr' in value && typeof value.toExpr === 'function') {\n      return Object.freeze({\n        kind: 'binary' as const,\n        op,\n        left: this.toExpr(),\n        right: value,\n      }) as BinaryBuilder<ColumnName, ColumnMeta, JsType>;\n    }\n    // Must be a ParamPlaceholder\n    if ('kind' in value && value.kind === 'param-placeholder') {\n      return Object.freeze({\n        kind: 'binary' as const,\n        op,\n        left: this.toExpr(),\n        right: value,\n      }) as BinaryBuilder<ColumnName, ColumnMeta, JsType>;\n    }\n    throw planInvalid('Parameter placeholder or expression source required for column comparison');\n  }\n\n  eq(value: ParamPlaceholder | ExpressionSource): BinaryBuilder<ColumnName, ColumnMeta, JsType> {\n    return this.createBinaryBuilder('eq', value);\n  }\n\n  neq(value: ParamPlaceholder | ExpressionSource): BinaryBuilder<ColumnName, ColumnMeta, JsType> {\n    return this.createBinaryBuilder('neq', value);\n  }\n\n  gt(value: ParamPlaceholder | ExpressionSource): BinaryBuilder<ColumnName, ColumnMeta, JsType> {\n    return this.createBinaryBuilder('gt', value);\n  }\n\n  lt(value: ParamPlaceholder | ExpressionSource): BinaryBuilder<ColumnName, ColumnMeta, JsType> {\n    return this.createBinaryBuilder('lt', value);\n  }\n\n  gte(value: ParamPlaceholder | ExpressionSource): BinaryBuilder<ColumnName, ColumnMeta, JsType> {\n    return this.createBinaryBuilder('gte', value);\n  }\n\n  lte(value: ParamPlaceholder | ExpressionSource): BinaryBuilder<ColumnName, ColumnMeta, JsType> {\n    return this.createBinaryBuilder('lte', value);\n  }\n\n  asc(): OrderBuilder<ColumnName, ColumnMeta, JsType> {\n    return Object.freeze({\n      kind: 'order' as const,\n      expr: this.toExpr(),\n      dir: 'asc' as const,\n    }) as OrderBuilder<ColumnName, ColumnMeta, JsType>;\n  }\n\n  desc(): OrderBuilder<ColumnName, ColumnMeta, JsType> {\n    return Object.freeze({\n      kind: 'order' as const,\n      expr: this.toExpr(),\n      dir: 'desc' as const,\n    }) as OrderBuilder<ColumnName, ColumnMeta, JsType>;\n  }\n\n  /**\n   * Creates an IS NULL check for this column.\n   * Available on all columns at runtime, but typed to only be visible on nullable columns.\n   */\n  isNull(): NullCheckBuilder<ColumnName, ColumnMeta, JsType> {\n    return Object.freeze({\n      kind: 'nullCheck' as const,\n      expr: this.toExpr(),\n      isNull: true,\n    }) as NullCheckBuilder<ColumnName, ColumnMeta, JsType>;\n  }\n\n  /**\n   * Creates an IS NOT NULL check for this column.\n   * Available on all columns at runtime, but typed to only be visible on nullable columns.\n   */\n  isNotNull(): NullCheckBuilder<ColumnName, ColumnMeta, JsType> {\n    return Object.freeze({\n      kind: 'nullCheck' as const,\n      expr: this.toExpr(),\n      isNull: false,\n    }) as NullCheckBuilder<ColumnName, ColumnMeta, JsType>;\n  }\n}\n\nexport class TableBuilderImpl<\n  Contract extends SqlContract<SqlStorage>,\n  TableName extends string,\n  Columns extends Record<string, StorageColumn>,\n  CodecTypes extends CodecTypesType,\n  Operations extends OperationTypes,\n> implements TableRef\n{\n  readonly kind = 'table' as const;\n  readonly columns: ColumnBuilders<Contract, TableName, Columns, CodecTypes, Operations>;\n  private readonly _name: TableName;\n\n  constructor(\n    name: TableName,\n    columns: ColumnBuilders<Contract, TableName, Columns, CodecTypes, Operations>,\n  ) {\n    this._name = name;\n    this.columns = columns;\n  }\n\n  get name(): string {\n    return this._name;\n  }\n}\n\nfunction buildColumns<\n  Contract extends SqlContract<SqlStorage>,\n  TableName extends keyof Contract['storage']['tables'] & string,\n  CodecTypes extends CodecTypesType,\n  Operations extends OperationTypes,\n>(\n  tableName: TableName,\n  storage: SqlStorage,\n  _contract: Contract,\n  operationRegistry?: OperationRegistry,\n  contractCapabilities?: Record<string, Record<string, boolean>>,\n): ColumnBuilders<\n  Contract,\n  TableName,\n  Contract['storage']['tables'][TableName]['columns'],\n  CodecTypes,\n  Operations\n> {\n  const table = storage.tables[tableName];\n\n  if (!table) {\n    throw planInvalid(`Unknown table ${tableName}`);\n  }\n\n  type Columns = Contract['storage']['tables'][TableName]['columns'];\n  const tableColumns = table.columns as Columns;\n\n  const result = {} as {\n    [K in keyof Columns]: ColumnBuilder<\n      K & string,\n      Columns[K],\n      ComputeColumnJsType<Contract, TableName, K & string, Columns[K], CodecTypes>,\n      Operations\n    >;\n  };\n\n  const assignColumn = <ColumnKey extends keyof Columns & string>(\n    columnName: ColumnKey,\n    columnDef: Columns[ColumnKey],\n  ) => {\n    type JsType = ComputeColumnJsType<\n      Contract,\n      TableName,\n      ColumnKey,\n      Columns[ColumnKey],\n      CodecTypes\n    >;\n\n    const columnBuilder = new ColumnBuilderImpl<ColumnKey, Columns[ColumnKey], JsType>(\n      tableName,\n      columnName,\n      columnDef,\n    );\n\n    const builderWithOps = attachOperationsToColumnBuilder<\n      ColumnKey,\n      Columns[ColumnKey],\n      JsType,\n      Operations\n    >(\n      columnBuilder as unknown as ColumnBuilder<\n        ColumnKey,\n        Columns[ColumnKey],\n        JsType,\n        Record<string, never>\n      >,\n      columnDef,\n      operationRegistry,\n      contractCapabilities,\n    );\n\n    (result as Record<string, unknown>)[columnName] = builderWithOps;\n  };\n\n  for (const columnName of Object.keys(tableColumns) as Array<keyof Columns & string>) {\n    const columnDef = tableColumns[columnName];\n    if (!columnDef) continue;\n    assignColumn(columnName, columnDef);\n  }\n\n  return result as ColumnBuilders<Contract, TableName, Columns, CodecTypes, Operations>;\n}\n\n/**\n * Creates a Proxy that enables accessing table columns directly on the table object,\n * in addition to the standard `table.columns.columnName` syntax.\n *\n * This allows both access patterns:\n * - `tables.user.columns.id` (standard access)\n * - `tables.user.id` (convenience access via proxy)\n *\n * The proxy intercepts property access and routes column name lookups to\n * `table.columns[prop]`, while preserving direct access to table properties\n * like `name`, `kind`, and `columns`.\n */\nfunction createTableProxy<\n  Contract extends SqlContract<SqlStorage>,\n  TableName extends string,\n  Columns extends Record<string, StorageColumn>,\n  CodecTypes extends CodecTypesType,\n  Operations extends OperationTypes,\n>(\n  table: TableBuilderImpl<Contract, TableName, Columns, CodecTypes, Operations>,\n): TableBuilderImpl<Contract, TableName, Columns, CodecTypes, Operations> {\n  return new Proxy(table, {\n    get(target, prop) {\n      if (prop === 'name' || prop === 'kind' || prop === 'columns') {\n        return Reflect.get(target, prop);\n      }\n      if (typeof prop === 'string' && prop in target.columns) {\n        return target.columns[prop as keyof typeof target.columns];\n      }\n      return undefined;\n    },\n  });\n}\n\ntype ExtractSchemaTables<\n  Contract extends SqlContract<SqlStorage>,\n  CodecTypes extends CodecTypesType,\n  Operations extends OperationTypes,\n> = {\n  readonly [TableName in keyof Contract['storage']['tables']]: TableBuilderImpl<\n    Contract,\n    TableName & string,\n    TableColumns<Contract['storage']['tables'][TableName]>,\n    CodecTypes,\n    Operations\n  > &\n    TableRef;\n};\n\n/**\n * Extracts the types registry shape from a contract.\n * Each key is a type name from storage.types, and the value preserves the\n * literal type from the contract (including codecId, nativeType, and typeParams).\n * Returns an empty object type {} when storage.types is undefined.\n */\ntype ExtractSchemaTypes<Contract extends SqlContract<SqlStorage>> =\n  Contract['storage']['types'] extends infer Types\n    ? Types extends Record<string, unknown>\n      ? { readonly [TypeName in keyof Types]: Types[TypeName] }\n      : Record<string, never>\n    : Record<string, never>;\n\nexport type SchemaHandle<\n  Contract extends SqlContract<SqlStorage> = SqlContract<SqlStorage>,\n  CodecTypes extends CodecTypesType = CodecTypesType,\n  Operations extends OperationTypes = Record<string, never>,\n> = {\n  readonly tables: ExtractSchemaTables<Contract, CodecTypes, Operations>;\n  /**\n   * Initialized type helpers from storage.types.\n   * Each entry corresponds to a named type instance in the contract's storage.types.\n   */\n  readonly types: ExtractSchemaTypes<Contract>;\n};\n\ntype SchemaReturnType<Contract extends SqlContract<SqlStorage>> = SchemaHandle<\n  Contract,\n  ExtractCodecTypes<Contract>,\n  ToOperationTypes<ExtractOperationTypes<Contract>>\n>;\n\ntype NormalizeOperationTypes<T> = {\n  [TypeId in keyof T]: {\n    [Method in keyof T[TypeId]]: T[TypeId][Method] extends OperationTypeSignature\n      ? T[TypeId][Method]\n      : OperationTypeSignature;\n  };\n};\n\ntype ToOperationTypes<T> = T extends OperationTypes ? T : NormalizeOperationTypes<T>;\n\n/**\n * Creates a schema handle for building SQL queries.\n *\n * @param context - Query lane context containing contract, codec and operation registries\n * @returns A schema handle with typed table builders and type helpers\n *\n * @example\n * ```typescript\n * const schemaHandle = schema<Contract>(context);\n * const userTable = schemaHandle.tables.user;\n * const vectorType = schemaHandle.types.Vector1536;\n * ```\n */\nexport function schema<Contract extends SqlContract<SqlStorage>>(\n  context: QueryLaneContext<Contract>,\n): SchemaReturnType<Contract> {\n  const contract = context.contract;\n  const storage = contract.storage;\n  type CodecTypes = ExtractCodecTypes<Contract>;\n  type Operations = ToOperationTypes<ExtractOperationTypes<Contract>>;\n  const tables = {} as ExtractSchemaTables<Contract, CodecTypes, Operations>;\n  const contractCapabilities = contract.capabilities;\n\n  const operationRegistry = context.operations;\n\n  for (const tableName of Object.keys(storage.tables) as Array<\n    keyof Contract['storage']['tables'] & string\n  >) {\n    const columns = buildColumns<Contract, typeof tableName, CodecTypes, Operations>(\n      tableName,\n      storage,\n      contract,\n      operationRegistry,\n      contractCapabilities,\n    );\n    const table = new TableBuilderImpl<\n      Contract,\n      typeof tableName & string,\n      Contract['storage']['tables'][typeof tableName]['columns'],\n      CodecTypes,\n      Operations\n    >(tableName, columns);\n    const proxiedTable = createTableProxy<\n      Contract,\n      typeof tableName & string,\n      Contract['storage']['tables'][typeof tableName]['columns'],\n      CodecTypes,\n      Operations\n    >(table);\n    (tables as Record<string, unknown>)[tableName] = Object.freeze(\n      proxiedTable,\n    ) as ExtractSchemaTables<Contract, CodecTypes, Operations>[typeof tableName];\n  }\n\n  // Get type helpers from context (populated by createRuntimeContext)\n  const types = (context.types ?? {}) as ExtractSchemaTypes<Contract>;\n\n  return Object.freeze({ tables, types }) as SchemaReturnType<Contract>;\n}\n\nexport type { ColumnBuilderImpl as Column, TableBuilderImpl as Table };\n"],"mappings":";;;;;AACA,SAAS,mBAAmB;AAwCrB,IAAM,oBAAN,MAKP;AAAA,EAGE,YACW,OACA,QACQ,eACjB;AAHS;AACA;AACQ;AAAA,EAChB;AAAA,EANM,OAAO;AAAA,EAQhB,IAAI,aAAyB;AAC3B,WAAO,KAAK;AAAA,EACd;AAAA;AAAA,EAGA,IAAI,WAAmB;AACrB,WAAO;AAAA,EACT;AAAA;AAAA;AAAA;AAAA;AAAA,EAMA,SAAoB;AAClB,WAAO,OAAO,OAAO;AAAA,MACnB,MAAM;AAAA,MACN,OAAO,KAAK;AAAA,MACZ,QAAQ,KAAK;AAAA,IACf,CAAC;AAAA,EACH;AAAA,EAEQ,oBACN,IACA,OAC+C;AAC/C,QAAI,SAAS,MAAM;AACjB,YAAM;AAAA,QACJ;AAAA,MACF;AAAA,IACF;AAEA,QAAI,YAAY,SAAS,OAAO,MAAM,WAAW,YAAY;AAC3D,aAAO,OAAO,OAAO;AAAA,QACnB,MAAM;AAAA,QACN;AAAA,QACA,MAAM,KAAK,OAAO;AAAA,QAClB,OAAO;AAAA,MACT,CAAC;AAAA,IACH;AAEA,QAAI,UAAU,SAAS,MAAM,SAAS,qBAAqB;AACzD,aAAO,OAAO,OAAO;AAAA,QACnB,MAAM;AAAA,QACN;AAAA,QACA,MAAM,KAAK,OAAO;AAAA,QAClB,OAAO;AAAA,MACT,CAAC;AAAA,IACH;AACA,UAAM,YAAY,2EAA2E;AAAA,EAC/F;AAAA,EAEA,GAAG,OAA2F;AAC5F,WAAO,KAAK,oBAAoB,MAAM,KAAK;AAAA,EAC7C;AAAA,EAEA,IAAI,OAA2F;AAC7F,WAAO,KAAK,oBAAoB,OAAO,KAAK;AAAA,EAC9C;AAAA,EAEA,GAAG,OAA2F;AAC5F,WAAO,KAAK,oBAAoB,MAAM,KAAK;AAAA,EAC7C;AAAA,EAEA,GAAG,OAA2F;AAC5F,WAAO,KAAK,oBAAoB,MAAM,KAAK;AAAA,EAC7C;AAAA,EAEA,IAAI,OAA2F;AAC7F,WAAO,KAAK,oBAAoB,OAAO,KAAK;AAAA,EAC9C;AAAA,EAEA,IAAI,OAA2F;AAC7F,WAAO,KAAK,oBAAoB,OAAO,KAAK;AAAA,EAC9C;AAAA,EAEA,MAAoD;AAClD,WAAO,OAAO,OAAO;AAAA,MACnB,MAAM;AAAA,MACN,MAAM,KAAK,OAAO;AAAA,MAClB,KAAK;AAAA,IACP,CAAC;AAAA,EACH;AAAA,EAEA,OAAqD;AACnD,WAAO,OAAO,OAAO;AAAA,MACnB,MAAM;AAAA,MACN,MAAM,KAAK,OAAO;AAAA,MAClB,KAAK;AAAA,IACP,CAAC;AAAA,EACH;AAAA;AAAA;AAAA;AAAA;AAAA,EAMA,SAA2D;AACzD,WAAO,OAAO,OAAO;AAAA,MACnB,MAAM;AAAA,MACN,MAAM,KAAK,OAAO;AAAA,MAClB,QAAQ;AAAA,IACV,CAAC;AAAA,EACH;AAAA;AAAA;AAAA;AAAA;AAAA,EAMA,YAA8D;AAC5D,WAAO,OAAO,OAAO;AAAA,MACnB,MAAM;AAAA,MACN,MAAM,KAAK,OAAO;AAAA,MAClB,QAAQ;AAAA,IACV,CAAC;AAAA,EACH;AACF;AAEO,IAAM,mBAAN,MAOP;AAAA,EACW,OAAO;AAAA,EACP;AAAA,EACQ;AAAA,EAEjB,YACE,MACA,SACA;AACA,SAAK,QAAQ;AACb,SAAK,UAAU;AAAA,EACjB;AAAA,EAEA,IAAI,OAAe;AACjB,WAAO,KAAK;AAAA,EACd;AACF;AAEA,SAAS,aAMP,WACA,SACA,WACA,mBACA,sBAOA;AACA,QAAM,QAAQ,QAAQ,OAAO,SAAS;AAEtC,MAAI,CAAC,OAAO;AACV,UAAM,YAAY,iBAAiB,SAAS,EAAE;AAAA,EAChD;AAGA,QAAM,eAAe,MAAM;AAE3B,QAAM,SAAS,CAAC;AAShB,QAAM,eAAe,CACnB,YACA,cACG;AASH,UAAM,gBAAgB,IAAI;AAAA,MACxB;AAAA,MACA;AAAA,MACA;AAAA,IACF;AAEA,UAAM,iBAAiB;AAAA,MAMrB;AAAA,MAMA;AAAA,MACA;AAAA,MACA;AAAA,IACF;AAEA,IAAC,OAAmC,UAAU,IAAI;AAAA,EACpD;AAEA,aAAW,cAAc,OAAO,KAAK,YAAY,GAAoC;AACnF,UAAM,YAAY,aAAa,UAAU;AACzC,QAAI,CAAC,UAAW;AAChB,iBAAa,YAAY,SAAS;AAAA,EACpC;AAEA,SAAO;AACT;AAcA,SAAS,iBAOP,OACwE;AACxE,SAAO,IAAI,MAAM,OAAO;AAAA,IACtB,IAAI,QAAQ,MAAM;AAChB,UAAI,SAAS,UAAU,SAAS,UAAU,SAAS,WAAW;AAC5D,eAAO,QAAQ,IAAI,QAAQ,IAAI;AAAA,MACjC;AACA,UAAI,OAAO,SAAS,YAAY,QAAQ,OAAO,SAAS;AACtD,eAAO,OAAO,QAAQ,IAAmC;AAAA,MAC3D;AACA,aAAO;AAAA,IACT;AAAA,EACF,CAAC;AACH;AAwEO,SAAS,OACd,SAC4B;AAC5B,QAAM,WAAW,QAAQ;AACzB,QAAM,UAAU,SAAS;AAGzB,QAAM,SAAS,CAAC;AAChB,QAAM,uBAAuB,SAAS;AAEtC,QAAM,oBAAoB,QAAQ;AAElC,aAAW,aAAa,OAAO,KAAK,QAAQ,MAAM,GAE/C;AACD,UAAM,UAAU;AAAA,MACd;AAAA,MACA;AAAA,MACA;AAAA,MACA;AAAA,MACA;AAAA,IACF;AACA,UAAM,QAAQ,IAAI,iBAMhB,WAAW,OAAO;AACpB,UAAM,eAAe,iBAMnB,KAAK;AACP,IAAC,OAAmC,SAAS,IAAI,OAAO;AAAA,MACtD;AAAA,IACF;AAAA,EACF;AAGA,QAAM,QAAS,QAAQ,SAAS,CAAC;AAEjC,SAAO,OAAO,OAAO,EAAE,QAAQ,MAAM,CAAC;AACxC;","names":[]}

package/dist/exports/schema.js

@@ -2,7 +2,7 @@ import {
   ColumnBuilderImpl,
   TableBuilderImpl,
   schema
-} from "../chunk-RRFFQFSY.js";
+} from "../chunk-4WKZQIDS.js";
 import "../chunk-3F4RFQIB.js";
 import "../chunk-2MAKNVCP.js";
 export {

package/dist/index.js

@@ -3,7 +3,7 @@ import {
   ColumnBuilderImpl,
   TableBuilderImpl,
   schema
-} from "./chunk-RRFFQFSY.js";
+} from "./chunk-4WKZQIDS.js";
 import {
   param
 } from "./chunk-7I3EMQID.js";

package/dist/query-lane-context.d.ts

@@ -1,6 +1,12 @@
 import type { OperationRegistry } from '@prisma-next/operations';
 import type { SqlContract, SqlStorage } from '@prisma-next/sql-contract/types';
 import type { CodecRegistry } from './ast/codec-types';
+/**
+ * Registry of initialized type helpers from storage.types.
+ * Each key is a type name from storage.types, and the value is the initialized helper
+ * (or validated typeParams if no init hook was provided).
+ */
+export type TypeHelperRegistry = Record<string, unknown>;
 /**
  * Minimal context interface for SQL query lanes.
  *
@@ -12,5 +18,10 @@ export interface QueryLaneContext<TContract extends SqlContract<SqlStorage> = Sq
     readonly contract: TContract;
     readonly operations: OperationRegistry;
     readonly codecs: CodecRegistry;
+    /**
+     * Optional type helper registry for parameterized types.
+     * When present, schema() will expose these helpers via schema.types.
+     */
+    readonly types?: TypeHelperRegistry;
 }
 //# sourceMappingURL=query-lane-context.d.ts.map

package/dist/query-lane-context.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"query-lane-context.d.ts","sourceRoot":"","sources":["../src/query-lane-context.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AACjE,OAAO,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAC/E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAEvD;;;;;;GAMG;AACH,MAAM,WAAW,gBAAgB,CAC/B,SAAS,SAAS,WAAW,CAAC,UAAU,CAAC,GAAG,WAAW,CAAC,UAAU,CAAC;IAEnE,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,iBAAiB,CAAC;IACvC,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;CAChC"}
+{"version":3,"file":"query-lane-context.d.ts","sourceRoot":"","sources":["../src/query-lane-context.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AACjE,OAAO,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAC/E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAEvD;;;;GAIG;AACH,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAEzD;;;;;;GAMG;AACH,MAAM,WAAW,gBAAgB,CAC/B,SAAS,SAAS,WAAW,CAAC,UAAU,CAAC,GAAG,WAAW,CAAC,UAAU,CAAC;IAEnE,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,iBAAiB,CAAC;IACvC,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;IAC/B;;;OAGG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,kBAAkB,CAAC;CACrC"}

package/dist/schema.d.ts

@@ -51,8 +51,22 @@ export declare class TableBuilderImpl<Contract extends SqlContract<SqlStorage>,
 type ExtractSchemaTables<Contract extends SqlContract<SqlStorage>, CodecTypes extends CodecTypesType, Operations extends OperationTypes> = {
     readonly [TableName in keyof Contract['storage']['tables']]: TableBuilderImpl<Contract, TableName & string, TableColumns<Contract['storage']['tables'][TableName]>, CodecTypes, Operations> & TableRef;
 };
+/**
+ * Extracts the types registry shape from a contract.
+ * Each key is a type name from storage.types, and the value preserves the
+ * literal type from the contract (including codecId, nativeType, and typeParams).
+ * Returns an empty object type {} when storage.types is undefined.
+ */
+type ExtractSchemaTypes<Contract extends SqlContract<SqlStorage>> = Contract['storage']['types'] extends infer Types ? Types extends Record<string, unknown> ? {
+    readonly [TypeName in keyof Types]: Types[TypeName];
+} : Record<string, never> : Record<string, never>;
 export type SchemaHandle<Contract extends SqlContract<SqlStorage> = SqlContract<SqlStorage>, CodecTypes extends CodecTypesType = CodecTypesType, Operations extends OperationTypes = Record<string, never>> = {
     readonly tables: ExtractSchemaTables<Contract, CodecTypes, Operations>;
+    /**
+     * Initialized type helpers from storage.types.
+     * Each entry corresponds to a named type instance in the contract's storage.types.
+     */
+    readonly types: ExtractSchemaTypes<Contract>;
 };
 type SchemaReturnType<Contract extends SqlContract<SqlStorage>> = SchemaHandle<Contract, ExtractCodecTypes<Contract>, ToOperationTypes<ExtractOperationTypes<Contract>>>;
 type NormalizeOperationTypes<T> = {
@@ -65,12 +79,13 @@ type ToOperationTypes<T> = T extends OperationTypes ? T : NormalizeOperationType
  * Creates a schema handle for building SQL queries.
  *
  * @param context - Query lane context containing contract, codec and operation registries
- * @returns A schema handle with typed table builders
+ * @returns A schema handle with typed table builders and type helpers
  *
  * @example
  * ```typescript
  * const schemaHandle = schema<Contract>(context);
  * const userTable = schemaHandle.tables.user;
+ * const vectorType = schemaHandle.types.Vector1536;
  * ```
  */
 export declare function schema<Contract extends SqlContract<SqlStorage>>(context: QueryLaneContext<Contract>): SchemaReturnType<Contract>;

package/dist/schema.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../src/schema.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EACV,iBAAiB,EACjB,qBAAqB,EACrB,WAAW,EACX,UAAU,EACV,aAAa,EACd,MAAM,iCAAiC,CAAC;AACzC,OAAO,KAAK,EAAY,SAAS,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAEnF,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAC7D,OAAO,KAAK,EACV,aAAa,EACb,UAAU,IAAI,cAAc,EAC5B,aAAa,EACb,mBAAmB,EACnB,gBAAgB,EAChB,sBAAsB,EACtB,cAAc,EACd,YAAY,EACZ,gBAAgB,EACjB,MAAM,SAAS,CAAC;AAEjB,KAAK,YAAY,CAAC,KAAK,SAAS;IAAE,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAA;CAAE,IAAI,KAAK,CAAC,SAAS,CAAC,CAAC;AAE/F,KAAK,cAAc,CACjB,QAAQ,SAAS,WAAW,CAAC,UAAU,CAAC,EACxC,SAAS,SAAS,MAAM,EACxB,OAAO,SAAS,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,EAC7C,UAAU,SAAS,cAAc,EACjC,UAAU,SAAS,cAAc,IAC/B;IACF,QAAQ,EAAE,CAAC,IAAI,MAAM,OAAO,GAAG,aAAa,CAC1C,CAAC,GAAG,MAAM,EACV,OAAO,CAAC,CAAC,CAAC,EACV,mBAAmB,CAAC,QAAQ,EAAE,SAAS,EAAE,CAAC,GAAG,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,EAC5E,UAAU,CACX;CACF,CAAC;AAEF,qBAAa,iBAAiB,CAC5B,UAAU,SAAS,MAAM,EACzB,UAAU,SAAS,aAAa,EAChC,MAAM,GAAG,OAAO,CAChB,YAAW,gBAAgB;IAKzB,QAAQ,CAAC,KAAK,EAAE,MAAM;IACtB,QAAQ,CAAC,MAAM,EAAE,UAAU;IAC3B,OAAO,CAAC,QAAQ,CAAC,aAAa;IALhC,QAAQ,CAAC,IAAI,EAAG,QAAQ,CAAU;gBAGvB,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,UAAU,EACV,aAAa,EAAE,UAAU;IAG5C,IAAI,UAAU,IAAI,UAAU,CAE3B;IAGD,IAAI,QAAQ,IAAI,MAAM,CAErB;IAED;;;OAGG;IACH,MAAM,IAAI,SAAS;IAQnB,OAAO,CAAC,mBAAmB;IA8B3B,EAAE,CAAC,KAAK,EAAE,gBAAgB,GAAG,gBAAgB,GAAG,aAAa,CAAC,UAAU,EAAE,UAAU,EAAE,MAAM,CAAC;IAI7F,GAAG,CAAC,KAAK,EAAE,gBAAgB,GAAG,gBAAgB,GAAG,aAAa,CAAC,UAAU,EAAE,UAAU,EAAE,MAAM,CAAC;IAI9F,EAAE,CAAC,KAAK,EAAE,gBAAgB,GAAG,gBAAgB,GAAG,aAAa,CAAC,UAAU,EAAE,UAAU,EAAE,MAAM,CAAC;IAI7F,EAAE,CAAC,KAAK,EAAE,gBAAgB,GAAG,gBAAgB,GAAG,aAAa,CAAC,UAAU,EAAE,UAAU,EAAE,MAAM,CAAC;IAI7F,GAAG,CAAC,KAAK,EAAE,gBAAgB,GAAG,gBAAgB,GAAG,aAAa,CAAC,UAAU,EAAE,UAAU,EAAE,MAAM,CAAC;IAI9F,GAAG,CAAC,KAAK,EAAE,gBAAgB,GAAG,gBAAgB,GAAG,aAAa,CAAC,UAAU,EAAE,UAAU,EAAE,MAAM,CAAC;IAI9F,GAAG,IAAI,YAAY,CAAC,UAAU,EAAE,UAAU,EAAE,MAAM,CAAC;IAQnD,IAAI,IAAI,YAAY,CAAC,UAAU,EAAE,UAAU,EAAE,MAAM,CAAC;IAQpD;;;OAGG;IACH,MAAM,IAAI,gBAAgB,CAAC,UAAU,EAAE,UAAU,EAAE,MAAM,CAAC;IAQ1D;;;OAGG;IACH,SAAS,IAAI,gBAAgB,CAAC,UAAU,EAAE,UAAU,EAAE,MAAM,CAAC;CAO9D;AAED,qBAAa,gBAAgB,CAC3B,QAAQ,SAAS,WAAW,CAAC,UAAU,CAAC,EACxC,SAAS,SAAS,MAAM,EACxB,OAAO,SAAS,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,EAC7C,UAAU,SAAS,cAAc,EACjC,UAAU,SAAS,cAAc,CACjC,YAAW,QAAQ;IAEnB,QAAQ,CAAC,IAAI,EAAG,OAAO,CAAU;IACjC,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;IACvF,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAY;gBAGhC,IAAI,EAAE,SAAS,EACf,OAAO,EAAE,cAAc,CAAC,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,CAAC;IAM/E,IAAI,IAAI,IAAI,MAAM,CAEjB;CACF;AAuHD,KAAK,mBAAmB,CACtB,QAAQ,SAAS,WAAW,CAAC,UAAU,CAAC,EACxC,UAAU,SAAS,cAAc,EACjC,UAAU,SAAS,cAAc,IAC/B;IACF,QAAQ,EAAE,SAAS,IAAI,MAAM,QAAQ,CAAC,SAAS,CAAC,CAAC,QAAQ,CAAC,GAAG,gBAAgB,CAC3E,QAAQ,EACR,SAAS,GAAG,MAAM,EAClB,YAAY,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,CAAC,EACtD,UAAU,EACV,UAAU,CACX,GACC,QAAQ;CACX,CAAC;AAEF,MAAM,MAAM,YAAY,CACtB,QAAQ,SAAS,WAAW,CAAC,UAAU,CAAC,GAAG,WAAW,CAAC,UAAU,CAAC,EAClE,UAAU,SAAS,cAAc,GAAG,cAAc,EAClD,UAAU,SAAS,cAAc,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IACvD;IACF,QAAQ,CAAC,MAAM,EAAE,mBAAmB,CAAC,QAAQ,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;CACxE,CAAC;AAEF,KAAK,gBAAgB,CAAC,QAAQ,SAAS,WAAW,CAAC,UAAU,CAAC,IAAI,YAAY,CAC5E,QAAQ,EACR,iBAAiB,CAAC,QAAQ,CAAC,EAC3B,gBAAgB,CAAC,qBAAqB,CAAC,QAAQ,CAAC,CAAC,CAClD,CAAC;AAEF,KAAK,uBAAuB,CAAC,CAAC,IAAI;KAC/B,MAAM,IAAI,MAAM,CAAC,GAAG;SAClB,MAAM,IAAI,MAAM,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,SAAS,sBAAsB,GACzE,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,GACjB,sBAAsB;KAC3B;CACF,CAAC;AAEF,KAAK,gBAAgB,CAAC,CAAC,IAAI,CAAC,SAAS,cAAc,GAAG,CAAC,GAAG,uBAAuB,CAAC,CAAC,CAAC,CAAC;AAErF;;;;;;;;;;;GAWG;AACH,wBAAgB,MAAM,CAAC,QAAQ,SAAS,WAAW,CAAC,UAAU,CAAC,EAC7D,OAAO,EAAE,gBAAgB,CAAC,QAAQ,CAAC,GAClC,gBAAgB,CAAC,QAAQ,CAAC,CAwC5B;AAED,YAAY,EAAE,iBAAiB,IAAI,MAAM,EAAE,gBAAgB,IAAI,KAAK,EAAE,CAAC"}
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../src/schema.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EACV,iBAAiB,EACjB,qBAAqB,EACrB,WAAW,EACX,UAAU,EACV,aAAa,EACd,MAAM,iCAAiC,CAAC;AACzC,OAAO,KAAK,EAAY,SAAS,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAEnF,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAC7D,OAAO,KAAK,EACV,aAAa,EACb,UAAU,IAAI,cAAc,EAC5B,aAAa,EACb,mBAAmB,EACnB,gBAAgB,EAChB,sBAAsB,EACtB,cAAc,EACd,YAAY,EACZ,gBAAgB,EACjB,MAAM,SAAS,CAAC;AAEjB,KAAK,YAAY,CAAC,KAAK,SAAS;IAAE,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAA;CAAE,IAAI,KAAK,CAAC,SAAS,CAAC,CAAC;AAE/F,KAAK,cAAc,CACjB,QAAQ,SAAS,WAAW,CAAC,UAAU,CAAC,EACxC,SAAS,SAAS,MAAM,EACxB,OAAO,SAAS,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,EAC7C,UAAU,SAAS,cAAc,EACjC,UAAU,SAAS,cAAc,IAC/B;IACF,QAAQ,EAAE,CAAC,IAAI,MAAM,OAAO,GAAG,aAAa,CAC1C,CAAC,GAAG,MAAM,EACV,OAAO,CAAC,CAAC,CAAC,EACV,mBAAmB,CAAC,QAAQ,EAAE,SAAS,EAAE,CAAC,GAAG,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,EAC5E,UAAU,CACX;CACF,CAAC;AAEF,qBAAa,iBAAiB,CAC5B,UAAU,SAAS,MAAM,EACzB,UAAU,SAAS,aAAa,EAChC,MAAM,GAAG,OAAO,CAChB,YAAW,gBAAgB;IAKzB,QAAQ,CAAC,KAAK,EAAE,MAAM;IACtB,QAAQ,CAAC,MAAM,EAAE,UAAU;IAC3B,OAAO,CAAC,QAAQ,CAAC,aAAa;IALhC,QAAQ,CAAC,IAAI,EAAG,QAAQ,CAAU;gBAGvB,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,UAAU,EACV,aAAa,EAAE,UAAU;IAG5C,IAAI,UAAU,IAAI,UAAU,CAE3B;IAGD,IAAI,QAAQ,IAAI,MAAM,CAErB;IAED;;;OAGG;IACH,MAAM,IAAI,SAAS;IAQnB,OAAO,CAAC,mBAAmB;IA8B3B,EAAE,CAAC,KAAK,EAAE,gBAAgB,GAAG,gBAAgB,GAAG,aAAa,CAAC,UAAU,EAAE,UAAU,EAAE,MAAM,CAAC;IAI7F,GAAG,CAAC,KAAK,EAAE,gBAAgB,GAAG,gBAAgB,GAAG,aAAa,CAAC,UAAU,EAAE,UAAU,EAAE,MAAM,CAAC;IAI9F,EAAE,CAAC,KAAK,EAAE,gBAAgB,GAAG,gBAAgB,GAAG,aAAa,CAAC,UAAU,EAAE,UAAU,EAAE,MAAM,CAAC;IAI7F,EAAE,CAAC,KAAK,EAAE,gBAAgB,GAAG,gBAAgB,GAAG,aAAa,CAAC,UAAU,EAAE,UAAU,EAAE,MAAM,CAAC;IAI7F,GAAG,CAAC,KAAK,EAAE,gBAAgB,GAAG,gBAAgB,GAAG,aAAa,CAAC,UAAU,EAAE,UAAU,EAAE,MAAM,CAAC;IAI9F,GAAG,CAAC,KAAK,EAAE,gBAAgB,GAAG,gBAAgB,GAAG,aAAa,CAAC,UAAU,EAAE,UAAU,EAAE,MAAM,CAAC;IAI9F,GAAG,IAAI,YAAY,CAAC,UAAU,EAAE,UAAU,EAAE,MAAM,CAAC;IAQnD,IAAI,IAAI,YAAY,CAAC,UAAU,EAAE,UAAU,EAAE,MAAM,CAAC;IAQpD;;;OAGG;IACH,MAAM,IAAI,gBAAgB,CAAC,UAAU,EAAE,UAAU,EAAE,MAAM,CAAC;IAQ1D;;;OAGG;IACH,SAAS,IAAI,gBAAgB,CAAC,UAAU,EAAE,UAAU,EAAE,MAAM,CAAC;CAO9D;AAED,qBAAa,gBAAgB,CAC3B,QAAQ,SAAS,WAAW,CAAC,UAAU,CAAC,EACxC,SAAS,SAAS,MAAM,EACxB,OAAO,SAAS,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,EAC7C,UAAU,SAAS,cAAc,EACjC,UAAU,SAAS,cAAc,CACjC,YAAW,QAAQ;IAEnB,QAAQ,CAAC,IAAI,EAAG,OAAO,CAAU;IACjC,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;IACvF,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAY;gBAGhC,IAAI,EAAE,SAAS,EACf,OAAO,EAAE,cAAc,CAAC,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,CAAC;IAM/E,IAAI,IAAI,IAAI,MAAM,CAEjB;CACF;AAuHD,KAAK,mBAAmB,CACtB,QAAQ,SAAS,WAAW,CAAC,UAAU,CAAC,EACxC,UAAU,SAAS,cAAc,EACjC,UAAU,SAAS,cAAc,IAC/B;IACF,QAAQ,EAAE,SAAS,IAAI,MAAM,QAAQ,CAAC,SAAS,CAAC,CAAC,QAAQ,CAAC,GAAG,gBAAgB,CAC3E,QAAQ,EACR,SAAS,GAAG,MAAM,EAClB,YAAY,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,CAAC,EACtD,UAAU,EACV,UAAU,CACX,GACC,QAAQ;CACX,CAAC;AAEF;;;;;GAKG;AACH,KAAK,kBAAkB,CAAC,QAAQ,SAAS,WAAW,CAAC,UAAU,CAAC,IAC9D,QAAQ,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,SAAS,MAAM,KAAK,GAC5C,KAAK,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACnC;IAAE,QAAQ,EAAE,QAAQ,IAAI,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC;CAAE,GACvD,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,GACvB,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;AAE5B,MAAM,MAAM,YAAY,CACtB,QAAQ,SAAS,WAAW,CAAC,UAAU,CAAC,GAAG,WAAW,CAAC,UAAU,CAAC,EAClE,UAAU,SAAS,cAAc,GAAG,cAAc,EAClD,UAAU,SAAS,cAAc,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IACvD;IACF,QAAQ,CAAC,MAAM,EAAE,mBAAmB,CAAC,QAAQ,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;IACvE;;;OAGG;IACH,QAAQ,CAAC,KAAK,EAAE,kBAAkB,CAAC,QAAQ,CAAC,CAAC;CAC9C,CAAC;AAEF,KAAK,gBAAgB,CAAC,QAAQ,SAAS,WAAW,CAAC,UAAU,CAAC,IAAI,YAAY,CAC5E,QAAQ,EACR,iBAAiB,CAAC,QAAQ,CAAC,EAC3B,gBAAgB,CAAC,qBAAqB,CAAC,QAAQ,CAAC,CAAC,CAClD,CAAC;AAEF,KAAK,uBAAuB,CAAC,CAAC,IAAI;KAC/B,MAAM,IAAI,MAAM,CAAC,GAAG;SAClB,MAAM,IAAI,MAAM,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,SAAS,sBAAsB,GACzE,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,GACjB,sBAAsB;KAC3B;CACF,CAAC;AAEF,KAAK,gBAAgB,CAAC,CAAC,IAAI,CAAC,SAAS,cAAc,GAAG,CAAC,GAAG,uBAAuB,CAAC,CAAC,CAAC,CAAC;AAErF;;;;;;;;;;;;GAYG;AACH,wBAAgB,MAAM,CAAC,QAAQ,SAAS,WAAW,CAAC,UAAU,CAAC,EAC7D,OAAO,EAAE,gBAAgB,CAAC,QAAQ,CAAC,GAClC,gBAAgB,CAAC,QAAQ,CAAC,CA2C5B;AAED,YAAY,EAAE,iBAAiB,IAAI,MAAM,EAAE,gBAAgB,IAAI,KAAK,EAAE,CAAC"}

package/package.json

@@ -1,22 +1,22 @@
 {
   "name": "@prisma-next/sql-relational-core",
-  "version": "0.3.0-pr.106.2",
+  "version": "0.3.0-pr.106.3",
   "type": "module",
   "sideEffects": false,
   "description": "Schema and column builders, operation attachment, and AST types for Prisma Next",
   "dependencies": {
     "ts-toolbelt": "^9.6.0",
-    "@prisma-next/contract": "0.3.0-pr.106.2",
-    "@prisma-next/operations": "0.3.0-pr.106.2",
-    "@prisma-next/sql-contract": "0.3.0-pr.106.2",
-    "@prisma-next/plan": "0.3.0-pr.106.2",
-    "@prisma-next/sql-operations": "0.3.0-pr.106.2"
+    "@prisma-next/operations": "0.3.0-pr.106.3",
+    "@prisma-next/contract": "0.3.0-pr.106.3",
+    "@prisma-next/plan": "0.3.0-pr.106.3",
+    "@prisma-next/sql-contract": "0.3.0-pr.106.3",
+    "@prisma-next/sql-operations": "0.3.0-pr.106.3"
   },
   "devDependencies": {
     "tsup": "8.5.1",
     "typescript": "5.9.3",
     "vitest": "4.0.16",
-    "@prisma-next/sql-contract-ts": "0.3.0-pr.106.2",
+    "@prisma-next/sql-contract-ts": "0.3.0-pr.106.3",
     "@prisma-next/test-utils": "0.0.1",
     "@prisma-next/tsconfig": "0.0.0"
   },
@@ -74,6 +74,6 @@
     "lint": "biome check . --error-on-warnings",
     "lint:fix": "biome check --write .",
     "lint:fix:unsafe": "biome check --write --unsafe .",
-    "clean": "rm -rf dist coverage .tmp-output"
+    "clean": "rm -rf dist dist-tsc dist-tsc-prod coverage .tmp-output"
   }
 }

package/src/query-lane-context.ts

@@ -2,6 +2,13 @@ import type { OperationRegistry } from '@prisma-next/operations';
 import type { SqlContract, SqlStorage } from '@prisma-next/sql-contract/types';
 import type { CodecRegistry } from './ast/codec-types';
 
+/**
+ * Registry of initialized type helpers from storage.types.
+ * Each key is a type name from storage.types, and the value is the initialized helper
+ * (or validated typeParams if no init hook was provided).
+ */
+export type TypeHelperRegistry = Record<string, unknown>;
+
 /**
  * Minimal context interface for SQL query lanes.
  *
@@ -15,4 +22,9 @@ export interface QueryLaneContext<
   readonly contract: TContract;
   readonly operations: OperationRegistry;
   readonly codecs: CodecRegistry;
+  /**
+   * Optional type helper registry for parameterized types.
+   * When present, schema() will expose these helpers via schema.types.
+   */
+  readonly types?: TypeHelperRegistry;
 }

package/src/schema.ts

@@ -326,12 +326,30 @@ type ExtractSchemaTables<
     TableRef;
 };
 
+/**
+ * Extracts the types registry shape from a contract.
+ * Each key is a type name from storage.types, and the value preserves the
+ * literal type from the contract (including codecId, nativeType, and typeParams).
+ * Returns an empty object type {} when storage.types is undefined.
+ */
+type ExtractSchemaTypes<Contract extends SqlContract<SqlStorage>> =
+  Contract['storage']['types'] extends infer Types
+    ? Types extends Record<string, unknown>
+      ? { readonly [TypeName in keyof Types]: Types[TypeName] }
+      : Record<string, never>
+    : Record<string, never>;
+
 export type SchemaHandle<
   Contract extends SqlContract<SqlStorage> = SqlContract<SqlStorage>,
   CodecTypes extends CodecTypesType = CodecTypesType,
   Operations extends OperationTypes = Record<string, never>,
 > = {
   readonly tables: ExtractSchemaTables<Contract, CodecTypes, Operations>;
+  /**
+   * Initialized type helpers from storage.types.
+   * Each entry corresponds to a named type instance in the contract's storage.types.
+   */
+  readonly types: ExtractSchemaTypes<Contract>;
 };
 
 type SchemaReturnType<Contract extends SqlContract<SqlStorage>> = SchemaHandle<
@@ -354,12 +372,13 @@ type ToOperationTypes<T> = T extends OperationTypes ? T : NormalizeOperationType
  * Creates a schema handle for building SQL queries.
  *
  * @param context - Query lane context containing contract, codec and operation registries
- * @returns A schema handle with typed table builders
+ * @returns A schema handle with typed table builders and type helpers
  *
  * @example
  * ```typescript
  * const schemaHandle = schema<Contract>(context);
  * const userTable = schemaHandle.tables.user;
+ * const vectorType = schemaHandle.types.Vector1536;
  * ```
  */
 export function schema<Contract extends SqlContract<SqlStorage>>(
@@ -403,7 +422,10 @@ export function schema<Contract extends SqlContract<SqlStorage>>(
     ) as ExtractSchemaTables<Contract, CodecTypes, Operations>[typeof tableName];
   }
 
-  return Object.freeze({ tables }) as SchemaReturnType<Contract>;
+  // Get type helpers from context (populated by createRuntimeContext)
+  const types = (context.types ?? {}) as ExtractSchemaTypes<Contract>;
+
+  return Object.freeze({ tables, types }) as SchemaReturnType<Contract>;
 }
 
 export type { ColumnBuilderImpl as Column, TableBuilderImpl as Table };