@ahmadmoussawi/webdb 0.0.0-stage → 0.1.0-alpha.0

package/dist/host/api/webdb.d.ts

@@ -0,0 +1,102 @@
+import { ColumnDefinition, TableMeta, DbRow, DataType, IndexOptions, IndexDescriptor } from '../../types/index.ts';
+import { IVfsAdapter } from '../storage/vfs.ts';
+import { Io } from '../storage/io.ts';
+import { BufferPoolDriver, TransactionCoordinator } from '../driver/index.js';
+import { QueryFilter, SortKey, GroupKey, AggExpr } from '../compiler/compiler.ts';
+import { ParsedSelectExpr } from '../compiler/expr_parser.ts';
+import { QueryPlanner } from '../compiler/planner/index.ts';
+import { QueryBuilder, ExplainOutput, IDatabaseQueryExecutor, QueryExecutionOptions, JoinClause } from './query_builder.ts';
+import { WasmCoreExports } from '../../core/index.ts';
+export interface UdfDefinition {
+    deterministic?: boolean;
+    returnType?: DataType;
+    call: (...args: any[]) => any;
+}
+export { QueryBuilder, type ExplainOutput, type IDatabaseQueryExecutor, type QueryExecutionOptions, };
+export interface WebDbOptions {
+    name: string;
+    storage?: "memory" | "idb" | "opfs";
+    vfs?: IVfsAdapter;
+    slotCount?: number;
+    maxQueryMemory?: number;
+    core?: "js" | "wasm";
+    wasmBinary?: ArrayBuffer | Uint8Array;
+    planner?: QueryPlanner;
+}
+export declare class WebDB implements IDatabaseQueryExecutor {
+    readonly vfs: IVfsAdapter;
+    readonly io: Io;
+    readonly driver: BufferPoolDriver;
+    readonly coreMode: "js" | "wasm";
+    readonly wasmCore?: WasmCoreExports;
+    private planner?;
+    /**
+     * Alias to driver for callers/tests that inspect the buffer pool.
+     */
+    get pool(): BufferPoolDriver;
+    readonly coordinator: TransactionCoordinator;
+    currentLeaseId: number | null;
+    private vmCtx;
+    private udfs;
+    private nextUdfId;
+    private tableMetaCache;
+    private tableTailPages;
+    private indexTailPages;
+    private constructor();
+    static open(options: WebDbOptions): Promise<WebDB>;
+    getPlanner(): QueryPlanner | undefined;
+    setPlanner(planner?: QueryPlanner): this;
+    createTable(name: string, columns: ColumnDefinition[]): Promise<TableMeta>;
+    private _createTableInternal;
+    getTable(tableName: string): Promise<TableMeta>;
+    private _getTableInternal;
+    listTables(): Promise<TableMeta[]>;
+    private freeTableTreePages;
+    dropTable(tableName: string): Promise<void>;
+    private _dropTableInternal;
+    createIndex(tableName: string, columns: string | string[], options?: IndexOptions): Promise<void>;
+    private _createIndexInternal;
+    dropIndex(indexName: string): Promise<void>;
+    private _dropIndexInternal;
+    listIndexes(tableName?: string): Promise<IndexDescriptor[]>;
+    private extractIndexKey;
+    private probeIndexUnique;
+    private insertIntoIndex;
+    insert(tableName: string, row: DbRow): Promise<void>;
+    insertMany(tableName: string, rows: DbRow[]): Promise<void>;
+    private _insertManyInternal;
+    transaction<T>(callback: (tx: WebDB) => Promise<T>): Promise<T>;
+    registerFunction(name: string, def: UdfDefinition | ((...args: any[]) => any)): this;
+    getUdf(name: string): {
+        id: number;
+        def: UdfDefinition;
+    } | undefined;
+    getUdfMap(): Map<string, number>;
+    getUdfDefs(): Map<string, UdfDefinition>;
+    from(tableName: string): QueryBuilder;
+    explainQuery(tableName: string, filters: QueryFilter[], options?: {
+        orderBy?: SortKey[];
+        groupBy?: (string | GroupKey)[];
+        aggregates?: AggExpr[];
+        having?: QueryFilter[];
+        select?: any;
+        selectExprs?: ParsedSelectExpr[];
+        joins?: JoinClause[];
+        limit?: number;
+        offset?: number;
+        planner?: QueryPlanner;
+    }): Promise<ExplainOutput>;
+    private _explainQueryInternal;
+    executeQuery(tableName: string, filters: QueryFilter[], options: QueryExecutionOptions): Promise<DbRow[]>;
+    private _executeQueryInternal;
+    /**
+     * Deduplicated Monotonic Checkpointing (Section 4.3):
+     * Replays committed WAL frames and resident memory slots to main storage,
+     * flushes main storage, and truncates WAL to 0.
+     */
+    checkpoint(): Promise<{
+        pagesWritten: number;
+    }>;
+    close(): Promise<void>;
+}
+//# sourceMappingURL=webdb.d.ts.map

package/dist/host/api/webdb.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"webdb.d.ts","sourceRoot":"","sources":["../../../src/host/api/webdb.ts"],"names":[],"mappings":"AAYA,OAAO,EACL,gBAAgB,EAEhB,SAAS,EACT,KAAK,EAGL,QAAQ,EASR,YAAY,EAKZ,eAAe,EAChB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAIhD,OAAO,EAAE,EAAE,EAAE,MAAM,kBAAkB,CAAC;AACtC,OAAO,EACL,gBAAgB,EAEhB,sBAAsB,EAEvB,MAAM,oBAAoB,CAAC;AAyC5B,OAAO,EAEL,WAAW,EACX,OAAO,EACP,QAAQ,EACR,OAAO,EAKR,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,gBAAgB,EAEjB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAC5D,OAAO,EACL,YAAY,EACZ,KAAK,aAAa,EAClB,KAAK,sBAAsB,EAC3B,KAAK,qBAAqB,EAC1B,KAAK,UAAU,EAChB,MAAM,oBAAoB,CAAC;AAE5B,MAAM,WAAW,aAAa;IAC5B,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,UAAU,CAAC,EAAE,QAAQ,CAAC;IACtB,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC;CAC/B;AAED,OAAO,EACL,YAAY,EACZ,KAAK,aAAa,EAClB,KAAK,sBAAsB,EAC3B,KAAK,qBAAqB,GAC3B,CAAC;AAEF,OAAO,EAAkB,KAAK,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAE3E,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,CAAC,EAAE,QAAQ,GAAG,KAAK,GAAG,MAAM,CAAC;IACpC,GAAG,CAAC,EAAE,WAAW,CAAC;IAClB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,IAAI,CAAC,EAAE,IAAI,GAAG,MAAM,CAAC;IACrB,UAAU,CAAC,EAAE,WAAW,GAAG,UAAU,CAAC;IACtC,OAAO,CAAC,EAAE,YAAY,CAAC;CACxB;AAED,qBAAa,KAAM,YAAW,sBAAsB;IAClD,QAAQ,CAAC,GAAG,EAAE,WAAW,CAAC;IAC1B,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC;IAChB,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC;IAClC,QAAQ,CAAC,QAAQ,EAAE,IAAI,GAAG,MAAM,CAAC;IACjC,QAAQ,CAAC,QAAQ,CAAC,EAAE,eAAe,CAAC;IACpC,OAAO,CAAC,OAAO,CAAC,CAAe;IAE/B;;OAEG;IACH,IAAI,IAAI,IAAI,gBAAgB,CAE3B;IAED,QAAQ,CAAC,WAAW,EAAE,sBAAsB,CAAC;IAC7C,cAAc,EAAE,MAAM,GAAG,IAAI,CAAQ;IACrC,OAAO,CAAC,KAAK,CAAY;IACzB,OAAO,CAAC,IAAI,CAA8D;IAC1E,OAAO,CAAC,SAAS,CAAK;IACtB,OAAO,CAAC,cAAc,CAAqC;IAC3D,OAAO,CAAC,cAAc,CAAkC;IACxD,OAAO,CAAC,cAAc,CAAkC;IAExD,OAAO;WAsCM,IAAI,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,KAAK,CAAC;IAiGxD,UAAU,IAAI,YAAY,GAAG,SAAS;IAItC,UAAU,CAAC,OAAO,CAAC,EAAE,YAAY,GAAG,IAAI;IAKlC,WAAW,CACf,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,gBAAgB,EAAE,GAC1B,OAAO,CAAC,SAAS,CAAC;YAOP,oBAAoB;IAoD5B,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC;YAOvC,iBAAiB;IAuCzB,UAAU,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;YAc1B,kBAAkB;IA2D1B,SAAS,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;YAOnC,kBAAkB;IAoE1B,WAAW,CACf,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,MAAM,GAAG,MAAM,EAAE,EAC1B,OAAO,CAAC,EAAE,YAAY,GACrB,OAAO,CAAC,IAAI,CAAC;YAOF,oBAAoB;IA6I5B,SAAS,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;YAOnC,kBAAkB;IAyB1B,WAAW,CAAC,SAAS,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,eAAe,EAAE,CAAC;IAkBjE,OAAO,CAAC,eAAe;YAoBT,gBAAgB;YAqBhB,eAAe;IAiEvB,MAAM,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC;IAIpD,UAAU,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;YAOnD,mBAAmB;IA0M3B,WAAW,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,EAAE,KAAK,KAAK,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC;IAyDrE,gBAAgB,CACd,IAAI,EAAE,MAAM,EACZ,GAAG,EAAE,aAAa,GAAG,CAAC,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC,GAC7C,IAAI;IAyCP,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,aAAa,CAAA;KAAE,GAAG,SAAS;IAIpE,SAAS,IAAI,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC;IAQhC,UAAU,IAAI,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC;IAQxC,IAAI,CAAC,SAAS,EAAE,MAAM,GAAG,YAAY;IAI/B,YAAY,CAChB,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,WAAW,EAAE,EACtB,OAAO,CAAC,EAAE;QACR,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC;QACpB,OAAO,CAAC,EAAE,CAAC,MAAM,GAAG,QAAQ,CAAC,EAAE,CAAC;QAChC,UAAU,CAAC,EAAE,OAAO,EAAE,CAAC;QACvB,MAAM,CAAC,EAAE,WAAW,EAAE,CAAC;QACvB,MAAM,CAAC,EAAE,GAAG,CAAC;QACb,WAAW,CAAC,EAAE,gBAAgB,EAAE,CAAC;QACjC,KAAK,CAAC,EAAE,UAAU,EAAE,CAAC;QACrB,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,OAAO,CAAC,EAAE,YAAY,CAAC;KACxB,GACA,OAAO,CAAC,aAAa,CAAC;YAOX,qBAAqB;IAsH7B,YAAY,CAChB,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,WAAW,EAAE,EACtB,OAAO,EAAE,qBAAqB,GAC7B,OAAO,CAAC,KAAK,EAAE,CAAC;YAOL,qBAAqB;IAqNnC;;;;OAIG;IACG,UAAU,IAAI,OAAO,CAAC;QAAE,YAAY,EAAE,MAAM,CAAA;KAAE,CAAC;IAI/C,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;CAK7B"}

package/dist/host/compiler/compiler.d.ts

@@ -0,0 +1,151 @@
+import { OpCode, DataType, TableMeta, ColumnMeta, IndexDescriptor, JoinType } from '../../types/index.js';
+import { VmKeyInfo } from '../../shared/vm_context.js';
+import { ExprNode, ParsedSelectExpr } from './expr_parser.js';
+import { QueryPlanner } from './planner.js';
+export type ComparisonOp = "=" | "!=" | ">" | ">=" | "<" | "<=" | "like" | "not like" | "contains" | "starts_with" | "ends_with" | "in" | "not in";
+export declare function getCmpOpcode(op: string | undefined): OpCode;
+export type QueryFilterType = "null" | "cmp" | "expr" | "and" | "or" | "not" | "in";
+export interface QueryFilter {
+    type: QueryFilterType;
+    colName?: string;
+    isNull?: boolean;
+    op?: ComparisonOp;
+    value?: any;
+    values?: any[];
+    notIn?: boolean;
+    expr?: ExprNode;
+    children?: QueryFilter[];
+    child?: QueryFilter;
+}
+export interface SortKey {
+    colName?: string;
+    expr?: ExprNode;
+    direction?: "asc" | "desc";
+    nullOrder?: "nulls_first" | "nulls_last";
+}
+export interface GroupKey {
+    colName?: string;
+    expr?: ExprNode;
+}
+export type AggFunc = "count" | "sum" | "avg" | "min" | "max";
+export interface AggExpr {
+    func: AggFunc;
+    colName?: string;
+    alias?: string;
+}
+export interface JoinPlan {
+    type: JoinType;
+    table: TableMeta;
+    cursor: number;
+    leftCol: string;
+    op: ComparisonOp;
+    rightCol: string;
+}
+export interface QueryPlan {
+    table: TableMeta;
+    joinedTables?: JoinPlan[];
+    filters: QueryFilter[];
+    orderBy?: SortKey[];
+    groupBy?: (string | GroupKey)[];
+    aggregates?: AggExpr[];
+    having?: QueryFilter[];
+    selectExprs?: ParsedSelectExpr[];
+    udfNameMap?: Map<string, number>;
+    udfDefs?: Map<string, {
+        returnType?: DataType;
+    }>;
+    keyInfos?: VmKeyInfo[];
+    outputColumns?: ColumnMeta[];
+    limit?: number;
+    offset?: number;
+    planner?: QueryPlanner;
+    isOrderSatisfied?: boolean;
+    sortCostAvoided?: number;
+}
+export declare class BytecodeEmitter {
+    private buffer;
+    private textEncoder;
+    emitUint8(val: number): number;
+    emitUint16(val: number): number;
+    emitUint32(val: number): number;
+    emitInt32(val: number): number;
+    emitFloat64(val: number): number;
+    emitString(str: string): number;
+    emitBytes(bytes: Uint8Array): number;
+    patchUint16(pos: number, val: number): void;
+    currentOffset(): number;
+    toByteArray(): Uint8Array;
+}
+export declare function normalizeFilter(filter: QueryFilter): QueryFilter;
+export declare function buildRootFilter(filters: QueryFilter[]): QueryFilter | null;
+export declare function collectLeafFilters(filter: QueryFilter): QueryFilter[];
+export declare function getTopLevelConjunctionFilters(rootFilter: QueryFilter | null): QueryFilter[];
+export interface ResolvedColumn {
+    tableIdx: number;
+    cursor: number;
+    colIdx: number;
+    col: ColumnMeta;
+    table: TableMeta;
+}
+export declare function resolveColumnAcrossTables(colName: string, tables: TableMeta[]): ResolvedColumn | null;
+export declare function inferExprType(expr: ExprNode, table: TableMeta, udfDefs?: Map<string, {
+    returnType?: DataType;
+}>, tables?: TableMeta[]): DataType;
+export declare function emitExpression(expr: ExprNode, table: TableMeta, emitter: BytecodeEmitter, cursor: number, targetReg: number, allocReg: () => number, udfNameMap?: Map<string, number>, resolveReg?: (name?: string, expr?: ExprNode) => number | undefined, tables?: TableMeta[]): void;
+export interface CandidateIndexScan {
+    index: IndexDescriptor;
+    scanType: "point" | "range" | "multi_point";
+    seekFilter?: QueryFilter;
+    filterIndex: number;
+    keyType: DataType;
+    compositeValue?: Uint8Array;
+    inValues?: any[];
+    satisfiesOrderBy?: boolean;
+}
+/**
+ * Returns minimum scalar key value for DataType when seeking the start of an index.
+ */
+export declare function getMinKeyValueForType(type: DataType): any;
+/**
+ * Tests whether a secondary index satisfies the query's ORDER BY keys directly.
+ * Forward B-Tree scans naturally stream in ASC order.
+ */
+export declare function isIndexAlignedWithOrderBy(index: IndexDescriptor, table: TableMeta, orderBy?: SortKey[], equalityColumns?: Set<string>): boolean;
+/**
+ * Tests whether a join plan preserves the requested ORDER BY.
+ * In a nested loop join, if all ORDER BY keys belong to the driving table (Table 0)
+ * and are sorted in ASC order, the outer loop determines the output order.
+ */
+export declare function canJoinPreserveOrder(drivingTable: TableMeta, joinedTables: JoinPlan[], orderBy?: SortKey[], allTables?: TableMeta[], selectExprs?: ParsedSelectExpr[]): boolean;
+export declare function chooseIndexScan(table: TableMeta, candidateFilters: QueryFilter[], leafFilters?: QueryFilter[], orderBy?: SortKey[]): CandidateIndexScan | null;
+export interface JoinIndexCandidate {
+    index: IndexDescriptor;
+    isUnique: boolean;
+    innerCol: ResolvedColumn;
+    outerCol: ResolvedColumn;
+    indexCursor: number;
+}
+export declare function chooseJoinIndex(joinPlan: JoinPlan, innerTable: TableMeta, innerTableIdx: number, allTables: TableMeta[], indexCursor: number): JoinIndexCandidate | null;
+/**
+ * Compiles a QueryPlan into an executable bytecode array.
+ */
+export declare function compileQuery(plan: QueryPlan, options?: {
+    planner?: QueryPlanner;
+}): Uint8Array;
+export interface DisassembledInstruction {
+    addr: number;
+    opcode: string;
+    p1: string;
+    p2: string;
+    p3: string;
+    comment: string;
+}
+/**
+ * Disassembles binary bytecode into human-readable instructions.
+ */
+export declare function disassembleBytecode(bytecode: Uint8Array, table?: TableMeta): DisassembledInstruction[];
+/**
+ * Formats a list of disassembled instructions into an ASCII table string.
+ */
+export declare function formatDisassembly(instructions: DisassembledInstruction[]): string;
+//# sourceMappingURL=compiler.d.ts.map

package/dist/host/compiler/compiler.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compiler.d.ts","sourceRoot":"","sources":["../../../src/host/compiler/compiler.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,MAAM,EACN,QAAQ,EACR,SAAS,EACT,UAAU,EAGV,eAAe,EAMf,QAAQ,EACT,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AAEvD,OAAO,EACL,QAAQ,EACR,gBAAgB,EAGjB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,YAAY,EAAuB,MAAM,cAAc,CAAC;AAEjE,MAAM,MAAM,YAAY,GACpB,GAAG,GACH,IAAI,GACJ,GAAG,GACH,IAAI,GACJ,GAAG,GACH,IAAI,GACJ,MAAM,GACN,UAAU,GACV,UAAU,GACV,aAAa,GACb,WAAW,GACX,IAAI,GACJ,QAAQ,CAAC;AAEb,wBAAgB,YAAY,CAAC,EAAE,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,CA+B3D;AAED,MAAM,MAAM,eAAe,GACvB,MAAM,GACN,KAAK,GACL,MAAM,GACN,KAAK,GACL,IAAI,GACJ,KAAK,GACL,IAAI,CAAC;AAET,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,eAAe,CAAC;IACtB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,EAAE,CAAC,EAAE,YAAY,CAAC;IAClB,KAAK,CAAC,EAAE,GAAG,CAAC;IACZ,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC;IACf,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,IAAI,CAAC,EAAE,QAAQ,CAAC;IAChB,QAAQ,CAAC,EAAE,WAAW,EAAE,CAAC;IACzB,KAAK,CAAC,EAAE,WAAW,CAAC;CACrB;AAED,MAAM,WAAW,OAAO;IACtB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,IAAI,CAAC,EAAE,QAAQ,CAAC;IAChB,SAAS,CAAC,EAAE,KAAK,GAAG,MAAM,CAAC;IAC3B,SAAS,CAAC,EAAE,aAAa,GAAG,YAAY,CAAC;CAC1C;AAED,MAAM,WAAW,QAAQ;IACvB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,IAAI,CAAC,EAAE,QAAQ,CAAC;CACjB;AAED,MAAM,MAAM,OAAO,GAAG,OAAO,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,CAAC;AAE9D,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,OAAO,CAAC;IACd,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,QAAQ,CAAC;IACf,KAAK,EAAE,SAAS,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,EAAE,EAAE,YAAY,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE,SAAS,CAAC;IACjB,YAAY,CAAC,EAAE,QAAQ,EAAE,CAAC;IAC1B,OAAO,EAAE,WAAW,EAAE,CAAC;IACvB,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC;IACpB,OAAO,CAAC,EAAE,CAAC,MAAM,GAAG,QAAQ,CAAC,EAAE,CAAC;IAChC,UAAU,CAAC,EAAE,OAAO,EAAE,CAAC;IACvB,MAAM,CAAC,EAAE,WAAW,EAAE,CAAC;IACvB,WAAW,CAAC,EAAE,gBAAgB,EAAE,CAAC;IACjC,UAAU,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjC,OAAO,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,UAAU,CAAC,EAAE,QAAQ,CAAA;KAAE,CAAC,CAAC;IACjD,QAAQ,CAAC,EAAE,SAAS,EAAE,CAAC;IACvB,aAAa,CAAC,EAAE,UAAU,EAAE,CAAC;IAC7B,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,OAAO,CAAC,EAAE,YAAY,CAAC;IACvB,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,eAAe,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,qBAAa,eAAe;IAC1B,OAAO,CAAC,MAAM,CAAgB;IAC9B,OAAO,CAAC,WAAW,CAAqB;IAExC,SAAS,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM;IAM9B,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM;IAO/B,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM;IAS/B,SAAS,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM;IAI9B,WAAW,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM;IAWhC,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM;IAS/B,SAAS,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM;IAQpC,WAAW,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,IAAI;IAK3C,aAAa,IAAI,MAAM;IAIvB,WAAW,IAAI,UAAU;CAG1B;AA0CD,wBAAgB,eAAe,CAAC,MAAM,EAAE,WAAW,GAAG,WAAW,CAsJhE;AAED,wBAAgB,eAAe,CAAC,OAAO,EAAE,WAAW,EAAE,GAAG,WAAW,GAAG,IAAI,CAK1E;AAED,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,WAAW,GAAG,WAAW,EAAE,CA4BrE;AAED,wBAAgB,6BAA6B,CAC3C,UAAU,EAAE,WAAW,GAAG,IAAI,GAC7B,WAAW,EAAE,CAcf;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,GAAG,EAAE,UAAU,CAAC;IAChB,KAAK,EAAE,SAAS,CAAC;CAClB;AAED,wBAAgB,yBAAyB,CACvC,OAAO,EAAE,MAAM,EACf,MAAM,EAAE,SAAS,EAAE,GAClB,cAAc,GAAG,IAAI,CAuCvB;AA0wCD,wBAAgB,aAAa,CAC3B,IAAI,EAAE,QAAQ,EACd,KAAK,EAAE,SAAS,EAChB,OAAO,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE;IAAE,UAAU,CAAC,EAAE,QAAQ,CAAA;CAAE,CAAC,EAChD,MAAM,CAAC,EAAE,SAAS,EAAE,GACnB,QAAQ,CAuDV;AAED,wBAAgB,cAAc,CAC5B,IAAI,EAAE,QAAQ,EACd,KAAK,EAAE,SAAS,EAChB,OAAO,EAAE,eAAe,EACxB,MAAM,EAAE,MAAM,EACd,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM,MAAM,EACtB,UAAU,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EAChC,UAAU,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,QAAQ,KAAK,MAAM,GAAG,SAAS,EACnE,MAAM,CAAC,EAAE,SAAS,EAAE,GACnB,IAAI,CA2VN;AAoCD,MAAM,WAAW,kBAAkB;IACjC,KAAK,EAAE,eAAe,CAAC;IACvB,QAAQ,EAAE,OAAO,GAAG,OAAO,GAAG,aAAa,CAAC;IAC5C,UAAU,CAAC,EAAE,WAAW,CAAC;IACzB,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,QAAQ,CAAC;IAClB,cAAc,CAAC,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,EAAE,GAAG,EAAE,CAAC;IACjB,gBAAgB,CAAC,EAAE,OAAO,CAAC;CAC5B;AAED;;GAEG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,QAAQ,GAAG,GAAG,CAiBzD;AAED;;;GAGG;AACH,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,eAAe,EACtB,KAAK,EAAE,SAAS,EAChB,OAAO,CAAC,EAAE,OAAO,EAAE,EACnB,eAAe,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,GAC5B,OAAO,CAkCT;AAED;;;;GAIG;AACH,wBAAgB,oBAAoB,CAClC,YAAY,EAAE,SAAS,EACvB,YAAY,EAAE,QAAQ,EAAE,EACxB,OAAO,CAAC,EAAE,OAAO,EAAE,EACnB,SAAS,CAAC,EAAE,SAAS,EAAE,EACvB,WAAW,CAAC,EAAE,gBAAgB,EAAE,GAC/B,OAAO,CA8BT;AAED,wBAAgB,eAAe,CAC7B,KAAK,EAAE,SAAS,EAChB,gBAAgB,EAAE,WAAW,EAAE,EAC/B,WAAW,CAAC,EAAE,WAAW,EAAE,EAC3B,OAAO,CAAC,EAAE,OAAO,EAAE,GAClB,kBAAkB,GAAG,IAAI,CAiR3B;AAED,MAAM,WAAW,kBAAkB;IACjC,KAAK,EAAE,eAAe,CAAC;IACvB,QAAQ,EAAE,OAAO,CAAC;IAClB,QAAQ,EAAE,cAAc,CAAC;IACzB,QAAQ,EAAE,cAAc,CAAC;IACzB,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,wBAAgB,eAAe,CAC7B,QAAQ,EAAE,QAAQ,EAClB,UAAU,EAAE,SAAS,EACrB,aAAa,EAAE,MAAM,EACrB,SAAS,EAAE,SAAS,EAAE,EACtB,WAAW,EAAE,MAAM,GAClB,kBAAkB,GAAG,IAAI,CA0D3B;AAED;;GAEG;AACH,wBAAgB,YAAY,CAC1B,IAAI,EAAE,SAAS,EACf,OAAO,CAAC,EAAE;IACR,OAAO,CAAC,EAAE,YAAY,CAAC;CACxB,GACA,UAAU,CAq/DZ;AAED,MAAM,WAAW,uBAAuB;IACtC,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,EAAE,EAAE,MAAM,CAAC;IACX,EAAE,EAAE,MAAM,CAAC;IACX,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,EAAE,MAAM,CAAC;CACjB;AAID;;GAEG;AACH,wBAAgB,mBAAmB,CACjC,QAAQ,EAAE,UAAU,EACpB,KAAK,CAAC,EAAE,SAAS,GAChB,uBAAuB,EAAE,CA6zB3B;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAC/B,YAAY,EAAE,uBAAuB,EAAE,GACtC,MAAM,CAYR"}

package/dist/host/compiler/expr_parser.d.ts

@@ -0,0 +1,87 @@
+import { DbRow } from '../../types/index.js';
+export type BinaryOp = '+' | '-' | '*' | '/' | '%' | '=' | '!=' | '<' | '<=' | '>' | '>=';
+export type ExprNode = {
+    type: 'col';
+    name: string;
+} | {
+    type: 'literal';
+    value: number | string | boolean | null;
+} | {
+    type: 'binary';
+    op: BinaryOp;
+    left: ExprNode;
+    right: ExprNode;
+} | {
+    type: 'fn';
+    name: string;
+    args: ExprNode[];
+};
+export interface ParsedSelectExpr {
+    expr: ExprNode;
+    alias: string;
+}
+export declare const BUILTIN_AGGREGATES: Set<string>;
+export declare const BUILTIN_SCALARS: Set<string>;
+export declare function isAggregateFunction(name: string): boolean;
+export declare function isBuiltinScalarFunction(name: string): boolean;
+export declare function isBuiltinFunction(name: string): boolean;
+export declare function validateClause(expr: ExprNode, clause: 'select' | 'where' | 'having' | 'orderBy'): void;
+/**
+ * Parses a raw SQL expression string into an AST ExprNode.
+ */
+export declare function parseExpression(sql: string): ExprNode;
+/**
+ * Derives a human-friendly default alias if no explicit `AS alias` is provided.
+ */
+export declare function deriveDefaultAlias(expr: ExprNode): string;
+/**
+ * Parses a select clause item string (e.g. "abs(salary) as abs_salary" or "name").
+ */
+export declare function parseSelectExpr(raw: string): ParsedSelectExpr;
+export declare class ExpressionBuilder {
+    readonly node: ExprNode;
+    constructor(node: ExprNode);
+    add(other: ExprNode | ExpressionBuilder | number | string): ExpressionBuilder;
+    sub(other: ExprNode | ExpressionBuilder | number | string): ExpressionBuilder;
+    mul(other: ExprNode | ExpressionBuilder | number | string): ExpressionBuilder;
+    div(other: ExprNode | ExpressionBuilder | number | string): ExpressionBuilder;
+    mod(other: ExprNode | ExpressionBuilder | number | string): ExpressionBuilder;
+    eq(other: ExprNode | ExpressionBuilder | number | string | boolean | null): ExpressionBuilder;
+    ne(other: ExprNode | ExpressionBuilder | number | string | boolean | null): ExpressionBuilder;
+    lt(other: ExprNode | ExpressionBuilder | number | string): ExpressionBuilder;
+    lte(other: ExprNode | ExpressionBuilder | number | string): ExpressionBuilder;
+    gt(other: ExprNode | ExpressionBuilder | number | string): ExpressionBuilder;
+    gte(other: ExprNode | ExpressionBuilder | number | string): ExpressionBuilder;
+    as(alias: string): ParsedSelectExpr;
+}
+export declare function col(name: string): ExpressionBuilder;
+export declare function exp(sqlStr: string): ExpressionBuilder;
+export declare const sql: typeof exp;
+export interface FnNamespace {
+    (name: string, ...args: (ExprNode | ExpressionBuilder | number | string)[]): ExpressionBuilder;
+    upper(expr: ExprNode | ExpressionBuilder | string): ExpressionBuilder;
+    lower(expr: ExprNode | ExpressionBuilder | string): ExpressionBuilder;
+    length(expr: ExprNode | ExpressionBuilder | string): ExpressionBuilder;
+    substr(expr: ExprNode | ExpressionBuilder | string, start: number | ExprNode | ExpressionBuilder, len?: number | ExprNode | ExpressionBuilder): ExpressionBuilder;
+    trim(expr: ExprNode | ExpressionBuilder | string): ExpressionBuilder;
+    abs(expr: ExprNode | ExpressionBuilder | number): ExpressionBuilder;
+    round(expr: ExprNode | ExpressionBuilder | number): ExpressionBuilder;
+    floor(expr: ExprNode | ExpressionBuilder | number): ExpressionBuilder;
+    ceil(expr: ExprNode | ExpressionBuilder | number): ExpressionBuilder;
+    count(expr?: ExprNode | ExpressionBuilder | string): ExpressionBuilder;
+    sum(expr: ExprNode | ExpressionBuilder | string): ExpressionBuilder;
+    avg(expr: ExprNode | ExpressionBuilder | string): ExpressionBuilder;
+    min(expr: ExprNode | ExpressionBuilder | string): ExpressionBuilder;
+    max(expr: ExprNode | ExpressionBuilder | string): ExpressionBuilder;
+    concat(...exprs: (ExprNode | ExpressionBuilder | string)[]): ExpressionBuilder;
+    coalesce(...exprs: (ExprNode | ExpressionBuilder | string | null)[]): ExpressionBuilder;
+}
+export declare const fn: FnNamespace;
+/**
+ * Evaluates an ExprNode AST against a database row.
+ * Used for fallback projection and post-processing.
+ */
+export declare function evalExprNode(expr: ExprNode, row: DbRow, udfs?: Map<string, {
+    call: (...args: any[]) => any;
+}> | Record<string, (...args: any[]) => any> | ((name: string) => ((...args: any[]) => any) | undefined)): any;
+//# sourceMappingURL=expr_parser.d.ts.map

package/dist/host/compiler/expr_parser.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"expr_parser.d.ts","sourceRoot":"","sources":["../../../src/host/compiler/expr_parser.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,KAAK,EACN,MAAM,sBAAsB,CAAC;AAG9B,MAAM,MAAM,QAAQ,GAChB,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,IAAI,GACJ,GAAG,GACH,IAAI,GACJ,GAAG,GACH,IAAI,CAAC;AAET,MAAM,MAAM,QAAQ,GAChB;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC7B;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,CAAA;CAAE,GAC5D;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,EAAE,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,QAAQ,CAAA;CAAE,GACjE;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,QAAQ,EAAE,CAAA;CAAE,CAAC;AAEnD,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,QAAQ,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;CACf;AAED,eAAO,MAAM,kBAAkB,aAAiD,CAAC;AAEjF,eAAO,MAAM,eAAe,aAY1B,CAAC;AAEH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAEzD;AAED,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAE7D;AAED,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAEvD;AAED,wBAAgB,cAAc,CAC5B,IAAI,EAAE,QAAQ,EACd,MAAM,EAAE,QAAQ,GAAG,OAAO,GAAG,QAAQ,GAAG,SAAS,GAChD,IAAI,CAeN;AAyTD;;GAEG;AACH,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,GAAG,QAAQ,CAQrD;AAkDD;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,QAAQ,GAAG,MAAM,CAmBzD;AAED;;GAEG;AACH,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,GAAG,gBAAgB,CAK7D;AAMD,qBAAa,iBAAiB;IAC5B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;gBAEZ,IAAI,EAAE,QAAQ;IAI1B,GAAG,CAAC,KAAK,EAAE,QAAQ,GAAG,iBAAiB,GAAG,MAAM,GAAG,MAAM,GAAG,iBAAiB;IAS7E,GAAG,CAAC,KAAK,EAAE,QAAQ,GAAG,iBAAiB,GAAG,MAAM,GAAG,MAAM,GAAG,iBAAiB;IAS7E,GAAG,CAAC,KAAK,EAAE,QAAQ,GAAG,iBAAiB,GAAG,MAAM,GAAG,MAAM,GAAG,iBAAiB;IAS7E,GAAG,CAAC,KAAK,EAAE,QAAQ,GAAG,iBAAiB,GAAG,MAAM,GAAG,MAAM,GAAG,iBAAiB;IAS7E,GAAG,CAAC,KAAK,EAAE,QAAQ,GAAG,iBAAiB,GAAG,MAAM,GAAG,MAAM,GAAG,iBAAiB;IAS7E,EAAE,CAAC,KAAK,EAAE,QAAQ,GAAG,iBAAiB,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,GAAG,iBAAiB;IAS7F,EAAE,CAAC,KAAK,EAAE,QAAQ,GAAG,iBAAiB,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,GAAG,iBAAiB;IAS7F,EAAE,CAAC,KAAK,EAAE,QAAQ,GAAG,iBAAiB,GAAG,MAAM,GAAG,MAAM,GAAG,iBAAiB;IAS5E,GAAG,CAAC,KAAK,EAAE,QAAQ,GAAG,iBAAiB,GAAG,MAAM,GAAG,MAAM,GAAG,iBAAiB;IAS7E,EAAE,CAAC,KAAK,EAAE,QAAQ,GAAG,iBAAiB,GAAG,MAAM,GAAG,MAAM,GAAG,iBAAiB;IAS5E,GAAG,CAAC,KAAK,EAAE,QAAQ,GAAG,iBAAiB,GAAG,MAAM,GAAG,MAAM,GAAG,iBAAiB;IAS7E,EAAE,CAAC,KAAK,EAAE,MAAM,GAAG,gBAAgB;CAMpC;AAqBD,wBAAgB,GAAG,CAAC,IAAI,EAAE,MAAM,GAAG,iBAAiB,CAEnD;AAED,wBAAgB,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,iBAAiB,CAErD;AAED,eAAO,MAAM,GAAG,YAAM,CAAC;AAEvB,MAAM,WAAW,WAAW;IAC1B,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,IAAI,EAAE,CAAC,QAAQ,GAAG,iBAAiB,GAAG,MAAM,GAAG,MAAM,CAAC,EAAE,GAAG,iBAAiB,CAAC;IAC/F,KAAK,CAAC,IAAI,EAAE,QAAQ,GAAG,iBAAiB,GAAG,MAAM,GAAG,iBAAiB,CAAC;IACtE,KAAK,CAAC,IAAI,EAAE,QAAQ,GAAG,iBAAiB,GAAG,MAAM,GAAG,iBAAiB,CAAC;IACtE,MAAM,CAAC,IAAI,EAAE,QAAQ,GAAG,iBAAiB,GAAG,MAAM,GAAG,iBAAiB,CAAC;IACvE,MAAM,CACJ,IAAI,EAAE,QAAQ,GAAG,iBAAiB,GAAG,MAAM,EAC3C,KAAK,EAAE,MAAM,GAAG,QAAQ,GAAG,iBAAiB,EAC5C,GAAG,CAAC,EAAE,MAAM,GAAG,QAAQ,GAAG,iBAAiB,GAC1C,iBAAiB,CAAC;IACrB,IAAI,CAAC,IAAI,EAAE,QAAQ,GAAG,iBAAiB,GAAG,MAAM,GAAG,iBAAiB,CAAC;IACrE,GAAG,CAAC,IAAI,EAAE,QAAQ,GAAG,iBAAiB,GAAG,MAAM,GAAG,iBAAiB,CAAC;IACpE,KAAK,CAAC,IAAI,EAAE,QAAQ,GAAG,iBAAiB,GAAG,MAAM,GAAG,iBAAiB,CAAC;IACtE,KAAK,CAAC,IAAI,EAAE,QAAQ,GAAG,iBAAiB,GAAG,MAAM,GAAG,iBAAiB,CAAC;IACtE,IAAI,CAAC,IAAI,EAAE,QAAQ,GAAG,iBAAiB,GAAG,MAAM,GAAG,iBAAiB,CAAC;IACrE,KAAK,CAAC,IAAI,CAAC,EAAE,QAAQ,GAAG,iBAAiB,GAAG,MAAM,GAAG,iBAAiB,CAAC;IACvE,GAAG,CAAC,IAAI,EAAE,QAAQ,GAAG,iBAAiB,GAAG,MAAM,GAAG,iBAAiB,CAAC;IACpE,GAAG,CAAC,IAAI,EAAE,QAAQ,GAAG,iBAAiB,GAAG,MAAM,GAAG,iBAAiB,CAAC;IACpE,GAAG,CAAC,IAAI,EAAE,QAAQ,GAAG,iBAAiB,GAAG,MAAM,GAAG,iBAAiB,CAAC;IACpE,GAAG,CAAC,IAAI,EAAE,QAAQ,GAAG,iBAAiB,GAAG,MAAM,GAAG,iBAAiB,CAAC;IACpE,MAAM,CAAC,GAAG,KAAK,EAAE,CAAC,QAAQ,GAAG,iBAAiB,GAAG,MAAM,CAAC,EAAE,GAAG,iBAAiB,CAAC;IAC/E,QAAQ,CAAC,GAAG,KAAK,EAAE,CAAC,QAAQ,GAAG,iBAAiB,GAAG,MAAM,GAAG,IAAI,CAAC,EAAE,GAAG,iBAAiB,CAAC;CACzF;AAiDD,eAAO,MAAM,EAAE,EAAE,WAA2B,CAAC;AAE7C;;;GAGG;AACH,wBAAgB,YAAY,CAC1B,IAAI,EAAE,QAAQ,EACd,GAAG,EAAE,KAAK,EACV,IAAI,CAAC,EACD,GAAG,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,CAAA;CAAE,CAAC,GAC9C,MAAM,CAAC,MAAM,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC,GACvC,CAAC,CAAC,IAAI,EAAE,MAAM,KAAK,CAAC,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC,GAAG,SAAS,CAAC,GAC5D,GAAG,CA4IL"}

package/dist/host/compiler/index.d.ts

@@ -0,0 +1,4 @@
+export * from './compiler.js';
+export * from './expr_parser.js';
+export * from './planner/index.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/host/compiler/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/host/compiler/index.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAC;AAC9B,cAAc,kBAAkB,CAAC;AACjC,cAAc,oBAAoB,CAAC"}

package/dist/host/compiler/planner/cost.d.ts

@@ -0,0 +1,23 @@
+import { QueryPlan } from '../compiler.js';
+import { QueryPlanner, OptimizedPlanResult } from './types.js';
+export interface CostBasedPlannerOptions {
+    indexSeekCost?: number;
+    indexNextCost?: number;
+    rowEvalCost?: number;
+}
+/**
+ * CostBasedPlanner unifies WHERE filter optimization and JOIN planning:
+ * - Detects contradictions and prunes redundant/subsumed WHERE conditions.
+ * - Infers transitive filters across join boundaries.
+ * - Evaluates join permutations with Dynamic Programming to minimize total cost.
+ */
+export declare class CostBasedPlanner implements QueryPlanner {
+    readonly name = "cost";
+    private indexSeekCost;
+    private indexNextCost;
+    private rowEvalCost;
+    constructor(options?: CostBasedPlannerOptions);
+    optimize(plan: QueryPlan): OptimizedPlanResult;
+    private evaluateJoinStep;
+}
+//# sourceMappingURL=cost.d.ts.map

package/dist/host/compiler/planner/cost.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cost.d.ts","sourceRoot":"","sources":["../../../../src/host/compiler/planner/cost.ts"],"names":[],"mappings":"AACA,OAAO,EACL,SAAS,EAIV,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACL,YAAY,EACZ,mBAAmB,EAapB,MAAM,YAAY,CAAC;AAMpB,MAAM,WAAW,uBAAuB;IACtC,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED;;;;;GAKG;AACH,qBAAa,gBAAiB,YAAW,YAAY;IACnD,QAAQ,CAAC,IAAI,UAAU;IACvB,OAAO,CAAC,aAAa,CAAS;IAC9B,OAAO,CAAC,aAAa,CAAS;IAC9B,OAAO,CAAC,WAAW,CAAS;gBAEhB,OAAO,CAAC,EAAE,uBAAuB;IAM7C,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,mBAAmB;IAuX9C,OAAO,CAAC,gBAAgB;CAyHzB"}

package/dist/host/compiler/planner/custom_order.d.ts

@@ -0,0 +1,16 @@
+import { TableMeta } from '../../../types/index.js';
+import { QueryPlan } from '../compiler.js';
+import { QueryPlanner, OptimizedPlanResult } from './types.js';
+export type TableOrderComparator = (a: TableMeta, b: TableMeta) => number;
+export type CustomOrderSpec = string[] | TableOrderComparator;
+/**
+ * CustomOrderPlanner executes joins according to an explicit table order or custom comparator.
+ * Join conditions and projections are automatically reconstructed to match the custom table order.
+ */
+export declare class CustomOrderPlanner implements QueryPlanner {
+    readonly name = "custom-order";
+    private orderSpec?;
+    constructor(orderSpec?: CustomOrderSpec);
+    optimize(plan: QueryPlan): OptimizedPlanResult;
+}
+//# sourceMappingURL=custom_order.d.ts.map

package/dist/host/compiler/planner/custom_order.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"custom_order.d.ts","sourceRoot":"","sources":["../../../../src/host/compiler/planner/custom_order.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AACpD,OAAO,EACL,SAAS,EAKV,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACL,YAAY,EACZ,mBAAmB,EAMpB,MAAM,YAAY,CAAC;AAEpB,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,KAAK,MAAM,CAAC;AAC1E,MAAM,MAAM,eAAe,GAAG,MAAM,EAAE,GAAG,oBAAoB,CAAC;AAE9D;;;GAGG;AACH,qBAAa,kBAAmB,YAAW,YAAY;IACrD,QAAQ,CAAC,IAAI,kBAAkB;IAC/B,OAAO,CAAC,SAAS,CAAC,CAAkB;gBAExB,SAAS,CAAC,EAAE,eAAe;IAIvC,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,mBAAmB;CAkJ/C"}

package/dist/host/compiler/planner/heuristic.d.ts

@@ -0,0 +1,11 @@
+import { QueryPlan } from '../compiler.js';
+import { QueryPlanner, OptimizedPlanResult } from './types.js';
+/**
+ * HeuristicPlanner performs greedy nearest-neighbor join ordering.
+ * It is fast (O(N^2)), lightweight, and handles common join patterns without full DP enumeration.
+ */
+export declare class HeuristicPlanner implements QueryPlanner {
+    readonly name = "heuristic";
+    optimize(plan: QueryPlan): OptimizedPlanResult;
+}
+//# sourceMappingURL=heuristic.d.ts.map

package/dist/host/compiler/planner/heuristic.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"heuristic.d.ts","sourceRoot":"","sources":["../../../../src/host/compiler/planner/heuristic.ts"],"names":[],"mappings":"AACA,OAAO,EACL,SAAS,EAIV,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACL,YAAY,EACZ,mBAAmB,EAWpB,MAAM,YAAY,CAAC;AAEpB;;;GAGG;AACH,qBAAa,gBAAiB,YAAW,YAAY;IACnD,QAAQ,CAAC,IAAI,eAAe;IAE5B,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,mBAAmB;CAyQ/C"}

package/dist/host/compiler/planner/index.d.ts

@@ -0,0 +1,34 @@
+import { QueryPlan } from '../compiler.js';
+import { QueryPlanner, OptimizedPlanResult } from './types.js';
+import { CostBasedPlanner } from './cost.js';
+import { HeuristicPlanner } from './heuristic.js';
+import { NoOpPlanner } from './noop.js';
+export * from './types.js';
+export * from './cost.js';
+export * from './heuristic.js';
+export * from './noop.js';
+export * from './custom_order.js';
+export * from './where_optimizer.js';
+/**
+ * CustomPlanner allows supplying a custom optimization function.
+ */
+export declare class CustomPlanner implements QueryPlanner {
+    private fn;
+    readonly name = "custom";
+    constructor(fn: (plan: QueryPlan) => OptimizedPlanResult);
+    optimize(plan: QueryPlan): OptimizedPlanResult;
+}
+export declare const CustomQueryPlanner: typeof CustomPlanner;
+export declare const DefaultQueryPlanner: typeof CostBasedPlanner;
+export declare const CostBasedQueryPlanner: typeof CostBasedPlanner;
+export declare const HeuristicQueryPlanner: typeof HeuristicPlanner;
+export declare const NoOpQueryPlanner: typeof NoOpPlanner;
+/**
+ * Resolves a QueryPlanner instance, defaulting to CostBasedPlanner.
+ */
+export declare function resolveQueryPlanner(planner?: QueryPlanner | null): QueryPlanner;
+/**
+ * Optimizes a complete QueryPlan using the resolved QueryPlanner.
+ */
+export declare function optimizeQueryPlan(plan: QueryPlan, planner?: QueryPlanner | null): OptimizedPlanResult;
+//# sourceMappingURL=index.d.ts.map

package/dist/host/compiler/planner/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/host/compiler/planner/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EACL,YAAY,EACZ,mBAAmB,EACpB,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAC7C,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAExC,cAAc,YAAY,CAAC;AAC3B,cAAc,WAAW,CAAC;AAC1B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,WAAW,CAAC;AAC1B,cAAc,mBAAmB,CAAC;AAClC,cAAc,sBAAsB,CAAC;AAErC;;GAEG;AACH,qBAAa,aAAc,YAAW,YAAY;IAEpC,OAAO,CAAC,EAAE;IADtB,QAAQ,CAAC,IAAI,YAAY;gBACL,EAAE,EAAE,CAAC,IAAI,EAAE,SAAS,KAAK,mBAAmB;IAChE,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,mBAAmB;CAG/C;AAED,eAAO,MAAM,kBAAkB,sBAAgB,CAAC;AAChD,eAAO,MAAM,mBAAmB,yBAAmB,CAAC;AACpD,eAAO,MAAM,qBAAqB,yBAAmB,CAAC;AACtD,eAAO,MAAM,qBAAqB,yBAAmB,CAAC;AACtD,eAAO,MAAM,gBAAgB,oBAAc,CAAC;AAI5C;;GAEG;AACH,wBAAgB,mBAAmB,CACjC,OAAO,CAAC,EAAE,YAAY,GAAG,IAAI,GAC5B,YAAY,CAEd;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,SAAS,EACf,OAAO,CAAC,EAAE,YAAY,GAAG,IAAI,GAC5B,mBAAmB,CAGrB"}

package/dist/host/compiler/planner/noop.d.ts

@@ -0,0 +1,11 @@
+import { QueryPlan } from '../compiler.js';
+import { QueryPlanner, OptimizedPlanResult } from './types.js';
+/**
+ * NoOpPlanner preserves the exact declared query join order (straight join).
+ * It still partitions single-table filters for early pushdown without reordering tables.
+ */
+export declare class NoOpPlanner implements QueryPlanner {
+    readonly name = "noop";
+    optimize(plan: QueryPlan): OptimizedPlanResult;
+}
+//# sourceMappingURL=noop.d.ts.map

package/dist/host/compiler/planner/noop.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"noop.d.ts","sourceRoot":"","sources":["../../../../src/host/compiler/planner/noop.ts"],"names":[],"mappings":"AACA,OAAO,EACL,SAAS,EAKV,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACL,YAAY,EACZ,mBAAmB,EAIpB,MAAM,YAAY,CAAC;AAEpB;;;GAGG;AACH,qBAAa,WAAY,YAAW,YAAY;IAC9C,QAAQ,CAAC,IAAI,UAAU;IAEvB,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,mBAAmB;CA0E/C"}

package/dist/host/compiler/planner/types.d.ts

@@ -0,0 +1,100 @@
+import { TableMeta, IndexDescriptor, JoinType } from '../../../types/index.js';
+import { QueryPlan, JoinPlan, QueryFilter, ComparisonOp, SortKey } from '../compiler.js';
+import { ParsedSelectExpr } from '../expr_parser.js';
+export interface WhereMetrics {
+    originalCount: number;
+    optimizedCount: number;
+    isAlwaysFalse: boolean;
+    isAlwaysTrue: boolean;
+    contradictionReason?: string;
+    eliminatedFiltersCount: number;
+    reordered: boolean;
+}
+export interface PlanCostMetrics {
+    totalCost: number;
+    estimatedRows: number;
+    joinOrder: string[];
+    singleTableFilters: Map<number, QueryFilter[]>;
+    crossFilters: QueryFilter[];
+    tableScanTypes: ('TableScan' | 'IndexScan')[];
+    tableIndexNames: (string | undefined)[];
+    isOrderSatisfied?: boolean;
+    sortCostAvoided?: number;
+}
+export interface OptimizedPlanResult {
+    plan: QueryPlan;
+    orderedTables: TableMeta[];
+    metrics: PlanCostMetrics | null;
+    isAlwaysFalse?: boolean;
+    isAlwaysTrue?: boolean;
+    whereMetrics?: WhereMetrics;
+    isOrderSatisfied?: boolean;
+    sortCostAvoided?: number;
+}
+export interface QueryPlanner {
+    readonly name: string;
+    optimize(plan: QueryPlan): OptimizedPlanResult;
+}
+export interface JoinEdge {
+    tableA: number;
+    tableB: number;
+    colA: string;
+    colB: string;
+    op: ComparisonOp;
+    type: JoinType;
+    declaredRightTable: number;
+}
+export declare const COST_INDEX_SEEK = 0.5;
+export declare const COST_INDEX_NEXT = 0.05;
+export declare const COST_ROW_EVAL = 0.02;
+/**
+ * Extracts all column names referenced in a filter (both direct colName and expr).
+ */
+export declare function extractFilterColumnNames(filter: QueryFilter): string[];
+/**
+ * Determines which table indices (in `tables`) are referenced by a filter.
+ */
+export declare function getFilterReferencedTables(filter: QueryFilter, tables: TableMeta[]): Set<number>;
+/**
+ * Estimates filter selectivity based on operation, column index presence, and table row count.
+ */
+export declare function estimateFilterSelectivity(filter: QueryFilter, table: TableMeta): number;
+/**
+ * Computes single-table base cardinality and scan cost for a table when used as driving table.
+ */
+export declare function getSingleTableBaseCost(table: TableMeta, filters: QueryFilter[], orderBy?: SortKey[], limit?: number): {
+    cost: number;
+    rows: number;
+    scanType: 'TableScan' | 'IndexScan';
+    indexName?: string;
+    isOrderSatisfied?: boolean;
+    sortCostAvoided?: number;
+};
+/**
+ * Checks if targetTable has an index on the given column.
+ */
+export declare function findIndexOnColumn(table: TableMeta, colName: string): {
+    index: IndexDescriptor;
+    isUnique: boolean;
+} | null;
+/**
+ * Builds join edges and left-join dependency constraints from query join clauses.
+ */
+export declare function buildJoinEdges(plan: QueryPlan, originalTables: TableMeta[]): {
+    edges: JoinEdge[];
+    dependencies: Set<number>[];
+};
+/**
+ * Preserves output column projection order in case of table reordering.
+ */
+export declare function materializeOutputSelectExprs(plan: QueryPlan, originalTables: TableMeta[]): ParsedSelectExpr[] | undefined;
+/**
+ * Reconstructs JoinPlan[] for the ordered tables based on resolved join edges.
+ */
+export declare function reconstructJoinPlans(winningOrder: number[], originalTables: TableMeta[], edges: JoinEdge[], originalJoinedPlans?: JoinPlan[]): JoinPlan[];
+/**
+ * Checks whether all ORDER BY keys belong to candidateTable and are ASC,
+ * which enables nested-loop join order preservation if candidateTable is the driving table.
+ */
+export declare function doesTableSatisfyJoinOrderKeys(candidateTable: TableMeta, candidateTableIdx: number, allTables: TableMeta[], orderBy?: SortKey[], selectExprs?: ParsedSelectExpr[]): boolean;
+//# sourceMappingURL=types.d.ts.map

package/dist/host/compiler/planner/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../../src/host/compiler/planner/types.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,SAAS,EACT,eAAe,EAEf,QAAQ,EACT,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,SAAS,EACT,QAAQ,EACR,WAAW,EACX,YAAY,EACZ,OAAO,EAIR,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAErD,MAAM,WAAW,YAAY;IAC3B,aAAa,EAAE,MAAM,CAAC;IACtB,cAAc,EAAE,MAAM,CAAC;IACvB,aAAa,EAAE,OAAO,CAAC;IACvB,YAAY,EAAE,OAAO,CAAC;IACtB,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,sBAAsB,EAAE,MAAM,CAAC;IAC/B,SAAS,EAAE,OAAO,CAAC;CACpB;AAED,MAAM,WAAW,eAAe;IAC9B,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa,EAAE,MAAM,CAAC;IACtB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,kBAAkB,EAAE,GAAG,CAAC,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC;IAC/C,YAAY,EAAE,WAAW,EAAE,CAAC;IAC5B,cAAc,EAAE,CAAC,WAAW,GAAG,WAAW,CAAC,EAAE,CAAC;IAC9C,eAAe,EAAE,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC;IACxC,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,eAAe,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,SAAS,CAAC;IAChB,aAAa,EAAE,SAAS,EAAE,CAAC;IAC3B,OAAO,EAAE,eAAe,GAAG,IAAI,CAAC;IAChC,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,YAAY,CAAC,EAAE,YAAY,CAAC;IAC5B,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,eAAe,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,mBAAmB,CAAC;CAChD;AAED,MAAM,WAAW,QAAQ;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,YAAY,CAAC;IACjB,IAAI,EAAE,QAAQ,CAAC;IACf,kBAAkB,EAAE,MAAM,CAAC;CAC5B;AAED,eAAO,MAAM,eAAe,MAAM,CAAC;AACnC,eAAO,MAAM,eAAe,OAAO,CAAC;AACpC,eAAO,MAAM,aAAa,OAAO,CAAC;AAElC;;GAEG;AACH,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,WAAW,GAAG,MAAM,EAAE,CAoCtE;AAED;;GAEG;AACH,wBAAgB,yBAAyB,CACvC,MAAM,EAAE,WAAW,EACnB,MAAM,EAAE,SAAS,EAAE,GAClB,GAAG,CAAC,MAAM,CAAC,CAUb;AAED;;GAEG;AACH,wBAAgB,yBAAyB,CACvC,MAAM,EAAE,WAAW,EACnB,KAAK,EAAE,SAAS,GACf,MAAM,CAmDR;AAED;;GAEG;AACH,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,SAAS,EAChB,OAAO,EAAE,WAAW,EAAE,EACtB,OAAO,CAAC,EAAE,OAAO,EAAE,EACnB,KAAK,CAAC,EAAE,MAAM,GACb;IACD,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,WAAW,GAAG,WAAW,CAAC;IACpC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,eAAe,CAAC,EAAE,MAAM,CAAC;CAC1B,CA+EA;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,SAAS,EAChB,OAAO,EAAE,MAAM,GACd;IAAE,KAAK,EAAE,eAAe,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAA;CAAE,GAAG,IAAI,CAuBtD;AAED;;GAEG;AACH,wBAAgB,cAAc,CAC5B,IAAI,EAAE,SAAS,EACf,cAAc,EAAE,SAAS,EAAE,GAC1B;IAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;IAAC,YAAY,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAA;CAAE,CAsCpD;AAED;;GAEG;AACH,wBAAgB,4BAA4B,CAC1C,IAAI,EAAE,SAAS,EACf,cAAc,EAAE,SAAS,EAAE,GAC1B,gBAAgB,EAAE,GAAG,SAAS,CA8BhC;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAClC,YAAY,EAAE,MAAM,EAAE,EACtB,cAAc,EAAE,SAAS,EAAE,EAC3B,KAAK,EAAE,QAAQ,EAAE,EACjB,mBAAmB,CAAC,EAAE,QAAQ,EAAE,GAC/B,QAAQ,EAAE,CAqDZ;AAED;;;GAGG;AACH,wBAAgB,6BAA6B,CAC3C,cAAc,EAAE,SAAS,EACzB,iBAAiB,EAAE,MAAM,EACzB,SAAS,EAAE,SAAS,EAAE,EACtB,OAAO,CAAC,EAAE,OAAO,EAAE,EACnB,WAAW,CAAC,EAAE,gBAAgB,EAAE,GAC/B,OAAO,CAkBT"}

package/dist/host/compiler/planner/where_optimizer.d.ts

@@ -0,0 +1,30 @@
+import { TableMeta } from '../../../types/index.js';
+import { QueryFilter } from '../compiler.js';
+import { WhereMetrics } from './types.js';
+/**
+ * Assigns an estimated relative CPU/evaluation cost to a filter for optimal short-circuit reordering.
+ * Lower numbers = cheaper to evaluate -> placed first in execution.
+ */
+export declare function estimateWhereCost(filter: QueryFilter, tables?: TableMeta[]): number;
+/**
+ * Optimizes an array of query filters by:
+ * 1. Detecting contradictions (short-circuiting).
+ * 2. Pruning redundant duplicates and subsumed range bounds.
+ * 3. Reordering filters by evaluation cost.
+ */
+export declare function optimizeWherePredicates(filters: QueryFilter[], tables?: TableMeta[]): {
+    filters: QueryFilter[];
+    isAlwaysFalse: boolean;
+    isAlwaysTrue: boolean;
+    metrics: WhereMetrics;
+};
+/**
+ * Infers transitive equality predicates across inner/left joins.
+ */
+export declare function inferTransitivePredicates(filters: QueryFilter[], joinedPlans: {
+    leftCol: string;
+    op: string;
+    rightCol: string;
+    type: string;
+}[]): QueryFilter[];
+//# sourceMappingURL=where_optimizer.d.ts.map