@nudojs/core 1.11.1 → 1.11.3

package/dist/{chunk-YRRR6AWI.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;
@@ -4792,17 +4794,35 @@ var _activeCallKeys = [];
 var _fnCallIds = /* @__PURE__ */ new WeakMap();
 var _fnCallIdSeq = 0;
 var _callTruncated = false;
+var _cycleTruncated = false;
+var _loopTruncated = false;
+var _truncReasons = /* @__PURE__ */ new Set();
+function noteLoopTruncation(label) {
+  _loopTruncated = true;
+  noteAbsTruncation(label);
+}
 var _callDepthLimit = MAX_CALL_DEPTH;
 var _totalCallsLimit = MAX_TOTAL_CALLS;
+var _evalCallProbe = null;
+function registerEvalCallBudgetProbe(probe) {
+  _evalCallProbe = probe;
+}
 function getAbsCallBudgetStats() {
+  const b = _evalCallProbe?.stats();
   return {
     calls: _absTotalCalls,
     maxCalls: _totalCallsLimit,
-    forks: _evalForkCount,
+    forks: _evalForkObsCount,
     maxForks: _evalForkBudgetLimit,
     callTruncated: _callTruncated,
     forkTruncated: _evalForkTruncNoted,
-    truncated: _callTruncated || _evalForkTruncNoted
+    truncated: _callTruncated || (b?.callTruncated ?? false) || _evalForkTruncNoted || _loopTruncated,
+    evalCalls: b?.calls ?? 0,
+    maxEvalCalls: b?.maxCalls ?? MAX_TOTAL_CALLS,
+    evalCallTruncated: b?.callTruncated ?? false,
+    cycleTruncated: _cycleTruncated || (b?.cycleTruncated ?? false),
+    loopTruncated: _loopTruncated,
+    reasons: [..._truncReasons].sort()
   };
 }
 function resetAbsCallBudget() {
@@ -4810,8 +4830,12 @@ function resetAbsCallBudget() {
   _absTotalCalls = 0;
   _activeCallKeys = [];
   _callTruncated = false;
+  _cycleTruncated = false;
+  _loopTruncated = false;
+  _truncReasons = /* @__PURE__ */ new Set();
   _callDepthLimit = MAX_CALL_DEPTH;
   _totalCallsLimit = MAX_TOTAL_CALLS;
+  _evalCallProbe?.resetObservability();
   resetEvalForkBudget();
 }
 function withFnBudgetOverride(budget, run) {
@@ -4862,18 +4886,21 @@ function setAbsTruncationCollector(collector) {
   absTruncCollectorSlot.set(collector);
   return prev;
 }
-function noteAbsTruncation(label) {
+function noteAbsTruncation(label, reason) {
+  if (reason) _truncReasons.add(reason);
   const absTruncCollector = absTruncCollectorSlot.get();
   if (!absTruncCollector) return;
   try {
-    absTruncCollector(label);
+    absTruncCollector(label, reason);
   } catch {
   }
 }
 function enterCall(key, label) {
-  if (_activeCallKeys.includes(key) || _absCallDepth >= _callDepthLimit || _absTotalCalls >= _totalCallsLimit) {
+  const reason = _activeCallKeys.includes(key) ? "cycle" : _absCallDepth >= _callDepthLimit ? "depth" : _absTotalCalls >= _totalCallsLimit ? "calls" : void 0;
+  if (reason) {
     _callTruncated = true;
-    noteAbsTruncation(label);
+    if (reason === "cycle") _cycleTruncated = true;
+    noteAbsTruncation(label, reason);
     return false;
   }
   _activeCallKeys.push(key);
@@ -4888,6 +4915,7 @@ function exitCall() {
 var MAX_EVAL_TOTAL_FORKS = 5e3;
 var _evalForkBudgetLimit = MAX_EVAL_TOTAL_FORKS;
 var _evalForkCount = 0;
+var _evalForkObsCount = 0;
 var _evalForkTruncNoted = false;
 var FORK_TRUNCATION_LABEL = "#fork-budget";
 var HOST_EFFECT_LABEL_PREFIX = "#host-effect:";
@@ -4914,11 +4942,16 @@ function getEvalForkBudgetLimit() {
 function getEvalForkCount() {
   return _evalForkCount;
 }
-function resetEvalForkBudget() {
+function resetEvalForkCount() {
   _evalForkCount = 0;
+}
+function resetEvalForkBudget() {
+  resetEvalForkCount();
   _evalForkTruncNoted = false;
+  _evalForkObsCount = 0;
 }
 function bumpEvalForkBudget() {
+  _evalForkObsCount++;
   if (++_evalForkCount <= _evalForkBudgetLimit) return true;
   if (!_evalForkTruncNoted) {
     _evalForkTruncNoted = true;
@@ -4980,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");
@@ -5052,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;
     }
@@ -5095,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;
@@ -5155,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) {
@@ -6921,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);
@@ -6930,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);
@@ -8530,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 = {};
@@ -10576,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") {
@@ -10630,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(
@@ -11291,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(
@@ -11618,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") {
@@ -11747,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);
@@ -12613,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);
@@ -14774,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,
@@ -15197,7 +15295,7 @@ function $forOf(iterable, body, maxIters = DEFAULT_MAX_LOOP_ITERS, opts) {
   }
   if (unbounded && n === 0) snapExit();
   if (concreteOverrun) {
-    noteAbsTruncation(LOOP_TRUNCATION_LABEL);
+    noteLoopTruncation(LOOP_TRUNCATION_LABEL);
     if (pack && unpack) unpack(confPartialPacked(pack()));
     return;
   }
@@ -15576,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;
@@ -15601,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,
@@ -15701,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;
@@ -15992,7 +16098,7 @@ function $for(init, test, step, body, maxIters = DEFAULT_MAX_LOOP_ITERS, opts) {
   snapCounter();
   snapExt();
   if (concreteExhausted) {
-    noteAbsTruncation(LOOP_TRUNCATION_LABEL);
+    noteLoopTruncation(LOOP_TRUNCATION_LABEL);
     if (extJoin && pack && unpack) unpack(confPartialPacked(widenLoopJoin(joinAbs(extJoin, pack()))));
     return confPartial(exitJoin ?? state);
   }
@@ -16081,7 +16187,7 @@ function $while(init, test, step, maxIters = DEFAULT_MAX_LOOP_ITERS) {
     }
   }
   if (concreteExhausted) {
-    noteAbsTruncation(LOOP_TRUNCATION_LABEL);
+    noteLoopTruncation(LOOP_TRUNCATION_LABEL);
     return confPartial(exitJoin ? joinAbs(exitJoin, state) : state);
   }
   return exitJoin ? widen.widenFinal(joinAbs(exitJoin, state)) : state;
@@ -16144,7 +16250,7 @@ function $whileSeq(test, body, maxIters = DEFAULT_MAX_LOOP_ITERS, opts) {
   }
   snapExit();
   if (concreteExhausted) {
-    noteAbsTruncation(LOOP_TRUNCATION_LABEL);
+    noteLoopTruncation(LOOP_TRUNCATION_LABEL);
     if (exitJoin && pack && unpack) unpack(confPartialPacked(joinAbs(exitJoin, pack())));
     return;
   }
@@ -17761,6 +17867,22 @@ var evalCallDepthLimit = MAX_EVAL_CALL_DEPTH;
 var evalTotalCallsLimit = MAX_EVAL_TOTAL_CALLS;
 var evalFnCallIds = /* @__PURE__ */ new WeakMap();
 var evalFnCallIdSeq = 0;
+var evalObsCalls = 0;
+var evalObsCallTruncated = false;
+var evalObsCycleTruncated = false;
+registerEvalCallBudgetProbe({
+  stats: () => ({
+    calls: evalObsCalls,
+    maxCalls: evalTotalCallsLimit,
+    callTruncated: evalObsCallTruncated,
+    cycleTruncated: evalObsCycleTruncated
+  }),
+  resetObservability: () => {
+    evalObsCalls = 0;
+    evalObsCallTruncated = false;
+    evalObsCycleTruncated = false;
+  }
+});
 function evalStableId(obj2) {
   let id = evalFnCallIds.get(obj2);
   if (id === void 0) {
@@ -17776,6 +17898,9 @@ function resetEvalCallBudget() {
   evalBudgetSessionDepth = 0;
   evalCallDepthLimit = MAX_EVAL_CALL_DEPTH;
   evalTotalCallsLimit = MAX_EVAL_TOTAL_CALLS;
+  evalObsCalls = 0;
+  evalObsCallTruncated = false;
+  evalObsCycleTruncated = false;
   resetEvalForkBudget();
   clearPureMemo();
   clearPureCallMemo();
@@ -17801,7 +17926,7 @@ function enterEvalCallBudgetSession() {
     evalCallDepth = 0;
     evalTotalCalls = 0;
     evalActiveCallKeys = [];
-    resetEvalForkBudget();
+    resetEvalForkCount();
   }
   evalBudgetSessionDepth++;
 }
@@ -17825,13 +17950,17 @@ function evalCallBudgetKey(name, fn2, args) {
 }
 function evalEnterCall(name, fn2, args) {
   const key = evalCallBudgetKey(name, fn2, args);
-  if (evalActiveCallKeys.includes(key) || evalCallDepth >= evalCallDepthLimit || evalTotalCalls >= evalTotalCallsLimit) {
-    noteAbsTruncation(name);
+  const reason = evalActiveCallKeys.includes(key) ? "cycle" : evalCallDepth >= evalCallDepthLimit ? "depth" : evalTotalCalls >= evalTotalCallsLimit ? "calls" : void 0;
+  if (reason) {
+    evalObsCallTruncated = true;
+    if (reason === "cycle") evalObsCycleTruncated = true;
+    noteAbsTruncation(name, reason);
     return { ok: false };
   }
   evalActiveCallKeys.push(key);
   evalCallDepth++;
   evalTotalCalls++;
+  evalObsCalls++;
   return { ok: true, key };
 }
 function evalExitCall() {
@@ -18844,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;
 }
@@ -20160,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++) {
@@ -20194,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,
@@ -22113,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;
@@ -22427,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) {
@@ -22530,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");
@@ -22584,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");
@@ -22661,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");
@@ -22676,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": {
@@ -22912,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] = {
@@ -22925,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);
@@ -23003,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"
@@ -23045,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),
@@ -23089,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") {
@@ -23728,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,
@@ -26222,6 +26520,9 @@ export {
   resetEvalForkBudget,
   bumpEvalForkBudget,
   evalMathMethod,
+  registerEvalClass,
+  getEvalClass,
+  clearBClasses,
   evalJsonMethod,
   evalNumberStatic,
   makeArrayCtorAbs,
@@ -26337,9 +26638,6 @@ export {
   isEvalMissingSlotEnabled,
   runWithEvalMissingSlot,
   noteObjSlotMissing,
-  registerEvalClass,
-  getEvalClass,
-  clearBClasses,
   $objAccessorKey,
   $in,
   $instanceof,
@@ -26348,6 +26646,7 @@ export {
   $delRes,
   $del,
   DEFAULT_MAX_LOOP_ITERS,
+  LOOP_TRUNCATION_LABEL,
   defineClass,
   getClass,
   getClassChain,