@formspec/language-server 0.1.0-alpha.19 → 0.1.0-alpha.20

package/dist/language-server.d.ts

@@ -6,9 +6,9 @@
  * `@Maximum`, `@Pattern`, etc.) in TypeScript files.
  *
  * This package implements the Language Server Protocol (LSP) using the
- * `vscode-languageserver` library. Constraint names are sourced from
- * `BUILTIN_CONSTRAINT_DEFINITIONS` in `@formspec/core`, ensuring the
- * language server stays in sync with the single source of truth.
+ * `vscode-languageserver` library. Cheap syntax-local behaviors stay in the
+ * LSP process, while TypeScript-project-aware semantics are supplied by
+ * `@formspec/ts-plugin` over a local manifest + IPC transport.
  *
  * Diagnostics are intentionally omitted per design decision A7.
  *
@@ -25,7 +25,7 @@
 
 import { CompletionItem } from 'vscode-languageserver/node.js';
 import { Connection } from 'vscode-languageserver/node.js';
-import { ExtensionDefinition } from '@formspec/core';
+import type { ExtensionDefinition } from '@formspec/core';
 import type { Hover } from 'vscode-languageserver/node.js';
 import type { Location } from 'vscode-languageserver/node.js';
 
@@ -36,24 +36,30 @@ import type { Location } from 'vscode-languageserver/node.js';
  * Call `connection.listen()` to start accepting messages.
  *
  * @returns The configured LSP connection (not yet listening)
+ * @public
  */
 export declare function createServer(options?: CreateServerOptions): Connection;
 
+/**
+ * Public configuration for constructing the FormSpec language server.
+ *
+ * @public
+ */
 export declare interface CreateServerOptions {
     /** Optional extension definitions whose custom tags should be surfaced by tooling. */
     readonly extensions?: readonly ExtensionDefinition[];
+    /** Optional workspace roots to use before initialize() provides them. */
+    readonly workspaceRoots?: readonly string[];
+    /** Set to false to disable tsserver-plugin semantic enrichment. */
+    readonly usePluginTransport?: boolean;
+    /** IPC timeout, in milliseconds, for semantic plugin requests. */
+    readonly pluginQueryTimeoutMs?: number;
 }
 
 /**
- * Returns completion items for all FormSpec JSDoc constraint tags.
+ * Returns the full set of tag-name completions currently known to FormSpec.
  *
- * Items are derived from `BUILTIN_CONSTRAINT_DEFINITIONS`, ensuring this list
- * stays in sync with the single source of truth in `@formspec/core`.
- *
- * Each item uses `CompletionItemKind.Keyword` since these are annotation
- * tags used within JSDoc comments rather than language symbols.
- *
- * @returns An array of LSP completion items for FormSpec constraint tags
+ * @public
  */
 export declare function getCompletionItems(extensions?: readonly ExtensionDefinition[]): CompletionItem[];
 
@@ -63,18 +69,14 @@ export declare function getCompletionItems(extensions?: readonly ExtensionDefini
  * Always returns `null` in this stub implementation.
  *
  * @returns `null` — not yet implemented
+ * @public
  */
 export declare function getDefinition(): Location | null;
 
 /**
- * Returns hover documentation for a FormSpec JSDoc tag name.
- *
- * Accepts both camelCase (`"minimum"`) and PascalCase (`"Minimum"`) forms.
- * The `@` prefix is stripped before lookup if present.
- * Returns `null` when the tag is not a recognized FormSpec constraint tag.
+ * Returns hover content for a single FormSpec tag name.
  *
- * @param tagName - The tag name to look up (e.g., `"minimum"`, `"@pattern"`)
- * @returns An LSP `Hover` response, or `null` if the tag is not recognized
+ * @public
  */
 export declare function getHoverForTag(tagName: string, extensions?: readonly ExtensionDefinition[]): Hover | null;
 

package/dist/plugin-client.d.ts

@@ -0,0 +1,5 @@
+import { type FormSpecSerializedCompletionContext, type FormSpecSerializedHoverInfo } from "@formspec/analysis";
+export declare function fileUriToPathOrNull(uri: string): string | null;
+export declare function getPluginCompletionContextForDocument(workspaceRoots: readonly string[], filePath: string, documentText: string, offset: number, timeoutMs?: number): Promise<FormSpecSerializedCompletionContext | null>;
+export declare function getPluginHoverForDocument(workspaceRoots: readonly string[], filePath: string, documentText: string, offset: number, timeoutMs?: number): Promise<FormSpecSerializedHoverInfo | null>;
+//# sourceMappingURL=plugin-client.d.ts.map

package/dist/plugin-client.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"plugin-client.d.ts","sourceRoot":"","sources":["../src/plugin-client.ts"],"names":[],"mappings":"AAIA,OAAO,EAOL,KAAK,mCAAmC,EACxC,KAAK,2BAA2B,EAGjC,MAAM,oBAAoB,CAAC;AAwG5B,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAM9D;AAqBD,wBAAsB,qCAAqC,CACzD,cAAc,EAAE,SAAS,MAAM,EAAE,EACjC,QAAQ,EAAE,MAAM,EAChB,YAAY,EAAE,MAAM,EACpB,MAAM,EAAE,MAAM,EACd,SAAS,SAAkC,GAC1C,OAAO,CAAC,mCAAmC,GAAG,IAAI,CAAC,CAiBrD;AAED,wBAAsB,yBAAyB,CAC7C,cAAc,EAAE,SAAS,MAAM,EAAE,EACjC,QAAQ,EAAE,MAAM,EAChB,YAAY,EAAE,MAAM,EACpB,MAAM,EAAE,MAAM,EACd,SAAS,SAAkC,GAC1C,OAAO,CAAC,2BAA2B,GAAG,IAAI,CAAC,CAiB7C"}

package/dist/providers/completion.d.ts

@@ -1,23 +1,18 @@
 /**
  * Completion provider for FormSpec JSDoc constraint tags.
  *
- * Returns completion items for all recognized FormSpec JSDoc constraint tags
- * (e.g., `@minimum`, `@maximum`, `@pattern`), derived from
- * `BUILTIN_CONSTRAINT_DEFINITIONS`. This is a skeleton — context-aware
- * filtering will be added in a future phase.
+ * Uses the shared tag registry from `@formspec/analysis` so completions stay
+ * aligned with the same metadata that powers linting and build-time analysis.
  */
-import { type ExtensionDefinition } from "@formspec/core";
+import { type FormSpecSerializedCompletionContext } from "@formspec/analysis";
+import type { ExtensionDefinition } from "@formspec/core";
 import { CompletionItem } from "vscode-languageserver/node.js";
 /**
- * Returns completion items for all FormSpec JSDoc constraint tags.
+ * Returns the full set of tag-name completions currently known to FormSpec.
  *
- * Items are derived from `BUILTIN_CONSTRAINT_DEFINITIONS`, ensuring this list
- * stays in sync with the single source of truth in `@formspec/core`.
- *
- * Each item uses `CompletionItemKind.Keyword` since these are annotation
- * tags used within JSDoc comments rather than language symbols.
- *
- * @returns An array of LSP completion items for FormSpec constraint tags
+ * @public
  */
 export declare function getCompletionItems(extensions?: readonly ExtensionDefinition[]): CompletionItem[];
+/** @internal */
+export declare function getCompletionItemsAtOffset(documentText: string, offset: number, extensions?: readonly ExtensionDefinition[], semanticContext?: FormSpecSerializedCompletionContext | null): CompletionItem[];
 //# sourceMappingURL=completion.d.ts.map

package/dist/providers/completion.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"completion.d.ts","sourceRoot":"","sources":["../../src/providers/completion.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAGL,KAAK,mBAAmB,EACzB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,cAAc,EAAsB,MAAM,+BAA+B,CAAC;AAwBnF;;;;;;;;;;GAUG;AACH,wBAAgB,kBAAkB,CAAC,UAAU,CAAC,EAAE,SAAS,mBAAmB,EAAE,GAAG,cAAc,EAAE,CAmBhG"}
+{"version":3,"file":"completion.d.ts","sourceRoot":"","sources":["../../src/providers/completion.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EACL,KAAK,mCAAmC,EAKzC,MAAM,oBAAoB,CAAC;AAC5B,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAC1D,OAAO,EAAE,cAAc,EAAsB,MAAM,+BAA+B,CAAC;AAEnF;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,UAAU,CAAC,EAAE,SAAS,mBAAmB,EAAE,GAAG,cAAc,EAAE,CAMhG;AAUD,gBAAgB;AAChB,wBAAgB,0BAA0B,CACxC,YAAY,EAAE,MAAM,EACpB,MAAM,EAAE,MAAM,EACd,UAAU,CAAC,EAAE,SAAS,mBAAmB,EAAE,EAC3C,eAAe,CAAC,EAAE,mCAAmC,GAAG,IAAI,GAC3D,cAAc,EAAE,CAgDlB"}

package/dist/providers/definition.d.ts

@@ -12,6 +12,7 @@ import type { Location } from "vscode-languageserver/node.js";
  * Always returns `null` in this stub implementation.
  *
  * @returns `null` — not yet implemented
+ * @public
  */
 export declare function getDefinition(): Location | null;
 //# sourceMappingURL=definition.d.ts.map

package/dist/providers/definition.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"definition.d.ts","sourceRoot":"","sources":["../../src/providers/definition.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,+BAA+B,CAAC;AAE9D;;;;;;GAMG;AACH,wBAAgB,aAAa,IAAI,QAAQ,GAAG,IAAI,CAE/C"}
+{"version":3,"file":"definition.d.ts","sourceRoot":"","sources":["../../src/providers/definition.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,+BAA+B,CAAC;AAE9D;;;;;;;GAOG;AACH,wBAAgB,aAAa,IAAI,QAAQ,GAAG,IAAI,CAE/C"}

package/dist/providers/hover.d.ts

@@ -1,21 +1,18 @@
 /**
- * Hover provider for FormSpec JSDoc constraint tags.
+ * Hover provider for FormSpec JSDoc tags.
  *
- * Returns Markdown documentation for a recognized FormSpec JSDoc tag when
- * the cursor is positioned over it. This is a skeleton — precise token
- * detection within JSDoc comment ranges will be added in a future phase.
+ * Uses the shared registry from `@formspec/analysis` so hover content stays in
+ * sync with the tag inventory and overload metadata.
  */
-import { type ExtensionDefinition } from "@formspec/core";
+import { type FormSpecSerializedHoverInfo } from "@formspec/analysis";
+import type { ExtensionDefinition } from "@formspec/core";
 import type { Hover } from "vscode-languageserver/node.js";
 /**
- * Returns hover documentation for a FormSpec JSDoc tag name.
+ * Returns hover content for a single FormSpec tag name.
  *
- * Accepts both camelCase (`"minimum"`) and PascalCase (`"Minimum"`) forms.
- * The `@` prefix is stripped before lookup if present.
- * Returns `null` when the tag is not a recognized FormSpec constraint tag.
- *
- * @param tagName - The tag name to look up (e.g., `"minimum"`, `"@pattern"`)
- * @returns An LSP `Hover` response, or `null` if the tag is not recognized
+ * @public
  */
 export declare function getHoverForTag(tagName: string, extensions?: readonly ExtensionDefinition[]): Hover | null;
+/** @internal */
+export declare function getHoverAtOffset(documentText: string, offset: number, extensions?: readonly ExtensionDefinition[], semanticHover?: FormSpecSerializedHoverInfo | null): Hover | null;
 //# sourceMappingURL=hover.d.ts.map

package/dist/providers/hover.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"hover.d.ts","sourceRoot":"","sources":["../../src/providers/hover.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAIL,KAAK,mBAAmB,EACzB,MAAM,gBAAgB,CAAC;AACxB,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,+BAA+B,CAAC;AAgM3D;;;;;;;;;GASG;AACH,wBAAgB,cAAc,CAC5B,OAAO,EAAE,MAAM,EACf,UAAU,CAAC,EAAE,SAAS,mBAAmB,EAAE,GAC1C,KAAK,GAAG,IAAI,CAuCd"}
+{"version":3,"file":"hover.d.ts","sourceRoot":"","sources":["../../src/providers/hover.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EACL,KAAK,2BAA2B,EAIjC,MAAM,oBAAoB,CAAC;AAC5B,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAC1D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,+BAA+B,CAAC;AAE3D;;;;GAIG;AACH,wBAAgB,cAAc,CAC5B,OAAO,EAAE,MAAM,EACf,UAAU,CAAC,EAAE,SAAS,mBAAmB,EAAE,GAC1C,KAAK,GAAG,IAAI,CAad;AAED,gBAAgB;AAChB,wBAAgB,gBAAgB,CAC9B,YAAY,EAAE,MAAM,EACpB,MAAM,EAAE,MAAM,EACd,UAAU,CAAC,EAAE,SAAS,mBAAmB,EAAE,EAC3C,aAAa,CAAC,EAAE,2BAA2B,GAAG,IAAI,GACjD,KAAK,GAAG,IAAI,CAcd"}

package/dist/server.d.ts

@@ -10,9 +10,20 @@
  */
 import { type Connection } from "vscode-languageserver/node.js";
 import type { ExtensionDefinition } from "@formspec/core";
+/**
+ * Public configuration for constructing the FormSpec language server.
+ *
+ * @public
+ */
 export interface CreateServerOptions {
     /** Optional extension definitions whose custom tags should be surfaced by tooling. */
     readonly extensions?: readonly ExtensionDefinition[];
+    /** Optional workspace roots to use before initialize() provides them. */
+    readonly workspaceRoots?: readonly string[];
+    /** Set to false to disable tsserver-plugin semantic enrichment. */
+    readonly usePluginTransport?: boolean;
+    /** IPC timeout, in milliseconds, for semantic plugin requests. */
+    readonly pluginQueryTimeoutMs?: number;
 }
 /**
  * Creates and configures the FormSpec language server connection.
@@ -21,6 +32,7 @@ export interface CreateServerOptions {
  * Call `connection.listen()` to start accepting messages.
  *
  * @returns The configured LSP connection (not yet listening)
+ * @public
  */
 export declare function createServer(options?: CreateServerOptions): Connection;
 //# sourceMappingURL=server.d.ts.map

package/dist/server.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"server.d.ts","sourceRoot":"","sources":["../src/server.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAIL,KAAK,UAAU,EAEhB,MAAM,+BAA+B,CAAC;AACvC,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAK1D,MAAM,WAAW,mBAAmB;IAClC,sFAAsF;IACtF,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,mBAAmB,EAAE,CAAC;CACtD;AAED;;;;;;;GAOG;AACH,wBAAgB,YAAY,CAAC,OAAO,GAAE,mBAAwB,GAAG,UAAU,CA6C1E"}
+{"version":3,"file":"server.d.ts","sourceRoot":"","sources":["../src/server.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAKL,KAAK,UAAU,EAEhB,MAAM,+BAA+B,CAAC;AACvC,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAqC1D;;;;GAIG;AACH,MAAM,WAAW,mBAAmB;IAClC,sFAAsF;IACtF,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,mBAAmB,EAAE,CAAC;IACrD,yEAAyE;IACzE,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C,mEAAmE;IACnE,QAAQ,CAAC,kBAAkB,CAAC,EAAE,OAAO,CAAC;IACtC,kEAAkE;IAClE,QAAQ,CAAC,oBAAoB,CAAC,EAAE,MAAM,CAAC;CACxC;AAED;;;;;;;;GAQG;AACH,wBAAgB,YAAY,CAAC,OAAO,GAAE,mBAAwB,GAAG,UAAU,CAkF1E"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@formspec/language-server",
-  "version": "0.1.0-alpha.19",
+  "version": "0.1.0-alpha.20",
   "description": "Language server for FormSpec — completions, hover, and go-to-definition for JSDoc constraint tags",
   "type": "module",
   "main": "./dist/index.cjs",
@@ -20,6 +20,7 @@
   "dependencies": {
     "vscode-languageserver": "^9.0.1",
     "vscode-languageserver-textdocument": "^1.0.12",
+    "@formspec/analysis": "0.1.0-alpha.20",
     "@formspec/core": "0.1.0-alpha.19"
   },
   "devDependencies": {