@elaraai/east 1.0.60 → 1.0.62

package/dist/src/compile.js

@@ -12,6 +12,7 @@ import { invertFor } from "./patch/invert.js";
 import { ConflictError } from "./patch/index.js";
 import { printFor, parseFor } from "./serialization/east.js";
 import { variant } from "./containers/variant.js";
+import { isFrozenValue } from "./frozen.js";
 import { EastError, InternalError } from "./error.js";
 import { get_current_source_map } from "./location.js";
 import { SortedSet } from "./containers/sortedset.js";
@@ -53,6 +54,10 @@ function getContextValue(ctx, name) {
     return value;
 }
 // =============================================================================
+/** @internal The frozen-mutation error message — identical across the TS, C
+ * and Python runtimes (compliance-tested), so a body that mutates a frozen
+ * task input fails the same way everywhere. */
+const FROZEN_MESSAGE = "cannot mutate a frozen value (task inputs are immutable) — copy first";
 /** @internal Track iteration locks to prevent concurrent modification */
 const iterationLocks = new WeakMap();
 /** @internal Lock a collection for iteration (prevents size/keyset modifications) */
@@ -1841,15 +1846,15 @@ const builtin_evaluators = {
         return ref.value;
     },
     RefUpdate: (loc_id, source_map, _platformDef, _T) => (ref, value) => {
-        if (Object.isFrozen(ref)) {
-            throw new EastError("Cannot modify frozen Ref", { location: (source_map?.resolve(loc_id) ?? []) });
+        if (isFrozenValue(ref)) {
+            throw new EastError(FROZEN_MESSAGE, { location: (source_map?.resolve(loc_id) ?? []) });
         }
         ref.value = value;
         return null;
     },
     RefMerge: (loc_id, source_map, _platformDef, _T) => (ref, value, merger) => {
-        if (Object.isFrozen(ref)) {
-            throw new EastError("Cannot modify frozen Ref", { location: (source_map?.resolve(loc_id) ?? []) });
+        if (isFrozenValue(ref)) {
+            throw new EastError(FROZEN_MESSAGE, { location: (source_map?.resolve(loc_id) ?? []) });
         }
         const new_value = call_function(loc_id, source_map, merger, ref.value, value);
         ref.value = new_value;
@@ -1929,8 +1934,8 @@ const builtin_evaluators = {
         }
     },
     ArrayUpdate: (loc_id, source_map, _platformDef, _T) => (array, key, value) => {
-        if (Object.isFrozen(array)) {
-            throw new EastError("Cannot modify frozen Array", { location: (source_map?.resolve(loc_id) ?? []) });
+        if (isFrozenValue(array)) {
+            throw new EastError(FROZEN_MESSAGE, { location: (source_map?.resolve(loc_id) ?? []) });
         }
         const i = Number(key);
         if (i < 0 || i >= array.length) {
@@ -1942,8 +1947,8 @@ const builtin_evaluators = {
         }
     },
     ArrayMerge: (loc_id, source_map, _platformDef, _T) => (array, key, value, merger) => {
-        if (Object.isFrozen(array)) {
-            throw new EastError("Cannot modify frozen Array", { location: (source_map?.resolve(loc_id) ?? []) });
+        if (isFrozenValue(array)) {
+            throw new EastError(FROZEN_MESSAGE, { location: (source_map?.resolve(loc_id) ?? []) });
         }
         const i = Number(key);
         if (i < 0 || i >= array.length) {
@@ -1956,8 +1961,8 @@ const builtin_evaluators = {
         }
     },
     ArrayPushLast: (loc_id, source_map, _platformDef, _T) => (array, value) => {
-        if (Object.isFrozen(array)) {
-            throw new EastError("Cannot modify frozen Array", { location: (source_map?.resolve(loc_id) ?? []) });
+        if (isFrozenValue(array)) {
+            throw new EastError(FROZEN_MESSAGE, { location: (source_map?.resolve(loc_id) ?? []) });
         }
         if ((iterationLocks.get(array) || 0) > 0) {
             throw new EastError("Cannot modify Array during iteration", { location: (source_map?.resolve(loc_id) ?? []) });
@@ -1966,8 +1971,8 @@ const builtin_evaluators = {
         return null;
     },
     ArrayPopLast: (loc_id, source_map, _platformDef, _T) => (array) => {
-        if (Object.isFrozen(array)) {
-            throw new EastError("Cannot modify frozen Array", { location: (source_map?.resolve(loc_id) ?? []) });
+        if (isFrozenValue(array)) {
+            throw new EastError(FROZEN_MESSAGE, { location: (source_map?.resolve(loc_id) ?? []) });
         }
         if ((iterationLocks.get(array) || 0) > 0) {
             throw new EastError("Cannot modify Array during iteration", { location: (source_map?.resolve(loc_id) ?? []) });
@@ -1980,8 +1985,8 @@ const builtin_evaluators = {
         }
     },
     ArrayPushFirst: (loc_id, source_map, _platformDef, _T) => (array, value) => {
-        if (Object.isFrozen(array)) {
-            throw new EastError("Cannot modify frozen Array", { location: (source_map?.resolve(loc_id) ?? []) });
+        if (isFrozenValue(array)) {
+            throw new EastError(FROZEN_MESSAGE, { location: (source_map?.resolve(loc_id) ?? []) });
         }
         if ((iterationLocks.get(array) || 0) > 0) {
             throw new EastError("Cannot modify Array during iteration", { location: (source_map?.resolve(loc_id) ?? []) });
@@ -1990,8 +1995,8 @@ const builtin_evaluators = {
         return null;
     },
     ArrayPopFirst: (loc_id, source_map, _platformDef, _T) => (array) => {
-        if (Object.isFrozen(array)) {
-            throw new EastError("Cannot modify frozen Array", { location: (source_map?.resolve(loc_id) ?? []) });
+        if (isFrozenValue(array)) {
+            throw new EastError(FROZEN_MESSAGE, { location: (source_map?.resolve(loc_id) ?? []) });
         }
         if ((iterationLocks.get(array) || 0) > 0) {
             throw new EastError("Cannot modify Array during iteration", { location: (source_map?.resolve(loc_id) ?? []) });
@@ -2004,8 +2009,8 @@ const builtin_evaluators = {
         }
     },
     ArrayAppend: (loc_id, source_map, _platformDef, _T) => (array, other) => {
-        if (Object.isFrozen(array)) {
-            throw new EastError("Cannot modify frozen Array", { location: (source_map?.resolve(loc_id) ?? []) });
+        if (isFrozenValue(array)) {
+            throw new EastError(FROZEN_MESSAGE, { location: (source_map?.resolve(loc_id) ?? []) });
         }
         if ((iterationLocks.get(array) || 0) > 0) {
             throw new EastError("Cannot modify Array during iteration", { location: (source_map?.resolve(loc_id) ?? []) });
@@ -2014,8 +2019,8 @@ const builtin_evaluators = {
         return null;
     },
     ArrayPrepend: (loc_id, source_map, _platformDef, _T) => (array, other) => {
-        if (Object.isFrozen(array)) {
-            throw new EastError("Cannot modify frozen Array", { location: (source_map?.resolve(loc_id) ?? []) });
+        if (isFrozenValue(array)) {
+            throw new EastError(FROZEN_MESSAGE, { location: (source_map?.resolve(loc_id) ?? []) });
         }
         if ((iterationLocks.get(array) || 0) > 0) {
             throw new EastError("Cannot modify Array during iteration", { location: (source_map?.resolve(loc_id) ?? []) });
@@ -2024,8 +2029,8 @@ const builtin_evaluators = {
         return null;
     },
     ArrayMergeAll: (loc_id, source_map, _platformDef, _T, _T2) => (array, other, merger) => {
-        if (Object.isFrozen(array)) {
-            throw new EastError("Cannot modify frozen Array", { location: (source_map?.resolve(loc_id) ?? []) });
+        if (isFrozenValue(array)) {
+            throw new EastError(FROZEN_MESSAGE, { location: (source_map?.resolve(loc_id) ?? []) });
         }
         lockForIteration(array);
         lockForIteration(other);
@@ -2048,8 +2053,8 @@ const builtin_evaluators = {
         return null;
     },
     ArrayClear: (loc_id, source_map, _platformDef, _T) => (array) => {
-        if (Object.isFrozen(array)) {
-            throw new EastError("Cannot modify frozen Array", { location: (source_map?.resolve(loc_id) ?? []) });
+        if (isFrozenValue(array)) {
+            throw new EastError(FROZEN_MESSAGE, { location: (source_map?.resolve(loc_id) ?? []) });
         }
         if ((iterationLocks.get(array) || 0) > 0) {
             throw new EastError("Cannot modify Array during iteration", { location: (source_map?.resolve(loc_id) ?? []) });
@@ -2058,8 +2063,8 @@ const builtin_evaluators = {
         return null;
     },
     ArraySortInPlace: (loc_id, source_map, _platformDef, T, T2) => (array, by) => {
-        if (Object.isFrozen(array)) {
-            throw new EastError("Cannot modify frozen Array", { location: (source_map?.resolve(loc_id) ?? []) });
+        if (isFrozenValue(array)) {
+            throw new EastError(FROZEN_MESSAGE, { location: (source_map?.resolve(loc_id) ?? []) });
         }
         if ((iterationLocks.get(array) || 0) > 0) {
             throw new EastError("Cannot modify Array during iteration", { location: (source_map?.resolve(loc_id) ?? []) });
@@ -2079,8 +2084,8 @@ const builtin_evaluators = {
         return null;
     },
     ArrayReverseInPlace: (loc_id, source_map, _platformDef, _T) => (array) => {
-        if (Object.isFrozen(array)) {
-            throw new EastError("Cannot modify frozen Array", { location: (source_map?.resolve(loc_id) ?? []) });
+        if (isFrozenValue(array)) {
+            throw new EastError(FROZEN_MESSAGE, { location: (source_map?.resolve(loc_id) ?? []) });
         }
         if ((iterationLocks.get(array) || 0) > 0) {
             throw new EastError("Cannot modify Array during iteration", { location: (source_map?.resolve(loc_id) ?? []) });
@@ -2347,6 +2352,21 @@ const builtin_evaluators = {
             unlockForIteration(array);
         }
     },
+    ArrayScan: (loc_id, source_map, _platformDef, _T, _T2) => (array, init, f) => {
+        lockForIteration(array);
+        try {
+            const result = [];
+            let acc = init;
+            for (let i = 0; i < array.length; i++) {
+                acc = call_function(loc_id, source_map, f, acc, array[i], BigInt(i));
+                result.push(acc);
+            }
+            return result;
+        }
+        finally {
+            unlockForIteration(array);
+        }
+    },
     ArrayMapReduce: (loc_id, source_map, _platformDef, _T, _T2) => (array, mapFn, reduceFn) => {
         if (array.length === 0) {
             throw new EastError("Cannot reduce empty array with no initial value", { location: (source_map?.resolve(loc_id) ?? []) });
@@ -2502,8 +2522,8 @@ const builtin_evaluators = {
     SetInsert: (loc_id, source_map, _platformDef, K) => {
         const print = printFor(K);
         return (s, key) => {
-            if (Object.isFrozen(s)) {
-                throw new EastError("Cannot modify frozen Set", { location: (source_map?.resolve(loc_id) ?? []) });
+            if (isFrozenValue(s)) {
+                throw new EastError(FROZEN_MESSAGE, { location: (source_map?.resolve(loc_id) ?? []) });
             }
             if ((iterationLocks.get(s) || 0) > 0) {
                 throw new EastError("Cannot modify Set during iteration", { location: (source_map?.resolve(loc_id) ?? []) });
@@ -2517,8 +2537,8 @@ const builtin_evaluators = {
         };
     },
     SetTryInsert: (loc_id, source_map, _platformDef, _K) => (s, key) => {
-        if (Object.isFrozen(s)) {
-            throw new EastError("Cannot modify frozen Set", { location: (source_map?.resolve(loc_id) ?? []) });
+        if (isFrozenValue(s)) {
+            throw new EastError(FROZEN_MESSAGE, { location: (source_map?.resolve(loc_id) ?? []) });
         }
         if ((iterationLocks.get(s) || 0) > 0) {
             throw new EastError("Cannot modify Set during iteration", { location: (source_map?.resolve(loc_id) ?? []) });
@@ -2530,8 +2550,8 @@ const builtin_evaluators = {
     SetDelete: (loc_id, source_map, _platformDef, K) => {
         const print = printFor(K);
         return (s, key) => {
-            if (Object.isFrozen(s)) {
-                throw new EastError("Cannot modify frozen Set", { location: (source_map?.resolve(loc_id) ?? []) });
+            if (isFrozenValue(s)) {
+                throw new EastError(FROZEN_MESSAGE, { location: (source_map?.resolve(loc_id) ?? []) });
             }
             if ((iterationLocks.get(s) || 0) > 0) {
                 throw new EastError("Cannot modify Set during iteration", { location: (source_map?.resolve(loc_id) ?? []) });
@@ -2543,8 +2563,8 @@ const builtin_evaluators = {
         };
     },
     SetTryDelete: (loc_id, source_map, _platformDef, _K) => (s, key) => {
-        if (Object.isFrozen(s)) {
-            throw new EastError("Cannot modify frozen Set", { location: (source_map?.resolve(loc_id) ?? []) });
+        if (isFrozenValue(s)) {
+            throw new EastError(FROZEN_MESSAGE, { location: (source_map?.resolve(loc_id) ?? []) });
         }
         if ((iterationLocks.get(s) || 0) > 0) {
             throw new EastError("Cannot modify Set during iteration", { location: (source_map?.resolve(loc_id) ?? []) });
@@ -2552,8 +2572,8 @@ const builtin_evaluators = {
         return s.delete(key);
     },
     SetClear: (loc_id, source_map, _platformDef, _K) => (s) => {
-        if (Object.isFrozen(s)) {
-            throw new EastError("Cannot modify frozen Set", { location: (source_map?.resolve(loc_id) ?? []) });
+        if (isFrozenValue(s)) {
+            throw new EastError(FROZEN_MESSAGE, { location: (source_map?.resolve(loc_id) ?? []) });
         }
         if ((iterationLocks.get(s) || 0) > 0) {
             throw new EastError("Cannot modify Set during iteration", { location: (source_map?.resolve(loc_id) ?? []) });
@@ -2562,8 +2582,8 @@ const builtin_evaluators = {
         return null;
     },
     SetUnionInPlace: (loc_id, source_map, _platformDef, _K) => (s1, s2) => {
-        if (Object.isFrozen(s1)) {
-            throw new EastError("Cannot modify frozen Set", { location: (source_map?.resolve(loc_id) ?? []) });
+        if (isFrozenValue(s1)) {
+            throw new EastError(FROZEN_MESSAGE, { location: (source_map?.resolve(loc_id) ?? []) });
         }
         if ((iterationLocks.get(s1) || 0) > 0) {
             throw new EastError("Cannot modify Set during iteration", { location: (source_map?.resolve(loc_id) ?? []) });
@@ -2697,6 +2717,21 @@ const builtin_evaluators = {
             unlockForIteration(s);
         }
     },
+    SetScan: (loc_id, source_map, _platformDef, _K, _T2) => (s, f, init) => {
+        const result = [];
+        let acc = init;
+        lockForIteration(s);
+        try {
+            for (const x of s) {
+                acc = call_function(loc_id, source_map, f, acc, x);
+                result.push(acc);
+            }
+            return result;
+        }
+        finally {
+            unlockForIteration(s);
+        }
+    },
     SetToArray: (loc_id, source_map, _platformDef, _K, _T2) => (s, valueFn) => {
         const ret = [];
         lockForIteration(s);
@@ -2889,8 +2924,8 @@ const builtin_evaluators = {
     DictInsert: (loc_id, source_map, _platformDef, K, _V) => {
         const print = printFor(K);
         return (d, key, value) => {
-            if (Object.isFrozen(d)) {
-                throw new EastError("Cannot modify frozen Dict", { location: (source_map?.resolve(loc_id) ?? []) });
+            if (isFrozenValue(d)) {
+                throw new EastError(FROZEN_MESSAGE, { location: (source_map?.resolve(loc_id) ?? []) });
             }
             if ((iterationLocks.get(d) || 0) > 0) {
                 throw new EastError("Cannot modify Dict during iteration", { location: (source_map?.resolve(loc_id) ?? []) });
@@ -2906,8 +2941,8 @@ const builtin_evaluators = {
         };
     },
     DictGetOrInsert: (loc_id, source_map, _platformDef, _K, _V) => (d, key, onMissing) => {
-        if (Object.isFrozen(d)) {
-            throw new EastError("Cannot modify frozen Dict", { location: (source_map?.resolve(loc_id) ?? []) });
+        if (isFrozenValue(d)) {
+            throw new EastError(FROZEN_MESSAGE, { location: (source_map?.resolve(loc_id) ?? []) });
         }
         if ((iterationLocks.get(d) || 0) > 0) {
             throw new EastError("Cannot modify Dict during iteration", { location: (source_map?.resolve(loc_id) ?? []) });
@@ -2923,8 +2958,8 @@ const builtin_evaluators = {
         }
     },
     DictInsertOrUpdate: (loc_id, source_map, _platformDef, _K, _V) => (d, key, value, onConflictFn) => {
-        if (Object.isFrozen(d)) {
-            throw new EastError("Cannot modify frozen Dict", { location: (source_map?.resolve(loc_id) ?? []) });
+        if (isFrozenValue(d)) {
+            throw new EastError(FROZEN_MESSAGE, { location: (source_map?.resolve(loc_id) ?? []) });
         }
         if ((iterationLocks.get(d) || 0) > 0) {
             throw new EastError("Cannot modify Dict during iteration", { location: (source_map?.resolve(loc_id) ?? []) });
@@ -2942,8 +2977,8 @@ const builtin_evaluators = {
     DictUpdate: (loc_id, source_map, _platformDef, K, _V) => {
         const print = printFor(K);
         return (d, key, value) => {
-            if (Object.isFrozen(d)) {
-                throw new EastError("Cannot modify frozen Dict", { location: (source_map?.resolve(loc_id) ?? []) });
+            if (isFrozenValue(d)) {
+                throw new EastError(FROZEN_MESSAGE, { location: (source_map?.resolve(loc_id) ?? []) });
             }
             if (d.has(key)) {
                 d.set(key, value);
@@ -2957,8 +2992,8 @@ const builtin_evaluators = {
     DictSwap: (loc_id, source_map, _platformDef, K, _V) => {
         const print = printFor(K);
         return (d, key, value) => {
-            if (Object.isFrozen(d)) {
-                throw new EastError("Cannot modify frozen Dict", { location: (source_map?.resolve(loc_id) ?? []) });
+            if (isFrozenValue(d)) {
+                throw new EastError(FROZEN_MESSAGE, { location: (source_map?.resolve(loc_id) ?? []) });
             }
             let existing = d.get(key);
             if (existing === undefined) {
@@ -2969,8 +3004,8 @@ const builtin_evaluators = {
         };
     },
     DictMerge: (loc_id, source_map, _platformDef, _K, _V) => (d, key, value, mergeFn, initialFn) => {
-        if (Object.isFrozen(d)) {
-            throw new EastError("Cannot modify frozen Dict", { location: (source_map?.resolve(loc_id) ?? []) });
+        if (isFrozenValue(d)) {
+            throw new EastError(FROZEN_MESSAGE, { location: (source_map?.resolve(loc_id) ?? []) });
         }
         if ((iterationLocks.get(d) || 0) > 0) {
             throw new EastError("Cannot modify Dict during iteration", { location: (source_map?.resolve(loc_id) ?? []) });
@@ -2986,8 +3021,8 @@ const builtin_evaluators = {
     DictDelete: (loc_id, source_map, _platformDef, K, _V) => {
         const print = printFor(K);
         return (d, key) => {
-            if (Object.isFrozen(d)) {
-                throw new EastError("Cannot modify frozen Dict", { location: (source_map?.resolve(loc_id) ?? []) });
+            if (isFrozenValue(d)) {
+                throw new EastError(FROZEN_MESSAGE, { location: (source_map?.resolve(loc_id) ?? []) });
             }
             if ((iterationLocks.get(d) || 0) > 0) {
                 throw new EastError("Cannot modify Dict during iteration", { location: (source_map?.resolve(loc_id) ?? []) });
@@ -3000,8 +3035,8 @@ const builtin_evaluators = {
         };
     },
     DictTryDelete: (loc_id, source_map, _platformDef, _K, _V) => (d, key) => {
-        if (Object.isFrozen(d)) {
-            throw new EastError("Cannot modify frozen Dict", { location: (source_map?.resolve(loc_id) ?? []) });
+        if (isFrozenValue(d)) {
+            throw new EastError(FROZEN_MESSAGE, { location: (source_map?.resolve(loc_id) ?? []) });
         }
         if ((iterationLocks.get(d) || 0) > 0) {
             throw new EastError("Cannot modify Dict during iteration", { location: (source_map?.resolve(loc_id) ?? []) });
@@ -3011,8 +3046,8 @@ const builtin_evaluators = {
     DictPop: (loc_id, source_map, _platformDef, K, _V) => {
         const print = printFor(K);
         return (d, key) => {
-            if (Object.isFrozen(d)) {
-                throw new EastError("Cannot modify frozen Dict", { location: (source_map?.resolve(loc_id) ?? []) });
+            if (isFrozenValue(d)) {
+                throw new EastError(FROZEN_MESSAGE, { location: (source_map?.resolve(loc_id) ?? []) });
             }
             if ((iterationLocks.get(d) || 0) > 0) {
                 throw new EastError("Cannot modify Dict during iteration", { location: (source_map?.resolve(loc_id) ?? []) });
@@ -3028,8 +3063,8 @@ const builtin_evaluators = {
         };
     },
     DictClear: (loc_id, source_map, _platformDef, _K, _V) => (d) => {
-        if (Object.isFrozen(d)) {
-            throw new EastError("Cannot modify frozen Dict", { location: (source_map?.resolve(loc_id) ?? []) });
+        if (isFrozenValue(d)) {
+            throw new EastError(FROZEN_MESSAGE, { location: (source_map?.resolve(loc_id) ?? []) });
         }
         if ((iterationLocks.get(d) || 0) > 0) {
             throw new EastError("Cannot modify Dict during iteration", { location: (source_map?.resolve(loc_id) ?? []) });
@@ -3038,8 +3073,8 @@ const builtin_evaluators = {
         return null;
     },
     DictUnionInPlace: (loc_id, source_map, _platformDef, _K, _V) => (d1, d2, onConflict) => {
-        if (Object.isFrozen(d1)) {
-            throw new EastError("Cannot modify frozen Dict", { location: (source_map?.resolve(loc_id) ?? []) });
+        if (isFrozenValue(d1)) {
+            throw new EastError(FROZEN_MESSAGE, { location: (source_map?.resolve(loc_id) ?? []) });
         }
         if ((iterationLocks.get(d1) || 0) > 0) {
             throw new EastError("Cannot modify Dict during iteration", { location: (source_map?.resolve(loc_id) ?? []) });
@@ -3057,8 +3092,8 @@ const builtin_evaluators = {
         return null;
     },
     DictMergeAll: (loc_id, source_map, _platformDef, _K, _V) => (d1, d2, mergeFn, initialFn) => {
-        if (Object.isFrozen(d1)) {
-            throw new EastError("Cannot modify frozen Dict", { location: (source_map?.resolve(loc_id) ?? []) });
+        if (isFrozenValue(d1)) {
+            throw new EastError(FROZEN_MESSAGE, { location: (source_map?.resolve(loc_id) ?? []) });
         }
         if ((iterationLocks.get(d1) || 0) > 0) {
             throw new EastError("Cannot modify Dict during iteration", { location: (source_map?.resolve(loc_id) ?? []) });
@@ -3216,6 +3251,21 @@ const builtin_evaluators = {
             unlockForIteration(d);
         }
     },
+    DictScan: (loc_id, source_map, _platformDef, _K, _V, _T2) => (d, f, init) => {
+        const result = [];
+        let acc = init;
+        lockForIteration(d);
+        try {
+            for (const [k, v] of d) {
+                acc = call_function(loc_id, source_map, f, acc, v, k);
+                result.push(acc);
+            }
+            return result;
+        }
+        finally {
+            unlockForIteration(d);
+        }
+    },
     DictToArray: (loc_id, source_map, _platformDef, _K, _V, _T2) => (d, valueFn) => {
         const ret = [];
         lockForIteration(d);