@minnowdb/core 0.0.1 → 0.1.0

package/dist/engine/dsl/types.d.ts

@@ -0,0 +1,133 @@
+import { type CompiledQuery, type Expression } from "../query.js";
+import { type AnyTable, type InferRow, type SchemaDefinition } from "../schema.js";
+/**
+ * Type foundation for the Kysely-style query builder. A database type `DB` maps table names to
+ * row types and is derived from the runtime schema DSL (`InferDatabase<typeof appSchema>`), so
+ * one schema declaration drives migration planning, insert validation, and builder autocomplete.
+ * A query context `TCtx` maps in-scope aliases to row types and evolves through `selectFrom` and
+ * joins; every column reference type below is resolved against it.
+ */
+/** Flattens intersections so inferred row types read as one object. */
+export type Simplify<T> = {
+    [K in keyof T]: T[K];
+} & {};
+/** Maps a schema's table names to their inferred row shapes. */
+export type InferDatabase<TSchema extends SchemaDefinition<readonly AnyTable[]>> = Simplify<{
+    [TTable in TSchema["tables"][number] as TTable["name"]]: InferRow<TTable>;
+}>;
+export type AnyRow = Record<string, unknown>;
+export type AnyContext = Record<string, AnyRow>;
+/** `"users"` or `"users as u"`. */
+export type TableExpression<DB> = (keyof DB & string) | `${keyof DB & string} as ${string}`;
+export type ExtractTableAlias<TE extends string> = TE extends `${string} as ${infer TAlias}` ? TAlias : TE;
+export type ExtractTableName<TE extends string> = TE extends `${infer TName} as ${string}` ? TName : TE;
+export type NullableRow<TRow> = {
+    [K in keyof TRow]: TRow[K] | null;
+};
+/** The context after bringing a table (or aliased table) into scope. */
+export type ContextWithTable<DB, TCtx, TE extends string> = TCtx & Record<ExtractTableAlias<TE>, DB[ExtractTableName<TE> & keyof DB]>;
+/** The context after a LEFT JOIN: the joined table's columns widen with null. */
+export type ContextWithLeftTable<DB, TCtx, TE extends string> = TCtx & Record<ExtractTableAlias<TE>, NullableRow<DB[ExtractTableName<TE> & keyof DB]>>;
+/** Every column in scope, as a bare name or an alias-qualified `"a.column"`. */
+export type ColumnReference<TCtx> = {
+    [TAlias in keyof TCtx & string]: (keyof TCtx[TAlias] & string) | `${TAlias}.${keyof TCtx[TAlias] & string}`;
+}[keyof TCtx & string];
+/**
+ * Only the columns whose (non-null) value type matches `TValue`, as bare or qualified names.
+ * Numeric and date functions constrain their column arguments with this, so `fn.sum("name")`
+ * on a string column is a compile error instead of a runtime surprise.
+ */
+export type ColumnReferenceOf<TCtx, TValue> = {
+    [TAlias in keyof TCtx & string]: {
+        [TColumn in keyof TCtx[TAlias] & string]: NonNullable<TCtx[TAlias][TColumn]> extends TValue ? TColumn | `${TAlias}.${TColumn}` : never;
+    }[keyof TCtx[TAlias] & string];
+}[keyof TCtx & string];
+/** A join whose alias collides with one already in scope resolves to this instead of a builder. */
+export interface DuplicateJoinAliasError<TMessage extends string> {
+    readonly duplicateJoinAlias: TMessage;
+}
+/**
+ * The result of a join: the builder when the alias is new, and a readable branded error type
+ * when the alias is already in scope. The guard lives in the return type (not the parameter)
+ * so it cannot interfere with inference of the table expression.
+ */
+export type JoinResult<TCtx, TE extends string, TBuilder> = ExtractTableAlias<TE> extends keyof TCtx & string ? DuplicateJoinAliasError<`alias '${ExtractTableAlias<TE>}' is already used in this query`> : TBuilder;
+/** The value type a reference resolves to; bare names union across matching tables. */
+export type ReferencedValue<TCtx, TRef extends string> = TRef extends `${infer TAlias}.${infer TColumn}` ? TAlias extends keyof TCtx ? TColumn extends keyof TCtx[TAlias] ? TCtx[TAlias][TColumn] : never : never : {
+    [TAlias in keyof TCtx]: TRef extends keyof TCtx[TAlias] ? TCtx[TAlias][TRef] : never;
+}[keyof TCtx];
+/** A selectable string: a column reference, optionally aliased with `as`. */
+export type StringSelection<TCtx> = ColumnReference<TCtx> | `${ColumnReference<TCtx>} as ${string}`;
+/** An expression given an output name with `.as(alias)`. */
+export interface AliasedExpression<out TValue, out TAlias extends string> {
+    readonly kind: "aliased-expression";
+    readonly alias: TAlias;
+    /** Materializes at compile time so subquery sources number under the shared sequence. */
+    readonly source: ExpressionSource;
+    /** Phantom output type; never materialized at runtime. */
+    readonly __value?: TValue;
+}
+export type Selection<TCtx> = StringSelection<TCtx> | AliasedExpression<unknown, string>;
+export type SelectionOutputKey<S extends string> = S extends `${string} as ${infer TAlias}` ? TAlias : S extends `${string}.${infer TColumn}` ? TColumn : S;
+type StringSelectionValue<TCtx, S extends string> = S extends `${infer TRef} as ${string}` ? ReferencedValue<TCtx, TRef> : ReferencedValue<TCtx, S>;
+/** The output row contributed by one `select(...)` call. */
+export type RowFromSelections<TCtx, TSel> = Simplify<{
+    [S in Extract<TSel, string> as SelectionOutputKey<S>]: StringSelectionValue<TCtx, S>;
+} & {
+    [E in Extract<TSel, AliasedExpression<unknown, string>> as E["alias"]]: E extends AliasedExpression<infer TValue, string> ? TValue : never;
+}>;
+type UnionToIntersection<U> = (U extends unknown ? (member: U) => void : never) extends (member: infer I) => void ? I : never;
+type IsUnion<T, U = T> = T extends unknown ? ([U] extends [T] ? false : true) : never;
+type QualifiedColumnsRow<TCtx> = UnionToIntersection<{
+    [TAlias in keyof TCtx & string]: {
+        [TColumn in keyof TCtx[TAlias] & string as `${TAlias}.${TColumn}`]: TCtx[TAlias][TColumn];
+    };
+}[keyof TCtx & string]>;
+/**
+ * The `selectAll()` row: a single-source context keeps bare column names; a joined context
+ * qualifies every column as `"alias.column"`, exactly as the executor projects `SELECT *`.
+ */
+export type AllColumnsRow<TCtx> = true extends IsUnion<keyof TCtx> ? Simplify<QualifiedColumnsRow<TCtx>> : TCtx[keyof TCtx];
+/**
+ * True when the column's value carries the HasDefault flavor — the engine can fill it. The
+ * detector probes for the phantom key, which plain primitives never have; `any` (whose keyof is
+ * every key) is excluded first.
+ */
+type IsGenerated<TValue> = 0 extends 1 & TValue ? false : "__minnowHasDefault" extends keyof NonNullable<TValue> ? true : false;
+type OptionalInsertKey<TRow, K extends keyof TRow> = null extends TRow[K] ? true : IsGenerated<TRow[K]>;
+/** Insert rows require non-nullable columns and may omit nullable or default-bearing ones. */
+export type InsertRowFor<TRow> = Simplify<{
+    [K in keyof TRow as true extends OptionalInsertKey<TRow, K> ? never : K]: TRow[K];
+} & {
+    [K in keyof TRow as true extends OptionalInsertKey<TRow, K> ? K : never]?: TRow[K] | undefined;
+}>;
+/** An undefined entry means "leave this column untouched", so spread-patches stay safe. */
+export type UpdateChangesFor<TRow> = {
+    [K in keyof TRow]?: TRow[K] | undefined;
+};
+/**
+ * Compile-time services threaded through expression materialization: the shared derived-source
+ * sequence (so builder plans number sources exactly as parsed SQL does) and CTE resolution.
+ */
+export interface CompileContext {
+    nextSequence: () => number;
+    /** Returns a fresh clone of a CTE body compiled earlier in this compile pass. */
+    cteFor: (name: string) => CompiledQuery | undefined;
+}
+/** An expression, either concrete or deferred until the compile context exists. */
+export type ExpressionSource = Expression | ((context: CompileContext) => Expression);
+export declare function materialize(source: ExpressionSource, context: CompileContext): Expression;
+/** A sub-select usable as a derived table, subquery expression, or set-operation member. */
+export interface BlockCompilable {
+    readonly kind: "dsl-select-builder";
+    compileBlock(context: CompileContext, label: string): CompiledQuery;
+}
+export declare function isBlockCompilable(value: unknown): value is BlockCompilable;
+/** The `{ kind: "typed-query" }` envelope the engine's `run()` executes. */
+export interface TypedQueryEnvelope<out TRow> {
+    readonly kind: "typed-query";
+    readonly plan: CompiledQuery;
+    readonly __row?: TRow;
+}
+export {};
+//# sourceMappingURL=types.d.ts.map

package/dist/engine/dsl/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/engine/dsl/types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,aAAa,EAAE,KAAK,UAAU,EAAE,MAAM,aAAa,CAAC;AAClE,OAAO,EAAE,KAAK,QAAQ,EAAE,KAAK,QAAQ,EAAE,KAAK,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAEnF;;;;;;GAMG;AAEH,uEAAuE;AACvE,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,GAAG,EAAE,CAAC;AAExD,gEAAgE;AAChE,MAAM,MAAM,aAAa,CAAC,OAAO,SAAS,gBAAgB,CAAC,SAAS,QAAQ,EAAE,CAAC,IAAI,QAAQ,CAAC;KACzF,MAAM,IAAI,OAAO,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC;CAC1E,CAAC,CAAC;AAEH,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAC7C,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;AAEhD,mCAAmC;AACnC,MAAM,MAAM,eAAe,CAAC,EAAE,IAAI,CAAC,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,GAAG,MAAM,EAAE,GAAG,MAAM,OAAO,MAAM,EAAE,CAAC;AAE5F,MAAM,MAAM,iBAAiB,CAAC,EAAE,SAAS,MAAM,IAAI,EAAE,SAAS,GAAG,MAAM,OAAO,MAAM,MAAM,EAAE,GACxF,MAAM,GACN,EAAE,CAAC;AAEP,MAAM,MAAM,gBAAgB,CAAC,EAAE,SAAS,MAAM,IAAI,EAAE,SAAS,GAAG,MAAM,KAAK,OAAO,MAAM,EAAE,GACtF,KAAK,GACL,EAAE,CAAC;AAEP,MAAM,MAAM,WAAW,CAAC,IAAI,IAAI;KAAG,CAAC,IAAI,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI;CAAE,CAAC;AAEtE,wEAAwE;AACxE,MAAM,MAAM,gBAAgB,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,SAAS,MAAM,IAAI,IAAI,GAC9D,MAAM,CAAC,iBAAiB,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,CAAC,CAAC;AAErE,iFAAiF;AACjF,MAAM,MAAM,oBAAoB,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,SAAS,MAAM,IAAI,IAAI,GAClE,MAAM,CAAC,iBAAiB,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,EAAE,CAAC,gBAAgB,CAAC,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;AAElF,gFAAgF;AAChF,MAAM,MAAM,eAAe,CAAC,IAAI,IAAI;KACjC,MAAM,IAAI,MAAM,IAAI,GAAG,MAAM,GAC5B,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,GAAG,MAAM,IAAI,MAAM,IAAI,CAAC,MAAM,CAAC,GAAG,MAAM,EAAE;CAC7E,CAAC,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC;AAEvB;;;;GAIG;AACH,MAAM,MAAM,iBAAiB,CAAC,IAAI,EAAE,MAAM,IAAI;KAC3C,MAAM,IAAI,MAAM,IAAI,GAAG,MAAM,GAAG;SAC9B,OAAO,IAAI,MAAM,IAAI,CAAC,MAAM,CAAC,GAAG,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,MAAM,GACvF,OAAO,GAAG,GAAG,MAAM,IAAI,OAAO,EAAE,GAChC,KAAK;KACV,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC;CAC/B,CAAC,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC;AAEvB,mGAAmG;AACnG,MAAM,WAAW,uBAAuB,CAAC,QAAQ,SAAS,MAAM;IAC9D,QAAQ,CAAC,kBAAkB,EAAE,QAAQ,CAAC;CACvC;AAED;;;;GAIG;AACH,MAAM,MAAM,UAAU,CAAC,IAAI,EAAE,EAAE,SAAS,MAAM,EAAE,QAAQ,IACtD,iBAAiB,CAAC,EAAE,CAAC,SAAS,MAAM,IAAI,GAAG,MAAM,GAC7C,uBAAuB,CAAC,UAAU,iBAAiB,CAAC,EAAE,CAAC,iCAAiC,CAAC,GACzF,QAAQ,CAAC;AAEf,uFAAuF;AACvF,MAAM,MAAM,eAAe,CACzB,IAAI,EACJ,IAAI,SAAS,MAAM,IACjB,IAAI,SAAS,GAAG,MAAM,MAAM,IAAI,MAAM,OAAO,EAAE,GAC/C,MAAM,SAAS,MAAM,IAAI,GACvB,OAAO,SAAS,MAAM,IAAI,CAAC,MAAM,CAAC,GAChC,IAAI,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,GACrB,KAAK,GACP,KAAK,GACP;KACG,MAAM,IAAI,MAAM,IAAI,GAAG,IAAI,SAAS,MAAM,IAAI,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK;CACrF,CAAC,MAAM,IAAI,CAAC,CAAC;AAIlB,6EAA6E;AAC7E,MAAM,MAAM,eAAe,CAAC,IAAI,IAAI,eAAe,CAAC,IAAI,CAAC,GAAG,GAAG,eAAe,CAAC,IAAI,CAAC,OAAO,MAAM,EAAE,CAAC;AAEpG,4DAA4D;AAC5D,MAAM,WAAW,iBAAiB,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,SAAS,MAAM;IACtE,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC;IACpC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,yFAAyF;IACzF,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC;IAClC,0DAA0D;IAC1D,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,MAAM,SAAS,CAAC,IAAI,IAAI,eAAe,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;AAEzF,MAAM,MAAM,kBAAkB,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,GAAG,MAAM,OAAO,MAAM,MAAM,EAAE,GACvF,MAAM,GACN,CAAC,SAAS,GAAG,MAAM,IAAI,MAAM,OAAO,EAAE,GACpC,OAAO,GACP,CAAC,CAAC;AAER,KAAK,oBAAoB,CAAC,IAAI,EAAE,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,GAAG,MAAM,IAAI,OAAO,MAAM,EAAE,GACtF,eAAe,CAAC,IAAI,EAAE,IAAI,CAAC,GAC3B,eAAe,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;AAE7B,4DAA4D;AAC5D,MAAM,MAAM,iBAAiB,CAAC,IAAI,EAAE,IAAI,IAAI,QAAQ,CAClD;KACG,CAAC,IAAI,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,kBAAkB,CAAC,CAAC,CAAC,GAAG,oBAAoB,CAAC,IAAI,EAAE,CAAC,CAAC;CACrF,GAAG;KAEA,CAAC,IAAI,OAAO,CAAC,IAAI,EAAE,iBAAiB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,GACnE,CAAC,SAAS,iBAAiB,CAAC,MAAM,MAAM,EAAE,MAAM,CAAC,GAAG,MAAM,GAAG,KAAK;CACtE,CACF,CAAC;AAEF,KAAK,mBAAmB,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,OAAO,GAAG,CAAC,MAAM,EAAE,CAAC,KAAK,IAAI,GAAG,KAAK,CAAC,SAAS,CACtF,MAAM,EAAE,MAAM,CAAC,KACZ,IAAI,GACL,CAAC,GACD,KAAK,CAAC;AAEV,KAAK,OAAO,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,IAAI,CAAC,GAAG,KAAK,CAAC;AAEtF,KAAK,mBAAmB,CAAC,IAAI,IAAI,mBAAmB,CAClD;KACG,MAAM,IAAI,MAAM,IAAI,GAAG,MAAM,GAAG;SAC9B,OAAO,IAAI,MAAM,IAAI,CAAC,MAAM,CAAC,GAAG,MAAM,IAAI,GAAG,MAAM,IAAI,OAAO,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC;KAC1F;CACF,CAAC,MAAM,IAAI,GAAG,MAAM,CAAC,CACvB,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,aAAa,CAAC,IAAI,IAC5B,IAAI,SAAS,OAAO,CAAC,MAAM,IAAI,CAAC,GAAG,QAAQ,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC;AAI5F;;;;GAIG;AACH,KAAK,WAAW,CAAC,MAAM,IAAI,CAAC,SAAS,CAAC,GAAG,MAAM,GAC3C,KAAK,GACL,oBAAoB,SAAS,MAAM,WAAW,CAAC,MAAM,CAAC,GACpD,IAAI,GACJ,KAAK,CAAC;AAEZ,KAAK,iBAAiB,CAAC,IAAI,EAAE,CAAC,SAAS,MAAM,IAAI,IAAI,IAAI,SAAS,IAAI,CAAC,CAAC,CAAC,GACrE,IAAI,GACJ,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;AAEzB,8FAA8F;AAC9F,MAAM,MAAM,YAAY,CAAC,IAAI,IAAI,QAAQ,CACvC;KAAG,CAAC,IAAI,MAAM,IAAI,IAAI,IAAI,SAAS,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;CAAE,GAAG;KACrF,CAAC,IAAI,MAAM,IAAI,IAAI,IAAI,SAAS,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,SAAS;CAC/F,CACF,CAAC;AAEF,2FAA2F;AAC3F,MAAM,MAAM,gBAAgB,CAAC,IAAI,IAAI;KAAG,CAAC,IAAI,MAAM,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,SAAS;CAAE,CAAC;AAIjF;;;GAGG;AACH,MAAM,WAAW,cAAc;IAC7B,YAAY,EAAE,MAAM,MAAM,CAAC;IAC3B,iFAAiF;IACjF,MAAM,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,aAAa,GAAG,SAAS,CAAC;CACrD;AAED,mFAAmF;AACnF,MAAM,MAAM,gBAAgB,GAAG,UAAU,GAAG,CAAC,CAAC,OAAO,EAAE,cAAc,KAAK,UAAU,CAAC,CAAC;AAEtF,wBAAgB,WAAW,CAAC,MAAM,EAAE,gBAAgB,EAAE,OAAO,EAAE,cAAc,GAAG,UAAU,CAEzF;AAED,4FAA4F;AAC5F,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC;IACpC,YAAY,CAAC,OAAO,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,GAAG,aAAa,CAAC;CACrE;AAED,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,eAAe,CAM1E;AAED,4EAA4E;AAC5E,MAAM,WAAW,kBAAkB,CAAC,GAAG,CAAC,IAAI;IAC1C,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC;CACvB"}

package/dist/engine/dsl/types.js

@@ -0,0 +1,9 @@
+export function materialize(source, context) {
+    return typeof source === "function" ? source(context) : source;
+}
+export function isBlockCompilable(value) {
+    return (typeof value === "object" &&
+        value !== null &&
+        value.kind === "dsl-select-builder");
+}
+//# sourceMappingURL=types.js.map

package/dist/engine/dsl/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/engine/dsl/types.ts"],"names":[],"mappings":"AAkMA,MAAM,UAAU,WAAW,CAAC,MAAwB,EAAE,OAAuB;IAC3E,OAAO,OAAO,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;AACjE,CAAC;AAQD,MAAM,UAAU,iBAAiB,CAAC,KAAc;IAC9C,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACb,KAA4B,CAAC,IAAI,KAAK,oBAAoB,CAC5D,CAAC;AACJ,CAAC"}

package/dist/engine/errors.d.ts

@@ -0,0 +1,55 @@
+/**
+ * Typed engine errors, kept free of engine imports so the main-thread worker client can rehydrate
+ * them (name, fields, instanceof) without bundling the executor.
+ */
+type ErrorValue = boolean | number | string | Date;
+export declare class UniqueConstraintError extends Error {
+    readonly tableName: string;
+    readonly columnName: string;
+    readonly value: ErrorValue;
+    readonly name = "UniqueConstraintError";
+    constructor(tableName: string, columnName: string, value: ErrorValue);
+}
+export declare class MissingKeyError extends Error {
+    readonly tableName: string;
+    readonly columnName: string;
+    readonly value: ErrorValue;
+    readonly name = "MissingKeyError";
+    constructor(tableName: string, columnName: string, value: ErrorValue);
+}
+export declare class CompactionMemoryBudgetError extends Error {
+    readonly budgetBytes: number;
+    readonly minimumBytes: number;
+    readonly name = "CompactionMemoryBudgetError";
+    constructor(budgetBytes: number, minimumBytes: number);
+}
+export declare class CompactionWriteAmplificationError extends Error {
+    readonly outputBytes: number;
+    readonly maximumOutputBytes: number;
+    readonly name = "CompactionWriteAmplificationError";
+    constructor(outputBytes: number, maximumOutputBytes: number);
+}
+export declare class CompactionJobCancelledError extends Error {
+    readonly jobId: string;
+    readonly name = "CompactionJobCancelledError";
+    constructor(jobId: string);
+}
+/**
+ * SQL that failed to compile, located in the text the caller passed. `offset` and `length` are
+ * character positions into that exact string — leading whitespace included — so an editor can
+ * underline the token that failed without re-deriving the position from the message.
+ *
+ * `length` is 0 where the failure has no width: an empty statement, or a query that ended before
+ * the parser expected it to. Errors raised after parsing succeeds (plan optimization, execution)
+ * carry no position and stay plain `TypeError`s.
+ *
+ * It extends `TypeError` because that is what compilation failures threw before positions existed.
+ */
+export declare class SqlCompileError extends TypeError {
+    readonly offset: number;
+    readonly length: number;
+    readonly name = "SqlCompileError";
+    constructor(message: string, offset: number, length: number);
+}
+export {};
+//# sourceMappingURL=errors.d.ts.map

package/dist/engine/errors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../../src/engine/errors.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,KAAK,UAAU,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,IAAI,CAAC;AAMnD,qBAAa,qBAAsB,SAAQ,KAAK;IAI5C,QAAQ,CAAC,SAAS,EAAE,MAAM;IAC1B,QAAQ,CAAC,UAAU,EAAE,MAAM;IAC3B,QAAQ,CAAC,KAAK,EAAE,UAAU;IAL5B,SAAkB,IAAI,2BAA2B;gBAGtC,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,UAAU;CAI7B;AAED,qBAAa,eAAgB,SAAQ,KAAK;IAItC,QAAQ,CAAC,SAAS,EAAE,MAAM;IAC1B,QAAQ,CAAC,UAAU,EAAE,MAAM;IAC3B,QAAQ,CAAC,KAAK,EAAE,UAAU;IAL5B,SAAkB,IAAI,qBAAqB;gBAGhC,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,UAAU;CAI7B;AAED,qBAAa,2BAA4B,SAAQ,KAAK;IAIlD,QAAQ,CAAC,WAAW,EAAE,MAAM;IAC5B,QAAQ,CAAC,YAAY,EAAE,MAAM;IAJ/B,SAAkB,IAAI,iCAAiC;gBAG5C,WAAW,EAAE,MAAM,EACnB,YAAY,EAAE,MAAM;CAMhC;AAED,qBAAa,iCAAkC,SAAQ,KAAK;IAIxD,QAAQ,CAAC,WAAW,EAAE,MAAM;IAC5B,QAAQ,CAAC,kBAAkB,EAAE,MAAM;IAJrC,SAAkB,IAAI,uCAAuC;gBAGlD,WAAW,EAAE,MAAM,EACnB,kBAAkB,EAAE,MAAM;CAMtC;AAED,qBAAa,2BAA4B,SAAQ,KAAK;IAGxC,QAAQ,CAAC,KAAK,EAAE,MAAM;IAFlC,SAAkB,IAAI,iCAAiC;gBAElC,KAAK,EAAE,MAAM;CAGnC;AAED;;;;;;;;;;GAUG;AACH,qBAAa,eAAgB,SAAQ,SAAS;IAK1C,QAAQ,CAAC,MAAM,EAAE,MAAM;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM;IALzB,SAAkB,IAAI,qBAAqB;gBAGzC,OAAO,EAAE,MAAM,EACN,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,MAAM;CAI1B"}

package/dist/engine/errors.js

@@ -0,0 +1,81 @@
+/**
+ * Typed engine errors, kept free of engine imports so the main-thread worker client can rehydrate
+ * them (name, fields, instanceof) without bundling the executor.
+ */
+function formatValue(value) {
+    return value instanceof Date ? value.toISOString() : String(value);
+}
+export class UniqueConstraintError extends Error {
+    tableName;
+    columnName;
+    value;
+    name = "UniqueConstraintError";
+    constructor(tableName, columnName, value) {
+        super(`Duplicate value for ${tableName}.${columnName}: ${formatValue(value)}`);
+        this.tableName = tableName;
+        this.columnName = columnName;
+        this.value = value;
+    }
+}
+export class MissingKeyError extends Error {
+    tableName;
+    columnName;
+    value;
+    name = "MissingKeyError";
+    constructor(tableName, columnName, value) {
+        super(`Missing value for ${tableName}.${columnName}: ${formatValue(value)}`);
+        this.tableName = tableName;
+        this.columnName = columnName;
+        this.value = value;
+    }
+}
+export class CompactionMemoryBudgetError extends Error {
+    budgetBytes;
+    minimumBytes;
+    name = "CompactionMemoryBudgetError";
+    constructor(budgetBytes, minimumBytes) {
+        super(`Compaction needs at least ${String(minimumBytes)} bytes of working memory; budget is ${String(budgetBytes)} bytes`);
+        this.budgetBytes = budgetBytes;
+        this.minimumBytes = minimumBytes;
+    }
+}
+export class CompactionWriteAmplificationError extends Error {
+    outputBytes;
+    maximumOutputBytes;
+    name = "CompactionWriteAmplificationError";
+    constructor(outputBytes, maximumOutputBytes) {
+        super(`Compaction output would use ${String(outputBytes)} stored bytes; limit is ${String(maximumOutputBytes)} bytes`);
+        this.outputBytes = outputBytes;
+        this.maximumOutputBytes = maximumOutputBytes;
+    }
+}
+export class CompactionJobCancelledError extends Error {
+    jobId;
+    name = "CompactionJobCancelledError";
+    constructor(jobId) {
+        super(`Compaction job cancelled: ${jobId}`);
+        this.jobId = jobId;
+    }
+}
+/**
+ * SQL that failed to compile, located in the text the caller passed. `offset` and `length` are
+ * character positions into that exact string — leading whitespace included — so an editor can
+ * underline the token that failed without re-deriving the position from the message.
+ *
+ * `length` is 0 where the failure has no width: an empty statement, or a query that ended before
+ * the parser expected it to. Errors raised after parsing succeeds (plan optimization, execution)
+ * carry no position and stay plain `TypeError`s.
+ *
+ * It extends `TypeError` because that is what compilation failures threw before positions existed.
+ */
+export class SqlCompileError extends TypeError {
+    offset;
+    length;
+    name = "SqlCompileError";
+    constructor(message, offset, length) {
+        super(message);
+        this.offset = offset;
+        this.length = length;
+    }
+}
+//# sourceMappingURL=errors.js.map

package/dist/engine/errors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.js","sourceRoot":"","sources":["../../src/engine/errors.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAIH,SAAS,WAAW,CAAC,KAAiB;IACpC,OAAO,KAAK,YAAY,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACrE,CAAC;AAED,MAAM,OAAO,qBAAsB,SAAQ,KAAK;IAInC;IACA;IACA;IALO,IAAI,GAAG,uBAAuB,CAAC;IAEjD,YACW,SAAiB,EACjB,UAAkB,EAClB,KAAiB;QAE1B,KAAK,CAAC,uBAAuB,SAAS,IAAI,UAAU,KAAK,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAJtE,cAAS,GAAT,SAAS,CAAQ;QACjB,eAAU,GAAV,UAAU,CAAQ;QAClB,UAAK,GAAL,KAAK,CAAY;IAG5B,CAAC;CACF;AAED,MAAM,OAAO,eAAgB,SAAQ,KAAK;IAI7B;IACA;IACA;IALO,IAAI,GAAG,iBAAiB,CAAC;IAE3C,YACW,SAAiB,EACjB,UAAkB,EAClB,KAAiB;QAE1B,KAAK,CAAC,qBAAqB,SAAS,IAAI,UAAU,KAAK,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAJpE,cAAS,GAAT,SAAS,CAAQ;QACjB,eAAU,GAAV,UAAU,CAAQ;QAClB,UAAK,GAAL,KAAK,CAAY;IAG5B,CAAC;CACF;AAED,MAAM,OAAO,2BAA4B,SAAQ,KAAK;IAIzC;IACA;IAJO,IAAI,GAAG,6BAA6B,CAAC;IAEvD,YACW,WAAmB,EACnB,YAAoB;QAE7B,KAAK,CACH,6BAA6B,MAAM,CAAC,YAAY,CAAC,uCAAuC,MAAM,CAAC,WAAW,CAAC,QAAQ,CACpH,CAAC;QALO,gBAAW,GAAX,WAAW,CAAQ;QACnB,iBAAY,GAAZ,YAAY,CAAQ;IAK/B,CAAC;CACF;AAED,MAAM,OAAO,iCAAkC,SAAQ,KAAK;IAI/C;IACA;IAJO,IAAI,GAAG,mCAAmC,CAAC;IAE7D,YACW,WAAmB,EACnB,kBAA0B;QAEnC,KAAK,CACH,+BAA+B,MAAM,CAAC,WAAW,CAAC,2BAA2B,MAAM,CAAC,kBAAkB,CAAC,QAAQ,CAChH,CAAC;QALO,gBAAW,GAAX,WAAW,CAAQ;QACnB,uBAAkB,GAAlB,kBAAkB,CAAQ;IAKrC,CAAC;CACF;AAED,MAAM,OAAO,2BAA4B,SAAQ,KAAK;IAG/B;IAFH,IAAI,GAAG,6BAA6B,CAAC;IAEvD,YAAqB,KAAa;QAChC,KAAK,CAAC,6BAA6B,KAAK,EAAE,CAAC,CAAC;QADzB,UAAK,GAAL,KAAK,CAAQ;IAElC,CAAC;CACF;AAED;;;;;;;;;;GAUG;AACH,MAAM,OAAO,eAAgB,SAAQ,SAAS;IAKjC;IACA;IALO,IAAI,GAAG,iBAAiB,CAAC;IAE3C,YACE,OAAe,EACN,MAAc,EACd,MAAc;QAEvB,KAAK,CAAC,OAAO,CAAC,CAAC;QAHN,WAAM,GAAN,MAAM,CAAQ;QACd,WAAM,GAAN,MAAM,CAAQ;IAGzB,CAAC;CACF"}

package/dist/engine/fts.d.ts

@@ -0,0 +1,93 @@
+/**
+ * Full-text search primitives: the tokenizer, the query grammar, and the BM25 scorer.
+ *
+ * The tokenizer is deliberately hand-rolled rather than `Intl.Segmenter`: segmentation output
+ * must be identical across browsers, ICU versions, and time, because phase-2 persists tokens in
+ * a multi-tab shared index — an environment-varying tokenizer would silently split one logical
+ * index into two vocabularies. Any change to tokenization must bump `FTS_TOKENIZER_VERSION`;
+ * a persisted index stamped with another version reads as absent and rebuilds.
+ *
+ * The scorer takes only integers (term frequency, document length, document frequency, document
+ * count, total token count), so the row and columnar executors produce bit-identical scores no
+ * matter what order they accumulate in. Keep it that way: never feed it a running float.
+ */
+export declare const FTS_TOKENIZER_VERSION = 1;
+/** One parsed query term; `prefix` terms match any token they prefix. */
+export interface FtsQueryTerm {
+    readonly term: string;
+    readonly prefix: boolean;
+}
+/**
+ * Corpus statistics for one (columns, query) signature — O(#query terms) integers. Every row of
+ * the corpus counts as a document (an all-null document has length 0): this definition is what
+ * lets a persisted index serve exact statistics without a scan, since the document count is
+ * just the table's row count. All producers — the row executor, the columnar scan, and the
+ * postings index — must share it, or BM25 scores drift between paths.
+ */
+export interface FtsStats {
+    /** Every row of the corpus, including all-null documents. */
+    docCount: number;
+    /** Total tokens across all documents. */
+    totalTokens: number;
+    /** Documents containing each query term, aligned with the query's term order. */
+    dfByTerm: number[];
+}
+/** Tokenizes one cell's text: NFKC, locale-independent lowercase, letter/number runs. */
+export declare function tokenize(text: string): string[];
+/**
+ * Parses a query: whitespace-separated chunks, each tokenized with the document pipeline; a
+ * chunk ending in `*` marks its last produced token as a prefix term. Zero terms means the
+ * query matches nothing.
+ */
+export declare function tokenizeQuery(query: string): FtsQueryTerm[];
+export declare function termMatches(token: string, term: FtsQueryTerm): boolean;
+/**
+ * Compile-time cap on query terms: the columnar fast path packs per-term presence into one
+ * 32-bit mask per dictionary entry.
+ */
+export declare const FTS_MAX_QUERY_TERMS = 32;
+/** Tokenized query terms with the same bounded caching scheme as the LIKE pattern cache. */
+export declare function cachedQueryTerms(query: string): FtsQueryTerm[];
+/** Compile-time validation shared by the SQL parser and the DSL expression builder. */
+export declare function validateFtsQuery(query: string): void;
+/** Bitmask of query terms present in a token list: bit i set means terms[i] matched. */
+export declare function termsMask(tokens: readonly string[], terms: readonly FtsQueryTerm[]): number;
+/** The all-terms-present mask; terms.length is capped at 32 so the shift stays in range. */
+export declare function fullTermsMask(termCount: number): number;
+/**
+ * Document-level MATCH truth over one row's rendered column values: every term must appear in
+ * some column (AND across terms, OR across columns). All columns null → SQL unknown (null);
+ * an empty query matches nothing.
+ */
+export declare function ftsMatchTruth(terms: readonly FtsQueryTerm[], values: Iterable<unknown>): boolean | null;
+/**
+ * Per-term frequencies of the query's terms in one token list, aligned with the term order.
+ * A document matches when every slot is non-zero.
+ */
+export declare function termFrequencies(tokens: readonly string[], terms: readonly FtsQueryTerm[]): number[];
+/**
+ * One term's BM25 contribution. Integer inputs only — see the module comment. `df` of zero
+ * contributes nothing (the term appears in no document, so no row scores on it).
+ */
+export declare function bm25Score(tf: number, docLength: number, df: number, docCount: number, totalTokens: number): number;
+/** Sums the contributions of every query term for one document. */
+export declare function bm25DocumentScore(frequencies: readonly number[], docLength: number, stats: FtsStats): number;
+/** Accumulates corpus statistics one document at a time; every producer feeds this. */
+export declare class FtsStatsAccumulator {
+    #private;
+    constructor(terms: readonly FtsQueryTerm[]);
+    /** Adds one document; an all-null row contributes a document of length 0. */
+    addDocument(tokens: readonly string[]): void;
+    /** Adds one document from pre-aggregated counts (the dictionary-table producers). */
+    addDocumentCounts(termMask: number, length: number): void;
+    get stats(): FtsStats;
+}
+/**
+ * Document-level BM25 for one row's rendered column values: term frequencies and document
+ * length sum across columns (the document is the concatenation of its fields). All columns
+ * null → SQL null; a document containing no query term scores 0.
+ */
+export declare function ftsBm25Row(terms: readonly FtsQueryTerm[], values: Iterable<unknown>, stats: FtsStats): number | null;
+/** Renders one cell for the document, per column type. Booleans are excluded from documents. */
+export declare function renderDocumentValue(value: unknown): string | undefined;
+//# sourceMappingURL=fts.d.ts.map

package/dist/engine/fts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fts.d.ts","sourceRoot":"","sources":["../../src/engine/fts.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,eAAO,MAAM,qBAAqB,IAAI,CAAC;AAevC,yEAAyE;AACzE,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;CAC1B;AAED;;;;;;GAMG;AACH,MAAM,WAAW,QAAQ;IACvB,6DAA6D;IAC7D,QAAQ,EAAE,MAAM,CAAC;IACjB,yCAAyC;IACzC,WAAW,EAAE,MAAM,CAAC;IACpB,iFAAiF;IACjF,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAmCD,yFAAyF;AACzF,wBAAgB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAQ/C;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,GAAG,YAAY,EAAE,CAW3D;AAED,wBAAgB,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,YAAY,GAAG,OAAO,CAEtE;AAED;;;GAGG;AACH,eAAO,MAAM,mBAAmB,KAAK,CAAC;AAItC,4FAA4F;AAC5F,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,MAAM,GAAG,YAAY,EAAE,CAO9D;AAED,uFAAuF;AACvF,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAIpD;AAED,wFAAwF;AACxF,wBAAgB,SAAS,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,YAAY,EAAE,GAAG,MAAM,CAW3F;AAED,4FAA4F;AAC5F,wBAAgB,aAAa,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,CAEvD;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAC3B,KAAK,EAAE,SAAS,YAAY,EAAE,EAC9B,MAAM,EAAE,QAAQ,CAAC,OAAO,CAAC,GACxB,OAAO,GAAG,IAAI,CAsBhB;AAED;;;GAGG;AACH,wBAAgB,eAAe,CAC7B,MAAM,EAAE,SAAS,MAAM,EAAE,EACzB,KAAK,EAAE,SAAS,YAAY,EAAE,GAC7B,MAAM,EAAE,CAWV;AAED;;;GAGG;AACH,wBAAgB,SAAS,CACvB,EAAE,EAAE,MAAM,EACV,SAAS,EAAE,MAAM,EACjB,EAAE,EAAE,MAAM,EACV,QAAQ,EAAE,MAAM,EAChB,WAAW,EAAE,MAAM,GAClB,MAAM,CASR;AAED,mEAAmE;AACnE,wBAAgB,iBAAiB,CAC/B,WAAW,EAAE,SAAS,MAAM,EAAE,EAC9B,SAAS,EAAE,MAAM,EACjB,KAAK,EAAE,QAAQ,GACd,MAAM,CAYR;AAED,uFAAuF;AACvF,qBAAa,mBAAmB;;gBAIlB,KAAK,EAAE,SAAS,YAAY,EAAE;IAS1C,6EAA6E;IAC7E,WAAW,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI;IAW5C,qFAAqF;IACrF,iBAAiB,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI;IAUzD,IAAI,KAAK,IAAI,QAAQ,CAEpB;CACF;AAED;;;;GAIG;AACH,wBAAgB,UAAU,CACxB,KAAK,EAAE,SAAS,YAAY,EAAE,EAC9B,MAAM,EAAE,QAAQ,CAAC,OAAO,CAAC,EACzB,KAAK,EAAE,QAAQ,GACd,MAAM,GAAG,IAAI,CAiBf;AAED,gGAAgG;AAChG,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,GAAG,SAAS,CAKtE"}