@nudojs/lsp 0.8.1 → 1.1.0

package/dist/public-api.d.ts

@@ -9,22 +9,23 @@
  * - 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.infer", "nudo.interface", "nudo.interface.draft", "nudo.interfaceDraft", "nudo.interfaceEmit", "nudo.interface.emit", "nudo.selectCase", "nudo.getActiveCases"];
+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 as an alias for MCP bridges.
+ * 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/infer", "nudo/interface", "nudo/interface.draft", "nudo/interface.emit"];
+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", "infer", "interface", "interface.draft", "interface.emit"];
-/** executeCommand aliases kept for CodeLens / Marketplace command palette */
-declare const NUDO_COMMAND_ALIASES: Readonly<Record<string, string>>;
+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) */
@@ -41,4 +42,4 @@ declare const NUDO_LSP_PACKAGE_SURFACE: {
     readonly publicApiPath: "./dist/public-api.js";
 };
 
-export { NUDO_AGENT_TOOL_NAMES, NUDO_COMMAND_ALIASES, NUDO_EXECUTE_COMMANDS, NUDO_INITIALIZE_CAPABILITIES, NUDO_LSP_PACKAGE_SURFACE, NUDO_SLASH_REQUESTS, slashToExecuteCommand };
+export { NUDO_AGENT_TOOL_NAMES, NUDO_EXECUTE_COMMANDS, NUDO_INITIALIZE_CAPABILITIES, NUDO_LSP_PACKAGE_SURFACE, NUDO_SLASH_REQUESTS, slashToExecuteCommand };

package/dist/public-api.js

@@ -11,12 +11,10 @@ var NUDO_EXECUTE_COMMANDS = [
   "nudo.trace",
   "nudo.check",
   "nudo.hover",
-  "nudo.infer",
-  "nudo.interface",
-  "nudo.interface.draft",
-  "nudo.interfaceDraft",
-  "nudo.interfaceEmit",
-  "nudo.interface.emit",
+  "nudo.test",
+  "nudo.contract",
+  "nudo.contract.draft",
+  "nudo.contract.emit",
   "nudo.selectCase",
   "nudo.getActiveCases"
 ];
@@ -28,10 +26,10 @@ var NUDO_SLASH_REQUESTS = [
   "nudo/trace",
   "nudo/check",
   "nudo/hover",
-  "nudo/infer",
-  "nudo/interface",
-  "nudo/interface.draft",
-  "nudo/interface.emit"
+  "nudo/test",
+  "nudo/contract",
+  "nudo/contract.draft",
+  "nudo/contract.emit"
 ];
 var NUDO_AGENT_TOOL_NAMES = [
   "whatIf",
@@ -39,15 +37,11 @@ var NUDO_AGENT_TOOL_NAMES = [
   "trace",
   "check",
   "hover",
-  "infer",
-  "interface",
-  "interface.draft",
-  "interface.emit"
+  "test",
+  "contract",
+  "contract.draft",
+  "contract.emit"
 ];
-var NUDO_COMMAND_ALIASES = {
-  "nudo.interfaceDraft": "nudo.interface.draft",
-  "nudo.interfaceEmit": "nudo.interface.emit"
-};
 var NUDO_INITIALIZE_CAPABILITIES = [
   "textDocumentSync",
   "hoverProvider",
@@ -80,7 +74,6 @@ var NUDO_LSP_PACKAGE_SURFACE = {
 };
 export {
   NUDO_AGENT_TOOL_NAMES,
-  NUDO_COMMAND_ALIASES,
   NUDO_EXECUTE_COMMANDS,
   NUDO_INITIALIZE_CAPABILITIES,
   NUDO_LSP_PACKAGE_SURFACE,

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 };