n8n-workflow 2.45.0 → 2.45.1

package/dist/esm/expressions/native-evaluation/compiler.js

@@ -0,0 +1,65 @@
+import { getParsedExpression } from '@n8n/tournament';
+import { LruCache } from '@n8n/utils/lru-cache';
+import { parseSimple, usesPolyfilledChain } from './parser';
+// null = outside the subset. Declined expressions are cached too, so an
+// expression the engine owns costs one parse here, not one per evaluation.
+// Entries are keyed by expression text, so the key length is capped to keep
+// the cache's memory bounded; longer expressions are compiled per evaluation.
+const cache = new LruCache(1024);
+const MAX_CACHED_EXPRESSION_LENGTH = 10_000;
+// One code chunk of the split expression, or null when it is outside the
+// subset. A throw during the re-parse must always mean "declined", never
+// escape.
+function compileChunk(chunk) {
+    const body = chunk.parsed.program.body;
+    if (body.length !== 1)
+        return null;
+    const statement = body[0];
+    if (statement.type !== 'ExpressionStatement')
+        return null;
+    try {
+        return parseSimple(statement.expression);
+    }
+    catch {
+        return null;
+    }
+}
+function compile(expression) {
+    let parsed;
+    try {
+        parsed = getParsedExpression(expression);
+    }
+    catch {
+        // Syntax errors fall through to the engine for its error reporting.
+        return null;
+    }
+    const chunks = [];
+    const nodes = [];
+    for (const chunk of parsed) {
+        if (chunk.type === 'text') {
+            chunks.push(chunk);
+            continue;
+        }
+        const node = compileChunk(chunk);
+        if (node === null)
+            return null;
+        chunks.push({ type: 'code', node });
+        nodes.push(node);
+    }
+    if (usesPolyfilledChain(nodes))
+        return null;
+    // Mirrors the branch condition in ExpressionBuilder.getExpressionCode.
+    const isWholeValue = chunks.length === 2 && chunks[0].type === 'text' && chunks[0].text === '';
+    return { chunks, isWholeValue };
+}
+export function getCompiled(expression) {
+    if (expression.length > MAX_CACHED_EXPRESSION_LENGTH)
+        return compile(expression);
+    let compiled = cache.get(expression);
+    if (compiled === undefined) {
+        compiled = compile(expression);
+        cache.set(expression, compiled);
+    }
+    return compiled;
+}
+//# sourceMappingURL=compiler.js.map

package/dist/esm/expressions/native-evaluation/compiler.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compiler.js","sourceRoot":"","sources":["../../../../src/expressions/native-evaluation/compiler.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAEtD,OAAO,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAGhD,OAAO,EAAE,WAAW,EAAE,mBAAmB,EAAE,MAAM,UAAU,CAAC;AAW5D,wEAAwE;AACxE,2EAA2E;AAC3E,4EAA4E;AAC5E,8EAA8E;AAC9E,MAAM,KAAK,GAAG,IAAI,QAAQ,CAAoC,IAAI,CAAC,CAAC;AACpE,MAAM,4BAA4B,GAAG,MAAM,CAAC;AAE5C,yEAAyE;AACzE,yEAAyE;AACzE,UAAU;AACV,SAAS,YAAY,CAAC,KAAiB;IACtC,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;IACvC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAEnC,MAAM,SAAS,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1B,IAAI,SAAS,CAAC,IAAI,KAAK,qBAAqB;QAAE,OAAO,IAAI,CAAC;IAE1D,IAAI,CAAC;QACJ,OAAO,WAAW,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAC1C,CAAC;IAAC,MAAM,CAAC;QACR,OAAO,IAAI,CAAC;IACb,CAAC;AACF,CAAC;AAED,SAAS,OAAO,CAAC,UAAkB;IAClC,IAAI,MAAM,CAAC;IACX,IAAI,CAAC;QACJ,MAAM,GAAG,mBAAmB,CAAC,UAAU,CAAC,CAAC;IAC1C,CAAC;IAAC,MAAM,CAAC;QACR,oEAAoE;QACpE,OAAO,IAAI,CAAC;IACb,CAAC;IAED,MAAM,MAAM,GAAoB,EAAE,CAAC;IACnC,MAAM,KAAK,GAAiB,EAAE,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC5B,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC3B,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACnB,SAAS;QACV,CAAC;QAED,MAAM,IAAI,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;QACjC,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAE/B,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;QACpC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClB,CAAC;IAED,IAAI,mBAAmB,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAE5C,uEAAuE;IACvE,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC;IAE/F,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;AACjC,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,UAAkB;IAC7C,IAAI,UAAU,CAAC,MAAM,GAAG,4BAA4B;QAAE,OAAO,OAAO,CAAC,UAAU,CAAC,CAAC;IAEjF,IAAI,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAErC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC5B,QAAQ,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;QAC/B,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IACjC,CAAC;IAED,OAAO,QAAQ,CAAC;AACjB,CAAC"}

package/dist/esm/expressions/native-evaluation/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/expressions/native-evaluation/index.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,kBAAkB,CAAC;AAI/D,OAAO,EACN,gBAAgB,EAChB,gBAAgB,EAChB,iBAAiB,EACjB,SAAS,EACT,QAAQ,EACR,YAAY,GACZ,MAAM,WAAW,CAAC;AAmHnB,wEAAwE;AACxE,wBAAgB,mBAAmB,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAE/D;AAED;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAC/B,UAAU,EAAE,MAAM,EAClB,IAAI,EAAE,sBAAsB,GAC1B;IAAE,OAAO,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GAAG;IAAE,OAAO,EAAE,KAAK,CAAA;CAAE,CAYxD"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/expressions/native-evaluation/index.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,kBAAkB,CAAC;AAI/D,OAAO,EACN,gBAAgB,EAChB,gBAAgB,EAChB,iBAAiB,EACjB,SAAS,EACT,QAAQ,EACR,YAAY,GACZ,MAAM,WAAW,CAAC;AAsCnB,wEAAwE;AACxE,wBAAgB,mBAAmB,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAE/D;AAED;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAC/B,UAAU,EAAE,MAAM,EAClB,IAAI,EAAE,sBAAsB,GAC1B;IAAE,OAAO,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GAAG;IAAE,OAAO,EAAE,KAAK,CAAA;CAAE,CAYxD"}

package/dist/esm/expressions/native-evaluation/index.js

@@ -1,71 +1,43 @@
-import { getParsedExpression } from '@n8n/tournament';
-import { LruCache } from '@n8n/utils/lru-cache';
+import { getCompiled } from './compiler';
 import { EngineFallbackError, Env, bounded, evalChunk } from './evaluator';
 import { MAX_DEPTH, MAX_RESULT_LENGTH, hasOwn, isArray, isObj } from './grammar';
-import { parseSimple, usesPolyfilledChain } from './parser';
 const { getPrototypeOf, keys } = Object;
 export { CALLABLE_METHODS, ITERATOR_METHODS, MAX_RESULT_LENGTH, MAX_STEPS, MAX_WORK, TIME_METHODS, } from './grammar';
-// null = outside the subset. Declined expressions are cached too, so an
-// expression the engine owns costs one parse here, not one per evaluation.
-// Entries are keyed by expression text, so the key length is capped to keep
-// the cache's memory bounded; longer expressions are compiled per evaluation.
-const cache = new LruCache(1024);
-const MAX_CACHED_EXPRESSION_LENGTH = 10_000;
-// One code chunk of the split expression, or null when it is outside the
-// subset. A throw during the re-parse must always mean "declined", never
-// escape.
-function compileChunk(chunk) {
-    const body = chunk.parsed.program.body;
-    if (body.length !== 1)
-        return null;
-    const statement = body[0];
-    if (statement.type !== 'ExpressionStatement')
-        return null;
-    try {
-        return parseSimple(statement.expression);
-    }
-    catch {
-        return null;
-    }
-}
-function compile(expression) {
-    let parsed;
-    try {
-        parsed = getParsedExpression(expression);
-    }
-    catch {
-        // Syntax errors fall through to the engine for its error reporting.
-        return null;
-    }
-    const chunks = [];
-    const nodes = [];
-    for (const chunk of parsed) {
-        if (chunk.type === 'text') {
-            chunks.push(chunk);
-            continue;
-        }
-        const node = compileChunk(chunk);
-        if (node === null)
-            return null;
-        chunks.push({ type: 'code', node });
-        nodes.push(node);
-    }
-    if (usesPolyfilledChain(nodes))
-        return null;
-    // Mirrors the branch condition in ExpressionBuilder.getExpressionCode.
-    const isWholeValue = chunks.length === 2 && chunks[0].type === 'text' && chunks[0].text === '';
-    return { chunks, isWholeValue };
-}
-function getCompiled(expression) {
-    if (expression.length > MAX_CACHED_EXPRESSION_LENGTH)
-        return compile(expression);
-    let compiled = cache.get(expression);
-    if (compiled === undefined) {
-        compiled = compile(expression);
-        cache.set(expression, compiled);
-    }
-    return compiled;
-}
+// Fast native evaluation: an in-process interpreter for a closed subset of
+// the expression grammar.
+//
+// The subset is data path access on the data roots (`$json`, `$parameter`,
+// `$vars`, `$binary`, `$itemIndex`, `$runIndex`) and on node references
+// (`$('Name').item`, `$('Name').first()`, `$input.item`, `$node['Name'].json`),
+// primitive reads off the time roots (`$now.toMillis()`, `$today.year`),
+// literals (array literals of literals included), a fixed set of operators,
+// calls to a closed allowlist of native string/number/array methods, and the
+// five array iterators (some/every/find/filter/map) with a one-parameter
+// arrow callback whose body is in the same subset. Such expressions cannot
+// reach prototypes or touch anything outside the data proxy, and the only
+// loop is a native iterator over a size-capped array under a step budget, so
+// they are interpreted here without the sandbox AST hooks, the
+// global-context setup, or an engine (isolate) evaluation. Anything that
+// does not fit the subset is declined and takes the regular pipeline.
+//
+// Structure follows "parse, don't validate": the esprima AST is not checked
+// in place, it is re-parsed into the closed {@link SimpleNode} grammar below.
+// Construction either yields a node of that grammar or null; the interpreter
+// only ever sees objects this module built, so it cannot read a field the
+// parser did not put there, and unsupported constructs are unrepresentable
+// rather than rejected. Expression text is never executed as code.
+//
+// Data is the other input. Node output is normalised to JSON at the node
+// boundary (verified for Set and Code output on a running instance), so
+// `$json` holds plain objects, arrays and primitives. The runtime guards
+// below therefore target what JSON content can do (sizes) and where the host
+// would diverge from the isolates (live references, coercion, aliasing), not
+// hooks that cannot arrive. Non-JSON values in workflow data are engine bugs.
+//
+// Layout: grammar.ts holds the closed grammar and the allowlists, parser.ts
+// turns esprima output into it, compiler.ts splits, compiles and caches whole
+// expressions, evaluator.ts interprets them, and this file runs them.
+// skeleton.ts and verify.ts serve verify mode only.
 /** Does the expression (leading `=` stripped) fit the native subset? */
 export function isNativelyEvaluable(expression) {
     return getCompiled(expression) !== null;

package/dist/esm/expressions/native-evaluation/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/expressions/native-evaluation/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAEtD,OAAO,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAEhD,OAAO,EAAE,mBAAmB,EAAE,GAAG,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAC3E,OAAO,EAAE,SAAS,EAAE,iBAAiB,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAmB,MAAM,WAAW,CAAC;AAClG,OAAO,EAAE,WAAW,EAAE,mBAAmB,EAAE,MAAM,UAAU,CAAC;AAG5D,MAAM,EAAE,cAAc,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC;AAExC,OAAO,EACN,gBAAgB,EAChB,gBAAgB,EAChB,iBAAiB,EACjB,SAAS,EACT,QAAQ,EACR,YAAY,GACZ,MAAM,WAAW,CAAC;AA8CnB,wEAAwE;AACxE,2EAA2E;AAC3E,4EAA4E;AAC5E,8EAA8E;AAC9E,MAAM,KAAK,GAAG,IAAI,QAAQ,CAAoC,IAAI,CAAC,CAAC;AACpE,MAAM,4BAA4B,GAAG,MAAM,CAAC;AAE5C,yEAAyE;AACzE,yEAAyE;AACzE,UAAU;AACV,SAAS,YAAY,CAAC,KAAiB;IACtC,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;IACvC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAEnC,MAAM,SAAS,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1B,IAAI,SAAS,CAAC,IAAI,KAAK,qBAAqB;QAAE,OAAO,IAAI,CAAC;IAE1D,IAAI,CAAC;QACJ,OAAO,WAAW,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAC1C,CAAC;IAAC,MAAM,CAAC;QACR,OAAO,IAAI,CAAC;IACb,CAAC;AACF,CAAC;AAED,SAAS,OAAO,CAAC,UAAkB;IAClC,IAAI,MAAM,CAAC;IACX,IAAI,CAAC;QACJ,MAAM,GAAG,mBAAmB,CAAC,UAAU,CAAC,CAAC;IAC1C,CAAC;IAAC,MAAM,CAAC;QACR,oEAAoE;QACpE,OAAO,IAAI,CAAC;IACb,CAAC;IAED,MAAM,MAAM,GAAoB,EAAE,CAAC;IACnC,MAAM,KAAK,GAAiB,EAAE,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC5B,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC3B,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACnB,SAAS;QACV,CAAC;QAED,MAAM,IAAI,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;QACjC,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAE/B,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;QACpC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClB,CAAC;IAED,IAAI,mBAAmB,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAE5C,uEAAuE;IACvE,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC;IAE/F,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;AACjC,CAAC;AAED,SAAS,WAAW,CAAC,UAAkB;IACtC,IAAI,UAAU,CAAC,MAAM,GAAG,4BAA4B;QAAE,OAAO,OAAO,CAAC,UAAU,CAAC,CAAC;IAEjF,IAAI,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAErC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC5B,QAAQ,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;QAC/B,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IACjC,CAAC;IAED,OAAO,QAAQ,CAAC;AACjB,CAAC;AAED,wEAAwE;AACxE,MAAM,UAAU,mBAAmB,CAAC,UAAkB;IACrD,OAAO,WAAW,CAAC,UAAU,CAAC,KAAK,IAAI,CAAC;AACzC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAC/B,UAAkB,EAClB,IAA4B;IAE5B,MAAM,QAAQ,GAAG,WAAW,CAAC,UAAU,CAAC,CAAC;IACzC,IAAI,QAAQ,KAAK,IAAI;QAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IAEjD,IAAI,CAAC;QACJ,MAAM,KAAK,GAAG,UAAU,CAAC,YAAY,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;QACvD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IACjC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAChB,IAAI,KAAK,YAAY,mBAAmB;YAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QAEpE,MAAM,KAAK,CAAC;IACb,CAAC;AACF,CAAC;AAED,6EAA6E;AAC7E,8EAA8E;AAC9E,8EAA8E;AAC9E,wEAAwE;AACxE,4EAA4E;AAC5E,yEAAyE;AACzE,yCAAyC;AACzC,8DAA8D;AAC9D,SAAS,UAAU,CAAC,KAAc;IACjC,yEAAyE;IACzE,yEAAyE;IACzE,IAAI,MAAM,GAAG,CAAC,CAAC;IAEf,MAAM,IAAI,GAAG,CAAC,KAAc,EAAE,KAAa,EAAW,EAAE;QACvD,MAAM,WAAW,GAChB,OAAO,KAAK,KAAK,UAAU,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,CAAC;QACvF,IAAI,WAAW;YAAE,MAAM,IAAI,mBAAmB,EAAE,CAAC;QACjD,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QAChC,IAAI,KAAK,GAAG,SAAS,IAAI,KAAK,CAAC,OAAO,KAAK,IAAI;YAAE,MAAM,IAAI,mBAAmB,EAAE,CAAC;QAEjF,IAAI,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACpB,IAAI,cAAc,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC,SAAS;gBAAE,MAAM,IAAI,mBAAmB,EAAE,CAAC;YAE/E,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC;YACvB,IAAI,MAAM,GAAG,iBAAiB;gBAAE,MAAM,IAAI,mBAAmB,EAAE,CAAC;YAEhE,2EAA2E;YAC3E,MAAM,MAAM,GAAG,IAAI,KAAK,CAAU,KAAK,CAAC,MAAM,CAAC,CAAC;YAChD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACvC,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;oBAAE,MAAM,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;YAC7D,CAAC;YACD,OAAO,MAAM,CAAC;QACf,CAAC;QAED,MAAM,KAAK,GAAY,cAAc,CAAC,KAAK,CAAC,CAAC;QAC7C,IAAI,KAAK,KAAK,MAAM,CAAC,SAAS,IAAI,KAAK,KAAK,IAAI;YAAE,MAAM,IAAI,mBAAmB,EAAE,CAAC;QAElF,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5B,MAAM,IAAI,OAAO,CAAC,MAAM,CAAC;QACzB,IAAI,MAAM,GAAG,iBAAiB;YAAE,MAAM,IAAI,mBAAmB,EAAE,CAAC;QAEhE,MAAM,MAAM,GAA4B,EAAE,CAAC;QAC3C,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;YAC3B,IAAI,GAAG,KAAK,WAAW;gBAAE,MAAM,IAAI,mBAAmB,EAAE,CAAC;YACzD,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QAC3C,CAAC;QACD,OAAO,MAAM,CAAC;IACf,CAAC,CAAC;IAEF,OAAO,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;AACvB,CAAC;AAED,SAAS,YAAY,CAAC,QAA4B,EAAE,IAA4B;IAC/E,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;IAE1B,IAAI,QAAQ,CAAC,YAAY,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAChC,mDAAmD;QACnD,OAAO,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9D,CAAC;IAED,2EAA2E;IAC3E,sEAAsE;IACtE,MAAM,KAAK,GAAc,EAAE,CAAC;IAC5B,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACrC,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC3B,IAAI,KAAK,CAAC,IAAI,KAAK,EAAE;gBAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC9C,MAAM,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC;YAC5B,SAAS;QACV,CAAC;QAED,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAEzC,gEAAgE;QAChE,IAAI,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;YAClB,MAAM,IAAI,mBAAmB,EAAE,CAAC;QACjC,CAAC;QAED,MAAM,IAAI,GAAG,KAAK,IAAI,KAAK,KAAK,CAAC,IAAI,KAAK,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QAClE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjB,MAAM,IAAI,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QAErD,uDAAuD;QACvD,IAAI,MAAM,GAAG,iBAAiB;YAAE,MAAM,IAAI,mBAAmB,EAAE,CAAC;IACjE,CAAC;IAED,2EAA2E;IAC3E,iDAAiD;IACjD,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAEtD,OAAO,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;AAChC,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/expressions/native-evaluation/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAA2B,MAAM,YAAY,CAAC;AAClE,OAAO,EAAE,mBAAmB,EAAE,GAAG,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAC3E,OAAO,EAAE,SAAS,EAAE,iBAAiB,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AAGjF,MAAM,EAAE,cAAc,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC;AAExC,OAAO,EACN,gBAAgB,EAChB,gBAAgB,EAChB,iBAAiB,EACjB,SAAS,EACT,QAAQ,EACR,YAAY,GACZ,MAAM,WAAW,CAAC;AAEnB,2EAA2E;AAC3E,0BAA0B;AAC1B,EAAE;AACF,2EAA2E;AAC3E,wEAAwE;AACxE,gFAAgF;AAChF,yEAAyE;AACzE,4EAA4E;AAC5E,6EAA6E;AAC7E,yEAAyE;AACzE,2EAA2E;AAC3E,0EAA0E;AAC1E,6EAA6E;AAC7E,+DAA+D;AAC/D,yEAAyE;AACzE,sEAAsE;AACtE,EAAE;AACF,4EAA4E;AAC5E,8EAA8E;AAC9E,6EAA6E;AAC7E,0EAA0E;AAC1E,2EAA2E;AAC3E,mEAAmE;AACnE,EAAE;AACF,yEAAyE;AACzE,wEAAwE;AACxE,yEAAyE;AACzE,6EAA6E;AAC7E,6EAA6E;AAC7E,8EAA8E;AAC9E,EAAE;AACF,4EAA4E;AAC5E,8EAA8E;AAC9E,sEAAsE;AACtE,oDAAoD;AAEpD,wEAAwE;AACxE,MAAM,UAAU,mBAAmB,CAAC,UAAkB;IACrD,OAAO,WAAW,CAAC,UAAU,CAAC,KAAK,IAAI,CAAC;AACzC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAC/B,UAAkB,EAClB,IAA4B;IAE5B,MAAM,QAAQ,GAAG,WAAW,CAAC,UAAU,CAAC,CAAC;IACzC,IAAI,QAAQ,KAAK,IAAI;QAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IAEjD,IAAI,CAAC;QACJ,MAAM,KAAK,GAAG,UAAU,CAAC,YAAY,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;QACvD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IACjC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAChB,IAAI,KAAK,YAAY,mBAAmB;YAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QAEpE,MAAM,KAAK,CAAC;IACb,CAAC;AACF,CAAC;AAED,6EAA6E;AAC7E,8EAA8E;AAC9E,8EAA8E;AAC9E,wEAAwE;AACxE,4EAA4E;AAC5E,yEAAyE;AACzE,yCAAyC;AACzC,8DAA8D;AAC9D,SAAS,UAAU,CAAC,KAAc;IACjC,yEAAyE;IACzE,yEAAyE;IACzE,IAAI,MAAM,GAAG,CAAC,CAAC;IAEf,MAAM,IAAI,GAAG,CAAC,KAAc,EAAE,KAAa,EAAW,EAAE;QACvD,MAAM,WAAW,GAChB,OAAO,KAAK,KAAK,UAAU,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,CAAC;QACvF,IAAI,WAAW;YAAE,MAAM,IAAI,mBAAmB,EAAE,CAAC;QACjD,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QAChC,IAAI,KAAK,GAAG,SAAS,IAAI,KAAK,CAAC,OAAO,KAAK,IAAI;YAAE,MAAM,IAAI,mBAAmB,EAAE,CAAC;QAEjF,IAAI,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACpB,IAAI,cAAc,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC,SAAS;gBAAE,MAAM,IAAI,mBAAmB,EAAE,CAAC;YAE/E,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC;YACvB,IAAI,MAAM,GAAG,iBAAiB;gBAAE,MAAM,IAAI,mBAAmB,EAAE,CAAC;YAEhE,2EAA2E;YAC3E,MAAM,MAAM,GAAG,IAAI,KAAK,CAAU,KAAK,CAAC,MAAM,CAAC,CAAC;YAChD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACvC,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;oBAAE,MAAM,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;YAC7D,CAAC;YACD,OAAO,MAAM,CAAC;QACf,CAAC;QAED,MAAM,KAAK,GAAY,cAAc,CAAC,KAAK,CAAC,CAAC;QAC7C,IAAI,KAAK,KAAK,MAAM,CAAC,SAAS,IAAI,KAAK,KAAK,IAAI;YAAE,MAAM,IAAI,mBAAmB,EAAE,CAAC;QAElF,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5B,MAAM,IAAI,OAAO,CAAC,MAAM,CAAC;QACzB,IAAI,MAAM,GAAG,iBAAiB;YAAE,MAAM,IAAI,mBAAmB,EAAE,CAAC;QAEhE,MAAM,MAAM,GAA4B,EAAE,CAAC;QAC3C,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;YAC3B,IAAI,GAAG,KAAK,WAAW;gBAAE,MAAM,IAAI,mBAAmB,EAAE,CAAC;YACzD,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QAC3C,CAAC;QACD,OAAO,MAAM,CAAC;IACf,CAAC,CAAC;IAEF,OAAO,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;AACvB,CAAC;AAED,SAAS,YAAY,CAAC,QAA4B,EAAE,IAA4B;IAC/E,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;IAE1B,IAAI,QAAQ,CAAC,YAAY,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAChC,mDAAmD;QACnD,OAAO,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9D,CAAC;IAED,2EAA2E;IAC3E,sEAAsE;IACtE,MAAM,KAAK,GAAc,EAAE,CAAC;IAC5B,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACrC,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC3B,IAAI,KAAK,CAAC,IAAI,KAAK,EAAE;gBAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC9C,MAAM,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC;YAC5B,SAAS;QACV,CAAC;QAED,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAEzC,gEAAgE;QAChE,IAAI,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;YAClB,MAAM,IAAI,mBAAmB,EAAE,CAAC;QACjC,CAAC;QAED,MAAM,IAAI,GAAG,KAAK,IAAI,KAAK,KAAK,CAAC,IAAI,KAAK,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QAClE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjB,MAAM,IAAI,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QAErD,uDAAuD;QACvD,IAAI,MAAM,GAAG,iBAAiB;YAAE,MAAM,IAAI,mBAAmB,EAAE,CAAC;IACjE,CAAC;IAED,2EAA2E;IAC3E,iDAAiD;IACjD,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAEtD,OAAO,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;AAChC,CAAC"}

package/dist/esm/expressions/native-evaluation/skeleton.d.ts

@@ -0,0 +1,4 @@
+import type { SimpleNode } from './grammar';
+export declare function skeletonOf(node: SimpleNode): string;
+export declare function readsClockOrParameter(node: SimpleNode): boolean;
+//# sourceMappingURL=skeleton.d.ts.map

package/dist/esm/expressions/native-evaluation/skeleton.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"skeleton.d.ts","sourceRoot":"","sources":["../../../../src/expressions/native-evaluation/skeleton.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAO5C,wBAAgB,UAAU,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,CAkCnD;AAkBD,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,UAAU,GAAG,OAAO,CAM/D"}

package/dist/esm/expressions/native-evaluation/skeleton.js

@@ -0,0 +1,85 @@
+// The expression's shape without its user data, for verify-mode reports.
+// The grammar is closed, so every method, root and operator here comes from
+// an allowlist; only literals, field names and node names are user text, and
+// those are masked. This masking is the user-data boundary for what verify
+// mode sends to Sentry, so extend it rather than redacting the raw text.
+export function skeletonOf(node) {
+    switch (node.kind) {
+        case 'literal':
+            if (typeof node.value === 'string')
+                return '<str>';
+            if (typeof node.value === 'number')
+                return '<num>';
+            return String(node.value);
+        case 'root':
+        case 'timeRoot':
+            return node.name;
+        case 'nodeRef':
+            if (node.ref === 'input')
+                return '$input';
+            return node.ref === 'node' ? '$(<str>)' : '$node[<str>]';
+        case 'undefined':
+            return 'undefined';
+        case 'param':
+            return 'x';
+        case 'member':
+            return `${skeletonOf(node.object)}${access(node.optional)}${memberKey(node)}`;
+        case 'chain':
+            return skeletonOf(node.expression);
+        case 'unary':
+            return `${node.op}${skeletonOf(node.argument)}`;
+        case 'binary':
+        case 'logical':
+            return `(${skeletonOf(node.left)} ${node.op} ${skeletonOf(node.right)})`;
+        case 'conditional':
+            return `(${skeletonOf(node.test)} ? ${skeletonOf(node.consequent)} : ${skeletonOf(node.alternate)})`;
+        case 'call':
+            return `${skeletonOf(node.receiver)}${access(node.optional)}${node.method}(${node.args.map(skeletonOf).join(', ')})`;
+        case 'array':
+            return `[${node.elements.map(skeletonOf).join(', ')}]`;
+        case 'iterate':
+            return `${skeletonOf(node.receiver)}${access(node.optional)}${node.method}(x => ${skeletonOf(node.body)})`;
+    }
+}
+const access = (optional) => (optional ? '?.' : '.');
+// n8n's own item keys. `length` tells a string or array read apart.
+const KNOWN_KEYS = new Set(['json', 'binary', 'length']);
+// Keys off node references and time roots come from allowlists; any other
+// key is a field name from workflow data.
+function memberKey(node) {
+    if (typeof node.key === 'number')
+        return '<num>';
+    if (node.object.kind === 'nodeRef' || node.object.kind === 'timeRoot')
+        return node.key;
+    return KNOWN_KEYS.has(node.key) ? node.key : '<id>';
+}
+// The engine reads its own clock, and a `$parameter` read evaluates that
+// parameter again, which can read the clock too. Two evaluations of such an
+// expression can differ without a bug.
+export function readsClockOrParameter(node) {
+    return (node.kind === 'timeRoot' ||
+        (node.kind === 'root' && node.name === '$parameter') ||
+        childrenOf(node).some(readsClockOrParameter));
+}
+function childrenOf(node) {
+    switch (node.kind) {
+        case 'member':
+            return [node.object];
+        case 'chain':
+            return [node.expression];
+        case 'unary':
+            return [node.argument];
+        case 'binary':
+        case 'logical':
+            return [node.left, node.right];
+        case 'conditional':
+            return [node.test, node.consequent, node.alternate];
+        case 'call':
+            return [node.receiver, ...node.args];
+        case 'iterate':
+            return [node.receiver, node.body];
+        default:
+            return [];
+    }
+}
+//# sourceMappingURL=skeleton.js.map

package/dist/esm/expressions/native-evaluation/skeleton.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"skeleton.js","sourceRoot":"","sources":["../../../../src/expressions/native-evaluation/skeleton.ts"],"names":[],"mappings":"AAEA,yEAAyE;AACzE,4EAA4E;AAC5E,6EAA6E;AAC7E,2EAA2E;AAC3E,yEAAyE;AACzE,MAAM,UAAU,UAAU,CAAC,IAAgB;IAC1C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,SAAS;YACb,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ;gBAAE,OAAO,OAAO,CAAC;YACnD,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ;gBAAE,OAAO,OAAO,CAAC;YACnD,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3B,KAAK,MAAM,CAAC;QACZ,KAAK,UAAU;YACd,OAAO,IAAI,CAAC,IAAI,CAAC;QAClB,KAAK,SAAS;YACb,IAAI,IAAI,CAAC,GAAG,KAAK,OAAO;gBAAE,OAAO,QAAQ,CAAC;YAC1C,OAAO,IAAI,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,cAAc,CAAC;QAC1D,KAAK,WAAW;YACf,OAAO,WAAW,CAAC;QACpB,KAAK,OAAO;YACX,OAAO,GAAG,CAAC;QACZ,KAAK,QAAQ;YACZ,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/E,KAAK,OAAO;YACX,OAAO,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACpC,KAAK,OAAO;YACX,OAAO,GAAG,IAAI,CAAC,EAAE,GAAG,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QACjD,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS;YACb,OAAO,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,IAAI,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;QAC1E,KAAK,aAAa;YACjB,OAAO,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC;QACtG,KAAK,MAAM;YACV,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACtH,KAAK,OAAO;YACX,OAAO,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACxD,KAAK,SAAS;YACb,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,MAAM,SAAS,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IAC7G,CAAC;AACF,CAAC;AAED,MAAM,MAAM,GAAG,CAAC,QAAiB,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;AAE9D,oEAAoE;AACpE,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;AAEzD,0EAA0E;AAC1E,0CAA0C;AAC1C,SAAS,SAAS,CAAC,IAA6C;IAC/D,IAAI,OAAO,IAAI,CAAC,GAAG,KAAK,QAAQ;QAAE,OAAO,OAAO,CAAC;IACjD,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,IAAI,CAAC,GAAG,CAAC;IACvF,OAAO,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;AACrD,CAAC;AAED,yEAAyE;AACzE,4EAA4E;AAC5E,uCAAuC;AACvC,MAAM,UAAU,qBAAqB,CAAC,IAAgB;IACrD,OAAO,CACN,IAAI,CAAC,IAAI,KAAK,UAAU;QACxB,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,CAAC;QACpD,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAC5C,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,IAAgB;IACnC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,QAAQ;YACZ,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACtB,KAAK,OAAO;YACX,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC1B,KAAK,OAAO;YACX,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACxB,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS;YACb,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QAChC,KAAK,aAAa;YACjB,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;QACrD,KAAK,MAAM;YACV,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,KAAK,SAAS;YACb,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC;YACC,OAAO,EAAE,CAAC;IACZ,CAAC;AACF,CAAC"}

package/dist/esm/expressions/native-evaluation/verify.d.ts

@@ -0,0 +1,30 @@
+import type { ExpressionEvaluationOutcome } from '../../expression';
+import type { IWorkflowDataProxyData } from '../../interfaces';
+/**
+ * Whether verify mode can compare the expression: it fits the native subset
+ * and reads neither `$now`, `$today` nor `$parameter`.
+ */
+export declare function canVerifyNatively(expression: string): boolean;
+/** The shape of an expression with its user data masked. Null outside the native subset. */
+export declare function nativeSkeleton(expression: string): string | null;
+/** Holds no workflow data. */
+export type NativeVerifyMismatch = {
+    engine: 'legacy' | 'vm' | 'quickjs';
+    skeleton: string;
+    nativeResultType: string;
+    engineResultType: string;
+    workflowId?: string;
+};
+/** Compares a sample of native results with the engine's and reports each new difference. */
+export declare class NativeVerifier {
+    private readonly sample;
+    private readonly report;
+    private readonly canReport;
+    private readonly reportedShapes;
+    constructor(sample: number, report: (mismatch: NativeVerifyMismatch) => void, canReport?: () => boolean);
+    /** Draws whether this evaluation is part of the sample. False while reports cannot be sent. */
+    isSampled(): boolean;
+    /** Reports `native` when it differs from `engine`. Never throws. */
+    compare(expression: string, engineName: NativeVerifyMismatch['engine'], native: ExpressionEvaluationOutcome, engine: ExpressionEvaluationOutcome, data: IWorkflowDataProxyData): void;
+}
+//# sourceMappingURL=verify.d.ts.map

package/dist/esm/expressions/native-evaluation/verify.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify.d.ts","sourceRoot":"","sources":["../../../../src/expressions/native-evaluation/verify.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,kBAAkB,CAAC;AACpE,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,kBAAkB,CAAC;AAa/D;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAM7D;AAED,4FAA4F;AAC5F,wBAAgB,cAAc,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAahE;AAED,8BAA8B;AAC9B,MAAM,MAAM,oBAAoB,GAAG;IAClC,MAAM,EAAE,QAAQ,GAAG,IAAI,GAAG,SAAS,CAAC;IACpC,QAAQ,EAAE,MAAM,CAAC;IACjB,gBAAgB,EAAE,MAAM,CAAC;IACzB,gBAAgB,EAAE,MAAM,CAAC;IACzB,UAAU,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,6FAA6F;AAC7F,qBAAa,cAAc;IAIzB,OAAO,CAAC,QAAQ,CAAC,MAAM;IACvB,OAAO,CAAC,QAAQ,CAAC,MAAM;IACvB,OAAO,CAAC,QAAQ,CAAC,SAAS;IAL3B,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAqB;IAEpD,YACkB,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,CAAC,QAAQ,EAAE,oBAAoB,KAAK,IAAI,EAChD,SAAS,GAAE,MAAM,OAAoB,EACnD;IAEJ,+FAA+F;IAC/F,SAAS,IAAI,OAAO,CAEnB;IAED,oEAAoE;IACpE,OAAO,CACN,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,oBAAoB,CAAC,QAAQ,CAAC,EAC1C,MAAM,EAAE,2BAA2B,EACnC,MAAM,EAAE,2BAA2B,EACnC,IAAI,EAAE,sBAAsB,GAC1B,IAAI,CA2BN;CACD"}

package/dist/esm/expressions/native-evaluation/verify.js

@@ -0,0 +1,151 @@
+import isEqualWith from 'lodash/isEqualWith';
+import { getCompiled } from './compiler';
+import { readsClockOrParameter, skeletonOf } from './skeleton';
+import * as LoggerProxy from '../../logger-proxy';
+import { isObject } from '../../utils';
+// Each mismatch shape is reported once per process, up to this many, so a
+// common mismatch cannot spend the Sentry quota.
+const MAX_REPORTED_SHAPES = 1000;
+// The comparison runs outside the engine timeout.
+const MAX_COMPARED_PAIRS = 10_000;
+class ComparisonTooLargeError extends Error {
+}
+/**
+ * Whether verify mode can compare the expression: it fits the native subset
+ * and reads neither `$now`, `$today` nor `$parameter`.
+ */
+export function canVerifyNatively(expression) {
+    const compiled = getCompiled(expression);
+    return (compiled !== null &&
+        !compiled.chunks.some((chunk) => chunk.type === 'code' && readsClockOrParameter(chunk.node)));
+}
+/** The shape of an expression with its user data masked. Null outside the native subset. */
+export function nativeSkeleton(expression) {
+    const compiled = getCompiled(expression);
+    if (compiled === null)
+        return null;
+    return compiled.chunks
+        .map((chunk) => chunk.type === 'text'
+        ? chunk.text === ''
+            ? ''
+            : '<text>'
+        : `{{ ${skeletonOf(chunk.node)} }}`)
+        .join('');
+}
+/** Compares a sample of native results with the engine's and reports each new difference. */
+export class NativeVerifier {
+    sample;
+    report;
+    canReport;
+    reportedShapes = new Set();
+    constructor(sample, report, canReport = () => true) {
+        this.sample = sample;
+        this.report = report;
+        this.canReport = canReport;
+    }
+    /** Draws whether this evaluation is part of the sample. False while reports cannot be sent. */
+    isSampled() {
+        return this.sample > 0 && this.canReport() && Math.random() < this.sample;
+    }
+    /** Reports `native` when it differs from `engine`. Never throws. */
+    compare(expression, engineName, native, engine, data) {
+        try {
+            if (compareResults(native, engine) === 'different' && !hitEngineLimit(engine)) {
+                const skeleton = nativeSkeleton(expression);
+                if (skeleton === null)
+                    return;
+                const shape = {
+                    skeleton,
+                    engine: engineName,
+                    nativeResultType: resultType(native),
+                    engineResultType: resultType(engine),
+                };
+                const key = JSON.stringify(shape);
+                if (this.reportedShapes.has(key))
+                    return;
+                if (this.reportedShapes.size >= MAX_REPORTED_SHAPES)
+                    return;
+                this.reportedShapes.add(key);
+                if (this.reportedShapes.size === MAX_REPORTED_SHAPES) {
+                    LoggerProxy.warn('Native evaluation verify mode reached its report limit and stops reporting new differences');
+                }
+                this.report({ ...shape, workflowId: workflowIdOf(data) });
+            }
+        }
+        catch {
+            // Reporting must never change what the caller gets.
+        }
+    }
+}
+function compareResults(a, b) {
+    if (a.ok && b.ok)
+        return compareValues(a.value, b.value);
+    if (a.ok || b.ok)
+        return 'different';
+    const sameError = a.error instanceof Error &&
+        b.error instanceof Error &&
+        a.error.constructor === b.error.constructor &&
+        a.error.message === b.error.message;
+    return sameError ? 'same' : 'different';
+}
+// TODO(native-evaluation verify, CET-447): share the bounded comparison with the QuickJS shadow.
+function compareValues(a, b, maxComparedPairs = MAX_COMPARED_PAIRS) {
+    let remaining = maxComparedPairs;
+    const compare = (x, y) => {
+        remaining--;
+        if (remaining < 0) {
+            throw new ComparisonTooLargeError();
+        }
+        // QuickJS drops object keys that hold undefined from its results.
+        if (isObject(x) && isObject(y)) {
+            return sameDefinedEntries(x, y, compare);
+        }
+        return undefined;
+    };
+    try {
+        return isEqualWith(a, b, compare) ? 'same' : 'different';
+    }
+    catch (error) {
+        if (error instanceof ComparisonTooLargeError) {
+            return 'too_large';
+        }
+        throw error;
+    }
+}
+function sameDefinedEntries(a, b, compare) {
+    const definedKeys = (value) => Object.keys(value).filter((key) => value[key] !== undefined);
+    const aKeys = definedKeys(a);
+    return (aKeys.length === definedKeys(b).length &&
+        aKeys.every((key) => Object.hasOwn(b, key) && isEqualWith(a[key], b[key], compare)));
+}
+function hitEngineLimit(result) {
+    return !result.ok && (result.errorClass === 'timeout' || result.errorClass === 'memory_limit');
+}
+function resultType(result) {
+    if (!result.ok) {
+        return `error:${result.errorClass}`;
+    }
+    const { value } = result;
+    if (value === null)
+        return 'null';
+    if (Array.isArray(value))
+        return 'array';
+    if (typeof value === 'object')
+        return prototypeName(value);
+    return typeof value;
+}
+function prototypeName(value) {
+    const prototype = Object.getPrototypeOf(value);
+    const constructor = typeof prototype === 'object' && prototype !== null ? prototype.constructor : undefined;
+    return typeof constructor === 'function' ? constructor.name : 'object';
+}
+function workflowIdOf(data) {
+    try {
+        const id = data.$workflow?.id;
+        return typeof id === 'string' ? id : undefined;
+    }
+    catch {
+        return undefined;
+    }
+}
+//# sourceMappingURL=verify.js.map

package/dist/esm/expressions/native-evaluation/verify.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify.js","sourceRoot":"","sources":["../../../../src/expressions/native-evaluation/verify.ts"],"names":[],"mappings":"AAAA,OAAO,WAAW,MAAM,oBAAoB,CAAC;AAE7C,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AACzC,OAAO,EAAE,qBAAqB,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAG/D,OAAO,KAAK,WAAW,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAEvC,0EAA0E;AAC1E,iDAAiD;AACjD,MAAM,mBAAmB,GAAG,IAAI,CAAC;AAEjC,kDAAkD;AAClD,MAAM,kBAAkB,GAAG,MAAM,CAAC;AAElC,MAAM,uBAAwB,SAAQ,KAAK;CAAG;AAE9C;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAAC,UAAkB;IACnD,MAAM,QAAQ,GAAG,WAAW,CAAC,UAAU,CAAC,CAAC;IACzC,OAAO,CACN,QAAQ,KAAK,IAAI;QACjB,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,qBAAqB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAC5F,CAAC;AACH,CAAC;AAED,4FAA4F;AAC5F,MAAM,UAAU,cAAc,CAAC,UAAkB;IAChD,MAAM,QAAQ,GAAG,WAAW,CAAC,UAAU,CAAC,CAAC;IACzC,IAAI,QAAQ,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAEnC,OAAO,QAAQ,CAAC,MAAM;SACpB,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CACd,KAAK,CAAC,IAAI,KAAK,MAAM;QACpB,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,EAAE;YAClB,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,QAAQ;QACX,CAAC,CAAC,MAAM,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CACpC;SACA,IAAI,CAAC,EAAE,CAAC,CAAC;AACZ,CAAC;AAWD,6FAA6F;AAC7F,MAAM,OAAO,cAAc;IAIR,MAAM;IACN,MAAM;IACN,SAAS;IALV,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IAEpD,YACkB,MAAc,EACd,MAAgD,EAChD,SAAS,GAAkB,GAAG,EAAE,CAAC,IAAI;sBAFrC,MAAM;sBACN,MAAM;yBACN,SAAS;IACxB,CAAC;IAEJ,+FAA+F;IAC/F,SAAS;QACR,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,SAAS,EAAE,IAAI,IAAI,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3E,CAAC;IAED,oEAAoE;IACpE,OAAO,CACN,UAAkB,EAClB,UAA0C,EAC1C,MAAmC,EACnC,MAAmC,EACnC,IAA4B;QAE5B,IAAI,CAAC;YACJ,IAAI,cAAc,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,WAAW,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC/E,MAAM,QAAQ,GAAG,cAAc,CAAC,UAAU,CAAC,CAAC;gBAC5C,IAAI,QAAQ,KAAK,IAAI;oBAAE,OAAO;gBAE9B,MAAM,KAAK,GAAG;oBACb,QAAQ;oBACR,MAAM,EAAE,UAAU;oBAClB,gBAAgB,EAAE,UAAU,CAAC,MAAM,CAAC;oBACpC,gBAAgB,EAAE,UAAU,CAAC,MAAM,CAAC;iBACpC,CAAC;gBACF,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;gBAClC,IAAI,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,OAAO;gBACzC,IAAI,IAAI,CAAC,cAAc,CAAC,IAAI,IAAI,mBAAmB;oBAAE,OAAO;gBAC5D,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC7B,IAAI,IAAI,CAAC,cAAc,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;oBACtD,WAAW,CAAC,IAAI,CACf,4FAA4F,CAC5F,CAAC;gBACH,CAAC;gBAED,IAAI,CAAC,MAAM,CAAC,EAAE,GAAG,KAAK,EAAE,UAAU,EAAE,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC3D,CAAC;QACF,CAAC;QAAC,MAAM,CAAC;YACR,oDAAoD;QACrD,CAAC;IACF,CAAC;CACD;AAID,SAAS,cAAc,CACtB,CAA8B,EAC9B,CAA8B;IAE9B,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE;QAAE,OAAO,aAAa,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;IACzD,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE;QAAE,OAAO,WAAW,CAAC;IACrC,MAAM,SAAS,GACd,CAAC,CAAC,KAAK,YAAY,KAAK;QACxB,CAAC,CAAC,KAAK,YAAY,KAAK;QACxB,CAAC,CAAC,KAAK,CAAC,WAAW,KAAK,CAAC,CAAC,KAAK,CAAC,WAAW;QAC3C,CAAC,CAAC,KAAK,CAAC,OAAO,KAAK,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC;IACrC,OAAO,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC;AACzC,CAAC;AAED,iGAAiG;AACjG,SAAS,aAAa,CAAC,CAAU,EAAE,CAAU,EAAE,gBAAgB,GAAG,kBAAkB;IACnF,IAAI,SAAS,GAAG,gBAAgB,CAAC;IACjC,MAAM,OAAO,GAAG,CAAC,CAAU,EAAE,CAAU,EAAuB,EAAE;QAC/D,SAAS,EAAE,CAAC;QACZ,IAAI,SAAS,GAAG,CAAC,EAAE,CAAC;YACnB,MAAM,IAAI,uBAAuB,EAAE,CAAC;QACrC,CAAC;QACD,kEAAkE;QAClE,IAAI,QAAQ,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;YAChC,OAAO,kBAAkB,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC;QAC1C,CAAC;QACD,OAAO,SAAS,CAAC;IAClB,CAAC,CAAC;IACF,IAAI,CAAC;QACJ,OAAO,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC;IAC1D,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAChB,IAAI,KAAK,YAAY,uBAAuB,EAAE,CAAC;YAC9C,OAAO,WAAW,CAAC;QACpB,CAAC;QACD,MAAM,KAAK,CAAC;IACb,CAAC;AACF,CAAC;AAED,SAAS,kBAAkB,CAC1B,CAA0B,EAC1B,CAA0B,EAC1B,OAAwD;IAExD,MAAM,WAAW,GAAG,CAAC,KAA8B,EAAE,EAAE,CACtD,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,SAAS,CAAC,CAAC;IAC9D,MAAM,KAAK,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;IAC7B,OAAO,CACN,KAAK,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC,MAAM;QACtC,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC,CACnF,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,MAAmC;IAC1D,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,UAAU,KAAK,SAAS,IAAI,MAAM,CAAC,UAAU,KAAK,cAAc,CAAC,CAAC;AAChG,CAAC;AAED,SAAS,UAAU,CAAC,MAAmC;IACtD,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QAChB,OAAO,SAAS,MAAM,CAAC,UAAU,EAAE,CAAC;IACrC,CAAC;IACD,MAAM,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;IACzB,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAClC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,OAAO,CAAC;IACzC,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,aAAa,CAAC,KAAK,CAAC,CAAC;IAC3D,OAAO,OAAO,KAAK,CAAC;AACrB,CAAC;AAED,SAAS,aAAa,CAAC,KAAa;IACnC,MAAM,SAAS,GAAY,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;IACxD,MAAM,WAAW,GAChB,OAAO,SAAS,KAAK,QAAQ,IAAI,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC;IACzF,OAAO,OAAO,WAAW,KAAK,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC;AACxE,CAAC;AAED,SAAS,YAAY,CAAC,IAA4B;IACjD,IAAI,CAAC;QACJ,MAAM,EAAE,GAAY,IAAI,CAAC,SAAS,EAAE,EAAE,CAAC;QACvC,OAAO,OAAO,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IAChD,CAAC;IAAC,MAAM,CAAC;QACR,OAAO,SAAS,CAAC;IAClB,CAAC;AACF,CAAC"}