@nudojs/lsp 0.4.0 → 0.4.1

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@nudojs/lsp",
-  "version": "0.4.0",
+  "version": "0.4.1",
   "description": "Language Server Protocol implementation for the Nudo type inference engine",
   "type": "module",
   "license": "MIT",
@@ -11,7 +11,17 @@
     "lsp",
     "language-server"
   ],
-  "main": "src/server.ts",
+  "main": "./dist/server.js",
+  "types": "./dist/server.d.ts",
+  "exports": {
+    ".": {
+      "types": "./dist/server.d.ts",
+      "default": "./dist/server.js"
+    }
+  },
+  "files": [
+    "dist"
+  ],
   "repository": {
     "type": "git",
     "url": "git+https://github.com/nudojs/nudo.git",
@@ -27,9 +37,9 @@
   "dependencies": {
     "vscode-languageserver": "^9.0.0",
     "vscode-languageserver-textdocument": "^1.0.0",
-    "@nudojs/service": "0.3.0",
-    "@nudojs/core": "0.3.0",
-    "@nudojs/parser": "0.3.0"
+    "@nudojs/service": "0.3.1",
+    "@nudojs/core": "0.3.1",
+    "@nudojs/parser": "0.3.1"
   },
   "scripts": {
     "build": "tsup src/server.ts --format esm --dts"

package/CHANGELOG.md

@@ -1,63 +0,0 @@
-# @nudojs/lsp
-
-## 0.4.0
-
-### Minor Changes
-
-- 5786fa5: Promote the B-path (transpile + in-process Abs runtime) to the primary evaluation path for capable sources.
-
-  - Module graph now supports relative imports, bare-package harvest, default/namespace imports, re-exports, `export *`, require, cycle/depth/missing guards, and env modules (`path` / `node:path` etc.).
-  - Diagnostics, `@nudo:env` / mock injection, `call@` / `entry@` provenance, method-missing, unknown-recv, generators, classes, async/await, optional chaining, and destructuring run through B.
-  - When B hosts a file, `evaluateProgram` is skipped so TypeValue no longer double-reports.
-  - CLI `check` / `types` / `test` accept directories; check uses an Abs-only gate.
-  - LSP hover / `getTypeAtPosition` on capable files read the Abs node table; `*.nudo.js` edits evict L0 and recheck open parents.
-  - Public core surface now re-exports the algebra API (`Abs`, check, generalize, exec, bridge, `parseSource`, `stripTypes`).
-
-### Patch Changes
-
-- Updated dependencies [5786fa5]
-- Updated dependencies [5786fa5]
-- Updated dependencies [5786fa5]
-  - @nudojs/core@0.3.0
-  - @nudojs/service@0.3.0
-  - @nudojs/parser@0.3.0
-
-## 0.3.0
-
-### Minor Changes
-
-- 0fd0718: Merge the three environment packages into one: `@nudojs/env-es`, `@nudojs/env-web`, `@nudojs/env-node` are replaced by a single `@nudojs/env` package with subpath exports `@nudojs/env/es`, `@nudojs/env/web`, `@nudojs/env/node`.
-
-  Move agent-facing tools from the standalone MCP server into the language server: `@nudojs/mcp` is removed. `@nudojs/lsp` now exposes `nudo.whatIf`, `nudo.suggestCase`, `nudo.trace`, `nudo.selectCase`, and `nudo.getActiveCases` via `workspace/executeCommand` (custom-request aliases `nudo/whatIf` etc. included), adds pull-mode diagnostics, and works on files that are not open in the editor (disk fallback). `nudo.whatIf` now actually applies the given type bindings — previously they were ignored. AI agents connect through any LSP↔MCP bridge (cclsp, mcpls, agent-lsp) or a native LSP client; an installable agent skill ships at `packages/lsp/agent-skill/SKILL.md`.
-
-### Patch Changes
-
-- @nudojs/service@0.2.1
-
-## 0.2.0
-
-### Minor Changes
-
-- 6c38283: docs and ci
-- 9f7f819: fix pkg info
-- c175f71: version
-
-### Patch Changes
-
-- Updated dependencies [6c38283]
-- Updated dependencies [9f7f819]
-- Updated dependencies [c175f71]
-  - @nudojs/core@0.2.0
-  - @nudojs/service@0.2.0
-
-## 0.1.0
-
-### Minor Changes
-
-- Conceptual design and basic implementation.
-
-### Patch Changes
-
-- Updated dependencies
-  - @nudojs/core@0.1.0
-  - @nudojs/service@0.1.0

package/agent-skill/SKILL.md

@@ -1,82 +0,0 @@
----
-name: nudo
-description: Query precise JavaScript types by abstract interpretation — use when the project uses Nudo (@nudo: directives) and you need the inferred type of a variable or expression, a function's input→output type trace, what-if type hypotheses, case coverage, or type diagnostics for a .js file.
----
-
-# Nudo — type inference for JavaScript
-
-Nudo is a comment-driven type inference engine for plain JavaScript. It derives types by **executing** code with symbolic type values (`T.number`, `T.string`) instead of requiring TypeScript annotations: functions marked with `@nudo:case` directives are run under abstract interpretation, and unmarked functions get cases synthesized from their call sites (whole-program inference). Ask Nudo instead of guessing what a refactor does to types.
-
-## Install and connect
-
-Nudo's agent face lives in its language server. Install it in the user's project (or globally):
-
-```bash
-npm i @nudojs/lsp          # project-local; or: npm i -g @nudojs/lsp
-```
-
-The server speaks LSP over stdio:
-
-```bash
-node node_modules/@nudojs/lsp/src/server.ts   # Node >= 22.18; on older Node: npx tsx <path>
-```
-
-Three ways to connect (details in the [Agent Integration Guide](https://nudojs.github.io/nudo/docs/guides/mcp-server)):
-
-1. **Generic LSP→MCP bridge** (cclsp, mcpls, agent-lsp) — registers Nudo as the language server for `.js` files; verify the bridge passes through `workspace/executeCommand`.
-2. **Native LSP client** — spawn the server over stdio, `initialize`, then call `workspace/executeCommand` (or the custom request aliases below).
-3. **VS Code / Cursor** — the `nudo-vscode` extension launches the server automatically.
-
-## Command cheat sheet
-
-All commands are available as `workspace/executeCommand` (dot form) and as custom LSP requests (slash form); agents use the `file` parameter everywhere (accepts a `file://` URI or a bare path). Editor extensions call the `nudo/selectCase` / `nudo/getActiveCases` requests with editor-style `uri` params instead — same handlers. Files that are not open in an editor are read from disk. `whatIf`, `suggestCase`, and `trace` return MCP-style text content — `{ content: [{ type: "text", text }] }`.
-
-| Command (request alias) | Arguments (JSON) | Returns |
-|---|---|---|
-| `nudo.whatIf` (`nudo/whatIf`) | `{ "file": "src/config.js", "bindings": [{ "name": "raw", "type": "string" }], "target": "size" }` | Text: the inferred type of `target` **under the assumed bindings** — e.g. `Type of "size": number`; bindings match top-level declarations only |
-| `nudo.trace` (`nudo/trace`) | `{ "file": "src/app.js", "functionName": "parse" }` | Text: one line per case, e.g. `Input: (T.string) => Output: number` |
-| `nudo.suggestCase` (`nudo/suggestCase`) | `{ "file": "src/app.js", "functionName": "parse" }` | Text: paste-ready `@nudo:case` directives when every case is call-site synthesized, e.g. `Function "parse" has 2 synthesized case(s); suggested directives:`; otherwise the current case count, e.g. `Function "parse" already has 3 case(s)`, or a suggested `@nudo:case` directive |
-| `nudo.selectCase` (`nudo/selectCase`) | `{ "file": "src/app.js", "functionName": "parse", "caseIndex": 1 }` | `{ "success": true }` — switches the active case (affects hover/diagnostics until changed back) |
-| `nudo.getActiveCases` (`nudo/getActiveCases`) | `{ "file": "src/app.js" }` | `{ "parse": 1, "greet": 0 }` — active case index per function |
-
-Diagnostics (failed `@nudo:refine` assertions, unreachable code, …) are available as LSP diagnostics — push (`textDocument/publishDiagnostics`) and pull (`textDocument/diagnostic`).
-
-## What-if workflow
-
-The signature move: hypothesize a type for a top-level binding, observe what another binding becomes — without editing any source.
-
-```js
-// src/config.js
-const raw = readInput();
-const size = raw.length;
-```
-
-Assume `raw` is a string, ask what `size` is:
-
-```json
-{
-  "command": "nudo.whatIf",
-  "arguments": [{
-    "file": "src/config.js",
-    "bindings": [{ "name": "raw", "type": "string" }],
-    "target": "size"
-  }]
-}
-```
-
-→ `Type of "size": number`. Then flip the hypothesis (`"type": "string | null"`) and re-ask: the same `size` now reports `unknown`, because the null arm can propagate through `.length`. Use this to preview refactors, validate an API's return type before calling it, or compare how alternative type assumptions ripple through downstream code.
-
-Bindings only match **top-level declarations** (`const`/`let`/`var`/`function`) in the file. A function parameter name does not resolve — you get `Type of "...": unknown` plus `Bindings not applied (no top-level declaration found): x` in the reply.
-
-## Type expression syntax
-
-`bindings[].type` accepts a primitive or a `|`-separated union of primitives:
-
-- `number`, `string`, `boolean`, `null`, `undefined`, `bigint`, `symbol`
-- Unions: `string | null`, `number | string`
-
-## Notes
-
-- **Unopened files use disk state.** If the file is not open in a connected editor, analysis runs on the on-disk content; edits the user has not saved are invisible.
-- Commands that report types reflect Nudo's inference, which follows runtime semantics (e.g. `Number("")` is `0`, not an error) — trust them over guesswork, but remember they describe the current code, not the user's intent.
-- Whole-program inference means every function with inferable call sites already has cases. When all of them are call-site synthesized, `suggestCase` returns ready-to-paste `@nudo:case` directive text (paste it above the function); `already has N case(s)` (handwritten or entry-only cases) is the normal report for the rest, not an error.

package/src/__tests__/agent-check.test.ts

@@ -1,47 +0,0 @@
-import { describe, it, expect } from "vitest";
-import { checkTool } from "../agent-tools.ts";
-
-const STD = `
-export const positive = number().gt(0);
-export const delay = number().gt(0);
-`;
-
-const src = `
-/// @nudo:import { positive } from "./std.nudo.js"
-/**
- * @nudo:refine x positive
- */
-function needsPositive(x) {
-  if (x > 0) return x;
-  return 0;
-}
-needsPositive(-1);
-`;
-
-const loadModule = (spec: string) =>
-  spec.includes("std.nudo") ? STD : undefined;
-
-describe("nudo.check agent tool", () => {
-  it("returns CheckJson v1 in json format", () => {
-    const r = checkTool(
-      { file: "/t/a.js", source: src, format: "json", loadModule },
-      { readFile: () => src },
-    );
-    const parsed = JSON.parse(r.content[0].text);
-    expect(parsed.version).toBe(1);
-    expect(parsed.ok).toBe(false);
-    expect(parsed.issues.some((i: { code: string }) => i.code === "nudo:constraint-violated")).toBe(true);
-  });
-
-  it("text format includes actual/expected", () => {
-    const r = checkTool(
-      { file: "/t/a.js", source: src, loadModule },
-      { readFile: () => src },
-    );
-    const text = r.content[0].text;
-    expect(text).toContain("FAILED");
-    expect(text).toContain("actual");
-    expect(text).toContain("expected");
-    expect(text).toContain('"version": 1');
-  });
-});

package/src/__tests__/agent-hover.test.ts

@@ -1,28 +0,0 @@
-import { describe, it, expect } from "vitest";
-import { hoverTool } from "../agent-tools.ts";
-
-describe("nudo.hover agent tool", () => {
-  it("returns lossless abs at position", () => {
-    const src = `const x = 1 + 2;\n`;
-    // col of `2` is 14 (0-based)
-    const r = hoverTool(
-      { file: "/t/h.js", line: 1, column: 14, source: src },
-      { readFile: () => src },
-    );
-    const payload = JSON.parse(r.content[0].text);
-    expect(payload.abs).toBeDefined();
-    expect(payload.abs).toContain("2");
-    expect(payload).toHaveProperty("ext");
-  });
-
-  it("can include inlays", () => {
-    const src = `function needsPositive(x) {\n  if (x > 0) return x;\n  return 0;\n}\n`;
-    const r = hoverTool(
-      { file: "/t/i.js", line: 1, column: 9, source: src, includeInlays: true },
-      { readFile: () => src },
-    );
-    const payload = JSON.parse(r.content[0].text);
-    expect(Array.isArray(payload.inlays)).toBe(true);
-    expect(payload.inlays.length).toBeGreaterThan(0);
-  });
-});

package/src/__tests__/agent-infer.test.ts

@@ -1,38 +0,0 @@
-import { describe, it, expect } from "vitest";
-import { inferTool } from "../agent-tools.ts";
-
-describe("nudo.infer agent tool", () => {
-  const src = `function scale(x) { return x + 1; }\n`;
-
-  it("returns InferJson v1 with abs intension", () => {
-    const r = inferTool(
-      { file: "/t/scale.js", source: src, format: "json" },
-      { readFile: () => src },
-    );
-    const json = JSON.parse(r.content[0].text);
-    expect(json.version).toBe(1);
-    expect(json.functions[0].name).toBe("scale");
-    expect(json.functions[0].cases[0].intension.abs).toContain("#");
-  });
-
-  it("text format lists abs lines", () => {
-    const r = inferTool({ file: "/t/scale.js", source: src }, { readFile: () => src });
-    const text = r.content[0].text;
-    expect(text).toContain("scale");
-    expect(text).toContain("abs:");
-    expect(text).toContain('"version": 1');
-  });
-
-  it("filters by function name", () => {
-    const multi = `
-function a(x) { return x; }
-function b(x) { return x + 1; }
-`;
-    const r = inferTool(
-      { file: "/t/m.js", source: multi, format: "json", functions: ["b"] },
-      { readFile: () => multi },
-    );
-    const json = JSON.parse(r.content[0].text);
-    expect(json.functions.map((f: { name: string }) => f.name)).toEqual(["b"]);
-  });
-});

package/src/__tests__/check-diagnostics.test.ts

@@ -1,46 +0,0 @@
-import { describe, it, expect } from "vitest";
-import { clearValidationState, checkToLspDiagnostics, validateText } from "../validation.ts";
-
-const STD = `
-export const positive = number().gt(0);
-`;
-
-const src = `
-/// @nudo:import { positive } from "./std.nudo.js"
-/**
- * @nudo:refine x positive
- */
-function needsPositive(x) {
-  if (x > 0) return x;
-  return 0;
-}
-needsPositive(-1);
-`;
-
-const loadModule = (spec: string) =>
-  spec.includes("std.nudo") ? STD : undefined;
-
-describe("Abs check as LSP diagnostics", () => {
-  it("maps constraint violations to nudo-check diagnostics", () => {
-    const diags = checkToLspDiagnostics("/t/check.js", src, loadModule);
-    expect(diags.length).toBeGreaterThan(0);
-    const d = diags[0]!;
-    expect(d.source).toBe("nudo-check");
-    expect(d.code).toBe("nudo:constraint-violated");
-    expect(d.message).toContain("actual");
-    expect(d.message).toContain("expected");
-  });
-
-  it("validateText publishes check diags first", async () => {
-    clearValidationState();
-    let sent: { source?: string; code?: string }[] = [];
-    await validateText("/t/check2.js", "file:///t/check2.js", src, 1, {
-      sendDiagnostics: (p) => {
-        sent = p.diagnostics.map((d) => ({ source: d.source, code: d.code as string }));
-      },
-    });
-    // validateText 用磁盘 loadModule；虚拟路径下无 std.nudo.js → 无 check diags 也可
-    // 至少不崩溃
-    expect(Array.isArray(sent)).toBe(true);
-  });
-});

package/src/__tests__/definition.test.ts

@@ -1,32 +0,0 @@
-import { describe, it, expect } from "vitest";
-import { parse } from "@nudojs/parser";
-import { buildSymbolTable, findDefinition, findReferences } from "../symbols.ts";
-
-describe("symbol table", () => {
-  it("finds function definition", () => {
-    const source = `function add(a, b) { return a + b; }`;
-    const ast = parse(source);
-    const table = buildSymbolTable(ast, "file:///test.js");
-    const def = findDefinition(table, "add");
-    expect(def).not.toBeNull();
-    expect(def!.kind).toBe("function");
-    expect(def!.loc.start.line).toBe(1);
-  });
-
-  it("finds variable definition", () => {
-    const source = `const x = 42;`;
-    const ast = parse(source);
-    const table = buildSymbolTable(ast, "file:///test.js");
-    const def = findDefinition(table, "x");
-    expect(def).not.toBeNull();
-    expect(def!.kind).toBe("variable");
-  });
-
-  it("collects references", () => {
-    const source = `const x = 42; const y = x + 1;`;
-    const ast = parse(source);
-    const table = buildSymbolTable(ast, "file:///test.js");
-    const refs = table.references.filter((r) => r.name === "x");
-    expect(refs.length).toBeGreaterThan(0);
-  });
-});