@prisma-next/runtime-executor 0.3.0-dev.34 → 0.3.0-dev.35

package/dist/index.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.mjs","names":["out: Row[]","lints: LintFinding[]","budgets: BudgetFinding[]","lints","parsed: unknown","error","#executeWith","latencyMs"],"sources":["../src/errors.ts","../src/async-iterable-result.ts","../src/fingerprint.ts","../src/guardrails/raw.ts","../src/marker.ts","../src/plugins/budgets.ts","../src/plugins/lints.ts","../src/runtime-core.ts"],"sourcesContent":["export interface RuntimeErrorEnvelope extends Error {\n  readonly code: string;\n  readonly category: 'PLAN' | 'CONTRACT' | 'LINT' | 'BUDGET' | 'RUNTIME';\n  readonly severity: 'error';\n  readonly details?: Record<string, unknown>;\n}\n\nexport function runtimeError(\n  code: string,\n  message: string,\n  details?: Record<string, unknown>,\n): RuntimeErrorEnvelope {\n  const error = new Error(message) as RuntimeErrorEnvelope;\n  Object.defineProperty(error, 'name', {\n    value: 'RuntimeError',\n    configurable: true,\n  });\n\n  return Object.assign(error, {\n    code,\n    category: resolveCategory(code),\n    severity: 'error' as const,\n    message,\n    details,\n  });\n}\n\nfunction resolveCategory(code: string): RuntimeErrorEnvelope['category'] {\n  const prefix = code.split('.')[0] ?? 'RUNTIME';\n  switch (prefix) {\n    case 'PLAN':\n    case 'CONTRACT':\n    case 'LINT':\n    case 'BUDGET':\n      return prefix;\n    default:\n      return 'RUNTIME';\n  }\n}\n","import { runtimeError } from './errors';\n\n/**\n * Custom async iterable result that extends AsyncIterable with a toArray() method.\n * This provides a convenient way to collect all results from an async iterator.\n */\nexport class AsyncIterableResult<Row> implements AsyncIterable<Row>, PromiseLike<Row[]> {\n  private readonly generator: AsyncGenerator<Row, void, unknown>;\n  private consumed = false;\n  private consumedBy: 'bufferedArray' | 'iterator' | undefined;\n  private bufferedArrayPromise: Promise<Row[]> | undefined;\n\n  constructor(generator: AsyncGenerator<Row, void, unknown>) {\n    this.generator = generator;\n  }\n\n  [Symbol.asyncIterator](): AsyncIterator<Row> {\n    if (this.consumed) {\n      throw runtimeError(\n        'RUNTIME.ITERATOR_CONSUMED',\n        `AsyncIterableResult iterator has already been consumed via ${this.consumedBy === 'bufferedArray' ? 'toArray()/then()' : 'for-await loop'}. Each AsyncIterableResult can only be iterated once.`,\n        {\n          consumedBy: this.consumedBy,\n          suggestion:\n            this.consumedBy === 'bufferedArray'\n              ? 'If you need to iterate multiple times, store the results from toArray() in a variable and reuse that.'\n              : 'If you need to iterate multiple times, use toArray() to collect all results first.',\n        },\n      );\n    }\n    this.consumed = true;\n    this.consumedBy = 'iterator';\n    return this.generator;\n  }\n\n  /**\n   * Collects all values from the async iterator into an array.\n   * Once called, the iterator is consumed and cannot be reused.\n   */\n  toArray(): Promise<Row[]> {\n    if (this.consumedBy === 'iterator') {\n      return Promise.reject(\n        runtimeError(\n          'RUNTIME.ITERATOR_CONSUMED',\n          'AsyncIterableResult iterator has already been consumed via for-await loop. Each AsyncIterableResult can only be iterated once.',\n          {\n            consumedBy: this.consumedBy,\n            suggestion:\n              'The iterator was already consumed by a for-await loop. Use toArray() or await the result before iterating.',\n          },\n        ),\n      );\n    }\n\n    if (this.bufferedArrayPromise) {\n      return this.bufferedArrayPromise;\n    }\n\n    this.consumed = true;\n    this.consumedBy = 'bufferedArray';\n    this.bufferedArrayPromise = (async () => {\n      const out: Row[] = [];\n      for await (const item of this.generator) {\n        out.push(item);\n      }\n      return out;\n    })();\n    return this.bufferedArrayPromise;\n  }\n\n  // biome-ignore lint/suspicious/noThenProperty: PromiseLike implementation is intentional for await support.\n  then<TResult1 = Row[], TResult2 = never>(\n    onfulfilled?: ((value: Row[]) => TResult1 | PromiseLike<TResult1>) | undefined | null,\n    onrejected?: ((reason: unknown) => TResult2 | PromiseLike<TResult2>) | undefined | null,\n  ): PromiseLike<TResult1 | TResult2> {\n    return this.toArray().then(onfulfilled, onrejected);\n  }\n}\n","import { createHash } from 'node:crypto';\n\nconst STRING_LITERAL_REGEX = /'(?:''|[^'])*'/g;\nconst NUMERIC_LITERAL_REGEX = /\\b\\d+(?:\\.\\d+)?\\b/g;\nconst WHITESPACE_REGEX = /\\s+/g;\n\nexport function computeSqlFingerprint(sql: string): string {\n  const withoutStrings = sql.replace(STRING_LITERAL_REGEX, '?');\n  const withoutNumbers = withoutStrings.replace(NUMERIC_LITERAL_REGEX, '?');\n  const normalized = withoutNumbers.replace(WHITESPACE_REGEX, ' ').trim().toLowerCase();\n\n  const hash = createHash('sha256').update(normalized).digest('hex');\n  return `sha256:${hash}`;\n}\n","import type { ExecutionPlan, PlanMeta, PlanRefs } from '@prisma-next/contract/types';\n\nexport type LintSeverity = 'error' | 'warn';\nexport type BudgetSeverity = 'error' | 'warn';\n\nexport interface LintFinding {\n  readonly code: `LINT.${string}`;\n  readonly severity: LintSeverity;\n  readonly message: string;\n  readonly details?: Record<string, unknown>;\n}\n\nexport interface BudgetFinding {\n  readonly code: `BUDGET.${string}`;\n  readonly severity: BudgetSeverity;\n  readonly message: string;\n  readonly details?: Record<string, unknown>;\n}\n\nexport interface RawGuardrailConfig {\n  readonly budgets?: {\n    readonly unboundedSelectSeverity?: BudgetSeverity;\n    readonly estimatedRows?: number;\n  };\n}\n\nexport interface RawGuardrailResult {\n  readonly lints: LintFinding[];\n  readonly budgets: BudgetFinding[];\n  readonly statement: 'select' | 'mutation' | 'other';\n}\n\nconst SELECT_STAR_REGEX = /select\\s+\\*/i;\nconst LIMIT_REGEX = /\\blimit\\b/i;\nconst MUTATION_PREFIX_REGEX = /^(insert|update|delete|create|alter|drop|truncate)\\b/i;\n\nconst READ_ONLY_INTENTS = new Set(['read', 'report', 'readonly']);\n\nexport function evaluateRawGuardrails(\n  plan: ExecutionPlan,\n  config?: RawGuardrailConfig,\n): RawGuardrailResult {\n  const lints: LintFinding[] = [];\n  const budgets: BudgetFinding[] = [];\n\n  const normalized = normalizeWhitespace(plan.sql);\n  const statementType = classifyStatement(normalized);\n\n  if (statementType === 'select') {\n    if (SELECT_STAR_REGEX.test(normalized)) {\n      lints.push(\n        createLint('LINT.SELECT_STAR', 'error', 'Raw SQL plan selects all columns via *', {\n          sql: snippet(plan.sql),\n        }),\n      );\n    }\n\n    if (!LIMIT_REGEX.test(normalized)) {\n      const severity = config?.budgets?.unboundedSelectSeverity ?? 'error';\n      lints.push(\n        createLint('LINT.NO_LIMIT', 'warn', 'Raw SQL plan omits LIMIT clause', {\n          sql: snippet(plan.sql),\n        }),\n      );\n\n      budgets.push(\n        createBudget(\n          'BUDGET.ROWS_EXCEEDED',\n          severity,\n          'Raw SQL plan is unbounded and may exceed row budget',\n          {\n            sql: snippet(plan.sql),\n            ...(config?.budgets?.estimatedRows !== undefined\n              ? { estimatedRows: config.budgets.estimatedRows }\n              : {}),\n          },\n        ),\n      );\n    }\n  }\n\n  if (isMutationStatement(statementType) && isReadOnlyIntent(plan.meta)) {\n    lints.push(\n      createLint(\n        'LINT.READ_ONLY_MUTATION',\n        'error',\n        'Raw SQL plan mutates data despite read-only intent',\n        {\n          sql: snippet(plan.sql),\n          intent: plan.meta.annotations?.['intent'],\n        },\n      ),\n    );\n  }\n\n  const refs = plan.meta.refs;\n  if (refs) {\n    evaluateIndexCoverage(refs, lints);\n  }\n\n  return { lints, budgets, statement: statementType };\n}\n\nfunction evaluateIndexCoverage(refs: PlanRefs, lints: LintFinding[]) {\n  const predicateColumns = refs.columns ?? [];\n  if (predicateColumns.length === 0) {\n    return;\n  }\n\n  const indexes = refs.indexes ?? [];\n\n  if (indexes.length === 0) {\n    lints.push(\n      createLint(\n        'LINT.UNINDEXED_PREDICATE',\n        'warn',\n        'Raw SQL plan predicates lack supporting indexes',\n        {\n          predicates: predicateColumns,\n        },\n      ),\n    );\n    return;\n  }\n\n  const hasSupportingIndex = predicateColumns.every((column) =>\n    indexes.some(\n      (index) =>\n        index.table === column.table &&\n        index.columns.some((col) => col.toLowerCase() === column.column.toLowerCase()),\n    ),\n  );\n\n  if (!hasSupportingIndex) {\n    lints.push(\n      createLint(\n        'LINT.UNINDEXED_PREDICATE',\n        'warn',\n        'Raw SQL plan predicates lack supporting indexes',\n        {\n          predicates: predicateColumns,\n        },\n      ),\n    );\n  }\n}\n\nfunction classifyStatement(sql: string): 'select' | 'mutation' | 'other' {\n  const trimmed = sql.trim();\n  const lower = trimmed.toLowerCase();\n\n  if (lower.startsWith('with')) {\n    if (lower.includes('select')) {\n      return 'select';\n    }\n  }\n\n  if (lower.startsWith('select')) {\n    return 'select';\n  }\n\n  if (MUTATION_PREFIX_REGEX.test(trimmed)) {\n    return 'mutation';\n  }\n\n  return 'other';\n}\n\nfunction isMutationStatement(statement: 'select' | 'mutation' | 'other'): boolean {\n  return statement === 'mutation';\n}\n\nfunction isReadOnlyIntent(meta: PlanMeta): boolean {\n  const annotations = meta.annotations as { intent?: string } | undefined;\n  const intent =\n    typeof annotations?.intent === 'string' ? annotations.intent.toLowerCase() : undefined;\n  return intent !== undefined && READ_ONLY_INTENTS.has(intent);\n}\n\nfunction normalizeWhitespace(value: string): string {\n  return value.replace(/\\s+/g, ' ').trim();\n}\n\nfunction snippet(sql: string): string {\n  return normalizeWhitespace(sql).slice(0, 200);\n}\n\nfunction createLint(\n  code: LintFinding['code'],\n  severity: LintFinding['severity'],\n  message: string,\n  details?: Record<string, unknown>,\n): LintFinding {\n  return { code, severity, message, ...(details ? { details } : {}) };\n}\n\nfunction createBudget(\n  code: BudgetFinding['code'],\n  severity: BudgetFinding['severity'],\n  message: string,\n  details?: Record<string, unknown>,\n): BudgetFinding {\n  return { code, severity, message, ...(details ? { details } : {}) };\n}\n","import type { ContractMarkerRecord } from '@prisma-next/contract/types';\nimport { type } from 'arktype';\n\n// Re-export for backward compatibility\nexport type { ContractMarkerRecord } from '@prisma-next/contract/types';\n\nexport interface ContractMarkerRow {\n  core_hash: string;\n  profile_hash: string;\n  contract_json: unknown | null;\n  canonical_version: number | null;\n  updated_at: Date;\n  app_tag: string | null;\n  meta: unknown | null;\n}\n\nconst MetaSchema = type({ '[string]': 'unknown' });\n\nfunction parseMeta(meta: unknown): Record<string, unknown> {\n  if (meta === null || meta === undefined) {\n    return {};\n  }\n\n  let parsed: unknown;\n  if (typeof meta === 'string') {\n    try {\n      parsed = JSON.parse(meta);\n    } catch {\n      return {};\n    }\n  } else {\n    parsed = meta;\n  }\n\n  const result = MetaSchema(parsed);\n  if (result instanceof type.errors) {\n    return {};\n  }\n\n  return result as Record<string, unknown>;\n}\n\nconst ContractMarkerRowSchema = type({\n  core_hash: 'string',\n  profile_hash: 'string',\n  'contract_json?': 'unknown | null',\n  'canonical_version?': 'number | null',\n  'updated_at?': 'Date | string',\n  'app_tag?': 'string | null',\n  'meta?': 'unknown | null',\n});\n\nexport function parseContractMarkerRow(row: unknown): ContractMarkerRecord {\n  const result = ContractMarkerRowSchema(row);\n  if (result instanceof type.errors) {\n    const messages = result.map((p: { message: string }) => p.message).join('; ');\n    throw new Error(`Invalid contract marker row: ${messages}`);\n  }\n\n  const validatedRow = result as {\n    core_hash: string;\n    profile_hash: string;\n    contract_json?: unknown | null;\n    canonical_version?: number | null;\n    updated_at?: Date | string;\n    app_tag?: string | null;\n    meta?: unknown | null;\n  };\n\n  const updatedAt = validatedRow.updated_at\n    ? validatedRow.updated_at instanceof Date\n      ? validatedRow.updated_at\n      : new Date(validatedRow.updated_at)\n    : new Date();\n\n  return {\n    storageHash: validatedRow.core_hash,\n    profileHash: validatedRow.profile_hash,\n    contractJson: validatedRow.contract_json ?? null,\n    canonicalVersion: validatedRow.canonical_version ?? null,\n    updatedAt,\n    appTag: validatedRow.app_tag ?? null,\n    meta: parseMeta(validatedRow.meta),\n  };\n}\n","import type { ExecutionPlan } from '@prisma-next/contract/types';\nimport type { AfterExecuteResult, Plugin, PluginContext } from './types';\n\nexport interface BudgetsOptions {\n  readonly maxRows?: number;\n  readonly defaultTableRows?: number;\n  readonly tableRows?: Record<string, number>;\n  readonly maxLatencyMs?: number;\n  readonly severities?: {\n    readonly rowCount?: 'warn' | 'error';\n    readonly latency?: 'warn' | 'error';\n  };\n  readonly explain?: {\n    readonly enabled?: boolean;\n  };\n}\n\ninterface DriverWithExplain {\n  explain?(\n    sql: string,\n    params: unknown[],\n  ): Promise<{ rows: ReadonlyArray<Record<string, unknown>> }>;\n}\n\nasync function computeEstimatedRows(\n  plan: ExecutionPlan,\n  driver: DriverWithExplain,\n): Promise<number | undefined> {\n  if (typeof driver.explain !== 'function') {\n    return undefined;\n  }\n\n  try {\n    const result = await driver.explain(plan.sql, [...plan.params]);\n    return extractEstimatedRows(result.rows);\n  } catch {\n    return undefined;\n  }\n}\n\nfunction extractEstimatedRows(rows: ReadonlyArray<Record<string, unknown>>): number | undefined {\n  for (const row of rows) {\n    const estimate = findPlanRows(row);\n    if (estimate !== undefined) {\n      return estimate;\n    }\n  }\n\n  return undefined;\n}\n\ntype ExplainNode = {\n  Plan?: unknown;\n  Plans?: unknown[];\n  'Plan Rows'?: number;\n  [key: string]: unknown;\n};\n\nfunction findPlanRows(node: unknown): number | undefined {\n  if (!node || typeof node !== 'object') {\n    return undefined;\n  }\n\n  const explainNode = node as ExplainNode;\n  const planRows = explainNode['Plan Rows'];\n  if (typeof planRows === 'number') {\n    return planRows;\n  }\n\n  if ('Plan' in explainNode && explainNode.Plan !== undefined) {\n    const nested = findPlanRows(explainNode.Plan);\n    if (nested !== undefined) {\n      return nested;\n    }\n  }\n\n  if (Array.isArray(explainNode.Plans)) {\n    for (const child of explainNode.Plans) {\n      const nested = findPlanRows(child);\n      if (nested !== undefined) {\n        return nested;\n      }\n    }\n  }\n\n  for (const value of Object.values(node as Record<string, unknown>)) {\n    if (typeof value === 'object' && value !== null) {\n      const nested = findPlanRows(value);\n      if (nested !== undefined) {\n        return nested;\n      }\n    }\n  }\n\n  return undefined;\n}\n\nfunction budgetError(code: string, message: string, details?: Record<string, unknown>) {\n  const error = new Error(message) as Error & {\n    code: string;\n    category: 'BUDGET';\n    severity: 'error';\n    details?: Record<string, unknown>;\n  };\n  Object.defineProperty(error, 'name', {\n    value: 'RuntimeError',\n    configurable: true,\n  });\n  return Object.assign(error, {\n    code,\n    category: 'BUDGET' as const,\n    severity: 'error' as const,\n    details,\n  });\n}\n\nfunction estimateRows(\n  plan: ExecutionPlan,\n  tableRows: Record<string, number>,\n  defaultTableRows: number,\n): number | null {\n  if (!plan.ast) {\n    return null;\n  }\n\n  const table = plan.meta.refs?.tables?.[0];\n  if (!table) {\n    return null;\n  }\n\n  const tableEstimate = tableRows[table] ?? defaultTableRows;\n\n  if (\n    plan.ast &&\n    typeof plan.ast === 'object' &&\n    'kind' in plan.ast &&\n    plan.ast.kind === 'select' &&\n    'limit' in plan.ast &&\n    typeof plan.ast.limit === 'number'\n  ) {\n    return Math.min(plan.ast.limit, tableEstimate);\n  }\n\n  return tableEstimate;\n}\n\nfunction hasDetectableLimit(plan: ExecutionPlan): boolean {\n  if (\n    plan.ast &&\n    typeof plan.ast === 'object' &&\n    'kind' in plan.ast &&\n    plan.ast.kind === 'select' &&\n    'limit' in plan.ast &&\n    typeof plan.ast.limit === 'number'\n  ) {\n    return true;\n  }\n\n  const annotations = plan.meta.annotations as { limit?: number; LIMIT?: number } | undefined;\n  return typeof annotations?.limit === 'number' || typeof annotations?.LIMIT === 'number';\n}\n\nexport function budgets<TContract = unknown, TAdapter = unknown, TDriver = unknown>(\n  options?: BudgetsOptions,\n): Plugin<TContract, TAdapter, TDriver> {\n  const maxRows = options?.maxRows ?? 10_000;\n  const defaultTableRows = options?.defaultTableRows ?? 10_000;\n  const tableRows = options?.tableRows ?? {};\n  const maxLatencyMs = options?.maxLatencyMs ?? 1_000;\n  const rowSeverity = options?.severities?.rowCount ?? 'error';\n  const latencySeverity = options?.severities?.latency ?? 'warn';\n\n  let observedRows = 0;\n\n  return Object.freeze({\n    name: 'budgets',\n\n    async beforeExecute(plan: ExecutionPlan, ctx: PluginContext<TContract, TAdapter, TDriver>) {\n      observedRows = 0;\n      void ctx.now();\n\n      const estimated = estimateRows(plan, tableRows, defaultTableRows);\n      const isUnbounded = !hasDetectableLimit(plan);\n      const sqlUpper = plan.sql.trimStart().toUpperCase();\n      const isSelect = sqlUpper.startsWith('SELECT');\n\n      // Check for unbounded queries first - these should always error if they exceed or equal the budget\n      if (isSelect && isUnbounded) {\n        if (estimated !== null && estimated >= maxRows) {\n          const error = budgetError(\n            'BUDGET.ROWS_EXCEEDED',\n            'Unbounded SELECT query exceeds budget',\n            {\n              source: 'heuristic',\n              estimatedRows: estimated,\n              maxRows,\n            },\n          );\n\n          const shouldBlock = rowSeverity === 'error' || ctx.mode === 'strict';\n          if (shouldBlock) {\n            throw error;\n          }\n          ctx.log.warn({\n            code: error.code,\n            message: error.message,\n            details: error.details,\n          });\n          return;\n        }\n\n        // Even if we can't estimate, unbounded queries should error\n        const error = budgetError('BUDGET.ROWS_EXCEEDED', 'Unbounded SELECT query exceeds budget', {\n          source: 'heuristic',\n          maxRows,\n        });\n\n        const shouldBlock = rowSeverity === 'error' || ctx.mode === 'strict';\n        if (shouldBlock) {\n          throw error;\n        }\n        ctx.log.warn({\n          code: error.code,\n          message: error.message,\n          details: error.details,\n        });\n        return;\n      }\n\n      // For bounded queries, check if estimated exceeds budget\n      if (estimated !== null) {\n        if (estimated > maxRows) {\n          const error = budgetError('BUDGET.ROWS_EXCEEDED', 'Estimated row count exceeds budget', {\n            source: 'heuristic',\n            estimatedRows: estimated,\n            maxRows,\n          });\n\n          const shouldBlock = rowSeverity === 'error' || ctx.mode === 'strict';\n          if (shouldBlock) {\n            throw error;\n          }\n          ctx.log.warn({\n            code: error.code,\n            message: error.message,\n            details: error.details,\n          });\n        }\n        return;\n      }\n\n      // Fallback: if no AST, try EXPLAIN if enabled\n      if (!plan.ast) {\n        const explainEnabled = options?.explain?.enabled === true;\n\n        if (explainEnabled && isSelect && typeof ctx.driver === 'object' && ctx.driver !== null) {\n          const estimatedRows = await computeEstimatedRows(plan, ctx.driver as DriverWithExplain);\n          if (estimatedRows !== undefined) {\n            if (estimatedRows > maxRows) {\n              const error = budgetError(\n                'BUDGET.ROWS_EXCEEDED',\n                'Estimated row count exceeds budget',\n                {\n                  source: 'explain',\n                  estimatedRows,\n                  maxRows,\n                },\n              );\n\n              const shouldBlock = rowSeverity === 'error' || ctx.mode === 'strict';\n              if (shouldBlock) {\n                throw error;\n              }\n              ctx.log.warn({\n                code: error.code,\n                message: error.message,\n                details: error.details,\n              });\n            }\n            return;\n          }\n        }\n      }\n    },\n\n    async onRow(\n      _row: Record<string, unknown>,\n      _plan: ExecutionPlan,\n      _ctx: PluginContext<TContract, TAdapter, TDriver>,\n    ) {\n      void _row;\n      void _plan;\n      void _ctx;\n      observedRows += 1;\n      if (observedRows > maxRows) {\n        throw budgetError('BUDGET.ROWS_EXCEEDED', 'Observed row count exceeds budget', {\n          source: 'observed',\n          observedRows,\n          maxRows,\n        });\n      }\n    },\n\n    async afterExecute(\n      _plan: ExecutionPlan,\n      result: AfterExecuteResult,\n      ctx: PluginContext<TContract, TAdapter, TDriver>,\n    ) {\n      const latencyMs = result.latencyMs;\n      if (latencyMs > maxLatencyMs) {\n        const error = budgetError('BUDGET.TIME_EXCEEDED', 'Query latency exceeds budget', {\n          latencyMs,\n          maxLatencyMs,\n        });\n\n        const shouldBlock = latencySeverity === 'error' && ctx.mode === 'strict';\n        if (shouldBlock) {\n          throw error;\n        }\n        ctx.log.warn({\n          code: error.code,\n          message: error.message,\n          details: error.details,\n        });\n      }\n    },\n  });\n}\n","import type { ExecutionPlan } from '@prisma-next/contract/types';\nimport { evaluateRawGuardrails } from '../guardrails/raw';\nimport type { Plugin, PluginContext } from './types';\n\nexport interface LintsOptions {\n  readonly severities?: {\n    readonly selectStar?: 'warn' | 'error';\n    readonly noLimit?: 'warn' | 'error';\n    readonly readOnlyMutation?: 'warn' | 'error';\n    readonly unindexedPredicate?: 'warn' | 'error';\n  };\n}\n\nfunction lintError(code: string, message: string, details?: Record<string, unknown>) {\n  const error = new Error(message) as Error & {\n    code: string;\n    category: 'LINT';\n    severity: 'error';\n    details?: Record<string, unknown>;\n  };\n  Object.defineProperty(error, 'name', {\n    value: 'RuntimeError',\n    configurable: true,\n  });\n  return Object.assign(error, {\n    code,\n    category: 'LINT' as const,\n    severity: 'error' as const,\n    details,\n  });\n}\n\nexport function lints<TContract = unknown, TAdapter = unknown, TDriver = unknown>(\n  options?: LintsOptions,\n): Plugin<TContract, TAdapter, TDriver> {\n  return Object.freeze({\n    name: 'lints',\n\n    async beforeExecute(plan: ExecutionPlan, ctx: PluginContext<TContract, TAdapter, TDriver>) {\n      if (plan.ast) {\n        return;\n      }\n\n      const evaluation = evaluateRawGuardrails(plan);\n\n      for (const lint of evaluation.lints) {\n        const configuredSeverity = getConfiguredSeverity(lint.code, options);\n        const effectiveSeverity = configuredSeverity ?? lint.severity;\n\n        if (effectiveSeverity === 'error') {\n          throw lintError(lint.code, lint.message, lint.details);\n        }\n        if (effectiveSeverity === 'warn') {\n          ctx.log.warn({\n            code: lint.code,\n            message: lint.message,\n            details: lint.details,\n          });\n        }\n      }\n    },\n  });\n}\n\nfunction getConfiguredSeverity(code: string, options?: LintsOptions): 'warn' | 'error' | undefined {\n  const severities = options?.severities;\n  if (!severities) {\n    return undefined;\n  }\n\n  if (code === 'LINT.SELECT_STAR') {\n    return severities.selectStar;\n  }\n  if (code === 'LINT.NO_LIMIT') {\n    return severities.noLimit;\n  }\n  if (code === 'LINT.READ_ONLY_MUTATION') {\n    return severities.readOnlyMutation;\n  }\n  if (code === 'LINT.UNINDEXED_PREDICATE') {\n    return severities.unindexedPredicate;\n  }\n\n  return undefined;\n}\n","import type { ExecutionPlan } from '@prisma-next/contract/types';\nimport type { OperationRegistry } from '@prisma-next/operations';\nimport { AsyncIterableResult } from './async-iterable-result';\nimport { runtimeError } from './errors';\nimport { computeSqlFingerprint } from './fingerprint';\nimport { parseContractMarkerRow } from './marker';\nimport type { Log, Plugin, PluginContext } from './plugins/types';\nimport type { RuntimeFamilyAdapter } from './runtime-spi';\n\nexport interface RuntimeVerifyOptions {\n  readonly mode: 'onFirstUse' | 'startup' | 'always';\n  readonly requireMarker: boolean;\n}\n\nexport type TelemetryOutcome = 'success' | 'runtime-error';\n\nexport interface RuntimeTelemetryEvent {\n  readonly lane: string;\n  readonly target: string;\n  readonly fingerprint: string;\n  readonly outcome: TelemetryOutcome;\n  readonly durationMs?: number;\n}\n\nexport interface RuntimeCoreOptions<TContract = unknown, TAdapter = unknown, TDriver = unknown> {\n  readonly familyAdapter: RuntimeFamilyAdapter<TContract>;\n  readonly driver: TDriver;\n  readonly verify: RuntimeVerifyOptions;\n  readonly plugins?: readonly Plugin<TContract, TAdapter, TDriver>[];\n  readonly mode?: 'strict' | 'permissive';\n  readonly log?: Log;\n  readonly operationRegistry: OperationRegistry;\n}\n\nexport interface RuntimeCore<TContract = unknown, TAdapter = unknown, TDriver = unknown>\n  extends RuntimeQueryable {\n  // Type parameters are used in the implementation for type safety\n  readonly _typeContract?: TContract;\n  readonly _typeAdapter?: TAdapter;\n  readonly _typeDriver?: TDriver;\n  connection(): Promise<RuntimeConnection>;\n  telemetry(): RuntimeTelemetryEvent | null;\n  close(): Promise<void>;\n  operations(): OperationRegistry;\n}\n\nexport interface RuntimeConnection extends RuntimeQueryable {\n  transaction(): Promise<RuntimeTransaction>;\n  release(): Promise<void>;\n}\n\nexport interface RuntimeTransaction extends RuntimeQueryable {\n  commit(): Promise<void>;\n  rollback(): Promise<void>;\n}\n\nexport interface RuntimeQueryable {\n  execute<Row = Record<string, unknown>>(plan: ExecutionPlan<Row>): AsyncIterableResult<Row>;\n}\n\ninterface DriverWithQuery<_TDriver> {\n  query(sql: string, params: readonly unknown[]): Promise<{ rows: ReadonlyArray<unknown> }>;\n}\n\ninterface DriverWithConnection<_TDriver> {\n  acquireConnection(): Promise<DriverConnection>;\n}\n\nexport interface DriverConnection extends Queryable {\n  beginTransaction(): Promise<DriverTransaction>;\n  release(): Promise<void>;\n}\n\nexport interface DriverTransaction extends Queryable {\n  commit(): Promise<void>;\n  rollback(): Promise<void>;\n}\n\nexport interface Queryable {\n  execute<Row = Record<string, unknown>>(options: {\n    sql: string;\n    params: readonly unknown[];\n  }): AsyncIterable<Row>;\n}\n\ninterface DriverWithClose<_TDriver> {\n  close(): Promise<void>;\n}\n\nclass RuntimeCoreImpl<TContract = unknown, TAdapter = unknown, TDriver = unknown>\n  implements RuntimeCore<TContract, TAdapter, TDriver>\n{\n  readonly _typeContract?: TContract;\n  readonly _typeAdapter?: TAdapter;\n  readonly _typeDriver?: TDriver;\n  private readonly contract: TContract;\n  private readonly familyAdapter: RuntimeFamilyAdapter<TContract>;\n  private readonly driver: TDriver;\n  private readonly plugins: readonly Plugin<TContract, TAdapter, TDriver>[];\n  private readonly mode: 'strict' | 'permissive';\n  private readonly verify: RuntimeVerifyOptions;\n  private readonly operationRegistry: OperationRegistry;\n  private readonly pluginContext: PluginContext<TContract, TAdapter, TDriver>;\n\n  private verified: boolean;\n  private startupVerified: boolean;\n  private _telemetry: RuntimeTelemetryEvent | null;\n\n  constructor(options: RuntimeCoreOptions<TContract, TAdapter, TDriver>) {\n    const { familyAdapter, driver } = options;\n    this.contract = familyAdapter.contract;\n    this.familyAdapter = familyAdapter;\n    this.driver = driver;\n    this.plugins = options.plugins ?? [];\n    this.mode = options.mode ?? 'strict';\n    this.verify = options.verify;\n    this.operationRegistry = options.operationRegistry;\n\n    this.verified = options.verify.mode === 'startup' ? false : options.verify.mode === 'always';\n    this.startupVerified = false;\n    this._telemetry = null;\n\n    this.pluginContext = {\n      contract: this.contract,\n      adapter: options.familyAdapter as unknown as TAdapter,\n      driver: this.driver,\n      mode: this.mode,\n      now: () => Date.now(),\n      log: options.log ?? {\n        info: () => {\n          // No-op in MVP - diagnostics stay out of runtime core\n        },\n        warn: () => {\n          // No-op in MVP - diagnostics stay out of runtime core\n        },\n        error: () => {\n          // No-op in MVP - diagnostics stay out of runtime core\n        },\n      },\n    };\n  }\n\n  private async verifyPlanIfNeeded(_plan: ExecutionPlan): Promise<void> {\n    void _plan;\n    if (this.verify.mode === 'always') {\n      this.verified = false;\n    }\n\n    if (this.verified) {\n      return;\n    }\n\n    const readStatement = this.familyAdapter.markerReader.readMarkerStatement();\n    const driver = this.driver as unknown as DriverWithQuery<TDriver>;\n    const result = await driver.query(readStatement.sql, readStatement.params);\n\n    if (result.rows.length === 0) {\n      if (this.verify.requireMarker) {\n        throw runtimeError('CONTRACT.MARKER_MISSING', 'Contract marker not found in database');\n      }\n\n      this.verified = true;\n      return;\n    }\n\n    const marker = parseContractMarkerRow(result.rows[0]);\n\n    const contract = this.contract as {\n      storageHash: string;\n      executionHash?: string | null;\n      profileHash?: string | null;\n    };\n    if (marker.storageHash !== contract.storageHash) {\n      throw runtimeError(\n        'CONTRACT.MARKER_MISMATCH',\n        'Database storage hash does not match contract',\n        {\n          expected: contract.storageHash,\n          actual: marker.storageHash,\n        },\n      );\n    }\n\n    const expectedProfile = contract.profileHash ?? null;\n    if (expectedProfile !== null && marker.profileHash !== expectedProfile) {\n      throw runtimeError(\n        'CONTRACT.MARKER_MISMATCH',\n        'Database profile hash does not match contract',\n        {\n          expectedProfile,\n          actualProfile: marker.profileHash,\n        },\n      );\n    }\n\n    this.verified = true;\n    this.startupVerified = true;\n  }\n\n  private validatePlan(plan: ExecutionPlan): void {\n    this.familyAdapter.validatePlan(plan, this.contract);\n  }\n\n  private recordTelemetry(\n    plan: ExecutionPlan,\n    outcome: TelemetryOutcome,\n    durationMs?: number,\n  ): void {\n    const contract = this.contract as { target: string };\n    this._telemetry = Object.freeze({\n      lane: plan.meta.lane,\n      target: contract.target,\n      fingerprint: computeSqlFingerprint(plan.sql),\n      outcome,\n      ...(durationMs !== undefined ? { durationMs } : {}),\n    });\n  }\n\n  execute<Row = Record<string, unknown>>(plan: ExecutionPlan<Row>): AsyncIterableResult<Row> {\n    return this.#executeWith(plan, this.driver as Queryable);\n  }\n\n  async connection(): Promise<RuntimeConnection> {\n    const driver = this.driver as unknown as DriverWithConnection<TDriver>;\n    const driverConn = await driver.acquireConnection();\n    const self = this;\n\n    const runtimeConnection: RuntimeConnection = {\n      async transaction(): Promise<RuntimeTransaction> {\n        const driverTx = await driverConn.beginTransaction();\n        const runtimeTx: RuntimeTransaction = {\n          async commit(): Promise<void> {\n            await driverTx.commit();\n          },\n          async rollback(): Promise<void> {\n            await driverTx.rollback();\n          },\n          execute<Row = Record<string, unknown>>(\n            plan: ExecutionPlan<Row>,\n          ): AsyncIterableResult<Row> {\n            return self.#executeWith(plan, driverTx);\n          },\n        };\n        return runtimeTx;\n      },\n      execute<Row = Record<string, unknown>>(plan: ExecutionPlan<Row>): AsyncIterableResult<Row> {\n        return self.#executeWith(plan, driverConn);\n      },\n      async release(): Promise<void> {\n        await driverConn.release();\n      },\n    };\n\n    return runtimeConnection;\n  }\n\n  telemetry(): RuntimeTelemetryEvent | null {\n    return this._telemetry;\n  }\n\n  operations(): OperationRegistry {\n    return this.operationRegistry;\n  }\n\n  close(): Promise<void> {\n    const driver = this.driver as unknown as DriverWithClose<TDriver>;\n    if (typeof driver.close === 'function') {\n      return driver.close();\n    }\n    return Promise.resolve();\n  }\n\n  #executeWith<Row = Record<string, unknown>>(\n    plan: ExecutionPlan<Row>,\n    queryable: Queryable,\n  ): AsyncIterableResult<Row> {\n    this.validatePlan(plan);\n    this._telemetry = null;\n\n    const iterator = async function* (\n      self: RuntimeCoreImpl<TContract, TAdapter, TDriver>,\n    ): AsyncGenerator<Row, void, unknown> {\n      const startedAt = Date.now();\n      let rowCount = 0;\n      let completed = false;\n\n      if (!self.startupVerified && self.verify.mode === 'startup') {\n        await self.verifyPlanIfNeeded(plan);\n      }\n\n      if (self.verify.mode === 'onFirstUse') {\n        await self.verifyPlanIfNeeded(plan);\n      }\n\n      try {\n        if (self.verify.mode === 'always') {\n          await self.verifyPlanIfNeeded(plan);\n        }\n\n        for (const plugin of self.plugins) {\n          if (plugin.beforeExecute) {\n            await plugin.beforeExecute(plan, self.pluginContext);\n          }\n        }\n\n        const encodedParams = plan.params;\n\n        for await (const row of queryable.execute<Record<string, unknown>>({\n          sql: plan.sql,\n          params: encodedParams,\n        })) {\n          for (const plugin of self.plugins) {\n            if (plugin.onRow) {\n              await plugin.onRow(row, plan, self.pluginContext);\n            }\n          }\n          rowCount++;\n          yield row as Row;\n        }\n\n        completed = true;\n        self.recordTelemetry(plan, 'success', Date.now() - startedAt);\n      } catch (error) {\n        if (self._telemetry === null) {\n          self.recordTelemetry(plan, 'runtime-error', Date.now() - startedAt);\n        }\n\n        const latencyMs = Date.now() - startedAt;\n        for (const plugin of self.plugins) {\n          if (plugin.afterExecute) {\n            try {\n              await plugin.afterExecute(\n                plan,\n                { rowCount, latencyMs, completed },\n                self.pluginContext,\n              );\n            } catch {\n              // Ignore errors from afterExecute hooks\n            }\n          }\n        }\n\n        throw error;\n      }\n\n      const latencyMs = Date.now() - startedAt;\n      for (const plugin of self.plugins) {\n        if (plugin.afterExecute) {\n          await plugin.afterExecute(plan, { rowCount, latencyMs, completed }, self.pluginContext);\n        }\n      }\n    };\n\n    return new AsyncIterableResult(iterator(this));\n  }\n}\n\nexport function createRuntimeCore<TContract = unknown, TAdapter = unknown, TDriver = unknown>(\n  options: RuntimeCoreOptions<TContract, TAdapter, TDriver>,\n): RuntimeCore<TContract, TAdapter, TDriver> {\n  return new RuntimeCoreImpl(options);\n}\n"],"mappings":";;;;AAOA,SAAgB,aACd,MACA,SACA,SACsB;CACtB,MAAM,QAAQ,IAAI,MAAM,QAAQ;AAChC,QAAO,eAAe,OAAO,QAAQ;EACnC,OAAO;EACP,cAAc;EACf,CAAC;AAEF,QAAO,OAAO,OAAO,OAAO;EAC1B;EACA,UAAU,gBAAgB,KAAK;EAC/B,UAAU;EACV;EACA;EACD,CAAC;;AAGJ,SAAS,gBAAgB,MAAgD;CACvE,MAAM,SAAS,KAAK,MAAM,IAAI,CAAC,MAAM;AACrC,SAAQ,QAAR;EACE,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK,SACH,QAAO;EACT,QACE,QAAO;;;;;;;;;;AC9Bb,IAAa,sBAAb,MAAwF;CACtF,AAAiB;CACjB,AAAQ,WAAW;CACnB,AAAQ;CACR,AAAQ;CAER,YAAY,WAA+C;AACzD,OAAK,YAAY;;CAGnB,CAAC,OAAO,iBAAqC;AAC3C,MAAI,KAAK,SACP,OAAM,aACJ,6BACA,8DAA8D,KAAK,eAAe,kBAAkB,qBAAqB,iBAAiB,wDAC1I;GACE,YAAY,KAAK;GACjB,YACE,KAAK,eAAe,kBAChB,0GACA;GACP,CACF;AAEH,OAAK,WAAW;AAChB,OAAK,aAAa;AAClB,SAAO,KAAK;;;;;;CAOd,UAA0B;AACxB,MAAI,KAAK,eAAe,WACtB,QAAO,QAAQ,OACb,aACE,6BACA,kIACA;GACE,YAAY,KAAK;GACjB,YACE;GACH,CACF,CACF;AAGH,MAAI,KAAK,qBACP,QAAO,KAAK;AAGd,OAAK,WAAW;AAChB,OAAK,aAAa;AAClB,OAAK,wBAAwB,YAAY;GACvC,MAAMA,MAAa,EAAE;AACrB,cAAW,MAAM,QAAQ,KAAK,UAC5B,KAAI,KAAK,KAAK;AAEhB,UAAO;MACL;AACJ,SAAO,KAAK;;CAId,KACE,aACA,YACkC;AAClC,SAAO,KAAK,SAAS,CAAC,KAAK,aAAa,WAAW;;;;;;ACzEvD,MAAM,uBAAuB;AAC7B,MAAM,wBAAwB;AAC9B,MAAM,mBAAmB;AAEzB,SAAgB,sBAAsB,KAAqB;CAGzD,MAAM,aAFiB,IAAI,QAAQ,sBAAsB,IAAI,CACvB,QAAQ,uBAAuB,IAAI,CACvC,QAAQ,kBAAkB,IAAI,CAAC,MAAM,CAAC,aAAa;AAGrF,QAAO,UADM,WAAW,SAAS,CAAC,OAAO,WAAW,CAAC,OAAO,MAAM;;;;;ACqBpE,MAAM,oBAAoB;AAC1B,MAAM,cAAc;AACpB,MAAM,wBAAwB;AAE9B,MAAM,oBAAoB,IAAI,IAAI;CAAC;CAAQ;CAAU;CAAW,CAAC;AAEjE,SAAgB,sBACd,MACA,QACoB;CACpB,MAAMC,UAAuB,EAAE;CAC/B,MAAMC,YAA2B,EAAE;CAEnC,MAAM,aAAa,oBAAoB,KAAK,IAAI;CAChD,MAAM,gBAAgB,kBAAkB,WAAW;AAEnD,KAAI,kBAAkB,UAAU;AAC9B,MAAI,kBAAkB,KAAK,WAAW,CACpC,SAAM,KACJ,WAAW,oBAAoB,SAAS,0CAA0C,EAChF,KAAK,QAAQ,KAAK,IAAI,EACvB,CAAC,CACH;AAGH,MAAI,CAAC,YAAY,KAAK,WAAW,EAAE;GACjC,MAAM,WAAW,QAAQ,SAAS,2BAA2B;AAC7D,WAAM,KACJ,WAAW,iBAAiB,QAAQ,mCAAmC,EACrE,KAAK,QAAQ,KAAK,IAAI,EACvB,CAAC,CACH;AAED,aAAQ,KACN,aACE,wBACA,UACA,uDACA;IACE,KAAK,QAAQ,KAAK,IAAI;IACtB,GAAI,QAAQ,SAAS,kBAAkB,SACnC,EAAE,eAAe,OAAO,QAAQ,eAAe,GAC/C,EAAE;IACP,CACF,CACF;;;AAIL,KAAI,oBAAoB,cAAc,IAAI,iBAAiB,KAAK,KAAK,CACnE,SAAM,KACJ,WACE,2BACA,SACA,sDACA;EACE,KAAK,QAAQ,KAAK,IAAI;EACtB,QAAQ,KAAK,KAAK,cAAc;EACjC,CACF,CACF;CAGH,MAAM,OAAO,KAAK,KAAK;AACvB,KAAI,KACF,uBAAsB,MAAMC,QAAM;AAGpC,QAAO;EAAE;EAAO;EAAS,WAAW;EAAe;;AAGrD,SAAS,sBAAsB,MAAgB,SAAsB;CACnE,MAAM,mBAAmB,KAAK,WAAW,EAAE;AAC3C,KAAI,iBAAiB,WAAW,EAC9B;CAGF,MAAM,UAAU,KAAK,WAAW,EAAE;AAElC,KAAI,QAAQ,WAAW,GAAG;AACxB,UAAM,KACJ,WACE,4BACA,QACA,mDACA,EACE,YAAY,kBACb,CACF,CACF;AACD;;AAWF,KAAI,CARuB,iBAAiB,OAAO,WACjD,QAAQ,MACL,UACC,MAAM,UAAU,OAAO,SACvB,MAAM,QAAQ,MAAM,QAAQ,IAAI,aAAa,KAAK,OAAO,OAAO,aAAa,CAAC,CACjF,CACF,CAGC,SAAM,KACJ,WACE,4BACA,QACA,mDACA,EACE,YAAY,kBACb,CACF,CACF;;AAIL,SAAS,kBAAkB,KAA8C;CACvE,MAAM,UAAU,IAAI,MAAM;CAC1B,MAAM,QAAQ,QAAQ,aAAa;AAEnC,KAAI,MAAM,WAAW,OAAO,EAC1B;MAAI,MAAM,SAAS,SAAS,CAC1B,QAAO;;AAIX,KAAI,MAAM,WAAW,SAAS,CAC5B,QAAO;AAGT,KAAI,sBAAsB,KAAK,QAAQ,CACrC,QAAO;AAGT,QAAO;;AAGT,SAAS,oBAAoB,WAAqD;AAChF,QAAO,cAAc;;AAGvB,SAAS,iBAAiB,MAAyB;CACjD,MAAM,cAAc,KAAK;CACzB,MAAM,SACJ,OAAO,aAAa,WAAW,WAAW,YAAY,OAAO,aAAa,GAAG;AAC/E,QAAO,WAAW,UAAa,kBAAkB,IAAI,OAAO;;AAG9D,SAAS,oBAAoB,OAAuB;AAClD,QAAO,MAAM,QAAQ,QAAQ,IAAI,CAAC,MAAM;;AAG1C,SAAS,QAAQ,KAAqB;AACpC,QAAO,oBAAoB,IAAI,CAAC,MAAM,GAAG,IAAI;;AAG/C,SAAS,WACP,MACA,UACA,SACA,SACa;AACb,QAAO;EAAE;EAAM;EAAU;EAAS,GAAI,UAAU,EAAE,SAAS,GAAG,EAAE;EAAG;;AAGrE,SAAS,aACP,MACA,UACA,SACA,SACe;AACf,QAAO;EAAE;EAAM;EAAU;EAAS,GAAI,UAAU,EAAE,SAAS,GAAG,EAAE;EAAG;;;;;AC1LrE,MAAM,aAAa,KAAK,EAAE,YAAY,WAAW,CAAC;AAElD,SAAS,UAAU,MAAwC;AACzD,KAAI,SAAS,QAAQ,SAAS,OAC5B,QAAO,EAAE;CAGX,IAAIC;AACJ,KAAI,OAAO,SAAS,SAClB,KAAI;AACF,WAAS,KAAK,MAAM,KAAK;SACnB;AACN,SAAO,EAAE;;KAGX,UAAS;CAGX,MAAM,SAAS,WAAW,OAAO;AACjC,KAAI,kBAAkB,KAAK,OACzB,QAAO,EAAE;AAGX,QAAO;;AAGT,MAAM,0BAA0B,KAAK;CACnC,WAAW;CACX,cAAc;CACd,kBAAkB;CAClB,sBAAsB;CACtB,eAAe;CACf,YAAY;CACZ,SAAS;CACV,CAAC;AAEF,SAAgB,uBAAuB,KAAoC;CACzE,MAAM,SAAS,wBAAwB,IAAI;AAC3C,KAAI,kBAAkB,KAAK,QAAQ;EACjC,MAAM,WAAW,OAAO,KAAK,MAA2B,EAAE,QAAQ,CAAC,KAAK,KAAK;AAC7E,QAAM,IAAI,MAAM,gCAAgC,WAAW;;CAG7D,MAAM,eAAe;CAUrB,MAAM,YAAY,aAAa,aAC3B,aAAa,sBAAsB,OACjC,aAAa,aACb,IAAI,KAAK,aAAa,WAAW,mBACnC,IAAI,MAAM;AAEd,QAAO;EACL,aAAa,aAAa;EAC1B,aAAa,aAAa;EAC1B,cAAc,aAAa,iBAAiB;EAC5C,kBAAkB,aAAa,qBAAqB;EACpD;EACA,QAAQ,aAAa,WAAW;EAChC,MAAM,UAAU,aAAa,KAAK;EACnC;;;;;AC3DH,eAAe,qBACb,MACA,QAC6B;AAC7B,KAAI,OAAO,OAAO,YAAY,WAC5B;AAGF,KAAI;AAEF,SAAO,sBADQ,MAAM,OAAO,QAAQ,KAAK,KAAK,CAAC,GAAG,KAAK,OAAO,CAAC,EAC5B,KAAK;SAClC;AACN;;;AAIJ,SAAS,qBAAqB,MAAkE;AAC9F,MAAK,MAAM,OAAO,MAAM;EACtB,MAAM,WAAW,aAAa,IAAI;AAClC,MAAI,aAAa,OACf,QAAO;;;AAcb,SAAS,aAAa,MAAmC;AACvD,KAAI,CAAC,QAAQ,OAAO,SAAS,SAC3B;CAGF,MAAM,cAAc;CACpB,MAAM,WAAW,YAAY;AAC7B,KAAI,OAAO,aAAa,SACtB,QAAO;AAGT,KAAI,UAAU,eAAe,YAAY,SAAS,QAAW;EAC3D,MAAM,SAAS,aAAa,YAAY,KAAK;AAC7C,MAAI,WAAW,OACb,QAAO;;AAIX,KAAI,MAAM,QAAQ,YAAY,MAAM,CAClC,MAAK,MAAM,SAAS,YAAY,OAAO;EACrC,MAAM,SAAS,aAAa,MAAM;AAClC,MAAI,WAAW,OACb,QAAO;;AAKb,MAAK,MAAM,SAAS,OAAO,OAAO,KAAgC,CAChE,KAAI,OAAO,UAAU,YAAY,UAAU,MAAM;EAC/C,MAAM,SAAS,aAAa,MAAM;AAClC,MAAI,WAAW,OACb,QAAO;;;AAQf,SAAS,YAAY,MAAc,SAAiB,SAAmC;CACrF,MAAM,QAAQ,IAAI,MAAM,QAAQ;AAMhC,QAAO,eAAe,OAAO,QAAQ;EACnC,OAAO;EACP,cAAc;EACf,CAAC;AACF,QAAO,OAAO,OAAO,OAAO;EAC1B;EACA,UAAU;EACV,UAAU;EACV;EACD,CAAC;;AAGJ,SAAS,aACP,MACA,WACA,kBACe;AACf,KAAI,CAAC,KAAK,IACR,QAAO;CAGT,MAAM,QAAQ,KAAK,KAAK,MAAM,SAAS;AACvC,KAAI,CAAC,MACH,QAAO;CAGT,MAAM,gBAAgB,UAAU,UAAU;AAE1C,KACE,KAAK,OACL,OAAO,KAAK,QAAQ,YACpB,UAAU,KAAK,OACf,KAAK,IAAI,SAAS,YAClB,WAAW,KAAK,OAChB,OAAO,KAAK,IAAI,UAAU,SAE1B,QAAO,KAAK,IAAI,KAAK,IAAI,OAAO,cAAc;AAGhD,QAAO;;AAGT,SAAS,mBAAmB,MAA8B;AACxD,KACE,KAAK,OACL,OAAO,KAAK,QAAQ,YACpB,UAAU,KAAK,OACf,KAAK,IAAI,SAAS,YAClB,WAAW,KAAK,OAChB,OAAO,KAAK,IAAI,UAAU,SAE1B,QAAO;CAGT,MAAM,cAAc,KAAK,KAAK;AAC9B,QAAO,OAAO,aAAa,UAAU,YAAY,OAAO,aAAa,UAAU;;AAGjF,SAAgB,QACd,SACsC;CACtC,MAAM,UAAU,SAAS,WAAW;CACpC,MAAM,mBAAmB,SAAS,oBAAoB;CACtD,MAAM,YAAY,SAAS,aAAa,EAAE;CAC1C,MAAM,eAAe,SAAS,gBAAgB;CAC9C,MAAM,cAAc,SAAS,YAAY,YAAY;CACrD,MAAM,kBAAkB,SAAS,YAAY,WAAW;CAExD,IAAI,eAAe;AAEnB,QAAO,OAAO,OAAO;EACnB,MAAM;EAEN,MAAM,cAAc,MAAqB,KAAkD;AACzF,kBAAe;AACf,GAAK,IAAI,KAAK;GAEd,MAAM,YAAY,aAAa,MAAM,WAAW,iBAAiB;GACjE,MAAM,cAAc,CAAC,mBAAmB,KAAK;GAE7C,MAAM,WADW,KAAK,IAAI,WAAW,CAAC,aAAa,CACzB,WAAW,SAAS;AAG9C,OAAI,YAAY,aAAa;AAC3B,QAAI,cAAc,QAAQ,aAAa,SAAS;KAC9C,MAAMC,UAAQ,YACZ,wBACA,yCACA;MACE,QAAQ;MACR,eAAe;MACf;MACD,CACF;AAGD,SADoB,gBAAgB,WAAW,IAAI,SAAS,SAE1D,OAAMA;AAER,SAAI,IAAI,KAAK;MACX,MAAMA,QAAM;MACZ,SAASA,QAAM;MACf,SAASA,QAAM;MAChB,CAAC;AACF;;IAIF,MAAM,QAAQ,YAAY,wBAAwB,yCAAyC;KACzF,QAAQ;KACR;KACD,CAAC;AAGF,QADoB,gBAAgB,WAAW,IAAI,SAAS,SAE1D,OAAM;AAER,QAAI,IAAI,KAAK;KACX,MAAM,MAAM;KACZ,SAAS,MAAM;KACf,SAAS,MAAM;KAChB,CAAC;AACF;;AAIF,OAAI,cAAc,MAAM;AACtB,QAAI,YAAY,SAAS;KACvB,MAAM,QAAQ,YAAY,wBAAwB,sCAAsC;MACtF,QAAQ;MACR,eAAe;MACf;MACD,CAAC;AAGF,SADoB,gBAAgB,WAAW,IAAI,SAAS,SAE1D,OAAM;AAER,SAAI,IAAI,KAAK;MACX,MAAM,MAAM;MACZ,SAAS,MAAM;MACf,SAAS,MAAM;MAChB,CAAC;;AAEJ;;AAIF,OAAI,CAAC,KAAK,KAGR;QAFuB,SAAS,SAAS,YAAY,QAE/B,YAAY,OAAO,IAAI,WAAW,YAAY,IAAI,WAAW,MAAM;KACvF,MAAM,gBAAgB,MAAM,qBAAqB,MAAM,IAAI,OAA4B;AACvF,SAAI,kBAAkB,QAAW;AAC/B,UAAI,gBAAgB,SAAS;OAC3B,MAAM,QAAQ,YACZ,wBACA,sCACA;QACE,QAAQ;QACR;QACA;QACD,CACF;AAGD,WADoB,gBAAgB,WAAW,IAAI,SAAS,SAE1D,OAAM;AAER,WAAI,IAAI,KAAK;QACX,MAAM,MAAM;QACZ,SAAS,MAAM;QACf,SAAS,MAAM;QAChB,CAAC;;AAEJ;;;;;EAMR,MAAM,MACJ,MACA,OACA,MACA;AAIA,mBAAgB;AAChB,OAAI,eAAe,QACjB,OAAM,YAAY,wBAAwB,qCAAqC;IAC7E,QAAQ;IACR;IACA;IACD,CAAC;;EAIN,MAAM,aACJ,OACA,QACA,KACA;GACA,MAAM,YAAY,OAAO;AACzB,OAAI,YAAY,cAAc;IAC5B,MAAM,QAAQ,YAAY,wBAAwB,gCAAgC;KAChF;KACA;KACD,CAAC;AAGF,QADoB,oBAAoB,WAAW,IAAI,SAAS,SAE9D,OAAM;AAER,QAAI,IAAI,KAAK;KACX,MAAM,MAAM;KACZ,SAAS,MAAM;KACf,SAAS,MAAM;KAChB,CAAC;;;EAGP,CAAC;;;;;ACzTJ,SAAS,UAAU,MAAc,SAAiB,SAAmC;CACnF,MAAM,QAAQ,IAAI,MAAM,QAAQ;AAMhC,QAAO,eAAe,OAAO,QAAQ;EACnC,OAAO;EACP,cAAc;EACf,CAAC;AACF,QAAO,OAAO,OAAO,OAAO;EAC1B;EACA,UAAU;EACV,UAAU;EACV;EACD,CAAC;;AAGJ,SAAgB,MACd,SACsC;AACtC,QAAO,OAAO,OAAO;EACnB,MAAM;EAEN,MAAM,cAAc,MAAqB,KAAkD;AACzF,OAAI,KAAK,IACP;GAGF,MAAM,aAAa,sBAAsB,KAAK;AAE9C,QAAK,MAAM,QAAQ,WAAW,OAAO;IAEnC,MAAM,oBADqB,sBAAsB,KAAK,MAAM,QAAQ,IACpB,KAAK;AAErD,QAAI,sBAAsB,QACxB,OAAM,UAAU,KAAK,MAAM,KAAK,SAAS,KAAK,QAAQ;AAExD,QAAI,sBAAsB,OACxB,KAAI,IAAI,KAAK;KACX,MAAM,KAAK;KACX,SAAS,KAAK;KACd,SAAS,KAAK;KACf,CAAC;;;EAIT,CAAC;;AAGJ,SAAS,sBAAsB,MAAc,SAAsD;CACjG,MAAM,aAAa,SAAS;AAC5B,KAAI,CAAC,WACH;AAGF,KAAI,SAAS,mBACX,QAAO,WAAW;AAEpB,KAAI,SAAS,gBACX,QAAO,WAAW;AAEpB,KAAI,SAAS,0BACX,QAAO,WAAW;AAEpB,KAAI,SAAS,2BACX,QAAO,WAAW;;;;;ACStB,IAAM,kBAAN,MAEA;CACE,AAAS;CACT,AAAS;CACT,AAAS;CACT,AAAiB;CACjB,AAAiB;CACjB,AAAiB;CACjB,AAAiB;CACjB,AAAiB;CACjB,AAAiB;CACjB,AAAiB;CACjB,AAAiB;CAEjB,AAAQ;CACR,AAAQ;CACR,AAAQ;CAER,YAAY,SAA2D;EACrE,MAAM,EAAE,eAAe,WAAW;AAClC,OAAK,WAAW,cAAc;AAC9B,OAAK,gBAAgB;AACrB,OAAK,SAAS;AACd,OAAK,UAAU,QAAQ,WAAW,EAAE;AACpC,OAAK,OAAO,QAAQ,QAAQ;AAC5B,OAAK,SAAS,QAAQ;AACtB,OAAK,oBAAoB,QAAQ;AAEjC,OAAK,WAAW,QAAQ,OAAO,SAAS,YAAY,QAAQ,QAAQ,OAAO,SAAS;AACpF,OAAK,kBAAkB;AACvB,OAAK,aAAa;AAElB,OAAK,gBAAgB;GACnB,UAAU,KAAK;GACf,SAAS,QAAQ;GACjB,QAAQ,KAAK;GACb,MAAM,KAAK;GACX,WAAW,KAAK,KAAK;GACrB,KAAK,QAAQ,OAAO;IAClB,YAAY;IAGZ,YAAY;IAGZ,aAAa;IAGd;GACF;;CAGH,MAAc,mBAAmB,OAAqC;AAEpE,MAAI,KAAK,OAAO,SAAS,SACvB,MAAK,WAAW;AAGlB,MAAI,KAAK,SACP;EAGF,MAAM,gBAAgB,KAAK,cAAc,aAAa,qBAAqB;EAE3E,MAAM,SAAS,MADA,KAAK,OACQ,MAAM,cAAc,KAAK,cAAc,OAAO;AAE1E,MAAI,OAAO,KAAK,WAAW,GAAG;AAC5B,OAAI,KAAK,OAAO,cACd,OAAM,aAAa,2BAA2B,wCAAwC;AAGxF,QAAK,WAAW;AAChB;;EAGF,MAAM,SAAS,uBAAuB,OAAO,KAAK,GAAG;EAErD,MAAM,WAAW,KAAK;AAKtB,MAAI,OAAO,gBAAgB,SAAS,YAClC,OAAM,aACJ,4BACA,iDACA;GACE,UAAU,SAAS;GACnB,QAAQ,OAAO;GAChB,CACF;EAGH,MAAM,kBAAkB,SAAS,eAAe;AAChD,MAAI,oBAAoB,QAAQ,OAAO,gBAAgB,gBACrD,OAAM,aACJ,4BACA,iDACA;GACE;GACA,eAAe,OAAO;GACvB,CACF;AAGH,OAAK,WAAW;AAChB,OAAK,kBAAkB;;CAGzB,AAAQ,aAAa,MAA2B;AAC9C,OAAK,cAAc,aAAa,MAAM,KAAK,SAAS;;CAGtD,AAAQ,gBACN,MACA,SACA,YACM;EACN,MAAM,WAAW,KAAK;AACtB,OAAK,aAAa,OAAO,OAAO;GAC9B,MAAM,KAAK,KAAK;GAChB,QAAQ,SAAS;GACjB,aAAa,sBAAsB,KAAK,IAAI;GAC5C;GACA,GAAI,eAAe,SAAY,EAAE,YAAY,GAAG,EAAE;GACnD,CAAC;;CAGJ,QAAuC,MAAoD;AACzF,SAAO,MAAKC,YAAa,MAAM,KAAK,OAAoB;;CAG1D,MAAM,aAAyC;EAE7C,MAAM,aAAa,MADJ,KAAK,OACY,mBAAmB;EACnD,MAAM,OAAO;AA4Bb,SA1B6C;GAC3C,MAAM,cAA2C;IAC/C,MAAM,WAAW,MAAM,WAAW,kBAAkB;AAcpD,WAbsC;KACpC,MAAM,SAAwB;AAC5B,YAAM,SAAS,QAAQ;;KAEzB,MAAM,WAA0B;AAC9B,YAAM,SAAS,UAAU;;KAE3B,QACE,MAC0B;AAC1B,aAAO,MAAKA,YAAa,MAAM,SAAS;;KAE3C;;GAGH,QAAuC,MAAoD;AACzF,WAAO,MAAKA,YAAa,MAAM,WAAW;;GAE5C,MAAM,UAAyB;AAC7B,UAAM,WAAW,SAAS;;GAE7B;;CAKH,YAA0C;AACxC,SAAO,KAAK;;CAGd,aAAgC;AAC9B,SAAO,KAAK;;CAGd,QAAuB;EACrB,MAAM,SAAS,KAAK;AACpB,MAAI,OAAO,OAAO,UAAU,WAC1B,QAAO,OAAO,OAAO;AAEvB,SAAO,QAAQ,SAAS;;CAG1B,aACE,MACA,WAC0B;AAC1B,OAAK,aAAa,KAAK;AACvB,OAAK,aAAa;EAElB,MAAM,WAAW,iBACf,MACoC;GACpC,MAAM,YAAY,KAAK,KAAK;GAC5B,IAAI,WAAW;GACf,IAAI,YAAY;AAEhB,OAAI,CAAC,KAAK,mBAAmB,KAAK,OAAO,SAAS,UAChD,OAAM,KAAK,mBAAmB,KAAK;AAGrC,OAAI,KAAK,OAAO,SAAS,aACvB,OAAM,KAAK,mBAAmB,KAAK;AAGrC,OAAI;AACF,QAAI,KAAK,OAAO,SAAS,SACvB,OAAM,KAAK,mBAAmB,KAAK;AAGrC,SAAK,MAAM,UAAU,KAAK,QACxB,KAAI,OAAO,cACT,OAAM,OAAO,cAAc,MAAM,KAAK,cAAc;IAIxD,MAAM,gBAAgB,KAAK;AAE3B,eAAW,MAAM,OAAO,UAAU,QAAiC;KACjE,KAAK,KAAK;KACV,QAAQ;KACT,CAAC,EAAE;AACF,UAAK,MAAM,UAAU,KAAK,QACxB,KAAI,OAAO,MACT,OAAM,OAAO,MAAM,KAAK,MAAM,KAAK,cAAc;AAGrD;AACA,WAAM;;AAGR,gBAAY;AACZ,SAAK,gBAAgB,MAAM,WAAW,KAAK,KAAK,GAAG,UAAU;YACtD,OAAO;AACd,QAAI,KAAK,eAAe,KACtB,MAAK,gBAAgB,MAAM,iBAAiB,KAAK,KAAK,GAAG,UAAU;IAGrE,MAAMC,cAAY,KAAK,KAAK,GAAG;AAC/B,SAAK,MAAM,UAAU,KAAK,QACxB,KAAI,OAAO,aACT,KAAI;AACF,WAAM,OAAO,aACX,MACA;MAAE;MAAU;MAAW;MAAW,EAClC,KAAK,cACN;YACK;AAMZ,UAAM;;GAGR,MAAM,YAAY,KAAK,KAAK,GAAG;AAC/B,QAAK,MAAM,UAAU,KAAK,QACxB,KAAI,OAAO,aACT,OAAM,OAAO,aAAa,MAAM;IAAE;IAAU;IAAW;IAAW,EAAE,KAAK,cAAc;;AAK7F,SAAO,IAAI,oBAAoB,SAAS,KAAK,CAAC;;;AAIlD,SAAgB,kBACd,SAC2C;AAC3C,QAAO,IAAI,gBAAgB,QAAQ"}

package/package.json

@@ -1,34 +1,41 @@
 {
   "name": "@prisma-next/runtime-executor",
-  "version": "0.3.0-dev.34",
+  "version": "0.3.0-dev.35",
   "type": "module",
   "sideEffects": false,
   "description": "Target-agnostic execution engine for Prisma Next",
   "dependencies": {
     "arktype": "^2.1.25",
-    "@prisma-next/contract": "0.3.0-dev.34",
-    "@prisma-next/operations": "0.3.0-dev.34"
+    "@prisma-next/contract": "0.3.0-dev.35",
+    "@prisma-next/operations": "0.3.0-dev.35"
   },
   "devDependencies": {
     "@prisma/dev": "0.19.1",
-    "tsup": "8.5.1",
+    "tsdown": "0.18.4",
     "typescript": "5.9.3",
-    "vitest": "4.0.16",
+    "vitest": "4.0.17",
     "@prisma-next/test-utils": "0.0.1",
-    "@prisma-next/tsconfig": "0.0.0"
+    "@prisma-next/tsconfig": "0.0.0",
+    "@prisma-next/tsdown": "0.0.0"
   },
   "files": [
     "dist",
     "src"
   ],
   "exports": {
-    ".": {
-      "types": "./dist/index.d.ts",
-      "import": "./dist/index.js"
-    }
+    ".": "./dist/index.mjs",
+    "./package.json": "./package.json"
+  },
+  "main": "./dist/index.mjs",
+  "module": "./dist/index.mjs",
+  "types": "./dist/index.d.mts",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/prisma/prisma-next.git",
+    "directory": "packages/1-framework/4-runtime-executor"
   },
   "scripts": {
-    "build": "tsup --config tsup.config.ts && tsc --project tsconfig.build.json",
+    "build": "tsdown",
     "test": "vitest run",
     "test:coverage": "vitest run --coverage",
     "typecheck": "tsc --project tsconfig.json --noEmit",

package/src/async-iterable-result.ts

@@ -4,10 +4,11 @@ import { runtimeError } from './errors';
  * Custom async iterable result that extends AsyncIterable with a toArray() method.
  * This provides a convenient way to collect all results from an async iterator.
  */
-export class AsyncIterableResult<Row> implements AsyncIterable<Row> {
+export class AsyncIterableResult<Row> implements AsyncIterable<Row>, PromiseLike<Row[]> {
   private readonly generator: AsyncGenerator<Row, void, unknown>;
   private consumed = false;
-  private consumedBy: 'toArray' | 'iterator' | undefined;
+  private consumedBy: 'bufferedArray' | 'iterator' | undefined;
+  private bufferedArrayPromise: Promise<Row[]> | undefined;
 
   constructor(generator: AsyncGenerator<Row, void, unknown>) {
     this.generator = generator;
@@ -17,11 +18,11 @@ export class AsyncIterableResult<Row> implements AsyncIterable<Row> {
     if (this.consumed) {
       throw runtimeError(
         'RUNTIME.ITERATOR_CONSUMED',
-        `AsyncIterableResult iterator has already been consumed via ${this.consumedBy === 'toArray' ? 'toArray()' : 'for-await loop'}. Each AsyncIterableResult can only be iterated once.`,
+        `AsyncIterableResult iterator has already been consumed via ${this.consumedBy === 'bufferedArray' ? 'toArray()/then()' : 'for-await loop'}. Each AsyncIterableResult can only be iterated once.`,
         {
           consumedBy: this.consumedBy,
           suggestion:
-            this.consumedBy === 'toArray'
+            this.consumedBy === 'bufferedArray'
               ? 'If you need to iterate multiple times, store the results from toArray() in a variable and reuse that.'
               : 'If you need to iterate multiple times, use toArray() to collect all results first.',
         },
@@ -36,26 +37,42 @@ export class AsyncIterableResult<Row> implements AsyncIterable<Row> {
    * Collects all values from the async iterator into an array.
    * Once called, the iterator is consumed and cannot be reused.
    */
-  async toArray(): Promise<Row[]> {
-    if (this.consumed) {
-      throw runtimeError(
-        'RUNTIME.ITERATOR_CONSUMED',
-        `AsyncIterableResult iterator has already been consumed via ${this.consumedBy === 'toArray' ? 'toArray()' : 'for-await loop'}. Each AsyncIterableResult can only be iterated once.`,
-        {
-          consumedBy: this.consumedBy,
-          suggestion:
-            this.consumedBy === 'toArray'
-              ? 'You cannot call toArray() twice on the same AsyncIterableResult. Store the result from the first call in a variable and reuse that.'
-              : 'The iterator was already consumed by a for-await loop. Use toArray() to collect all results before iterating.',
-        },
+  toArray(): Promise<Row[]> {
+    if (this.consumedBy === 'iterator') {
+      return Promise.reject(
+        runtimeError(
+          'RUNTIME.ITERATOR_CONSUMED',
+          'AsyncIterableResult iterator has already been consumed via for-await loop. Each AsyncIterableResult can only be iterated once.',
+          {
+            consumedBy: this.consumedBy,
+            suggestion:
+              'The iterator was already consumed by a for-await loop. Use toArray() or await the result before iterating.',
+          },
+        ),
       );
     }
-    this.consumed = true;
-    this.consumedBy = 'toArray';
-    const out: Row[] = [];
-    for await (const item of this.generator) {
-      out.push(item);
+
+    if (this.bufferedArrayPromise) {
+      return this.bufferedArrayPromise;
     }
-    return out;
+
+    this.consumed = true;
+    this.consumedBy = 'bufferedArray';
+    this.bufferedArrayPromise = (async () => {
+      const out: Row[] = [];
+      for await (const item of this.generator) {
+        out.push(item);
+      }
+      return out;
+    })();
+    return this.bufferedArrayPromise;
+  }
+
+  // biome-ignore lint/suspicious/noThenProperty: PromiseLike implementation is intentional for await support.
+  then<TResult1 = Row[], TResult2 = never>(
+    onfulfilled?: ((value: Row[]) => TResult1 | PromiseLike<TResult1>) | undefined | null,
+    onrejected?: ((reason: unknown) => TResult2 | PromiseLike<TResult2>) | undefined | null,
+  ): PromiseLike<TResult1 | TResult2> {
+    return this.toArray().then(onfulfilled, onrejected);
   }
 }

package/src/exports/index.ts

@@ -18,9 +18,12 @@ export type {
   Severity,
 } from '../plugins/types';
 export type {
+  RuntimeConnection,
   RuntimeCore,
   RuntimeCoreOptions,
+  RuntimeQueryable,
   RuntimeTelemetryEvent,
+  RuntimeTransaction,
   RuntimeVerifyOptions,
   TelemetryOutcome,
 } from '../runtime-core';

package/src/marker.ts

@@ -74,7 +74,7 @@ export function parseContractMarkerRow(row: unknown): ContractMarkerRecord {
     : new Date();
 
   return {
-    coreHash: validatedRow.core_hash,
+    storageHash: validatedRow.core_hash,
     profileHash: validatedRow.profile_hash,
     contractJson: validatedRow.contract_json ?? null,
     canonicalVersion: validatedRow.canonical_version ?? null,

package/src/runtime-core.ts

@@ -32,22 +32,51 @@ export interface RuntimeCoreOptions<TContract = unknown, TAdapter = unknown, TDr
   readonly operationRegistry: OperationRegistry;
 }
 
-export interface RuntimeCore<TContract = unknown, TAdapter = unknown, TDriver = unknown> {
+export interface RuntimeCore<TContract = unknown, TAdapter = unknown, TDriver = unknown>
+  extends RuntimeQueryable {
   // Type parameters are used in the implementation for type safety
   readonly _typeContract?: TContract;
   readonly _typeAdapter?: TAdapter;
   readonly _typeDriver?: TDriver;
-  execute<Row = Record<string, unknown>>(plan: ExecutionPlan<Row>): AsyncIterableResult<Row>;
+  connection(): Promise<RuntimeConnection>;
   telemetry(): RuntimeTelemetryEvent | null;
   close(): Promise<void>;
   operations(): OperationRegistry;
 }
 
+export interface RuntimeConnection extends RuntimeQueryable {
+  transaction(): Promise<RuntimeTransaction>;
+  release(): Promise<void>;
+}
+
+export interface RuntimeTransaction extends RuntimeQueryable {
+  commit(): Promise<void>;
+  rollback(): Promise<void>;
+}
+
+export interface RuntimeQueryable {
+  execute<Row = Record<string, unknown>>(plan: ExecutionPlan<Row>): AsyncIterableResult<Row>;
+}
+
 interface DriverWithQuery<_TDriver> {
   query(sql: string, params: readonly unknown[]): Promise<{ rows: ReadonlyArray<unknown> }>;
 }
 
-interface DriverWithExecute<_TDriver> {
+interface DriverWithConnection<_TDriver> {
+  acquireConnection(): Promise<DriverConnection>;
+}
+
+export interface DriverConnection extends Queryable {
+  beginTransaction(): Promise<DriverTransaction>;
+  release(): Promise<void>;
+}
+
+export interface DriverTransaction extends Queryable {
+  commit(): Promise<void>;
+  rollback(): Promise<void>;
+}
+
+export interface Queryable {
   execute<Row = Record<string, unknown>>(options: {
     sql: string;
     params: readonly unknown[];
@@ -136,12 +165,20 @@ class RuntimeCoreImpl<TContract = unknown, TAdapter = unknown, TDriver = unknown
 
     const marker = parseContractMarkerRow(result.rows[0]);
 
-    const contract = this.contract as { coreHash: string; profileHash?: string | null };
-    if (marker.coreHash !== contract.coreHash) {
-      throw runtimeError('CONTRACT.MARKER_MISMATCH', 'Database core hash does not match contract', {
-        expected: contract.coreHash,
-        actual: marker.coreHash,
-      });
+    const contract = this.contract as {
+      storageHash: string;
+      executionHash?: string | null;
+      profileHash?: string | null;
+    };
+    if (marker.storageHash !== contract.storageHash) {
+      throw runtimeError(
+        'CONTRACT.MARKER_MISMATCH',
+        'Database storage hash does not match contract',
+        {
+          expected: contract.storageHash,
+          actual: marker.storageHash,
+        },
+      );
     }
 
     const expectedProfile = contract.profileHash ?? null;
@@ -180,6 +217,63 @@ class RuntimeCoreImpl<TContract = unknown, TAdapter = unknown, TDriver = unknown
   }
 
   execute<Row = Record<string, unknown>>(plan: ExecutionPlan<Row>): AsyncIterableResult<Row> {
+    return this.#executeWith(plan, this.driver as Queryable);
+  }
+
+  async connection(): Promise<RuntimeConnection> {
+    const driver = this.driver as unknown as DriverWithConnection<TDriver>;
+    const driverConn = await driver.acquireConnection();
+    const self = this;
+
+    const runtimeConnection: RuntimeConnection = {
+      async transaction(): Promise<RuntimeTransaction> {
+        const driverTx = await driverConn.beginTransaction();
+        const runtimeTx: RuntimeTransaction = {
+          async commit(): Promise<void> {
+            await driverTx.commit();
+          },
+          async rollback(): Promise<void> {
+            await driverTx.rollback();
+          },
+          execute<Row = Record<string, unknown>>(
+            plan: ExecutionPlan<Row>,
+          ): AsyncIterableResult<Row> {
+            return self.#executeWith(plan, driverTx);
+          },
+        };
+        return runtimeTx;
+      },
+      execute<Row = Record<string, unknown>>(plan: ExecutionPlan<Row>): AsyncIterableResult<Row> {
+        return self.#executeWith(plan, driverConn);
+      },
+      async release(): Promise<void> {
+        await driverConn.release();
+      },
+    };
+
+    return runtimeConnection;
+  }
+
+  telemetry(): RuntimeTelemetryEvent | null {
+    return this._telemetry;
+  }
+
+  operations(): OperationRegistry {
+    return this.operationRegistry;
+  }
+
+  close(): Promise<void> {
+    const driver = this.driver as unknown as DriverWithClose<TDriver>;
+    if (typeof driver.close === 'function') {
+      return driver.close();
+    }
+    return Promise.resolve();
+  }
+
+  #executeWith<Row = Record<string, unknown>>(
+    plan: ExecutionPlan<Row>,
+    queryable: Queryable,
+  ): AsyncIterableResult<Row> {
     this.validatePlan(plan);
     this._telemetry = null;
 
@@ -209,10 +303,9 @@ class RuntimeCoreImpl<TContract = unknown, TAdapter = unknown, TDriver = unknown
           }
         }
 
-        const driver = self.driver as unknown as DriverWithExecute<TDriver>;
-        const encodedParams = plan.params as readonly unknown[];
+        const encodedParams = plan.params;
 
-        for await (const row of driver.execute<Record<string, unknown>>({
+        for await (const row of queryable.execute<Record<string, unknown>>({
           sql: plan.sql,
           params: encodedParams,
         })) {
@@ -260,22 +353,6 @@ class RuntimeCoreImpl<TContract = unknown, TAdapter = unknown, TDriver = unknown
 
     return new AsyncIterableResult(iterator(this));
   }
-
-  telemetry(): RuntimeTelemetryEvent | null {
-    return this._telemetry;
-  }
-
-  operations(): OperationRegistry {
-    return this.operationRegistry;
-  }
-
-  close(): Promise<void> {
-    const driver = this.driver as unknown as DriverWithClose<TDriver>;
-    if (typeof driver.close === 'function') {
-      return driver.close();
-    }
-    return Promise.resolve();
-  }
 }
 
 export function createRuntimeCore<TContract = unknown, TAdapter = unknown, TDriver = unknown>(

package/dist/async-iterable-result.d.ts

@@ -1,17 +0,0 @@
-/**
- * Custom async iterable result that extends AsyncIterable with a toArray() method.
- * This provides a convenient way to collect all results from an async iterator.
- */
-export declare class AsyncIterableResult<Row> implements AsyncIterable<Row> {
-    private readonly generator;
-    private consumed;
-    private consumedBy;
-    constructor(generator: AsyncGenerator<Row, void, unknown>);
-    [Symbol.asyncIterator](): AsyncIterator<Row>;
-    /**
-     * Collects all values from the async iterator into an array.
-     * Once called, the iterator is consumed and cannot be reused.
-     */
-    toArray(): Promise<Row[]>;
-}
-//# sourceMappingURL=async-iterable-result.d.ts.map

package/dist/async-iterable-result.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"async-iterable-result.d.ts","sourceRoot":"","sources":["../src/async-iterable-result.ts"],"names":[],"mappings":"AAEA;;;GAGG;AACH,qBAAa,mBAAmB,CAAC,GAAG,CAAE,YAAW,aAAa,CAAC,GAAG,CAAC;IACjE,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAqC;IAC/D,OAAO,CAAC,QAAQ,CAAS;IACzB,OAAO,CAAC,UAAU,CAAqC;gBAE3C,SAAS,EAAE,cAAc,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC;IAIzD,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,aAAa,CAAC,GAAG,CAAC;IAmB5C;;;OAGG;IACG,OAAO,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;CAsBhC"}

package/dist/errors.d.ts

@@ -1,8 +0,0 @@
-export interface RuntimeErrorEnvelope extends Error {
-    readonly code: string;
-    readonly category: 'PLAN' | 'CONTRACT' | 'LINT' | 'BUDGET' | 'RUNTIME';
-    readonly severity: 'error';
-    readonly details?: Record<string, unknown>;
-}
-export declare function runtimeError(code: string, message: string, details?: Record<string, unknown>): RuntimeErrorEnvelope;
-//# sourceMappingURL=errors.d.ts.map

package/dist/errors.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,oBAAqB,SAAQ,KAAK;IACjD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,UAAU,GAAG,MAAM,GAAG,QAAQ,GAAG,SAAS,CAAC;IACvE,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAC5C;AAED,wBAAgB,YAAY,CAC1B,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,EACf,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAChC,oBAAoB,CActB"}

package/dist/exports/index.d.ts

@@ -1,17 +0,0 @@
-export { AsyncIterableResult } from '../async-iterable-result';
-export type { RuntimeErrorEnvelope } from '../errors';
-export { runtimeError } from '../errors';
-export { computeSqlFingerprint } from '../fingerprint';
-export type { BudgetFinding, LintFinding, RawGuardrailResult } from '../guardrails/raw';
-export { evaluateRawGuardrails } from '../guardrails/raw';
-export type { ContractMarkerRecord } from '../marker';
-export { parseContractMarkerRow } from '../marker';
-export type { BudgetsOptions } from '../plugins/budgets';
-export { budgets } from '../plugins/budgets';
-export type { LintsOptions } from '../plugins/lints';
-export { lints } from '../plugins/lints';
-export type { AfterExecuteResult, Log, Plugin, PluginContext, Severity, } from '../plugins/types';
-export type { RuntimeCore, RuntimeCoreOptions, RuntimeTelemetryEvent, RuntimeVerifyOptions, TelemetryOutcome, } from '../runtime-core';
-export { createRuntimeCore } from '../runtime-core';
-export type { MarkerReader, MarkerStatement, RuntimeFamilyAdapter } from '../runtime-spi';
-//# sourceMappingURL=index.d.ts.map

package/dist/exports/index.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/exports/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,YAAY,EAAE,oBAAoB,EAAE,MAAM,WAAW,CAAC;AACtD,OAAO,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,EAAE,qBAAqB,EAAE,MAAM,gBAAgB,CAAC;AACvD,YAAY,EAAE,aAAa,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AACxF,OAAO,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAC1D,YAAY,EAAE,oBAAoB,EAAE,MAAM,WAAW,CAAC;AACtD,OAAO,EAAE,sBAAsB,EAAE,MAAM,WAAW,CAAC;AACnD,YAAY,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAC7C,YAAY,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,YAAY,EACV,kBAAkB,EAClB,GAAG,EACH,MAAM,EACN,aAAa,EACb,QAAQ,GACT,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EACV,WAAW,EACX,kBAAkB,EAClB,qBAAqB,EACrB,oBAAoB,EACpB,gBAAgB,GACjB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACpD,YAAY,EAAE,YAAY,EAAE,eAAe,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC"}

package/dist/fingerprint.d.ts

@@ -1,2 +0,0 @@
-export declare function computeSqlFingerprint(sql: string): string;
-//# sourceMappingURL=fingerprint.d.ts.map

package/dist/fingerprint.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"fingerprint.d.ts","sourceRoot":"","sources":["../src/fingerprint.ts"],"names":[],"mappings":"AAMA,wBAAgB,qBAAqB,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAOzD"}

package/dist/guardrails/raw.d.ts

@@ -1,28 +0,0 @@
-import type { ExecutionPlan } from '@prisma-next/contract/types';
-export type LintSeverity = 'error' | 'warn';
-export type BudgetSeverity = 'error' | 'warn';
-export interface LintFinding {
-    readonly code: `LINT.${string}`;
-    readonly severity: LintSeverity;
-    readonly message: string;
-    readonly details?: Record<string, unknown>;
-}
-export interface BudgetFinding {
-    readonly code: `BUDGET.${string}`;
-    readonly severity: BudgetSeverity;
-    readonly message: string;
-    readonly details?: Record<string, unknown>;
-}
-export interface RawGuardrailConfig {
-    readonly budgets?: {
-        readonly unboundedSelectSeverity?: BudgetSeverity;
-        readonly estimatedRows?: number;
-    };
-}
-export interface RawGuardrailResult {
-    readonly lints: LintFinding[];
-    readonly budgets: BudgetFinding[];
-    readonly statement: 'select' | 'mutation' | 'other';
-}
-export declare function evaluateRawGuardrails(plan: ExecutionPlan, config?: RawGuardrailConfig): RawGuardrailResult;
-//# sourceMappingURL=raw.d.ts.map

package/dist/guardrails/raw.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"raw.d.ts","sourceRoot":"","sources":["../../src/guardrails/raw.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAsB,MAAM,6BAA6B,CAAC;AAErF,MAAM,MAAM,YAAY,GAAG,OAAO,GAAG,MAAM,CAAC;AAC5C,MAAM,MAAM,cAAc,GAAG,OAAO,GAAG,MAAM,CAAC;AAE9C,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,QAAQ,MAAM,EAAE,CAAC;IAChC,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAC;IAChC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAC5C;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,UAAU,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAC5C;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,OAAO,CAAC,EAAE;QACjB,QAAQ,CAAC,uBAAuB,CAAC,EAAE,cAAc,CAAC;QAClD,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;KACjC,CAAC;CACH;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,KAAK,EAAE,WAAW,EAAE,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,aAAa,EAAE,CAAC;IAClC,QAAQ,CAAC,SAAS,EAAE,QAAQ,GAAG,UAAU,GAAG,OAAO,CAAC;CACrD;AAQD,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,aAAa,EACnB,MAAM,CAAC,EAAE,kBAAkB,GAC1B,kBAAkB,CA4DpB"}

package/dist/index.d.ts

@@ -1,2 +0,0 @@
-export * from './exports';
-//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,WAAW,CAAC"}