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

package/LICENSE

@@ -0,0 +1,201 @@
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for reasonable and customary use in describing the
+      origin of the Work and reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer,
+      and charge a fee for, acceptance of support, warranty, indemnity,
+      or other liability obligations and/or rights consistent with this
+      License. However, in accepting such obligations, You may act only
+      on Your own behalf and on Your sole responsibility, not on behalf
+      of any other Contributor, and only if You agree to indemnify,
+      defend, and hold each Contributor harmless for any liability
+      incurred by, or claims asserted against, such Contributor by reason
+      of your accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS
+
+   APPENDIX: How to apply the Apache License to your work.
+
+      To apply the Apache License to your work, attach the following
+      boilerplate notice, with the fields enclosed by brackets "[]"
+      replaced with your own identifying information. (Don't include
+      the brackets!)  The text should be enclosed in the appropriate
+      comment syntax for the file format. We also recommend that a
+      file or class name and description of purpose be included on the
+      same "printed page" as the copyright notice for easier
+      identification within third-party archives.
+
+   Copyright [2026] [Prisma Data, Inc]
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.

package/README.md

@@ -24,7 +24,9 @@ Provide shared relational primitives (schema builders, column builders, paramete
 - **Column Builders**: Provides column accessors with operation methods attached based on column typeId
 - **Parameter Helpers**: Creates parameter placeholders for query building
 - **Operations Registry**: Attaches registered operations as methods on column builders
+- **Execution Context Types**: Defines the context shape used by query lanes
 - **Type Definitions**: Defines TypeScript types for column builders, operations, and projections
+- **Codec Registry Types**: Defines codec interfaces and base SQL codec definitions
 
 **Non-goals:**
 - Query DSL construction (sql-lane)
@@ -42,6 +44,7 @@ flowchart TD
         PARAM[Parameter Helpers]
         OPS[Operations Registry]
         TYPES[Type Definitions]
+        AST[AST Types]
     end
 
     subgraph "Consumers"
@@ -59,6 +62,8 @@ flowchart TD
     OPS --> ORM
     TYPES --> SQL
     TYPES --> ORM
+    AST --> SQL
+    AST --> ORM
 ```
 
 ## Components
@@ -86,6 +91,16 @@ flowchart TD
 - Defines `SqlQueryPlan<Row>` interface for SQL query plans produced by lanes before lowering
 - Provides `augmentDescriptorWithColumnMeta(descriptors, columnMeta)` helper to update ParamDescriptor with `codecId` and `nativeType` from column metadata
 
+### AST Surface (`ast/*` via `exports/ast.ts`)
+- Query roots: `SelectAst`, `InsertAst`, `UpdateAst`, `DeleteAst`
+- Expressions: `ColumnRef`, `ParamRef`, `LiteralExpr`, `OperationExpr`, `ListExpression`
+- Predicates: `BinaryExpr` (ops: `eq`, `neq`, `gt`, `lt`, `gte`, `lte`, `like`, `ilike`, `in`, `notIn`), `AndExpr`, `OrExpr`, `ExistsExpr`, `NullCheckExpr`
+- Lane-agnostic filter interop: `WhereArg` and `ToWhereExpr` for passing filter payloads without lane-specific types
+- Joins: `JoinAst`, `JoinOnExpr` (eqCol or WhereExpr)
+- Inserts: `InsertAst.rows` is row-based and uses `InsertValue` cells (`ColumnRef`, `ParamRef`, or the insert-only `DefaultValueExpr` sentinel for SQL `DEFAULT`) for batched inserts
+- `SelectAst.selectAllIntent` — preserves select-all intent when normalized to explicit columns
+- `DeleteAst.where` and `UpdateAst.where` optional for mutation-without-WHERE lint support
+
 ### Type Definitions (`types.ts`)
 - Defines TypeScript types for column builders, operations, projections
 - Provides type inference utilities for extracting JavaScript types from codec types (e.g., `ExtractJsTypeFromColumnBuilder`)
@@ -95,14 +110,12 @@ flowchart TD
 ## Dependencies
 
 - **`@prisma-next/contract`**: Core contract types
-- **`@prisma-next/plan`**: Plan error helpers (`planInvalid`, `planUnsupported`) and `RuntimeError` type
-- **`@prisma-next/runtime`**: Runtime context types (TODO: Slice 6 will clean this up)
+- **`@prisma-next/operations`**: Operation registry used by schema builders
 - **`@prisma-next/sql-contract`**: SQL contract types (via `@prisma-next/sql-contract/types`)
+- **`arktype`**: Parameter schema typing for codec definitions
 
 **Note**: This package does not depend on specific adapters (e.g., `@prisma-next/adapter-postgres`). Test fixtures define `CodecTypes` inline to remain adapter-agnostic and avoid cyclic dependencies.
 
-**Note**: Error helpers (`planInvalid`, `planUnsupported`) and the `RuntimeError` type are imported from `@prisma-next/plan` (core ring) rather than being defined locally. This ensures target-agnostic error handling.
-
 ## Package Structure
 
 This package follows the standard `exports/` directory pattern:
@@ -112,7 +125,8 @@ This package follows the standard `exports/` directory pattern:
 - `src/exports/types.ts` - Re-exports type definitions
 - `src/exports/operations-registry.ts` - Re-exports operations registry
 - `src/exports/plan.ts` - Re-exports plan types and helpers
-- `src/exports/errors.ts` - Re-exports error helpers (from `@prisma-next/plan`)
+- `src/exports/ast.ts` - Re-exports SQL AST types
+- `src/exports/errors.ts` - Re-exports error helpers (`planInvalid`, `planUnsupported`)
 - `src/index.ts` - Main entry point that re-exports from `exports/`
 
 This enables subpath imports like `@prisma-next/sql-relational-core/schema`, `@prisma-next/sql-relational-core/param`, `@prisma-next/sql-relational-core/plan`, etc.
@@ -120,7 +134,7 @@ This enables subpath imports like `@prisma-next/sql-relational-core/schema`, `@p
 ## Related Subsystems
 
 - **[Query Lanes](../../../../docs/architecture%20docs/subsystems/3.%20Query%20Lanes.md)**: Detailed subsystem specification
-- **[Runtime & Plugin Framework](../../../../docs/architecture%20docs/subsystems/4.%20Runtime%20&%20Plugin%20Framework.md)**: Plan execution
+- **[Runtime & Middleware Framework](../../../../docs/architecture%20docs/subsystems/4.%20Runtime%20&%20Middleware%20Framework.md)**: Plan execution
 
 ## Related ADRs
 

package/dist/codec-types-DcEITed4.d.mts

@@ -0,0 +1,144 @@
+import { Type } from "arktype";
+import { JsonValue } from "@prisma-next/contract/types";
+import { Codec, CodecTrait, CodecTrait as CodecTrait$1 } from "@prisma-next/framework-components/codec";
+import { O } from "ts-toolbelt";
+
+//#region src/ast/codec-types.d.ts
+
+/**
+ * Descriptor for parameterized codecs that require type parameter validation.
+ * Shared between adapter (compile-time) and runtime layers to avoid duplication.
+ *
+ * @template TParams - The shape of the type parameters (e.g., `{ length: number }`)
+ * @template THelper - The type returned by the optional `init` hook
+ */
+interface CodecParamsDescriptor<TParams = Record<string, unknown>, THelper = unknown> {
+  /** The codec ID this descriptor applies to (e.g., 'pg/vector@1') */
+  readonly codecId: string;
+  /**
+   * Arktype schema for validating typeParams.
+   * Used to validate both storage.types entries and inline column typeParams.
+   */
+  readonly paramsSchema: Type<TParams>;
+  /**
+   * Optional init hook called during runtime context creation.
+   * Receives validated params and returns a helper object to be stored in context.types.
+   * If not provided, the validated params are stored directly.
+   */
+  readonly init?: (params: TParams) => THelper;
+}
+/**
+ * Codec metadata for database-specific type information.
+ * Used for schema introspection and verification.
+ */
+interface CodecMeta {
+  readonly db?: {
+    readonly sql?: {
+      readonly postgres?: {
+        readonly nativeType: string;
+      };
+    };
+  };
+}
+/**
+ * SQL codec interface — extends the framework base with SQL-specific fields.
+ *
+ * Codecs are pure, synchronous functions with no side effects or IO.
+ * They provide deterministic conversion between database wire types and JS values,
+ * and between JS values and contract JSON.
+ */
+interface Codec$1<Id$1 extends string = string, TTraits$1 extends readonly CodecTrait[] = readonly CodecTrait[], TWire = unknown, TJs = unknown, TParams = Record<string, unknown>, THelper = unknown> extends Codec<Id$1, TTraits$1, TWire, TJs> {
+  readonly meta?: CodecMeta;
+  readonly paramsSchema?: Type<TParams>;
+  readonly init?: (params: TParams) => THelper;
+}
+/**
+ * Registry interface for codecs organized by ID and by contract scalar type.
+ *
+ * The registry allows looking up codecs by their namespaced ID or by the
+ * contract scalar types they handle. Multiple codecs may handle the same
+ * scalar type; ordering in byScalar reflects preference (adapter first,
+ * then packs, then app overrides).
+ */
+interface CodecRegistry {
+  get(id: string): Codec$1<string> | undefined;
+  has(id: string): boolean;
+  getByScalar(scalar: string): readonly Codec$1<string>[];
+  getDefaultCodec(scalar: string): Codec$1<string> | undefined;
+  register(codec: Codec$1<string>): void;
+  /** Returns true if the codec with this ID has the given trait. */
+  hasTrait(codecId: string, trait: CodecTrait): boolean;
+  /** Returns all traits for a codec, or an empty array if not found. */
+  traitsOf(codecId: string): readonly CodecTrait[];
+  [Symbol.iterator](): Iterator<Codec$1<string>>;
+  values(): IterableIterator<Codec$1<string>>;
+}
+/**
+ * Codec factory - creates a codec with typeId and encode/decode functions.
+ * Provides identity defaults for encodeJson/decodeJson when not supplied.
+ */
+declare function codec<Id$1 extends string, const TTraits$1 extends readonly CodecTrait[], TWire, TJs, TParams = Record<string, unknown>, THelper = unknown>(config: {
+  typeId: Id$1;
+  targetTypes: readonly string[];
+  encode: (value: TJs) => TWire;
+  decode: (wire: TWire) => TJs;
+  encodeJson?: (value: TJs) => JsonValue;
+  decodeJson?: (json: JsonValue) => TJs;
+  meta?: CodecMeta;
+  paramsSchema?: Type<TParams>;
+  init?: (params: TParams) => THelper;
+  traits?: TTraits$1;
+  renderOutputType?: (typeParams: Record<string, unknown>) => string | undefined;
+}): Codec$1<Id$1, TTraits$1, TWire, TJs, TParams, THelper>;
+/**
+ * Type helpers to extract codec types.
+ */
+type CodecId<T> = T extends Codec$1<infer Id> ? Id : T extends {
+  readonly id: infer Id;
+} ? Id : never;
+type CodecInput<T> = T extends Codec$1<string, readonly CodecTrait[], unknown, infer JsT> ? JsT : never;
+type CodecOutput<T> = T extends Codec$1<string, readonly CodecTrait[], unknown, infer JsT> ? JsT : never;
+type CodecTraits<T> = T extends Codec$1<string, infer TTraits> ? TTraits[number] & CodecTrait : never;
+/**
+ * Type helper to extract codec types from builder instance.
+ */
+type ExtractCodecTypes<ScalarNames extends { readonly [K in keyof ScalarNames]: Codec$1<string> } = Record<never, never>> = { readonly [K in keyof ScalarNames as ScalarNames[K] extends Codec$1<infer Id> ? Id : never]: {
+  readonly input: CodecInput<ScalarNames[K]>;
+  readonly output: CodecOutput<ScalarNames[K]>;
+  readonly traits: CodecTraits<ScalarNames[K]>;
+} };
+/**
+ * Type helper to extract data type IDs from builder instance.
+ * Uses ExtractCodecTypes which preserves literal types as keys.
+ * Since ExtractCodecTypes<Record<K, ScalarNames[K]>> has exactly one key (the Id),
+ * we extract it by creating a mapped type that uses the Id as both key and value,
+ * then extract the value type. This preserves literal types.
+ */
+type ExtractDataTypes<ScalarNames extends { readonly [K in keyof ScalarNames]: Codec$1<string> }> = { readonly [K in keyof ScalarNames]: { readonly [Id in keyof ExtractCodecTypes<Record<K, ScalarNames[K]>>]: Id }[keyof ExtractCodecTypes<Record<K, ScalarNames[K]>>] };
+/**
+ * Builder interface for declaring codecs.
+ */
+interface CodecDefBuilder<ScalarNames extends { readonly [K in keyof ScalarNames]: Codec$1<string> } = Record<never, never>> {
+  readonly CodecTypes: ExtractCodecTypes<ScalarNames>;
+  add<ScalarName extends string, CodecImpl extends Codec$1<string>>(scalarName: ScalarName, codecImpl: CodecImpl): CodecDefBuilder<O.Overwrite<ScalarNames, Record<ScalarName, CodecImpl>> & Record<ScalarName, CodecImpl>>;
+  readonly codecDefinitions: { readonly [K in keyof ScalarNames]: {
+    readonly typeId: ScalarNames[K] extends Codec$1<infer Id extends string> ? Id : never;
+    readonly scalar: K;
+    readonly codec: ScalarNames[K];
+    readonly input: CodecInput<ScalarNames[K]>;
+    readonly output: CodecOutput<ScalarNames[K]>;
+    readonly jsType: CodecOutput<ScalarNames[K]>;
+  } };
+  readonly dataTypes: { readonly [K in keyof ScalarNames]: { readonly [Id in keyof ExtractCodecTypes<Record<K, ScalarNames[K]>>]: Id }[keyof ExtractCodecTypes<Record<K, ScalarNames[K]>>] };
+}
+/**
+ * Create a new codec registry.
+ */
+declare function createCodecRegistry(): CodecRegistry;
+/**
+ * Create a new codec definition builder.
+ */
+declare function defineCodecs(): CodecDefBuilder<Record<never, never>>;
+//#endregion
+export { CodecMeta as a, CodecRegistry as c, ExtractCodecTypes as d, ExtractDataTypes as f, defineCodecs as h, CodecInput as i, CodecTrait$1 as l, createCodecRegistry as m, CodecDefBuilder as n, CodecOutput as o, codec as p, CodecId as r, CodecParamsDescriptor as s, Codec$1 as t, CodecTraits as u };
+//# sourceMappingURL=codec-types-DcEITed4.d.mts.map

package/dist/codec-types-DcEITed4.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"codec-types-DcEITed4.d.mts","names":[],"sources":["../src/ast/codec-types.ts"],"sourcesContent":[],"mappings":";;;;;;;;AAeA;;;;;;AAe8C,UAf7B,qBAe6B,CAAA,UAfG,MAeH,CAAA,MAAA,EAAA,OAAA,CAAA,EAAA,UAAA,OAAA,CAAA,CAAA;EAO7B;EAiBA,SAAA,OAAK,EAAA,MAAA;EAEK;;;;EAKH,SAAA,YAAA,EAtCC,IAsCD,CAtCM,OAsCN,CAAA;EAAS;;;;;EAGN,SAAA,IAAA,CAAA,EAAA,CAAA,MAAA,EAlCA,OAkCA,EAAA,GAlCY,OAkCZ;;;;AAW3B;;AAGwC,UAzCvB,SAAA,CAyCuB;EACL,SAAA,EAAA,CAAA,EAAA;IACjB,SAAA,GAAA,CAAA,EAAA;MAEiB,SAAA,QAAA,CAAA,EAAA;QAEG,SAAA,UAAA,EAAA,MAAA;MACN,CAAA;IAAT,CAAA;EACM,CAAA;;;AAmG7B;;;;;;AAWiB,UA9IA,OA8IA,CAAA,aAAA,MAAA,GAAA,MAAA,EAAA,kBAAA,SA5IU,UA4IV,EAAA,GAAA,SA5IkC,UA4IlC,EAAA,EAAA,QAAA,OAAA,EAAA,MAAA,OAAA,EAAA,UAzIL,MAyIK,CAAA,MAAA,EAAA,OAAA,CAAA,EAAA,UAAA,OAAA,CAAA,SAvIP,KAuIO,CAvIG,IAuIH,EAvIO,SAuIP,EAvIgB,KAuIhB,EAvIuB,GAuIvB,CAAA,CAAA;EAAU,SAAA,IAAA,CAAA,EAtIT,SAsIS;EACJ,SAAA,YAAA,CAAA,EAtIG,IAsIH,CAtIQ,OAsIR,CAAA;EAAQ,SAAA,IAAA,CAAA,EAAA,CAAA,MAAA,EArIJ,OAqII,EAAA,GArIQ,OAqIR;;;;;;;;;;AAOrB,UAjIO,aAAA,CAiIP;EAAI,GAAA,CAAA,EAAA,EAAA,MAAA,CAAA,EAhIK,OAgIL,CAAA,MAAA,CAAA,GAAA,SAAA;EAAS,GAAA,CAAA,EAAA,EAAA,MAAA,CAAA,EAAA,OAAA;EAAO,WAAA,CAAA,MAAA,EAAA,MAAA,CAAA,EAAA,SA9HU,OA8HV,CAAA,MAAA,CAAA,EAAA;EAAK,eAAA,CAAA,MAAA,EAAA,MAAA,CAAA,EA7HA,OA6HA,CAAA,MAAA,CAAA,GAAA,SAAA;EAAS,QAAA,CAAA,KAAA,EA5H1B,OA4H0B,CAAA,MAAA,CAAA,CAAA,EAAA,IAAA;EAAxC;EAAK,QAAA,CAAA,OAAA,EAAA,MAAA,EAAA,KAAA,EA1H0B,UA0H1B,CAAA,EAAA,OAAA;EAuBG;EACV,QAAA,CAAA,OAAA,EAAA,MAAA,CAAA,EAAA,SAhJoC,UAgJpC,EAAA;EAAU,CAAA,MAAA,CAAA,QAAA,GAAA,EA/IW,QA+IX,CA/IoB,OA+IpB,CAAA,MAAA,CAAA,CAAA;EAAuB,MAAA,EAAA,EA9IvB,gBA8IuB,CA9IN,OA8IM,CAAA,MAAA,CAAA,CAAA;;AACnC;;;;AACiB,iBA7CD,KA6CC,CAAA,aAAA,MAAA,EAAA,wBAAA,SA3CgB,UA2ChB,EAAA,EAAA,KAAA,EAAA,GAAA,EAAA,UAxCL,MAwCK,CAAA,MAAA,EAAA,OAAA,CAAA,EAAA,UAAA,OAAA,CAAA,CAAA,MAAA,EAAA;EACL,MAAA,EAtCF,IAsCE;EACV,WAAA,EAAA,SAAA,MAAA,EAAA;EAAiC,MAAA,EAAA,CAAA,KAAA,EArCjB,GAqCiB,EAAA,GArCT,KAqCS;EAAvB,MAAA,EAAA,CAAA,IAAA,EApCK,KAoCL,EAAA,GApCe,GAoCf;EAAK,UAAA,CAAA,EAAA,CAAA,KAAA,EAnCM,GAmCN,EAAA,GAnCc,SAmCd;EACL,UAAA,CAAA,EAAA,CAAW,IAAA,EAnCD,SAmCC,EAAA,GAnCa,GAmCb;EACrB,IAAA,CAAA,EAnCO,SAmCP;EAAU,YAAA,CAAA,EAlCK,IAkCL,CAlCU,OAkCV,CAAA;EAA+B,IAAA,CAAA,EAAA,CAAA,MAAA,EAjCzB,OAiCyB,EAAA,GAjCb,OAiCa;EAAkB,MAAA,CAAA,EAhClD,SAgCkD;EAAU,gBAAA,CAAA,EAAA,CAAA,UAAA,EA/BrC,MA+BqC,CAAA,MAAA,EAAA,OAAA,CAAA,EAAA,GAAA,MAAA,GAAA,SAAA;AAKvE,CAAA,CAAA,EAnCI,OAmCQ,CAnCF,IAmCE,EAnCE,SAmCF,EAnCW,KAmCM,EAnCC,GAmCD,EAnCM,OAmCN,EAnCe,OAmCf,CAAA;;;;AAGN,KAfX,OAeW,CAAA,CAAA,CAAA,GAdrB,CAcqB,SAdX,OAcW,CAAA,KAAA,GAAA,CAAA,GAAA,EAAA,GAdY,CAcZ,SAAA;EAAe,SAAA,EAAA,EAAA,KAAA,GAAA;CAAY,GAAA,EAAA,GAAA,KAAA;AAAW,KAbjD,UAaiD,CAAA,CAAA,CAAA,GAZ3D,CAY2D,SAZjD,OAYiD,CAAA,MAAA,EAAA,SAZ1B,UAY0B,EAAA,EAAA,OAAA,EAAA,KAAA,IAAA,CAAA,GAAA,GAAA,GAAA,KAAA;AAC9B,KAZnB,WAYmB,CAAA,CAAA,CAAA,GAX7B,CAW6B,SAXnB,OAWmB,CAAA,MAAA,EAAA,SAXI,UAWJ,EAAA,EAAA,OAAA,EAAA,KAAA,IAAA,CAAA,GAAA,GAAA,GAAA,KAAA;AAAY,KAV/B,WAU+B,CAAA,CAAA,CAAA,GATzC,CASyC,SAT/B,OAS+B,CAAA,MAAA,EAAA,KAAA,QAAA,CAAA,GATA,OASA,CAAA,MAAA,CAAA,GATkB,UASlB,GAAA,KAAA;;;;AACtB,KALT,iBAKS,CAAA,oBAAA,iBACY,MALY,WAKZ,GAL0B,OAK1B,CAAA,MAAA,CAAA,EAAY,GALgC,MAKhC,CAAA,KAAA,EAAA,KAAA,CAAA,CAAA,GAAA,iBAAxB,MAHE,WAGF,IAHiB,WAGjB,CAH6B,CAG7B,CAAA,SAHwC,OAGxC,CAAA,KAAA,GAAA,CAAA,GAAA,EAAA,GAAA,KAAA,GAAA;EAAW,SAAA,KAAA,EAFZ,UAEY,CAFD,WAEC,CAFW,CAEX,CAAA,CAAA;EAWpB,SAAA,MAAgB,EAZP,WAYO,CAZK,WAYL,CAZiB,CAYjB,CAAA,CAAA;EACiB,SAAA,MAAA,EAZxB,WAYwB,CAZZ,WAYY,CAZA,CAYA,CAAA,CAAA;AAAc,CAAA,EAEpC;;;;;;;;AAEe,KAL1B,gBAK0B,CAAA,oBAAA,iBAAY,MAJL,WAIK,GAJS,OAIT,CAAA,MAAA,CAAA,EAAtB,CAAA,GAAA,iBAAlB,MAFa,WAEb,GAAA,kBAAiB,MADD,iBACC,CADiB,MACjB,CADwB,CACxB,EAD2B,WAC3B,CADuC,CACvC,CAAA,CAAA,CAAA,GAD8C,EAC9C,EAMV,CAAA,MANP,iBAMsB,CANJ,MAMI,CANG,CAMH,EANM,WAMN,CANkB,CAMlB,CAAA,CAAA,CAAA,CAAA,EACa;;;;AAEtB,UAHN,eAGM,CAAA,oBAAA,iBAE4B,MAJN,WAIM,GAJQ,OAIR,CAAA,MAAA,CAAA,EACnC,GAL6D,MAK7D,CAAA,KAAA,EAAA,KAAA,CAAA,CAAA,CAAA;EACD,SAAA,UAAA,EAJQ,iBAIR,CAJ0B,WAI1B,CAAA;EAEC,GAAA,CAAA,mBAAA,MAAA,EAAA,kBAJmC,OAInC,CAAA,MAAA,CAAA,CAAA,CAAA,UAAA,EAHA,UAGA,EAAA,SAAA,EAFD,SAEC,CAAA,EADX,eACW,CAAZ,CAAA,CAAE,SAAU,CAAA,WAAA,EAAa,MAAb,CAAoB,UAApB,EAAgC,SAAhC,CAAA,CAAA,GAA8C,MAA9C,CAAqD,UAArD,EAAiE,SAAjE,CAAA,CAAA;EAAoB,SAAA,gBAAA,EAAA,iBAAY,MAIvB,WAJuB,GAAA;IAAnB,SAAA,MAAA,EAKN,WALM,CAKM,CALN,CAAA,SAKiB,OALjB,CAAA,KAAA,YAAA,MAAA,CAAA,GAAA,EAAA,GAAA,KAAA;IAAvB,SAAA,MAAA,EAMiB,CANjB;IAA+D,SAAA,KAAA,EAO/C,WAP+C,CAOnC,CAPmC,CAAA;IAAY,SAAA,KAAA,EAQ3D,UAR2D,CAQhD,WARgD,CAQpC,CARoC,CAAA,CAAA;IAAnB,SAAA,MAAA,EASvC,WATuC,CAS3B,WAT2B,CASf,CATe,CAAA,CAAA;IADzD,SAAA,MAAA,EAWkB,WAXlB,CAW8B,WAX9B,CAW0C,CAX1C,CAAA,CAAA;EAKoB,CAAA,EACF;EAAY,SAAA,SAAA,EAAA,iBAAW,MAUrB,WAVqB,GAAA,kBACvB,MAUK,iBAVL,CAUuB,MAVvB,CAU8B,CAV9B,EAUiC,WAVjC,CAU6C,CAV7C,CAAA,CAAA,CAAA,GAUoD,EAVpD,EACD,CAAA,MAUV,iBAVU,CAUQ,MAVR,CAUe,CAVf,EAUkB,WAVlB,CAU8B,CAV9B,CAAA,CAAA,CAAA,CAAA,EAAY;;;;;AAEa,iBAiI/B,mBAAA,CAAA,CAjI+B,EAiIR,aAjIQ;;;;AACxB,iBAuIP,YAAA,CAAA,CAvIO,EAuIS,eAvIT,CAuIyB,MAvIzB,CAAA,KAAA,EAAA,KAAA,CAAA,CAAA"}

package/dist/errors-Cs52upp3.d.mts

@@ -0,0 +1,8 @@
+import { b as RuntimeError } from "./types-V1qiC5DO.mjs";
+
+//#region src/errors.d.ts
+declare function planInvalid(message: string, details?: Record<string, unknown>, hints?: readonly string[], docs?: readonly string[]): RuntimeError;
+declare function planUnsupported(message: string, details?: Record<string, unknown>, hints?: readonly string[], docs?: readonly string[]): RuntimeError;
+//#endregion
+export { planUnsupported as n, planInvalid as t };
+//# sourceMappingURL=errors-Cs52upp3.d.mts.map

package/dist/errors-Cs52upp3.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors-Cs52upp3.d.mts","names":[],"sources":["../src/errors.ts"],"sourcesContent":[],"mappings":";;;iBAEgB,WAAA,4BAEJ,+EAGT;iBAkBa,eAAA,4BAEJ,+EAGT"}

package/dist/errors-D3xmG4h-.mjs

@@ -0,0 +1,35 @@
+//#region src/errors.ts
+function planInvalid(message, details, hints, docs) {
+	const error = new Error(message);
+	Object.defineProperty(error, "name", {
+		value: "RuntimeError",
+		configurable: true
+	});
+	return Object.assign(error, {
+		code: "PLAN.INVALID",
+		category: "PLAN",
+		severity: "error",
+		details,
+		hints,
+		docs
+	});
+}
+function planUnsupported(message, details, hints, docs) {
+	const error = new Error(message);
+	Object.defineProperty(error, "name", {
+		value: "RuntimeError",
+		configurable: true
+	});
+	return Object.assign(error, {
+		code: "PLAN.UNSUPPORTED",
+		category: "PLAN",
+		severity: "error",
+		details,
+		hints,
+		docs
+	});
+}
+
+//#endregion
+export { planUnsupported as n, planInvalid as t };
+//# sourceMappingURL=errors-D3xmG4h-.mjs.map

package/dist/errors-D3xmG4h-.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors-D3xmG4h-.mjs","names":[],"sources":["../src/errors.ts"],"sourcesContent":["import type { RuntimeError } from './types';\n\nexport function planInvalid(\n  message: string,\n  details?: Record<string, unknown>,\n  hints?: readonly string[],\n  docs?: readonly string[],\n): RuntimeError {\n  const error = new Error(message) as RuntimeError;\n\n  Object.defineProperty(error, 'name', {\n    value: 'RuntimeError',\n    configurable: true,\n  });\n\n  return Object.assign(error, {\n    code: 'PLAN.INVALID',\n    category: 'PLAN' as const,\n    severity: 'error' as const,\n    details,\n    hints,\n    docs,\n  });\n}\n\nexport function planUnsupported(\n  message: string,\n  details?: Record<string, unknown>,\n  hints?: readonly string[],\n  docs?: readonly string[],\n): RuntimeError {\n  const error = new Error(message) as RuntimeError;\n\n  Object.defineProperty(error, 'name', {\n    value: 'RuntimeError',\n    configurable: true,\n  });\n\n  return Object.assign(error, {\n    code: 'PLAN.UNSUPPORTED',\n    category: 'PLAN' as const,\n    severity: 'error' as const,\n    details,\n    hints,\n    docs,\n  });\n}\n"],"mappings":";AAEA,SAAgB,YACd,SACA,SACA,OACA,MACc;CACd,MAAM,QAAQ,IAAI,MAAM,QAAQ;AAEhC,QAAO,eAAe,OAAO,QAAQ;EACnC,OAAO;EACP,cAAc;EACf,CAAC;AAEF,QAAO,OAAO,OAAO,OAAO;EAC1B,MAAM;EACN,UAAU;EACV,UAAU;EACV;EACA;EACA;EACD,CAAC;;AAGJ,SAAgB,gBACd,SACA,SACA,OACA,MACc;CACd,MAAM,QAAQ,IAAI,MAAM,QAAQ;AAEhC,QAAO,eAAe,OAAO,QAAQ;EACnC,OAAO;EACP,cAAc;EACf,CAAC;AAEF,QAAO,OAAO,OAAO,OAAO;EAC1B,MAAM;EACN,UAAU;EACV,UAAU;EACV;EACA;EACA;EACD,CAAC"}

package/dist/exports/ast.d.mts

@@ -0,0 +1,158 @@
+import { a as CodecMeta, c as CodecRegistry, d as ExtractCodecTypes, f as ExtractDataTypes, h as defineCodecs, i as CodecInput, l as CodecTrait, m as createCodecRegistry, n as CodecDefBuilder, o as CodecOutput, p as codec, r as CodecId, s as CodecParamsDescriptor, t as Codec, u as CodecTraits } from "../codec-types-DcEITed4.mjs";
+import { $ as ToWhereExpr, A as InsertOnConflict, B as NotExpr, C as ExistsExpr, D as ExpressionSource, E as ExpressionRewriter, F as JsonObjectEntry, G as ParamRef, H as OperationExpr, I as JsonObjectExpr, J as SelectAst, K as ProjectionExpr, L as ListExpression, M as JoinAst, N as JoinOnExpr, O as IdentifierRef, P as JsonArrayAggExpr, Q as TableSource, R as LiteralExpr, S as EqColJoinOn, T as ExpressionFolder, U as OrExpr, V as NullCheckExpr, W as OrderByItem, X as SubqueryExpr, Y as SelectAstOptions, Z as TableRef, _ as DeleteAst, a as AndExpr, at as whereExprKinds, b as DoNothingConflictAction, c as AnyInsertOnConflictAction, d as AnyQueryAst, et as UpdateAst, f as AstRewriter, g as DefaultValueExpr, h as ColumnRef, i as AggregateOpFn, it as queryAstKinds, j as InsertValue, k as InsertAst, l as AnyInsertValue, m as BinaryOp, n as AggregateExpr, nt as isQueryAst, o as AnyExpression, p as BinaryExpr, q as ProjectionItem, r as AggregateFn, rt as isWhereExpr, s as AnyFromSource, t as AggregateCountFn, tt as WhereArg, u as AnyOperationArg, v as DerivedTableSource, w as ExprVisitor, x as DoUpdateSetConflictAction, y as Direction, z as LoweredStatement } from "../types-CLCtwVWx.mjs";
+
+//#region src/ast/adapter-types.d.ts
+type AdapterTarget = string;
+interface MarkerStatement {
+  readonly sql: string;
+  readonly params: readonly unknown[];
+}
+interface AdapterProfile<TTarget extends AdapterTarget = AdapterTarget> {
+  readonly id: string;
+  readonly target: TTarget;
+  readonly capabilities: Record<string, unknown>;
+  /**
+   * Returns the adapter's default codec registry.
+   * The registry contains codecs provided by the adapter for converting
+   * between wire types and JavaScript types.
+   */
+  codecs(): CodecRegistry;
+  /**
+   * Returns the SQL statement to read the contract marker from the database.
+   * Each adapter provides target-specific SQL (e.g. schema-qualified table names,
+   * parameter placeholder style).
+   */
+  readMarkerStatement(): MarkerStatement;
+}
+interface LoweredPayload<TBody = unknown> {
+  readonly profileId?: string;
+  readonly body: TBody;
+  readonly annotations?: Record<string, unknown>;
+}
+interface LowererContext<TContract = unknown> {
+  readonly contract: TContract;
+  readonly params?: readonly unknown[];
+}
+type Lowerer<Ast = unknown, TContract = unknown, TBody = unknown> = (ast: Ast, context: LowererContext<TContract>) => LoweredPayload<TBody>;
+interface Adapter<Ast = unknown, TContract = unknown, TBody = unknown> {
+  readonly profile: AdapterProfile;
+  lower(ast: Ast, context: LowererContext<TContract>): LoweredPayload<TBody>;
+}
+//#endregion
+//#region src/ast/driver-types.d.ts
+interface SqlExecuteRequest {
+  readonly sql: string;
+  readonly params?: readonly unknown[];
+}
+interface SqlQueryResult<Row = Record<string, unknown>> {
+  readonly rows: ReadonlyArray<Row>;
+  readonly rowCount?: number | null;
+  readonly [key: string]: unknown;
+}
+interface SqlExplainResult<Row = Record<string, unknown>> {
+  readonly rows: ReadonlyArray<Row>;
+}
+type SqlDriverState = 'unbound' | 'connected' | 'closed';
+interface SqlDriver<TBinding = void> extends SqlQueryable {
+  readonly state?: SqlDriverState;
+  connect(binding: TBinding): Promise<void>;
+  acquireConnection(): Promise<SqlConnection>;
+  close(): Promise<void>;
+}
+interface SqlConnection extends SqlQueryable {
+  beginTransaction(): Promise<SqlTransaction>;
+  release(): Promise<void>;
+}
+interface SqlTransaction extends SqlQueryable {
+  commit(): Promise<void>;
+  rollback(): Promise<void>;
+}
+interface SqlQueryable {
+  execute<Row = Record<string, unknown>>(request: SqlExecuteRequest): AsyncIterable<Row>;
+  explain?(request: SqlExecuteRequest): Promise<SqlExplainResult>;
+  query<Row = Record<string, unknown>>(sql: string, params?: readonly unknown[]): Promise<SqlQueryResult<Row>>;
+}
+//#endregion
+//#region src/ast/sql-codecs.d.ts
+declare const SQL_CHAR_CODEC_ID: "sql/char@1";
+declare const SQL_VARCHAR_CODEC_ID: "sql/varchar@1";
+declare const SQL_INT_CODEC_ID: "sql/int@1";
+declare const SQL_FLOAT_CODEC_ID: "sql/float@1";
+declare const SQL_TEXT_CODEC_ID: "sql/text@1";
+declare const SQL_TIMESTAMP_CODEC_ID: "sql/timestamp@1";
+declare const codecs: CodecDefBuilder<{
+  char: Codec<"sql/char@1", readonly ["equality", "order", "textual"], string, string, Record<string, unknown>, unknown>;
+  varchar: Codec<"sql/varchar@1", readonly ["equality", "order", "textual"], string, string, Record<string, unknown>, unknown>;
+  int: Codec<"sql/int@1", readonly ["equality", "order", "numeric"], number, number, Record<string, unknown>, unknown>;
+  float: Codec<"sql/float@1", readonly ["equality", "order", "numeric"], number, number, Record<string, unknown>, unknown>;
+  text: Codec<"sql/text@1", readonly ["equality", "order", "textual"], string, string, Record<string, unknown>, unknown>;
+} & Record<"timestamp", Codec<"sql/timestamp@1", readonly ["equality", "order"], string, string, {
+  precision?: number;
+}, unknown>>>;
+declare const sqlCodecDefinitions: {
+  readonly char: {
+    readonly typeId: "sql/char@1";
+    readonly scalar: "char";
+    readonly codec: Codec<"sql/char@1", readonly ["equality", "order", "textual"], string, string, Record<string, unknown>, unknown>;
+    readonly input: string;
+    readonly output: string;
+    readonly jsType: string;
+  };
+  readonly varchar: {
+    readonly typeId: "sql/varchar@1";
+    readonly scalar: "varchar";
+    readonly codec: Codec<"sql/varchar@1", readonly ["equality", "order", "textual"], string, string, Record<string, unknown>, unknown>;
+    readonly input: string;
+    readonly output: string;
+    readonly jsType: string;
+  };
+  readonly int: {
+    readonly typeId: "sql/int@1";
+    readonly scalar: "int";
+    readonly codec: Codec<"sql/int@1", readonly ["equality", "order", "numeric"], number, number, Record<string, unknown>, unknown>;
+    readonly input: number;
+    readonly output: number;
+    readonly jsType: number;
+  };
+  readonly float: {
+    readonly typeId: "sql/float@1";
+    readonly scalar: "float";
+    readonly codec: Codec<"sql/float@1", readonly ["equality", "order", "numeric"], number, number, Record<string, unknown>, unknown>;
+    readonly input: number;
+    readonly output: number;
+    readonly jsType: number;
+  };
+  readonly text: {
+    readonly typeId: "sql/text@1";
+    readonly scalar: "text";
+    readonly codec: Codec<"sql/text@1", readonly ["equality", "order", "textual"], string, string, Record<string, unknown>, unknown>;
+    readonly input: string;
+    readonly output: string;
+    readonly jsType: string;
+  };
+  readonly timestamp: {
+    readonly typeId: "sql/timestamp@1";
+    readonly scalar: "timestamp";
+    readonly codec: Codec<"sql/timestamp@1", readonly ["equality", "order"], string, string, {
+      precision?: number;
+    }, unknown>;
+    readonly input: string;
+    readonly output: string;
+    readonly jsType: string;
+  };
+};
+declare const sqlDataTypes: {
+  readonly char: "sql/char@1";
+  readonly varchar: "sql/varchar@1";
+  readonly int: "sql/int@1";
+  readonly float: "sql/float@1";
+  readonly text: "sql/text@1";
+  readonly timestamp: "sql/timestamp@1";
+};
+type SqlCodecTypes = typeof codecs.CodecTypes;
+//#endregion
+//#region src/ast/util.d.ts
+declare function compact<T extends Record<string, unknown>>(o: T): T;
+//#endregion
+export { Adapter, AdapterProfile, AdapterTarget, AggregateCountFn, AggregateExpr, AggregateFn, AggregateOpFn, AndExpr, AnyExpression, AnyFromSource, AnyInsertOnConflictAction, AnyInsertValue, AnyOperationArg, AnyQueryAst, AstRewriter, BinaryExpr, BinaryOp, Codec, CodecDefBuilder, CodecId, CodecInput, CodecMeta, CodecOutput, CodecParamsDescriptor, CodecRegistry, CodecTrait, CodecTraits, ColumnRef, DefaultValueExpr, DeleteAst, DerivedTableSource, Direction, DoNothingConflictAction, DoUpdateSetConflictAction, EqColJoinOn, ExistsExpr, ExprVisitor, ExpressionFolder, ExpressionRewriter, ExpressionSource, ExtractCodecTypes, ExtractDataTypes, IdentifierRef, InsertAst, InsertOnConflict, InsertValue, JoinAst, JoinOnExpr, JsonArrayAggExpr, JsonObjectEntry, JsonObjectExpr, ListExpression, LiteralExpr, LoweredPayload, LoweredStatement, Lowerer, LowererContext, MarkerStatement, NotExpr, NullCheckExpr, OperationExpr, OrExpr, OrderByItem, ParamRef, ProjectionExpr, ProjectionItem, SQL_CHAR_CODEC_ID, SQL_FLOAT_CODEC_ID, SQL_INT_CODEC_ID, SQL_TEXT_CODEC_ID, SQL_TIMESTAMP_CODEC_ID, SQL_VARCHAR_CODEC_ID, SelectAst, SelectAstOptions, SqlCodecTypes, SqlConnection, SqlDriver, SqlDriverState, SqlExecuteRequest, SqlExplainResult, SqlQueryResult, SqlQueryable, SqlTransaction, SubqueryExpr, TableRef, TableSource, ToWhereExpr, UpdateAst, WhereArg, codec, compact, createCodecRegistry, defineCodecs, isQueryAst, isWhereExpr, queryAstKinds, sqlCodecDefinitions, sqlDataTypes, whereExprKinds };
+//# sourceMappingURL=ast.d.mts.map