@nudojs/core 1.15.2 → 1.16.0

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-07VnMktV.js';
-export { L as LeakBudget, b as LoadDepsFingerprint, M as MAX_PROMISE_MICROS, P as PROJECTION_MAX_DEPTH, c as ProjectionBudget, d as ProjectionStopReason, e as budgetAttributionSegs, f as defaultLeakBudget, g as exceedsBudget, h as exportedNameOfLocal, i as extractAllLoadSpecs, j as getPromiseMicrosLength, l as leakIfNeeded, k as loadModuleDepsFingerprint, m as maybeLeak, n as normPath, r as resetLeakCounter, o as resolveDepPath, s as sidecarSpecsOf, q as stablePathKey, t as stablePathKeyGraph, u as termDepth, v as termNodes } from './projection-budget-07VnMktV.js';
-import { A as Abs, T as Term, c as AbsModuleExports, d as AstEnv } from './run-DfloWX6i.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-DfloWX6i.js';
+import { I as InterfaceSource, a as InterfaceTierOpts, p as parseSource, C as CheckIssue } from './projection-budget-DW-svmIf.js';
+export { L as LeakBudget, b as LoadDepsFingerprint, M as MAX_PROMISE_MICROS, P as PROJECTION_MAX_DEPTH, c as ProjectionBudget, d as ProjectionStopReason, e as budgetAttributionSegs, f as defaultLeakBudget, g as exceedsBudget, h as exportedNameOfLocal, i as extractAllLoadSpecs, j as getPromiseMicrosLength, l as leakIfNeeded, k as loadModuleDepsFingerprint, m as maybeLeak, n as normPath, r as resetLeakCounter, o as resolveDepPath, s as sidecarSpecsOf, q as stablePathKey, t as stablePathKeyGraph, u as termDepth, v as termNodes } from './projection-budget-DW-svmIf.js';
+import { A as Abs, T as Term, c as AbsModuleExports, R as RunTranspiledOptions, d as AstEnv } from './run-T9HWTziZ.js';
+export { $ as $tryDigestSoft, e as $tryMarkSoft, f as $tryReleaseSoft, E as ERROR_FAMILY, g as EvalFallbackStats, M as MayThrowEffect, h as absLit, i as absNumLit, j as absStrLit, k as allAbsStr, l as clearPureCallMemo, m as clearPureMemo, n as enterEvalCallBudgetSession, o as errorTypeAbs, p as exitEvalCallBudgetSession, q as filterDeclaredThrows, r as filterGateThrows, s as filterIgnoredThrows, t as flushMayThrowEffects, u as formatThrowsAbs, v as getEvalCallBudgetState, w as getEvalFallbackStats, x as getMayThrowCollector, y as isThrowsIgnored, z as mayThrowEffectsToAbs, B as orphanMayThrowEffects, D as popMayThrowFrame, F as pushMayThrowFrame, G as recordMayThrow, H as resetEvalFallbackStats, I as runWithMayThrowSession, J as setMayThrowCollector, K as throwAbsToKinds, N as throwsKindCovered, O as withEvalBudgetOverride } from './run-T9HWTziZ.js';
 import { File, Node } from '@babel/types';
 
 /**
@@ -41,6 +41,14 @@ declare const DIAG: {
     readonly dualEntry: "nudo:dual-entry";
     readonly entryMayThrow: "nudo:entry-may-throw";
     readonly mayThrow: "nudo:may-throw";
+    /**
+     * 模块**装载期必然抛**（顶层无条件 `throw`）⇒ 模块根本无法被导入 ⇒ 导出
+     * 全丢、L2 无证据。fail-closed：禁用句法证据（`throw` 语句）判「必抛」，
+     * **不**采信引擎的抽象域结论（宿主 API 的近似也会让引擎抛，那是引擎债，
+     * 程序本身能正常加载）。详见 `check-may-throw.ts` 的
+     * `definiteModuleThrowOf`。
+     */
+    readonly moduleThrow: "nudo:module-throw";
     readonly noSignature: "nudo:no-signature";
     readonly builtinUnknown: "nudo:builtin-unknown";
     readonly forkTruncated: "nudo:fork-truncated";
@@ -74,7 +82,27 @@ declare const DIAG: {
     readonly moduleCycle: "nudo:module-cycle";
     readonly moduleDepth: "nudo:module-depth";
     readonly moduleMissing: "nudo:module-missing";
+    /**
+     * 模块**存在但不可读**（EACCES / EIO / EMFILE…）——与 moduleMissing
+     * （无此文件）严格区分（Bug 499）：文件就在那儿，只是读不了；折叠成
+     * 「不存在」会让诊断与事实相反。service 面（analyzer-orchestrate-uncached）
+     * 已用同一码。
+     */
+    readonly moduleUnreadable: "nudo:module-unreadable";
+    /**
+     * `.json` 依赖**存在但 JSON 语法非法**（Bug 457）——与 moduleMissing
+     * （无此文件）、moduleUnreadable（读不了）都不同：文件在、也读得到，
+     * 只是内容不是合法 JSON ⇒ 取不到任何值。
+     */
+    readonly jsonInvalid: "nudo:json-invalid";
     readonly internal: "nudo:internal";
+    /**
+     * `nudo migrate strip` 的**逐文件**失败（语法错 / TS-only 残留）——
+     * 机器面 `pathErrors[].code`。此前 CLI 层直写字面量（绕过注册表），
+     * 术语表反向对账（docs-coverage rule 19）只能靠 src 字面量扫描兜住；
+     * 进注册表后本码的「可发射」由 DIAG 单点保证。
+     */
+    readonly migrateStripFailed: "nudo:migrate-strip-failed";
     readonly pathEmptyDir: "nudo:path-empty-dir";
     readonly pathIo: "nudo:path-io";
     readonly pathMissingCallsite: "nudo:path-missing-callsite";
@@ -202,7 +230,20 @@ declare function stableCallId(obj: object): string;
  */
 declare function truncatedAbs(): Abs;
 /** 调用指纹：命名函数用 name+arg shapes；一等函数用对象身份。
- *  实参可能是裸 JS 值（B run 里模块函数作实参）——不得裸读 shape。 */
+ *  实参可能是裸 JS 值（B run 里模块函数作实参）——不得裸读 shape。
+ *
+ * ⚠ **两种口径**（勿混用，勿互相替代）：
+ * - 本函数 = **调用身份**键（shape 种类 + term 的**变量身份**）⇒ 服务
+ *   **调用预算 / 环检测**：同一递归点必须撞出同键（term 相同 ⇒ 同键）。
+ * - pureValueKey = **值**键（形状内容 + 字面量值）⇒ 服务 **@nudo:pure
+ *   记忆化**：按**值**承诺 ⇒ 同值必须同键（变量身份不同但值相同 ⇒ 同键）。
+ *
+ * @nudo:pure 记忆化通道（kind = "pure" 且 id 为空 —— 两个 pure memo 站点
+ * 「$call 路径」与「$callNamed 宿主路径」的唯一调用形态）在此**分流**到值
+ * 基键：记忆化键若带**变量身份**，同一变量重绑定为不同值后仍命中旧缓存
+ * ⇒ **陈旧结果**（Bug 281）。预算/环检测通道（kind = absfn / absbody /
+ * coerce-hook / 命名调用名，且 id 非空）**口径不变**。
+ */
 declare function callBudgetKey(kind: string, id: string, args: unknown[]): string;
 /** 记录被截断的递归（service 可映射为 nudo:recursion-truncated）。
  *  返回先前 collector，便于嵌套 save/restore。 */
@@ -231,7 +272,7 @@ declare const MAX_EVAL_TOTAL_FORKS = 5000;
 /**
  * 专用标签：fork 截断不是「某个递归函数被截断」，不能复用函数名 label
  * （否则 check 会误报 nudo:recursion-truncated）。service/check 按此标签
- * 映射为 `nudo:fork-truncated`（warning）。
+ * 映射为 `nudo:fork-truncated`（info —— 预算观测，非质量失败）。
  */
 declare const FORK_TRUNCATION_LABEL = "#fork-budget";
 /**
@@ -262,8 +303,8 @@ declare function resetEvalForkBudget(): void;
 /** $fork 入口：超限放弃该分支（调用方返回 unknown = 最保守，安全）。 */
 declare function bumpEvalForkBudget(): boolean;
 
-/** 每轮模块图求值入口清空：上一轮 refresh 闭包只指向已死模块作用域，
- * 语义无害但滞留膨胀；新图重新注册（evalAbsModuleGraph 入口调用）。 */
+/** 会话缓存全清时显式清空注册表（模块域随之死；弱引用本会自动回收，
+ *  这里是让「下一轮」的注册表从空开始，避免残留弱引用条目）。 */
 declare function clearLiveImportRefreshers(): void;
 
 /**
@@ -513,6 +554,17 @@ type CollectAbsInlaysOpts = InterfaceTierOpts & {
      * generalizeFromAst 看不到跨模块 import → 调用塌缩 unknown（inlay 假空）。
      */
     modules?: Record<string, AbsModuleExports | Record<string, unknown>>;
+    /**
+     * B run 注入包（modules / mocks / envGlobals / replacements / as）——
+     * 透传给 generalizeFromAst（与 CLI `buildCheckInjection` 产出的 inject
+     * 同型）。
+     *
+     * **缺省 = 行内指令全部缺席**（Bug 786）：`@nudo:mock` 的依赖变成未绑定名、
+     * `@nudo:as` / `@nudo:replace` 的覆盖表为空、env 全局未绑定 ⇒ 推导链塌缩成
+     * `unknown`（Nudo 词汇里 = 「推断失败」）⇒ IDE 显示 unknown 而 CLI 门禁
+     * 显示 number（跨产品面自相矛盾）。调用方（LSP）须与 CLI 同源装配 inject。
+     */
+    inject?: RunTranspiledOptions;
 };
 /**
  * 收集源码中函数签名的 Abs inlay：
@@ -636,6 +688,11 @@ declare function toJsBindingIdent(name: string, used?: Set<string>): string;
  * Object-literal / type-member key: bare ident or canonical integer,
  * otherwise JSON-quoted. Leading-zero digit keys (`01`) stay quoted — bare
  * `01` is a SyntaxError in modules/TS.
+ *
+ * `__proto__` 是**特例**（族 17 Bug 606）：它虽然长得像普通标识符，但在
+ * **JS 对象字面量**里 `__proto__: v` 是**原型 setter**（不是自有属性）⇒
+ * 运行时该键根本不存在（zod 形状丢键）。⇒ 一律写成计算键 `["__proto__"]`
+ * —— 计算键是普通自有属性。
  */
 declare function formatObjectKey(k: string): string;
 /**
@@ -715,6 +772,10 @@ declare function classFromMethods(name: string, methods: MethodDef[], superClass
  *  P1：本地 `class Foo` 经 `export { Foo }` / `export { Foo as default }` /
  *  `export default Foo` 导出时同样登记实例方法。
  *
+ * ⚠ 本清单 = **函数**普查面（与 service 面 `collectTopLevelFunctions` 逐字
+ * 对齐 ⇒ 改这里必须同步改 service 面）。**类导出入口**（`new C()`）是另一
+ * 个面 ⇒ 见 {@link listClassEntryNames}（check 面专用，不进函数普查）。
+ *
  * 从 scan.ts 拆出：纯 AST 清单，无调用图状态。
  */
 
@@ -855,6 +916,9 @@ declare const OBJECT_PROTO_NAMES: Set<string>;
  * - 闭 exact 对象：slots 是精确键集，非 OP 名缺失即确定缺失（OP 名经
  *   Object.prototype 存在，未建模 → 保守不抛）
  * - 槽存在但值是字面量（prim/null/undefined 非函数）→ 确定抛
+ * - brand 接收者：内层闭合 obj 的槽表是实例面，表外名确定缺失
+ *   （Bug 1044：env 声明的 brand 之前一律不判 ⇒ `Response.json(x).then(cb)`
+ *   假绿；原型面已建模的 brand 走 `brandProtoSurfaceModelled` 排除）
  * 保守边界：open 对象（spread/assign 产物）、非 exact conf（create(proto)
  * 的 path 产物）、OP 原型名一律不判抛——避免假抛 false positive。
  */

package/dist/internal.js

@@ -4,25 +4,33 @@ import {
   checkInjectedDomainEvidence,
   createDiagChannel,
   createScopedDiagChannel,
+  escapeTemplateTypeFixed,
   exportedNameOfLocal,
   extractAllLoadSpecs,
   fnFingerprints,
+  formatObjectKey,
   generalizeFromAst,
   generalizeSourceKeyPart,
   getFnNameAndBodies,
   hashSource,
   interfaceTierOf,
+  isJsBindingIdent,
+  isJsIdent,
   listTopFunctions,
   loadModuleDepsFingerprint,
+  localNamedExports,
   normPath,
   resetFnFpCache,
   resetHashSourceCache,
   resolveDepPath,
+  safeMemberAccess,
+  sanitizeCommentText,
   sidecarSpecsOf,
   stableAnalyzeKeySource,
   stablePathKey,
-  stablePathKeyGraph
-} from "./chunk-NXZSRLCT.js";
+  stablePathKeyGraph,
+  toJsBindingIdent
+} from "./chunk-POGFCYV2.js";
 import {
   $tryDigestSoft,
   $tryMarkSoft,
@@ -40,11 +48,13 @@ import {
   PROMISE_MICRO_ERROR_LABEL,
   PROMISE_MICRO_OVERFLOW_LABEL,
   ProjectionBudget,
+  SELF,
   abortDerivationSession,
   absLit,
   absNumLit,
   absStrLit,
   absTemplateViews,
+  accessorReadDomain,
   allAbsStr,
   allFixedTextOfViews,
   anyMemberResult,
@@ -52,6 +62,7 @@ import {
   beginDerivationSession,
   bumpEvalForkBudget,
   callBudgetKey,
+  canonicalArrayIndex,
   classChainNames,
   classFromMethods,
   clearLiveImportRefreshers,
@@ -104,6 +115,7 @@ import {
   knownPrefixOfViews,
   knownSuffixOfViews,
   leakIfNeeded,
+  litKeyString,
   litValue,
   lookupMethod,
   lookupMethodWithOwner,
@@ -162,6 +174,7 @@ import {
   templateMatchesValue,
   templatePartsOf,
   termDepth,
+  termEquals,
   termKey,
   termNodes,
   termToString,
@@ -172,17 +185,33 @@ import {
   withEvalBudgetOverride,
   withFnBudgetOverride,
   wrapPromise
-} from "./chunk-WKIRPUHZ.js";
+} from "./chunk-OM6SAY2M.js";
 
 // src/algebra/inlay.ts
 function listFunctions(source) {
   const file = parseSource(source);
   const out = [];
+  const exported = localNamedExports(source);
   const visitDecl = (decl) => {
     if (decl.type === "FunctionDeclaration" && decl.id) {
       const fd = decl;
       out.push({ name: fd.id.name, node: fd });
     }
+    if (decl.type === "ClassDeclaration") {
+      const cd = decl;
+      const clsName = cd.id?.name;
+      if (clsName) {
+        for (const m of cd.body?.body ?? []) {
+          if (m.type !== "ClassMethod") continue;
+          if (m.kind && m.kind !== "method") continue;
+          const keyName = m.key?.type === "Identifier" ? m.key.name : void 0;
+          if (!keyName) continue;
+          const fullName = `${clsName}.${keyName}`;
+          if (!exported.has(fullName)) continue;
+          out.push({ name: fullName, node: m });
+        }
+      }
+    }
     if (decl.type === "VariableDeclaration") {
       const dcls = decl.declarations ?? [];
       for (const d of dcls) {
@@ -194,11 +223,40 @@ function listFunctions(source) {
       }
     }
   };
+  const isExportsTarget = (n) => {
+    if (!n) return false;
+    if (n.type === "Identifier") return n.name === "exports";
+    if (n.type === "MemberExpression") {
+      const me = n;
+      return me.object?.type === "Identifier" && me.object.name === "module" && me.property?.type === "Identifier" && me.property.name === "exports";
+    }
+    return false;
+  };
+  const visitCjsAssign = (stmt) => {
+    const expr = stmt.expression;
+    if (!expr || expr.type !== "AssignmentExpression") return;
+    const assign = expr;
+    if (assign.operator !== "=") return;
+    const left = assign.left;
+    const right = assign.right;
+    if (!left || !right || left.type !== "MemberExpression") return;
+    const me = left;
+    if (me.computed === true) return;
+    if (!isExportsTarget(me.object)) return;
+    const prop = me.property;
+    const propName = prop?.type === "Identifier" ? prop.name : void 0;
+    if (!propName) return;
+    if (!exported.has(propName)) return;
+    if (right.type !== "FunctionExpression" && right.type !== "ArrowFunctionExpression") return;
+    out.push({ name: propName, node: right });
+  };
   for (const stmt of file.program.body) {
     if (stmt.type === "ExportNamedDeclaration" && stmt.declaration) {
       visitDecl(stmt.declaration);
     } else if (stmt.type === "ExportDefaultDeclaration" && stmt.declaration) {
       visitDecl(stmt.declaration);
+    } else if (stmt.type === "ExpressionStatement") {
+      visitCjsAssign(stmt);
     } else {
       visitDecl(stmt);
     }
@@ -213,6 +271,17 @@ function renameTypeVars(s, varMap) {
   }
   return out;
 }
+var INTERNAL_LEN_ID_RE = /^len#\d+$/;
+var READABLE_LEN_ID = "len";
+function readableTerm(t) {
+  if (t.op === "var") {
+    return INTERNAL_LEN_ID_RE.test(t.id) ? { op: "var", id: READABLE_LEN_ID } : t;
+  }
+  if (t.op === "app") {
+    return { op: "app", fn: t.fn, args: t.args.map(readableTerm) };
+  }
+  return t;
+}
 function formatReturnDisplay(g) {
   const varMap = /* @__PURE__ */ new Map();
   for (let i = 0; i < (g.typeParams?.length ?? 0); i++) {
@@ -221,28 +290,28 @@ function formatReturnDisplay(g) {
     if (pname) varMap.set(id, pname);
   }
   const stripParens = (t) => t.startsWith("(") && t.endsWith(")") ? t.slice(1, -1) : t;
+  const termText = (t) => stripParens(renameTypeVars(termToString(readableTerm(t)), varMap));
   const memberPath = (m) => {
     if (m.term?.op === "var") {
-      const name = renameTypeVars(m.term.id, varMap);
+      const name = INTERNAL_LEN_ID_RE.test(m.term.id) ? READABLE_LEN_ID : renameTypeVars(m.term.id, varMap);
       return { key: `var:${name}`, text: name };
     }
     if (m.term?.op === "app") {
-      const t = stripParens(renameTypeVars(termToString(m.term), varMap));
+      const t = termText(m.term);
       return { key: `app:${t}`, text: t };
     }
     const lvR = litValue(m);
     if (lvR.ok) {
       const lv = lvR.value;
-      if (typeof lv === "number" && !Number.isFinite(lv)) {
-        return { key: `lit:${String(lv)}`, text: String(lv) };
-      }
-      return { key: `lit:${String(lv)}`, text: JSON.stringify(lv) ?? "undefined" };
+      const text = termToString({ op: "lit", value: lv });
+      const key = `lit:${typeof lv}:${litKeyString(lv)}`;
+      return { key, text };
     }
     return { key: `shape:${formatShape(m)}`, text: formatShape(m) };
   };
   const abs = g.symbolic;
   if (abs.term && abs.term.op !== "lit") {
-    return stripParens(renameTypeVars(termToString(abs.term), varMap));
+    return termText(abs.term);
   }
   if (abs.shape.k === "sum") {
     const parts = [];
@@ -269,7 +338,10 @@ function collectAbsInlays(source, opts) {
     try {
       g = generalizeFromAst(name, source, {
         ...refineOpts ? { refine: refineOpts } : {},
-        ...opts?.modules ? { modules: opts.modules } : {}
+        ...opts?.modules ? { modules: opts.modules } : {},
+        // 注入包透传（Bug 786）：@nudo:mock / @nudo:as / @nudo:replace /
+        // env 全局缺席 ⇒ 推导链塌缩 unknown（与 CLI 面分叉）。
+        ...opts?.inject ? { inject: opts.inject } : {}
       });
     } catch {
       continue;
@@ -311,8 +383,10 @@ function collectAbsInlays(source, opts) {
         });
       }
     }
-    const bodyLoc = fnNode.body?.loc;
-    if (bodyLoc?.start) {
+    const bodyNode = fnNode.body;
+    const bodyLoc = bodyNode?.loc;
+    const anchor = bodyNode?.type === "BlockStatement" ? bodyLoc?.start : bodyLoc?.end ?? bodyLoc?.start;
+    if (anchor) {
       let label;
       try {
         label = `: ${formatReturnDisplay(g)}`;
@@ -321,8 +395,8 @@ function collectAbsInlays(source, opts) {
       }
       if (isImplicitExport) label += "  \xB7 derived";
       inlays.push({
-        line: bodyLoc.start.line,
-        character: Math.max(0, bodyLoc.start.column),
+        line: anchor.line,
+        character: Math.max(0, anchor.column),
         label: `${label}  `,
         kind: "type",
         ...tierSrc ? { interfaceSource: tierSrc } : {},
@@ -333,103 +407,35 @@ function collectAbsInlays(source, opts) {
   return inlays;
 }
 
-// src/algebra/codegen-escape.ts
-var JS_IDENT = /^[A-Za-z_$][A-Za-z0-9_$]*$/;
-var JS_BINDING_IDENT = /^(?:[$_\p{ID_Start}])(?:[$\u200C\u200D\p{ID_Continue}])*$/u;
-var JS_BINDING_RESERVED = /* @__PURE__ */ new Set([
-  // ECMA-262 keywords
-  "break",
-  "case",
-  "catch",
-  "class",
-  "const",
-  "continue",
-  "debugger",
-  "default",
-  "delete",
-  "do",
-  "else",
-  "enum",
-  "export",
-  "extends",
-  "false",
-  "finally",
-  "for",
-  "function",
-  "if",
-  "import",
-  "in",
-  "instanceof",
-  "new",
-  "null",
-  "return",
-  "super",
-  "switch",
-  "this",
-  "throw",
-  "true",
-  "try",
-  "typeof",
-  "var",
-  "void",
-  "while",
-  "with",
-  "yield",
-  // strict mode / module-code reserved
-  "let",
-  "static",
-  "await",
-  "implements",
-  "interface",
-  "package",
-  "private",
-  "protected",
-  "public",
-  // never legal bindings in strict / module code
+// src/algebra/denote.ts
+function isHiddenInternalSlot(k, slot) {
+  return slot.internal === true && canonicalArrayIndex(k) === void 0;
+}
+var PROTOTYPE_LESS_GLOBALS = /* @__PURE__ */ new Set([
+  // 可调用但没有对象 prototype
+  "Proxy",
+  "parseFloat",
+  "parseInt",
+  "decodeURI",
+  "decodeURIComponent",
+  "encodeURI",
+  "encodeURIComponent",
+  "escape",
+  "unescape",
   "eval",
-  "arguments"
+  "isFinite",
+  "isNaN",
+  // 不可调用（非构造器）
+  "Math",
+  "JSON",
+  "Intl",
+  "Reflect",
+  "Atomics",
+  "globalThis"
 ]);
-var JS_CANONICAL_INT = /^(?:0|[1-9]\d*)$/;
-function isJsIdent(name) {
-  return JS_IDENT.test(name);
-}
-function isJsBindingIdent(name) {
-  return JS_BINDING_IDENT.test(name) && !JS_BINDING_RESERVED.has(name);
-}
-function toJsBindingIdent(name, used) {
-  let base = name;
-  if (!JS_BINDING_IDENT.test(base)) {
-    base = base.replace(/[^\p{ID_Continue}$\u200C\u200D]/gu, "_");
-    if (base.length === 0) base = "_";
-    else if (!/^[$_\p{ID_Start}]/u.test(base)) base = `_${base}`;
-  }
-  if (JS_BINDING_RESERVED.has(base)) base = `_${base}`;
-  if (!used) return base;
-  let n = base;
-  let i = 2;
-  while (used.has(n)) {
-    n = `${base}_${i}`;
-    i++;
-  }
-  used.add(n);
-  return n;
-}
-function formatObjectKey(k) {
-  if (JS_IDENT.test(k)) return k;
-  if (JS_CANONICAL_INT.test(k)) return k;
-  return JSON.stringify(k);
-}
-function safeMemberAccess(recv, key) {
-  return JS_IDENT.test(key) ? `${recv}.${key}` : `${recv}[${JSON.stringify(key)}]`;
-}
-function escapeTemplateTypeFixed(text) {
-  return text.replace(/[\\`$]/g, "\\$&");
+function hasUnusablePrototype(name) {
+  return PROTOTYPE_LESS_GLOBALS.has(name);
 }
-function sanitizeCommentText(text) {
-  return text.replace(/\*\//g, "*\\/").replace(/[\r\n\u2028\u2029\x00-\x08\x0b\x0c\x0e-\x1f\x7f]/g, " ");
-}
-
-// src/algebra/denote.ts
 function denoteGuard(a, v) {
   return denoteGuardB(a, v, new ProjectionBudget());
 }
@@ -440,7 +446,7 @@ function denoteGuardB(a, v, budget) {
     if (a.term?.op === "lit" && (!a.pred || a.pred.op === "true")) {
       return eqGuard(v, a.term.value);
     }
-    const shape = denoteShape(a.shape, v, budget);
+    const shape = denoteShape(a, v, budget);
     const pred = denotePred(a, v);
     if (shape === "true") return pred;
     if (pred === "true") return shape;
@@ -449,7 +455,8 @@ function denoteGuardB(a, v, budget) {
     budget.exit();
   }
 }
-function denoteShape(s, v, budget) {
+function denoteShape(a, v, budget) {
+  const s = a.shape;
   switch (s.k) {
     case "never":
       return "false";
@@ -472,13 +479,16 @@ function denoteShape(s, v, budget) {
           return "true";
       }
     case "obj": {
-      const checks = [`typeof ${v} === "object"`, `${v} !== null`];
+      const checks = [`typeof ${v} === "object"`, `${v} !== null`, `!Array.isArray(${v})`];
       for (const [key, slot] of Object.entries(s.slots)) {
+        if (isHiddenInternalSlot(key, slot)) continue;
         const access = safeMemberAccess(v, key);
-        const inner = denoteGuardB(slot.value, access, budget);
+        const slotAbs = accessorReadDomain(a, key) ?? slot.value;
+        const inner = denoteGuardB(slotAbs, access, budget);
         if (slot.optional) {
           if (inner !== "true") checks.push(`(${access} === undefined || ${inner})`);
         } else {
+          checks.push(hasPropertyClause(v, key));
           if (inner !== "true") checks.push(inner);
         }
       }
@@ -515,8 +525,13 @@ function denoteShape(s, v, budget) {
     case "eff":
       if (s.eff === "promise") return `${v} instanceof Promise`;
       return "true";
-    case "brand":
-      return denoteShape(s.shape.shape, v, budget);
+    case "brand": {
+      const inner = denoteShape(s.shape, v, budget);
+      if (hasUnusablePrototype(s.name)) return inner;
+      const identity = brandIdentityClause(s.name, v);
+      if (inner === "true") return identity;
+      return `(${identity}) && (${inner})`;
+    }
     case "sum": {
       if (s.members.length === 0) return "false";
       const parts = s.members.map((m) => denoteGuardB(m, v, budget));
@@ -566,12 +581,29 @@ function predAsJs(p, v, a) {
       if (leftLitTerm && rightLitTerm) {
         return `${jsLit(leftLitTerm.value)} ${op} ${jsLit(rightLitTerm.value)}`;
       }
+      if (rightLitTerm && typeof rightLitTerm.value === "number" && isLengthSelf(p.a, a)) {
+        return `${v}.length ${op} ${rightLitTerm.value}`;
+      }
       return "true";
     }
     default:
       return "true";
   }
 }
+function hasPropertyClause(v, key) {
+  const k = JSON.stringify(key);
+  return `(Object.hasOwn(${v}, ${k}) || (${k} in ${v} && !Object.hasOwn(Object.prototype, ${k})))`;
+}
+function brandIdentityClause(name, v) {
+  const ctor = `Reflect.get(globalThis, ${JSON.stringify(name)})`;
+  return `(typeof ${ctor} !== "function" || ${v} instanceof ${ctor})`;
+}
+function isLengthSelf(t, a) {
+  if (t.op !== "app" || t.fn !== "length" || t.args.length !== 1) return false;
+  const arg = t.args[0];
+  if (a.term && termEquals(arg, a.term)) return true;
+  return arg.op === "var" && arg.id === SELF;
+}
 function jsLit(v) {
   if (v === void 0) return "undefined";
   if (v === null) return "null";