@nudojs/core 1.3.0 → 1.5.0

package/dist/exec.d.ts

@@ -1,5 +1,5 @@
-import { A as Abs, M as MayThrowEffect, b as Phi } from './run-Dk08Q5zl.js';
-export { K as $assignRecord, L as $callNamed, N as $recordBinding, O as EvalAbsAssignRecord, Q as EvalCallRecord, U as EvalFallback, f as EvalFallbackStats, X as MAX_EVAL_CALL_DEPTH, Y as MAX_EVAL_TOTAL_CALLS, Z as RUNTIME_IMPORT_RE, J as RunTranspiledOptions, a0 as TranspiledCallResult, ab as bindingsOf, ae as callTranspiledExport, af as callTranspiledExportFull, g as enterEvalCallBudgetSession, ak as evalExprAbs, i as exitEvalCallBudgetSession, o as getEvalCallBudgetState, an as getEvalCallCollector, p as getEvalFallbackStats, aH as noteEvalCallRecord, aI as noteEvalFallback, aW as resetEvalCallBudget, x as resetEvalFallbackStats, aX as runTranspiled, aY as runTranspiledOptionsMemoKey, aZ as setEvalAssignCollector, a_ as setEvalBindingSink, a$ as setEvalCallCollector, b0 as setEvalFallbackCollector, ba as tryRunTranspiled, F as withEvalBudgetOverride } from './run-Dk08Q5zl.js';
+import { A as Abs, M as MayThrowEffect, b as Phi } from './run-WJfj477N.js';
+export { O as $assignRecord, Q as $call, U as $callNamed, V as $recordBinding, a1 as EvalAbsAssignRecord, a2 as EvalCallRecord, a3 as EvalFallback, f as EvalFallbackStats, a6 as MAX_EVAL_CALL_DEPTH, a7 as MAX_EVAL_TOTAL_CALLS, a8 as RUNTIME_IMPORT_RE, N as RunTranspiledOptions, aa as TranspiledCallResult, ao as bindingsOf, ar as callTranspiledExport, as as callTranspiledExportApply, at as callTranspiledExportFull, g as clearPureCallMemo, h as clearPureMemo, i as enterEvalCallBudgetSession, ay as evalExprAbs, k as exitEvalCallBudgetSession, q as getEvalCallBudgetState, aB as getEvalCallCollector, r as getEvalFallbackStats, aZ as noteEvalCallRecord, a_ as noteEvalFallback, bf as resetEvalCallBudget, z as resetEvalFallbackStats, bz as routeApplyThrows, bg as runTranspiled, bh as runTranspiledOptionsMemoKey, bi as setEvalAssignCollector, bj as setEvalBindingSink, bk as setEvalCallCollector, bl as setEvalFallbackCollector, bw as tryRunTranspiled, H as withEvalBudgetOverride } from './run-WJfj477N.js';
 import { Node, Expression, File } from '@babel/types';
 
 /**
@@ -37,6 +37,11 @@ declare function asAbsVal(v: unknown): Abs;
 /**
  * 函数调用边界：callee 的 loop/early-return 不得冒泡成 caller 结果。
  * 每个 求值引擎调用帧独立 ALS；NudoReturn 收成该调用的返回值。
+ *
+ * throws 面（H1）：嵌套帧的 may-throw（pushThrowExit）必须上浮到调用方帧，
+ * 不得在边界丢弃——否则跨 callAtFunctionBoundary 的 apply 桥 may-throw
+ * 静默消失（与 BUG-006 同类丢失，但发生在帧边界而非桥内）。
+ * always-throw 走 NudoThrow 异常原样 rethrow（不经此转发）。
  */
 declare function callAtFunctionBoundary<T>(body: () => T): T;
 /** 函数表达式 → 一等 fn Abs（transpile 侧带真实参数名；异步 body 包 $async）
@@ -490,19 +495,6 @@ declare function transpileFile(file: File, opts?: TranspileOptions): string;
 /** 解析 + transpile */
 declare function transpile(source: string, opts?: TranspileOptions): string;
 
-/**
- * 调用 Abs 一等函数（absFunction impl）或 mock apply。
- * 供 求值引擎 import 绑定包装：`(...args) => $call(absFn, args)`。
- *
- * 统一顺序：apply → body → relation → isRelFn（委托 applyAbsFn）。
- * 行为对齐说明（与旧 $call 的差异，均属刻意）：
- * 1. 带 body 的函数也进 call-budget（递归会 truncated 而非爆栈）
- * 2. body 抛错与 apply 同径 rethrow（不吞成 never 返回，调用边界决定吸收）
- * 3. 无 impl 时 isRelFn 可走 E 路径（旧版恒 unknown）
- */
-
-declare function $call(fn: Abs, args: Abs[], thisVal?: Abs): Abs;
-
 /**
  * B class 规格表（无 call 依赖，避免循环）。
  * Abs-eval registerClassDecl 与 transpile $class 共用。
@@ -595,4 +587,4 @@ declare class NudoUnsupportedError extends Error {
     });
 }
 
-export { $add, $arguments, $arr, $arrMutContainer, $arrRest, $arrWithHoles, $async, $asyncReturn, $await, $bitand, $bitnot, $bitor, $bitxor, $call, $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, $setProto, $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, type EvalClassSpec, NudoLoopSignal, NudoReturn, NudoThrow, NudoUnsupportedError, type 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 };
+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, $setProto, $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, type EvalClassSpec, NudoLoopSignal, NudoReturn, NudoThrow, NudoUnsupportedError, type 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 };

package/dist/exec.js

@@ -123,8 +123,11 @@ import {
   bindingsOf,
   callAtFunctionBoundary,
   callTranspiledExport,
+  callTranspiledExportApply,
   callTranspiledExportFull,
   clearBClasses,
+  clearPureCallMemo,
+  clearPureMemo,
   clearStaleTermPred,
   currentExecPhi,
   enterEvalCallBudgetSession,
@@ -154,6 +157,7 @@ import {
   registerEvalClass,
   resetEvalCallBudget,
   resetEvalFallbackStats,
+  routeApplyThrows,
   runTranspiled,
   runTranspiledOptionsMemoKey,
   runWithLoopExits,
@@ -172,7 +176,7 @@ import {
   tryRunTranspiled,
   withEvalBudgetOverride,
   withExecPhi
-} from "./chunk-CKH6GQAI.js";
+} from "./chunk-W2MP6REI.js";
 export {
   $add,
   $arguments,
@@ -297,8 +301,11 @@ export {
   bindingsOf,
   callAtFunctionBoundary,
   callTranspiledExport,
+  callTranspiledExportApply,
   callTranspiledExportFull,
   clearBClasses,
+  clearPureCallMemo,
+  clearPureMemo,
   clearStaleTermPred,
   currentExecPhi,
   enterEvalCallBudgetSession,
@@ -328,6 +335,7 @@ export {
   registerEvalClass,
   resetEvalCallBudget,
   resetEvalFallbackStats,
+  routeApplyThrows,
   runTranspiled,
   runTranspiledOptionsMemoKey,
   runWithLoopExits,

package/dist/index.d.ts

@@ -1,9 +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, G as HofSite, I as AbsModuleExports, J as RunTranspiledOptions } from './run-Dk08Q5zl.js';
-export { K as $assignRecord, L as $callNamed, N as $recordBinding, O as EvalAbsAssignRecord, Q as EvalCallRecord, U as EvalFallback, V as ImplicationOracle, W as LiteralValue, X as MAX_EVAL_CALL_DEPTH, Y as MAX_EVAL_TOTAL_CALLS, P as PrimName, Z as RUNTIME_IMPORT_RE, _ as TYPEOF_NAMES, a0 as TranspiledCallResult, a1 as TypeofName, a2 as abs, a3 as absToString, a4 as and, a5 as anyAbs, a6 as anyVar, a7 as app, a8 as assumeFinite, a9 as bigintLit, aa as bindImports, ab as bindingsOf, ac as bool, ad as boolLit, ae as callTranspiledExport, af as callTranspiledExportFull, ag as collectAbsExports, ah as confJoin, ai as emptyPhi, aj as eq, ak as evalExprAbs, al as ge, am as geNum, an as getEvalCallCollector, ao as getImplicationOracle, ap as gt, aq as gtNum, ar as implies, as as isBigPrim, at as isExactLit, au as isNumPrim, av as isStrPrim, aw as le, ax as leNum, ay as lit, az as litValue, aA as lt, aB as ltNum, aC as namespaceAbsOf, aD as ne, aE as negatePred, aF as never, aG as not, aH as noteEvalCallRecord, aI as noteEvalFallback, aJ as num, aK as numLit, aL as numVar, aM as obj, aN as or, aO as pFalse, aP as pTrue, aQ as phiAnd, aR as predEquals, aS as predToString, aT as predVars, aU as primToTypeof, aV as ptypeof, aW as resetEvalCallBudget, aX as runTranspiled, aY as runTranspiledOptionsMemoKey, aZ as setEvalAssignCollector, a_ as setEvalBindingSink, a$ as setEvalCallCollector, b0 as setEvalFallbackCollector, b1 as setImplicationOracle, b2 as shapeOfTerm, b3 as shapeToString, b4 as simplifyTerm, b5 as str, b6 as strLit, b7 as substPred, b8 as termEquals, b9 as termToString, ba as tryRunTranspiled, bb as unknown, bc as v } from './run-Dk08Q5zl.js';
-import { Node } from '@babel/types';
-import { p as parseSource, L as LeakBudget, E as EffectiveInterfaceOpts, b as LoadDepsFingerprint, j as CheckReport, N as NudoConstraint } from './check-report-BWmfy810.js';
-export { k as CheckAction, C as CheckIssue, o as CheckJson, q as CheckJsonMulti, u as ConstraintBuilder, D as Diagnostic, v as EffectiveInterface, G as GitlabCodeQualityIssue, w as InterfaceDiag, I as InterfaceSource, x as InterfaceTierInfo, a as InterfaceTierOpts, y as NamedImport, z as NudoField, A as NudoFnConstraint, B as NudoSidecarError, F as NudoSig, R as RefineDiag, H as RefineEntry, J as RefineResolveOpts, S as SELF, K as actionsForIssue, O as andC, P as any, Q as array, T as boolean, U as checkArg, V as checkCall, W as constraintAdmitsNullish, X as constraintToEntryAbs, Y as drainPromiseMicros, Z as effectiveInterface, _ as enterPromiseExecutorScope, $ as evalPromiseCtor, a0 as evalPromiseMethod, a1 as evalPromiseStatic, a2 as execNudoModule, a3 as extractDeclaredThrows, a4 as extractFnBudget, a5 as extractNudoImports, a6 as extractRefineReturnFromSource, a7 as extractRefinesFromSource, a8 as fn, a9 as fnConstraintToEntryReqs, aa as formatCheckReport, ab as formatConstraint, ac as formatDiagnostics, ad as formatEffectiveInterfaceDisplay, ae as formatGithubAnnotations, af as formatGitlabCodeQuality, ag as formatInterfaceTierLine, ah as generatedExportNames, ai as getParseSourceCacheSize, aj as getTerm, ak as instantiateConstraint, al as interfaceDiagCount, am as interfaceSourceOf, an as interfaceTierOf, ao as isIntFlag, ap as isNodeModulesPath, aq as isNudoConstraint, ar as leavePromiseExecutorScope, as as lenTerm, at as litC, au as localNamedExports, av as notePromiseExecutorFork, aw as nullable, ax as number, ay as omit, az as partial, aA as pick, aB as queuePromiseMicro, aC as refineDiagCount, aD as refineToIndexedFull, aE as resetNudoModuleExecCache, aF as resetParseSourceCache, aG as resetSidecarLoadFailureCache, aH as serializeCheckJson, aI as serializeCheckJsonMulti, aJ as setInterfaceDiagCollector, aK as setRefineDiagCollector, aL as shape, aM as sidecarClosureFingerprint, aN as sidecarPathOf, aO as string, aP as takeInterfaceDiags, aQ as takeInterfaceDiagsSince, aR as takeRefineDiags, aS as takeRefineDiagsSince, aT as throwConstraintToKinds, aU as union } from './check-report-BWmfy810.js';
-export { $add, $arguments, $arr, $arrMutContainer, $arrRest, $arrWithHoles, $async, $asyncReturn, $await, $bitand, $bitnot, $bitor, $bitxor, $call, $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';
+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 删除后保留）。
@@ -107,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 形状上的外延槽。
@@ -463,7 +365,12 @@ declare function setPropFlags(o: Abs, key: string, f: PropFlags): void;
 declare function migrateInvariants(from: Abs, to: Abs): void;
 
 /**
- * Math.* — 字面量实参走 ToNumber/ToInt32 后调用原生折叠，否则 number
+ * Math.* — 字面量实参走 ToNumber/ToInt32 后调用原生折叠；非字面量对
+ * min/max/round/floor/ceil/trunc 透传数值区间（#68）。
+ *
+ * NaN 策略（DEC：显式 NaN 臂）：操作数可能为 NaN 时结果为
+ * `NaN | number@bounds`。契约 `ge(0).le(100)` 对 NaN 臂诚实报违例；
+ * `if (Number.isNaN(n)) return …` 假臂的 `ne(n, NaN)` 事实可排除 NaN 臂。
  */
 
 declare function evalMathMethod(name: string, args: Abs[]): Abs | undefined;
@@ -979,7 +886,7 @@ declare function resetGeneralizeMemo(): void;
 declare function getGeneralizeMemoSize(): number;
 /**
  * LSP/宿主：`*.nudo.js` 变更后按路径定向逐出依赖它的 L0 条目。
- * 返回删除的条目数。路径需与 generalize 时 resolveDepPath 形态一致（建议先 norm）。
+ * 返回删除的条目数。查找与索引同走 stablePathKey——跨 Windows 盘符形态命中。
  */
 declare function evictGeneralizeMemoForPaths(paths: string[]): number;
 
@@ -1119,7 +1026,7 @@ type CheckOptions = {
  */
 
 declare function resetCheckSourceMemo(): void;
-/** `*.nudo.js` 变更后定向逐出依赖它的整文件 check 缓存 */
+/** `*.nudo.js` 变更后定向逐出依赖它的整文件 check 缓存。查找与索引同走 stablePathKey */
 declare function evictCheckSourceMemoForPaths(paths: string[]): number;
 
 /**
@@ -1142,6 +1049,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）。
  *
@@ -1149,7 +1164,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（整数性）
@@ -1160,7 +1175,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 分层推导的生成侧半边）。
@@ -1200,4 +1215,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, emptyEnv, endCollectionFork, errorBrandAbs, evalArrayStatic, evalBuiltinInstanceMethod, evalBuiltinNew, evalDateCtor, evalDateMethod, evalDateStatic, evalGlobalFn, evalJsonMethod, evalMathMethod, evalNamespaceCall, evalNumberStatic, evalObjectMethod, evalObjectProtoMethod, evalRegExpCtor, evalRegExpMethod, evalStringStatic, evalSymbolCtor, evictCheckSourceMemoForPaths, evictGeneralizeMemoForPaths, extStateOf, extractFn, falseConstraint, fnOf, formalParamDisplayNames, formalParamSignatureNames, 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, 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, objOf, objectProtoBrand, objectProtoMethodAbs, parseSource, popCollectionArm, popPhi, powAbs, projectFlatMapResult, promoteParamShape, propertyKeyOf, protoBrandAbs, protoOfRecv, pureFnNameOf, pushCollectionArm, pushPhi, 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 };