@vibeorm/sql 2.0.2 → 2.1.1

package/dist/locks.d.ts

@@ -0,0 +1,57 @@
+/**
+ * Lock SQL: the row-locking clause appended to a SELECT, and the
+ * transaction-scoped advisory-lock statement.
+ *
+ * Both are pure text decisions, so both live here rather than in the runtime —
+ * and both REFUSE rather than degrade. A dialect that cannot express a strength
+ * or a wait policy has no text for it (`SqlDialect.rowLockSyntax`), and the
+ * refusal is a `VIBE_UNSUPPORTED_CAPABILITY`, never a weaker clause: silently
+ * turning `skipLocked` into a blocking read hands two workers the same job.
+ */
+import type { AdvisoryLockStatement, RowLock } from "./ast.ts";
+import type { SqlDialect } from "./dialect.ts";
+import type { ParamCollector } from "./params.ts";
+import type { RenderedQuery } from "./render.ts";
+/** How a lock request reads in a refusal message (`FOR UPDATE SKIP LOCKED`). */
+export declare function describeRowLock(params: {
+    lock: RowLock;
+}): string;
+/**
+ * The clause for one row lock, or `null` when this dialect has NO locking-read
+ * clause at all and the request is the historical `FOR UPDATE` no-op.
+ *
+ * sqlite is that case: it has no clause, and its write transactions are
+ * mutually exclusive, so `lock: "update"` there is a documented no-op kept for
+ * compatibility. Anything else on such a dialect — a different strength, or a
+ * wait policy that changes behaviour — is refused by the caller BEFORE this
+ * point (the query builder), and refused again here as a backstop.
+ */
+export declare function renderRowLockClause(params: {
+    dialect: SqlDialect;
+    lock: RowLock;
+}): string | null;
+/** Largest/smallest value each advisory key part may carry, per PostgreSQL's types. */
+export declare const ADVISORY_KEY_BOUNDS: {
+    readonly single: {
+        readonly min: bigint;
+        readonly max: bigint;
+    };
+    readonly pair: {
+        readonly min: number;
+        readonly max: number;
+    };
+};
+/**
+ * `SELECT pg_advisory_xact_lock($1::bigint)` and friends.
+ *
+ * The key binds as TEXT with an explicit cast: PostgreSQL overloads these
+ * functions on `(bigint)` and `(int4, int4)`, and an OID-typed driver resolves
+ * a bound parameter's type itself — the trap `jsonParamCast` already exists for.
+ * Casting in the SQL makes every driver send the same bytes.
+ */
+export declare function renderAdvisoryLock(params: {
+    dialect: SqlDialect;
+    statement: AdvisoryLockStatement;
+    collector: ParamCollector;
+}): RenderedQuery;
+//# sourceMappingURL=locks.d.ts.map

package/dist/locks.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"locks.d.ts","sourceRoot":"","sources":["../src/locks.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAIH,OAAO,KAAK,EAAmB,qBAAqB,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC;AAEhF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAClD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAsBjD,gFAAgF;AAChF,wBAAgB,eAAe,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,GAAG,MAAM,CAGjE;AAED;;;;;;;;;GASG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE;IAAE,OAAO,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,OAAO,CAAA;CAAE,GAAG,MAAM,GAAG,IAAI,CA4BjG;AAID,uFAAuF;AACvF,eAAO,MAAM,mBAAmB,EAAE;IAChC,QAAQ,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAC;IAChE,QAAQ,CAAC,IAAI,EAAE;QAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAC;CAI9D,CAAC;AAOH;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE;IACzC,OAAO,EAAE,UAAU,CAAC;IACpB,SAAS,EAAE,qBAAqB,CAAC;IACjC,SAAS,EAAE,cAAc,CAAC;CAC3B,GAAG,aAAa,CA+BhB"}

package/dist/predicate.d.ts

@@ -0,0 +1,53 @@
+/**
+ * Typed schema predicates → SQL text.
+ *
+ * The ONE place a `PredicateIR` becomes SQL, for both of the sites that cannot
+ * carry a bound parameter: a CHECK constraint body and a partial index's
+ * `WHERE`. Constitution rule 4 — every SQL-text decision lives in a dialect
+ * here, never in migrate, the DSL or a query builder.
+ *
+ * What it guarantees:
+ *
+ * - **Logical field names resolve to physical columns.** `@map("qty_total")`
+ *   is applied here, so renaming a mapped column cannot leave a CHECK naming a
+ *   column that no longer exists.
+ * - **Identifiers are quoted through `dialect.quoteIdent`, literals through
+ *   `dialect.quoteStringLiteral`.** No value the author writes can escape its
+ *   literal and become SQL structure.
+ * - **Operand scalars must match the field's.** Compared through
+ *   `fieldTypeIdentity`, the same answer foreign-key pairing uses, so a check
+ *   and a relation can never disagree about what a column IS.
+ * - **A dialect that cannot express something refuses here**, at the earliest
+ *   knowable moment (generate time), with a `VibeError` carrying a stable
+ *   `meta.rule` — never silently different SQL.
+ *
+ * Three-valued logic is NOT smoothed over. A comparison against NULL is
+ * UNKNOWN, and a CHECK passes on TRUE **or** UNKNOWN, so nothing here inserts
+ * an implicit `IS NOT NULL` guard. An author who wants all-or-none writes it
+ * with `isNull`/`isNotNull`.
+ */
+import type { EnumIR, ModelIR, PredicateIR } from "@vibeorm/schema";
+import type { SqlDialect } from "./dialect.ts";
+/**
+ * Where a predicate is being rendered. The two sites have different database
+ * limits, so the renderer has to know which one it is serving.
+ */
+export type PredicateUsage = "check" | "indexPredicate" | "exclusionPredicate";
+/**
+ * The part of a model a predicate reads: its name (for error messages) and its
+ * fields (for physical column names and scalar types). Narrow on purpose — a
+ * predicate can never depend on relations, indexes or view-ness.
+ */
+export type PredicateModel = Pick<ModelIR, "name" | "fields">;
+/** Render a typed predicate as the SQL text of a CHECK body or an index `WHERE`. */
+export declare function renderPredicate(params: {
+    predicate: PredicateIR;
+    model: PredicateModel;
+    dialect: SqlDialect;
+    /** Schema enums, for membership checking of enum operands. */
+    enums?: readonly EnumIR[];
+    usage: PredicateUsage;
+    /** Human label naming the declaration, e.g. `CHECK "order_total_nonnegative"`. */
+    site: string;
+}): string;
+//# sourceMappingURL=predicate.d.ts.map

package/dist/predicate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"predicate.d.ts","sourceRoot":"","sources":["../src/predicate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAGH,OAAO,KAAK,EAAE,MAAM,EAAW,OAAO,EAAE,WAAW,EAAoC,MAAM,iBAAiB,CAAC;AAC/G,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAI/C;;;GAGG;AACH,MAAM,MAAM,cAAc,GAAG,OAAO,GAAG,gBAAgB,GAAG,oBAAoB,CAAC;AAE/E;;;;GAIG;AACH,MAAM,MAAM,cAAc,GAAG,IAAI,CAAC,OAAO,EAAE,MAAM,GAAG,QAAQ,CAAC,CAAC;AAE9D,oFAAoF;AACpF,wBAAgB,eAAe,CAAC,MAAM,EAAE;IACtC,SAAS,EAAE,WAAW,CAAC;IACvB,KAAK,EAAE,cAAc,CAAC;IACtB,OAAO,EAAE,UAAU,CAAC;IACpB,8DAA8D;IAC9D,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1B,KAAK,EAAE,cAAc,CAAC;IACtB,kFAAkF;IAClF,IAAI,EAAE,MAAM,CAAC;CACd,GAAG,MAAM,CAaT"}

package/dist/render.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"render.d.ts","sourceRoot":"","sources":["../src/render.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAYrE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AACvD,OAAO,KAAK,EAAqB,YAAY,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,sBAAsB,EAAE,OAAO,EAAY,MAAM,UAAU,CAAC;AAa1J,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAE/C,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAK7C,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC;IAC3B;;;OAGG;IACH,QAAQ,CAAC,SAAS,EAAE,QAAQ,GAAG,SAAS,GAAG,MAAM,CAAC;CACnD,CAAC;AAIF,wBAAgB,eAAe,CAAC,MAAM,EAAE;IAAE,OAAO,EAAE,UAAU,CAAC;IAAC,SAAS,EAAE,mBAAmB,GAAG,YAAY,GAAG,qBAAqB,GAAG,sBAAsB,GAAG,sBAAsB,CAAA;CAAE,GAAG,aAAa,CA8CvM;AAgGD;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,MAAM,EAAE;IAAE,OAAO,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,OAAO,CAAC;IAAC,SAAS,EAAE,cAAc,CAAA;CAAE,GAAG,MAAM,CA6L5G;AAID;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE;IACrC,OAAO,EAAE,UAAU,CAAC;IACpB,QAAQ,EAAE,eAAe,CAAC;IAC1B,SAAS,EAAE,cAAc,CAAC;CAC3B,GAAG,MAAM,CAaT"}
+{"version":3,"file":"render.d.ts","sourceRoot":"","sources":["../src/render.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAarE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AACvD,OAAO,KAAK,EAAqB,YAAY,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,sBAAsB,EAAE,OAAO,EAAY,MAAM,UAAU,CAAC;AAa1J,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAG/C,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAK7C,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC;IAC3B;;;OAGG;IACH,QAAQ,CAAC,SAAS,EAAE,QAAQ,GAAG,SAAS,GAAG,MAAM,CAAC;CACnD,CAAC;AAIF,wBAAgB,eAAe,CAAC,MAAM,EAAE;IAAE,OAAO,EAAE,UAAU,CAAC;IAAC,SAAS,EAAE,mBAAmB,GAAG,YAAY,GAAG,qBAAqB,GAAG,sBAAsB,GAAG,sBAAsB,CAAA;CAAE,GAAG,aAAa,CAgDvM;AAgGD;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,MAAM,EAAE;IAAE,OAAO,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,OAAO,CAAC;IAAC,SAAS,EAAE,cAAc,CAAA;CAAE,GAAG,MAAM,CAgM5G;AAID;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE;IACrC,OAAO,EAAE,UAAU,CAAC;IACpB,QAAQ,EAAE,eAAe,CAAC;IAC1B,SAAS,EAAE,cAAc,CAAC;CAC3B,GAAG,MAAM,CAaT"}

package/dist/result-decoder.d.ts

@@ -0,0 +1,49 @@
+import type { Dialect } from "@vibeorm/schema";
+import type { WireFidelity } from "./codecs.ts";
+/** DateTime's explicit opt-in raw projection/parameter representation. NULL is separate. */
+export type ExtendedDateTime = Date | "infinity" | "-infinity";
+/** An explicit projection contract, with centralized bidirectional scalar conversion. */
+export type ResultDecoder<T> = {
+    readonly decode: (params: {
+        value: unknown;
+        dialect: Dialect;
+        wire?: WireFidelity;
+    }) => T;
+    readonly encode: (params: {
+        value: unknown;
+        dialect: Dialect;
+    }) => unknown;
+};
+/** The output of a declared result decoder. */
+export type Decoded<D> = D extends ResultDecoder<infer T> ? T : never;
+type Fields = Readonly<Record<string, ResultDecoder<unknown>>>;
+type Shape<F extends Fields> = {
+    [K in keyof F]: Decoded<F[K]>;
+};
+/** Result contracts: scalar codecs, explicit nullability, enum membership, and object projections. */
+export declare const decode: {
+    readonly string: ResultDecoder<string>;
+    readonly boolean: ResultDecoder<boolean>;
+    readonly int: ResultDecoder<number>;
+    readonly float: ResultDecoder<number>;
+    readonly bigInt: ResultDecoder<bigint>;
+    readonly decimal: ResultDecoder<string>;
+    readonly dateTime: ResultDecoder<Date>;
+    readonly extendedDateTime: ResultDecoder<ExtendedDateTime>;
+    readonly json: ResultDecoder<unknown>;
+    readonly bytes: ResultDecoder<Uint8Array>;
+    readonly nullable: <T>(params: {
+        decoder: ResultDecoder<T>;
+    }) => ResultDecoder<T | null>;
+    readonly array: <T>(params: {
+        decoder: ResultDecoder<T>;
+    }) => ResultDecoder<T[]>;
+    readonly enum: <T extends string>(params: {
+        values: readonly T[];
+    }) => ResultDecoder<T>;
+    readonly object: <F extends Fields>(params: {
+        fields: F;
+    }) => ResultDecoder<Shape<F>>;
+};
+export {};
+//# sourceMappingURL=result-decoder.d.ts.map

package/dist/result-decoder.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"result-decoder.d.ts","sourceRoot":"","sources":["../src/result-decoder.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,OAAO,EAAc,MAAM,iBAAiB,CAAC;AAG3D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAEhD,4FAA4F;AAC5F,MAAM,MAAM,gBAAgB,GAAG,IAAI,GAAG,UAAU,GAAG,WAAW,CAAC;AAC/D,yFAAyF;AACzF,MAAM,MAAM,aAAa,CAAC,CAAC,IAAI;IAC7B,QAAQ,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,OAAO,CAAC;QAAC,OAAO,EAAE,OAAO,CAAC;QAAC,IAAI,CAAC,EAAE,YAAY,CAAA;KAAE,KAAK,CAAC,CAAC;IAC1F,QAAQ,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,OAAO,CAAC;QAAC,OAAO,EAAE,OAAO,CAAA;KAAE,KAAK,OAAO,CAAC;CAC5E,CAAC;AACF,+CAA+C;AAC/C,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,aAAa,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAItE,KAAK,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAC/D,KAAK,KAAK,CAAC,CAAC,SAAS,MAAM,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC;AAmDjE,sGAAsG;AACtG,eAAO,MAAM,MAAM,EAAE;IACnB,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACvC,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;IACzC,QAAQ,CAAC,GAAG,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACpC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACtC,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACvC,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACxC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,IAAI,CAAC,CAAC;IACvC,QAAQ,CAAC,gBAAgB,EAAE,aAAa,CAAC,gBAAgB,CAAC,CAAC;IAC3D,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;IACtC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,UAAU,CAAC,CAAC;IAC1C,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE;QAAE,OAAO,EAAE,aAAa,CAAC,CAAC,CAAC,CAAA;KAAE,KAAK,aAAa,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;IACzF,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE;QAAE,OAAO,EAAE,aAAa,CAAC,CAAC,CAAC,CAAA;KAAE,KAAK,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC;IACjF,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,SAAS,MAAM,EAAE,MAAM,EAAE;QAAE,MAAM,EAAE,SAAS,CAAC,EAAE,CAAA;KAAE,KAAK,aAAa,CAAC,CAAC,CAAC,CAAC;IACxF,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,SAAS,MAAM,EAAE,MAAM,EAAE;QAAE,MAAM,EAAE,CAAC,CAAA;KAAE,KAAK,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;CAgDtF,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@vibeorm/sql",
-  "version": "2.0.2",
+  "version": "2.1.1",
   "description": "Dialect-aware SQL layer for VibeORM v2 — SQL AST, renderers and capability tables for postgres, sqlite and mysql",
   "keywords": [
     "orm",
@@ -44,7 +44,7 @@
     "bun": ">=1.2.0"
   },
   "dependencies": {
-    "@vibeorm/schema": "2.0.0"
+    "@vibeorm/schema": "2.1.1"
   },
   "publishConfig": {
     "access": "public"