@harperfast/harper 5.2.0-alpha.6 → 5.2.0-beta.1

package/dist/sqlEngine/executor/runMutation.js

@@ -0,0 +1,352 @@
+"use strict";
+/**
+ * Phase 4 mutation executors: INSERT / UPDATE / DELETE.
+ *
+ * Writes go through the Resource API exactly as production code does: the
+ * `databases`-resolved entry is the Table class, whose static
+ * `create`/`put`/`patch`/`delete`/`get` methods each call `transaction(context,
+ * …)` internally and *join* an already-open transaction on the context
+ * (resources/Resource.ts). So the whole mutation runs inside a single
+ * `transaction(context, …)`; every per-row write joins it and the batch commits
+ * (or aborts) atomically.
+ *
+ * UPDATE/DELETE find their target rows by running the ordinary SELECT pipeline
+ * (a synthetic `SELECT … FROM target WHERE …`) inside the same transaction, so
+ * the read sees a consistent snapshot with the writes.
+ *
+ * Response shapes match the legacy SQL path (dataLayer/insert.ts,
+ * dataLayer/delete.ts) so callers see no difference:
+ *   INSERT → { message: "inserted N of M records", inserted_hashes, skipped_hashes }
+ *   UPDATE → { message: "updated N of M records",  update_hashes,  skipped_hashes }
+ *   DELETE → { message: "N of M records successfully deleted", deleted_hashes, skipped_hashes }
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports._setTransactionRunner = _setTransactionRunner;
+exports.runInsert = runInsert;
+exports.runUpdate = runUpdate;
+exports.runDelete = runDelete;
+const bind_ts_1 = require("../binder/bind.js");
+const build_ts_1 = require("../logical/build.js");
+const optimize_ts_1 = require("../optimizer/optimize.js");
+const plan_ts_1 = require("../physical/plan.js");
+const runSelect_ts_1 = require("./runSelect.js");
+const compile_ts_1 = require("../expressions/compile.js");
+const errors_ts_1 = require("../errors.js");
+const tracked_ts_1 = require("../../resources/tracked.js");
+/**
+ * If a SET assignment is a self-referential increment/decrement by a numeric
+ * literal — `col = col + N`, `col = N + col`, or `col = col - N` — return the
+ * signed delta. Such an assignment MUST be applied as an atomic CRDT `Addition`
+ * (the same primitive REST/ops `addTo` uses), not as a read-compute-write of an
+ * absolute value: two concurrent `SET qty = qty + 1` statements that both read
+ * the same pre-value would otherwise clobber each other and silently lose an
+ * increment (F-146). Returns undefined for any other shape (including
+ * `col = col + col` or `col = otherCol + N`), which stays on the absolute path.
+ */
+function selfIncrementDelta(column, expr) {
+    if (expr.kind !== 'binop' || (expr.op !== '+' && expr.op !== '-'))
+        return undefined;
+    const isThisColumn = (n) => n.kind === 'column' && n.name === column && n.table == null;
+    const numericLiteral = (n) => n.kind === 'literal' && (typeof n.value === 'number' || typeof n.value === 'bigint') ? n.value : undefined;
+    if (expr.op === '+') {
+        // col + N  or  N + col (addition commutes)
+        if (isThisColumn(expr.left))
+            return numericLiteral(expr.right);
+        if (isThisColumn(expr.right))
+            return numericLiteral(expr.left);
+        return undefined;
+    }
+    // col - N only (N - col is not an accumulator)
+    if (!isThisColumn(expr.left))
+        return undefined;
+    const n = numericLiteral(expr.right);
+    if (n === undefined)
+        return undefined;
+    return -n;
+}
+/**
+ * Collects every column an assignment expression reads, so the UPDATE selector
+ * can project exactly what's needed instead of the whole row (see call site in
+ * runUpdate for why over-fetching matters here). Assignments are compiled via
+ * compileExpr before this runs, which already rejects `cast`/`aggCall`/`subquery`
+ * nodes, so those are unreachable here and need no case.
+ */
+function collectReferencedColumns(expr, out) {
+    switch (expr.kind) {
+        case 'column':
+            out.add(expr.name);
+            return;
+        case 'literal':
+        case 'star':
+            return;
+        case 'binop':
+            collectReferencedColumns(expr.left, out);
+            collectReferencedColumns(expr.right, out);
+            return;
+        case 'logical':
+            for (const a of expr.args)
+                collectReferencedColumns(a, out);
+            return;
+        case 'in':
+            collectReferencedColumns(expr.expr, out);
+            for (const e of expr.list)
+                collectReferencedColumns(e, out);
+            return;
+        case 'between':
+            collectReferencedColumns(expr.expr, out);
+            collectReferencedColumns(expr.low, out);
+            collectReferencedColumns(expr.high, out);
+            return;
+        case 'like':
+            collectReferencedColumns(expr.expr, out);
+            collectReferencedColumns(expr.pattern, out);
+            if (expr.escape)
+                collectReferencedColumns(expr.escape, out);
+            return;
+        case 'isNull':
+            collectReferencedColumns(expr.expr, out);
+            return;
+        case 'case':
+            for (const c of expr.cases) {
+                collectReferencedColumns(c.when, out);
+                collectReferencedColumns(c.then, out);
+            }
+            if (expr.else)
+                collectReferencedColumns(expr.else, out);
+            return;
+        case 'funcCall':
+            for (const a of expr.args)
+                collectReferencedColumns(a, out);
+            return;
+    }
+}
+/**
+ * Mirror the legacy ResourceBridge.upsertRecords schema-evolution path: on a
+ * dynamic-schema (non-`schemaDefined`) table, any referenced column that isn't
+ * yet an attribute is added via `Table.addAttributes` (indexed, matching legacy).
+ *
+ * Two reasons this must run, not just be skipped:
+ *  - Parity of side effect: legacy INSERT/UPDATE auto-creates+indexes new
+ *    columns, so the new engine must too or later queries on that column diverge.
+ *  - Parity of validation: `addAttributes` enforces the attribute-name rules and
+ *    throws `ClientError('Attribute names cannot include backticks or forward
+ *    slashes')` for an invalid name — the same 400 the legacy path produces. This
+ *    is a deterministic client error (not `EngineUnsupportedError`), so `auto`
+ *    surfaces it identically rather than falling back.
+ *
+ * Called inside the write transaction (as legacy does), before any row write, so
+ * an invalid-name rejection aborts the txn with nothing persisted.
+ */
+async function ensureAttributes(table, columns) {
+    if (table.schemaDefined || !table.addAttributes)
+        return;
+    const existing = table.attributes ?? [];
+    const seen = new Set();
+    const newAttributes = [];
+    for (const name of columns) {
+        if (seen.has(name))
+            continue;
+        seen.add(name);
+        if (!existing.find((a) => a.name === name))
+            newAttributes.push({ name, indexed: true });
+    }
+    if (newAttributes.length > 0)
+        await table.addAttributes(newAttributes);
+}
+let _transactionRunner = null;
+/** Test hook: override the transaction runner. Pass null to restore the default. */
+function _setTransactionRunner(runner) {
+    _transactionRunner = runner;
+}
+function getTransactionRunner() {
+    if (_transactionRunner)
+        return _transactionRunner;
+    // eslint-disable-next-line @typescript-eslint/no-var-requires
+    const mod = require('../../resources/transaction.js');
+    return mod.transaction;
+}
+function tableOf(bound) {
+    return bound.boundTable.resource;
+}
+function primaryKeyOf(boundTable) {
+    if (!boundTable.primaryKey) {
+        throw new errors_ts_1.EngineRuntimeError(`table "${boundTable.database}.${boundTable.table}" has no primary key`);
+    }
+    return boundTable.primaryKey;
+}
+/**
+ * Builds the physical plan for `SELECT <projection> FROM <target> WHERE <where>`.
+ * Kept separate from execution so it runs BEFORE the write transaction is opened:
+ * if the selector can't be planned (e.g. a non-indexable WHERE), the
+ * EngineUnsupportedError is thrown before any transaction/side effect, so 'auto'
+ * mode falls back to legacy cleanly rather than aborting a half-open txn.
+ */
+function buildSelectorPlan(boundTable, where, projection) {
+    const select = {
+        kind: 'select',
+        distinct: false,
+        projections: projection,
+        from: { database: boundTable.database, table: boundTable.table, alias: boundTable.alias },
+        joins: [],
+        where,
+    };
+    return (0, plan_ts_1.compileToPhysical)((0, optimize_ts_1.optimize)((0, build_ts_1.buildLogicalPlan)((0, bind_ts_1.bindSelect)(select))));
+}
+async function runInsert(bound, ctx) {
+    const table = tableOf(bound);
+    const pk = primaryKeyOf(bound.boundTable);
+    // Evaluate every VALUES row up front (literals / constant expressions — no
+    // per-table row context). The normalizer only produces the VALUES (array)
+    // form; INSERT … SELECT is rejected earlier.
+    if (!Array.isArray(bound.values)) {
+        throw new errors_ts_1.EngineRuntimeError('INSERT … SELECT is not supported');
+    }
+    const records = bound.values.map((row) => {
+        const record = {};
+        for (let i = 0; i < bound.columns.length; i++) {
+            record[bound.columns[i]] = (0, compile_ts_1.compileExpr)(row[i], false).eval({});
+        }
+        return record;
+    });
+    const transaction = getTransactionRunner();
+    const context = { user: ctx.user };
+    return transaction(context, async () => {
+        // Auto-create + validate any new columns first (legacy parity, and the
+        // source of the attribute-name validation), before any row write.
+        await ensureAttributes(table, bound.columns);
+        const inserted_hashes = [];
+        const skipped_hashes = [];
+        for (const record of records) {
+            let id = record[pk];
+            if (id == null) {
+                // No primary key supplied: generate one (UUID by default).
+                id = table.getNewId ? table.getNewId() : undefined;
+                if (id == null)
+                    throw new errors_ts_1.EngineRuntimeError('could not generate a primary key for INSERT');
+                record[pk] = id;
+            }
+            else {
+                // INSERT (not upsert) skips rows whose key already exists, matching
+                // the legacy createRecords semantics (reported in skipped_hashes).
+                const existing = await table.get(id, context);
+                if (existing != null) {
+                    skipped_hashes.push(id);
+                    continue;
+                }
+            }
+            await table.put(record, context);
+            inserted_hashes.push(id);
+        }
+        const total = inserted_hashes.length + skipped_hashes.length;
+        return {
+            message: `inserted ${inserted_hashes.length} of ${total} records`,
+            inserted_hashes,
+            skipped_hashes,
+        };
+    });
+}
+async function runUpdate(bound, ctx) {
+    const table = tableOf(bound);
+    const pk = primaryKeyOf(bound.boundTable);
+    // A `col = col ± N` assignment is applied as an atomic Addition delta (see
+    // selfIncrementDelta); every other assignment is evaluated against the matched
+    // row and written as an absolute value.
+    const assignments = bound.assignments.map((a) => {
+        const delta = selfIncrementDelta(a.column, a.expr);
+        return delta === undefined
+            ? { column: a.column, eval: (0, compile_ts_1.compileExpr)(a.expr, false).eval }
+            : { column: a.column, delta };
+    });
+    // Plan the selector before opening the transaction (clean fallback on reject).
+    // Project only the primary key plus whatever columns a row-dependent assignment
+    // actually reads (e.g. `total = price * qty`) — not the whole row. A `col = col
+    // ± N` delta reads nothing (it's applied as an Addition, never evaluated against
+    // the row), and most SET clauses are plain literals, so the common case needs
+    // only the primary key — the same minimal read legacy's SQL UPDATE and this
+    // module's own runDelete already use.
+    const neededColumns = new Set([pk]);
+    bound.assignments.forEach((a, i) => {
+        if (!('delta' in assignments[i]))
+            collectReferencedColumns(a.expr, neededColumns);
+    });
+    const projection = [...neededColumns].map((name) => ({
+        expr: { kind: 'column', name },
+    }));
+    const selector = buildSelectorPlan(bound.boundTable, bound.where, projection);
+    const transaction = getTransactionRunner();
+    const context = { user: ctx.user };
+    // The row-finder above is a SELECT, and a plain SELECT is right to hide a row
+    // whose TTL has passed but hasn't been swept yet. An UPDATE isn't a SELECT
+    // though: it's about to overwrite that row's TTL, and every other write surface
+    // (REST PUT/PATCH, ops update) still finds and resets a not-yet-swept-but-expired
+    // row because they load it by id directly, bypassing the freshness check a read
+    // applies. Without includeExpiredRows, the row-finder would drop such a row from
+    // its result, so the UPDATE silently touches nothing and the TTL never resets
+    // (QA-269).
+    const selectCtx = { ...ctx, includeExpiredRows: true };
+    return transaction(context, async () => {
+        // Auto-create + validate any new columns the SET clause introduces
+        // (legacy parity + attribute-name validation), before any row write.
+        await ensureAttributes(table, assignments.map((a) => a.column));
+        const rows = await (0, runSelect_ts_1.runSelect)(selector, selectCtx);
+        const update_hashes = [];
+        const skipped_hashes = [];
+        for (const row of rows) {
+            const id = row[pk];
+            if (id == null) {
+                skipped_hashes.push(id);
+                continue;
+            }
+            const patch = {};
+            for (const a of assignments) {
+                patch[a.column] = 'delta' in a ? new tracked_ts_1.Addition(a.delta) : a.eval(row);
+            }
+            await table.patch(id, patch, context);
+            update_hashes.push(id);
+        }
+        const total = update_hashes.length + skipped_hashes.length;
+        return {
+            message: `updated ${update_hashes.length} of ${total} records`,
+            update_hashes,
+            skipped_hashes,
+        };
+    });
+}
+async function runDelete(bound, ctx) {
+    const table = tableOf(bound);
+    const pk = primaryKeyOf(bound.boundTable);
+    // Plan the selector before opening the transaction (clean fallback on reject).
+    // Only the primary key is needed to delete.
+    const selector = buildSelectorPlan(bound.boundTable, bound.where, [{ expr: { kind: 'column', name: pk } }]);
+    const transaction = getTransactionRunner();
+    const context = { user: ctx.user };
+    // Same reasoning as runUpdate: REST DELETE removes a not-yet-swept-but-expired
+    // row immediately because it targets by id directly; the row-finder here should
+    // match that rather than silently skipping a row the sweep hasn't caught up to yet.
+    const selectCtx = { ...ctx, includeExpiredRows: true };
+    return transaction(context, async () => {
+        const rows = await (0, runSelect_ts_1.runSelect)(selector, selectCtx);
+        const deleted_hashes = [];
+        const skipped_hashes = [];
+        for (const row of rows) {
+            const id = row[pk];
+            if (id == null) {
+                skipped_hashes.push(id);
+                continue;
+            }
+            await table.delete(id, context);
+            deleted_hashes.push(id);
+        }
+        const total = deleted_hashes.length + skipped_hashes.length;
+        // Legacy SQL DELETE pluralizes "record" by the deleted count
+        // (sqlTranslator/deleteTranslator.ts + harperBridge.deleteRecords):
+        // "1 of 1 record …" but "0 of 0 records …".
+        const noun = deleted_hashes.length === 1 ? 'record' : 'records';
+        return {
+            message: `${deleted_hashes.length} of ${total} ${noun} successfully deleted`,
+            deleted_hashes,
+            skipped_hashes,
+        };
+    });
+}
+//# sourceMappingURL=runMutation.js.map

package/dist/sqlEngine/executor/runMutation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runMutation.js","sourceRoot":"","sources":["../../../sqlEngine/executor/runMutation.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;;AAsJH,sDAEC;AA2CD,8BAqDC;AAED,8BAuEC;AAED,8BAuCC;AAvWD,+CAA+C;AAG/C,kDAAuD;AACvD,0DAAoD;AACpD,iDAAwD;AAExD,iDAA2C;AAC3C,0DAAwD;AACxD,4CAAkD;AAClD,2DAAsD;AAEtD;;;;;;;;;GASG;AACH,SAAS,kBAAkB,CAAC,MAAc,EAAE,IAAc;IACzD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,GAAG,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IACpF,MAAM,YAAY,GAAG,CAAC,CAAW,EAAW,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC;IAC3G,MAAM,cAAc,GAAG,CAAC,CAAW,EAA+B,EAAE,CACnE,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;IAC5G,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG,EAAE,CAAC;QACrB,2CAA2C;QAC3C,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/D,IAAI,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC;YAAE,OAAO,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/D,OAAO,SAAS,CAAC;IAClB,CAAC;IACD,+CAA+C;IAC/C,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAC/C,MAAM,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrC,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACtC,OAAO,CAAC,CAAC,CAAC;AACX,CAAC;AAED;;;;;;GAMG;AACH,SAAS,wBAAwB,CAAC,IAAc,EAAE,GAAgB;IACjE,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,QAAQ;YACZ,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnB,OAAO;QACR,KAAK,SAAS,CAAC;QACf,KAAK,MAAM;YACV,OAAO;QACR,KAAK,OAAO;YACX,wBAAwB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACzC,wBAAwB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YAC1C,OAAO;QACR,KAAK,SAAS;YACb,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI;gBAAE,wBAAwB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YAC5D,OAAO;QACR,KAAK,IAAI;YACR,wBAAwB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACzC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,IAAkB;gBAAE,wBAAwB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YAC1E,OAAO;QACR,KAAK,SAAS;YACb,wBAAwB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACzC,wBAAwB,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACxC,wBAAwB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACzC,OAAO;QACR,KAAK,MAAM;YACV,wBAAwB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACzC,wBAAwB,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;YAC5C,IAAI,IAAI,CAAC,MAAM;gBAAE,wBAAwB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YAC5D,OAAO;QACR,KAAK,QAAQ;YACZ,wBAAwB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACzC,OAAO;QACR,KAAK,MAAM;YACV,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBAC5B,wBAAwB,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBACtC,wBAAwB,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACvC,CAAC;YACD,IAAI,IAAI,CAAC,IAAI;gBAAE,wBAAwB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACxD,OAAO;QACR,KAAK,UAAU;YACd,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI;gBAAE,wBAAwB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YAC5D,OAAO;IACT,CAAC;AACF,CAAC;AAgBD;;;;;;;;;;;;;;;;GAgBG;AACH,KAAK,UAAU,gBAAgB,CAAC,KAAoB,EAAE,OAA0B;IAC/E,IAAI,KAAK,CAAC,aAAa,IAAI,CAAC,KAAK,CAAC,aAAa;QAAE,OAAO;IACxD,MAAM,QAAQ,GAAG,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC;IACxC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,aAAa,GAA8C,EAAE,CAAC;IACpE,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;QAC5B,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QAC7B,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACf,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC;YAAE,aAAa,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;IACzF,CAAC;IACD,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,KAAK,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC;AACxE,CAAC;AAUD,IAAI,kBAAkB,GAA6B,IAAI,CAAC;AAExD,oFAAoF;AACpF,SAAgB,qBAAqB,CAAC,MAAgC;IACrE,kBAAkB,GAAG,MAAM,CAAC;AAC7B,CAAC;AAED,SAAS,oBAAoB;IAC5B,IAAI,kBAAkB;QAAE,OAAO,kBAAkB,CAAC;IAClD,8DAA8D;IAC9D,MAAM,GAAG,GAAG,OAAO,CAAC,gCAAgC,CAAC,CAAC;IACtD,OAAO,GAAG,CAAC,WAAgC,CAAC;AAC7C,CAAC;AAED,SAAS,OAAO,CAAC,KAAiC;IACjD,OAAO,KAAK,CAAC,UAAU,CAAC,QAAyB,CAAC;AACnD,CAAC;AAED,SAAS,YAAY,CAAC,UAAsB;IAC3C,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC;QAC5B,MAAM,IAAI,8BAAkB,CAAC,UAAU,UAAU,CAAC,QAAQ,IAAI,UAAU,CAAC,KAAK,sBAAsB,CAAC,CAAC;IACvG,CAAC;IACD,OAAO,UAAU,CAAC,UAAU,CAAC;AAC9B,CAAC;AAED;;;;;;GAMG;AACH,SAAS,iBAAiB,CACzB,UAAsB,EACtB,KAA2B,EAC3B,UAAqC;IAErC,MAAM,MAAM,GAAe;QAC1B,IAAI,EAAE,QAAQ;QACd,QAAQ,EAAE,KAAK;QACf,WAAW,EAAE,UAAU;QACvB,IAAI,EAAE,EAAE,QAAQ,EAAE,UAAU,CAAC,QAAQ,EAAE,KAAK,EAAE,UAAU,CAAC,KAAK,EAAE,KAAK,EAAE,UAAU,CAAC,KAAK,EAAE;QACzF,KAAK,EAAE,EAAE;QACT,KAAK;KACL,CAAC;IACF,OAAO,IAAA,2BAAiB,EAAC,IAAA,sBAAQ,EAAC,IAAA,2BAAgB,EAAC,IAAA,oBAAU,EAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;AAC1E,CAAC;AAEM,KAAK,UAAU,SAAS,CAAC,KAAkB,EAAE,GAAqB;IACxE,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IAC7B,MAAM,EAAE,GAAG,YAAY,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAE1C,2EAA2E;IAC3E,0EAA0E;IAC1E,6CAA6C;IAC7C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,8BAAkB,CAAC,kCAAkC,CAAC,CAAC;IAClE,CAAC;IACD,MAAM,OAAO,GAAU,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QAC/C,MAAM,MAAM,GAAQ,EAAE,CAAC;QACvB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC/C,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,IAAA,wBAAW,EAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAChE,CAAC;QACD,OAAO,MAAM,CAAC;IACf,CAAC,CAAC,CAAC;IAEH,MAAM,WAAW,GAAG,oBAAoB,EAAE,CAAC;IAC3C,MAAM,OAAO,GAAiB,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC;IAEjD,OAAO,WAAW,CAAC,OAAO,EAAE,KAAK,IAAI,EAAE;QACtC,uEAAuE;QACvE,kEAAkE;QAClE,MAAM,gBAAgB,CAAC,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;QAC7C,MAAM,eAAe,GAAc,EAAE,CAAC;QACtC,MAAM,cAAc,GAAc,EAAE,CAAC;QACrC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC9B,IAAI,EAAE,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC;YACpB,IAAI,EAAE,IAAI,IAAI,EAAE,CAAC;gBAChB,2DAA2D;gBAC3D,EAAE,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;gBACnD,IAAI,EAAE,IAAI,IAAI;oBAAE,MAAM,IAAI,8BAAkB,CAAC,6CAA6C,CAAC,CAAC;gBAC5F,MAAM,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC;YACjB,CAAC;iBAAM,CAAC;gBACP,oEAAoE;gBACpE,mEAAmE;gBACnE,MAAM,QAAQ,GAAG,MAAM,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;gBAC9C,IAAI,QAAQ,IAAI,IAAI,EAAE,CAAC;oBACtB,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;oBACxB,SAAS;gBACV,CAAC;YACF,CAAC;YACD,MAAM,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;YACjC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC1B,CAAC;QACD,MAAM,KAAK,GAAG,eAAe,CAAC,MAAM,GAAG,cAAc,CAAC,MAAM,CAAC;QAC7D,OAAO;YACN,OAAO,EAAE,YAAY,eAAe,CAAC,MAAM,OAAO,KAAK,UAAU;YACjE,eAAe;YACf,cAAc;SACd,CAAC;IACH,CAAC,CAAC,CAAC;AACJ,CAAC;AAEM,KAAK,UAAU,SAAS,CAAC,KAAkB,EAAE,GAAqB;IACxE,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IAC7B,MAAM,EAAE,GAAG,YAAY,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAC1C,2EAA2E;IAC3E,+EAA+E;IAC/E,wCAAwC;IACxC,MAAM,WAAW,GAAG,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAC/C,MAAM,KAAK,GAAG,kBAAkB,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QACnD,OAAO,KAAK,KAAK,SAAS;YACzB,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,IAAA,wBAAW,EAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,IAAI,EAAE;YAC7D,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,+EAA+E;IAC/E,gFAAgF;IAChF,gFAAgF;IAChF,iFAAiF;IACjF,8EAA8E;IAC9E,4EAA4E;IAC5E,sCAAsC;IACtC,MAAM,aAAa,GAAG,IAAI,GAAG,CAAS,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5C,KAAK,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAClC,IAAI,CAAC,CAAC,OAAO,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC;YAAE,wBAAwB,CAAC,CAAC,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;IACnF,CAAC,CAAC,CAAC;IACH,MAAM,UAAU,GAA8B,CAAC,GAAG,aAAa,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC/E,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE;KAC9B,CAAC,CAAC,CAAC;IACJ,MAAM,QAAQ,GAAG,iBAAiB,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;IAE9E,MAAM,WAAW,GAAG,oBAAoB,EAAE,CAAC;IAC3C,MAAM,OAAO,GAAiB,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC;IACjD,8EAA8E;IAC9E,2EAA2E;IAC3E,gFAAgF;IAChF,kFAAkF;IAClF,gFAAgF;IAChF,iFAAiF;IACjF,8EAA8E;IAC9E,YAAY;IACZ,MAAM,SAAS,GAAqB,EAAE,GAAG,GAAG,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC;IAEzE,OAAO,WAAW,CAAC,OAAO,EAAE,KAAK,IAAI,EAAE;QACtC,mEAAmE;QACnE,qEAAqE;QACrE,MAAM,gBAAgB,CACrB,KAAK,EACL,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAChC,CAAC;QACF,MAAM,IAAI,GAAG,MAAM,IAAA,wBAAS,EAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;QAClD,MAAM,aAAa,GAAc,EAAE,CAAC;QACpC,MAAM,cAAc,GAAc,EAAE,CAAC;QACrC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACxB,MAAM,EAAE,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC;YACnB,IAAI,EAAE,IAAI,IAAI,EAAE,CAAC;gBAChB,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACxB,SAAS;YACV,CAAC;YACD,MAAM,KAAK,GAAQ,EAAE,CAAC;YACtB,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;gBAC7B,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,qBAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACtE,CAAC;YACD,MAAM,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;YACtC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACxB,CAAC;QACD,MAAM,KAAK,GAAG,aAAa,CAAC,MAAM,GAAG,cAAc,CAAC,MAAM,CAAC;QAC3D,OAAO;YACN,OAAO,EAAE,WAAW,aAAa,CAAC,MAAM,OAAO,KAAK,UAAU;YAC9D,aAAa;YACb,cAAc;SACd,CAAC;IACH,CAAC,CAAC,CAAC;AACJ,CAAC;AAEM,KAAK,UAAU,SAAS,CAAC,KAAkB,EAAE,GAAqB;IACxE,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IAC7B,MAAM,EAAE,GAAG,YAAY,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAE1C,+EAA+E;IAC/E,4CAA4C;IAC5C,MAAM,QAAQ,GAAG,iBAAiB,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;IAE5G,MAAM,WAAW,GAAG,oBAAoB,EAAE,CAAC;IAC3C,MAAM,OAAO,GAAiB,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC;IACjD,+EAA+E;IAC/E,gFAAgF;IAChF,oFAAoF;IACpF,MAAM,SAAS,GAAqB,EAAE,GAAG,GAAG,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC;IAEzE,OAAO,WAAW,CAAC,OAAO,EAAE,KAAK,IAAI,EAAE;QACtC,MAAM,IAAI,GAAG,MAAM,IAAA,wBAAS,EAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;QAClD,MAAM,cAAc,GAAc,EAAE,CAAC;QACrC,MAAM,cAAc,GAAc,EAAE,CAAC;QACrC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACxB,MAAM,EAAE,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC;YACnB,IAAI,EAAE,IAAI,IAAI,EAAE,CAAC;gBAChB,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACxB,SAAS;YACV,CAAC;YACD,MAAM,KAAK,CAAC,MAAM,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;YAChC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACzB,CAAC;QACD,MAAM,KAAK,GAAG,cAAc,CAAC,MAAM,GAAG,cAAc,CAAC,MAAM,CAAC;QAC5D,6DAA6D;QAC7D,oEAAoE;QACpE,4CAA4C;QAC5C,MAAM,IAAI,GAAG,cAAc,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;QAChE,OAAO;YACN,OAAO,EAAE,GAAG,cAAc,CAAC,MAAM,OAAO,KAAK,IAAI,IAAI,uBAAuB;YAC5E,cAAc;YACd,cAAc;SACd,CAAC;IACH,CAAC,CAAC,CAAC;AACJ,CAAC"}

package/dist/sqlEngine/executor/runSelect.d.ts

@@ -0,0 +1,7 @@
+/**
+ * Drives the root iterator for a SELECT plan and shapes the result.
+ * Phase 0 stub.
+ */
+import type { PhysicalOp } from '../physical/op.ts';
+import type { Row, SqlEngineContext } from '../types.ts';
+export declare function runSelect(plan: PhysicalOp, ctx: SqlEngineContext): Promise<Row[]>;

package/dist/sqlEngine/executor/runSelect.js

@@ -0,0 +1,14 @@
+"use strict";
+/**
+ * Drives the root iterator for a SELECT plan and shapes the result.
+ * Phase 0 stub.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.runSelect = runSelect;
+async function runSelect(plan, ctx) {
+    const out = [];
+    for await (const row of plan.execute(ctx))
+        out.push(row);
+    return out;
+}
+//# sourceMappingURL=runSelect.js.map

package/dist/sqlEngine/executor/runSelect.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runSelect.js","sourceRoot":"","sources":["../../../sqlEngine/executor/runSelect.ts"],"names":[],"mappings":";AAAA;;;GAGG;;AAKH,8BAIC;AAJM,KAAK,UAAU,SAAS,CAAC,IAAgB,EAAE,GAAqB;IACtE,MAAM,GAAG,GAAU,EAAE,CAAC;IACtB,IAAI,KAAK,EAAE,MAAM,GAAG,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC;QAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACzD,OAAO,GAAG,CAAC;AACZ,CAAC"}

package/dist/sqlEngine/expressions/compile.d.ts

@@ -0,0 +1,24 @@
+/**
+ * Lowers an ExprNode to a row-context closure.
+ *
+ * The compiler runs once per query at physical-plan time; the resulting
+ * closure is invoked per row by Filter/Project operators. SQL three-valued
+ * logic for AND/OR/NOT is handled here so residual filters match Resource API
+ * semantics (NULL → drop). Coercion is loose to match AlaSQL behavior.
+ */
+import type { ExprNode } from '../parser/ast.ts';
+import type { Row, SqlType } from '../types.ts';
+export interface CompiledExpr {
+    eval(row: Row): unknown;
+    type: SqlType;
+}
+/**
+ * Compiles an expression to a per-row closure.
+ *
+ * When `qualified` is true (join queries), column references are looked up by
+ * their canonical `<alias>.<name>` key — the binder has set `column.table` to
+ * the owning alias and the scan output is keyed the same way (see
+ * physical/PhysicalQualify). Single-table queries pass `qualified = false` and
+ * columns resolve by bare name.
+ */
+export declare function compileExpr(expr: ExprNode, qualified?: boolean): CompiledExpr;