@nudojs/core 1.2.2 → 1.4.0

package/dist/internal.d.ts

@@ -1,9 +1,56 @@
-import { I as InterfaceSource, a as InterfaceTierOpts, p as parseSource, C as CheckIssue } from './check-report-0B9Z66n0.js';
-export { L as LeakBudget, b as LoadDepsFingerprint, d as defaultLeakBudget, e as exceedsBudget, c as extractAllLoadSpecs, l as leakIfNeeded, f as loadModuleDepsFingerprint, m as maybeLeak, n as normPath, r as resetLeakCounter, g as resolveDepPath, s as sidecarSpecsOf, t as termDepth, h as termNodes } from './check-report-0B9Z66n0.js';
-import { A as Abs, T as Term, c as AstEnv } from './hof-types-DqDpAxfh.js';
-export { $ as $tryDigestSoft, d as $tryMarkSoft, e as $tryReleaseSoft, E as ERROR_FAMILY, M as MayThrowEffect, f as errorTypeAbs, g as filterDeclaredThrows, h as filterGateThrows, i as filterIgnoredThrows, j as flushMayThrowEffects, k as formatThrowsAbs, l as getMayThrowCollector, m as isThrowsIgnored, n as mayThrowEffectsToAbs, o as orphanMayThrowEffects, p as popMayThrowFrame, q as pushMayThrowFrame, r as recordMayThrow, s as runWithMayThrowSession, t as setMayThrowCollector, u as throwAbsToKinds, v as throwsKindCovered } from './hof-types-DqDpAxfh.js';
+import { I as InterfaceSource, a as InterfaceTierOpts, p as parseSource, C as CheckIssue } from './check-report-Ci1dDysO.js';
+export { L as LeakBudget, b as LoadDepsFingerprint, M as MAX_PROMISE_MICROS, d as defaultLeakBudget, e as exceedsBudget, c as extractAllLoadSpecs, g as getPromiseMicrosLength, l as leakIfNeeded, f as loadModuleDepsFingerprint, m as maybeLeak, n as normPath, r as resetLeakCounter, h as resolveDepPath, s as sidecarSpecsOf, i as stablePathKey, j as stablePathKeyGraph, t as termDepth, k as termNodes } from './check-report-Ci1dDysO.js';
+import { A as Abs, T as Term, c as AstEnv } from './run-WJfj477N.js';
+export { $ as $tryDigestSoft, d as $tryMarkSoft, e as $tryReleaseSoft, E as ERROR_FAMILY, f as EvalFallbackStats, M as MayThrowEffect, g as clearPureCallMemo, h as clearPureMemo, i as enterEvalCallBudgetSession, j as errorTypeAbs, k as exitEvalCallBudgetSession, l as filterDeclaredThrows, m as filterGateThrows, n as filterIgnoredThrows, o as flushMayThrowEffects, p as formatThrowsAbs, q as getEvalCallBudgetState, r as getEvalFallbackStats, s as getMayThrowCollector, t as isThrowsIgnored, u as mayThrowEffectsToAbs, v as orphanMayThrowEffects, w as popMayThrowFrame, x as pushMayThrowFrame, y as recordMayThrow, z as resetEvalFallbackStats, B as runWithMayThrowSession, D as setMayThrowCollector, F as throwAbsToKinds, G as throwsKindCovered, H as withEvalBudgetOverride } from './run-WJfj477N.js';
 import { File, Node } from '@babel/types';
 
+/**
+ * 源码文本工具：注释/字符串/正则字面量剥离。
+ * 原文正则特性探测（require/import/exports 等）必须先剥再测——
+ * 字符串或注释里的同名片段不是代码。
+ *
+ * 扫描语义（单遍状态机）：
+ * - 字符串/模板/注释互不串台（字符串里的 `//` 不是注释）。
+ * - 模板插值 `${…}` 是**代码岛**：内部按普通代码继续扫（可嵌套模板/字符串/
+ *   正则/注释），只把真正的字符串内容当 string——`${require()}` 里的 require
+ *   是真代码，必须可见；嵌套模板按深度配对，内外不串台。
+ * - 正则字面量按 division-vs-regex 启发式识别（前一有效 token 决定 `/`）：
+ *   `/https?:\/\//` 尾部 `//` 不会误开行注释；regex 体整体当 string 剥掉，
+ *   避免 `/import *from/` 误命中 import 探针。
+ * - 已知限制：`if (x) /re/` 这类 `)` 后紧跟 regex 的极端写法会当除法；
+ *   目标是探测器正确，不做完整 JS 词法。
+ */
+type StringLiteralSpan = {
+    /** 引号内原文（转义未折叠；模块 specifier 无需折叠） */
+    value: string;
+    /** 开引号下标 */
+    start: number;
+    /** 含两侧引号的总长 */
+    length: number;
+};
+declare function stripCommentsAndStrings(source: string): string;
+/**
+ * 只剥字符串/模板/正则，**保留注释原文**。
+ * `@nudo:` 指令合法住在 JSDoc/行注释里——指令存在性探针不能吃掉注释，
+ * 否则真指令被漏扫；同时字符串里的假指令文本必须不算命中。
+ * 模板插值 `${…}` 是代码，保留。
+ */
+declare function stripStringsKeepComments(source: string): string;
+/**
+ * 等长掩码：注释与字符串/模板/正则整段替换为空格（保留 `\n` 侧行号对齐）。
+ * 插值 `${…}` 的**代码**保留，定界符与 cooked 段变空格——下标与原文一一对应。
+ * 供定位/改写在**代码区**进行。
+ */
+declare function maskCommentsAndStrings(source: string): string;
+/** 代码区字符串/模板字面量（注释内引号不算；插值模板不报整体，正则不报） */
+declare function scanStringLiterals(source: string): StringLiteralSpan[];
+/** 真实 `require(` 调用（忽略字符串/注释/正则；模板插值内可见） */
+declare function sourceHasRequireCall(source: string): boolean;
+/** 真实 import / require 模块依赖（忽略字符串/注释/正则；模板插值内可见） */
+declare function sourceHasModuleDependency(source: string): boolean;
+/** 真实 CJS exports 赋值面（exports.x / exports[x] / module.x） */
+declare function sourceHasCjsExports(source: string): boolean;
+
 /**
  * 调用预算 + 截断观测（求值引擎共享面）。
  * 抽象求值对递归做展开而非不动点：参数类型每层变形（fac(n-1)）时
@@ -27,6 +74,15 @@ type AbsBudgetStats = {
 declare function getAbsCallBudgetStats(): AbsBudgetStats;
 /** 宿主入口（runTranspiled / callTranspiledExportFull / check）前重置 */
 declare function resetAbsCallBudget(): void;
+/**
+ * 函数级预算覆盖（`@nudo:budget`）：在 fn 期间抬高 depth/calls/forks 上限。
+ * 返回 restore 回调（恢复先前值）。非法值忽略对应维。
+ */
+declare function withFnBudgetOverride(budget: {
+    depth?: number;
+    calls?: number;
+    forks?: number;
+}, run: () => void): void;
 declare function stableCallId(obj: object): string;
 /**
  * 截断结果：分析无信息，conf=opaque。
@@ -72,6 +128,10 @@ declare const FORK_TRUNCATION_LABEL = "#fork-budget";
  * `nudo:host-effect-blocked`，不复用「某函数被截断」文案。
  */
 declare const HOST_EFFECT_LABEL_PREFIX = "#host-effect:";
+/** promise 微队列溢出标签（队列硬上限丢弃；check 映射，避免误报 recursion-truncated） */
+declare const PROMISE_MICRO_OVERFLOW_LABEL = "#promise-micro-overflow";
+/** promise 微任务 drain 抛错标签（不得静默吞掉） */
+declare const PROMISE_MICRO_ERROR_LABEL = "#promise-micro-error";
 /** 宿主副作用未执行观测（service/LSP 映射 nudo:host-effect-blocked；与调用截断同 collector 管道） */
 declare function noteHostEffectBlocked(name: string): void;
 /** fork 超限观测（service/LSP 映射 nudo:fork-truncated；与调用截断同 collector 管道） */
@@ -304,13 +364,24 @@ declare function fixedLengthOfViews(views: TemplatePartView[]): number | undefin
 declare function formatTemplateNameViews(views: TemplatePartView[]): string;
 /** 相邻固定文本合并；rebuildFixed 以合并文本重建视图（含原始 part） */
 declare function mergeAdjacentFixedViews<P>(views: TemplatePartView<P>[], rebuildFixed: (text: string) => TemplatePartView<P>): TemplatePartView<P>[];
-/** 具体字符串是否匹配模板（Refinement.check 的判定语义） */
+/**
+ * 具体字符串是否匹配模板（Refinement.check 的判定语义）。
+ * 抽象 part 吃掉任意（含空）子串；相邻抽象合并成一段可变间隙。
+ * 非末尾固定段从当前位置向后找；末尾固定段须落在字符串末尾
+ * （`${x}abc` 匹配 "abcabc"，x="abc"）。
+ * (pos, si) 记忆化：多间隙长串下否则为 O(n^k) 指数回溯。
+ */
 declare function templateMatchesValue(value: string, views: TemplatePartView[]): boolean;
 /** 三值判定；Abs 方法表把 "unknown" 适配为 boolPrim */
 type TemplatePredicateDecision = boolean | "unknown";
 declare function decideStartsWith(prefix: string, search: string): TemplatePredicateDecision;
 declare function decideEndsWith(suffix: string, search: string): TemplatePredicateDecision;
-declare function decideIncludes(fixedText: string, search: string): TemplatePredicateDecision;
+/**
+ * includes 判定：search 必须落在**单个**固定段内才是 true。
+ * 跨抽象间隙拼接固定段会假精确（`a${x}b` 的固定文本 "ab" 并不蕴含
+ * includes("ab")——x="zz" 时 "azzb" 不含 "ab"）。无固定段命中 → unknown。
+ */
+declare function decideIncludes(fixedRuns: readonly string[], search: string): TemplatePredicateDecision;
 declare function absTemplateViews(parts: Abs[]): TemplatePartView<Abs>[];
 /** 从 Abs 提取 template parts（已是 template 则展开，否则 [self]） */
 declare function templatePartsOf(a: Abs): Abs[];
@@ -335,6 +406,39 @@ declare function concatString(a: Abs, b: Abs): Abs;
 /** Abs 上的运行时守卫表达式（JS boolean 布尔串） */
 declare function denoteGuard(a: Abs, v: string): string;
 
+/**
+ * Codegen escaping: one policy for embedding user-controlled strings into
+ * generated JS/TS/comments (guard bodies, .d.ts types, schema modules, JSDoc).
+ *
+ * - object keys: bare JS ident or canonical integer, else JSON-quoted
+ * - member access: `recv.key` for idents, `recv["key"]` otherwise
+ * - template literal type fixed segments: escape `\` `` ` `` `$`
+ * - comment bodies: neutralize block-comment close, line breaks, control chars
+ */
+declare function isJsIdent(name: string): boolean;
+/**
+ * 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.
+ */
+declare function formatObjectKey(k: string): string;
+/**
+ * Member-access expression: `recv.key` for idents, `recv["key"]` otherwise.
+ * Bare non-ident keys inject operators (`foo||true||bar`) or SyntaxError.
+ */
+declare function safeMemberAccess(recv: string, key: string): string;
+/**
+ * Escape a fixed text segment for a TypeScript template literal type.
+ * Escapes `\`, `` ` ``, and `$` so `${` cannot open a type interpolation.
+ */
+declare function escapeTemplateTypeFixed(text: string): string;
+/**
+ * Sanitize text destined for a generated comment body (JSDoc `* ` or `//`).
+ * Neutralizes the block-comment close sequence, line breaks (U+2028/2029
+ * included), and control characters so the comment cannot be broken out of.
+ */
+declare function sanitizeCommentText(text: string): string;
+
 /**
  * 语言覆盖：class / new / instanceof / this / async await。
  * brand 表示名义类；eff("promise") 表示异步效应。
@@ -547,4 +651,4 @@ declare function runWithEvalMissingSlot<T>(enabled: boolean, body: () => T): T;
  */
 declare function noteObjSlotMissing(recv: Abs | undefined, name: string, loc?: [number, number]): boolean;
 
-export { type AbsBudgetStats, type AbsInlay, type ArgDerivation, type ClassDef, type CollectAbsInlaysOpts, type DerivationNode, type EvalMemberDiag, FORK_TRUNCATION_LABEL, type FnFp, HOST_EFFECT_LABEL_PREFIX, type InjectedDomainEvidenceOpts, type InjectedDomainRecord, MAX_CALL_DEPTH, MAX_EVAL_TOTAL_FORKS, MAX_TOTAL_CALLS, type MethodDef, OBJECT_PROTO_NAMES, type TemplateMeta, type TemplatePartDesc, type TemplatePartView, type TemplatePredicateDecision, abortDerivationSession, absTemplateViews, allFixedTextOfViews, anyMemberResult, awaitAbs, beginDerivationSession, bumpEvalForkBudget, callBudgetKey, canSkipLiteralCallScan, checkInjectedDomainEvidence, classChainNames, classFromMethods, coerceAsyncReturn, collectAbsInlays, concatString, createTemplateAbs, decideEndsWith, decideIncludes, decideStartsWith, defineClass, definitelyUncallableMember, denoteGuard, derivationChain, endDerivationSession, enterCall, exitCall, fixedLengthOfViews, fnFingerprints, formatTemplateNameViews, generalizeSourceKeyPart, getAbsCallBudgetStats, getAbsOrigin, getClass, getClassChain, getDerivation, getEvalForkBudgetLimit, getEvalForkCount, getFnNameAndBodies, hasDerivationSession, hashSource, instanceOf, instantiateClass, isEvalMissingSlotEnabled, isNullishAbs, isTemplateLike, knownPrefixOfViews, knownSuffixOfViews, listTopFunctions, lookupMethod, lookupMethodWithOwner, lookupSuperMethod, mergeAdjacentFixedViews, noteAbsTruncation, noteAnyMemberMayThrow, noteDerivationAdd, noteDerivationJoin, noteEvalForkTruncation, noteHostEffectBlocked, noteMemberDispatchMiss, noteNullishMemberThrows, noteObjSlotMissing, notePrimMemberMissing, noteUnknownMemberMissing, popCallLoc, projectBrand, projectDerivationDsl, pushCallLoc, recordMemberDiag, resetAbsCallBudget, resetEvalForkBudget, resetFnFpCache, resetHashSourceCache, runWithEvalMissingSlot, setAbsTruncationCollector, setDerivation, setDerivationCollector, setEvalForkBudgetLimit, setEvalMissingSlotEnabled, setMemberDiagCollector, stableAnalyzeKeySource, stableCallId, superNameOf, tagAbsOrigin, tagDerivationRoot, templateMatchesValue, templatePartsOf, termKey, truncatedAbs, viewTemplateParts, wrapPromise };
+export { type AbsBudgetStats, type AbsInlay, type ArgDerivation, type ClassDef, type CollectAbsInlaysOpts, type DerivationNode, type EvalMemberDiag, FORK_TRUNCATION_LABEL, type FnFp, HOST_EFFECT_LABEL_PREFIX, type InjectedDomainEvidenceOpts, type InjectedDomainRecord, MAX_CALL_DEPTH, MAX_EVAL_TOTAL_FORKS, MAX_TOTAL_CALLS, type MethodDef, OBJECT_PROTO_NAMES, PROMISE_MICRO_ERROR_LABEL, PROMISE_MICRO_OVERFLOW_LABEL, type StringLiteralSpan, type TemplateMeta, type TemplatePartDesc, type TemplatePartView, type TemplatePredicateDecision, abortDerivationSession, absTemplateViews, allFixedTextOfViews, anyMemberResult, awaitAbs, beginDerivationSession, bumpEvalForkBudget, callBudgetKey, canSkipLiteralCallScan, checkInjectedDomainEvidence, classChainNames, classFromMethods, coerceAsyncReturn, collectAbsInlays, concatString, createTemplateAbs, decideEndsWith, decideIncludes, decideStartsWith, defineClass, definitelyUncallableMember, denoteGuard, derivationChain, endDerivationSession, enterCall, escapeTemplateTypeFixed, exitCall, fixedLengthOfViews, fnFingerprints, formatObjectKey, formatTemplateNameViews, generalizeSourceKeyPart, getAbsCallBudgetStats, getAbsOrigin, getClass, getClassChain, getDerivation, getEvalForkBudgetLimit, getEvalForkCount, getFnNameAndBodies, hasDerivationSession, hashSource, instanceOf, instantiateClass, isEvalMissingSlotEnabled, isJsIdent, isNullishAbs, isTemplateLike, knownPrefixOfViews, knownSuffixOfViews, listTopFunctions, lookupMethod, lookupMethodWithOwner, lookupSuperMethod, maskCommentsAndStrings, mergeAdjacentFixedViews, noteAbsTruncation, noteAnyMemberMayThrow, noteDerivationAdd, noteDerivationJoin, noteEvalForkTruncation, noteHostEffectBlocked, noteMemberDispatchMiss, noteNullishMemberThrows, noteObjSlotMissing, notePrimMemberMissing, noteUnknownMemberMissing, popCallLoc, projectBrand, projectDerivationDsl, pushCallLoc, recordMemberDiag, resetAbsCallBudget, resetEvalForkBudget, resetFnFpCache, resetHashSourceCache, runWithEvalMissingSlot, safeMemberAccess, sanitizeCommentText, scanStringLiterals, setAbsTruncationCollector, setDerivation, setDerivationCollector, setEvalForkBudgetLimit, setEvalMissingSlotEnabled, setMemberDiagCollector, sourceHasCjsExports, sourceHasModuleDependency, sourceHasRequireCall, stableAnalyzeKeySource, stableCallId, stripCommentsAndStrings, stripStringsKeepComments, superNameOf, tagAbsOrigin, tagDerivationRoot, templateMatchesValue, templatePartsOf, termKey, truncatedAbs, viewTemplateParts, withFnBudgetOverride, wrapPromise };

package/dist/internal.js

@@ -15,8 +15,10 @@ import {
   resetHashSourceCache,
   resolveDepPath,
   sidecarSpecsOf,
-  stableAnalyzeKeySource
-} from "./chunk-TOURNNEA.js";
+  stableAnalyzeKeySource,
+  stablePathKey,
+  stablePathKeyGraph
+} from "./chunk-7QUVTEYZ.js";
 import {
   $tryDigestSoft,
   $tryMarkSoft,
@@ -26,8 +28,11 @@ import {
   HOST_EFFECT_LABEL_PREFIX,
   MAX_CALL_DEPTH,
   MAX_EVAL_TOTAL_FORKS,
+  MAX_PROMISE_MICROS,
   MAX_TOTAL_CALLS,
   OBJECT_PROTO_NAMES,
+  PROMISE_MICRO_ERROR_LABEL,
+  PROMISE_MICRO_OVERFLOW_LABEL,
   abortDerivationSession,
   absTemplateViews,
   allFixedTextOfViews,
@@ -38,6 +43,8 @@ import {
   callBudgetKey,
   classChainNames,
   classFromMethods,
+  clearPureCallMemo,
+  clearPureMemo,
   coerceAsyncReturn,
   concatString,
   createTemplateAbs,
@@ -50,9 +57,11 @@ import {
   derivationChain,
   endDerivationSession,
   enterCall,
+  enterEvalCallBudgetSession,
   errorTypeAbs,
   exceedsBudget,
   exitCall,
+  exitEvalCallBudgetSession,
   filterDeclaredThrows,
   filterGateThrows,
   filterIgnoredThrows,
@@ -66,9 +75,12 @@ import {
   getClass,
   getClassChain,
   getDerivation,
+  getEvalCallBudgetState,
+  getEvalFallbackStats,
   getEvalForkBudgetLimit,
   getEvalForkCount,
   getMayThrowCollector,
+  getPromiseMicrosLength,
   hasDerivationSession,
   instanceOf,
   instantiateClass,
@@ -83,6 +95,7 @@ import {
   lookupMethod,
   lookupMethodWithOwner,
   lookupSuperMethod,
+  maskCommentsAndStrings,
   mayThrowEffectsToAbs,
   maybeLeak,
   mergeAdjacentFixedViews,
@@ -109,10 +122,12 @@ import {
   recordMayThrow,
   recordMemberDiag,
   resetAbsCallBudget,
+  resetEvalFallbackStats,
   resetEvalForkBudget,
   resetLeakCounter,
   runWithEvalMissingSlot,
   runWithMayThrowSession,
+  scanStringLiterals,
   setAbsTruncationCollector,
   setDerivation,
   setDerivationCollector,
@@ -120,7 +135,12 @@ import {
   setEvalMissingSlotEnabled,
   setMayThrowCollector,
   setMemberDiagCollector,
+  sourceHasCjsExports,
+  sourceHasModuleDependency,
+  sourceHasRequireCall,
   stableCallId,
+  stripCommentsAndStrings,
+  stripStringsKeepComments,
   superNameOf,
   tagAbsOrigin,
   tagDerivationRoot,
@@ -134,8 +154,10 @@ import {
   throwsKindCovered,
   truncatedAbs,
   viewTemplateParts,
+  withEvalBudgetOverride,
+  withFnBudgetOverride,
   wrapPromise
-} from "./chunk-4V3CRVSD.js";
+} from "./chunk-LFCF6BLE.js";
 
 // src/algebra/inlay.ts
 function listFunctions(source) {
@@ -193,12 +215,13 @@ function formatReturnDisplay(g) {
       const t = stripParens(renameTypeVars(termToString(m.term), varMap));
       return { key: `app:${t}`, text: t };
     }
-    const lv = litValue(m);
-    if (typeof lv === "number" && !Number.isFinite(lv)) {
-      return { key: `lit:${String(lv)}`, text: String(lv) };
-    }
-    if (lv !== void 0) {
-      return { key: `lit:${String(lv)}`, text: JSON.stringify(lv) };
+    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" };
     }
     return { key: `shape:${formatShape(m)}`, text: formatShape(m) };
   };
@@ -286,11 +309,31 @@ function collectAbsInlays(source, opts) {
   return inlays;
 }
 
+// src/algebra/codegen-escape.ts
+var JS_IDENT = /^[A-Za-z_$][A-Za-z0-9_$]*$/;
+var JS_CANONICAL_INT = /^(?:0|[1-9]\d*)$/;
+function isJsIdent(name) {
+  return JS_IDENT.test(name);
+}
+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 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) {
-  const lv = litValue(a);
-  if (lv !== void 0 && (!a.pred || a.pred.op === "true")) {
-    return eqGuard(v, lv);
+  if (a.term?.op === "lit" && (!a.pred || a.pred.op === "true")) {
+    return eqGuard(v, a.term.value);
   }
   const shape = denoteShape(a.shape, v);
   const pred = denotePred(a, v);
@@ -323,7 +366,7 @@ function denoteShape(s, v) {
     case "obj": {
       const checks = [`typeof ${v} === "object"`, `${v} !== null`];
       for (const [key, slot] of Object.entries(s.slots)) {
-        const access = `${v}.${key}`;
+        const access = safeMemberAccess(v, key);
         const inner = denoteGuard(slot.value, access);
         if (slot.optional) {
           if (inner !== "true") checks.push(`(${access} === undefined || ${inner})`);
@@ -338,11 +381,19 @@ function denoteShape(s, v) {
     case "tuple": {
       const checks = [`Array.isArray(${v})`];
       const minLen = s.elements.length;
+      const holes = new Set(s.holes ?? []);
       checks.push(s.rest ? `${v}.length >= ${minLen}` : `${v}.length === ${minLen}`);
       s.elements.forEach((el, i) => {
+        if (holes.has(i)) {
+          checks.push(`!(${i} in ${v})`);
+          return;
+        }
         const inner = denoteGuard(el, `${v}[${i}]`);
         if (inner !== "true") checks.push(inner);
       });
+      for (const i of holes) {
+        if (i >= minLen) checks.push(`!(${i} in ${v})`);
+      }
       if (s.rest) {
         const rest = denoteGuard(s.rest, "item");
         if (rest !== "true") {
@@ -368,8 +419,7 @@ function denoteShape(s, v) {
 function denotePred(a, v) {
   const p = a.pred;
   if (!p || p.op === "true") {
-    const lv = litValue(a);
-    if (lv !== void 0) return eqGuard(v, lv);
+    if (a.term?.op === "lit") return eqGuard(v, a.term.value);
     return "true";
   }
   return predAsJs(p, v, a);
@@ -396,17 +446,17 @@ function predAsJs(p, v, a) {
     case "ne": {
       const op = { gt: ">", ge: ">=", lt: "<", le: "<=", eq: "===", ne: "!==" }[p.op];
       const leftIsValue = termIsValue(p.a, a);
-      const rightLit = litOfTerm(p.b);
-      if (leftIsValue && rightLit !== void 0) {
-        return cmpOp(v, op, rightLit);
+      const rightLitTerm = p.b.op === "lit" ? p.b : void 0;
+      if (leftIsValue && rightLitTerm) {
+        return cmpOp(v, op, rightLitTerm.value);
       }
-      const leftLit = litOfTerm(p.a);
+      const leftLitTerm = p.a.op === "lit" ? p.a : void 0;
       const rightIsValue = termIsValue(p.b, a);
-      if (rightIsValue && leftLit !== void 0) {
-        return cmpLitValue(leftLit, op, v);
+      if (rightIsValue && leftLitTerm) {
+        return cmpLitValue(leftLitTerm.value, op, v);
       }
-      if (leftLit !== void 0 && rightLit !== void 0) {
-        return `${jsLit(leftLit)} ${op} ${jsLit(rightLit)}`;
+      if (leftLitTerm && rightLitTerm) {
+        return `${jsLit(leftLitTerm.value)} ${op} ${jsLit(rightLitTerm.value)}`;
       }
       return "true";
     }
@@ -414,12 +464,10 @@ function predAsJs(p, v, a) {
       return "true";
   }
 }
-function litOfTerm(t) {
-  return t.op === "lit" ? t.value : void 0;
-}
 function jsLit(v) {
   if (v === void 0) return "undefined";
   if (v === null) return "null";
+  if (typeof v === "bigint") return `${v}n`;
   if (typeof v === "number") {
     if (Number.isNaN(v)) return "NaN";
     if (v === Infinity) return "Infinity";
@@ -449,8 +497,7 @@ function cmpLitValue(lit, op, v) {
 function termIsValue(t, a) {
   if (t.op === "var") return true;
   if (t.op === "lit") {
-    const lv = litValue(a);
-    return lv !== void 0 && Object.is(lv, t.value);
+    return a.term?.op === "lit" && Object.is(a.term.value, t.value);
   }
   return false;
 }
@@ -463,8 +510,11 @@ export {
   HOST_EFFECT_LABEL_PREFIX,
   MAX_CALL_DEPTH,
   MAX_EVAL_TOTAL_FORKS,
+  MAX_PROMISE_MICROS,
   MAX_TOTAL_CALLS,
   OBJECT_PROTO_NAMES,
+  PROMISE_MICRO_ERROR_LABEL,
+  PROMISE_MICRO_OVERFLOW_LABEL,
   abortDerivationSession,
   absTemplateViews,
   allFixedTextOfViews,
@@ -477,6 +527,8 @@ export {
   checkInjectedDomainEvidence,
   classChainNames,
   classFromMethods,
+  clearPureCallMemo,
+  clearPureMemo,
   coerceAsyncReturn,
   collectAbsInlays,
   concatString,
@@ -491,9 +543,12 @@ export {
   derivationChain,
   endDerivationSession,
   enterCall,
+  enterEvalCallBudgetSession,
   errorTypeAbs,
+  escapeTemplateTypeFixed,
   exceedsBudget,
   exitCall,
+  exitEvalCallBudgetSession,
   extractAllLoadSpecs,
   filterDeclaredThrows,
   filterGateThrows,
@@ -501,6 +556,7 @@ export {
   fixedLengthOfViews,
   flushMayThrowEffects,
   fnFingerprints,
+  formatObjectKey,
   formatTemplateNameViews,
   formatThrowsAbs,
   generalizeSourceKeyPart,
@@ -509,15 +565,19 @@ export {
   getClass,
   getClassChain,
   getDerivation,
+  getEvalCallBudgetState,
+  getEvalFallbackStats,
   getEvalForkBudgetLimit,
   getEvalForkCount,
   getFnNameAndBodies,
   getMayThrowCollector,
+  getPromiseMicrosLength,
   hasDerivationSession,
   hashSource,
   instanceOf,
   instantiateClass,
   isEvalMissingSlotEnabled,
+  isJsIdent,
   isNullishAbs,
   isTemplateLike,
   isThrowsIgnored,
@@ -529,6 +589,7 @@ export {
   lookupMethod,
   lookupMethodWithOwner,
   lookupSuperMethod,
+  maskCommentsAndStrings,
   mayThrowEffectsToAbs,
   maybeLeak,
   mergeAdjacentFixedViews,
@@ -554,6 +615,7 @@ export {
   recordMayThrow,
   recordMemberDiag,
   resetAbsCallBudget,
+  resetEvalFallbackStats,
   resetEvalForkBudget,
   resetFnFpCache,
   resetHashSourceCache,
@@ -561,6 +623,9 @@ export {
   resolveDepPath,
   runWithEvalMissingSlot,
   runWithMayThrowSession,
+  safeMemberAccess,
+  sanitizeCommentText,
+  scanStringLiterals,
   setAbsTruncationCollector,
   setDerivation,
   setDerivationCollector,
@@ -569,8 +634,15 @@ export {
   setMayThrowCollector,
   setMemberDiagCollector,
   sidecarSpecsOf,
+  sourceHasCjsExports,
+  sourceHasModuleDependency,
+  sourceHasRequireCall,
   stableAnalyzeKeySource,
   stableCallId,
+  stablePathKey,
+  stablePathKeyGraph,
+  stripCommentsAndStrings,
+  stripStringsKeepComments,
   superNameOf,
   tagAbsOrigin,
   tagDerivationRoot,
@@ -583,5 +655,7 @@ export {
   throwsKindCovered,
   truncatedAbs,
   viewTemplateParts,
+  withEvalBudgetOverride,
+  withFnBudgetOverride,
   wrapPromise
 };