@nudojs/service 3.0.0 → 5.0.0-beta.0

package/dist/interface-BGlP7aIk.d.ts

@@ -0,0 +1,367 @@
+import { C as CallRecord } from './call-record-CkyCFkT9.js';
+import { NudoConstraint } from '@nudojs/core';
+
+/**
+ * 相对/绝对 specifier → 模块源码。
+ * CLI / LSP / vite / check 共用同一扩展名表，避免门禁结果分叉。
+ */
+type LoadModule = (spec: string, fromFile: string) => string | undefined;
+/** 默认 loadModule：支持 .js/.mjs/.ts 与 index 入口 */
+declare function defaultLoadModule(spec: string, fromFile: string): string | undefined;
+
+/**
+ * `nudo contract` 的打印数据源（design-refine-derivation §11 第 0 步）：
+ * 逐顶层函数展示有效契约分层——effectiveInterface 命中（手写契约 / 侧车
+ * 生成段）时 params/returns 用 formatConstraint 组合式显示；未命中走
+ * implicit：优先 CaseResult.argAbs / FunctionAnalysis.combinedAbs（无损
+ * Abs 源），展示用 formatShape（外延口径，不强求约束式、不带 conf）。
+ *
+ * autoBind 沿 package.json#nudo.contract（findProjectConfig → interfaceConfig）
+ * 下传，可用 opts 覆盖（测试 / CLI 显式开关）；读盘用 defaultLoadModule
+ * （与 check 的 refine 解析同一扩展名表）。
+ *
+ * B3 Phase B：`nudo.cache` / NUDO_CACHE_DIR 打开时，整文件 effectiveInterface
+ * 表（含 implicit 负缓存 null）落盘；二次冷启动跳过侧车 exec / 契约合并。
+ * 缓存只服务打印/表面，不加速 B-path 分析（design-persistent-cache §0）。
+ */
+
+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;
+    /** 跨文件调用记录（--from 采集）：implicit 展示的实参域原料 */
+    records?: CallRecord[];
+    /** 打开 buffer 覆盖磁盘源码（E5：agent/LSP 与 hover 同口径） */
+    source?: string;
+};
+/** 单条 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 contract --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.contract.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;
+    /**
+     * 跨文件调用记录（--from 采集）：域根导出（本文件无调用点、仅有
+     * 外部使用现场记录）的投影原料；缺省时仅用本文件调用点证据。
+     */
+    records?: CallRecord[];
+    /** 缓冲源（E5：agent/LSP 与 validate 同源）；缺省读盘 */
+    source?: string;
+    /** 模块装载器（buffer-aware 侧车可见）；缺省 defaultLoadModule */
+    loadModule?: (spec: string, fromFile: string) => string | undefined;
+};
+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[];
+
+/**
+ * `nudo contract --draft`：从已有 JS **逻辑** 生成 contract 草稿。
+ *
+ * 产品位（代码优先 / 迁移）：先写实现，再反推可审阅的 `fn({…}, …)` 草稿；
+ * 人审后迁入 `*.nudo.js` 才成为契约。
+ *
+ * 证据分层（与 C0 一致：草稿 ≠ ambient 义务）：
+ * - callsite / directive case → joinThenProject 值域（迁移最可信）
+ * - body 触达（**仅草稿展示**）→ 参数上被读到的字段名建议；不进 check
+ * - generalize symbolic → 返回位兜底
+ * - 无证据 → 参数槽省略 + 注释 TODO（不发明义务）
+ * - 已有 handwritten 契约 → **跳过**（手写优先，不覆盖）
+ *
+ * 写盘：默认只打印；`--write` 写入 `<file>.nudo.draft.js`——**不会**被
+ * sidecar 自动绑定（loadModule 只认 `*.nudo.js`）。审阅后复制进正式侧车。
+ */
+
+/**
+ * DraftEvidence `body` = 仅来自函数体对形参的成员读取（草稿建议，非义务）。
+ * check / effectiveInterface **永不**消费该档。
+ */
+type DraftEvidence = "callsite" | "directive" | "symbolic" | "body" | "none";
+type InterfaceDraftEntry = {
+    fn: string;
+    /** 全部形参（含无证据槽，便于人读） */
+    params: Array<{
+        name: string;
+        constraint?: NudoConstraint;
+        display: string;
+        /** false = 无证据，DSL 对象里省略该槽 */
+        projected: boolean;
+        /** 函数体读到的字段名（草稿建议；与 projected 无关） */
+        bodyAccesses?: string[];
+    }>;
+    returns?: {
+        constraint?: NudoConstraint;
+        display: string;
+        projected: boolean;
+    };
+    paramEvidence: DraftEvidence;
+    returnEvidence: DraftEvidence;
+    skipped?: "handwritten" | "not-an-export";
+    /** 草稿 DSL：`fn({ … }, …)`；handwritten / 非导出时 undefined */
+    dsl?: string;
+};
+type InterfaceDraftOpts = {
+    fnNames?: string[];
+    records?: CallRecord[];
+    loadModule?: LoadModule;
+    /**
+     * Accepted for API compatibility; **ignored**. The handwritten-contract probe
+     * always uses `effectiveInterface(..., { autoBind: true })` so draft skips
+     * disk sidecars even when ambient autoBind is off (product: draft asks
+     * "does a contract already exist?", not "is ambient binding on?").
+     */
+    autoBind?: boolean;
+    /** 默认 true：收集 body 成员读取作草稿建议（永不进 check） */
+    bodyAccesses?: boolean;
+    /** 打开 buffer 源（E5：与 hover/interface 同口径） */
+    source?: string;
+};
+type InterfaceDraftResult = {
+    file: string;
+    entries: InterfaceDraftEntry[];
+    draftSource: string;
+    sidecarPath: string;
+};
+/**
+ * Draft-only：收集每个顶层函数形参上的成员读取键（`user.name` → name）。
+ * **不是** C0 禁止的 body→义务通道——只进草稿注释/建议，check 不读此表。
+ */
+declare function collectParamBodyAccesses(source: string): Map<string, Map<string, Set<string>>>;
+/**
+ * 为单文件顶层导出生成 interface 草稿（不写盘）。
+ * handwritten 跳过；已有 @generated 仍出草稿（便于对照）。
+ */
+declare function draftInterface(filePath: string, opts?: InterfaceDraftOpts): Promise<InterfaceDraftResult>;
+/** 草稿模块文本（人读 + 可复制到 *.nudo.js / *.nudo.ts） */
+declare function formatDraftModule(filePath: string, entries: InterfaceDraftEntry[], sidecarPath?: string): string;
+/** `lib.js|ts` → `lib.nudo.draft.js|ts`（不进 ambient sidecar 表） */
+declare function sidecarDraftPath(filePath: string): string;
+type WriteDraftResult = {
+    draftPath: string;
+    written: boolean;
+    changed: boolean;
+    draftable: boolean;
+    draftSource: string;
+};
+/** Parse-layer draftable: at least one entry has generated DSL and was not skipped */
+declare function isDraftableEntry(entries: ReadonlyArray<Pick<InterfaceDraftEntry, "dsl" | "skipped">>): boolean;
+/**
+ * 写入 `*.nudo.draft.js`（覆盖草稿文件本身；不碰正式 `*.nudo.js`）。
+ * 基础路径防护：拒绝 node_modules；拒绝 draft 路径与正式侧车重合；
+ * 拒绝 draft 路径落在源文件目录之外的穿越。
+ *
+ * `opts.entries` / `opts.draftable`：解析层判定（优先）。缺省时用 Unicode
+ * 感知 export 正则兜底——`\w` 会静默丢掉 `计算` 这类标识符。
+ */
+declare function writeInterfaceDraft(filePath: string, draftSource: string, opts?: {
+    dryRun?: boolean;
+    projectDir?: string;
+    entries?: ReadonlyArray<Pick<InterfaceDraftEntry, "dsl" | "skipped">>;
+    draftable?: boolean;
+}): WriteDraftResult;
+declare function formatDraftSummary(sourceRel: string, draftRel: string, result: InterfaceDraftResult, write?: WriteDraftResult): string[];
+
+/**
+ * Derivation slot projection（Abs → 组合式 DSL 投影缝）。
+ * 自 interface-derivation.ts 机械拆出；语义未改。
+ */
+
+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;
+};
+
+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;
+
+type TypeBinding = {
+    name: string;
+    type: string;
+};
+/** agent 面类型表达式 → `@nudo:as` 文法 */
+declare function typeExprToDirective(expr: string): string;
+declare function injectBindings(source: string, bindings: TypeBinding[]): {
+    source: string;
+    applied: string[];
+    unapplied: string[];
+};
+
+export { typeExprToDirective as A, writeInterfaceDraft as B, type ConstraintSourceExpr as C, type DerivedExport as D, type EmitDerivedResult as E, type InterfaceDraftEntry as I, type LoadModule as L, type RootDeriveOpts as R, type TypeBinding as T, type WriteDraftResult as W, type DerivedParam as a, type DraftEvidence as b, type EmitInterfaceOpts as c, type EmitInterfaceResult as d, type EmitInterfaceSkipReason as e, type InterfaceDraftOpts as f, type InterfaceDraftResult as g, type InterfaceSurfaceEntry as h, type InterfaceSurfaceOpts as i, type RootDeriveResult as j, collectParamBodyAccesses as k, defaultLoadModule as l, deriveFromRoot as m, draftInterface as n, emitDerivedFromRoot as o, emitInterface as p, extractFnConstraintSources as q, formatDerivedSection as r, formatDraftModule as s, formatDraftSummary as t, formatEmitSummary as u, formatInterfaceSurfaceLine as v, injectBindings as w, interfaceSurface as x, isDraftableEntry as y, sidecarDraftPath as z };

package/dist/interface.d.ts

@@ -0,0 +1,3 @@
+export { C as ConstraintSourceExpr, D as DerivedExport, a as DerivedParam, b as DraftEvidence, E as EmitDerivedResult, c as EmitInterfaceOpts, d as EmitInterfaceResult, e as EmitInterfaceSkipReason, I as InterfaceDraftEntry, f as InterfaceDraftOpts, g as InterfaceDraftResult, h as InterfaceSurfaceEntry, i as InterfaceSurfaceOpts, R as RootDeriveOpts, j as RootDeriveResult, T as TypeBinding, W as WriteDraftResult, k as collectParamBodyAccesses, m as deriveFromRoot, n as draftInterface, o as emitDerivedFromRoot, p as emitInterface, q as extractFnConstraintSources, r as formatDerivedSection, s as formatDraftModule, t as formatDraftSummary, u as formatEmitSummary, v as formatInterfaceSurfaceLine, w as injectBindings, x as interfaceSurface, y as isDraftableEntry, z as sidecarDraftPath, A as typeExprToDirective, B as writeInterfaceDraft } from './interface-BGlP7aIk.js';
+import './call-record-CkyCFkT9.js';
+import '@nudojs/core';

package/dist/interface.js

@@ -0,0 +1,43 @@
+import {
+  collectParamBodyAccesses,
+  deriveFromRoot,
+  draftInterface,
+  emitDerivedFromRoot,
+  emitInterface,
+  extractFnConstraintSources,
+  formatDerivedSection,
+  formatDraftModule,
+  formatDraftSummary,
+  formatEmitSummary,
+  formatInterfaceSurfaceLine,
+  injectBindings,
+  interfaceSurface,
+  isDraftableEntry,
+  sidecarDraftPath,
+  typeExprToDirective,
+  writeInterfaceDraft
+} from "./chunk-HEU4WON5.js";
+import "./chunk-YLVZMHWC.js";
+import "./chunk-QAFMPM2E.js";
+import "./chunk-U7JYTRIB.js";
+import "./chunk-YLALZXTZ.js";
+import "./chunk-PVJIMQRI.js";
+export {
+  collectParamBodyAccesses,
+  deriveFromRoot,
+  draftInterface,
+  emitDerivedFromRoot,
+  emitInterface,
+  extractFnConstraintSources,
+  formatDerivedSection,
+  formatDraftModule,
+  formatDraftSummary,
+  formatEmitSummary,
+  formatInterfaceSurfaceLine,
+  injectBindings,
+  interfaceSurface,
+  isDraftableEntry,
+  sidecarDraftPath,
+  typeExprToDirective,
+  writeInterfaceDraft
+};

package/dist/lsp.d.ts

@@ -0,0 +1,103 @@
+import { InterfaceSource, Abs, InterfaceTierOpts } from '@nudojs/core';
+import { S as SourceLocation, c as CompletionItem } from './analyzer-types-JyJiCt8w.js';
+export { AbsInlay, collectAbsInlays } from '@nudojs/core/internal';
+import '@babel/types';
+
+type CaseInfo = {
+    functionName: string;
+    caseName: string;
+    caseIndex: number;
+};
+declare function getCasesForFile(filePath: string, source: string): {
+    functionName: string;
+    cases: {
+        name: string;
+        index: number;
+    }[];
+    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<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 = {
+    /** 外延展示（formatShape / formatAbs） */
+    typeText: string;
+    /** 内涵签名（代数 generalize） */
+    intension?: string;
+    /** 无损 Abs 单行展示（shape / term / pred / conf） */
+    abs?: string;
+    /** 无损 Abs 多行展示 */
+    absMultiline?: string;
+    /** CodeLens `● interface` 同源档位（A7）；仅本地 named export */
+    interfaceSource?: InterfaceSource;
+    /** 有效契约展示（handwritten/generated）；implicit 为 undefined */
+    interfaceDisplay?: string;
+};
+/** A7：hover/inlay 与 CodeLens interface 档同源（design-refine-derivation §8） */
+type HoverInterfaceOpts = InterfaceTierOpts;
+/**
+ * LSP hover：优先无损 Abs（类型即计算本体）。
+ * 节点表也是 Abs（collectAbsNodeTypes），不经 bridge。
+ *
+ * 函数名/调用 callee 位置（design-hof-relations §7）：
+ * intension 一律走 generalize/formatPoly（HOF fnRels 在这里）；
+ * typeText 仍落 B-path Abs（调用点显示结果类型，不是函数签名）。
+ * 禁止用 B-path 的 arity-only fn Abs 冒充权威关系源。
+ *
+ * A7 default 档：函数名 hover 附带 interfaceTierOf 来源 + 契约展示，
+ * 与 CodeLens `● interface / <source>` 同源；选 case 时 body 仍走
+ * activeCases 重放，interface 档标注不变。
+ */
+declare function getHoverAtPosition(filePath: string, source: string, line: number, column: number, activeCases?: Map<string, number>, opts?: HoverInterfaceOpts): HoverInfo | null;
+declare function getCompletionsAtPosition(filePath: string, source: string, line: number, column: number): CompletionItem[];
+
+/**
+ * Semantic tokens 图例（tokenTypes 下标即 LSP 编码里的 tokenType 值）。
+ * 与 LSP server capabilities 里声明的 legend 必须逐字对齐——server.ts 直接
+ * 导入本常量注册，保证「提取端索引」与「客户端图例」单一来源。
+ * 顺序沿用 lsp 包原 legend（function/variable/parameter/property 在前），
+ * 末尾追加 method（对象字面量方法键）与 interface 档 modifier（A7），
+ * 只追加不重排，客户端索引稳定。
+ */
+declare const SEMANTIC_TOKEN_TYPES: readonly ["function", "variable", "parameter", "property", "type", "keyword", "string", "number", "comment", "decorator", "method"];
+declare const SEMANTIC_TOKEN_MODIFIERS: readonly ["declaration", "readonly", "deprecated", "unreachable", "contract", "generated", "derived"];
+type SemanticToken = {
+    line: number;
+    char: number;
+    length: number;
+    typeIndex: number;
+    modifierBitmask: number;
+};
+/** LSP 标准相对五元组编码：deltaLine/deltaStartChar/length/tokenType/tokenModifiers。 */
+declare function encodeSemanticTokens(tokens: SemanticToken[]): number[];
+/** A7：interface 档 → semantic token modifier（与 CodeLens 同源） */
+declare function interfaceTierModifierBit(src: InterfaceSource): number;
+type BuildSemanticTokensOpts = InterfaceTierOpts & {
+    loadModule?: (spec: string, fromFile: string) => string | undefined;
+};
+/**
+ * 从源码提取 semantic tokens 并按 LSP 相对编码返回扁平 number[]。
+ *
+ * 上色范围（声明位优先，未解析的 token 一律不上色）：
+ * - 顶层 const/let/var 声明的绑定名：推断为函数绑定 → function，否则 variable
+ *   （函数体内部的声明不做 env 反查——外层同名绑定会串味，统一 variable）；
+ * - 函数声明/函数表达式的名字 → function；所有函数的参数 → parameter；
+ * - 对象字面量的键：值为函数 → method，否则 property。
+ *
+ * A7：本地 named export 的函数绑定额外带 interface 档 modifier
+ * （contract / generated / derived），与 CodeLens `● interface` 同源。
+ * 非导出绑定只带 declaration，不假装进档。
+ *
+ * 推断优先 Abs 模块图绑定（TypeValue 退出主路径）；失败时复用
+ * evaluateProgram。解析失败返回 []。
+ */
+declare function buildSemanticTokens(filePath: string, source: string, opts?: BuildSemanticTokensOpts): number[];
+
+export { type BuildSemanticTokensOpts, type CaseInfo, type HoverInfo, SEMANTIC_TOKEN_MODIFIERS, SEMANTIC_TOKEN_TYPES, type SemanticToken, buildSemanticTokens, encodeSemanticTokens, getAbsAtPosition, getAbsAtPositionAsync, getCasesForFile, getCompletionsAtPosition, getHoverAtPosition, getTypeAtPosition, getTypeAtPositionAsync, interfaceTierModifierBit };

package/dist/lsp.js

@@ -0,0 +1,36 @@
+import {
+  SEMANTIC_TOKEN_MODIFIERS,
+  SEMANTIC_TOKEN_TYPES,
+  buildSemanticTokens,
+  encodeSemanticTokens,
+  getAbsAtPosition,
+  getAbsAtPositionAsync,
+  getCasesForFile,
+  getCompletionsAtPosition,
+  getHoverAtPosition,
+  getTypeAtPosition,
+  getTypeAtPositionAsync,
+  interfaceTierModifierBit
+} from "./chunk-E4N4A4JV.js";
+import "./chunk-QAFMPM2E.js";
+import "./chunk-U7JYTRIB.js";
+import "./chunk-YLALZXTZ.js";
+import "./chunk-PVJIMQRI.js";
+
+// src/lsp.ts
+import { collectAbsInlays } from "@nudojs/core/internal";
+export {
+  SEMANTIC_TOKEN_MODIFIERS,
+  SEMANTIC_TOKEN_TYPES,
+  buildSemanticTokens,
+  collectAbsInlays,
+  encodeSemanticTokens,
+  getAbsAtPosition,
+  getAbsAtPositionAsync,
+  getCasesForFile,
+  getCompletionsAtPosition,
+  getHoverAtPosition,
+  getTypeAtPosition,
+  getTypeAtPositionAsync,
+  interfaceTierModifierBit
+};

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@nudojs/service",
-  "version": "3.0.0",
+  "version": "5.0.0-beta.0",
   "engines": {
     "node": ">=20"
   },
@@ -22,6 +22,30 @@
       "types": "./dist/index.d.ts",
       "default": "./dist/index.js"
     },
+    "./analysis": {
+      "types": "./dist/analysis.d.ts",
+      "default": "./dist/analysis.js"
+    },
+    "./interface": {
+      "types": "./dist/interface.d.ts",
+      "default": "./dist/interface.js"
+    },
+    "./dts": {
+      "types": "./dist/dts.d.ts",
+      "default": "./dist/dts.js"
+    },
+    "./case": {
+      "types": "./dist/case.d.ts",
+      "default": "./dist/case.js"
+    },
+    "./lsp": {
+      "types": "./dist/lsp.d.ts",
+      "default": "./dist/lsp.js"
+    },
+    "./harvest": {
+      "types": "./dist/harvest.d.ts",
+      "default": "./dist/harvest.js"
+    },
     "./evaluator": {
       "types": "./dist/evaluator/evaluator-api.d.ts",
       "default": "./dist/evaluator/evaluator-api.js"
@@ -43,14 +67,14 @@
     "registry": "https://registry.npmjs.org"
   },
   "dependencies": {
-    "@babel/traverse": "^7.29.0",
-    "@babel/types": "^7.29.0",
-    "@nudojs/core": "2.0.1",
-    "@nudojs/parser": "0.5.1",
-    "@nudojs/env": "0.4.0",
-    "@nudojs/harvester": "0.2.6"
+    "@babel/traverse": "^8.0.6",
+    "@babel/types": "^8.0.6",
+    "@nudojs/parser": "1.1.0-beta.0",
+    "@nudojs/core": "3.0.0-beta.0",
+    "@nudojs/env": "0.4.2-beta.0",
+    "@nudojs/harvester": "0.2.8-beta.0"
   },
   "scripts": {
-    "build": "tsup src/index.ts src/evaluator/evaluator-api.ts --format esm --dts"
+    "build": "tsup src/index.ts src/analysis.ts src/interface.ts src/dts.ts src/case.ts src/lsp.ts src/harvest.ts src/evaluator/evaluator-api.ts --format esm --dts"
   }
 }