@nudojs/core 1.11.2 → 1.11.3

package/dist/{chunk-SWG6PLYE.js → chunk-2PFT7GU2.js}

@@ -47,7 +47,7 @@ import {
   withEvalBudgetOverride,
   withExecPhi,
   withFnBudgetOverride
-} from "./chunk-NEKTOZLJ.js";
+} from "./chunk-GL6VOF75.js";
 
 // src/algebra/directive-scan.ts
 function cleanDirectiveLine(raw, kind) {

package/dist/{chunk-NEKTOZLJ.js → chunk-GL6VOF75.js}

@@ -3301,7 +3301,7 @@ function coerceToStringParts(a) {
   }
   if (a.shape.k === "obj" && !a.shape.open && !a.shape.index && !isNullProtoObj(a)) {
     const slots = a.shape.slots;
-    if (!Object.hasOwn(slots, "toString") && !Object.hasOwn(slots, "valueOf")) {
+    if (!Object.hasOwn(slots, "toString") && !Object.hasOwn(slots, "valueOf") && !Object.hasOwn(slots, "@@toPrimitive")) {
       return [
         abs({ k: "prim", type: "string" }, lit("[object Object]"), void 0, "exact")
       ];
@@ -4186,7 +4186,9 @@ function getPropFlags(o) {
 }
 function enumOwnKeys(o, slots) {
   const flags = getPropFlags(o);
-  return Object.keys(slots).filter((k) => flags?.get(k)?.enumerable !== false);
+  return Object.keys(slots).filter(
+    (k) => flags?.get(k)?.enumerable !== false && slots[k]?.internal !== true
+  );
 }
 function isEnumerableView(o, key) {
   return getPropFlags(o)?.get(key)?.enumerable !== false;
@@ -5011,6 +5013,71 @@ function classNameOfValue(v2) {
   return classValues.get(v2);
 }
 
+// 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(",");
+  const fields = Object.keys(spec.statics ?? {}).sort().join(",");
+  const instFields = (spec.instanceFields ?? []).map((f) => f.name ?? "<computed>").sort().join(",");
+  return `${ctorName}[${methods}](${statics}){${accessors}}{${fields}}{${instFields}}`;
+}
+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 classInstanceInnerOf(a) {
+  const s = a.shape;
+  if (s.k !== "brand") return void 0;
+  if (classNameOfValue(a) === s.name) return void 0;
+  if (!classRegistry.has(s.name)) return void 0;
+  const inner = s.shape;
+  const is = inner.shape;
+  if (is.k !== "obj" || is.open || is.index) return void 0;
+  return inner;
+}
+function classChainHasJsonUserFace(name) {
+  let cur = name;
+  const seen = /* @__PURE__ */ new Set();
+  while (cur && !seen.has(cur)) {
+    seen.add(cur);
+    const spec = classRegistry.get(cur);
+    if (spec?.methods?.["toJSON"]) return true;
+    cur = spec?.superName;
+  }
+  return false;
+}
+function clearBClasses() {
+  classRegistry.clear();
+  classEpochs.clear();
+  classCollisions.length = 0;
+}
+
 // src/algebra/builtins/json.ts
 var NOT_LITERAL = /* @__PURE__ */ Symbol("nudo:not-literal");
 var OMIT = /* @__PURE__ */ Symbol("nudo:json-omit");
@@ -5083,6 +5150,7 @@ function jsonStringifyTotal(a, seen = /* @__PURE__ */ new Set()) {
     const flags = getPropFlags(a);
     for (const [k, sv] of Object.entries(os.slots)) {
       if (flags?.get(k)?.enumerable === false) continue;
+      if (sv.internal === true) continue;
       if (k === "toJSON" && sv.value.term?.op !== "lit") return false;
       if (!jsonStringifyTotal(sv.value, seen)) return false;
     }
@@ -5126,6 +5194,7 @@ function absToJsonNative(a, seen, valueMode) {
     const flags = getPropFlags(a);
     for (const [k, sv] of Object.entries(s.slots)) {
       if (flags?.get(k)?.enumerable === false) continue;
+      if (sv.internal === true) continue;
       if (k === "toJSON") {
         const ts = sv.value;
         if (ts.term?.op !== "lit") return NOT_LITERAL;
@@ -5186,7 +5255,15 @@ function evalJsonMethod(name, args) {
   if (name === "stringify") {
     const a0Abs = args[0];
     if (!a0Abs) return undefAbs();
-    const v2 = absToJsonNative(a0Abs, /* @__PURE__ */ new Set(), true);
+    let jsonArg = a0Abs;
+    {
+      const inner = classInstanceInnerOf(a0Abs);
+      const brandName = a0Abs.shape.k === "brand" ? a0Abs.shape.name : void 0;
+      if (inner && brandName !== void 0 && !classChainHasJsonUserFace(brandName)) {
+        jsonArg = inner;
+      }
+    }
+    const v2 = absToJsonNative(jsonArg, /* @__PURE__ */ new Set(), true);
     if (v2 === NOT_LITERAL || v2 === OMIT) {
       if (isNonJsonTopLevel(a0Abs)) return undefAbs();
       if (v2 === NOT_LITERAL) {
@@ -6952,6 +7029,7 @@ function hasOwnDecision(recv, key) {
     }
     if (inner.shape.k === "obj") {
       const slot = getSlot(inner.shape.slots, key);
+      if (slot?.internal) return boolLit(false);
       if (slot && !slot.optional) return boolLit(true);
       if (slot?.optional) return boolPrimB();
       if (!inner.shape.open) return boolLit(false);
@@ -6961,6 +7039,7 @@ function hasOwnDecision(recv, key) {
   }
   if (s.k === "obj") {
     const slot = getSlot(s.slots, key);
+    if (slot?.internal) return boolLit(false);
     if (slot && !slot.optional) return boolLit(true);
     if (slot?.optional) return boolPrimB();
     if (!s.open && recv.conf === "exact") return boolLit(false);
@@ -8561,6 +8640,10 @@ function collectArrMutatorReceivers(node, acc = /* @__PURE__ */ new Set()) {
 function isExpression(n) {
   return n.type !== "PrivateName" && !n.type.endsWith("Statement") && !n.type.endsWith("Declaration");
 }
+function privateNameKeySrc(prop) {
+  const priv = prop.id?.name ?? prop.name;
+  return priv ? JSON.stringify(`#${priv}`) : null;
+}
 
 // src/algebra/exec/transpile/transpile-dispatch.ts
 var dispatch = {};
@@ -10607,7 +10690,7 @@ function classSpecOf(stmt, depth, opts) {
     if (!k?.type) return null;
     if (!computed && k.type === "PrivateName") {
       const n = k.id?.name ?? k.name;
-      return n ? { name: `#${n}` } : null;
+      return n ? { name: `#${n}`, private: true } : null;
     }
     if (!computed && k.type === "Identifier" && k.name) return { name: k.name };
     if (k.type === "StringLiteral" || k.type === "NumericLiteral") {
@@ -10661,7 +10744,7 @@ function classSpecOf(stmt, depth, opts) {
       const initSrc = thunkOf(vsrc, depth + 2);
       if (keyR2 && "name" in keyR2) {
         instanceFieldParts.push(
-          `${indent(depth + 2)}{ name: ${JSON.stringify(keyR2.name)}, init: ${initSrc} },`
+          `${indent(depth + 2)}{ name: ${JSON.stringify(keyR2.name)}, init: ${initSrc}${keyR2.private === true ? ", private: true" : ""} },`
         );
       } else if (keyR2 && "computed" in keyR2) {
         instanceFieldParts.push(
@@ -11322,6 +11405,18 @@ ${inner}
         const r2 = isExpression(expr.right) ? transpileExpression(expr.right, opts) : "$lit(void 0)";
         return `$instanceofNonIdent(${l2}, ${r2})`;
       }
+      if (expr.operator === "in" && expr.left.type === "PrivateName") {
+        const key = privateNameKeySrc(
+          expr.left
+        );
+        if (!key) {
+          throw new NudoUnsupportedError(
+            `binary:in-private`,
+            expr.loc ? { line: expr.loc.start.line, column: expr.loc.start.column } : void 0
+          );
+        }
+        return `$in($lit(${key}), ${transpileExpression(expr.right, opts)})`;
+      }
       const fn2 = BIN_OPS[expr.operator];
       if (!fn2) {
         throw new NudoUnsupportedError(
@@ -11649,14 +11744,15 @@ ${mBodyInner}
       }
       if (expr.property.type === "PrivateName") {
         const recv2 = transpileExpression(expr.object, opts);
-        const priv = expr.property.id?.name ?? expr.property.name;
-        if (!priv) {
+        const key2 = privateNameKeySrc(
+          expr.property
+        );
+        if (!key2) {
           throw new NudoUnsupportedError(
             `member:PrivateName`,
             expr.loc ? { line: expr.loc.start.line, column: expr.loc.start.column } : void 0
           );
         }
-        const key2 = JSON.stringify(`#${priv}`);
         return optional ? `$optionalGet(${recv2}, ${key2})` : `$get(${recv2}, ${key2})`;
       }
       if (expr.property.type !== "Identifier") {
@@ -11778,14 +11874,18 @@ ${mBodyInner}
         }
         if (!m.computed && m.property.type === "PrivateName") {
           const obj2 = transpileExpression(m.object, opts);
-          const priv = m.property.id?.name ?? m.property.name;
-          if (!priv) {
+          const key = privateNameKeySrc(
+            m.property
+          );
+          if (!key) {
             throw new NudoUnsupportedError(
               `assign-target`,
               expr.loc ? { line: expr.loc.start.line, column: expr.loc.start.column } : void 0
             );
           }
-          return `((__v) => (($set(${obj2}, ${JSON.stringify(`#${priv}`)}, __v)), __v))(${right})`;
+          const cur = `$get(${obj2}, ${key})`;
+          const valSrc = compoundFn ? `${compoundFn}(${cur}, ${right})` : right;
+          return `((__v) => (($set(${obj2}, ${key}, __v)), __v))(${valSrc})`;
         }
         if (!m.computed && m.property.type === "Identifier") {
           const obj2 = transpileExpression(m.object, opts);
@@ -12644,50 +12744,6 @@ function noteObjSlotMissing(recv, name, loc) {
   return true;
 }
 
-// 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(",");
-  const fields = Object.keys(spec.statics ?? {}).sort().join(",");
-  const instFields = (spec.instanceFields ?? []).map((f) => f.name ?? "<computed>").sort().join(",");
-  return `${ctorName}[${methods}](${statics}){${accessors}}{${fields}}{${instFields}}`;
-}
-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/members.ts
 function $objAccessorKey(o, key, get, set) {
   const pk = propertyKeyOf(key);
@@ -14805,7 +14861,18 @@ function $spread(a, b) {
     }
   }
   const aa = asAbsVal(a);
-  const b0 = bb;
+  let b0 = bb;
+  {
+    const ciInner = classInstanceInnerOf(b0);
+    if (ciInner) {
+      const ciSlots = ciInner.shape.slots;
+      const pub = {};
+      for (const k of enumOwnKeys(ciInner, ciSlots)) {
+        setSlot(pub, k, getSlot(ciSlots, k));
+      }
+      b0 = abs({ k: "obj", slots: pub }, void 0, void 0, b0.conf);
+    }
+  }
   if (aa?.shape?.k === "any" || b0?.shape?.k === "any") {
     const base = spread(
       aa?.shape?.k === "any" ? abs({ k: "obj", slots: {}, open: true }, void 0, void 0, "partial") : aa,
@@ -15607,7 +15674,7 @@ function $collectionForEach(recv, cb) {
   }
   return void 0;
 }
-function $set(o, key, value) {
+function $set(o, key, value, opts) {
   privateNameGuard(o, key);
   if (!o || typeof o !== "object" || !("shape" in o)) {
     return o;
@@ -15632,12 +15699,16 @@ function $set(o, key, value) {
           throwStrictWrite();
         }
         if (getPropFlags(o)?.get(key)?.writable === false) throwStrictWrite();
-        setSlot(inner2.shape.slots, key, { value: asAbsVal(value) });
+        const prevSlot2 = getSlot(inner2.shape.slots, key);
+        setSlot(inner2.shape.slots, key, {
+          value: asAbsVal(value),
+          ...prevSlot2?.internal || opts?.internal ? { internal: true } : {}
+        });
         clearStaleTermPred(o);
         return o;
       }
     }
-    const inner = $set(o.shape.shape, key, value);
+    const inner = $set(o.shape.shape, key, value, opts);
     const next = abs(
       { k: "brand", name: o.shape.name, shape: inner },
       o.term,
@@ -15732,7 +15803,11 @@ function $set(o, key, value) {
   if (key === "__proto__" && !isNullProtoObj(o)) {
     return $setProto(o, value);
   }
-  setSlot(shape2.slots, key, { value: asAbsVal(value) });
+  const prevSlot = getSlot(shape2.slots, key);
+  setSlot(shape2.slots, key, {
+    value: asAbsVal(value),
+    ...prevSlot?.internal || opts?.internal ? { internal: true } : {}
+  });
   o.conf = confJoin(o.conf, value.conf);
   clearStaleTermPred(o);
   return o;
@@ -18898,7 +18973,7 @@ function applyInstanceFields(spec, thisVal) {
       }
     }
     if (!key) continue;
-    cur = $set(cur, key, asAbsVal(f.init(cur)));
+    cur = $set(cur, key, asAbsVal(f.init(cur)), { internal: f.private === true });
   }
   return cur;
 }
@@ -20214,13 +20289,68 @@ function invokeArrMethod(arr, method, args) {
     );
   }
   if (method === "concat") {
+    const argObjShapeOf = (v2) => {
+      const s = v2.shape;
+      if (s.k === "obj") return s;
+      if (s.k === "brand" && s.shape.shape.k === "obj") return s.shape.shape;
+      return void 0;
+    };
+    const spreadableOf = (v2) => {
+      const o = argObjShapeOf(v2);
+      const slot = o ? getSlot(o.slots, "@@isConcatSpreadable") : void 0;
+      if (!slot) return "absent";
+      const lv = litValue(slot.value);
+      if (!lv.ok) return "abstract";
+      const w = lv.value;
+      if (w === void 0 || w === null || w === false || w === "" || w === 0n || typeof w === "number" && (w === 0 || Number.isNaN(w))) {
+        return "false";
+      }
+      return "true";
+    };
+    const spreadElsOf = (v2) => {
+      const o = argObjShapeOf(v2);
+      if (!o) return null;
+      const lenAbs = getSlot(o.slots, "length")?.value;
+      if (!lenAbs || isNullishLitAbs(lenAbs)) return [];
+      const lv = litValue(lenAbs);
+      if (!lv.ok || typeof lv.value !== "number") return null;
+      const t = Math.trunc(lv.value);
+      if (t > TUPLE_MATERIALIZE_CAP) return null;
+      const n = t < 0 ? 0 : t;
+      const els = [];
+      for (let i = 0; i < n; i++) els.push(getSlot(o.slots, String(i))?.value ?? undefAbs());
+      return els;
+    };
+    const spreadPossiblesOf = (v2) => {
+      const o = argObjShapeOf(v2);
+      const parts2 = [v2, undefAbs()];
+      if (o) {
+        for (const [k, s] of Object.entries(o.slots)) {
+          if (canonicalArrayIndex(k) !== void 0) parts2.push(s.value);
+        }
+        if (o.index) parts2.push(o.index.value);
+      }
+      return parts2.reduce((x, y) => joinAbs(x, y));
+    };
     if (shape2.k === "tuple") {
       const out = [...shape2.elements];
       const holesC = new Set(holes);
       let degraded = false;
       for (const a of args) {
         const aa = asAbs(a) ?? unknown;
-        if (aa.shape.k === "tuple") {
+        const spread2 = spreadableOf(aa);
+        if (spread2 === "true") {
+          const els = spreadElsOf(aa);
+          if (els === null) {
+            out.push(spreadPossiblesOf(aa));
+            degraded = true;
+          } else out.push(...els);
+        } else if (spread2 === "false") {
+          out.push(aa);
+        } else if (spread2 === "abstract") {
+          out.push(spreadPossiblesOf(aa));
+          degraded = true;
+        } else if (aa.shape.k === "tuple") {
           const argHoles = aa.shape.holes ?? [];
           const base = out.length;
           for (let i = 0; i < aa.shape.elements.length; i++) {
@@ -20248,10 +20378,26 @@ function invokeArrMethod(arr, method, args) {
         confJoin(arr.conf, "path")
       );
     }
-    const parts = [shape2.element, ...args.map((a) => {
+    const parts = [shape2.element];
+    for (const a of args) {
       const aa = asAbs(a) ?? unknown;
-      return aa.shape.k === "arr" || aa.shape.k === "tuple" ? aa.shape.k === "arr" ? aa.shape.element : aa.shape.elements.length ? aa.shape.elements.reduce((x, y) => joinAbs(x, y)) : unknown : aa;
-    })];
+      const spread2 = spreadableOf(aa);
+      if (spread2 === "true") {
+        const els = spreadElsOf(aa);
+        if (els === null) parts.push(spreadPossiblesOf(aa));
+        else parts.push(...els);
+      } else if (spread2 === "false") {
+        parts.push(aa);
+      } else if (spread2 === "abstract") {
+        parts.push(spreadPossiblesOf(aa));
+      } else if (aa.shape.k === "arr") {
+        parts.push(aa.shape.element);
+      } else if (aa.shape.k === "tuple") {
+        parts.push(
+          aa.shape.elements.length ? aa.shape.elements.reduce((x, y) => joinAbs(x, y)) : unknown
+        );
+      } else parts.push(aa);
+    }
     return abs(
       { k: "arr", element: parts.reduce((x, y) => joinAbs(x, y)) },
       void 0,
@@ -22167,6 +22313,16 @@ function assignSourceSlots(src) {
     }
     return void 0;
   }
+  {
+    const inner = classInstanceInnerOf(src);
+    if (inner) {
+      const slots = {};
+      for (const k of enumOwnKeys(inner, inner.shape.slots)) {
+        setSlot(slots, k, getSlot(inner.shape.slots, k));
+      }
+      return slots;
+    }
+  }
   if (s.k === "prim") return s.type === "string" ? void 0 : {};
   if (s.k === "eff" || s.k === "never") return {};
   return void 0;
@@ -22481,9 +22637,15 @@ function evalObjectMethod(name, args) {
   const enumKeys = (slots, target) => {
     const flags = getPropFlags(target);
     return Object.keys(slots).filter(
-      (k) => flags?.get(k)?.enumerable !== false
+      (k) => flags?.get(k)?.enumerable !== false && slots[k]?.internal !== true
     );
   };
+  const classInstanceEnumEntries = (a02) => {
+    const inner = a02 ? classInstanceInnerOf(a02) : void 0;
+    if (!inner) return void 0;
+    const slots = inner.shape.slots;
+    return enumOwnKeys(inner, slots).map((k) => [k, getSlot(slots, k).value]);
+  };
   switch (name) {
     case "create": {
       if (a0 === void 0 || a0.term?.op === "lit" && a0.term.value === void 0) {
@@ -22584,6 +22746,10 @@ function evalObjectMethod(name, args) {
         if (builtinBrandNoEnumKeys(a0)) {
           return abs({ k: "tuple", elements: [] }, void 0, void 0, "exact");
         }
+        const ciKeys = classInstanceEnumEntries(a0);
+        if (ciKeys) {
+          return abs({ k: "tuple", elements: ciKeys.map(([k]) => strLit(k)) }, void 0, void 0, "exact");
+        }
       }
       noteRecvMayNullish(a0, "Object.keys receiver ToObject");
       return abs({ k: "arr", element: str2("path") }, void 0, void 0, "partial");
@@ -22638,6 +22804,10 @@ function evalObjectMethod(name, args) {
         if (builtinBrandNoEnumKeys(a0)) {
           return abs({ k: "tuple", elements: [] }, void 0, void 0, "exact");
         }
+        const ciVals = classInstanceEnumEntries(a0);
+        if (ciVals) {
+          return abs({ k: "tuple", elements: ciVals.map(([, v2]) => v2) }, void 0, void 0, "exact");
+        }
       }
       noteRecvMayNullish(a0, "Object.values receiver ToObject");
       return abs({ k: "arr", element: unknown }, void 0, void 0, "partial");
@@ -22715,6 +22885,20 @@ function evalObjectMethod(name, args) {
         if (builtinBrandNoEnumKeys(a0)) {
           return abs({ k: "tuple", elements: [] }, void 0, void 0, "exact");
         }
+        const ciEntries = classInstanceEnumEntries(a0);
+        if (ciEntries) {
+          return abs(
+            {
+              k: "tuple",
+              elements: ciEntries.map(
+                ([k, v2]) => abs({ k: "tuple", elements: [strLit(k), v2] }, void 0, void 0, "exact")
+              )
+            },
+            void 0,
+            void 0,
+            "exact"
+          );
+        }
       }
       noteRecvMayNullish(a0, "Object.entries receiver ToObject");
       return abs({ k: "arr", element: unknown }, void 0, void 0, "partial");
@@ -22730,10 +22914,24 @@ function evalObjectMethod(name, args) {
       if (typeof key !== "string") return boolPrim();
       if (a0.shape.k === "obj") {
         const shape2 = a0.shape;
+        if (shape2.slots[key]?.internal === true) {
+          return boolLit(false);
+        }
         if (Object.prototype.hasOwnProperty.call(shape2.slots, key)) return boolLit(true);
         if (!shape2.open && a0.conf === "exact") return boolLit(false);
         return boolPrim();
       }
+      {
+        const inner = classInstanceInnerOf(a0);
+        if (inner) {
+          const slots = inner.shape.slots;
+          const slot = getSlot(slots, key);
+          if (slot?.internal) return boolLit(false);
+          if (slot && !slot.optional) return boolLit(true);
+          if (slot?.optional) return boolPrim();
+          return boolLit(false);
+        }
+      }
       return boolPrim();
     }
     case "getPrototypeOf": {
@@ -22966,6 +23164,7 @@ function evalObjectMethod(name, args) {
         if (os.open || os.index) {
           const slots = {};
           for (const key of Object.keys(os.slots)) {
+            if (os.slots[key]?.internal === true) continue;
             const value = os.slots[key].value;
             const flags = getPropFlags(a0)?.get(key);
             slots[key] = {
@@ -22979,9 +23178,7 @@ function evalObjectMethod(name, args) {
           }
           return abs({ k: "obj", slots, open: true }, void 0, void 0, "partial");
         }
-        const entries = Object.keys(os.slots).map(
-          (key) => [key, os.slots[key].value]
-        );
+        const entries = Object.keys(os.slots).filter((key) => os.slots[key]?.internal !== true).map((key) => [key, os.slots[key].value]);
         const flagsMap = getPropFlags(a0);
         return descSlotsOf(entries, (key) => {
           const f = flagsMap?.get(key);
@@ -23057,12 +23254,28 @@ function evalObjectMethod(name, args) {
         if (builtinBrandNoEnumKeys(a0)) {
           return abs({ k: "tuple", elements: [] }, void 0, void 0, "exact");
         }
+        {
+          const inner2 = classInstanceInnerOf(a0);
+          if (inner2) {
+            const os = inner2.shape;
+            const names = Object.keys(os.slots).filter((k) => os.slots[k].internal !== true);
+            return abs(
+              { k: "tuple", elements: names.map((n) => strLit(n)) },
+              void 0,
+              void 0,
+              "exact"
+            );
+          }
+        }
       }
       if (a0.shape.k === "obj") {
         const os = a0.shape;
         if (!os.open && !os.index) {
           return abs(
-            { k: "tuple", elements: Object.keys(os.slots).map((n) => strLit(n)) },
+            {
+              k: "tuple",
+              elements: Object.keys(os.slots).filter((n) => os.slots[n]?.internal !== true).map((n) => strLit(n))
+            },
             void 0,
             void 0,
             "exact"
@@ -23099,39 +23312,45 @@ function evalObjectMethod(name, args) {
       const key = typeof kv === "string" || typeof kv === "number" ? String(kv) : void 0;
       const mkDesc = mkPropDescAbs;
       const maybeDesc = maybePropDescAbs;
+      const accessorDescOf = (target, key2) => {
+        const acc = lookupObjAccessor(target, key2);
+        if (!acc) return void 0;
+        const flags = getPropFlags(target)?.get(key2);
+        const wrapGet = (thunk) => absFunction(["_this"], {
+          body: noBody,
+          apply: (_args, thisVal) => thunk(thisVal ?? target)
+        });
+        const wrapSet = (thunk) => absFunction(["_this", "value"], {
+          body: noBody,
+          apply: (args2, thisVal) => {
+            thunk(thisVal ?? target, args2[0] ?? undefAbs());
+            return undefAbs();
+          }
+        });
+        return abs(
+          {
+            k: "obj",
+            slots: {
+              get: { value: acc.get ? wrapGet(acc.get) : undefAbs() },
+              set: { value: acc.set ? wrapSet(acc.set) : undefAbs() },
+              enumerable: { value: boolLit(flags?.enumerable !== false) },
+              configurable: { value: boolLit(flags?.configurable !== false) }
+            }
+          },
+          void 0,
+          void 0,
+          "exact"
+        );
+      };
       if (a0.shape.k === "obj") {
         const os = a0.shape;
         if (os.open || os.index || key === void 0) return maybeDesc();
+        if (os.slots[key]?.internal === true) {
+          return undefAbs();
+        }
         if (Object.prototype.hasOwnProperty.call(os.slots, key)) {
-          const acc = lookupObjAccessor(a0, key);
-          if (acc) {
-            const flags2 = getPropFlags(a0)?.get(key);
-            const wrapGet = (thunk) => absFunction(["_this"], {
-              body: noBody,
-              apply: (_args, thisVal) => thunk(thisVal ?? a0)
-            });
-            const wrapSet = (thunk) => absFunction(["_this", "value"], {
-              body: noBody,
-              apply: (args2, thisVal) => {
-                thunk(thisVal ?? a0, args2[0] ?? undefAbs());
-                return undefAbs();
-              }
-            });
-            return abs(
-              {
-                k: "obj",
-                slots: {
-                  get: { value: acc.get ? wrapGet(acc.get) : undefAbs() },
-                  set: { value: acc.set ? wrapSet(acc.set) : undefAbs() },
-                  enumerable: { value: boolLit(flags2?.enumerable !== false) },
-                  configurable: { value: boolLit(flags2?.configurable !== false) }
-                }
-              },
-              void 0,
-              void 0,
-              "exact"
-            );
-          }
+          const accDesc = accessorDescOf(a0, key);
+          if (accDesc) return accDesc;
           const flags = getPropFlags(a0)?.get(key);
           return mkDesc(
             readProperty(a0, key),
@@ -23143,6 +23362,27 @@ function evalObjectMethod(name, args) {
         if (a0.conf === "exact") return undefAbs();
         return maybeDesc();
       }
+      {
+        const inner = classInstanceInnerOf(a0);
+        if (inner && key !== void 0) {
+          const slots = inner.shape.slots;
+          if (slots[key]?.internal === true) {
+            return undefAbs();
+          }
+          if (Object.prototype.hasOwnProperty.call(slots, key)) {
+            const accDesc = accessorDescOf(inner, key);
+            if (accDesc) return accDesc;
+            const flags = getPropFlags(a0)?.get(key);
+            return mkDesc(
+              slots[key].value,
+              flags?.writable !== false,
+              flags?.enumerable !== false,
+              flags?.configurable !== false
+            );
+          }
+          return undefAbs();
+        }
+      }
       if (a0.shape.k === "tuple" && key !== void 0) {
         const holes = a0.shape.holes ?? [];
         if (key === "length") {
@@ -23782,11 +24022,15 @@ function errorBrandAbs(name, args) {
     const cause = Object.prototype.hasOwnProperty.call(optionsArg.shape.slots, "cause") ? optionsArg.shape.slots["cause"].value : undefAbs();
     slots["cause"] = { value: cause };
   }
+  const errInner = objOf(slots);
+  for (const k of Object.keys(slots)) {
+    setPropFlags(errInner, k, { enumerable: false });
+  }
   return abs(
     {
       k: "brand",
       name,
-      shape: objOf(slots)
+      shape: errInner
     },
     void 0,
     void 0,
@@ -26276,6 +26520,9 @@ export {
   resetEvalForkBudget,
   bumpEvalForkBudget,
   evalMathMethod,
+  registerEvalClass,
+  getEvalClass,
+  clearBClasses,
   evalJsonMethod,
   evalNumberStatic,
   makeArrayCtorAbs,
@@ -26391,9 +26638,6 @@ export {
   isEvalMissingSlotEnabled,
   runWithEvalMissingSlot,
   noteObjSlotMissing,
-  registerEvalClass,
-  getEvalClass,
-  clearBClasses,
   $objAccessorKey,
   $in,
   $instanceof,

package/dist/exec.d.ts

@@ -1,5 +1,5 @@
-import { A as Abs, M as MayThrowEffect, b as Phi } from './run-dg1bW60I.js';
-export { W as $assignRecord, X as $call, Y as $callNamed, bI as $nodoPos, Z as $recordBinding, a5 as EvalAbsAssignRecord, a6 as EvalCallRecord, a7 as EvalFallback, g as EvalFallbackStats, a8 as EvalPosRecord, ab as MAX_EVAL_CALL_DEPTH, ac as MAX_EVAL_TOTAL_CALLS, ad as RUNTIME_IMPORT_RE, V as RunTranspiledOptions, af as TranspiledCallResult, at as bindingsOf, aw as callTranspiledExport, ax as callTranspiledExportApply, ay as callTranspiledExportFull, l as clearPureCallMemo, m as clearPureMemo, n as enterEvalCallBudgetSession, aD as evalExprAbs, p as exitEvalCallBudgetSession, v as getEvalCallBudgetState, aG as getEvalCallCollector, w as getEvalFallbackStats, bJ as getPosCollector, aO as isAbsVal, aQ as isCjsMainRun, b5 as noteEvalCallRecord, b6 as noteEvalFallback, bn as resetEvalCallBudget, H as resetEvalFallbackStats, bK as routeApplyThrows, bo as runTranspiled, bp as runTranspiledOptionsMemoKey, bq as setEvalAssignCollector, br as setEvalBindingSink, bs as setEvalCallCollector, bt as setEvalFallbackCollector, bv as setPosCollector, bF as tryRunTranspiled, O as withEvalBudgetOverride } from './run-dg1bW60I.js';
+import { A as Abs, M as MayThrowEffect, b as Phi } from './run-DaqGgSre.js';
+export { W as $assignRecord, X as $call, Y as $callNamed, bI as $nodoPos, Z as $recordBinding, a5 as EvalAbsAssignRecord, a6 as EvalCallRecord, a7 as EvalFallback, g as EvalFallbackStats, a8 as EvalPosRecord, ab as MAX_EVAL_CALL_DEPTH, ac as MAX_EVAL_TOTAL_CALLS, ad as RUNTIME_IMPORT_RE, V as RunTranspiledOptions, af as TranspiledCallResult, at as bindingsOf, aw as callTranspiledExport, ax as callTranspiledExportApply, ay as callTranspiledExportFull, l as clearPureCallMemo, m as clearPureMemo, n as enterEvalCallBudgetSession, aD as evalExprAbs, p as exitEvalCallBudgetSession, v as getEvalCallBudgetState, aG as getEvalCallCollector, w as getEvalFallbackStats, bJ as getPosCollector, aO as isAbsVal, aQ as isCjsMainRun, b5 as noteEvalCallRecord, b6 as noteEvalFallback, bn as resetEvalCallBudget, H as resetEvalFallbackStats, bK as routeApplyThrows, bo as runTranspiled, bp as runTranspiledOptionsMemoKey, bq as setEvalAssignCollector, br as setEvalBindingSink, bs as setEvalCallCollector, bt as setEvalFallbackCollector, bv as setPosCollector, bF as tryRunTranspiled, O as withEvalBudgetOverride } from './run-DaqGgSre.js';
 import { Node, Expression, File } from '@babel/types';
 
 /**
@@ -426,8 +426,12 @@ declare function $get(o: Abs, key: string, opts?: {
  * 回调返回值丢弃；forEach 表达式值恒 undefined。
  */
 declare function $collectionForEach(recv: Abs, cb: unknown): Abs | undefined;
-/** 成员写：返回新 obj/brand（不可变更新）；frozen/sealed/只读目标按 sloppy 静默失败 */
-declare function $set(o: Abs, key: string, value: Abs): Abs;
+/** 成员写：返回新 obj/brand（不可变更新）；frozen/sealed/只读目标按 sloppy 静默失败。
+ *  opts.internal（Bug 84）：私有字段落地——槽打 Slot.internal 标记；后续覆写
+ *  保留既有标记（this.#x = v 不丢失 internal）。 */
+declare function $set(o: Abs, key: string, value: Abs, opts?: {
+    internal?: boolean;
+}): Abs;
 
 /**
  * async / await / generator / ??（$nullishTest / $removeNullish）。
@@ -727,6 +731,12 @@ type EvalClassSpec = {
         name?: string;
         key?: (thisVal: Abs) => Abs;
         init: (thisVal: Abs) => Abs;
+        /**
+         * Bug 84：PrivateName 声明的私有字段（transpile 期标记）——落地槽打
+         * Slot.internal，对所有属性 introspection 不可见（内部槽语义）；
+         * 计算键公共字段（如 ["#x"]）不带此标记（同键空间共存）。
+         */
+        private?: boolean;
     }>;
     /**
      * Bug 60：计算键成员——synth 名 → 键 Abs（定义期求值，求值本身即

package/dist/exec.js

@@ -202,7 +202,7 @@ import {
   withAssumePremises,
   withEvalBudgetOverride,
   withExecPhi
-} from "./chunk-NEKTOZLJ.js";
+} from "./chunk-GL6VOF75.js";
 export {
   $absVal,
   $add,

package/dist/index.d.ts

@@ -1,8 +1,8 @@
-import { d as AstEnv, A as Abs, b as Phi, T as Term, Q as HofCollectCtx, C as Confidence, S as Shape, a as Pred, R as RelSource, U as HofSite, c as AbsModuleExports, V as RunTranspiledOptions } from './run-dg1bW60I.js';
-export { W as $assignRecord, X as $call, Y as $callNamed, Z as $recordBinding, _ as AbsApplyNoThrow, a0 as AbsApplyNoThrowFn, a1 as AbsApplyResult, a2 as AbsApplyReturn, a3 as AbsFnImpl, a4 as AbsSigImpl, a5 as EvalAbsAssignRecord, a6 as EvalCallRecord, a7 as EvalFallback, a8 as EvalPosRecord, a9 as ImplicationOracle, aa as LitValueResult, L as LiteralValue, ab as MAX_EVAL_CALL_DEPTH, ac as MAX_EVAL_TOTAL_CALLS, P as PrimName, ad as RUNTIME_IMPORT_RE, ae as TYPEOF_NAMES, af as TranspiledCallResult, ag as TypeofName, ah as abs, ai as absFunction, aj as absOnly, ak as absToString, al as and, am as anyAbs, an as anyVar, ao as app, ap as assumeFinite, aq as attachFnImpl, ar as bigintLit, as as bindImports, at as bindingsOf, au as bool, av as boolLit, aw as callTranspiledExport, ax as callTranspiledExportApply, ay as callTranspiledExportFull, az as collectAbsExports, aA as confJoin, aB as emptyPhi, aC as eq, aD as evalExprAbs, aE as ge, aF as geNum, aG as getEvalCallCollector, aH as getFnImpl, aI as getImplicationOracle, aJ as gt, aK as gtNum, aL as hostFnCtorFacet, aM as implies, aN as isAbsApplyResult, aO as isAbsVal, aP as isBigPrim, aQ as isCjsMainRun, aR as isExactLit, aS as isNumPrim, aT as isStrPrim, aU as le, aV as leNum, aW as lit, aX as litValue, aY as lt, aZ as ltNum, a_ as makeAbsApplyResult, a$ as markPureFn, b0 as namespaceAbsOf, b1 as ne, b2 as negatePred, b3 as never, b4 as not, b5 as noteEvalCallRecord, b6 as noteEvalFallback, b7 as num, b8 as numLit, b9 as numVar, ba as obj, bb as or, bc as pFalse, bd as pTrue, be as phiAnd, bf as predEquals, bg as predToString, bh as predVars, bi as primToTypeof, bj as ptypeof, bk as pureFnNameOf, bl as relationFingerprint, bm as relationFn, bn as resetEvalCallBudget, bo as runTranspiled, bp as runTranspiledOptionsMemoKey, bq as setEvalAssignCollector, br as setEvalBindingSink, bs as setEvalCallCollector, bt as setEvalFallbackCollector, bu as setImplicationOracle, bv as setPosCollector, bw as shapeOfTerm, bx as shapeOnlyFn, by as shapeToString, bz as simplifyTerm, bA as str, bB as strLit, bC as substPred, bD as termEquals, bE as termToString, bF as tryRunTranspiled, bG as unknown, bH as v } from './run-dg1bW60I.js';
+import { d as AstEnv, A as Abs, b as Phi, T as Term, Q as HofCollectCtx, C as Confidence, S as Shape, a as Pred, R as RelSource, U as HofSite, c as AbsModuleExports, V as RunTranspiledOptions } from './run-DaqGgSre.js';
+export { W as $assignRecord, X as $call, Y as $callNamed, Z as $recordBinding, _ as AbsApplyNoThrow, a0 as AbsApplyNoThrowFn, a1 as AbsApplyResult, a2 as AbsApplyReturn, a3 as AbsFnImpl, a4 as AbsSigImpl, a5 as EvalAbsAssignRecord, a6 as EvalCallRecord, a7 as EvalFallback, a8 as EvalPosRecord, a9 as ImplicationOracle, aa as LitValueResult, L as LiteralValue, ab as MAX_EVAL_CALL_DEPTH, ac as MAX_EVAL_TOTAL_CALLS, P as PrimName, ad as RUNTIME_IMPORT_RE, ae as TYPEOF_NAMES, af as TranspiledCallResult, ag as TypeofName, ah as abs, ai as absFunction, aj as absOnly, ak as absToString, al as and, am as anyAbs, an as anyVar, ao as app, ap as assumeFinite, aq as attachFnImpl, ar as bigintLit, as as bindImports, at as bindingsOf, au as bool, av as boolLit, aw as callTranspiledExport, ax as callTranspiledExportApply, ay as callTranspiledExportFull, az as collectAbsExports, aA as confJoin, aB as emptyPhi, aC as eq, aD as evalExprAbs, aE as ge, aF as geNum, aG as getEvalCallCollector, aH as getFnImpl, aI as getImplicationOracle, aJ as gt, aK as gtNum, aL as hostFnCtorFacet, aM as implies, aN as isAbsApplyResult, aO as isAbsVal, aP as isBigPrim, aQ as isCjsMainRun, aR as isExactLit, aS as isNumPrim, aT as isStrPrim, aU as le, aV as leNum, aW as lit, aX as litValue, aY as lt, aZ as ltNum, a_ as makeAbsApplyResult, a$ as markPureFn, b0 as namespaceAbsOf, b1 as ne, b2 as negatePred, b3 as never, b4 as not, b5 as noteEvalCallRecord, b6 as noteEvalFallback, b7 as num, b8 as numLit, b9 as numVar, ba as obj, bb as or, bc as pFalse, bd as pTrue, be as phiAnd, bf as predEquals, bg as predToString, bh as predVars, bi as primToTypeof, bj as ptypeof, bk as pureFnNameOf, bl as relationFingerprint, bm as relationFn, bn as resetEvalCallBudget, bo as runTranspiled, bp as runTranspiledOptionsMemoKey, bq as setEvalAssignCollector, br as setEvalBindingSink, bs as setEvalCallCollector, bt as setEvalFallbackCollector, bu as setImplicationOracle, bv as setPosCollector, bw as shapeOfTerm, bx as shapeOnlyFn, by as shapeToString, bz as simplifyTerm, bA as str, bB as strLit, bC as substPred, bD as termEquals, bE as termToString, bF as tryRunTranspiled, bG as unknown, bH as v } from './run-DaqGgSre.js';
 import { Node, File } from '@babel/types';
-import { p as parseSource, L as LeakBudget, E as EffectiveInterfaceOpts, b as LoadDepsFingerprint, v as CheckReport, N as NudoConstraint, c as ProjectionBudget } from './projection-budget-PN_0_9D3.js';
-export { w as CONSTRAINT_BUILDERS, x as CONSTRAINT_BUILDER_NAMES, y as CONSTRAINT_EXPR_RE, z as CheckAction, C as CheckIssue, A as CheckJson, B as CheckJsonMulti, D as ConstraintBuilder, F as Diagnostic, G as EffectiveInterface, H as GitlabCodeQualityIssue, J as INTERFACE_SOURCE_ABBR, K as InterfaceDiag, I as InterfaceSource, O as InterfaceTierInfo, a as InterfaceTierOpts, Q as NamedImport, R as NudoField, S as NudoFnConstraint, T as NudoSidecarError, U as NudoSig, V as RefineDiag, W as RefineEntry, X as RefineResolveOpts, Y as SELF, Z as actionsForIssue, _ as andC, $ as any, a0 as array, a1 as boolean, a2 as checkArg, a3 as checkCall, a4 as constraintAdmitsNullish, a5 as constraintToEntryAbs, a6 as derefConstraint, a7 as drainPromiseMicros, a8 as effectiveInterface, a9 as enterPromiseExecutorScope, aa as evalPromiseCtor, ab as evalPromiseMethod, ac as evalPromiseStatic, ad as execNudoModule, ae as extractDeclaredThrows, af as extractFnBudget, ag as extractNudoImports, ah as extractRefineReturnFromSource, ai as extractRefinesFromSource, aj as fn, ak as fnConstraintToEntryReqs, al as formatCheckReport, am as formatConstraint, an as formatDiagnostics, ao as formatEffectiveInterfaceDisplay, ap as formatGithubAnnotations, aq as formatGitlabCodeQuality, ar as formatInterfaceTierLine, as as generatedExportNames, at as getParseSourceCacheSize, au as getTerm, av as instantiateConstraint, aw as interfaceDiagCount, ax as interfaceSourceOf, ay as interfaceTierOf, az as isIntFlag, aA as isNodeModulesPath, aB as isNudoConstraint, aC as lazy, aD as leavePromiseExecutorScope, aE as lenTerm, aF as litC, aG as localNamedExports, aH as notePromiseExecutorFork, aI as nullable, aJ as number, aK as omit, aL as partial, aM as pick, aN as queuePromiseMicro, aO as refineDiagCount, aP as refineToIndexedFull, aQ as resetNudoModuleExecCache, aR as resetParseSourceCache, aS as resetSidecarLoadFailureCache, aT as serializeCheckJson, aU as serializeCheckJsonMulti, aV as setInterfaceDiagCollector, aW as setRefineDiagCollector, aX as shape, aY as sidecarClosureFingerprint, aZ as sidecarPathOf, a_ as string, a$ as takeInterfaceDiags, b0 as takeInterfaceDiagsSince, b1 as takeRefineDiags, b2 as takeRefineDiagsSince, b3 as throwConstraintToKinds, b4 as union } from './projection-budget-PN_0_9D3.js';
+import { p as parseSource, L as LeakBudget, E as EffectiveInterfaceOpts, b as LoadDepsFingerprint, v as CheckReport, N as NudoConstraint, c as ProjectionBudget } from './projection-budget-CeoxA06q.js';
+export { w as CONSTRAINT_BUILDERS, x as CONSTRAINT_BUILDER_NAMES, y as CONSTRAINT_EXPR_RE, z as CheckAction, C as CheckIssue, A as CheckJson, B as CheckJsonMulti, D as ConstraintBuilder, F as Diagnostic, G as EffectiveInterface, H as GitlabCodeQualityIssue, J as INTERFACE_SOURCE_ABBR, K as InterfaceDiag, I as InterfaceSource, O as InterfaceTierInfo, a as InterfaceTierOpts, Q as NamedImport, R as NudoField, S as NudoFnConstraint, T as NudoSidecarError, U as NudoSig, V as RefineDiag, W as RefineEntry, X as RefineResolveOpts, Y as SELF, Z as actionsForIssue, _ as andC, $ as any, a0 as array, a1 as boolean, a2 as checkArg, a3 as checkCall, a4 as constraintAdmitsNullish, a5 as constraintToEntryAbs, a6 as derefConstraint, a7 as drainPromiseMicros, a8 as effectiveInterface, a9 as enterPromiseExecutorScope, aa as evalPromiseCtor, ab as evalPromiseMethod, ac as evalPromiseStatic, ad as execNudoModule, ae as extractDeclaredThrows, af as extractFnBudget, ag as extractNudoImports, ah as extractRefineReturnFromSource, ai as extractRefinesFromSource, aj as fn, ak as fnConstraintToEntryReqs, al as formatCheckReport, am as formatConstraint, an as formatDiagnostics, ao as formatEffectiveInterfaceDisplay, ap as formatGithubAnnotations, aq as formatGitlabCodeQuality, ar as formatInterfaceTierLine, as as generatedExportNames, at as getParseSourceCacheSize, au as getTerm, av as instantiateConstraint, aw as interfaceDiagCount, ax as interfaceSourceOf, ay as interfaceTierOf, az as isIntFlag, aA as isNodeModulesPath, aB as isNudoConstraint, aC as lazy, aD as leavePromiseExecutorScope, aE as lenTerm, aF as litC, aG as localNamedExports, aH as notePromiseExecutorFork, aI as nullable, aJ as number, aK as omit, aL as partial, aM as pick, aN as queuePromiseMicro, aO as refineDiagCount, aP as refineToIndexedFull, aQ as resetNudoModuleExecCache, aR as resetParseSourceCache, aS as resetSidecarLoadFailureCache, aT as serializeCheckJson, aU as serializeCheckJsonMulti, aV as setInterfaceDiagCollector, aW as setRefineDiagCollector, aX as shape, aY as sidecarClosureFingerprint, aZ as sidecarPathOf, a_ as string, a$ as takeInterfaceDiags, b0 as takeInterfaceDiagsSince, b1 as takeRefineDiags, b2 as takeRefineDiagsSince, b3 as throwConstraintToKinds, b4 as union } from './projection-budget-CeoxA06q.js';
 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, $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, EvalClassSpec, NudoLoopSignal, NudoReturn, NudoThrow, NudoUnsupportedError, 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 } from './exec.js';
 
 /**
@@ -567,10 +567,18 @@ declare function getAbsProperty(recv: Abs, name: string): Abs | undefined;
  * 纪律：积之和默认；optional 塌缩是显式损失；函数并保输入→输出相关性。
  */
 
+/**
+ * Bug 84：internal 标记私有槽（私有字段 "#x" 混淆键落实例内层 obj）。
+ * 原生私有字段是内部槽，对所有属性 introspection（for-in / hasOwnProperty
+ * / keys / gOPN / spread / assign / stringify）不可见；$get/$set 直连键
+ * 访问与 $in 槽存在性查询不受影响（Bug 78 语义）。必须用槽标志而非
+ * 名字前缀过滤——合法公共字符串键 {"#x":1} 与私有槽同键空间共存。
+ */
 type Slot = {
     value: Abs;
     optional?: boolean;
     readonly?: boolean;
+    internal?: boolean;
 };
 /** ES 规范数组下标（无前导零、< 2^32-1）；非规范键返回 undefined */
 declare function canonicalArrayIndex(v: unknown): number | undefined;

package/dist/index.js

@@ -65,7 +65,7 @@ import {
   takeInterfaceDiagsSince,
   takeRefineDiags,
   takeRefineDiagsSince
-} from "./chunk-SWG6PLYE.js";
+} from "./chunk-2PFT7GU2.js";
 import {
   $add,
   $arguments,
@@ -525,7 +525,7 @@ import {
   withAssumePremises,
   withExecPhi,
   withVar
-} from "./chunk-NEKTOZLJ.js";
+} from "./chunk-GL6VOF75.js";
 
 // src/environment.ts
 function createEnvironment(parent, bindings = /* @__PURE__ */ new Map()) {

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-PN_0_9D3.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 defaultLeakBudget, f as exceedsBudget, g as exportedNameOfLocal, h as extractAllLoadSpecs, i as getPromiseMicrosLength, l as leakIfNeeded, j as loadModuleDepsFingerprint, m as maybeLeak, n as normPath, r as resetLeakCounter, k as resolveDepPath, s as sidecarSpecsOf, o as stablePathKey, q as stablePathKeyGraph, t as termDepth, u as termNodes } from './projection-budget-PN_0_9D3.js';
-import { A as Abs, T as Term, c as AbsModuleExports, d as AstEnv } from './run-dg1bW60I.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-dg1bW60I.js';
+import { I as InterfaceSource, a as InterfaceTierOpts, p as parseSource, C as CheckIssue } from './projection-budget-CeoxA06q.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 defaultLeakBudget, f as exceedsBudget, g as exportedNameOfLocal, h as extractAllLoadSpecs, i as getPromiseMicrosLength, l as leakIfNeeded, j as loadModuleDepsFingerprint, m as maybeLeak, n as normPath, r as resetLeakCounter, k as resolveDepPath, s as sidecarSpecsOf, o as stablePathKey, q as stablePathKeyGraph, t as termDepth, u as termNodes } from './projection-budget-CeoxA06q.js';
+import { A as Abs, T as Term, c as AbsModuleExports, d as AstEnv } from './run-DaqGgSre.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-DaqGgSre.js';
 import { File, Node } from '@babel/types';
 
 /**

package/dist/internal.js

@@ -21,7 +21,7 @@ import {
   stableAnalyzeKeySource,
   stablePathKey,
   stablePathKeyGraph
-} from "./chunk-SWG6PLYE.js";
+} from "./chunk-2PFT7GU2.js";
 import {
   $tryDigestSoft,
   $tryMarkSoft,
@@ -169,7 +169,7 @@ import {
   withEvalBudgetOverride,
   withFnBudgetOverride,
   wrapPromise
-} from "./chunk-NEKTOZLJ.js";
+} from "./chunk-GL6VOF75.js";
 
 // src/algebra/inlay.ts
 function listFunctions(source) {

package/dist/{projection-budget-PN_0_9D3.d.ts → projection-budget-CeoxA06q.d.ts}

@@ -1,5 +1,5 @@
 import { File } from '@babel/types';
-import { A as Abs, T as Term, P as PrimName, a as Pred, L as LiteralValue, b as Phi, C as Confidence } from './run-dg1bW60I.js';
+import { A as Abs, T as Term, P as PrimName, a as Pred, L as LiteralValue, b as Phi, C as Confidence } from './run-DaqGgSre.js';
 
 declare function resetParseSourceCache(): void;
 declare function getParseSourceCacheSize(): number;

package/dist/{run-dg1bW60I.d.ts → run-DaqGgSre.d.ts}

@@ -155,10 +155,12 @@ type Shape = {
     type: PrimName;
 } | {
     k: "obj";
+    /** 槽形与 objects.ts Slot 同构（含 Bug 84 internal 私有槽标记） */
     slots: Record<string, {
         value: Abs;
         optional?: boolean;
         readonly?: boolean;
+        internal?: boolean;
     }>;
     index?: {
         key: Abs;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@nudojs/core",
-  "version": "1.11.2",
+  "version": "1.11.3",
   "engines": {
     "node": ">=20"
   },