@nudojs/lsp 0.8.0 → 1.1.0

package/README.md

@@ -4,7 +4,9 @@ Language Server Protocol implementation for the [Nudo](https://github.com/nudojs
 
 ## What is Nudo?
 
-Nudo is a type inference engine for JavaScript. Instead of a separate type system, it runs your code with symbolic type values via abstract interpretation — no TypeScript, no build step.
+Nudo is a type inference engine for JavaScript. The type system is Abs (`shape × term × pred × conf`); production analysis is Abs-native. Inference executes observed call sites via abstract interpretation — no TypeScript, no build step. Contracts come from `*.nudo.js` sidecars + `@nudo:contract` / `@nudo:contract`.
+
+Primary CLI verbs for agents/CI: `nudo check` (signatures + gate), `nudo test` (case report), `nudo contract` (interfaces), `nudo export` (dts/guard/schema/standard), `nudo health` (drift). Observation is check/test/IDE hover.
 
 ## This package
 
@@ -12,8 +14,8 @@ Nudo is a type inference engine for JavaScript. Instead of a separate type syste
 
 - Hover type information
 - Completions based on inferred types
-- Diagnostics from abstract interpretation
-- Case navigation for `@nudo:case` directives
+- Diagnostics from abstract interpretation (L1 contracts + L2 entry throws)
+- Debug scenario navigation for `@nudo:case` witnesses (contract CodeLens first; case is the debug sub-layer)
 - Go-to-Definition
 - Find References
 - Rename Symbol

package/dist/index.d.ts

@@ -0,0 +1,101 @@
+import { InterfaceSource, Abs, InterfaceTierOpts } from '@nudojs/core';
+import { SourceLocation, CompletionItem } from '@nudojs/service';
+
+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 };