@nudojs/core 1.1.4 → 1.2.2

package/dist/{chunk-XOHKHJHE.js → chunk-TOURNNEA.js}

@@ -41,7 +41,7 @@ import {
   unknown,
   v,
   withExecPhi
-} from "./chunk-SQSO4NKT.js";
+} from "./chunk-4V3CRVSD.js";
 
 // src/algebra/constraint.ts
 var SELF = "__nudo_self__";
@@ -2541,9 +2541,9 @@ function promoteAsFn(ctx, name, args, loc) {
     loc
   });
 }
-function promoteCb(ctx, cbName, method, argTerms, loc) {
-  if (!ctx.params.has(cbName)) return;
-  const prev = ctx.shapes.get(cbName);
+function promoteCb(ctx, cevalName, method, argTerms, loc) {
+  if (!ctx.params.has(cevalName)) return;
+  const prev = ctx.shapes.get(cevalName);
   if (!prev) return;
   if (prev.shape.k !== "any" && prev.shape.k !== "unknown") return;
   let paramTypes;
@@ -2553,7 +2553,7 @@ function promoteCb(ctx, cbName, method, argTerms, loc) {
     returnType = abs({ k: "prim", type: "boolean" }, void 0, void 0, "path");
   } else {
     paramTypes = argTerms.map((t) => abs({ k: "any" }, t, void 0, "path"));
-    returnType = abs({ k: "any" }, v(`B:${cbName}`), void 0, "path");
+    returnType = abs({ k: "any" }, v(`B:${cevalName}`), void 0, "path");
   }
   const fnShape = {
     k: "fn",
@@ -2561,9 +2561,9 @@ function promoteCb(ctx, cbName, method, argTerms, loc) {
     paramTypes,
     returnType
   };
-  promoteShape(ctx, cbName, fnShape, loc, false);
+  promoteShape(ctx, cevalName, fnShape, loc, false);
   ctx.sites.push({
-    param: cbName,
+    param: cevalName,
     argTerms,
     result: returnType,
     loc
@@ -2675,14 +2675,14 @@ function scanPromotions(body, params, paramTermIds, initialShapes) {
 }
 
 // src/algebra/generalize.ts
-var bRunMemo = /* @__PURE__ */ new Map();
-function bPathRunOf(source, modules, inject) {
+var evalRunMemo = /* @__PURE__ */ new Map();
+function evalRunOf(source, modules, inject) {
   const mKey = `${source}|${runTranspiledOptionsMemoKey({ ...inject ?? {}, ...modules ? { modules } : {} })}`;
-  if (bRunMemo.size >= 256) {
-    const oldest = bRunMemo.keys().next().value;
-    if (oldest !== void 0) bRunMemo.delete(oldest);
+  if (evalRunMemo.size >= 256) {
+    const oldest = evalRunMemo.keys().next().value;
+    if (oldest !== void 0) evalRunMemo.delete(oldest);
   }
-  let run = bRunMemo.get(mKey);
+  let run = evalRunMemo.get(mKey);
   if (run === void 0) {
     const merged = modules ?? inject?.modules;
     const r = tryRunTranspiled(source, {
@@ -2692,7 +2692,7 @@ function bPathRunOf(source, modules, inject) {
     });
     if (r === void 0) return void 0;
     run = r;
-    bRunMemo.set(mKey, run);
+    evalRunMemo.set(mKey, run);
   }
   return run;
 }
@@ -3090,7 +3090,7 @@ function generalizeFromAstUncached(fnName, source, opts = {}) {
   );
   const envGated = envGatedSource && freeIdentifiers(body, boundNames).size > 0;
   const replaceGated = /@nudo:replace\b/.test(source) && !hasReps;
-  const bEligible = !unresolvableImports && !mockGated && !envGated && !replaceGated;
+  const evalEligible = !unresolvableImports && !mockGated && !envGated && !replaceGated;
   const run = (args, phi = pTrue) => {
     const { key, varOrder } = instantiateMemoKey(args, phi);
     const hit = instMemo.get(key);
@@ -3098,27 +3098,27 @@ function generalizeFromAstUncached(fnName, source, opts = {}) {
       return alphaRenameResult(hit.result, hit.varOrder, varOrder);
     }
     let result;
-    if (bEligible) {
+    if (evalEligible) {
       try {
-        const bRun = bPathRunOf(source, opts.modules, opts.inject);
-        if (!bRun) {
+        const evalRun = evalRunOf(source, opts.modules, opts.inject);
+        if (!evalRun) {
         } else if (fnName.includes(".")) {
           const [clsName, methodName] = fnName.split(".", 2);
-          const clsAbs = bRun[clsName ?? ""];
+          const clsAbs = evalRun[clsName ?? ""];
           if (clsAbs && typeof clsAbs === "object" && "shape" in clsAbs) {
             const nCtor = ctorParamCountOf(fileAst, clsName ?? "");
             const inst = $new(clsAbs, Array.from({ length: nCtor }, () => abs({ k: "any" }, void 0, pTrue, "path")));
             result = withExecPhi(phi, () => $invoke(inst, methodName ?? "", args));
           }
-        } else if (fnName in bRun) {
-          const bArgs = args.map((a, i) => {
+        } else if (fnName in evalRun) {
+          const evalArgs = args.map((a, i) => {
             const shape2 = promoteScan.promotedShapes.get(params[i]);
             if (shape2 && (a.shape.k === "any" || a.shape.k === "unknown")) {
               return { shape: shape2, term: a.term, pred: a.pred, conf: "path" };
             }
             return a;
           });
-          result = callTranspiledExportFull(bRun, fnName, bArgs, { phi }).result;
+          result = callTranspiledExportFull(evalRun, fnName, evalArgs, { phi }).result;
         }
       } catch {
       }
@@ -4029,17 +4029,17 @@ function scanLiteralCalls(source, knownFns, phi, opts) {
   const resolve = collectCallResolvers(source, knownFns, opts);
   const forwards = collectForwarders(source, knownSet, resolve, file);
   const varAbs = opts?.varAbs ?? /* @__PURE__ */ new Map();
-  const bCallIndex = /* @__PURE__ */ new Map();
+  const evalCallIndex = /* @__PURE__ */ new Map();
   for (const r of opts?.bCalls ?? []) {
     if (!r.callLoc) continue;
     const key = `${r.fnName}\0${r.callLoc.line}`;
-    const list = bCallIndex.get(key) ?? [];
+    const list = evalCallIndex.get(key) ?? [];
     list.push(r.args);
-    bCallIndex.set(key, list);
+    evalCallIndex.set(key, list);
   }
   const takeBCallArgs = (fnName, line) => {
     if (line === void 0) return void 0;
-    const list = bCallIndex.get(`${fnName}\0${line}`);
+    const list = evalCallIndex.get(`${fnName}\0${line}`);
     if (!list || list.length === 0) return void 0;
     return list.shift();
   };
@@ -4632,10 +4632,10 @@ function scanLiteralCalls(source, knownFns, phi, opts) {
     let absArgs = parsed.absArgs;
     let hasInfo = parsed.hasInfo;
     if (!hasInfo) {
-      const bArgs = takeBCallArgs(fnName, loc?.start.line);
-      if (bArgs && bArgs.length > 0) {
-        absArgs = bArgs;
-        hasInfo = bArgs.some(isInformativeArg);
+      const evalArgs = takeBCallArgs(fnName, loc?.start.line);
+      if (evalArgs && evalArgs.length > 0) {
+        absArgs = evalArgs;
+        hasInfo = evalArgs.some(isInformativeArg);
       }
     }
     if (!hasInfo || absArgs.length === 0) return;
@@ -4698,10 +4698,10 @@ function scanLiteralCalls(source, knownFns, phi, opts) {
     let absArgs = parsedExt.absArgs;
     let hasInfo = parsedExt.hasInfo;
     if (!hasInfo) {
-      const bArgs = takeBCallArgs(ext.fnName, loc?.start.line);
-      if (bArgs && bArgs.length > 0) {
-        absArgs = bArgs;
-        hasInfo = bArgs.some(isInformativeArg);
+      const evalArgs = takeBCallArgs(ext.fnName, loc?.start.line);
+      if (evalArgs && evalArgs.length > 0) {
+        absArgs = evalArgs;
+        hasInfo = evalArgs.some(isInformativeArg);
       }
     }
     if (!hasInfo || absArgs.length === 0) return;

package/dist/exec.d.ts

@@ -1,3 +1,3 @@
-export { $ as $add, a as $arguments, b as $arr, c as $arrMutContainer, d as $arrRest, e as $arrWithHoles, f as $assignRecord, g as $async, h as $asyncReturn, i as $await, j as $bitand, k as $bitnot, l as $bitor, m as $bitxor, n as $call, o as $callNamed, p as $catchVal, q as $class, r as $classExpr, s as $collectionForEach, t as $concat, u as $copy, v as $del, w as $delRes, x as $div, y as $dynamicImport, z as $elems, B as $eq, C as $eqLoose, D as $fnVal, E as $for, F as $forInKeys, G as $forIter, H as $forOf, I as $fork, J as $ge, K as $gen, L as $get, M as $gt, N as $idx, O as $idxSet, P as $importMeta, Q as $in, S as $instanceof, T as $instanceofNonIdent, U as $invoke, V as $invokeSuper, W as $isBreakTo, X as $isForkExit, Y as $join, Z as $le, _ as $len, a0 as $lit, a1 as $loopBreak, a2 as $loopContinue, a3 as $loopReturn, a4 as $lt, a5 as $mod, a6 as $mul, a7 as $ne, a8 as $neLoose, a9 as $neg, aa as $new, ab as $not, ac as $nullishTest, ad as $obj, ae as $objAccessor, af as $objRest, ag as $optionalGet, ah as $optionalInvoke, ai as $orDefault, aj as $pow, ak as $pushLoopExit, al as $rawThis, am as $reStateCall, an as $recordBinding, ao as $regex, ap as $rethrowIfNudoReturn, aq as $set, ar as $setKey, as as $shl, at as $shr, au as $spread, av as $staticInvoke, aw as $sub, ax as $super, ay as $switch, az as $thisGet, aA as $thisSet, aB as $throw, aC as $toNumber, aD as $tryCurrentMark, aE as $tryDetachSoftCatch, aF as $tryDigestSoftCatch, aG as $tryDiscardSoft, aH as $tryMark, aI as $tryOrphanSoft, aJ as $tryPopMark, aK as $tryReleaseSoftCatch, aL as $tryReleaseSoftOut, aM as $tryTakeSince, aN as $typeof, aO as $unknown, aP as $ushr, aQ as $while, aR as $whileSeq, aS as $yield, aT as BAbsAssignRecord, aU as BCallRecord, aV as BClassSpec, aW as BPathFallback, aX as DEFAULT_MAX_LOOP_ITERS, aY as MAX_B_CALL_DEPTH, aZ as MAX_B_TOTAL_CALLS, a_ as NudoLoopSignal, a$ as NudoReturn, b0 as NudoThrow, b1 as NudoUnsupportedError, b2 as RUNTIME_IMPORT_RE, R as RunTranspiledOptions, b3 as TranspileOptions, b4 as TranspiledCallResult, b5 as asAbsVal, b7 as bindingsOf, b8 as callAtFunctionBoundary, b9 as callTranspiledExport, ba as callTranspiledExportFull, bb as clearBClasses, bc as clearStaleTermPred, be as currentExecPhi, bf as evalExprAbs, bg as fillTuple, bh as foldRequireSpecArg, bi as foldStaticStringExpr, bj as getBCallCollector, bk as getBClass, bl as isArrMutator, bm as isDefinitelyFalse, bn as isDefinitelyTrue, bo as isNudoBreak, bp as isNudoContinue, bq as isNudoReturn, br as isNudoThrow, bs as litTruth, bt as lookupObjAccessor, bu as namespaceNameOf, bv as noteBCallRecord, bw as noteBPathFallback, bx as pushLoopExit, by as pushThrowExit, bz as registerBClass, bA as resetBCallBudget, bB as runTranspiled, bC as runTranspiledOptionsMemoKey, bD as runWithLoopExits, bE as runtimeImportOf, bF as setBAssignCollector, bG as setBBindingSink, bH as setBCallCollector, bI as setBPathFallbackCollector, bJ as takeLoopExits, bK as takeThrowExits, bL as transpile, bM as transpileBodyNode, bN as transpileExpression, bO as transpileFile, bP as transpileSource, bQ as tryRunTranspiled, bR as withExecPhi } from './index-D4rnOHre.js';
-import './hof-types-tAeoYvzY.js';
+export { $ as $add, a as $arguments, b as $arr, c as $arrMutContainer, d as $arrRest, e as $arrWithHoles, f as $assignRecord, g as $async, h as $asyncReturn, i as $await, j as $bitand, k as $bitnot, l as $bitor, m as $bitxor, n as $call, o as $callNamed, p as $catchVal, q as $class, r as $classExpr, s as $collectionForEach, t as $concat, u as $copy, v as $del, w as $delRes, x as $div, y as $dynamicImport, z as $elems, B as $eq, C as $eqLoose, D as $fnVal, E as $for, F as $forInKeys, G as $forIter, H as $forOf, I as $fork, J as $ge, K as $gen, L as $get, M as $gt, N as $idx, O as $idxSet, P as $importMeta, Q as $in, S as $instanceof, T as $instanceofNonIdent, U as $invoke, V as $invokeSuper, W as $isBreakTo, X as $isForkExit, Y as $join, Z as $le, _ as $len, a0 as $lit, a1 as $loopBreak, a2 as $loopContinue, a3 as $loopReturn, a4 as $lt, a5 as $mod, a6 as $mul, a7 as $ne, a8 as $neLoose, a9 as $neg, aa as $new, ab as $not, ac as $nullishTest, ad as $obj, ae as $objAccessor, af as $objRest, ag as $optionalGet, ah as $optionalInvoke, ai as $orDefault, aj as $pow, ak as $pushLoopExit, al as $rawThis, am as $reStateCall, an as $recordBinding, ao as $regex, ap as $rethrowIfNudoReturn, aq as $set, ar as $setKey, bV as $setProto, as as $shl, at as $shr, au as $spread, av as $staticInvoke, aw as $sub, ax as $super, ay as $switch, az as $thisGet, aA as $thisSet, aB as $throw, aC as $toNumber, aD as $toNumeric, aE as $tryCurrentMark, aF as $tryDetachSoftCatch, aG as $tryDigestSoftCatch, aH as $tryDiscardSoft, aI as $tryMark, aJ as $tryOrphanSoft, aK as $tryPopMark, aL as $tryReleaseSoftCatch, aM as $tryReleaseSoftOut, aN as $tryTakeSince, aO as $typeof, aP as $unknown, aQ as $updateAdd, aR as $updateSub, aS as $ushr, aT as $while, aU as $whileSeq, aV as $yield, aW as DEFAULT_MAX_LOOP_ITERS, aX as EvalAbsAssignRecord, aY as EvalCallRecord, aZ as EvalClassSpec, a_ as EvalFallback, a$ as MAX_EVAL_CALL_DEPTH, b0 as MAX_EVAL_TOTAL_CALLS, b1 as NudoLoopSignal, b2 as NudoReturn, b3 as NudoThrow, b4 as NudoUnsupportedError, b5 as RUNTIME_IMPORT_RE, R as RunTranspiledOptions, b6 as TranspileOptions, b7 as TranspiledCallResult, b8 as asAbsVal, ba as bindingsOf, bb as callAtFunctionBoundary, bc as callTranspiledExport, bd as callTranspiledExportFull, be as clearBClasses, bf as clearStaleTermPred, bh as currentExecPhi, bi as evalExprAbs, bj as fillTuple, bk as foldRequireSpecArg, bl as foldStaticStringExpr, bm as getEvalCallCollector, bn as getEvalClass, bo as isArrMutator, bp as isDefinitelyFalse, bq as isDefinitelyTrue, br as isNudoBreak, bs as isNudoContinue, bt as isNudoReturn, bu as isNudoThrow, bv as litTruth, bw as lookupObjAccessor, bx as namespaceNameOf, by as noteEvalCallRecord, bz as noteEvalFallback, bA as pushLoopExit, bB as pushThrowExit, bC as registerEvalClass, bD as resetEvalCallBudget, bE as runTranspiled, bF as runTranspiledOptionsMemoKey, bG as runWithLoopExits, bH as runtimeImportOf, bI as setEvalAssignCollector, bJ as setEvalBindingSink, bK as setEvalCallCollector, bL as setEvalFallbackCollector, bM as takeLoopExits, bN as takeThrowExits, bO as transpile, bP as transpileBodyNode, bQ as transpileExpression, bR as transpileFile, bS as transpileSource, bT as tryRunTranspiled, bU as withExecPhi } from './index-BNiZvVHw.js';
+import './hof-types-DqDpAxfh.js';
 import '@babel/types';

package/dist/exec.js

@@ -80,6 +80,7 @@ import {
   $rethrowIfNudoReturn,
   $set,
   $setKey,
+  $setProto,
   $shl,
   $shr,
   $spread,
@@ -91,6 +92,7 @@ import {
   $thisSet,
   $throw,
   $toNumber,
+  $toNumeric,
   $tryCurrentMark,
   $tryDetachSoftCatch,
   $tryDigestSoftCatch,
@@ -103,13 +105,15 @@ import {
   $tryTakeSince,
   $typeof,
   $unknown,
+  $updateAdd,
+  $updateSub,
   $ushr,
   $while,
   $whileSeq,
   $yield,
   DEFAULT_MAX_LOOP_ITERS,
-  MAX_B_CALL_DEPTH,
-  MAX_B_TOTAL_CALLS,
+  MAX_EVAL_CALL_DEPTH,
+  MAX_EVAL_TOTAL_CALLS,
   NudoLoopSignal,
   NudoReturn,
   NudoThrow,
@@ -127,8 +131,8 @@ import {
   fillTuple,
   foldRequireSpecArg,
   foldStaticStringExpr,
-  getBCallCollector,
-  getBClass,
+  getEvalCallCollector,
+  getEvalClass,
   isArrMutator,
   isDefinitelyFalse,
   isDefinitelyTrue,
@@ -139,20 +143,20 @@ import {
   litTruth,
   lookupObjAccessor,
   namespaceNameOf,
-  noteBCallRecord,
-  noteBPathFallback,
+  noteEvalCallRecord,
+  noteEvalFallback,
   pushLoopExit,
   pushThrowExit,
-  registerBClass,
-  resetBCallBudget,
+  registerEvalClass,
+  resetEvalCallBudget,
   runTranspiled,
   runTranspiledOptionsMemoKey,
   runWithLoopExits,
   runtimeImportOf,
-  setBAssignCollector,
-  setBBindingSink,
-  setBCallCollector,
-  setBPathFallbackCollector,
+  setEvalAssignCollector,
+  setEvalBindingSink,
+  setEvalCallCollector,
+  setEvalFallbackCollector,
   takeLoopExits,
   takeThrowExits,
   transpile,
@@ -162,7 +166,7 @@ import {
   transpileSource,
   tryRunTranspiled,
   withExecPhi
-} from "./chunk-SQSO4NKT.js";
+} from "./chunk-4V3CRVSD.js";
 export {
   $add,
   $arguments,
@@ -244,6 +248,7 @@ export {
   $rethrowIfNudoReturn,
   $set,
   $setKey,
+  $setProto,
   $shl,
   $shr,
   $spread,
@@ -255,6 +260,7 @@ export {
   $thisSet,
   $throw,
   $toNumber,
+  $toNumeric,
   $tryCurrentMark,
   $tryDetachSoftCatch,
   $tryDigestSoftCatch,
@@ -267,13 +273,15 @@ export {
   $tryTakeSince,
   $typeof,
   $unknown,
+  $updateAdd,
+  $updateSub,
   $ushr,
   $while,
   $whileSeq,
   $yield,
   DEFAULT_MAX_LOOP_ITERS,
-  MAX_B_CALL_DEPTH,
-  MAX_B_TOTAL_CALLS,
+  MAX_EVAL_CALL_DEPTH,
+  MAX_EVAL_TOTAL_CALLS,
   NudoLoopSignal,
   NudoReturn,
   NudoThrow,
@@ -291,8 +299,8 @@ export {
   fillTuple,
   foldRequireSpecArg,
   foldStaticStringExpr,
-  getBCallCollector,
-  getBClass,
+  getEvalCallCollector,
+  getEvalClass,
   isArrMutator,
   isDefinitelyFalse,
   isDefinitelyTrue,
@@ -303,20 +311,20 @@ export {
   litTruth,
   lookupObjAccessor,
   namespaceNameOf,
-  noteBCallRecord,
-  noteBPathFallback,
+  noteEvalCallRecord,
+  noteEvalFallback,
   pushLoopExit,
   pushThrowExit,
-  registerBClass,
-  resetBCallBudget,
+  registerEvalClass,
+  resetEvalCallBudget,
   runTranspiled,
   runTranspiledOptionsMemoKey,
   runWithLoopExits,
   runtimeImportOf,
-  setBAssignCollector,
-  setBBindingSink,
-  setBCallCollector,
-  setBPathFallbackCollector,
+  setEvalAssignCollector,
+  setEvalBindingSink,
+  setEvalCallCollector,
+  setEvalFallbackCollector,
   takeLoopExits,
   takeThrowExits,
   transpile,

package/dist/{hof-types-tAeoYvzY.d.ts → hof-types-DqDpAxfh.d.ts}

@@ -88,6 +88,11 @@ declare function not(p: Pred): Pred;
  * 逻辑否定（De Morgan）：¬(A∧B)=¬A∨¬B；¬(A∨B)=¬A∧¬B；双重否定消去。
  * typeof 否定展开为其余 TypeofName 标签的析取——8 标签域是 JS typeof 的
  * 完整结果域，展开健全且相对完备。
+ *
+ * 关系比较（lt/le/gt/ge）的否定 **不是** 全序对偶：JS 里 NaN 参与时
+ * 全部关系为 false，故 ¬(x<5) 真而 x≥5 假。精确否定是 not(lt)；
+ * 正向全序事实（Φ ⊢ x≥5 ⇒ x<5 为假）仍由 totalOrderDual 处理。
+ * eq↔ne 是精确否定，不受 NaN 影响。
  */
 declare function negatePred(p: Pred): Pred;
 declare function predEquals(a: Pred, b: Pred): boolean;
@@ -162,6 +167,15 @@ type Shape = {
     name?: string;
     paramTypes?: Abs[];
     returnType?: Abs;
+    /**
+     * Dual-facet globals (Number/Array/…): callable AND carries static members.
+     * `$get` reads these before falling back to Function.prototype names.
+     */
+    slots?: Record<string, {
+        value: Abs;
+        optional?: boolean;
+        readonly?: boolean;
+    }>;
 } | {
     k: "brand";
     name: string;
@@ -254,11 +268,11 @@ declare function popMayThrowFrame(discard: boolean): MayThrowEffect[];
  * 否则交给 collector。不得在栈非空时直接 flush，否则 outer catch 被旁路。
  */
 declare function orphanMayThrowEffects(effects: MayThrowEffect[]): void;
-/** B-path：try 开始时压 soft 帧 */
+/** evaluator：try 开始时压 soft 帧 */
 declare function $tryMarkSoft(): void;
-/** B-path catch 消化 try 内 soft may-throw */
+/** evaluator catch 消化 try 内 soft may-throw */
 declare function $tryDigestSoft(): void;
-/** B-path 无 handler / 出口 / rethrow：上浮未消化 soft may-throw（外层 try 可再消化） */
+/** evaluator 无 handler / 出口 / rethrow：上浮未消化 soft may-throw（外层 try 可再消化） */
 declare function $tryReleaseSoft(): MayThrowEffect[];
 declare function flushMayThrowEffects(effects: MayThrowEffect[]): void;
 declare function recordMayThrow(e: MayThrowEffect): void;