@prisma-next/runtime-executor 0.3.0-pr.99.6 → 0.4.0-dev.1

package/dist/index.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.mjs","names":["lints: LintFinding[]","budgets: BudgetFinding[]","parsed: unknown","runtimeError","#executeWith","latencyMs","AsyncIterableResult"],"sources":["../src/fingerprint.ts","../src/guardrails/raw.ts","../src/marker.ts","../src/runtime-core.ts"],"sourcesContent":["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\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 { RuntimeExecutor } from '@prisma-next/framework-components/runtime';\nimport { AsyncIterableResult, runtimeError } from '@prisma-next/framework-components/runtime';\nimport { computeSqlFingerprint } from './fingerprint';\nimport { parseContractMarkerRow } from './marker';\nimport type { Log, Middleware, MiddlewareContext } from './middleware/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, TDriver = unknown> {\n  readonly familyAdapter: RuntimeFamilyAdapter<TContract>;\n  readonly driver: TDriver;\n  readonly verify: RuntimeVerifyOptions;\n  readonly middleware?: readonly Middleware<TContract>[];\n  readonly mode?: 'strict' | 'permissive';\n  readonly log?: Log;\n}\n\nexport interface RuntimeCore<TContract = unknown, TDriver = unknown>\n  extends RuntimeQueryable,\n    RuntimeExecutor<ExecutionPlan> {\n  readonly _typeContract?: TContract;\n  readonly _typeDriver?: TDriver;\n  connection(): Promise<RuntimeConnection>;\n  telemetry(): RuntimeTelemetryEvent | null;\n  close(): Promise<void>;\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\n/**\n * Shared query execution trait for anything that can run an ExecutionPlan:\n * RuntimeCore, RuntimeConnection, and RuntimeTransaction. This is a\n * SQL-domain internal mixin — it is NOT the cross-family SPI.\n *\n * For the cross-family SPI, see RuntimeExecutor in framework-components.\n * RuntimeCore nominally extends both this interface and RuntimeExecutor.\n *\n * The execute signature uses the same `_row` phantom intersection as\n * RuntimeExecutor so that RuntimeCore can extend both without conflicts.\n */\nexport interface RuntimeQueryable {\n  execute<Row>(plan: ExecutionPlan & { readonly _row?: 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, TDriver = unknown>\n  implements RuntimeCore<TContract, TDriver>\n{\n  readonly _typeContract?: TContract;\n  readonly _typeDriver?: TDriver;\n  private readonly contract: TContract;\n  private readonly familyAdapter: RuntimeFamilyAdapter<TContract>;\n  private readonly driver: TDriver;\n  private readonly middleware: readonly Middleware<TContract>[];\n  private readonly mode: 'strict' | 'permissive';\n  private readonly verify: RuntimeVerifyOptions;\n  private readonly middlewareContext: MiddlewareContext<TContract>;\n\n  private verified: boolean;\n  private startupVerified: boolean;\n  private _telemetry: RuntimeTelemetryEvent | null;\n\n  constructor(options: RuntimeCoreOptions<TContract, TDriver>) {\n    const { familyAdapter, driver } = options;\n    this.contract = familyAdapter.contract;\n    this.familyAdapter = familyAdapter;\n    this.driver = driver;\n    this.middleware = options.middleware ?? [];\n    this.mode = options.mode ?? 'strict';\n    this.verify = options.verify;\n    this.verified = options.verify.mode === 'startup' ? false : options.verify.mode === 'always';\n    this.startupVerified = false;\n    this._telemetry = null;\n\n    this.middlewareContext = {\n      contract: this.contract,\n      mode: this.mode,\n      now: () => Date.now(),\n      log: options.log ?? {\n        info: () => {},\n        warn: () => {},\n        error: () => {},\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      storage: { storageHash: string };\n      execution?: { executionHash?: string | null };\n      profileHash?: string | null;\n    };\n    if (marker.storageHash !== contract.storage.storageHash) {\n      throw runtimeError(\n        'CONTRACT.MARKER_MISMATCH',\n        'Database storage hash does not match contract',\n        {\n          expected: contract.storage.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  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, 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 mw of self.middleware) {\n          if (mw.beforeExecute) {\n            await mw.beforeExecute(plan, self.middlewareContext);\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 mw of self.middleware) {\n            if (mw.onRow) {\n              await mw.onRow(row, plan, self.middlewareContext);\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 mw of self.middleware) {\n          if (mw.afterExecute) {\n            try {\n              await mw.afterExecute(\n                plan,\n                { rowCount, latencyMs, completed },\n                self.middlewareContext,\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 mw of self.middleware) {\n        if (mw.afterExecute) {\n          await mw.afterExecute(plan, { rowCount, latencyMs, completed }, self.middlewareContext);\n        }\n      }\n    };\n\n    return new AsyncIterableResult(iterator(this));\n  }\n}\n\nexport function createRuntimeCore<TContract = unknown, TDriver = unknown>(\n  options: RuntimeCoreOptions<TContract, TDriver>,\n): RuntimeCore<TContract, TDriver> {\n  return new RuntimeCoreImpl(options);\n}\n"],"mappings":";;;;;AAEA,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,MAAMA,QAAuB,EAAE;CAC/B,MAAMC,UAA2B,EAAE;CAEnC,MAAM,aAAa,oBAAoB,KAAK,IAAI;CAChD,MAAM,gBAAgB,kBAAkB,WAAW;AAEnD,KAAI,kBAAkB,UAAU;AAC9B,MAAI,kBAAkB,KAAK,WAAW,CACpC,OAAM,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,SAAM,KACJ,WAAW,iBAAiB,QAAQ,mCAAmC,EACrE,KAAK,QAAQ,KAAK,IAAI,EACvB,CAAC,CACH;AAED,WAAQ,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,OAAM,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,MAAM,MAAM;AAGpC,QAAO;EAAE;EAAO;EAAS,WAAW;EAAe;;AAGrD,SAAS,sBAAsB,MAAgB,OAAsB;CACnE,MAAM,mBAAmB,KAAK,WAAW,EAAE;AAC3C,KAAI,iBAAiB,WAAW,EAC9B;CAGF,MAAM,UAAU,KAAK,WAAW,EAAE;AAElC,KAAI,QAAQ,WAAW,GAAG;AACxB,QAAM,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,OAAM,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;;;;;AC7LrE,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;;;;;ACgBH,IAAM,kBAAN,MAEA;CACE,AAAS;CACT,AAAS;CACT,AAAiB;CACjB,AAAiB;CACjB,AAAiB;CACjB,AAAiB;CACjB,AAAiB;CACjB,AAAiB;CACjB,AAAiB;CAEjB,AAAQ;CACR,AAAQ;CACR,AAAQ;CAER,YAAY,SAAiD;EAC3D,MAAM,EAAE,eAAe,WAAW;AAClC,OAAK,WAAW,cAAc;AAC9B,OAAK,gBAAgB;AACrB,OAAK,SAAS;AACd,OAAK,aAAa,QAAQ,cAAc,EAAE;AAC1C,OAAK,OAAO,QAAQ,QAAQ;AAC5B,OAAK,SAAS,QAAQ;AACtB,OAAK,WAAW,QAAQ,OAAO,SAAS,YAAY,QAAQ,QAAQ,OAAO,SAAS;AACpF,OAAK,kBAAkB;AACvB,OAAK,aAAa;AAElB,OAAK,oBAAoB;GACvB,UAAU,KAAK;GACf,MAAM,KAAK;GACX,WAAW,KAAK,KAAK;GACrB,KAAK,QAAQ,OAAO;IAClB,YAAY;IACZ,YAAY;IACZ,aAAa;IACd;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,OAAMC,eAAa,2BAA2B,wCAAwC;AAGxF,QAAK,WAAW;AAChB;;EAGF,MAAM,SAAS,uBAAuB,OAAO,KAAK,GAAG;EAErD,MAAM,WAAW,KAAK;AAKtB,MAAI,OAAO,gBAAgB,SAAS,QAAQ,YAC1C,OAAMA,eACJ,4BACA,iDACA;GACE,UAAU,SAAS,QAAQ;GAC3B,QAAQ,OAAO;GAChB,CACF;EAGH,MAAM,kBAAkB,SAAS,eAAe;AAChD,MAAI,oBAAoB,QAAQ,OAAO,gBAAgB,gBACrD,OAAMA,eACJ,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,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,MAAM,KAAK,WACpB,KAAI,GAAG,cACL,OAAM,GAAG,cAAc,MAAM,KAAK,kBAAkB;IAIxD,MAAM,gBAAgB,KAAK;AAE3B,eAAW,MAAM,OAAO,UAAU,QAAiC;KACjE,KAAK,KAAK;KACV,QAAQ;KACT,CAAC,EAAE;AACF,UAAK,MAAM,MAAM,KAAK,WACpB,KAAI,GAAG,MACL,OAAM,GAAG,MAAM,KAAK,MAAM,KAAK,kBAAkB;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,MAAM,KAAK,WACpB,KAAI,GAAG,aACL,KAAI;AACF,WAAM,GAAG,aACP,MACA;MAAE;MAAU;MAAW;MAAW,EAClC,KAAK,kBACN;YACK;AAMZ,UAAM;;GAGR,MAAM,YAAY,KAAK,KAAK,GAAG;AAC/B,QAAK,MAAM,MAAM,KAAK,WACpB,KAAI,GAAG,aACL,OAAM,GAAG,aAAa,MAAM;IAAE;IAAU;IAAW;IAAW,EAAE,KAAK,kBAAkB;;AAK7F,SAAO,IAAIC,sBAAoB,SAAS,KAAK,CAAC;;;AAIlD,SAAgB,kBACd,SACiC;AACjC,QAAO,IAAI,gBAAgB,QAAQ"}

package/package.json

@@ -1,34 +1,42 @@
 {
   "name": "@prisma-next/runtime-executor",
-  "version": "0.3.0-pr.99.6",
+  "version": "0.4.0-dev.1",
   "type": "module",
   "sideEffects": false,
   "description": "Target-agnostic execution engine for Prisma Next",
   "dependencies": {
     "arktype": "^2.1.25",
-    "@prisma-next/contract": "0.3.0-pr.99.6",
-    "@prisma-next/operations": "0.3.0-pr.99.6"
+    "@prisma-next/contract": "0.4.0-dev.1",
+    "@prisma-next/framework-components": "0.4.0-dev.1",
+    "@prisma-next/operations": "0.4.0-dev.1"
   },
   "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/tsconfig": "0.0.0",
     "@prisma-next/test-utils": "0.0.1",
-    "@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/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/exports/index.ts

@@ -1,26 +1,23 @@
-export { AsyncIterableResult } from '../async-iterable-result';
-export type { RuntimeErrorEnvelope } from '../errors';
-export { runtimeError } from '../errors';
+export type { RuntimeErrorEnvelope } from '@prisma-next/framework-components/runtime';
+export { AsyncIterableResult, runtimeError } from '@prisma-next/framework-components/runtime';
 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,
+  Middleware,
+  MiddlewareContext,
   Severity,
-} from '../plugins/types';
+} from '../middleware/types';
 export type {
+  RuntimeConnection,
   RuntimeCore,
   RuntimeCoreOptions,
+  RuntimeQueryable,
   RuntimeTelemetryEvent,
+  RuntimeTransaction,
   RuntimeVerifyOptions,
   TelemetryOutcome,
 } from '../runtime-core';

package/src/marker.ts

@@ -1,9 +1,6 @@
 import type { ContractMarkerRecord } from '@prisma-next/contract/types';
 import { type } from 'arktype';
 
-// Re-export for backward compatibility
-export type { ContractMarkerRecord } from '@prisma-next/contract/types';
-
 export interface ContractMarkerRow {
   core_hash: string;
   profile_hash: string;
@@ -74,7 +71,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/middleware/types.ts

@@ -0,0 +1,29 @@
+import type { ExecutionPlan } from '@prisma-next/contract/types';
+import type {
+  AfterExecuteResult,
+  RuntimeLog,
+  RuntimeMiddleware,
+  RuntimeMiddlewareContext,
+} from '@prisma-next/framework-components/runtime';
+
+export type Severity = 'error' | 'warn' | 'info';
+
+export type { AfterExecuteResult, RuntimeLog as Log };
+
+export interface MiddlewareContext<TContract = unknown> extends RuntimeMiddlewareContext {
+  readonly contract: TContract;
+}
+
+export interface Middleware<TContract = unknown> extends RuntimeMiddleware {
+  beforeExecute?(plan: ExecutionPlan, ctx: MiddlewareContext<TContract>): Promise<void>;
+  onRow?(
+    row: Record<string, unknown>,
+    plan: ExecutionPlan,
+    ctx: MiddlewareContext<TContract>,
+  ): Promise<void>;
+  afterExecute?(
+    plan: ExecutionPlan,
+    result: AfterExecuteResult,
+    ctx: MiddlewareContext<TContract>,
+  ): Promise<void>;
+}

package/src/runtime-core.ts

@@ -1,10 +1,9 @@
 import type { ExecutionPlan } from '@prisma-next/contract/types';
-import type { OperationRegistry } from '@prisma-next/operations';
-import { AsyncIterableResult } from './async-iterable-result';
-import { runtimeError } from './errors';
+import type { RuntimeExecutor } from '@prisma-next/framework-components/runtime';
+import { AsyncIterableResult, runtimeError } from '@prisma-next/framework-components/runtime';
 import { computeSqlFingerprint } from './fingerprint';
 import { parseContractMarkerRow } from './marker';
-import type { Log, Plugin, PluginContext } from './plugins/types';
+import type { Log, Middleware, MiddlewareContext } from './middleware/types';
 import type { RuntimeFamilyAdapter } from './runtime-spi';
 
 export interface RuntimeVerifyOptions {
@@ -22,32 +21,69 @@ export interface RuntimeTelemetryEvent {
   readonly durationMs?: number;
 }
 
-export interface RuntimeCoreOptions<TContract = unknown, TAdapter = unknown, TDriver = unknown> {
+export interface RuntimeCoreOptions<TContract = unknown, TDriver = unknown> {
   readonly familyAdapter: RuntimeFamilyAdapter<TContract>;
   readonly driver: TDriver;
   readonly verify: RuntimeVerifyOptions;
-  readonly plugins?: readonly Plugin<TContract, TAdapter, TDriver>[];
+  readonly middleware?: readonly Middleware<TContract>[];
   readonly mode?: 'strict' | 'permissive';
   readonly log?: Log;
-  readonly operationRegistry: OperationRegistry;
 }
 
-export interface RuntimeCore<TContract = unknown, TAdapter = unknown, TDriver = unknown> {
-  // Type parameters are used in the implementation for type safety
+export interface RuntimeCore<TContract = unknown, TDriver = unknown>
+  extends RuntimeQueryable,
+    RuntimeExecutor<ExecutionPlan> {
   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>;
+}
+
+/**
+ * Shared query execution trait for anything that can run an ExecutionPlan:
+ * RuntimeCore, RuntimeConnection, and RuntimeTransaction. This is a
+ * SQL-domain internal mixin — it is NOT the cross-family SPI.
+ *
+ * For the cross-family SPI, see RuntimeExecutor in framework-components.
+ * RuntimeCore nominally extends both this interface and RuntimeExecutor.
+ *
+ * The execute signature uses the same `_row` phantom intersection as
+ * RuntimeExecutor so that RuntimeCore can extend both without conflicts.
+ */
+export interface RuntimeQueryable {
+  execute<Row>(plan: ExecutionPlan & { readonly _row?: 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[];
@@ -58,55 +94,43 @@ interface DriverWithClose<_TDriver> {
   close(): Promise<void>;
 }
 
-class RuntimeCoreImpl<TContract = unknown, TAdapter = unknown, TDriver = unknown>
-  implements RuntimeCore<TContract, TAdapter, TDriver>
+class RuntimeCoreImpl<TContract = unknown, TDriver = unknown>
+  implements RuntimeCore<TContract, TDriver>
 {
   readonly _typeContract?: TContract;
-  readonly _typeAdapter?: TAdapter;
   readonly _typeDriver?: TDriver;
   private readonly contract: TContract;
   private readonly familyAdapter: RuntimeFamilyAdapter<TContract>;
   private readonly driver: TDriver;
-  private readonly plugins: readonly Plugin<TContract, TAdapter, TDriver>[];
+  private readonly middleware: readonly Middleware<TContract>[];
   private readonly mode: 'strict' | 'permissive';
   private readonly verify: RuntimeVerifyOptions;
-  private readonly operationRegistry: OperationRegistry;
-  private readonly pluginContext: PluginContext<TContract, TAdapter, TDriver>;
+  private readonly middlewareContext: MiddlewareContext<TContract>;
 
   private verified: boolean;
   private startupVerified: boolean;
   private _telemetry: RuntimeTelemetryEvent | null;
 
-  constructor(options: RuntimeCoreOptions<TContract, TAdapter, TDriver>) {
+  constructor(options: RuntimeCoreOptions<TContract, TDriver>) {
     const { familyAdapter, driver } = options;
     this.contract = familyAdapter.contract;
     this.familyAdapter = familyAdapter;
     this.driver = driver;
-    this.plugins = options.plugins ?? [];
+    this.middleware = options.middleware ?? [];
     this.mode = options.mode ?? 'strict';
     this.verify = options.verify;
-    this.operationRegistry = options.operationRegistry;
-
     this.verified = options.verify.mode === 'startup' ? false : options.verify.mode === 'always';
     this.startupVerified = false;
     this._telemetry = null;
 
-    this.pluginContext = {
+    this.middlewareContext = {
       contract: this.contract,
-      adapter: options.familyAdapter as unknown as TAdapter,
-      driver: this.driver,
       mode: this.mode,
       now: () => Date.now(),
       log: options.log ?? {
-        info: () => {
-          // No-op in MVP - diagnostics stay out of runtime core
-        },
-        warn: () => {
-          // No-op in MVP - diagnostics stay out of runtime core
-        },
-        error: () => {
-          // No-op in MVP - diagnostics stay out of runtime core
-        },
+        info: () => {},
+        warn: () => {},
+        error: () => {},
       },
     };
   }
@@ -136,12 +160,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 {
+      storage: { storageHash: string };
+      execution?: { executionHash?: string | null };
+      profileHash?: string | null;
+    };
+    if (marker.storageHash !== contract.storage.storageHash) {
+      throw runtimeError(
+        'CONTRACT.MARKER_MISMATCH',
+        'Database storage hash does not match contract',
+        {
+          expected: contract.storage.storageHash,
+          actual: marker.storageHash,
+        },
+      );
     }
 
     const expectedProfile = contract.profileHash ?? null;
@@ -180,11 +212,64 @@ 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;
+  }
+
+  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;
 
     const iterator = async function* (
-      self: RuntimeCoreImpl<TContract, TAdapter, TDriver>,
+      self: RuntimeCoreImpl<TContract, TDriver>,
     ): AsyncGenerator<Row, void, unknown> {
       const startedAt = Date.now();
       let rowCount = 0;
@@ -203,22 +288,21 @@ class RuntimeCoreImpl<TContract = unknown, TAdapter = unknown, TDriver = unknown
           await self.verifyPlanIfNeeded(plan);
         }
 
-        for (const plugin of self.plugins) {
-          if (plugin.beforeExecute) {
-            await plugin.beforeExecute(plan, self.pluginContext);
+        for (const mw of self.middleware) {
+          if (mw.beforeExecute) {
+            await mw.beforeExecute(plan, self.middlewareContext);
           }
         }
 
-        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,
         })) {
-          for (const plugin of self.plugins) {
-            if (plugin.onRow) {
-              await plugin.onRow(row, plan, self.pluginContext);
+          for (const mw of self.middleware) {
+            if (mw.onRow) {
+              await mw.onRow(row, plan, self.middlewareContext);
             }
           }
           rowCount++;
@@ -233,13 +317,13 @@ class RuntimeCoreImpl<TContract = unknown, TAdapter = unknown, TDriver = unknown
         }
 
         const latencyMs = Date.now() - startedAt;
-        for (const plugin of self.plugins) {
-          if (plugin.afterExecute) {
+        for (const mw of self.middleware) {
+          if (mw.afterExecute) {
             try {
-              await plugin.afterExecute(
+              await mw.afterExecute(
                 plan,
                 { rowCount, latencyMs, completed },
-                self.pluginContext,
+                self.middlewareContext,
               );
             } catch {
               // Ignore errors from afterExecute hooks
@@ -251,35 +335,19 @@ class RuntimeCoreImpl<TContract = unknown, TAdapter = unknown, TDriver = unknown
       }
 
       const latencyMs = Date.now() - startedAt;
-      for (const plugin of self.plugins) {
-        if (plugin.afterExecute) {
-          await plugin.afterExecute(plan, { rowCount, latencyMs, completed }, self.pluginContext);
+      for (const mw of self.middleware) {
+        if (mw.afterExecute) {
+          await mw.afterExecute(plan, { rowCount, latencyMs, completed }, self.middlewareContext);
         }
       }
     };
 
     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>(
-  options: RuntimeCoreOptions<TContract, TAdapter, TDriver>,
-): RuntimeCore<TContract, TAdapter, TDriver> {
+export function createRuntimeCore<TContract = unknown, TDriver = unknown>(
+  options: RuntimeCoreOptions<TContract, TDriver>,
+): RuntimeCore<TContract, TDriver> {
   return new RuntimeCoreImpl(options);
 }

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