@markup-carve/carve-lsp 0.1.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Mark Scherer
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -0,0 +1,120 @@
+# carve-lsp
+
+Language server (LSP) for [Carve](https://markup-carve.github.io/carve/) markup documents.
+Provides editor intelligence for `.crv` files via the
+[Language Server Protocol](https://microsoft.github.io/language-server-protocol/).
+
+## Install
+
+```bash
+npm install -g @markup-carve/carve-lsp
+```
+
+Or run without installing:
+
+```bash
+npx @markup-carve/carve-lsp --stdio
+```
+
+The server communicates over **stdio** (`--stdio` flag).
+
+## Supported capabilities
+
+| Capability | Details |
+|---|---|
+| Diagnostics | Syntax errors from the Carve parser; advisory warnings for Djot/Markdown delimiter collisions |
+| Document symbols | Headings as an outline tree |
+| Hover | Contextual information on hover |
+| Completion | Trigger characters `:` `#` `^` `[` |
+| Go to definition | Jump to heading / reference targets |
+| Find references | All uses of a heading id or reference label |
+| Rename | Prepare + apply renames across the document |
+| Code actions | Migration quick-fixes for deprecated Carve syntax |
+| Code lens | Inline annotations on headings and references |
+| Folding ranges | Fold sections and block containers |
+| Formatting | Format the whole document |
+| Semantic tokens | Token-based syntax highlighting |
+
+## Editor setup
+
+### VS Code
+
+Install the
+[vscode-carve](https://marketplace.visualstudio.com/items?itemName=markup-carve.vscode-carve)
+extension, which bundles and auto-starts this server.
+
+For a generic LSP client (e.g.
+[vscode-languageclient](https://marketplace.visualstudio.com/items?itemName=adamvoss.vscode-languageclient)),
+add to `.vscode/settings.json`:
+
+```json
+{
+  "languageServerExample.serverCommand": "carve-lsp",
+  "languageServerExample.serverArgs": ["--stdio"]
+}
+```
+
+Or wire it up in a custom extension:
+
+```ts
+const serverOptions: ServerOptions = {
+  command: 'carve-lsp',
+  args: ['--stdio'],
+};
+const clientOptions: LanguageClientOptions = {
+  documentSelector: [{ scheme: 'file', language: 'carve' }],
+};
+new LanguageClient('carve-lsp', 'Carve Language Server', serverOptions, clientOptions).start();
+```
+
+### Neovim (nvim-lspconfig)
+
+```lua
+local lspconfig = require('lspconfig')
+local configs = require('lspconfig.configs')
+
+if not configs.carve_lsp then
+  configs.carve_lsp = {
+    default_config = {
+      cmd = { 'carve-lsp', '--stdio' },
+      filetypes = { 'carve', 'crv' },
+      root_dir = lspconfig.util.root_pattern('.git', '.'),
+      single_file_support = true,
+    },
+  }
+end
+
+lspconfig.carve_lsp.setup({})
+```
+
+Add a filetype detection entry if your Neovim does not already recognize `.crv`:
+
+```lua
+vim.filetype.add({
+  extension = {
+    crv = 'carve',
+  },
+})
+```
+
+### Other editors
+
+Any editor with LSP support can start the server as an external process:
+
+- **Command:** `carve-lsp --stdio`
+- **File extension:** `.crv` (language ID: `carve`)
+- **Root pattern:** `.git` or the project root
+
+## Development
+
+```bash
+npm install
+npm run build
+npm test
+```
+
+Run the server directly over stdio:
+
+```bash
+node dist/server.js --stdio
+```

package/dist/analyze.d.ts

@@ -0,0 +1,6 @@
+import { DocumentSymbol, type Diagnostic } from 'vscode-languageserver/node.js';
+export interface Analysis {
+    diagnostics: Diagnostic[];
+    symbols: DocumentSymbol[];
+}
+export declare function analyzeCarve(source: string): Analysis;

package/dist/analyze.js

@@ -0,0 +1,156 @@
+import { DiagnosticSeverity, SymbolKind, } from 'vscode-languageserver/node.js';
+import { djotMigrationWarnings, lintCarve, parse, resolve, } from '@markup-carve/carve';
+export function analyzeCarve(source) {
+    const diagnostics = [];
+    let doc = null;
+    try {
+        doc = resolve(parse(source));
+    }
+    catch (error) {
+        diagnostics.push({
+            severity: DiagnosticSeverity.Error,
+            range: rangeAt(source, 0, 1),
+            source: 'carve',
+            message: error instanceof Error ? error.message : String(error),
+        });
+    }
+    // warning.start/end are offsets into the line-ending-normalized source;
+    // positionAt over that same text yields the precise multi-character range
+    // for every rule (including `+` bullets, which the old fix-range lookup
+    // could not cover).
+    const norm = source.replace(/\r\n?/g, '\n');
+    // Diagnostics target hand-written Carve, so surface only the migration
+    // constructs that actually mis-render in Carve (`carve-breakage`). Djot
+    // semantic shifts that are valid Carve — `_x_` (underline), `~x~`
+    // (strikethrough), `{=x=}` (highlight) — are intentional here, not mistakes,
+    // so they must not raise editor diagnostics. Their quick fixes remain
+    // available through `migrationCodeActions` for anyone migrating from Djot.
+    for (const warning of djotMigrationWarnings(source)) {
+        if (warning.category !== 'carve-breakage')
+            continue;
+        diagnostics.push({
+            severity: DiagnosticSeverity.Warning,
+            range: {
+                start: positionAt(norm, warning.start),
+                end: positionAt(norm, warning.end),
+            },
+            source: 'carve',
+            code: warning.rule,
+            message: `${warning.message} Suggestion: ${warning.suggestion}`,
+        });
+    }
+    // Silent-failure lint: markup that parses but renders as the wrong thing
+    // (broken cross-references, duplicate heading ids, trailing heading
+    // attributes, legacy raw fences, leaked block markers).
+    for (const warning of lintCarve(source)) {
+        const len = Math.max(1, warning.end - warning.start);
+        diagnostics.push({
+            severity: DiagnosticSeverity.Warning,
+            range: {
+                start: { line: warning.line - 1, character: warning.column - 1 },
+                end: { line: warning.line - 1, character: warning.column - 1 + len },
+            },
+            source: 'carve',
+            code: warning.rule,
+            message: warning.message,
+        });
+    }
+    return {
+        diagnostics,
+        symbols: doc ? documentSymbols(doc) : [],
+    };
+}
+function documentSymbols(doc) {
+    const stack = [];
+    const roots = [];
+    for (const heading of walkHeadings(doc.children)) {
+        const symbol = headingSymbol(heading);
+        while (stack.length && stack[stack.length - 1].level >= heading.level) {
+            stack.pop();
+        }
+        const parent = stack[stack.length - 1];
+        if (parent) {
+            parent.symbol.children ??= [];
+            parent.symbol.children.push(symbol);
+        }
+        else {
+            roots.push(symbol);
+        }
+        stack.push({ level: heading.level, symbol });
+    }
+    return roots;
+}
+function* walkHeadings(nodes) {
+    for (const node of nodes) {
+        if (node.type === 'heading')
+            yield node;
+        if ('children' in node && Array.isArray(node.children)) {
+            yield* walkHeadings(node.children.filter(isBlockNode));
+        }
+        if (node.type === 'figure') {
+            if ('children' in node.target && Array.isArray(node.target.children)) {
+                yield* walkHeadings(node.target.children.filter(isBlockNode));
+            }
+        }
+    }
+}
+function isBlockNode(node) {
+    return Boolean(node && typeof node === 'object' && 'type' in node);
+}
+function headingSymbol(heading) {
+    const range = heading.pos
+        ? {
+            start: { line: heading.pos.startLine - 1, character: 0 },
+            end: { line: heading.pos.endLine - 1, character: 200 },
+        }
+        : {
+            start: { line: 0, character: 0 },
+            end: { line: 0, character: 0 },
+        };
+    return {
+        name: plainText(heading.children) || `Heading ${heading.level}`,
+        kind: SymbolKind.String,
+        range,
+        selectionRange: range,
+        children: [],
+    };
+}
+function plainText(nodes) {
+    let out = '';
+    for (const node of nodes) {
+        if (node.type === 'text')
+            out += node.value;
+        else if ('children' in node && Array.isArray(node.children)) {
+            out += plainText(node.children);
+        }
+        else if (node.type === 'code')
+            out += node.value;
+        else if (node.type === 'symbol')
+            out += `:${node.name}:`;
+        else if (node.type === 'mention')
+            out += `@${node.user}`;
+        else if (node.type === 'tag')
+            out += `#${node.name}`;
+    }
+    return out.trim();
+}
+function positionAt(source, offset) {
+    const before = source.slice(0, offset);
+    const line = before.split('\n').length - 1;
+    const lastNewline = before.lastIndexOf('\n');
+    return {
+        line,
+        character: offset - lastNewline - 1,
+    };
+}
+function rangeAt(source, index, length) {
+    const before = source.slice(0, index);
+    const line = before.split('\n').length - 1;
+    const lastNewline = before.lastIndexOf('\n');
+    const character = index - lastNewline - 1;
+    return {
+        start: { line, character },
+        end: { line, character: character + length },
+    };
+}
+//# sourceMappingURL=analyze.js.map

package/dist/analyze.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"analyze.js","sourceRoot":"","sources":["../src/analyze.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,kBAAkB,EAElB,UAAU,GAGX,MAAM,+BAA+B,CAAA;AACtC,OAAO,EACL,qBAAqB,EACrB,SAAS,EACT,KAAK,EACL,OAAO,GAKR,MAAM,qBAAqB,CAAA;AAO5B,MAAM,UAAU,YAAY,CAAC,MAAc;IACzC,MAAM,WAAW,GAAiB,EAAE,CAAA;IACpC,IAAI,GAAG,GAAoB,IAAI,CAAA;IAE/B,IAAI,CAAC;QACH,GAAG,GAAG,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAA;IAC9B,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,WAAW,CAAC,IAAI,CAAC;YACf,QAAQ,EAAE,kBAAkB,CAAC,KAAK;YAClC,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;YAC5B,MAAM,EAAE,OAAO;YACf,OAAO,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;SAChE,CAAC,CAAA;IACJ,CAAC;IAED,wEAAwE;IACxE,0EAA0E;IAC1E,wEAAwE;IACxE,oBAAoB;IACpB,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAA;IAC3C,uEAAuE;IACvE,wEAAwE;IACxE,kEAAkE;IAClE,6EAA6E;IAC7E,sEAAsE;IACtE,2EAA2E;IAC3E,KAAK,MAAM,OAAO,IAAI,qBAAqB,CAAC,MAAM,CAAC,EAAE,CAAC;QACpD,IAAI,OAAO,CAAC,QAAQ,KAAK,gBAAgB;YAAE,SAAQ;QACnD,WAAW,CAAC,IAAI,CAAC;YACf,QAAQ,EAAE,kBAAkB,CAAC,OAAO;YACpC,KAAK,EAAE;gBACL,KAAK,EAAE,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC;gBACtC,GAAG,EAAE,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC;aACnC;YACD,MAAM,EAAE,OAAO;YACf,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,OAAO,EAAE,GAAG,OAAO,CAAC,OAAO,gBAAgB,OAAO,CAAC,UAAU,EAAE;SAChE,CAAC,CAAA;IACJ,CAAC;IAED,yEAAyE;IACzE,oEAAoE;IACpE,wDAAwD;IACxD,KAAK,MAAM,OAAO,IAAI,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;QACxC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,GAAG,GAAG,OAAO,CAAC,KAAK,CAAC,CAAA;QACpD,WAAW,CAAC,IAAI,CAAC;YACf,QAAQ,EAAE,kBAAkB,CAAC,OAAO;YACpC,KAAK,EAAE;gBACL,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,GAAG,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE;gBAChE,GAAG,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,GAAG,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,MAAM,GAAG,CAAC,GAAG,GAAG,EAAE;aACrE;YACD,MAAM,EAAE,OAAO;YACf,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,OAAO,EAAE,OAAO,CAAC,OAAO;SACzB,CAAC,CAAA;IACJ,CAAC;IAED,OAAO;QACL,WAAW;QACX,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE;KACzC,CAAA;AACH,CAAC;AAED,SAAS,eAAe,CAAC,GAAa;IACpC,MAAM,KAAK,GAAqD,EAAE,CAAA;IAClE,MAAM,KAAK,GAAqB,EAAE,CAAA;IAElC,KAAK,MAAM,OAAO,IAAI,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;QACjD,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,CAAC,CAAA;QACrC,OAAO,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,KAAK,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;YACvE,KAAK,CAAC,GAAG,EAAE,CAAA;QACb,CAAC;QACD,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;QACtC,IAAI,MAAM,EAAE,CAAC;YACX,MAAM,CAAC,MAAM,CAAC,QAAQ,KAAK,EAAE,CAAA;YAC7B,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;QACrC,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;QACpB,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,CAAA;IAC9C,CAAC;IAED,OAAO,KAAK,CAAA;AACd,CAAC;AAED,QAAQ,CAAC,CAAC,YAAY,CAAC,KAAkB;IACvC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;YAAE,MAAM,IAAI,CAAA;QACvC,IAAI,UAAU,IAAI,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YACvD,KAAK,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAA;QACxD,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC3B,IAAI,UAAU,IAAI,IAAI,CAAC,MAAM,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACrE,KAAK,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAA;YAC/D,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAC,IAAa;IAChC,OAAO,OAAO,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,MAAM,IAAI,IAAI,CAAC,CAAA;AACpE,CAAC;AAED,SAAS,aAAa,CAAC,OAAgB;IACrC,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG;QACvB,CAAC,CAAC;YACE,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,SAAS,GAAG,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE;YACxD,GAAG,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,OAAO,GAAG,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE;SACvD;QACH,CAAC,CAAC;YACE,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE;YAChC,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE;SAC/B,CAAA;IACL,OAAO;QACL,IAAI,EAAE,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,WAAW,OAAO,CAAC,KAAK,EAAE;QAC/D,IAAI,EAAE,UAAU,CAAC,MAAM;QACvB,KAAK;QACL,cAAc,EAAE,KAAK;QACrB,QAAQ,EAAE,EAAE;KACb,CAAA;AACH,CAAC;AAED,SAAS,SAAS,CAAC,KAAmB;IACpC,IAAI,GAAG,GAAG,EAAE,CAAA;IACZ,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,GAAG,IAAI,IAAI,CAAC,KAAK,CAAA;aACtC,IAAI,UAAU,IAAI,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC5D,GAAG,IAAI,SAAS,CAAC,IAAI,CAAC,QAAwB,CAAC,CAAA;QACjD,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,GAAG,IAAI,IAAI,CAAC,KAAK,CAAA;aAC7C,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,GAAG,IAAI,IAAI,IAAI,CAAC,IAAI,GAAG,CAAA;aACnD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;YAAE,GAAG,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,CAAA;aACnD,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;YAAE,GAAG,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,CAAA;IACtD,CAAC;IACD,OAAO,GAAG,CAAC,IAAI,EAAE,CAAA;AACnB,CAAC;AAED,SAAS,UAAU,CAAC,MAAc,EAAE,MAAc;IAChD,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAA;IACtC,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAA;IAC1C,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAA;IAC5C,OAAO;QACL,IAAI;QACJ,SAAS,EAAE,MAAM,GAAG,WAAW,GAAG,CAAC;KACpC,CAAA;AACH,CAAC;AAED,SAAS,OAAO,CAAC,MAAc,EAAE,KAAa,EAAE,MAAc;IAC5D,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAA;IACrC,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAA;IAC1C,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAA;IAC5C,MAAM,SAAS,GAAG,KAAK,GAAG,WAAW,GAAG,CAAC,CAAA;IACzC,OAAO;QACL,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;QAC1B,GAAG,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,GAAG,MAAM,EAAE;KAC7C,CAAA;AACH,CAAC"}

package/dist/analyze.test.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/analyze.test.js

@@ -0,0 +1,207 @@
+import assert from 'node:assert/strict';
+import test from 'node:test';
+import { analyzeCarve } from './analyze.js';
+import { hoverAt } from './hover.js';
+import { migrationCodeActions, migrationFixes } from './migration-actions.js';
+import { semanticTokens } from './semantic.js';
+test('returns heading document symbols', () => {
+    const result = analyzeCarve('# One\n\n## Two\n');
+    assert.equal(result.symbols.length, 1);
+    assert.equal(result.symbols[0].name, 'One');
+    assert.equal(result.symbols[0].children?.[0]?.name, 'Two');
+});
+test('reports carve-breakage migration warnings', () => {
+    const result = analyzeCarve('**bold**');
+    assert.equal(result.diagnostics.length, 1);
+    assert.equal(result.diagnostics[0].code, 'markdown-strong-double-star');
+    assert.deepEqual(result.diagnostics[0].range, {
+        start: { line: 0, character: 0 },
+        end: { line: 0, character: 8 },
+    });
+});
+test('does not diagnose djot-shift constructs (valid Carve)', () => {
+    // `_x_` (underline), `~x~` (strikethrough) and `{=x=}` (highlight) are valid
+    // Carve; on a hand-written document they are intentional, not mistakes, so
+    // they raise no diagnostic. See carve lint's default --from-djot gate.
+    for (const src of ['_italic_', 'H~2~O', '{=mark=}']) {
+        assert.equal(analyzeCarve(src).diagnostics.length, 0, `expected no diagnostic for ${JSON.stringify(src)}`);
+    }
+});
+test('surfaces lintCarve silent-failure warnings as diagnostics', () => {
+    const result = analyzeCarve('# Intro\n\nSee </#nope>.');
+    const lint = result.diagnostics.find((d) => d.code === 'broken-crossref');
+    assert.ok(lint, 'expected a broken-crossref diagnostic');
+    assert.equal(lint.source, 'carve');
+    assert.equal(lint.range.start.line, 2);
+});
+test('returns quick fixes for migration warnings', () => {
+    const source = '**bold** and ~~strike~~';
+    const diagnostics = analyzeCarve(source).diagnostics;
+    const actions = migrationCodeActions('file:///demo.crv', source, diagnostics);
+    // Two per-diagnostic quick fixes, plus the document-wide "fix all" action.
+    assert.equal(actions.length, 3);
+    assert.equal(actions[0].title, 'Convert to Carve syntax: *bold*');
+    assert.deepEqual(actions[0].edit?.changes?.['file:///demo.crv']?.[0], {
+        range: {
+            start: { line: 0, character: 0 },
+            end: { line: 0, character: 8 },
+        },
+        newText: '*bold*',
+    });
+    const fixAll = actions.find((action) => action.title.startsWith('Fix all'));
+    assert.ok(fixAll);
+    assert.equal(fixAll.edit?.changes?.['file:///demo.crv']?.[0]?.newText, '*bold* and ~strike~');
+});
+test('migration quick fixes use canonical single-char Carve delimiters', () => {
+    // Guards the delimiter targets the carve-js library hands the LSP through
+    // `warning.suggestion`. Carve highlight is a single `=`, and a *doubled*
+    // `==x==` is literal text by the same-delimiter-adjacency rule. Subscript
+    // and superscript are braced-only: there is no bare `,x,` / `^x^` form (a
+    // bare comma or caret is always literal text), so the only spelling is the
+    // brace-forced `{,x,}` / `{^x^}`. Suggestions are therefore `{=x=}` and
+    // `{,x,}`, never a bare or doubled delimiter form.
+    const cases = [
+        // Djot highlight `{=x=}` is also valid Carve highlight: kept as the
+        // identity brace form, NOT reduced to a doubled `==x==` (which is literal).
+        { source: '{=mark=}', code: 'djot-highlight-braces', newText: '{=mark=}' },
+        // Djot subscript `~x~` would render as Carve strikethrough; the gated
+        // `djot-subscript-tilde` rule rewrites it to the brace-forced subscript.
+        { source: 'H~2~O', code: 'djot-subscript-tilde', newText: '{,2,}' },
+    ];
+    // These are djot-shift constructs, so `analyzeCarve` raises no diagnostic for
+    // them by default. The suggestion text they carry still has to be canonical,
+    // so assert it on `migrationFixes` (the full rule set) directly — that is
+    // what feeds the --from-djot quick fixes.
+    for (const { source, code, newText } of cases) {
+        const fix = migrationFixes(source).find((f) => f.rule === code);
+        assert.ok(fix, `expected a ${code} fix for ${JSON.stringify(source)}`);
+        assert.equal(fix.suggestion, newText);
+        // Never emit the literal doubled delimiter forms.
+        assert.doesNotMatch(fix.suggestion, /==|,,/);
+    }
+});
+test('offers a quick fix for + bullets (was missing from the old span map)', () => {
+    const source = '+ item';
+    const diagnostics = analyzeCarve(source).diagnostics;
+    assert.equal(diagnostics[0].code, 'djot-plus-bullet');
+    const actions = migrationCodeActions('file:///demo.crv', source, diagnostics);
+    const quickFix = actions.find((a) => a.title === 'Convert to Carve syntax: -');
+    assert.ok(quickFix);
+    assert.deepEqual(quickFix.edit?.changes?.['file:///demo.crv']?.[0], {
+        range: { start: { line: 0, character: 0 }, end: { line: 0, character: 1 } },
+        newText: '-',
+    });
+});
+test('returns hover help for inline markup', () => {
+    const hover = hoverAt('Use /italic/ text', { line: 0, character: 6 });
+    assert.ok(hover);
+    assert.equal(typeof hover.contents, 'object');
+    assert.ok(!Array.isArray(hover.contents));
+    assert.notEqual(typeof hover.contents, 'string');
+    const contents = hover.contents;
+    assert.match(contents.value ?? '', /Italic/);
+});
+test('returns semantic tokens for headings and inline markup', () => {
+    const result = semanticTokens('# Title\n\nHi *bold* @mark {#id}\n');
+    assert.deepEqual(result.map((token) => [token.line, token.character, token.length, token.type]), [
+        [0, 0, 1, 'operator'],
+        [0, 2, 5, 'type'],
+        [2, 3, 6, 'keyword'],
+        [2, 10, 5, 'variable'],
+        // carve-js parses the trailing `{#id}` here as a literal `#id` hashtag
+        // (tag node) rather than an attribute attachment, so it surfaces as a
+        // `variable` token like any other hashtag.
+        [2, 17, 3, 'variable'],
+    ]);
+});
+test('highlights trailing %% comment from the marker to end of line', () => {
+    const result = semanticTokens('Hello %% this is a comment\n');
+    assert.deepEqual(result.map((token) => [token.line, token.character, token.length, token.type]), [[0, 6, 20, 'comment']]);
+});
+test('does not treat %% without preceding space or tab as a comment', () => {
+    const noSpace = semanticTokens('50%% off\n');
+    assert.deepEqual(noSpace.map((t) => t.type), []);
+    const midWord = semanticTokens('a%%b\n');
+    assert.deepEqual(midWord.map((t) => t.type), []);
+});
+test('does not treat escaped %% as a trailing comment', () => {
+    // backslash before %% prevents comment
+    const result = semanticTokens('literal \x5c%% stuff\n');
+    assert.deepEqual(result.filter((t) => t.type === 'comment'), []);
+});
+test('does not treat %% inside a backtick code span as a trailing comment', () => {
+    const result = semanticTokens('\x60code %%\x60 text\n');
+    // only the code span token, no comment token
+    assert.equal(result.length, 1);
+    assert.equal(result[0].type, 'string');
+});
+test('highlights trailing %% preceded by a tab', () => {
+    const result = semanticTokens('Hello\t%% comment\n');
+    assert.deepEqual(result.map((token) => [token.line, token.character, token.length, token.type]), [[0, 6, 10, 'comment']]);
+});
+test('returns semantic tokens for fenced blocks', () => {
+    const result = semanticTokens('``` js\nconst x = 1\n```\n');
+    assert.deepEqual(result.map((token) => [token.line, token.character, token.length, token.type]), [
+        [0, 0, 6, 'string'],
+        [1, 0, 11, 'string'],
+        [2, 0, 3, 'string'],
+    ]);
+});
+test('returns semantic tokens for critic insert markup', () => {
+    const result = semanticTokens('{+ inserted text +}');
+    assert.deepEqual(result.map((token) => [token.line, token.character, token.length, token.type]), [[0, 0, 19, 'type']]);
+});
+test('returns semantic tokens for critic delete markup', () => {
+    const result = semanticTokens('{- removed text -}');
+    assert.deepEqual(result.map((token) => [token.line, token.character, token.length, token.type]), [[0, 0, 18, 'comment']]);
+});
+test('returns semantic tokens for critic substitute markup', () => {
+    const result = semanticTokens('{~ old ~>new ~}');
+    assert.deepEqual(result.map((token) => [token.line, token.character, token.length, token.type]), [[0, 0, 15, 'keyword']]);
+});
+test('returns semantic tokens for critic annotation markup', () => {
+    const result = semanticTokens('{= highlight =}');
+    assert.deepEqual(result.map((token) => [token.line, token.character, token.length, token.type]), [[0, 0, 15, 'keyword']]);
+});
+test('returns semantic tokens for critic comment markup', () => {
+    const result = semanticTokens('{# a note #}');
+    assert.deepEqual(result.map((token) => [token.line, token.character, token.length, token.type]), [[0, 0, 12, 'comment']]);
+});
+test('returns semantic tokens for display math', () => {
+    const result = semanticTokens('$$E=mc2$$');
+    assert.deepEqual(result.map((token) => [token.line, token.character, token.length, token.type]), [[0, 0, 9, 'string']]);
+});
+test('returns semantic tokens for inline math', () => {
+    const result = semanticTokens('$x=1$');
+    assert.deepEqual(result.map((token) => [token.line, token.character, token.length, token.type]), [[0, 0, 5, 'string']]);
+});
+test('returns semantic tokens for reference definition', () => {
+    const result = semanticTokens('[carve]: https://example.com');
+    assert.deepEqual(result.map((token) => [token.line, token.character, token.length, token.type]), [
+        [0, 0, 1, 'operator'],
+        [0, 1, 5, 'type'],
+        [0, 6, 3, 'operator'],
+        [0, 9, 19, 'string'],
+    ]);
+});
+test('returns semantic tokens for footnote definition', () => {
+    const result = semanticTokens('[^fn]: footnote text');
+    assert.deepEqual(result.map((token) => [token.line, token.character, token.length, token.type]), [
+        [0, 0, 2, 'operator'],
+        [0, 2, 2, 'type'],
+        [0, 4, 3, 'operator'],
+    ]);
+});
+test('returns semantic tokens for abbreviation definition', () => {
+    const result = semanticTokens('*[HTML]: HyperText Markup Language');
+    assert.deepEqual(result.map((token) => [token.line, token.character, token.length, token.type]), [[0, 0, 34, 'property']]);
+});
+test('returns semantic tokens for YAML frontmatter', () => {
+    const result = semanticTokens('---\ntitle: Test\n---\n');
+    assert.deepEqual(result.map((token) => [token.line, token.character, token.length, token.type]), [
+        [0, 0, 3, 'string'],
+        [1, 0, 11, 'string'],
+        [2, 0, 3, 'string'],
+    ]);
+});
+//# sourceMappingURL=analyze.test.js.map

package/dist/analyze.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"analyze.test.js","sourceRoot":"","sources":["../src/analyze.test.ts"],"names":[],"mappings":"AAAA,OAAO,MAAM,MAAM,oBAAoB,CAAA;AACvC,OAAO,IAAI,MAAM,WAAW,CAAA;AAC5B,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAA;AAC3C,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAA;AACpC,OAAO,EAAE,oBAAoB,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAA;AAC7E,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAA;AAE9C,IAAI,CAAC,kCAAkC,EAAE,GAAG,EAAE;IAC5C,MAAM,MAAM,GAAG,YAAY,CAAC,mBAAmB,CAAC,CAAA;IAChD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAA;IACtC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;IAC5C,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAA;AAC7D,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,2CAA2C,EAAE,GAAG,EAAE;IACrD,MAAM,MAAM,GAAG,YAAY,CAAC,UAAU,CAAC,CAAA;IACvC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,CAAA;IAC1C,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,6BAA6B,CAAC,CAAA;IACxE,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC,KAAK,EAAE;QAC7C,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE;QAChC,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE;KAC/B,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,uDAAuD,EAAE,GAAG,EAAE;IACjE,6EAA6E;IAC7E,2EAA2E;IAC3E,uEAAuE;IACvE,KAAK,MAAM,GAAG,IAAI,CAAC,UAAU,EAAE,OAAO,EAAE,UAAU,CAAC,EAAE,CAAC;QACpD,MAAM,CAAC,KAAK,CACV,YAAY,CAAC,GAAG,CAAC,CAAC,WAAW,CAAC,MAAM,EACpC,CAAC,EACD,8BAA8B,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CACpD,CAAA;IACH,CAAC;AACH,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,2DAA2D,EAAE,GAAG,EAAE;IACrE,MAAM,MAAM,GAAG,YAAY,CAAC,0BAA0B,CAAC,CAAA;IACvD,MAAM,IAAI,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,iBAAiB,CAAC,CAAA;IACzE,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,uCAAuC,CAAC,CAAA;IACxD,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAClC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;AACxC,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,4CAA4C,EAAE,GAAG,EAAE;IACtD,MAAM,MAAM,GAAG,yBAAyB,CAAA;IACxC,MAAM,WAAW,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,WAAW,CAAA;IACpD,MAAM,OAAO,GAAG,oBAAoB,CAAC,kBAAkB,EAAE,MAAM,EAAE,WAAW,CAAC,CAAA;IAE7E,2EAA2E;IAC3E,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAA;IAC/B,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,KAAK,EAAE,iCAAiC,CAAC,CAAA;IAClE,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,kBAAkB,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;QACrE,KAAK,EAAE;YACL,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE;YAChC,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE;SAC/B;QACD,OAAO,EAAE,QAAQ;KAClB,CAAC,CAAA;IAEF,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAA;IAC3E,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAA;IACjB,MAAM,CAAC,KAAK,CACV,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,kBAAkB,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EACxD,qBAAqB,CACtB,CAAA;AACH,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,kEAAkE,EAAE,GAAG,EAAE;IAC5E,0EAA0E;IAC1E,yEAAyE;IACzE,0EAA0E;IAC1E,0EAA0E;IAC1E,2EAA2E;IAC3E,wEAAwE;IACxE,mDAAmD;IACnD,MAAM,KAAK,GAA6D;QACtE,oEAAoE;QACpE,4EAA4E;QAC5E,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,uBAAuB,EAAE,OAAO,EAAE,UAAU,EAAE;QAC1E,sEAAsE;QACtE,yEAAyE;QACzE,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,sBAAsB,EAAE,OAAO,EAAE,OAAO,EAAE;KACpE,CAAA;IAED,8EAA8E;IAC9E,6EAA6E;IAC7E,0EAA0E;IAC1E,0CAA0C;IAC1C,KAAK,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,KAAK,EAAE,CAAC;QAC9C,MAAM,GAAG,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAA;QAC/D,MAAM,CAAC,EAAE,CAAC,GAAG,EAAE,cAAc,IAAI,YAAY,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;QACtE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QACrC,kDAAkD;QAClD,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;IAC9C,CAAC;AACH,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,sEAAsE,EAAE,GAAG,EAAE;IAChF,MAAM,MAAM,GAAG,QAAQ,CAAA;IACvB,MAAM,WAAW,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,WAAW,CAAA;IACpD,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAA;IACtD,MAAM,OAAO,GAAG,oBAAoB,CAAC,kBAAkB,EAAE,MAAM,EAAE,WAAW,CAAC,CAAA;IAC7E,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,4BAA4B,CAAC,CAAA;IAC9E,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAA;IACnB,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,kBAAkB,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;QAClE,KAAK,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE;QAC3E,OAAO,EAAE,GAAG;KACb,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,sCAAsC,EAAE,GAAG,EAAE;IAChD,MAAM,KAAK,GAAG,OAAO,CAAC,mBAAmB,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAA;IAErE,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;IAChB,MAAM,CAAC,KAAK,CAAC,OAAO,KAAK,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAA;IAC7C,MAAM,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAA;IACzC,MAAM,CAAC,QAAQ,CAAC,OAAO,KAAK,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAA;IAChD,MAAM,QAAQ,GAAG,KAAK,CAAC,QAA8B,CAAA;IACrD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,IAAI,EAAE,EAAE,QAAQ,CAAC,CAAA;AAC9C,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,wDAAwD,EAAE,GAAG,EAAE;IAClE,MAAM,MAAM,GAAG,cAAc,CAAC,oCAAoC,CAAC,CAAA;IAEnE,MAAM,CAAC,SAAS,CACd,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,EAC9E;QACE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,UAAU,CAAC;QACrB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC;QACjB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC;QACpB,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,UAAU,CAAC;QACtB,uEAAuE;QACvE,sEAAsE;QACtE,2CAA2C;QAC3C,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,UAAU,CAAC;KACvB,CACF,CAAA;AACH,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,+DAA+D,EAAE,GAAG,EAAE;IACzE,MAAM,MAAM,GAAG,cAAc,CAAC,8BAA8B,CAAC,CAAA;IAE7D,MAAM,CAAC,SAAS,CACd,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,EAC9E,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC,CACxB,CAAA;AACH,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,+DAA+D,EAAE,GAAG,EAAE;IACzE,MAAM,OAAO,GAAG,cAAc,CAAC,YAAY,CAAC,CAAA;IAC5C,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAA;IAEhD,MAAM,OAAO,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAA;IACxC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAA;AAClD,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,iDAAiD,EAAE,GAAG,EAAE;IAC3D,uCAAuC;IACvC,MAAM,MAAM,GAAG,cAAc,CAAC,wBAAwB,CAAC,CAAA;IACvD,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,EAAE,EAAE,CAAC,CAAA;AAClE,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,qEAAqE,EAAE,GAAG,EAAE;IAC/E,MAAM,MAAM,GAAG,cAAc,CAAC,wBAAwB,CAAC,CAAA;IACvD,6CAA6C;IAC7C,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAA;IAC9B,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;AACzC,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,0CAA0C,EAAE,GAAG,EAAE;IACpD,MAAM,MAAM,GAAG,cAAc,CAAC,qBAAqB,CAAC,CAAA;IAEpD,MAAM,CAAC,SAAS,CACd,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,EAC9E,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC,CACxB,CAAA;AACH,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,2CAA2C,EAAE,GAAG,EAAE;IACrD,MAAM,MAAM,GAAG,cAAc,CAAC,4BAA4B,CAAC,CAAA;IAE3D,MAAM,CAAC,SAAS,CACd,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,EAC9E;QACE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC;QACnB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,CAAC;QACpB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC;KACpB,CACF,CAAA;AACH,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,kDAAkD,EAAE,GAAG,EAAE;IAC5D,MAAM,MAAM,GAAG,cAAc,CAAC,qBAAqB,CAAC,CAAA;IACpD,MAAM,CAAC,SAAS,CACd,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,EAC9E,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC,CACrB,CAAA;AACH,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,kDAAkD,EAAE,GAAG,EAAE;IAC5D,MAAM,MAAM,GAAG,cAAc,CAAC,oBAAoB,CAAC,CAAA;IACnD,MAAM,CAAC,SAAS,CACd,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,EAC9E,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC,CACxB,CAAA;AACH,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,sDAAsD,EAAE,GAAG,EAAE;IAChE,MAAM,MAAM,GAAG,cAAc,CAAC,iBAAiB,CAAC,CAAA;IAChD,MAAM,CAAC,SAAS,CACd,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,EAC9E,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC,CACxB,CAAA;AACH,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,sDAAsD,EAAE,GAAG,EAAE;IAChE,MAAM,MAAM,GAAG,cAAc,CAAC,iBAAiB,CAAC,CAAA;IAChD,MAAM,CAAC,SAAS,CACd,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,EAC9E,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC,CACxB,CAAA;AACH,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,mDAAmD,EAAE,GAAG,EAAE;IAC7D,MAAM,MAAM,GAAG,cAAc,CAAC,cAAc,CAAC,CAAA;IAC7C,MAAM,CAAC,SAAS,CACd,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,EAC9E,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC,CACxB,CAAA;AACH,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,0CAA0C,EAAE,GAAG,EAAE;IACpD,MAAM,MAAM,GAAG,cAAc,CAAC,WAAW,CAAC,CAAA;IAC1C,MAAM,CAAC,SAAS,CACd,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,EAC9E,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC,CACtB,CAAA;AACH,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,yCAAyC,EAAE,GAAG,EAAE;IACnD,MAAM,MAAM,GAAG,cAAc,CAAC,OAAO,CAAC,CAAA;IACtC,MAAM,CAAC,SAAS,CACd,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,EAC9E,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC,CACtB,CAAA;AACH,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,kDAAkD,EAAE,GAAG,EAAE;IAC5D,MAAM,MAAM,GAAG,cAAc,CAAC,8BAA8B,CAAC,CAAA;IAC7D,MAAM,CAAC,SAAS,CACd,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,EAC9E;QACE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,UAAU,CAAC;QACrB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC;QACjB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,UAAU,CAAC;QACrB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,CAAC;KACrB,CACF,CAAA;AACH,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,iDAAiD,EAAE,GAAG,EAAE;IAC3D,MAAM,MAAM,GAAG,cAAc,CAAC,sBAAsB,CAAC,CAAA;IACrD,MAAM,CAAC,SAAS,CACd,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,EAC9E;QACE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,UAAU,CAAC;QACrB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC;QACjB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,UAAU,CAAC;KACtB,CACF,CAAA;AACH,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,qDAAqD,EAAE,GAAG,EAAE;IAC/D,MAAM,MAAM,GAAG,cAAc,CAAC,oCAAoC,CAAC,CAAA;IACnE,MAAM,CAAC,SAAS,CACd,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,EAC9E,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC,CACzB,CAAA;AACH,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,8CAA8C,EAAE,GAAG,EAAE;IACxD,MAAM,MAAM,GAAG,cAAc,CAAC,yBAAyB,CAAC,CAAA;IACxD,MAAM,CAAC,SAAS,CACd,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,EAC9E;QACE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC;QACnB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,CAAC;QACpB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC;KACpB,CACF,CAAA;AACH,CAAC,CAAC,CAAA"}

package/dist/codelens.d.ts

@@ -0,0 +1,7 @@
+import { type CodeLens } from 'vscode-languageserver/node.js';
+/**
+ * A non-interactive code lens above each footnote definition showing how many
+ * times it is referenced in the document. A definition with zero references is
+ * dropped by the renderer, so the count doubles as a dead-footnote hint.
+ */
+export declare function codeLenses(source: string): CodeLens[];

package/dist/codelens.js

@@ -0,0 +1,36 @@
+/**
+ * A non-interactive code lens above each footnote definition showing how many
+ * times it is referenced in the document. A definition with zero references is
+ * dropped by the renderer, so the count doubles as a dead-footnote hint.
+ */
+export function codeLenses(source) {
+    const lines = source.split(/\r?\n/);
+    // Count references: `[^label]` occurrences that are not a definition (`[^label]:`).
+    const refCounts = new Map();
+    lines.forEach((line) => {
+        for (const m of line.matchAll(/\[\^([^\]\s]+)\](?!:)/g)) {
+            refCounts.set(m[1], (refCounts.get(m[1]) ?? 0) + 1);
+        }
+    });
+    const lenses = [];
+    lines.forEach((line, lineNo) => {
+        const def = /^( {0,3})\[\^([^\]\s]+)\]:/.exec(line);
+        if (!def)
+            return;
+        const label = def[2];
+        const count = refCounts.get(label) ?? 0;
+        const start = def[1].length;
+        lenses.push({
+            range: {
+                start: { line: lineNo, character: start },
+                end: { line: lineNo, character: start + label.length + 3 },
+            },
+            command: {
+                title: count === 1 ? '1 reference' : `${count} references`,
+                command: '',
+            },
+        });
+    });
+    return lenses;
+}
+//# sourceMappingURL=codelens.js.map

package/dist/codelens.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"codelens.js","sourceRoot":"","sources":["../src/codelens.ts"],"names":[],"mappings":"AAEA;;;;GAIG;AACH,MAAM,UAAU,UAAU,CAAC,MAAc;IACvC,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;IAEnC,oFAAoF;IACpF,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAA;IAC3C,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;QACrB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,wBAAwB,CAAC,EAAE,CAAC;YACxD,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;QACvD,CAAC;IACH,CAAC,CAAC,CAAA;IAEF,MAAM,MAAM,GAAe,EAAE,CAAA;IAC7B,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE;QAC7B,MAAM,GAAG,GAAG,4BAA4B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACnD,IAAI,CAAC,GAAG;YAAE,OAAM;QAChB,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,CAAE,CAAA;QACrB,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;QACvC,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,CAAE,CAAC,MAAM,CAAA;QAC5B,MAAM,CAAC,IAAI,CAAC;YACV,KAAK,EAAE;gBACL,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE;gBACzC,GAAG,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE;aAC3D;YACD,OAAO,EAAE;gBACP,KAAK,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,GAAG,KAAK,aAAa;gBAC1D,OAAO,EAAE,EAAE;aACZ;SACF,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;IAEF,OAAO,MAAM,CAAA;AACf,CAAC"}

package/dist/codelens.test.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/codelens.test.js

@@ -0,0 +1,18 @@
+import assert from 'node:assert/strict';
+import test from 'node:test';
+import { codeLenses } from './codelens.js';
+test('counts references for each footnote definition', () => {
+    const source = 'a[^x] b[^x]\n\n[^x]: defined\n[^y]: orphan';
+    const lenses = codeLenses(source);
+    const titles = lenses.map((l) => l.command?.title);
+    assert.ok(titles.includes('2 references'));
+    assert.ok(titles.includes('0 references'));
+});
+test('uses the singular form for a single reference', () => {
+    const lenses = codeLenses('a[^x]\n\n[^x]: defined');
+    assert.equal(lenses[0]?.command?.title, '1 reference');
+});
+test('emits no lenses without footnote definitions', () => {
+    assert.deepEqual(codeLenses('just prose with [^ref] but no def line that matches? [^ref]'), []);
+});
+//# sourceMappingURL=codelens.test.js.map

package/dist/codelens.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"codelens.test.js","sourceRoot":"","sources":["../src/codelens.test.ts"],"names":[],"mappings":"AAAA,OAAO,MAAM,MAAM,oBAAoB,CAAA;AACvC,OAAO,IAAI,MAAM,WAAW,CAAA;AAC5B,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAA;AAE1C,IAAI,CAAC,gDAAgD,EAAE,GAAG,EAAE;IAC1D,MAAM,MAAM,GAAG,4CAA4C,CAAA;IAC3D,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAA;IACjC,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;IAClD,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAA;IAC1C,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAA;AAC5C,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,+CAA+C,EAAE,GAAG,EAAE;IACzD,MAAM,MAAM,GAAG,UAAU,CAAC,wBAAwB,CAAC,CAAA;IACnD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,aAAa,CAAC,CAAA;AACxD,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,8CAA8C,EAAE,GAAG,EAAE;IACxD,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,6DAA6D,CAAC,EAAE,EAAE,CAAC,CAAA;AACjG,CAAC,CAAC,CAAA"}

package/dist/completion.d.ts

@@ -0,0 +1,9 @@
+import { type CompletionItem, type Position } from 'vscode-languageserver/node.js';
+/**
+ * Context-aware completions driven by the text immediately before the cursor:
+ *   - `::: ` opens an admonition -> canonical kinds
+ *   - `</#`  cross-reference     -> heading ids in the document
+ *   - `[^`   footnote reference  -> defined footnote labels
+ *   - `][`   reference link      -> defined link reference labels
+ */
+export declare function completionAt(source: string, position: Position): CompletionItem[];