@nudojs/core 1.9.1 → 1.9.3

package/dist/{chunk-733OATC3.js → chunk-HD6XZFOU.js}

@@ -6087,9 +6087,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 +6204,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;
@@ -15421,25 +15499,75 @@ function $removeUndefined(a) {
 }
 function $removeMemberNullish(a, key) {
   if (!a || typeof a !== "object" || !("shape" in a)) return a;
+  if (a.shape.k === "sum") {
+    const members = a.shape.members;
+    const kept = [];
+    let changed = false;
+    for (const m of members) {
+      const r2 = memberSlotTruthyRefine(m, key);
+      if (r2.kind === "prune") {
+        changed = true;
+        continue;
+      }
+      if (r2.kind === "keep") {
+        kept.push(m);
+        continue;
+      }
+      changed = true;
+      const sh = m.shape;
+      const next2 = { ...m, shape: { ...sh, slots: { ...sh.slots, [key]: r2.slot } } };
+      migrateAccessors(m, next2);
+      migrateInvariants(m, next2);
+      migrateNullProto(m, next2);
+      kept.push(next2);
+    }
+    if (!changed || kept.length === 0) return a;
+    return kept.length === 1 ? kept[0] : { ...a, shape: { k: "sum", members: kept } };
+  }
   if (a.shape.k !== "obj") return a;
   const slots = a.shape.slots;
   if (!Object.prototype.hasOwnProperty.call(slots, key)) return a;
+  const r = memberSlotTruthyRefine(a, key);
+  if (r.kind !== "refine") return a;
+  const next = { ...a, shape: { ...a.shape, slots: { ...slots, [key]: r.slot } } };
+  migrateAccessors(a, next);
+  migrateInvariants(a, next);
+  migrateNullProto(a, next);
+  return next;
+}
+function definitelyNullishAbs(a) {
+  if (isNullishLitAbs(a)) return true;
+  if (a.shape.k === "sum") {
+    const members = a.shape.members;
+    return members.length > 0 && members.every((m) => isNullishLitAbs(m));
+  }
+  return false;
+}
+function memberSlotTruthyRefine(m, key) {
+  if (m.shape.k !== "obj") return { kind: "keep" };
+  const slots = m.shape.slots;
+  if (!Object.prototype.hasOwnProperty.call(slots, key)) {
+    const sh = m.shape;
+    if (sh.open || sh.index) return { kind: "keep" };
+    if (OBJECT_PROTO_METHOD_NAMES2.has(key) || key === "constructor") return { kind: "keep" };
+    if (accessorTable.get(m)?.has(key)) return { kind: "keep" };
+    return { kind: "prune" };
+  }
+  if (accessorTable.get(m)?.get(key)?.get) return { kind: "keep" };
   const slot = slots[key];
+  if (definitelyNullishAbs(slot.value)) return { kind: "prune" };
   let value = slot.value;
-  let changed = false;
   if (!definitelyNotNullishShape(value.shape) && value.shape.k === "sum") {
     const members = value.shape.members;
-    const kept = members.filter((m) => !isNullishLitAbs(m));
+    const kept = members.filter((x) => !isNullishLitAbs(x));
     if (kept.length > 0 && kept.length < members.length) {
       value = kept.length === 1 ? kept[0] : { ...value, shape: { k: "sum", members: kept } };
-      changed = true;
     }
   }
-  if (slot.optional) changed = true;
-  if (!changed) return a;
+  if (value === slot.value && !slot.optional) return { kind: "keep" };
   const next = { ...slot, value };
   delete next.optional;
-  return { ...a, shape: { ...a.shape, slots: { ...slots, [key]: next } } };
+  return { kind: "refine", slot: next };
 }
 function typeofOfMember(m) {
   const t = m.term;
@@ -16842,10 +16970,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-3BRXCIVZ.js → chunk-VMGJYMIF.js}

@@ -46,7 +46,7 @@ import {
   withEvalBudgetOverride,
   withExecPhi,
   withFnBudgetOverride
-} from "./chunk-733OATC3.js";
+} from "./chunk-HD6XZFOU.js";
 
 // src/algebra/directive-scan.ts
 function cleanDirectiveLine(raw, kind) {
@@ -2240,8 +2240,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 +2474,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 +2491,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 +2542,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 +2563,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 +3199,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 +3217,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 +3235,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) {
@@ -5305,6 +5329,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';
 
 /**
@@ -468,13 +468,23 @@ declare function $removeNull(a: Abs): Abs;
  */
 declare function $removeUndefined(a: Abs): Abs;
 /**
- * 成员真值守卫臂剪影（issue #118）：`if (o.p)` 真值臂 / `if (!o.p)` 假值臂 /
- * `o?.p` 真值守卫里，槽 p 的值必为真值 ⇒ 非 nullish 且槽必在场——重建 obj
- * slots：槽值过与 $removeNullish 同款成员剥离，并摘除 optional 标记
- * （真值 ⇒ 在场；$get 的 join(value, undef) 随之消失）。槽值剥空（纯
+ * 成员真值守卫臂剪影（issue #118 / #129）：`if (o.p)` 真值臂 / `if (!o.p)`
+ * 假值臂 / `o?.p` 真值守卫里，槽 p 的值必为真值 ⇒ 非 nullish 且槽必在场——
+ * 重建 obj slots：槽值过与 $removeNullish 同款成员剥离，并摘除 optional
+ * 标记（真值 ⇒ 在场；$get 的 join(value, undef) 随之消失）。槽值剥空（纯
  * nullish）→ 保守原样（臂不可达近似，与 $removeNullish 空集口径一致）；
  * 键缺席 / 非 obj / 裸宿主值 → 透传（同 $removeNullish 契约）。真值 ⇒ 非
  * nullish 是 sound 下界：0/''/false 等 falsy-but-not-nullish 成员保留。
+ *
+ * sum 容器（issue #129）：判别窄化后参数常为多臂 union——守卫事实按成员
+ * 分发：key 槽确定 nullish 的成员（闭 shape 槽缺席且缺席读确定 undefined
+ * ——open/index/proto 方法名/getter 均不在场；或槽值整体 nullish）在真值
+ * 守卫下必走早退 → 剪除；其余成员按 obj 分支同款重建（重建迁移
+ * accessor/propFlags/nullProto 侧表）。open/index 缺席（读 unknown 不可
+ * 判）/ proto 方法名与 constructor 缺席（原型链读出函数）/ getter-only
+ * 缺席（读 getter 结果）/ any / unknown 槽值 / 非对象成员不可判保留（宁
+ * 缺毋假，与 $get 缺席读同口径）。全剪空 → 原样；单成员剪余塌缩（与
+ * $narrowMemberEq 同口径）。
  */
 declare function $removeMemberNullish(a: Abs, key: string): Abs;
 /**

package/dist/exec.js

@@ -195,7 +195,7 @@ import {
   tryRunTranspiled,
   withEvalBudgetOverride,
   withExecPhi
-} from "./chunk-733OATC3.js";
+} from "./chunk-HD6XZFOU.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';
 
 /**

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-3BRXCIVZ.js";
+} from "./chunk-VMGJYMIF.js";
 import {
   $add,
   $arguments,
@@ -519,7 +520,7 @@ import {
   v,
   withExecPhi,
   withVar
-} from "./chunk-733OATC3.js";
+} from "./chunk-HD6XZFOU.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);
 }
@@ -2163,7 +2164,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 +3253,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-3BRXCIVZ.js";
+} from "./chunk-VMGJYMIF.js";
 import {
   $tryDigestSoft,
   $tryMarkSoft,
@@ -169,7 +169,7 @@ import {
   withEvalBudgetOverride,
   withFnBudgetOverride,
   wrapPromise
-} from "./chunk-733OATC3.js";
+} from "./chunk-HD6XZFOU.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.1",
+  "version": "1.9.3",
   "engines": {
     "node": ">=20"
   },