@typed-sql/core 1.0.0-rc.0 → 2.0.0-rc.0

package/CHANGELOG.md

@@ -1,5 +1,99 @@
 # @typed-sql/core
 
+## 2.0.0-rc.0
+
+### Major Changes
+
+- 29afc3d: Add conservative semantic primary/replica routing over application-owned databases, scoped
+  read-after-write pinning, explicit role requirements, stable unsafe-route errors, dialect runtime
+  semantic resolvers, and bounded abortable transaction retry policies with native PostgreSQL and
+  MySQL error classifiers. Parse and classify dialect locking reads so uncertain or affine work
+  always fails closed to primary.
+- 3f063f6: Add deterministic, secret-free query manifests with bounded structural variants, inferred result
+  and parameter descriptions, semantic evidence, runtime-correlatable fingerprints, unresolved
+  entries, compatible parsing, canonical serialization, incremental per-file reuse, tsconfig project
+  discovery, and a dedicated CLI command.
+- 6a7ae58: Add opt-in live query verification through grammar-owned PostgreSQL PREPARE and MySQL
+  COM_STMT_PREPARE adapters, bounded neutral comparison, deterministic secret-free proof artifacts,
+  offline cache validation, explicit unsupported classifications, CLI workflows, real database E2E,
+  and performance budgets.
+- b06fd0a: Add grammar-neutral optional adapter capability discovery, typed PostgreSQL COPY import and export
+  through application-owned `pg-copy-streams`, and typed MySQL LOAD DATA import through mysql2's
+  application-owned infile stream. Bulk transfers preserve ordinary `INSERT` parameter evidence,
+  enforce structural row stability, apply bounded backpressure, support cancellation and progress,
+  and integrate with transaction ownership and conservative connection cleanup.
+- 3050209: Add the dialect contract v4 semantic query evidence foundation. PostgreSQL and MySQL now report operation, dependencies, cardinality, volatility, locking, connection affinity, and required capabilities; compiler results add deterministic query and structural-variant fingerprints and conservatively merged source-mapped semantics. Schema snapshots can record function volatility, and the AST package exposes a neutral statement walker for grammar implementations.
+- 1b054b6: Add an adapter-neutral, redacted database observation lifecycle for queries, cardinality contracts,
+  batches, PostgreSQL pipelines, streams, cancellation, and nested transactions. Runtime fingerprints
+  correlate with compiler structural variants while SQL, parameter values, connection configuration,
+  and driver causes remain excluded by default. Publish the optional OpenTelemetry bridge with current
+  database semantic conventions and explicit high-cardinality or exception-capture opt-ins.
+- b4f1b6e: Add deterministic migration compatibility analysis across before/after schema snapshots and query
+  manifests. Reports classify both rolling-deployment directions, retain exact source and dependency
+  evidence, fail closed for unknown semantics, redact defaults and paths, and support configurable CI
+  severity through `typed-sql compat`.
+- 87189c3: Add grammar-neutral `all`, `one`, and `maybeOne` execution with exact row types, stable cardinality
+  and cancellation errors, explicit adapter capabilities, AbortSignal support, and absolute deadlines.
+  The pg and mysql2 adapters conservatively discard interrupted connections, including transaction
+  leases, while the existing uncontrolled `execute` path remains unchanged.
+- e654fae: Add opt-in Standard Schema V1 result validation with compile-time output compatibility, immutable
+  query attachment, sync and async validators, redacted fingerprinted errors, and consistent decoded-row
+  handling across buffered cardinality methods, batches, PostgreSQL pipelines, streams, and transactions.
+- b2ec119: Add opt-in, grammar-neutral query-plan governance with PostgreSQL and MySQL structured EXPLAIN
+  adapters, transient application-owned samples, redacted fingerprint-keyed artifacts, absolute and
+  comparable regression budgets, explicit uncertainty, CLI capture and review, documentation, and
+  performance coverage.
+
+## 1.0.0
+
+### Major Changes
+
+- 7ca256b: Release the first public typed-sql beta: exact TypeScript 7 row inference from static PostgreSQL and
+  MySQL, versioned schema introspection, application-owned drivers, config-driven grammar plugins,
+  CLI verification, editor language-server integration, versioned diagnostics, bounded parsing, and
+  real-database plus packed-tarball verification.
+
+### Minor Changes
+
+- eb16de7: Add grammar-neutral stream and ordered-result type contracts, and add lazy prepared-query factories to the PostgreSQL and MySQL runtime adapters. Prepared factories retain exact query types, validate stable SQL shapes, and remain available inside nested transactions.
+- b6389e4: Cache immutable SQL rendering skeletons for prepared query factories so repeated calls only bind changing values while still rejecting structural drift before driver dispatch.
+- eb16de7: Add a grammar-neutral validated query-batch type and ordered, exactly typed query batches to the
+  PostgreSQL and MySQL runtime adapters. Non-empty root batches execute sequentially on one leased
+  connection, transaction batches reuse their transaction connection, and empty batches avoid
+  connection acquisition. Batch execution preserves prepared metadata and adapter codecs, stops at
+  the first failure, and rejects transaction work that escapes its callback.
+
+### Patch Changes
+
+- b6389e4: Reuse immutable SQL text segments and whole interpolation-free fragments at template callsites, and avoid spread allocations while composing predicates, joins, and appended queries.
+- eb16de7: Allow adapters to retain enriched capabilities in transaction callbacks and nested transactions
+  through a self-typed core database contract. Transaction cleanup now also preserves the original
+  operation error when rollback or connection-release cleanup fails.
+- 1563a7a: Declare and enforce the 1.0 package stability boundary. Core SQL, compiler, schema, config, AST,
+  PostgreSQL, MySQL, and CLI packages form the stable train; the TypeScript preview bridge and
+  language server remain explicitly experimental. Freeze public entrypoints and query type contracts,
+  and remove internal compiler/type helpers from stable package-root exports before 1.0.
+- 9dd6bc4: Finalize dialect contract version 3 with explicit identifier quoting and grammar-owned capability
+  declarations. Accept third-party snapshot dialects, validate grammar versions, and document the
+  public grammar-authoring and conformance workflow.
+- 16e2475: Prove npm trusted publishing and provenance after the initial registry bootstrap.
+- 69c7d87: Report `TSQ004` for bare nested templates used as conditional SQL structure and offer an alias-aware
+  language-server quick fix that prefixes the template with `sql.fragment`. Ordinary and nested
+  values remain parameterized across the edit.
+- 3e2c75c: Infer ordered query parameter tuples and let TypeScript reject interpolation values that do not
+  match their SQL context. Dialect contract version 2 adds explicit parameter analysis; unresolved
+  positions remain `unknown`. Add typed nullable predicate composition through `sql.fragment()`,
+  `sql.and()`, `sql.or()`, `sql.where()`, and `sql.append()` while preserving row and parameter tuples.
+  Direct append fragments are grammar-analyzed cumulatively against their static base, so TypeScript
+  rejects fragment interpolation values that disagree with the referenced database columns.
+  Add `sql.empty` and SQL-template-native conditional structural fragments. The compiler analyzes
+  complete branch variants, preserves literal boolean-dependent result rows, and type-checks nested
+  fragment parameters without adding a query-builder DSL. Bound independent structural expansion at
+  64 variants by default, correlate repeated conditions, merge diagnostics and fragment expectations
+  across variants, and fail closed on incompatible contexts. Share indexed catalog and conservative
+  parameter-resolution primitives across grammars, harden cooked-template scanning, and add runtime,
+  resolver, scanner, and structural performance gates.
+
 ## 1.0.0-rc.0
 
 ### Patch Changes

package/README.md

@@ -1,157 +1,61 @@
 # @typed-sql/core
 
-The driver- and dialect-neutral foundation of [typed-sql](https://github.com/Lojhan/typed-sql).
-It owns the `sql` tagged template, `Query<Row, Parameters>`, safe query fragments, rendering contract, database
-adapter contract, diagnostics, and the interface implemented by every SQL grammar.
-
-Most applications install it alongside one dialect:
+The stable, driver- and grammar-neutral foundation of
+[typed-sql](https://github.com/Lojhan/typed-sql). It defines queries, fragments, rendering,
+database adapters, diagnostics, schema contracts, and the interface implemented by every SQL
+grammar.
 
 ```sh
-pnpm add @typed-sql/core@next @typed-sql/postgres@next pg
+pnpm add @typed-sql/core @typed-sql/postgres pg
 ```
 
-Application queries import `sql` from the dialect root so tooling can associate the query with the
-correct grammar:
+Application queries import `sql` from the selected grammar so the compiler can associate each
+template with its dialect:
 
 ```ts
 import { sql } from "@typed-sql/postgres";
+import type { QueryParameters, QueryRow } from "@typed-sql/core";
 
 const query = sql`
   SELECT account.id, account.email
   FROM accounts AS account
   WHERE account.id = ${42n}
 `;
-```
-
-The compiler supplies the ordered parameter tuple from SQL context. For example, comparing an
-interpolation with a `bigint` column produces `Query<Row, readonly [bigint]>`, so passing a `string`
-is a normal TypeScript error. Positions that cannot be proven remain `unknown`.
-
-For optional runtime filters, infer a static base query and compose predicates without concatenating
-values into SQL:
-
-```ts
-import { sql } from "@typed-sql/postgres";
-import type { QueryRow } from "@typed-sql/core";
-
-const base = sql`SELECT account.id, account.status FROM accounts AS account`;
-type Account = QueryRow<typeof base>;
-
-function filtered(status: Account["status"] | null, minimumId: Account["id"] | null) {
-  const predicates = [
-    status == null ? undefined : sql.fragment`account.status = ${status}`,
-    minimumId == null ? undefined : sql.fragment`account.id >= ${minimumId}`,
-  ] as const;
-  return sql.where(base, sql.and(predicates));
-}
-```
-
-`sql.and()` and `sql.or()` accept nullable fragment tuples, preserve parameter order, parenthesize
-each predicate, and render `TRUE` when every predicate is absent. `sql.where()` preserves the base
-row and concatenates its parameter tuple with the fragment tuple. This is a safe parameterization
-and type-composition boundary; arbitrary dynamic SQL strings are intentionally not analyzed.
-
-`sql.append()` provides the type-safe equivalent of conditionally appending clauses:
-
-```ts
-function filtered2(filters: { status?: Account["status"] | null; minimumId?: Account["id"] | null }) {
-  const query = sql`SELECT account.id, account.status FROM accounts AS account`;
-  return sql.append(
-    query,
-    sql.fragment` WHERE 1 = 1`,
-    filters.status == null ? undefined : sql.fragment` AND account.status = ${filters.status}`,
-    filters.minimumId == null ? undefined : sql.fragment` AND account.id >= ${filters.minimumId}`,
-  );
-}
-```
-
-JavaScript does not support operator overloading, so `query += fragment` would stringify the values
-and erase their type and parameter segments. `sql.append()` skips `undefined`, `null`, and `false`,
-then concatenates only validated fragments. Variadic arguments retain exact parameter order;
-mutable fragment arrays can be spread and retain their allowed parameter union, but have a
-variable-length parameter array.
-
-When direct variadic fragments are visible to the typed-sql compiler, it analyzes them cumulatively
-with the static base. The grammar therefore supplies each interpolation's expected column type;
-the core runtime alone only owns immutable composition and parameterization.
-
-`sql.empty` enables SQL-template-native conditional structure:
-
-```ts
-const query = sql`
-  SELECT account.id, account.email
-    ${select.status ? sql.fragment`, account.status` : sql.empty}
-  FROM accounts AS account
-`;
-```
-
-The runtime only flattens fragment segments and values. The compiler analyzes every finite branch as
-a complete statement and supplies the branch-dependent row type; no clause-builder abstraction is
-introduced. Structural compilation defaults to at most 64 correlated variants and fails with
-`TSQ003` before invoking a grammar if independent conditions exceed that bound.
 
-Structural branches must use `sql.fragment`; an untagged nested template is a JavaScript string and
-therefore a parameter value. The compiler reports `TSQ004` when such a template is paired with
-`sql.empty` or another trusted structural branch. The explicit marker is an injection boundary:
-interpolated values inside `sql.fragment` remain parameters rather than becoming SQL text.
-
-`sql.join()` accepts only `SqlFragment` values. Its optional separator is also a trusted fragment,
-so use `sql.raw(" UNION ALL ")` when a non-comma separator is intentional; an arbitrary runtime
-string is never promoted to SQL implicitly.
-
-`@typed-sql/core` is directly useful to grammar and adapter authors:
-
-```ts
-import {
-  DIALECT_CONTRACT_VERSION,
-  assertDialectPlugin,
-  createDatabase,
-  defineConfig,
-  closestName,
-  ParameterCollector,
-  renderQuery,
-  parameterTypeLiteral,
-  ResolverSchemaIndex,
-  rowTypeLiteral,
-  sql,
-  unionTypeLiterals,
-  type DialectPlugin,
-  type DialectCapabilities,
-  type Query,
-  type QueryParameters,
-  type QueryRow,
-  type SqlFragment,
-  type SchemaSnapshot,
-} from "@typed-sql/core";
+type Account = QueryRow<typeof query>;
+type Parameters = QueryParameters<typeof query>;
 ```
 
-`ResolverSchemaIndex`, `ParameterCollector`, `unionTypeLiterals`, and `closestName` are reusable,
-dialect-neutral resolver primitives. Future PostgreSQL, MySQL, MSSQL, SQLite, and third-party
-grammars can share indexed catalog lookup and conservative parameter merging while keeping SQL
-semantics, built-ins, quoting, type policy, and unsupported syntax inside their own package.
-
-The package has no database, parser, grammar, driver, TypeScript compiler, or editor dependency.
-See the [architecture contract](https://github.com/Lojhan/typed-sql/blob/main/docs/ARCHITECTURE.md)
-and [grammar authoring guide](https://github.com/Lojhan/typed-sql/blob/main/docs/GRAMMAR_AUTHORING.md)
-and [root documentation](https://github.com/Lojhan/typed-sql#readme).
-
-## Diagnostics
-
-Diagnostic meanings become stable at 1.0. Consumers should key automation on `code`, not English
-message text. The machine-readable registry is exported as `diagnosticRegistry`.
-
-| Range | Meaning |
-| --- | --- |
-| `TSQ001` | SQL syntax error |
-| `TSQ002` | Parser resource limit exceeded |
-| `TSQ003` | Conditional SQL exceeded the configured structural variant bound |
-| `TSQ004` | Structural SQL requires an explicitly trusted fragment |
-| `TSQ007` | Dialect/snapshot contract mismatch |
-| `TSQ100`–`TSQ108` | Catalog lookup, ambiguity, output naming, and cast errors |
-| `TSQ202`–`TSQ204` | Unknown/ambiguous functions and unsafe operator inference |
-| `TSQ205` | A shared fragment has incompatible parameter expectations across structural branches |
-| `TSQ210`–`TSQ217` | CTE, DML arity, join, and subquery safety errors |
-| `TSQ301` | Schema or type-policy drift |
-| `TSQ401` | Deliberately unsupported dialect surface |
+Runtime adapters share grammar-neutral result and control contracts: `all`, `one`, and `maybeOne`
+preserve the inferred row, accept optional signals or absolute deadlines, and expose stable
+cardinality and cancellation errors. Adapter capabilities are explicit; unsupported controls are
+never silently ignored.
+
+Optional adapter services use namespaced capability tokens rather than widening the common
+`Database` interface. `getAdapterCapability` and `requireAdapterCapability` preserve the service
+type without adding a protocol or driver dependency to core.
+
+`DatabaseObserver` provides redacted query, batch, pipeline, stream, cancellation, and nested
+transaction lifecycles. It is disabled by default and does not add a telemetry dependency to core.
+
+`sql.validateResult(query, schema)` optionally validates decoded rows through the structural
+Standard Schema V1 interface. Validator output must agree with the inferred row; core does not
+install Zod, Valibot, or another validator package.
+
+`createRoutedDatabase` provides conservative, grammar-neutral primary/replica selection and bounded
+explicit-transaction retries from semantic evidence. Dialect packages supply the semantic resolver;
+applications continue owning every database adapter and topology decision.
+
+Grammar and adapter authors can use `DialectPlugin`, `DIALECT_CONTRACT_VERSION`,
+`assertDialectPlugin`, `defineQuerySemantics`, `mergeQuerySemantics`, `createDatabase`, `renderQuery`,
+the prepared-query skeleton helpers, and the neutral resolver primitives from the package root. The package has no parser, grammar,
+database driver, TypeScript compiler, or editor dependency.
+
+Read the [query API](https://github.com/Lojhan/typed-sql/blob/main/docs/reference/api.md),
+[architecture](https://github.com/Lojhan/typed-sql/blob/main/docs/concepts/architecture.md),
+[routing and retry guide](https://github.com/Lojhan/typed-sql/blob/main/docs/guides/routing-and-retries.md),
+[bulk data guide](https://github.com/Lojhan/typed-sql/blob/main/docs/guides/bulk-data.md),
+[result validation guide](https://github.com/Lojhan/typed-sql/blob/main/docs/guides/result-validation.md), and
+[custom grammar guide](https://github.com/Lojhan/typed-sql/blob/main/docs/extending/custom-grammars.md).
 
 MIT © typed-sql contributors

package/dist/packages/core/src/adapter-capabilities.d.ts

@@ -0,0 +1,30 @@
+declare const adapterCapabilityBrand: unique symbol;
+/** A namespaced token describing one optional service exposed by a database adapter. */
+export interface AdapterCapability<Service> {
+    readonly id: string;
+    readonly key: symbol;
+    readonly [adapterCapabilityBrand]: () => Service;
+}
+export type AdapterCapabilityService<Capability> = Capability extends AdapterCapability<infer Service> ? Service : never;
+export type AdapterCapabilityResolver = (key: symbol) => unknown;
+export declare const adapterCapabilities: unique symbol;
+/** Structural host contract implemented by adapters that provide optional services. */
+export interface AdapterCapabilityHost {
+    readonly [adapterCapabilities]?: AdapterCapabilityResolver;
+}
+export declare class UnsupportedAdapterCapabilityError extends Error {
+    readonly code = "TSQL_UNSUPPORTED_ADAPTER_CAPABILITY";
+    readonly capability: string;
+    constructor(capability: string);
+}
+/** Defines a globally stable, namespaced adapter capability token. */
+export declare function defineAdapterCapability<Service>(id: string): AdapterCapability<Service>;
+/** Creates the immutable resolver installed on one adapter or transaction scope. */
+export declare function createAdapterCapabilityResolver(entries: readonly (readonly [AdapterCapability<unknown>, unknown])[]): AdapterCapabilityResolver;
+/** Returns an optional adapter service without importing its driver or protocol package. */
+export declare function getAdapterCapability<Service>(host: unknown, capability: AdapterCapability<Service>): Service | undefined;
+export declare function hasAdapterCapability<Service>(host: unknown, capability: AdapterCapability<Service>): boolean;
+/** Resolves an adapter service or throws a stable fail-closed error. */
+export declare function requireAdapterCapability<Service>(host: unknown, capability: AdapterCapability<Service>): Service;
+export {};
+//# sourceMappingURL=adapter-capabilities.d.ts.map

package/dist/packages/core/src/adapter-capabilities.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"adapter-capabilities.d.ts","sourceRoot":"","sources":["../../../../src/adapter-capabilities.ts"],"names":[],"mappings":"AAAA,QAAA,MAAM,sBAAsB,EAAE,OAAO,MAA8D,CAAC;AAEpG,wFAAwF;AACxF,MAAM,WAAW,iBAAiB,CAAC,OAAO;IACxC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,CAAC,sBAAsB,CAAC,EAAE,MAAM,OAAO,CAAC;CAClD;AAED,MAAM,MAAM,wBAAwB,CAAC,UAAU,IAC7C,UAAU,SAAS,iBAAiB,CAAC,MAAM,OAAO,CAAC,GAAG,OAAO,GAAG,KAAK,CAAC;AAExE,MAAM,MAAM,yBAAyB,GAAG,CAAC,GAAG,EAAE,MAAM,KAAK,OAAO,CAAC;AAEjE,eAAO,MAAM,mBAAmB,EAAE,OAAO,MAAoE,CAAC;AAE9G,uFAAuF;AACvF,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,CAAC,mBAAmB,CAAC,CAAC,EAAE,yBAAyB,CAAC;CAC5D;AAED,qBAAa,iCAAkC,SAAQ,KAAK;IAC1D,QAAQ,CAAC,IAAI,yCAAyC;IACtD,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAE5B,YAAY,UAAU,EAAE,MAAM,EAI7B;CACF;AAED,sEAAsE;AACtE,wBAAgB,uBAAuB,CAAC,OAAO,EAAE,EAAE,EAAE,MAAM,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAWvF;AAED,oFAAoF;AACpF,wBAAgB,+BAA+B,CAC7C,OAAO,EAAE,SAAS,CAAC,SAAS,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,GACnE,yBAAyB,CAO3B;AAED,4FAA4F;AAC5F,wBAAgB,oBAAoB,CAAC,OAAO,EAC1C,IAAI,EAAE,OAAO,EACb,UAAU,EAAE,iBAAiB,CAAC,OAAO,CAAC,GACrC,OAAO,GAAG,SAAS,CAIrB;AAED,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,iBAAiB,CAAC,OAAO,CAAC,GAAG,OAAO,CAE5G;AAED,wEAAwE;AACxE,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,iBAAiB,CAAC,OAAO,CAAC,GAAG,OAAO,CAIhH"}

package/dist/packages/core/src/adapter-capabilities.js

@@ -0,0 +1,52 @@
+const adapterCapabilityBrand = Symbol("@typed-sql/core.adapter-capability");
+export const adapterCapabilities = Symbol.for("@typed-sql/core.adapter-capabilities");
+export class UnsupportedAdapterCapabilityError extends Error {
+    code = "TSQL_UNSUPPORTED_ADAPTER_CAPABILITY";
+    capability;
+    constructor(capability) {
+        super(`This database adapter does not provide the ${capability} capability`);
+        this.name = "UnsupportedAdapterCapabilityError";
+        this.capability = capability;
+    }
+}
+/** Defines a globally stable, namespaced adapter capability token. */
+export function defineAdapterCapability(id) {
+    if (id.length === 0 || !id.includes(".")) {
+        throw new TypeError("Adapter capability ids must be non-empty and namespaced, for example vendor.feature");
+    }
+    return Object.freeze({
+        id,
+        key: Symbol.for(`@typed-sql/adapter-capability/${id}`),
+        [adapterCapabilityBrand]: () => {
+            throw new TypeError("Adapter capability type brands are not callable");
+        },
+    });
+}
+/** Creates the immutable resolver installed on one adapter or transaction scope. */
+export function createAdapterCapabilityResolver(entries) {
+    const services = new Map();
+    for (const [capability, service] of entries) {
+        if (services.has(capability.key))
+            throw new TypeError(`Duplicate adapter capability: ${capability.id}`);
+        services.set(capability.key, service);
+    }
+    return (key) => services.get(key);
+}
+/** Returns an optional adapter service without importing its driver or protocol package. */
+export function getAdapterCapability(host, capability) {
+    if ((typeof host !== "object" && typeof host !== "function") || host === null)
+        return undefined;
+    const resolver = host[adapterCapabilities];
+    return resolver?.(capability.key);
+}
+export function hasAdapterCapability(host, capability) {
+    return getAdapterCapability(host, capability) !== undefined;
+}
+/** Resolves an adapter service or throws a stable fail-closed error. */
+export function requireAdapterCapability(host, capability) {
+    const service = getAdapterCapability(host, capability);
+    if (service === undefined)
+        throw new UnsupportedAdapterCapabilityError(capability.id);
+    return service;
+}
+//# sourceMappingURL=adapter-capabilities.js.map

package/dist/packages/core/src/adapter-capabilities.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"adapter-capabilities.js","sourceRoot":"","sources":["../../../../src/adapter-capabilities.ts"],"names":[],"mappings":"AAAA,MAAM,sBAAsB,GAAkB,MAAM,CAAC,oCAAoC,CAAU,CAAC;AAcpG,MAAM,CAAC,MAAM,mBAAmB,GAAkB,MAAM,CAAC,GAAG,CAAC,sCAAsC,CAAU,CAAC;AAO9G,MAAM,OAAO,iCAAkC,SAAQ,KAAK;IACjD,IAAI,GAAG,qCAAqC,CAAC;IAC7C,UAAU,CAAS;IAE5B,YAAY,UAAkB;QAC5B,KAAK,CAAC,8CAA8C,UAAU,aAAa,CAAC,CAAC;QAC7E,IAAI,CAAC,IAAI,GAAG,mCAAmC,CAAC;QAChD,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;IAC/B,CAAC;CACF;AAED,sEAAsE;AACtE,MAAM,UAAU,uBAAuB,CAAU,EAAU;IACzD,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACzC,MAAM,IAAI,SAAS,CAAC,qFAAqF,CAAC,CAAC;IAC7G,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,EAAE;QACF,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,iCAAiC,EAAE,EAAE,CAAC;QACtD,CAAC,sBAAsB,CAAC,EAAE,GAAY,EAAE;YACtC,MAAM,IAAI,SAAS,CAAC,iDAAiD,CAAC,CAAC;QACzE,CAAC;KACF,CAAC,CAAC;AACL,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,+BAA+B,CAC7C,OAAoE;IAEpE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAmB,CAAC;IAC5C,KAAK,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,IAAI,OAAO,EAAE,CAAC;QAC5C,IAAI,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,iCAAiC,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC;QACxG,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,CAAC,GAAW,EAAW,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AACrD,CAAC;AAED,4FAA4F;AAC5F,MAAM,UAAU,oBAAoB,CAClC,IAAa,EACb,UAAsC;IAEtC,IAAI,CAAC,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,IAAI,KAAK,UAAU,CAAC,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IAChG,MAAM,QAAQ,GAAI,IAA8B,CAAC,mBAAmB,CAAC,CAAC;IACtE,OAAO,QAAQ,EAAE,CAAC,UAAU,CAAC,GAAG,CAAwB,CAAC;AAC3D,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAU,IAAa,EAAE,UAAsC;IACjG,OAAO,oBAAoB,CAAC,IAAI,EAAE,UAAU,CAAC,KAAK,SAAS,CAAC;AAC9D,CAAC;AAED,wEAAwE;AACxE,MAAM,UAAU,wBAAwB,CAAU,IAAa,EAAE,UAAsC;IACrG,MAAM,OAAO,GAAG,oBAAoB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IACvD,IAAI,OAAO,KAAK,SAAS;QAAE,MAAM,IAAI,iCAAiC,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IACtF,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/packages/core/src/diagnostics.d.ts

@@ -15,6 +15,10 @@ export declare const diagnosticRegistry: Readonly<{
         readonly category: "contract";
         readonly summary: "Structural SQL requires an explicitly trusted fragment.";
     };
+    readonly TSQ005: {
+        readonly category: "support";
+        readonly summary: "Runtime SQL cannot be analyzed statically.";
+    };
     readonly TSQ007: {
         readonly category: "contract";
         readonly summary: "The schema snapshot and dialect do not match.";
@@ -111,6 +115,18 @@ export declare const diagnosticRegistry: Readonly<{
         readonly category: "support";
         readonly summary: "The dialect surface is intentionally unsupported.";
     };
+    readonly TSQ500: {
+        readonly category: "verification";
+        readonly summary: "Live database metadata differs from compiler evidence.";
+    };
+    readonly TSQ501: {
+        readonly category: "verification";
+        readonly summary: "A query could not be verified safely or statically.";
+    };
+    readonly TSQ502: {
+        readonly category: "verification";
+        readonly summary: "Native live verification failed without persisting driver details.";
+    };
 }>;
 export type TypedSqlDiagnosticCode = keyof typeof diagnosticRegistry;
 export declare function isTypedSqlDiagnosticCode(value: string): value is TypedSqlDiagnosticCode;

package/dist/packages/core/src/diagnostics.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"diagnostics.d.ts","sourceRoot":"","sources":["../../../../src/diagnostics.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,kBAAkB;;iBACnB,QAAQ,EAAE,QAAQ;iBAAE,OAAO,EAAE,iCAAiC;;;iBAC9D,QAAQ,EAAE,UAAU;iBAAE,OAAO,EAAE,uCAAuC;;;iBACtE,QAAQ,EAAE,UAAU;iBAAE,OAAO,EAAE,wDAAwD;;;iBACvF,QAAQ,EAAE,UAAU;iBAAE,OAAO,EAAE,yDAAyD;;;iBACxF,QAAQ,EAAE,UAAU;iBAAE,OAAO,EAAE,+CAA+C;;;iBAC9E,QAAQ,EAAE,QAAQ;iBAAE,OAAO,EAAE,oCAAoC;;;iBACjE,QAAQ,EAAE,QAAQ;iBAAE,OAAO,EAAE,qCAAqC;;;iBAClE,QAAQ,EAAE,QAAQ;iBAAE,OAAO,EAAE,kCAAkC;;;iBAC/D,QAAQ,EAAE,QAAQ;iBAAE,OAAO,EAAE,kDAAkD;;;iBAC/E,QAAQ,EAAE,QAAQ;iBAAE,OAAO,EAAE,oDAAoD;;;iBACjF,QAAQ,EAAE,QAAQ;iBAAE,OAAO,EAAE,oDAAoD;;;iBACjF,QAAQ,EAAE,MAAM;iBAAE,OAAO,EAAE,sCAAsC;;;iBACjE,QAAQ,EAAE,QAAQ;iBAAE,OAAO,EAAE,yCAAyC;;;iBACtE,QAAQ,EAAE,QAAQ;iBAAE,OAAO,EAAE,iCAAiC;;;iBAC9D,QAAQ,EAAE,MAAM;iBAAE,OAAO,EAAE,wBAAwB;;;iBACnD,QAAQ,EAAE,MAAM;iBAAE,OAAO,EAAE,wCAAwC;;;iBACnE,QAAQ,EAAE,MAAM;iBAAE,OAAO,EAAE,mCAAmC;;;iBAC9D,QAAQ,EAAE,MAAM;iBAAE,OAAO,EAAE,4DAA4D;;;iBACvF,QAAQ,EAAE,SAAS;iBAAE,OAAO,EAAE,kDAAkD;;;iBAChF,QAAQ,EAAE,QAAQ;iBAAE,OAAO,EAAE,2BAA2B;;;iBACxD,QAAQ,EAAE,QAAQ;iBAAE,OAAO,EAAE,6BAA6B;;;iBAC1D,QAAQ,EAAE,QAAQ;iBAAE,OAAO,EAAE,wCAAwC;;;iBACrE,QAAQ,EAAE,QAAQ;iBAAE,OAAO,EAAE,0CAA0C;;;iBACvE,QAAQ,EAAE,QAAQ;iBAAE,OAAO,EAAE,kDAAkD;;;iBAC/E,QAAQ,EAAE,QAAQ;iBAAE,OAAO,EAAE,uDAAuD;;;iBACpF,QAAQ,EAAE,QAAQ;iBAAE,OAAO,EAAE,oDAAoD;;;iBACjF,QAAQ,EAAE,OAAO;iBAAE,OAAO,EAAE,qEAAqE;;;iBACjG,QAAQ,EAAE,SAAS;iBAAE,OAAO,EAAE,mDAAmD;;EAClF,CAAC;AAEZ,MAAM,MAAM,sBAAsB,GAAG,MAAM,OAAO,kBAAkB,CAAC;AAErE,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,IAAI,sBAAsB,CAEvF"}
+{"version":3,"file":"diagnostics.d.ts","sourceRoot":"","sources":["../../../../src/diagnostics.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,kBAAkB;;iBACnB,QAAQ,EAAE,QAAQ;iBAAE,OAAO,EAAE,iCAAiC;;;iBAC9D,QAAQ,EAAE,UAAU;iBAAE,OAAO,EAAE,uCAAuC;;;iBACtE,QAAQ,EAAE,UAAU;iBAAE,OAAO,EAAE,wDAAwD;;;iBACvF,QAAQ,EAAE,UAAU;iBAAE,OAAO,EAAE,yDAAyD;;;iBACxF,QAAQ,EAAE,SAAS;iBAAE,OAAO,EAAE,4CAA4C;;;iBAC1E,QAAQ,EAAE,UAAU;iBAAE,OAAO,EAAE,+CAA+C;;;iBAC9E,QAAQ,EAAE,QAAQ;iBAAE,OAAO,EAAE,oCAAoC;;;iBACjE,QAAQ,EAAE,QAAQ;iBAAE,OAAO,EAAE,qCAAqC;;;iBAClE,QAAQ,EAAE,QAAQ;iBAAE,OAAO,EAAE,kCAAkC;;;iBAC/D,QAAQ,EAAE,QAAQ;iBAAE,OAAO,EAAE,kDAAkD;;;iBAC/E,QAAQ,EAAE,QAAQ;iBAAE,OAAO,EAAE,oDAAoD;;;iBACjF,QAAQ,EAAE,QAAQ;iBAAE,OAAO,EAAE,oDAAoD;;;iBACjF,QAAQ,EAAE,MAAM;iBAAE,OAAO,EAAE,sCAAsC;;;iBACjE,QAAQ,EAAE,QAAQ;iBAAE,OAAO,EAAE,yCAAyC;;;iBACtE,QAAQ,EAAE,QAAQ;iBAAE,OAAO,EAAE,iCAAiC;;;iBAC9D,QAAQ,EAAE,MAAM;iBAAE,OAAO,EAAE,wBAAwB;;;iBACnD,QAAQ,EAAE,MAAM;iBAAE,OAAO,EAAE,wCAAwC;;;iBACnE,QAAQ,EAAE,MAAM;iBAAE,OAAO,EAAE,mCAAmC;;;iBAC9D,QAAQ,EAAE,MAAM;iBAAE,OAAO,EAAE,4DAA4D;;;iBACvF,QAAQ,EAAE,SAAS;iBAAE,OAAO,EAAE,kDAAkD;;;iBAChF,QAAQ,EAAE,QAAQ;iBAAE,OAAO,EAAE,2BAA2B;;;iBACxD,QAAQ,EAAE,QAAQ;iBAAE,OAAO,EAAE,6BAA6B;;;iBAC1D,QAAQ,EAAE,QAAQ;iBAAE,OAAO,EAAE,wCAAwC;;;iBACrE,QAAQ,EAAE,QAAQ;iBAAE,OAAO,EAAE,0CAA0C;;;iBACvE,QAAQ,EAAE,QAAQ;iBAAE,OAAO,EAAE,kDAAkD;;;iBAC/E,QAAQ,EAAE,QAAQ;iBAAE,OAAO,EAAE,uDAAuD;;;iBACpF,QAAQ,EAAE,QAAQ;iBAAE,OAAO,EAAE,oDAAoD;;;iBACjF,QAAQ,EAAE,OAAO;iBAAE,OAAO,EAAE,qEAAqE;;;iBACjG,QAAQ,EAAE,SAAS;iBAAE,OAAO,EAAE,mDAAmD;;;iBACjF,QAAQ,EAAE,cAAc;iBAAE,OAAO,EAAE,wDAAwD;;;iBAC3F,QAAQ,EAAE,cAAc;iBAAE,OAAO,EAAE,qDAAqD;;;iBACxF,QAAQ,EAAE,cAAc;iBAAE,OAAO,EAAE,oEAAoE;;EACxG,CAAC;AAEZ,MAAM,MAAM,sBAAsB,GAAG,MAAM,OAAO,kBAAkB,CAAC;AAErE,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,IAAI,sBAAsB,CAEvF"}

package/dist/packages/core/src/diagnostics.js

@@ -3,6 +3,7 @@ export const diagnosticRegistry = Object.freeze({
     TSQ002: { category: "resource", summary: "SQL exceeded a parser resource limit." },
     TSQ003: { category: "resource", summary: "Conditional SQL exceeded the structural variant limit." },
     TSQ004: { category: "contract", summary: "Structural SQL requires an explicitly trusted fragment." },
+    TSQ005: { category: "support", summary: "Runtime SQL cannot be analyzed statically." },
     TSQ007: { category: "contract", summary: "The schema snapshot and dialect do not match." },
     TSQ100: { category: "schema", summary: "A referenced table does not exist." },
     TSQ101: { category: "schema", summary: "A referenced column does not exist." },
@@ -27,6 +28,9 @@ export const diagnosticRegistry = Object.freeze({
     TSQ217: { category: "result", summary: "An IN subquery does not return exactly one column." },
     TSQ301: { category: "drift", summary: "The live schema or type policy differs from the generated snapshot." },
     TSQ401: { category: "support", summary: "The dialect surface is intentionally unsupported." },
+    TSQ500: { category: "verification", summary: "Live database metadata differs from compiler evidence." },
+    TSQ501: { category: "verification", summary: "A query could not be verified safely or statically." },
+    TSQ502: { category: "verification", summary: "Native live verification failed without persisting driver details." },
 });
 export function isTypedSqlDiagnosticCode(value) {
     return Object.hasOwn(diagnosticRegistry, value);

package/dist/packages/core/src/diagnostics.js.map

@@ -1 +1 @@
-{"version":3,"file":"diagnostics.js","sourceRoot":"","sources":["../../../../src/diagnostics.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,kBAAkB,GAAG,MAAM,CAAC,MAAM,CAAC;IAC9C,MAAM,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,iCAAiC,EAAE;IAC1E,MAAM,EAAE,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,EAAE,uCAAuC,EAAE;IAClF,MAAM,EAAE,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,EAAE,wDAAwD,EAAE;IACnG,MAAM,EAAE,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,EAAE,yDAAyD,EAAE;IACpG,MAAM,EAAE,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,EAAE,+CAA+C,EAAE;IAC1F,MAAM,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,oCAAoC,EAAE;IAC7E,MAAM,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,qCAAqC,EAAE;IAC9E,MAAM,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,kCAAkC,EAAE;IAC3E,MAAM,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,kDAAkD,EAAE;IAC3F,MAAM,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,oDAAoD,EAAE;IAC7F,MAAM,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,oDAAoD,EAAE;IAC7F,MAAM,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,sCAAsC,EAAE;IAC7E,MAAM,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,yCAAyC,EAAE;IAClF,MAAM,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,iCAAiC,EAAE;IAC1E,MAAM,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,wBAAwB,EAAE;IAC/D,MAAM,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,wCAAwC,EAAE;IAC/E,MAAM,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,mCAAmC,EAAE;IAC1E,MAAM,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,4DAA4D,EAAE;IACnG,MAAM,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,kDAAkD,EAAE;IAC5F,MAAM,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,2BAA2B,EAAE;IACpE,MAAM,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,6BAA6B,EAAE;IACtE,MAAM,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,wCAAwC,EAAE;IACjF,MAAM,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,0CAA0C,EAAE;IACnF,MAAM,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,kDAAkD,EAAE;IAC3F,MAAM,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,uDAAuD,EAAE;IAChG,MAAM,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,oDAAoD,EAAE;IAC7F,MAAM,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,qEAAqE,EAAE;IAC7G,MAAM,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,mDAAmD,EAAE;CACrF,CAAC,CAAC;AAIZ,MAAM,UAAU,wBAAwB,CAAC,KAAa;IACpD,OAAO,MAAM,CAAC,MAAM,CAAC,kBAAkB,EAAE,KAAK,CAAC,CAAC;AAClD,CAAC"}
+{"version":3,"file":"diagnostics.js","sourceRoot":"","sources":["../../../../src/diagnostics.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,kBAAkB,GAAG,MAAM,CAAC,MAAM,CAAC;IAC9C,MAAM,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,iCAAiC,EAAE;IAC1E,MAAM,EAAE,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,EAAE,uCAAuC,EAAE;IAClF,MAAM,EAAE,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,EAAE,wDAAwD,EAAE;IACnG,MAAM,EAAE,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,EAAE,yDAAyD,EAAE;IACpG,MAAM,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,4CAA4C,EAAE;IACtF,MAAM,EAAE,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,EAAE,+CAA+C,EAAE;IAC1F,MAAM,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,oCAAoC,EAAE;IAC7E,MAAM,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,qCAAqC,EAAE;IAC9E,MAAM,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,kCAAkC,EAAE;IAC3E,MAAM,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,kDAAkD,EAAE;IAC3F,MAAM,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,oDAAoD,EAAE;IAC7F,MAAM,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,oDAAoD,EAAE;IAC7F,MAAM,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,sCAAsC,EAAE;IAC7E,MAAM,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,yCAAyC,EAAE;IAClF,MAAM,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,iCAAiC,EAAE;IAC1E,MAAM,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,wBAAwB,EAAE;IAC/D,MAAM,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,wCAAwC,EAAE;IAC/E,MAAM,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,mCAAmC,EAAE;IAC1E,MAAM,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,4DAA4D,EAAE;IACnG,MAAM,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,kDAAkD,EAAE;IAC5F,MAAM,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,2BAA2B,EAAE;IACpE,MAAM,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,6BAA6B,EAAE;IACtE,MAAM,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,wCAAwC,EAAE;IACjF,MAAM,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,0CAA0C,EAAE;IACnF,MAAM,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,kDAAkD,EAAE;IAC3F,MAAM,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,uDAAuD,EAAE;IAChG,MAAM,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,oDAAoD,EAAE;IAC7F,MAAM,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,qEAAqE,EAAE;IAC7G,MAAM,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,mDAAmD,EAAE;IAC7F,MAAM,EAAE,EAAE,QAAQ,EAAE,cAAc,EAAE,OAAO,EAAE,wDAAwD,EAAE;IACvG,MAAM,EAAE,EAAE,QAAQ,EAAE,cAAc,EAAE,OAAO,EAAE,qDAAqD,EAAE;IACpG,MAAM,EAAE,EAAE,QAAQ,EAAE,cAAc,EAAE,OAAO,EAAE,oEAAoE,EAAE;CAC3G,CAAC,CAAC;AAIZ,MAAM,UAAU,wBAAwB,CAAC,KAAa;IACpD,OAAO,MAAM,CAAC,MAAM,CAAC,kBAAkB,EAAE,KAAK,CAAC,CAAC;AAClD,CAAC"}

package/dist/packages/core/src/execution.d.ts

@@ -0,0 +1,62 @@
+import type { Query } from "./query.js";
+export type QueryCardinalityExpectation = "one" | "maybeOne";
+export type QueryCancellationReason = "signal" | "deadline";
+export type ExecutionCapability = "cancellation" | "deadlines";
+export interface ExecutionOptions {
+    readonly signal?: AbortSignal;
+    /** Absolute Unix time in milliseconds, or a Date representing that instant. */
+    readonly deadline?: number | Date;
+}
+export interface ExecutionCapabilities {
+    readonly cancellation: boolean;
+    readonly deadlines: boolean;
+}
+export declare class QueryCardinalityError extends Error {
+    readonly code = "TSQL_CARDINALITY";
+    readonly expected: QueryCardinalityExpectation;
+    readonly actual: number;
+    constructor(expected: QueryCardinalityExpectation, actual: number);
+}
+export declare class QueryCancelledError extends Error {
+    readonly code = "TSQL_CANCELLED";
+    readonly reason: QueryCancellationReason;
+    constructor(reason: QueryCancellationReason, options?: ErrorOptions);
+}
+export declare class UnsupportedExecutionCapabilityError extends Error {
+    readonly code = "TSQL_UNSUPPORTED_EXECUTION_CAPABILITY";
+    readonly capability: ExecutionCapability;
+    constructor(capability: ExecutionCapability);
+}
+export declare function executionDeadline(options: ExecutionOptions): number | undefined;
+export declare function assertExecutionCapabilities(capabilities: ExecutionCapabilities, options: ExecutionOptions): void;
+/** Runs one dispatched operation and invokes adapter cleanup exactly once when its controls fire. */
+export declare function runControlledExecution<Value>(options: ExecutionOptions, operation: () => Promise<Value>, cancel: (error: QueryCancelledError) => void): Promise<Value>;
+/** The buffered rows produced by executing one typed query. */
+export type QueryResult<Value> = Value extends Query<infer Row, infer _Params> ? readonly Row[] : never;
+/**
+ * Maps an ordered query tuple or array to its ordered buffered results.
+ *
+ * A tuple remains a tuple, while a homogeneous query array remains an array.
+ */
+export type QueryResults<Queries extends readonly unknown[]> = {
+    readonly [Index in keyof Queries]: QueryResult<Queries[Index]>;
+};
+/** Validates an ordered tuple or array while preserving every query's exact type. */
+export type QueryBatch<Queries extends readonly unknown[]> = Queries & {
+    readonly [Index in keyof Queries]: Queries[Index] extends Query<infer Row, infer Params> ? Query<Row, Params> : never;
+};
+/** Common, grammar-neutral stream configuration. */
+export interface StreamOptions {
+    /**
+     * Preferred number of rows fetched or buffered at a time.
+     *
+     * Adapters must reject values that are not positive safe integers. This is a row count, not a
+     * byte limit or a guarantee of server-side cursor paging.
+     */
+    readonly batchSize?: number;
+}
+/** A lazy, explicitly closeable stream of typed query rows. */
+export interface QueryStream<Row> extends AsyncIterableIterator<Row>, AsyncDisposable {
+    close(): Promise<void>;
+}
+//# sourceMappingURL=execution.d.ts.map

package/dist/packages/core/src/execution.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"execution.d.ts","sourceRoot":"","sources":["../../../../src/execution.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAExC,MAAM,MAAM,2BAA2B,GAAG,KAAK,GAAG,UAAU,CAAC;AAC7D,MAAM,MAAM,uBAAuB,GAAG,QAAQ,GAAG,UAAU,CAAC;AAC5D,MAAM,MAAM,mBAAmB,GAAG,cAAc,GAAG,WAAW,CAAC;AAE/D,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC;IAC9B,+EAA+E;IAC/E,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CACnC;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC;IAC/B,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;CAC7B;AAED,qBAAa,qBAAsB,SAAQ,KAAK;IAC9C,QAAQ,CAAC,IAAI,sBAAsB;IACnC,QAAQ,CAAC,QAAQ,EAAE,2BAA2B,CAAC;IAC/C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAExB,YAAY,QAAQ,EAAE,2BAA2B,EAAE,MAAM,EAAE,MAAM,EAShE;CACF;AAED,qBAAa,mBAAoB,SAAQ,KAAK;IAC5C,QAAQ,CAAC,IAAI,oBAAoB;IACjC,QAAQ,CAAC,MAAM,EAAE,uBAAuB,CAAC;IAEzC,YAAY,MAAM,EAAE,uBAAuB,EAAE,OAAO,GAAE,YAAiB,EAItE;CACF;AAED,qBAAa,mCAAoC,SAAQ,KAAK;IAC5D,QAAQ,CAAC,IAAI,2CAA2C;IACxD,QAAQ,CAAC,UAAU,EAAE,mBAAmB,CAAC;IAEzC,YAAY,UAAU,EAAE,mBAAmB,EAI1C;CACF;AAED,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,gBAAgB,GAAG,MAAM,GAAG,SAAS,CAK/E;AAED,wBAAgB,2BAA2B,CAAC,YAAY,EAAE,qBAAqB,EAAE,OAAO,EAAE,gBAAgB,GAAG,IAAI,CAQhH;AAID,qGAAqG;AACrG,wBAAsB,sBAAsB,CAAC,KAAK,EAChD,OAAO,EAAE,gBAAgB,EACzB,SAAS,EAAE,MAAM,OAAO,CAAC,KAAK,CAAC,EAC/B,MAAM,EAAE,CAAC,KAAK,EAAE,mBAAmB,KAAK,IAAI,GAC3C,OAAO,CAAC,KAAK,CAAC,CA2DhB;AAED,+DAA+D;AAC/D,MAAM,MAAM,WAAW,CAAC,KAAK,IAAI,KAAK,SAAS,KAAK,CAAC,MAAM,GAAG,EAAE,MAAM,OAAO,CAAC,GAAG,SAAS,GAAG,EAAE,GAAG,KAAK,CAAC;AAExG;;;;GAIG;AACH,MAAM,MAAM,YAAY,CAAC,OAAO,SAAS,SAAS,OAAO,EAAE,IAAI;IAC7D,QAAQ,EAAE,KAAK,IAAI,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;CAC/D,CAAC;AAEF,qFAAqF;AACrF,MAAM,MAAM,UAAU,CAAC,OAAO,SAAS,SAAS,OAAO,EAAE,IAAI,OAAO,GAAG;IACrE,QAAQ,EAAE,KAAK,IAAI,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,SAAS,KAAK,CAAC,MAAM,GAAG,EAAE,MAAM,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,KAAK;CACtH,CAAC;AAEF,oDAAoD;AACpD,MAAM,WAAW,aAAa;IAC5B;;;;;OAKG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED,+DAA+D;AAC/D,MAAM,WAAW,WAAW,CAAC,GAAG,CAAE,SAAQ,qBAAqB,CAAC,GAAG,CAAC,EAAE,eAAe;IACnF,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CACxB"}