@nudojs/core 1.2.2 → 1.4.0

package/dist/exec.js

@@ -123,16 +123,23 @@ import {
   bindingsOf,
   callAtFunctionBoundary,
   callTranspiledExport,
+  callTranspiledExportApply,
   callTranspiledExportFull,
   clearBClasses,
+  clearPureCallMemo,
+  clearPureMemo,
   clearStaleTermPred,
   currentExecPhi,
+  enterEvalCallBudgetSession,
   evalExprAbs,
+  exitEvalCallBudgetSession,
   fillTuple,
   foldRequireSpecArg,
   foldStaticStringExpr,
+  getEvalCallBudgetState,
   getEvalCallCollector,
   getEvalClass,
+  getEvalFallbackStats,
   isArrMutator,
   isDefinitelyFalse,
   isDefinitelyTrue,
@@ -149,6 +156,8 @@ import {
   pushThrowExit,
   registerEvalClass,
   resetEvalCallBudget,
+  resetEvalFallbackStats,
+  routeApplyThrows,
   runTranspiled,
   runTranspiledOptionsMemoKey,
   runWithLoopExits,
@@ -165,8 +174,9 @@ import {
   transpileFile,
   transpileSource,
   tryRunTranspiled,
+  withEvalBudgetOverride,
   withExecPhi
-} from "./chunk-4V3CRVSD.js";
+} from "./chunk-LFCF6BLE.js";
 export {
   $add,
   $arguments,
@@ -291,16 +301,23 @@ export {
   bindingsOf,
   callAtFunctionBoundary,
   callTranspiledExport,
+  callTranspiledExportApply,
   callTranspiledExportFull,
   clearBClasses,
+  clearPureCallMemo,
+  clearPureMemo,
   clearStaleTermPred,
   currentExecPhi,
+  enterEvalCallBudgetSession,
   evalExprAbs,
+  exitEvalCallBudgetSession,
   fillTuple,
   foldRequireSpecArg,
   foldStaticStringExpr,
+  getEvalCallBudgetState,
   getEvalCallCollector,
   getEvalClass,
+  getEvalFallbackStats,
   isArrMutator,
   isDefinitelyFalse,
   isDefinitelyTrue,
@@ -317,6 +334,8 @@ export {
   pushThrowExit,
   registerEvalClass,
   resetEvalCallBudget,
+  resetEvalFallbackStats,
+  routeApplyThrows,
   runTranspiled,
   runTranspiledOptionsMemoKey,
   runWithLoopExits,
@@ -333,5 +352,6 @@ export {
   transpileFile,
   transpileSource,
   tryRunTranspiled,
+  withEvalBudgetOverride,
   withExecPhi
 };

package/dist/index.d.ts

@@ -1,10 +1,9 @@
-import { c as AstEnv, A as Abs, b as Phi, C as Confidence, T as Term, H as HofCollectCtx, S as Shape, a as Pred, R as RelSource, w as HofSite } from './hof-types-DqDpAxfh.js';
-export { I as ImplicationOracle, L as LiteralValue, P as PrimName, x as TYPEOF_NAMES, y as TypeofName, z as abs, B as absToString, D as and, F as anyAbs, G as anyVar, J as app, K as bigintLit, N as bool, O as boolLit, Q as confJoin, U as emptyPhi, V as eq, W as ge, X as geNum, Y as getImplicationOracle, Z as gt, _ as gtNum, a0 as implies, a1 as isBigPrim, a2 as isExactLit, a3 as isNumPrim, a4 as isStrPrim, a5 as le, a6 as leNum, a7 as lit, a8 as litValue, a9 as lt, aa as ltNum, ab as ne, ac as negatePred, ad as never, ae as not, af as num, ag as numLit, ah as numVar, ai as obj, aj as or, ak as pFalse, al as pTrue, am as phiAnd, an as predEquals, ao as predToString, ap as predVars, aq as primToTypeof, ar as ptypeof, as as setImplicationOracle, at as shapeOfTerm, au as shapeToString, av as simplifyTerm, aw as str, ax as strLit, ay as substPred, az as termEquals, aA as termToString, aB as unknown, aC as v } from './hof-types-DqDpAxfh.js';
-import { Node } from '@babel/types';
-import { p as parseSource, L as LeakBudget, E as EffectiveInterfaceOpts, b as LoadDepsFingerprint, i as CheckReport, N as NudoConstraint } from './check-report-0B9Z66n0.js';
-export { j as CheckAction, C as CheckIssue, k as CheckJson, o as CheckJsonMulti, q as ConstraintBuilder, D as Diagnostic, u as EffectiveInterface, G as GitlabCodeQualityIssue, v as InterfaceDiag, I as InterfaceSource, w as InterfaceTierInfo, a as InterfaceTierOpts, x as NamedImport, y as NudoField, z as NudoFnConstraint, A as NudoSidecarError, B as NudoSig, R as RefineDiag, F as RefineEntry, H as RefineResolveOpts, S as SELF, J as actionsForIssue, K as andC, M as any, O as array, P as boolean, Q as checkArg, T as checkCall, U as constraintToEntryAbs, V as effectiveInterface, W as execNudoModule, X as extractDeclaredThrows, Y as extractNudoImports, Z as extractRefineReturnFromSource, _ as extractRefinesFromSource, $ as fn, a0 as fnConstraintToEntryReqs, a1 as formatCheckReport, a2 as formatConstraint, a3 as formatDiagnostics, a4 as formatEffectiveInterfaceDisplay, a5 as formatGithubAnnotations, a6 as formatGitlabCodeQuality, a7 as formatInterfaceTierLine, a8 as generatedExportNames, a9 as getParseSourceCacheSize, aa as getTerm, ab as instantiateConstraint, ac as interfaceDiagCount, ad as interfaceSourceOf, ae as interfaceTierOf, af as isIntFlag, ag as isNodeModulesPath, ah as isNudoConstraint, ai as lenTerm, aj as litC, ak as localNamedExports, al as number, am as omit, an as partial, ao as pick, ap as refineDiagCount, aq as refineToIndexedFull, ar as resetNudoModuleExecCache, as as resetParseSourceCache, at as serializeCheckJson, au as serializeCheckJsonMulti, av as setInterfaceDiagCollector, aw as setRefineDiagCollector, ax as shape, ay as sidecarClosureFingerprint, az as sidecarPathOf, aA as string, aB as takeInterfaceDiags, aC as takeInterfaceDiagsSince, aD as takeRefineDiags, aE as takeRefineDiagsSince, aF as throwConstraintToKinds, aG as union } from './check-report-0B9Z66n0.js';
-import { A as AbsModuleExports, R as RunTranspiledOptions } from './index-BNiZvVHw.js';
-export { $ as $add, a as $arguments, b as $arr, c as $arrMutContainer, d as $arrRest, e as $arrWithHoles, f as $assignRecord, g as $async, h as $asyncReturn, i as $await, j as $bitand, k as $bitnot, l as $bitor, m as $bitxor, n as $call, o as $callNamed, p as $catchVal, q as $class, r as $classExpr, s as $collectionForEach, t as $concat, u as $copy, v as $del, w as $delRes, x as $div, y as $dynamicImport, z as $elems, B as $eq, C as $eqLoose, D as $fnVal, E as $for, F as $forInKeys, G as $forIter, H as $forOf, I as $fork, J as $ge, K as $gen, L as $get, M as $gt, N as $idx, O as $idxSet, P as $importMeta, Q as $in, S as $instanceof, T as $instanceofNonIdent, U as $invoke, V as $invokeSuper, W as $isBreakTo, X as $isForkExit, Y as $join, Z as $le, _ as $len, a0 as $lit, a1 as $loopBreak, a2 as $loopContinue, a3 as $loopReturn, a4 as $lt, a5 as $mod, a6 as $mul, a7 as $ne, a8 as $neLoose, a9 as $neg, aa as $new, ab as $not, ac as $nullishTest, ad as $obj, ae as $objAccessor, af as $objRest, ag as $optionalGet, ah as $optionalInvoke, ai as $orDefault, aj as $pow, ak as $pushLoopExit, al as $rawThis, am as $reStateCall, an as $recordBinding, ao as $regex, ap as $rethrowIfNudoReturn, aq as $set, ar as $setKey, as as $shl, at as $shr, au as $spread, av as $staticInvoke, aw as $sub, ax as $super, ay as $switch, az as $thisGet, aA as $thisSet, aB as $throw, aC as $toNumber, aD as $toNumeric, aE as $tryCurrentMark, aF as $tryDetachSoftCatch, aG as $tryDigestSoftCatch, aH as $tryDiscardSoft, aI as $tryMark, aJ as $tryOrphanSoft, aK as $tryPopMark, aL as $tryReleaseSoftCatch, aM as $tryReleaseSoftOut, aN as $tryTakeSince, aO as $typeof, aP as $unknown, aQ as $updateAdd, aR as $updateSub, aS as $ushr, aT as $while, aU as $whileSeq, aV as $yield, aW as DEFAULT_MAX_LOOP_ITERS, aX as EvalAbsAssignRecord, aY as EvalCallRecord, aZ as EvalClassSpec, a_ as EvalFallback, a$ as MAX_EVAL_CALL_DEPTH, b0 as MAX_EVAL_TOTAL_CALLS, b1 as NudoLoopSignal, b2 as NudoReturn, b3 as NudoThrow, b4 as NudoUnsupportedError, b5 as RUNTIME_IMPORT_RE, b6 as TranspileOptions, b7 as TranspiledCallResult, b8 as asAbsVal, b9 as bindImports, ba as bindingsOf, bb as callAtFunctionBoundary, bc as callTranspiledExport, bd as callTranspiledExportFull, be as clearBClasses, bf as clearStaleTermPred, bg as collectAbsExports, bh as currentExecPhi, bi as evalExprAbs, bj as fillTuple, bk as foldRequireSpecArg, bl as foldStaticStringExpr, bm as getEvalCallCollector, bn as getEvalClass, bo as isArrMutator, bp as isDefinitelyFalse, bq as isDefinitelyTrue, br as isNudoBreak, bs as isNudoContinue, bt as isNudoReturn, bu as isNudoThrow, bv as litTruth, bw as lookupObjAccessor, bx as namespaceNameOf, by as noteEvalCallRecord, bz as noteEvalFallback, bA as pushLoopExit, bB as pushThrowExit, bC as registerEvalClass, bD as resetEvalCallBudget, bE as runTranspiled, bF as runTranspiledOptionsMemoKey, bG as runWithLoopExits, bH as runtimeImportOf, bI as setEvalAssignCollector, bJ as setEvalBindingSink, bK as setEvalCallCollector, bL as setEvalFallbackCollector, bM as takeLoopExits, bN as takeThrowExits, bO as transpile, bP as transpileBodyNode, bQ as transpileExpression, bR as transpileFile, bS as transpileSource, bT as tryRunTranspiled, bU as withExecPhi } from './index-BNiZvVHw.js';
+import { c as AstEnv, A as Abs, b as Phi, T as Term, I as HofCollectCtx, C as Confidence, S as Shape, a as Pred, R as RelSource, J as HofSite, K as AbsModuleExports, N as RunTranspiledOptions } from './run-WJfj477N.js';
+export { O as $assignRecord, Q as $call, U as $callNamed, V as $recordBinding, W as AbsApplyNoThrow, X as AbsApplyNoThrowFn, Y as AbsApplyResult, Z as AbsApplyReturn, _ as AbsFnImpl, a0 as AbsSigImpl, a1 as EvalAbsAssignRecord, a2 as EvalCallRecord, a3 as EvalFallback, a4 as ImplicationOracle, a5 as LitValueResult, L as LiteralValue, a6 as MAX_EVAL_CALL_DEPTH, a7 as MAX_EVAL_TOTAL_CALLS, P as PrimName, a8 as RUNTIME_IMPORT_RE, a9 as TYPEOF_NAMES, aa as TranspiledCallResult, ab as TypeofName, ac as abs, ad as absFunction, ae as absOnly, af as absToString, ag as and, ah as anyAbs, ai as anyVar, aj as app, ak as assumeFinite, al as attachFnImpl, am as bigintLit, an as bindImports, ao as bindingsOf, ap as bool, aq as boolLit, ar as callTranspiledExport, as as callTranspiledExportApply, at as callTranspiledExportFull, au as collectAbsExports, av as confJoin, aw as emptyPhi, ax as eq, ay as evalExprAbs, az as ge, aA as geNum, aB as getEvalCallCollector, aC as getFnImpl, aD as getImplicationOracle, aE as gt, aF as gtNum, aG as implies, aH as isAbsApplyResult, aI as isBigPrim, aJ as isExactLit, aK as isNumPrim, aL as isStrPrim, aM as le, aN as leNum, aO as lit, aP as litValue, aQ as lt, aR as ltNum, aS as makeAbsApplyResult, aT as markPureFn, aU as namespaceAbsOf, aV as ne, aW as negatePred, aX as never, aY as not, aZ as noteEvalCallRecord, a_ as noteEvalFallback, a$ as num, b0 as numLit, b1 as numVar, b2 as obj, b3 as or, b4 as pFalse, b5 as pTrue, b6 as phiAnd, b7 as predEquals, b8 as predToString, b9 as predVars, ba as primToTypeof, bb as ptypeof, bc as pureFnNameOf, bd as relationFingerprint, be as relationFn, bf as resetEvalCallBudget, bg as runTranspiled, bh as runTranspiledOptionsMemoKey, bi as setEvalAssignCollector, bj as setEvalBindingSink, bk as setEvalCallCollector, bl as setEvalFallbackCollector, bm as setImplicationOracle, bn as shapeOfTerm, bo as shapeOnlyFn, bp as shapeToString, bq as simplifyTerm, br as str, bs as strLit, bt as substPred, bu as termEquals, bv as termToString, bw as tryRunTranspiled, bx as unknown, by as v } from './run-WJfj477N.js';
+import { Node, File } from '@babel/types';
+import { p as parseSource, L as LeakBudget, E as EffectiveInterfaceOpts, b as LoadDepsFingerprint, o as CheckReport, N as NudoConstraint } from './check-report-Ci1dDysO.js';
+export { q as CONSTRAINT_BUILDERS, u as CONSTRAINT_BUILDER_NAMES, v as CONSTRAINT_EXPR_RE, w as CheckAction, C as CheckIssue, x as CheckJson, y as CheckJsonMulti, z as ConstraintBuilder, D as Diagnostic, A as EffectiveInterface, G as GitlabCodeQualityIssue, B as InterfaceDiag, I as InterfaceSource, F as InterfaceTierInfo, a as InterfaceTierOpts, H as NamedImport, J as NudoField, K as NudoFnConstraint, O as NudoSidecarError, P as NudoSig, R as RefineDiag, Q as RefineEntry, S as RefineResolveOpts, T as SELF, U as actionsForIssue, V as andC, W as any, X as array, Y as boolean, Z as checkArg, _ as checkCall, $ as constraintAdmitsNullish, a0 as constraintToEntryAbs, a1 as drainPromiseMicros, a2 as effectiveInterface, a3 as enterPromiseExecutorScope, a4 as evalPromiseCtor, a5 as evalPromiseMethod, a6 as evalPromiseStatic, a7 as execNudoModule, a8 as extractDeclaredThrows, a9 as extractFnBudget, aa as extractNudoImports, ab as extractRefineReturnFromSource, ac as extractRefinesFromSource, ad as fn, ae as fnConstraintToEntryReqs, af as formatCheckReport, ag as formatConstraint, ah as formatDiagnostics, ai as formatEffectiveInterfaceDisplay, aj as formatGithubAnnotations, ak as formatGitlabCodeQuality, al as formatInterfaceTierLine, am as generatedExportNames, an as getParseSourceCacheSize, ao as getTerm, ap as instantiateConstraint, aq as interfaceDiagCount, ar as interfaceSourceOf, as as interfaceTierOf, at as isIntFlag, au as isNodeModulesPath, av as isNudoConstraint, aw as leavePromiseExecutorScope, ax as lenTerm, ay as litC, az as localNamedExports, aA as notePromiseExecutorFork, aB as nullable, aC as number, aD as omit, aE as partial, aF as pick, aG as queuePromiseMicro, aH as refineDiagCount, aI as refineToIndexedFull, aJ as resetNudoModuleExecCache, aK as resetParseSourceCache, aL as resetSidecarLoadFailureCache, aM as serializeCheckJson, aN as serializeCheckJsonMulti, aO as setInterfaceDiagCollector, aP as setRefineDiagCollector, aQ as shape, aR as sidecarClosureFingerprint, aS as sidecarPathOf, aT as string, aU as takeInterfaceDiags, aV as takeInterfaceDiagsSince, aW as takeRefineDiags, aX as takeRefineDiagsSince, aY as throwConstraintToKinds, aZ as union } from './check-report-Ci1dDysO.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';
 
 /**
  * AstEnv：抽象求值环境类型面（ast-eval 删除后保留）。
@@ -108,104 +107,6 @@ declare function resetPhi(): void;
 declare function withPhiConstraint(extra: Phi, body: () => void): void;
 declare function describePhi(): string;
 
-/**
- * Abs 上的一等函数：shape 是 fn，实现在旁路（不污染 Shape）。
- * 与 term-registry 同一纪律：不给共享单例挂 impl。
- */
-
-/** Abs 原生 env/builtin 实现（evaluator 优先） */
-type AbsSigImpl = (args: Abs[], thisVal?: Abs) => Abs | undefined;
-type AbsFnImpl = {
-    params: string[];
-    /** 可选：无 body 时走 relation（纯关系 fn） */
-    body?: Node;
-    async?: boolean;
-    /** 声明时捕获的环境（闭包） */
-    env?: AstEnv;
-    kind?: string;
-    /** 调用时直接派发（mock withArgs 等），优先于 body */
-    apply?: (args: Abs[], thisVal?: Abs) => Abs;
-    /**
-     * 对象方法（ObjectMethod / 方法型 FunctionExpression）：$invoke 时把
-     * receiver 作为 apply 的**首参**注入。shape.params 仍是用户可见形参
-     * （不含 receiver），自由调用不注入 → this 为 unbound（JS 语义）。
-     */
-    bindThis?: boolean;
-    /**
-     * Optional content key for cache fingerprints. formatAbs cannot see
-     * WeakMap-side mock semantics (returns/withArgs/callsFake), so hosts that
-     * build mocks should stamp a stable fingerprint here.
-     * relation-only 必填（未传时 relationFn 自动生成）。
-     */
-    fingerprint?: string;
-    /** 无 body 时，按 paramTypes 做 α 替换得到返回 */
-    relation?: {
-        paramTypes: Abs[];
-        returnType: Abs;
-        /**
-         * 条件类型 infer：绑定 fromVar 后从 via 投出 inferVar
-         * （`T extends (infer E)[]` → via: "arr"；`T extends Promise<infer U>` → "promise"）。
-         */
-        inferFrom?: {
-            fromVar: string;
-            via: "arr" | "promise";
-            inferVar: string;
-        };
-        /** extends 不成立时的假分支（如 never） */
-        condFallback?: Abs;
-    };
-    /** `@nudo:pure`：调用结果按实参记忆化（无副作用契约） */
-    pureName?: string;
-};
-declare function attachFnImpl(a: Abs, impl: AbsFnImpl): void;
-declare function getFnImpl(a: Abs): AbsFnImpl | undefined;
-/** 标记纯函数（@nudo:pure）：调用结果可按实参记忆化 */
-declare function markPureFn(target: object, name: string): void;
-/** 读纯函数标记（Abs impl 或对象属性 `_memoize`） */
-declare function pureFnNameOf(fn: unknown): string | undefined;
-/** 造一个带实现的 Abs 函数值 */
-declare function absFunction(params: string[], impl: Omit<AbsFnImpl, "params">, opts?: {
-    name?: string;
-    paramTypes?: Abs[];
-    returnType?: Abs;
-    slots?: Record<string, {
-        value: Abs;
-        optional?: boolean;
-        readonly?: boolean;
-    }>;
-    conf?: Confidence;
-}): Abs;
-/** relationFn 稳定 fingerprint（同签名共享，见 §3.3 已知限制） */
-declare function relationFingerprint(paramTypes: Abs[], returnType: Abs): string;
-/**
- * 无 body、纯关系的 fn Abs。params 仅记 arity。
- *
- * **双写纪律：** 同一份关系数据必须同时写到——
- *   1. `shape.paramTypes` / `shape.returnType`  —— format / leq / 展示读这里
- *   2. `impl.relation`                         —— D 路径应用读这里
- * 两槽共享同一数组/对象引用（防内容分叉）；构造后请勿原地 mutate。
- *
- * 默认 conf="path"（与提升产物一致）。禁止静默对齐 absFunction 的 "exact"。
- * fingerprint 必填（call-budget）；未传时由 paramTypes+returnType 稳定序列化生成。
- * 同签名 relationFn 共享 fingerprint → 共享 budget 键（见 design §3.3 已知限制）。
- */
-declare function relationFn(paramTypes: Abs[], returnType: Abs, opts?: {
-    params?: string[];
-    conf?: Confidence;
-    fingerprint?: string;
-    inferFrom?: {
-        fromVar: string;
-        via: "arr" | "promise";
-        inferVar: string;
-    };
-    condFallback?: Abs;
-}): Abs;
-/** 仅写 shape 槽（E 路径 / §5.2 提升产物）；禁止 attachFnImpl */
-declare function shapeOnlyFn(paramTypes: Abs[], returnType: Abs, opts?: {
-    params?: string[];
-    conf?: Confidence;
-}): Abs;
-
 /**
  * HOF 关系 Abs：无 body 的外延关系（paramTypes → returnType）的判定、
  * α 替换与应用。类型变量仍是 term var；关系仍是 fn 形状上的外延槽。
@@ -494,7 +395,8 @@ declare function evalJsonMethod(name: string, args: Abs[]): Abs | undefined;
 declare function evalNumberStatic(name: string, args: Abs[]): Abs | undefined;
 
 /**
- * 全局转换函数（parseInt / Number / String / Boolean / Object / Array / Symbol …）
+ * 全局转换函数（parseInt / Number / String / Boolean / Object / Array / Symbol / BigInt …）
+ * 以及无 `new` 的原生构造器调用（Error 家族 / Map / Set / Promise …）。
  */
 
 declare function evalGlobalFn(name: string, args: Abs[]): Abs | undefined;
@@ -560,27 +462,6 @@ declare const OBJECT_PROTO_METHOD_NAMES: Set<string>;
 declare function objectProtoBrand(): Abs;
 declare function isObjectProtoBrand(a: Abs | undefined): boolean;
 
-/**
- * Promise 构造 / then 链 / 静态方法 + micro 队列
- */
-
-declare function enterPromiseExecutorScope(): void;
-declare function leavePromiseExecutorScope(): number;
-/** $fork 在 executor 内发生时打点（多臂 resolve 需 join，不得 first-wins 假精确） */
-declare function notePromiseExecutorFork(): void;
-declare function queuePromiseMicro(task: () => void): void;
-declare function drainPromiseMicros(): void;
-/**
- * new Promise(executor)：调用 executor(resolve, reject)，收集 resolve 实参作为
- * promise inner。原生只认第一次 settle——顺序双 resolve 取第一次；执行器内
- * $fork 分叉时各臂 settle 值 join（路径敏感，不得 first-wins 假精确）。
- * reject 不填 resolved 通道；永不 settle / 抽象 fn / 执行抛 → promise<unknown>。
- */
-declare function evalPromiseCtor(args: Abs[]): Abs;
-/** then/catch/finally：可映射回调 → 新 inner；做不到诚实 promise<unknown> */
-declare function evalPromiseMethod(name: string, recv: Abs, args: Abs[]): Abs | undefined;
-declare function evalPromiseStatic(name: string, args: Abs[]): Abs | undefined;
-
 /**
  * Error 家族 + evalBuiltinNew / evalBuiltinInstanceMethod + namespace 分派
  */
@@ -968,6 +849,12 @@ type AstParam = {
 declare function formalParamsFromNodes(params: AstParam[] | undefined | null): FormalParam[];
 /** 求值/签名用形参名（与 analyzer extractParamNames / dts 对齐） */
 declare function formalParamDisplayNames(formals: FormalParam[]): string[];
+/**
+ * 签名展示名（C4.1 #64）：解构形参渲染为 `{ grade, findings }`，
+ * 不落回求值占位 `_p0`——否则读签名的人以为没有契约。
+ * 求值/内部键仍用 formalParamDisplayNames（`_p0`）。
+ */
+declare function formalParamSignatureNames(formals: FormalParam[]): string[];
 /** 侧车契约可绑定的参数名全集 */
 declare function contractParamNameSet(formals: FormalParam[]): Set<string>;
 /**
@@ -994,7 +881,7 @@ declare function resetGeneralizeMemo(): void;
 declare function getGeneralizeMemoSize(): number;
 /**
  * LSP/宿主：`*.nudo.js` 变更后按路径定向逐出依赖它的 L0 条目。
- * 返回删除的条目数。路径需与 generalize 时 resolveDepPath 形态一致（建议先 norm）。
+ * 返回删除的条目数。查找与索引同走 stablePathKey——跨 Windows 盘符形态命中。
  */
 declare function evictGeneralizeMemoForPaths(paths: string[]): number;
 
@@ -1134,7 +1021,7 @@ type CheckOptions = {
  */
 
 declare function resetCheckSourceMemo(): void;
-/** `*.nudo.js` 变更后定向逐出依赖它的整文件 check 缓存 */
+/** `*.nudo.js` 变更后定向逐出依赖它的整文件 check 缓存。查找与索引同走 stablePathKey */
 declare function evictCheckSourceMemoForPaths(paths: string[]): number;
 
 /**
@@ -1157,6 +1044,114 @@ declare function evictCheckSourceMemoForPaths(paths: string[]): number;
  */
 declare function checkSource(filePath: string, source: string, phi?: Phi, opts?: CheckOptions): CheckReport;
 
+/**
+ * 单源 `@nudo:` 指令文法 + G2 作用域绑定（D5=F1, D6=G2）。
+ *
+ * 作用域契约（G2）：函数级指令绑定 **AST 最近 Function** —— FunctionDeclaration /
+ * VariableDeclarator 函数初始化 / FunctionExpression / ArrowFunctionExpression /
+ * ClassMethod / ObjectMethod，含 nested function 与 class method。
+ * 同一函数的 `@nudo:case` 与 `@nudo:contract` 必须同时可见（共用本模块的 scope 绑定）。
+ *
+ * 文法契约（前缀）：`//` 与 `///` 等价；只认行注释与 JSDoc 块注释；
+ * 字符串/模板/块注释正文里的同形文本不是指令。文件级（env / mock-module / import）
+ * 不绑函数；其余标签绑最近 Function。
+ *
+ * 抽取单源：实现住在 core（parser 依赖 core，反向会成包环）；`@nudojs/parser`
+ * re-export 本模块的文本级 API 作为产品面。core refine / load-deps / check-case-scan
+ * 与 nudojs CLI 只消费，不得再自带正则文法。
+ */
+
+type FnDirectiveScope = {
+    /** 绑定名：`f` / `C.m` / `default` / `<anonymous>` */
+    name: string;
+    node: Node;
+    /** 该函数的前导注释块（comment.value 原文，文档序） */
+    commentTexts: string[];
+    /** commentTexts 清洗后的行 */
+    commentLines: string[];
+    /** 与 commentTexts 对齐的注释起始行号 */
+    commentStartLines: number[];
+    startLine: number;
+};
+/**
+ * 全量 Function 站点：nested function、class method、object method 均可见。
+ * 函数级指令绑「其前导注释块」；注释若带在非函数语句上则不绑（不留孤儿指令）。
+ */
+declare function listFnDirectiveScopes(file: File): FnDirectiveScope[];
+/** 按绑定名找函数 scope（文档序第一个命中） */
+declare function findFnDirectiveScope(file: File, fnName: string): FnDirectiveScope | undefined;
+/**
+ * 源文本级函数前导指令行（refine / throws / budget 的消费口）。
+ * 与 case 扫描共用同一 scope 绑定，保证 case+contract 同时可见。
+ */
+declare function fnDirectiveCommentLines(source: string, fnName: string): string[];
+/**
+ * `@nudo:env` 载荷 → 命名 env token。只收 `\w+` 或 path-like
+ * （拒绝 `node";` 这类截断捕获）。
+ */
+declare function parseEnvPayload(payload: string): string[];
+type MockModuleRecord = {
+    source: string;
+    names?: string[];
+    fromPath: string;
+};
+/**
+ * `@nudo:mock-module "src" [ { a, b } ] from "path"` 载荷解析。
+ * 名表 `{ … }` 可选；单源文法（parser / load-deps 共用）。
+ */
+declare function parseMockModulePayload(payload: string): MockModuleRecord | undefined;
+type NudoImportRecord = {
+    names: string[];
+    spec: string;
+};
+/**
+ * `@nudo:import` 载荷：named `{ a, b as c }` / namespace `* as ns`。
+ * default 等未识别形态返回 `malformed`（由消费方发诊断）。
+ */
+declare function parseNudoImportPayload(payload: string): NudoImportRecord | "malformed-default" | "malformed" | undefined;
+declare function extractFileEnvNames(source: string): string[];
+declare function extractMockModuleRecords(source: string): MockModuleRecord[];
+/** `@nudo:import` 命名/namespace 记录（refine 与 load-deps 共用单源） */
+declare function extractNudoImportRecords(source: string): NudoImportRecord[];
+/**
+ * 平衡括号摘取（字符串感知；`\` 不是转义——与 case 实参原样 slice 一致）。
+ * 返回括号内文本；无平衡括号 → null。
+ */
+declare function extractBalancedParens(text: string, startIdx: number): string | null;
+type CaseTag = {
+    name: string;
+    /** 括号内实参原文（未清洗续行 `*`） */
+    argsText: string;
+    /** `=> expected` 表达式原文（同行/续行 `=>`） */
+    expectedText?: string;
+    /** 标签在 comment.value 中的下标 */
+    tagOffset: number;
+};
+/**
+ * `@nudo:case` 标签扫描（单源）：多行实参、实参区间遮罩、`=> expected`。
+ * 供 parser（Abs 解释）与 check-case-scan（见证检查）共用。
+ * 非法名形态由消费方用 `scanMalformedCaseTagRests` 诊断。
+ */
+declare function scanCaseTags(text: string): CaseTag[];
+/** case 实参区间（供其它标签做遮罩） */
+declare function scanCaseArgSpans(text: string): [number, number][];
+/**
+ * `@nudo:contract <param> <name>` / `@nudo:contract return <name>` 行。
+ * 支持 `&&` / 逗号连接的多段；返回原始段文本。
+ */
+declare function scanContractSegments(lines: string[]): string[];
+/**
+ * `@nudo:throws …` / case 行 `!! throws …`。
+ * 返回 `*` = 申报任意；字符串 = 逗号/空白分隔的 kind 列表；undefined = 无申报。
+ */
+declare function scanThrowsDecl(lines: string[]): string | undefined;
+/** `@nudo:budget forks=… calls=… depth=…` → 声明的维度 */
+declare function scanBudgetDecl(lines: string[]): {
+    forks?: number;
+    calls?: number;
+    depth?: number;
+} | undefined;
+
 /**
  * 字面量域隶属判定（Phase 1）。
  *
@@ -1164,7 +1159,7 @@ declare function checkSource(filePath: string, source: string, phi?: Phi, opts?:
  * NudoConstraint 表达的域内。只覆盖可判定的标量子集：
  *
  *   - prim 门（prim 缺失或不匹配字面量类型 → false）
- *   - eq(self, lit v) 字面量等值（number/string/boolean/null）
+ *   - eq(self, lit v) 字面量等值（SameValue：含 undefined/NaN；与 leq 同口径）
  *   - gt/ge/lt/le 数值常数界（self op n）
  *   - 字符串长度界（length(self) op n，即 min/max/length 链）
  *   - int（整数性）
@@ -1175,7 +1170,7 @@ declare function checkSource(filePath: string, source: string, phi?: Phi, opts?:
  */
 
 /** 字面量 lv 是否落在约束 c 表达的域内（保守：判不了 → false）。 */
-declare function literalMeetsConstraint(lv: number | string | boolean | null, c: NudoConstraint): boolean;
+declare function literalMeetsConstraint(lv: number | string | boolean | null | undefined, c: NudoConstraint): boolean;
 
 /**
  * Abs → NudoConstraint 投影（Phase 1，interface 分层推导的生成侧半边）。
@@ -1215,4 +1210,4 @@ declare function absToConstraint(a: Abs): NudoConstraint | undefined;
  */
 declare function joinThenProject(absList: Abs[]): NudoConstraint | undefined;
 
-export { Abs, type AbsAssignRecord, type AbsCallRecord, type AbsFnImpl, AbsModuleExports, type AbsSigImpl, AstEnv, type CheckOptions, CheckReport, Confidence, EffectiveInterfaceOpts, type Environment, type ExtState, type FnAbs, type FormalParam, type FormatOptions, HofCollectCtx, HofSite, type LeqResult, type MockHelper, NudoConstraint, OBJECT_PROTO_METHOD_NAMES, type ObjShape, Phi, type PolyFn, Pred, type PropFlags, RelSource, RunTranspiledOptions, Shape, type Slot, Term, type TypeParam, absFunction, absShapeKey, absToConstraint, add, alphaOf, applyCallbackAbs, applyCallbackValue, asAbs, assignSourceSlots, attachFnImpl, beginCollectionFork, betaOf, bitandAbs, bitnotAbs, bitorAbs, bitxorAbs, buildArgsFromAssume, builtinCtorAbs, builtinCtorNameOf, callAbsMethod, canonicalArrayIndex, checkSource, clearCollectionTables, cmp, collectAbsFreeVars, collectionElementJoin, collectionExactLen, contractParamNameSet, createEnvironment, createHofCollectCtx, ctorArgDefinitelyInvalid, ctorNameOfRecv, currentPhi, definitelyNotNullishShape, describePhi, div, drainPromiseMicros, emptyEnv, endCollectionFork, enterPromiseExecutorScope, errorBrandAbs, evalArrayStatic, evalBuiltinInstanceMethod, evalBuiltinNew, evalDateCtor, evalDateMethod, evalDateStatic, evalGlobalFn, evalJsonMethod, evalMathMethod, evalNamespaceCall, evalNumberStatic, evalObjectMethod, evalObjectProtoMethod, evalPromiseCtor, evalPromiseMethod, evalPromiseStatic, evalRegExpCtor, evalRegExpMethod, evalStringStatic, evalSymbolCtor, evictCheckSourceMemoForPaths, evictGeneralizeMemoForPaths, extStateOf, extractFn, falseConstraint, fnOf, formalParamDisplayNames, formalParamsFromNodes, formatAbs, formatAbsMultiline, formatShape, formatShapeSlot, generalizeAll, generalizeFromAst, getAbsProperty, getFnImpl, getGeneralizeMemoSize, getPropFlags, getSlot, hostBuiltinCtorName, instantiateReturn, isErrorCtorName, isMapAbs, isNullProtoObj, isNullishLitAbs, isObj, isObjectProtoBrand, isRelFn, isSetAbs, isSymbolAbs, joinAbs, joinFunctions, joinObjects, joinThenProject, joinValues, leavePromiseExecutorScope, leqAbs, listFunctionNames, literalMeetsConstraint, locateContractParam, looseEqAbs, makeArrayCtorAbs, makeMapAbs, makeSetAbs, makeSum, makeSymbolAbs, mapClearEntries, mapDeleteEntry, mapElementFallback, mapEntriesAbs, mapGetEntry, mapHasEntry, mapSetEntry, mapSizeAbs, mapValuesAbs, markExtState, markNullProtoObj, markPureFn, matchRelIdentLit, mergeCollectionArms, migrateInvariants, migrateNullProto, mock, mod, mul, negAbs, notAbs, noteCollectionWrite, notePromiseExecutorFork, objOf, objectProtoBrand, objectProtoMethodAbs, parseSource, popCollectionArm, popPhi, powAbs, projectFlatMapResult, promoteParamShape, propertyKeyOf, protoBrandAbs, protoOfRecv, pureFnNameOf, pushCollectionArm, pushPhi, queuePromiseMicro, refineAbsForRelTrue, regexBrandAbsFrom, relationFingerprint, relationFn, requiredFnArity, resetCheckSourceMemo, resetGeneralizeMemo, resetPhi, setAddEntry, setApplyCallbackHost, setClearEntries, setDeleteEntry, setElementsAbs, setHasEntry, setPropFlags, setSizeAbs, shapeOnlyFn, shlAbs, shrAbs, snapshotAbs, spread, spy, strictEqAbs, stringOfSymbol, stripTypes, stub, sub, substAbs, substPredAbs, symbolDescriptionAbs, symbolIdOf, toNumberAbs, trueConstraint, tryMakeRegexAbs, tryPromoteDirectCall, tryPromoteForOfIteratee, tryPromoteHofCallback, tryPromoteReceiverAsArr, typeofAbs, undefAbs, ushrAbs, withPhiConstraint, withVar };
+export { Abs, type AbsAssignRecord, type AbsCallRecord, AbsModuleExports, AstEnv, type CaseTag, type CheckOptions, CheckReport, Confidence, EffectiveInterfaceOpts, type Environment, type ExtState, type FnAbs, type FnDirectiveScope, type FormalParam, type FormatOptions, HofCollectCtx, HofSite, type LeqResult, type MockHelper, type MockModuleRecord, NudoConstraint, type NudoImportRecord, OBJECT_PROTO_METHOD_NAMES, type ObjShape, Phi, type PolyFn, Pred, type PropFlags, RelSource, RunTranspiledOptions, Shape, type Slot, Term, type TypeParam, absShapeKey, absToConstraint, add, alphaOf, applyCallbackAbs, applyCallbackValue, asAbs, assignSourceSlots, beginCollectionFork, betaOf, bitandAbs, bitnotAbs, bitorAbs, bitxorAbs, buildArgsFromAssume, builtinCtorAbs, builtinCtorNameOf, callAbsMethod, canonicalArrayIndex, checkSource, clearCollectionTables, cmp, collectAbsFreeVars, collectionElementJoin, collectionExactLen, contractParamNameSet, createEnvironment, createHofCollectCtx, ctorArgDefinitelyInvalid, ctorNameOfRecv, currentPhi, definitelyNotNullishShape, describePhi, div, emptyEnv, endCollectionFork, errorBrandAbs, evalArrayStatic, evalBuiltinInstanceMethod, evalBuiltinNew, evalDateCtor, evalDateMethod, evalDateStatic, evalGlobalFn, evalJsonMethod, evalMathMethod, evalNamespaceCall, evalNumberStatic, evalObjectMethod, evalObjectProtoMethod, evalRegExpCtor, evalRegExpMethod, evalStringStatic, evalSymbolCtor, evictCheckSourceMemoForPaths, evictGeneralizeMemoForPaths, extStateOf, extractBalancedParens, extractFileEnvNames, extractFn, extractMockModuleRecords, extractNudoImportRecords, falseConstraint, findFnDirectiveScope, fnDirectiveCommentLines, fnOf, formalParamDisplayNames, formalParamSignatureNames, formalParamsFromNodes, formatAbs, formatAbsMultiline, formatShape, formatShapeSlot, generalizeAll, generalizeFromAst, getAbsProperty, getGeneralizeMemoSize, getPropFlags, getSlot, hostBuiltinCtorName, instantiateReturn, isErrorCtorName, isMapAbs, isNullProtoObj, isNullishLitAbs, isObj, isObjectProtoBrand, isRelFn, isSetAbs, isSymbolAbs, joinAbs, joinFunctions, joinObjects, joinThenProject, joinValues, leqAbs, listFnDirectiveScopes, listFunctionNames, literalMeetsConstraint, locateContractParam, looseEqAbs, makeArrayCtorAbs, makeMapAbs, makeSetAbs, makeSum, makeSymbolAbs, mapClearEntries, mapDeleteEntry, mapElementFallback, mapEntriesAbs, mapGetEntry, mapHasEntry, mapSetEntry, mapSizeAbs, mapValuesAbs, markExtState, markNullProtoObj, matchRelIdentLit, mergeCollectionArms, migrateInvariants, migrateNullProto, mock, mod, mul, negAbs, notAbs, noteCollectionWrite, objOf, objectProtoBrand, objectProtoMethodAbs, parseEnvPayload, parseMockModulePayload, parseNudoImportPayload, parseSource, popCollectionArm, popPhi, powAbs, projectFlatMapResult, promoteParamShape, propertyKeyOf, protoBrandAbs, protoOfRecv, pushCollectionArm, pushPhi, refineAbsForRelTrue, regexBrandAbsFrom, requiredFnArity, resetCheckSourceMemo, resetGeneralizeMemo, resetPhi, scanBudgetDecl, scanCaseArgSpans, scanCaseTags, scanContractSegments, scanThrowsDecl, setAddEntry, setApplyCallbackHost, setClearEntries, setDeleteEntry, setElementsAbs, setHasEntry, setPropFlags, setSizeAbs, shlAbs, shrAbs, snapshotAbs, spread, spy, strictEqAbs, stringOfSymbol, stripTypes, stub, sub, substAbs, substPredAbs, symbolDescriptionAbs, symbolIdOf, toNumberAbs, trueConstraint, tryMakeRegexAbs, tryPromoteDirectCall, tryPromoteForOfIteratee, tryPromoteHofCallback, tryPromoteReceiverAsArr, typeofAbs, undefAbs, ushrAbs, withPhiConstraint, withVar };