@quereus/quereus 4.8.0 → 4.10.0

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

package/dist/src/runtime/emit/temporal-arithmetic.js

@@ -1,323 +1,29 @@
-import { StatusCode } from "../../common/types.js";
-import { QuereusError } from "../../common/errors.js";
-import { asRun } from "../types.js";
-import { emitPlanNode } from "../emitters.js";
-import { Temporal } from 'temporal-polyfill';
 import { TIMESPAN_TYPE } from "../../types/temporal-types.js";
-/**
- * Check if a value is a date string (YYYY-MM-DD format)
- */
-function isDateValue(v) {
-    if (typeof v !== 'string')
-        return false;
-    // Simple check for ISO 8601 date format
-    return /^\d{4}-\d{2}-\d{2}$/.test(v);
-}
-/**
- * Check if a value is a time string (HH:MM:SS format)
- */
-function isTimeValue(v) {
-    if (typeof v !== 'string')
-        return false;
-    // Simple check for ISO 8601 time format
-    return /^\d{2}:\d{2}:\d{2}/.test(v);
-}
-/**
- * Check if a value is a datetime string (ISO 8601 format)
- */
-function isDateTimeValue(v) {
-    if (typeof v !== 'string')
-        return false;
-    // Check for ISO 8601 datetime format (with T separator)
-    return v.includes('T') && /^\d{4}-\d{2}-\d{2}T/.test(v);
-}
-/**
- * Check if a value is a timespan/duration string (ISO 8601 duration format)
- */
-function isTimespanValue(v) {
-    if (typeof v !== 'string')
-        return false;
-    // ISO 8601 duration starts with P (or -P for negative)
-    return v.startsWith('P') || v.startsWith('-P');
-}
-/**
- * Check if a Temporal.Duration contains calendar units (years, months, weeks)
- * that cannot be converted to a single time unit without a relativeTo reference.
- */
-function hasCalendarUnits(d) {
-    return d.years !== 0 || d.months !== 0 || d.weeks !== 0;
-}
-/**
- * Scale each field of a duration by a factor.
- * Works for both calendar and non-calendar durations.
- */
-function scaleDuration(d, factor) {
-    return Temporal.Duration.from({
-        years: d.years * factor,
-        months: d.months * factor,
-        weeks: d.weeks * factor,
-        days: d.days * factor,
-        hours: d.hours * factor,
-        minutes: d.minutes * factor,
-        seconds: d.seconds * factor,
-        milliseconds: d.milliseconds * factor,
-        microseconds: d.microseconds * factor,
-        nanoseconds: d.nanoseconds * factor,
-    });
-}
-/**
- * Divide a duration's fields by a divisor, cascading remainders to smaller units.
- * Cascade chain: years→months(×12), weeks→days(×7), days→hours(×24),
- * hours→minutes(×60), minutes→seconds(×60), seconds→ms(×1000),
- * ms→μs(×1000), μs→ns(×1000).
- * Note: months cannot cascade to days (variable month length).
- */
-function divideDuration(d, divisor) {
-    // Cascade pairs: [field, next-field, conversion-factor]
-    const cascade = [
-        ['years', 'months', 12],
-        // months→days gap: no fixed conversion
-        ['weeks', 'days', 7],
-        ['days', 'hours', 24],
-        ['hours', 'minutes', 60],
-        ['minutes', 'seconds', 60],
-        ['seconds', 'milliseconds', 1000],
-        ['milliseconds', 'microseconds', 1000],
-        ['microseconds', 'nanoseconds', 1000],
-    ];
-    // Build a mutable map of field values
-    const fields = {
-        years: d.years, months: d.months, weeks: d.weeks,
-        days: d.days, hours: d.hours, minutes: d.minutes,
-        seconds: d.seconds, milliseconds: d.milliseconds,
-        microseconds: d.microseconds, nanoseconds: d.nanoseconds,
-    };
-    for (const [field, nextField, factor] of cascade) {
-        const value = fields[field];
-        const quotient = Math.trunc(value / divisor);
-        const remainder = value - quotient * divisor;
-        fields[field] = quotient;
-        fields[nextField] += remainder * factor;
-    }
-    // Final field (nanoseconds) — just divide, truncate to integer
-    fields['nanoseconds'] = Math.trunc(fields['nanoseconds'] / divisor);
-    // Handle months independently (not part of cascade chain above for months→days)
-    // months was already accumulated from years cascade; now divide it
-    const monthQuotient = Math.trunc(fields['months'] / divisor);
-    const monthRemainder = fields['months'] - monthQuotient * divisor;
-    fields['months'] = monthQuotient;
-    // Fractional months can't be converted to days; truncate
-    if (monthRemainder !== 0) {
-        // Best-effort: drop sub-month remainder since we can't convert to days
-    }
-    return Temporal.Duration.from({
-        years: fields['years'],
-        months: fields['months'],
-        weeks: fields['weeks'],
-        days: fields['days'],
-        hours: fields['hours'],
-        minutes: fields['minutes'],
-        seconds: fields['seconds'],
-        milliseconds: fields['milliseconds'],
-        microseconds: fields['microseconds'],
-        nanoseconds: fields['nanoseconds'],
-    });
-}
+import { isTemporalKind, runTemporalCase, temporalKindOfValue, temporalOpCase, unsupportedTemporalOp, } from "../../types/temporal-ops.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 function tryTemporalArithmetic(operator, v1, v2) {
     if (v1 === null || v2 === null)
         return null;
-    // Detect types at runtime
-    const isV1Date = isDateValue(v1);
-    const isV1Time = isTimeValue(v1);
-    const isV1DateTime = isDateTimeValue(v1);
-    const isV1Timespan = isTimespanValue(v1);
-    const isV2Date = isDateValue(v2);
-    const isV2Time = isTimeValue(v2);
-    const isV2DateTime = isDateTimeValue(v2);
-    const isV2Timespan = isTimespanValue(v2);
-    // If neither operand is temporal, return undefined to signal non-temporal operation
-    const isV1Temporal = isV1Date || isV1Time || isV1DateTime || isV1Timespan;
-    const isV2Temporal = isV2Date || isV2Time || isV2DateTime || isV2Timespan;
-    if (!isV1Temporal && !isV2Temporal) {
+    const lk = temporalKindOfValue(v1);
+    const rk = temporalKindOfValue(v2);
+    // Neither operand looks temporal — signal "not a temporal operation" so the caller
+    // falls through to numeric arithmetic. ('number' is a kind, but not a temporal one.)
+    if (!isTemporalKind(lk) && !isTemporalKind(rk))
         return undefined;
-    }
-    try {
-        // DATE/DATETIME - DATE/DATETIME → TIMESPAN
-        if (operator === '-' &&
-            (isV1Date || isV1DateTime) &&
-            (isV2Date || isV2DateTime)) {
-            // Parse both values as dates
-            const date1 = isV1DateTime
-                ? Temporal.PlainDateTime.from(v1).toPlainDate()
-                : Temporal.PlainDate.from(v1);
-            const date2 = isV2DateTime
-                ? Temporal.PlainDateTime.from(v2).toPlainDate()
-                : Temporal.PlainDate.from(v2);
-            const duration = date1.since(date2);
-            return duration.toString();
-        }
-        // TIME - TIME → TIMESPAN
-        if (operator === '-' && isV1Time && isV2Time) {
-            const time1 = Temporal.PlainTime.from(v1);
-            const time2 = Temporal.PlainTime.from(v2);
-            const duration = time1.since(time2);
-            return duration.toString();
-        }
-        // DATE + TIMESPAN → DATE
-        if (operator === '+' && isV1Date && isV2Timespan) {
-            const date = Temporal.PlainDate.from(v1);
-            const duration = Temporal.Duration.from(v2);
-            const result = date.add(duration);
-            return result.toString();
-        }
-        // TIMESPAN + DATE → DATE (commutative)
-        if (operator === '+' && isV1Timespan && isV2Date) {
-            const duration = Temporal.Duration.from(v1);
-            const date = Temporal.PlainDate.from(v2);
-            const result = date.add(duration);
-            return result.toString();
-        }
-        // DATE - TIMESPAN → DATE
-        if (operator === '-' && isV1Date && isV2Timespan) {
-            const date = Temporal.PlainDate.from(v1);
-            const duration = Temporal.Duration.from(v2);
-            const result = date.subtract(duration);
-            return result.toString();
-        }
-        // DATETIME + TIMESPAN → DATETIME
-        if (operator === '+' && isV1DateTime && isV2Timespan) {
-            const dt = Temporal.PlainDateTime.from(v1);
-            const duration = Temporal.Duration.from(v2);
-            const result = dt.add(duration);
-            return result.toString();
-        }
-        // TIMESPAN + DATETIME → DATETIME (commutative)
-        if (operator === '+' && isV1Timespan && isV2DateTime) {
-            const duration = Temporal.Duration.from(v1);
-            const dt = Temporal.PlainDateTime.from(v2);
-            const result = dt.add(duration);
-            return result.toString();
-        }
-        // DATETIME - TIMESPAN → DATETIME
-        if (operator === '-' && isV1DateTime && isV2Timespan) {
-            const dt = Temporal.PlainDateTime.from(v1);
-            const duration = Temporal.Duration.from(v2);
-            const result = dt.subtract(duration);
-            return result.toString();
-        }
-        // TIME + TIMESPAN → TIME
-        if (operator === '+' && isV1Time && isV2Timespan) {
-            const time = Temporal.PlainTime.from(v1);
-            const duration = Temporal.Duration.from(v2);
-            const result = time.add(duration);
-            return result.toString();
-        }
-        // TIMESPAN + TIME → TIME (commutative)
-        if (operator === '+' && isV1Timespan && isV2Time) {
-            const duration = Temporal.Duration.from(v1);
-            const time = Temporal.PlainTime.from(v2);
-            const result = time.add(duration);
-            return result.toString();
-        }
-        // TIME - TIMESPAN → TIME
-        if (operator === '-' && isV1Time && isV2Timespan) {
-            const time = Temporal.PlainTime.from(v1);
-            const duration = Temporal.Duration.from(v2);
-            const result = time.subtract(duration);
-            return result.toString();
-        }
-        // TIMESPAN + TIMESPAN → TIMESPAN
-        if (operator === '+' && isV1Timespan && isV2Timespan) {
-            const d1 = Temporal.Duration.from(v1);
-            const d2 = Temporal.Duration.from(v2);
-            const result = d1.add(d2);
-            return result.toString();
-        }
-        // TIMESPAN - TIMESPAN → TIMESPAN
-        if (operator === '-' && isV1Timespan && isV2Timespan) {
-            const d1 = Temporal.Duration.from(v1);
-            const d2 = Temporal.Duration.from(v2);
-            const result = d1.subtract(d2);
-            return result.toString();
-        }
-        // TIMESPAN * NUMBER → TIMESPAN
-        if (operator === '*' && isV1Timespan && typeof v2 === 'number') {
-            const duration = Temporal.Duration.from(v1);
-            if (hasCalendarUnits(duration)) {
-                return scaleDuration(duration, v2).toString();
-            }
-            const totalSeconds = duration.total({ unit: 'seconds' });
-            const newDuration = Temporal.Duration.from({ seconds: totalSeconds * v2 });
-            return newDuration.toString();
-        }
-        // NUMBER * TIMESPAN → TIMESPAN (commutative)
-        if (operator === '*' && typeof v1 === 'number' && isV2Timespan) {
-            const duration = Temporal.Duration.from(v2);
-            if (hasCalendarUnits(duration)) {
-                return scaleDuration(duration, v1).toString();
-            }
-            const totalSeconds = duration.total({ unit: 'seconds' });
-            const newDuration = Temporal.Duration.from({ seconds: totalSeconds * v1 });
-            return newDuration.toString();
-        }
-        // TIMESPAN / NUMBER → TIMESPAN
-        if (operator === '/' && isV1Timespan && typeof v2 === 'number') {
-            if (v2 === 0)
-                return null;
-            const duration = Temporal.Duration.from(v1);
-            if (hasCalendarUnits(duration)) {
-                return divideDuration(duration, v2).toString();
-            }
-            const totalSeconds = duration.total({ unit: 'seconds' });
-            const newDuration = Temporal.Duration.from({ seconds: totalSeconds / v2 });
-            return newDuration.toString();
-        }
-        // TIMESPAN / TIMESPAN → NUMBER (ratio)
-        if (operator === '/' && isV1Timespan && isV2Timespan) {
-            const d1 = Temporal.Duration.from(v1);
-            const d2 = Temporal.Duration.from(v2);
-            if (hasCalendarUnits(d1) || hasCalendarUnits(d2)) {
-                // Cannot compute a numeric ratio when calendar units are involved
-                // (months/years have variable lengths without a reference date)
-                return null;
-            }
-            const total1 = d1.total({ unit: 'seconds' });
-            const total2 = d2.total({ unit: 'seconds' });
-            if (total2 === 0)
-                return null;
-            return total1 / total2;
-        }
-        // If we get here, the operation is not supported
-        throw new QuereusError(`Unsupported temporal operation`, StatusCode.UNSUPPORTED);
-    }
-    catch (e) {
-        // Invalid temporal operation - return null
-        if (e instanceof QuereusError)
-            throw e;
-        return null;
-    }
-}
-/**
- * Emit temporal arithmetic operations
- * Handles operations between temporal types (DATE, TIME, DATETIME, TIMESPAN)
- */
-export function emitTemporalArithmetic(plan, ctx) {
-    const operator = plan.expression.operator;
-    function run(ctx, v1, v2) {
-        return tryTemporalArithmetic(operator, v1, v2) ?? null;
-    }
-    const leftExpr = emitPlanNode(plan.left, ctx);
-    const rightExpr = emitPlanNode(plan.right, ctx);
-    return {
-        params: [leftExpr, rightExpr],
-        run: asRun(run),
-        note: `${operator}(temporal)`
-    };
+    const entry = lk && rk ? temporalOpCase(operator, lk, rk) : undefined;
+    if (!entry)
+        unsupportedTemporalOp();
+    return runTemporalCase(entry, v1, v2);
 }
 /**
  * Attempts to perform temporal comparison. Returns undefined if not a temporal comparison.
@@ -330,6 +36,18 @@ export function emitTemporalArithmetic(plan, ctx) {
  * 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
@@ -367,7 +85,7 @@ export function tryTemporalComparison(operator, v1, v2) {
 export function tryTemporalCompare(v1, v2) {
     // Timespans are the only temporal type that needs special comparison logic
     // because ISO 8601 duration strings don't compare correctly lexicographically
-    if (!isTimespanValue(v1) || !isTimespanValue(v2))
+    if (temporalKindOfValue(v1) !== 'timespan' || temporalKindOfValue(v2) !== 'timespan')
         return undefined;
     return TIMESPAN_TYPE.compare(v1, v2);
 }