@nudojs/core 1.3.0 → 1.5.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-YO4GKCNE.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-W2MP6REI.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`
       };
     }
@@ -745,60 +768,92 @@ function isBoundedEvidenceMissing(ret, constraint) {
   if (ret.pred && ret.pred.op !== "true") return false;
   return true;
 }
+function flattenSumArms(ret) {
+  if (ret.shape.k !== "sum") return [ret];
+  const out = [];
+  for (const m of ret.shape.members) {
+    if (m.shape.k === "sum") out.push(...flattenSumArms(m));
+    else out.push(m);
+  }
+  return out;
+}
+function isWidenedSumArm(m, parent) {
+  return parent.conf === "partial" && m.shape.k === "prim" && !m.term && (!m.pred || m.pred.op === "true");
+}
 function assertImplies(ret, constraint, opts) {
   const phi = opts?.phi ?? pTrue;
   if (ret.shape.k === "never") return proved();
   if (isAnyConstraint(constraint)) return proved();
-  const nullishOk = constraintAdmitsNullish(constraint);
-  if (isNullishLitAbs(ret)) {
-    return nullishOk ? proved() : disproved(`nullish return \u22AD ${formatConstraint(constraint)}`);
-  }
-  let sumMembers;
-  if (ret.shape.k === "sum") {
-    const members = ret.shape.members;
-    const nullishMembers = members.filter((m) => isNullishLitAbs(m));
-    if (nullishMembers.length > 0 && !nullishOk) {
-      return disproved(
-        `nullish return arm \u22AD ${formatConstraint(constraint)} (contract does not admit nullish)`
-      );
-    }
-    sumMembers = members.filter((m) => !isNullishLitAbs(m));
-  }
   if (isValueSetUnknown(ret)) {
     return unprovable(
       ret.shape.k === "any" ? "any does not establish the return contract" : "inference failure (unknown/opaque) \u2014 cannot prove the return contract"
     );
   }
+  const arms = flattenSumArms(ret);
+  if (arms.length > 1) {
+    return assertSumArms(arms, ret, constraint, opts, phi);
+  }
+  return assertImpliesSingle(arms[0], constraint, opts, phi);
+}
+function assertSumArms(arms, parent, constraint, opts, phi) {
+  const hasWidenedArm = arms.some(
+    (a) => isValueSetUnknown(a) || isWidenedSumArm(a, parent)
+  );
+  let sawUnprovable = false;
+  for (const arm of arms) {
+    if (isNullishLitAbs(arm)) {
+      if (!constraintAdmitsNullish(constraint)) {
+        return disproved(
+          `nullish return arm \u22AD ${formatConstraint(constraint)} (contract does not admit nullish)`
+        );
+      }
+      continue;
+    }
+    if (isValueSetUnknown(arm) || isWidenedSumArm(arm, parent)) {
+      sawUnprovable = true;
+      continue;
+    }
+    const r = assertImpliesSingle(arm, constraint, opts, phi);
+    if (r.status === "disproved") {
+      if (hasWidenedArm) {
+        sawUnprovable = true;
+        continue;
+      }
+      return r;
+    }
+    if (r.status === "unprovable") sawUnprovable = true;
+  }
+  return sawUnprovable ? unprovable("sum: some arms unprovable") : proved();
+}
+function assertImpliesSingle(arm, constraint, opts, phi) {
+  if (isNullishLitAbs(arm)) {
+    return constraintAdmitsNullish(constraint) ? proved() : disproved(`nullish return \u22AD ${formatConstraint(constraint)}`);
+  }
+  if (isValueSetUnknown(arm)) {
+    return unprovable(
+      arm.shape.k === "any" ? "any does not establish the return contract" : "inference failure (unknown/opaque) \u2014 cannot prove the return contract"
+    );
+  }
   if (constraint.members && constraint.members.length > 0) {
     let sawUnprovable = false;
     for (const m of constraint.members) {
-      const r = assertImplies(ret, m, opts);
+      const r = assertImplies(arm, m, opts);
       if (r.status === "proved") return proved();
       if (r.status === "unprovable") sawUnprovable = true;
     }
     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) {
-    let sawUnprovable = false;
-    for (const m of sumMembers) {
-      if (isValueSetUnknown(m)) continue;
-      const r = assertImplies(m, constraint, opts);
-      if (r.status === "disproved") return r;
-      if (r.status === "unprovable") sawUnprovable = true;
-    }
-    return sawUnprovable ? unprovable("sum: some arms unprovable") : proved();
-  }
   if (constraint.fields) {
-    return assertShapeFields(ret, constraint, opts);
+    return assertShapeFields(arm, constraint, opts);
   }
   if (constraint.element) {
-    if (ret.shape.k !== "arr" && ret.shape.k !== "tuple") {
-      return disproved(`return shape ${ret.shape.k} \u22AD array(...)`);
+    if (arm.shape.k !== "arr" && arm.shape.k !== "tuple") {
+      return disproved(`return shape ${arm.shape.k} \u22AD array(...)`);
     }
     return proved();
   }
   if (constraint.fn) return proved();
-  return assertScalar(ret, constraint, phi);
+  return assertScalar(arm, constraint, phi);
 }
 function isAnyConstraint(c) {
   return !c.prim && c.preds.length === 0 && !c.fields && !c.element && !c.members && !c.fn && !isIntFlag(c);
@@ -838,13 +893,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 +927,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 +983,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 +1573,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 +1649,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 +1976,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 +1998,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 +2025,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 +2129,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;
 }
@@ -2201,7 +2246,7 @@ function checkSourceInner(filePath, source, file, phi, opts, issues, signatures,
             message: `${name} (export): may throw ${gateDisplay}`,
             actual: `${name}(\u2026)    throws ${gateDisplay}`,
             expected: "entry total, or @nudo:throws / try-catch",
-            suggestion: first.cause ? `${first.cause} \u2192 ${first.kind === "ReferenceError" ? "re-export `export { x } from` \u4E0D\u662F\u5C40\u90E8\u7ED1\u5B9A\u2014\u2014\u6539 `import { x }` / @nudo:throws ReferenceError" : `@nudo:throws ${first.kind} / sidecar fn({ \u2026 }) contract / refine / guard / try-catch`}` : first.kind === "ReferenceError" ? "re-export `export { x } from` \u4E0D\u662F\u5C40\u90E8\u7ED1\u5B9A\u2014\u2014\u6539 `import { x }` / @nudo:throws ReferenceError" : `@nudo:throws ${first.kind} / sidecar fn({ \u2026 }) contract / refine / guard / try-catch`,
+            suggestion: first.cause ? `${first.cause} \u2192 ${first.kind === "ReferenceError" ? "re-export `export { x } from` \u4E0D\u662F\u5C40\u90E8\u7ED1\u5B9A\u2014\u2014\u6539 `import { x }` / @nudo:throws ReferenceError" : `@nudo:throws ${first.kind}  |  sidecar: fn({ \u2026 }): shape({ <body-read fields> })  |  refine / guard / try-catch`}` : first.kind === "ReferenceError" ? "re-export `export { x } from` \u4E0D\u662F\u5C40\u90E8\u7ED1\u5B9A\u2014\u2014\u6539 `import { x }` / @nudo:throws ReferenceError" : `@nudo:throws ${first.kind}  |  sidecar: fn({ \u2026 }): shape({ <body-read fields> })  |  refine / guard / try-catch`,
             fn: name,
             ...loc.line !== void 0 ? { line: loc.line } : {},
             ...loc.column !== void 0 ? { column: loc.column } : {}
@@ -2246,7 +2291,7 @@ function checkSourceInner(filePath, source, file, phi, opts, issues, signatures,
           message: `${name} (export): may throw ${gateDisplay}`,
           actual: `${formatEntrySigLine(name, g, gateDisplay)}`,
           expected: "entry total, or @nudo:throws / try-catch",
-          suggestion: first.cause ? `${first.cause} \u2192 ${first.kind === "ReferenceError" ? "re-export `export { x } from` \u4E0D\u662F\u5C40\u90E8\u7ED1\u5B9A\u2014\u2014\u6539 `import { x }` / @nudo:throws ReferenceError" : `@nudo:throws ${first.kind} / sidecar fn({ \u2026 }) contract / refine / guard / try-catch`}` : first.kind === "ReferenceError" ? "re-export `export { x } from` \u4E0D\u662F\u5C40\u90E8\u7ED1\u5B9A\u2014\u2014\u6539 `import { x }` / @nudo:throws ReferenceError" : `@nudo:throws ${first.kind} / sidecar fn({ \u2026 }) contract / refine / guard / try-catch`,
+          suggestion: first.cause ? `${first.cause} \u2192 ${first.kind === "ReferenceError" ? "re-export `export { x } from` \u4E0D\u662F\u5C40\u90E8\u7ED1\u5B9A\u2014\u2014\u6539 `import { x }` / @nudo:throws ReferenceError" : `@nudo:throws ${first.kind}  |  sidecar: fn({ \u2026 }): shape({ <body-read fields> })  |  refine / guard / try-catch`}` : first.kind === "ReferenceError" ? "re-export `export { x } from` \u4E0D\u662F\u5C40\u90E8\u7ED1\u5B9A\u2014\u2014\u6539 `import { x }` / @nudo:throws ReferenceError" : `@nudo:throws ${first.kind}  |  sidecar: fn({ \u2026 }): shape({ <body-read fields> })  |  refine / guard / try-catch`,
           fn: name,
           ...loc.line !== void 0 ? { line: loc.line } : {},
           ...loc.column !== void 0 ? { column: loc.column } : {}
@@ -2614,6 +2659,19 @@ function actionsForIssue(i) {
           label: "migration switch: ignore this throw class on L2"
         }
       ];
+    case "nudo:unproven-return":
+      return [
+        {
+          kind: "relax",
+          label: `relax the return contract${i.fn ? ` of ${i.fn}` : ""} to the inferred surface (review the diff \u2014 not a silent green)`,
+          ...i.expected ? { hint: i.expected } : {}
+        },
+        draft,
+        {
+          kind: "info",
+          label: "or narrow the return expression / add a precondition so the bound is implied"
+        }
+      ];
     case "nudo:unknown-inference":
     case "nudo:opaque-result":
       return [
@@ -2979,6 +3037,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 +3054,7 @@ export {
   TYPEOF_NAMES,
   abs,
   absFunction,
+  absOnly,
   absShapeKey,
   absToConstraint,
   absToString,
@@ -3031,6 +3093,7 @@ export {
   callAbsMethod,
   callAtFunctionBoundary,
   callTranspiledExport,
+  callTranspiledExportApply,
   callTranspiledExportFull,
   canonicalArrayIndex,
   checkArg,
@@ -3090,16 +3153,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 +3210,7 @@ export {
   interfaceDiagCount,
   interfaceSourceOf,
   interfaceTierOf,
+  isAbsApplyResult,
   isArrMutator,
   isBigPrim,
   isDefinitelyFalse,
@@ -3174,6 +3244,7 @@ export {
   leavePromiseExecutorScope,
   lenTerm,
   leqAbs,
+  listFnDirectiveScopes,
   listFunctionNames,
   lit,
   litC,
@@ -3186,6 +3257,7 @@ export {
   looseEqAbs,
   lt,
   ltNum,
+  makeAbsApplyResult,
   makeArrayCtorAbs,
   makeMapAbs,
   makeSetAbs,
@@ -3235,6 +3307,9 @@ export {
   or,
   pFalse,
   pTrue,
+  parseEnvPayload,
+  parseMockModulePayload,
+  parseNudoImportPayload,
   parseSource,
   partial,
   phiAnd,
@@ -3277,6 +3352,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';
 
 /**