@nudojs/core 1.14.1 → 1.15.2

package/dist/exec.d.ts

@@ -69,6 +69,7 @@ declare function $fnVal(params: string[], impl: (...args: Abs[]) => Abs, opts?:
     length?: number;
     effectFree?: boolean;
     closed?: boolean;
+    kind?: string;
 }): Abs;
 /**
  * 宿主 this → Abs：函数体 prologue 用它承接 call/apply/bind 传入的 thisArg。
@@ -490,6 +491,11 @@ declare function $forOf(iterable: Abs, body: (item: Abs, index: Abs) => void, ma
      *  即全量）；仅异步可迭代（无 @@iterator 槽）的接收者不折同步槽位投影，
      *  元素取抽象 unknown（原生由 next() 链驱动）。 */
     forAwait?: boolean;
+    /** for-in（Bug 98）：接收者重查 thunk——快照键进体前重查在场，体内
+     *  delete 的未访问键跳过该迭代（与原生 EnumerateObjectProperties 的
+     *  逐键 [[GetOwnProperty]] 回查一致）。thunk 每迭代重读当前绑定，
+     *  `delete o.k` 的写回（o = $del(o, k)）经闭包变量可见。 */
+    forInRecv?: () => Abs;
 }): void;
 /**
  * Map/Set forEach：条目表逐条调用回调（value, key, recv）。
@@ -1017,6 +1023,15 @@ declare function $setSuperStatic(thisVal: Abs, childName: string, key: Abs, valu
 
 /** 实例方法调用：沿继承链；类 Abs 上回落 staticMethods；obj 上回落属性函数 */
 declare function $invoke(thisVal: Abs, method: string, args: Abs[], loc?: [number, number]): Abs;
+/** obj[key]()：计算键成员调用（键运行时求值）。键折叠成槽名后走 $invoke
+ *  既有派发；@@iterator 键按接收者形态折迭代器对象。键不可折叠（抽象键 /
+ *  用户 symbol）→ 诚实 unknown（与 $call 对 unknown callee 同口径——
+ *  unknown 是 fail-closed 令牌，不记 may-throw）。 */
+declare function $invokeKey(thisVal: Abs, key: Abs, args: Abs[], loc?: [number, number]): Abs;
+/** 可选链计算键调用（a?.[k]() / a[k]?.() 的非链路径）：nullish 接收者
+ *  短路 undefined 字面量（$optionalInvoke 同口径）；键折叠与派发同
+ *  $invokeKey。 */
+declare function $optionalInvokeKey(thisVal: Abs, key: Abs, args: Abs[]): Abs;
 
 /**
  * this/可选链/静态成员读写：$thisGet/$thisSet/$optionalGet/$staticInvoke/$setKey。
@@ -1048,9 +1063,12 @@ declare function $setKey(o: Abs, key: Abs, value: Abs): Abs;
  */
 
 /**
- * 语句级 RegExp 状态写回（test/exec）：执行并把 lastIndex 更新后的 brand
+ * 语句级 RegExp 状态写回（test/exec/compile）：执行并把状态更新后的 brand
  * 返回给 transpile 重绑（$reStateCall 与 $arrMutContainer 同模式）。
  * 表达式位置不写回（$invoke 只读执行，调用方按 JS 语义先取值）。
+ * Bug 96：match/replace/replaceAll 臂是**参数位**消费的语句位写回（模式
+ * 作为 String 方法实参，spec @@match/@replace 对原正则 Set lastIndex）。
+ * Bug 126：compile 臂重建接收者（值通道 $invoke→execRegexBrand 同一助手）。
  */
 declare function $reStateCall(re: Abs, method: string, args: Abs[]): Abs;
 
@@ -1074,4 +1092,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, $narrowMemberEq, $narrowTypeOf, $ne, $neLoose, $neg, $new, $newTarget, $not, $nullishTest, $obj, $objAccessor, $objAccessorKey, $objRest, $optionalGet, $optionalInvoke, $orDefault, $pow, $pushLoopExit, $rawThis, $reStateCall, $refineRel, $regex, $removeMemberNullish, $removeNull, $removeNullish, $removeUndefined, $restBind, $rethrowIfNudoReturn, $set, $setKey, $setProto, $setSuper, $setSuperObj, $setSuperStatic, $shl, $shr, $spread, $staticInit, $staticInvoke, $staticSuperInvoke, $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, currentAssumePremises, 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, withAssumePremises, 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, $invokeKey, $invokeSuper, $invokeSuperKey, $invokeSuperObj, $isBreakTo, $isForkExit, $iterCheck, $join, $le, $len, $lit, $loopBreak, $loopContinue, $loopReturn, $lt, $mod, $mul, $narrowMemberEq, $narrowTypeOf, $ne, $neLoose, $neg, $new, $newTarget, $not, $nullishTest, $obj, $objAccessor, $objAccessorKey, $objRest, $optionalGet, $optionalInvoke, $optionalInvokeKey, $orDefault, $pow, $pushLoopExit, $rawThis, $reStateCall, $refineRel, $regex, $removeMemberNullish, $removeNull, $removeNullish, $removeUndefined, $restBind, $rethrowIfNudoReturn, $set, $setKey, $setProto, $setSuper, $setSuperObj, $setSuperStatic, $shl, $shr, $spread, $staticInit, $staticInvoke, $staticSuperInvoke, $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, currentAssumePremises, 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, withAssumePremises, withExecPhi };

package/dist/exec.js

@@ -49,6 +49,7 @@ import {
   $instanceof,
   $instanceofNonIdent,
   $invoke,
+  $invokeKey,
   $invokeSuper,
   $invokeSuperKey,
   $invokeSuperObj,
@@ -81,6 +82,7 @@ import {
   $objRest,
   $optionalGet,
   $optionalInvoke,
+  $optionalInvokeKey,
   $orDefault,
   $pow,
   $pushLoopExit,
@@ -206,7 +208,7 @@ import {
   withAssumePremises,
   withEvalBudgetOverride,
   withExecPhi
-} from "./chunk-JMOQEJTD.js";
+} from "./chunk-WKIRPUHZ.js";
 export {
   $absVal,
   $add,
@@ -257,6 +259,7 @@ export {
   $instanceof,
   $instanceofNonIdent,
   $invoke,
+  $invokeKey,
   $invokeSuper,
   $invokeSuperKey,
   $invokeSuperObj,
@@ -289,6 +292,7 @@ export {
   $objRest,
   $optionalGet,
   $optionalInvoke,
+  $optionalInvokeKey,
   $orDefault,
   $pow,
   $pushLoopExit,

package/dist/index.d.ts

@@ -408,8 +408,18 @@ declare function evalMathMethod(name: string, args: Abs[]): Abs | undefined;
  *   侧表派发（getter 读折返回体、setter 写走侧表不误抛 writable:false）；
  *   描述符字段语义 = 新建属性缺省 false、已有属性仅显式 false 收紧；
  *   open/index 标记与 invariants/accessor 侧表随不可变更新迁移。
+ * - Bug 86：tuple 接收者不再静默丢弃——下标键逐位装（增长段 hole、
+ *   空描述符清 hole）、length 键截断/延长（非法 RangeError）、
+ *   {writable:false} length 以 sealed 近似、frozen 相同值重定义放行。
+ * - Bug 117：opts.symbolKey 沿用键的 symbol 投影标记（"@@X"）；
+ *   wellKnownSymbolSlotKey 供 defineProperty/defineProperties 实参投影。
+ * - Bug 118：value 字段直取槽中 Abs 落槽（不经 litValue 往返——
+ *   fn/obj/tuple/bigint/symbol 值不再丢成「无 value 描述符」）。
  * - readProperty 是反射/枚举内建 [[Get]] 统一入口：accessorTable thunk
  *   优先（getter 求值）、数据槽兜底、setter-only 读 undefined。
+ * - classifyAssignSet（Bug 128）是 Object.assign 逐键 [[Set]] 单一分类：
+ *   自有访问器 setter / __proto__ 原型 setter（null|对象设原型、原始值
+ *   忽略、抽象 open）/ 自有·继承非可写定抛 / 其余建自有键。
  *
  * 兄弟模块边界：methods.ts（evalObjectMethod）经导出复用安装机器；
  * readProperty 供 json.ts（stringify 读值）。
@@ -808,6 +818,16 @@ type MapTable = {
     byLit: Map<LitKey, Abs>;
     /** 非字面量 key 写入的值（get 未知 key 时 join 用） */
     shadowValues: Abs[];
+    /**
+     * Bug 88：身份键条目（同一非字面量值——对象/函数/brand/any 绑定——
+     * 重复写不重复计数）。键不可字面量化但有可判身份（identKeyOf），
+     * size/keys/entries 仍可折 exact；无身份键的非字面量写入仍走
+     * shadowValues（size 保守）。
+     */
+    identEntries: Array<{
+        key: Abs;
+        value: Abs;
+    }>;
     /** 抽象分支并入后「可能不存在」的字面量键（get/has 需保守） */
     maybeAbsent?: Set<LitKey>;
 };
@@ -860,11 +880,14 @@ declare function makeMapAbs(iterable?: Abs): Abs;
 declare function makeSetAbs(iterable?: Abs): Abs;
 /** Map#set：fork 内写 overlay；否则原地。返回同一 Abs（JS 可变语义） */
 declare function mapSetEntry(mapAbs: Abs, key: Abs | undefined, value: Abs): Abs;
-/** Map#delete：fork overlay 内移除字面量键；未知 key 仅标 shadow 不确定 */
+/** Map#delete：fork overlay 内移除字面量键；未知 key 仅标 shadow 不确定。
+ * Bug 88：引用身份键删除可精确命中（同引用条目移除）/精确 miss（键域全
+ * 特定且无 shadow 时）。any/unknown 等无引用身份的抽象键删除 → 身份条目
+ * 降级 shadow（键可能就是任一身份键，size/get 回保守）。 */
 declare function mapDeleteEntry(mapAbs: Abs, key: Abs | undefined): Abs;
 /** Map#clear：清空条目；fork 下仍走 overlay */
 declare function mapClearEntries(mapAbs: Abs): Abs;
-/** Map#get：命中字面量 key → 精确；miss / 未知 key / maybeAbsent / shadow 并 undefined */
+/** Map#get：命中字面量/身份 key → 精确；miss / 未知 key / maybeAbsent / shadow 并 undefined */
 declare function mapGetEntry(mapAbs: Abs, key: Abs | undefined): Abs;
 /** Map#has：字面量 miss 折 exact false 时，get 必须是 undefined（不可再并 value） */
 declare function mapHasEntry(mapAbs: Abs, key: Abs | undefined): Abs;
@@ -877,9 +900,12 @@ declare function mapValuesAbs(mapAbs: Abs): Abs[];
 declare function mapEntriesAbs(mapAbs: Abs): Abs[];
 /** Set#add：fork 内写 overlay；返回同一 Abs */
 declare function setAddEntry(setAbs: Abs, value: Abs): Abs;
-/** Set#delete：按字面量元素移除；fork overlay 内生效。
+/** Set#delete：按字面量/身份元素移除；fork overlay 内生效。
  * 字面量删除且无残留非字面量元素 → 该臂可精确 miss；
- * 臂间分歧由 endCollectionFork 按元素数差标 maybeAbsent。 */
+ * 臂间分歧由 endCollectionFork 按元素数差标 maybeAbsent。
+ * Bug 88：身份删除按绑定级身份匹配（s.add(x); s.delete(x) 同绑定必命中）；
+ * 「无残留不确定元素」的精确 miss 判定用引用级身份——any/unknown 元素
+ * 原生可能恰为被删字面量/查询引用，不得当特定值。 */
 declare function setDeleteEntry(setAbs: Abs, value: Abs): Abs;
 /** Set#clear */
 declare function setClearEntries(setAbs: Abs): Abs;

package/dist/index.js

@@ -74,7 +74,7 @@ import {
   takeInterfaceDiagsSince,
   takeRefineDiags,
   takeRefineDiagsSince
-} from "./chunk-4GZPH6YL.js";
+} from "./chunk-NXZSRLCT.js";
 import {
   $add,
   $arguments,
@@ -190,6 +190,7 @@ import {
   CONSTRAINT_BUILDER_NAMES,
   CONSTRAINT_EXPR_RE,
   DEFAULT_MAX_LOOP_ITERS,
+  DIAG,
   FORK_TRUNCATION_LABEL,
   HOST_EFFECT_LABEL_PREFIX,
   LOOP_TRUNCATION_LABEL,
@@ -535,7 +536,7 @@ import {
   withExecPhi,
   withInvariantSpecs,
   withVar
-} from "./chunk-JMOQEJTD.js";
+} from "./chunk-WKIRPUHZ.js";
 
 // src/environment.ts
 function createEnvironment(parent, bindings = /* @__PURE__ */ new Map()) {
@@ -657,7 +658,7 @@ function checkArg(arg, expect, phi = pTrue) {
   if (arg.shape.k === "unknown" && !arg.term) {
     return {
       severity: "warning",
-      code: "nudo:arg-opaque",
+      code: DIAG.argOpaque,
       message: `argument type is unknown; cannot verify constraint ${predToString(expect)}`,
       suggestion: "add a call site or @nudo:case, or provide preconditions via --assume"
     };
@@ -671,7 +672,7 @@ function checkArg(arg, expect, phi = pTrue) {
     if (ok === false) {
       return {
         severity: "error",
-        code: "nudo:constraint-violated",
+        code: DIAG.constraintViolated,
         message: `argument ${JSON.stringify(lvR.value)} does not satisfy ${predToString(expect)}`,
         suggestion: `use a value satisfying the constraint, or relax the function precondition`
       };
@@ -679,7 +680,7 @@ function checkArg(arg, expect, phi = pTrue) {
   }
   return {
     severity: "warning",
-    code: "nudo:constraint-unproven",
+    code: DIAG.constraintUnproven,
     message: `cannot prove the argument satisfies ${predToString(expect)}`,
     suggestion: `not enough information; use --assume or add a case`
   };
@@ -708,7 +709,7 @@ function checkCall(source, fnName, args, phi = pTrue) {
   if (!g) {
     diags.push({
       severity: "error",
-      code: "nudo:fn-not-found",
+      code: DIAG.fnNotFound,
       message: `function ${fnName} not found`
     });
     return diags;
@@ -716,7 +717,7 @@ function checkCall(source, fnName, args, phi = pTrue) {
   if (args.length !== g.params.length) {
     diags.push({
       severity: "error",
-      code: "nudo:arg-count",
+      code: DIAG.argCount,
       message: `${fnName} expects ${g.params.length} argument(s), got ${args.length}`,
       fn: fnName
     });
@@ -731,7 +732,7 @@ function checkCall(source, fnName, args, phi = pTrue) {
   if (g.symbolic.conf === "partial" || g.symbolic.conf === "opaque") {
     diags.push({
       severity: "info",
-      code: "nudo:partial-result",
+      code: DIAG.partialResult,
       message: `${fnName}(...) result confidence ${g.symbolic.conf}`,
       suggestion: "add a call site or constraint to improve precision",
       fn: fnName
@@ -1499,7 +1500,7 @@ function interfaceDriftIssues(candidates, callRecords, evalResult) {
       if (leqAbs(today2, expected2).ok && leqAbs(expected2, today2).ok) continue;
       out.push({
         severity: "warning",
-        code: "nudo:interface-drift",
+        code: DIAG.interfaceDrift,
         message: `${cand.fnName}[${param}]: persisted @generated segment \u2260 today's call-site domain`,
         actual: formatAbs(today2),
         expected: formatConstraint(constraint),
@@ -1524,7 +1525,7 @@ function interfaceDriftIssues(candidates, callRecords, evalResult) {
     if (leqAbs(today, expected).ok && leqAbs(expected, today).ok) continue;
     out.push({
       severity: "warning",
-      code: "nudo:interface-drift",
+      code: DIAG.interfaceDrift,
       message: `${cand.fnName}[return]: persisted @generated segment \u2260 today's inferred return`,
       actual: formatAbs(today),
       expected: formatConstraint(retC),
@@ -1725,7 +1726,9 @@ function moduleMapId(m) {
 function checkMemoKey(filePath, source, identityOpts, deps, sidecarFp) {
   return [
     hashSource(source),
-    filePath,
+    // filePath 过 stablePathKey 归一（与依赖索引/逐出同口径）：同一文件的
+    // 裸路径与 file:// URL 两种形态不得各占一条 memo 条目（命中率损耗）。
+    stablePathKey(filePath),
     `${loadModuleId(identityOpts.loadModule)}:${identityOpts.fromFile ?? ""}`,
     deps.fp,
     sidecarFp ?? "-",
@@ -1943,7 +1946,7 @@ function structuralAssignIssues(records) {
     if (!leq.ok) {
       out.push({
         severity: "error",
-        code: "nudo:assign-mismatch",
+        code: DIAG.assignMismatch,
         message: `${r.name}: assignment \u22AD existing shape`,
         actual: formatAbs(r.next),
         expected: formatAbs(r.prev),
@@ -2086,7 +2089,7 @@ function scanCaseInconsistency(source, knownFns, opts) {
             const field = fieldPath.join(".");
             out.push({
               severity: "error",
-              code: "nudo:case-inconsistency",
+              code: DIAG.caseInconsistency,
               message: `${fnName} case "${caseName}": witness \u22AD contract`,
               actual: formatAbs(arg),
               expected: `missing field ${field}`,
@@ -2110,7 +2113,7 @@ function scanCaseInconsistency(source, knownFns, opts) {
           const paramName = entry.param || paramNames[idx] || `arg${idx}`;
           out.push({
             severity: "error",
-            code: "nudo:case-inconsistency",
+            code: DIAG.caseInconsistency,
             message: `${fnName} case "${caseName}": witness \u22AD contract`,
             actual: formatAbs(arg),
             expected: formatConstraint(entry.constraint),
@@ -2126,7 +2129,7 @@ function scanCaseInconsistency(source, knownFns, opts) {
         const paramName = entry.param || paramNames[idx] || `arg${idx}`;
         out.push({
           severity: "error",
-          code: "nudo:case-inconsistency",
+          code: DIAG.caseInconsistency,
           message: `${fnName} case "${caseName}": witness \u22AD contract`,
           actual: formatAbs(arg),
           expected: formatConstraint(entry.constraint),
@@ -2148,7 +2151,7 @@ function scanCaseInconsistency(source, knownFns, opts) {
             const paramName = entry.param || paramNames[idx] || `arg${idx}`;
             out.push({
               severity: "error",
-              code: "nudo:case-inconsistency",
+              code: DIAG.caseInconsistency,
               message: `${fnName} case "${caseName}": witness \u22AD contract`,
               actual: formatAbs(arg),
               expected: predToString(p),
@@ -2375,7 +2378,7 @@ function sidecarDiagIssues(diags) {
     const k = `${d.code}\0${d.message}`;
     if (seen.has(k)) continue;
     seen.add(k);
-    const severity = d.code === "nudo:contract-syntax" || d.code === "nudo:directive-syntax" ? "warning" : "error";
+    const severity = d.code === DIAG.contractSyntax || d.code === DIAG.directiveSyntax ? "warning" : "error";
     out.push({ severity, code: d.code, message: d.message });
   }
   return out;
@@ -2397,7 +2400,7 @@ function assumePremisesPhiOf(name, source, file, issues) {
     if (seg.kind === "bad") {
       issues.push({
         severity: "error",
-        code: "nudo:assume-invalid",
+        code: DIAG.assumeInvalid,
         message: `${name}: malformed @nudo:assume '${seg.raw}' (expected <param> <= <param> or <param> >= <param>; constant bounds belong to sidecar contracts)`,
         actual: seg.raw,
         expected: "<param> <= <param>",
@@ -2410,7 +2413,7 @@ function assumePremisesPhiOf(name, source, file, issues) {
     if (bad.length > 0) {
       issues.push({
         severity: "error",
-        code: "nudo:assume-invalid",
+        code: DIAG.assumeInvalid,
         message: `${name}: @nudo:assume name(s) not bound as parameters or top-level locals (${bad.join(", ")})`,
         actual: bad.join(", "),
         expected: surface || "(no params/locals)",
@@ -2441,7 +2444,7 @@ function invariantSpecsOf(name, source, file, issues) {
     if (seg.kind === "bad") {
       issues.push({
         severity: "warning",
-        code: "nudo:invariant-invalid",
+        code: DIAG.invariantInvalid,
         message: `${name}: malformed @nudo:invariant '${seg.raw}' (expected <name><path> <rel> <number>; path = [*] or .member steps)`,
         actual: seg.raw,
         expected: "<name><path> <rel> <number>",
@@ -2453,7 +2456,7 @@ function invariantSpecsOf(name, source, file, issues) {
     if (!bindable.has(seg.name)) {
       issues.push({
         severity: "warning",
-        code: "nudo:invariant-invalid",
+        code: DIAG.invariantInvalid,
         message: `${name}: @nudo:invariant name not bound as a parameter or top-level local (${seg.name})`,
         actual: seg.name,
         expected: surface || "(no params/locals)",
@@ -2592,7 +2595,7 @@ function checkSourceInner(filePath, source, file, phi, opts, issues, signatures,
           const loc = findFnLoc(file, name);
           issues.push({
             severity: entryThrowsMode === "warning" ? "warning" : "error",
-            code: "nudo:entry-may-throw",
+            code: DIAG.entryMayThrow,
             message: `${name} (export): may throw ${gateDisplay}`,
             actual: `${name}(\u2026)    throws ${gateDisplay}`,
             expected: "entry total, or @nudo:throws / try-catch",
@@ -2617,7 +2620,7 @@ function checkSourceInner(filePath, source, file, phi, opts, issues, signatures,
       }
       issues.push({
         severity: "warning",
-        code: "nudo:no-signature",
+        code: DIAG.noSignature,
         message: `${name}: could not generalize a symbolic Abs`,
         suggestion: "add @nudo:case or make the body algebraically evaluable",
         fn: name
@@ -2637,7 +2640,7 @@ function checkSourceInner(filePath, source, file, phi, opts, issues, signatures,
         const loc = findFnLoc(file, name);
         issues.push({
           severity: entryThrowsMode === "warning" ? "warning" : "error",
-          code: "nudo:entry-may-throw",
+          code: DIAG.entryMayThrow,
           message: `${name} (export): may throw ${gateDisplay}`,
           actual: `${formatEntrySigLine(name, g, gateDisplay)}`,
           expected: "entry total, or @nudo:throws / try-catch",
@@ -2681,7 +2684,7 @@ function checkSourceInner(filePath, source, file, phi, opts, issues, signatures,
       const where = symbolicTrueUnknown ? `${name} => unknown` : `${name} param ${g.params[unknownParamIdx] ?? `#${unknownParamIdx}`}: unknown`;
       issues.push({
         severity: "warning",
-        code: "nudo:unknown-inference",
+        code: DIAG.unknownInference,
         message: `${name}: signature has true unknown (inference failed)`,
         actual: where,
         expected: "computable Abs (any = unconstrained, unknown = engine debt)",
@@ -2702,7 +2705,7 @@ function checkSourceInner(filePath, source, file, phi, opts, issues, signatures,
           const surface = [...contractNames].filter((n) => !n.startsWith("_p") && n !== "_").join(", ");
           issues.push({
             severity: "error",
-            code: "nudo:interface-param-mismatch",
+            code: DIAG.interfaceParamMismatch,
             message: `${name}: contract parameter name(s) not in the formal parameter list (${unknownParams.join(", ")})`,
             actual: unknownParams.join(", "),
             expected: surface || g.params.join(", ") || "(no params)",
@@ -2715,7 +2718,7 @@ function checkSourceInner(filePath, source, file, phi, opts, issues, signatures,
         if (eff.conflict.params.length > 0) {
           issues.push({
             severity: "error",
-            code: "nudo:interface-conflict",
+            code: DIAG.interfaceConflict,
             message: `${name}: handwritten contract conjunction unsatisfiable (${eff.conflict.params.join(", ")})`,
             suggestion: "check whether the source @nudo:contract and the same-name sidecar binding have contradictory constant bounds",
             fn: name
@@ -2724,7 +2727,7 @@ function checkSourceInner(filePath, source, file, phi, opts, issues, signatures,
         if (eff.conflict.returns) {
           issues.push({
             severity: "error",
-            code: "nudo:interface-conflict",
+            code: DIAG.interfaceConflict,
             message: `${name}: handwritten contract conjunction unsatisfiable on the return slot`,
             suggestion: "check whether the source @nudo:contract return and the sidecar fn() return constraint are contradictory (the return slot is not enforced when they are)",
             fn: name
@@ -2760,7 +2763,7 @@ function checkSourceInner(filePath, source, file, phi, opts, issues, signatures,
     if (g.symbolic.conf === "opaque" && !truncated.has(name)) {
       issues.push({
         severity: "info",
-        code: "nudo:opaque-result",
+        code: DIAG.opaqueResult,
         message: `${name}(...): conf=opaque (path not covered, or native)`,
         suggestion: opaqueEnvHint ? OPAQUE_ENV_HINT : OPAQUE_EVIDENCE_HINT,
         fn: name
@@ -2771,7 +2774,7 @@ function checkSourceInner(filePath, source, file, phi, opts, issues, signatures,
     if (label === FORK_TRUNCATION_LABEL) {
       issues.push({
         severity: "info",
-        code: "nudo:fork-truncated",
+        code: DIAG.forkTruncated,
         message: `Branch expansion was truncated (fork budget); affected results widened to unknown#opaque (budget)`,
         suggestion: "optional: raise nudo.analysis.maxForks, or @nudo:budget forks=\u2026 on the function \u2014 non-blocking"
       });
@@ -2780,7 +2783,7 @@ function checkSourceInner(filePath, source, file, phi, opts, issues, signatures,
     if (label === PROMISE_MICRO_OVERFLOW_LABEL) {
       issues.push({
         severity: "info",
-        code: "nudo:promise-micro-truncated",
+        code: DIAG.promiseMicroTruncated,
         message: `Promise microtask queue hit its hard cap; further then/catch callbacks were dropped (results stay fail-closed)`,
         suggestion: "optional: reduce top-level Promise.then fan-out \u2014 non-blocking"
       });
@@ -2789,7 +2792,7 @@ function checkSourceInner(filePath, source, file, phi, opts, issues, signatures,
     if (label === PROMISE_MICRO_ERROR_LABEL) {
       issues.push({
         severity: "info",
-        code: "nudo:promise-micro-error",
+        code: DIAG.promiseMicroError,
         message: `A promise microtask threw while draining; the error was recorded and did not rewrite the synchronous return value`,
         suggestion: "optional: inspect the then/catch callback for a throw path \u2014 non-blocking"
       });
@@ -2798,7 +2801,7 @@ function checkSourceInner(filePath, source, file, phi, opts, issues, signatures,
     if (label === MATH_FOLD_ERROR_LABEL) {
       issues.push({
         severity: "info",
-        code: "nudo:math-fold-error",
+        code: DIAG.mathFoldError,
         message: `A Math native fold threw during analysis (host-tampered or divergent Math.*); the result was widened to number`,
         suggestion: "optional: keep Math.* builtins unmodified in analyzed code, or mock them with @nudo:mock \u2014 non-blocking"
       });
@@ -2808,7 +2811,7 @@ function checkSourceInner(filePath, source, file, phi, opts, issues, signatures,
       const hostName = label.slice(HOST_EFFECT_LABEL_PREFIX.length);
       issues.push({
         severity: "info",
-        code: "nudo:host-effect-blocked",
+        code: DIAG.hostEffectBlocked,
         message: `Host function '${hostName}' is not executed during analysis (network/timer side effect); result widened to unknown#opaque`,
         suggestion: "optional: mock it with @nudo:mock / @nudo:env, or pass the value in from a call site",
         fn: hostName
@@ -2818,7 +2821,7 @@ function checkSourceInner(filePath, source, file, phi, opts, issues, signatures,
     if (label === LOOP_TRUNCATION_LABEL) {
       issues.push({
         severity: "info",
-        code: "nudo:loop-truncated",
+        code: DIAG.loopTruncated,
         message: `A loop did not terminate within its iteration budget (abstract unroll cap reached and the exit condition stayed concrete-true); affected loop state was widened (bounded, not exact)`,
         suggestion: "optional: restructure so the exit condition becomes abstract (data-dependent) within a few iterations, or pin the result with @nudo:case / @nudo:contract \u2014 non-blocking"
       });
@@ -2829,7 +2832,7 @@ function checkSourceInner(filePath, source, file, phi, opts, issues, signatures,
     const calls = reasons.has("calls");
     issues.push({
       severity: "info",
-      code: "nudo:recursion-truncated",
+      code: DIAG.recursionTruncated,
       message: allCycle ? `Recursive evaluation of '${label}' hit a call cycle (same abstract arguments already on the stack); result widened to unknown#opaque (cycle \u2014 budget cannot lift this)` : `Recursive evaluation of '${label}' was truncated (${depth && calls ? "depth/size budget" : depth ? "call-depth budget" : calls ? "total-calls budget" : "depth/size budget"}); result widened to unknown#opaque (budget \u2014 not inference debt)`,
       suggestion: allCycle ? "a call cycle is not a budget: make the recursion arguments vary per level, narrow the base case, or declare @nudo:contract \u2014 raising @nudo:budget will not change this" : depth && !calls ? "raise the function budget with @nudo:budget depth=\u2026 (or narrow the recursion base case / declare @nudo:contract return)" : calls && !depth ? "raise the function budget with @nudo:budget calls=\u2026 (or narrow the recursion base case / declare @nudo:contract return)" : "raise the function budget with @nudo:budget calls=\u2026 depth=\u2026 (or narrow the recursion base case / declare @nudo:contract return)",
       reason: allCycle ? "cycle" : depth && calls ? "budget" : depth ? "depth" : calls ? "calls" : "budget",
@@ -2952,7 +2955,7 @@ function checkReturnConstraint(fnName, cName, constraint, ret, assumeDisplay, in
     if (assumeDisplay && assumeDisplay.length > 0) {
       relied.push({
         severity: "info",
-        code: "nudo:assume-relied",
+        code: DIAG.assumeRelied,
         message: `${fnName}: return contract proved via @nudo:assume ${assumeDisplay.join("; ")}`,
         actual: `proof relies on user lemma${assumeDisplay.length > 1 ? "s" : ""}`,
         expected: "engine verifies the obligation, not the lemma itself",
@@ -2963,7 +2966,7 @@ function checkReturnConstraint(fnName, cName, constraint, ret, assumeDisplay, in
     if (invariantDisplay && invariantDisplay.length > 0) {
       relied.push({
         severity: "info",
-        code: "nudo:invariant-relied",
+        code: DIAG.invariantRelied,
         message: `${fnName}: return contract proved via @nudo:invariant ${invariantDisplay.join("; ")}`,
         actual: `proof relies on user invariant${invariantDisplay.length > 1 ? "s" : ""}`,
         expected: "engine verifies the obligation, not the loop invariant itself",
@@ -2976,7 +2979,7 @@ function checkReturnConstraint(fnName, cName, constraint, ret, assumeDisplay, in
   const push = (severity, actual, expected, suggestion) => [
     {
       severity,
-      code: severity === "error" ? "nudo:constraint-violated" : "nudo:unproven-return",
+      code: severity === "error" ? DIAG.constraintViolated : DIAG.unprovenReturn,
       message: `${fnName}: return value \u22AD @nudo:contract return ${cName}`,
       actual,
       expected,

package/dist/internal.d.ts

@@ -4,6 +4,86 @@ import { A as Abs, T as Term, c as AbsModuleExports, d as AstEnv } from './run-D
 export { $ as $tryDigestSoft, e as $tryMarkSoft, f as $tryReleaseSoft, E as ERROR_FAMILY, g as EvalFallbackStats, M as MayThrowEffect, h as absLit, i as absNumLit, j as absStrLit, k as allAbsStr, l as clearPureCallMemo, m as clearPureMemo, n as enterEvalCallBudgetSession, o as errorTypeAbs, p as exitEvalCallBudgetSession, q as filterDeclaredThrows, r as filterGateThrows, s as filterIgnoredThrows, t as flushMayThrowEffects, u as formatThrowsAbs, v as getEvalCallBudgetState, w as getEvalFallbackStats, x as getMayThrowCollector, y as isThrowsIgnored, z as mayThrowEffectsToAbs, B as orphanMayThrowEffects, D as popMayThrowFrame, F as pushMayThrowFrame, G as recordMayThrow, H as resetEvalFallbackStats, I as runWithMayThrowSession, J as setMayThrowCollector, K as throwAbsToKinds, N as throwsKindCovered, O as withEvalBudgetOverride } from './run-DfloWX6i.js';
 import { File, Node } from '@babel/types';
 
+/**
+ * 诊断码唯一注册表（P3-7）：所有 `nudo:*` 诊断码字符串的单一真理源。
+ *
+ * - 零依赖叶子：core 内部相对 import，跨包（parser/service/lsp/nudojs）
+ *   走 `@nudojs/core/internal`——不引环、加载零成本。
+ * - 拼写漂移在类型层不可表达：键不存在 → tsc 报错，新增码只能落在本表。
+ * - 门禁联动：packages/website/tests/docs-coverage.test.ts 的 emittedCodes()
+ *   以「本注册表 ∪ src 残留字面量」双源强制诊断术语表（en+zh）锚点——
+ *   注册表里每个码都必须有 `{#nudo-<code>}` 锚点（冒号转连字符）。
+ * - 非诊断码的 `nudo:*` 字符串**不进**本表：指令名（`nudo:case` 等）、
+ *   控制流/Error 标记（`nudo:throw` / `nudo:return` / `nudo:loop` /
+ *   `nudo:unsupported`）、Symbol 哨兵（`nudo:not-literal` / `nudo:json-omit` /
+ *   `nudo:no-lit-key`）。
+ */
+/** 键名 = 码去掉 `nudo:` 前缀后按 `-` 分段转 camelCase。 */
+declare const DIAG: {
+    readonly argCount: "nudo:arg-count";
+    readonly argOpaque: "nudo:arg-opaque";
+    readonly argStructure: "nudo:arg-structure";
+    readonly assignMismatch: "nudo:assign-mismatch";
+    readonly constraintUnproven: "nudo:constraint-unproven";
+    readonly constraintViolated: "nudo:constraint-violated";
+    readonly fnNotFound: "nudo:fn-not-found";
+    readonly partialResult: "nudo:partial-result";
+    readonly unprovenReturn: "nudo:unproven-return";
+    readonly assumeInvalid: "nudo:assume-invalid";
+    readonly assumeRelied: "nudo:assume-relied";
+    readonly contractSyntax: "nudo:contract-syntax";
+    readonly directiveSyntax: "nudo:directive-syntax";
+    readonly invariantInvalid: "nudo:invariant-invalid";
+    readonly invariantRelied: "nudo:invariant-relied";
+    readonly mockInvalid: "nudo:mock-invalid";
+    readonly caseExpected: "nudo:case-expected";
+    readonly caseInconsistency: "nudo:case-inconsistency";
+    readonly dualEntry: "nudo:dual-entry";
+    readonly entryMayThrow: "nudo:entry-may-throw";
+    readonly mayThrow: "nudo:may-throw";
+    readonly noSignature: "nudo:no-signature";
+    readonly builtinUnknown: "nudo:builtin-unknown";
+    readonly forkTruncated: "nudo:fork-truncated";
+    readonly hostEffectBlocked: "nudo:host-effect-blocked";
+    readonly loopTruncated: "nudo:loop-truncated";
+    readonly mathFoldError: "nudo:math-fold-error";
+    readonly opaqueResult: "nudo:opaque-result";
+    readonly promiseMicroError: "nudo:promise-micro-error";
+    readonly promiseMicroTruncated: "nudo:promise-micro-truncated";
+    readonly recursionTruncated: "nudo:recursion-truncated";
+    readonly unknownInference: "nudo:unknown-inference";
+    readonly unknownRecv: "nudo:unknown-recv";
+    readonly missingSlot: "nudo:missing-slot";
+    readonly noMethod: "nudo:no-method";
+    readonly interfaceConflict: "nudo:interface-conflict";
+    readonly interfaceCycle: "nudo:interface-cycle";
+    readonly interfaceDomainExceeds: "nudo:interface-domain-exceeds";
+    readonly interfaceDrift: "nudo:interface-drift";
+    readonly interfaceEmitDenied: "nudo:interface-emit-denied";
+    readonly interfaceEntryOnly: "nudo:interface-entry-only";
+    readonly interfaceLoad: "nudo:interface-load";
+    readonly interfaceMultiDeclarator: "nudo:interface-multi-declarator";
+    readonly interfaceNameClash: "nudo:interface-name-clash";
+    readonly interfaceNotProjectable: "nudo:interface-not-projectable";
+    readonly interfaceParamMismatch: "nudo:interface-param-mismatch";
+    readonly interfaceUnderivable: "nudo:interface-underivable";
+    readonly envHarvestConflict: "nudo:env-harvest-conflict";
+    readonly envUnresolved: "nudo:env-unresolved";
+    readonly exportsUnresolved: "nudo:exports-unresolved";
+    readonly missingExport: "nudo:missing-export";
+    readonly moduleCycle: "nudo:module-cycle";
+    readonly moduleDepth: "nudo:module-depth";
+    readonly moduleMissing: "nudo:module-missing";
+    readonly internal: "nudo:internal";
+    readonly pathEmptyDir: "nudo:path-empty-dir";
+    readonly pathIo: "nudo:path-io";
+    readonly pathMissingCallsite: "nudo:path-missing-callsite";
+    readonly pathNotFound: "nudo:path-not-found";
+    readonly pathNotTarget: "nudo:path-not-target";
+};
+/** 全部诊断码字面量联合（DIAG 值的类型面）。 */
+type DiagCode = (typeof DIAG)[keyof typeof DIAG];
+
 /**
  * 源码文本工具：注释/字符串/正则字面量剥离。
  * 原文正则特性探测（require/import/exports 等）必须先剥再测——
@@ -790,4 +870,4 @@ declare function runWithEvalMissingSlot<T>(enabled: boolean, body: () => T): T;
  */
 declare function noteObjSlotMissing(recv: Abs | undefined, name: string, loc?: [number, number]): boolean;
 
-export { type AbsBudgetStats, type AbsInlay, type ArgDerivation, type ClassDef, type CollectAbsInlaysOpts, type CollectorScopeParticipant, type DerivationNode, type DiagChannel, type EvalMemberDiag, FORK_TRUNCATION_LABEL, type FnFp, HOST_EFFECT_LABEL_PREFIX, type InjectedDomainEvidenceOpts, type InjectedDomainRecord, MAX_CALL_DEPTH, MAX_EVAL_TOTAL_FORKS, MAX_TOTAL_CALLS, type MethodDef, OBJECT_PROTO_NAMES, PROMISE_MICRO_ERROR_LABEL, PROMISE_MICRO_OVERFLOW_LABEL, type ScopedDiagChannel, type ScopedSlot, type StringLiteralSpan, type TemplateMeta, type TemplatePartDesc, type TemplatePartView, type TemplatePredicateDecision, abortDerivationSession, absTemplateViews, allFixedTextOfViews, anyMemberResult, awaitAbs, beginDerivationSession, bumpEvalForkBudget, callBudgetKey, canSkipLiteralCallScan, checkInjectedDomainEvidence, classChainNames, classFromMethods, clearLiveImportRefreshers, coerceAsyncReturn, collectAbsInlays, concatString, createDiagChannel, createScopedDiagChannel, createScopedSlot, createTemplateAbs, decideEndsWith, decideIncludes, decideStartsWith, defineClass, definitelyUncallableMember, denoteGuard, derivationChain, endDerivationSession, enterCall, escapeTemplateTypeFixed, exitCall, fixedLengthOfViews, fnFingerprints, formatObjectKey, formatTemplateNameViews, generalizeSourceKeyPart, getAbsCallBudgetStats, getAbsOrigin, getClass, getClassChain, getDerivation, getEvalForkBudgetLimit, getEvalForkCount, getFnNameAndBodies, hasDerivationSession, hashSource, instanceOf, instantiateClass, isEvalMissingSlotEnabled, isJsBindingIdent, isJsIdent, isNullishAbs, isTemplateLike, knownPrefixOfViews, knownSuffixOfViews, listTopFunctions, lookupMethod, lookupMethodWithOwner, lookupSuperMethod, maskCommentsAndStrings, mergeAdjacentFixedViews, noteAbsTruncation, noteAnyMemberMayThrow, noteDerivationAdd, noteDerivationJoin, noteEvalForkTruncation, noteHostEffectBlocked, noteMemberDispatchMiss, noteNullishMemberThrows, noteObjSlotMissing, notePrimMemberMissing, noteUnknownMemberMissing, popCallLoc, projectBrand, projectDerivationDsl, pushCallLoc, recordMemberDiag, registerCollectorScopeParticipant, resetAbsCallBudget, resetEvalForkBudget, resetFnFpCache, resetHashSourceCache, runWithCollectorScope, runWithEvalMissingSlot, safeMemberAccess, sanitizeCommentText, scanStringLiterals, setAbsTruncationCollector, setDerivation, setDerivationCollector, setEvalForkBudgetLimit, setEvalMissingSlotEnabled, setMemberDiagCollector, sourceHasCjsExports, sourceHasModuleDependency, sourceHasRequireCall, stableAnalyzeKeySource, stableCallId, stripCommentsAndStrings, stripStringsKeepComments, superNameOf, tagAbsOrigin, tagDerivationRoot, templateMatchesValue, templatePartsOf, termKey, toJsBindingIdent, truncatedAbs, viewTemplateParts, withFnBudgetOverride, wrapPromise };
+export { type AbsBudgetStats, type AbsInlay, type ArgDerivation, type ClassDef, type CollectAbsInlaysOpts, type CollectorScopeParticipant, DIAG, type DerivationNode, type DiagChannel, type DiagCode, type EvalMemberDiag, FORK_TRUNCATION_LABEL, type FnFp, HOST_EFFECT_LABEL_PREFIX, type InjectedDomainEvidenceOpts, type InjectedDomainRecord, MAX_CALL_DEPTH, MAX_EVAL_TOTAL_FORKS, MAX_TOTAL_CALLS, type MethodDef, OBJECT_PROTO_NAMES, PROMISE_MICRO_ERROR_LABEL, PROMISE_MICRO_OVERFLOW_LABEL, type ScopedDiagChannel, type ScopedSlot, type StringLiteralSpan, type TemplateMeta, type TemplatePartDesc, type TemplatePartView, type TemplatePredicateDecision, abortDerivationSession, absTemplateViews, allFixedTextOfViews, anyMemberResult, awaitAbs, beginDerivationSession, bumpEvalForkBudget, callBudgetKey, canSkipLiteralCallScan, checkInjectedDomainEvidence, classChainNames, classFromMethods, clearLiveImportRefreshers, coerceAsyncReturn, collectAbsInlays, concatString, createDiagChannel, createScopedDiagChannel, createScopedSlot, createTemplateAbs, decideEndsWith, decideIncludes, decideStartsWith, defineClass, definitelyUncallableMember, denoteGuard, derivationChain, endDerivationSession, enterCall, escapeTemplateTypeFixed, exitCall, fixedLengthOfViews, fnFingerprints, formatObjectKey, formatTemplateNameViews, generalizeSourceKeyPart, getAbsCallBudgetStats, getAbsOrigin, getClass, getClassChain, getDerivation, getEvalForkBudgetLimit, getEvalForkCount, getFnNameAndBodies, hasDerivationSession, hashSource, instanceOf, instantiateClass, isEvalMissingSlotEnabled, isJsBindingIdent, isJsIdent, isNullishAbs, isTemplateLike, knownPrefixOfViews, knownSuffixOfViews, listTopFunctions, lookupMethod, lookupMethodWithOwner, lookupSuperMethod, maskCommentsAndStrings, mergeAdjacentFixedViews, noteAbsTruncation, noteAnyMemberMayThrow, noteDerivationAdd, noteDerivationJoin, noteEvalForkTruncation, noteHostEffectBlocked, noteMemberDispatchMiss, noteNullishMemberThrows, noteObjSlotMissing, notePrimMemberMissing, noteUnknownMemberMissing, popCallLoc, projectBrand, projectDerivationDsl, pushCallLoc, recordMemberDiag, registerCollectorScopeParticipant, resetAbsCallBudget, resetEvalForkBudget, resetFnFpCache, resetHashSourceCache, runWithCollectorScope, runWithEvalMissingSlot, safeMemberAccess, sanitizeCommentText, scanStringLiterals, setAbsTruncationCollector, setDerivation, setDerivationCollector, setEvalForkBudgetLimit, setEvalMissingSlotEnabled, setMemberDiagCollector, sourceHasCjsExports, sourceHasModuleDependency, sourceHasRequireCall, stableAnalyzeKeySource, stableCallId, stripCommentsAndStrings, stripStringsKeepComments, superNameOf, tagAbsOrigin, tagDerivationRoot, templateMatchesValue, templatePartsOf, termKey, toJsBindingIdent, truncatedAbs, viewTemplateParts, withFnBudgetOverride, wrapPromise };

package/dist/internal.js

@@ -22,11 +22,12 @@ import {
   stableAnalyzeKeySource,
   stablePathKey,
   stablePathKeyGraph
-} from "./chunk-4GZPH6YL.js";
+} from "./chunk-NXZSRLCT.js";
 import {
   $tryDigestSoft,
   $tryMarkSoft,
   $tryReleaseSoft,
+  DIAG,
   ERROR_FAMILY,
   FORK_TRUNCATION_LABEL,
   HOST_EFFECT_LABEL_PREFIX,
@@ -171,7 +172,7 @@ import {
   withEvalBudgetOverride,
   withFnBudgetOverride,
   wrapPromise
-} from "./chunk-JMOQEJTD.js";
+} from "./chunk-WKIRPUHZ.js";
 
 // src/algebra/inlay.ts
 function listFunctions(source) {
@@ -612,6 +613,7 @@ export {
   $tryDigestSoft,
   $tryMarkSoft,
   $tryReleaseSoft,
+  DIAG,
   ERROR_FAMILY,
   FORK_TRUNCATION_LABEL,
   HOST_EFFECT_LABEL_PREFIX,