@nudojs/core 1.5.0 → 1.6.0

package/dist/{chunk-W2MP6REI.js → chunk-LZJC7X5J.js}

@@ -28,10 +28,14 @@ function termEquals(a, b) {
   }
   return false;
 }
+function litKeyString(v2) {
+  if (typeof v2 === "number" && Object.is(v2, -0)) return "-0";
+  return String(v2);
+}
 function termToString(t) {
   if (t.op === "lit") {
     if (typeof t.value === "string") return JSON.stringify(t.value);
-    if (typeof t.value === "number" && Object.is(t.value, -0)) return "-0";
+    if (typeof t.value === "number") return litKeyString(t.value);
     return String(t.value);
   }
   if (t.op === "var") return t.id;
@@ -961,6 +965,42 @@ function leNum(term, n) {
   return le(term, lit(n));
 }
 
+// src/algebra/projection-budget.ts
+var PROJECTION_MAX_DEPTH = 64;
+var ProjectionBudget = class {
+  #maxDepth;
+  #path = [];
+  #onPath = /* @__PURE__ */ new Set();
+  /** 粘性：本次投影是否发生过截断（"cycle" / "depth"），供台账记录 */
+  truncated;
+  constructor(maxDepth = PROJECTION_MAX_DEPTH) {
+    this.#maxDepth = maxDepth;
+  }
+  /**
+   * 进入一个 Abs（或 Shape）子树。返回 null → 继续递归，之后必须配对
+   * `exit()`；返回 "cycle" | "depth" → 不得递归，按出口各自的约定渲染
+   * 截断标记（不调用 exit——本次 enter 没有入栈）。
+   */
+  enter(a) {
+    if (this.#onPath.has(a)) {
+      this.truncated = "cycle";
+      return "cycle";
+    }
+    if (this.#path.length >= this.#maxDepth) {
+      this.truncated = "depth";
+      return "depth";
+    }
+    this.#path.push(a);
+    this.#onPath.add(a);
+    return null;
+  }
+  /** 离开子树（与返回 null 的 enter 严格配对）。 */
+  exit() {
+    const a = this.#path.pop();
+    if (a !== void 0) this.#onPath.delete(a);
+  }
+};
+
 // src/algebra/abs.ts
 var never = { shape: { k: "never" }, conf: "exact" };
 var unknown = { shape: { k: "unknown" }, conf: "partial" };
@@ -1027,13 +1067,34 @@ function confJoin(a, b) {
   return rank[Math.max(ia < 0 ? 5 : ia, ib < 0 ? 5 : ib)];
 }
 function absToString(a) {
-  const parts = [shapeToString(a.shape)];
-  if (a.term) parts.push(`term=${termToString(a.term)}`);
-  if (a.pred && a.pred.op !== "true") parts.push(predToString(a.pred));
-  parts.push(`#${a.conf}`);
-  return parts.join(" ");
+  return absToStringB(a, new ProjectionBudget());
+}
+function absToStringB(a, budget) {
+  const stop = budget.enter(a);
+  if (stop) return stop === "cycle" ? "\u2026cycle" : "\u2026";
+  try {
+    const parts = [shapeToStringB(a.shape, budget)];
+    if (a.term) parts.push(`term=${termToString(a.term)}`);
+    if (a.pred && a.pred.op !== "true") parts.push(predToString(a.pred));
+    parts.push(`#${a.conf}`);
+    return parts.join(" ");
+  } finally {
+    budget.exit();
+  }
 }
 function shapeToString(s) {
+  return shapeToStringB(s, new ProjectionBudget());
+}
+function shapeToStringB(s, budget) {
+  const stop = budget.enter(s);
+  if (stop) return stop === "cycle" ? "\u2026cycle" : "\u2026";
+  try {
+    return shapeToStringInner(s, budget);
+  } finally {
+    budget.exit();
+  }
+}
+function shapeToStringInner(s, budget) {
   switch (s.k) {
     case "never":
       return "never";
@@ -1045,22 +1106,22 @@ function shapeToString(s) {
       return s.type;
     case "obj": {
       const entries = Object.entries(s.slots).map(
-        ([k, slot]) => `${k}${slot.optional ? "?" : ""}: ${absToString(slot.value)}`
+        ([k, slot]) => `${k}${slot.optional ? "?" : ""}: ${absToStringB(slot.value, budget)}`
       );
       return `{ ${entries.join(", ")} }`;
     }
     case "arr":
-      return `${shapeToString(s.element.shape)}[]`;
+      return `${shapeToStringB(s.element.shape, budget)}[]`;
     case "tuple":
-      return `[${s.elements.map((e) => shapeToString(e.shape)).join(", ")}]`;
+      return `[${s.elements.map((e) => shapeToStringB(e.shape, budget)).join(", ")}]`;
     case "fn":
       return `fn(${s.params.join(", ")})${s.name ? ` ${s.name}` : ""}`;
     case "brand":
       return s.name;
     case "eff":
-      return `${s.eff}<${shapeToString(s.inner.shape)}>`;
+      return `${s.eff}<${shapeToStringB(s.inner.shape, budget)}>`;
     case "sum":
-      return s.members.map(absToString).join(" | ");
+      return s.members.map((m) => absToStringB(m, budget)).join(" | ");
     default:
       return "\xB7";
   }
@@ -1352,7 +1413,7 @@ function absFunction(params, impl, opts) {
   return a;
 }
 function termKey2(t) {
-  if (t.op === "lit") return `L:${typeof t.value}:${String(t.value)}`;
+  if (t.op === "lit") return `L:${typeof t.value}:${litKeyString(t.value)}`;
   if (t.op === "var") return `V:${t.id}`;
   return `A:${t.fn}(${t.args.map(termKey2).join(",")})`;
 }
@@ -1806,7 +1867,7 @@ function absShapeKey(a, seen = /* @__PURE__ */ new Set()) {
   try {
     const s = a.shape;
     if (s.k === "prim") {
-      if (a.term?.op === "lit") return `prim:${s.type}:${String(a.term.value)}`;
+      if (a.term?.op === "lit") return `prim:${s.type}:${litKeyString(a.term.value)}`;
       const t = a.term ? termToString(a.term) : "";
       const p = a.pred && a.pred.op !== "true" ? predToString(a.pred) : "";
       return `prim:${s.type}:${t}:${p}`;
@@ -1818,7 +1879,7 @@ function absShapeKey(a, seen = /* @__PURE__ */ new Set()) {
         const v2 = a.term.value;
         if (v2 === void 0) return "unknown:undefined";
         if (v2 === null) return "unknown:null";
-        return `unknown:lit:${typeof v2}:${String(v2)}`;
+        return `unknown:lit:${typeof v2}:${litKeyString(v2)}`;
       }
       if (a.term) return `unknown:${termToString(a.term)}`;
       return "unknown";
@@ -2491,7 +2552,7 @@ function bindTypeVars(pattern, arg, map, depth = 0) {
   }
   if (ps.k === "obj" && as.k === "obj") {
     for (const [key, slot] of Object.entries(ps.slots)) {
-      const aSlot = as.slots[key];
+      const aSlot = getSlot(as.slots, key);
       if (aSlot) bindTypeVars(slot.value, aSlot.value, map, depth + 1);
     }
     return;
@@ -4886,6 +4947,7 @@ function absToJsonNative(a, seen) {
   if (t?.op === "lit") return t.value;
   const s = a.shape;
   if (s.k === "tuple") {
+    if (a.shape.rest) return NOT_LITERAL;
     seen.add(a);
     const holes = a.shape.holes ?? [];
     const out = [];
@@ -7109,51 +7171,15 @@ function toNumericAbs(a) {
   }
   return n;
 }
-function updateAddAbs(a) {
+function updateAddAbs(a, phi2 = pTrue) {
   const n = toNumericAbs(a);
   const one = n.shape.k === "prim" && n.shape.type === "bigint" ? bigintLit(1n) : numLit(1);
-  if (n.shape.k === "prim" && n.shape.type === "bigint" && !n.term) {
-    return abs({ k: "prim", type: "bigint" }, void 0, void 0, confJoin(n.conf, "exact"));
-  }
-  return addNumeric(n, one);
+  return add(n, one, phi2);
 }
-function updateSubAbs(a) {
+function updateSubAbs(a, phi2 = pTrue) {
   const n = toNumericAbs(a);
   const one = n.shape.k === "prim" && n.shape.type === "bigint" ? bigintLit(1n) : numLit(1);
-  if (n.shape.k === "prim" && n.shape.type === "bigint" && !n.term) {
-    return abs({ k: "prim", type: "bigint" }, void 0, void 0, confJoin(n.conf, "exact"));
-  }
-  return subNumeric(n, one);
-}
-function addNumeric(a, b) {
-  const ra = litValue(a);
-  const rb = litValue(b);
-  const va = ra.ok ? ra.value : void 0;
-  const vb = rb.ok ? rb.value : void 0;
-  if (typeof va === "bigint" && typeof vb === "bigint") return bigintLit(va + vb);
-  if (typeof va === "number" && typeof vb === "number") return numLit(va + vb);
-  const big = a.shape.k === "prim" && a.shape.type === "bigint" || typeof va === "bigint";
-  return abs(
-    { k: "prim", type: big ? "bigint" : "number" },
-    void 0,
-    void 0,
-    confJoin(confJoin(a.conf, b.conf), "path")
-  );
-}
-function subNumeric(a, b) {
-  const ra = litValue(a);
-  const rb = litValue(b);
-  const va = ra.ok ? ra.value : void 0;
-  const vb = rb.ok ? rb.value : void 0;
-  if (typeof va === "bigint" && typeof vb === "bigint") return bigintLit(va - vb);
-  if (typeof va === "number" && typeof vb === "number") return numLit(va - vb);
-  const big = a.shape.k === "prim" && a.shape.type === "bigint" || typeof va === "bigint";
-  return abs(
-    { k: "prim", type: big ? "bigint" : "number" },
-    void 0,
-    void 0,
-    confJoin(confJoin(a.conf, b.conf), "path")
-  );
+  return sub(n, one, phi2);
 }
 function toNumberAbs(a) {
   if (isSymbolAbs(a)) {
@@ -8192,24 +8218,40 @@ function leqShape(src, tgt, phi2, env, depth) {
       return leqWithPred(s.element, t.element, phi2, env, depth + 1);
     }
     if (s.k === "tuple") {
-      return s.elements.every((el) => leqWithPred(el, t.element, phi2, env, depth + 1).ok) ? ok() : fail("tuple \u22AD arr");
+      const elsOk = s.elements.every((el) => leqWithPred(el, t.element, phi2, env, depth + 1).ok);
+      const restOk = !s.rest || leqWithPred(s.rest, t.element, phi2, env, depth + 1).ok;
+      return elsOk && restOk ? ok() : fail("tuple \u22AD arr");
     }
     return fail(`shape ${s.k} \u22AD arr`);
   }
   if (t.k === "tuple") {
     if (s.k !== "tuple") return fail(`shape ${s.k} \u22AD tuple`);
-    if (s.elements.length !== t.elements.length) {
+    if (!t.rest && s.elements.length !== t.elements.length) {
       return fail(`tuple arity ${s.elements.length} \u22AD ${t.elements.length}`);
     }
+    if (t.rest && s.elements.length < t.elements.length) {
+      return fail(`tuple arity ${s.elements.length} \u22AD ${t.elements.length} (target requires ${t.elements.length})`);
+    }
+    if (s.rest && !t.rest) {
+      return fail(`tuple rest \u22AD fixed arity ${t.elements.length}`);
+    }
     const sHoles = s.holes ?? [];
     const tHoles = t.holes ?? [];
-    if (sHoles.length !== tHoles.length || sHoles.some((h, i) => h !== tHoles[i])) {
-      return fail(`tuple holes [${sHoles.join(",")}] \u22AD [${tHoles.join(",")}]`);
+    const overlap = Math.min(s.elements.length, t.elements.length);
+    for (let i = 0; i < overlap; i++) {
+      if (sHoles.includes(i) !== tHoles.includes(i)) {
+        return fail(`tuple holes [${sHoles.join(",")}] \u22AD [${tHoles.join(",")}]`);
+      }
     }
-    for (let i = 0; i < t.elements.length; i++) {
-      const r = leqWithPred(s.elements[i], t.elements[i], phi2, env, depth + 1);
+    for (let i = 0; i < s.elements.length; i++) {
+      const tgt2 = i < t.elements.length ? t.elements[i] : t.rest;
+      const r = leqWithPred(s.elements[i], tgt2, phi2, env, depth + 1);
       if (!r.ok) return fail(`tuple[${i}]: ${r.reason}`);
     }
+    if (s.rest && t.rest) {
+      const r = leqWithPred(s.rest, t.rest, phi2, env, depth + 1);
+      if (!r.ok) return fail(`tuple rest: ${r.reason}`);
+    }
     return ok();
   }
   if (t.k === "fn") {
@@ -8284,13 +8326,30 @@ function formatAbs(a, opts = {}) {
   return parts.join("  ");
 }
 function formatShapeSlot(a) {
-  const base = formatShape(a);
+  return formatShapeSlotB(a, new ProjectionBudget());
+}
+function formatShapeSlotB(a, budget) {
+  const base = formatShapeB(a, budget);
   if (!a.term || a.term.op === "lit") return base;
   if (a.shape.k === "fn" || a.shape.k === "arr") return base;
   if (a.shape.k === "any" && a.term.op === "var") return termToString(a.term);
   return `${base} = ${termToString(a.term)}`;
 }
+var FORMAT_TRUNC = { cycle: "\u2026cycle", depth: "\u2026" };
 function formatShape(a) {
+  return formatShapeB(a, new ProjectionBudget());
+}
+function formatShapeB(a, budget) {
+  const stop = budget.enter(a);
+  if (stop === "cycle") return FORMAT_TRUNC.cycle;
+  if (stop === "depth") return FORMAT_TRUNC.depth;
+  try {
+    return formatShapeInner(a, budget);
+  } finally {
+    budget.exit();
+  }
+}
+function formatShapeInner(a, budget) {
   const s = a.shape;
   switch (s.k) {
     case "never":
@@ -8317,28 +8376,28 @@ function formatShape(a) {
       const entries = Object.entries(s.slots).map(([k, slot]) => {
         const opt = slot.optional ? "?" : "";
         const key = /^[A-Za-z_$][A-Za-z0-9_$]*$/.test(k) ? k : JSON.stringify(k);
-        return `${key}${opt}: ${formatShape(slot.value)}`;
+        return `${key}${opt}: ${formatShapeB(slot.value, budget)}`;
       });
       return `{ ${entries.join(", ")} }`;
     }
     case "arr": {
       if (s.element.shape.k === "any" && s.element.term?.op === "var") {
-        return `arr(${formatShapeSlot(s.element)})`;
+        return `arr(${formatShapeSlotB(s.element, budget)})`;
       }
-      return `${formatShape(s.element)}[]`;
+      return `${formatShapeB(s.element, budget)}[]`;
     }
     case "tuple": {
       const holes = s.holes ?? [];
       const parts = s.elements.map(
-        (el, i) => holes.includes(i) ? "" : formatShape(el)
+        (el, i) => holes.includes(i) ? "" : formatShapeB(el, budget)
       );
       if (s.rest) {
-        parts.push(`...${formatShape(s.rest)}`);
+        parts.push(`...${formatShapeB(s.rest, budget)}`);
       }
       return `[${parts.join(", ")}]`;
     }
     case "fn": {
-      const ret = s.returnType !== void 0 ? formatShapeSlot(s.returnType) : "?";
+      const ret = s.returnType !== void 0 ? formatShapeSlotB(s.returnType, budget) : "?";
       const labels = s.params ?? [];
       const paramTypes = s.paramTypes;
       const hasMarkers = labels.some(
@@ -8350,7 +8409,7 @@ function formatShape(a) {
         for (let i = 0; i < n; i++) {
           const label = labels[i];
           const type = paramTypes?.[i];
-          const typeText = type !== void 0 ? formatShapeSlot(type) : void 0;
+          const typeText = type !== void 0 ? formatShapeSlotB(type, budget) : void 0;
           if (label?.startsWith("...")) {
             ps.push(typeText ? `...${label.slice(3)}: ${typeText}` : label);
           } else if (label?.endsWith("?")) {
@@ -8367,7 +8426,7 @@ function formatShape(a) {
         return `(${renderLabeled().join(", ")}) => ${ret}`;
       }
       if (paramTypes && paramTypes.length > 0) {
-        const ps = paramTypes.map((p) => formatShapeSlot(p));
+        const ps = paramTypes.map((p) => formatShapeSlotB(p, budget));
         return `(${ps.join(", ")}) => ${ret}`;
       }
       return `(${labels.join(", ")}) => ${ret}`;
@@ -8378,7 +8437,7 @@ function formatShape(a) {
       if (slots) {
         const arg = (key) => {
           const sl = slots[key];
-          return sl ? formatShapeSlot(sl.value) : void 0;
+          return sl ? formatShapeSlotB(sl.value, budget) : void 0;
         };
         if (s.name === "Map" || s.name === "ReadonlyMap" || s.name === "WeakMap") {
           const k = arg("__key");
@@ -8393,12 +8452,12 @@ function formatShape(a) {
       return `${s.name}`;
     }
     case "eff":
-      return `${s.eff}<${formatShape(s.inner)}>`;
+      return `${s.eff}<${formatShapeB(s.inner, budget)}>`;
     case "sum": {
       const seen = /* @__PURE__ */ new Set();
       const parts = [];
       for (const m of s.members) {
-        const t = formatShape(m);
+        const t = formatShapeB(m, budget);
         if (seen.has(t)) continue;
         seen.add(t);
         parts.push(t);
@@ -8707,8 +8766,10 @@ function identBoundaryRegex(name) {
 var NudoUnsupportedError = class extends Error {
   reason;
   loc;
-  constructor(reason, loc) {
-    super(`nudo:unsupported ${reason}`);
+  constructor(reason, loc, detail) {
+    super(
+      detail ? `nudo:unsupported ${reason} (${detail})` : `nudo:unsupported ${reason}`
+    );
     this.name = "NudoUnsupportedError";
     this.reason = reason;
     this.loc = loc;
@@ -10112,15 +10173,15 @@ function transpileStatement(stmt, depth, opts) {
         if (nsSpecs.length > 0) {
           if (!stmt.source) return `${pad}/* export * as without source skipped */`;
           return nsSpecs.map((s) => {
-            const exported = s.exported.type === "Identifier" ? s.exported.name : s.exported.value;
+            const exported = s.exported.type === "Identifier" ? s.exported.name : JSON.stringify(s.exported.value);
             return `${pad}export * as ${exported} from ${JSON.stringify(stmt.source.value)};`;
           }).join("\n");
         }
         const specs = stmt.specifiers.filter(
           (s) => "local" in s
         ).map((s) => {
-          const local = s.local.type === "Identifier" ? s.local.name : s.local.value;
-          const exported = s.exported.type === "Identifier" ? s.exported.name : s.exported.value;
+          const local = s.local.type === "Identifier" ? s.local.name : JSON.stringify(s.local.value);
+          const exported = s.exported.type === "Identifier" ? s.exported.name : JSON.stringify(s.exported.value);
           return local === exported ? local : `${local} as ${exported}`;
         }).join(", ");
         if (stmt.source) {
@@ -12049,10 +12110,10 @@ function $toNumeric(a) {
   return toNumericAbs(a);
 }
 function $updateAdd(a) {
-  return updateAddAbs(a);
+  return updateAddAbs(a, currentExecPhi());
 }
 function $updateSub(a) {
-  return updateSubAbs(a);
+  return updateSubAbs(a, currentExecPhi());
 }
 function $neg(a) {
   return negAbs(a);
@@ -12298,14 +12359,44 @@ function noteObjSlotMissing(recv, name, loc) {
 
 // src/algebra/exec/class-registry.ts
 var classRegistry = /* @__PURE__ */ new Map();
+var classEpoch = 0;
+var classEpochs = /* @__PURE__ */ new Map();
+var classCollisions = [];
+function beginClassEpoch() {
+  classEpoch++;
+}
+function drainClassCollisions() {
+  return classCollisions.splice(0, classCollisions.length);
+}
+function specShape(spec) {
+  const ctorName = spec.ctor?.name ?? "anon";
+  const methods = Object.keys(spec.methods ?? {}).sort().join(",");
+  const statics = Object.keys(spec.staticMethods ?? {}).sort().join(",");
+  const accessors = Object.keys(spec.accessors ?? {}).sort().join(",");
+  return `${ctorName}[${methods}](${statics}){${accessors}}`;
+}
 function registerEvalClass(spec) {
+  const prev = classRegistry.get(spec.name);
+  const prevEpoch = classEpochs.get(spec.name);
+  if (prev && prev !== spec && // 同 epoch（同一次 run 内）注册两次才可能是真碰撞：
+  // 块级作用域同名类。跨 epoch = 顺序重注册（常态）。
+  prevEpoch === classEpoch && specShape(prev) !== specShape(spec)) {
+    classCollisions.push({
+      name: spec.name,
+      previous: specShape(prev),
+      next: specShape(spec)
+    });
+  }
   classRegistry.set(spec.name, spec);
+  classEpochs.set(spec.name, classEpoch);
 }
 function getEvalClass(name) {
   return classRegistry.get(name);
 }
 function clearBClasses() {
   classRegistry.clear();
+  classEpochs.clear();
+  classCollisions.length = 0;
 }
 
 // src/algebra/exec/runtime.ts
@@ -12603,6 +12694,8 @@ function $copy(a) {
       {
         k: "tuple",
         elements: s.elements.map($copy),
+        // rest 槽必须随快照迁移（与 hof snapshotAbs 同口径），否则副本丢尾段
+        ...s.rest ? { rest: $copy(s.rest) } : {},
         holes: s.holes ? [...s.holes] : void 0
       },
       a.term,
@@ -12793,7 +12886,7 @@ function $idx(a, i) {
     if (slots.length === 0) return objShape.open ? unknown : undef();
     const joinSlotsWithUndef = () => joinAbs(slots.reduce((x, y) => joinAbs(x, y)), undef());
     if (typeof iv === "string" || typeof iv === "number" || typeof iv === "boolean") {
-      const slot = objShape.slots[String(iv)];
+      const slot = getSlot(objShape.slots, String(iv));
       if (slot) return slot.value;
       if (objShape.open) return unknown;
       return undef();
@@ -13010,6 +13103,20 @@ function $arrRest(a, start) {
     return parts.length ? parts.reduce((x, y) => joinAbs(x, y)) : unknown;
   }
   if (a.shape.k === "tuple") {
+    if (a.shape.rest) {
+      const sliced = a.shape.elements.slice(start);
+      if (start < a.shape.elements.length && !shouldWidenArrayLiteral(sliced.length + 1)) {
+        return abs(
+          { k: "tuple", elements: sliced, rest: a.shape.rest },
+          void 0,
+          void 0,
+          a.conf
+        );
+      }
+      const restEl = a.shape.rest.shape.k === "arr" ? a.shape.rest.shape.element : a.shape.rest;
+      const el = sliced.reduce((x, y) => joinAbs(x, y), restEl);
+      return abs({ k: "arr", element: el }, void 0, void 0, a.conf);
+    }
     return tupleOrWiden(a.shape.elements.slice(start), a.conf);
   }
   if (a.shape.k === "arr") return a;
@@ -15638,7 +15745,7 @@ function namespaceAbsOf(mod2) {
   return abs({ k: "obj", slots, open: true }, void 0, void 0, "path");
 }
 function bindImports(node, env, modules) {
-  const mod2 = modules[node.source.value];
+  const mod2 = Object.hasOwn(modules, node.source.value) ? modules[node.source.value] : void 0;
   if (!mod2) {
     for (const s of node.specifiers) {
       env.vars.set(s.local.name, unknown);
@@ -15650,7 +15757,8 @@ function bindImports(node, env, modules) {
       env.vars.set(s.local.name, mod2.default ?? unknown);
     } else if (s.type === "ImportSpecifier") {
       const imported = s.imported.type === "Identifier" ? s.imported.name : String(s.imported);
-      env.vars.set(s.local.name, mod2.named[imported] ?? unknown);
+      const named = Object.hasOwn(mod2.named, imported) ? mod2.named[imported] : void 0;
+      env.vars.set(s.local.name, named ?? unknown);
     } else if (s.type === "ImportNamespaceSpecifier") {
       env.vars.set(s.local.name, namespaceAbsOf(mod2));
     }
@@ -15676,7 +15784,7 @@ function collectAbsExports(file, env, modules) {
   for (const stmt of file.program.body) {
     if (stmt.type === "ExportNamedDeclaration") {
       if (stmt.source && modules) {
-        const mod2 = modules[stmt.source.value];
+        const mod2 = Object.hasOwn(modules, stmt.source.value) ? modules[stmt.source.value] : void 0;
         if (mod2) {
           for (const spec of stmt.specifiers) {
             if (spec.type === "ExportNamespaceSpecifier") {
@@ -15688,7 +15796,7 @@ function collectAbsExports(file, env, modules) {
             if (spec.type !== "ExportSpecifier") continue;
             const local = spec.local.type === "Identifier" ? spec.local.name : spec.local.value;
             const exported = spec.exported.type === "Identifier" ? spec.exported.name : spec.exported.value;
-            const v2 = local === "default" ? mod2.default : mod2.named[local];
+            const v2 = local === "default" ? mod2.default : Object.hasOwn(mod2.named, local) ? mod2.named[local] : void 0;
             const slot = v2 ?? unknown;
             if (exported === "default") defaultExport = slot;
             else {
@@ -15734,7 +15842,7 @@ function collectAbsExports(file, env, modules) {
         }
       }
     } else if (stmt.type === "ExportAllDeclaration" && stmt.source && modules) {
-      const mod2 = modules[stmt.source.value];
+      const mod2 = Object.hasOwn(modules, stmt.source.value) ? modules[stmt.source.value] : void 0;
       if (mod2?.named) {
         for (const [k, v2] of Object.entries(mod2.named)) {
           if (!explicitNames.has(k)) named[k] = v2;
@@ -16079,6 +16187,7 @@ ${js}`;
   const fn = new Function(...argNames, `${js}
 ${ret}`);
   setEvalBindingSink(bindings);
+  beginClassEpoch();
   try {
     const result = fn(...args);
     runBindings.set(result, bindings);
@@ -16086,6 +16195,18 @@ ${ret}`);
   } finally {
     setEvalBindingSink(null);
     drainPromiseMicros();
+    noteDrainedClassCollisions();
+  }
+}
+function noteDrainedClassCollisions() {
+  for (const c of drainClassCollisions()) {
+    noteEvalFallback(
+      new NudoUnsupportedError(
+        "class-collision",
+        void 0,
+        `class '${c.name}' registered again with a different shape (${c.previous} -> ${c.next}); name-keyed lookup may resolve to either definition`
+      )
+    );
   }
 }
 var evalFallbackCollector = null;
@@ -16147,14 +16268,16 @@ function isAbsVal(v2) {
 }
 function callTranspiledExportFull(exports, name, args, opts) {
   enterEvalCallBudgetSession();
+  beginClassEpoch();
   try {
     return callTranspiledExportFullInner(exports, name, args, opts);
   } finally {
     exitEvalCallBudgetSession();
+    noteDrainedClassCollisions();
   }
 }
 function callTranspiledExportFullInner(exports, name, args, opts) {
-  const fn = exports[name];
+  const fn = Object.hasOwn(exports, name) ? exports[name] : void 0;
   if (typeof fn === "function") {
     const callArgs = args.map(
       (a) => a && typeof a === "object" && "shape" in a ? $copy(a) : a
@@ -16826,6 +16949,7 @@ export {
   v,
   app,
   termEquals,
+  litKeyString,
   termToString,
   simplifyTerm,
   TYPEOF_NAMES,
@@ -16857,6 +16981,8 @@ export {
   geNum,
   ltNum,
   leNum,
+  PROJECTION_MAX_DEPTH,
+  ProjectionBudget,
   never,
   unknown,
   anyAbs,
@@ -17333,6 +17459,7 @@ export {
   resetEvalFallbackStats,
   noteEvalFallback,
   tryRunTranspiled,
+  isAbsVal,
   callTranspiledExportFull,
   callTranspiledExport,
   callTranspiledExportApply,

package/dist/exec.d.ts

@@ -1,5 +1,5 @@
-import { A as Abs, M as MayThrowEffect, b as Phi } from './run-WJfj477N.js';
-export { O as $assignRecord, Q as $call, U as $callNamed, V as $recordBinding, a1 as EvalAbsAssignRecord, a2 as EvalCallRecord, a3 as EvalFallback, f as EvalFallbackStats, a6 as MAX_EVAL_CALL_DEPTH, a7 as MAX_EVAL_TOTAL_CALLS, a8 as RUNTIME_IMPORT_RE, N as RunTranspiledOptions, aa as TranspiledCallResult, ao as bindingsOf, ar as callTranspiledExport, as as callTranspiledExportApply, at as callTranspiledExportFull, g as clearPureCallMemo, h as clearPureMemo, i as enterEvalCallBudgetSession, ay as evalExprAbs, k as exitEvalCallBudgetSession, q as getEvalCallBudgetState, aB as getEvalCallCollector, r as getEvalFallbackStats, aZ as noteEvalCallRecord, a_ as noteEvalFallback, bf as resetEvalCallBudget, z as resetEvalFallbackStats, bz as routeApplyThrows, bg as runTranspiled, bh as runTranspiledOptionsMemoKey, bi as setEvalAssignCollector, bj as setEvalBindingSink, bk as setEvalCallCollector, bl as setEvalFallbackCollector, bw as tryRunTranspiled, H as withEvalBudgetOverride } from './run-WJfj477N.js';
+import { A as Abs, M as MayThrowEffect, b as Phi } from './run-Dg7gQO2z.js';
+export { O as $assignRecord, Q as $call, U as $callNamed, V as $recordBinding, a1 as EvalAbsAssignRecord, a2 as EvalCallRecord, a3 as EvalFallback, f as EvalFallbackStats, a6 as MAX_EVAL_CALL_DEPTH, a7 as MAX_EVAL_TOTAL_CALLS, a8 as RUNTIME_IMPORT_RE, N as RunTranspiledOptions, aa as TranspiledCallResult, ao as bindingsOf, ar as callTranspiledExport, as as callTranspiledExportApply, at as callTranspiledExportFull, g as clearPureCallMemo, h as clearPureMemo, i as enterEvalCallBudgetSession, ay as evalExprAbs, k as exitEvalCallBudgetSession, q as getEvalCallBudgetState, aB as getEvalCallCollector, r as getEvalFallbackStats, aI as isAbsVal, a_ as noteEvalCallRecord, a$ as noteEvalFallback, bg as resetEvalCallBudget, z as resetEvalFallbackStats, bA as routeApplyThrows, bh as runTranspiled, bi as runTranspiledOptionsMemoKey, bj as setEvalAssignCollector, bk as setEvalBindingSink, bl as setEvalCallCollector, bm as setEvalFallbackCollector, bx as tryRunTranspiled, H as withEvalBudgetOverride } from './run-Dg7gQO2z.js';
 import { Node, Expression, File } from '@babel/types';
 
 /**
@@ -584,7 +584,9 @@ declare class NudoUnsupportedError extends Error {
     constructor(reason: string, loc?: {
         line: number;
         column: number;
-    });
+    }, 
+    /** BUG-026：附加辨析面（如 class 碰撞的双方特征）——进 message 随回落观测 */
+    detail?: string);
 }
 
 export { $add, $arguments, $arr, $arrMutContainer, $arrRest, $arrWithHoles, $async, $asyncReturn, $await, $bitand, $bitnot, $bitor, $bitxor, $catchVal, $class, $classExpr, $collectionForEach, $concat, $copy, $del, $delRes, $div, $dynamicImport, $elems, $eq, $eqLoose, $fnVal, $for, $forInKeys, $forIter, $forOf, $fork, $ge, $gen, $get, $gt, $idx, $idxSet, $importMeta, $in, $instanceof, $instanceofNonIdent, $invoke, $invokeSuper, $isBreakTo, $isForkExit, $join, $le, $len, $lit, $loopBreak, $loopContinue, $loopReturn, $lt, $mod, $mul, $ne, $neLoose, $neg, $new, $not, $nullishTest, $obj, $objAccessor, $objRest, $optionalGet, $optionalInvoke, $orDefault, $pow, $pushLoopExit, $rawThis, $reStateCall, $regex, $rethrowIfNudoReturn, $set, $setKey, $setProto, $shl, $shr, $spread, $staticInvoke, $sub, $super, $switch, $thisGet, $thisSet, $throw, $toNumber, $toNumeric, $tryCurrentMark, $tryDetachSoftCatch, $tryDigestSoftCatch, $tryDiscardSoft, $tryMark, $tryOrphanSoft, $tryPopMark, $tryReleaseSoftCatch, $tryReleaseSoftOut, $tryTakeSince, $typeof, $unknown, $updateAdd, $updateSub, $ushr, $while, $whileSeq, $yield, DEFAULT_MAX_LOOP_ITERS, type EvalClassSpec, NudoLoopSignal, NudoReturn, NudoThrow, NudoUnsupportedError, type TranspileOptions, asAbsVal, callAtFunctionBoundary, clearBClasses, clearStaleTermPred, currentExecPhi, fillTuple, foldRequireSpecArg, foldStaticStringExpr, getEvalClass, isArrMutator, isDefinitelyFalse, isDefinitelyTrue, isNudoBreak, isNudoContinue, isNudoReturn, isNudoThrow, litTruth, lookupObjAccessor, namespaceNameOf, pushLoopExit, pushThrowExit, registerEvalClass, runWithLoopExits, runtimeImportOf, takeLoopExits, takeThrowExits, transpile, transpileBodyNode, transpileExpression, transpileFile, transpileSource, withExecPhi };

package/dist/exec.js

@@ -140,6 +140,7 @@ import {
   getEvalCallCollector,
   getEvalClass,
   getEvalFallbackStats,
+  isAbsVal,
   isArrMutator,
   isDefinitelyFalse,
   isDefinitelyTrue,
@@ -176,7 +177,7 @@ import {
   tryRunTranspiled,
   withEvalBudgetOverride,
   withExecPhi
-} from "./chunk-W2MP6REI.js";
+} from "./chunk-LZJC7X5J.js";
 export {
   $add,
   $arguments,
@@ -318,6 +319,7 @@ export {
   getEvalCallCollector,
   getEvalClass,
   getEvalFallbackStats,
+  isAbsVal,
   isArrMutator,
   isDefinitelyFalse,
   isDefinitelyTrue,