@nudojs/core 1.1.0 → 1.1.2

package/dist/{chunk-ZUQXJRJL.js → chunk-EFFPFUSD.js}

@@ -41,7 +41,7 @@ import {
   unknown,
   v,
   withExecPhi
-} from "./chunk-MA2QEIYC.js";
+} from "./chunk-UC3LBZYR.js";
 
 // src/algebra/constraint.ts
 var SELF = "__nudo_self__";

package/dist/{chunk-MA2QEIYC.js → chunk-UC3LBZYR.js}

@@ -10504,6 +10504,10 @@ var _bForkBudgetLimit = MAX_B_TOTAL_FORKS;
 var _bForkCount = 0;
 var _bForkTruncNoted = false;
 var FORK_TRUNCATION_LABEL = "#fork-budget";
+var HOST_EFFECT_LABEL_PREFIX = "#host-effect:";
+function noteHostEffectBlocked(name) {
+  noteAbsTruncation(`${HOST_EFFECT_LABEL_PREFIX}${name}`);
+}
 function noteBForkTruncation() {
   noteAbsTruncation(FORK_TRUNCATION_LABEL);
 }
@@ -12529,7 +12533,9 @@ __export(calls_exports, {
   $recordBinding: () => $recordBinding,
   MAX_B_CALL_DEPTH: () => MAX_B_CALL_DEPTH,
   MAX_B_TOTAL_CALLS: () => MAX_B_TOTAL_CALLS,
+  blockHostSideEffect: () => blockHostSideEffect,
   getBCallCollector: () => getBCallCollector,
+  neverExecHostName: () => neverExecHostName,
   noteBCallRecord: () => noteBCallRecord,
   resetBCallBudget: () => resetBCallBudget,
   setBAssignCollector: () => setBAssignCollector,
@@ -12578,6 +12584,32 @@ var GLOBAL_FNS = /* @__PURE__ */ new Set([
   "eval",
   "Symbol"
 ]);
+var NEVER_EXEC_HOST_FN_NAMES = [
+  "fetch",
+  "XMLHttpRequest",
+  "WebSocket",
+  "EventSource",
+  "setTimeout",
+  "setInterval",
+  "setImmediate",
+  "queueMicrotask",
+  "requestAnimationFrame",
+  "requestIdleCallback"
+];
+function neverExecHostName(fn) {
+  if (typeof fn !== "function") return null;
+  const g = globalThis;
+  for (const n of NEVER_EXEC_HOST_FN_NAMES) {
+    if (fn === g[n]) return n;
+  }
+  return null;
+}
+function blockHostSideEffect(fn) {
+  const hostName = neverExecHostName(fn);
+  if (hostName === null) return null;
+  noteHostEffectBlocked(hostName);
+  return abs({ k: "unknown" }, void 0, void 0, "opaque");
+}
 function noteBCallRecord(r) {
   if (!bCallCollector) return;
   try {
@@ -12659,8 +12691,11 @@ function $callNamed(name, fn, args, loc, argLocs) {
   try {
     if (typeof fn === "function") {
       const g = GLOBAL_FNS.has(name) && fn === globalThis[name] ? evalGlobalFn(name, args) : void 0;
+      const blockedHost = g === void 0 ? blockHostSideEffect(fn) : null;
       if (g !== void 0) {
         result = g;
+      } else if (blockedHost !== null) {
+        result = blockedHost;
       } else {
         const entered = bEnterCall(name, fn, args);
         if (!entered.ok) {
@@ -12759,7 +12794,13 @@ function execRegexBrand(re, method, args) {
   if (method === "toString") return strLit(`/${parts.pat}/${parts.flags}`);
   const subject = args[0] ? litValue(args[0]) : void 0;
   if (typeof subject !== "string") {
-    return method === "test" ? abs({ k: "prim", type: "boolean" }, void 0, void 0, "partial") : void 0;
+    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);
   }
   try {
     return regexExecWithState(re, method, subject).result;
@@ -12925,6 +12966,8 @@ function $new(cls, args) {
     }
   }
   if (typeof cls === "function") {
+    const blockedHost = blockHostSideEffect(cls);
+    if (blockedHost) return blockedHost;
     if (cls === Array) {
       return makeArrayCtorAbs(args);
     }
@@ -14936,6 +14979,8 @@ export {
   exitCall,
   MAX_B_TOTAL_FORKS,
   FORK_TRUNCATION_LABEL,
+  HOST_EFFECT_LABEL_PREFIX,
+  noteHostEffectBlocked,
   noteBForkTruncation,
   setBForkBudgetLimit,
   getBForkBudgetLimit,

package/dist/exec.js

@@ -162,7 +162,7 @@ import {
   transpileSource,
   tryRunTranspiled,
   withExecPhi
-} from "./chunk-MA2QEIYC.js";
+} from "./chunk-UC3LBZYR.js";
 export {
   $add,
   $arguments,

package/dist/index.js

@@ -67,7 +67,7 @@ import {
   takeRefineDiagsSince,
   throwConstraintToKinds,
   union
-} from "./chunk-ZUQXJRJL.js";
+} from "./chunk-EFFPFUSD.js";
 import {
   $add,
   $arguments,
@@ -178,6 +178,7 @@ import {
   $yield,
   DEFAULT_MAX_LOOP_ITERS,
   FORK_TRUNCATION_LABEL,
+  HOST_EFFECT_LABEL_PREFIX,
   MAX_B_CALL_DEPTH,
   MAX_B_TOTAL_CALLS,
   NudoLoopSignal,
@@ -465,7 +466,7 @@ import {
   v,
   withExecPhi,
   withVar
-} from "./chunk-MA2QEIYC.js";
+} from "./chunk-UC3LBZYR.js";
 
 // src/environment.ts
 function createEnvironment(parent, bindings = /* @__PURE__ */ new Map()) {
@@ -2101,6 +2102,17 @@ function checkSourceInner(filePath, source, file, phi, opts, issues, signatures,
       });
       continue;
     }
+    if (label.startsWith(HOST_EFFECT_LABEL_PREFIX)) {
+      const hostName = label.slice(HOST_EFFECT_LABEL_PREFIX.length);
+      issues.push({
+        severity: "info",
+        code: "nudo:host-effect-blocked",
+        message: `Host function '${hostName}' is not executed during analysis (network/timer side effect); result widened to unknown#opaque`,
+        suggestion: "optional: mock it with @nudo:mock / @nudo:env, or pass the value in from a call site",
+        fn: hostName
+      });
+      continue;
+    }
     issues.push({
       severity: "info",
       code: "nudo:recursion-truncated",
@@ -2230,6 +2242,19 @@ function checkReturnConstraint(fnName, cName, constraint, ret) {
   const out = [];
   if (ret.shape.k === "unknown" && !ret.term) return out;
   if (ret.shape.k === "any") return out;
+  if (isNullishLitAbs(ret)) return out;
+  if (ret.shape.k === "sum" && constraint.fields) {
+    const seen = /* @__PURE__ */ new Set();
+    for (const m of ret.shape.members) {
+      for (const issue of checkReturnConstraint(fnName, cName, constraint, m)) {
+        const key = `${issue.message}\0${issue.actual ?? ""}\0${issue.expected ?? ""}`;
+        if (seen.has(key)) continue;
+        seen.add(key);
+        out.push(issue);
+      }
+    }
+    return out;
+  }
   const push = (actual, expected, suggestion) => {
     out.push({
       severity: "error",
@@ -2398,6 +2423,11 @@ function actionsForIssue(i) {
           label: "results widened to unknown \u2014 raise budget or narrow control flow"
         }
       ];
+    case "nudo:host-effect-blocked":
+      return [
+        { kind: "mock", label: "pin the host API with @nudo:mock / @nudo:env" },
+        { kind: "info", label: "results widened to unknown \u2014 or feed the value in from a call site" }
+      ];
     case "nudo:interface-drift":
       return [
         {

package/dist/internal.d.ts

@@ -65,6 +65,15 @@ declare const MAX_B_TOTAL_FORKS = 5000;
  * 映射为 `nudo:fork-truncated`（warning）。
  */
 declare const FORK_TRUNCATION_LABEL = "#fork-budget";
+/**
+ * 宿主副作用未执行标签前缀：网络/定时器全局（fetch/setTimeout…）在分析期
+ * 不真实执行（Abs 实参喂原生实现会真发请求/真排定时器，且可能崩进程），
+ * fail-closed 为 unknown#opaque。专用前缀让 check 映射为
+ * `nudo:host-effect-blocked`，不复用「某函数被截断」文案。
+ */
+declare const HOST_EFFECT_LABEL_PREFIX = "#host-effect:";
+/** 宿主副作用未执行观测（service/LSP 映射 nudo:host-effect-blocked；与调用截断同 collector 管道） */
+declare function noteHostEffectBlocked(name: string): void;
 /** fork 超限观测（service/LSP 映射 nudo:fork-truncated；与调用截断同 collector 管道） */
 declare function noteBForkTruncation(): void;
 /**
@@ -538,4 +547,4 @@ declare function runWithEvalMissingSlot<T>(enabled: boolean, body: () => T): T;
  */
 declare function noteObjSlotMissing(recv: Abs | undefined, name: string, loc?: [number, number]): boolean;
 
-export { type AbsBudgetStats, type AbsInlay, type ArgDerivation, type BMemberDiag, type ClassDef, type CollectAbsInlaysOpts, type DerivationNode, FORK_TRUNCATION_LABEL, type FnFp, type InjectedDomainEvidenceOpts, type InjectedDomainRecord, MAX_B_TOTAL_FORKS, MAX_CALL_DEPTH, MAX_TOTAL_CALLS, type MethodDef, OBJECT_PROTO_NAMES, type TemplateMeta, type TemplatePartDesc, type TemplatePartView, type TemplatePredicateDecision, abortDerivationSession, absTemplateViews, allFixedTextOfViews, anyMemberResult, awaitAbs, beginDerivationSession, bumpBForkBudget, callBudgetKey, canSkipLiteralCallScan, checkInjectedDomainEvidence, classChainNames, classFromMethods, coerceAsyncReturn, collectAbsInlays, concatString, createTemplateAbs, decideEndsWith, decideIncludes, decideStartsWith, defineClass, definitelyUncallableMember, denoteGuard, derivationChain, endDerivationSession, enterCall, exitCall, fixedLengthOfViews, fnFingerprints, formatTemplateNameViews, generalizeSourceKeyPart, getAbsCallBudgetStats, getAbsOrigin, getBForkBudgetLimit, getBForkCount, getClass, getClassChain, getDerivation, getFnNameAndBodies, hasDerivationSession, hashSource, instanceOf, instantiateClass, isEvalMissingSlotEnabled, isNullishAbs, isTemplateLike, knownPrefixOfViews, knownSuffixOfViews, listTopFunctions, lookupMethod, lookupMethodWithOwner, lookupSuperMethod, mergeAdjacentFixedViews, noteAbsTruncation, noteAnyMemberMayThrow, noteBForkTruncation, noteDerivationAdd, noteDerivationJoin, noteMemberDispatchMiss, noteNullishMemberThrows, noteObjSlotMissing, notePrimMemberMissing, noteUnknownMemberMissing, popCallLoc, projectBrand, projectDerivationDsl, pushCallLoc, recordMemberDiag, resetAbsCallBudget, resetBForkBudget, resetFnFpCache, resetHashSourceCache, runWithEvalMissingSlot, setAbsTruncationCollector, setBForkBudgetLimit, setDerivation, setDerivationCollector, setEvalMissingSlotEnabled, setMemberDiagCollector, stableAnalyzeKeySource, stableCallId, superNameOf, tagAbsOrigin, tagDerivationRoot, templateMatchesValue, templatePartsOf, termKey, truncatedAbs, viewTemplateParts, wrapPromise };
+export { type AbsBudgetStats, type AbsInlay, type ArgDerivation, type BMemberDiag, type ClassDef, type CollectAbsInlaysOpts, type DerivationNode, FORK_TRUNCATION_LABEL, type FnFp, HOST_EFFECT_LABEL_PREFIX, type InjectedDomainEvidenceOpts, type InjectedDomainRecord, MAX_B_TOTAL_FORKS, MAX_CALL_DEPTH, MAX_TOTAL_CALLS, type MethodDef, OBJECT_PROTO_NAMES, type TemplateMeta, type TemplatePartDesc, type TemplatePartView, type TemplatePredicateDecision, abortDerivationSession, absTemplateViews, allFixedTextOfViews, anyMemberResult, awaitAbs, beginDerivationSession, bumpBForkBudget, callBudgetKey, canSkipLiteralCallScan, checkInjectedDomainEvidence, classChainNames, classFromMethods, coerceAsyncReturn, collectAbsInlays, concatString, createTemplateAbs, decideEndsWith, decideIncludes, decideStartsWith, defineClass, definitelyUncallableMember, denoteGuard, derivationChain, endDerivationSession, enterCall, exitCall, fixedLengthOfViews, fnFingerprints, formatTemplateNameViews, generalizeSourceKeyPart, getAbsCallBudgetStats, getAbsOrigin, getBForkBudgetLimit, getBForkCount, getClass, getClassChain, getDerivation, getFnNameAndBodies, hasDerivationSession, hashSource, instanceOf, instantiateClass, isEvalMissingSlotEnabled, isNullishAbs, isTemplateLike, knownPrefixOfViews, knownSuffixOfViews, listTopFunctions, lookupMethod, lookupMethodWithOwner, lookupSuperMethod, mergeAdjacentFixedViews, noteAbsTruncation, noteAnyMemberMayThrow, noteBForkTruncation, noteDerivationAdd, noteDerivationJoin, noteHostEffectBlocked, noteMemberDispatchMiss, noteNullishMemberThrows, noteObjSlotMissing, notePrimMemberMissing, noteUnknownMemberMissing, popCallLoc, projectBrand, projectDerivationDsl, pushCallLoc, recordMemberDiag, resetAbsCallBudget, resetBForkBudget, resetFnFpCache, resetHashSourceCache, runWithEvalMissingSlot, setAbsTruncationCollector, setBForkBudgetLimit, setDerivation, setDerivationCollector, setEvalMissingSlotEnabled, setMemberDiagCollector, stableAnalyzeKeySource, stableCallId, superNameOf, tagAbsOrigin, tagDerivationRoot, templateMatchesValue, templatePartsOf, termKey, truncatedAbs, viewTemplateParts, wrapPromise };

package/dist/internal.js

@@ -16,13 +16,14 @@ import {
   resolveDepPath,
   sidecarSpecsOf,
   stableAnalyzeKeySource
-} from "./chunk-ZUQXJRJL.js";
+} from "./chunk-EFFPFUSD.js";
 import {
   $tryDigestSoft,
   $tryMarkSoft,
   $tryReleaseSoft,
   ERROR_FAMILY,
   FORK_TRUNCATION_LABEL,
+  HOST_EFFECT_LABEL_PREFIX,
   MAX_B_TOTAL_FORKS,
   MAX_CALL_DEPTH,
   MAX_TOTAL_CALLS,
@@ -90,6 +91,7 @@ import {
   noteBForkTruncation,
   noteDerivationAdd,
   noteDerivationJoin,
+  noteHostEffectBlocked,
   noteMemberDispatchMiss,
   noteNullishMemberThrows,
   noteObjSlotMissing,
@@ -133,7 +135,7 @@ import {
   truncatedAbs,
   viewTemplateParts,
   wrapPromise
-} from "./chunk-MA2QEIYC.js";
+} from "./chunk-UC3LBZYR.js";
 
 // src/algebra/inlay.ts
 function listFunctions(source) {
@@ -458,6 +460,7 @@ export {
   $tryReleaseSoft,
   ERROR_FAMILY,
   FORK_TRUNCATION_LABEL,
+  HOST_EFFECT_LABEL_PREFIX,
   MAX_B_TOTAL_FORKS,
   MAX_CALL_DEPTH,
   MAX_TOTAL_CALLS,
@@ -535,6 +538,7 @@ export {
   noteBForkTruncation,
   noteDerivationAdd,
   noteDerivationJoin,
+  noteHostEffectBlocked,
   noteMemberDispatchMiss,
   noteNullishMemberThrows,
   noteObjSlotMissing,

package/package.json

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