@nudojs/core 1.9.2 → 1.9.4

package/dist/{chunk-XR3TE4C2.js → chunk-PGTNSUTE.js}

@@ -4612,7 +4612,12 @@ var NudoUnsupportedError = class extends Error {
 };
 
 // src/algebra/param-surface.ts
-function collectPatternNames(p, top, nested, depth, propKey) {
+function pushNestedPath(prefix, key, nestedPaths) {
+  if (prefix.length === 0 || !key) return;
+  if (key.includes(".") || prefix.some((seg) => seg.includes("."))) return;
+  nestedPaths.push([...prefix, key].join("."));
+}
+function collectPatternNames(p, top, nested, depth, propKey, prefix, nestedPaths) {
   if (!p) return;
   if (p.type === "Identifier" && p.name) {
     if (depth === 0) top.push(p.name);
@@ -4620,17 +4625,17 @@ function collectPatternNames(p, top, nested, depth, propKey) {
     return;
   }
   if (p.type === "AssignmentPattern") {
-    collectPatternNames(p.left, top, nested, depth, propKey);
+    collectPatternNames(p.left, top, nested, depth, propKey, prefix, nestedPaths);
     return;
   }
   if (p.type === "RestElement") {
-    collectPatternNames(p.argument, top, nested, depth, propKey);
+    collectPatternNames(p.argument, top, nested, depth, propKey, prefix, nestedPaths);
     return;
   }
   if (p.type === "ObjectPattern") {
     for (const prop of p.properties ?? []) {
       if (prop.type === "RestElement" || prop.argument) {
-        collectPatternNames(prop.argument, top, nested, depth, propKey);
+        collectPatternNames(prop.argument, top, nested, depth, propKey, prefix, nestedPaths);
         continue;
       }
       const keyName = prop.key?.type === "Identifier" && prop.key.name ? prop.key.name : prop.key && "value" in prop.key ? String(prop.key.value ?? "") : void 0;
@@ -4642,7 +4647,17 @@ function collectPatternNames(p, top, nested, depth, propKey) {
         else nested.push(keyName);
         if (propKey && depth === 0) propKey[keyName] = keyName;
       }
+      const patternValueKeyRule = () => {
+        if (!keyName) return;
+        if (depth === 0 && prefix.length === 0) {
+          top.push(keyName);
+          if (propKey) propKey[keyName] = keyName;
+        } else {
+          pushNestedPath(prefix, keyName, nestedPaths);
+        }
+      };
       if (v2.type === "Identifier" && v2.name) {
+        pushNestedPath(prefix, keyName ?? "", nestedPaths);
         if (depth === 0) {
           top.push(v2.name);
           if (propKey && keyName) propKey[v2.name] = keyName;
@@ -4650,15 +4665,38 @@ function collectPatternNames(p, top, nested, depth, propKey) {
       } else if (v2.type === "AssignmentPattern") {
         const left = v2.left;
         if (left?.type === "Identifier" && left.name) {
+          pushNestedPath(prefix, keyName ?? "", nestedPaths);
           if (depth === 0) {
             top.push(left.name);
             if (propKey && keyName) propKey[left.name] = keyName;
           } else nested.push(left.name);
+        } else if (left && (left.type === "ObjectPattern" || left.type === "ArrayPattern")) {
+          patternValueKeyRule();
+          collectPatternNames(
+            v2,
+            top,
+            nested,
+            depth,
+            propKey,
+            prefix.concat(keyName ? [keyName] : []),
+            nestedPaths
+          );
         } else {
-          collectPatternNames(v2, top, nested, depth, propKey);
+          collectPatternNames(v2, top, nested, depth, propKey, prefix, nestedPaths);
         }
+      } else if (v2.type === "ObjectPattern" || v2.type === "ArrayPattern") {
+        patternValueKeyRule();
+        collectPatternNames(
+          v2,
+          top,
+          nested,
+          depth + 1,
+          propKey,
+          prefix.concat(keyName ? [keyName] : []),
+          nestedPaths
+        );
       } else {
-        collectPatternNames(v2, top, nested, depth + 1, propKey);
+        collectPatternNames(v2, top, nested, depth + 1, propKey, prefix, nestedPaths);
       }
     }
     return;
@@ -4670,9 +4708,9 @@ function collectPatternNames(p, top, nested, depth, propKey) {
         if (depth === 0) top.push(el.name);
         else nested.push(el.name);
       } else if (el.type === "AssignmentPattern") {
-        collectPatternNames(el, top, nested, depth, propKey);
+        collectPatternNames(el, top, nested, depth, propKey, [], nestedPaths);
       } else {
-        collectPatternNames(el, top, nested, depth + 1, propKey);
+        collectPatternNames(el, top, nested, depth + 1, propKey, [], nestedPaths);
       }
     }
   }
@@ -4691,13 +4729,15 @@ function formalParamsFromNodes(params) {
       const top2 = [];
       const nested2 = [];
       const propKey2 = {};
-      if (left) collectPatternNames(left, top2, nested2, 0, propKey2);
+      const nestedPaths2 = [];
+      if (left) collectPatternNames(left, top2, nested2, 0, propKey2, [], nestedPaths2);
       return {
         kind: "pattern",
         placeholder: `_p${index}`,
         bound: top2,
         propKey: propKey2,
         nested: nested2,
+        nestedPaths: nestedPaths2,
         index
       };
     }
@@ -4709,13 +4749,15 @@ function formalParamsFromNodes(params) {
     const top = [];
     const nested = [];
     const propKey = {};
-    if (p) collectPatternNames(p, top, nested, 0, propKey);
+    const nestedPaths = [];
+    if (p) collectPatternNames(p, top, nested, 0, propKey, [], nestedPaths);
     return {
       kind: "pattern",
       placeholder: `_p${index}`,
       bound: top,
       propKey,
       nested,
+      nestedPaths,
       index
     };
   });
@@ -4757,6 +4799,7 @@ function contractParamNameSet(formals) {
       out.add(f.placeholder);
       out.add("_");
       for (const b of f.bound) out.add(b);
+      for (const np of f.nestedPaths) out.add(np);
     }
   }
   return out;
@@ -4774,10 +4817,16 @@ function locateContractParam(formals, contractName) {
         return { index: f.index };
       }
       if (f.bound.includes(contractName)) {
-        return { index: f.index, field: f.propKey?.[contractName] ?? contractName };
+        const field = f.propKey?.[contractName] ?? contractName;
+        return { index: f.index, field, fieldPath: [field] };
       }
     }
   }
+  for (const f of formals) {
+    if (f.kind === "pattern" && f.nestedPaths.includes(contractName)) {
+      return { index: f.index, field: contractName, fieldPath: contractName.split(".") };
+    }
+  }
   return void 0;
 }
 
@@ -6087,9 +6136,17 @@ var memberGuardTarget = (n) => {
   const t = n;
   const m = t?.type === "ChainExpression" ? t.expression : t;
   if (m?.type !== "MemberExpression" && m?.type !== "OptionalMemberExpression") return void 0;
-  if (m.computed) return void 0;
   if (m.object?.type !== "Identifier" || !m.object.name) return void 0;
   const p = m.property;
+  if (m.computed) {
+    if (p?.type === "NumericLiteral" && typeof p.value === "number") {
+      return { name: m.object.name, key: String(p.value) };
+    }
+    if (p?.type === "StringLiteral" && typeof p.value === "string" && /^-?\d+$/.test(p.value)) {
+      return { name: m.object.name, key: p.value };
+    }
+    return void 0;
+  }
   const key = p?.type === "Identifier" ? p.name : p?.type === "StringLiteral" && typeof p.value === "string" ? p.value : void 0;
   if (key === void 0) return void 0;
   return { name: m.object.name, key };
@@ -6196,19 +6253,89 @@ function mergeGuardInto(list, g) {
   if (grainA !== grainB) prev.grain = "nullish";
   if (prev.memberKey === void 0 && g.memberKey !== void 0) prev.memberKey = g.memberKey;
 }
+var methodReceiverTarget = (callee) => {
+  const c = callee;
+  if (c?.type !== "MemberExpression") return void 0;
+  const o = c.object;
+  if (o?.type === "Identifier" && o.name) return { name: o.name };
+  if (o?.type === "MemberExpression") return memberGuardTarget(o);
+  return void 0;
+};
+var collectReceiverFacts = (n, ctx2, out) => {
+  if (ctx2 === null || !n || typeof n !== "object") return;
+  const t = n;
+  switch (t.type) {
+    case "LogicalExpression":
+      if (t.operator === "&&" || t.operator === "||") {
+        const rArm = t.operator === "&&" ? "cons" : "alt";
+        collectReceiverFacts(t.left, ctx2, out);
+        collectReceiverFacts(
+          t.right,
+          ctx2 === "both" || ctx2 === rArm ? rArm : null,
+          out
+        );
+      } else if (t.operator === "??") {
+        collectReceiverFacts(t.left, ctx2, out);
+      }
+      return;
+    case "ConditionalExpression":
+      collectReceiverFacts(t.test, ctx2, out);
+      return;
+    case "CallExpression": {
+      const recv = methodReceiverTarget(t.callee);
+      if (recv) {
+        for (const arm of ctx2 === "both" ? ["cons", "alt"] : [ctx2]) {
+          out.push({
+            name: recv.name,
+            arm,
+            grain: "nullish",
+            ...recv.key !== void 0 ? { memberKey: recv.key } : {}
+          });
+        }
+      }
+      collectReceiverFacts(t.callee, ctx2, out);
+      for (const a of t.arguments ?? []) collectReceiverFacts(a, ctx2, out);
+      return;
+    }
+    default:
+      collectReceiverFacts(t.left, ctx2, out);
+      collectReceiverFacts(t.right, ctx2, out);
+      collectReceiverFacts(t.argument, ctx2, out);
+      collectReceiverFacts(t.object, ctx2, out);
+      if (t.computed) collectReceiverFacts(t.property, ctx2, out);
+      return;
+  }
+};
+function appendReceiverGuards(test, out) {
+  const facts = [];
+  collectReceiverFacts(test, "both", facts);
+  for (const f of facts) {
+    const prev = out.find((x) => x.name === f.name && x.arm === f.arm);
+    if (!prev) {
+      out.push(f);
+      continue;
+    }
+    const grainA = prev.grain ?? "nullish";
+    const grainB = f.grain ?? "nullish";
+    if (grainA !== grainB) prev.grain = "nullish";
+    if (prev.memberKey === void 0 && f.memberKey !== void 0) prev.memberKey = f.memberKey;
+  }
+}
 function nullishGuardsOf(test) {
   const t = test;
   if (t?.type === "LogicalExpression" && (t.operator === "||" || t.operator === "&&")) {
     const wantArm = t.operator === "||" ? "alt" : "cons";
-    const out = [];
+    const out2 = [];
     for (const g2 of [...nullishGuardsOf(t.left), ...nullishGuardsOf(t.right)]) {
       if (g2.arm !== wantArm) continue;
-      mergeGuardInto(out, g2);
+      mergeGuardInto(out2, g2);
     }
-    return out;
+    return out2;
   }
   const g = nullishGuardOf(test);
-  return g ? [g] : [];
+  const out = g ? [g] : [];
+  appendReceiverGuards(test, out);
+  return out;
 }
 function typeGuardOf(test) {
   const t = test;
@@ -16892,10 +17019,32 @@ function execRegexBrand(re, method, args) {
     if (method === "test") {
       return abs({ k: "prim", type: "boolean" }, void 0, void 0, "partial");
     }
-    const element = joinAbs(str(), undefAbs());
-    const matchAbs = abs({ k: "arr", element }, void 0, void 0, "path");
-    const nullAbs = abs({ k: "unknown" }, { op: "lit", value: null }, void 0, "exact");
-    return joinAbs(nullAbs, matchAbs);
+    let probe = null;
+    try {
+      probe = new RegExp(`${parts.pat}|`).exec("");
+    } catch {
+      probe = null;
+    }
+    const nullArm = abs({ k: "unknown" }, { op: "lit", value: null }, void 0, "exact");
+    if (!probe) {
+      const element = joinAbs(str(), undefAbs());
+      return joinAbs(nullArm, abs({ k: "arr", element }, void 0, void 0, "path"));
+    }
+    const ng = probe.length - 1;
+    const slots = {
+      "0": { value: str() },
+      length: { value: numLit(probe.length) },
+      index: { value: num() },
+      input: { value: str() }
+    };
+    for (let i = 1; i <= ng; i++) {
+      slots[String(i)] = { value: joinAbs(str(), undefAbs()) };
+    }
+    const groupNames = probe.groups ? Object.keys(probe.groups) : [];
+    slots["groups"] = {
+      value: groupNames.length ? objOf(Object.fromEntries(groupNames.map((n) => [n, { value: joinAbs(str(), undefAbs()) }]))) : undefAbs()
+    };
+    return joinAbs(nullArm, abs({ k: "obj", slots }, void 0, void 0, "path"));
   }
   try {
     return regexExecWithState(re, method, subject).result;

package/dist/{chunk-PNCDILAV.js → chunk-S7HJL5GW.js}

@@ -15,6 +15,7 @@ import {
   fnConstraintToEntryReqs,
   foldRequireSpecArg,
   formalParamDisplayNames,
+  formalParamSignatureNames,
   formalParamsFromNodes,
   formatAbs,
   formatShape,
@@ -46,7 +47,7 @@ import {
   withEvalBudgetOverride,
   withExecPhi,
   withFnBudgetOverride
-} from "./chunk-XR3TE4C2.js";
+} from "./chunk-PGTNSUTE.js";
 
 // src/algebra/directive-scan.ts
 function cleanDirectiveLine(raw, kind) {
@@ -2240,8 +2241,13 @@ function formatEffectiveInterfaceDisplay(eff) {
   if (eff.returns) s += ` \u2192 ${formatConstraint(eff.returns.constraint)}`;
   return s;
 }
-function formatInterfaceTierLine(source) {
-  return `\u25CF interface / ${source}`;
+var INTERFACE_SOURCE_ABBR = {
+  handwritten: "hw",
+  generated: "gen",
+  implicit: "imp"
+};
+function formatInterfaceTierLine(source, active = true) {
+  return `${active ? "\u25CF" : "\u25CB"} contract / ${INTERFACE_SOURCE_ABBR[source]}`;
 }
 function interfaceTierOf(source, fnName, fromFile, opts = {}) {
   if (!localNamedExports(source).has(fnName)) return void 0;
@@ -2469,11 +2475,11 @@ function sidecarSpecsOf(source) {
     (spec) => (spec.startsWith(".") || spec.startsWith("/")) && (spec.endsWith(".nudo.js") || spec.endsWith(".nudo.ts"))
   );
 }
-function loadOrMiss(loadModule, spec, from) {
+function tryLoadDeps(loadModule, spec, from) {
   try {
-    return loadModule(spec, from);
+    return { src: loadModule(spec, from), err: false };
   } catch {
-    return void 0;
+    return { src: void 0, err: true };
   }
 }
 function loadModuleDepsFingerprint(source, loadModule, fromFile) {
@@ -2486,16 +2492,35 @@ function loadModuleDepsFingerprint(source, loadModule, fromFile) {
   );
   let n = 0;
   let truncated = false;
+  let readError = false;
+  const load = (spec, from) => {
+    const a = tryLoadDeps(loadModule, spec, from);
+    if (a.err) readError = true;
+    return a;
+  };
   const finish = () => {
     parts.sort();
-    return truncated ? { fp: `trunc:${parts.join(",")}`, paths, contents, truncated: true } : { fp: parts.join(","), paths, contents, truncated: false };
+    const prefix = truncated ? "trunc:" : readError ? "readerr:" : "";
+    return {
+      fp: `${prefix}${parts.join(",")}`,
+      paths,
+      contents,
+      truncated,
+      readError
+    };
   };
   const absorbSidecarClosure = (entryFile) => {
     const sidecarPath = sidecarPathOf(entryFile);
     if (seen.has(sidecarPath)) return;
     const sidecarSpec = `./${sidecarPath.slice(sidecarPath.lastIndexOf("/") + 1)}`;
-    const sidecarSrc = loadOrMiss(loadModule, sidecarSpec, entryFile);
-    if (sidecarSrc === void 0) return;
+    const root = load(sidecarSpec, entryFile);
+    if (root.err) {
+      paths.push(sidecarPath);
+      contents.push({ path: sidecarPath, content: null });
+      return;
+    }
+    if (root.src === void 0) return;
+    const sidecarSrc = root.src;
     if (n >= MAX_LOAD_DEP_NODES) {
       truncated = true;
       return;
@@ -2518,7 +2543,7 @@ function loadModuleDepsFingerprint(source, loadModule, fromFile) {
       if (seen.has(path)) continue;
       seen.add(path);
       n++;
-      const src = loadOrMiss(loadModule, cur.spec, cur.from);
+      const src = load(cur.spec, cur.from).src;
       parts.push(`sidecar:${path}=${src === void 0 ? "miss" : hashSource(src)}`);
       paths.push(path);
       contents.push({ path, content: src ?? null });
@@ -2539,7 +2564,7 @@ function loadModuleDepsFingerprint(source, loadModule, fromFile) {
     if (seen.has(path)) continue;
     seen.add(path);
     n++;
-    const src = loadOrMiss(loadModule, cur.spec, cur.from);
+    const src = load(cur.spec, cur.from).src;
     parts.push(`${path}=${src === void 0 ? "miss" : hashSource(src)}`);
     paths.push(path);
     contents.push({ path, content: src ?? null });
@@ -3175,7 +3200,7 @@ function loadModuleId(fn) {
 }
 function refineDepsFingerprint(source, refine) {
   if (!refine?.loadModule || !refine.fromFile) {
-    return { fp: "-", paths: [], contents: [], truncated: false };
+    return { fp: "-", paths: [], contents: [], truncated: false, readError: false };
   }
   return loadModuleDepsFingerprint(source, refine.loadModule, refine.fromFile);
 }
@@ -3193,7 +3218,7 @@ function moduleMapId(m) {
 function generalizeMemoKey(fnName, source, opts) {
   const r = opts.refine;
   const budget = opts.budget ?? defaultLeakBudget;
-  const deps = opts.depsFp ?? (r ? refineDepsFingerprint(source, r) : { fp: "-", paths: [], contents: [], truncated: false });
+  const deps = opts.depsFp ?? (r ? refineDepsFingerprint(source, r) : { fp: "-", paths: [], contents: [], truncated: false, readError: false });
   const sc = opts.sidecarFp ?? (r?.loadModule && r.fromFile ? sidecarClosureFingerprint(r.fromFile, r) : void 0);
   const scPath = sc !== void 0 && !sc.startsWith("trunc:") && r?.fromFile ? sidecarPathOf(r.fromFile) : void 0;
   const srcPart = generalizeSourceKeyPart(source, fnName, opts.file);
@@ -3211,7 +3236,7 @@ function generalizeMemoKey(fnName, source, opts) {
   return {
     key,
     depPaths: scPath !== void 0 ? [...deps.paths, scPath] : deps.paths,
-    truncated: deps.truncated || (sc?.startsWith("trunc:") ?? false)
+    truncated: deps.truncated || deps.readError || (sc?.startsWith("trunc:") ?? false)
   };
 }
 function generalizeMemoGet(key) {
@@ -3480,10 +3505,33 @@ function generalizeFromAstUncached(fnName, source, opts = {}) {
               patternFields.set(hit.index, bag);
             }
             const fieldAbs = constraintToEntryAbs(e.constraint, e.param);
-            bag[hit.field] = {
+            const leaf = {
               abs: fieldAbs,
               ...e.constraint.isOptional ? { optional: true } : {}
             };
+            const segs = hit.fieldPath ?? [hit.field];
+            if (segs.length <= 1) {
+              bag[hit.field] = leaf;
+              continue;
+            }
+            let level = bag;
+            let skip = false;
+            for (let i = 0; i < segs.length - 1; i++) {
+              const node = level[segs[i]];
+              if (node === void 0) {
+                const sub = { slots: {} };
+                level[segs[i]] = sub;
+                level = sub.slots;
+              } else if ("slots" in node) {
+                level = node.slots;
+              } else {
+                skip = true;
+                break;
+              }
+            }
+            if (!skip) {
+              level[segs[segs.length - 1]] = leaf;
+            }
           } else if (hit) {
             const entryAbs = constraintToEntryAbs(e.constraint, e.param);
             typeParams[hit.index] = {
@@ -3496,20 +3544,34 @@ function generalizeFromAstUncached(fnName, source, opts = {}) {
             });
           }
         }
-        for (const [pIdx, bag] of patternFields) {
+        const sigNames = formalParamSignatureNames(formals);
+        const buildPatternObjAbs = (slotsBag, sigName, walked) => {
           const slots = {};
-          for (const [key, rec] of Object.entries(bag)) {
-            slots[key] = {
-              value: rec.abs,
-              ...rec.optional ? { optional: true } : {}
-            };
+          for (const [key, node] of Object.entries(slotsBag)) {
+            if ("abs" in node) {
+              slots[key] = {
+                value: node.abs,
+                ...node.optional ? { optional: true } : {}
+              };
+            } else {
+              slots[key] = {
+                value: buildPatternObjAbs(node.slots, sigName, [...walked, key])
+              };
+            }
           }
-          const objAbs = abs(
+          return abs(
             { k: "obj", slots },
-            v(params[pIdx] ?? `_p${pIdx}`),
+            v(walked.length === 0 ? sigName : `${sigName}.${walked.join(".")}`),
             void 0,
             "path"
           );
+        };
+        for (const [pIdx, bag] of patternFields) {
+          const objAbs = buildPatternObjAbs(
+            bag,
+            sigNames[pIdx] ?? params[pIdx] ?? `_p${pIdx}`,
+            []
+          );
           typeParams[pIdx] = {
             id: typeParams[pIdx].id,
             value: objAbs
@@ -3653,6 +3715,7 @@ function generalizeFromAstUncached(fnName, source, opts = {}) {
       }));
     }
   }
+  const renderNames = formals.length > 0 ? formalParamSignatureNames(formals) : params;
   return {
     name: fnName,
     params,
@@ -3661,6 +3724,7 @@ function generalizeFromAstUncached(fnName, source, opts = {}) {
     instantiate: (args, phi) => run(args, phi ?? pTrue),
     display: formatPoly(
       fnName,
+      renderNames,
       params,
       typeParams,
       symbolic,
@@ -3675,12 +3739,13 @@ function generalizeFromAstUncached(fnName, source, opts = {}) {
     ...hofSites ? { hofSites } : {}
   };
 }
-function formatPoly(name, params, typeParams, symbolic, entryReqs, entryShapes, fnRels) {
+function formatPoly(name, renderNames, params, typeParams, symbolic, entryReqs, entryShapes, fnRels) {
   const reqByParam = new Map((entryReqs ?? []).map((r) => [r.param, r.pred]));
-  const ps = params.map((p, i) => {
+  const ps = renderNames.map((p, i) => {
+    const key = params[i] ?? p;
     const id = typeParams[i]?.id ?? "unknown";
-    const pred = reqByParam.get(p);
-    const promoted = entryShapes?.get(p)?.abs ?? fnRels?.get(p)?.abs;
+    const pred = reqByParam.get(key);
+    const promoted = entryShapes?.get(key)?.abs ?? fnRels?.get(key)?.abs;
     if (promoted) {
       const slot = formatShapeSlot(promoted);
       if (pred && pred.op !== "true") {
@@ -4456,13 +4521,17 @@ function scanLiteralCalls(source, knownFns, phi, opts) {
     eiCache.set(key, r);
     return r;
   };
-  const projectArgField = (arg, field) => {
-    if (!arg) return void 0;
-    if (arg.shape.k === "brand") {
-      return projectArgField(arg.shape.shape, field);
+  const projectArgPath = (arg, segments) => {
+    let cur = arg;
+    for (const seg of segments) {
+      if (!cur) return void 0;
+      if (cur.shape.k === "brand") {
+        cur = cur.shape.shape;
+      }
+      if (cur.shape.k !== "obj") return void 0;
+      cur = getSlot(cur.shape.slots, seg)?.value;
     }
-    if (arg.shape.k !== "obj") return void 0;
-    return getSlot(arg.shape.slots, field)?.value;
+    return cur;
   };
   const interfaceToIndexed = (ei, paramNames, formals) => {
     const conflict = new Set(ei.conflict?.params ?? []);
@@ -4484,7 +4553,7 @@ function scanLiteralCalls(source, knownFns, phi, opts) {
           entries.push([
             hit.index,
             { param, pred: instantiateConstraint(constraint, param), constraint },
-            hit.field
+            hit.fieldPath ?? (hit.field !== void 0 ? [hit.field] : void 0)
           ]);
         }
       }
@@ -4520,17 +4589,18 @@ function scanLiteralCalls(source, knownFns, phi, opts) {
     return lv <= n;
   };
   const checkReqs = (displayName, reqs, paramNames, absArgs, argIndexOf, loc) => {
-    for (const [idx, pred, field, contractParam] of reqs) {
+    for (const [idx, pred, fieldPath, contractParam] of reqs) {
       const argIdx = argIndexOf(idx);
       if (argIdx === void 0) continue;
       let arg = absArgs[argIdx];
       if (!arg) continue;
       const paramName = contractParam || paramNames[idx] || `arg${idx}`;
-      if (field) {
-        const projected = projectArgField(arg, field);
+      if (fieldPath) {
+        const projected = projectArgPath(arg, fieldPath);
         if (!projected) {
           const k = arg.shape.k;
           if (k !== "unknown" && k !== "any") {
+            const field = fieldPath.join(".");
             out.push({
               severity: "error",
               code: "nudo:constraint-violated",
@@ -4871,7 +4941,7 @@ function scanLiteralCalls(source, knownFns, phi, opts) {
     }
   };
   const checkShapeReqs = (displayName, reqs, paramNames, absArgs, argIndexOf, loc) => {
-    for (const [idx, entry, field] of reqs) {
+    for (const [idx, entry, fieldPath] of reqs) {
       const c = entry.constraint;
       if (!c.fields && !c.element && !isIntFlag(c) && !c.prim) continue;
       const argIdx = argIndexOf(idx);
@@ -4879,11 +4949,12 @@ function scanLiteralCalls(source, knownFns, phi, opts) {
       let arg = absArgs[argIdx];
       if (!arg) continue;
       const paramName = entry.param || paramNames[idx] || `arg${idx}`;
-      if (field) {
-        const projected = projectArgField(arg, field);
+      if (fieldPath) {
+        const projected = projectArgPath(arg, fieldPath);
         if (!projected) {
           const k = arg.shape.k;
           if (k !== "unknown" && k !== "any") {
+            const field = fieldPath.join(".");
             out.push({
               severity: "error",
               code: "nudo:constraint-violated",
@@ -5305,6 +5376,7 @@ export {
   sidecarClosureFingerprint,
   formatConstraint,
   formatEffectiveInterfaceDisplay,
+  INTERFACE_SOURCE_ABBR,
   formatInterfaceTierLine,
   interfaceTierOf,
   interfaceSourceOf,

package/dist/exec.d.ts

@@ -1,5 +1,5 @@
-import { A as Abs, M as MayThrowEffect, b as Phi } from './run-2B7ohsfP.js';
-export { W as $assignRecord, X as $call, Y as $callNamed, Z as $recordBinding, a5 as EvalAbsAssignRecord, a6 as EvalCallRecord, a7 as EvalFallback, f as EvalFallbackStats, aa as MAX_EVAL_CALL_DEPTH, ab as MAX_EVAL_TOTAL_CALLS, ac as RUNTIME_IMPORT_RE, V as RunTranspiledOptions, ae as TranspiledCallResult, as as bindingsOf, av as callTranspiledExport, aw as callTranspiledExportApply, ax as callTranspiledExportFull, k as clearPureCallMemo, l as clearPureMemo, m as enterEvalCallBudgetSession, aC as evalExprAbs, o as exitEvalCallBudgetSession, u as getEvalCallBudgetState, aF as getEvalCallCollector, v as getEvalFallbackStats, aN as isAbsVal, b3 as noteEvalCallRecord, b4 as noteEvalFallback, bl as resetEvalCallBudget, G as resetEvalFallbackStats, bF as routeApplyThrows, bm as runTranspiled, bn as runTranspiledOptionsMemoKey, bo as setEvalAssignCollector, bp as setEvalBindingSink, bq as setEvalCallCollector, br as setEvalFallbackCollector, bC as tryRunTranspiled, N as withEvalBudgetOverride } from './run-2B7ohsfP.js';
+import { A as Abs, M as MayThrowEffect, b as Phi } from './run-WZKUu1y1.js';
+export { W as $assignRecord, X as $call, Y as $callNamed, Z as $recordBinding, a5 as EvalAbsAssignRecord, a6 as EvalCallRecord, a7 as EvalFallback, g as EvalFallbackStats, aa as MAX_EVAL_CALL_DEPTH, ab as MAX_EVAL_TOTAL_CALLS, ac as RUNTIME_IMPORT_RE, V as RunTranspiledOptions, ae as TranspiledCallResult, as as bindingsOf, av as callTranspiledExport, aw as callTranspiledExportApply, ax as callTranspiledExportFull, l as clearPureCallMemo, m as clearPureMemo, n as enterEvalCallBudgetSession, aC as evalExprAbs, p as exitEvalCallBudgetSession, v as getEvalCallBudgetState, aF as getEvalCallCollector, w as getEvalFallbackStats, aN as isAbsVal, b3 as noteEvalCallRecord, b4 as noteEvalFallback, bl as resetEvalCallBudget, H as resetEvalFallbackStats, bF as routeApplyThrows, bm as runTranspiled, bn as runTranspiledOptionsMemoKey, bo as setEvalAssignCollector, bp as setEvalBindingSink, bq as setEvalCallCollector, br as setEvalFallbackCollector, bC as tryRunTranspiled, O as withEvalBudgetOverride } from './run-WZKUu1y1.js';
 import { Node, Expression, File } from '@babel/types';
 
 /**

package/dist/exec.js

@@ -195,7 +195,7 @@ import {
   tryRunTranspiled,
   withEvalBudgetOverride,
   withExecPhi
-} from "./chunk-XR3TE4C2.js";
+} from "./chunk-PGTNSUTE.js";
 export {
   $absVal,
   $add,

package/dist/index.d.ts

@@ -1,8 +1,8 @@
-import { c as AstEnv, A as Abs, b as Phi, T as Term, O as HofCollectCtx, C as Confidence, S as Shape, a as Pred, R as RelSource, Q as HofSite, U as AbsModuleExports, V as RunTranspiledOptions } from './run-2B7ohsfP.js';
-export { W as $assignRecord, X as $call, Y as $callNamed, Z as $recordBinding, _ as AbsApplyNoThrow, a0 as AbsApplyNoThrowFn, a1 as AbsApplyResult, a2 as AbsApplyReturn, a3 as AbsFnImpl, a4 as AbsSigImpl, a5 as EvalAbsAssignRecord, a6 as EvalCallRecord, a7 as EvalFallback, a8 as ImplicationOracle, a9 as LitValueResult, L as LiteralValue, aa as MAX_EVAL_CALL_DEPTH, ab as MAX_EVAL_TOTAL_CALLS, P as PrimName, ac as RUNTIME_IMPORT_RE, ad as TYPEOF_NAMES, ae as TranspiledCallResult, af as TypeofName, ag as abs, ah as absFunction, ai as absOnly, aj as absToString, ak as and, al as anyAbs, am as anyVar, an as app, ao as assumeFinite, ap as attachFnImpl, aq as bigintLit, ar as bindImports, as as bindingsOf, at as bool, au as boolLit, av as callTranspiledExport, aw as callTranspiledExportApply, ax as callTranspiledExportFull, ay as collectAbsExports, az as confJoin, aA as emptyPhi, aB as eq, aC as evalExprAbs, aD as ge, aE as geNum, aF as getEvalCallCollector, aG as getFnImpl, aH as getImplicationOracle, aI as gt, aJ as gtNum, aK as hostFnCtorFacet, aL as implies, aM as isAbsApplyResult, aN as isAbsVal, aO as isBigPrim, aP as isExactLit, aQ as isNumPrim, aR as isStrPrim, aS as le, aT as leNum, aU as lit, aV as litValue, aW as lt, aX as ltNum, aY as makeAbsApplyResult, aZ as markPureFn, a_ as namespaceAbsOf, a$ as ne, b0 as negatePred, b1 as never, b2 as not, b3 as noteEvalCallRecord, b4 as noteEvalFallback, b5 as num, b6 as numLit, b7 as numVar, b8 as obj, b9 as or, ba as pFalse, bb as pTrue, bc as phiAnd, bd as predEquals, be as predToString, bf as predVars, bg as primToTypeof, bh as ptypeof, bi as pureFnNameOf, bj as relationFingerprint, bk as relationFn, bl as resetEvalCallBudget, bm as runTranspiled, bn as runTranspiledOptionsMemoKey, bo as setEvalAssignCollector, bp as setEvalBindingSink, bq as setEvalCallCollector, br as setEvalFallbackCollector, bs as setImplicationOracle, bt as shapeOfTerm, bu as shapeOnlyFn, bv as shapeToString, bw as simplifyTerm, bx as str, by as strLit, bz as substPred, bA as termEquals, bB as termToString, bC as tryRunTranspiled, bD as unknown, bE as v } from './run-2B7ohsfP.js';
+import { d as AstEnv, A as Abs, b as Phi, T as Term, Q as HofCollectCtx, C as Confidence, S as Shape, a as Pred, R as RelSource, U as HofSite, c as AbsModuleExports, V as RunTranspiledOptions } from './run-WZKUu1y1.js';
+export { W as $assignRecord, X as $call, Y as $callNamed, Z as $recordBinding, _ as AbsApplyNoThrow, a0 as AbsApplyNoThrowFn, a1 as AbsApplyResult, a2 as AbsApplyReturn, a3 as AbsFnImpl, a4 as AbsSigImpl, a5 as EvalAbsAssignRecord, a6 as EvalCallRecord, a7 as EvalFallback, a8 as ImplicationOracle, a9 as LitValueResult, L as LiteralValue, aa as MAX_EVAL_CALL_DEPTH, ab as MAX_EVAL_TOTAL_CALLS, P as PrimName, ac as RUNTIME_IMPORT_RE, ad as TYPEOF_NAMES, ae as TranspiledCallResult, af as TypeofName, ag as abs, ah as absFunction, ai as absOnly, aj as absToString, ak as and, al as anyAbs, am as anyVar, an as app, ao as assumeFinite, ap as attachFnImpl, aq as bigintLit, ar as bindImports, as as bindingsOf, at as bool, au as boolLit, av as callTranspiledExport, aw as callTranspiledExportApply, ax as callTranspiledExportFull, ay as collectAbsExports, az as confJoin, aA as emptyPhi, aB as eq, aC as evalExprAbs, aD as ge, aE as geNum, aF as getEvalCallCollector, aG as getFnImpl, aH as getImplicationOracle, aI as gt, aJ as gtNum, aK as hostFnCtorFacet, aL as implies, aM as isAbsApplyResult, aN as isAbsVal, aO as isBigPrim, aP as isExactLit, aQ as isNumPrim, aR as isStrPrim, aS as le, aT as leNum, aU as lit, aV as litValue, aW as lt, aX as ltNum, aY as makeAbsApplyResult, aZ as markPureFn, a_ as namespaceAbsOf, a$ as ne, b0 as negatePred, b1 as never, b2 as not, b3 as noteEvalCallRecord, b4 as noteEvalFallback, b5 as num, b6 as numLit, b7 as numVar, b8 as obj, b9 as or, ba as pFalse, bb as pTrue, bc as phiAnd, bd as predEquals, be as predToString, bf as predVars, bg as primToTypeof, bh as ptypeof, bi as pureFnNameOf, bj as relationFingerprint, bk as relationFn, bl as resetEvalCallBudget, bm as runTranspiled, bn as runTranspiledOptionsMemoKey, bo as setEvalAssignCollector, bp as setEvalBindingSink, bq as setEvalCallCollector, br as setEvalFallbackCollector, bs as setImplicationOracle, bt as shapeOfTerm, bu as shapeOnlyFn, bv as shapeToString, bw as simplifyTerm, bx as str, by as strLit, bz as substPred, bA as termEquals, bB as termToString, bC as tryRunTranspiled, bD as unknown, bE as v } from './run-WZKUu1y1.js';
 import { Node, File } from '@babel/types';
-import { p as parseSource, L as LeakBudget, E as EffectiveInterfaceOpts, b as LoadDepsFingerprint, v as CheckReport, N as NudoConstraint, c as ProjectionBudget } from './projection-budget-Bb8CYJOR.js';
-export { w as CONSTRAINT_BUILDERS, x as CONSTRAINT_BUILDER_NAMES, y as CONSTRAINT_EXPR_RE, z as CheckAction, C as CheckIssue, A as CheckJson, B as CheckJsonMulti, D as ConstraintBuilder, F as Diagnostic, G as EffectiveInterface, H as GitlabCodeQualityIssue, J as InterfaceDiag, I as InterfaceSource, K as InterfaceTierInfo, a as InterfaceTierOpts, O as NamedImport, Q as NudoField, R as NudoFnConstraint, S as NudoSidecarError, T as NudoSig, U as RefineDiag, V as RefineEntry, W as RefineResolveOpts, X as SELF, Y as actionsForIssue, Z as andC, _ as any, $ as array, a0 as boolean, a1 as checkArg, a2 as checkCall, a3 as constraintAdmitsNullish, a4 as constraintToEntryAbs, a5 as derefConstraint, a6 as drainPromiseMicros, a7 as effectiveInterface, a8 as enterPromiseExecutorScope, a9 as evalPromiseCtor, aa as evalPromiseMethod, ab as evalPromiseStatic, ac as execNudoModule, ad as extractDeclaredThrows, ae as extractFnBudget, af as extractNudoImports, ag as extractRefineReturnFromSource, ah as extractRefinesFromSource, ai as fn, aj as fnConstraintToEntryReqs, ak as formatCheckReport, al as formatConstraint, am as formatDiagnostics, an as formatEffectiveInterfaceDisplay, ao as formatGithubAnnotations, ap as formatGitlabCodeQuality, aq as formatInterfaceTierLine, ar as generatedExportNames, as as getParseSourceCacheSize, at as getTerm, au as instantiateConstraint, av as interfaceDiagCount, aw as interfaceSourceOf, ax as interfaceTierOf, ay as isIntFlag, az as isNodeModulesPath, aA as isNudoConstraint, aB as lazy, aC as leavePromiseExecutorScope, aD as lenTerm, aE as litC, aF as localNamedExports, aG as notePromiseExecutorFork, aH as nullable, aI as number, aJ as omit, aK as partial, aL as pick, aM as queuePromiseMicro, aN as refineDiagCount, aO as refineToIndexedFull, aP as resetNudoModuleExecCache, aQ as resetParseSourceCache, aR as resetSidecarLoadFailureCache, aS as serializeCheckJson, aT as serializeCheckJsonMulti, aU as setInterfaceDiagCollector, aV as setRefineDiagCollector, aW as shape, aX as sidecarClosureFingerprint, aY as sidecarPathOf, aZ as string, a_ as takeInterfaceDiags, a$ as takeInterfaceDiagsSince, b0 as takeRefineDiags, b1 as takeRefineDiagsSince, b2 as throwConstraintToKinds, b3 as union } from './projection-budget-Bb8CYJOR.js';
+import { p as parseSource, L as LeakBudget, E as EffectiveInterfaceOpts, b as LoadDepsFingerprint, v as CheckReport, N as NudoConstraint, c as ProjectionBudget } from './projection-budget-Dm1YWZ1U.js';
+export { w as CONSTRAINT_BUILDERS, x as CONSTRAINT_BUILDER_NAMES, y as CONSTRAINT_EXPR_RE, z as CheckAction, C as CheckIssue, A as CheckJson, B as CheckJsonMulti, D as ConstraintBuilder, F as Diagnostic, G as EffectiveInterface, H as GitlabCodeQualityIssue, J as INTERFACE_SOURCE_ABBR, K as InterfaceDiag, I as InterfaceSource, O as InterfaceTierInfo, a as InterfaceTierOpts, Q as NamedImport, R as NudoField, S as NudoFnConstraint, T as NudoSidecarError, U as NudoSig, V as RefineDiag, W as RefineEntry, X as RefineResolveOpts, Y as SELF, Z as actionsForIssue, _ as andC, $ as any, a0 as array, a1 as boolean, a2 as checkArg, a3 as checkCall, a4 as constraintAdmitsNullish, a5 as constraintToEntryAbs, a6 as derefConstraint, a7 as drainPromiseMicros, a8 as effectiveInterface, a9 as enterPromiseExecutorScope, aa as evalPromiseCtor, ab as evalPromiseMethod, ac as evalPromiseStatic, ad as execNudoModule, ae as extractDeclaredThrows, af as extractFnBudget, ag as extractNudoImports, ah as extractRefineReturnFromSource, ai as extractRefinesFromSource, aj as fn, ak as fnConstraintToEntryReqs, al as formatCheckReport, am as formatConstraint, an as formatDiagnostics, ao as formatEffectiveInterfaceDisplay, ap as formatGithubAnnotations, aq as formatGitlabCodeQuality, ar as formatInterfaceTierLine, as as generatedExportNames, at as getParseSourceCacheSize, au as getTerm, av as instantiateConstraint, aw as interfaceDiagCount, ax as interfaceSourceOf, ay as interfaceTierOf, az as isIntFlag, aA as isNodeModulesPath, aB as isNudoConstraint, aC as lazy, aD as leavePromiseExecutorScope, aE as lenTerm, aF as litC, aG as localNamedExports, aH as notePromiseExecutorFork, aI as nullable, aJ as number, aK as omit, aL as partial, aM as pick, aN as queuePromiseMicro, aO as refineDiagCount, aP as refineToIndexedFull, aQ as resetNudoModuleExecCache, aR as resetParseSourceCache, aS as resetSidecarLoadFailureCache, aT as serializeCheckJson, aU as serializeCheckJsonMulti, aV as setInterfaceDiagCollector, aW as setRefineDiagCollector, aX as shape, aY as sidecarClosureFingerprint, aZ as sidecarPathOf, a_ as string, a$ as takeInterfaceDiags, b0 as takeInterfaceDiagsSince, b1 as takeRefineDiags, b2 as takeRefineDiagsSince, b3 as throwConstraintToKinds, b4 as union } from './projection-budget-Dm1YWZ1U.js';
 export { $add, $arguments, $arr, $arrMutContainer, $arrRest, $arrWithHoles, $async, $asyncReturn, $await, $bitand, $bitnot, $bitor, $bitxor, $catchVal, $class, $classExpr, $collectionForEach, $concat, $copy, $del, $delRes, $div, $dynamicImport, $elems, $eq, $eqLoose, $fnVal, $for, $forInKeys, $forIter, $forOf, $fork, $ge, $gen, $get, $gt, $idx, $idxSet, $importMeta, $in, $instanceof, $instanceofNonIdent, $invoke, $invokeSuper, $isBreakTo, $isForkExit, $join, $le, $len, $lit, $loopBreak, $loopContinue, $loopReturn, $lt, $mod, $mul, $ne, $neLoose, $neg, $new, $not, $nullishTest, $obj, $objAccessor, $objRest, $optionalGet, $optionalInvoke, $orDefault, $pow, $pushLoopExit, $rawThis, $reStateCall, $regex, $rethrowIfNudoReturn, $set, $setKey, $shl, $shr, $spread, $staticInvoke, $sub, $super, $switch, $thisGet, $thisSet, $throw, $toNumber, $toNumeric, $tryCurrentMark, $tryDetachSoftCatch, $tryDigestSoftCatch, $tryDiscardSoft, $tryMark, $tryOrphanSoft, $tryPopMark, $tryReleaseSoftCatch, $tryReleaseSoftOut, $tryTakeSince, $typeof, $unknown, $updateAdd, $updateSub, $ushr, $while, $whileSeq, $yield, DEFAULT_MAX_LOOP_ITERS, EvalClassSpec, NudoLoopSignal, NudoReturn, NudoThrow, NudoUnsupportedError, TranspileOptions, asAbsVal, callAtFunctionBoundary, clearBClasses, clearStaleTermPred, currentExecPhi, fillTuple, foldRequireSpecArg, foldStaticStringExpr, getEvalClass, isArrMutator, isDefinitelyFalse, isDefinitelyTrue, isNudoBreak, isNudoContinue, isNudoReturn, isNudoThrow, litTruth, lookupObjAccessor, namespaceNameOf, pushLoopExit, pushThrowExit, registerEvalClass, runWithLoopExits, runtimeImportOf, takeLoopExits, takeThrowExits, transpile, transpileBodyNode, transpileExpression, transpileFile, transpileSource, withExecPhi } from './exec.js';
 
 /**
@@ -847,6 +847,11 @@ type FormalParam = {
     propKey: Record<string, string>;
     /** 仅嵌套内出现、顶层不可单独表达的名（降级用） */
     nested: string[];
+    /**
+     * #137：嵌套解构点路径契约面（'card.grade'，源属性键点连接）。
+     * 中间键（card）同时在 bound 里平铺可绑（整对象 shape 契约）。
+     */
+    nestedPaths: string[];
     index: number;
 };
 type AstParam = {
@@ -877,13 +882,17 @@ declare function contractParamNameSet(formals: FormalParam[]): Set<string>;
 /**
  * 契约参数名 → 形参定位。
  * - 命中 id/default/rest → 该 index（执法按整参）
- * - 命中 pattern 顶层 bound 名 → 该 pattern index + field
+ * - 命中 pattern 顶层 bound 名 → 该 pattern index + field（fieldPath 单段）
  * - 命中 placeholder / `_` → pattern index（整对象）
+ * - #137：命中嵌套点路径（'card.grade' ∈ nestedPaths）→ index + fieldPath
+ *   多段（field 为展示用点连接串）。平铺精确匹配必须先于任何点路径解析：
+ *   源键 'a.b' 与路径 'a.b' 不可歧义——平铺胜。
  * - 未命中 → undefined（C4.5 param-mismatch）
  */
 declare function locateContractParam(formals: FormalParam[], contractName: string): {
     index: number;
     field?: string;
+    fieldPath?: string[];
     rest?: boolean;
 } | undefined;
 

package/dist/index.js

@@ -1,5 +1,6 @@
 import "./chunk-US532PZA.js";
 import {
+  INTERFACE_SOURCE_ABBR,
   NudoSidecarError,
   buildArgsFromAssume,
   canSkipLiteralCallScan,
@@ -63,7 +64,7 @@ import {
   takeInterfaceDiagsSince,
   takeRefineDiags,
   takeRefineDiagsSince
-} from "./chunk-PNCDILAV.js";
+} from "./chunk-S7HJL5GW.js";
 import {
   $add,
   $arguments,
@@ -519,7 +520,7 @@ import {
   v,
   withExecPhi,
   withVar
-} from "./chunk-XR3TE4C2.js";
+} from "./chunk-PGTNSUTE.js";
 
 // src/environment.ts
 function createEnvironment(parent, bindings = /* @__PURE__ */ new Map()) {
@@ -1629,7 +1630,7 @@ function loadModuleId(fn2) {
 }
 function checkDepsFingerprint(source, opts) {
   if (!opts.loadModule || !opts.fromFile) {
-    return { fp: "-", paths: [], contents: [], truncated: false };
+    return { fp: "-", paths: [], contents: [], truncated: false, readError: false };
   }
   return loadModuleDepsFingerprint(source, opts.loadModule, opts.fromFile);
 }
@@ -1919,13 +1920,17 @@ function structuralAssignIssues(records) {
 }
 
 // src/algebra/check-case-scan.ts
-function projectCaseArgField(arg, field) {
-  if (!arg) return void 0;
-  if (arg.shape.k === "brand") {
-    return projectCaseArgField(arg.shape.shape, field);
+function projectCaseArgField(arg, fieldPath) {
+  let cur = arg;
+  for (const seg of fieldPath) {
+    if (!cur) return void 0;
+    if (cur.shape.k === "brand") {
+      cur = cur.shape.shape;
+    }
+    if (cur.shape.k !== "obj") return void 0;
+    cur = getSlot(cur.shape.slots, seg)?.value;
   }
-  if (arg.shape.k !== "obj") return void 0;
-  return getSlot(arg.shape.slots, field)?.value;
+  return cur;
 }
 function scanCaseInconsistency(source, knownFns, opts) {
   const out = [];
@@ -2006,12 +2011,12 @@ function scanCaseInconsistency(source, knownFns, opts) {
     for (const p of eff.params) {
       if (conflictParams.has(p.param)) continue;
       let idx = paramNames.indexOf(p.param);
-      let field;
+      let fieldPath;
       if (idx < 0 && formals.length > 0) {
         const hit = locateContractParam(formals, p.param);
         if (hit) {
           idx = hit.index;
-          field = hit.field;
+          fieldPath = hit.fieldPath ?? (hit.field !== void 0 ? [hit.field] : void 0);
         }
       }
       if (idx < 0) continue;
@@ -2022,7 +2027,7 @@ function scanCaseInconsistency(source, knownFns, opts) {
           pred: instantiateConstraint(p.constraint, p.param),
           constraint: p.constraint
         },
-        field
+        fieldPath
       ]);
     }
     if (reqs.length === 0) return;
@@ -2030,16 +2035,17 @@ function scanCaseInconsistency(source, knownFns, opts) {
     for (const req of reqs) {
       const idx = req[0];
       const entry = req[1];
-      const field = req[2];
+      const fieldPath = req[2];
       if (entry.constraint.fields) continue;
       let arg = absArgs[idx];
       if (!arg) continue;
-      if (field) {
-        const projected = projectCaseArgField(arg, field);
+      if (fieldPath) {
+        const projected = projectCaseArgField(arg, fieldPath);
         if (!projected) {
           const k = arg.shape.k;
           if (k !== "unknown" && k !== "any") {
             const paramName = entry.param || paramNames[idx] || `arg${idx}`;
+            const field = fieldPath.join(".");
             out.push({
               severity: "error",
               code: "nudo:case-inconsistency",
@@ -2163,7 +2169,9 @@ function checkSourceInScope(filePath, source, phi, opts) {
   const stable = stableAnalyzeKeySource(source);
   const depsFp = checkDepsFingerprint(stable, callOpts);
   const sidecarFp = callOpts.loadModule && callOpts.fromFile ? sidecarClosureFingerprint(callOpts.fromFile, callOpts) : void 0;
-  const allowMemo = useMemo && !depsFp.truncated && !(sidecarFp?.startsWith("trunc:") ?? false);
+  const allowMemo = useMemo && !depsFp.truncated && // 读错误轮键不可信（#135）：错误轮报告（nudo:interface-load）与真 miss 轮
+  // （干净）若共享 miss 键会互为跨次陈旧命中——不读也不写 memo
+  !depsFp.readError && !(sidecarFp?.startsWith("trunc:") ?? false);
   if (allowMemo) {
     memoKey = checkMemoKey(filePath, stable, opts, depsFp, sidecarFp);
     const hit = checkMemoGet(memoKey);
@@ -3250,6 +3258,7 @@ export {
   CONSTRAINT_BUILDER_NAMES,
   CONSTRAINT_EXPR_RE,
   DEFAULT_MAX_LOOP_ITERS,
+  INTERFACE_SOURCE_ABBR,
   MAX_EVAL_CALL_DEPTH,
   MAX_EVAL_TOTAL_CALLS,
   NudoLoopSignal,

package/dist/internal.d.ts

@@ -1,7 +1,7 @@
-import { I as InterfaceSource, a as InterfaceTierOpts, p as parseSource, C as CheckIssue } from './projection-budget-Bb8CYJOR.js';
-export { L as LeakBudget, b as LoadDepsFingerprint, M as MAX_PROMISE_MICROS, P as PROJECTION_MAX_DEPTH, c as ProjectionBudget, d as ProjectionStopReason, e as defaultLeakBudget, f as exceedsBudget, g as exportedNameOfLocal, h as extractAllLoadSpecs, i as getPromiseMicrosLength, l as leakIfNeeded, j as loadModuleDepsFingerprint, m as maybeLeak, n as normPath, r as resetLeakCounter, k as resolveDepPath, s as sidecarSpecsOf, o as stablePathKey, q as stablePathKeyGraph, t as termDepth, u as termNodes } from './projection-budget-Bb8CYJOR.js';
-import { A as Abs, T as Term, c as AstEnv } from './run-2B7ohsfP.js';
-export { $ as $tryDigestSoft, d as $tryMarkSoft, e as $tryReleaseSoft, E as ERROR_FAMILY, f as EvalFallbackStats, M as MayThrowEffect, g as absLit, h as absNumLit, i as absStrLit, j as allAbsStr, k as clearPureCallMemo, l as clearPureMemo, m as enterEvalCallBudgetSession, n as errorTypeAbs, o as exitEvalCallBudgetSession, p as filterDeclaredThrows, q as filterGateThrows, r as filterIgnoredThrows, s as flushMayThrowEffects, t as formatThrowsAbs, u as getEvalCallBudgetState, v as getEvalFallbackStats, w as getMayThrowCollector, x as isThrowsIgnored, y as mayThrowEffectsToAbs, z as orphanMayThrowEffects, B as popMayThrowFrame, D as pushMayThrowFrame, F as recordMayThrow, G as resetEvalFallbackStats, H as runWithMayThrowSession, I as setMayThrowCollector, J as throwAbsToKinds, K as throwsKindCovered, N as withEvalBudgetOverride } from './run-2B7ohsfP.js';
+import { I as InterfaceSource, a as InterfaceTierOpts, p as parseSource, C as CheckIssue } from './projection-budget-Dm1YWZ1U.js';
+export { L as LeakBudget, b as LoadDepsFingerprint, M as MAX_PROMISE_MICROS, P as PROJECTION_MAX_DEPTH, c as ProjectionBudget, d as ProjectionStopReason, e as defaultLeakBudget, f as exceedsBudget, g as exportedNameOfLocal, h as extractAllLoadSpecs, i as getPromiseMicrosLength, l as leakIfNeeded, j as loadModuleDepsFingerprint, m as maybeLeak, n as normPath, r as resetLeakCounter, k as resolveDepPath, s as sidecarSpecsOf, o as stablePathKey, q as stablePathKeyGraph, t as termDepth, u as termNodes } from './projection-budget-Dm1YWZ1U.js';
+import { A as Abs, T as Term, c as AbsModuleExports, d as AstEnv } from './run-WZKUu1y1.js';
+export { $ as $tryDigestSoft, e as $tryMarkSoft, f as $tryReleaseSoft, E as ERROR_FAMILY, g as EvalFallbackStats, M as MayThrowEffect, h as absLit, i as absNumLit, j as absStrLit, k as allAbsStr, l as clearPureCallMemo, m as clearPureMemo, n as enterEvalCallBudgetSession, o as errorTypeAbs, p as exitEvalCallBudgetSession, q as filterDeclaredThrows, r as filterGateThrows, s as filterIgnoredThrows, t as flushMayThrowEffects, u as formatThrowsAbs, v as getEvalCallBudgetState, w as getEvalFallbackStats, x as getMayThrowCollector, y as isThrowsIgnored, z as mayThrowEffectsToAbs, B as orphanMayThrowEffects, D as popMayThrowFrame, F as pushMayThrowFrame, G as recordMayThrow, H as resetEvalFallbackStats, I as runWithMayThrowSession, J as setMayThrowCollector, K as throwAbsToKinds, N as throwsKindCovered, O as withEvalBudgetOverride } from './run-WZKUu1y1.js';
 import { File, Node } from '@babel/types';
 
 /**
@@ -389,6 +389,11 @@ type AbsInlay = {
 type CollectAbsInlaysOpts = InterfaceTierOpts & {
     loadModule?: (spec: string, fromFile: string) => string | undefined;
     fromFile?: string;
+    /**
+     * eval 模块图（host 组装，如 service `evalAbsModuleGraph`）。缺省时
+     * generalizeFromAst 看不到跨模块 import → 调用塌缩 unknown（inlay 假空）。
+     */
+    modules?: Record<string, AbsModuleExports | Record<string, unknown>>;
 };
 /**
  * 收集源码中函数签名的 Abs inlay：

package/dist/internal.js

@@ -21,7 +21,7 @@ import {
   stableAnalyzeKeySource,
   stablePathKey,
   stablePathKeyGraph
-} from "./chunk-PNCDILAV.js";
+} from "./chunk-S7HJL5GW.js";
 import {
   $tryDigestSoft,
   $tryMarkSoft,
@@ -169,7 +169,7 @@ import {
   withEvalBudgetOverride,
   withFnBudgetOverride,
   wrapPromise
-} from "./chunk-XR3TE4C2.js";
+} from "./chunk-PGTNSUTE.js";
 
 // src/algebra/inlay.ts
 function listFunctions(source) {
@@ -258,12 +258,16 @@ function collectAbsInlays(source, opts) {
   const inlays = [];
   const refineOpts = opts?.loadModule || opts?.fromFile ? {
     ...opts.loadModule ? { loadModule: opts.loadModule } : {},
-    ...opts.fromFile ? { fromFile: opts.fromFile } : {}
+    ...opts.fromFile ? { fromFile: opts.fromFile } : {},
+    ...opts.autoBind !== void 0 ? { autoBind: opts.autoBind } : {}
   } : void 0;
   for (const { name, node } of listFunctions(source)) {
     let g;
     try {
-      g = generalizeFromAst(name, source, refineOpts ? { refine: refineOpts } : {});
+      g = generalizeFromAst(name, source, {
+        ...refineOpts ? { refine: refineOpts } : {},
+        ...opts?.modules ? { modules: opts.modules } : {}
+      });
     } catch {
       continue;
     }

package/dist/{projection-budget-Bb8CYJOR.d.ts → projection-budget-Dm1YWZ1U.d.ts}

@@ -1,5 +1,5 @@
 import { File } from '@babel/types';
-import { A as Abs, T as Term, P as PrimName, a as Pred, L as LiteralValue, b as Phi, C as Confidence } from './run-2B7ohsfP.js';
+import { A as Abs, T as Term, P as PrimName, a as Pred, L as LiteralValue, b as Phi, C as Confidence } from './run-WZKUu1y1.js';
 
 declare function resetParseSourceCache(): void;
 declare function getParseSourceCacheSize(): number;
@@ -525,8 +525,14 @@ declare function sidecarClosureFingerprint(fromFile: string, opts: EffectiveInte
 declare function formatConstraint(c: NudoConstraint): string;
 /** EffectiveInterface → 契约展示串（与 CLI interface 打印同口径，不含函数名） */
 declare function formatEffectiveInterfaceDisplay(eff: EffectiveInterface): string;
-/** CodeLens / hover 首行标题（design-refine-derivation §8）：`● interface / <source>` */
-declare function formatInterfaceTierLine(source: InterfaceSource): string;
+/** 档位源缩写：handwritten=hw / generated=gen / implicit=imp */
+declare const INTERFACE_SOURCE_ABBR: Record<InterfaceSource, string>;
+/**
+ * CodeLens / hover 首行标题（design-refine-derivation §8）：`● contract / hw|gen|imp`。
+ * contract 是观察选择器的一个选项（与各 case 互斥）：`active=false` 时渲染 `○`，
+ * 表示该函数当前观察的是某个 case 而非契约。
+ */
+declare function formatInterfaceTierLine(source: InterfaceSource, active?: boolean): string;
 type InterfaceTierInfo = {
     source: InterfaceSource;
     /** handwritten/generated 时的契约展示；implicit 为 undefined */
@@ -558,6 +564,12 @@ type LoadDepsFingerprint = {
     }>;
     /** BFS 撞到节点上限：剩余 dep 未进指纹，键不可信 */
     truncated: boolean;
+    /**
+     * 任一装载 throw（EACCES/EMFILE/…）≠ 真 miss：读错误轮的报告（含
+     * nudo:interface-load）与真 miss 轮（干净）内容不同，折叠成同一 miss 键
+     * 会互为跨次陈旧命中（#135）。fp 带 `readerr:` 前缀，调用方 fail-open 禁 memo。
+     */
+    readError: boolean;
 };
 /**
  * All string module specs that analysis may resolve through loadModule.
@@ -831,4 +843,4 @@ declare class ProjectionBudget {
     exit(): void;
 }
 
-export { array as $, type CheckJson as A, type CheckJsonMulti as B, type CheckIssue as C, type ConstraintBuilder as D, type EffectiveInterfaceOpts as E, type Diagnostic as F, type EffectiveInterface as G, type GitlabCodeQualityIssue as H, type InterfaceSource as I, type InterfaceDiag as J, type InterfaceTierInfo as K, type LeakBudget as L, MAX_PROMISE_MICROS as M, type NudoConstraint as N, type NamedImport as O, PROJECTION_MAX_DEPTH as P, type NudoField as Q, type NudoFnConstraint as R, NudoSidecarError as S, type NudoSig as T, type RefineDiag as U, type RefineEntry as V, type RefineResolveOpts as W, SELF as X, actionsForIssue as Y, andC as Z, any as _, type InterfaceTierOpts as a, takeInterfaceDiagsSince as a$, boolean as a0, checkArg as a1, checkCall as a2, constraintAdmitsNullish as a3, constraintToEntryAbs as a4, derefConstraint as a5, drainPromiseMicros as a6, effectiveInterface as a7, enterPromiseExecutorScope as a8, evalPromiseCtor as a9, isNudoConstraint as aA, lazy as aB, leavePromiseExecutorScope as aC, lenTerm as aD, litC as aE, localNamedExports as aF, notePromiseExecutorFork as aG, nullable as aH, number as aI, omit as aJ, partial as aK, pick as aL, queuePromiseMicro as aM, refineDiagCount as aN, refineToIndexedFull as aO, resetNudoModuleExecCache as aP, resetParseSourceCache as aQ, resetSidecarLoadFailureCache as aR, serializeCheckJson as aS, serializeCheckJsonMulti as aT, setInterfaceDiagCollector as aU, setRefineDiagCollector as aV, shape as aW, sidecarClosureFingerprint as aX, sidecarPathOf as aY, string as aZ, takeInterfaceDiags as a_, evalPromiseMethod as aa, evalPromiseStatic as ab, execNudoModule as ac, extractDeclaredThrows as ad, extractFnBudget as ae, extractNudoImports as af, extractRefineReturnFromSource as ag, extractRefinesFromSource as ah, fn as ai, fnConstraintToEntryReqs as aj, formatCheckReport as ak, formatConstraint as al, formatDiagnostics as am, formatEffectiveInterfaceDisplay as an, formatGithubAnnotations as ao, formatGitlabCodeQuality as ap, formatInterfaceTierLine as aq, generatedExportNames as ar, getParseSourceCacheSize as as, getTerm as at, instantiateConstraint as au, interfaceDiagCount as av, interfaceSourceOf as aw, interfaceTierOf as ax, isIntFlag as ay, isNodeModulesPath as az, type LoadDepsFingerprint as b, takeRefineDiags as b0, takeRefineDiagsSince as b1, throwConstraintToKinds as b2, union as b3, ProjectionBudget as c, type ProjectionStopReason as d, defaultLeakBudget as e, exceedsBudget as f, exportedNameOfLocal as g, extractAllLoadSpecs as h, getPromiseMicrosLength as i, loadModuleDepsFingerprint as j, resolveDepPath as k, leakIfNeeded as l, maybeLeak as m, normPath as n, stablePathKey as o, parseSource as p, stablePathKeyGraph as q, resetLeakCounter as r, sidecarSpecsOf as s, termDepth as t, termNodes as u, type CheckReport as v, CONSTRAINT_BUILDERS as w, CONSTRAINT_BUILDER_NAMES as x, CONSTRAINT_EXPR_RE as y, type CheckAction as z };
+export { any as $, type CheckJson as A, type CheckJsonMulti as B, type CheckIssue as C, type ConstraintBuilder as D, type EffectiveInterfaceOpts as E, type Diagnostic as F, type EffectiveInterface as G, type GitlabCodeQualityIssue as H, type InterfaceSource as I, INTERFACE_SOURCE_ABBR as J, type InterfaceDiag as K, type LeakBudget as L, MAX_PROMISE_MICROS as M, type NudoConstraint as N, type InterfaceTierInfo as O, PROJECTION_MAX_DEPTH as P, type NamedImport as Q, type NudoField as R, type NudoFnConstraint as S, NudoSidecarError as T, type NudoSig as U, type RefineDiag as V, type RefineEntry as W, type RefineResolveOpts as X, SELF as Y, actionsForIssue as Z, andC as _, type InterfaceTierOpts as a, takeInterfaceDiags as a$, array as a0, boolean as a1, checkArg as a2, checkCall as a3, constraintAdmitsNullish as a4, constraintToEntryAbs as a5, derefConstraint as a6, drainPromiseMicros as a7, effectiveInterface as a8, enterPromiseExecutorScope as a9, isNodeModulesPath as aA, isNudoConstraint as aB, lazy as aC, leavePromiseExecutorScope as aD, lenTerm as aE, litC as aF, localNamedExports as aG, notePromiseExecutorFork as aH, nullable as aI, number as aJ, omit as aK, partial as aL, pick as aM, queuePromiseMicro as aN, refineDiagCount as aO, refineToIndexedFull as aP, resetNudoModuleExecCache as aQ, resetParseSourceCache as aR, resetSidecarLoadFailureCache as aS, serializeCheckJson as aT, serializeCheckJsonMulti as aU, setInterfaceDiagCollector as aV, setRefineDiagCollector as aW, shape as aX, sidecarClosureFingerprint as aY, sidecarPathOf as aZ, string as a_, evalPromiseCtor as aa, evalPromiseMethod as ab, evalPromiseStatic as ac, execNudoModule as ad, extractDeclaredThrows as ae, extractFnBudget as af, extractNudoImports as ag, extractRefineReturnFromSource as ah, extractRefinesFromSource as ai, fn as aj, fnConstraintToEntryReqs as ak, formatCheckReport as al, formatConstraint as am, formatDiagnostics as an, formatEffectiveInterfaceDisplay as ao, formatGithubAnnotations as ap, formatGitlabCodeQuality as aq, formatInterfaceTierLine as ar, generatedExportNames as as, getParseSourceCacheSize as at, getTerm as au, instantiateConstraint as av, interfaceDiagCount as aw, interfaceSourceOf as ax, interfaceTierOf as ay, isIntFlag as az, type LoadDepsFingerprint as b, takeInterfaceDiagsSince as b0, takeRefineDiags as b1, takeRefineDiagsSince as b2, throwConstraintToKinds as b3, union as b4, ProjectionBudget as c, type ProjectionStopReason as d, defaultLeakBudget as e, exceedsBudget as f, exportedNameOfLocal as g, extractAllLoadSpecs as h, getPromiseMicrosLength as i, loadModuleDepsFingerprint as j, resolveDepPath as k, leakIfNeeded as l, maybeLeak as m, normPath as n, stablePathKey as o, parseSource as p, stablePathKeyGraph as q, resetLeakCounter as r, sidecarSpecsOf as s, termDepth as t, termNodes as u, type CheckReport as v, CONSTRAINT_BUILDERS as w, CONSTRAINT_BUILDER_NAMES as x, CONSTRAINT_EXPR_RE as y, type CheckAction as z };

package/dist/{run-2B7ohsfP.d.ts → run-WZKUu1y1.d.ts}

@@ -817,4 +817,4 @@ declare function callTranspiledExport(exports: Record<string, unknown>, name: st
  */
 declare function callTranspiledExportApply(exports: Record<string, unknown> | (() => Record<string, unknown>), name: string): (args: Abs[], thisVal?: Abs) => AbsApplyResult;
 
-export { $tryDigestSoft as $, type Abs as A, popMayThrowFrame as B, type Confidence as C, pushMayThrowFrame as D, ERROR_FAMILY as E, recordMayThrow as F, resetEvalFallbackStats as G, runWithMayThrowSession as H, setMayThrowCollector as I, throwAbsToKinds as J, throwsKindCovered as K, type LiteralValue as L, type MayThrowEffect as M, withEvalBudgetOverride as N, type HofCollectCtx as O, type PrimName as P, type HofSite as Q, type RelSource as R, type Shape as S, type Term as T, type AbsModuleExports as U, type RunTranspiledOptions as V, $assignRecord as W, $call as X, $callNamed as Y, $recordBinding as Z, type AbsApplyNoThrow as _, type Pred as a, ne as a$, type AbsApplyNoThrowFn as a0, type AbsApplyResult as a1, type AbsApplyReturn as a2, type AbsFnImpl as a3, type AbsSigImpl as a4, type EvalAbsAssignRecord as a5, type EvalCallRecord as a6, type EvalFallback as a7, type ImplicationOracle as a8, type LitValueResult as a9, emptyPhi as aA, eq as aB, evalExprAbs as aC, ge as aD, geNum as aE, getEvalCallCollector as aF, getFnImpl as aG, getImplicationOracle as aH, gt as aI, gtNum as aJ, hostFnCtorFacet as aK, implies as aL, isAbsApplyResult as aM, isAbsVal as aN, isBigPrim as aO, isExactLit as aP, isNumPrim as aQ, isStrPrim as aR, le as aS, leNum as aT, lit as aU, litValue as aV, lt as aW, ltNum as aX, makeAbsApplyResult as aY, markPureFn as aZ, namespaceAbsOf as a_, MAX_EVAL_CALL_DEPTH as aa, MAX_EVAL_TOTAL_CALLS as ab, RUNTIME_IMPORT_RE as ac, TYPEOF_NAMES as ad, type TranspiledCallResult as ae, type TypeofName as af, abs as ag, absFunction as ah, absOnly as ai, absToString as aj, and as ak, anyAbs as al, anyVar as am, app as an, assumeFinite as ao, attachFnImpl as ap, bigintLit as aq, bindImports as ar, bindingsOf as as, bool as at, boolLit as au, callTranspiledExport as av, callTranspiledExportApply as aw, callTranspiledExportFull as ax, collectAbsExports as ay, confJoin as az, type Phi as b, negatePred as b0, never as b1, not as b2, noteEvalCallRecord as b3, noteEvalFallback as b4, num as b5, numLit as b6, numVar as b7, obj as b8, or as b9, termEquals as bA, termToString as bB, tryRunTranspiled as bC, unknown as bD, v as bE, routeApplyThrows as bF, pFalse as ba, pTrue as bb, phiAnd as bc, predEquals as bd, predToString as be, predVars as bf, primToTypeof as bg, ptypeof as bh, pureFnNameOf as bi, relationFingerprint as bj, relationFn as bk, resetEvalCallBudget as bl, runTranspiled as bm, runTranspiledOptionsMemoKey as bn, setEvalAssignCollector as bo, setEvalBindingSink as bp, setEvalCallCollector as bq, setEvalFallbackCollector as br, setImplicationOracle as bs, shapeOfTerm as bt, shapeOnlyFn as bu, shapeToString as bv, simplifyTerm as bw, str as bx, strLit as by, substPred as bz, type AstEnv as c, $tryMarkSoft as d, $tryReleaseSoft as e, type EvalFallbackStats as f, absLit as g, absNumLit as h, absStrLit as i, allAbsStr as j, clearPureCallMemo as k, clearPureMemo as l, enterEvalCallBudgetSession as m, errorTypeAbs as n, exitEvalCallBudgetSession as o, filterDeclaredThrows as p, filterGateThrows as q, filterIgnoredThrows as r, flushMayThrowEffects as s, formatThrowsAbs as t, getEvalCallBudgetState as u, getEvalFallbackStats as v, getMayThrowCollector as w, isThrowsIgnored as x, mayThrowEffectsToAbs as y, orphanMayThrowEffects as z };
+export { $tryDigestSoft as $, type Abs as A, orphanMayThrowEffects as B, type Confidence as C, popMayThrowFrame as D, ERROR_FAMILY as E, pushMayThrowFrame as F, recordMayThrow as G, resetEvalFallbackStats as H, runWithMayThrowSession as I, setMayThrowCollector as J, throwAbsToKinds as K, type LiteralValue as L, type MayThrowEffect as M, throwsKindCovered as N, withEvalBudgetOverride as O, type PrimName as P, type HofCollectCtx as Q, type RelSource as R, type Shape as S, type Term as T, type HofSite as U, type RunTranspiledOptions as V, $assignRecord as W, $call as X, $callNamed as Y, $recordBinding as Z, type AbsApplyNoThrow as _, type Pred as a, ne as a$, type AbsApplyNoThrowFn as a0, type AbsApplyResult as a1, type AbsApplyReturn as a2, type AbsFnImpl as a3, type AbsSigImpl as a4, type EvalAbsAssignRecord as a5, type EvalCallRecord as a6, type EvalFallback as a7, type ImplicationOracle as a8, type LitValueResult as a9, emptyPhi as aA, eq as aB, evalExprAbs as aC, ge as aD, geNum as aE, getEvalCallCollector as aF, getFnImpl as aG, getImplicationOracle as aH, gt as aI, gtNum as aJ, hostFnCtorFacet as aK, implies as aL, isAbsApplyResult as aM, isAbsVal as aN, isBigPrim as aO, isExactLit as aP, isNumPrim as aQ, isStrPrim as aR, le as aS, leNum as aT, lit as aU, litValue as aV, lt as aW, ltNum as aX, makeAbsApplyResult as aY, markPureFn as aZ, namespaceAbsOf as a_, MAX_EVAL_CALL_DEPTH as aa, MAX_EVAL_TOTAL_CALLS as ab, RUNTIME_IMPORT_RE as ac, TYPEOF_NAMES as ad, type TranspiledCallResult as ae, type TypeofName as af, abs as ag, absFunction as ah, absOnly as ai, absToString as aj, and as ak, anyAbs as al, anyVar as am, app as an, assumeFinite as ao, attachFnImpl as ap, bigintLit as aq, bindImports as ar, bindingsOf as as, bool as at, boolLit as au, callTranspiledExport as av, callTranspiledExportApply as aw, callTranspiledExportFull as ax, collectAbsExports as ay, confJoin as az, type Phi as b, negatePred as b0, never as b1, not as b2, noteEvalCallRecord as b3, noteEvalFallback as b4, num as b5, numLit as b6, numVar as b7, obj as b8, or as b9, termEquals as bA, termToString as bB, tryRunTranspiled as bC, unknown as bD, v as bE, routeApplyThrows as bF, pFalse as ba, pTrue as bb, phiAnd as bc, predEquals as bd, predToString as be, predVars as bf, primToTypeof as bg, ptypeof as bh, pureFnNameOf as bi, relationFingerprint as bj, relationFn as bk, resetEvalCallBudget as bl, runTranspiled as bm, runTranspiledOptionsMemoKey as bn, setEvalAssignCollector as bo, setEvalBindingSink as bp, setEvalCallCollector as bq, setEvalFallbackCollector as br, setImplicationOracle as bs, shapeOfTerm as bt, shapeOnlyFn as bu, shapeToString as bv, simplifyTerm as bw, str as bx, strLit as by, substPred as bz, type AbsModuleExports as c, type AstEnv as d, $tryMarkSoft as e, $tryReleaseSoft as f, type EvalFallbackStats as g, absLit as h, absNumLit as i, absStrLit as j, allAbsStr as k, clearPureCallMemo as l, clearPureMemo as m, enterEvalCallBudgetSession as n, errorTypeAbs as o, exitEvalCallBudgetSession as p, filterDeclaredThrows as q, filterGateThrows as r, filterIgnoredThrows as s, flushMayThrowEffects as t, formatThrowsAbs as u, getEvalCallBudgetState as v, getEvalFallbackStats as w, getMayThrowCollector as x, isThrowsIgnored as y, mayThrowEffectsToAbs as z };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@nudojs/core",
-  "version": "1.9.2",
+  "version": "1.9.4",
   "engines": {
     "node": ">=20"
   },