@nudojs/core 1.2.2 → 1.3.0

package/dist/{chunk-TOURNNEA.js → chunk-5YNR4Q7E.js}

@@ -21,6 +21,7 @@ import {
   getFnImpl,
   getSlot,
   gt,
+  identBoundaryRegex,
   joinAbs,
   le,
   lit,
@@ -36,12 +37,69 @@ import {
   ptypeof,
   runTranspiledOptionsMemoKey,
   snapshotAbs,
+  stripStringsKeepComments,
   termToString,
   tryRunTranspiled,
   unknown,
   v,
-  withExecPhi
-} from "./chunk-4V3CRVSD.js";
+  withEvalBudgetOverride,
+  withExecPhi,
+  withFnBudgetOverride
+} from "./chunk-CKH6GQAI.js";
+
+// src/algebra/hash-source.ts
+var lastHashSource;
+var lastHashOut;
+function hashSource(s) {
+  if (s === lastHashSource && lastHashOut !== void 0) return lastHashOut;
+  let h1 = 2166136261;
+  let h2 = 2654435769;
+  for (let i = 0; i < s.length; i++) {
+    const c = s.charCodeAt(i);
+    h1 ^= c;
+    h1 = Math.imul(h1, 16777619);
+    h2 = Math.imul(h2 ^ c, 16777619);
+  }
+  lastHashSource = s;
+  lastHashOut = `${(h1 >>> 0).toString(36)}-${(h2 >>> 0).toString(36)}_${s.length.toString(36)}`;
+  return lastHashOut;
+}
+function resetHashSourceCache() {
+  lastHashSource = void 0;
+  lastHashOut = void 0;
+}
+
+// src/algebra/sidecar-path.ts
+function normPath(p) {
+  return p.replace(/\\/g, "/");
+}
+function resolveDepPath(fromFile, spec) {
+  const s = normPath(spec);
+  if (!s.startsWith(".")) return s;
+  const from = normPath(fromFile);
+  const i = from.lastIndexOf("/");
+  const base = i >= 0 ? from.slice(0, i) : "";
+  const parts = base ? base.split("/") : [];
+  for (const seg of s.split("/")) {
+    if (seg === "" || seg === ".") continue;
+    if (seg === "..") parts.pop();
+    else parts.push(seg);
+  }
+  return parts.join("/");
+}
+function isNodeModulesPath(p) {
+  const f = normPath(p);
+  if (f === "node_modules" || f.startsWith("node_modules/")) return true;
+  return f.includes("/node_modules/") || f.endsWith("/node_modules");
+}
+function sidecarPathOf(file) {
+  const f = normPath(file);
+  if (f.endsWith(".mjs")) return f.slice(0, -4) + ".nudo.js";
+  if (f.endsWith(".js")) return f.slice(0, -3) + ".nudo.js";
+  if (f.endsWith(".mts")) return f.slice(0, -4) + ".nudo.ts";
+  if (f.endsWith(".ts")) return f.slice(0, -3) + ".nudo.ts";
+  return `${f}.nudo.js`;
+}
 
 // src/algebra/constraint.ts
 var SELF = "__nudo_self__";
@@ -190,6 +248,28 @@ function union(...cs) {
     members: cs.map((c) => asNestedConstraint(c, "union member"))
   });
 }
+function nullable(c) {
+  return makeBuilder(void 0, [], {
+    members: [
+      asNestedConstraint(c, "nullable()"),
+      toPlainConstraint(litC(null)),
+      toPlainConstraint(litC(void 0))
+    ]
+  });
+}
+function constraintAdmitsNullish(c) {
+  if (c.members) return c.members.some((m) => constraintAdmitsNullish(m));
+  if (!c.prim && c.preds.length === 0 && !c.fields && !c.element && !c.fn) return true;
+  for (const p of c.preds) {
+    for (const flat of p.op === "and" ? p.args : [p]) {
+      if (flat.op !== "eq") continue;
+      for (const side of [flat.a, flat.b]) {
+        if (side.op === "lit" && (side.value === null || side.value === void 0)) return true;
+      }
+    }
+  }
+  return false;
+}
 function fn(params, returns, opts) {
   const normalized = {};
   for (const [k, v2] of Object.entries(params)) {
@@ -388,21 +468,26 @@ function memberLitValue(m) {
     leaves.push(p2);
   };
   m.preds.forEach(visit2);
-  if (leaves.length !== 1) return void 0;
+  if (leaves.length !== 1) return { ok: false };
   const p = leaves[0];
-  if (p.op !== "eq") return void 0;
-  if (p.a.op === "var" && p.b.op === "lit") return p.b.value;
-  if (p.b.op === "var" && p.a.op === "lit") return p.a.value;
-  return void 0;
+  if (p.op !== "eq") return { ok: false };
+  if (p.a.op === "var" && p.b.op === "lit") {
+    return { ok: true, v: p.b.value };
+  }
+  if (p.b.op === "var" && p.a.op === "lit") {
+    return { ok: true, v: p.a.value };
+  }
+  return { ok: false };
 }
 function samePrimLiteralUnionAbs(members, t) {
   if (members.length === 0) return void 0;
   const values = [];
   let prim;
   for (const m of members) {
-    const v2 = memberLitValue(m);
-    if (v2 === void 0) return void 0;
-    if (v2 === null) return void 0;
+    const mk = memberLitValue(m);
+    if (!mk.ok) return void 0;
+    const v2 = mk.v;
+    if (v2 === void 0 || v2 === null) return void 0;
     const mp = m.prim ?? (typeof v2 === "number" ? "number" : typeof v2 === "string" ? "string" : "boolean");
     if (prim === void 0) prim = mp;
     else if (prim !== mp) return void 0;
@@ -461,10 +546,10 @@ function constraintOnTermAbs(c, t) {
   if (c.prim) {
     return abs({ k: "prim", type: c.prim }, t, predOut, "path");
   }
-  const allEqNull = c.preds.length > 0 && c.preds.every(
-    (p) => p.op === "eq" && (p.b.op === "lit" && p.b.value === null || p.a.op === "lit" && p.a.value === null)
+  const allEqNullish = c.preds.length > 0 && c.preds.every(
+    (p) => p.op === "eq" && (p.b.op === "lit" && (p.b.value === null || p.b.value === void 0) || p.a.op === "lit" && (p.a.value === null || p.a.value === void 0))
   );
-  if (allEqNull) {
+  if (allEqNullish) {
     return abs({ k: "unknown" }, t, predOut, "path");
   }
   if (c.preds.length > 0) {
@@ -505,60 +590,6 @@ function throwConstraintToKinds(c) {
   return void 0;
 }
 
-// src/algebra/hash-source.ts
-var lastHashSource;
-var lastHashOut;
-function hashSource(s) {
-  if (s === lastHashSource && lastHashOut !== void 0) return lastHashOut;
-  let h1 = 2166136261;
-  let h2 = 2654435769;
-  for (let i = 0; i < s.length; i++) {
-    const c = s.charCodeAt(i);
-    h1 ^= c;
-    h1 = Math.imul(h1, 16777619);
-    h2 = Math.imul(h2 ^ c, 16777619);
-  }
-  lastHashSource = s;
-  lastHashOut = `${(h1 >>> 0).toString(36)}-${(h2 >>> 0).toString(36)}_${s.length.toString(36)}`;
-  return lastHashOut;
-}
-function resetHashSourceCache() {
-  lastHashSource = void 0;
-  lastHashOut = void 0;
-}
-
-// src/algebra/sidecar-path.ts
-function normPath(p) {
-  return p.replace(/\\/g, "/");
-}
-function resolveDepPath(fromFile, spec) {
-  const s = normPath(spec);
-  if (!s.startsWith(".")) return s;
-  const from = normPath(fromFile);
-  const i = from.lastIndexOf("/");
-  const base = i >= 0 ? from.slice(0, i) : "";
-  const parts = base ? base.split("/") : [];
-  for (const seg of s.split("/")) {
-    if (seg === "" || seg === ".") continue;
-    if (seg === "..") parts.pop();
-    else parts.push(seg);
-  }
-  return parts.join("/");
-}
-function isNodeModulesPath(p) {
-  const f = normPath(p);
-  if (f === "node_modules" || f.startsWith("node_modules/")) return true;
-  return f.includes("/node_modules/") || f.endsWith("/node_modules");
-}
-function sidecarPathOf(file) {
-  const f = normPath(file);
-  if (f.endsWith(".mjs")) return f.slice(0, -4) + ".nudo.js";
-  if (f.endsWith(".js")) return f.slice(0, -3) + ".nudo.js";
-  if (f.endsWith(".mts")) return f.slice(0, -4) + ".nudo.ts";
-  if (f.endsWith(".ts")) return f.slice(0, -3) + ".nudo.ts";
-  return `${f}.nudo.js`;
-}
-
 // src/algebra/refine.ts
 function extractNudoImports(source) {
   const out = [];
@@ -624,7 +655,8 @@ var sidecarInjects = {
   and: andC,
   partial,
   pick,
-  omit
+  omit,
+  nullable
 };
 function isSidecarSpec(spec) {
   return spec.endsWith(".nudo.js") || spec.endsWith(".nudo.ts");
@@ -974,6 +1006,7 @@ function execNudoModule(src, opts) {
   return execNudoModuleCached(src, opts ?? {});
 }
 var nudoModuleExecCache = /* @__PURE__ */ new Map();
+var nudoModuleFailCache = /* @__PURE__ */ new Map();
 var MAX_NUDO_MODULE_EXEC = 64;
 var MAX_SIDECAR_CLOSURE = 64;
 function sidecarDepClosure(src, fromFile, loadModule, out) {
@@ -1020,19 +1053,34 @@ function execNudoModuleCached(src, opts) {
       nudoModuleExecCache.set(key, hit);
       return hit;
     }
+    if (nudoModuleFailCache.has(key)) {
+      throw nudoModuleFailCache.get(key);
+    }
   }
-  const out = execSidecar(src, opts, opts.fromFile ? [opts.fromFile] : [], preloaded);
-  if (key !== void 0) {
-    if (nudoModuleExecCache.size >= MAX_NUDO_MODULE_EXEC) {
-      const oldest = nudoModuleExecCache.keys().next().value;
-      if (oldest !== void 0) nudoModuleExecCache.delete(oldest);
+  try {
+    const out = execSidecar(src, opts, opts.fromFile ? [opts.fromFile] : [], preloaded);
+    if (key !== void 0) {
+      if (nudoModuleExecCache.size >= MAX_NUDO_MODULE_EXEC) {
+        const oldest = nudoModuleExecCache.keys().next().value;
+        if (oldest !== void 0) nudoModuleExecCache.delete(oldest);
+      }
+      nudoModuleExecCache.set(key, out);
     }
-    nudoModuleExecCache.set(key, out);
+    return out;
+  } catch (e) {
+    if (key !== void 0) {
+      if (nudoModuleFailCache.size >= MAX_NUDO_MODULE_EXEC) {
+        const oldest = nudoModuleFailCache.keys().next().value;
+        if (oldest !== void 0) nudoModuleFailCache.delete(oldest);
+      }
+      nudoModuleFailCache.set(key, e);
+    }
+    throw e;
   }
-  return out;
 }
 function resetNudoModuleExecCache() {
   nudoModuleExecCache.clear();
+  nudoModuleFailCache.clear();
 }
 function collectConstraints(source, opts) {
   const map = /* @__PURE__ */ new Map();
@@ -1102,9 +1150,9 @@ function collectConstraints(source, opts) {
   return map;
 }
 function extractRefineLines(source, fnName) {
-  const escaped = fnName.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
+  const escaped = identBoundaryRegex(fnName);
   const fnRe = new RegExp(
-    `(?:export\\s+(?:default\\s+)?)?(?:async\\s+)?(?:function\\s+${escaped}\\b|const\\s+${escaped}\\s*=)`
+    `(?:export\\s+(?:default\\s+)?)?(?:async\\s+)?(?:function\\s+${escaped}|const\\s+${escaped}\\s*=)`
   );
   const m = source.match(fnRe);
   if (!m || m.index === void 0) return [];
@@ -1124,7 +1172,7 @@ function extractRefineLines(source, fnName) {
   return reqs;
 }
 function extractRefinesFromSource(source, fnName, opts = {}) {
-  if (!source.includes("@nudo:contract")) return [];
+  if (!stripStringsKeepComments(source).includes("@nudo:contract")) return [];
   const constraints = collectConstraints(source, opts);
   const out = [];
   for (const line of extractRefineLines(source, fnName)) {
@@ -1155,7 +1203,7 @@ function refineToIndexedFull(source, fnName, paramNames, opts = {}) {
   return out;
 }
 function extractRefineReturnFromSource(source, fnName, opts = {}) {
-  if (!source.includes("@nudo:contract")) return void 0;
+  if (!stripStringsKeepComments(source).includes("@nudo:contract")) return void 0;
   const constraints = collectConstraints(source, opts);
   for (const line of extractRefineLines(source, fnName)) {
     const parts = line.split(/&&|,/).map((s) => s.trim()).filter(Boolean);
@@ -1171,14 +1219,15 @@ function extractRefineReturnFromSource(source, fnName, opts = {}) {
   return void 0;
 }
 function extractDeclaredThrows(source, fnName) {
-  if (!source.includes("@nudo:throws") && !source.includes("!! throws")) {
+  const directiveSrc = stripStringsKeepComments(source);
+  if (!directiveSrc.includes("@nudo:throws") && !directiveSrc.includes("!! throws")) {
     return void 0;
   }
   const kinds = /* @__PURE__ */ new Set();
   let any2 = false;
-  const escaped = fnName.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
+  const escaped = identBoundaryRegex(fnName);
   const fnRe = new RegExp(
-    `(?:export\\s+(?:default\\s+)?)?(?:async\\s+)?(?:function\\s+${escaped}\\b|const\\s+${escaped}\\s*=)`
+    `(?:export\\s+(?:default\\s+)?)?(?:async\\s+)?(?:function\\s+${escaped}|const\\s+${escaped}\\s*=)`
   );
   const m = source.match(fnRe);
   if (!m || m.index === void 0) return void 0;
@@ -1225,6 +1274,48 @@ function extractDeclaredThrows(source, fnName) {
   if (kinds.size > 0) return [...kinds];
   return void 0;
 }
+function extractFnBudget(source, fnName) {
+  const directiveSrc = stripStringsKeepComments(source);
+  if (!directiveSrc.includes("@nudo:budget")) return void 0;
+  const escaped = identBoundaryRegex(fnName);
+  const fnRe = new RegExp(
+    `(?:export\\s+(?:default\\s+)?)?(?:async\\s+)?(?:function\\s+${escaped}|const\\s+${escaped}\\s*=)`
+  );
+  const m = source.match(fnRe);
+  if (!m || m.index === void 0) return void 0;
+  const before = source.slice(0, m.index);
+  const lines = before.split("\n");
+  let seenComment = false;
+  const out = {};
+  for (let i = lines.length - 1; i >= 0; i--) {
+    const line = lines[i].trim();
+    if (line === "") {
+      if (seenComment) break;
+      continue;
+    }
+    if (line === "*/") continue;
+    if (line.startsWith("*") || line.startsWith("/*") || line.startsWith("//")) {
+      seenComment = true;
+      const body = line.replace(/^[*/\s]+/, "").replace(/\*\/$/, "").trim();
+      const bd = body.match(/@nudo:budget\s+(.+)$/i);
+      if (bd) {
+        for (const part of bd[1].split(/[,\s|]+/).map((s) => s.trim()).filter(Boolean)) {
+          const kv = part.match(/^(forks|calls|depth)\s*=\s*(\d+)$/i);
+          if (kv) {
+            const n = Number(kv[2]);
+            if (Number.isFinite(n) && n >= 1) {
+              const key = kv[1].toLowerCase();
+              out[key] = Math.floor(n);
+            }
+          }
+        }
+      }
+      continue;
+    }
+    break;
+  }
+  return Object.keys(out).length > 0 ? out : void 0;
+}
 
 // src/algebra/interface.ts
 var interfaceDiagCollector = null;
@@ -1321,11 +1412,24 @@ function localNamedExports(source) {
   for (const stmt of ast.program.body) {
     const s = stmt;
     if (s.type === "ExportNamedDeclaration") {
-      if (s.source) continue;
+      if (s.source) {
+        const specs = s.specifiers ?? [];
+        for (const spec of specs) {
+          if (spec.type !== "ExportNamespaceSpecifier") continue;
+          const name = identName(spec.exported);
+          if (name) out.add(name);
+        }
+        continue;
+      }
       const d = s.declaration;
       if (!d) {
         const specs = s.specifiers ?? [];
         for (const spec of specs) {
+          if (spec.type === "ExportNamespaceSpecifier") {
+            const name2 = identName(spec.exported);
+            if (name2) out.add(name2);
+            continue;
+          }
           if (spec.type !== "ExportSpecifier") continue;
           const name = identName(spec.exported);
           if (!name) continue;
@@ -1473,17 +1577,53 @@ function sidecarAutoBindAllowed(sidecarPath, autoBind, projectDir) {
   return false;
 }
 function isDefaultExportLocal(source, localName) {
+  const name = identBoundaryRegex(localName);
   const reList = new RegExp(
-    `export\\s*\\{[^}]*\\b${localName}\\s+as\\s+default\\b[^}]*\\}`,
+    `export\\s*\\{[^}]*${name}\\s+as\\s+default(?![\\w$])[^}]*\\}`,
     "m"
   );
   const reDefaultFn = new RegExp(
-    `export\\s+default\\s+(?:async\\s+)?function\\s+${localName}\\b`,
+    `export\\s+default\\s+(?:async\\s+)?function\\s+${name}`,
+    "m"
+  );
+  const reDefaultId = new RegExp(
+    `export\\s+default\\s+${name}`,
     "m"
   );
-  const reDefaultId = new RegExp(`export\\s+default\\s+${localName}\\b`, "m");
   return reList.test(source) || reDefaultFn.test(source) || reDefaultId.test(source);
 }
+function sidecarExportNames(sidecarSrc) {
+  try {
+    return localNamedExports(sidecarSrc);
+  } catch {
+    return void 0;
+  }
+}
+function sidecarMayBind(sidecarNames, fnName, source) {
+  if (!sidecarNames) return true;
+  if (sidecarNames.size === 0) return true;
+  if (sidecarNames.has(fnName)) return true;
+  if (sidecarNames.has("default") && isDefaultExportLocal(source, fnName)) return true;
+  if (fnName.includes(".")) {
+    const [cls, method] = fnName.split(".", 2);
+    if (cls && method) {
+      if (sidecarNames.has(`${cls}_${method}`)) return true;
+      if (sidecarNames.has(cls)) return true;
+      if (sidecarNames.has(method)) return true;
+    }
+  }
+  return false;
+}
+var sidecarLoadFailures = /* @__PURE__ */ new Map();
+function noteSidecarLoadFailure(sidecarPath, reason) {
+  const key = `${sidecarPath}\0${reason}`;
+  if (sidecarLoadFailures.has(key)) return false;
+  sidecarLoadFailures.set(key, reason);
+  return true;
+}
+function resetSidecarLoadFailureCache() {
+  sidecarLoadFailures.clear();
+}
 function loadSidecarBinding(source, fnName, opts) {
   const { loadModule, fromFile, autoBind, projectDir } = opts;
   if (!loadModule || !fromFile) return { ok: false };
@@ -1494,15 +1634,30 @@ function loadSidecarBinding(source, fnName, opts) {
   const sidecarSrc = loadModule(spec, fromFile);
   if (sidecarSrc === void 0) return { ok: false };
   if (sidecarSrc === source) return { ok: false };
+  const scNames = sidecarExportNames(sidecarSrc);
+  if (!sidecarMayBind(scNames, fnName, source)) return { ok: false };
   let exports;
   try {
     exports = execNudoModule(sidecarSrc, { loadModule, fromFile: sidecarPath });
   } catch (e) {
-    collectDiag2({
-      code: e instanceof NudoSidecarError ? e.code : "nudo:interface-load",
-      message: `sidecar '${spec}' for '${fnName}' failed: ${e instanceof Error ? e.message : String(e)}`,
-      file: sidecarPath
-    });
+    const reason = e instanceof Error ? e.message : String(e);
+    const code = e instanceof NudoSidecarError ? e.code : "nudo:interface-load";
+    if (noteSidecarLoadFailure(sidecarPath, reason)) {
+      let affected = 1;
+      if (scNames && scNames.size > 0) {
+        const srcExports = localNamedExports(source);
+        let n = 0;
+        for (const name of srcExports) {
+          if (sidecarMayBind(scNames, name, source)) n++;
+        }
+        if (n > 0) affected = n;
+      }
+      collectDiag2({
+        code,
+        message: affected > 1 ? `sidecar '${spec}' failed to load: ${reason} (affects ${affected} bindings)` : `sidecar '${spec}' failed to load: ${reason}`,
+        file: sidecarPath
+      });
+    }
     return { ok: false };
   }
   let binding = exports[fnName];
@@ -1585,14 +1740,17 @@ function eqLitsOf(c) {
     if (p.op !== "eq") return;
     let term;
     let value;
+    let hasLit = false;
     if (p.a.op === "var" && p.b.op === "lit") {
       term = p.a;
       value = p.b.value;
+      hasLit = true;
     } else if (p.b.op === "var" && p.a.op === "lit") {
       term = p.b;
       value = p.a.value;
+      hasLit = true;
     }
-    if (term !== void 0 && value !== void 0) {
+    if (term !== void 0 && hasLit) {
       out.push({ term: termToString(term), value });
     }
   };
@@ -2055,7 +2213,7 @@ function hasModuleSyntax(file) {
   return false;
 }
 function canSkipLiteralCallScan(source, file) {
-  if (source.includes("@nudo:contract")) return false;
+  if (stripStringsKeepComments(source).includes("@nudo:contract")) return false;
   if (hasModuleSyntax(file)) return false;
   if (hasAnyCallLike(file)) return false;
   const fps = fnFingerprints(source, file);
@@ -2209,6 +2367,8 @@ function predKey(p, rename) {
       return `not(${predKey(p.arg, rename)})`;
     case "typeof":
       return `typeof(${termKey(p.t, rename)},${p.type})`;
+    case "assumeFinite":
+      return `assumeFinite(${termKey(p.t, rename)})`;
   }
 }
 function shapeKey(s, seen, rename) {
@@ -2359,6 +2519,8 @@ function renamePred(p, map) {
       return { op: "not", arg: renamePred(p.arg, map) };
     case "typeof":
       return { op: "typeof", t: renameTerm(p.t, map), type: p.type };
+    case "assumeFinite":
+      return { op: "assumeFinite", t: renameTerm(p.t, map) };
   }
 }
 function renameAbs(a, map) {
@@ -2993,6 +3155,23 @@ function extractFn(source, fnName, fileAst) {
       registerFnNode(propName, right);
     }
   }
+  for (const stmt of file.program.body) {
+    if (stmt.type !== "ExportNamedDeclaration" || stmt.declaration) continue;
+    if (stmt.source) continue;
+    const specs = stmt.specifiers ?? [];
+    for (const spec of specs) {
+      if (spec.type !== "ExportSpecifier") continue;
+      const localName = spec.local?.name;
+      const exportedName = spec.exported?.name ?? spec.exported?.value;
+      if (!localName || exportedName == null) continue;
+      const exp = String(exportedName);
+      if (exp === localName || env.fns.has(exp)) continue;
+      const target = env.fns.get(localName);
+      if (!target) continue;
+      env.fns.set(exp, target);
+      formalsByName.set(exp, formalsByName.get(localName) ?? []);
+    }
+  }
   const fn2 = env.fns.get(fnName);
   if (!fn2) return void 0;
   return { params: fn2.params, body: fn2.body, env, formals: formalsByName.get(fnName) ?? [] };
@@ -3027,7 +3206,7 @@ function generalizeFromAstUncached(fnName, source, opts = {}) {
   if (opts.refine) {
     try {
       const r = opts.refine;
-      const hasDirective = source.includes("@nudo:contract") || source.includes("@nudo:contract");
+      const hasDirective = stripStringsKeepComments(source).includes("@nudo:contract");
       const sc = opts.sidecarFp ?? (r.loadModule && r.fromFile ? sidecarClosureFingerprint(r.fromFile, r) : void 0);
       const eff = hasDirective || sc !== void 0 ? effectiveInterface(source, fnName, r) : void 0;
       const reqs = eff?.params ?? [];
@@ -3036,6 +3215,7 @@ function generalizeFromAstUncached(fnName, source, opts = {}) {
           param: e.param,
           pred: instantiateConstraint(e.constraint, e.param)
         }));
+        const patternFields = /* @__PURE__ */ new Map();
         for (const e of reqs) {
           const idx = params.indexOf(e.param);
           if (idx >= 0) {
@@ -3048,8 +3228,55 @@ function generalizeFromAstUncached(fnName, source, opts = {}) {
               abs: snapshotAbs(entryAbs),
               source: "refine"
             });
+            continue;
+          }
+          const hit = formals.length > 0 ? locateContractParam(formals, e.param) : void 0;
+          if (hit && hit.field !== void 0) {
+            let bag = patternFields.get(hit.index);
+            if (!bag) {
+              bag = {};
+              patternFields.set(hit.index, bag);
+            }
+            const fieldAbs = constraintToEntryAbs(e.constraint, e.param);
+            bag[hit.field] = {
+              abs: fieldAbs,
+              ...e.constraint.isOptional ? { optional: true } : {}
+            };
+          } else if (hit) {
+            const entryAbs = constraintToEntryAbs(e.constraint, e.param);
+            typeParams[hit.index] = {
+              id: typeParams[hit.index].id,
+              value: entryAbs
+            };
+            refineEntryShapes.set(e.param, {
+              abs: snapshotAbs(entryAbs),
+              source: "refine"
+            });
           }
         }
+        for (const [pIdx, bag] of patternFields) {
+          const slots = {};
+          for (const [key, rec] of Object.entries(bag)) {
+            slots[key] = {
+              value: rec.abs,
+              ...rec.optional ? { optional: true } : {}
+            };
+          }
+          const objAbs = abs(
+            { k: "obj", slots },
+            v(params[pIdx] ?? `_p${pIdx}`),
+            void 0,
+            "path"
+          );
+          typeParams[pIdx] = {
+            id: typeParams[pIdx].id,
+            value: objAbs
+          };
+          refineEntryShapes.set(params[pIdx] ?? `_p${pIdx}`, {
+            abs: snapshotAbs(objAbs),
+            source: "refine"
+          });
+        }
       }
     } catch {
     }
@@ -3080,17 +3307,49 @@ function generalizeFromAstUncached(fnName, source, opts = {}) {
   const hasMocks = inject && Object.keys(inject.mocks ?? {}).length > 0;
   const hasEnv = inject && Object.keys(inject.envGlobals ?? {}).length > 0;
   const hasReps = inject && Object.keys(inject.replacements ?? {}).length > 0;
-  const hasFnMockDirective = /@nudo:mock\s+\w+\s*(?:=|from\b)/.test(source);
-  const hasModMockDirective = /@nudo:mock-module\b/.test(source);
+  const directiveSrc = stripStringsKeepComments(source);
+  const hasFnMockDirective = /@nudo:mock\s+\w+\s*(?:=|from\b)/.test(directiveSrc);
+  const hasModMockDirective = /@nudo:mock-module\b/.test(directiveSrc);
   const hasModInject = inject && inject.modules && Object.keys(inject.modules).length > 0;
   const mockGated = hasFnMockDirective && !hasMocks || hasModMockDirective && !hasModInject;
-  const envGatedSource = /@nudo:env\b/.test(source) && !hasEnv;
+  const envGatedSource = /@nudo:env\b/.test(directiveSrc) && !hasEnv;
   const boundNames = formals.flatMap(
     (f) => f.kind === "pattern" ? f.bound : [f.name]
   );
   const envGated = envGatedSource && freeIdentifiers(body, boundNames).size > 0;
-  const replaceGated = /@nudo:replace\b/.test(source) && !hasReps;
+  const replaceGated = /@nudo:replace\b/.test(directiveSrc) && !hasReps;
   const evalEligible = !unresolvableImports && !mockGated && !envGated && !replaceGated;
+  const fnBudget = extractFnBudget(source, fnName);
+  const runCore = (args, phi) => {
+    if (!evalEligible) return void 0;
+    try {
+      const evalRun = evalRunOf(source, opts.modules, opts.inject);
+      if (!evalRun) {
+        return void 0;
+      } else if (fnName.includes(".")) {
+        const [clsName, methodName] = fnName.split(".", 2);
+        const clsAbs = evalRun[clsName ?? ""];
+        if (clsAbs && typeof clsAbs === "object" && "shape" in clsAbs) {
+          const nCtor = ctorParamCountOf(fileAst, clsName ?? "");
+          const inst = $new(clsAbs, Array.from({ length: nCtor }, () => abs({ k: "any" }, void 0, pTrue, "path")));
+          return withExecPhi(phi, () => $invoke(inst, methodName ?? "", args));
+        }
+        return void 0;
+      } else if (fnName in evalRun) {
+        const evalArgs = args.map((a, i) => {
+          const shape2 = promoteScan.promotedShapes.get(params[i]);
+          if (shape2 && (a.shape.k === "any" || a.shape.k === "unknown")) {
+            return { shape: shape2, term: a.term, pred: a.pred, conf: "path" };
+          }
+          return a;
+        });
+        return callTranspiledExportFull(evalRun, fnName, evalArgs, { phi }).result;
+      }
+      return void 0;
+    } catch {
+      return void 0;
+    }
+  };
   const run = (args, phi = pTrue) => {
     const { key, varOrder } = instantiateMemoKey(args, phi);
     const hit = instMemo.get(key);
@@ -3098,30 +3357,14 @@ function generalizeFromAstUncached(fnName, source, opts = {}) {
       return alphaRenameResult(hit.result, hit.varOrder, varOrder);
     }
     let result;
-    if (evalEligible) {
-      try {
-        const evalRun = evalRunOf(source, opts.modules, opts.inject);
-        if (!evalRun) {
-        } else if (fnName.includes(".")) {
-          const [clsName, methodName] = fnName.split(".", 2);
-          const clsAbs = evalRun[clsName ?? ""];
-          if (clsAbs && typeof clsAbs === "object" && "shape" in clsAbs) {
-            const nCtor = ctorParamCountOf(fileAst, clsName ?? "");
-            const inst = $new(clsAbs, Array.from({ length: nCtor }, () => abs({ k: "any" }, void 0, pTrue, "path")));
-            result = withExecPhi(phi, () => $invoke(inst, methodName ?? "", args));
-          }
-        } else if (fnName in evalRun) {
-          const evalArgs = args.map((a, i) => {
-            const shape2 = promoteScan.promotedShapes.get(params[i]);
-            if (shape2 && (a.shape.k === "any" || a.shape.k === "unknown")) {
-              return { shape: shape2, term: a.term, pred: a.pred, conf: "path" };
-            }
-            return a;
-          });
-          result = callTranspiledExportFull(evalRun, fnName, evalArgs, { phi }).result;
-        }
-      } catch {
-      }
+    if (fnBudget) {
+      withFnBudgetOverride(fnBudget, () => {
+        withEvalBudgetOverride(fnBudget, () => {
+          result = runCore(args, phi);
+        });
+      });
+    } else {
+      result = runCore(args, phi);
     }
     if (result === void 0) {
       result = abs({ k: "unknown" }, void 0, void 0, "opaque");
@@ -3689,6 +3932,7 @@ function resolveExportSource(modSrc, fnName, loadSpecFrom, depth = 0, baseFromFi
   }
   const file = parseSource(modSrc);
   let nextSpec;
+  let nextFnName = fnName;
   for (const stmt of file.program.body) {
     if (stmt.type !== "ExportNamedDeclaration" && stmt.type !== "ExportAllDeclaration") continue;
     const src = stmt.source;
@@ -3701,8 +3945,11 @@ function resolveExportSource(modSrc, fnName, loadSpecFrom, depth = 0, baseFromFi
     for (const sp of clause) {
       if (sp.type !== "ExportSpecifier") continue;
       const local = sp.local;
-      if (local?.type === "Identifier" && local.name === fnName) {
+      const exported = sp.exported ?? sp.local;
+      const exportedName = exported?.type === "Identifier" ? exported.name : exported && "value" in exported ? String(exported.value ?? "") : void 0;
+      if (exportedName === fnName) {
         nextSpec = String(src.value);
+        nextFnName = local?.type === "Identifier" && local.name ? local.name : fnName;
         break;
       }
     }
@@ -3715,7 +3962,7 @@ function resolveExportSource(modSrc, fnName, loadSpecFrom, depth = 0, baseFromFi
   const nextFromFile = hopFrom ? resolveDepPath(hopFrom, nextSpec) : "";
   return resolveExportSource(
     next,
-    fnName,
+    nextFnName,
     loadSpecFrom,
     depth + 1,
     baseFromFile,
@@ -4845,6 +5092,12 @@ function scanLiteralCalls(source, knownFns, phi, opts) {
 }
 
 export {
+  hashSource,
+  resetHashSourceCache,
+  normPath,
+  resolveDepPath,
+  isNodeModulesPath,
+  sidecarPathOf,
   SELF,
   getTerm,
   lenTerm,
@@ -4858,21 +5111,18 @@ export {
   shape,
   litC,
   union,
+  nullable,
+  constraintAdmitsNullish,
   fn,
   andC,
   partial,
   pick,
   omit,
   instantiateConstraint,
+  instantiateOnTerm,
   constraintToEntryAbs,
   fnConstraintToEntryReqs,
   throwConstraintToKinds,
-  hashSource,
-  resetHashSourceCache,
-  normPath,
-  resolveDepPath,
-  isNodeModulesPath,
-  sidecarPathOf,
   extractNudoImports,
   setRefineDiagCollector,
   refineDiagCount,
@@ -4885,12 +5135,14 @@ export {
   refineToIndexedFull,
   extractRefineReturnFromSource,
   extractDeclaredThrows,
+  extractFnBudget,
   setInterfaceDiagCollector,
   interfaceDiagCount,
   takeInterfaceDiags,
   takeInterfaceDiagsSince,
   localNamedExports,
   generatedExportNames,
+  resetSidecarLoadFailureCache,
   effectiveInterface,
   sidecarClosureFingerprint,
   formatConstraint,