@nudojs/service 0.3.2 → 1.0.1

package/dist/index.d.ts

@@ -1,8 +1,8 @@
 import { Node, File } from '@babel/types';
-import { TypeValue, Abs, PolyFn, AbsModuleExports, AstEnv, Phi, BMemberDiag, BCallRecord, TranspiledCallResult } from '@nudojs/core';
+import { Abs, PolyFn, AbsModuleExports, AstEnv, Phi, BMemberDiag, BCallRecord, TranspiledCallResult, NudoConstraint } from '@nudojs/core';
 export { AbsInlay, BMemberDiag, collectAbsInlays } from '@nudojs/core';
-import { CallRecord } from '@nudojs/cli/evaluator';
-export { CallRecord } from '@nudojs/cli/evaluator';
+import { C as CallRecord } from './config-NqDRWWpn.js';
+export { I as InterfaceConfig, N as NudoConfig, f as findProjectConfig, i as interfaceConfig, m as matchesEmitAllowlist } from './config-NqDRWWpn.js';
 import { HarvestedEnv } from '@nudojs/harvester';
 import { FunctionWithDirectives } from '@nudojs/parser';
 
@@ -46,18 +46,20 @@ type Diagnostic = {
 };
 type CaseResult = {
     name: string;
-    args: TypeValue[];
-    result: TypeValue;
-    throws: TypeValue;
+    /** 无损参数 Abs */
+    argAbs: Abs[];
+    /** 无损结果 Abs */
+    abs: Abs;
+    /** 无损抛出 Abs（未抛为 never） */
+    throwsAbs: Abs;
     throwLoc?: SourceLocation;
     source?: "directive" | "callsite";
     /** `@nudo:case "name" (…) => expected` — presence means the case is a test assertion */
-    expected?: TypeValue;
+    expected?: Abs;
     /** number of additional call sites folded into a symbolic case */
     aggregatedFrom?: number;
     /**
      * 内涵摘要（代数 generalize）：无损 Abs + term/pred/conf。
-     * 仅在 entry@ / call@（Abs 路径）填充；外延 TypeValue 不变。
      */
     intension?: {
         display?: string;
@@ -69,15 +71,14 @@ type CaseResult = {
         /** 无损 Abs 多行（formatAbsMultiline） */
         absMultiline?: string;
     };
-    /** 无损 Abs（denote/守卫用）；仅 Abs 路径 case 填充 */
-    abs?: Abs;
 };
 type FunctionAnalysis = {
     name: string;
     loc: SourceLocation;
     paramNames: string[];
     cases: CaseResult[];
-    combined?: TypeValue;
+    /** cases 结果 Abs 的 join；dts 返回位源 */
+    combinedAbs?: Abs;
     entryOnly?: boolean;
     skipped?: boolean;
     /**
@@ -91,7 +92,8 @@ type FunctionAnalysis = {
     fromModule?: string;
 };
 type BindingInfo = {
-    type: TypeValue;
+    /** 无损 Abs */
+    abs: Abs;
     loc?: SourceLocation;
 };
 type CaseHint = {
@@ -109,7 +111,8 @@ type AnalysisResult = {
      * the original — lookups must use the File that produced this result, not a
      * freshly parsed one. getTypeAtPosition rebuilds its own map and is unaffected.
      */
-    nodeTypeMap: Map<Node, TypeValue>;
+    /** 无损节点 Abs */
+    nodeAbsMap: Map<Node, Abs>;
     caseHints: CaseHint[];
     /** functions imported from other modules, synthesized from cross-file call sites observed while analyzing this file */
     externalFunctions?: FunctionAnalysis[];
@@ -163,6 +166,7 @@ declare function analyzeFileAsync(filePath: string, source: string, activeCases?
  * 真实的实参类型与结果类型——后续 analyzeFile 将其注入合成 case，
  * 使被使用方从 entry-only（参数全 unknown）升级为真实调用形态。
  *
+ * Abs 路径（TypeValue evaluateProgram 已删）：evalProgramAbs + AbsCallRecord。
  * 只做求值与记录，不产出诊断；求值异常不抛出（使用现场文件可能
  * 依赖未 mock 的全局，收集不到就收集不到，不能拖垮主分析）。
  */
@@ -177,6 +181,7 @@ declare function collectCallRecords(filePath: string, source: string): CallRecor
  * （CLI watch / vite-plugin）在 dep 变更时应 `clearBPathCache()` 或上述逐出。
  */
 declare function analyzeFile(filePath: string, source: string, activeCases?: Map<string, number>, externalCallRecords?: CallRecord[]): AnalysisResult;
+
 type CaseInfo = {
     functionName: string;
     caseName: string;
@@ -191,10 +196,17 @@ declare function getCasesForFile(filePath: string, source: string): {
     loc: SourceLocation;
 }[];
 /** Async entry to getTypeAtPosition with path-env preloading (see analyzeFileAsync). */
-declare function getTypeAtPositionAsync(filePath: string, source: string, line: number, column: number, activeCases?: Map<string, number>): Promise<TypeValue | null>;
-declare function getTypeAtPosition(filePath: string, source: string, line: number, column: number, activeCases?: Map<string, number>): TypeValue | null;
+declare function getTypeAtPositionAsync(filePath: string, source: string, line: number, column: number, activeCases?: Map<string, number>): Promise<Abs | null>;
+/** Async entry to getAbsAtPosition（与 getTypeAtPositionAsync 同预加载口径） */
+declare function getAbsAtPositionAsync(filePath: string, source: string, line: number, column: number, activeCases?: Map<string, number>): Promise<Abs | null>;
+/**
+ * 光标处无损 Abs。B-path 节点表优先；用例函数体走 Abs 重放。
+ */
+declare function getAbsAtPosition(filePath: string, source: string, line: number, column: number, activeCases?: Map<string, number>): Abs | null;
+/** 光标处类型（Abs）。B-path 节点表优先；用例函数体走 Abs 重放。 */
+declare function getTypeAtPosition(filePath: string, source: string, line: number, column: number, activeCases?: Map<string, number>): Abs | null;
 type HoverInfo = {
-    /** 外延 TypeValue 展示（bridge 有损，仅兜底） */
+    /** 外延展示（formatShape / formatAbs） */
     typeText: string;
     /** 内涵签名（代数 generalize） */
     intension?: string;
@@ -204,12 +216,12 @@ type HoverInfo = {
     absMultiline?: string;
 };
 /**
- * LSP hover：优先无损 Abs（类型即计算本体），TypeValue 仅作外延对照。
+ * LSP hover：优先无损 Abs（类型即计算本体）。
  * 节点表也是 Abs（collectAbsNodeTypes），不经 bridge。
  *
  * 函数名/调用 callee 位置（design-hof-relations §7）：
  * intension 一律走 generalize/formatPoly（HOF fnRels 在这里）；
- * typeText 仍落 B-path / TypeValue（调用点显示结果类型，不是函数签名）。
+ * typeText 仍落 B-path Abs（调用点显示结果类型，不是函数签名）。
  * 禁止用 B-path 的 arity-only fn Abs 冒充权威关系源。
  */
 declare function getHoverAtPosition(filePath: string, source: string, line: number, column: number, activeCases?: Map<string, number>): HoverInfo | null;
@@ -219,8 +231,9 @@ declare function getCompletionsAtPosition(filePath: string, source: string, line
  * `nudo infer --json` 稳定契约 v1（CI / Agent）。
  *
  * 字段只增不改语义：
- * - ext_*：TypeValue 投影字符串（有损，兼容）
+ * - args / result / throws / combined：formatShape 外延投影（有损，兼容）
  * - intension.abs*：无损 Abs 展示（主线）
+ * - argsAbs / resultAbs：CaseResult 上的无损 Abs（formatAbs）；有则补齐
  */
 
 type InferJsonCase = {
@@ -231,6 +244,10 @@ type InferJsonCase = {
     throws: string | null;
     source: string | null;
     aggregatedFrom?: number;
+    /** 无损参数 Abs 展示（与 args 对齐；缺失位省略） */
+    argsAbs?: string[];
+    /** 无损结果 Abs 展示 */
+    resultAbs?: string;
     /** 无损内涵（Abs）；无则省略 */
     intension?: {
         display?: string;
@@ -248,6 +265,8 @@ type InferJsonFunction = {
     noDeclaration?: boolean;
     cases: InferJsonCase[];
     combined?: string;
+    /** 无损 combined Abs 展示 */
+    combinedAbs?: string;
 };
 type InferJson = {
     version: 1;
@@ -283,9 +302,11 @@ declare function serializeInferJson(result: AnalysisResult, file: string): Infer
  * nudo 推断目标文件判定（纯扩展名规则，路径无需存在）。
  *
  * 规则：.js / .mjs / .ts 可作为推断目标；其余扩展（.cjs/.tsx/.jsx/.mts/.d.ts…）
- * 一律 false。两类显式排除：
+ * 一律 false。显式排除：
  *  - .d.ts —— 类型声明文件（harvester 的输入），不是可求值的实现源码；
- *  - .tsx / .jsx —— JSX 构造的求值超出 nudo 推断器范围。
+ *  - .tsx / .jsx —— JSX 构造的求值超出 nudo 推断器范围；
+ *  - *.nudo.js / *.nudo.ts —— 侧车契约模块（interface 绑定源），不是源码
+ *    推断目标；目录级 check/infer/doctor 展开不得把它们当实现分析。
  *
  * 消费方：CLI 的 collectNudoFiles/watch 过滤/doctor 目录展开（.ts 放开后统一
  * 走本函数，避免各处手写 endsWith 漂移），以及 LSP 的 isNudoFile（接线由
@@ -353,7 +374,7 @@ declare function harvestPackage(pkg: string, fromDir?: string, maxFiles?: number
 };
 /** harvest 结果 → 人类可读导出表 */
 declare function formatHarvestSummary(h: PackageHarvest): string;
-/** 取某个导出的 TypeValue 字符串 */
+/** 取某个导出的展示串（formatShape） */
 declare function lookupHarvested(h: PackageHarvest, moduleName: string, exportName: string): string | undefined;
 
 /**
@@ -370,7 +391,7 @@ declare function clearHarvestCache(): void;
  * 自动 harvest 源码中全部裸包（有 @types 或包内 dts 时）。
  * 返回可注入 setEnvModules 的 modules 表；无包可 harvest 时为空对象。
  */
-declare function autoHarvestModules(source: string, fromDir: string): Record<string, Record<string, TypeValue>>;
+declare function autoHarvestModules(source: string, fromDir: string): Record<string, Record<string, Abs>>;
 
 /**
  * Host：import 图（相对 + 裸包 harvest）→ Abs 导出表 → 注入入口。
@@ -436,12 +457,12 @@ declare function evalProgramAbsWithModules(source: string, entryFile: string, op
 declare function collectAbsBindingsFromGraph(source: string, filePath: string, opts?: AbsGraphOptions): Map<string, Abs>;
 
 /**
- * Harvest TypeValue 导出 → AbsModuleExports（供 Abs 模块图注入）。
- * fnSig → absFunction + apply 直接返回声明返回类型（conf=mock）。
+ * Harvest Abs 导出 → AbsModuleExports（供 Abs 模块图注入）。
+ * harvest 产物已是 Abs；fn 槽 apply 直接返回声明返回类型（conf=mock）。
  */
 
-/** 单个 TypeValue 导出 → Abs（可调用） */
-declare function harvestedValueToAbs(tv: TypeValue): Abs;
+/** 单个 Abs 导出 → 可调用 mock（fn 槽 apply 返回声明返回类型） */
+declare function harvestedValueToAbs(a: Abs): Abs;
 /**
  * 把 harvest 的 modules/globals 合成 AbsModuleExports。
  * 键同时登记：原始模块路径、包名、basename（path / @types/path）。
@@ -451,7 +472,7 @@ declare function packageHarvestToAbsModules(pkg: string, h: PackageHarvest): Rec
 /** 裸说明符 → Abs 导出表（走 harvest 缓存） */
 declare function bareSpecToAbsModules(spec: string, fromFile: string): AbsModuleExports | undefined;
 
-/** @nudo:env → Abs 全局表（保留 fnSig impl） */
+/** @nudo:env → Abs 全局表（env 模块 Abs 原生） */
 declare function collectEnvGlobals(envNames: string[]): Record<string, Abs>;
 /** @nudo:env modules（path / node:path / fs…）→ AbsModuleExports */
 declare function collectEnvModules(envNames: string[]): Record<string, AbsModuleExports>;
@@ -544,14 +565,6 @@ declare function clearAnalysisSessionCaches(): void;
 /** 比 clearAnalysisSessionCaches 更彻底：再丢 AST LRU（测试 / 进程复用场景） */
 declare function resetAllAnalysisCaches(): void;
 
-/**
- * env TypeValue → Abs：
- * - fnSig 带 impl（Promise.resolve / URL / path.join…）→ apply 路径，保留精确字面量
- * - fnSig 仅有声明（readFileSync…）→ relationFn，调用产出声明返回类型而非 unknown
- */
-
-declare function envValueToAbs(tv: TypeValue): Abs;
-
 /**
  * B 路径静态诊断（AST，不执行）：
  * - unreachable：同块 return/throw 之后的语句
@@ -635,12 +648,13 @@ declare function encodeSemanticTokens(tokens: SemanticToken[]): number[];
  * - 函数声明/函数表达式的名字 → function；所有函数的参数 → parameter；
  * - 对象字面量的键：值为函数 → method，否则 property。
  *
- * 推断复用 evaluateProgram 的绑定分析（与补全/诊断同一求值链），不另建
- * 符号体系；解析失败返回 []，求值中断则按已绑定的部分结果继续上色。
+ * 推断优先 Abs 模块图绑定（TypeValue 退出主路径）；失败时复用
+ * evaluateProgram。解析失败返回 []。
  */
 declare function buildSemanticTokens(filePath: string, source: string): number[];
 
-declare function typeValueToTSType(tv: TypeValue): string;
+/** Abs → TS 类型串。有损：pred / 非 lit term 落到 shape 基类型。 */
+declare function absToTSType(a: Abs): string;
 /**
  * 为单个函数生成 .d.ts 声明行（JSDoc + 单一 widen 主签名）。
  * service 的 generateDts 与 CLI `--dts`（infer/watch）共用本函数，
@@ -649,19 +663,21 @@ declare function typeValueToTSType(tv: TypeValue): string;
 declare function generateFunctionDtsLines(fn: FunctionAnalysis): string[];
 declare function generateDts(result: AnalysisResult): string;
 
-declare function typeValueToZodSchema(tv: TypeValue): string;
+/** Abs → zod schema 源码。有损：pred / 非 lit term 落到 shape 基类型。 */
+declare function absToZodSchema(a: Abs): string;
 
-declare function generateGuardFunction(name: string, tv: TypeValue): string;
-/** Abs 指称守卫（设计 §2.7）：比 TypeValue 投影多保留 pred */
+/** Abs 指称守卫（设计 §2.7）：保留 pred */
 declare function generateGuardFunctionFromAbs(name: string, abs: Abs): string;
+/** 兼容别名：Abs 路径唯一 */
+declare function generateGuardFunction(name: string, abs: Abs): string;
 
-/** 单个 TypeValue → parseTypeValueExpr 可解析回去的表达式文本；不可表达返回 null */
-declare function serializeCaseArg(tv: TypeValue): string | null;
+/** 单个 Abs → parseCaseArgExpr 可解析回去的表达式文本；不可表达返回 null */
+declare function serializeCaseArg(a: Abs): string | null;
 /**
  * 组装单行 ` * @nudo:case "name" (a, b)` 指令文本（无尾换行）。
  * 任一实参不可序列化、或名字含双引号/换行（名字正则 `"([^"]+)"` 承载不了）→ 整体 null。
  */
-declare function buildCaseDirective(name: string, args: TypeValue[]): string | null;
+declare function buildCaseDirective(name: string, argsAbs: Abs[]): string | null;
 /**
  * 从源码剥离所有本模块生成的 @nudo:case 指令（名字以 call@ 开头，整行删除）。
  * 若所属 JSDoc 块因此只剩空 ` *` 行（无其他 @nudo:* 指令、无文字内容），
@@ -722,4 +738,236 @@ declare function mockDirectivesToAbsSeeds(functions: Array<{
     directives: FunctionWithDirectives["directives"];
 }>): AbsMockSeeds;
 
-export { type AbsGraphOptions, type AbsMockSeeds, type AbsModuleCacheEntry, type AbsModuleGraphResult, type AbsModuleLoadIssue, type AnalysisResult, type BPathBuiltinUnknown, type BPathDiagnostics, type BPathRunResult, type BPathUnreachable, type BindingInfo, type CaseHint, type CaseInfo, type CaseResult, type CompletionItem, type Diagnostic, type DiagnosticSeverity, type DiagnosticTag, type EmitResult, type EmitSkipReason, type FunctionAnalysis, type HoverInfo, type InferJson, type InferJsonCase, type InferJsonFunction, type LoadModule, type ModuleExports, type ModuleGraphCache, type NodeEnvResult, type PackageHarvest, type ReferenceInfo, SEMANTIC_TOKEN_MODIFIERS, SEMANTIC_TOKEN_TYPES, type SemanticToken, type SourceLocation, type SymbolInfo, type SymbolTable, analyzeExportsFromSource, analyzeFile, analyzeFileAsync, autoHarvestModules, barePackageName, bareSpecToAbsModules, buildCaseDirective, buildModuleGraph, buildSemanticTokens, clearAbsModuleCache, clearAnalysisFileCache, clearAnalysisSessionCaches, clearBPathCache, clearFnAnalysisCache, clearHarvestCache, collectAbsBindingsFromGraph, collectBPathDiagnostics, collectBPathReplacements, collectBarePackages, collectCallRecords, collectDependencySpecs, collectDtsFromEntry, collectEnvGlobals, collectEnvModules, collectStaticImports, computeDirtySet, defaultAbsLoadModule, defaultLoadModule, encodeSemanticTokens, envValueToAbs, evalAbsModuleGraph, evalProgramAbsWithModules, evictAbsModuleCacheFiles, evictAnalysisCachesForFiles, evictAnalysisFileCacheForFiles, evictBPathCacheForFiles, evictFnAnalysisCacheForFiles, formatHarvestSummary, generateDts, generateFunctionDtsLines, generateGuardFunction, generateGuardFunctionFromAbs, getAnalysisFileCacheSize, getCasesForFile, getCompletionsAtPosition, getHoverAtPosition, getTypeAtPosition, getTypeAtPositionAsync, harvestNodeTypes, harvestPackage, harvestPackageCached, harvestToAbsModules, harvestedValueToAbs, insertGeneratedCaseDirectives, isBPathCapable, isNudoTargetPath, lookupHarvested, mockDirectivesToAbsSeeds, packageHarvestToAbsModules, resetAllAnalysisCaches, resolvePackageRoot, serializeCaseArg, serializeInferJson, stripGeneratedCaseDirectives, summarizeNodeEnv, topoSortDirty, tryBPathCall, tryBPathCallFull, tryRunBPath, typeValueToTSType, typeValueToZodSchema, unifiedDiff };
+/**
+ * `nudo interface` 的打印数据源（design-refine-derivation §11 第 0 步）：
+ * 逐顶层函数展示有效契约分层——effectiveInterface 命中（手写契约 / 侧车
+ * 生成段）时 params/returns 用 formatConstraint 组合式显示；未命中走
+ * implicit：优先 CaseResult.argAbs / FunctionAnalysis.combinedAbs（无损
+ * Abs 源），展示用 formatShape（外延口径，不强求约束式、不带 conf）。
+ *
+ * autoBind 沿 package.json#nudo.interface（findProjectConfig → interfaceConfig）
+ * 下传，可用 opts 覆盖（测试 / CLI 显式开关）；读盘用 defaultLoadModule
+ * （与 check 的 refine 解析同一扩展名表）。
+ */
+
+type InterfaceSurfaceEntry = {
+    fn: string;
+    /** 本文件 named export（自动绑定边界口径：localNamedExports） */
+    kind: "export" | "local";
+    source: "handwritten" | "generated" | "implicit";
+    params: Array<{
+        name: string;
+        display: string;
+    }>;
+    returns?: string;
+};
+type InterfaceSurfaceOpts = {
+    /** 覆盖项目配置的 autoBind（默认 findProjectConfig → interfaceConfig） */
+    autoBind?: boolean;
+    /** 模块源码装载器（测试注入）；默认 defaultLoadModule 真实读盘 */
+    loadModule?: LoadModule;
+    /** 跨文件调用记录（--callsites 采集）：implicit 展示的实参域原料 */
+    records?: CallRecord[];
+};
+/** 单条 interface 打印行（CLI runInterface 与 LSP agent 面共用） */
+declare function formatInterfaceSurfaceLine(e: InterfaceSurfaceEntry): string;
+/**
+ * 单文件 interface 表面：analyzer 推断结果给出函数清单与 implicit 展示，
+ * effectiveInterface 给出契约命中（手写 > 生成段）。诊断 side-channel
+ * 在收尾时取走丢弃——打印命令不执法，interface-load 等错误留给 check 路径。
+ */
+declare function interfaceSurface(filePath: string, opts?: InterfaceSurfaceOpts): Promise<InterfaceSurfaceEntry[]>;
+
+/**
+ * `nudo interface --emit` 的写盘器（design-refine-derivation §5.4 / §7.3 / §11）：
+ * 把分析产出的调用点域投影（joinThenProject，先 Abs join 再投影）固化为侧车
+ * `*.nudo.js` / `*.nudo.ts` 的 `@generated` 段——`export const <fn> = fn({…}, …)`。
+ *
+ * - 生成段 = 三行：`@generated` 头注释 + `// source: <相对file>:<fn>` + export 行。
+ *   DSL 由 formatConstraint 产出，**写入前 round-trip 自检**（生成文本经
+ *   execNudoModule 求值、导出须 isNudoConstraint 且 fn 槽存在）：展示兜底形态
+ *   （`x?:` 可选字段、`.eq()` 伪链、`{谓词原文}`）不是合法 DSL，自检拦下 →
+ *   not-projectable 跳过，不写垃圾。
+ * - 手写导出永不覆盖：目标名已是侧车手写绑定 → 跳过写入并报
+ *   `nudo:interface-name-clash`（error，手写优先）。
+ * - mode=update：剥离全部生成段再重排（幂等；非目标的既有生成段原样保留，
+ *   不随 --fn 丢失）；mode=add：仅追加缺失段。
+ * - 目标过滤（§7.3）：--fn 白名单 > --all 全量 > 默认只刷新已有生成段
+ *   （「无根只处理已存在生成段」；Phase 1 无 root 闭包下行推导）。
+ * - autoBind=false 不影响 emit（显式动作，非 ambient 加载）。
+ */
+
+type EmitInterfaceSkipReason = "name-clash" | "not-projectable" | "not-an-export" | "no-change"
+/** package.json#nudo.interface.emit 白名单拒绝 */
+ | "emit-denied"
+/** 手工合并的多声明符 @generated 段：按段原子保留，不拆不重写 */
+ | "multi-declarator";
+type EmitInterfaceOpts = {
+    /** 目标导出名白名单（Phase 1：只过滤目标文件自身的导出；跨文件 root 闭包 emit 是 Phase 2 下行推导能力） */
+    fnNames?: string[];
+    /** update=剥离全部生成段再重排（幂等）；add=仅追加缺失段 */
+    mode: "add" | "update";
+    /** 全部顶层导出（显式 opt-in，CLI 侧文档警告勿默认） */
+    all?: boolean;
+    /** 不写盘，返回 unifiedDiff */
+    dryRun?: boolean;
+    /**
+     * 跨文件调用记录（--callsites 采集）：域根导出（本文件无调用点、仅有
+     * 外部使用现场记录）的投影原料；缺省时仅用本文件调用点证据。
+     */
+    records?: CallRecord[];
+};
+type EmitInterfaceResult = {
+    written: string[];
+    skipped: Array<{
+        fn: string;
+        reason: EmitInterfaceSkipReason;
+    }>;
+    changed: boolean;
+    diff?: string;
+    issues: Array<{
+        code: string;
+        severity: "error" | "warning";
+        message: string;
+    }>;
+    /** 侧车绝对路径（新建或已有） */
+    sidecarPath: string;
+    /**
+     * 默认过滤（无 --fn/--all）且侧车无既有 @generated 段可刷 —— 调用方
+     * 用它把「no interface changes」解释成首次 emit 的用法提示，而非漂移。
+     */
+    emptyDefaultTargets?: boolean;
+};
+/**
+ * 单文件 emit：分析 → 逐目标投影/自检 → 组装侧车内容 →（非 dryRun）写盘。
+ * 诊断 side-channel（round-trip 自检触发的 refine/interface diags）收尾取走丢弃。
+ */
+declare function emitInterface(filePath: string, opts: EmitInterfaceOpts): Promise<EmitInterfaceResult>;
+/**
+ * emit 摘要行（CLI runInterfaceEmit 与 LSP agent 面共用；路径由调用方按
+ * 展示口径传入——CLI 传 cwd 相对、agent 传绝对路径）。
+ */
+declare function formatEmitSummary(sourcePath: string, sidecarRel: string, result: EmitInterfaceResult): string[];
+
+/**
+ * Root 驱动的契约下行（design-refine-derivation §4.2 / §11 Phase 2）。
+ *
+ * 对含手写契约根的文件（lib.nudo.js 绑定 add4）：
+ *   1. 从侧车 AST 抽出参数约束的源表达式（`positive` ← `./std.nudo.js`）；
+ *   2. constraintToEntryAbs + tagDerivationRoot；
+ *   3. analyzeFn 求值 body（模块图注入下游），收集调用记录 + 推导打点；
+ *   4. 闭包内下游导出投影为组合式 DSL，禁止事后从 Abs 反编译链。
+ *
+ * check 分轨：每条 root 链独立；join 只用于工件聚合（多调用者）。
+ */
+
+type ConstraintSourceExpr = {
+    expr: string;
+    importFrom?: string;
+    importName?: string;
+};
+type DerivedParam = {
+    name: string;
+    constraint: NudoConstraint;
+    dsl: string;
+    prelude: string[];
+    imports: Array<{
+        name: string;
+        from: string;
+    }>;
+    /** 单链组合式投影时的推导图 root 节点 id（返回位相对锚定用） */
+    rootNodeId?: number;
+    /** 该参数位自 root 起消耗的 shift 步数（与 prelude 行数无关，读图） */
+    shiftCount?: number;
+};
+type DerivedExport = {
+    file: string;
+    fn: string;
+    paramNames: string[];
+    params: DerivedParam[];
+    returns?: {
+        constraint: NudoConstraint;
+        dsl: string;
+        prelude: string[];
+        imports: Array<{
+            name: string;
+            from: string;
+        }>;
+    };
+    /** `lib.js:add4` */
+    derivedFrom: string;
+    compositional: boolean;
+    underivable?: boolean;
+};
+type RootDeriveOpts = {
+    loadModule?: LoadModule;
+    autoBind?: boolean;
+    fnNames?: string[];
+    /**
+     * true：只刷新目标侧车里**已存在**的 @generated 段（CLI 无 --fn/--all 时
+     * 的默认行为——不发明新下游契约）。false/省略：闭包内全部可推导导出。
+     */
+    refreshExistingOnly?: boolean;
+};
+type RootDeriveResult = {
+    roots: string[];
+    derived: DerivedExport[];
+    hasRoot: boolean;
+};
+/** 从侧车源码抽出 `export const f = fn({ x: positive }, ret)` 的约束源表达式 */
+declare function extractFnConstraintSources(sidecarSrc: string, fnName: string): {
+    params: Record<string, ConstraintSourceExpr>;
+    returns?: ConstraintSourceExpr;
+};
+/**
+ * 入口：对 filePath 做 root 驱动下行推导。
+ */
+declare function deriveFromRoot(filePath: string, opts?: RootDeriveOpts): RootDeriveResult;
+/**
+ * 组装生成段（组合式 + import + prelude）。
+ * importFrom 相对 root 侧车解析，再相对 target 侧车写出。
+ *
+ * `takenNames`：侧车顶层已占用标识符（手写 / 既有生成段 / 本批先前段）。
+ * 同文件多导出时对 import local 与 prelude local 做避让改写，
+ * 保证拼出的侧车在模块作用域内无重复声明。
+ */
+declare function formatDerivedSection(row: DerivedExport, opts: {
+    rootSidecarDir: string;
+    targetSidecarDir: string;
+    takenNames?: Iterable<string>;
+}): {
+    text: string;
+    usedNames: string[];
+} | undefined;
+type EmitDerivedResult = {
+    /** 被写/将写的下游侧车（绝对路径） */
+    sidecars: Array<{
+        file: string;
+        sidecarPath: string;
+        fn: string;
+        written: boolean;
+        changed: boolean;
+        skipped?: "name-clash" | "not-projectable" | "underivable" | "no-change";
+        diff?: string;
+        issues: Array<{
+            code: string;
+            severity: "error" | "warning" | "info";
+            message: string;
+        }>;
+    }>;
+    hasRoot: boolean;
+    roots: string[];
+    /** 根在别处 / 无契约根且无已存在生成段 → info */
+    entryOnly?: boolean;
+};
+declare function emitDerivedFromRoot(rootFile: string, opts: {
+    fnNames?: string[];
+    mode: "add" | "update";
+    dryRun?: boolean;
+    loadModule?: LoadModule;
+    autoBind?: boolean;
+    /** 只刷新目标侧车里已存在的 @generated 段（不发明新下游契约） */
+    refreshExistingOnly?: boolean;
+}): EmitDerivedResult;
+
+export { type AbsGraphOptions, type AbsMockSeeds, type AbsModuleCacheEntry, type AbsModuleGraphResult, type AbsModuleLoadIssue, type AnalysisResult, type BPathBuiltinUnknown, type BPathDiagnostics, type BPathRunResult, type BPathUnreachable, type BindingInfo, CallRecord, type CaseHint, type CaseInfo, type CaseResult, type CompletionItem, type ConstraintSourceExpr, type DerivedExport, type DerivedParam, type Diagnostic, type DiagnosticSeverity, type DiagnosticTag, type EmitDerivedResult, type EmitInterfaceOpts, type EmitInterfaceResult, type EmitInterfaceSkipReason, type EmitResult, type EmitSkipReason, type FunctionAnalysis, type HoverInfo, type InferJson, type InferJsonCase, type InferJsonFunction, type InterfaceSurfaceEntry, type InterfaceSurfaceOpts, type LoadModule, type ModuleExports, type ModuleGraphCache, type NodeEnvResult, type PackageHarvest, type ReferenceInfo, type RootDeriveOpts, type RootDeriveResult, SEMANTIC_TOKEN_MODIFIERS, SEMANTIC_TOKEN_TYPES, type SemanticToken, type SourceLocation, type SymbolInfo, type SymbolTable, absToTSType, absToZodSchema, analyzeExportsFromSource, analyzeFile, analyzeFileAsync, autoHarvestModules, barePackageName, bareSpecToAbsModules, buildCaseDirective, buildModuleGraph, buildSemanticTokens, clearAbsModuleCache, clearAnalysisFileCache, clearAnalysisSessionCaches, clearBPathCache, clearFnAnalysisCache, clearHarvestCache, collectAbsBindingsFromGraph, collectBPathDiagnostics, collectBPathReplacements, collectBarePackages, collectCallRecords, collectDependencySpecs, collectDtsFromEntry, collectEnvGlobals, collectEnvModules, collectStaticImports, computeDirtySet, defaultAbsLoadModule, defaultLoadModule, deriveFromRoot, emitDerivedFromRoot, emitInterface, encodeSemanticTokens, evalAbsModuleGraph, evalProgramAbsWithModules, evictAbsModuleCacheFiles, evictAnalysisCachesForFiles, evictAnalysisFileCacheForFiles, evictBPathCacheForFiles, evictFnAnalysisCacheForFiles, extractFnConstraintSources, formatDerivedSection, formatEmitSummary, formatHarvestSummary, formatInterfaceSurfaceLine, generateDts, generateFunctionDtsLines, generateGuardFunction, generateGuardFunctionFromAbs, getAbsAtPosition, getAbsAtPositionAsync, getAnalysisFileCacheSize, getCasesForFile, getCompletionsAtPosition, getHoverAtPosition, getTypeAtPosition, getTypeAtPositionAsync, harvestNodeTypes, harvestPackage, harvestPackageCached, harvestToAbsModules, harvestedValueToAbs, insertGeneratedCaseDirectives, interfaceSurface, isBPathCapable, isNudoTargetPath, lookupHarvested, mockDirectivesToAbsSeeds, packageHarvestToAbsModules, resetAllAnalysisCaches, resolvePackageRoot, serializeCaseArg, serializeInferJson, stripGeneratedCaseDirectives, summarizeNodeEnv, topoSortDirty, tryBPathCall, tryBPathCallFull, tryRunBPath, unifiedDiff };