@prisma-next/runtime-executor 0.0.1

package/README.md

@@ -0,0 +1,83 @@
+# @prisma-next/runtime-executor
+
+Target-agnostic execution engine for Prisma Next.
+
+## Package Classification
+
+- **Domain**: framework
+- **Layer**: runtime-executor
+- **Plane**: runtime
+
+## Overview
+
+The runtime-executor package provides the target-neutral execution engine responsible for plan validation, marker verification, plugin lifecycle, telemetry, and the runtime SPI definition. It is designed to work with any target family (SQL, document, graph, etc.) through the `RuntimeFamilyAdapter` interface.
+
+## Purpose
+
+Provide a target-agnostic execution engine that family runtimes (e.g., `@prisma-next/sql-runtime`) can compose with family-specific adapters, drivers, and codecs.
+
+## Responsibilities
+
+- **Plan Validation**: Verify plans against contracts (coreHash/profileHash checks)
+- **Marker Verification**: Read and parse contract markers from databases
+- **Plugin Orchestration**: Manage plugin lifecycle (beforeExecute, onRow, afterExecute hooks)
+- **Telemetry Recording**: Track execution metrics (lane, target, fingerprint, outcome, duration)
+- **Error Envelopes**: Provide consistent error formatting across families
+- **Runtime SPI**: Define the `RuntimeFamilyAdapter` interface that family runtimes implement
+
+## Key Abstractions
+
+### RuntimeFamilyAdapter
+
+Family runtimes implement this interface to provide:
+- `readMarkerStatement()` - Returns SQL/query statement to read marker
+- `validatePlan(plan, contract)` - Family-specific plan validation
+- `contract` - The family-specific contract type
+
+### RuntimeCore
+
+The target-neutral runtime implementation that:
+- Takes a `RuntimeFamilyAdapter` and driver
+- Executes plans through the family adapter
+- Orchestrates plugins
+- Records telemetry
+- Validates plans and markers
+
+## Dependencies
+
+- `@prisma-next/contract` - Plan types
+- `@prisma-next/operations` - Operation registry
+
+**No SQL-specific dependencies** - This package is target-agnostic.
+
+## Usage
+
+Family runtimes (e.g., `@prisma-next/sql-runtime`) compose runtime-executor with family-specific implementations:
+
+```typescript
+import { createRuntimeCore } from '@prisma-next/runtime-executor';
+import { SqlFamilyAdapter } from './sql-family-adapter';
+
+const familyAdapter = new SqlFamilyAdapter(contract);
+const core = createRuntimeCore({
+  familyAdapter,
+  driver,
+  verify: { mode: 'onFirstUse', requireMarker: false },
+  operationRegistry,
+  plugins: [budgets(), lints()],
+});
+```
+
+## Exports
+
+- `createRuntimeCore` - Create a target-neutral runtime instance
+- `RuntimeFamilyAdapter` - Interface for family runtimes
+- `MarkerReader` - Interface for marker reading
+- `budgets`, `lints` - Target-neutral plugins
+- `runtimeError` - Error envelope utilities
+- `computeSqlFingerprint` - SQL fingerprint computation
+- `parseContractMarkerRow` - Marker parsing utilities
+
+## Testing
+
+Includes a mock-family smoke test (`test/mock-family.test.ts`) that proves runtime-executor can work without SQL dependencies.

package/dist/index.d.ts

@@ -0,0 +1,140 @@
+import { ExecutionPlan, ContractMarkerRecord } from '@prisma-next/contract/types';
+export { ContractMarkerRecord } from '@prisma-next/contract/types';
+import { OperationRegistry } from '@prisma-next/operations';
+
+interface RuntimeErrorEnvelope extends Error {
+    readonly code: string;
+    readonly category: 'PLAN' | 'CONTRACT' | 'LINT' | 'BUDGET' | 'RUNTIME';
+    readonly severity: 'error';
+    readonly details?: Record<string, unknown>;
+}
+declare function runtimeError(code: string, message: string, details?: Record<string, unknown>): RuntimeErrorEnvelope;
+
+declare function computeSqlFingerprint(sql: string): string;
+
+type LintSeverity = 'error' | 'warn';
+type BudgetSeverity = 'error' | 'warn';
+interface LintFinding {
+    readonly code: `LINT.${string}`;
+    readonly severity: LintSeverity;
+    readonly message: string;
+    readonly details?: Record<string, unknown>;
+}
+interface BudgetFinding {
+    readonly code: `BUDGET.${string}`;
+    readonly severity: BudgetSeverity;
+    readonly message: string;
+    readonly details?: Record<string, unknown>;
+}
+interface RawGuardrailConfig {
+    readonly budgets?: {
+        readonly unboundedSelectSeverity?: BudgetSeverity;
+        readonly estimatedRows?: number;
+    };
+}
+interface RawGuardrailResult {
+    readonly lints: LintFinding[];
+    readonly budgets: BudgetFinding[];
+    readonly statement: 'select' | 'mutation' | 'other';
+}
+declare function evaluateRawGuardrails(plan: ExecutionPlan, config?: RawGuardrailConfig): RawGuardrailResult;
+
+declare function parseContractMarkerRow(row: unknown): ContractMarkerRecord;
+
+type Severity = 'error' | 'warn' | 'info';
+interface Log {
+    info(event: unknown): void;
+    warn(event: unknown): void;
+    error(event: unknown): void;
+}
+interface PluginContext<TContract = unknown, TAdapter = unknown, TDriver = unknown> {
+    readonly contract: TContract;
+    readonly adapter: TAdapter;
+    readonly driver: TDriver;
+    readonly mode: 'strict' | 'permissive';
+    readonly now: () => number;
+    readonly log: Log;
+}
+interface AfterExecuteResult {
+    readonly rowCount: number;
+    readonly latencyMs: number;
+    readonly completed: boolean;
+}
+interface Plugin<TContract = unknown, TAdapter = unknown, TDriver = unknown> {
+    readonly name: string;
+    beforeExecute?(plan: ExecutionPlan, ctx: PluginContext<TContract, TAdapter, TDriver>): Promise<void>;
+    onRow?(row: Record<string, unknown>, plan: ExecutionPlan, ctx: PluginContext<TContract, TAdapter, TDriver>): Promise<void>;
+    afterExecute?(plan: ExecutionPlan, result: AfterExecuteResult, ctx: PluginContext<TContract, TAdapter, TDriver>): Promise<void>;
+}
+
+interface BudgetsOptions {
+    readonly maxRows?: number;
+    readonly defaultTableRows?: number;
+    readonly tableRows?: Record<string, number>;
+    readonly maxLatencyMs?: number;
+    readonly severities?: {
+        readonly rowCount?: 'warn' | 'error';
+        readonly latency?: 'warn' | 'error';
+    };
+    readonly explain?: {
+        readonly enabled?: boolean;
+    };
+}
+declare function budgets<TContract = unknown, TAdapter = unknown, TDriver = unknown>(options?: BudgetsOptions): Plugin<TContract, TAdapter, TDriver>;
+
+interface LintsOptions {
+    readonly severities?: {
+        readonly selectStar?: 'warn' | 'error';
+        readonly noLimit?: 'warn' | 'error';
+        readonly readOnlyMutation?: 'warn' | 'error';
+        readonly unindexedPredicate?: 'warn' | 'error';
+    };
+}
+declare function lints<TContract = unknown, TAdapter = unknown, TDriver = unknown>(options?: LintsOptions): Plugin<TContract, TAdapter, TDriver>;
+
+interface MarkerStatement {
+    readonly sql: string;
+    readonly params: readonly unknown[];
+}
+interface MarkerReader {
+    readMarkerStatement(): MarkerStatement;
+}
+interface RuntimeFamilyAdapter<TContract = unknown> {
+    readonly contract: TContract;
+    readonly markerReader: MarkerReader;
+    validatePlan(plan: ExecutionPlan, contract: TContract): void;
+}
+
+interface RuntimeVerifyOptions {
+    readonly mode: 'onFirstUse' | 'startup' | 'always';
+    readonly requireMarker: boolean;
+}
+type TelemetryOutcome = 'success' | 'runtime-error';
+interface RuntimeTelemetryEvent {
+    readonly lane: string;
+    readonly target: string;
+    readonly fingerprint: string;
+    readonly outcome: TelemetryOutcome;
+    readonly durationMs?: number;
+}
+interface RuntimeCoreOptions<TContract = unknown, TAdapter = unknown, TDriver = unknown> {
+    readonly familyAdapter: RuntimeFamilyAdapter<TContract>;
+    readonly driver: TDriver;
+    readonly verify: RuntimeVerifyOptions;
+    readonly plugins?: readonly Plugin<TContract, TAdapter, TDriver>[];
+    readonly mode?: 'strict' | 'permissive';
+    readonly log?: Log;
+    readonly operationRegistry: OperationRegistry;
+}
+interface RuntimeCore<TContract = unknown, TAdapter = unknown, TDriver = unknown> {
+    readonly _typeContract?: TContract;
+    readonly _typeAdapter?: TAdapter;
+    readonly _typeDriver?: TDriver;
+    execute<Row = Record<string, unknown>>(plan: ExecutionPlan<Row>): AsyncIterable<Row>;
+    telemetry(): RuntimeTelemetryEvent | null;
+    close(): Promise<void>;
+    operations(): OperationRegistry;
+}
+declare function createRuntimeCore<TContract = unknown, TAdapter = unknown, TDriver = unknown>(options: RuntimeCoreOptions<TContract, TAdapter, TDriver>): RuntimeCore<TContract, TAdapter, TDriver>;
+
+export { type AfterExecuteResult, type BudgetFinding, type BudgetsOptions, type LintFinding, type LintsOptions, type Log, type MarkerReader, type MarkerStatement, type Plugin, type PluginContext, type RawGuardrailResult, type RuntimeCore, type RuntimeCoreOptions, type RuntimeErrorEnvelope, type RuntimeFamilyAdapter, type RuntimeTelemetryEvent, type RuntimeVerifyOptions, type Severity, type TelemetryOutcome, budgets, computeSqlFingerprint, createRuntimeCore, evaluateRawGuardrails, lints, parseContractMarkerRow, runtimeError };

package/dist/index.js

@@ -0,0 +1,697 @@
+// src/errors.ts
+function runtimeError(code, message, details) {
+  const error = new Error(message);
+  Object.defineProperty(error, "name", {
+    value: "RuntimeError",
+    configurable: true
+  });
+  return Object.assign(error, {
+    code,
+    category: resolveCategory(code),
+    severity: "error",
+    message,
+    details
+  });
+}
+function resolveCategory(code) {
+  const prefix = code.split(".")[0] ?? "RUNTIME";
+  switch (prefix) {
+    case "PLAN":
+    case "CONTRACT":
+    case "LINT":
+    case "BUDGET":
+      return prefix;
+    default:
+      return "RUNTIME";
+  }
+}
+
+// src/fingerprint.ts
+import { createHash } from "crypto";
+var STRING_LITERAL_REGEX = /'(?:''|[^'])*'/g;
+var NUMERIC_LITERAL_REGEX = /\b\d+(?:\.\d+)?\b/g;
+var WHITESPACE_REGEX = /\s+/g;
+function computeSqlFingerprint(sql) {
+  const withoutStrings = sql.replace(STRING_LITERAL_REGEX, "?");
+  const withoutNumbers = withoutStrings.replace(NUMERIC_LITERAL_REGEX, "?");
+  const normalized = withoutNumbers.replace(WHITESPACE_REGEX, " ").trim().toLowerCase();
+  const hash = createHash("sha256").update(normalized).digest("hex");
+  return `sha256:${hash}`;
+}
+
+// src/guardrails/raw.ts
+var SELECT_STAR_REGEX = /select\s+\*/i;
+var LIMIT_REGEX = /\blimit\b/i;
+var MUTATION_PREFIX_REGEX = /^(insert|update|delete|create|alter|drop|truncate)\b/i;
+var READ_ONLY_INTENTS = /* @__PURE__ */ new Set(["read", "report", "readonly"]);
+function evaluateRawGuardrails(plan, config) {
+  const lints2 = [];
+  const budgets2 = [];
+  const normalized = normalizeWhitespace(plan.sql);
+  const statementType = classifyStatement(normalized);
+  if (statementType === "select") {
+    if (SELECT_STAR_REGEX.test(normalized)) {
+      lints2.push(
+        createLint("LINT.SELECT_STAR", "error", "Raw SQL plan selects all columns via *", {
+          sql: snippet(plan.sql)
+        })
+      );
+    }
+    if (!LIMIT_REGEX.test(normalized)) {
+      const severity = config?.budgets?.unboundedSelectSeverity ?? "error";
+      lints2.push(
+        createLint("LINT.NO_LIMIT", "warn", "Raw SQL plan omits LIMIT clause", {
+          sql: snippet(plan.sql)
+        })
+      );
+      budgets2.push(
+        createBudget(
+          "BUDGET.ROWS_EXCEEDED",
+          severity,
+          "Raw SQL plan is unbounded and may exceed row budget",
+          {
+            sql: snippet(plan.sql),
+            ...config?.budgets?.estimatedRows !== void 0 ? { estimatedRows: config.budgets.estimatedRows } : {}
+          }
+        )
+      );
+    }
+  }
+  if (isMutationStatement(statementType) && isReadOnlyIntent(plan.meta)) {
+    lints2.push(
+      createLint(
+        "LINT.READ_ONLY_MUTATION",
+        "error",
+        "Raw SQL plan mutates data despite read-only intent",
+        {
+          sql: snippet(plan.sql),
+          intent: plan.meta.annotations?.["intent"]
+        }
+      )
+    );
+  }
+  const refs = plan.meta.refs;
+  if (refs) {
+    evaluateIndexCoverage(refs, lints2);
+  }
+  return { lints: lints2, budgets: budgets2, statement: statementType };
+}
+function evaluateIndexCoverage(refs, lints2) {
+  const predicateColumns = refs.columns ?? [];
+  if (predicateColumns.length === 0) {
+    return;
+  }
+  const indexes = refs.indexes ?? [];
+  if (indexes.length === 0) {
+    lints2.push(
+      createLint(
+        "LINT.UNINDEXED_PREDICATE",
+        "warn",
+        "Raw SQL plan predicates lack supporting indexes",
+        {
+          predicates: predicateColumns
+        }
+      )
+    );
+    return;
+  }
+  const hasSupportingIndex = predicateColumns.every(
+    (column) => indexes.some(
+      (index) => index.table === column.table && index.columns.some((col) => col.toLowerCase() === column.column.toLowerCase())
+    )
+  );
+  if (!hasSupportingIndex) {
+    lints2.push(
+      createLint(
+        "LINT.UNINDEXED_PREDICATE",
+        "warn",
+        "Raw SQL plan predicates lack supporting indexes",
+        {
+          predicates: predicateColumns
+        }
+      )
+    );
+  }
+}
+function classifyStatement(sql) {
+  const trimmed = sql.trim();
+  const lower = trimmed.toLowerCase();
+  if (lower.startsWith("with")) {
+    if (lower.includes("select")) {
+      return "select";
+    }
+  }
+  if (lower.startsWith("select")) {
+    return "select";
+  }
+  if (MUTATION_PREFIX_REGEX.test(trimmed)) {
+    return "mutation";
+  }
+  return "other";
+}
+function isMutationStatement(statement) {
+  return statement === "mutation";
+}
+function isReadOnlyIntent(meta) {
+  const annotations = meta.annotations;
+  const intent = typeof annotations?.intent === "string" ? annotations.intent.toLowerCase() : void 0;
+  return intent !== void 0 && READ_ONLY_INTENTS.has(intent);
+}
+function normalizeWhitespace(value) {
+  return value.replace(/\s+/g, " ").trim();
+}
+function snippet(sql) {
+  return normalizeWhitespace(sql).slice(0, 200);
+}
+function createLint(code, severity, message, details) {
+  return { code, severity, message, ...details ? { details } : {} };
+}
+function createBudget(code, severity, message, details) {
+  return { code, severity, message, ...details ? { details } : {} };
+}
+
+// src/marker.ts
+import { type } from "arktype";
+var MetaSchema = type({ "[string]": "unknown" });
+function parseMeta(meta) {
+  if (meta === null || meta === void 0) {
+    return {};
+  }
+  let parsed;
+  if (typeof meta === "string") {
+    try {
+      parsed = JSON.parse(meta);
+    } catch {
+      return {};
+    }
+  } else {
+    parsed = meta;
+  }
+  const result = MetaSchema(parsed);
+  if (result instanceof type.errors) {
+    return {};
+  }
+  return result;
+}
+var ContractMarkerRowSchema = type({
+  core_hash: "string",
+  profile_hash: "string",
+  "contract_json?": "unknown | null",
+  "canonical_version?": "number | null",
+  "updated_at?": "Date | string",
+  "app_tag?": "string | null",
+  "meta?": "unknown | null"
+});
+function parseContractMarkerRow(row) {
+  const result = ContractMarkerRowSchema(row);
+  if (result instanceof type.errors) {
+    const messages = result.map((p) => p.message).join("; ");
+    throw new Error(`Invalid contract marker row: ${messages}`);
+  }
+  const validatedRow = result;
+  const updatedAt = validatedRow.updated_at ? validatedRow.updated_at instanceof Date ? validatedRow.updated_at : new Date(validatedRow.updated_at) : /* @__PURE__ */ new Date();
+  return {
+    coreHash: validatedRow.core_hash,
+    profileHash: validatedRow.profile_hash,
+    contractJson: validatedRow.contract_json ?? null,
+    canonicalVersion: validatedRow.canonical_version ?? null,
+    updatedAt,
+    appTag: validatedRow.app_tag ?? null,
+    meta: parseMeta(validatedRow.meta)
+  };
+}
+
+// src/plugins/budgets.ts
+async function computeEstimatedRows(plan, driver) {
+  if (typeof driver.explain !== "function") {
+    return void 0;
+  }
+  try {
+    const result = await driver.explain(plan.sql, [...plan.params]);
+    return extractEstimatedRows(result.rows);
+  } catch {
+    return void 0;
+  }
+}
+function extractEstimatedRows(rows) {
+  for (const row of rows) {
+    const estimate = findPlanRows(row);
+    if (estimate !== void 0) {
+      return estimate;
+    }
+  }
+  return void 0;
+}
+function findPlanRows(node) {
+  if (!node || typeof node !== "object") {
+    return void 0;
+  }
+  const explainNode = node;
+  const planRows = explainNode["Plan Rows"];
+  if (typeof planRows === "number") {
+    return planRows;
+  }
+  if ("Plan" in explainNode && explainNode.Plan !== void 0) {
+    const nested = findPlanRows(explainNode.Plan);
+    if (nested !== void 0) {
+      return nested;
+    }
+  }
+  if (Array.isArray(explainNode.Plans)) {
+    for (const child of explainNode.Plans) {
+      const nested = findPlanRows(child);
+      if (nested !== void 0) {
+        return nested;
+      }
+    }
+  }
+  for (const value of Object.values(node)) {
+    if (typeof value === "object" && value !== null) {
+      const nested = findPlanRows(value);
+      if (nested !== void 0) {
+        return nested;
+      }
+    }
+  }
+  return void 0;
+}
+function budgetError(code, message, details) {
+  const error = new Error(message);
+  Object.defineProperty(error, "name", {
+    value: "RuntimeError",
+    configurable: true
+  });
+  return Object.assign(error, {
+    code,
+    category: "BUDGET",
+    severity: "error",
+    details
+  });
+}
+function estimateRows(plan, tableRows, defaultTableRows) {
+  if (!plan.ast) {
+    return null;
+  }
+  const table = plan.meta.refs?.tables?.[0];
+  if (!table) {
+    return null;
+  }
+  const tableEstimate = tableRows[table] ?? defaultTableRows;
+  if (plan.ast && typeof plan.ast === "object" && "kind" in plan.ast && plan.ast.kind === "select" && "limit" in plan.ast && typeof plan.ast.limit === "number") {
+    return Math.min(plan.ast.limit, tableEstimate);
+  }
+  return tableEstimate;
+}
+function hasDetectableLimit(plan) {
+  if (plan.ast && typeof plan.ast === "object" && "kind" in plan.ast && plan.ast.kind === "select" && "limit" in plan.ast && typeof plan.ast.limit === "number") {
+    return true;
+  }
+  const annotations = plan.meta.annotations;
+  return typeof annotations?.limit === "number" || typeof annotations?.LIMIT === "number";
+}
+function budgets(options) {
+  const maxRows = options?.maxRows ?? 1e4;
+  const defaultTableRows = options?.defaultTableRows ?? 1e4;
+  const tableRows = options?.tableRows ?? {};
+  const maxLatencyMs = options?.maxLatencyMs ?? 1e3;
+  const rowSeverity = options?.severities?.rowCount ?? "error";
+  const latencySeverity = options?.severities?.latency ?? "warn";
+  let observedRows = 0;
+  return Object.freeze({
+    name: "budgets",
+    async beforeExecute(plan, ctx) {
+      observedRows = 0;
+      void ctx.now();
+      const estimated = estimateRows(plan, tableRows, defaultTableRows);
+      const isUnbounded = !hasDetectableLimit(plan);
+      const sqlUpper = plan.sql.trimStart().toUpperCase();
+      const isSelect = sqlUpper.startsWith("SELECT");
+      if (isSelect && isUnbounded) {
+        if (estimated !== null && estimated >= maxRows) {
+          const error2 = budgetError(
+            "BUDGET.ROWS_EXCEEDED",
+            "Unbounded SELECT query exceeds budget",
+            {
+              source: "heuristic",
+              estimatedRows: estimated,
+              maxRows
+            }
+          );
+          const shouldBlock2 = rowSeverity === "error" || ctx.mode === "strict";
+          if (shouldBlock2) {
+            throw error2;
+          }
+          ctx.log.warn({
+            code: error2.code,
+            message: error2.message,
+            details: error2.details
+          });
+          return;
+        }
+        const error = budgetError("BUDGET.ROWS_EXCEEDED", "Unbounded SELECT query exceeds budget", {
+          source: "heuristic",
+          maxRows
+        });
+        const shouldBlock = rowSeverity === "error" || ctx.mode === "strict";
+        if (shouldBlock) {
+          throw error;
+        }
+        ctx.log.warn({
+          code: error.code,
+          message: error.message,
+          details: error.details
+        });
+        return;
+      }
+      if (estimated !== null) {
+        if (estimated > maxRows) {
+          const error = budgetError("BUDGET.ROWS_EXCEEDED", "Estimated row count exceeds budget", {
+            source: "heuristic",
+            estimatedRows: estimated,
+            maxRows
+          });
+          const shouldBlock = rowSeverity === "error" || ctx.mode === "strict";
+          if (shouldBlock) {
+            throw error;
+          }
+          ctx.log.warn({
+            code: error.code,
+            message: error.message,
+            details: error.details
+          });
+        }
+        return;
+      }
+      if (!plan.ast) {
+        const explainEnabled = options?.explain?.enabled === true;
+        if (explainEnabled && isSelect && typeof ctx.driver === "object" && ctx.driver !== null) {
+          const estimatedRows = await computeEstimatedRows(plan, ctx.driver);
+          if (estimatedRows !== void 0) {
+            if (estimatedRows > maxRows) {
+              const error = budgetError(
+                "BUDGET.ROWS_EXCEEDED",
+                "Estimated row count exceeds budget",
+                {
+                  source: "explain",
+                  estimatedRows,
+                  maxRows
+                }
+              );
+              const shouldBlock = rowSeverity === "error" || ctx.mode === "strict";
+              if (shouldBlock) {
+                throw error;
+              }
+              ctx.log.warn({
+                code: error.code,
+                message: error.message,
+                details: error.details
+              });
+            }
+            return;
+          }
+        }
+      }
+    },
+    async onRow(_row, _plan, _ctx) {
+      void _row;
+      void _plan;
+      void _ctx;
+      observedRows += 1;
+      if (observedRows > maxRows) {
+        throw budgetError("BUDGET.ROWS_EXCEEDED", "Observed row count exceeds budget", {
+          source: "observed",
+          observedRows,
+          maxRows
+        });
+      }
+    },
+    async afterExecute(_plan, result, ctx) {
+      const latencyMs = result.latencyMs;
+      if (latencyMs > maxLatencyMs) {
+        const error = budgetError("BUDGET.TIME_EXCEEDED", "Query latency exceeds budget", {
+          latencyMs,
+          maxLatencyMs
+        });
+        const shouldBlock = latencySeverity === "error" && ctx.mode === "strict";
+        if (shouldBlock) {
+          throw error;
+        }
+        ctx.log.warn({
+          code: error.code,
+          message: error.message,
+          details: error.details
+        });
+      }
+    }
+  });
+}
+
+// src/plugins/lints.ts
+function lintError(code, message, details) {
+  const error = new Error(message);
+  Object.defineProperty(error, "name", {
+    value: "RuntimeError",
+    configurable: true
+  });
+  return Object.assign(error, {
+    code,
+    category: "LINT",
+    severity: "error",
+    details
+  });
+}
+function lints(options) {
+  return Object.freeze({
+    name: "lints",
+    async beforeExecute(plan, ctx) {
+      if (plan.ast) {
+        return;
+      }
+      const evaluation = evaluateRawGuardrails(plan);
+      for (const lint of evaluation.lints) {
+        const configuredSeverity = getConfiguredSeverity(lint.code, options);
+        const effectiveSeverity = configuredSeverity ?? lint.severity;
+        if (effectiveSeverity === "error") {
+          throw lintError(lint.code, lint.message, lint.details);
+        }
+        if (effectiveSeverity === "warn") {
+          ctx.log.warn({
+            code: lint.code,
+            message: lint.message,
+            details: lint.details
+          });
+        }
+      }
+    }
+  });
+}
+function getConfiguredSeverity(code, options) {
+  const severities = options?.severities;
+  if (!severities) {
+    return void 0;
+  }
+  if (code === "LINT.SELECT_STAR") {
+    return severities.selectStar;
+  }
+  if (code === "LINT.NO_LIMIT") {
+    return severities.noLimit;
+  }
+  if (code === "LINT.READ_ONLY_MUTATION") {
+    return severities.readOnlyMutation;
+  }
+  if (code === "LINT.UNINDEXED_PREDICATE") {
+    return severities.unindexedPredicate;
+  }
+  return void 0;
+}
+
+// src/runtime-core.ts
+var RuntimeCoreImpl = class {
+  _typeContract;
+  _typeAdapter;
+  _typeDriver;
+  contract;
+  familyAdapter;
+  driver;
+  plugins;
+  mode;
+  verify;
+  operationRegistry;
+  pluginContext;
+  verified;
+  startupVerified;
+  _telemetry;
+  constructor(options) {
+    const { familyAdapter, driver } = options;
+    this.contract = familyAdapter.contract;
+    this.familyAdapter = familyAdapter;
+    this.driver = driver;
+    this.plugins = options.plugins ?? [];
+    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 = {
+      contract: this.contract,
+      adapter: options.familyAdapter,
+      driver: this.driver,
+      mode: this.mode,
+      now: () => Date.now(),
+      log: options.log ?? {
+        info: () => {
+        },
+        warn: () => {
+        },
+        error: () => {
+        }
+      }
+    };
+  }
+  async verifyPlanIfNeeded(_plan) {
+    void _plan;
+    if (this.verify.mode === "always") {
+      this.verified = false;
+    }
+    if (this.verified) {
+      return;
+    }
+    const readStatement = this.familyAdapter.markerReader.readMarkerStatement();
+    const driver = this.driver;
+    const result = await driver.query(readStatement.sql, readStatement.params);
+    if (result.rows.length === 0) {
+      if (this.verify.requireMarker) {
+        throw runtimeError("CONTRACT.MARKER_MISSING", "Contract marker not found in database");
+      }
+      this.verified = true;
+      return;
+    }
+    const marker = parseContractMarkerRow(result.rows[0]);
+    const contract = this.contract;
+    if (marker.coreHash !== contract.coreHash) {
+      throw runtimeError("CONTRACT.MARKER_MISMATCH", "Database core hash does not match contract", {
+        expected: contract.coreHash,
+        actual: marker.coreHash
+      });
+    }
+    const expectedProfile = contract.profileHash ?? null;
+    if (expectedProfile !== null && marker.profileHash !== expectedProfile) {
+      throw runtimeError(
+        "CONTRACT.MARKER_MISMATCH",
+        "Database profile hash does not match contract",
+        {
+          expectedProfile,
+          actualProfile: marker.profileHash
+        }
+      );
+    }
+    this.verified = true;
+    this.startupVerified = true;
+  }
+  validatePlan(plan) {
+    this.familyAdapter.validatePlan(plan, this.contract);
+  }
+  recordTelemetry(plan, outcome, durationMs) {
+    const contract = this.contract;
+    this._telemetry = Object.freeze({
+      lane: plan.meta.lane,
+      target: contract.target,
+      fingerprint: computeSqlFingerprint(plan.sql),
+      outcome,
+      ...durationMs !== void 0 ? { durationMs } : {}
+    });
+  }
+  execute(plan) {
+    this.validatePlan(plan);
+    this._telemetry = null;
+    const iterator = async function* (self) {
+      const startedAt = Date.now();
+      let rowCount = 0;
+      let completed = false;
+      if (!self.startupVerified && self.verify.mode === "startup") {
+        await self.verifyPlanIfNeeded(plan);
+      }
+      if (self.verify.mode === "onFirstUse") {
+        await self.verifyPlanIfNeeded(plan);
+      }
+      try {
+        if (self.verify.mode === "always") {
+          await self.verifyPlanIfNeeded(plan);
+        }
+        for (const plugin of self.plugins) {
+          if (plugin.beforeExecute) {
+            await plugin.beforeExecute(plan, self.pluginContext);
+          }
+        }
+        const driver = self.driver;
+        const encodedParams = plan.params;
+        for await (const row of driver.execute({
+          sql: plan.sql,
+          params: encodedParams
+        })) {
+          for (const plugin of self.plugins) {
+            if (plugin.onRow) {
+              await plugin.onRow(row, plan, self.pluginContext);
+            }
+          }
+          rowCount++;
+          yield row;
+        }
+        completed = true;
+        self.recordTelemetry(plan, "success", Date.now() - startedAt);
+      } catch (error) {
+        if (self._telemetry === null) {
+          self.recordTelemetry(plan, "runtime-error", Date.now() - startedAt);
+        }
+        const latencyMs2 = Date.now() - startedAt;
+        for (const plugin of self.plugins) {
+          if (plugin.afterExecute) {
+            try {
+              await plugin.afterExecute(
+                plan,
+                { rowCount, latencyMs: latencyMs2, completed },
+                self.pluginContext
+              );
+            } catch {
+            }
+          }
+        }
+        throw error;
+      }
+      const latencyMs = Date.now() - startedAt;
+      for (const plugin of self.plugins) {
+        if (plugin.afterExecute) {
+          await plugin.afterExecute(plan, { rowCount, latencyMs, completed }, self.pluginContext);
+        }
+      }
+    };
+    return iterator(this);
+  }
+  telemetry() {
+    return this._telemetry;
+  }
+  operations() {
+    return this.operationRegistry;
+  }
+  close() {
+    const driver = this.driver;
+    if (typeof driver.close === "function") {
+      return driver.close();
+    }
+    return Promise.resolve();
+  }
+};
+function createRuntimeCore(options) {
+  return new RuntimeCoreImpl(options);
+}
+export {
+  budgets,
+  computeSqlFingerprint,
+  createRuntimeCore,
+  evaluateRawGuardrails,
+  lints,
+  parseContractMarkerRow,
+  runtimeError
+};
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/errors.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 { 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    coreHash: 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 { 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  // Type parameters are used in the implementation for type safety\n  readonly _typeContract?: TContract;\n  readonly _typeAdapter?: TAdapter;\n  readonly _typeDriver?: TDriver;\n  execute<Row = Record<string, unknown>>(plan: ExecutionPlan<Row>): AsyncIterable<Row>;\n  telemetry(): RuntimeTelemetryEvent | null;\n  close(): Promise<void>;\n  operations(): OperationRegistry;\n}\n\ninterface DriverWithQuery<_TDriver> {\n  query(sql: string, params: readonly unknown[]): Promise<{ rows: ReadonlyArray<unknown> }>;\n}\n\ninterface DriverWithExecute<_TDriver> {\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 { coreHash: string; profileHash?: string | null };\n    if (marker.coreHash !== contract.coreHash) {\n      throw runtimeError('CONTRACT.MARKER_MISMATCH', 'Database core hash does not match contract', {\n        expected: contract.coreHash,\n        actual: marker.coreHash,\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>): AsyncIterable<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 driver = self.driver as unknown as DriverWithExecute<TDriver>;\n        const encodedParams = plan.params as readonly unknown[];\n\n        for await (const row of driver.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 iterator(this);\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\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":";AAOO,SAAS,aACd,MACA,SACA,SACsB;AACtB,QAAM,QAAQ,IAAI,MAAM,OAAO;AAC/B,SAAO,eAAe,OAAO,QAAQ;AAAA,IACnC,OAAO;AAAA,IACP,cAAc;AAAA,EAChB,CAAC;AAED,SAAO,OAAO,OAAO,OAAO;AAAA,IAC1B;AAAA,IACA,UAAU,gBAAgB,IAAI;AAAA,IAC9B,UAAU;AAAA,IACV;AAAA,IACA;AAAA,EACF,CAAC;AACH;AAEA,SAAS,gBAAgB,MAAgD;AACvE,QAAM,SAAS,KAAK,MAAM,GAAG,EAAE,CAAC,KAAK;AACrC,UAAQ,QAAQ;AAAA,IACd,KAAK;AAAA,IACL,KAAK;AAAA,IACL,KAAK;AAAA,IACL,KAAK;AACH,aAAO;AAAA,IACT;AACE,aAAO;AAAA,EACX;AACF;;;ACtCA,SAAS,kBAAkB;AAE3B,IAAM,uBAAuB;AAC7B,IAAM,wBAAwB;AAC9B,IAAM,mBAAmB;AAElB,SAAS,sBAAsB,KAAqB;AACzD,QAAM,iBAAiB,IAAI,QAAQ,sBAAsB,GAAG;AAC5D,QAAM,iBAAiB,eAAe,QAAQ,uBAAuB,GAAG;AACxE,QAAM,aAAa,eAAe,QAAQ,kBAAkB,GAAG,EAAE,KAAK,EAAE,YAAY;AAEpF,QAAM,OAAO,WAAW,QAAQ,EAAE,OAAO,UAAU,EAAE,OAAO,KAAK;AACjE,SAAO,UAAU,IAAI;AACvB;;;ACmBA,IAAM,oBAAoB;AAC1B,IAAM,cAAc;AACpB,IAAM,wBAAwB;AAE9B,IAAM,oBAAoB,oBAAI,IAAI,CAAC,QAAQ,UAAU,UAAU,CAAC;AAEzD,SAAS,sBACd,MACA,QACoB;AACpB,QAAMA,SAAuB,CAAC;AAC9B,QAAMC,WAA2B,CAAC;AAElC,QAAM,aAAa,oBAAoB,KAAK,GAAG;AAC/C,QAAM,gBAAgB,kBAAkB,UAAU;AAElD,MAAI,kBAAkB,UAAU;AAC9B,QAAI,kBAAkB,KAAK,UAAU,GAAG;AACtC,MAAAD,OAAM;AAAA,QACJ,WAAW,oBAAoB,SAAS,0CAA0C;AAAA,UAChF,KAAK,QAAQ,KAAK,GAAG;AAAA,QACvB,CAAC;AAAA,MACH;AAAA,IACF;AAEA,QAAI,CAAC,YAAY,KAAK,UAAU,GAAG;AACjC,YAAM,WAAW,QAAQ,SAAS,2BAA2B;AAC7D,MAAAA,OAAM;AAAA,QACJ,WAAW,iBAAiB,QAAQ,mCAAmC;AAAA,UACrE,KAAK,QAAQ,KAAK,GAAG;AAAA,QACvB,CAAC;AAAA,MACH;AAEA,MAAAC,SAAQ;AAAA,QACN;AAAA,UACE;AAAA,UACA;AAAA,UACA;AAAA,UACA;AAAA,YACE,KAAK,QAAQ,KAAK,GAAG;AAAA,YACrB,GAAI,QAAQ,SAAS,kBAAkB,SACnC,EAAE,eAAe,OAAO,QAAQ,cAAc,IAC9C,CAAC;AAAA,UACP;AAAA,QACF;AAAA,MACF;AAAA,IACF;AAAA,EACF;AAEA,MAAI,oBAAoB,aAAa,KAAK,iBAAiB,KAAK,IAAI,GAAG;AACrE,IAAAD,OAAM;AAAA,MACJ;AAAA,QACE;AAAA,QACA;AAAA,QACA;AAAA,QACA;AAAA,UACE,KAAK,QAAQ,KAAK,GAAG;AAAA,UACrB,QAAQ,KAAK,KAAK,cAAc,QAAQ;AAAA,QAC1C;AAAA,MACF;AAAA,IACF;AAAA,EACF;AAEA,QAAM,OAAO,KAAK,KAAK;AACvB,MAAI,MAAM;AACR,0BAAsB,MAAMA,MAAK;AAAA,EACnC;AAEA,SAAO,EAAE,OAAAA,QAAO,SAAAC,UAAS,WAAW,cAAc;AACpD;AAEA,SAAS,sBAAsB,MAAgBD,QAAsB;AACnE,QAAM,mBAAmB,KAAK,WAAW,CAAC;AAC1C,MAAI,iBAAiB,WAAW,GAAG;AACjC;AAAA,EACF;AAEA,QAAM,UAAU,KAAK,WAAW,CAAC;AAEjC,MAAI,QAAQ,WAAW,GAAG;AACxB,IAAAA,OAAM;AAAA,MACJ;AAAA,QACE;AAAA,QACA;AAAA,QACA;AAAA,QACA;AAAA,UACE,YAAY;AAAA,QACd;AAAA,MACF;AAAA,IACF;AACA;AAAA,EACF;AAEA,QAAM,qBAAqB,iBAAiB;AAAA,IAAM,CAAC,WACjD,QAAQ;AAAA,MACN,CAAC,UACC,MAAM,UAAU,OAAO,SACvB,MAAM,QAAQ,KAAK,CAAC,QAAQ,IAAI,YAAY,MAAM,OAAO,OAAO,YAAY,CAAC;AAAA,IACjF;AAAA,EACF;AAEA,MAAI,CAAC,oBAAoB;AACvB,IAAAA,OAAM;AAAA,MACJ;AAAA,QACE;AAAA,QACA;AAAA,QACA;AAAA,QACA;AAAA,UACE,YAAY;AAAA,QACd;AAAA,MACF;AAAA,IACF;AAAA,EACF;AACF;AAEA,SAAS,kBAAkB,KAA8C;AACvE,QAAM,UAAU,IAAI,KAAK;AACzB,QAAM,QAAQ,QAAQ,YAAY;AAElC,MAAI,MAAM,WAAW,MAAM,GAAG;AAC5B,QAAI,MAAM,SAAS,QAAQ,GAAG;AAC5B,aAAO;AAAA,IACT;AAAA,EACF;AAEA,MAAI,MAAM,WAAW,QAAQ,GAAG;AAC9B,WAAO;AAAA,EACT;AAEA,MAAI,sBAAsB,KAAK,OAAO,GAAG;AACvC,WAAO;AAAA,EACT;AAEA,SAAO;AACT;AAEA,SAAS,oBAAoB,WAAqD;AAChF,SAAO,cAAc;AACvB;AAEA,SAAS,iBAAiB,MAAyB;AACjD,QAAM,cAAc,KAAK;AACzB,QAAM,SACJ,OAAO,aAAa,WAAW,WAAW,YAAY,OAAO,YAAY,IAAI;AAC/E,SAAO,WAAW,UAAa,kBAAkB,IAAI,MAAM;AAC7D;AAEA,SAAS,oBAAoB,OAAuB;AAClD,SAAO,MAAM,QAAQ,QAAQ,GAAG,EAAE,KAAK;AACzC;AAEA,SAAS,QAAQ,KAAqB;AACpC,SAAO,oBAAoB,GAAG,EAAE,MAAM,GAAG,GAAG;AAC9C;AAEA,SAAS,WACP,MACA,UACA,SACA,SACa;AACb,SAAO,EAAE,MAAM,UAAU,SAAS,GAAI,UAAU,EAAE,QAAQ,IAAI,CAAC,EAAG;AACpE;AAEA,SAAS,aACP,MACA,UACA,SACA,SACe;AACf,SAAO,EAAE,MAAM,UAAU,SAAS,GAAI,UAAU,EAAE,QAAQ,IAAI,CAAC,EAAG;AACpE;;;AC1MA,SAAS,YAAY;AAerB,IAAM,aAAa,KAAK,EAAE,YAAY,UAAU,CAAC;AAEjD,SAAS,UAAU,MAAwC;AACzD,MAAI,SAAS,QAAQ,SAAS,QAAW;AACvC,WAAO,CAAC;AAAA,EACV;AAEA,MAAI;AACJ,MAAI,OAAO,SAAS,UAAU;AAC5B,QAAI;AACF,eAAS,KAAK,MAAM,IAAI;AAAA,IAC1B,QAAQ;AACN,aAAO,CAAC;AAAA,IACV;AAAA,EACF,OAAO;AACL,aAAS;AAAA,EACX;AAEA,QAAM,SAAS,WAAW,MAAM;AAChC,MAAI,kBAAkB,KAAK,QAAQ;AACjC,WAAO,CAAC;AAAA,EACV;AAEA,SAAO;AACT;AAEA,IAAM,0BAA0B,KAAK;AAAA,EACnC,WAAW;AAAA,EACX,cAAc;AAAA,EACd,kBAAkB;AAAA,EAClB,sBAAsB;AAAA,EACtB,eAAe;AAAA,EACf,YAAY;AAAA,EACZ,SAAS;AACX,CAAC;AAEM,SAAS,uBAAuB,KAAoC;AACzE,QAAM,SAAS,wBAAwB,GAAG;AAC1C,MAAI,kBAAkB,KAAK,QAAQ;AACjC,UAAM,WAAW,OAAO,IAAI,CAAC,MAA2B,EAAE,OAAO,EAAE,KAAK,IAAI;AAC5E,UAAM,IAAI,MAAM,gCAAgC,QAAQ,EAAE;AAAA,EAC5D;AAEA,QAAM,eAAe;AAUrB,QAAM,YAAY,aAAa,aAC3B,aAAa,sBAAsB,OACjC,aAAa,aACb,IAAI,KAAK,aAAa,UAAU,IAClC,oBAAI,KAAK;AAEb,SAAO;AAAA,IACL,UAAU,aAAa;AAAA,IACvB,aAAa,aAAa;AAAA,IAC1B,cAAc,aAAa,iBAAiB;AAAA,IAC5C,kBAAkB,aAAa,qBAAqB;AAAA,IACpD;AAAA,IACA,QAAQ,aAAa,WAAW;AAAA,IAChC,MAAM,UAAU,aAAa,IAAI;AAAA,EACnC;AACF;;;AC5DA,eAAe,qBACb,MACA,QAC6B;AAC7B,MAAI,OAAO,OAAO,YAAY,YAAY;AACxC,WAAO;AAAA,EACT;AAEA,MAAI;AACF,UAAM,SAAS,MAAM,OAAO,QAAQ,KAAK,KAAK,CAAC,GAAG,KAAK,MAAM,CAAC;AAC9D,WAAO,qBAAqB,OAAO,IAAI;AAAA,EACzC,QAAQ;AACN,WAAO;AAAA,EACT;AACF;AAEA,SAAS,qBAAqB,MAAkE;AAC9F,aAAW,OAAO,MAAM;AACtB,UAAM,WAAW,aAAa,GAAG;AACjC,QAAI,aAAa,QAAW;AAC1B,aAAO;AAAA,IACT;AAAA,EACF;AAEA,SAAO;AACT;AASA,SAAS,aAAa,MAAmC;AACvD,MAAI,CAAC,QAAQ,OAAO,SAAS,UAAU;AACrC,WAAO;AAAA,EACT;AAEA,QAAM,cAAc;AACpB,QAAM,WAAW,YAAY,WAAW;AACxC,MAAI,OAAO,aAAa,UAAU;AAChC,WAAO;AAAA,EACT;AAEA,MAAI,UAAU,eAAe,YAAY,SAAS,QAAW;AAC3D,UAAM,SAAS,aAAa,YAAY,IAAI;AAC5C,QAAI,WAAW,QAAW;AACxB,aAAO;AAAA,IACT;AAAA,EACF;AAEA,MAAI,MAAM,QAAQ,YAAY,KAAK,GAAG;AACpC,eAAW,SAAS,YAAY,OAAO;AACrC,YAAM,SAAS,aAAa,KAAK;AACjC,UAAI,WAAW,QAAW;AACxB,eAAO;AAAA,MACT;AAAA,IACF;AAAA,EACF;AAEA,aAAW,SAAS,OAAO,OAAO,IAA+B,GAAG;AAClE,QAAI,OAAO,UAAU,YAAY,UAAU,MAAM;AAC/C,YAAM,SAAS,aAAa,KAAK;AACjC,UAAI,WAAW,QAAW;AACxB,eAAO;AAAA,MACT;AAAA,IACF;AAAA,EACF;AAEA,SAAO;AACT;AAEA,SAAS,YAAY,MAAc,SAAiB,SAAmC;AACrF,QAAM,QAAQ,IAAI,MAAM,OAAO;AAM/B,SAAO,eAAe,OAAO,QAAQ;AAAA,IACnC,OAAO;AAAA,IACP,cAAc;AAAA,EAChB,CAAC;AACD,SAAO,OAAO,OAAO,OAAO;AAAA,IAC1B;AAAA,IACA,UAAU;AAAA,IACV,UAAU;AAAA,IACV;AAAA,EACF,CAAC;AACH;AAEA,SAAS,aACP,MACA,WACA,kBACe;AACf,MAAI,CAAC,KAAK,KAAK;AACb,WAAO;AAAA,EACT;AAEA,QAAM,QAAQ,KAAK,KAAK,MAAM,SAAS,CAAC;AACxC,MAAI,CAAC,OAAO;AACV,WAAO;AAAA,EACT;AAEA,QAAM,gBAAgB,UAAU,KAAK,KAAK;AAE1C,MACE,KAAK,OACL,OAAO,KAAK,QAAQ,YACpB,UAAU,KAAK,OACf,KAAK,IAAI,SAAS,YAClB,WAAW,KAAK,OAChB,OAAO,KAAK,IAAI,UAAU,UAC1B;AACA,WAAO,KAAK,IAAI,KAAK,IAAI,OAAO,aAAa;AAAA,EAC/C;AAEA,SAAO;AACT;AAEA,SAAS,mBAAmB,MAA8B;AACxD,MACE,KAAK,OACL,OAAO,KAAK,QAAQ,YACpB,UAAU,KAAK,OACf,KAAK,IAAI,SAAS,YAClB,WAAW,KAAK,OAChB,OAAO,KAAK,IAAI,UAAU,UAC1B;AACA,WAAO;AAAA,EACT;AAEA,QAAM,cAAc,KAAK,KAAK;AAC9B,SAAO,OAAO,aAAa,UAAU,YAAY,OAAO,aAAa,UAAU;AACjF;AAEO,SAAS,QACd,SACsC;AACtC,QAAM,UAAU,SAAS,WAAW;AACpC,QAAM,mBAAmB,SAAS,oBAAoB;AACtD,QAAM,YAAY,SAAS,aAAa,CAAC;AACzC,QAAM,eAAe,SAAS,gBAAgB;AAC9C,QAAM,cAAc,SAAS,YAAY,YAAY;AACrD,QAAM,kBAAkB,SAAS,YAAY,WAAW;AAExD,MAAI,eAAe;AAEnB,SAAO,OAAO,OAAO;AAAA,IACnB,MAAM;AAAA,IAEN,MAAM,cAAc,MAAqB,KAAkD;AACzF,qBAAe;AACf,WAAK,IAAI,IAAI;AAEb,YAAM,YAAY,aAAa,MAAM,WAAW,gBAAgB;AAChE,YAAM,cAAc,CAAC,mBAAmB,IAAI;AAC5C,YAAM,WAAW,KAAK,IAAI,UAAU,EAAE,YAAY;AAClD,YAAM,WAAW,SAAS,WAAW,QAAQ;AAG7C,UAAI,YAAY,aAAa;AAC3B,YAAI,cAAc,QAAQ,aAAa,SAAS;AAC9C,gBAAME,SAAQ;AAAA,YACZ;AAAA,YACA;AAAA,YACA;AAAA,cACE,QAAQ;AAAA,cACR,eAAe;AAAA,cACf;AAAA,YACF;AAAA,UACF;AAEA,gBAAMC,eAAc,gBAAgB,WAAW,IAAI,SAAS;AAC5D,cAAIA,cAAa;AACf,kBAAMD;AAAA,UACR;AACA,cAAI,IAAI,KAAK;AAAA,YACX,MAAMA,OAAM;AAAA,YACZ,SAASA,OAAM;AAAA,YACf,SAASA,OAAM;AAAA,UACjB,CAAC;AACD;AAAA,QACF;AAGA,cAAM,QAAQ,YAAY,wBAAwB,yCAAyC;AAAA,UACzF,QAAQ;AAAA,UACR;AAAA,QACF,CAAC;AAED,cAAM,cAAc,gBAAgB,WAAW,IAAI,SAAS;AAC5D,YAAI,aAAa;AACf,gBAAM;AAAA,QACR;AACA,YAAI,IAAI,KAAK;AAAA,UACX,MAAM,MAAM;AAAA,UACZ,SAAS,MAAM;AAAA,UACf,SAAS,MAAM;AAAA,QACjB,CAAC;AACD;AAAA,MACF;AAGA,UAAI,cAAc,MAAM;AACtB,YAAI,YAAY,SAAS;AACvB,gBAAM,QAAQ,YAAY,wBAAwB,sCAAsC;AAAA,YACtF,QAAQ;AAAA,YACR,eAAe;AAAA,YACf;AAAA,UACF,CAAC;AAED,gBAAM,cAAc,gBAAgB,WAAW,IAAI,SAAS;AAC5D,cAAI,aAAa;AACf,kBAAM;AAAA,UACR;AACA,cAAI,IAAI,KAAK;AAAA,YACX,MAAM,MAAM;AAAA,YACZ,SAAS,MAAM;AAAA,YACf,SAAS,MAAM;AAAA,UACjB,CAAC;AAAA,QACH;AACA;AAAA,MACF;AAGA,UAAI,CAAC,KAAK,KAAK;AACb,cAAM,iBAAiB,SAAS,SAAS,YAAY;AAErD,YAAI,kBAAkB,YAAY,OAAO,IAAI,WAAW,YAAY,IAAI,WAAW,MAAM;AACvF,gBAAM,gBAAgB,MAAM,qBAAqB,MAAM,IAAI,MAA2B;AACtF,cAAI,kBAAkB,QAAW;AAC/B,gBAAI,gBAAgB,SAAS;AAC3B,oBAAM,QAAQ;AAAA,gBACZ;AAAA,gBACA;AAAA,gBACA;AAAA,kBACE,QAAQ;AAAA,kBACR;AAAA,kBACA;AAAA,gBACF;AAAA,cACF;AAEA,oBAAM,cAAc,gBAAgB,WAAW,IAAI,SAAS;AAC5D,kBAAI,aAAa;AACf,sBAAM;AAAA,cACR;AACA,kBAAI,IAAI,KAAK;AAAA,gBACX,MAAM,MAAM;AAAA,gBACZ,SAAS,MAAM;AAAA,gBACf,SAAS,MAAM;AAAA,cACjB,CAAC;AAAA,YACH;AACA;AAAA,UACF;AAAA,QACF;AAAA,MACF;AAAA,IACF;AAAA,IAEA,MAAM,MACJ,MACA,OACA,MACA;AACA,WAAK;AACL,WAAK;AACL,WAAK;AACL,sBAAgB;AAChB,UAAI,eAAe,SAAS;AAC1B,cAAM,YAAY,wBAAwB,qCAAqC;AAAA,UAC7E,QAAQ;AAAA,UACR;AAAA,UACA;AAAA,QACF,CAAC;AAAA,MACH;AAAA,IACF;AAAA,IAEA,MAAM,aACJ,OACA,QACA,KACA;AACA,YAAM,YAAY,OAAO;AACzB,UAAI,YAAY,cAAc;AAC5B,cAAM,QAAQ,YAAY,wBAAwB,gCAAgC;AAAA,UAChF;AAAA,UACA;AAAA,QACF,CAAC;AAED,cAAM,cAAc,oBAAoB,WAAW,IAAI,SAAS;AAChE,YAAI,aAAa;AACf,gBAAM;AAAA,QACR;AACA,YAAI,IAAI,KAAK;AAAA,UACX,MAAM,MAAM;AAAA,UACZ,SAAS,MAAM;AAAA,UACf,SAAS,MAAM;AAAA,QACjB,CAAC;AAAA,MACH;AAAA,IACF;AAAA,EACF,CAAC;AACH;;;AC1TA,SAAS,UAAU,MAAc,SAAiB,SAAmC;AACnF,QAAM,QAAQ,IAAI,MAAM,OAAO;AAM/B,SAAO,eAAe,OAAO,QAAQ;AAAA,IACnC,OAAO;AAAA,IACP,cAAc;AAAA,EAChB,CAAC;AACD,SAAO,OAAO,OAAO,OAAO;AAAA,IAC1B;AAAA,IACA,UAAU;AAAA,IACV,UAAU;AAAA,IACV;AAAA,EACF,CAAC;AACH;AAEO,SAAS,MACd,SACsC;AACtC,SAAO,OAAO,OAAO;AAAA,IACnB,MAAM;AAAA,IAEN,MAAM,cAAc,MAAqB,KAAkD;AACzF,UAAI,KAAK,KAAK;AACZ;AAAA,MACF;AAEA,YAAM,aAAa,sBAAsB,IAAI;AAE7C,iBAAW,QAAQ,WAAW,OAAO;AACnC,cAAM,qBAAqB,sBAAsB,KAAK,MAAM,OAAO;AACnE,cAAM,oBAAoB,sBAAsB,KAAK;AAErD,YAAI,sBAAsB,SAAS;AACjC,gBAAM,UAAU,KAAK,MAAM,KAAK,SAAS,KAAK,OAAO;AAAA,QACvD;AACA,YAAI,sBAAsB,QAAQ;AAChC,cAAI,IAAI,KAAK;AAAA,YACX,MAAM,KAAK;AAAA,YACX,SAAS,KAAK;AAAA,YACd,SAAS,KAAK;AAAA,UAChB,CAAC;AAAA,QACH;AAAA,MACF;AAAA,IACF;AAAA,EACF,CAAC;AACH;AAEA,SAAS,sBAAsB,MAAc,SAAsD;AACjG,QAAM,aAAa,SAAS;AAC5B,MAAI,CAAC,YAAY;AACf,WAAO;AAAA,EACT;AAEA,MAAI,SAAS,oBAAoB;AAC/B,WAAO,WAAW;AAAA,EACpB;AACA,MAAI,SAAS,iBAAiB;AAC5B,WAAO,WAAW;AAAA,EACpB;AACA,MAAI,SAAS,2BAA2B;AACtC,WAAO,WAAW;AAAA,EACpB;AACA,MAAI,SAAS,4BAA4B;AACvC,WAAO,WAAW;AAAA,EACpB;AAEA,SAAO;AACT;;;ACzBA,IAAM,kBAAN,MAEA;AAAA,EACW;AAAA,EACA;AAAA,EACA;AAAA,EACQ;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EAET;AAAA,EACA;AAAA,EACA;AAAA,EAER,YAAY,SAA2D;AACrE,UAAM,EAAE,eAAe,OAAO,IAAI;AAClC,SAAK,WAAW,cAAc;AAC9B,SAAK,gBAAgB;AACrB,SAAK,SAAS;AACd,SAAK,UAAU,QAAQ,WAAW,CAAC;AACnC,SAAK,OAAO,QAAQ,QAAQ;AAC5B,SAAK,SAAS,QAAQ;AACtB,SAAK,oBAAoB,QAAQ;AAEjC,SAAK,WAAW,QAAQ,OAAO,SAAS,YAAY,QAAQ,QAAQ,OAAO,SAAS;AACpF,SAAK,kBAAkB;AACvB,SAAK,aAAa;AAElB,SAAK,gBAAgB;AAAA,MACnB,UAAU,KAAK;AAAA,MACf,SAAS,QAAQ;AAAA,MACjB,QAAQ,KAAK;AAAA,MACb,MAAM,KAAK;AAAA,MACX,KAAK,MAAM,KAAK,IAAI;AAAA,MACpB,KAAK,QAAQ,OAAO;AAAA,QAClB,MAAM,MAAM;AAAA,QAEZ;AAAA,QACA,MAAM,MAAM;AAAA,QAEZ;AAAA,QACA,OAAO,MAAM;AAAA,QAEb;AAAA,MACF;AAAA,IACF;AAAA,EACF;AAAA,EAEA,MAAc,mBAAmB,OAAqC;AACpE,SAAK;AACL,QAAI,KAAK,OAAO,SAAS,UAAU;AACjC,WAAK,WAAW;AAAA,IAClB;AAEA,QAAI,KAAK,UAAU;AACjB;AAAA,IACF;AAEA,UAAM,gBAAgB,KAAK,cAAc,aAAa,oBAAoB;AAC1E,UAAM,SAAS,KAAK;AACpB,UAAM,SAAS,MAAM,OAAO,MAAM,cAAc,KAAK,cAAc,MAAM;AAEzE,QAAI,OAAO,KAAK,WAAW,GAAG;AAC5B,UAAI,KAAK,OAAO,eAAe;AAC7B,cAAM,aAAa,2BAA2B,uCAAuC;AAAA,MACvF;AAEA,WAAK,WAAW;AAChB;AAAA,IACF;AAEA,UAAM,SAAS,uBAAuB,OAAO,KAAK,CAAC,CAAC;AAEpD,UAAM,WAAW,KAAK;AACtB,QAAI,OAAO,aAAa,SAAS,UAAU;AACzC,YAAM,aAAa,4BAA4B,8CAA8C;AAAA,QAC3F,UAAU,SAAS;AAAA,QACnB,QAAQ,OAAO;AAAA,MACjB,CAAC;AAAA,IACH;AAEA,UAAM,kBAAkB,SAAS,eAAe;AAChD,QAAI,oBAAoB,QAAQ,OAAO,gBAAgB,iBAAiB;AACtE,YAAM;AAAA,QACJ;AAAA,QACA;AAAA,QACA;AAAA,UACE;AAAA,UACA,eAAe,OAAO;AAAA,QACxB;AAAA,MACF;AAAA,IACF;AAEA,SAAK,WAAW;AAChB,SAAK,kBAAkB;AAAA,EACzB;AAAA,EAEQ,aAAa,MAA2B;AAC9C,SAAK,cAAc,aAAa,MAAM,KAAK,QAAQ;AAAA,EACrD;AAAA,EAEQ,gBACN,MACA,SACA,YACM;AACN,UAAM,WAAW,KAAK;AACtB,SAAK,aAAa,OAAO,OAAO;AAAA,MAC9B,MAAM,KAAK,KAAK;AAAA,MAChB,QAAQ,SAAS;AAAA,MACjB,aAAa,sBAAsB,KAAK,GAAG;AAAA,MAC3C;AAAA,MACA,GAAI,eAAe,SAAY,EAAE,WAAW,IAAI,CAAC;AAAA,IACnD,CAAC;AAAA,EACH;AAAA,EAEA,QAAuC,MAA8C;AACnF,SAAK,aAAa,IAAI;AACtB,SAAK,aAAa;AAElB,UAAM,WAAW,iBACf,MACoC;AACpC,YAAM,YAAY,KAAK,IAAI;AAC3B,UAAI,WAAW;AACf,UAAI,YAAY;AAEhB,UAAI,CAAC,KAAK,mBAAmB,KAAK,OAAO,SAAS,WAAW;AAC3D,cAAM,KAAK,mBAAmB,IAAI;AAAA,MACpC;AAEA,UAAI,KAAK,OAAO,SAAS,cAAc;AACrC,cAAM,KAAK,mBAAmB,IAAI;AAAA,MACpC;AAEA,UAAI;AACF,YAAI,KAAK,OAAO,SAAS,UAAU;AACjC,gBAAM,KAAK,mBAAmB,IAAI;AAAA,QACpC;AAEA,mBAAW,UAAU,KAAK,SAAS;AACjC,cAAI,OAAO,eAAe;AACxB,kBAAM,OAAO,cAAc,MAAM,KAAK,aAAa;AAAA,UACrD;AAAA,QACF;AAEA,cAAM,SAAS,KAAK;AACpB,cAAM,gBAAgB,KAAK;AAE3B,yBAAiB,OAAO,OAAO,QAAiC;AAAA,UAC9D,KAAK,KAAK;AAAA,UACV,QAAQ;AAAA,QACV,CAAC,GAAG;AACF,qBAAW,UAAU,KAAK,SAAS;AACjC,gBAAI,OAAO,OAAO;AAChB,oBAAM,OAAO,MAAM,KAAK,MAAM,KAAK,aAAa;AAAA,YAClD;AAAA,UACF;AACA;AACA,gBAAM;AAAA,QACR;AAEA,oBAAY;AACZ,aAAK,gBAAgB,MAAM,WAAW,KAAK,IAAI,IAAI,SAAS;AAAA,MAC9D,SAAS,OAAO;AACd,YAAI,KAAK,eAAe,MAAM;AAC5B,eAAK,gBAAgB,MAAM,iBAAiB,KAAK,IAAI,IAAI,SAAS;AAAA,QACpE;AAEA,cAAME,aAAY,KAAK,IAAI,IAAI;AAC/B,mBAAW,UAAU,KAAK,SAAS;AACjC,cAAI,OAAO,cAAc;AACvB,gBAAI;AACF,oBAAM,OAAO;AAAA,gBACX;AAAA,gBACA,EAAE,UAAU,WAAAA,YAAW,UAAU;AAAA,gBACjC,KAAK;AAAA,cACP;AAAA,YACF,QAAQ;AAAA,YAER;AAAA,UACF;AAAA,QACF;AAEA,cAAM;AAAA,MACR;AAEA,YAAM,YAAY,KAAK,IAAI,IAAI;AAC/B,iBAAW,UAAU,KAAK,SAAS;AACjC,YAAI,OAAO,cAAc;AACvB,gBAAM,OAAO,aAAa,MAAM,EAAE,UAAU,WAAW,UAAU,GAAG,KAAK,aAAa;AAAA,QACxF;AAAA,MACF;AAAA,IACF;AAEA,WAAO,SAAS,IAAI;AAAA,EACtB;AAAA,EAEA,YAA0C;AACxC,WAAO,KAAK;AAAA,EACd;AAAA,EAEA,aAAgC;AAC9B,WAAO,KAAK;AAAA,EACd;AAAA,EAEA,QAAuB;AACrB,UAAM,SAAS,KAAK;AACpB,QAAI,OAAO,OAAO,UAAU,YAAY;AACtC,aAAO,OAAO,MAAM;AAAA,IACtB;AACA,WAAO,QAAQ,QAAQ;AAAA,EACzB;AACF;AAEO,SAAS,kBACd,SAC2C;AAC3C,SAAO,IAAI,gBAAgB,OAAO;AACpC;","names":["lints","budgets","error","shouldBlock","latencyMs"]}

package/package.json

@@ -0,0 +1,36 @@
+{
+  "name": "@prisma-next/runtime-executor",
+  "version": "0.0.1",
+  "type": "module",
+  "sideEffects": false,
+  "description": "Target-agnostic execution engine for Prisma Next",
+  "dependencies": {
+    "arktype": "^2.1.25",
+    "@prisma-next/contract": "0.0.1",
+    "@prisma-next/operations": "0.0.1"
+  },
+  "devDependencies": {
+    "@prisma/dev": "^0.1.1",
+    "tsup": "^8.3.0",
+    "typescript": "^5.9.3",
+    "vitest": "^2.1.1",
+    "@prisma-next/test-utils": "0.0.1"
+  },
+  "files": [
+    "dist"
+  ],
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js"
+    }
+  },
+  "scripts": {
+    "build": "tsup --config tsup.config.ts",
+    "test": "vitest run",
+    "test:coverage": "vitest run --coverage",
+    "typecheck": "tsc --project tsconfig.json --noEmit",
+    "lint": "biome check . --config-path ../../../biome.json --error-on-warnings",
+    "clean": "node ../../../scripts/clean.mjs"
+  }
+}