nudojs 1.3.15 → 1.3.17

package/dist/index.js

@@ -19481,7 +19481,12 @@ var init_unsupported = __esm({
 });
 
 // ../core/src/algebra/param-surface.ts
-function collectPatternNames(p, top, nested, depth, propKey) {
+function pushNestedPath(prefix2, key, nestedPaths) {
+  if (prefix2.length === 0 || !key) return;
+  if (key.includes(".") || prefix2.some((seg) => seg.includes("."))) return;
+  nestedPaths.push([...prefix2, key].join("."));
+}
+function collectPatternNames(p, top, nested, depth, propKey, prefix2, nestedPaths) {
   if (!p) return;
   if (p.type === "Identifier" && p.name) {
     if (depth === 0) top.push(p.name);
@@ -19489,17 +19494,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, prefix2, nestedPaths);
     return;
   }
   if (p.type === "RestElement") {
-    collectPatternNames(p.argument, top, nested, depth, propKey);
+    collectPatternNames(p.argument, top, nested, depth, propKey, prefix2, 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, prefix2, 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;
@@ -19511,7 +19516,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 && prefix2.length === 0) {
+          top.push(keyName);
+          if (propKey) propKey[keyName] = keyName;
+        } else {
+          pushNestedPath(prefix2, keyName, nestedPaths);
+        }
+      };
       if (v2.type === "Identifier" && v2.name) {
+        pushNestedPath(prefix2, keyName ?? "", nestedPaths);
         if (depth === 0) {
           top.push(v2.name);
           if (propKey && keyName) propKey[v2.name] = keyName;
@@ -19519,15 +19534,38 @@ function collectPatternNames(p, top, nested, depth, propKey) {
       } else if (v2.type === "AssignmentPattern") {
         const left = v2.left;
         if (left?.type === "Identifier" && left.name) {
+          pushNestedPath(prefix2, 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,
+            prefix2.concat(keyName ? [keyName] : []),
+            nestedPaths
+          );
         } else {
-          collectPatternNames(v2, top, nested, depth, propKey);
-        }
+          collectPatternNames(v2, top, nested, depth, propKey, prefix2, nestedPaths);
+        }
+      } else if (v2.type === "ObjectPattern" || v2.type === "ArrayPattern") {
+        patternValueKeyRule();
+        collectPatternNames(
+          v2,
+          top,
+          nested,
+          depth + 1,
+          propKey,
+          prefix2.concat(keyName ? [keyName] : []),
+          nestedPaths
+        );
       } else {
-        collectPatternNames(v2, top, nested, depth + 1, propKey);
+        collectPatternNames(v2, top, nested, depth + 1, propKey, prefix2, nestedPaths);
       }
     }
     return;
@@ -19539,9 +19577,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);
       }
     }
   }
@@ -19560,13 +19598,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${index2}`,
         bound: top2,
         propKey: propKey2,
         nested: nested2,
+        nestedPaths: nestedPaths2,
         index: index2
       };
     }
@@ -19578,13 +19618,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${index2}`,
       bound: top,
       propKey,
       nested,
+      nestedPaths,
       index: index2
     };
   });
@@ -19626,6 +19668,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;
@@ -19643,10 +19686,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;
 }
 var init_param_surface = __esm({
@@ -21075,19 +21124,36 @@ function mergeGuardInto(list, g) {
   if (grainA !== grainB) prev.grain = "nullish";
   if (prev.memberKey === void 0 && g.memberKey !== void 0) prev.memberKey = g.memberKey;
 }
+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;
@@ -21178,7 +21244,7 @@ function narrowDiscriminantArmThunks(thunk, guards, arm, forkBindingNames) {
   ).join(", ");
   return `((${params}) => ${thunk})(${args})`;
 }
-var TYPEOF_NAMES2, isStrLitNode, typeofArgName, memberGuardTarget, assignGuardTarget, isPrimLitNode;
+var TYPEOF_NAMES2, isStrLitNode, typeofArgName, memberGuardTarget, assignGuardTarget, methodReceiverTarget, collectReceiverFacts, isPrimLitNode;
 var init_stmt_predicates = __esm({
   "../core/src/algebra/exec/transpile/stmt-predicates.ts"() {
     "use strict";
@@ -21208,9 +21274,17 @@ var init_stmt_predicates = __esm({
       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 };
@@ -21222,6 +21296,59 @@ var init_stmt_predicates = __esm({
       }
       return void 0;
     };
+    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;
+    };
+    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;
+      }
+    };
     isPrimLitNode = (n) => {
       const t = n;
       if (t?.type === "StringLiteral") return typeof t.value === "string";
@@ -32238,10 +32365,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 nullAbs3 = abs({ k: "unknown" }, { op: "lit", value: null }, void 0, "exact");
-    return joinAbs(nullAbs3, 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;
@@ -41455,8 +41604,8 @@ function formatEffectiveInterfaceDisplay(eff) {
   if (eff.returns) s += ` \u2192 ${formatConstraint(eff.returns.constraint)}`;
   return s;
 }
-function formatInterfaceTierLine(source) {
-  return `\u25CF interface / ${source}`;
+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;
@@ -41470,7 +41619,7 @@ function interfaceTierOf(source, fnName, fromFile, opts = {}) {
 function interfaceSourceOf(source, fnName, fromFile, opts = {}) {
   return interfaceTierOf(source, fnName, fromFile, opts)?.source;
 }
-var MAX_INTERFACE_DIAGS, interfaceDiagChannel, sidecarLoadFailureSlot, MAX_SIDECAR_FP_NODES, LAZY_DISPLAY_DEPTH;
+var MAX_INTERFACE_DIAGS, interfaceDiagChannel, sidecarLoadFailureSlot, MAX_SIDECAR_FP_NODES, LAZY_DISPLAY_DEPTH, INTERFACE_SOURCE_ABBR;
 var init_interface = __esm({
   "../core/src/algebra/interface.ts"() {
     "use strict";
@@ -41495,6 +41644,11 @@ var init_interface = __esm({
     registerCollectorScopeParticipant((body) => sidecarLoadFailureSlot.runScoped(body));
     MAX_SIDECAR_FP_NODES = 64;
     LAZY_DISPLAY_DEPTH = 2;
+    INTERFACE_SOURCE_ABBR = {
+      handwritten: "hw",
+      generated: "gen",
+      implicit: "imp"
+    };
   }
 });
 
@@ -41718,11 +41872,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) {
@@ -41735,16 +41889,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 prefix2 = truncated ? "trunc:" : readError ? "readerr:" : "";
+    return {
+      fp: `${prefix2}${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;
@@ -41767,7 +41940,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 });
@@ -41788,7 +41961,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 });
@@ -42442,7 +42615,7 @@ function loadModuleId(fn2) {
 }
 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);
 }
@@ -42458,7 +42631,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);
@@ -42476,7 +42649,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) {
@@ -42745,10 +42918,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 skip2 = false;
+            for (let i = 0; i < segs.length - 1; i++) {
+              const node = level[segs[i]];
+              if (node === void 0) {
+                const sub2 = { slots: {} };
+                level[segs[i]] = sub2;
+                level = sub2.slots;
+              } else if ("slots" in node) {
+                level = node.slots;
+              } else {
+                skip2 = true;
+                break;
+              }
+            }
+            if (!skip2) {
+              level[segs[segs.length - 1]] = leaf;
+            }
           } else if (hit) {
             const entryAbs = constraintToEntryAbs(e.constraint, e.param);
             typeParams[hit.index] = {
@@ -42761,20 +42957,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 objAbs2 = 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 objAbs2 = buildPatternObjAbs(
+            bag,
+            sigNames[pIdx] ?? params[pIdx] ?? `_p${pIdx}`,
+            []
+          );
           typeParams[pIdx] = {
             id: typeParams[pIdx].id,
             value: objAbs2
@@ -42918,6 +43128,7 @@ function generalizeFromAstUncached(fnName, source, opts = {}) {
       }));
     }
   }
+  const renderNames = formals.length > 0 ? formalParamSignatureNames(formals) : params;
   return {
     name: fnName,
     params,
@@ -42926,6 +43137,7 @@ function generalizeFromAstUncached(fnName, source, opts = {}) {
     instantiate: (args, phi2) => run(args, phi2 ?? pTrue),
     display: formatPoly(
       fnName,
+      renderNames,
       params,
       typeParams,
       symbolic,
@@ -42940,12 +43152,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") {
@@ -44189,13 +44402,17 @@ function scanLiteralCalls(source, knownFns, phi2, 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 ?? []);
@@ -44217,7 +44434,7 @@ function scanLiteralCalls(source, knownFns, phi2, opts) {
           entries.push([
             hit.index,
             { param, pred: instantiateConstraint(constraint, param), constraint },
-            hit.field
+            hit.fieldPath ?? (hit.field !== void 0 ? [hit.field] : void 0)
           ]);
         }
       }
@@ -44253,17 +44470,18 @@ function scanLiteralCalls(source, knownFns, phi2, 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 paramName2 = 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",
@@ -44604,7 +44822,7 @@ function scanLiteralCalls(source, knownFns, phi2, 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);
@@ -44612,11 +44830,12 @@ function scanLiteralCalls(source, knownFns, phi2, opts) {
       let arg = absArgs[argIdx];
       if (!arg) continue;
       const paramName2 = 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",
@@ -45677,7 +45896,7 @@ function loadModuleId2(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);
 }
@@ -46007,13 +46226,17 @@ var init_check_assign = __esm({
 });
 
 // ../core/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 = [];
@@ -46094,12 +46317,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;
@@ -46110,7 +46333,7 @@ function scanCaseInconsistency(source, knownFns, opts) {
           pred: instantiateConstraint(p.constraint, p.param),
           constraint: p.constraint
         },
-        field
+        fieldPath
       ]);
     }
     if (reqs.length === 0) return;
@@ -46118,16 +46341,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 paramName2 = entry.param || paramNames[idx] || `arg${idx}`;
+            const field = fieldPath.join(".");
             out.push({
               severity: "error",
               code: "nudo:case-inconsistency",
@@ -46268,7 +46492,9 @@ function checkSourceInScope(filePath, source, phi2, 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);
@@ -47436,6 +47662,7 @@ __export(src_exports, {
   CONSTRAINT_BUILDER_NAMES: () => CONSTRAINT_BUILDER_NAMES,
   CONSTRAINT_EXPR_RE: () => CONSTRAINT_EXPR_RE,
   DEFAULT_MAX_LOOP_ITERS: () => DEFAULT_MAX_LOOP_ITERS,
+  INTERFACE_SOURCE_ABBR: () => INTERFACE_SOURCE_ABBR,
   MAX_EVAL_CALL_DEPTH: () => MAX_EVAL_CALL_DEPTH,
   MAX_EVAL_TOTAL_CALLS: () => MAX_EVAL_TOTAL_CALLS,
   NudoLoopSignal: () => NudoLoopSignal,
@@ -48058,12 +48285,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;
     }
@@ -49801,7 +50032,7 @@ var init_resolve_npm = __esm({
 });
 
 // ../service/src/load-module.ts
-import { existsSync as existsSync3, statSync as statSync2, readFileSync as readFileSync3 } from "fs";
+import { statSync as statSync2, readFileSync as readFileSync3 } from "fs";
 import { dirname as dirname3, resolve as resolve2, join as join3 } from "path";
 function moduleResolveCandidates(spec, fromFile) {
   const p = resolve2(dirname3(resolve2(fromFile)), spec);
@@ -49813,18 +50044,21 @@ function moduleResolveCandidates(spec, fromFile) {
 }
 function resolveModuleFile(spec, fromFile) {
   for (const cand of moduleResolveCandidates(spec, fromFile)) {
-    if (existsSync3(cand) && !statSync2(cand).isDirectory()) return cand;
+    let st;
+    try {
+      st = statSync2(cand);
+    } catch (e) {
+      const code2 = e?.code;
+      if (code2 === "ENOENT" || code2 === "ENOTDIR" || code2 === "EISDIR") continue;
+      throw new ModuleReadError(cand, e);
+    }
+    if (!st.isDirectory()) return cand;
   }
   return void 0;
 }
 function defaultLoadModule(spec, fromFile) {
   if (!spec.startsWith(".") && !spec.startsWith("/")) return void 0;
-  let cand;
-  try {
-    cand = resolveModuleFile(spec, fromFile);
-  } catch {
-    return void 0;
-  }
+  const cand = resolveModuleFile(spec, fromFile);
   if (!cand) return void 0;
   try {
     return readFileSync3(cand, "utf-8");
@@ -49860,7 +50094,7 @@ var init_load_module = __esm({
 });
 
 // ../service/src/static-imports.ts
-import { readFileSync as readFileSync4, existsSync as existsSync4 } from "fs";
+import { readFileSync as readFileSync4, existsSync as existsSync3 } from "fs";
 import { resolve as resolve3, dirname as dirname4, join as join4 } from "path";
 function resolveRelative(fromFile, spec) {
   if (!spec.startsWith(".") && !spec.startsWith("/")) return void 0;
@@ -49878,7 +50112,7 @@ function resolveRelative(fromFile, spec) {
     join4(base, "index.mjs"),
     join4(base, "index.ts")
   ]) {
-    if (existsSync4(cand)) return cand;
+    if (existsSync3(cand)) return cand;
   }
   return void 0;
 }
@@ -50010,7 +50244,7 @@ function collectStaticImports(entryFile, maxDepth = 8) {
     const { file, depth } = queue.shift();
     if (seen.has(file) || depth > maxDepth) continue;
     seen.add(file);
-    if (!existsSync4(file)) continue;
+    if (!existsSync3(file)) continue;
     const source = readFileSync4(file, "utf8");
     const mod2 = analyzeExportsFromSource(file, source);
     graph.set(file, mod2);
@@ -50031,7 +50265,7 @@ var init_static_imports = __esm({
 });
 
 // ../service/src/analyzer-module-load.ts
-import { readFileSync as readFileSync5, existsSync as existsSync5, statSync as statSync3 } from "fs";
+import { readFileSync as readFileSync5, existsSync as existsSync4, statSync as statSync3 } from "fs";
 import { resolve as resolve4 } from "path";
 function resolveModule(source, fromDir) {
   const extensions = [...MODULE_RESOLVE_EXTS];
@@ -50043,17 +50277,17 @@ function resolveModule(source, fromDir) {
   const basePath = resolve4(fromDir, source);
   for (const ext of ["", ...extensions]) {
     const candidate = basePath + ext;
-    if (!existsSync5(candidate)) continue;
+    if (!existsSync4(candidate)) continue;
     if (statSync3(candidate).isDirectory()) {
       let entry = null;
       const pkgPath = resolve4(candidate, "package.json");
-      if (existsSync5(pkgPath)) {
+      if (existsSync4(pkgPath)) {
         try {
           const main = JSON.parse(readFileSync5(pkgPath, "utf-8")).main;
           if (typeof main === "string") {
             for (const e of ["", ...extensions]) {
               const p = resolve4(candidate, main + e);
-              if (existsSync5(p) && statSync3(p).isFile()) {
+              if (existsSync4(p) && statSync3(p).isFile()) {
                 entry = p;
                 break;
               }
@@ -50065,7 +50299,7 @@ function resolveModule(source, fromDir) {
       if (!entry) {
         for (const e of ["", ...extensions]) {
           const p = resolve4(candidate, "index" + e);
-          if (existsSync5(p) && statSync3(p).isFile()) {
+          if (existsSync4(p) && statSync3(p).isFile()) {
             entry = p;
             break;
           }
@@ -57345,9 +57579,9 @@ function analysisFileCacheKey(filePath, source, activeCases, externalCallRecords
   let noCache = false;
   try {
     const fp = loadModuleDepsFingerprint(source, effectiveLoader, filePath);
-    if (fp.truncated) {
+    if (fp.truncated || fp.readError) {
       noCache = true;
-      depSeg = `trunc:${fp.paths.length}`;
+      depSeg = `${fp.truncated ? "trunc" : "readerr"}:${fp.paths.length}`;
     } else {
       depSeg = hashSource(fp.fp);
     }
@@ -59707,7 +59941,7 @@ var init_lru_map2 = __esm({
 });
 
 // ../service/src/evaluator/env-loader.ts
-import { readFileSync as readFileSync6, existsSync as existsSync6, statSync as statSync4, mkdirSync, writeFileSync } from "fs";
+import { readFileSync as readFileSync6, existsSync as existsSync5, statSync as statSync4, mkdirSync, writeFileSync } from "fs";
 import { resolve as resolvePath, join as joinPath } from "path";
 import { pathToFileURL } from "url";
 import { createRequire as createRequire2 } from "module";
@@ -59744,7 +59978,7 @@ function isPathEnvName(name, baseDir) {
   if (name in envFactories) return false;
   if (name.includes("/") || name.startsWith("./") || name.startsWith("../")) return true;
   const resolved = resolvePath(baseDir, name);
-  return resolved.endsWith(".ts") && existsSync6(resolved);
+  return resolved.endsWith(".ts") && existsSync5(resolved);
 }
 function rewriteBareImports(text) {
   const require3 = createRequire2(import.meta.url);
@@ -59875,7 +60109,7 @@ async function preloadPathEnvs(envNames, baseDir) {
   for (const name of envNames) {
     if (!isPathEnvName(name, baseDir)) continue;
     const resolved = resolvePath(baseDir, name);
-    if (!existsSync6(resolved)) {
+    if (!existsSync5(resolved)) {
       recordPathEnvError(resolved, baseDir, new Error(`path env not found: ${resolved}`));
       continue;
     }
@@ -60125,13 +60359,22 @@ function pkgStatFp(pkgPath) {
   try {
     const st = statSync5(pkgPath);
     return `${st.mtimeMs}:${st.size}`;
-  } catch {
-    return void 0;
+  } catch (err) {
+    if (err instanceof Error && err.code === "ENOENT") {
+      return void 0;
+    }
+    throw err;
   }
 }
 function projectConfigMemoHit(entry) {
   for (const { pkgPath, fp } of entry.chain) {
-    if (pkgStatFp(pkgPath) !== fp) return false;
+    let current;
+    try {
+      current = pkgStatFp(pkgPath);
+    } catch {
+      return false;
+    }
+    if (current !== fp) return false;
   }
   return true;
 }
@@ -60159,7 +60402,18 @@ function findProjectConfig(startDir) {
   if (hit && projectConfigMemoHit(hit)) return hit.result;
   while (dir !== root) {
     const pkgPath = resolve6(dir, "package.json");
-    const statFp = pkgStatFp(pkgPath);
+    let statFp;
+    try {
+      statFp = pkgStatFp(pkgPath);
+    } catch (err) {
+      memoEntry.chain.push({ pkgPath, fp: STAT_ERROR_FP });
+      process.stderr?.write?.(
+        `nudo: package.json stat failed at ${pkgPath} (${err instanceof Error ? err.message : String(err)}); project config disabled for this subtree (defaults + env apply)
+`
+      );
+      applyBForkBudgetFromConfig(null);
+      return memoize(null);
+    }
     memoEntry.chain.push({ pkgPath, fp: statFp });
     if (statFp !== void 0) {
       let pkg;
@@ -60188,7 +60442,7 @@ function findProjectConfig(startDir) {
   applyBForkBudgetFromConfig(null);
   return memoize(null);
 }
-var DEFAULT_ANALYSIS_EXCLUDE, DEFAULT_ANALYSIS_MODE, projectConfigMemo, MAX_PROJECT_CONFIG_MEMO, projectConfigDiskReads;
+var DEFAULT_ANALYSIS_EXCLUDE, DEFAULT_ANALYSIS_MODE, projectConfigMemo, MAX_PROJECT_CONFIG_MEMO, projectConfigDiskReads, STAT_ERROR_FP;
 var init_config = __esm({
   "../service/src/evaluator/config.ts"() {
     "use strict";
@@ -60203,6 +60457,7 @@ var init_config = __esm({
     projectConfigMemo = /* @__PURE__ */ new Map();
     MAX_PROJECT_CONFIG_MEMO = 128;
     projectConfigDiskReads = 0;
+    STAT_ERROR_FP = "\0stat-error";
   }
 });
 
@@ -274993,7 +275248,7 @@ var init_harvest_dts = __esm({
 });
 
 // ../harvester/src/dts-contract-draft.ts
-import { readFileSync as readFileSync9, existsSync as existsSync7, statSync as statSync7, readdirSync } from "fs";
+import { readFileSync as readFileSync9, existsSync as existsSync6, statSync as statSync7, readdirSync } from "fs";
 import { basename, dirname as dirname6, join as join5 } from "path";
 function keywordDsl(node) {
   switch (node.kind) {
@@ -275278,7 +275533,7 @@ function readDtsFiles(paths, maxFiles = 16) {
     }
   };
   for (const p of paths) {
-    if (!existsSync7(p)) continue;
+    if (!existsSync6(p)) continue;
     const st = statSync7(p);
     if (st.isDirectory()) walk(p, 0);
     else if (/\.d\.ts$/.test(p) || /\.(m)?ts$/.test(p)) {
@@ -275288,7 +275543,7 @@ function readDtsFiles(paths, maxFiles = 16) {
   return out.slice(0, maxFiles);
 }
 function dtsToContractDraft(dtsFiles, label) {
-  const files = dtsFiles.filter((f) => existsSync7(f));
+  const files = dtsFiles.filter((f) => existsSync6(f));
   const exports = [];
   let skippedFiles = 0;
   for (const file of files) {
@@ -275344,16 +275599,16 @@ var init_dts_contract_draft = __esm({
 });
 
 // ../harvester/src/harvest-package.ts
-import { existsSync as existsSync8, readdirSync as readdirSync2, statSync as statSync8, readFileSync as readFileSync10 } from "fs";
+import { existsSync as existsSync7, readdirSync as readdirSync2, statSync as statSync8, readFileSync as readFileSync10 } from "fs";
 import { join as join6, resolve as resolve7, dirname as dirname7, basename as basename2 } from "path";
 function resolvePackageRoot(pkg, fromDir = process.cwd()) {
   let dir = resolve7(fromDir);
   const bare = pkg.replace(/^@/, "").replace(/\//g, "__");
   for (let i = 0; i < 8; i++) {
     const typesPath = join6(dir, "node_modules", "@types", bare);
-    if (existsSync8(typesPath)) return typesPath;
+    if (existsSync7(typesPath)) return typesPath;
     const pkgPath = join6(dir, "node_modules", pkg);
-    if (existsSync8(pkgPath)) return pkgPath;
+    if (existsSync7(pkgPath)) return pkgPath;
     const parent = resolve7(dir, "..");
     if (parent === dir) break;
     dir = parent;
@@ -275402,13 +275657,13 @@ function collectDtsFiles(root, maxFiles = 8) {
 }
 function entryDtsFromPackageJson(root) {
   const pj = join6(root, "package.json");
-  if (!existsSync8(pj)) return void 0;
+  if (!existsSync7(pj)) return void 0;
   try {
     const raw = JSON.parse(readFileSync10(pj, "utf8"));
     const entry = raw.types ?? raw.typings;
     if (typeof entry === "string" && entry.endsWith(".d.ts")) {
       const p = resolve7(root, entry);
-      if (existsSync8(p)) {
+      if (existsSync7(p)) {
         const st = statSync8(p);
         if (st.size <= MAX_DTS_BYTES) return p;
       }
@@ -275425,7 +275680,7 @@ function collectDtsFromEntry(entry, maxFiles = 200) {
   const RELATIVE_FROM_REGEX = /\bfrom\s+["'](\.[^"']+)["']/g;
   while (queue.length > 0 && files.length < maxFiles) {
     const current = queue.shift();
-    if (seen.has(current) || !existsSync8(current)) continue;
+    if (seen.has(current) || !existsSync7(current)) continue;
     seen.add(current);
     if (!current.endsWith(".d.ts")) continue;
     files.push(current);
@@ -275442,7 +275697,7 @@ function collectDtsFromEntry(entry, maxFiles = 200) {
     for (const match of text.matchAll(RELATIVE_FROM_REGEX)) {
       const base = resolve7(dir, match[1]);
       for (const candidate of [`${base}.d.ts`, join6(base, "index.d.ts")]) {
-        if (existsSync8(candidate)) {
+        if (existsSync7(candidate)) {
           queue.push(candidate);
           break;
         }
@@ -275455,10 +275710,10 @@ function harvestPackage(pkg, fromDir, maxFiles = 24) {
   const root = resolvePackageRoot(pkg, fromDir);
   if (!root) return { error: `package not found: ${pkg}` };
   const entry = entryDtsFromPackageJson(root) ?? join6(root, "index.d.ts");
-  let dtsFiles = existsSync8(entry) ? collectDtsFromEntry(entry, maxFiles) : [];
+  let dtsFiles = existsSync7(entry) ? collectDtsFromEntry(entry, maxFiles) : [];
   if (dtsFiles.length === 0) {
     const collected = collectDtsFiles(root, maxFiles);
-    dtsFiles = entry && existsSync8(entry) && !collected.includes(entry) ? [entry, ...collected.filter((f) => f !== entry)].slice(0, maxFiles) : collected;
+    dtsFiles = entry && existsSync7(entry) && !collected.includes(entry) ? [entry, ...collected.filter((f) => f !== entry)].slice(0, maxFiles) : collected;
   }
   if (dtsFiles.length === 0) {
     return { error: `no .d.ts under ${root}` };
@@ -275770,7 +276025,7 @@ var init_harvest_json = __esm({
 
 // ../harvester/src/harvest-disk.ts
 import { createHash as createHash3 } from "crypto";
-import { existsSync as existsSync9, mkdirSync as mkdirSync2, readFileSync as readFileSync11, writeFileSync as writeFileSync2 } from "fs";
+import { existsSync as existsSync8, mkdirSync as mkdirSync2, readFileSync as readFileSync11, writeFileSync as writeFileSync2 } from "fs";
 import { homedir } from "os";
 import { join as join7, dirname as dirname8 } from "path";
 function depsCacheRoot() {
@@ -275809,7 +276064,7 @@ function diskPath(root, key) {
 function readHarvestDisk(root, key) {
   try {
     const p = diskPath(root, key);
-    if (!existsSync9(p)) return void 0;
+    if (!existsSync8(p)) return void 0;
     const parsed = JSON.parse(readFileSync11(p, "utf8"));
     if (parsed?.abi !== HARVEST_DISK_ABI) return void 0;
     return parsed.value;
@@ -275837,10 +276092,10 @@ function listPackageDts(pkg, fromDir, maxFiles) {
       return void 0;
     }
   })();
-  let dtsFiles = entry && existsSync9(entry) ? collectDtsFromEntry(entry, Math.max(maxFiles, 24)) : [];
+  let dtsFiles = entry && existsSync8(entry) ? collectDtsFromEntry(entry, Math.max(maxFiles, 24)) : [];
   if (dtsFiles.length === 0) {
     const collected = collectDtsFiles(root, maxFiles);
-    dtsFiles = entry && existsSync9(entry) && !collected.includes(entry) ? [entry, ...collected.filter((f) => f !== entry)].slice(0, maxFiles) : collected;
+    dtsFiles = entry && existsSync8(entry) && !collected.includes(entry) ? [entry, ...collected.filter((f) => f !== entry)].slice(0, maxFiles) : collected;
   }
   if (dtsFiles.length === 0) return null;
   return { root, dtsFiles, pkgVersion: readPkgVersion(root) };
@@ -276181,7 +276436,7 @@ var init_harvest_to_abs = __esm({
 });
 
 // ../harvester/src/harvest-node.ts
-import { existsSync as existsSync10, statSync as statSync9, readFileSync as readFileSync12 } from "fs";
+import { existsSync as existsSync9, statSync as statSync9, readFileSync as readFileSync12 } from "fs";
 import { join as join8 } from "path";
 function notFoundCacheKey(fromDir) {
   return `not-found|@types/node|${fromDir ?? ""}`;
@@ -276265,7 +276520,7 @@ function harvestNodeTypes(fromDir, maxFiles = HARVEST_NODE_DEFAULT_MAX_FILES, ma
     };
   }
   const root = resolvePackageRoot("@types/node", fromDir) ?? resolvePackageRoot("node", fromDir);
-  if (!root || !existsSync10(root)) {
+  if (!root || !existsSync9(root)) {
     const missKey = notFoundCacheKey(fromDir);
     const miss = nodeHarvestCache.get(missKey);
     if (miss) {
@@ -277467,7 +277722,7 @@ function evalCacheSlotKey(filePath, mode) {
 function evalDepKey(source, filePath, loadModule) {
   try {
     const fp = loadModuleDepsFingerprint(source, loadModule ?? defaultLoadModule, filePath);
-    if (fp.truncated) return null;
+    if (fp.truncated || fp.readError) return null;
     return hashSource(fp.fp);
   } catch {
     return null;
@@ -278241,7 +278496,7 @@ var init_analyzer_orchestrate_calls = __esm({
 });
 
 // ../service/src/entry-variants.ts
-import { existsSync as existsSync11, readFileSync as readFileSync14 } from "fs";
+import { existsSync as existsSync10, readFileSync as readFileSync14 } from "fs";
 import { dirname as dirname12, join as join9, resolve as resolve8 } from "path";
 function collectConditionFaces(val) {
   const browser = [];
@@ -278355,7 +278610,7 @@ function findOwningPackage(fromFile) {
   const root = resolve8("/");
   for (; ; ) {
     const pkgPath = join9(dir, "package.json");
-    if (existsSync11(pkgPath)) {
+    if (existsSync10(pkgPath)) {
       try {
         const pkg = JSON.parse(readFileSync14(pkgPath, "utf-8"));
         return { path: pkgPath, dir, pkg };
@@ -278672,7 +278927,7 @@ function computeFnDepSegment(source, loadModule, filePath) {
   let fnDepFailClosed = false;
   try {
     const dfp = loadModuleDepsFingerprint(source, loadModule ?? defaultLoadModule, filePath);
-    if (dfp.truncated) {
+    if (dfp.truncated || dfp.readError) {
       fnDepFailClosed = true;
       fnDepSeg = null;
     } else {
@@ -279740,7 +279995,7 @@ var init_target_path = __esm({
 
 // ../service/src/analysis-scope.ts
 import { dirname as dirname16 } from "path";
-import { existsSync as existsSync12 } from "fs";
+import { existsSync as existsSync11 } from "fs";
 function filterDiagnosticsByLevel(diags, level) {
   if (level === "verbose") return diags;
   if (level === "off") return [];
@@ -279784,7 +280039,7 @@ function shouldAnalyzeFile(filePath, source, config) {
   if (cfg.mode === "directives") return false;
   if (text !== void 0 && hasExport(text)) return true;
   try {
-    if (existsSync12(sidecarPathOf(filePath))) return true;
+    if (existsSync11(sidecarPathOf(filePath))) return true;
   } catch {
   }
   return false;
@@ -280090,7 +280345,7 @@ import {
   mkdirSync as mkdirSync3,
   readFileSync as readFileSync15,
   writeFileSync as writeFileSync3,
-  existsSync as existsSync13,
+  existsSync as existsSync12,
   rmSync,
   renameSync,
   unlinkSync
@@ -280135,7 +280390,7 @@ function monorepoLogicalPath(posixPath) {
   let dir = dirname17(posixPath);
   let workspacesRoot;
   for (; ; ) {
-    if (existsSync13(join10(dir, "pnpm-workspace.yaml")) || existsSync13(join10(dir, "lerna.json"))) {
+    if (existsSync12(join10(dir, "pnpm-workspace.yaml")) || existsSync12(join10(dir, "lerna.json"))) {
       return toPosix(relative3(dir, posixPath)) || void 0;
     }
     if (!workspacesRoot) {
@@ -280258,7 +280513,7 @@ var init_disk_cache = __esm({
         if (!this.enabled || !this.root) return void 0;
         try {
           const p = this.pathFor(key);
-          if (!existsSync13(p)) return void 0;
+          if (!existsSync12(p)) return void 0;
           const raw = readFileSync15(p, "utf8");
           const parsed = JSON.parse(raw);
           if (parsed?.abi !== ANALYSIS_ABI) return void 0;
@@ -280280,7 +280535,7 @@ var init_disk_cache = __esm({
         } catch {
           if (tmp) {
             try {
-              if (existsSync13(tmp)) unlinkSync(tmp);
+              if (existsSync12(tmp)) unlinkSync(tmp);
             } catch {
             }
           }
@@ -280499,7 +280754,7 @@ import {
   mkdirSync as mkdirSync4,
   readFileSync as readFileSync16,
   writeFileSync as writeFileSync4,
-  existsSync as existsSync14,
+  existsSync as existsSync13,
   rmSync as rmSync2,
   renameSync as renameSync2,
   unlinkSync as unlinkSync2
@@ -280688,7 +280943,7 @@ function monorepoLogicalPath2(posixPath) {
   let dir = dirname18(posixPath);
   let workspacesRoot;
   for (; ; ) {
-    if (existsSync14(join11(dir, "pnpm-workspace.yaml")) || existsSync14(join11(dir, "lerna.json"))) {
+    if (existsSync13(join11(dir, "pnpm-workspace.yaml")) || existsSync13(join11(dir, "lerna.json"))) {
       return toPosix2(relative4(dir, posixPath)) || void 0;
     }
     if (!workspacesRoot) {
@@ -280784,7 +281039,7 @@ var init_chunk_4TAFH6ZZ = __esm({
         if (!this.enabled || !this.root) return void 0;
         try {
           const p = this.pathFor(key);
-          if (!existsSync14(p)) return void 0;
+          if (!existsSync13(p)) return void 0;
           const raw = readFileSync16(p, "utf8");
           const parsed = JSON.parse(raw);
           if (parsed?.abi !== ANALYSIS_ABI2) return void 0;
@@ -280806,7 +281061,7 @@ var init_chunk_4TAFH6ZZ = __esm({
         } catch {
           if (tmp) {
             try {
-              if (existsSync14(tmp)) unlinkSync2(tmp);
+              if (existsSync13(tmp)) unlinkSync2(tmp);
             } catch {
             }
           }
@@ -280823,8 +281078,8 @@ var init_chunk_4TAFH6ZZ = __esm({
   }
 });
 
-// ../service/dist/chunk-RKFQ6H4V.js
-import { readFileSync as readFileSync17, existsSync as existsSync15, statSync as statSync11, mkdirSync as mkdirSync5, writeFileSync as writeFileSync5 } from "fs";
+// ../service/dist/chunk-EGGGBJDA.js
+import { readFileSync as readFileSync17, existsSync as existsSync14, statSync as statSync11, mkdirSync as mkdirSync5, writeFileSync as writeFileSync5 } from "fs";
 import { resolve as resolvePath2, join as joinPath2 } from "path";
 import { pathToFileURL as pathToFileURL2 } from "url";
 import { createRequire as createRequire5 } from "module";
@@ -280883,7 +281138,7 @@ function isPathEnvName2(name, baseDir) {
   if (name in envFactories2) return false;
   if (name.includes("/") || name.startsWith("./") || name.startsWith("../")) return true;
   const resolved = resolvePath2(baseDir, name);
-  return resolved.endsWith(".ts") && existsSync15(resolved);
+  return resolved.endsWith(".ts") && existsSync14(resolved);
 }
 function rewriteBareImports2(text) {
   const require22 = createRequire5(import.meta.url);
@@ -280990,7 +281245,7 @@ async function preloadPathEnvs2(envNames, baseDir) {
   for (const name of envNames) {
     if (!isPathEnvName2(name, baseDir)) continue;
     const resolved = resolvePath2(baseDir, name);
-    if (!existsSync15(resolved)) {
+    if (!existsSync14(resolved)) {
       recordPathEnvError2(resolved, baseDir, new Error(`path env not found: ${resolved}`));
       continue;
     }
@@ -281160,13 +281415,22 @@ function pkgStatFp2(pkgPath) {
   try {
     const st = statSync22(pkgPath);
     return `${st.mtimeMs}:${st.size}`;
-  } catch {
-    return void 0;
+  } catch (err) {
+    if (err instanceof Error && err.code === "ENOENT") {
+      return void 0;
+    }
+    throw err;
   }
 }
 function projectConfigMemoHit2(entry) {
   for (const { pkgPath, fp } of entry.chain) {
-    if (pkgStatFp2(pkgPath) !== fp) return false;
+    let current;
+    try {
+      current = pkgStatFp2(pkgPath);
+    } catch {
+      return false;
+    }
+    if (current !== fp) return false;
   }
   return true;
 }
@@ -281188,7 +281452,18 @@ function findProjectConfig2(startDir) {
   if (hit && projectConfigMemoHit2(hit)) return hit.result;
   while (dir !== root) {
     const pkgPath = resolve10(dir, "package.json");
-    const statFp = pkgStatFp2(pkgPath);
+    let statFp;
+    try {
+      statFp = pkgStatFp2(pkgPath);
+    } catch (err) {
+      memoEntry.chain.push({ pkgPath, fp: STAT_ERROR_FP2 });
+      process.stderr?.write?.(
+        `nudo: package.json stat failed at ${pkgPath} (${err instanceof Error ? err.message : String(err)}); project config disabled for this subtree (defaults + env apply)
+`
+      );
+      applyBForkBudgetFromConfig2(null);
+      return memoize(null);
+    }
     memoEntry.chain.push({ pkgPath, fp: statFp });
     if (statFp !== void 0) {
       let pkg;
@@ -281359,9 +281634,9 @@ function resolveNpmJsEntryDetailed2(source, fromDir) {
   }
   return { path: tryInsidePkg2(pkgDir, subpath, tryFile), exportsUnresolved: false };
 }
-var BUILTIN_ERROR_CLASSES2, BUILTIN_PROTOTYPE_CLASSES2, numA2, strA2, boolA2, unkA2, undefA2, nullA2, OBJECT_PROTOTYPE_METHODS2, BUILTIN_PROTOTYPE_METHOD_APPROXIMATIONS2, BoundedLruMap4, envFactories2, impliedDeps2, PATH_ENV_CACHE_MAX2, PATH_ENV_BY_PATH_MAX2, PATH_ENV_BASE_DIRS_MAX2, pathEnvCache2, pathEnvByPath2, pathEnvBaseDirs2, pathEnvFiles2, pathEnvLoadErrors2, DEFAULT_SESSION_CACHE_LIMITS2, HARD_CAP2, explicit2, fromProject2, DEFAULT_ANALYSIS_EXCLUDE2, DEFAULT_ANALYSIS_MODE2, projectConfigMemo2, MAX_PROJECT_CONFIG_MEMO2, projectConfigDiskReads2, JS_CONDITIONS2;
-var init_chunk_RKFQ6H4V = __esm({
-  "../service/dist/chunk-RKFQ6H4V.js"() {
+var BUILTIN_ERROR_CLASSES2, BUILTIN_PROTOTYPE_CLASSES2, numA2, strA2, boolA2, unkA2, undefA2, nullA2, OBJECT_PROTOTYPE_METHODS2, BUILTIN_PROTOTYPE_METHOD_APPROXIMATIONS2, BoundedLruMap4, envFactories2, impliedDeps2, PATH_ENV_CACHE_MAX2, PATH_ENV_BY_PATH_MAX2, PATH_ENV_BASE_DIRS_MAX2, pathEnvCache2, pathEnvByPath2, pathEnvBaseDirs2, pathEnvFiles2, pathEnvLoadErrors2, DEFAULT_SESSION_CACHE_LIMITS2, HARD_CAP2, explicit2, fromProject2, DEFAULT_ANALYSIS_EXCLUDE2, DEFAULT_ANALYSIS_MODE2, projectConfigMemo2, MAX_PROJECT_CONFIG_MEMO2, projectConfigDiskReads2, STAT_ERROR_FP2, JS_CONDITIONS2;
+var init_chunk_EGGGBJDA = __esm({
+  "../service/dist/chunk-EGGGBJDA.js"() {
     "use strict";
     init_src();
     init_es();
@@ -281638,17 +281913,18 @@ var init_chunk_RKFQ6H4V = __esm({
     projectConfigMemo2 = /* @__PURE__ */ new Map();
     MAX_PROJECT_CONFIG_MEMO2 = 128;
     projectConfigDiskReads2 = 0;
+    STAT_ERROR_FP2 = "\0stat-error";
     JS_CONDITIONS2 = ["node", "require", "import", "default", "browser"];
   }
 });
 
-// ../service/dist/chunk-Z2P52JEO.js
-import { existsSync as existsSync16, statSync as statSync12, readFileSync as readFileSync18 } from "fs";
+// ../service/dist/chunk-MV2LPYT2.js
+import { statSync as statSync12, readFileSync as readFileSync18 } from "fs";
 import { dirname as dirname20, resolve as resolve11, join as join13 } from "path";
 import { readFileSync as readFileSync42, statSync as statSync33 } from "fs";
 import { dirname as dirname32 } from "path";
 import { dirname as dirname42 } from "path";
-import { existsSync as existsSync42, readFileSync as readFileSync52 } from "fs";
+import { existsSync as existsSync32, readFileSync as readFileSync52 } from "fs";
 import { dirname as dirname52, join as join32, resolve as resolve42 } from "path";
 import { dirname as dirname82 } from "path";
 import { realpathSync as realpathSync2 } from "fs";
@@ -281664,18 +281940,21 @@ function moduleResolveCandidates2(spec, fromFile) {
 }
 function resolveModuleFile2(spec, fromFile) {
   for (const cand of moduleResolveCandidates2(spec, fromFile)) {
-    if (existsSync16(cand) && !statSync12(cand).isDirectory()) return cand;
+    let st;
+    try {
+      st = statSync12(cand);
+    } catch (e) {
+      const code2 = e?.code;
+      if (code2 === "ENOENT" || code2 === "ENOTDIR" || code2 === "EISDIR") continue;
+      throw new ModuleReadError2(cand, e);
+    }
+    if (!st.isDirectory()) return cand;
   }
   return void 0;
 }
 function defaultLoadModule2(spec, fromFile) {
   if (!spec.startsWith(".") && !spec.startsWith("/")) return void 0;
-  let cand;
-  try {
-    cand = resolveModuleFile2(spec, fromFile);
-  } catch {
-    return void 0;
-  }
+  const cand = resolveModuleFile2(spec, fromFile);
   if (!cand) return void 0;
   try {
     return readFileSync18(cand, "utf-8");
@@ -282106,9 +282385,9 @@ function analysisFileCacheKey2(filePath, source, activeCases, externalCallRecord
   let noCache = false;
   try {
     const fp = loadModuleDepsFingerprint(source, effectiveLoader, filePath);
-    if (fp.truncated) {
+    if (fp.truncated || fp.readError) {
       noCache = true;
-      depSeg = `trunc:${fp.paths.length}`;
+      depSeg = `${fp.truncated ? "trunc" : "readerr"}:${fp.paths.length}`;
     } else {
       depSeg = hashSource(fp.fp);
     }
@@ -283060,7 +283339,7 @@ function evalCacheSlotKey2(filePath, mode) {
 function evalDepKey2(source, filePath, loadModule) {
   try {
     const fp = loadModuleDepsFingerprint(source, loadModule ?? defaultLoadModule2, filePath);
-    if (fp.truncated) return null;
+    if (fp.truncated || fp.readError) return null;
     return hashSource(fp.fp);
   } catch {
     return null;
@@ -283805,7 +284084,7 @@ function findOwningPackage2(fromFile) {
   const root = resolve42("/");
   for (; ; ) {
     const pkgPath = join32(dir, "package.json");
-    if (existsSync42(pkgPath)) {
+    if (existsSync32(pkgPath)) {
       try {
         const pkg = JSON.parse(readFileSync52(pkgPath, "utf-8"));
         return { path: pkgPath, dir, pkg };
@@ -284186,7 +284465,7 @@ function computeFnDepSegment2(source, loadModule, filePath) {
   let fnDepFailClosed = false;
   try {
     const dfp = loadModuleDepsFingerprint(source, loadModule ?? defaultLoadModule2, filePath);
-    if (dfp.truncated) {
+    if (dfp.truncated || dfp.readError) {
       fnDepFailClosed = true;
       fnDepSeg = null;
     } else {
@@ -285150,10 +285429,10 @@ function analyzeFile2(filePath, source, activeCases, externalCallRecords, loadMo
   });
 }
 var MODULE_RESOLVE_EXTS2, ModuleReadError2, neverAbs2, undefAbs4, MAX_RECORD_TYPE_NODES2, ABS_MODULE_CACHE_MAX2, absModuleCache2, ENV_DEPENDENTS_MAX2, ENV_DEPENDENTS_PER_KEY_MAX2, envDependents2, analysisByFile2, fnAnalysisCache2, envHarvestConflictCollectorSlot2, evalRunByFile2, KNOWN_GLOBALS2, DEFAULT_CALLSITE_BUDGET2, COLLAPSE_LITERAL_THRESHOLD2;
-var init_chunk_Z2P52JEO = __esm({
-  "../service/dist/chunk-Z2P52JEO.js"() {
+var init_chunk_MV2LPYT2 = __esm({
+  "../service/dist/chunk-MV2LPYT2.js"() {
     "use strict";
-    init_chunk_RKFQ6H4V();
+    init_chunk_EGGGBJDA();
     init_src2();
     init_src();
     init_src2();
@@ -285311,14 +285590,14 @@ __export(emit_exports, {
   wrapReturnNullable: () => wrapReturnNullable,
   writeInterfaceDraft: () => writeInterfaceDraft
 });
-import { readFileSync as readFileSync19, existsSync as existsSync17 } from "fs";
+import { readFileSync as readFileSync19, existsSync as existsSync15 } from "fs";
 import { dirname as dirname21, resolve as resolve12 } from "path";
 import { existsSync as existsSync23, readFileSync as readFileSync23, writeFileSync as writeFileSync6, renameSync as renameSync3, unlinkSync as unlinkSync3 } from "fs";
 import { basename as basename3, dirname as dirname23, relative as relative6, resolve as resolve23 } from "path";
 import { randomBytes as randomBytes3 } from "crypto";
-import { existsSync as existsSync32, readFileSync as readFileSync33, writeFileSync as writeFileSync22, realpathSync as realpathSync3 } from "fs";
+import { existsSync as existsSync33, readFileSync as readFileSync33, writeFileSync as writeFileSync22, realpathSync as realpathSync3 } from "fs";
 import { basename as basename22, dirname as dirname33, isAbsolute as isAbsolute5, join as join14, relative as relative23 } from "path";
-import { existsSync as existsSync43, readFileSync as readFileSync43 } from "fs";
+import { existsSync as existsSync42, readFileSync as readFileSync43 } from "fs";
 import { basename as basename32, dirname as dirname43, relative as relative32, resolve as resolve32 } from "path";
 import { relative as relative42, resolve as resolve43 } from "path";
 import { existsSync as existsSync52, readFileSync as readFileSync53, renameSync as renameSync22, unlinkSync as unlinkSync22, writeFileSync as writeFileSync32 } from "fs";
@@ -285380,7 +285659,7 @@ async function interfaceSurface(filePath, opts = {}) {
         if (autoBind !== false) {
           const openSc = loadModule(`./${sc.slice(sc.lastIndexOf("/") + 1)}`, abs2);
           if (openSc !== void 0) sidecarSource = openSc;
-          else if (existsSync17(sc)) sidecarSource = readFileSync19(sc, "utf-8");
+          else if (existsSync15(sc)) sidecarSource = readFileSync19(sc, "utf-8");
         }
       } catch {
         sidecarSource = void 0;
@@ -287186,7 +287465,7 @@ function writeInterfaceDraft(filePath, draftSource, opts = {}) {
     }
   }
   const draftable = opts.draftable !== void 0 ? opts.draftable : opts.entries !== void 0 ? isDraftableEntry(opts.entries) : /export\s+const\s+[\p{ID_Start}$_][\p{ID_Continue}$]*\s*=/u.test(draftSource);
-  const prev = existsSync32(draftPath) ? readFileSync33(draftPath, "utf-8") : void 0;
+  const prev = existsSync33(draftPath) ? readFileSync33(draftPath, "utf-8") : void 0;
   const changed = prev !== draftSource;
   const written = !opts.dryRun && changed && draftable;
   if (written) {
@@ -287511,7 +287790,7 @@ function importLocalMap(source, fromFile) {
       const raw = resolve32(base, spec);
       let modulePath = null;
       for (const cand of [raw, `${raw}.js`, `${raw}.ts`, `${raw}.mjs`]) {
-        if (existsSync43(cand)) {
+        if (existsSync42(cand)) {
           modulePath = cand;
           break;
         }
@@ -287535,7 +287814,7 @@ function deriveFromRoot(filePath, opts = {}) {
   const autoBind = opts.autoBind ?? interfaceConfig2(findProjectConfig2(dirname43(abs2))?.config).autoBind;
   const loadModule = opts.loadModule ?? defaultLoadModule2;
   const sidecarPath = sidecarPathOf(abs2);
-  const sidecarSrc = existsSync43(sidecarPath) && !isNodeModulesPath(sidecarPath) ? readFileSync43(sidecarPath, "utf-8") : "";
+  const sidecarSrc = existsSync42(sidecarPath) && !isNodeModulesPath(sidecarPath) ? readFileSync43(sidecarPath, "utf-8") : "";
   const fnNames = topLevelFnNames(source);
   const roots = [];
   const plans = [];
@@ -287663,7 +287942,7 @@ function deriveOneRoot(plan, source, file, modules, importLocals, label) {
         targetFile = file;
       }
       if (isNodeModulesPath(targetFile)) continue;
-      if (!existsSync43(targetFile)) continue;
+      if (!existsSync42(targetFile)) continue;
       const key = `${targetFile}::${targetExport}`;
       let agg = byCallee.get(key);
       if (!agg) {
@@ -289748,8 +290027,8 @@ var init_emit2 = __esm({
   "../service/dist/emit/index.js"() {
     "use strict";
     init_chunk_4TAFH6ZZ();
-    init_chunk_Z2P52JEO();
-    init_chunk_RKFQ6H4V();
+    init_chunk_MV2LPYT2();
+    init_chunk_EGGGBJDA();
     init_src();
     init_src();
     init_internal();
@@ -290011,7 +290290,7 @@ __export(migrate_exports, {
   stripTsToJs: () => stripTsToJs
 });
 import {
-  existsSync as existsSync25,
+  existsSync as existsSync21,
   mkdirSync as mkdirSync7,
   readFileSync as readFileSync28,
   readdirSync as readdirSync4,
@@ -290032,7 +290311,7 @@ function readJson(path) {
 }
 function writeFileAtomic(path, data) {
   const dir = dirname29(path);
-  if (!existsSync25(dir)) mkdirSync7(dir, { recursive: true });
+  if (!existsSync21(dir)) mkdirSync7(dir, { recursive: true });
   const tmp = `${path}.tmp-${process.pid}-${Date.now()}`;
   try {
     writeFileSync11(tmp, data, "utf-8");
@@ -290050,7 +290329,7 @@ function writeJson(path, value) {
 `);
 }
 function snapshotFile(path) {
-  if (!existsSync25(path)) return { path, kind: "missing" };
+  if (!existsSync21(path)) return { path, kind: "missing" };
   try {
     if (statSync16(path).isFile()) {
       return { path, kind: "file", content: readFileSync28(path, "utf-8") };
@@ -290062,7 +290341,7 @@ function snapshotFile(path) {
 }
 function restoreSnapshot(snap) {
   if (snap.kind === "missing") {
-    if (existsSync25(snap.path)) rmSync3(snap.path, { force: true });
+    if (existsSync21(snap.path)) rmSync3(snap.path, { force: true });
     return;
   }
   if (snap.kind === "file") writeFileAtomic(snap.path, snap.content);
@@ -290159,7 +290438,7 @@ function unquoteYamlScalar(s) {
 }
 function parsePnpmWorkspacePackages(root) {
   const yamlPath = join18(root, "pnpm-workspace.yaml");
-  if (!existsSync25(yamlPath)) return [];
+  if (!existsSync21(yamlPath)) return [];
   let text;
   try {
     text = readFileSync28(yamlPath, "utf-8");
@@ -290221,17 +290500,17 @@ function packageRoots(root) {
     if (w.startsWith("!")) continue;
     if (w.endsWith("/*") || w.endsWith("/**")) {
       const base = join18(root, w.replace(/\/\*\*?$/, ""));
-      if (!existsSync25(base)) continue;
+      if (!existsSync21(base)) continue;
       for (const name of readdirSync4(base)) {
         const p = join18(base, name);
-        if (!existsSync25(join18(p, "package.json"))) continue;
+        if (!existsSync21(join18(p, "package.json"))) continue;
         if (seen.has(p)) continue;
         seen.add(p);
         roots.push(p);
       }
     } else {
       const p = join18(root, w);
-      if (!existsSync25(join18(p, "package.json"))) continue;
+      if (!existsSync21(join18(p, "package.json"))) continue;
       if (seen.has(p)) continue;
       seen.add(p);
       roots.push(p);
@@ -290459,7 +290738,7 @@ function findWorkflowDir(from) {
   let cur = resolve19(from);
   for (let i = 0; i < 6; i++) {
     const wf = join18(cur, ".github", "workflows");
-    if (existsSync25(wf) && statSync16(wf).isDirectory()) return wf;
+    if (existsSync21(wf) && statSync16(wf).isDirectory()) return wf;
     const parent = dirname29(cur);
     if (parent === cur) break;
     cur = parent;
@@ -290505,7 +290784,7 @@ function rewriteWorkflowsNear(from, opts = {}) {
 }
 function resolveMigrateRoot(rootDir) {
   const raw = resolve19(rootDir);
-  if (!existsSync25(raw)) {
+  if (!existsSync21(raw)) {
     throw new Error(`not found: ${rootDir}`);
   }
   return statSync16(raw).isDirectory() ? raw : dirname29(raw);
@@ -290529,9 +290808,9 @@ function migrateStatus(rootDir) {
       ...pkg?.devDependencies ?? {}
     };
     const markerPath = join18(r, ".nudo", "migrate-retired.json");
-    const retired = existsSync25(markerPath) && statSync16(markerPath).isFile();
+    const retired = existsSync21(markerPath) && statSync16(markerPath).isFile();
     const retiringPath = join18(r, ".nudo", "migrate-retiring.json");
-    const retiring = !retired && existsSync25(retiringPath) && statSync16(retiringPath).isFile();
+    const retiring = !retired && existsSync21(retiringPath) && statSync16(retiringPath).isFile();
     const blockers = [];
     if (retiring) {
       blockers.push(
@@ -290552,9 +290831,9 @@ function migrateStatus(rootDir) {
     }
     rows.push({
       root: relative12(process.cwd(), r) || ".",
-      packageJson: existsSync25(pkgPath),
+      packageJson: existsSync21(pkgPath),
       typescriptDep: Boolean(deps.typescript),
-      tsconfig: existsSync25(join18(r, "tsconfig.json")),
+      tsconfig: existsSync21(join18(r, "tsconfig.json")),
       tscScripts,
       tsFiles,
       tsxFiles,
@@ -290594,7 +290873,7 @@ async function migrateStrip(paths, opts = {}) {
   const files = [];
   for (const p of paths) {
     const abs2 = resolve19(p);
-    if (!existsSync25(abs2)) {
+    if (!existsSync21(abs2)) {
       throw new Error(`not found: ${p}`);
     }
     if (statSync16(abs2).isDirectory()) {
@@ -290618,9 +290897,9 @@ async function migrateStrip(paths, opts = {}) {
     const outFile = TSX_EXT.has(ext) ? file.replace(/\.tsx$/i, ".jsx") : file.replace(/\.tsx$/i, ".js").replace(/\.mts$/i, ".mjs").replace(/\.cts$/i, ".cjs").replace(/\.ts$/i, ".js");
     const wouldClobberNonTs = outFile === file && !isStripSource(file);
     if (opts.write && !wouldClobberNonTs) {
-      if (opts.backup && existsSync25(file) && !existsSync25(`${file}.bak`)) {
+      if (opts.backup && existsSync21(file) && !existsSync21(`${file}.bak`)) {
         renameSync4(file, `${file}.bak`);
-      } else if (opts.backup !== true && existsSync25(file) && extname(file).toLowerCase() !== extname(outFile).toLowerCase()) {
+      } else if (opts.backup !== true && existsSync21(file) && extname(file).toLowerCase() !== extname(outFile).toLowerCase()) {
       }
       writeFileSync11(outFile, code2, "utf-8");
     }
@@ -290630,7 +290909,7 @@ async function migrateStrip(paths, opts = {}) {
         const draft = await draftInterface(outFile, { source: code2, bodyAccesses: true });
         if (draft.draftSource && draft.draftSource.trim().length > 0) {
           const sc = sidecarPathOf(outFile);
-          if (!existsSync25(sc)) {
+          if (!existsSync21(sc)) {
             mkdirSync7(dirname29(sc), { recursive: true });
             writeFileSync11(sc, draft.draftSource, "utf-8");
             sidecarDraft = sc;
@@ -290670,7 +290949,7 @@ async function migrateVerify(paths, opts = {}) {
   const files = [];
   for (const p of paths) {
     const abs2 = resolve19(p);
-    if (!existsSync25(abs2)) {
+    if (!existsSync21(abs2)) {
       throw new Error(`not found: ${p}`);
     }
     if (statSync16(abs2).isDirectory()) {
@@ -290767,7 +291046,7 @@ function migrateRetire(rootDir, opts = {}) {
     mkdirSync7(markerDir, { recursive: true });
     commitWriteSet(root, ops);
     const retiring = join18(markerDir, "migrate-retiring.json");
-    if (existsSync25(retiring)) rmSync3(retiring, { force: true });
+    if (existsSync21(retiring)) rmSync3(retiring, { force: true });
   }
   return {
     root: relative12(process.cwd(), root) || ".",
@@ -290941,13 +291220,13 @@ init_src4();
 init_src2();
 init_emit2();
 init_evaluator_api();
-import { readFileSync as readFileSync21, writeFileSync as writeFileSync7, existsSync as existsSync19 } from "fs";
+import { readFileSync as readFileSync21, writeFileSync as writeFileSync7, existsSync as existsSync17 } from "fs";
 import { resolve as resolve14, dirname as dirname25, basename as basename6 } from "path";
 
 // src/commands/shared.ts
 init_emit2();
 init_src4();
-import { readFileSync as readFileSync20, existsSync as existsSync18, watch, readdirSync as readdirSync3, statSync as statSync13 } from "fs";
+import { readFileSync as readFileSync20, existsSync as existsSync16, watch, readdirSync as readdirSync3, statSync as statSync13 } from "fs";
 import { resolve as resolve13, dirname as dirname24, relative as relative7, join as join15, basename as basename5 } from "path";
 function usageError(message, fix) {
   console.error(message);
@@ -290989,7 +291268,7 @@ function collectExternalRecords(sites, errorSink) {
   const records = [];
   for (const site of sites) {
     const sitePath = resolve13(site);
-    if (!existsSync18(sitePath)) {
+    if (!existsSync16(sitePath)) {
       const err = {
         path: sitePath,
         code: "nudo:path-missing-callsite",
@@ -291021,7 +291300,7 @@ function collectNudoFiles(dir) {
 }
 function resolveTargetsCollect(path) {
   const resolved = resolve13(path);
-  if (!existsSync18(resolved)) {
+  if (!existsSync16(resolved)) {
     return {
       targets: [],
       errors: [
@@ -291073,12 +291352,12 @@ function resolveTargets(path) {
 }
 function startWatch(paths, runOne, label, onRoundStart) {
   const resolvedList = paths.map((p) => resolve13(p));
-  const isDir = resolvedList.some((p) => existsSync18(p) && statSync13(p).isDirectory());
+  const isDir = resolvedList.some((p) => existsSync16(p) && statSync13(p).isDirectory());
   const primary = resolvedList[0];
   const getFiles = () => {
     const out = [];
     for (const p of resolvedList) {
-      if (!existsSync18(p)) continue;
+      if (!existsSync16(p)) continue;
       if (statSync13(p).isDirectory()) out.push(...collectNudoFiles(p));
       else out.push(p);
     }
@@ -291174,7 +291453,7 @@ function startWatch(paths, runOne, label, onRoundStart) {
     debounceTimer = setTimeout(() => {
       const changedFiles = [...pendingChanged];
       pendingChanged.clear();
-      if (changedFiles.some((f) => !existsSync18(f))) getAnalysisSession().clear();
+      if (changedFiles.some((f) => !existsSync16(f))) getAnalysisSession().clear();
       runIncremental(changedFiles).catch(() => {
       });
     }, 200);
@@ -291541,7 +291820,7 @@ async function loadCheckCache(filePath, source, opts) {
   if (autoBind !== false) {
     try {
       const scPath = sidecarPathOf(filePath);
-      if (existsSync19(scPath)) sidecarContent = readFileSync21(scPath, "utf-8");
+      if (existsSync17(scPath)) sidecarContent = readFileSync21(scPath, "utf-8");
     } catch {
       sidecarContent = null;
     }
@@ -291812,7 +292091,7 @@ async function runCheckFix(opts) {
     const sidecar = sidecarPathOf(file);
     let sidecarText;
     try {
-      sidecarText = existsSync19(sidecar) ? readFileSync21(sidecar, "utf-8") : void 0;
+      sidecarText = existsSync17(sidecar) ? readFileSync21(sidecar, "utf-8") : void 0;
     } catch {
       sidecarText = void 0;
     }
@@ -292430,7 +292709,7 @@ function registerTestCommand(program3) {
 // src/commands/contract.ts
 init_emit2();
 init_src4();
-import { readFileSync as readFileSync25, existsSync as existsSync20, statSync as statSync14, writeFileSync as writeFileSync9, realpathSync as realpathSync4 } from "fs";
+import { readFileSync as readFileSync25, existsSync as existsSync18, statSync as statSync14, writeFileSync as writeFileSync9, realpathSync as realpathSync4 } from "fs";
 import { resolve as resolve16, dirname as dirname27, relative as relative9, join as join16, basename as basename7, isAbsolute as isAbsolute6 } from "path";
 async function runContractPrint(file, records) {
   const { interfaceSurface: interfaceSurface2 } = await Promise.resolve().then(() => (init_emit2(), emit_exports));
@@ -292460,8 +292739,8 @@ async function runContractFromDts(paths, opts) {
   }
   let label = "dts";
   let dtsFiles = [];
-  const fileLike = paths.filter((p) => existsSync20(p));
-  const barePkgs = paths.filter((p) => !existsSync20(p));
+  const fileLike = paths.filter((p) => existsSync18(p));
+  const barePkgs = paths.filter((p) => !existsSync18(p));
   for (const p of fileLike) {
     const abs2 = resolve16(p);
     if (statSync14(abs2).isDirectory()) {
@@ -292471,7 +292750,7 @@ async function runContractFromDts(paths, opts) {
       dtsFiles.push(abs2);
     } else {
       const sibling = abs2.replace(/\.[cm]?[jt]sx?$/, ".d.ts");
-      if (existsSync20(sibling)) dtsFiles.push(sibling);
+      if (existsSync18(sibling)) dtsFiles.push(sibling);
     }
   }
   for (const pkg of barePkgs) {
@@ -292582,7 +292861,7 @@ async function runContractDraft(file, opts) {
       let dir = dirname27(filePath);
       const fsRoot = resolve16("/");
       while (dir !== fsRoot) {
-        if (existsSync20(join16(dir, "package.json"))) {
+        if (existsSync18(join16(dir, "package.json"))) {
           projectRoot = dir;
           break;
         }
@@ -293061,7 +293340,7 @@ function registerExportCommand(program3) {
 
 // src/commands/health.ts
 init_src4();
-import { readFileSync as readFileSync27, existsSync as existsSync24, statSync as statSync15 } from "fs";
+import { readFileSync as readFileSync27, existsSync as existsSync20, statSync as statSync15 } from "fs";
 import { resolve as resolve18, dirname as dirname28 } from "path";
 async function healthFile(filePath, records) {
   const report = { file: displayPathOf(filePath), functions: 0, entryOnly: 0, uncovered: [] };
@@ -293157,7 +293436,7 @@ async function runHealth(paths, opts) {
   const reports = [];
   for (const p of targetPaths) {
     const abs2 = resolve18(p);
-    if (!existsSync24(abs2)) {
+    if (!existsSync20(abs2)) {
       reports.push({ file: displayPathOf(abs2), functions: 0, entryOnly: 0, uncovered: [], error: `File not found: ${displayPathOf(abs2)}` });
       continue;
     }