@nudojs/lsp 0.8.0 → 1.1.0

package/dist/public-api.d.ts

@@ -0,0 +1,45 @@
+/**
+ * Freeze inventory for `@nudojs/lsp` public surface (A1/A7).
+ *
+ * Pure constants — importable without starting the language server
+ * (`server.ts` has side effects on import). Human-readable inventory:
+ * `packages/lsp/PUBLIC_API.md`.
+ *
+ * Protocol contract:
+ * - executeCommand uses **dot** form: `nudo.check`
+ * - custom requests use **slash** form: `nudo/check` (canonical protocol)
+ * - every slash-form agent request has a matching executeCommand name
+ *
+ * Product names match CLI verbs (design-cli-semantics): check / test /
+ * contract / export / health. There are no protocol aliases.
+ */
+/** workspace/executeCommand names (dot form) — declared on initialize */
+declare const NUDO_EXECUTE_COMMANDS: readonly ["nudo.whatIf", "nudo.suggestCase", "nudo.trace", "nudo.check", "nudo.hover", "nudo.test", "nudo.contract", "nudo.contract.draft", "nudo.contract.emit", "nudo.selectCase", "nudo.getActiveCases"];
+/**
+ * Custom LSP request method names (slash form) — the protocol contract.
+ * Agent tools also register the dot-form method for MCP bridges.
+ */
+declare const NUDO_SLASH_REQUESTS: readonly ["nudo/selectCase", "nudo/getActiveCases", "nudo/whatIf", "nudo/suggestCase", "nudo/trace", "nudo/check", "nudo/hover", "nudo/test", "nudo/contract", "nudo/contract.draft", "nudo/contract.emit"];
+/**
+ * Agent-tool names shared by executeCommand / slash requests / AGENT_TOOL_SOURCES.
+ * `codeLens` is server-computed only (no command/request); `selectCase` /
+ * `getActiveCases` are editor commands, not agent tools.
+ */
+declare const NUDO_AGENT_TOOL_NAMES: readonly ["whatIf", "suggestCase", "trace", "check", "hover", "test", "contract", "contract.draft", "contract.emit"];
+/** Capability keys declared in connection.onInitialize */
+declare const NUDO_INITIALIZE_CAPABILITIES: readonly ["textDocumentSync", "hoverProvider", "completionProvider", "codeLensProvider", "inlayHintProvider", "definitionProvider", "referencesProvider", "renameProvider", "documentSymbolProvider", "workspaceSymbolProvider", "codeActionProvider", "signatureHelpProvider", "semanticTokensProvider", "executeCommandProvider", "diagnosticProvider"];
+/** Slash-form → matching executeCommand (dot form) */
+declare function slashToExecuteCommand(slash: string): string;
+/** npm package public surface (mirrors packages/lsp/package.json) */
+declare const NUDO_LSP_PACKAGE_SURFACE: {
+    readonly name: "@nudojs/lsp";
+    readonly bin: "nudo-lsp";
+    readonly entry: ".";
+    readonly entryPath: "./dist/server.js";
+    readonly files: readonly ["dist"];
+    /** Machine-readable freeze inventory (no server side effects). */
+    readonly publicApiExport: "./public-api";
+    readonly publicApiPath: "./dist/public-api.js";
+};
+
+export { NUDO_AGENT_TOOL_NAMES, NUDO_EXECUTE_COMMANDS, NUDO_INITIALIZE_CAPABILITIES, NUDO_LSP_PACKAGE_SURFACE, NUDO_SLASH_REQUESTS, slashToExecuteCommand };

package/dist/public-api.js

@@ -0,0 +1,82 @@
+import { createRequire as __nudoCreateRequire } from "module";
+import { fileURLToPath as __nudoFileURLToPath } from "url";
+const require = __nudoCreateRequire(import.meta.url);
+const __filename = __nudoFileURLToPath(import.meta.url);
+const __dirname = __nudoFileURLToPath(new URL(".", import.meta.url));
+
+// src/public-api.ts
+var NUDO_EXECUTE_COMMANDS = [
+  "nudo.whatIf",
+  "nudo.suggestCase",
+  "nudo.trace",
+  "nudo.check",
+  "nudo.hover",
+  "nudo.test",
+  "nudo.contract",
+  "nudo.contract.draft",
+  "nudo.contract.emit",
+  "nudo.selectCase",
+  "nudo.getActiveCases"
+];
+var NUDO_SLASH_REQUESTS = [
+  "nudo/selectCase",
+  "nudo/getActiveCases",
+  "nudo/whatIf",
+  "nudo/suggestCase",
+  "nudo/trace",
+  "nudo/check",
+  "nudo/hover",
+  "nudo/test",
+  "nudo/contract",
+  "nudo/contract.draft",
+  "nudo/contract.emit"
+];
+var NUDO_AGENT_TOOL_NAMES = [
+  "whatIf",
+  "suggestCase",
+  "trace",
+  "check",
+  "hover",
+  "test",
+  "contract",
+  "contract.draft",
+  "contract.emit"
+];
+var NUDO_INITIALIZE_CAPABILITIES = [
+  "textDocumentSync",
+  "hoverProvider",
+  "completionProvider",
+  "codeLensProvider",
+  "inlayHintProvider",
+  "definitionProvider",
+  "referencesProvider",
+  "renameProvider",
+  "documentSymbolProvider",
+  "workspaceSymbolProvider",
+  "codeActionProvider",
+  "signatureHelpProvider",
+  "semanticTokensProvider",
+  "executeCommandProvider",
+  "diagnosticProvider"
+];
+function slashToExecuteCommand(slash) {
+  return slash.replace(/^nudo\//, "nudo.");
+}
+var NUDO_LSP_PACKAGE_SURFACE = {
+  name: "@nudojs/lsp",
+  bin: "nudo-lsp",
+  entry: ".",
+  entryPath: "./dist/server.js",
+  files: ["dist"],
+  /** Machine-readable freeze inventory (no server side effects). */
+  publicApiExport: "./public-api",
+  publicApiPath: "./dist/public-api.js"
+};
+export {
+  NUDO_AGENT_TOOL_NAMES,
+  NUDO_EXECUTE_COMMANDS,
+  NUDO_INITIALIZE_CAPABILITIES,
+  NUDO_LSP_PACKAGE_SURFACE,
+  NUDO_SLASH_REQUESTS,
+  slashToExecuteCommand
+};

package/dist/server.d.ts

@@ -1,10 +1,18 @@
 #!/usr/bin/env node
+import { TextDocuments, Connection } from 'vscode-languageserver/node';
+import { TextDocument } from 'vscode-languageserver-textdocument';
+
+/** Wiring result: documents store + transport start (bin entry calls listen). */
+type NudoServerHandle = {
+    documents: TextDocuments<TextDocument>;
+    /** Start the JSON-RPC transport. Not called in tests. */
+    listen: () => void;
+};
 /**
- * watched-files 删除事件监听器：接收「被删除且不在打开集」的 uri 列表。
- * 缓存逐出等后续逻辑通过 registerWatchedFilesListener 挂到这里。
+ * Register the full Nudo LSP surface on `connection`.
+ * Importable without side effects — the real transport (`createConnection`)
+ * is created only by the bin entry below.
  */
-declare const watchedFilesListeners: Array<(uris: string[]) => void>;
-/** 注册 watched-files 监听器，返回注销函数。 */
-declare function registerWatchedFilesListener(listener: (uris: string[]) => void): () => void;
+declare function createNudoServer(connection: Connection): NudoServerHandle;
 
-export { registerWatchedFilesListener, watchedFilesListeners };
+export { type NudoServerHandle, createNudoServer };