@nudojs/core 1.7.9 → 1.8.0

package/dist/exec.d.ts

@@ -466,6 +466,16 @@ declare function $removeNull(a: Abs): Abs;
  * null，`u.v` 对 null 仍原生抛 TypeError，不得剪）。
  */
 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) 随之消失）。槽值剥空（纯
+ * nullish）→ 保守原样（臂不可达近似，与 $removeNullish 空集口径一致）；
+ * 键缺席 / 非 obj / 裸宿主值 → 透传（同 $removeNullish 契约）。真值 ⇒ 非
+ * nullish 是 sound 下界：0/''/false 等 falsy-but-not-nullish 成员保留。
+ */
+declare function $removeMemberNullish(a: Abs, key: string): Abs;
 /**
  * typeof 类型守卫臂剪影（Bug 23）：`typeof v === "string"` 真臂把 v 重绑为
  * union 中 typeof 匹配的成员（keep=true）/ 假臂绑补集（keep=false）——臂内
@@ -744,4 +754,4 @@ declare class NudoUnsupportedError extends Error {
     detail?: string);
 }
 
-export { $absVal, $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, $getSuper, $getSuperObj, $gt, $idx, $idxSet, $importMeta, $in, $instanceof, $instanceofNonIdent, $invoke, $invokeSuper, $invokeSuperKey, $invokeSuperObj, $isBreakTo, $isForkExit, $iterCheck, $join, $le, $len, $lit, $loopBreak, $loopContinue, $loopReturn, $lt, $mod, $mul, $narrowTypeOf, $ne, $neLoose, $neg, $new, $newTarget, $not, $nullishTest, $obj, $objAccessor, $objAccessorKey, $objRest, $optionalGet, $optionalInvoke, $orDefault, $pow, $pushLoopExit, $rawThis, $reStateCall, $regex, $removeNull, $removeNullish, $removeUndefined, $rethrowIfNudoReturn, $set, $setKey, $setProto, $shl, $shr, $spread, $staticInit, $staticInvoke, $sub, $super, $switch, $thisGet, $thisSet, $throw, $toNumber, $toNumeric, $tpl, $tryCurrentMark, $tryDetachSoftCatch, $tryDigestSoftCatch, $tryDiscardSoft, $tryMark, $tryOrphanSoft, $tryPopMark, $tryReleaseSoftCatch, $tryReleaseSoftOut, $tryTakeSince, $typeof, $unknown, $updateAdd, $updateSub, $ushr, $while, $whileSeq, $yield, $yieldStar, 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 { $absVal, $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, $getSuper, $getSuperObj, $gt, $idx, $idxSet, $importMeta, $in, $instanceof, $instanceofNonIdent, $invoke, $invokeSuper, $invokeSuperKey, $invokeSuperObj, $isBreakTo, $isForkExit, $iterCheck, $join, $le, $len, $lit, $loopBreak, $loopContinue, $loopReturn, $lt, $mod, $mul, $narrowTypeOf, $ne, $neLoose, $neg, $new, $newTarget, $not, $nullishTest, $obj, $objAccessor, $objAccessorKey, $objRest, $optionalGet, $optionalInvoke, $orDefault, $pow, $pushLoopExit, $rawThis, $reStateCall, $regex, $removeMemberNullish, $removeNull, $removeNullish, $removeUndefined, $rethrowIfNudoReturn, $set, $setKey, $setProto, $shl, $shr, $spread, $staticInit, $staticInvoke, $sub, $super, $switch, $thisGet, $thisSet, $throw, $toNumber, $toNumeric, $tpl, $tryCurrentMark, $tryDetachSoftCatch, $tryDigestSoftCatch, $tryDiscardSoft, $tryMark, $tryOrphanSoft, $tryPopMark, $tryReleaseSoftCatch, $tryReleaseSoftOut, $tryTakeSince, $typeof, $unknown, $updateAdd, $updateSub, $ushr, $while, $whileSeq, $yield, $yieldStar, 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

@@ -86,6 +86,7 @@ import {
   $reStateCall,
   $recordBinding,
   $regex,
+  $removeMemberNullish,
   $removeNull,
   $removeNullish,
   $removeUndefined,
@@ -192,7 +193,7 @@ import {
   tryRunTranspiled,
   withEvalBudgetOverride,
   withExecPhi
-} from "./chunk-YQIRU637.js";
+} from "./chunk-P6O5BXOA.js";
 export {
   $absVal,
   $add,
@@ -280,6 +281,7 @@ export {
   $reStateCall,
   $recordBinding,
   $regex,
+  $removeMemberNullish,
   $removeNull,
   $removeNullish,
   $removeUndefined,

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-DbDRo5z6.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-DbDRo5z6.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-CtwnzYLG.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 drainPromiseMicros, a6 as effectiveInterface, a7 as enterPromiseExecutorScope, a8 as evalPromiseCtor, a9 as evalPromiseMethod, aa as evalPromiseStatic, ab as execNudoModule, ac as extractDeclaredThrows, ad as extractFnBudget, ae as extractNudoImports, af as extractRefineReturnFromSource, ag as extractRefinesFromSource, ah as fn, ai as fnConstraintToEntryReqs, aj as formatCheckReport, ak as formatConstraint, al as formatDiagnostics, am as formatEffectiveInterfaceDisplay, an as formatGithubAnnotations, ao as formatGitlabCodeQuality, ap as formatInterfaceTierLine, aq as generatedExportNames, ar as getParseSourceCacheSize, as as getTerm, at as instantiateConstraint, au as interfaceDiagCount, av as interfaceSourceOf, aw as interfaceTierOf, ax as isIntFlag, ay as isNodeModulesPath, az as isNudoConstraint, aA as leavePromiseExecutorScope, aB as lenTerm, aC as litC, aD as localNamedExports, aE as notePromiseExecutorFork, aF as nullable, aG as number, aH as omit, aI as partial, aJ as pick, aK as queuePromiseMicro, aL as refineDiagCount, aM as refineToIndexedFull, aN as resetNudoModuleExecCache, aO as resetParseSourceCache, aP as resetSidecarLoadFailureCache, aQ as serializeCheckJson, aR as serializeCheckJsonMulti, aS as setInterfaceDiagCollector, aT as setRefineDiagCollector, aU as shape, aV as sidecarClosureFingerprint, aW as sidecarPathOf, aX as string, aY as takeInterfaceDiags, aZ as takeInterfaceDiagsSince, a_ as takeRefineDiags, a$ as takeRefineDiagsSince, b0 as throwConstraintToKinds, b1 as union } from './projection-budget-CtwnzYLG.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-vi5Ssjdr.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-vi5Ssjdr.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';
 
 /**
@@ -1201,7 +1201,7 @@ declare function scanBudgetDecl(lines: string[]): {
  */
 
 /** 字面量 lv 是否落在约束 c 表达的域内（保守：判不了 → false）。 */
-declare function literalMeetsConstraint(lv: number | string | boolean | null | undefined, c: NudoConstraint): boolean;
+declare function literalMeetsConstraint(lv: number | string | boolean | null | undefined, c: NudoConstraint, seen?: Set<object>): boolean;
 
 /**
  * Abs → NudoConstraint 投影（Phase 1，interface 分层推导的生成侧半边）。

package/dist/index.js

@@ -1,19 +1,9 @@
 import "./chunk-US532PZA.js";
 import {
-  CONSTRAINT_BUILDERS,
-  CONSTRAINT_BUILDER_NAMES,
-  CONSTRAINT_EXPR_RE,
   NudoSidecarError,
-  SELF,
-  andC,
-  any,
-  array,
-  boolean,
   buildArgsFromAssume,
   canSkipLiteralCallScan,
   collectAbsFreeVars,
-  constraintAdmitsNullish,
-  constraintToEntryAbs,
   effectiveInterface,
   evictGeneralizeMemoForPaths,
   execNudoModule,
@@ -28,8 +18,6 @@ import {
   extractRefineReturnFromSource,
   extractRefinesFromSource,
   findFnDirectiveScope,
-  fn,
-  fnConstraintToEntryReqs,
   fnDirectiveCommentLines,
   formatConstraint,
   formatEffectiveInterfaceDisplay,
@@ -38,39 +26,27 @@ import {
   generalizeFromAst,
   generatedExportNames,
   getGeneralizeMemoSize,
-  getTerm,
   hashSource,
-  instantiateConstraint,
-  instantiateOnTerm,
   interfaceDiagCount,
   interfaceSourceOf,
   interfaceTierOf,
-  isIntFlag,
   isNodeModulesPath,
-  isNudoConstraint,
-  lenTerm,
   listFnDirectiveScopes,
   listFunctionNames,
   listTopFunctions,
-  litC,
-  literalMeetsConstraint,
   loadModuleDepsFingerprint,
   localNamedExports,
   normPath,
-  nullable,
-  number,
-  omit,
   parseEnvPayload,
   parseMockModulePayload,
   parseNudoImportPayload,
-  partial,
-  pick,
   refineDiagCount,
   refineToIndexedFull,
   resetGeneralizeMemo,
   resetHashSourceCache,
   resetNudoModuleExecCache,
   resetSidecarLoadFailureCache,
+  resolveDepPath,
   scanBudgetDecl,
   scanCaseArgSpans,
   scanCaseTags,
@@ -79,19 +55,15 @@ import {
   scanThrowsDecl,
   setInterfaceDiagCollector,
   setRefineDiagCollector,
-  shape,
   sidecarClosureFingerprint,
   sidecarPathOf,
   stableAnalyzeKeySource,
   stablePathKey,
-  string,
   takeInterfaceDiags,
   takeInterfaceDiagsSince,
   takeRefineDiags,
-  takeRefineDiagsSince,
-  throwConstraintToKinds,
-  union
-} from "./chunk-5SAMWKI6.js";
+  takeRefineDiagsSince
+} from "./chunk-WT5J6QTZ.js";
 import {
   $add,
   $arguments,
@@ -203,6 +175,9 @@ import {
   $while,
   $whileSeq,
   $yield,
+  CONSTRAINT_BUILDERS,
+  CONSTRAINT_BUILDER_NAMES,
+  CONSTRAINT_EXPR_RE,
   DEFAULT_MAX_LOOP_ITERS,
   FORK_TRUNCATION_LABEL,
   HOST_EFFECT_LABEL_PREFIX,
@@ -218,6 +193,7 @@ import {
   PROMISE_MICRO_OVERFLOW_LABEL,
   ProjectionBudget,
   RUNTIME_IMPORT_RE,
+  SELF,
   TYPEOF_NAMES,
   abs,
   absFunction,
@@ -227,15 +203,19 @@ import {
   add,
   alphaOf,
   and,
+  andC,
+  any,
   anyAbs,
   anyVar,
   app,
   applyCallbackAbs,
   applyCallbackValue,
+  array,
   asAbs,
   asAbsVal,
   assignSourceSlots,
   assumeFinite,
+  attachContractFaces,
   attachFnImpl,
   beginCollectionFork,
   betaOf,
@@ -248,6 +228,7 @@ import {
   bitxorAbs,
   bool,
   boolLit,
+  boolean,
   builtinCtorAbs,
   builtinCtorNameOf,
   callAbsMethod,
@@ -264,12 +245,16 @@ import {
   collectionElementJoin,
   collectionExactLen,
   confJoin,
+  constraintAdmitsNullish,
+  constraintToEntryAbs,
+  contractFacesFromEffectiveInterface,
   contractParamNameSet,
   createHofCollectCtx,
   ctorArgDefinitelyInvalid,
   ctorNameOfRecv,
   currentExecPhi,
   definitelyNotNullishShape,
+  derefConstraint,
   div,
   drainPromiseMicros,
   emptyEnv,
@@ -304,6 +289,8 @@ import {
   falseConstraint,
   fillTuple,
   filterGateThrows,
+  fn,
+  fnConstraintToEntryReqs,
   fnOf,
   foldRequireSpecArg,
   foldStaticStringExpr,
@@ -326,12 +313,15 @@ import {
   getParseSourceCacheSize,
   getPropFlags,
   getSlot,
+  getTerm,
   gt,
   gtNum,
   hostBuiltinCtorName,
   hostFnCtorFacet,
   identBoundaryRegex,
   implies,
+  instantiateConstraint,
+  instantiateOnTerm,
   instantiateReturn,
   isAbsApplyResult,
   isAbsVal,
@@ -341,8 +331,10 @@ import {
   isDefinitelyTrue,
   isErrorCtorName,
   isExactLit,
+  isIntFlag,
   isMapAbs,
   isNudoBreak,
+  isNudoConstraint,
   isNudoContinue,
   isNudoReturn,
   isNudoThrow,
@@ -360,13 +352,17 @@ import {
   joinFunctions,
   joinObjects,
   joinValues,
+  lazy,
   le,
   leNum,
   leavePromiseExecutorScope,
+  lenTerm,
   leqAbs,
   lit,
+  litC,
   litTruth,
   litValue,
+  literalMeetsConstraint,
   locateContractParam,
   lookupObjAccessor,
   looseEqAbs,
@@ -409,18 +405,23 @@ import {
   noteEvalCallRecord,
   noteEvalFallback,
   notePromiseExecutorFork,
+  nullable,
   num,
   numLit,
   numVar,
+  number,
   obj,
   objOf,
   objectProtoBrand,
   objectProtoMethodAbs,
+  omit,
   or,
   pFalse,
   pTrue,
   parseSource,
+  partial,
   phiAnd,
+  pick,
   popCollectionArm,
   powAbs,
   predEquals,
@@ -457,6 +458,7 @@ import {
   setAddEntry,
   setApplyCallbackHost,
   setClearEntries,
+  setContractFaceResolver,
   setDeleteEntry,
   setElementsAbs,
   setEvalAssignCollector,
@@ -468,6 +470,7 @@ import {
   setMayThrowCollector,
   setPropFlags,
   setSizeAbs,
+  shape,
   shapeOfTerm,
   shapeOnlyFn,
   shapeToString,
@@ -479,6 +482,7 @@ import {
   str,
   strLit,
   strictEqAbs,
+  string,
   stringOfSymbol,
   stripStringsKeepComments,
   stripTypes,
@@ -493,6 +497,7 @@ import {
   termEquals,
   termToString,
   throwAbsToKinds,
+  throwConstraintToKinds,
   toNumberAbs,
   transpile,
   transpileBodyNode,
@@ -508,12 +513,13 @@ import {
   tryRunTranspiled,
   typeofAbs,
   undefAbs,
+  union,
   unknown,
   ushrAbs,
   v,
   withExecPhi,
   withVar
-} from "./chunk-YQIRU637.js";
+} from "./chunk-P6O5BXOA.js";
 
 // src/environment.ts
 function createEnvironment(parent, bindings = /* @__PURE__ */ new Map()) {
@@ -796,6 +802,15 @@ function provesBarePrimDomain(arm, constraint) {
   return arm.shape.k === "prim" && arm.shape.type === constraint.prim;
 }
 function assertImplies(ret, constraint, opts) {
+  if (constraint.lazy) {
+    const seen = opts?.seen;
+    if (seen?.has(constraint.lazy)) {
+      return unprovable("lazy constraint cycle");
+    }
+    const next = seen ? new Set(seen) : /* @__PURE__ */ new Set();
+    next.add(constraint.lazy);
+    return assertImplies(ret, derefConstraint(constraint), { ...opts, seen: next });
+  }
   const phi = opts?.phi ?? pTrue;
   if (ret.shape.k === "never") return proved();
   if (isAnyConstraint(constraint)) return proved();
@@ -881,7 +896,7 @@ function assertImpliesSingle(arm, constraint, opts, phi) {
   return assertScalar(arm, constraint, phi);
 }
 function isAnyConstraint(c) {
-  return !c.prim && c.preds.length === 0 && !c.fields && !c.element && !c.members && !c.fn && !isIntFlag(c);
+  return !c.prim && c.preds.length === 0 && !c.fields && !c.element && !c.members && !c.fn && !c.lazy && !isIntFlag(c);
 }
 function assertShapeFields(ret, constraint, opts) {
   let slots;
@@ -2142,43 +2157,142 @@ function checkSourceInScope(filePath, source, phi, opts) {
   resetAbsCallBudget();
   const prevTrunc = setAbsTruncationCollector((label) => truncated.add(label));
   try {
-    const report = checkSourceInner(
-      filePath,
-      source,
-      file,
-      phi,
-      callOpts,
-      issues,
-      signatures,
-      names,
-      truncated,
-      opts,
-      depsFp,
-      sidecarFp
+    const prevFaceResolver = setContractFaceResolver(
+      makeSameFileFaceResolver(callOpts, filePath, source, file)
     );
-    const diagIssues = sidecarDiagIssues([
-      ...takeRefineDiagsSince(refineSince),
-      ...takeInterfaceDiagsSince(ifaceSince)
-    ]);
-    if (diagIssues.length > 0) {
-      report.issues.push(...diagIssues);
-      const errors = report.issues.filter((i) => i.severity === "error").length;
-      const warnings = report.issues.filter((i) => i.severity === "warning").length;
-      const infos = report.issues.filter((i) => i.severity === "info").length;
-      report.ok = errors === 0;
-      report.summary = {
-        errors,
-        warnings,
-        infos,
-        functions: report.summary.functions
-      };
+    try {
+      attachCrossModuleContractFaces(callOpts, filePath);
+      const report = checkSourceInner(
+        filePath,
+        source,
+        file,
+        phi,
+        callOpts,
+        issues,
+        signatures,
+        names,
+        truncated,
+        opts,
+        depsFp,
+        sidecarFp
+      );
+      const diagIssues = sidecarDiagIssues([
+        ...takeRefineDiagsSince(refineSince),
+        ...takeInterfaceDiagsSince(ifaceSince)
+      ]);
+      if (diagIssues.length > 0) {
+        report.issues.push(...diagIssues);
+        const errors = report.issues.filter((i) => i.severity === "error").length;
+        const warnings = report.issues.filter((i) => i.severity === "warning").length;
+        const infos = report.issues.filter((i) => i.severity === "info").length;
+        report.ok = errors === 0;
+        report.summary = {
+          errors,
+          warnings,
+          infos,
+          functions: report.summary.functions
+        };
+      }
+      if (memoKey) checkMemoSet(memoKey, report, memoPaths);
+      return cloneCheckReport(report);
+    } finally {
+      setContractFaceResolver(prevFaceResolver);
     }
-    if (memoKey) checkMemoSet(memoKey, report, memoPaths);
-    return cloneCheckReport(report);
   } finally {
     setAbsTruncationCollector(prevTrunc);
   }
 }
+function makeSameFileFaceResolver(opts, filePath, source, file) {
+  const loadModule = opts.loadModule;
+  const fromFile = opts.fromFile ?? filePath;
+  const autoBind = opts.autoBind;
+  const projectDir = opts.projectDir;
+  const memo = /* @__PURE__ */ new Map();
+  return (fnName) => {
+    if (memo.has(fnName)) return memo.get(fnName);
+    let faces;
+    try {
+      const eff = effectiveInterface(source, fnName, {
+        ...loadModule ? { loadModule } : {},
+        fromFile,
+        ...autoBind !== void 0 ? { autoBind } : {},
+        ...projectDir !== void 0 ? { projectDir } : {}
+      });
+      if (eff) {
+        const params = extractFn(source, fnName, file)?.params ?? [];
+        faces = contractFacesFromEffectiveInterface(eff, params);
+      }
+    } catch {
+      faces = void 0;
+    }
+    memo.set(fnName, faces);
+    return faces;
+  };
+}
+function attachCrossModuleContractFaces(opts, filePath) {
+  const loadModule = opts.loadModule;
+  const fromFile = opts.fromFile ?? filePath;
+  if (!loadModule) return;
+  const tables = [];
+  for (const t of [opts.modules, opts.inject?.modules]) {
+    if (t && typeof t === "object" && !tables.includes(t)) tables.push(t);
+  }
+  if (tables.length === 0) return;
+  const autoBind = opts.autoBind;
+  const projectDir = opts.projectDir;
+  const facesCache = /* @__PURE__ */ new Map();
+  const facesFor = (depSource, depPath, name, paramNames) => {
+    const key = `${depPath}\0${name}`;
+    if (facesCache.has(key)) return facesCache.get(key);
+    let faces;
+    try {
+      const eff = effectiveInterface(depSource, name, {
+        loadModule,
+        fromFile: depPath,
+        ...autoBind !== void 0 ? { autoBind } : {},
+        ...projectDir !== void 0 ? { projectDir } : {}
+      });
+      if (eff) faces = contractFacesFromEffectiveInterface(eff, paramNames);
+    } catch {
+      faces = void 0;
+    }
+    facesCache.set(key, faces);
+    return faces;
+  };
+  const attachFnAbs = (v2, depSource, depPath, name) => {
+    if (!v2 || typeof v2 !== "object" || !("shape" in v2)) return;
+    const shape2 = v2.shape;
+    if (shape2.k !== "fn") return;
+    let paramNames;
+    try {
+      paramNames = extractFn(depSource, name)?.params ?? [];
+    } catch {
+      paramNames = [];
+    }
+    const faces = facesFor(depSource, depPath, name, paramNames);
+    if (faces) attachContractFaces(v2, faces);
+  };
+  for (const table of tables) {
+    for (const [spec, mod2] of Object.entries(table)) {
+      if (!mod2 || typeof mod2 !== "object") continue;
+      const named = mod2.named;
+      if (!named) continue;
+      let depSource;
+      try {
+        depSource = loadModule(spec, fromFile);
+      } catch {
+        depSource = void 0;
+      }
+      if (!depSource) continue;
+      const depPath = resolveDepPath(fromFile, spec);
+      for (const [name, v2] of Object.entries(named)) {
+        attachFnAbs(v2, depSource, depPath, name);
+      }
+      const def = mod2.default;
+      if (def !== void 0) attachFnAbs(def, depSource, depPath, "default");
+    }
+  }
+}
 function sidecarDiagIssues(diags) {
   const seen = /* @__PURE__ */ new Set();
   const out = [];
@@ -3188,6 +3302,7 @@ export {
   currentExecPhi,
   currentPhi,
   definitelyNotNullishShape,
+  derefConstraint,
   describePhi,
   div,
   drainPromiseMicros,
@@ -3311,6 +3426,7 @@ export {
   joinObjects,
   joinThenProject,
   joinValues,
+  lazy,
   le,
   leNum,
   leavePromiseExecutorScope,

package/dist/internal.d.ts

@@ -1,5 +1,5 @@
-import { I as InterfaceSource, a as InterfaceTierOpts, p as parseSource, C as CheckIssue } from './projection-budget-CtwnzYLG.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-CtwnzYLG.js';
+import { I as InterfaceSource, a as InterfaceTierOpts, p as parseSource, C as CheckIssue } from './projection-budget-vi5Ssjdr.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-vi5Ssjdr.js';
 import { A as Abs, T as Term, c as AstEnv } from './run-DbDRo5z6.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-DbDRo5z6.js';
 import { File, Node } from '@babel/types';

package/dist/internal.js

@@ -21,7 +21,7 @@ import {
   stableAnalyzeKeySource,
   stablePathKey,
   stablePathKeyGraph
-} from "./chunk-5SAMWKI6.js";
+} from "./chunk-WT5J6QTZ.js";
 import {
   $tryDigestSoft,
   $tryMarkSoft,
@@ -169,7 +169,7 @@ import {
   withEvalBudgetOverride,
   withFnBudgetOverride,
   wrapPromise
-} from "./chunk-YQIRU637.js";
+} from "./chunk-P6O5BXOA.js";
 
 // src/algebra/inlay.ts
 function listFunctions(source) {