@nudojs/core 1.16.0 → 1.17.1

package/dist/index.js

@@ -1,5 +1,6 @@
-import "./chunk-US532PZA.js";
+import "./chunk-II73GZOY.js";
 import {
+  DependencyMemo,
   INTERFACE_SOURCE_ABBR,
   NudoSidecarError,
   absWithStableTermIds,
@@ -38,12 +39,12 @@ import {
   formatGithubAnnotations,
   formatGitlabCodeQuality,
   formatInterfaceTierLine,
-  generalizeAll,
   generalizeFromAst,
   generatedExportNames,
   getGeneralizeMemoSize,
   guardLoadModule,
   hashSource,
+  instanceForMethodBridge,
   interfaceDiagCount,
   interfaceSourceOf,
   interfaceTierOf,
@@ -53,12 +54,15 @@ import {
   listFunctionNames,
   listTopFunctions,
   loadModuleDepsFingerprint,
+  loadModuleId,
   localNamedExports,
+  moduleMapId,
   nodeSpan,
   normPath,
   parseEnvPayload,
   parseMockModulePayload,
   parseNudoImportPayload,
+  projectAbsPath,
   reachableTopBindings,
   refineDiagCount,
   refineToIndexedFull,
@@ -87,7 +91,7 @@ import {
   takeInterfaceDiagsSince,
   takeRefineDiags,
   takeRefineDiagsSince
-} from "./chunk-POGFCYV2.js";
+} from "./chunk-G27PMV2U.js";
 import {
   $add,
   $arguments,
@@ -97,7 +101,6 @@ import {
   $arrWithHoles,
   $assignRecord,
   $async,
-  $asyncReturn,
   $await,
   $bitand,
   $bitnot,
@@ -121,7 +124,6 @@ import {
   $fnVal,
   $for,
   $forInKeys,
-  $forIter,
   $forOf,
   $fork,
   $ge,
@@ -176,8 +178,6 @@ import {
   $sub,
   $super,
   $switch,
-  $thisGet,
-  $thisSet,
   $throw,
   $toNumber,
   $toNumeric,
@@ -196,7 +196,6 @@ import {
   $updateAdd,
   $updateSub,
   $ushr,
-  $while,
   $whileSeq,
   $yield,
   CONSTRAINT_BUILDERS,
@@ -229,7 +228,6 @@ import {
   absToString,
   accessorReadDomain,
   add,
-  alphaOf,
   and,
   andC,
   any,
@@ -247,7 +245,6 @@ import {
   attachContractFaces,
   attachFnImpl,
   beginCollectionFork,
-  betaOf,
   bigintLit,
   bindImports,
   bindingsOf,
@@ -278,7 +275,6 @@ import {
   constraintToEntryAbs,
   contractFacesFromEffectiveInterface,
   contractParamNameSet,
-  createHofCollectCtx,
   ctorArgDefinitelyInvalid,
   ctorNameOfRecv,
   currentExecPhi,
@@ -361,6 +357,7 @@ import {
   isDefinitelyTrue,
   isErrorCtorName,
   isExactLit,
+  isHiddenInternalSlot,
   isIntFlag,
   isMapAbs,
   isNudoBreak,
@@ -442,6 +439,7 @@ import {
   numLit,
   numVar,
   number,
+  numericBoundsImply,
   obj,
   objOf,
   objectProtoBrand,
@@ -461,7 +459,6 @@ import {
   predVars,
   primToTypeof,
   projectFlatMapResult,
-  promoteParamShape,
   propertyKeyOf,
   protoBrandAbs,
   protoOfRecv,
@@ -540,10 +537,6 @@ import {
   transpileSource,
   trueConstraint,
   tryMakeRegexAbs,
-  tryPromoteDirectCall,
-  tryPromoteForOfIteratee,
-  tryPromoteHofCallback,
-  tryPromoteReceiverAsArr,
   tryRunTranspiled,
   tryRunTranspiledDetailed,
   typeofAbs,
@@ -556,7 +549,7 @@ import {
   withExecPhi,
   withInvariantSpecs,
   withVar
-} from "./chunk-OM6SAY2M.js";
+} from "./chunk-CUFP2AYV.js";
 
 // src/environment.ts
 function createEnvironment(parent, bindings = /* @__PURE__ */ new Map()) {
@@ -645,33 +638,6 @@ function mock() {
   return { kind: "mock-helper" };
 }
 
-// src/algebra/phi.ts
-var phiStack = [pTrue];
-function currentPhi() {
-  return phiStack[phiStack.length - 1] ?? pTrue;
-}
-function pushPhi(p) {
-  phiStack.push(p);
-}
-function popPhi() {
-  if (phiStack.length > 1) phiStack.pop();
-}
-function resetPhi() {
-  phiStack = [pTrue];
-}
-function withPhiConstraint(extra, body) {
-  pushPhi(extra);
-  try {
-    body();
-  } finally {
-    popPhi();
-  }
-}
-function describePhi() {
-  const p = currentPhi();
-  return p.op === "true" ? "\u22A4" : "(phi)";
-}
-
 // src/algebra/check.ts
 import { isBuiltin } from "module";
 
@@ -963,7 +929,7 @@ function assertScalar(ret, constraint, phi) {
     if (phi.op !== "true" && ret.pred && ret.pred.op !== "true" && implies(ret.pred, constraintPred)) {
       return proved();
     }
-    if (ret.pred && ret.pred.op !== "true" && numericBoundsImplyLocal(ret.pred, constraintPred)) {
+    if (ret.pred && ret.pred.op !== "true" && numericBoundsImply(ret.pred, constraintPred)) {
       return proved();
     }
     if (phiSuppliesConstraint(phi, constraint, ret)) return proved();
@@ -997,36 +963,6 @@ function assertScalar(ret, constraint, phi) {
   }
   return proved();
 }
-function numericBoundsImplyLocal(src, tgt) {
-  const one = (p) => p.op === "gt" || p.op === "ge" || p.op === "lt" || p.op === "le";
-  if (!one(src) || !one(tgt)) return false;
-  if (src.op !== tgt.op) {
-    if (src.op === "gt" && tgt.op === "ge") {
-      return sameTermSide(src, tgt) && litGE(src.b, tgt.b);
-    }
-    if (src.op === "lt" && tgt.op === "le") {
-      return sameTermSide(src, tgt) && litLE(src.b, tgt.b);
-    }
-    return false;
-  }
-  if (!sameTermSide(src, tgt)) return false;
-  const sb = src.b.op === "lit" ? src.b.value : void 0;
-  const tb = tgt.b.op === "lit" ? tgt.b.value : void 0;
-  if (typeof sb !== "number" || typeof tb !== "number") return false;
-  if (src.op === "gt" || src.op === "ge") return sb >= tb;
-  return sb <= tb;
-}
-function sameTermSide(a, b) {
-  return a.a.op === b.a.op && termEquals(a.a, b.a);
-}
-function litGE(a, b) {
-  if (a.op !== "lit" || b.op !== "lit") return false;
-  return typeof a.value === "number" && typeof b.value === "number" && a.value >= b.value;
-}
-function litLE(a, b) {
-  if (a.op !== "lit" || b.op !== "lit") return false;
-  return typeof a.value === "number" && typeof b.value === "number" && a.value <= b.value;
-}
 function primOfAbs(a) {
   if (a.shape.k === "prim") return a.shape.type;
   const lvR = litValue(a);
@@ -1174,9 +1110,6 @@ var ARR_FALLBACK_CONF = /* @__PURE__ */ new Set([
   "path",
   "widened"
 ]);
-function isHiddenInternalSlot(k, slot) {
-  return slot.internal === true && canonicalArrayIndex(k) === void 0;
-}
 function absToConstraint(a, budget = new ProjectionBudget()) {
   if (!PROJECTABLE_CONF.has(a.conf)) return void 0;
   const stop = budget.enter(a);
@@ -1710,52 +1643,15 @@ function formatSigCached(absVal, name) {
 }
 
 // src/algebra/check-memo.ts
-var checkReportMemo = /* @__PURE__ */ new Map();
-var checkKeyDeps = /* @__PURE__ */ new Map();
-var checkDepIndex = /* @__PURE__ */ new Map();
-var loadModuleIds = /* @__PURE__ */ new WeakMap();
-var nextLoadModuleId = 1;
 var MAX_CHECK_MEMO = 256;
+var checkReportMemo = new DependencyMemo(MAX_CHECK_MEMO);
 function resetCheckSourceMemo() {
-  checkReportMemo.clear();
-  checkKeyDeps.clear();
-  checkDepIndex.clear();
+  checkReportMemo.reset();
   resetHashSourceCache();
   resetSidecarLoadFailureCache();
 }
-function loadModuleId(fn2) {
-  if (!fn2) return 0;
-  let id = loadModuleIds.get(fn2);
-  if (id === void 0) {
-    id = nextLoadModuleId++;
-    loadModuleIds.set(fn2, id);
-  }
-  return id;
-}
-function unindexCheckKey(key) {
-  const deps = checkKeyDeps.get(key);
-  if (!deps) return;
-  for (const p of deps) {
-    const set = checkDepIndex.get(p);
-    if (!set) continue;
-    set.delete(key);
-    if (set.size === 0) checkDepIndex.delete(p);
-  }
-  checkKeyDeps.delete(key);
-}
 function evictCheckSourceMemoForPaths(paths) {
-  let n = 0;
-  for (const raw of paths) {
-    const p = stablePathKey(raw);
-    const keys = checkDepIndex.get(p);
-    if (!keys) continue;
-    for (const key of [...keys]) {
-      checkReportMemo.delete(key);
-      unindexCheckKey(key);
-      n++;
-    }
-  }
-  return n;
+  return checkReportMemo.evictForPaths(paths);
 }
 function cloneCheckReport(r) {
   return {
@@ -1771,17 +1667,6 @@ function cloneCheckReport(r) {
     ...r.budget ? { budget: { ...r.budget } } : {}
   };
 }
-var moduleMapIds = /* @__PURE__ */ new WeakMap();
-var moduleMapIdSeq = 0;
-function moduleMapId(m) {
-  if (!m) return "-";
-  let id = moduleMapIds.get(m);
-  if (id === void 0) {
-    id = ++moduleMapIdSeq;
-    moduleMapIds.set(m, id);
-  }
-  return `m${id}`;
-}
 function checkMemoKey(filePath, source, identityOpts, deps, sidecarFp) {
   return [
     hashSource(source),
@@ -1818,33 +1703,11 @@ function fromKey(from) {
   ).sort().join(";");
 }
 function checkMemoGet(key) {
-  if (!checkReportMemo.has(key)) return null;
-  const v2 = checkReportMemo.get(key);
-  checkReportMemo.delete(key);
-  checkReportMemo.set(key, v2);
-  return v2;
+  const hit = checkReportMemo.lookup(key);
+  return hit.hit ? hit.value : null;
 }
 function checkMemoSet(key, value, depPaths) {
-  if (checkReportMemo.size >= MAX_CHECK_MEMO) {
-    const oldest = checkReportMemo.keys().next().value;
-    if (oldest !== void 0) {
-      checkReportMemo.delete(oldest);
-      unindexCheckKey(oldest);
-    }
-  }
-  checkReportMemo.set(key, value);
-  if (depPaths.length > 0) {
-    const normDeps = [...new Set(depPaths.map(stablePathKey))];
-    checkKeyDeps.set(key, normDeps);
-    for (const p of normDeps) {
-      let set = checkDepIndex.get(p);
-      if (!set) {
-        set = /* @__PURE__ */ new Set();
-        checkDepIndex.set(p, set);
-      }
-      set.add(key);
-    }
-  }
+  checkReportMemo.set(key, value, depPaths);
 }
 
 // src/algebra/check-may-throw.ts
@@ -1965,7 +1828,8 @@ function evalThrowsOutcome(source, fnName, args, opts = {}, phi = pTrue, file) {
               const inst = instanceForMethodBridge(
                 clsAbs,
                 clsName ?? "",
-                ctorAnyArgs(file, clsName ?? "")
+                ctorAnyArgs(file, clsName ?? ""),
+                runWithMayThrowSession
               );
               return $invoke(inst, methodName ?? "", args);
             }, phi)
@@ -2041,26 +1905,6 @@ function ctorAnyArgs(file, clsName) {
   const n = file ? ctorParamCountOf(file, clsName) : 0;
   return Array.from({ length: n }, () => abs({ k: "any" }, void 0, pTrue, "path"));
 }
-function instanceForMethodBridge(clsAbs, clsName, ctorArgs) {
-  try {
-    return runWithMayThrowSession(() => $new(clsAbs, ctorArgs));
-  } catch {
-    return bareInstanceOf(clsAbs, clsName);
-  }
-}
-function bareInstanceOf(clsAbs, clsName) {
-  const name = clsAbs.shape.k === "brand" && clsAbs.shape.name.length > 0 ? clsAbs.shape.name : clsName;
-  return abs(
-    {
-      k: "brand",
-      name,
-      shape: abs({ k: "unknown" }, void 0, void 0, "partial")
-    },
-    void 0,
-    void 0,
-    "path"
-  );
-}
 function classMemberName(m) {
   const key = m.key;
   if (!key) return void 0;
@@ -2366,6 +2210,7 @@ function structuralAssignIssues(records) {
     if (!r.prev) continue;
     if (!isAbsLike(r.prev) || !isAbsLike(r.next)) continue;
     if (r.conditional) continue;
+    if (r.paramBinding === true) continue;
     if (r.next.shape.k === "unknown" && !r.next.term) continue;
     if (r.prev.shape.k === "unknown" && !r.prev.term) continue;
     const leq = leqAbs(widenForAssign(r.next), shapeOnly(widenForAssign(r.prev)));
@@ -2720,18 +2565,6 @@ function witnessViolations(c, w, path, depth) {
   }
   return [];
 }
-function projectCaseArgField(arg, fieldPath) {
-  let cur = arg;
-  for (const seg of fieldPath) {
-    if (!cur) return void 0;
-    if (cur.shape.k === "brand") {
-      cur = cur.shape.shape;
-    }
-    if (cur.shape.k !== "obj") return void 0;
-    cur = getSlot(cur.shape.slots, seg)?.value;
-  }
-  return cur;
-}
 function scanCaseInconsistency(source, knownFns, opts) {
   const out = [];
   const directiveSrc = stripStringsKeepComments(source);
@@ -2815,7 +2648,7 @@ function scanCaseInconsistency(source, knownFns, opts) {
       }
       let arg = absArgs[idx];
       if (fieldPath) {
-        const projected = projectCaseArgField(arg, fieldPath);
+        const projected = projectAbsPath(arg, fieldPath);
         if (!projected) {
           const k = arg.shape.k;
           if (k !== "unknown" && k !== "any") {
@@ -3873,7 +3706,9 @@ function checkSourceInner(filePath, source, file, phi, opts, issues, signatures,
               driftInit = true;
             }
             if (!driftRun || !(fnName in driftRun)) return void 0;
-            return callTranspiledExportFull(driftRun, fnName, args).result;
+            return callTranspiledExportFull(driftRun, fnName, args, {
+              preferLocal: true
+            }).result;
           } catch {
             return void 0;
           }
@@ -3925,7 +3760,6 @@ export {
   $arrWithHoles,
   $assignRecord,
   $async,
-  $asyncReturn,
   $await,
   $bitand,
   $bitnot,
@@ -3949,7 +3783,6 @@ export {
   $fnVal,
   $for,
   $forInKeys,
-  $forIter,
   $forOf,
   $fork,
   $ge,
@@ -4000,12 +3833,9 @@ export {
   $shl,
   $shr,
   $spread,
-  $staticInvoke,
   $sub,
   $super,
   $switch,
-  $thisGet,
-  $thisSet,
   $throw,
   $toNumber,
   $toNumeric,
@@ -4024,7 +3854,6 @@ export {
   $updateAdd,
   $updateSub,
   $ushr,
-  $while,
   $whileSeq,
   $yield,
   CONSTRAINT_BUILDERS,
@@ -4051,7 +3880,6 @@ export {
   absToString,
   actionsForIssue,
   add,
-  alphaOf,
   and,
   andC,
   any,
@@ -4067,7 +3895,6 @@ export {
   assumeFinite,
   attachFnImpl,
   beginCollectionFork,
-  betaOf,
   bigintLit,
   bindImports,
   bindingsOf,
@@ -4103,14 +3930,11 @@ export {
   constraintToEntryAbs,
   contractParamNameSet,
   createEnvironment,
-  createHofCollectCtx,
   ctorArgDefinitelyInvalid,
   ctorNameOfRecv,
   currentExecPhi,
-  currentPhi,
   definitelyNotNullishShape,
   derefConstraint,
-  describePhi,
   div,
   drainPromiseMicros,
   effectiveInterface,
@@ -4180,7 +4004,6 @@ export {
   formatShapeSlot,
   ge,
   geNum,
-  generalizeAll,
   generalizeFromAst,
   generatedExportNames,
   getAbsProperty,
@@ -4311,14 +4134,12 @@ export {
   phiAnd,
   pick,
   popCollectionArm,
-  popPhi,
   powAbs,
   predEquals,
   predToString,
   predVars,
   primToTypeof,
   projectFlatMapResult,
-  promoteParamShape,
   propertyKeyOf,
   protoBrandAbs,
   protoOfRecv,
@@ -4326,7 +4147,6 @@ export {
   pureFnNameOf,
   pushCollectionArm,
   pushLoopExit,
-  pushPhi,
   pushThrowExit,
   queuePromiseMicro,
   refineAbsForRelTrue,
@@ -4342,7 +4162,6 @@ export {
   resetGeneralizeMemo,
   resetNudoModuleExecCache,
   resetParseSourceCache,
-  resetPhi,
   resetSidecarLoadFailureCache,
   runTranspiled,
   runTranspiledOptionsMemoKey,
@@ -4413,10 +4232,6 @@ export {
   transpileSource,
   trueConstraint,
   tryMakeRegexAbs,
-  tryPromoteDirectCall,
-  tryPromoteForOfIteratee,
-  tryPromoteHofCallback,
-  tryPromoteReceiverAsArr,
   tryRunTranspiled,
   typeofAbs,
   undefAbs,
@@ -4425,6 +4240,5 @@ export {
   ushrAbs,
   v,
   withExecPhi,
-  withPhiConstraint,
   withVar
 };

package/dist/internal.d.ts

@@ -1,7 +1,7 @@
-import { I as InterfaceSource, a as InterfaceTierOpts, p as parseSource, C as CheckIssue } from './projection-budget-DW-svmIf.js';
-export { L as LeakBudget, b as LoadDepsFingerprint, M as MAX_PROMISE_MICROS, P as PROJECTION_MAX_DEPTH, c as ProjectionBudget, d as ProjectionStopReason, e as budgetAttributionSegs, f as defaultLeakBudget, g as exceedsBudget, h as exportedNameOfLocal, i as extractAllLoadSpecs, j as getPromiseMicrosLength, l as leakIfNeeded, k as loadModuleDepsFingerprint, m as maybeLeak, n as normPath, r as resetLeakCounter, o as resolveDepPath, s as sidecarSpecsOf, q as stablePathKey, t as stablePathKeyGraph, u as termDepth, v as termNodes } from './projection-budget-DW-svmIf.js';
-import { A as Abs, T as Term, c as AbsModuleExports, R as RunTranspiledOptions, d as AstEnv } from './run-T9HWTziZ.js';
-export { $ as $tryDigestSoft, e as $tryMarkSoft, f as $tryReleaseSoft, E as ERROR_FAMILY, g as EvalFallbackStats, M as MayThrowEffect, h as absLit, i as absNumLit, j as absStrLit, k as allAbsStr, l as clearPureCallMemo, m as clearPureMemo, n as enterEvalCallBudgetSession, o as errorTypeAbs, p as exitEvalCallBudgetSession, q as filterDeclaredThrows, r as filterGateThrows, s as filterIgnoredThrows, t as flushMayThrowEffects, u as formatThrowsAbs, v as getEvalCallBudgetState, w as getEvalFallbackStats, x as getMayThrowCollector, y as isThrowsIgnored, z as mayThrowEffectsToAbs, B as orphanMayThrowEffects, D as popMayThrowFrame, F as pushMayThrowFrame, G as recordMayThrow, H as resetEvalFallbackStats, I as runWithMayThrowSession, J as setMayThrowCollector, K as throwAbsToKinds, N as throwsKindCovered, O as withEvalBudgetOverride } from './run-T9HWTziZ.js';
+import { I as InterfaceSource, a as InterfaceTierOpts, p as parseSource, C as CheckIssue } from './projection-budget-NCXMnUDn.js';
+export { L as LeakBudget, b as LoadDepsFingerprint, M as MAX_PROMISE_MICROS, P as PROJECTION_MAX_DEPTH, c as ProjectionBudget, d as ProjectionStopReason, e as budgetAttributionSegs, f as defaultLeakBudget, g as exceedsBudget, h as exportedNameOfLocal, i as extractAllLoadSpecs, j as getPromiseMicrosLength, l as leakIfNeeded, k as loadModuleDepsFingerprint, m as maybeLeak, n as normPath, r as resetLeakCounter, o as resolveDepPath, s as sidecarSpecsOf, q as stablePathKey, t as stablePathKeyGraph, u as termDepth, v as termNodes } from './projection-budget-NCXMnUDn.js';
+import { A as Abs, T as Term, c as AbsModuleExports, R as RunTranspiledOptions, d as AstEnv } from './run-DeKkteRZ.js';
+export { $ as $tryDigestSoft, e as $tryMarkSoft, f as $tryReleaseSoft, E as ERROR_FAMILY, g as EvalFallbackStats, M as MayThrowEffect, h as absLit, i as absNumLit, j as absStrLit, k as allAbsStr, l as clearPureCallMemo, m as clearPureMemo, n as enterEvalCallBudgetSession, o as errorTypeAbs, p as exitEvalCallBudgetSession, q as filterDeclaredThrows, r as filterGateThrows, s as filterIgnoredThrows, t as flushMayThrowEffects, u as formatThrowsAbs, v as getEvalCallBudgetState, w as getEvalFallbackStats, x as getMayThrowCollector, y as isThrowsIgnored, z as mayThrowEffectsToAbs, B as orphanMayThrowEffects, D as popMayThrowFrame, F as pushMayThrowFrame, G as recordMayThrow, H as resetEvalFallbackStats, I as runWithMayThrowSession, J as setMayThrowCollector, K as throwAbsToKinds, N as throwsKindCovered, O as withEvalBudgetOverride } from './run-DeKkteRZ.js';
 import { File, Node } from '@babel/types';
 
 /**
@@ -128,6 +128,7 @@ type DiagCode = (typeof DIAG)[keyof typeof DIAG];
  * - 已知限制：`if (x) /re/` 这类 `)` 后紧跟 regex 的极端写法会当除法；
  *   目标是探测器正确，不做完整 JS 词法。
  */
+
 type StringLiteralSpan = {
     /** 引号内原文（转义未折叠；模块 specifier 无需折叠） */
     value: string;
@@ -238,11 +239,12 @@ declare function truncatedAbs(): Abs;
  * - pureValueKey = **值**键（形状内容 + 字面量值）⇒ 服务 **@nudo:pure
  *   记忆化**：按**值**承诺 ⇒ 同值必须同键（变量身份不同但值相同 ⇒ 同键）。
  *
- * @nudo:pure 记忆化通道（kind = "pure" 且 id 为空 —— 两个 pure memo 站点
- * 「$call 路径」与「$callNamed 宿主路径」的唯一调用形态）在此**分流**到值
+ * @nudo:pure 记忆化通道（kind = "pure" 且 id 为空）在此**分流**到值
  * 基键：记忆化键若带**变量身份**，同一变量重绑定为不同值后仍命中旧缓存
  * ⇒ **陈旧结果**（Bug 281）。预算/环检测通道（kind = absfn / absbody /
  * coerce-hook / 命名调用名，且 id 非空）**口径不变**。
+ * pure memo 本体（exec/pure-memo.ts）直接调用 pureValueKey；本分支保留为
+ * callBudgetKey 的既有对外语义（同一值基承诺），不改调用方行为。
  */
 declare function callBudgetKey(kind: string, id: string, args: unknown[]): string;
 /** 记录被截断的递归（service 可映射为 nudo:recursion-truncated）。
@@ -250,8 +252,8 @@ declare function callBudgetKey(kind: string, id: string, args: unknown[]): strin
 declare function setAbsTruncationCollector(collector: ((fnLabel: string, reason?: AbsTruncationReason) => void) | null): ((fnLabel: string, reason?: AbsTruncationReason) => void) | null;
 declare function noteAbsTruncation(label: string, reason?: AbsTruncationReason): void;
 /** 进入调用：cycle/超限则不执行 body，返回 opaque。
- *  归因顺序 = 守卫顺序（cycle 先于 depth 先于 calls）：同指纹调用已在栈上
- *  时无论预算多深都会立即截断——报 cycle 而不是预算（#158）。 */
+ *  归因顺序 = 守卫顺序（本状态机内）：同指纹调用已在栈上时无论预算多深
+ *  都会立即截断——报 cycle 而不是预算（#158）。 */
 declare function enterCall(key: string, label: string): boolean;
 declare function exitCall(): void;
 /**
@@ -713,10 +715,12 @@ declare function escapeTemplateTypeFixed(text: string): string;
 declare function sanitizeCommentText(text: string): string;
 
 /**
- * 语言覆盖：class / new / instanceof / this / async await。
- * brand 表示名义类；eff("promise") 表示异步效应。
+ * 语言覆盖（保留面）：class 继承链查询 + Promise 效应包装。
  *
- * 方法体：ClassDef.methods 存 AST body，调用时在 this=receiver 下求值。
+ * class / new / instanceof / async 的求值语义已由 exec 内核（class-registry /
+ * `$call`）承载；本文件只保留两个仍有跨包消费者的叶子：
+ * - `getClassChain`：leq 的 brand 继承链判定（`leq.ts`）
+ * - `wrapPromise`：契约面把同步返回值包成 promise 效应（nudojs 导出面）
  */
 
 type MethodDef = {
@@ -733,38 +737,9 @@ type ClassDef = {
     methods: Map<string, MethodDef>;
     superClass?: string;
 };
-declare function defineClass(env: AstEnv, def: ClassDef): void;
-declare function getClass(env: AstEnv, name: string): ClassDef | undefined;
 /** 沿继承链找类 */
 declare function getClassChain(env: AstEnv, name: string): ClassDef[];
-/** new C(...) → brand 实例；并跑 constructor 以写入字段 */
-declare function instantiateClass(env: AstEnv, className: string, args: Abs[], evalBody?: (fn: {
-    params: string[];
-    body: Node;
-}, args: Abs[], thisVal: Abs, env: AstEnv) => Abs): Abs;
-/** 读取当前 this 所属类的父类名 */
-declare function superNameOf(env: AstEnv, className: string): string | undefined;
-/** 品牌沿注册/内建层级上溯的父名序列（含自身；限深防环） */
-declare function classChainNames(name: string, env?: AstEnv): string[];
-declare function instanceOf(left: Abs, rightClassName: string, env?: AstEnv): Abs;
-declare function projectBrand(self: Abs, key: string): Abs;
-/** 在 brand 上查找方法定义（含继承） */
-declare function lookupMethod(env: AstEnv, receiver: Abs, methodName: string): MethodDef | undefined;
-/** 沿继承链查找方法，返回定义与所在类名 */
-declare function lookupMethodWithOwner(env: AstEnv, receiver: Abs, methodName: string): {
-    def: MethodDef;
-    owner: string;
-} | undefined;
-/** super.method()：从父类开始找（跳过当前类） */
-declare function lookupSuperMethod(env: AstEnv, receiver: Abs, fromClass: string, methodName: string): {
-    def: MethodDef;
-    owner: string;
-} | undefined;
 declare function wrapPromise(inner: Abs): Abs;
-declare function awaitAbs(v: Abs): Abs;
-declare function coerceAsyncReturn(value: Abs): Abs;
-/** 从 ClassMethod 列表构造 methods map + instance shape */
-declare function classFromMethods(name: string, methods: MethodDef[], superClass?: string, superShape?: Abs): ClassDef;
 
 /**
  * 顶层函数清单：function 声明 + const 箭头/函数表达式（含 export 包装）
@@ -934,4 +909,4 @@ declare function runWithEvalMissingSlot<T>(enabled: boolean, body: () => T): T;
  */
 declare function noteObjSlotMissing(recv: Abs | undefined, name: string, loc?: [number, number]): boolean;
 
-export { type AbsBudgetStats, type AbsInlay, type ArgDerivation, type ClassDef, type CollectAbsInlaysOpts, type CollectorScopeParticipant, DIAG, type DerivationNode, type DiagChannel, type DiagCode, type EvalMemberDiag, FORK_TRUNCATION_LABEL, type FnFp, HOST_EFFECT_LABEL_PREFIX, type InjectedDomainEvidenceOpts, type InjectedDomainRecord, MAX_CALL_DEPTH, MAX_EVAL_TOTAL_FORKS, MAX_TOTAL_CALLS, type MethodDef, OBJECT_PROTO_NAMES, PROMISE_MICRO_ERROR_LABEL, PROMISE_MICRO_OVERFLOW_LABEL, type ScopedDiagChannel, type ScopedSlot, type StringLiteralSpan, type TemplateMeta, type TemplatePartDesc, type TemplatePartView, type TemplatePredicateDecision, abortDerivationSession, absTemplateViews, allFixedTextOfViews, anyMemberResult, awaitAbs, beginDerivationSession, bumpEvalForkBudget, callBudgetKey, canSkipLiteralCallScan, checkInjectedDomainEvidence, classChainNames, classFromMethods, clearLiveImportRefreshers, coerceAsyncReturn, collectAbsInlays, concatString, createDiagChannel, createScopedDiagChannel, createScopedSlot, createTemplateAbs, decideEndsWith, decideIncludes, decideStartsWith, defineClass, definitelyUncallableMember, denoteGuard, derivationChain, endDerivationSession, enterCall, escapeTemplateTypeFixed, exitCall, fixedLengthOfViews, fnFingerprints, formatObjectKey, formatTemplateNameViews, generalizeSourceKeyPart, getAbsCallBudgetStats, getAbsOrigin, getClass, getClassChain, getDerivation, getEvalForkBudgetLimit, getEvalForkCount, getFnNameAndBodies, hasDerivationSession, hashSource, instanceOf, instantiateClass, isEvalMissingSlotEnabled, isJsBindingIdent, isJsIdent, isNullishAbs, isTemplateLike, knownPrefixOfViews, knownSuffixOfViews, listTopFunctions, lookupMethod, lookupMethodWithOwner, lookupSuperMethod, maskCommentsAndStrings, mergeAdjacentFixedViews, noteAbsTruncation, noteAnyMemberMayThrow, noteDerivationAdd, noteDerivationJoin, noteEvalForkTruncation, noteHostEffectBlocked, noteMemberDispatchMiss, noteNullishMemberThrows, noteObjSlotMissing, notePrimMemberMissing, noteUnknownMemberMissing, popCallLoc, projectBrand, projectDerivationDsl, pushCallLoc, recordMemberDiag, registerCollectorScopeParticipant, resetAbsCallBudget, resetEvalForkBudget, resetFnFpCache, resetHashSourceCache, runWithCollectorScope, runWithEvalMissingSlot, safeMemberAccess, sanitizeCommentText, scanStringLiterals, setAbsTruncationCollector, setDerivation, setDerivationCollector, setEvalForkBudgetLimit, setEvalMissingSlotEnabled, setMemberDiagCollector, sourceHasCjsExports, sourceHasModuleDependency, sourceHasRequireCall, stableAnalyzeKeySource, stableCallId, stripCommentsAndStrings, stripStringsKeepComments, superNameOf, tagAbsOrigin, tagDerivationRoot, templateMatchesValue, templatePartsOf, termKey, toJsBindingIdent, truncatedAbs, viewTemplateParts, withFnBudgetOverride, wrapPromise };
+export { type AbsBudgetStats, type AbsInlay, type ArgDerivation, type ClassDef, type CollectAbsInlaysOpts, type CollectorScopeParticipant, DIAG, type DerivationNode, type DiagChannel, type DiagCode, type EvalMemberDiag, FORK_TRUNCATION_LABEL, type FnFp, HOST_EFFECT_LABEL_PREFIX, type InjectedDomainEvidenceOpts, type InjectedDomainRecord, MAX_CALL_DEPTH, MAX_EVAL_TOTAL_FORKS, MAX_TOTAL_CALLS, type MethodDef, OBJECT_PROTO_NAMES, PROMISE_MICRO_ERROR_LABEL, PROMISE_MICRO_OVERFLOW_LABEL, type ScopedDiagChannel, type ScopedSlot, type StringLiteralSpan, type TemplateMeta, type TemplatePartDesc, type TemplatePartView, type TemplatePredicateDecision, abortDerivationSession, absTemplateViews, allFixedTextOfViews, anyMemberResult, beginDerivationSession, bumpEvalForkBudget, callBudgetKey, canSkipLiteralCallScan, checkInjectedDomainEvidence, clearLiveImportRefreshers, collectAbsInlays, concatString, createDiagChannel, createScopedDiagChannel, createScopedSlot, createTemplateAbs, decideEndsWith, decideIncludes, decideStartsWith, definitelyUncallableMember, denoteGuard, derivationChain, endDerivationSession, enterCall, escapeTemplateTypeFixed, exitCall, fixedLengthOfViews, fnFingerprints, formatObjectKey, formatTemplateNameViews, generalizeSourceKeyPart, getAbsCallBudgetStats, getAbsOrigin, getClassChain, getDerivation, getEvalForkBudgetLimit, getEvalForkCount, getFnNameAndBodies, hasDerivationSession, hashSource, isEvalMissingSlotEnabled, isJsBindingIdent, isJsIdent, isNullishAbs, isTemplateLike, knownPrefixOfViews, knownSuffixOfViews, listTopFunctions, maskCommentsAndStrings, mergeAdjacentFixedViews, noteAbsTruncation, noteAnyMemberMayThrow, noteDerivationAdd, noteDerivationJoin, noteEvalForkTruncation, noteHostEffectBlocked, noteMemberDispatchMiss, noteNullishMemberThrows, noteObjSlotMissing, notePrimMemberMissing, noteUnknownMemberMissing, popCallLoc, projectDerivationDsl, pushCallLoc, recordMemberDiag, registerCollectorScopeParticipant, resetAbsCallBudget, resetEvalForkBudget, resetFnFpCache, resetHashSourceCache, runWithCollectorScope, runWithEvalMissingSlot, safeMemberAccess, sanitizeCommentText, scanStringLiterals, setAbsTruncationCollector, setDerivation, setDerivationCollector, setEvalForkBudgetLimit, setEvalMissingSlotEnabled, setMemberDiagCollector, sourceHasCjsExports, sourceHasModuleDependency, sourceHasRequireCall, stableAnalyzeKeySource, stableCallId, stripCommentsAndStrings, stripStringsKeepComments, tagAbsOrigin, tagDerivationRoot, templateMatchesValue, templatePartsOf, termKey, toJsBindingIdent, truncatedAbs, viewTemplateParts, withFnBudgetOverride, wrapPromise };