@quereus/quereus 4.9.0 → 4.11.0

package/dist/src/runtime/emit/scalar-function.d.ts

@@ -1,9 +1,37 @@
 import type { ScalarFunctionCallNode } from '../../planner/nodes/function.js';
-import type { Instruction } from '../types.js';
+import type { Instruction, RuntimeContext } from '../types.js';
+import { type MaybePromise, type SqlValue } from '../../common/types.js';
 import type { EmissionContext } from '../emission-context.js';
+/**
+ * The per-call body of a scalar function call: its emit-time arity assert, its
+ * implementation-error wrapping (carrying the call's source location) and its
+ * `REPR_STRICT` return-type check, all resolved once here rather than per row.
+ *
+ * Two consumers read this, exactly as {@link import('./scalar-op.js').ScalarOpSpec} has
+ * two: {@link emitScalarFunctionCallDefault} hands it to the scheduler as an
+ * `Instruction.run`, and the scalar-fusion compiler (`runtime/scalar-fusion.ts`)
+ * composes it directly into a fused closure. Keeping one copy is what stops a fused
+ * call and an instruction call from disagreeing on error text or evaluation counts.
+ *
+ * The return type is `MaybePromise<SqlValue>` because a registered implementation may
+ * be async — the scheduler resolves that, while fusion admits only bodies it has
+ * *proven* synchronous and guards the remainder. The body is variadic (a `ScalarFunc`
+ * is `(...args: SqlValue[])`), which is why it stays off `ScalarOpSpec`, whose
+ * `assertSpecArity` requires one declared parameter per operand.
+ *
+ * Assumes `plan.functionSchema` has already been validated as a scalar function schema
+ * by the caller (the entry point {@link emitScalarFunctionCall} checks it before
+ * dispatching here directly or via a `customEmitter`'s `defaultEmit`; the fusion arm
+ * declines when the check fails and lets the unfused path report it) — this function
+ * does not repeat the check.
+ */
+export declare function buildScalarFunctionRun(plan: ScalarFunctionCallNode): (rctx: RuntimeContext, ...args: SqlValue[]) => MaybePromise<SqlValue>;
 /**
  * Default emission logic for scalar function calls.
  * This is exported so custom emitters can call it if needed.
+ *
+ * A thin wrapper over {@link buildScalarFunctionRun}: it emits one instruction param
+ * per operand and hands the shared body to the scheduler.
  */
 export declare function emitScalarFunctionCallDefault(plan: ScalarFunctionCallNode, ctx: EmissionContext): Instruction;
 /**

package/dist/src/runtime/emit/scalar-function.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"scalar-function.d.ts","sourceRoot":"","sources":["../../../../src/runtime/emit/scalar-function.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AAC9E,OAAO,KAAK,EAAE,WAAW,EAAkB,MAAM,aAAa,CAAC;AAK/D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAI9D;;;GAGG;AACH,wBAAgB,6BAA6B,CAAC,IAAI,EAAE,sBAAsB,EAAE,GAAG,EAAE,eAAe,GAAG,WAAW,CAkC7G;AAED;;;GAGG;AACH,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,sBAAsB,EAAE,GAAG,EAAE,eAAe,GAAG,WAAW,CAgBtG"}
+{"version":3,"file":"scalar-function.d.ts","sourceRoot":"","sources":["../../../../src/runtime/emit/scalar-function.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AAC9E,OAAO,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAI/D,OAAO,EAAc,KAAK,YAAY,EAAE,KAAK,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAGrF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAI9D;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,wBAAgB,sBAAsB,CACrC,IAAI,EAAE,sBAAsB,GAC1B,CAAC,IAAI,EAAE,cAAc,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,KAAK,YAAY,CAAC,QAAQ,CAAC,CA2CvE;AAED;;;;;;GAMG;AACH,wBAAgB,6BAA6B,CAAC,IAAI,EAAE,sBAAsB,EAAE,GAAG,EAAE,eAAe,GAAG,WAAW,CAU7G;AAED;;;GAGG;AACH,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,sBAAsB,EAAE,GAAG,EAAE,eAAe,GAAG,WAAW,CAgBtG"}

package/dist/src/runtime/emit/scalar-function.js

@@ -2,33 +2,83 @@ import { asRun } from '../types.js';
 import { emitPlanNode, createValidatedInstruction } from '../emitters.js';
 import { QuereusError } from '../../common/errors.js';
 import { StatusCode } from '../../common/types.js';
+import { REPR_STRICT } from '../strict-flags.js';
+import { assertConformsToType } from '../strict-representation.js';
 import { isScalarFunctionSchema } from '../../schema/function.js';
 /**
- * Default emission logic for scalar function calls.
- * This is exported so custom emitters can call it if needed.
+ * The per-call body of a scalar function call: its emit-time arity assert, its
+ * implementation-error wrapping (carrying the call's source location) and its
+ * `REPR_STRICT` return-type check, all resolved once here rather than per row.
+ *
+ * Two consumers read this, exactly as {@link import('./scalar-op.js').ScalarOpSpec} has
+ * two: {@link emitScalarFunctionCallDefault} hands it to the scheduler as an
+ * `Instruction.run`, and the scalar-fusion compiler (`runtime/scalar-fusion.ts`)
+ * composes it directly into a fused closure. Keeping one copy is what stops a fused
+ * call and an instruction call from disagreeing on error text or evaluation counts.
+ *
+ * The return type is `MaybePromise<SqlValue>` because a registered implementation may
+ * be async — the scheduler resolves that, while fusion admits only bodies it has
+ * *proven* synchronous and guards the remainder. The body is variadic (a `ScalarFunc`
+ * is `(...args: SqlValue[])`), which is why it stays off `ScalarOpSpec`, whose
+ * `assertSpecArity` requires one declared parameter per operand.
+ *
+ * Assumes `plan.functionSchema` has already been validated as a scalar function schema
+ * by the caller (the entry point {@link emitScalarFunctionCall} checks it before
+ * dispatching here directly or via a `customEmitter`'s `defaultEmit`; the fusion arm
+ * declines when the check fails and lets the unfused path report it) — this function
+ * does not repeat the check.
  */
-export function emitScalarFunctionCallDefault(plan, ctx) {
+export function buildScalarFunctionRun(plan) {
     const functionName = plan.expression.name.toLowerCase();
-    const functionSchema = plan.functionSchema;
-    // Validate that it's a scalar function
-    if (!isScalarFunctionSchema(functionSchema)) {
-        throw new QuereusError(`Function ${functionName} is not a scalar function`, StatusCode.ERROR);
+    const scalarFunction = plan.functionSchema;
+    // Arity is a plan-time fact: the planner resolved this schema by arity, and both
+    // consumers evaluate exactly `plan.operands` — so a mismatch here can only be an
+    // emitter bug, not a per-call condition. Assert once at emit time instead of
+    // re-checking every row.
+    if (scalarFunction.numArgs >= 0 && plan.operands.length !== scalarFunction.numArgs) {
+        throw new QuereusError(`Internal error: function ${functionName} plan has ${plan.operands.length} operands, expected ${scalarFunction.numArgs}`, StatusCode.INTERNAL);
     }
-    function run(_rctx, ...args) {
-        // Use the pre-resolved function schema from the plan node
-        const scalarFunction = functionSchema;
-        // Validate argument count
-        if (scalarFunction.numArgs >= 0 && args.length !== scalarFunction.numArgs) {
-            throw new QuereusError(`Function ${functionName} called with ${args.length} arguments, expected ${scalarFunction.numArgs}`, StatusCode.ERROR);
-        }
+    // QUEREUS_REPR_STRICT seam: the value a function RETURNS, checked against its
+    // schema's declared return type. A UDF's output is one of the two boundaries the
+    // engine deliberately does not coerce (docs/types.md § Physical representation), so
+    // this is where a drifting implementation is caught. Resolved only when the flag is
+    // on — a normal emit does no type lookup for it.
+    const reprReturnType = REPR_STRICT ? scalarFunction.returnType.logicalType : undefined;
+    const reprWhere = REPR_STRICT
+        ? `the return value of function ${functionName}(${plan.operands.length})`
+        : '';
+    return function run(_rctx, ...args) {
+        let result;
         try {
-            return scalarFunction.implementation(...args);
+            result = scalarFunction.implementation(...args);
         }
         catch (error) {
             const message = error instanceof Error ? error.message : String(error);
             throw new QuereusError(`Function ${functionName} failed: ${message}`, StatusCode.ERROR, error instanceof Error ? error : undefined, plan.expression.loc?.start.line, plan.expression.loc?.start.column);
         }
-    }
+        // Checked OUTSIDE the try on purpose: inside, a representation violation would be
+        // re-reported as "Function <name> failed", hiding the seam its message names.
+        if (REPR_STRICT) {
+            if (result instanceof Promise) {
+                return result.then(value => {
+                    assertConformsToType(value, reprReturnType, reprWhere);
+                    return value;
+                });
+            }
+            assertConformsToType(result, reprReturnType, reprWhere);
+        }
+        return result;
+    };
+}
+/**
+ * Default emission logic for scalar function calls.
+ * This is exported so custom emitters can call it if needed.
+ *
+ * A thin wrapper over {@link buildScalarFunctionRun}: it emits one instruction param
+ * per operand and hands the shared body to the scheduler.
+ */
+export function emitScalarFunctionCallDefault(plan, ctx) {
+    const run = buildScalarFunctionRun(plan);
     const operandExprs = plan.operands.map(operand => emitPlanNode(operand, ctx));
     return createValidatedInstruction(operandExprs, asRun(run), ctx, `${plan.expression.name}(${plan.operands.length})`);
 }

package/dist/src/runtime/emit/scalar-function.js.map

@@ -1 +1 @@
-{"version":3,"file":"scalar-function.js","sourceRoot":"","sources":["../../../../src/runtime/emit/scalar-function.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AACpC,OAAO,EAAE,YAAY,EAAE,0BAA0B,EAAE,MAAM,gBAAgB,CAAC;AAC1E,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,UAAU,EAAmC,MAAM,uBAAuB,CAAC;AAGpF,OAAO,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AAElE;;;GAGG;AACH,MAAM,UAAU,6BAA6B,CAAC,IAA4B,EAAE,GAAoB;IAC/F,MAAM,YAAY,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;IACxD,MAAM,cAAc,GAAG,IAAI,CAAC,cAAc,CAAC;IAE3C,uCAAuC;IACvC,IAAI,CAAC,sBAAsB,CAAC,cAAc,CAAC,EAAE,CAAC;QAC7C,MAAM,IAAI,YAAY,CAAC,YAAY,YAAY,2BAA2B,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;IAC/F,CAAC;IAED,SAAS,GAAG,CAAC,KAAqB,EAAE,GAAG,IAAqB;QAC3D,0DAA0D;QAC1D,MAAM,cAAc,GAAG,cAAsC,CAAC;QAE9D,0BAA0B;QAC1B,IAAI,cAAc,CAAC,OAAO,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,cAAc,CAAC,OAAO,EAAE,CAAC;YAC3E,MAAM,IAAI,YAAY,CAAC,YAAY,YAAY,gBAAgB,IAAI,CAAC,MAAM,wBAAwB,cAAc,CAAC,OAAO,EAAE,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;QAC/I,CAAC;QAED,IAAI,CAAC;YACJ,OAAO,cAAc,CAAC,cAAc,CAAC,GAAG,IAAI,CAAC,CAAC;QAC/C,CAAC;QAAC,OAAO,KAAc,EAAE,CAAC;YACzB,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACvE,MAAM,IAAI,YAAY,CAAC,YAAY,YAAY,YAAY,OAAO,EAAE,EAAE,UAAU,CAAC,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QACzM,CAAC;IACF,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC;IAE9E,OAAO,0BAA0B,CAChC,YAAY,EACZ,KAAK,CAAC,GAAG,CAAC,EACV,GAAG,EACH,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAClD,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,sBAAsB,CAAC,IAA4B,EAAE,GAAoB;IACxF,MAAM,cAAc,GAAG,IAAI,CAAC,cAAc,CAAC;IAE3C,uCAAuC;IACvC,IAAI,CAAC,sBAAsB,CAAC,cAAc,CAAC,EAAE,CAAC;QAC7C,MAAM,YAAY,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;QACxD,MAAM,IAAI,YAAY,CAAC,YAAY,YAAY,2BAA2B,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;IAC/F,CAAC;IAED,yCAAyC;IACzC,IAAI,cAAc,CAAC,aAAa,EAAE,CAAC;QAClC,OAAO,cAAc,CAAC,aAAa,CAAC,IAAI,EAAE,GAAG,EAAE,6BAA6B,CAAC,CAAC;IAC/E,CAAC;IAED,6BAA6B;IAC7B,OAAO,6BAA6B,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;AACjD,CAAC"}
+{"version":3,"file":"scalar-function.js","sourceRoot":"","sources":["../../../../src/runtime/emit/scalar-function.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AACpC,OAAO,EAAE,YAAY,EAAE,0BAA0B,EAAE,MAAM,gBAAgB,CAAC;AAC1E,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,UAAU,EAAoC,MAAM,uBAAuB,CAAC;AACrF,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AAGnE,OAAO,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AAElE;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,UAAU,sBAAsB,CACrC,IAA4B;IAE5B,MAAM,YAAY,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;IACxD,MAAM,cAAc,GAAG,IAAI,CAAC,cAAsC,CAAC;IAEnE,iFAAiF;IACjF,iFAAiF;IACjF,6EAA6E;IAC7E,yBAAyB;IACzB,IAAI,cAAc,CAAC,OAAO,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,cAAc,CAAC,OAAO,EAAE,CAAC;QACpF,MAAM,IAAI,YAAY,CAAC,4BAA4B,YAAY,aAAa,IAAI,CAAC,QAAQ,CAAC,MAAM,uBAAuB,cAAc,CAAC,OAAO,EAAE,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;IACvK,CAAC;IAED,8EAA8E;IAC9E,iFAAiF;IACjF,oFAAoF;IACpF,oFAAoF;IACpF,iDAAiD;IACjD,MAAM,cAAc,GAAG,WAAW,CAAC,CAAC,CAAC,cAAc,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC;IACvF,MAAM,SAAS,GAAG,WAAW;QAC5B,CAAC,CAAC,gCAAgC,YAAY,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG;QACzE,CAAC,CAAC,EAAE,CAAC;IAEN,OAAO,SAAS,GAAG,CAAC,KAAqB,EAAE,GAAG,IAAqB;QAClE,IAAI,MAA8B,CAAC;QACnC,IAAI,CAAC;YACJ,MAAM,GAAG,cAAc,CAAC,cAAc,CAAC,GAAG,IAAI,CAAC,CAAC;QACjD,CAAC;QAAC,OAAO,KAAc,EAAE,CAAC;YACzB,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACvE,MAAM,IAAI,YAAY,CAAC,YAAY,YAAY,YAAY,OAAO,EAAE,EAAE,UAAU,CAAC,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QACzM,CAAC;QACD,kFAAkF;QAClF,8EAA8E;QAC9E,IAAI,WAAW,EAAE,CAAC;YACjB,IAAI,MAAM,YAAY,OAAO,EAAE,CAAC;gBAC/B,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE;oBAC1B,oBAAoB,CAAC,KAAK,EAAE,cAAe,EAAE,SAAS,CAAC,CAAC;oBACxD,OAAO,KAAK,CAAC;gBACd,CAAC,CAAC,CAAC;YACJ,CAAC;YACD,oBAAoB,CAAC,MAAM,EAAE,cAAe,EAAE,SAAS,CAAC,CAAC;QAC1D,CAAC;QACD,OAAO,MAAM,CAAC;IACf,CAAC,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,6BAA6B,CAAC,IAA4B,EAAE,GAAoB;IAC/F,MAAM,GAAG,GAAG,sBAAsB,CAAC,IAAI,CAAC,CAAC;IACzC,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC;IAE9E,OAAO,0BAA0B,CAChC,YAAY,EACZ,KAAK,CAAC,GAAG,CAAC,EACV,GAAG,EACH,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAClD,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,sBAAsB,CAAC,IAA4B,EAAE,GAAoB;IACxF,MAAM,cAAc,GAAG,IAAI,CAAC,cAAc,CAAC;IAE3C,uCAAuC;IACvC,IAAI,CAAC,sBAAsB,CAAC,cAAc,CAAC,EAAE,CAAC;QAC7C,MAAM,YAAY,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;QACxD,MAAM,IAAI,YAAY,CAAC,YAAY,YAAY,2BAA2B,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;IAC/F,CAAC;IAED,yCAAyC;IACzC,IAAI,cAAc,CAAC,aAAa,EAAE,CAAC;QAClC,OAAO,cAAc,CAAC,aAAa,CAAC,IAAI,EAAE,GAAG,EAAE,6BAA6B,CAAC,CAAC;IAC/E,CAAC;IAED,6BAA6B;IAC7B,OAAO,6BAA6B,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;AACjD,CAAC"}

package/dist/src/runtime/emit/scalar-op.d.ts

@@ -0,0 +1,63 @@
+import { type SqlValue } from '../../common/types.js';
+import type { Instruction, RuntimeContext } from '../types.js';
+import type { ScalarPlanNode } from '../../planner/nodes/plan-node.js';
+import type { EmissionContext } from '../emission-context.js';
+/**
+ * The synchronous body of one scalar operation: it receives the runtime context plus
+ * one already-evaluated value per declared operand, and returns a plain value.
+ *
+ * A fixed-arity body (`(ctx, v1: SqlValue, v2: SqlValue) => SqlValue`) assigns to this
+ * rest signature directly — no `asRun`-style cast is needed, and every declared param
+ * and the return stay checked against `SqlValue`.
+ *
+ * What a rest signature cannot check is that the body's arity matches `operands.length`
+ * — a spec declaring two operands with a body taking one compiles, and the extra value
+ * is silently dropped at runtime. `buildLikeOpSpec` varies both together between its two
+ * paths, so the pairing is not statically detectable in general; {@link assertSpecArity}
+ * checks it at emit time instead.
+ *
+ * Deliberately NOT widened to `OutputValue`. A spec body that could return a Promise
+ * would be unusable by the fusion consumer described on {@link ScalarOpSpec}, so an
+ * emitter whose body is genuinely async keeps building its own `Instruction` instead
+ * of being forced through here.
+ */
+export type ScalarOpRun = (ctx: RuntimeContext, ...args: SqlValue[]) => SqlValue;
+/**
+ * Emit-time description of one scalar node's evaluation: the operand plan nodes whose
+ * values it consumes, and the synchronous body that combines them.
+ *
+ * Two consumers read this. {@link emitScalarOp} emits each operand as an `Instruction`
+ * param and hands the body to the scheduler as the instruction's `run` — today's
+ * behavior. The scalar-fusion compiler instead composes each operand's own fused
+ * closure into a direct call, with no scheduler and no per-row allocation. Both must
+ * agree exactly, which is why the body lives here and not inside either one.
+ *
+ * `operands` is the list that becomes `Instruction.params` — NOT the plan node's
+ * children. `buildLikeOpSpec`'s constant-pattern fast path bakes its right operand into the
+ * closure and declares one operand; the spec describes what is actually evaluated.
+ */
+export interface ScalarOpSpec {
+    readonly operands: readonly ScalarPlanNode[];
+    readonly run: ScalarOpRun;
+    readonly note: string;
+}
+/**
+ * Emit-time guard that a spec's body takes exactly one parameter per declared operand,
+ * plus the leading context. A mismatch is an emitter bug, not a per-row condition, and
+ * it is otherwise silent: the scheduler spreads `params.length` args into a body that
+ * ignores the tail, and a fused call would drop the same values.
+ *
+ * NOTE: a body with a rest signature (`(ctx, ...args)`) or a defaulted parameter reports
+ * a `Function.length` that stops short, so it trips this. No spec is variadic today —
+ * `buildScalarFunctionRun` (emit/scalar-function.ts), the one variadic scalar body,
+ * deliberately stays off `ScalarOpSpec` and is composed by the fusion compiler without
+ * this guard. A future variadic spec needs an explicit opt-out here, not a weakened
+ * check for everyone.
+ *
+ * Exported for the scalar-fusion compiler (runtime/scalar-fusion.ts), which composes
+ * spec bodies without going through {@link emitScalarOp} and needs the same guard.
+ */
+export declare function assertSpecArity(spec: ScalarOpSpec): void;
+/** Emit a spec as the `Instruction` its emitter returned before this factoring. */
+export declare function emitScalarOp(spec: ScalarOpSpec, ctx: EmissionContext): Instruction;
+//# sourceMappingURL=scalar-op.d.ts.map

package/dist/src/runtime/emit/scalar-op.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"scalar-op.d.ts","sourceRoot":"","sources":["../../../../src/runtime/emit/scalar-op.ts"],"names":[],"mappings":"AAAA,OAAO,EAAc,KAAK,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAElE,OAAO,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAE/D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kCAAkC,CAAC;AAEvE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAE9D;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,MAAM,WAAW,GAAG,CAAC,GAAG,EAAE,cAAc,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,KAAK,QAAQ,CAAC;AAEjF;;;;;;;;;;;;;GAaG;AACH,MAAM,WAAW,YAAY;IAC5B,QAAQ,CAAC,QAAQ,EAAE,SAAS,cAAc,EAAE,CAAC;IAC7C,QAAQ,CAAC,GAAG,EAAE,WAAW,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACtB;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,YAAY,GAAG,IAAI,CAQxD;AAED,mFAAmF;AACnF,wBAAgB,YAAY,CAAC,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,eAAe,GAAG,WAAW,CAOlF"}

package/dist/src/runtime/emit/scalar-op.js

@@ -0,0 +1,37 @@
+import { StatusCode } from '../../common/types.js';
+import { QuereusError } from '../../common/errors.js';
+import { asRun } from '../types.js';
+import { emitPlanNode } from '../emitters.js';
+/**
+ * Emit-time guard that a spec's body takes exactly one parameter per declared operand,
+ * plus the leading context. A mismatch is an emitter bug, not a per-row condition, and
+ * it is otherwise silent: the scheduler spreads `params.length` args into a body that
+ * ignores the tail, and a fused call would drop the same values.
+ *
+ * NOTE: a body with a rest signature (`(ctx, ...args)`) or a defaulted parameter reports
+ * a `Function.length` that stops short, so it trips this. No spec is variadic today —
+ * `buildScalarFunctionRun` (emit/scalar-function.ts), the one variadic scalar body,
+ * deliberately stays off `ScalarOpSpec` and is composed by the fusion compiler without
+ * this guard. A future variadic spec needs an explicit opt-out here, not a weakened
+ * check for everyone.
+ *
+ * Exported for the scalar-fusion compiler (runtime/scalar-fusion.ts), which composes
+ * spec bodies without going through {@link emitScalarOp} and needs the same guard.
+ */
+export function assertSpecArity(spec) {
+    const expected = spec.operands.length + 1;
+    if (spec.run.length !== expected) {
+        throw new QuereusError(`Internal error: scalar op '${spec.note}' declares ${spec.operands.length} operand(s) `
+            + `but its body takes ${spec.run.length - 1}`, StatusCode.INTERNAL);
+    }
+}
+/** Emit a spec as the `Instruction` its emitter returned before this factoring. */
+export function emitScalarOp(spec, ctx) {
+    assertSpecArity(spec);
+    return {
+        params: spec.operands.map(operand => emitPlanNode(operand, ctx)),
+        run: asRun(spec.run),
+        note: spec.note,
+    };
+}
+//# sourceMappingURL=scalar-op.js.map

package/dist/src/runtime/emit/scalar-op.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scalar-op.js","sourceRoot":"","sources":["../../../../src/runtime/emit/scalar-op.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAiB,MAAM,uBAAuB,CAAC;AAClE,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAEtD,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAEpC,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AA4C9C;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,eAAe,CAAC,IAAkB;IACjD,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;IAC1C,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAClC,MAAM,IAAI,YAAY,CACrB,8BAA8B,IAAI,CAAC,IAAI,cAAc,IAAI,CAAC,QAAQ,CAAC,MAAM,cAAc;cACrF,sBAAsB,IAAI,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,EAC7C,UAAU,CAAC,QAAQ,CAAC,CAAC;IACvB,CAAC;AACF,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,YAAY,CAAC,IAAkB,EAAE,GAAoB;IACpE,eAAe,CAAC,IAAI,CAAC,CAAC;IACtB,OAAO;QACN,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QAChE,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC;QACpB,IAAI,EAAE,IAAI,CAAC,IAAI;KACf,CAAC;AACH,CAAC"}

package/dist/src/runtime/emit/scan.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"scan.d.ts","sourceRoot":"","sources":["../../../../src/runtime/emit/scan.ts"],"names":[],"mappings":"AAAA,OAAO,EAAwB,KAAK,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAC5E,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,2CAA2C,CAAC;AAItG,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAC5D,OAAO,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAE/D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAM9D;;;;;;;;GAQG;AACH,MAAM,MAAM,kBAAkB,GAAG,CAChC,cAAc,EAAE,UAAU,EAC1B,UAAU,EAAE,cAAc,EAC1B,WAAW,EAAE,QAAQ,EAAE,KACnB,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;AAEtC;;;;;;GAMG;AACH,wBAAgB,WAAW,CAC1B,IAAI,EAAE,WAAW,GAAG,aAAa,GAAG,aAAa,EACjD,GAAG,EAAE,eAAe,EACpB,kBAAkB,CAAC,EAAE,kBAAkB,GACrC,WAAW,CAuJb"}
+{"version":3,"file":"scan.d.ts","sourceRoot":"","sources":["../../../../src/runtime/emit/scan.ts"],"names":[],"mappings":"AAAA,OAAO,EAAwB,KAAK,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAC5E,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,2CAA2C,CAAC;AAItG,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAC5D,OAAO,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAE/D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAQ9D;;;;;;;;GAQG;AACH,MAAM,MAAM,kBAAkB,GAAG,CAChC,cAAc,EAAE,UAAU,EAC1B,UAAU,EAAE,cAAc,EAC1B,WAAW,EAAE,QAAQ,EAAE,KACnB,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;AAEtC;;;;;;GAMG;AACH,wBAAgB,WAAW,CAC1B,IAAI,EAAE,WAAW,GAAG,aAAa,GAAG,aAAa,EACjD,GAAG,EAAE,eAAe,EACpB,kBAAkB,CAAC,EAAE,kBAAkB,GACrC,WAAW,CAuKb"}

package/dist/src/runtime/emit/scan.js

@@ -6,6 +6,8 @@ import { createValidatedInstruction, emitPlanNode } from "../emitters.js";
 import { disconnectVTable } from "../utils.js";
 import { buildRowDescriptor } from "../../util/row-descriptor.js";
 import { createRowSlot } from "../context-helpers.js";
+import { REPR_STRICT } from "../strict-flags.js";
+import { assertRowConforms, RepresentationError } from "../strict-representation.js";
 /**
  * Emits instructions for physical table access nodes (SeqScan, IndexScan, IndexSeek).
  *
@@ -33,6 +35,16 @@ export function emitSeqScan(plan, ctx, filterInfoOverride) {
     // scan site — a self-join's two scans over the same table get different keys and
     // therefore isolated instances. Mirrors the executionMemo symbol pattern.
     const scanConnectionKey = Symbol(`scan:${plan.nodeType}(${schema.name})`);
+    // QUEREUS_REPR_STRICT seam: rows leaving a module's `query()`, checked against the
+    // table's declared column types. Catches a non-conforming module (in-tree or
+    // third-party) at its OWN boundary rather than three layers downstream. Everything
+    // the check needs is built here only when the flag is on, so a normal emit allocates
+    // nothing on its behalf.
+    const reprColumnTypes = REPR_STRICT ? schema.columns.map(col => col.logicalType) : undefined;
+    const reprColumnNames = REPR_STRICT ? schema.columns.map(col => col.name) : undefined;
+    const reprWhere = REPR_STRICT
+        ? `module '${schema.vtabModuleName}' query() row for ${schema.schemaName}.${schema.name}`
+        : '';
     async function* run(runtimeCtx, ...dynamicArgs) {
         // Use the captured module info instead of doing a fresh lookup
         const capturedModuleInfo = ctx.getCapturedSchemaObject(moduleKey);
@@ -113,13 +125,19 @@ export function emitSeqScan(plan, ctx, filterInfoOverride) {
                 // checkpoint — the inner scan layers (safeIterate/scanLayer) went sync,
                 // so do not remove it expecting an inner checkpoint to cover the scan.
                 throwIfAborted(runtimeCtx.signal);
+                // Synchronous and inside this loop on purpose: enabling the flag must not
+                // introduce a microtask hop into the scan's fast path (docs/runtime.md).
+                if (REPR_STRICT)
+                    assertRowConforms(row, reprColumnTypes, reprWhere, reprColumnNames);
                 rowSlot.set(row);
                 yield row;
             }
         }
         catch (e) {
             // Preserve cancellation identity — don't re-wrap it as a generic query error.
-            if (e instanceof AbortError)
+            // A representation violation is likewise rethrown verbatim: re-wrapping it
+            // would bury the seam/column/type detail its message exists to carry.
+            if (e instanceof AbortError || e instanceof RepresentationError)
                 throw e;
             const message = e instanceof Error ? e.message : String(e);
             throw new QuereusError(`Error during query on table '${schema.name}': ${message}`, e instanceof QuereusError ? e.code : StatusCode.ERROR, e instanceof Error ? e : undefined);

package/dist/src/runtime/emit/scan.js.map

@@ -1 +1 @@
-{"version":3,"file":"scan.js","sourceRoot":"","sources":["../../../../src/runtime/emit/scan.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAA2B,MAAM,uBAAuB,CAAC;AAC5E,OAAO,EAA8B,aAAa,EAAE,MAAM,2CAA2C,CAAC;AACtG,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAKlF,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAEpC,OAAO,EAAE,0BAA0B,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC1E,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,EAAE,kBAAkB,EAAE,MAAM,8BAA8B,CAAC;AAClE,OAAO,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAiBtD;;;;;;GAMG;AACH,MAAM,UAAU,WAAW,CAC1B,IAAiD,EACjD,GAAoB,EACpB,kBAAuC;IAEvC,+BAA+B;IAC/B,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3B,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC;IAElC,gEAAgE;IAChE,MAAM,aAAa,GAAG,kBAAkB,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC;IAE/D,6EAA6E;IAC7E,MAAM,UAAU,GAAG,GAAG,CAAC,aAAa,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;IAC5D,IAAI,CAAC,UAAU,EAAE,CAAC;QACjB,MAAM,IAAI,YAAY,CAAC,yBAAyB,MAAM,CAAC,cAAc,aAAa,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;IACvG,CAAC;IAED,oDAAoD;IACpD,MAAM,SAAS,GAAG,eAAe,MAAM,CAAC,cAAc,EAAE,CAAC;IAEzD,kEAAkE;IAClE,gFAAgF;IAChF,8EAA8E;IAC9E,6EAA6E;IAC7E,iFAAiF;IACjF,0EAA0E;IAC1E,MAAM,iBAAiB,GAAG,MAAM,CAAC,QAAQ,IAAI,CAAC,QAAQ,IAAI,MAAM,CAAC,IAAI,GAAG,CAAC,CAAC;IAE1E,KAAK,SAAS,CAAC,CAAC,GAAG,CAAC,UAA0B,EAAE,GAAG,WAAuB;QACzE,+DAA+D;QAC/D,MAAM,kBAAkB,GAAG,GAAG,CAAC,uBAAuB,CAAuD,SAAS,CAAC,CAAC;QACxH,IAAI,CAAC,kBAAkB,EAAE,CAAC;YACzB,MAAM,IAAI,YAAY,CAAC,yBAAyB,MAAM,CAAC,cAAc,oCAAoC,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;QACjI,CAAC;QAED,MAAM,MAAM,GAAG,kBAAkB,CAAC,MAAM,CAAC;QACzC,IAAI,OAAO,MAAM,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;YAC1C,MAAM,IAAI,YAAY,CAAC,yBAAyB,MAAM,CAAC,cAAc,8BAA8B,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;QACzH,CAAC;QAED,8EAA8E;QAC9E,+EAA+E;QAC/E,+EAA+E;QAC/E,2EAA2E;QAC3E,sEAAsE;QACtE,MAAM,eAAe,GAAG,UAAU,CAAC,eAAe,CAAC;QACnD,MAAM,cAAc,GAAG,eAAe,EAAE,GAAG,CAAC,iBAAiB,CAAC,CAAC;QAC/D,+EAA+E;QAC/E,yEAAyE;QACzE,IAAI,YAAY,GAAG,KAAK,CAAC;QACzB,IAAI,YAA0B,CAAC;QAC/B,IAAI,cAAc,EAAE,CAAC;YACpB,YAAY,GAAG,cAAc,CAAC;QAC/B,CAAC;aAAM,CAAC;YACP,iFAAiF;YACjF,+EAA+E;YAC/E,gFAAgF;YAChF,kFAAkF;YAClF,+EAA+E;YAC/E,iFAAiF;YACjF,iFAAiF;YACjF,wDAAwD;YACxD,MAAM,aAAa,GAAG,UAAU,CAAC,cAAc,EAAE,GAAG,CACnD,GAAG,MAAM,CAAC,UAAU,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC;YACrE,IAAI,CAAC;gBACJ,MAAM,OAAO,GAAqB;oBACjC,GAAG,CAAC,MAAM,CAAC,QAAQ,IAAI,EAAE,CAAC;oBAC1B,mEAAmE;oBACnE,qEAAqE;oBACrE,2EAA2E;oBAC3E,GAAG,CAAC,CAAC,MAAM,CAAC,aAAa,IAAI,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBACvF,CAAC;gBACF,YAAY,GAAG,MAAM,MAAM,CAAC,OAAO,CAClC,UAAU,CAAC,EAAE,EACb,kBAAkB,CAAC,OAAO,EAC1B,MAAM,CAAC,cAAc,EACrB,MAAM,CAAC,UAAU,EACjB,aAAa,EACb,OAAO,CACP,CAAC;YACH,CAAC;YAAC,OAAO,CAAU,EAAE,CAAC;gBACrB,MAAM,OAAO,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;gBAC3D,MAAM,IAAI,YAAY,CAAC,WAAW,MAAM,CAAC,cAAc,+BAA+B,aAAa,MAAM,OAAO,EAAE,EAAE,CAAC,YAAY,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;YAChN,CAAC;YAED,IAAI,eAAe,EAAE,CAAC;gBACrB,eAAe,CAAC,GAAG,CAAC,iBAAiB,EAAE,YAAY,CAAC,CAAC;YACtD,CAAC;iBAAM,CAAC;gBACP,YAAY,GAAG,IAAI,CAAC;YACrB,CAAC;QACF,CAAC;QAED,MAAM,OAAO,GAAG,aAAa,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC;QACzD,IAAI,CAAC;YACJ,4EAA4E;YAC5E,IAAI,mBAAmB,GAAe,CAAC,IAAI,YAAY,aAAa,IAAI,WAAW,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC;gBAC7G,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,UAAU,EAAE,IAAI,EAAE,WAAW,EAAE;gBAC3C,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC;YAEnB,IAAI,kBAAkB,EAAE,CAAC;gBACxB,mBAAmB,GAAG,MAAM,kBAAkB,CAAC,mBAAmB,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;YAC9F,CAAC;YAED,IAAI,OAAO,YAAY,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;gBAC9C,2EAA2E;gBAC3E,0EAA0E;gBAC1E,6EAA6E;gBAC7E,MAAM,IAAI,YAAY,CAAC,kBAAkB,MAAM,CAAC,IAAI,2BAA2B,EAAE,UAAU,CAAC,WAAW,CAAC,CAAC;YAC1G,CAAC;YAED,MAAM,gBAAgB,GAAG,YAAY,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;YACjE,cAAc,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;YAClC,IAAI,KAAK,EAAE,MAAM,GAAG,IAAI,gBAAgB,EAAE,CAAC;gBAC1C,iEAAiE;gBACjE,oEAAoE;gBACpE,2DAA2D;gBAC3D,sEAAsE;gBACtE,wEAAwE;gBACxE,uEAAuE;gBACvE,cAAc,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;gBAClC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACjB,MAAM,GAAG,CAAC;YACX,CAAC;QACF,CAAC;QAAC,OAAO,CAAU,EAAE,CAAC;YACrB,8EAA8E;YAC9E,IAAI,CAAC,YAAY,UAAU;gBAAE,MAAM,CAAC,CAAC;YACrC,MAAM,OAAO,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC3D,MAAM,IAAI,YAAY,CAAC,gCAAgC,MAAM,CAAC,IAAI,MAAM,OAAO,EAAE,EAAE,CAAC,YAAY,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAC/K,CAAC;gBAAS,CAAC;YACV,+DAA+D;YAC/D,OAAO,CAAC,KAAK,EAAE,CAAC;YAChB,2EAA2E;YAC3E,4EAA4E;YAC5E,wDAAwD;YACxD,IAAI,YAAY,EAAE,CAAC;gBAClB,MAAM,gBAAgB,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;YAClD,CAAC;QACF,CAAC;IACF,CAAC;IAED,qEAAqE;IACrE,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,IAAI,IAAI,YAAY,aAAa,EAAE,CAAC;QACnC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;YACtC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACrC,CAAC;IACF,CAAC;IAED,OAAO,0BAA0B,CAChC,MAAM,EACN,KAAK,CAAC,GAAG,CAAC,EACV,GAAG,EACH,GAAG,IAAI,CAAC,QAAQ,IAAI,MAAM,CAAC,IAAI,GAAG,CAClC,CAAC;AACH,CAAC"}
+{"version":3,"file":"scan.js","sourceRoot":"","sources":["../../../../src/runtime/emit/scan.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAA2B,MAAM,uBAAuB,CAAC;AAC5E,OAAO,EAA8B,aAAa,EAAE,MAAM,2CAA2C,CAAC;AACtG,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAKlF,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAEpC,OAAO,EAAE,0BAA0B,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC1E,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,EAAE,kBAAkB,EAAE,MAAM,8BAA8B,CAAC;AAClE,OAAO,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAiBrF;;;;;;GAMG;AACH,MAAM,UAAU,WAAW,CAC1B,IAAiD,EACjD,GAAoB,EACpB,kBAAuC;IAEvC,+BAA+B;IAC/B,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3B,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC;IAElC,gEAAgE;IAChE,MAAM,aAAa,GAAG,kBAAkB,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC;IAE/D,6EAA6E;IAC7E,MAAM,UAAU,GAAG,GAAG,CAAC,aAAa,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;IAC5D,IAAI,CAAC,UAAU,EAAE,CAAC;QACjB,MAAM,IAAI,YAAY,CAAC,yBAAyB,MAAM,CAAC,cAAc,aAAa,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;IACvG,CAAC;IAED,oDAAoD;IACpD,MAAM,SAAS,GAAG,eAAe,MAAM,CAAC,cAAc,EAAE,CAAC;IAEzD,kEAAkE;IAClE,gFAAgF;IAChF,8EAA8E;IAC9E,6EAA6E;IAC7E,iFAAiF;IACjF,0EAA0E;IAC1E,MAAM,iBAAiB,GAAG,MAAM,CAAC,QAAQ,IAAI,CAAC,QAAQ,IAAI,MAAM,CAAC,IAAI,GAAG,CAAC,CAAC;IAE1E,mFAAmF;IACnF,6EAA6E;IAC7E,mFAAmF;IACnF,qFAAqF;IACrF,yBAAyB;IACzB,MAAM,eAAe,GAAG,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC7F,MAAM,eAAe,GAAG,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACtF,MAAM,SAAS,GAAG,WAAW;QAC5B,CAAC,CAAC,WAAW,MAAM,CAAC,cAAc,qBAAqB,MAAM,CAAC,UAAU,IAAI,MAAM,CAAC,IAAI,EAAE;QACzF,CAAC,CAAC,EAAE,CAAC;IAEN,KAAK,SAAS,CAAC,CAAC,GAAG,CAAC,UAA0B,EAAE,GAAG,WAAuB;QACzE,+DAA+D;QAC/D,MAAM,kBAAkB,GAAG,GAAG,CAAC,uBAAuB,CAAuD,SAAS,CAAC,CAAC;QACxH,IAAI,CAAC,kBAAkB,EAAE,CAAC;YACzB,MAAM,IAAI,YAAY,CAAC,yBAAyB,MAAM,CAAC,cAAc,oCAAoC,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;QACjI,CAAC;QAED,MAAM,MAAM,GAAG,kBAAkB,CAAC,MAAM,CAAC;QACzC,IAAI,OAAO,MAAM,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;YAC1C,MAAM,IAAI,YAAY,CAAC,yBAAyB,MAAM,CAAC,cAAc,8BAA8B,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;QACzH,CAAC;QAED,8EAA8E;QAC9E,+EAA+E;QAC/E,+EAA+E;QAC/E,2EAA2E;QAC3E,sEAAsE;QACtE,MAAM,eAAe,GAAG,UAAU,CAAC,eAAe,CAAC;QACnD,MAAM,cAAc,GAAG,eAAe,EAAE,GAAG,CAAC,iBAAiB,CAAC,CAAC;QAC/D,+EAA+E;QAC/E,yEAAyE;QACzE,IAAI,YAAY,GAAG,KAAK,CAAC;QACzB,IAAI,YAA0B,CAAC;QAC/B,IAAI,cAAc,EAAE,CAAC;YACpB,YAAY,GAAG,cAAc,CAAC;QAC/B,CAAC;aAAM,CAAC;YACP,iFAAiF;YACjF,+EAA+E;YAC/E,gFAAgF;YAChF,kFAAkF;YAClF,+EAA+E;YAC/E,iFAAiF;YACjF,iFAAiF;YACjF,wDAAwD;YACxD,MAAM,aAAa,GAAG,UAAU,CAAC,cAAc,EAAE,GAAG,CACnD,GAAG,MAAM,CAAC,UAAU,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC;YACrE,IAAI,CAAC;gBACJ,MAAM,OAAO,GAAqB;oBACjC,GAAG,CAAC,MAAM,CAAC,QAAQ,IAAI,EAAE,CAAC;oBAC1B,mEAAmE;oBACnE,qEAAqE;oBACrE,2EAA2E;oBAC3E,GAAG,CAAC,CAAC,MAAM,CAAC,aAAa,IAAI,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBACvF,CAAC;gBACF,YAAY,GAAG,MAAM,MAAM,CAAC,OAAO,CAClC,UAAU,CAAC,EAAE,EACb,kBAAkB,CAAC,OAAO,EAC1B,MAAM,CAAC,cAAc,EACrB,MAAM,CAAC,UAAU,EACjB,aAAa,EACb,OAAO,CACP,CAAC;YACH,CAAC;YAAC,OAAO,CAAU,EAAE,CAAC;gBACrB,MAAM,OAAO,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;gBAC3D,MAAM,IAAI,YAAY,CAAC,WAAW,MAAM,CAAC,cAAc,+BAA+B,aAAa,MAAM,OAAO,EAAE,EAAE,CAAC,YAAY,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;YAChN,CAAC;YAED,IAAI,eAAe,EAAE,CAAC;gBACrB,eAAe,CAAC,GAAG,CAAC,iBAAiB,EAAE,YAAY,CAAC,CAAC;YACtD,CAAC;iBAAM,CAAC;gBACP,YAAY,GAAG,IAAI,CAAC;YACrB,CAAC;QACF,CAAC;QAED,MAAM,OAAO,GAAG,aAAa,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC;QACzD,IAAI,CAAC;YACJ,4EAA4E;YAC5E,IAAI,mBAAmB,GAAe,CAAC,IAAI,YAAY,aAAa,IAAI,WAAW,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC;gBAC7G,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,UAAU,EAAE,IAAI,EAAE,WAAW,EAAE;gBAC3C,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC;YAEnB,IAAI,kBAAkB,EAAE,CAAC;gBACxB,mBAAmB,GAAG,MAAM,kBAAkB,CAAC,mBAAmB,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;YAC9F,CAAC;YAED,IAAI,OAAO,YAAY,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;gBAC9C,2EAA2E;gBAC3E,0EAA0E;gBAC1E,6EAA6E;gBAC7E,MAAM,IAAI,YAAY,CAAC,kBAAkB,MAAM,CAAC,IAAI,2BAA2B,EAAE,UAAU,CAAC,WAAW,CAAC,CAAC;YAC1G,CAAC;YAED,MAAM,gBAAgB,GAAG,YAAY,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;YACjE,cAAc,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;YAClC,IAAI,KAAK,EAAE,MAAM,GAAG,IAAI,gBAAgB,EAAE,CAAC;gBAC1C,iEAAiE;gBACjE,oEAAoE;gBACpE,2DAA2D;gBAC3D,sEAAsE;gBACtE,wEAAwE;gBACxE,uEAAuE;gBACvE,cAAc,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;gBAClC,0EAA0E;gBAC1E,yEAAyE;gBACzE,IAAI,WAAW;oBAAE,iBAAiB,CAAC,GAAG,EAAE,eAAgB,EAAE,SAAS,EAAE,eAAe,CAAC,CAAC;gBACtF,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACjB,MAAM,GAAG,CAAC;YACX,CAAC;QACF,CAAC;QAAC,OAAO,CAAU,EAAE,CAAC;YACrB,8EAA8E;YAC9E,2EAA2E;YAC3E,sEAAsE;YACtE,IAAI,CAAC,YAAY,UAAU,IAAI,CAAC,YAAY,mBAAmB;gBAAE,MAAM,CAAC,CAAC;YACzE,MAAM,OAAO,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC3D,MAAM,IAAI,YAAY,CAAC,gCAAgC,MAAM,CAAC,IAAI,MAAM,OAAO,EAAE,EAAE,CAAC,YAAY,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAC/K,CAAC;gBAAS,CAAC;YACV,+DAA+D;YAC/D,OAAO,CAAC,KAAK,EAAE,CAAC;YAChB,2EAA2E;YAC3E,4EAA4E;YAC5E,wDAAwD;YACxD,IAAI,YAAY,EAAE,CAAC;gBAClB,MAAM,gBAAgB,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;YAClD,CAAC;QACF,CAAC;IACF,CAAC;IAED,qEAAqE;IACrE,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,IAAI,IAAI,YAAY,aAAa,EAAE,CAAC;QACnC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;YACtC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACrC,CAAC;IACF,CAAC;IAED,OAAO,0BAA0B,CAChC,MAAM,EACN,KAAK,CAAC,GAAG,CAAC,EACV,GAAG,EACH,GAAG,IAAI,CAAC,QAAQ,IAAI,MAAM,CAAC,IAAI,GAAG,CAClC,CAAC;AACH,CAAC"}

package/dist/src/runtime/emit/temporal-arithmetic.d.ts

@@ -1,18 +1,16 @@
 import type { SqlValue } from "../../common/types.js";
-import type { Instruction } from "../types.js";
-import type { BinaryOpNode } from "../../planner/nodes/scalar.js";
-import type { EmissionContext } from "../emission-context.js";
 /**
  * Try to perform temporal arithmetic on two values.
  * Returns the result if successful, or undefined if the values are not temporal types.
  * Throws QuereusError if the operation is invalid.
+ *
+ * Which combinations exist, what each produces, and what each announces as its result
+ * type all live in one table (`types/temporal-ops.ts`) that the planner reads too. This
+ * function is the *value-sniffed* entry into that table: it derives both operand kinds
+ * from the runtime values, which is the defined behavior whenever the declared types
+ * cannot settle the case (a TEXT column holding a duration string, for instance).
  */
 export declare function tryTemporalArithmetic(operator: string, v1: SqlValue, v2: SqlValue): SqlValue | undefined;
-/**
- * Emit temporal arithmetic operations
- * Handles operations between temporal types (DATE, TIME, DATETIME, TIMESPAN)
- */
-export declare function emitTemporalArithmetic(plan: BinaryOpNode, ctx: EmissionContext): Instruction;
 /**
  * Attempts to perform temporal comparison. Returns undefined if not a temporal comparison.
  * This allows the caller to fall back to standard comparison logic.
@@ -24,6 +22,18 @@ export declare function emitTemporalArithmetic(plan: BinaryOpNode, ctx: Emission
  * Note: DATE, TIME, and DATETIME use ISO 8601 format which compares correctly lexicographically,
  * so they don't need special handling here.
  *
+ * NOTE: deliberately NOT given the emit-time specialization `buildNumericOpSpec`'s temporal
+ * arm got. The shapes look alike, but the economics do not:
+ *  - the per-row cost here is one `startsWith` per operand, not four regexes — TIMESPAN is
+ *    the only temporal type whose text order differs from its semantic order, so it is the
+ *    only one {@link tryTemporalCompare} probes for;
+ *  - `buildComparisonOpSpec` already bypasses this function for the hot case: two operands
+ *    of the same semantic-ordering type take the `sharedSemanticType` path
+ *    (`=(compare-typed)`) and never reach the generic comparison run;
+ *  - what is left is the mixed TIMESPAN-vs-TEXT/ANY shape, where runtime sniffing is the
+ *    defined semantics and cannot be resolved from the declared types anyway.
+ * Revisit only if a profile shows the generic comparison run hot on temporal operands.
+ *
  * @param operator The comparison operator (=, !=, <, <=, >, >=)
  * @param v1 First value
  * @param v2 Second value

package/dist/src/runtime/emit/temporal-arithmetic.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"temporal-arithmetic.d.ts","sourceRoot":"","sources":["../../../../src/runtime/emit/temporal-arithmetic.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,KAAK,EAAE,WAAW,EAAkB,MAAM,aAAa,CAAC;AAE/D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAElE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAmI9D;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAmMxG;AAED;;;GAGG;AACH,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,eAAe,GAAG,WAAW,CAe5F;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAsBxG;AAED;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,GAAG,MAAM,GAAG,SAAS,CAKjF"}
+{"version":3,"file":"temporal-arithmetic.d.ts","sourceRoot":"","sources":["../../../../src/runtime/emit/temporal-arithmetic.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAUtD;;;;;;;;;;GAUG;AACH,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAaxG;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAsBxG;AAED;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,GAAG,MAAM,GAAG,SAAS,CAKjF"}