@almadar/evaluator 2.30.0 → 2.32.0

package/dist/{index-BjtK8dP9.d.ts → index-rPqsFqVO.d.ts}

@@ -268,6 +268,17 @@ type Evaluator$2 = (expr: SExpr, ctx: EvaluationContext) => unknown;
  * Supports two formats:
  *   - Array of pairs: ["let", [["x", 10], ["y", 20]], body]
  *   - Object style:   ["let", {"x": 10, "y": 20}, body]
+ *
+ * Sequential (`let*`) semantics: each binding's value expression can
+ * reference any EARLIER binding in the same `let` via `@<name>` — matches
+ * `@almadar/runtime`'s `EffectExecutor` `let` case (its own, independent
+ * implementation, which already threads bindings this way) and how `.lolo`
+ * is authored in practice: multi-step chains where a later step's formula
+ * builds on an earlier one (e.g. std-evade-chase's `chase` tick computing
+ * `nc2x` from `nc1x`). Evaluating every binding against the original,
+ * unmodified `ctx` (the prior behavior here) left every cross-binding
+ * reference unresolved (`undefined`), silently corrupting any `let` with
+ * dependent bindings.
  */
 declare function evalLet(args: SExpr[], evaluate: Evaluator$2, ctx: EvaluationContext): unknown;
 /**

package/dist/index.d.ts

@@ -1,7 +1,7 @@
 import { SExpr } from '@almadar/core';
 export { CORE_BINDINGS, CoreBinding, Expression, ExpressionSchema, ParsedBinding, SExpr, SExprAtom, SExprSchema, collectBindings, getArgs, getOperator, isBinding, isSExpr, isSExprAtom, isSExprCall, isValidBinding, parseBinding, sexpr, walkSExpr } from '@almadar/core';
-import { E as EvaluationContext } from './index-BjtK8dP9.js';
-export { U as UserContext, c as createChildContext, a as createEffectContext, b as createMinimalContext, e as evalAbs, d as evalAdd, f as evalAnd, g as evalAtomic, h as evalCallService, i as evalCeil, j as evalClamp, k as evalConcat, l as evalCount, m as evalDecrement, n as evalDeref, o as evalDespawn, p as evalDivide, q as evalDo, r as evalEmit, s as evalEmpty, t as evalEqual, u as evalFilter, v as evalFind, w as evalFirst, x as evalFloor, y as evalFn, z as evalGreaterThan, A as evalGreaterThanOrEqual, B as evalIf, C as evalIncludes, D as evalIncrement, F as evalLast, G as evalLessThan, H as evalLessThanOrEqual, I as evalLet, J as evalList, K as evalMap, L as evalMatches, M as evalMax, N as evalMin, O as evalModulo, P as evalMultiply, Q as evalNavigate, R as evalNot, S as evalNotEqual, T as evalNotify, V as evalNth, W as evalOr, X as evalPersist, Y as evalRef, Z as evalRenderUI, _ as evalRound, $ as evalSet, a0 as evalSetDynamic, a1 as evalSpawn, a2 as evalSubtract, a3 as evalSum, a4 as evalSwap, a5 as evalWatch, a6 as evalWhen, a7 as resolveBinding } from './index-BjtK8dP9.js';
+import { E as EvaluationContext } from './index-rPqsFqVO.js';
+export { U as UserContext, c as createChildContext, a as createEffectContext, b as createMinimalContext, e as evalAbs, d as evalAdd, f as evalAnd, g as evalAtomic, h as evalCallService, i as evalCeil, j as evalClamp, k as evalConcat, l as evalCount, m as evalDecrement, n as evalDeref, o as evalDespawn, p as evalDivide, q as evalDo, r as evalEmit, s as evalEmpty, t as evalEqual, u as evalFilter, v as evalFind, w as evalFirst, x as evalFloor, y as evalFn, z as evalGreaterThan, A as evalGreaterThanOrEqual, B as evalIf, C as evalIncludes, D as evalIncrement, F as evalLast, G as evalLessThan, H as evalLessThanOrEqual, I as evalLet, J as evalList, K as evalMap, L as evalMatches, M as evalMax, N as evalMin, O as evalModulo, P as evalMultiply, Q as evalNavigate, R as evalNot, S as evalNotEqual, T as evalNotify, V as evalNth, W as evalOr, X as evalPersist, Y as evalRef, Z as evalRenderUI, _ as evalRound, $ as evalSet, a0 as evalSetDynamic, a1 as evalSpawn, a2 as evalSubtract, a3 as evalSum, a4 as evalSwap, a5 as evalWatch, a6 as evalWhen, a7 as resolveBinding } from './index-rPqsFqVO.js';
 
 /**
  * S-Expression Evaluator

package/dist/index.js

@@ -1,5 +1,6 @@
 import { isSExpr, isBinding, getOperator, getArgs, isFieldValue, isEventPayloadValue, isSessionHistoryEntry, isPlanSnapshot, OrbitalZodSchema, safeParseOrbitalSchema } from '@almadar/core';
 export { CORE_BINDINGS, ExpressionSchema, SExprSchema, collectBindings, getArgs, getOperator, isBinding, isSExpr, isSExprAtom, isSExprCall, isValidBinding, parseBinding, sexpr, walkSExpr } from '@almadar/core';
+import { createRequire } from 'module';
 
 // types/expression.ts
 
@@ -103,6 +104,27 @@ function resolveBinding(binding, ctx) {
   }
   return value;
 }
+var require2 = createRequire(import.meta.url);
+var canonicalOperators = require2("@almadar/std/canonical-operators.json");
+var ARITY = new Map(
+  Object.entries(canonicalOperators.operators).map(
+    ([name, meta]) => [
+      name,
+      { min: meta.minArity ?? 0, max: meta.maxArity === void 0 ? null : meta.maxArity }
+    ]
+  )
+);
+function assertOperatorArity(op, argCount) {
+  const bounds = ARITY.get(op);
+  if (!bounds) return;
+  const { min, max } = bounds;
+  if (argCount < min || max !== null && argCount > max) {
+    const range = max === null ? `at least ${min}` : min === max ? `${min}` : `${min}..${max}`;
+    throw new Error(
+      `(${op} \u2026): expected ${range} argument(s), got ${argCount} \u2014 same bounds the compiled path enforces (canonical-operators.json)`
+    );
+  }
+}
 
 // operators/arithmetic.ts
 function evalAdd(args, evaluate2, ctx) {
@@ -276,11 +298,12 @@ function evalLet(args, evaluate2, ctx) {
   const body = args[1];
   const bindingPairs = Array.isArray(rawBindings) ? rawBindings.map((b) => [b[0], b[1]]) : Object.entries(rawBindings);
   const locals = /* @__PURE__ */ new Map();
+  let childCtx = ctx;
   for (const [name, valueExpr] of bindingPairs) {
-    const value = evaluate2(valueExpr, ctx);
+    const value = evaluate2(valueExpr, childCtx);
     locals.set(name, value);
+    childCtx = createChildContext(ctx, locals);
   }
-  const childCtx = createChildContext(ctx, locals);
   return evaluate2(body, childCtx);
 }
 function evalDo(args, evaluate2, ctx) {
@@ -972,6 +995,8 @@ function evalWithItem(expr, evaluate2, ctx, item, index) {
   let result = evaluate2(expr, childCtx);
   if (isSExpr(result)) {
     result = evalWithItem(result, evaluate2, childCtx, item, index);
+  } else if (typeof result === "function") {
+    result = result(item, evaluate2, childCtx);
   }
   return result;
 }
@@ -3810,6 +3835,7 @@ var SExpressionEvaluator = class {
    * Dispatch to the appropriate operator implementation.
    */
   dispatchOperator(op, args, ctx) {
+    assertOperatorArity(op, args.length);
     const evaluate2 = (expr, c) => this.evaluate(expr, c);
     switch (op) {
       // Arithmetic