@nudojs/core 1.3.0 → 1.4.0

package/dist/index.js

@@ -1,5 +1,8 @@
 import "./chunk-US532PZA.js";
 import {
+  CONSTRAINT_BUILDERS,
+  CONSTRAINT_BUILDER_NAMES,
+  CONSTRAINT_EXPR_RE,
   NudoSidecarError,
   SELF,
   andC,
@@ -14,14 +17,20 @@ import {
   effectiveInterface,
   evictGeneralizeMemoForPaths,
   execNudoModule,
+  extractBalancedParens,
   extractDeclaredThrows,
+  extractFileEnvNames,
   extractFn,
   extractFnBudget,
+  extractMockModuleRecords,
+  extractNudoImportRecords,
   extractNudoImports,
   extractRefineReturnFromSource,
   extractRefinesFromSource,
+  findFnDirectiveScope,
   fn,
   fnConstraintToEntryReqs,
+  fnDirectiveCommentLines,
   formatConstraint,
   formatEffectiveInterfaceDisplay,
   formatInterfaceTierLine,
@@ -40,6 +49,7 @@ import {
   isNodeModulesPath,
   isNudoConstraint,
   lenTerm,
+  listFnDirectiveScopes,
   listFunctionNames,
   listTopFunctions,
   litC,
@@ -50,6 +60,9 @@ import {
   nullable,
   number,
   omit,
+  parseEnvPayload,
+  parseMockModulePayload,
+  parseNudoImportPayload,
   partial,
   pick,
   refineDiagCount,
@@ -58,13 +71,19 @@ import {
   resetHashSourceCache,
   resetNudoModuleExecCache,
   resetSidecarLoadFailureCache,
+  scanBudgetDecl,
+  scanCaseArgSpans,
+  scanCaseTags,
+  scanContractSegments,
   scanLiteralCalls,
+  scanThrowsDecl,
   setInterfaceDiagCollector,
   setRefineDiagCollector,
   shape,
   sidecarClosureFingerprint,
   sidecarPathOf,
   stableAnalyzeKeySource,
+  stablePathKey,
   string,
   takeInterfaceDiags,
   takeInterfaceDiagsSince,
@@ -72,7 +91,7 @@ import {
   takeRefineDiagsSince,
   throwConstraintToKinds,
   union
-} from "./chunk-5YNR4Q7E.js";
+} from "./chunk-7QUVTEYZ.js";
 import {
   $add,
   $arguments,
@@ -200,6 +219,7 @@ import {
   TYPEOF_NAMES,
   abs,
   absFunction,
+  absOnly,
   absShapeKey,
   absToString,
   add,
@@ -231,6 +251,7 @@ import {
   callAbsMethod,
   callAtFunctionBoundary,
   callTranspiledExport,
+  callTranspiledExportApply,
   callTranspiledExportFull,
   canonicalArrayIndex,
   clearBClasses,
@@ -309,6 +330,7 @@ import {
   identBoundaryRegex,
   implies,
   instantiateReturn,
+  isAbsApplyResult,
   isArrMutator,
   isBigPrim,
   isDefinitelyFalse,
@@ -345,6 +367,7 @@ import {
   looseEqAbs,
   lt,
   ltNum,
+  makeAbsApplyResult,
   makeArrayCtorAbs,
   makeMapAbs,
   makeSetAbs,
@@ -484,7 +507,7 @@ import {
   v,
   withExecPhi,
   withVar
-} from "./chunk-CKH6GQAI.js";
+} from "./chunk-LFCF6BLE.js";
 
 // src/environment.ts
 function createEnvironment(parent, bindings = /* @__PURE__ */ new Map()) {
@@ -613,15 +636,15 @@ function checkArg(arg, expect, phi = pTrue) {
   }
   const combined = arg.pred && arg.pred.op !== "true" ? phi.op === "true" ? arg.pred : { op: "and", args: [phi, arg.pred] } : phi;
   if (implies(combined, expect)) return void 0;
-  const lv = litValue(arg);
-  if (lv !== void 0 && (expect.op === "gt" || expect.op === "ge" || expect.op === "lt" || expect.op === "le")) {
-    const ok = decideLitCmp(lv, expect);
+  const lvR = litValue(arg);
+  if (lvR.ok && (expect.op === "gt" || expect.op === "ge" || expect.op === "lt" || expect.op === "le")) {
+    const ok = decideLitCmp(lvR.value, expect);
     if (ok === true) return void 0;
     if (ok === false) {
       return {
         severity: "error",
         code: "nudo:constraint-violated",
-        message: `argument ${JSON.stringify(lv)} does not satisfy ${predToString(expect)}`,
+        message: `argument ${JSON.stringify(lvR.value)} does not satisfy ${predToString(expect)}`,
         suggestion: `use a value satisfying the constraint, or relax the function precondition`
       };
     }
@@ -778,7 +801,7 @@ function assertImplies(ret, constraint, opts) {
     }
     return sawUnprovable ? unprovable("union: no member proved the return contract") : disproved(`return \u22AD union(${constraint.members.map((m) => formatConstraint(m)).join(", ")})`);
   }
-  if (sumMembers && constraint.fields) {
+  if (sumMembers && (constraint.fields || constraint.element)) {
     let sawUnprovable = false;
     for (const m of sumMembers) {
       if (isValueSetUnknown(m)) continue;
@@ -838,13 +861,18 @@ function assertScalar(ret, constraint, phi) {
     if (retPrim && retPrim !== constraint.prim) {
       return disproved(`typeof return = "${retPrim}" \u22AD "${constraint.prim}"`);
     }
-    if (!retPrim && ret.shape.k !== "sum" && ret.shape.k !== "never") {
+    if (!retPrim) {
+      const k = ret.shape.k;
+      if (k === "obj" || k === "arr" || k === "tuple" || k === "fn" || k === "brand" || k === "eff") {
+        return disproved(`return shape ${k} \u22AD prim "${constraint.prim}"`);
+      }
     }
   }
   if (isIntFlag(constraint) && constraint.prim === "number") {
-    const lv2 = litValue(ret);
-    if (typeof lv2 === "number" && !Number.isInteger(lv2)) {
-      return disproved(`return ${lv2} \u22AD int`);
+    const lvR = litValue(ret);
+    const lv = lvR.ok ? lvR.value : void 0;
+    if (typeof lv === "number" && !Number.isInteger(lv)) {
+      return disproved(`return ${lv} \u22AD int`);
     }
   }
   const t = retAnchorTerm(ret);
@@ -867,18 +895,17 @@ function assertScalar(ret, constraint, phi) {
       );
     }
   }
-  const lv = litValue(ret);
-  if (lv !== void 0 && (typeof lv === "number" || typeof lv === "string" || typeof lv === "boolean" || lv === null)) {
-    if (literalMeetsConstraint(lv, constraint)) {
-      return proved();
+  if (ret.term?.op === "lit") {
+    const lv = ret.term.value;
+    if (typeof lv === "number" || typeof lv === "string" || typeof lv === "boolean" || lv === null || lv === void 0) {
+      if (literalMeetsConstraint(lv, constraint)) {
+        return proved();
+      }
+      const boundDesc = describeBoundViolation(lv, constraint);
+      return disproved(
+        boundDesc ?? `return ${JSON.stringify(lv)} \u22AD ${formatConstraint(constraint)}`
+      );
     }
-    const boundDesc = describeBoundViolation(lv, constraint);
-    return disproved(
-      boundDesc ?? `return ${JSON.stringify(lv)} \u22AD ${formatConstraint(constraint)}`
-    );
-  }
-  if (ret.term?.op === "lit" && ret.term.value === void 0) {
-    return proved();
   }
   if (constraintPred.op !== "true" || constraint.preds.length > 0) {
     if (isBoundedEvidenceMissing(ret, constraint)) {
@@ -924,7 +951,8 @@ function litLE(a, b) {
 }
 function primOfAbs(a) {
   if (a.shape.k === "prim") return a.shape.type;
-  const lv = litValue(a);
+  const lvR = litValue(a);
+  const lv = lvR.ok ? lvR.value : void 0;
   if (typeof lv === "number") return "number";
   if (typeof lv === "string") return "string";
   if (typeof lv === "boolean") return "boolean";
@@ -1513,7 +1541,7 @@ function unindexCheckKey(key) {
 function evictCheckSourceMemoForPaths(paths) {
   let n = 0;
   for (const raw of paths) {
-    const p = normPath(raw);
+    const p = stablePathKey(raw);
     const keys = checkDepIndex.get(p);
     if (!keys) continue;
     for (const key of [...keys]) {
@@ -1589,8 +1617,9 @@ function checkMemoSet(key, value, depPaths) {
   }
   checkReportMemo.set(key, value);
   if (depPaths.length > 0) {
-    checkKeyDeps.set(key, depPaths);
-    for (const p of depPaths) {
+    const normDeps = [...new Set(depPaths.map(stablePathKey))];
+    checkKeyDeps.set(key, normDeps);
+    for (const p of normDeps) {
       let set = checkDepIndex.get(p);
       if (!set) {
         set = /* @__PURE__ */ new Set();
@@ -1915,13 +1944,14 @@ function scanCaseInconsistency(source, knownFns, opts) {
         }
         arg = projected;
       }
-      const lv = litValue(arg);
-      if (lv === void 0 || typeof lv !== "number" && typeof lv !== "string" && typeof lv !== "boolean") {
+      const argLit = arg.term?.op === "lit" ? arg.term.value : void 0;
+      const argIsLit = arg.term?.op === "lit";
+      if (!argIsLit || typeof argLit !== "number" && typeof argLit !== "string" && typeof argLit !== "boolean" && argLit !== null && argLit !== void 0) {
         continue;
       }
       const hasEqOr = (entry.constraint.members?.length ?? 0) > 0 || entry.constraint.preds.some((p) => p.op === "eq");
       if (hasEqOr) {
-        if (!literalMeetsConstraint(lv, entry.constraint)) {
+        if (!literalMeetsConstraint(argLit, entry.constraint)) {
           const paramName = entry.param || paramNames[idx] || `arg${idx}`;
           out.push({
             severity: "error",
@@ -1936,16 +1966,16 @@ function scanCaseInconsistency(source, knownFns, opts) {
         }
         continue;
       }
-      if (typeof lv !== "number") continue;
+      if (typeof argLit !== "number") continue;
       const flatten = (p) => p.op === "and" ? p.args.flatMap(flatten) : p.op === "true" ? [] : [p];
       for (const p of flatten(entry.pred)) {
         if ((p.op === "gt" || p.op === "ge" || p.op === "lt" || p.op === "le") && p.b.op === "lit" && typeof p.b.value === "number") {
           const n = p.b.value;
           let ok = true;
-          if (p.op === "gt") ok = lv > n;
-          if (p.op === "ge") ok = lv >= n;
-          if (p.op === "lt") ok = lv < n;
-          if (p.op === "le") ok = lv <= n;
+          if (p.op === "gt") ok = argLit > n;
+          if (p.op === "ge") ok = argLit >= n;
+          if (p.op === "lt") ok = argLit < n;
+          if (p.op === "le") ok = argLit <= n;
           if (!ok) {
             const paramName = entry.param || paramNames[idx] || `arg${idx}`;
             out.push({
@@ -1963,36 +1993,18 @@ function scanCaseInconsistency(source, knownFns, opts) {
       }
     }
   };
-  const visit = (n) => {
-    if (!n || typeof n !== "object") return;
-    const obj2 = n;
-    let decl = obj2;
-    if (obj2.type === "ExportNamedDeclaration" || obj2.type === "ExportDefaultDeclaration") {
-      decl = obj2.declaration;
-    }
-    if (decl && (decl.type === "FunctionDeclaration" || decl.type === "VariableDeclaration" && (decl.declarations ?? [])[0]?.init && ["ArrowFunctionExpression", "FunctionExpression"].includes(
-      String(
-        decl.declarations[0].init.type
-      )
-    ))) {
-      const id = decl.type === "FunctionDeclaration" ? decl.id?.name : decl.declarations[0]?.id?.name;
-      if (id && knownFns.includes(id)) {
-        for (const c of obj2.leadingComments ?? []) {
-          const caseArgs = parseCaseArgs(c.value);
-          if (!caseArgs) continue;
-          const caseName = /@nudo:case\s+"([^"]+)"/.exec(c.value)?.[1] ?? "?";
-          checkCaseAgainstReqs(id, caseName, caseArgs, c.loc?.start.line);
-        }
+  for (const scope of listFnDirectiveScopes(file)) {
+    if (!knownFns.includes(scope.name)) continue;
+    for (let ci = 0; ci < scope.commentTexts.length; ci++) {
+      const text = scope.commentTexts[ci];
+      const startLine = scope.commentStartLines[ci] ?? 0;
+      for (const tag of scanCaseTags(text)) {
+        const caseArgs = parseCaseArgs(`@nudo:case "${tag.name}" (${tag.argsText})`);
+        if (!caseArgs) continue;
+        checkCaseAgainstReqs(scope.name, tag.name, caseArgs, startLine);
       }
     }
-    for (const key of Object.keys(obj2)) {
-      if (key === "loc" || key === "start" || key === "end" || key === "leadingComments") continue;
-      const val = obj2[key];
-      if (Array.isArray(val)) val.forEach(visit);
-      else if (val && typeof val === "object") visit(val);
-    }
-  };
-  visit(file);
+  }
   return out;
 }
 
@@ -2085,7 +2097,8 @@ function sidecarDiagIssues(diags) {
     const k = `${d.code}\0${d.message}`;
     if (seen.has(k)) continue;
     seen.add(k);
-    out.push({ severity: "error", code: d.code, message: d.message });
+    const severity = d.code === "nudo:contract-syntax" || d.code === "nudo:directive-syntax" ? "warning" : "error";
+    out.push({ severity, code: d.code, message: d.message });
   }
   return out;
 }
@@ -2979,6 +2992,9 @@ export {
   $while,
   $whileSeq,
   $yield,
+  CONSTRAINT_BUILDERS,
+  CONSTRAINT_BUILDER_NAMES,
+  CONSTRAINT_EXPR_RE,
   DEFAULT_MAX_LOOP_ITERS,
   MAX_EVAL_CALL_DEPTH,
   MAX_EVAL_TOTAL_CALLS,
@@ -2993,6 +3009,7 @@ export {
   TYPEOF_NAMES,
   abs,
   absFunction,
+  absOnly,
   absShapeKey,
   absToConstraint,
   absToString,
@@ -3031,6 +3048,7 @@ export {
   callAbsMethod,
   callAtFunctionBoundary,
   callTranspiledExport,
+  callTranspiledExportApply,
   callTranspiledExportFull,
   canonicalArrayIndex,
   checkArg,
@@ -3090,16 +3108,22 @@ export {
   evictGeneralizeMemoForPaths,
   execNudoModule,
   extStateOf,
+  extractBalancedParens,
   extractDeclaredThrows,
+  extractFileEnvNames,
   extractFn,
   extractFnBudget,
+  extractMockModuleRecords,
+  extractNudoImportRecords,
   extractNudoImports,
   extractRefineReturnFromSource,
   extractRefinesFromSource,
   falseConstraint,
   fillTuple,
+  findFnDirectiveScope,
   fn,
   fnConstraintToEntryReqs,
+  fnDirectiveCommentLines,
   fnOf,
   foldRequireSpecArg,
   foldStaticStringExpr,
@@ -3141,6 +3165,7 @@ export {
   interfaceDiagCount,
   interfaceSourceOf,
   interfaceTierOf,
+  isAbsApplyResult,
   isArrMutator,
   isBigPrim,
   isDefinitelyFalse,
@@ -3174,6 +3199,7 @@ export {
   leavePromiseExecutorScope,
   lenTerm,
   leqAbs,
+  listFnDirectiveScopes,
   listFunctionNames,
   lit,
   litC,
@@ -3186,6 +3212,7 @@ export {
   looseEqAbs,
   lt,
   ltNum,
+  makeAbsApplyResult,
   makeArrayCtorAbs,
   makeMapAbs,
   makeSetAbs,
@@ -3235,6 +3262,9 @@ export {
   or,
   pFalse,
   pTrue,
+  parseEnvPayload,
+  parseMockModulePayload,
+  parseNudoImportPayload,
   parseSource,
   partial,
   phiAnd,
@@ -3277,6 +3307,11 @@ export {
   runTranspiledOptionsMemoKey,
   runWithLoopExits,
   runtimeImportOf,
+  scanBudgetDecl,
+  scanCaseArgSpans,
+  scanCaseTags,
+  scanContractSegments,
+  scanThrowsDecl,
   serializeCheckJson,
   serializeCheckJsonMulti,
   setAddEntry,

package/dist/internal.d.ts

@@ -1,7 +1,7 @@
-import { I as InterfaceSource, a as InterfaceTierOpts, p as parseSource, C as CheckIssue } from './check-report-BWmfy810.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, t as termDepth, i as termNodes } from './check-report-BWmfy810.js';
-import { A as Abs, T as Term, c as AstEnv } from './run-Dk08Q5zl.js';
-export { $ as $tryDigestSoft, d as $tryMarkSoft, e as $tryReleaseSoft, E as ERROR_FAMILY, f as EvalFallbackStats, M as MayThrowEffect, g as enterEvalCallBudgetSession, h as errorTypeAbs, i as exitEvalCallBudgetSession, j as filterDeclaredThrows, k as filterGateThrows, l as filterIgnoredThrows, m as flushMayThrowEffects, n as formatThrowsAbs, o as getEvalCallBudgetState, p as getEvalFallbackStats, q as getMayThrowCollector, r as isThrowsIgnored, s as mayThrowEffectsToAbs, t as orphanMayThrowEffects, u as popMayThrowFrame, v as pushMayThrowFrame, w as recordMayThrow, x as resetEvalFallbackStats, y as runWithMayThrowSession, z as setMayThrowCollector, B as throwAbsToKinds, D as throwsKindCovered, F as withEvalBudgetOverride } from './run-Dk08Q5zl.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';
 
 /**

package/dist/internal.js

@@ -15,8 +15,10 @@ import {
   resetHashSourceCache,
   resolveDepPath,
   sidecarSpecsOf,
-  stableAnalyzeKeySource
-} from "./chunk-5YNR4Q7E.js";
+  stableAnalyzeKeySource,
+  stablePathKey,
+  stablePathKeyGraph
+} from "./chunk-7QUVTEYZ.js";
 import {
   $tryDigestSoft,
   $tryMarkSoft,
@@ -41,6 +43,8 @@ import {
   callBudgetKey,
   classChainNames,
   classFromMethods,
+  clearPureCallMemo,
+  clearPureMemo,
   coerceAsyncReturn,
   concatString,
   createTemplateAbs,
@@ -153,7 +157,7 @@ import {
   withEvalBudgetOverride,
   withFnBudgetOverride,
   wrapPromise
-} from "./chunk-CKH6GQAI.js";
+} from "./chunk-LFCF6BLE.js";
 
 // src/algebra/inlay.ts
 function listFunctions(source) {
@@ -211,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) };
   };
@@ -327,9 +332,8 @@ function sanitizeCommentText(text) {
 
 // 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);
@@ -377,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") {
@@ -407,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);
@@ -435,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";
     }
@@ -453,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";
@@ -488,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;
 }
@@ -519,6 +527,8 @@ export {
   checkInjectedDomainEvidence,
   classChainNames,
   classFromMethods,
+  clearPureCallMemo,
+  clearPureMemo,
   coerceAsyncReturn,
   collectAbsInlays,
   concatString,
@@ -629,6 +639,8 @@ export {
   sourceHasRequireCall,
   stableAnalyzeKeySource,
   stableCallId,
+  stablePathKey,
+  stablePathKeyGraph,
   stripCommentsAndStrings,
   stripStringsKeepComments,
   superNameOf,