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

package/dist/index.cjs.map

@@ -1 +1 @@
-{"version":3,"sources":["../src/index.ts","../src/server.ts","../src/providers/completion.ts","../src/providers/hover.ts","../src/providers/definition.ts"],"sourcesContent":["/**\n * \\@formspec/language-server\n *\n * Language server for FormSpec — provides completions, hover documentation,\n * and go-to-definition for FormSpec JSDoc constraint tags (`@Minimum`,\n * `@Maximum`, `@Pattern`, etc.) in TypeScript files.\n *\n * This package implements the Language Server Protocol (LSP) using the\n * `vscode-languageserver` library. Constraint names are sourced from\n * `BUILTIN_CONSTRAINT_DEFINITIONS` in `@formspec/core`, ensuring the\n * language server stays in sync with the single source of truth.\n *\n * Diagnostics are intentionally omitted per design decision A7.\n *\n * @example\n * ```ts\n * import { createServer } from '@formspec/language-server';\n *\n * const connection = createServer();\n * connection.listen();\n * ```\n *\n * @packageDocumentation\n */\n\nexport { createServer } from \"./server.js\";\nexport type { CreateServerOptions } from \"./server.js\";\nexport { getCompletionItems } from \"./providers/completion.js\";\nexport { getHoverForTag } from \"./providers/hover.js\";\nexport { getDefinition } from \"./providers/definition.js\";\n","/**\n * FormSpec Language Server\n *\n * Sets up an LSP server connection and registers handlers for:\n * - `textDocument/completion` — FormSpec JSDoc constraint tag completions\n * - `textDocument/hover` — Documentation for recognized constraint tags\n * - `textDocument/definition` — Go-to-definition (stub, returns null)\n *\n * Diagnostics are intentionally omitted per design decision A7.\n */\n\nimport {\n  createConnection,\n  ProposedFeatures,\n  TextDocumentSyncKind,\n  type Connection,\n  type InitializeResult,\n} from \"vscode-languageserver/node.js\";\nimport type { ExtensionDefinition } from \"@formspec/core\";\nimport { getCompletionItems } from \"./providers/completion.js\";\nimport { getHoverForTag } from \"./providers/hover.js\";\nimport { getDefinition } from \"./providers/definition.js\";\n\nexport interface CreateServerOptions {\n  /** Optional extension definitions whose custom tags should be surfaced by tooling. */\n  readonly extensions?: readonly ExtensionDefinition[];\n}\n\n/**\n * Creates and configures the FormSpec language server connection.\n *\n * Registers LSP capability handlers and returns the connection.\n * Call `connection.listen()` to start accepting messages.\n *\n * @returns The configured LSP connection (not yet listening)\n */\nexport function createServer(options: CreateServerOptions = {}): Connection {\n  const connection = createConnection(ProposedFeatures.all);\n\n  connection.onInitialize((): InitializeResult => {\n    return {\n      capabilities: {\n        textDocumentSync: TextDocumentSyncKind.Incremental,\n        completionProvider: {\n          // Trigger completions inside JSDoc comments when `@` is typed\n          triggerCharacters: [\"@\"],\n        },\n        hoverProvider: true,\n        definitionProvider: true,\n      },\n      serverInfo: {\n        name: \"formspec-language-server\",\n        version: \"0.1.0\",\n      },\n    };\n  });\n\n  connection.onCompletion(() => {\n    // Return all FormSpec constraint tag completions.\n    // Future phases will add context-aware filtering based on field type and\n    // cursor position within JSDoc comment ranges.\n    return getCompletionItems(options.extensions);\n  });\n\n  connection.onHover((_params) => {\n    // Extract the word under the cursor and look up hover documentation.\n    // This is a stub — precise JSDoc token detection (checking that the\n    // cursor is within a JSDoc comment and extracting the tag name) will be\n    // added in a future phase.\n    //\n    // For now we return null to signal no hover is available until the\n    // token extraction is implemented.\n    return getHoverForTag(\"\", options.extensions);\n  });\n\n  connection.onDefinition((_params) => {\n    // Go-to-definition is not yet implemented.\n    return getDefinition();\n  });\n\n  return connection;\n}\n","/**\n * Completion provider for FormSpec JSDoc constraint tags.\n *\n * Returns completion items for all recognized FormSpec JSDoc constraint tags\n * (e.g., `@minimum`, `@maximum`, `@pattern`), derived from\n * `BUILTIN_CONSTRAINT_DEFINITIONS`. This is a skeleton — context-aware\n * filtering will be added in a future phase.\n */\n\nimport {\n  BUILTIN_CONSTRAINT_DEFINITIONS,\n  type BuiltinConstraintName,\n  type ExtensionDefinition,\n} from \"@formspec/core\";\nimport { CompletionItem, CompletionItemKind } from \"vscode-languageserver/node.js\";\n\n/**\n * Human-readable detail strings for each built-in constraint tag.\n *\n * Keys match the camelCase constraint names (matching keys in `BUILTIN_CONSTRAINT_DEFINITIONS`).\n * Values are shown as the detail string in completion items.\n */\nconst CONSTRAINT_DETAIL: Record<BuiltinConstraintName, string> = {\n  minimum: \"Minimum numeric value (inclusive). Example: `@minimum 0`\",\n  maximum: \"Maximum numeric value (inclusive). Example: `@maximum 100`\",\n  exclusiveMinimum: \"Minimum numeric value (exclusive). Example: `@exclusiveMinimum 0`\",\n  exclusiveMaximum: \"Maximum numeric value (exclusive). Example: `@exclusiveMaximum 100`\",\n  multipleOf: \"Value must be a multiple of this number. Example: `@multipleOf 0.01`\",\n  minLength: \"Minimum string length. Example: `@minLength 1`\",\n  maxLength: \"Maximum string length. Example: `@maxLength 255`\",\n  minItems: \"Minimum number of array items. Example: `@minItems 1`\",\n  maxItems: \"Maximum number of array items. Example: `@maxItems 10`\",\n  uniqueItems: \"Require all array items to be distinct. Example: `@uniqueItems`\",\n  pattern: \"Regular expression pattern for string validation. Example: `@pattern ^[a-z]+$`\",\n  enumOptions: 'Inline JSON array of allowed enum values. Example: `@enumOptions [\"a\",\"b\",\"c\"]`',\n  const: 'Require a constant JSON value. Example: `@const \"USD\"`',\n};\n\n/**\n * Returns completion items for all FormSpec JSDoc constraint tags.\n *\n * Items are derived from `BUILTIN_CONSTRAINT_DEFINITIONS`, ensuring this list\n * stays in sync with the single source of truth in `@formspec/core`.\n *\n * Each item uses `CompletionItemKind.Keyword` since these are annotation\n * tags used within JSDoc comments rather than language symbols.\n *\n * @returns An array of LSP completion items for FormSpec constraint tags\n */\nexport function getCompletionItems(extensions?: readonly ExtensionDefinition[]): CompletionItem[] {\n  const builtins = (Object.keys(BUILTIN_CONSTRAINT_DEFINITIONS) as BuiltinConstraintName[]).map(\n    (name) => ({\n      label: `@${name}`,\n      kind: CompletionItemKind.Keyword,\n      detail: CONSTRAINT_DETAIL[name],\n    })\n  );\n\n  const customItems =\n    extensions?.flatMap((extension) =>\n      (extension.constraintTags ?? []).map((tag) => ({\n        label: `@${tag.tagName}`,\n        kind: CompletionItemKind.Keyword,\n        detail: `Extension constraint tag from ${extension.extensionId}`,\n      }))\n    ) ?? [];\n\n  return [...builtins, ...customItems];\n}\n","/**\n * Hover provider for FormSpec JSDoc constraint tags.\n *\n * Returns Markdown documentation for a recognized FormSpec JSDoc tag when\n * the cursor is positioned over it. This is a skeleton — precise token\n * detection within JSDoc comment ranges will be added in a future phase.\n */\n\nimport {\n  normalizeConstraintTagName,\n  isBuiltinConstraintName,\n  type BuiltinConstraintName,\n  type ExtensionDefinition,\n} from \"@formspec/core\";\nimport type { Hover } from \"vscode-languageserver/node.js\";\n\n/**\n * Markdown documentation for each built-in FormSpec constraint tag.\n *\n * Keys are the canonical constraint names from `BUILTIN_CONSTRAINT_DEFINITIONS`.\n * Values are Markdown strings suitable for LSP hover responses.\n */\nconst CONSTRAINT_HOVER_DOCS: Record<BuiltinConstraintName, string> = {\n  minimum: [\n    \"**@minimum** `<number>`\",\n    \"\",\n    \"Sets an inclusive lower bound on a numeric field.\",\n    \"\",\n    \"Maps to `minimum` in JSON Schema.\",\n    \"\",\n    \"**Example:**\",\n    \"```typescript\",\n    \"/** @minimum 0 */\",\n    \"amount: number;\",\n    \"```\",\n  ].join(\"\\n\"),\n\n  maximum: [\n    \"**@maximum** `<number>`\",\n    \"\",\n    \"Sets an inclusive upper bound on a numeric field.\",\n    \"\",\n    \"Maps to `maximum` in JSON Schema.\",\n    \"\",\n    \"**Example:**\",\n    \"```typescript\",\n    \"/** @maximum 100 */\",\n    \"percentage: number;\",\n    \"```\",\n  ].join(\"\\n\"),\n\n  exclusiveMinimum: [\n    \"**@exclusiveMinimum** `<number>`\",\n    \"\",\n    \"Sets an exclusive lower bound on a numeric field.\",\n    \"\",\n    \"Maps to `exclusiveMinimum` in JSON Schema.\",\n    \"\",\n    \"**Example:**\",\n    \"```typescript\",\n    \"/** @exclusiveMinimum 0 */\",\n    \"positiveAmount: number;\",\n    \"```\",\n  ].join(\"\\n\"),\n\n  exclusiveMaximum: [\n    \"**@exclusiveMaximum** `<number>`\",\n    \"\",\n    \"Sets an exclusive upper bound on a numeric field.\",\n    \"\",\n    \"Maps to `exclusiveMaximum` in JSON Schema.\",\n    \"\",\n    \"**Example:**\",\n    \"```typescript\",\n    \"/** @exclusiveMaximum 1 */\",\n    \"ratio: number;\",\n    \"```\",\n  ].join(\"\\n\"),\n\n  multipleOf: [\n    \"**@multipleOf** `<number>`\",\n    \"\",\n    \"Requires the numeric value to be a multiple of the given number.\",\n    \"\",\n    \"Maps to `multipleOf` in JSON Schema.\",\n    \"\",\n    \"**Example:**\",\n    \"```typescript\",\n    \"/** @multipleOf 0.01 */\",\n    \"price: number;\",\n    \"```\",\n  ].join(\"\\n\"),\n\n  minLength: [\n    \"**@minLength** `<number>`\",\n    \"\",\n    \"Sets a minimum character length on a string field.\",\n    \"\",\n    \"Maps to `minLength` in JSON Schema.\",\n    \"\",\n    \"**Example:**\",\n    \"```typescript\",\n    \"/** @minLength 1 */\",\n    \"name: string;\",\n    \"```\",\n  ].join(\"\\n\"),\n\n  maxLength: [\n    \"**@maxLength** `<number>`\",\n    \"\",\n    \"Sets a maximum character length on a string field.\",\n    \"\",\n    \"Maps to `maxLength` in JSON Schema.\",\n    \"\",\n    \"**Example:**\",\n    \"```typescript\",\n    \"/** @maxLength 255 */\",\n    \"description: string;\",\n    \"```\",\n  ].join(\"\\n\"),\n\n  minItems: [\n    \"**@minItems** `<number>`\",\n    \"\",\n    \"Sets a minimum number of items in an array field.\",\n    \"\",\n    \"Maps to `minItems` in JSON Schema.\",\n    \"\",\n    \"**Example:**\",\n    \"```typescript\",\n    \"/** @minItems 1 */\",\n    \"tags: string[];\",\n    \"```\",\n  ].join(\"\\n\"),\n\n  maxItems: [\n    \"**@maxItems** `<number>`\",\n    \"\",\n    \"Sets a maximum number of items in an array field.\",\n    \"\",\n    \"Maps to `maxItems` in JSON Schema.\",\n    \"\",\n    \"**Example:**\",\n    \"```typescript\",\n    \"/** @maxItems 10 */\",\n    \"tags: string[];\",\n    \"```\",\n  ].join(\"\\n\"),\n\n  uniqueItems: [\n    \"**@uniqueItems**\",\n    \"\",\n    \"Requires all items in an array field to be distinct.\",\n    \"\",\n    \"Maps to `uniqueItems` in JSON Schema.\",\n    \"\",\n    \"**Example:**\",\n    \"```typescript\",\n    \"/** @uniqueItems */\",\n    \"tags: string[];\",\n    \"```\",\n  ].join(\"\\n\"),\n\n  pattern: [\n    \"**@pattern** `<regex>`\",\n    \"\",\n    \"Sets a regular expression pattern that a string field must match.\",\n    \"\",\n    \"Maps to `pattern` in JSON Schema.\",\n    \"\",\n    \"**Example:**\",\n    \"```typescript\",\n    \"/** @pattern ^[a-z0-9]+$ */\",\n    \"slug: string;\",\n    \"```\",\n  ].join(\"\\n\"),\n\n  enumOptions: [\n    \"**@enumOptions** `<json-array>`\",\n    \"\",\n    \"Specifies the allowed values for an enum field as an inline JSON array.\",\n    \"\",\n    \"Maps to `enum` in JSON Schema.\",\n    \"\",\n    \"**Example:**\",\n    \"```typescript\",\n    '/** @enumOptions [\"draft\",\"sent\",\"archived\"] */',\n    \"status: string;\",\n    \"```\",\n  ].join(\"\\n\"),\n\n  const: [\n    \"**@const** `<json-literal>`\",\n    \"\",\n    \"Requires the field value to equal a single constant JSON value.\",\n    \"\",\n    \"Maps to `const` in JSON Schema.\",\n    \"\",\n    \"**Example:**\",\n    \"```typescript\",\n    '/** @const \"USD\" */',\n    \"currency: string;\",\n    \"```\",\n  ].join(\"\\n\"),\n} satisfies Record<BuiltinConstraintName, string>;\n\n/**\n * Returns hover documentation for a FormSpec JSDoc tag name.\n *\n * Accepts both camelCase (`\"minimum\"`) and PascalCase (`\"Minimum\"`) forms.\n * The `@` prefix is stripped before lookup if present.\n * Returns `null` when the tag is not a recognized FormSpec constraint tag.\n *\n * @param tagName - The tag name to look up (e.g., `\"minimum\"`, `\"@pattern\"`)\n * @returns An LSP `Hover` response, or `null` if the tag is not recognized\n */\nexport function getHoverForTag(\n  tagName: string,\n  extensions?: readonly ExtensionDefinition[]\n): Hover | null {\n  // Strip leading `@` prefix if present\n  const raw = tagName.startsWith(\"@\") ? tagName.slice(1) : tagName;\n  const name = normalizeConstraintTagName(raw);\n\n  if (!isBuiltinConstraintName(name)) {\n    const registration = extensions\n      ?.flatMap((extension) =>\n        (extension.constraintTags ?? []).map((tag) => ({\n          extensionId: extension.extensionId,\n          tag,\n        }))\n      )\n      .find(({ tag }) => tag.tagName === name);\n\n    if (registration === undefined) {\n      return null;\n    }\n\n    return {\n      contents: {\n        kind: \"markdown\",\n        value: [\n          `**@${registration.tag.tagName}** \\`<value>\\``,\n          \"\",\n          `Extension-defined constraint tag from \\`${registration.extensionId}\\`.`,\n          \"\",\n          \"Validated through the registered FormSpec extension surface.\",\n        ].join(\"\\n\"),\n      },\n    };\n  }\n\n  return {\n    contents: {\n      kind: \"markdown\",\n      value: CONSTRAINT_HOVER_DOCS[name],\n    },\n  };\n}\n","/**\n * Go-to-definition provider for FormSpec.\n *\n * This is a stub — go-to-definition support (e.g., navigating from a\n * `field.text(\"name\")` call to the form definition that references it) will\n * be implemented in a future phase.\n */\n\nimport type { Location } from \"vscode-languageserver/node.js\";\n\n/**\n * Returns the definition location for a symbol at the given position.\n *\n * Always returns `null` in this stub implementation.\n *\n * @returns `null` — not yet implemented\n */\nexport function getDefinition(): Location | null {\n  return null;\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;;;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;;;ACWA,IAAAA,eAMO;;;ACRP,kBAIO;AACP,kBAAmD;AAQnD,IAAM,oBAA2D;AAAA,EAC/D,SAAS;AAAA,EACT,SAAS;AAAA,EACT,kBAAkB;AAAA,EAClB,kBAAkB;AAAA,EAClB,YAAY;AAAA,EACZ,WAAW;AAAA,EACX,WAAW;AAAA,EACX,UAAU;AAAA,EACV,UAAU;AAAA,EACV,aAAa;AAAA,EACb,SAAS;AAAA,EACT,aAAa;AAAA,EACb,OAAO;AACT;AAaO,SAAS,mBAAmB,YAA+D;AAChG,QAAM,WAAY,OAAO,KAAK,0CAA8B,EAA8B;AAAA,IACxF,CAAC,UAAU;AAAA,MACT,OAAO,IAAI,IAAI;AAAA,MACf,MAAM,+BAAmB;AAAA,MACzB,QAAQ,kBAAkB,IAAI;AAAA,IAChC;AAAA,EACF;AAEA,QAAM,cACJ,YAAY;AAAA,IAAQ,CAAC,eAClB,UAAU,kBAAkB,CAAC,GAAG,IAAI,CAAC,SAAS;AAAA,MAC7C,OAAO,IAAI,IAAI,OAAO;AAAA,MACtB,MAAM,+BAAmB;AAAA,MACzB,QAAQ,iCAAiC,UAAU,WAAW;AAAA,IAChE,EAAE;AAAA,EACJ,KAAK,CAAC;AAER,SAAO,CAAC,GAAG,UAAU,GAAG,WAAW;AACrC;;;AC5DA,IAAAC,eAKO;AASP,IAAM,wBAA+D;AAAA,EACnE,SAAS;AAAA,IACP;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,EACF,EAAE,KAAK,IAAI;AAAA,EAEX,SAAS;AAAA,IACP;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,EACF,EAAE,KAAK,IAAI;AAAA,EAEX,kBAAkB;AAAA,IAChB;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,EACF,EAAE,KAAK,IAAI;AAAA,EAEX,kBAAkB;AAAA,IAChB;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,EACF,EAAE,KAAK,IAAI;AAAA,EAEX,YAAY;AAAA,IACV;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,EACF,EAAE,KAAK,IAAI;AAAA,EAEX,WAAW;AAAA,IACT;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,EACF,EAAE,KAAK,IAAI;AAAA,EAEX,WAAW;AAAA,IACT;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,EACF,EAAE,KAAK,IAAI;AAAA,EAEX,UAAU;AAAA,IACR;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,EACF,EAAE,KAAK,IAAI;AAAA,EAEX,UAAU;AAAA,IACR;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,EACF,EAAE,KAAK,IAAI;AAAA,EAEX,aAAa;AAAA,IACX;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,EACF,EAAE,KAAK,IAAI;AAAA,EAEX,SAAS;AAAA,IACP;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,EACF,EAAE,KAAK,IAAI;AAAA,EAEX,aAAa;AAAA,IACX;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,EACF,EAAE,KAAK,IAAI;AAAA,EAEX,OAAO;AAAA,IACL;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,EACF,EAAE,KAAK,IAAI;AACb;AAYO,SAAS,eACd,SACA,YACc;AAEd,QAAM,MAAM,QAAQ,WAAW,GAAG,IAAI,QAAQ,MAAM,CAAC,IAAI;AACzD,QAAM,WAAO,yCAA2B,GAAG;AAE3C,MAAI,KAAC,sCAAwB,IAAI,GAAG;AAClC,UAAM,eAAe,YACjB;AAAA,MAAQ,CAAC,eACR,UAAU,kBAAkB,CAAC,GAAG,IAAI,CAAC,SAAS;AAAA,QAC7C,aAAa,UAAU;AAAA,QACvB;AAAA,MACF,EAAE;AAAA,IACJ,EACC,KAAK,CAAC,EAAE,IAAI,MAAM,IAAI,YAAY,IAAI;AAEzC,QAAI,iBAAiB,QAAW;AAC9B,aAAO;AAAA,IACT;AAEA,WAAO;AAAA,MACL,UAAU;AAAA,QACR,MAAM;AAAA,QACN,OAAO;AAAA,UACL,MAAM,aAAa,IAAI,OAAO;AAAA,UAC9B;AAAA,UACA,2CAA2C,aAAa,WAAW;AAAA,UACnE;AAAA,UACA;AAAA,QACF,EAAE,KAAK,IAAI;AAAA,MACb;AAAA,IACF;AAAA,EACF;AAEA,SAAO;AAAA,IACL,UAAU;AAAA,MACR,MAAM;AAAA,MACN,OAAO,sBAAsB,IAAI;AAAA,IACnC;AAAA,EACF;AACF;;;ACjPO,SAAS,gBAAiC;AAC/C,SAAO;AACT;;;AHiBO,SAAS,aAAa,UAA+B,CAAC,GAAe;AAC1E,QAAM,iBAAa,+BAAiB,8BAAiB,GAAG;AAExD,aAAW,aAAa,MAAwB;AAC9C,WAAO;AAAA,MACL,cAAc;AAAA,QACZ,kBAAkB,kCAAqB;AAAA,QACvC,oBAAoB;AAAA;AAAA,UAElB,mBAAmB,CAAC,GAAG;AAAA,QACzB;AAAA,QACA,eAAe;AAAA,QACf,oBAAoB;AAAA,MACtB;AAAA,MACA,YAAY;AAAA,QACV,MAAM;AAAA,QACN,SAAS;AAAA,MACX;AAAA,IACF;AAAA,EACF,CAAC;AAED,aAAW,aAAa,MAAM;AAI5B,WAAO,mBAAmB,QAAQ,UAAU;AAAA,EAC9C,CAAC;AAED,aAAW,QAAQ,CAAC,YAAY;AAQ9B,WAAO,eAAe,IAAI,QAAQ,UAAU;AAAA,EAC9C,CAAC;AAED,aAAW,aAAa,CAAC,YAAY;AAEnC,WAAO,cAAc;AAAA,EACvB,CAAC;AAED,SAAO;AACT;","names":["import_node","import_core"]}
+{"version":3,"sources":["../src/index.ts","../src/server.ts","../src/providers/completion.ts","../src/providers/hover.ts","../src/providers/definition.ts","../src/plugin-client.ts"],"sourcesContent":["/**\n * \\@formspec/language-server\n *\n * Language server for FormSpec — provides completions, hover documentation,\n * and go-to-definition for FormSpec JSDoc constraint tags (`@Minimum`,\n * `@Maximum`, `@Pattern`, etc.) in TypeScript files.\n *\n * This package implements the Language Server Protocol (LSP) using the\n * `vscode-languageserver` library. Cheap syntax-local behaviors stay in the\n * LSP process, while TypeScript-project-aware semantics are supplied by\n * `@formspec/ts-plugin` over a local manifest + IPC transport.\n *\n * Diagnostics are intentionally omitted per design decision A7.\n *\n * @example\n * ```ts\n * import { createServer } from '@formspec/language-server';\n *\n * const connection = createServer();\n * connection.listen();\n * ```\n *\n * @packageDocumentation\n */\n\nexport { createServer } from \"./server.js\";\nexport type { CreateServerOptions } from \"./server.js\";\nexport { getCompletionItems } from \"./providers/completion.js\";\nexport { getHoverForTag } from \"./providers/hover.js\";\nexport { getDefinition } from \"./providers/definition.js\";\n","/**\n * FormSpec Language Server\n *\n * Sets up an LSP server connection and registers handlers for:\n * - `textDocument/completion` — FormSpec JSDoc constraint tag completions\n * - `textDocument/hover` — Documentation for recognized constraint tags\n * - `textDocument/definition` — Go-to-definition (stub, returns null)\n *\n * Diagnostics are intentionally omitted per design decision A7.\n */\n\nimport {\n  createConnection,\n  ProposedFeatures,\n  TextDocuments,\n  TextDocumentSyncKind,\n  type Connection,\n  type InitializeResult,\n} from \"vscode-languageserver/node.js\";\nimport type { ExtensionDefinition } from \"@formspec/core\";\nimport { TextDocument } from \"vscode-languageserver-textdocument\";\nimport { getCompletionItemsAtOffset } from \"./providers/completion.js\";\nimport { getHoverAtOffset } from \"./providers/hover.js\";\nimport { getDefinition } from \"./providers/definition.js\";\nimport {\n  fileUriToPathOrNull,\n  getPluginCompletionContextForDocument,\n  getPluginHoverForDocument,\n} from \"./plugin-client.js\";\n\nfunction dedupeWorkspaceRoots(workspaceRoots: readonly string[]): string[] {\n  return [...new Set(workspaceRoots)];\n}\n\nfunction getWorkspaceRootsFromInitializeParams(params: {\n  readonly workspaceFolders?: readonly { readonly uri: string }[] | null;\n  readonly rootUri?: string | null;\n  readonly rootPath?: string | null;\n}): string[] {\n  const workspaceFolders =\n    params.workspaceFolders\n      ?.map((workspaceFolder) => fileUriToPathOrNull(workspaceFolder.uri))\n      .filter((workspaceRoot): workspaceRoot is string => workspaceRoot !== null) ?? [];\n  const rootUri =\n    params.rootUri === null || params.rootUri === undefined\n      ? null\n      : fileUriToPathOrNull(params.rootUri);\n  const rootPath = params.rootPath ?? null;\n\n  return dedupeWorkspaceRoots([\n    ...workspaceFolders,\n    ...(rootUri === null ? [] : [rootUri]),\n    ...(rootPath === null ? [] : [rootPath]),\n  ]);\n}\n\n/**\n * Public configuration for constructing the FormSpec language server.\n *\n * @public\n */\nexport interface CreateServerOptions {\n  /** Optional extension definitions whose custom tags should be surfaced by tooling. */\n  readonly extensions?: readonly ExtensionDefinition[];\n  /** Optional workspace roots to use before initialize() provides them. */\n  readonly workspaceRoots?: readonly string[];\n  /** Set to false to disable tsserver-plugin semantic enrichment. */\n  readonly usePluginTransport?: boolean;\n  /** IPC timeout, in milliseconds, for semantic plugin requests. */\n  readonly pluginQueryTimeoutMs?: number;\n}\n\n/**\n * Creates and configures the FormSpec language server connection.\n *\n * Registers LSP capability handlers and returns the connection.\n * Call `connection.listen()` to start accepting messages.\n *\n * @returns The configured LSP connection (not yet listening)\n * @public\n */\nexport function createServer(options: CreateServerOptions = {}): Connection {\n  const connection = createConnection(ProposedFeatures.all);\n  const documents = new TextDocuments(TextDocument);\n  let workspaceRoots = [...(options.workspaceRoots ?? [])];\n\n  documents.listen(connection);\n\n  connection.onInitialize((params): InitializeResult => {\n    workspaceRoots = dedupeWorkspaceRoots([\n      ...getWorkspaceRootsFromInitializeParams(params),\n      ...workspaceRoots,\n    ]);\n\n    return {\n      capabilities: {\n        textDocumentSync: TextDocumentSyncKind.Incremental,\n        completionProvider: {\n          // Trigger completions inside JSDoc comments for tags and target specifiers\n          triggerCharacters: [\"@\", \":\"],\n        },\n        hoverProvider: true,\n        definitionProvider: true,\n      },\n      serverInfo: {\n        name: \"formspec-language-server\",\n        version: \"0.1.0\",\n      },\n    };\n  });\n\n  connection.onCompletion(async (params) => {\n    const document = documents.get(params.textDocument.uri);\n    if (!document) {\n      return [];\n    }\n\n    const offset = document.offsetAt(params.position);\n    const documentText = document.getText();\n    const filePath = fileUriToPathOrNull(params.textDocument.uri);\n    const semanticContext =\n      options.usePluginTransport === false || filePath === null\n        ? null\n        : await getPluginCompletionContextForDocument(\n            workspaceRoots,\n            filePath,\n            documentText,\n            offset,\n            options.pluginQueryTimeoutMs\n          );\n\n    return getCompletionItemsAtOffset(documentText, offset, options.extensions, semanticContext);\n  });\n\n  connection.onHover(async (params) => {\n    const document = documents.get(params.textDocument.uri);\n    if (!document) {\n      return null;\n    }\n\n    const offset = document.offsetAt(params.position);\n    const documentText = document.getText();\n    const filePath = fileUriToPathOrNull(params.textDocument.uri);\n    const semanticHover =\n      options.usePluginTransport === false || filePath === null\n        ? null\n        : await getPluginHoverForDocument(\n            workspaceRoots,\n            filePath,\n            documentText,\n            offset,\n            options.pluginQueryTimeoutMs\n          );\n\n    return getHoverAtOffset(documentText, offset, options.extensions, semanticHover);\n  });\n\n  connection.onDefinition((_params) => {\n    // Go-to-definition is not yet implemented.\n    return getDefinition();\n  });\n\n  return connection;\n}\n","/**\n * Completion provider for FormSpec JSDoc constraint tags.\n *\n * Uses the shared tag registry from `@formspec/analysis` so completions stay\n * aligned with the same metadata that powers linting and build-time analysis.\n */\n\nimport {\n  type FormSpecSerializedCompletionContext,\n  type FormSpecSerializedTagDefinition,\n  getConstraintTagDefinitions,\n  getSemanticCommentCompletionContextAtOffset,\n  type TagDefinition,\n} from \"@formspec/analysis\";\nimport type { ExtensionDefinition } from \"@formspec/core\";\nimport { CompletionItem, CompletionItemKind } from \"vscode-languageserver/node.js\";\n\n/**\n * Returns the full set of tag-name completions currently known to FormSpec.\n *\n * @public\n */\nexport function getCompletionItems(extensions?: readonly ExtensionDefinition[]): CompletionItem[] {\n  return getConstraintTagDefinitions(extensions).map((tag) => ({\n    label: `@${tag.canonicalName}`,\n    kind: CompletionItemKind.Keyword,\n    detail: tag.completionDetail,\n  }));\n}\n\nfunction toCompletionItem(tag: TagDefinition | FormSpecSerializedTagDefinition): CompletionItem {\n  return {\n    label: `@${tag.canonicalName}`,\n    kind: CompletionItemKind.Keyword,\n    detail: tag.completionDetail,\n  };\n}\n\n/** @internal */\nexport function getCompletionItemsAtOffset(\n  documentText: string,\n  offset: number,\n  extensions?: readonly ExtensionDefinition[],\n  semanticContext?: FormSpecSerializedCompletionContext | null\n): CompletionItem[] {\n  if (semanticContext !== null && semanticContext !== undefined) {\n    if (semanticContext.kind === \"target\") {\n      return semanticContext.semantic.targetCompletions.map((target: string) => ({\n        label: target,\n        kind:\n          target === \"singular\" || target === \"plural\"\n            ? CompletionItemKind.EnumMember\n            : CompletionItemKind.Field,\n        detail: `Target for @${semanticContext.semantic.tagName}`,\n      }));\n    }\n\n    if (semanticContext.kind !== \"tag-name\") {\n      return [];\n    }\n\n    const normalizedPrefix = semanticContext.prefix.toLowerCase();\n    return semanticContext.availableTags\n      .map(toCompletionItem)\n      .filter((item) => item.label.slice(1).toLowerCase().startsWith(normalizedPrefix));\n  }\n\n  const resolvedContext = getSemanticCommentCompletionContextAtOffset(\n    documentText,\n    offset,\n    extensions ? { extensions } : undefined\n  );\n\n  if (resolvedContext.kind === \"target\") {\n    return resolvedContext.semantic.targetCompletions.map((target: string) => ({\n      label: target,\n      kind:\n        target === \"singular\" || target === \"plural\"\n          ? CompletionItemKind.EnumMember\n          : CompletionItemKind.Field,\n      detail: `Target for @${resolvedContext.semantic.tag.normalizedTagName}`,\n    }));\n  }\n\n  if (resolvedContext.kind !== \"tag-name\") {\n    return [];\n  }\n\n  const normalizedPrefix = resolvedContext.prefix.toLowerCase();\n  return resolvedContext.availableTags\n    .map(toCompletionItem)\n    .filter((item) => item.label.slice(1).toLowerCase().startsWith(normalizedPrefix));\n}\n","/**\n * Hover provider for FormSpec JSDoc tags.\n *\n * Uses the shared registry from `@formspec/analysis` so hover content stays in\n * sync with the tag inventory and overload metadata.\n */\n\nimport {\n  type FormSpecSerializedHoverInfo,\n  getCommentHoverInfoAtOffset,\n  getTagDefinition,\n  normalizeFormSpecTagName,\n} from \"@formspec/analysis\";\nimport type { ExtensionDefinition } from \"@formspec/core\";\nimport type { Hover } from \"vscode-languageserver/node.js\";\n\n/**\n * Returns hover content for a single FormSpec tag name.\n *\n * @public\n */\nexport function getHoverForTag(\n  tagName: string,\n  extensions?: readonly ExtensionDefinition[]\n): Hover | null {\n  const raw = tagName.startsWith(\"@\") ? tagName.slice(1) : tagName;\n  const definition = getTagDefinition(normalizeFormSpecTagName(raw), extensions);\n  if (!definition) {\n    return null;\n  }\n\n  return {\n    contents: {\n      kind: \"markdown\",\n      value: definition.hoverMarkdown,\n    },\n  };\n}\n\n/** @internal */\nexport function getHoverAtOffset(\n  documentText: string,\n  offset: number,\n  extensions?: readonly ExtensionDefinition[],\n  semanticHover?: FormSpecSerializedHoverInfo | null\n): Hover | null {\n  const hoverInfo =\n    semanticHover ??\n    getCommentHoverInfoAtOffset(documentText, offset, extensions ? { extensions } : undefined);\n  if (hoverInfo === null) {\n    return null;\n  }\n\n  return {\n    contents: {\n      kind: \"markdown\",\n      value: hoverInfo.markdown,\n    },\n  };\n}\n","/**\n * Go-to-definition provider for FormSpec.\n *\n * This is a stub — go-to-definition support (e.g., navigating from a\n * `field.text(\"name\")` call to the form definition that references it) will\n * be implemented in a future phase.\n */\n\nimport type { Location } from \"vscode-languageserver/node.js\";\n\n/**\n * Returns the definition location for a symbol at the given position.\n *\n * Always returns `null` in this stub implementation.\n *\n * @returns `null` — not yet implemented\n * @public\n */\nexport function getDefinition(): Location | null {\n  return null;\n}\n","import fs from \"node:fs/promises\";\nimport net from \"node:net\";\nimport path from \"node:path\";\nimport { fileURLToPath } from \"node:url\";\nimport {\n  FORMSPEC_ANALYSIS_PROTOCOL_VERSION,\n  computeFormSpecTextHash,\n  getFormSpecManifestPath,\n  isFormSpecAnalysisManifest,\n  isFormSpecSemanticResponse,\n  type FormSpecAnalysisManifest,\n  type FormSpecSerializedCompletionContext,\n  type FormSpecSerializedHoverInfo,\n  type FormSpecSemanticQuery,\n  type FormSpecSemanticResponse,\n} from \"@formspec/analysis\";\n\nconst DEFAULT_PLUGIN_QUERY_TIMEOUT_MS = 2_000;\n\nfunction getManifestPath(workspaceRoot: string): string {\n  return getFormSpecManifestPath(workspaceRoot);\n}\n\nfunction normalizeWorkspaceRoot(root: string): string {\n  const resolved = path.resolve(root);\n  const parsed = path.parse(resolved);\n  let normalized = resolved;\n\n  while (normalized.length > parsed.root.length && normalized.endsWith(path.sep)) {\n    normalized = normalized.slice(0, -path.sep.length);\n  }\n\n  return normalized;\n}\n\nfunction getMatchingWorkspaceRoot(\n  workspaceRoots: readonly string[],\n  filePath: string\n): string | null {\n  const normalizedFilePath = path.resolve(filePath);\n  const normalizedRoots = [...workspaceRoots]\n    .map(normalizeWorkspaceRoot)\n    .sort((left, right) => right.length - left.length);\n  return (\n    normalizedRoots.find(\n      (workspaceRoot) =>\n        normalizedFilePath === workspaceRoot ||\n        normalizedFilePath.startsWith(`${workspaceRoot}${path.sep}`)\n    ) ?? null\n  );\n}\n\nasync function readManifest(workspaceRoot: string): Promise<FormSpecAnalysisManifest | null> {\n  try {\n    const manifestText = await fs.readFile(getManifestPath(workspaceRoot), \"utf8\");\n    const manifest = JSON.parse(manifestText) as unknown;\n    if (!isFormSpecAnalysisManifest(manifest)) {\n      return null;\n    }\n\n    return manifest;\n  } catch {\n    return null;\n  }\n}\n\nasync function sendSemanticQuery(\n  manifest: FormSpecAnalysisManifest,\n  query: FormSpecSemanticQuery,\n  timeoutMs = DEFAULT_PLUGIN_QUERY_TIMEOUT_MS\n): Promise<FormSpecSemanticResponse | null> {\n  return new Promise((resolve) => {\n    const socket = net.createConnection(manifest.endpoint.address);\n    let buffer = \"\";\n    let settled = false;\n\n    const finish = (response: FormSpecSemanticResponse | null): void => {\n      if (settled) {\n        return;\n      }\n      settled = true;\n      socket.removeAllListeners(\"data\");\n      socket.destroy();\n      resolve(response);\n    };\n\n    socket.setTimeout(timeoutMs, () => {\n      finish(null);\n    });\n\n    socket.setEncoding(\"utf8\");\n    socket.on(\"connect\", () => {\n      socket.write(`${JSON.stringify(query)}\\n`);\n    });\n    socket.on(\"data\", (chunk) => {\n      buffer += String(chunk);\n      const newlineIndex = buffer.indexOf(\"\\n\");\n      if (newlineIndex < 0) {\n        return;\n      }\n\n      const payload = buffer.slice(0, newlineIndex);\n      buffer = buffer.slice(newlineIndex + 1);\n      try {\n        const response = JSON.parse(payload) as unknown;\n        finish(isFormSpecSemanticResponse(response) ? response : null);\n      } catch {\n        finish(null);\n      }\n    });\n    socket.on(\"error\", () => {\n      finish(null);\n    });\n    socket.on(\"close\", () => {\n      finish(null);\n    });\n  });\n}\n\nexport function fileUriToPathOrNull(uri: string): string | null {\n  try {\n    return fileURLToPath(uri);\n  } catch {\n    return null;\n  }\n}\n\nasync function sendFileQuery(\n  workspaceRoots: readonly string[],\n  filePath: string,\n  query: FormSpecSemanticQuery,\n  timeoutMs = DEFAULT_PLUGIN_QUERY_TIMEOUT_MS\n): Promise<FormSpecSemanticResponse | null> {\n  const workspaceRoot = getMatchingWorkspaceRoot(workspaceRoots, filePath);\n  if (workspaceRoot === null) {\n    return null;\n  }\n\n  const manifest = await readManifest(workspaceRoot);\n  if (manifest === null) {\n    return null;\n  }\n\n  return sendSemanticQuery(manifest, query, timeoutMs);\n}\n\nexport async function getPluginCompletionContextForDocument(\n  workspaceRoots: readonly string[],\n  filePath: string,\n  documentText: string,\n  offset: number,\n  timeoutMs = DEFAULT_PLUGIN_QUERY_TIMEOUT_MS\n): Promise<FormSpecSerializedCompletionContext | null> {\n  const response = await sendFileQuery(\n    workspaceRoots,\n    filePath,\n    {\n      protocolVersion: FORMSPEC_ANALYSIS_PROTOCOL_VERSION,\n      kind: \"completion\",\n      filePath,\n      offset,\n    },\n    timeoutMs\n  );\n  if (response?.kind !== \"completion\") {\n    return null;\n  }\n\n  return response.sourceHash === computeFormSpecTextHash(documentText) ? response.context : null;\n}\n\nexport async function getPluginHoverForDocument(\n  workspaceRoots: readonly string[],\n  filePath: string,\n  documentText: string,\n  offset: number,\n  timeoutMs = DEFAULT_PLUGIN_QUERY_TIMEOUT_MS\n): Promise<FormSpecSerializedHoverInfo | null> {\n  const response = await sendFileQuery(\n    workspaceRoots,\n    filePath,\n    {\n      protocolVersion: FORMSPEC_ANALYSIS_PROTOCOL_VERSION,\n      kind: \"hover\",\n      filePath,\n      offset,\n    },\n    timeoutMs\n  );\n  if (response?.kind !== \"hover\") {\n    return null;\n  }\n\n  return response.sourceHash === computeFormSpecTextHash(documentText) ? response.hover : null;\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;;;ACWA,IAAAA,eAOO;AAEP,gDAA6B;;;ACb7B,sBAMO;AAEP,kBAAmD;AAO5C,SAAS,mBAAmB,YAA+D;AAChG,aAAO,6CAA4B,UAAU,EAAE,IAAI,CAAC,SAAS;AAAA,IAC3D,OAAO,IAAI,IAAI,aAAa;AAAA,IAC5B,MAAM,+BAAmB;AAAA,IACzB,QAAQ,IAAI;AAAA,EACd,EAAE;AACJ;AAEA,SAAS,iBAAiB,KAAsE;AAC9F,SAAO;AAAA,IACL,OAAO,IAAI,IAAI,aAAa;AAAA,IAC5B,MAAM,+BAAmB;AAAA,IACzB,QAAQ,IAAI;AAAA,EACd;AACF;AAGO,SAAS,2BACd,cACA,QACA,YACA,iBACkB;AAClB,MAAI,oBAAoB,QAAQ,oBAAoB,QAAW;AAC7D,QAAI,gBAAgB,SAAS,UAAU;AACrC,aAAO,gBAAgB,SAAS,kBAAkB,IAAI,CAAC,YAAoB;AAAA,QACzE,OAAO;AAAA,QACP,MACE,WAAW,cAAc,WAAW,WAChC,+BAAmB,aACnB,+BAAmB;AAAA,QACzB,QAAQ,eAAe,gBAAgB,SAAS,OAAO;AAAA,MACzD,EAAE;AAAA,IACJ;AAEA,QAAI,gBAAgB,SAAS,YAAY;AACvC,aAAO,CAAC;AAAA,IACV;AAEA,UAAMC,oBAAmB,gBAAgB,OAAO,YAAY;AAC5D,WAAO,gBAAgB,cACpB,IAAI,gBAAgB,EACpB,OAAO,CAAC,SAAS,KAAK,MAAM,MAAM,CAAC,EAAE,YAAY,EAAE,WAAWA,iBAAgB,CAAC;AAAA,EACpF;AAEA,QAAM,sBAAkB;AAAA,IACtB;AAAA,IACA;AAAA,IACA,aAAa,EAAE,WAAW,IAAI;AAAA,EAChC;AAEA,MAAI,gBAAgB,SAAS,UAAU;AACrC,WAAO,gBAAgB,SAAS,kBAAkB,IAAI,CAAC,YAAoB;AAAA,MACzE,OAAO;AAAA,MACP,MACE,WAAW,cAAc,WAAW,WAChC,+BAAmB,aACnB,+BAAmB;AAAA,MACzB,QAAQ,eAAe,gBAAgB,SAAS,IAAI,iBAAiB;AAAA,IACvE,EAAE;AAAA,EACJ;AAEA,MAAI,gBAAgB,SAAS,YAAY;AACvC,WAAO,CAAC;AAAA,EACV;AAEA,QAAM,mBAAmB,gBAAgB,OAAO,YAAY;AAC5D,SAAO,gBAAgB,cACpB,IAAI,gBAAgB,EACpB,OAAO,CAAC,SAAS,KAAK,MAAM,MAAM,CAAC,EAAE,YAAY,EAAE,WAAW,gBAAgB,CAAC;AACpF;;;ACrFA,IAAAC,mBAKO;AASA,SAAS,eACd,SACA,YACc;AACd,QAAM,MAAM,QAAQ,WAAW,GAAG,IAAI,QAAQ,MAAM,CAAC,IAAI;AACzD,QAAM,iBAAa,uCAAiB,2CAAyB,GAAG,GAAG,UAAU;AAC7E,MAAI,CAAC,YAAY;AACf,WAAO;AAAA,EACT;AAEA,SAAO;AAAA,IACL,UAAU;AAAA,MACR,MAAM;AAAA,MACN,OAAO,WAAW;AAAA,IACpB;AAAA,EACF;AACF;AAGO,SAAS,iBACd,cACA,QACA,YACA,eACc;AACd,QAAM,YACJ,qBACA,8CAA4B,cAAc,QAAQ,aAAa,EAAE,WAAW,IAAI,MAAS;AAC3F,MAAI,cAAc,MAAM;AACtB,WAAO;AAAA,EACT;AAEA,SAAO;AAAA,IACL,UAAU;AAAA,MACR,MAAM;AAAA,MACN,OAAO,UAAU;AAAA,IACnB;AAAA,EACF;AACF;;;ACzCO,SAAS,gBAAiC;AAC/C,SAAO;AACT;;;ACpBA,sBAAe;AACf,sBAAgB;AAChB,uBAAiB;AACjB,sBAA8B;AAC9B,IAAAC,mBAWO;AAEP,IAAM,kCAAkC;AAExC,SAAS,gBAAgB,eAA+B;AACtD,aAAO,0CAAwB,aAAa;AAC9C;AAEA,SAAS,uBAAuB,MAAsB;AACpD,QAAM,WAAW,iBAAAC,QAAK,QAAQ,IAAI;AAClC,QAAM,SAAS,iBAAAA,QAAK,MAAM,QAAQ;AAClC,MAAI,aAAa;AAEjB,SAAO,WAAW,SAAS,OAAO,KAAK,UAAU,WAAW,SAAS,iBAAAA,QAAK,GAAG,GAAG;AAC9E,iBAAa,WAAW,MAAM,GAAG,CAAC,iBAAAA,QAAK,IAAI,MAAM;AAAA,EACnD;AAEA,SAAO;AACT;AAEA,SAAS,yBACP,gBACA,UACe;AACf,QAAM,qBAAqB,iBAAAA,QAAK,QAAQ,QAAQ;AAChD,QAAM,kBAAkB,CAAC,GAAG,cAAc,EACvC,IAAI,sBAAsB,EAC1B,KAAK,CAAC,MAAM,UAAU,MAAM,SAAS,KAAK,MAAM;AACnD,SACE,gBAAgB;AAAA,IACd,CAAC,kBACC,uBAAuB,iBACvB,mBAAmB,WAAW,GAAG,aAAa,GAAG,iBAAAA,QAAK,GAAG,EAAE;AAAA,EAC/D,KAAK;AAET;AAEA,eAAe,aAAa,eAAiE;AAC3F,MAAI;AACF,UAAM,eAAe,MAAM,gBAAAC,QAAG,SAAS,gBAAgB,aAAa,GAAG,MAAM;AAC7E,UAAM,WAAW,KAAK,MAAM,YAAY;AACxC,QAAI,KAAC,6CAA2B,QAAQ,GAAG;AACzC,aAAO;AAAA,IACT;AAEA,WAAO;AAAA,EACT,QAAQ;AACN,WAAO;AAAA,EACT;AACF;AAEA,eAAe,kBACb,UACA,OACA,YAAY,iCAC8B;AAC1C,SAAO,IAAI,QAAQ,CAAC,YAAY;AAC9B,UAAM,SAAS,gBAAAC,QAAI,iBAAiB,SAAS,SAAS,OAAO;AAC7D,QAAI,SAAS;AACb,QAAI,UAAU;AAEd,UAAM,SAAS,CAAC,aAAoD;AAClE,UAAI,SAAS;AACX;AAAA,MACF;AACA,gBAAU;AACV,aAAO,mBAAmB,MAAM;AAChC,aAAO,QAAQ;AACf,cAAQ,QAAQ;AAAA,IAClB;AAEA,WAAO,WAAW,WAAW,MAAM;AACjC,aAAO,IAAI;AAAA,IACb,CAAC;AAED,WAAO,YAAY,MAAM;AACzB,WAAO,GAAG,WAAW,MAAM;AACzB,aAAO,MAAM,GAAG,KAAK,UAAU,KAAK,CAAC;AAAA,CAAI;AAAA,IAC3C,CAAC;AACD,WAAO,GAAG,QAAQ,CAAC,UAAU;AAC3B,gBAAU,OAAO,KAAK;AACtB,YAAM,eAAe,OAAO,QAAQ,IAAI;AACxC,UAAI,eAAe,GAAG;AACpB;AAAA,MACF;AAEA,YAAM,UAAU,OAAO,MAAM,GAAG,YAAY;AAC5C,eAAS,OAAO,MAAM,eAAe,CAAC;AACtC,UAAI;AACF,cAAM,WAAW,KAAK,MAAM,OAAO;AACnC,mBAAO,6CAA2B,QAAQ,IAAI,WAAW,IAAI;AAAA,MAC/D,QAAQ;AACN,eAAO,IAAI;AAAA,MACb;AAAA,IACF,CAAC;AACD,WAAO,GAAG,SAAS,MAAM;AACvB,aAAO,IAAI;AAAA,IACb,CAAC;AACD,WAAO,GAAG,SAAS,MAAM;AACvB,aAAO,IAAI;AAAA,IACb,CAAC;AAAA,EACH,CAAC;AACH;AAEO,SAAS,oBAAoB,KAA4B;AAC9D,MAAI;AACF,eAAO,+BAAc,GAAG;AAAA,EAC1B,QAAQ;AACN,WAAO;AAAA,EACT;AACF;AAEA,eAAe,cACb,gBACA,UACA,OACA,YAAY,iCAC8B;AAC1C,QAAM,gBAAgB,yBAAyB,gBAAgB,QAAQ;AACvE,MAAI,kBAAkB,MAAM;AAC1B,WAAO;AAAA,EACT;AAEA,QAAM,WAAW,MAAM,aAAa,aAAa;AACjD,MAAI,aAAa,MAAM;AACrB,WAAO;AAAA,EACT;AAEA,SAAO,kBAAkB,UAAU,OAAO,SAAS;AACrD;AAEA,eAAsB,sCACpB,gBACA,UACA,cACA,QACA,YAAY,iCACyC;AACrD,QAAM,WAAW,MAAM;AAAA,IACrB;AAAA,IACA;AAAA,IACA;AAAA,MACE,iBAAiB;AAAA,MACjB,MAAM;AAAA,MACN;AAAA,MACA;AAAA,IACF;AAAA,IACA;AAAA,EACF;AACA,MAAI,UAAU,SAAS,cAAc;AACnC,WAAO;AAAA,EACT;AAEA,SAAO,SAAS,mBAAe,0CAAwB,YAAY,IAAI,SAAS,UAAU;AAC5F;AAEA,eAAsB,0BACpB,gBACA,UACA,cACA,QACA,YAAY,iCACiC;AAC7C,QAAM,WAAW,MAAM;AAAA,IACrB;AAAA,IACA;AAAA,IACA;AAAA,MACE,iBAAiB;AAAA,MACjB,MAAM;AAAA,MACN;AAAA,MACA;AAAA,IACF;AAAA,IACA;AAAA,EACF;AACA,MAAI,UAAU,SAAS,SAAS;AAC9B,WAAO;AAAA,EACT;AAEA,SAAO,SAAS,mBAAe,0CAAwB,YAAY,IAAI,SAAS,QAAQ;AAC1F;;;AJpKA,SAAS,qBAAqB,gBAA6C;AACzE,SAAO,CAAC,GAAG,IAAI,IAAI,cAAc,CAAC;AACpC;AAEA,SAAS,sCAAsC,QAIlC;AACX,QAAM,mBACJ,OAAO,kBACH,IAAI,CAAC,oBAAoB,oBAAoB,gBAAgB,GAAG,CAAC,EAClE,OAAO,CAAC,kBAA2C,kBAAkB,IAAI,KAAK,CAAC;AACpF,QAAM,UACJ,OAAO,YAAY,QAAQ,OAAO,YAAY,SAC1C,OACA,oBAAoB,OAAO,OAAO;AACxC,QAAM,WAAW,OAAO,YAAY;AAEpC,SAAO,qBAAqB;AAAA,IAC1B,GAAG;AAAA,IACH,GAAI,YAAY,OAAO,CAAC,IAAI,CAAC,OAAO;AAAA,IACpC,GAAI,aAAa,OAAO,CAAC,IAAI,CAAC,QAAQ;AAAA,EACxC,CAAC;AACH;AA2BO,SAAS,aAAa,UAA+B,CAAC,GAAe;AAC1E,QAAM,iBAAa,+BAAiB,8BAAiB,GAAG;AACxD,QAAM,YAAY,IAAI,2BAAc,sDAAY;AAChD,MAAI,iBAAiB,CAAC,GAAI,QAAQ,kBAAkB,CAAC,CAAE;AAEvD,YAAU,OAAO,UAAU;AAE3B,aAAW,aAAa,CAAC,WAA6B;AACpD,qBAAiB,qBAAqB;AAAA,MACpC,GAAG,sCAAsC,MAAM;AAAA,MAC/C,GAAG;AAAA,IACL,CAAC;AAED,WAAO;AAAA,MACL,cAAc;AAAA,QACZ,kBAAkB,kCAAqB;AAAA,QACvC,oBAAoB;AAAA;AAAA,UAElB,mBAAmB,CAAC,KAAK,GAAG;AAAA,QAC9B;AAAA,QACA,eAAe;AAAA,QACf,oBAAoB;AAAA,MACtB;AAAA,MACA,YAAY;AAAA,QACV,MAAM;AAAA,QACN,SAAS;AAAA,MACX;AAAA,IACF;AAAA,EACF,CAAC;AAED,aAAW,aAAa,OAAO,WAAW;AACxC,UAAM,WAAW,UAAU,IAAI,OAAO,aAAa,GAAG;AACtD,QAAI,CAAC,UAAU;AACb,aAAO,CAAC;AAAA,IACV;AAEA,UAAM,SAAS,SAAS,SAAS,OAAO,QAAQ;AAChD,UAAM,eAAe,SAAS,QAAQ;AACtC,UAAM,WAAW,oBAAoB,OAAO,aAAa,GAAG;AAC5D,UAAM,kBACJ,QAAQ,uBAAuB,SAAS,aAAa,OACjD,OACA,MAAM;AAAA,MACJ;AAAA,MACA;AAAA,MACA;AAAA,MACA;AAAA,MACA,QAAQ;AAAA,IACV;AAEN,WAAO,2BAA2B,cAAc,QAAQ,QAAQ,YAAY,eAAe;AAAA,EAC7F,CAAC;AAED,aAAW,QAAQ,OAAO,WAAW;AACnC,UAAM,WAAW,UAAU,IAAI,OAAO,aAAa,GAAG;AACtD,QAAI,CAAC,UAAU;AACb,aAAO;AAAA,IACT;AAEA,UAAM,SAAS,SAAS,SAAS,OAAO,QAAQ;AAChD,UAAM,eAAe,SAAS,QAAQ;AACtC,UAAM,WAAW,oBAAoB,OAAO,aAAa,GAAG;AAC5D,UAAM,gBACJ,QAAQ,uBAAuB,SAAS,aAAa,OACjD,OACA,MAAM;AAAA,MACJ;AAAA,MACA;AAAA,MACA;AAAA,MACA;AAAA,MACA,QAAQ;AAAA,IACV;AAEN,WAAO,iBAAiB,cAAc,QAAQ,QAAQ,YAAY,aAAa;AAAA,EACjF,CAAC;AAED,aAAW,aAAa,CAAC,YAAY;AAEnC,WAAO,cAAc;AAAA,EACvB,CAAC;AAED,SAAO;AACT;","names":["import_node","normalizedPrefix","import_analysis","import_analysis","path","fs","net"]}

package/dist/index.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.
  *

package/dist/index.js

@@ -2,253 +2,93 @@
 import {
   createConnection,
   ProposedFeatures,
+  TextDocuments,
   TextDocumentSyncKind
 } from "vscode-languageserver/node.js";
+import { TextDocument } from "vscode-languageserver-textdocument";
 
 // src/providers/completion.ts
 import {
-  BUILTIN_CONSTRAINT_DEFINITIONS
-} from "@formspec/core";
+  getConstraintTagDefinitions,
+  getSemanticCommentCompletionContextAtOffset
+} from "@formspec/analysis";
 import { CompletionItemKind } from "vscode-languageserver/node.js";
-var CONSTRAINT_DETAIL = {
-  minimum: "Minimum numeric value (inclusive). Example: `@minimum 0`",
-  maximum: "Maximum numeric value (inclusive). Example: `@maximum 100`",
-  exclusiveMinimum: "Minimum numeric value (exclusive). Example: `@exclusiveMinimum 0`",
-  exclusiveMaximum: "Maximum numeric value (exclusive). Example: `@exclusiveMaximum 100`",
-  multipleOf: "Value must be a multiple of this number. Example: `@multipleOf 0.01`",
-  minLength: "Minimum string length. Example: `@minLength 1`",
-  maxLength: "Maximum string length. Example: `@maxLength 255`",
-  minItems: "Minimum number of array items. Example: `@minItems 1`",
-  maxItems: "Maximum number of array items. Example: `@maxItems 10`",
-  uniqueItems: "Require all array items to be distinct. Example: `@uniqueItems`",
-  pattern: "Regular expression pattern for string validation. Example: `@pattern ^[a-z]+$`",
-  enumOptions: 'Inline JSON array of allowed enum values. Example: `@enumOptions ["a","b","c"]`',
-  const: 'Require a constant JSON value. Example: `@const "USD"`'
-};
 function getCompletionItems(extensions) {
-  const builtins = Object.keys(BUILTIN_CONSTRAINT_DEFINITIONS).map(
-    (name) => ({
-      label: `@${name}`,
-      kind: CompletionItemKind.Keyword,
-      detail: CONSTRAINT_DETAIL[name]
-    })
+  return getConstraintTagDefinitions(extensions).map((tag) => ({
+    label: `@${tag.canonicalName}`,
+    kind: CompletionItemKind.Keyword,
+    detail: tag.completionDetail
+  }));
+}
+function toCompletionItem(tag) {
+  return {
+    label: `@${tag.canonicalName}`,
+    kind: CompletionItemKind.Keyword,
+    detail: tag.completionDetail
+  };
+}
+function getCompletionItemsAtOffset(documentText, offset, extensions, semanticContext) {
+  if (semanticContext !== null && semanticContext !== void 0) {
+    if (semanticContext.kind === "target") {
+      return semanticContext.semantic.targetCompletions.map((target) => ({
+        label: target,
+        kind: target === "singular" || target === "plural" ? CompletionItemKind.EnumMember : CompletionItemKind.Field,
+        detail: `Target for @${semanticContext.semantic.tagName}`
+      }));
+    }
+    if (semanticContext.kind !== "tag-name") {
+      return [];
+    }
+    const normalizedPrefix2 = semanticContext.prefix.toLowerCase();
+    return semanticContext.availableTags.map(toCompletionItem).filter((item) => item.label.slice(1).toLowerCase().startsWith(normalizedPrefix2));
+  }
+  const resolvedContext = getSemanticCommentCompletionContextAtOffset(
+    documentText,
+    offset,
+    extensions ? { extensions } : void 0
   );
-  const customItems = extensions?.flatMap(
-    (extension) => (extension.constraintTags ?? []).map((tag) => ({
-      label: `@${tag.tagName}`,
-      kind: CompletionItemKind.Keyword,
-      detail: `Extension constraint tag from ${extension.extensionId}`
-    }))
-  ) ?? [];
-  return [...builtins, ...customItems];
+  if (resolvedContext.kind === "target") {
+    return resolvedContext.semantic.targetCompletions.map((target) => ({
+      label: target,
+      kind: target === "singular" || target === "plural" ? CompletionItemKind.EnumMember : CompletionItemKind.Field,
+      detail: `Target for @${resolvedContext.semantic.tag.normalizedTagName}`
+    }));
+  }
+  if (resolvedContext.kind !== "tag-name") {
+    return [];
+  }
+  const normalizedPrefix = resolvedContext.prefix.toLowerCase();
+  return resolvedContext.availableTags.map(toCompletionItem).filter((item) => item.label.slice(1).toLowerCase().startsWith(normalizedPrefix));
 }
 
 // src/providers/hover.ts
 import {
-  normalizeConstraintTagName,
-  isBuiltinConstraintName
-} from "@formspec/core";
-var CONSTRAINT_HOVER_DOCS = {
-  minimum: [
-    "**@minimum** `<number>`",
-    "",
-    "Sets an inclusive lower bound on a numeric field.",
-    "",
-    "Maps to `minimum` in JSON Schema.",
-    "",
-    "**Example:**",
-    "```typescript",
-    "/** @minimum 0 */",
-    "amount: number;",
-    "```"
-  ].join("\n"),
-  maximum: [
-    "**@maximum** `<number>`",
-    "",
-    "Sets an inclusive upper bound on a numeric field.",
-    "",
-    "Maps to `maximum` in JSON Schema.",
-    "",
-    "**Example:**",
-    "```typescript",
-    "/** @maximum 100 */",
-    "percentage: number;",
-    "```"
-  ].join("\n"),
-  exclusiveMinimum: [
-    "**@exclusiveMinimum** `<number>`",
-    "",
-    "Sets an exclusive lower bound on a numeric field.",
-    "",
-    "Maps to `exclusiveMinimum` in JSON Schema.",
-    "",
-    "**Example:**",
-    "```typescript",
-    "/** @exclusiveMinimum 0 */",
-    "positiveAmount: number;",
-    "```"
-  ].join("\n"),
-  exclusiveMaximum: [
-    "**@exclusiveMaximum** `<number>`",
-    "",
-    "Sets an exclusive upper bound on a numeric field.",
-    "",
-    "Maps to `exclusiveMaximum` in JSON Schema.",
-    "",
-    "**Example:**",
-    "```typescript",
-    "/** @exclusiveMaximum 1 */",
-    "ratio: number;",
-    "```"
-  ].join("\n"),
-  multipleOf: [
-    "**@multipleOf** `<number>`",
-    "",
-    "Requires the numeric value to be a multiple of the given number.",
-    "",
-    "Maps to `multipleOf` in JSON Schema.",
-    "",
-    "**Example:**",
-    "```typescript",
-    "/** @multipleOf 0.01 */",
-    "price: number;",
-    "```"
-  ].join("\n"),
-  minLength: [
-    "**@minLength** `<number>`",
-    "",
-    "Sets a minimum character length on a string field.",
-    "",
-    "Maps to `minLength` in JSON Schema.",
-    "",
-    "**Example:**",
-    "```typescript",
-    "/** @minLength 1 */",
-    "name: string;",
-    "```"
-  ].join("\n"),
-  maxLength: [
-    "**@maxLength** `<number>`",
-    "",
-    "Sets a maximum character length on a string field.",
-    "",
-    "Maps to `maxLength` in JSON Schema.",
-    "",
-    "**Example:**",
-    "```typescript",
-    "/** @maxLength 255 */",
-    "description: string;",
-    "```"
-  ].join("\n"),
-  minItems: [
-    "**@minItems** `<number>`",
-    "",
-    "Sets a minimum number of items in an array field.",
-    "",
-    "Maps to `minItems` in JSON Schema.",
-    "",
-    "**Example:**",
-    "```typescript",
-    "/** @minItems 1 */",
-    "tags: string[];",
-    "```"
-  ].join("\n"),
-  maxItems: [
-    "**@maxItems** `<number>`",
-    "",
-    "Sets a maximum number of items in an array field.",
-    "",
-    "Maps to `maxItems` in JSON Schema.",
-    "",
-    "**Example:**",
-    "```typescript",
-    "/** @maxItems 10 */",
-    "tags: string[];",
-    "```"
-  ].join("\n"),
-  uniqueItems: [
-    "**@uniqueItems**",
-    "",
-    "Requires all items in an array field to be distinct.",
-    "",
-    "Maps to `uniqueItems` in JSON Schema.",
-    "",
-    "**Example:**",
-    "```typescript",
-    "/** @uniqueItems */",
-    "tags: string[];",
-    "```"
-  ].join("\n"),
-  pattern: [
-    "**@pattern** `<regex>`",
-    "",
-    "Sets a regular expression pattern that a string field must match.",
-    "",
-    "Maps to `pattern` in JSON Schema.",
-    "",
-    "**Example:**",
-    "```typescript",
-    "/** @pattern ^[a-z0-9]+$ */",
-    "slug: string;",
-    "```"
-  ].join("\n"),
-  enumOptions: [
-    "**@enumOptions** `<json-array>`",
-    "",
-    "Specifies the allowed values for an enum field as an inline JSON array.",
-    "",
-    "Maps to `enum` in JSON Schema.",
-    "",
-    "**Example:**",
-    "```typescript",
-    '/** @enumOptions ["draft","sent","archived"] */',
-    "status: string;",
-    "```"
-  ].join("\n"),
-  const: [
-    "**@const** `<json-literal>`",
-    "",
-    "Requires the field value to equal a single constant JSON value.",
-    "",
-    "Maps to `const` in JSON Schema.",
-    "",
-    "**Example:**",
-    "```typescript",
-    '/** @const "USD" */',
-    "currency: string;",
-    "```"
-  ].join("\n")
-};
+  getCommentHoverInfoAtOffset,
+  getTagDefinition,
+  normalizeFormSpecTagName
+} from "@formspec/analysis";
 function getHoverForTag(tagName, extensions) {
   const raw = tagName.startsWith("@") ? tagName.slice(1) : tagName;
-  const name = normalizeConstraintTagName(raw);
-  if (!isBuiltinConstraintName(name)) {
-    const registration = extensions?.flatMap(
-      (extension) => (extension.constraintTags ?? []).map((tag) => ({
-        extensionId: extension.extensionId,
-        tag
-      }))
-    ).find(({ tag }) => tag.tagName === name);
-    if (registration === void 0) {
-      return null;
+  const definition = getTagDefinition(normalizeFormSpecTagName(raw), extensions);
+  if (!definition) {
+    return null;
+  }
+  return {
+    contents: {
+      kind: "markdown",
+      value: definition.hoverMarkdown
     }
-    return {
-      contents: {
-        kind: "markdown",
-        value: [
-          `**@${registration.tag.tagName}** \`<value>\``,
-          "",
-          `Extension-defined constraint tag from \`${registration.extensionId}\`.`,
-          "",
-          "Validated through the registered FormSpec extension surface."
-        ].join("\n")
-      }
-    };
+  };
+}
+function getHoverAtOffset(documentText, offset, extensions, semanticHover) {
+  const hoverInfo = semanticHover ?? getCommentHoverInfoAtOffset(documentText, offset, extensions ? { extensions } : void 0);
+  if (hoverInfo === null) {
+    return null;
   }
   return {
     contents: {
       kind: "markdown",
-      value: CONSTRAINT_HOVER_DOCS[name]
+      value: hoverInfo.markdown
     }
   };
 }
@@ -258,16 +98,178 @@ function getDefinition() {
   return null;
 }
 
+// src/plugin-client.ts
+import fs from "fs/promises";
+import net from "net";
+import path from "path";
+import { fileURLToPath } from "url";
+import {
+  FORMSPEC_ANALYSIS_PROTOCOL_VERSION,
+  computeFormSpecTextHash,
+  getFormSpecManifestPath,
+  isFormSpecAnalysisManifest,
+  isFormSpecSemanticResponse
+} from "@formspec/analysis";
+var DEFAULT_PLUGIN_QUERY_TIMEOUT_MS = 2e3;
+function getManifestPath(workspaceRoot) {
+  return getFormSpecManifestPath(workspaceRoot);
+}
+function normalizeWorkspaceRoot(root) {
+  const resolved = path.resolve(root);
+  const parsed = path.parse(resolved);
+  let normalized = resolved;
+  while (normalized.length > parsed.root.length && normalized.endsWith(path.sep)) {
+    normalized = normalized.slice(0, -path.sep.length);
+  }
+  return normalized;
+}
+function getMatchingWorkspaceRoot(workspaceRoots, filePath) {
+  const normalizedFilePath = path.resolve(filePath);
+  const normalizedRoots = [...workspaceRoots].map(normalizeWorkspaceRoot).sort((left, right) => right.length - left.length);
+  return normalizedRoots.find(
+    (workspaceRoot) => normalizedFilePath === workspaceRoot || normalizedFilePath.startsWith(`${workspaceRoot}${path.sep}`)
+  ) ?? null;
+}
+async function readManifest(workspaceRoot) {
+  try {
+    const manifestText = await fs.readFile(getManifestPath(workspaceRoot), "utf8");
+    const manifest = JSON.parse(manifestText);
+    if (!isFormSpecAnalysisManifest(manifest)) {
+      return null;
+    }
+    return manifest;
+  } catch {
+    return null;
+  }
+}
+async function sendSemanticQuery(manifest, query, timeoutMs = DEFAULT_PLUGIN_QUERY_TIMEOUT_MS) {
+  return new Promise((resolve) => {
+    const socket = net.createConnection(manifest.endpoint.address);
+    let buffer = "";
+    let settled = false;
+    const finish = (response) => {
+      if (settled) {
+        return;
+      }
+      settled = true;
+      socket.removeAllListeners("data");
+      socket.destroy();
+      resolve(response);
+    };
+    socket.setTimeout(timeoutMs, () => {
+      finish(null);
+    });
+    socket.setEncoding("utf8");
+    socket.on("connect", () => {
+      socket.write(`${JSON.stringify(query)}
+`);
+    });
+    socket.on("data", (chunk) => {
+      buffer += String(chunk);
+      const newlineIndex = buffer.indexOf("\n");
+      if (newlineIndex < 0) {
+        return;
+      }
+      const payload = buffer.slice(0, newlineIndex);
+      buffer = buffer.slice(newlineIndex + 1);
+      try {
+        const response = JSON.parse(payload);
+        finish(isFormSpecSemanticResponse(response) ? response : null);
+      } catch {
+        finish(null);
+      }
+    });
+    socket.on("error", () => {
+      finish(null);
+    });
+    socket.on("close", () => {
+      finish(null);
+    });
+  });
+}
+function fileUriToPathOrNull(uri) {
+  try {
+    return fileURLToPath(uri);
+  } catch {
+    return null;
+  }
+}
+async function sendFileQuery(workspaceRoots, filePath, query, timeoutMs = DEFAULT_PLUGIN_QUERY_TIMEOUT_MS) {
+  const workspaceRoot = getMatchingWorkspaceRoot(workspaceRoots, filePath);
+  if (workspaceRoot === null) {
+    return null;
+  }
+  const manifest = await readManifest(workspaceRoot);
+  if (manifest === null) {
+    return null;
+  }
+  return sendSemanticQuery(manifest, query, timeoutMs);
+}
+async function getPluginCompletionContextForDocument(workspaceRoots, filePath, documentText, offset, timeoutMs = DEFAULT_PLUGIN_QUERY_TIMEOUT_MS) {
+  const response = await sendFileQuery(
+    workspaceRoots,
+    filePath,
+    {
+      protocolVersion: FORMSPEC_ANALYSIS_PROTOCOL_VERSION,
+      kind: "completion",
+      filePath,
+      offset
+    },
+    timeoutMs
+  );
+  if (response?.kind !== "completion") {
+    return null;
+  }
+  return response.sourceHash === computeFormSpecTextHash(documentText) ? response.context : null;
+}
+async function getPluginHoverForDocument(workspaceRoots, filePath, documentText, offset, timeoutMs = DEFAULT_PLUGIN_QUERY_TIMEOUT_MS) {
+  const response = await sendFileQuery(
+    workspaceRoots,
+    filePath,
+    {
+      protocolVersion: FORMSPEC_ANALYSIS_PROTOCOL_VERSION,
+      kind: "hover",
+      filePath,
+      offset
+    },
+    timeoutMs
+  );
+  if (response?.kind !== "hover") {
+    return null;
+  }
+  return response.sourceHash === computeFormSpecTextHash(documentText) ? response.hover : null;
+}
+
 // src/server.ts
+function dedupeWorkspaceRoots(workspaceRoots) {
+  return [...new Set(workspaceRoots)];
+}
+function getWorkspaceRootsFromInitializeParams(params) {
+  const workspaceFolders = params.workspaceFolders?.map((workspaceFolder) => fileUriToPathOrNull(workspaceFolder.uri)).filter((workspaceRoot) => workspaceRoot !== null) ?? [];
+  const rootUri = params.rootUri === null || params.rootUri === void 0 ? null : fileUriToPathOrNull(params.rootUri);
+  const rootPath = params.rootPath ?? null;
+  return dedupeWorkspaceRoots([
+    ...workspaceFolders,
+    ...rootUri === null ? [] : [rootUri],
+    ...rootPath === null ? [] : [rootPath]
+  ]);
+}
 function createServer(options = {}) {
   const connection = createConnection(ProposedFeatures.all);
-  connection.onInitialize(() => {
+  const documents = new TextDocuments(TextDocument);
+  let workspaceRoots = [...options.workspaceRoots ?? []];
+  documents.listen(connection);
+  connection.onInitialize((params) => {
+    workspaceRoots = dedupeWorkspaceRoots([
+      ...getWorkspaceRootsFromInitializeParams(params),
+      ...workspaceRoots
+    ]);
     return {
       capabilities: {
         textDocumentSync: TextDocumentSyncKind.Incremental,
         completionProvider: {
-          // Trigger completions inside JSDoc comments when `@` is typed
-          triggerCharacters: ["@"]
+          // Trigger completions inside JSDoc comments for tags and target specifiers
+          triggerCharacters: ["@", ":"]
         },
         hoverProvider: true,
         definitionProvider: true
@@ -278,11 +280,39 @@ function createServer(options = {}) {
       }
     };
   });
-  connection.onCompletion(() => {
-    return getCompletionItems(options.extensions);
+  connection.onCompletion(async (params) => {
+    const document = documents.get(params.textDocument.uri);
+    if (!document) {
+      return [];
+    }
+    const offset = document.offsetAt(params.position);
+    const documentText = document.getText();
+    const filePath = fileUriToPathOrNull(params.textDocument.uri);
+    const semanticContext = options.usePluginTransport === false || filePath === null ? null : await getPluginCompletionContextForDocument(
+      workspaceRoots,
+      filePath,
+      documentText,
+      offset,
+      options.pluginQueryTimeoutMs
+    );
+    return getCompletionItemsAtOffset(documentText, offset, options.extensions, semanticContext);
   });
-  connection.onHover((_params) => {
-    return getHoverForTag("", options.extensions);
+  connection.onHover(async (params) => {
+    const document = documents.get(params.textDocument.uri);
+    if (!document) {
+      return null;
+    }
+    const offset = document.offsetAt(params.position);
+    const documentText = document.getText();
+    const filePath = fileUriToPathOrNull(params.textDocument.uri);
+    const semanticHover = options.usePluginTransport === false || filePath === null ? null : await getPluginHoverForDocument(
+      workspaceRoots,
+      filePath,
+      documentText,
+      offset,
+      options.pluginQueryTimeoutMs
+    );
+    return getHoverAtOffset(documentText, offset, options.extensions, semanticHover);
   });
   connection.onDefinition((_params) => {
     return getDefinition();