@nudojs/core 0.3.1 → 0.4.0

package/dist/exec.d.ts

@@ -1,2 +1,2 @@
-export { $ as $add, d as $arr, e as $async, f as $asyncReturn, g as $await, h as $call, i as $callNamed, j as $catchVal, k as $class, l as $concat, m as $div, n as $elems, o as $eq, p as $fnVal, q as $for, r as $forIter, s as $forOf, t as $fork, u as $ge, v as $gen, w as $get, x as $gt, y as $idx, z as $idxSet, B as $invoke, D as $invokeSuper, E as $join, F as $le, G as $len, I as $lit, J as $lt, K as $mod, M as $mul, N as $ne, O as $neg, Q as $new, U as $not, V as $obj, W as $optionalGet, X as $optionalInvoke, Y as $orDefault, Z as $set, _ as $setKey, a0 as $spread, a1 as $staticInvoke, a2 as $sub, a3 as $super, a4 as $switch, a5 as $thisGet, a6 as $thisSet, a7 as $throw, a8 as $typeof, a9 as $while, aa as $whileSeq, ab as $yield, af as BCallRecord, ag as BClassSpec, ah as BMemberDiag, ai as DEFAULT_MAX_LOOP_ITERS, ao as NudoThrow, ap as RunTranspiledOptions, aq as TranspileOptions, ar as TranspiledCallResult, aC as asAbsVal, aI as callTranspiledExport, aJ as callTranspiledExportFull, aK as clearBClasses, aP as currentExecPhi, b0 as getAbsOrigin, b1 as getBCallCollector, b2 as getBClass, b7 as isDefinitelyFalse, b8 as isDefinitelyTrue, ba as isNudoThrow, bq as noteMemberDispatchMiss, br as notePrimMemberMissing, bs as noteUnknownMemberMissing, bH as recordMemberDiag, bI as registerBClass, bL as runTranspiled, bR as setBCallCollector, bS as setMemberDiagCollector, c0 as tagAbsOrigin, c5 as transpile, c6 as transpileExpression, c7 as transpileFile, c8 as transpileSource, cg as withExecPhi } from './index-CVYjXnwU.js';
+export { $ as $add, d as $arr, e as $async, f as $asyncReturn, g as $await, h as $call, i as $callNamed, j as $catchVal, k as $class, l as $concat, m as $div, n as $elems, o as $eq, p as $fnVal, q as $for, r as $forIter, s as $forOf, t as $fork, u as $ge, v as $gen, w as $get, x as $gt, y as $idx, z as $idxSet, B as $invoke, D as $invokeSuper, E as $join, F as $le, G as $len, I as $lit, J as $lt, K as $mod, M as $mul, N as $ne, O as $neg, Q as $new, U as $not, V as $obj, W as $optionalGet, X as $optionalInvoke, Y as $orDefault, Z as $regex, _ as $set, a0 as $setKey, a1 as $spread, a2 as $staticInvoke, a3 as $sub, a4 as $super, a5 as $switch, a6 as $thisGet, a7 as $thisSet, a8 as $throw, a9 as $typeof, aa as $while, ab as $whileSeq, ac as $yield, ag as BCallRecord, ah as BClassSpec, ai as BMemberDiag, aj as DEFAULT_MAX_LOOP_ITERS, ap as NudoThrow, aq as RunTranspiledOptions, ar as TranspileOptions, as as TranspiledCallResult, aD as asAbsVal, aJ as callTranspiledExport, aK as callTranspiledExportFull, aL as clearBClasses, aQ as currentExecPhi, b1 as getAbsOrigin, b2 as getBCallCollector, b3 as getBClass, b8 as isDefinitelyFalse, b9 as isDefinitelyTrue, bb as isNudoThrow, bj as litTruth, bp as namespaceNameOf, bt as noteMemberDispatchMiss, bu as notePrimMemberMissing, bv as noteUnknownMemberMissing, bK as recordMemberDiag, bL as registerBClass, bO as runTranspiled, bU as setBCallCollector, bV as setMemberDiagCollector, c3 as tagAbsOrigin, c8 as transpile, c9 as transpileExpression, ca as transpileFile, cb as transpileSource, cj as withExecPhi } from './index-DgyudAkw.js';
 import '@babel/types';

package/dist/exec.js

@@ -40,6 +40,7 @@ import {
   $optionalGet,
   $optionalInvoke,
   $orDefault,
+  $regex,
   $set,
   $setKey,
   $spread,
@@ -67,6 +68,8 @@ import {
   isDefinitelyFalse,
   isDefinitelyTrue,
   isNudoThrow,
+  litTruth,
+  namespaceNameOf,
   noteMemberDispatchMiss,
   notePrimMemberMissing,
   noteUnknownMemberMissing,
@@ -81,7 +84,7 @@ import {
   transpileFile,
   transpileSource,
   withExecPhi
-} from "./chunk-BU4A6XJ3.js";
+} from "./chunk-N7E2A7IK.js";
 export {
   $add,
   $arr,
@@ -124,6 +127,7 @@ export {
   $optionalGet,
   $optionalInvoke,
   $orDefault,
+  $regex,
   $set,
   $setKey,
   $spread,
@@ -151,6 +155,8 @@ export {
   isDefinitelyFalse,
   isDefinitelyTrue,
   isNudoThrow,
+  litTruth,
+  namespaceNameOf,
   noteMemberDispatchMiss,
   notePrimMemberMissing,
   noteUnknownMemberMissing,

package/dist/{index-CVYjXnwU.d.ts → index-DgyudAkw.d.ts}

@@ -593,6 +593,8 @@ declare function asAbsVal(v: unknown): Abs;
 declare function $fnVal(params: string[], impl: (...args: Abs[]) => Abs): Abs;
 /** 字面量 → Abs（transpile 侧数字/字符串/布尔/null/undefined） */
 declare function $lit(v: unknown): Abs;
+/** JS 真值：字面量按 Boolean(v)；对象形恒真；不可判 → undefined */
+declare function litTruth(a: Abs): boolean | undefined;
 declare function isDefinitelyTrue(a: Abs): boolean;
 declare function isDefinitelyFalse(a: Abs): boolean;
 /**
@@ -616,11 +618,11 @@ declare function $forIter(init: Abs, test: (s: Abs) => Abs, step: (s: Abs) => Ab
 declare function $for(init: Abs, test: (s: Abs) => Abs, step: (s: Abs) => Abs, body: (s: Abs) => Abs, maxIters?: number): Abs;
 /** 数组字面量 → Abs tuple（长度已知） */
 declare function $arr(items: Abs[]): Abs;
-/** 下标读 a[i]；字面量 i 走 tuple 精确投影，否则并所有元素 */
+/** 下标读 a[i]；字面量 i 走 tuple 精确投影，否则并所有元素；string[i] → 单字符 */
 declare function $idx(a: Abs, i: Abs): Abs;
-/** 下标写 a[i]=v → 新 tuple */
+/** 下标写 a[i]=v → 新 tuple（越界写按 JS 语义增长，空洞为 undefined） */
 declare function $idxSet(a: Abs, i: Abs, value: Abs): Abs;
-/** 数组长度 */
+/** 数组/字符串长度 */
 declare function $len(a: Abs): Abs;
 /** 对象字面量 → Abs obj */
 declare function $obj(slots: Record<string, Abs>): Abs;
@@ -635,6 +637,13 @@ declare function $elems(a: Abs): Abs[];
  * body(item, i) 可返回 void；状态由外部 JS 变量承接。
  */
 declare function $forOf(iterable: Abs, body: (item: Abs, index: Abs) => void, maxIters?: number): void;
+/**
+ * 命名空间身份表：transpile 后 `Math.max(0, x)` 的接收者是宿主 JS 全局对象
+ * （非 Abs）。按对象身份识别命名空间，路由到 Abs builtin 表。
+ */
+declare function namespaceNameOf(v: unknown): string | undefined;
+/** 正则字面量 → RegExp brand（source/flags 进 slots，供 exec/test 精确执行） */
+declare function $regex(pattern: string, flags?: string): Abs;
 /** 成员读：obj.slots[key]；缺失 → undefined 字面量；brand 解包内层 */
 declare function $get(o: Abs, key: string, opts?: {
     silent?: boolean;
@@ -899,4 +908,4 @@ declare function callTranspiledExportFull(exports: Record<string, unknown>, name
 /** 调用 runTranspiled 导出（仅结果） */
 declare function callTranspiledExport(exports: Record<string, unknown>, name: string, args: Abs[]): Abs;
 
-export { $add as $, type AstEnv as A, $invoke as B, type Confidence as C, $invokeSuper as D, $join as E, $le as F, $len as G, type HofSite as H, $lit as I, $lt as J, $mod as K, type LeakBudget as L, $mul as M, $ne as N, $neg as O, type Phi as P, $new as Q, type RelSource as R, type Shape as S, type Term as T, $not as U, $obj as V, $optionalGet as W, $optionalInvoke as X, $orDefault as Y, $set as Z, $setKey as _, type Abs as a, geNum as a$, $spread as a0, $staticInvoke as a1, $sub as a2, $super as a3, $switch as a4, $thisGet as a5, $thisSet as a6, $throw as a7, $typeof as a8, $while as a9, applyCallbackAbs as aA, asAbs as aB, asAbsVal as aC, betaOf as aD, bindImports as aE, bool as aF, boolLit as aG, callFunction as aH, callTranspiledExport as aI, callTranspiledExportFull as aJ, clearBClasses as aK, collectAbsExports as aL, collectAbsNodeTypes as aM, confJoin as aN, createHofCollectCtx as aO, currentExecPhi as aP, defaultLeakBudget as aQ, emptyEnv as aR, emptyPhi as aS, eq as aT, evalMethodBody as aU, evalNode as aV, evalProgramAbs as aW, evalSource as aX, exceedsBudget as aY, findAbsAtPosition as aZ, ge as a_, $whileSeq as aa, $yield as ab, type AbsAssignRecord as ac, type AbsCallRecord as ad, type AbsModuleExports as ae, type BCallRecord as af, type BClassSpec as ag, type BMemberDiag as ah, DEFAULT_MAX_LOOP_ITERS as ai, type EvalOptions as aj, type EvalResult as ak, type HofCollectCtx as al, MAX_CALL_DEPTH as am, MAX_TOTAL_CALLS as an, NudoThrow as ao, type RunTranspiledOptions as ap, type TranspileOptions as aq, type TranspiledCallResult as ar, abs as as, absToString as at, alphaOf as au, analyzeFn as av, and as aw, anyVar as ax, app as ay, applyAbsFn as az, type Pred as b, substPredAbs as b$, getAbsOrigin as b0, getBCallCollector as b1, getBClass as b2, gt as b3, gtNum as b4, implies as b5, instantiateReturn as b6, isDefinitelyFalse as b7, isDefinitelyTrue as b8, isExactLit as b9, phiAnd as bA, predEquals as bB, predToString as bC, predVars as bD, projectFlatMapResult as bE, promoteParamShape as bF, ptypeof as bG, recordMemberDiag as bH, registerBClass as bI, resetAbsCallBudget as bJ, resetLeakCounter as bK, runTranspiled as bL, setAbsAssignCollector as bM, setAbsCallCollector as bN, setAbsNodeCollector as bO, setAbsTruncationCollector as bP, setApplyCallbackHost as bQ, setBCallCollector as bR, setMemberDiagCollector as bS, shapeOfTerm as bT, shapeToString as bU, simplifyTerm as bV, snapshotAbs as bW, str as bX, strLit as bY, substAbs as bZ, substPred as b_, isNudoThrow as ba, isNumPrim as bb, isRelFn as bc, isStrPrim as bd, le as be, leNum as bf, leakIfNeeded as bg, lit as bh, litValue as bi, lt as bj, ltNum as bk, mapElementFallback as bl, maybeLeak as bm, ne as bn, never as bo, not as bp, noteMemberDispatchMiss as bq, notePrimMemberMissing as br, noteUnknownMemberMissing as bs, num as bt, numLit as bu, numVar as bv, obj as bw, or as bx, pFalse as by, pTrue as bz, type PrimName as c, tagAbsOrigin as c0, termDepth as c1, termEquals as c2, termNodes as c3, termToString as c4, transpile as c5, transpileExpression as c6, transpileFile as c7, transpileSource as c8, tryPromoteDirectCall as c9, tryPromoteForOfIteratee as ca, tryPromoteHofCallback as cb, tryPromoteReceiverAsArr as cc, undefAbs as cd, unknown as ce, v as cf, withExecPhi as cg, withVar as ch, $arr as d, $async as e, $asyncReturn as f, $await as g, $call as h, $callNamed as i, $catchVal as j, $class as k, $concat as l, $div as m, $elems as n, $eq as o, $fnVal as p, $for as q, $forIter as r, $forOf as s, $fork as t, $ge as u, $gen as v, $get as w, $gt as x, $idx as y, $idxSet as z };
+export { $add as $, type AstEnv as A, $invoke as B, type Confidence as C, $invokeSuper as D, $join as E, $le as F, $len as G, type HofSite as H, $lit as I, $lt as J, $mod as K, type LeakBudget as L, $mul as M, $ne as N, $neg as O, type Phi as P, $new as Q, type RelSource as R, type Shape as S, type Term as T, $not as U, $obj as V, $optionalGet as W, $optionalInvoke as X, $orDefault as Y, $regex as Z, $set as _, type Abs as a, ge as a$, $setKey as a0, $spread as a1, $staticInvoke as a2, $sub as a3, $super as a4, $switch as a5, $thisGet as a6, $thisSet as a7, $throw as a8, $typeof as a9, applyAbsFn as aA, applyCallbackAbs as aB, asAbs as aC, asAbsVal as aD, betaOf as aE, bindImports as aF, bool as aG, boolLit as aH, callFunction as aI, callTranspiledExport as aJ, callTranspiledExportFull as aK, clearBClasses as aL, collectAbsExports as aM, collectAbsNodeTypes as aN, confJoin as aO, createHofCollectCtx as aP, currentExecPhi as aQ, defaultLeakBudget as aR, emptyEnv as aS, emptyPhi as aT, eq as aU, evalMethodBody as aV, evalNode as aW, evalProgramAbs as aX, evalSource as aY, exceedsBudget as aZ, findAbsAtPosition as a_, $while as aa, $whileSeq as ab, $yield as ac, type AbsAssignRecord as ad, type AbsCallRecord as ae, type AbsModuleExports as af, type BCallRecord as ag, type BClassSpec as ah, type BMemberDiag as ai, DEFAULT_MAX_LOOP_ITERS as aj, type EvalOptions as ak, type EvalResult as al, type HofCollectCtx as am, MAX_CALL_DEPTH as an, MAX_TOTAL_CALLS as ao, NudoThrow as ap, type RunTranspiledOptions as aq, type TranspileOptions as ar, type TranspiledCallResult as as, abs as at, absToString as au, alphaOf as av, analyzeFn as aw, and as ax, anyVar as ay, app as az, type Pred as b, strLit as b$, geNum as b0, getAbsOrigin as b1, getBCallCollector as b2, getBClass as b3, gt as b4, gtNum as b5, implies as b6, instantiateReturn as b7, isDefinitelyFalse as b8, isDefinitelyTrue as b9, or as bA, pFalse as bB, pTrue as bC, phiAnd as bD, predEquals as bE, predToString as bF, predVars as bG, projectFlatMapResult as bH, promoteParamShape as bI, ptypeof as bJ, recordMemberDiag as bK, registerBClass as bL, resetAbsCallBudget as bM, resetLeakCounter as bN, runTranspiled as bO, setAbsAssignCollector as bP, setAbsCallCollector as bQ, setAbsNodeCollector as bR, setAbsTruncationCollector as bS, setApplyCallbackHost as bT, setBCallCollector as bU, setMemberDiagCollector as bV, shapeOfTerm as bW, shapeToString as bX, simplifyTerm as bY, snapshotAbs as bZ, str as b_, isExactLit as ba, isNudoThrow as bb, isNumPrim as bc, isRelFn as bd, isStrPrim as be, le as bf, leNum as bg, leakIfNeeded as bh, lit as bi, litTruth as bj, litValue as bk, lt as bl, ltNum as bm, mapElementFallback as bn, maybeLeak as bo, namespaceNameOf as bp, ne as bq, never as br, not as bs, noteMemberDispatchMiss as bt, notePrimMemberMissing as bu, noteUnknownMemberMissing as bv, num as bw, numLit as bx, numVar as by, obj as bz, type PrimName as c, substAbs as c0, substPred as c1, substPredAbs as c2, tagAbsOrigin as c3, termDepth as c4, termEquals as c5, termNodes as c6, termToString as c7, transpile as c8, transpileExpression as c9, transpileFile as ca, transpileSource as cb, tryPromoteDirectCall as cc, tryPromoteForOfIteratee as cd, tryPromoteHofCallback as ce, tryPromoteReceiverAsArr as cf, undefAbs as cg, unknown as ch, v as ci, withExecPhi as cj, withVar as ck, $arr as d, $async as e, $asyncReturn as f, $await as g, $call as h, $callNamed as i, $catchVal as j, $class as k, $concat as l, $div as m, $elems as n, $eq as o, $fnVal as p, $for as q, $forIter as r, $forOf as s, $fork as t, $ge as u, $gen as v, $get as w, $gt as x, $idx as y, $idxSet as z };

package/dist/index.d.ts

@@ -1,6 +1,6 @@
 import { Node, File } from '@babel/types';
-import { P as Phi, A as AstEnv, a as Abs, C as Confidence, b as Pred, S as Shape, c as PrimName, T as Term, R as RelSource, H as HofSite, L as LeakBudget } from './index-CVYjXnwU.js';
-export { $ as $add, d as $arr, e as $async, f as $asyncReturn, g as $await, h as $call, i as $callNamed, j as $catchVal, k as $class, l as $concat, m as $div, n as $elems, o as $eq, p as $fnVal, q as $for, r as $forIter, s as $forOf, t as $fork, u as $ge, v as $gen, w as $get, x as $gt, y as $idx, z as $idxSet, B as $invoke, D as $invokeSuper, E as $join, F as $le, G as $len, I as $lit, J as $lt, K as $mod, M as $mul, N as $ne, O as $neg, Q as $new, U as $not, V as $obj, W as $optionalGet, X as $optionalInvoke, Y as $orDefault, Z as $set, _ as $setKey, a0 as $spread, a1 as $staticInvoke, a2 as $sub, a3 as $super, a4 as $switch, a5 as $thisGet, a6 as $thisSet, a7 as $throw, a8 as $typeof, a9 as $while, aa as $whileSeq, ab as $yield, ac as AbsAssignRecord, ad as AbsCallRecord, ae as AbsModuleExports, af as BCallRecord, ag as BClassSpec, ah as BMemberDiag, ai as DEFAULT_MAX_LOOP_ITERS, aj as EvalOptions, ak as EvalResult, al as HofCollectCtx, am as MAX_CALL_DEPTH, an as MAX_TOTAL_CALLS, ao as NudoThrow, ap as RunTranspiledOptions, aq as TranspileOptions, ar as TranspiledCallResult, as as abs, at as absToString, au as alphaOf, av as analyzeFn, aw as and, ax as anyVar, ay as app, az as applyAbsFn, aA as applyCallbackAbs, aB as asAbs, aC as asAbsVal, aD as betaOf, aE as bindImports, aF as bool, aG as boolLit, aH as callFunction, aI as callTranspiledExport, aJ as callTranspiledExportFull, aK as clearBClasses, aL as collectAbsExports, aM as collectAbsNodeTypes, aN as confJoin, aO as createHofCollectCtx, aP as currentExecPhi, aQ as defaultLeakBudget, aR as emptyEnv, aS as emptyPhi, aT as eq, aU as evalMethodBody, aV as evalNode, aW as evalProgramAbs, aX as evalSource, aY as exceedsBudget, aZ as findAbsAtPosition, a_ as ge, a$ as geNum, b0 as getAbsOrigin, b1 as getBCallCollector, b2 as getBClass, b3 as gt, b4 as gtNum, b5 as implies, b6 as instantiateReturn, b7 as isDefinitelyFalse, b8 as isDefinitelyTrue, b9 as isExactLit, ba as isNudoThrow, bb as isNumPrim, bc as isRelFn, bd as isStrPrim, be as le, bf as leNum, bg as leakIfNeeded, bh as lit, bi as litValue, bj as lt, bk as ltNum, bl as mapElementFallback, bm as maybeLeak, bn as ne, bo as never, bp as not, bq as noteMemberDispatchMiss, br as notePrimMemberMissing, bs as noteUnknownMemberMissing, bt as num, bu as numLit, bv as numVar, bw as obj, bx as or, by as pFalse, bz as pTrue, bA as phiAnd, bB as predEquals, bC as predToString, bD as predVars, bE as projectFlatMapResult, bF as promoteParamShape, bG as ptypeof, bH as recordMemberDiag, bI as registerBClass, bJ as resetAbsCallBudget, bK as resetLeakCounter, bL as runTranspiled, bM as setAbsAssignCollector, bN as setAbsCallCollector, bO as setAbsNodeCollector, bP as setAbsTruncationCollector, bQ as setApplyCallbackHost, bR as setBCallCollector, bS as setMemberDiagCollector, bT as shapeOfTerm, bU as shapeToString, bV as simplifyTerm, bW as snapshotAbs, bX as str, bY as strLit, bZ as substAbs, b_ as substPred, b$ as substPredAbs, c0 as tagAbsOrigin, c1 as termDepth, c2 as termEquals, c3 as termNodes, c4 as termToString, c5 as transpile, c6 as transpileExpression, c7 as transpileFile, c8 as transpileSource, c9 as tryPromoteDirectCall, ca as tryPromoteForOfIteratee, cb as tryPromoteHofCallback, cc as tryPromoteReceiverAsArr, cd as undefAbs, ce as unknown, cf as v, cg as withExecPhi, ch as withVar } from './index-CVYjXnwU.js';
+import { P as Phi, A as AstEnv, a as Abs, C as Confidence, b as Pred, S as Shape, c as PrimName, T as Term, R as RelSource, H as HofSite, L as LeakBudget } from './index-DgyudAkw.js';
+export { $ as $add, d as $arr, e as $async, f as $asyncReturn, g as $await, h as $call, i as $callNamed, j as $catchVal, k as $class, l as $concat, m as $div, n as $elems, o as $eq, p as $fnVal, q as $for, r as $forIter, s as $forOf, t as $fork, u as $ge, v as $gen, w as $get, x as $gt, y as $idx, z as $idxSet, B as $invoke, D as $invokeSuper, E as $join, F as $le, G as $len, I as $lit, J as $lt, K as $mod, M as $mul, N as $ne, O as $neg, Q as $new, U as $not, V as $obj, W as $optionalGet, X as $optionalInvoke, Y as $orDefault, Z as $regex, _ as $set, a0 as $setKey, a1 as $spread, a2 as $staticInvoke, a3 as $sub, a4 as $super, a5 as $switch, a6 as $thisGet, a7 as $thisSet, a8 as $throw, a9 as $typeof, aa as $while, ab as $whileSeq, ac as $yield, ad as AbsAssignRecord, ae as AbsCallRecord, af as AbsModuleExports, ag as BCallRecord, ah as BClassSpec, ai as BMemberDiag, aj as DEFAULT_MAX_LOOP_ITERS, ak as EvalOptions, al as EvalResult, am as HofCollectCtx, an as MAX_CALL_DEPTH, ao as MAX_TOTAL_CALLS, ap as NudoThrow, aq as RunTranspiledOptions, ar as TranspileOptions, as as TranspiledCallResult, at as abs, au as absToString, av as alphaOf, aw as analyzeFn, ax as and, ay as anyVar, az as app, aA as applyAbsFn, aB as applyCallbackAbs, aC as asAbs, aD as asAbsVal, aE as betaOf, aF as bindImports, aG as bool, aH as boolLit, aI as callFunction, aJ as callTranspiledExport, aK as callTranspiledExportFull, aL as clearBClasses, aM as collectAbsExports, aN as collectAbsNodeTypes, aO as confJoin, aP as createHofCollectCtx, aQ as currentExecPhi, aR as defaultLeakBudget, aS as emptyEnv, aT as emptyPhi, aU as eq, aV as evalMethodBody, aW as evalNode, aX as evalProgramAbs, aY as evalSource, aZ as exceedsBudget, a_ as findAbsAtPosition, a$ as ge, b0 as geNum, b1 as getAbsOrigin, b2 as getBCallCollector, b3 as getBClass, b4 as gt, b5 as gtNum, b6 as implies, b7 as instantiateReturn, b8 as isDefinitelyFalse, b9 as isDefinitelyTrue, ba as isExactLit, bb as isNudoThrow, bc as isNumPrim, bd as isRelFn, be as isStrPrim, bf as le, bg as leNum, bh as leakIfNeeded, bi as lit, bj as litTruth, bk as litValue, bl as lt, bm as ltNum, bn as mapElementFallback, bo as maybeLeak, bp as namespaceNameOf, bq as ne, br as never, bs as not, bt as noteMemberDispatchMiss, bu as notePrimMemberMissing, bv as noteUnknownMemberMissing, bw as num, bx as numLit, by as numVar, bz as obj, bA as or, bB as pFalse, bC as pTrue, bD as phiAnd, bE as predEquals, bF as predToString, bG as predVars, bH as projectFlatMapResult, bI as promoteParamShape, bJ as ptypeof, bK as recordMemberDiag, bL as registerBClass, bM as resetAbsCallBudget, bN as resetLeakCounter, bO as runTranspiled, bP as setAbsAssignCollector, bQ as setAbsCallCollector, bR as setAbsNodeCollector, bS as setAbsTruncationCollector, bT as setApplyCallbackHost, bU as setBCallCollector, bV as setMemberDiagCollector, bW as shapeOfTerm, bX as shapeToString, bY as simplifyTerm, bZ as snapshotAbs, b_ as str, b$ as strLit, c0 as substAbs, c1 as substPred, c2 as substPredAbs, c3 as tagAbsOrigin, c4 as termDepth, c5 as termEquals, c6 as termNodes, c7 as termToString, c8 as transpile, c9 as transpileExpression, ca as transpileFile, cb as transpileSource, cc as tryPromoteDirectCall, cd as tryPromoteForOfIteratee, ce as tryPromoteHofCallback, cf as tryPromoteReceiverAsArr, cg as undefAbs, ch as unknown, ci as v, cj as withExecPhi, ck as withVar } from './index-DgyudAkw.js';
 
 type Environment = {
     lookup(name: string): TypeValue;

package/dist/index.js

@@ -40,6 +40,7 @@ import {
   $optionalGet,
   $optionalInvoke,
   $orDefault,
+  $regex,
   $set,
   $setKey,
   $spread,
@@ -159,6 +160,7 @@ import {
   leakIfNeeded,
   leqAbs,
   lit,
+  litTruth,
   litValue,
   lookupMethod,
   lookupMethodWithOwner,
@@ -170,6 +172,7 @@ import {
   maybeLeak,
   mod,
   mul,
+  namespaceNameOf,
   ne,
   negAbs,
   never,
@@ -248,7 +251,7 @@ import {
   withExecPhi,
   withVar,
   wrapPromise
-} from "./chunk-BU4A6XJ3.js";
+} from "./chunk-N7E2A7IK.js";
 
 // src/refinements/template-predicates.ts
 function isTemplate(tv) {
@@ -1178,6 +1181,7 @@ function formatShape(a) {
       return "unknown";
     case "prim": {
       const lv = litValue(a);
+      if (typeof lv === "number" && !Number.isFinite(lv)) return String(lv);
       if (lv !== void 0) return JSON.stringify(lv);
       return s.type;
     }
@@ -1486,7 +1490,7 @@ function collectConstraints(source, opts) {
 }
 function extractRefineLines(source, fnName) {
   const fnRe = new RegExp(
-    `(?:export\\s+default\\s+)?(?:function\\s+${fnName}\\b|const\\s+${fnName}\\s*=)`
+    `(?:export\\s+(?:default\\s+)?)?(?:async\\s+)?(?:function\\s+${fnName}\\b|const\\s+${fnName}\\s*=)`
   );
   const m = source.match(fnRe);
   if (!m || m.index === void 0) return [];
@@ -4514,6 +4518,10 @@ function absToTypeValue(a) {
       result = T.never;
       break;
     case "unknown":
+      if (a.term?.op === "lit" && a.term.value === null) {
+        result = T.literal(null);
+        break;
+      }
       result = T.unknown;
       break;
     case "any":
@@ -4822,6 +4830,7 @@ export {
   $optionalGet,
   $optionalInvoke,
   $orDefault,
+  $regex,
   $set,
   $setKey,
   $spread,
@@ -5007,6 +5016,7 @@ export {
   leqAbs,
   listFunctionNames,
   lit,
+  litTruth,
   litValue,
   loadModuleDepsFingerprint,
   lookupMethod,
@@ -5022,6 +5032,7 @@ export {
   mockHelperToTypeValue,
   mod,
   mul,
+  namespaceNameOf,
   narrowType,
   ne,
   negAbs,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@nudojs/core",
-  "version": "0.3.1",
+  "version": "0.4.0",
   "description": "Nudo type system: type-as-computation (Abs) with TypeValue evaluation IR",
   "type": "module",
   "license": "MIT",