@ahmadmoussawi/webdb 0.0.0-stage → 0.1.1

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

@@ -0,0 +1,172 @@
+import { ColumnDefinition, TableMeta, DbRow, DbValue, DataType, IndexOptions, AlterTableOperation, IndexDescriptor, TransactionOptions, UpsertOptions, SyncState, BeforeCommitHook, CommitHook, TableSubscriptionCallback } 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;
+    initialData?: Uint8Array | ArrayBuffer;
+}
+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 beforeCommitHooks;
+    private commitHooks;
+    private subscriptions;
+    private activeTxChanges;
+    private activeTxOrigin;
+    private activeTxMeta?;
+    private activeTxId;
+    private nextAutoTxId;
+    private isRunningBeforeCommit;
+    private broadcastChannel;
+    private readonly instanceId;
+    private constructor();
+    static open(options: WebDbOptions): Promise<WebDB>;
+    getPlanner(): QueryPlanner | undefined;
+    setPlanner(planner?: QueryPlanner): this;
+    private validateIdentifier;
+    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;
+    renameTable(oldName: string, newName: string): Promise<TableMeta>;
+    private _renameTableInternal;
+    renameColumn(tableName: string, oldColumnName: string, newColumnName: string): Promise<TableMeta>;
+    private _renameColumnInternal;
+    addColumn(tableName: string, column: ColumnDefinition, options?: {
+        defaultValue?: DbValue;
+    }): Promise<TableMeta>;
+    dropColumn(tableName: string, columnName: string): Promise<TableMeta>;
+    alterTable(tableName: string, operation: AlterTableOperation): Promise<TableMeta>;
+    private _executeTableRebuildAtomic;
+    private _rebuildTableSchemaInternal;
+    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 deleteFromIndex;
+    private insertIntoIndex;
+    private cloneRow;
+    private valuesEqual;
+    private extractPrimaryKey;
+    private serializePkKey;
+    private buildChangeset;
+    private notifySubscriptions;
+    private emitCommitAndSubscriptions;
+    onBeforeCommit(hook: BeforeCommitHook): () => void;
+    onCommit(hook: CommitHook): () => void;
+    subscribe(tables: string | string[] | "*", callback: TableSubscriptionCallback): () => void;
+    getSyncState(): SyncState;
+    private validateFilterColumns;
+    private matchesFilter;
+    private matchesFilters;
+    /**
+     * Deletes a sorted list of cell indices on `pageId` while maintaining exact
+     * secondary index `rowid` pointers for both the deleted cells and any surviving
+     * cells on `pageId` whose slot index shifts left.
+     */
+    private deleteCellsOnDataPageAndShiftIndexes;
+    private normalizeWhereOrPkFilters;
+    insert(tableName: string, row: DbRow, options?: TransactionOptions): Promise<void>;
+    insertMany(tableName: string, rows: DbRow[], options?: TransactionOptions): Promise<void>;
+    private _insertManyInternal;
+    update(tableName: string, whereOrPk: DbValue | Partial<DbRow>, patch: Partial<DbRow>, options?: TransactionOptions): Promise<number>;
+    executeUpdate(tableName: string, filters: QueryFilter[], patch: Partial<DbRow>, options?: TransactionOptions): Promise<number>;
+    private _executeUpdateInternal;
+    delete(tableName: string, whereOrPk: DbValue | Partial<DbRow>, options?: TransactionOptions): Promise<number>;
+    executeDelete(tableName: string, filters: QueryFilter[], options?: TransactionOptions): Promise<number>;
+    private _executeDeleteInternal;
+    upsert(tableName: string, row: DbRow, options?: UpsertOptions): Promise<"inserted" | "updated" | "ignored">;
+    upsertMany(tableName: string, rows: DbRow[], options?: UpsertOptions): Promise<{
+        inserted: number;
+        updated: number;
+        ignored: number;
+    }>;
+    private _upsertManyInLease;
+    private findFirstMatchingRow;
+    transaction<T>(callback: (tx: WebDB) => Promise<T>, options?: TransactionOptions): 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;
+    }>;
+    /**
+     * Exports the entire database as a self-contained binary image (totalPages * 4096 bytes)
+     * with verified IEEE 802.3 CRC32 checksums on every page.
+     */
+    exportBinary(): Promise<Uint8Array>;
+    /**
+     * Validates and atomically imports a binary WebDB database image (totalPages * 4096 bytes),
+     * replacing all pages, resetting the WAL, and pinning the imported schema catalog.
+     */
+    importBinary(data: Uint8Array | ArrayBuffer): Promise<void>;
+    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":"AAgBA,OAAO,EACL,gBAAgB,EAEhB,SAAS,EACT,KAAK,EACL,OAAO,EAIP,QAAQ,EAWR,YAAY,EACZ,mBAAmB,EAQnB,eAAe,EAGf,kBAAkB,EAClB,aAAa,EAIb,SAAS,EACT,gBAAgB,EAChB,UAAU,EACV,yBAAyB,EAC1B,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAIhD,OAAO,EAAE,EAAE,EAAE,MAAM,kBAAkB,CAAC;AAEtC,OAAO,EACL,gBAAgB,EAEhB,sBAAsB,EAEvB,MAAM,oBAAoB,CAAC;AAiD5B,OAAO,EAEL,WAAW,EACX,OAAO,EACP,QAAQ,EACR,OAAO,EAKR,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,gBAAgB,EAGjB,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;IACvB,WAAW,CAAC,EAAE,UAAU,GAAG,WAAW,CAAC;CACxC;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;IAGxD,OAAO,CAAC,iBAAiB,CAAoC;IAC7D,OAAO,CAAC,WAAW,CAA8B;IACjD,OAAO,CAAC,aAAa,CAGN;IACf,OAAO,CAAC,eAAe,CAAwB;IAC/C,OAAO,CAAC,cAAc,CAAmB;IACzC,OAAO,CAAC,YAAY,CAAC,CAAsB;IAC3C,OAAO,CAAC,UAAU,CAAa;IAC/B,OAAO,CAAC,YAAY,CAAqB;IACzC,OAAO,CAAC,qBAAqB,CAAkB;IAC/C,OAAO,CAAC,gBAAgB,CAAiC;IACzD,OAAO,CAAC,QAAQ,CAAC,UAAU,CACqC;IAEhE,OAAO;WAoEM,IAAI,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,KAAK,CAAC;IAwGxD,UAAU,IAAI,YAAY,GAAG,SAAS;IAItC,UAAU,CAAC,OAAO,CAAC,EAAE,YAAY,GAAG,IAAI;IAKxC,OAAO,CAAC,kBAAkB;IASpB,WAAW,CACf,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,gBAAgB,EAAE,GAC1B,OAAO,CAAC,SAAS,CAAC;YAOP,oBAAoB;IAsH5B,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,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC;YAOzD,oBAAoB;IAqE5B,YAAY,CAChB,SAAS,EAAE,MAAM,EACjB,aAAa,EAAE,MAAM,EACrB,aAAa,EAAE,MAAM,GACpB,OAAO,CAAC,SAAS,CAAC;YAOP,qBAAqB;IA4D7B,SAAS,CACb,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,gBAAgB,EACxB,OAAO,CAAC,EAAE;QAAE,YAAY,CAAC,EAAE,OAAO,CAAA;KAAE,GACnC,OAAO,CAAC,SAAS,CAAC;IAsEf,UAAU,CAAC,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC;IA8CrE,UAAU,CACd,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,mBAAmB,GAC7B,OAAO,CAAC,SAAS,CAAC;YAmBP,0BAA0B;YA6B1B,2BAA2B;IA8GnC,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;YA2BhB,eAAe;YA8Bf,eAAe;IAiE7B,OAAO,CAAC,QAAQ;IAQhB,OAAO,CAAC,WAAW;IA2BnB,OAAO,CAAC,iBAAiB;IAmBzB,OAAO,CAAC,cAAc;IAkBtB,OAAO,CAAC,cAAc;IAkGtB,OAAO,CAAC,mBAAmB;IAiB3B,OAAO,CAAC,0BAA0B;IAoClC,cAAc,CAAC,IAAI,EAAE,gBAAgB,GAAG,MAAM,IAAI;IAOlD,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,IAAI;IAOtC,SAAS,CACP,MAAM,EAAE,MAAM,GAAG,MAAM,EAAE,GAAG,GAAG,EAC/B,QAAQ,EAAE,yBAAyB,GAClC,MAAM,IAAI;IAkBb,YAAY,IAAI,SAAS;IASzB,OAAO,CAAC,qBAAqB;IA4B7B,OAAO,CAAC,aAAa;IAoGrB,OAAO,CAAC,cAAc;IAWtB;;;;OAIG;YACW,oCAAoC;IA4ElD,OAAO,CAAC,yBAAyB;IAgC3B,MAAM,CACV,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,KAAK,EACV,OAAO,CAAC,EAAE,kBAAkB,GAC3B,OAAO,CAAC,IAAI,CAAC;IAIV,UAAU,CACd,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE,KAAK,EAAE,EACb,OAAO,CAAC,EAAE,kBAAkB,GAC3B,OAAO,CAAC,IAAI,CAAC;YA2BF,mBAAmB;IA0O3B,MAAM,CACV,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,EACnC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,EACrB,OAAO,CAAC,EAAE,kBAAkB,GAC3B,OAAO,CAAC,MAAM,CAAC;IAiCZ,aAAa,CACjB,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,WAAW,EAAE,EACtB,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,EACrB,OAAO,CAAC,EAAE,kBAAkB,GAC3B,OAAO,CAAC,MAAM,CAAC;YA+BJ,sBAAsB;IA4T9B,MAAM,CACV,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,EACnC,OAAO,CAAC,EAAE,kBAAkB,GAC3B,OAAO,CAAC,MAAM,CAAC;IAgCZ,aAAa,CACjB,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,WAAW,EAAE,EACtB,OAAO,CAAC,EAAE,kBAAkB,GAC3B,OAAO,CAAC,MAAM,CAAC;YA8BJ,sBAAsB;IAgF9B,MAAM,CACV,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,KAAK,EACV,OAAO,CAAC,EAAE,aAAa,GACtB,OAAO,CAAC,UAAU,GAAG,SAAS,GAAG,SAAS,CAAC;IAOxC,UAAU,CACd,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE,KAAK,EAAE,EACb,OAAO,CAAC,EAAE,aAAa,GACtB,OAAO,CAAC;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;YAqCpD,kBAAkB;YAuHlB,oBAAoB;IAuB5B,WAAW,CAAC,CAAC,EACjB,QAAQ,EAAE,CAAC,EAAE,EAAE,KAAK,KAAK,OAAO,CAAC,CAAC,CAAC,EACnC,OAAO,CAAC,EAAE,kBAAkB,GAC3B,OAAO,CAAC,CAAC,CAAC;IAgHb,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;IAIrD;;;OAGG;IACG,YAAY,IAAI,OAAO,CAAC,UAAU,CAAC;IA8CzC;;;OAGG;IACG,YAAY,CAAC,IAAI,EAAE,UAAU,GAAG,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC;IAqG3D,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;CAY7B"}

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,CA+KL"}

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"}