@markup-carve/carve-lsp 0.1.1 → 0.1.3

package/README.md

@@ -23,10 +23,10 @@ The server communicates over **stdio** (`--stdio` flag).
 | Capability | Details |
 |---|---|
 | Diagnostics | Syntax errors from the Carve parser; advisory warnings for Djot/Markdown delimiter collisions |
-| Document symbols | Headings as an outline tree |
+| Document symbols | Headings as an outline tree, including headings attributed to included files |
 | Hover | Contextual information on hover |
 | Completion | Trigger characters `:` `#` `^` `[` |
-| Go to definition | Jump to heading / reference targets |
+| Go to definition | Jump to heading / reference targets and included files |
 | 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 |
@@ -34,6 +34,69 @@ The server communicates over **stdio** (`--stdio` flag).
 | Folding ranges | Fold sections and block containers |
 | Formatting | Format the whole document |
 | Semantic tokens | Token-based syntax highlighting |
+| File inclusion | Resolves `{{ path }}` directives, watches dependencies, and reports failures as diagnostics - **off by default**, see below |
+
+## File inclusion
+
+Carve's `{{ path }}` directive is a processor-level feature (PART 9 §19 of the
+grammar), not part of the parser. This server resolves it so that the thin
+editor clients - `helix-carve`, `emacs-carve`, `vim-carve`, `zed-carve`,
+`sublime-carve` - get inclusion support without each implementing it.
+
+Resolution reads files from disk, so it is **opt-in and off by default**. The
+server enables it only when it is asked to, and only inside a containment root.
+
+### Settings
+
+Pass these under `carve.includes`, either in `initializationOptions` at
+initialize time or through `workspace/didChangeConfiguration`. Changing them
+re-publishes diagnostics for every open document.
+
+| Setting | Default | Meaning |
+|---|---|---|
+| `enabled` | `"auto"` | `"auto"` enables inclusion only for a workspace the client reports as trusted; `"on"` always; `"off"` never. A client that reports no trust gets inclusion off. |
+| `includeRoot` | workspace root | Containment root override. With no workspace, the document's own directory is used - never the server's working directory. |
+| `allowAbsolute` | `false` | Allow absolute include paths. They still have to canonicalize inside the root. |
+| `allowedRemoteHosts` | `[]` | Hosts a remote include may name. This server has no fetcher, so a remote target is refused either way; the list exists so the gate is explicit. |
+| `maxDepth` | `16` | Maximum transitive include depth. |
+| `maxBytes` | `max(1 MiB, 8x document)` | Total byte budget across the whole include graph, charged per occurrence. |
+
+Client trust is read from `initializationOptions.workspaceTrusted`.
+
+```json
+{
+  "carve": {
+    "includes": {
+      "enabled": "auto",
+      "maxDepth": 8
+    }
+  },
+  "workspaceTrusted": true
+}
+```
+
+### What is enforced
+
+Every target has to canonicalize (symlinks resolved) to a file inside the
+containment root. A symlink pointing out of the root, a `..` path that leaves
+it, and an absolute path outside it are all refused. A `..` path whose real
+target stays inside the root is fine - a chapter reaching a shared glossary is
+ordinary layout. Remote URLs are never fetched. Recursion depth and total
+expanded bytes are both bounded, so a file that includes another many times
+cannot amplify without limit.
+
+A refused target produces an `include-unresolved` diagnostic on the directive,
+and the directive stays literal. The diagnostic deliberately does not say WHICH
+check refused it: a distinguishable denial is a way to probe the layout of the
+machine the server runs on.
+
+The server watches every legal include target, including a missing target that
+may be created later. A child change invalidates its cached source and parsed
+tree, then revalidates every open document that includes it. Go to definition
+on a directive opens the resolved child, and child headings appear in the
+including document's symbol result with locations in the child file. All three
+features use the same contained resolver as diagnostics; refused paths are
+never registered as watchers or navigation targets.
 
 ## Editor setup
 

package/dist/analyze.d.ts

@@ -1,6 +1,30 @@
-import { DocumentSymbol, type Diagnostic } from 'vscode-languageserver/node.js';
+import { DocumentSymbol, SymbolInformation, type Diagnostic, type Range } from 'vscode-languageserver/node.js';
+import { type IncludeDependency, type IncludeOptions } from './includes.js';
+import type { IncludeParseCache } from './include-cache.js';
+export interface AnalyzeOptions {
+    /** URI used for diagnostic related-information locations. */
+    uri?: string;
+    /**
+     * Include resolution settings (PART 9 §19). ABSENT MEANS OFF: with no
+     * options - or with options carrying no resolver - no include directive is
+     * acted on and no file is read. §19 requires includes to be opt-in, so the
+     * capability has to be handed in rather than defaulted into existence.
+     */
+    includes?: IncludeOptions;
+    includedParseCache?: IncludeParseCache;
+}
 export interface Analysis {
     diagnostics: Diagnostic[];
     symbols: DocumentSymbol[];
+    /**
+     * Include targets touched while analyzing, resolved or not. Empty unless
+     * include resolution was enabled. Hosts watch these so a change in an
+     * INCLUDED document can re-publish diagnostics for the INCLUDING one.
+     */
+    dependencies: IncludeDependency[];
+    /** Outline entries from included files, carrying their child-file URI. */
+    includedSymbols: SymbolInformation[];
 }
-export declare function analyzeCarve(source: string): Analysis;
+export declare function analyzeCarve(source: string, options?: AnalyzeOptions): Analysis;
+export declare function parseErrorRange(source: string, message: string): Range;
+export declare function tolerantHeadingSymbols(source: string): DocumentSymbol[];

package/dist/analyze.js

@@ -1,17 +1,23 @@
 import { DiagnosticSeverity, SymbolKind, } from 'vscode-languageserver/node.js';
 import { djotMigrationWarnings, lintCarve, parse, resolve, } from '@markup-carve/carve';
-export function analyzeCarve(source) {
+import path from 'node:path';
+import { pathToFileURL } from 'node:url';
+import { smartPunctuationText } from './inline-text.js';
+import { panelLetter } from './captions.js';
+import { resolveIncludes } from './includes.js';
+export function analyzeCarve(source, options = {}) {
     const diagnostics = [];
     let doc = null;
     try {
         doc = resolve(parse(source));
     }
     catch (error) {
+        const message = error instanceof Error ? error.message : String(error);
         diagnostics.push({
             severity: DiagnosticSeverity.Error,
-            range: rangeAt(source, 0, 1),
+            range: parseErrorRange(source, message),
             source: 'carve',
-            message: error instanceof Error ? error.message : String(error),
+            message,
         });
     }
     // warning.start/end are offsets into the line-ending-normalized source;
@@ -44,7 +50,7 @@ export function analyzeCarve(source) {
     // attributes, legacy raw fences, leaked block markers).
     for (const warning of lintCarve(source)) {
         const len = Math.max(1, warning.end - warning.start);
-        diagnostics.push({
+        const diagnostic = {
             severity: DiagnosticSeverity.Warning,
             range: {
                 start: { line: warning.line - 1, character: warning.column - 1 },
@@ -53,21 +59,148 @@ export function analyzeCarve(source) {
             source: 'carve',
             code: warning.rule,
             message: warning.message,
+        };
+        const related = options.uri ? firstDuplicateDeclaration(source, warning.rule, warning.message, warning.line - 1) : null;
+        if (options.uri && related)
+            diagnostic.relatedInformation = [{
+                    location: { uri: options.uri, range: related },
+                    message: 'First declaration is here.',
+                }];
+        diagnostics.push(diagnostic);
+    }
+    // Include resolution (PART 9 §19). Inert without a resolver, so a document
+    // in an untrusted or unconfigured workspace keeps its `{{ … }}` literal and
+    // nothing on disk is touched.
+    const includes = resolveIncludes(norm, options.includes ?? {});
+    for (const warning of includes.warnings) {
+        diagnostics.push({
+            severity: DiagnosticSeverity.Warning,
+            range: {
+                start: positionAt(norm, warning.start),
+                end: positionAt(norm, warning.end),
+            },
+            source: 'carve',
+            code: warning.rule,
+            // `warning.detail` is deliberately not folded in: §19 I7 keeps the
+            // failure class out of author-visible text so a denial cannot be used
+            // to probe host layout. The attributed child is named relative to the
+            // include root for the same reason - never as an absolute path.
+            message: attributeToChild(warning.message, warning.file, options.includes),
         });
     }
     return {
         diagnostics,
-        symbols: doc ? documentSymbols(doc) : [],
+        symbols: doc ? documentSymbols(doc) : tolerantHeadingSymbols(source),
+        dependencies: includes.dependencies,
+        includedSymbols: includedSymbols(includes.documents, options.includedParseCache),
     };
 }
+export function parseErrorRange(source, message) {
+    const located = /(?:line|at)\s+(\d+)(?::|,\s*column\s+)(\d+)/i.exec(message);
+    if (!located)
+        return rangeAt(source, 0, 1);
+    const line = Math.max(0, Number(located[1]) - 1);
+    const character = Math.max(0, Number(located[2]) - 1);
+    return { start: { line, character }, end: { line, character: character + 1 } };
+}
+export function tolerantHeadingSymbols(source) {
+    const symbols = [];
+    for (const [line, text] of source.replace(/\r\n?/g, '\n').split('\n').entries()) {
+        const match = /^(#{1,6}) (.+)$/.exec(text);
+        if (!match)
+            continue;
+        const range = { start: { line, character: 0 }, end: { line, character: text.length } };
+        symbols.push({ name: match[2], kind: SymbolKind.String, range, selectionRange: range });
+    }
+    return symbols;
+}
+function firstDuplicateDeclaration(source, rule, message, repeatedLine) {
+    const headingKey = rule === 'duplicate-heading-id' ? /heading id "([^"]+)"/.exec(message)?.[1] : undefined;
+    const footnoteKey = rule === 'duplicate-footnote-definition' ? /\[\^([^\]]+)\]/.exec(message)?.[1] : undefined;
+    const key = headingKey ?? footnoteKey;
+    if (!key)
+        return null;
+    const lines = source.replace(/\r\n?/g, '\n').split('\n');
+    const declarations = [];
+    for (let line = 0; line < lines.length; line += 1) {
+        const text = lines[line];
+        const match = headingKey
+            ? /^\{[^}]*#([^\s}]+)[^}]*\}\s*$/.exec(text)
+            : /^(?: {0,3})\[\^([^\]]+)\]:/.exec(text);
+        if (!match || match[1].toLocaleLowerCase() !== key.toLocaleLowerCase())
+            continue;
+        const character = text.indexOf(match[1]);
+        if (line >= repeatedLine - 1)
+            break;
+        declarations.push({
+            start: { line, character },
+            end: { line, character: character + match[1].length },
+        });
+    }
+    return declarations[0] ?? null;
+}
+function includedSymbols(documents, cache) {
+    const symbols = [];
+    for (const child of documents) {
+        let document = child.version === undefined ? undefined : cache?.get(child.id, child.version);
+        if (!document) {
+            try {
+                document = resolve(parse(child.source));
+            }
+            catch {
+                continue;
+            }
+            if (child.version !== undefined)
+                cache?.set(child.id, child.version, document);
+        }
+        const uri = pathToFileURL(child.id).toString();
+        for (const entry of walkOutline(document.children)) {
+            // An INCLUDED file contributes its headings, flat. A composite figure is
+            // a landmark inside its own file rather than a navigable entry in
+            // another one, so it stays out of this list.
+            if (entry.type !== 'heading')
+                continue;
+            const symbol = headingSymbol(entry);
+            symbols.push({
+                name: symbol.name,
+                kind: symbol.kind,
+                location: { uri, range: symbol.range },
+                containerName: path.basename(child.id),
+            });
+        }
+    }
+    return symbols;
+}
+/**
+ * Name the file a nested include warning arose in, relative to the include
+ * root. A warning raised in the document the client already has open adds
+ * nothing and is left alone.
+ */
+function attributeToChild(message, file, includes) {
+    if (file === undefined || file === includes?.sourcePath)
+        return message;
+    return `${message} (in ${relativeToRoot(file, includes?.includeRoot)})`;
+}
+/**
+ * A child's identity as the author wrote it: relative to the include root,
+ * segment-wise, so a sibling directory named `..foo` is not mistaken for an
+ * escape. A file that is not under the root at all is named as it came, since
+ * inventing a relative form for it would be a lie.
+ */
+function relativeToRoot(file, root) {
+    if (root === undefined)
+        return file;
+    const relative = path.relative(root, file);
+    if (!relative || path.isAbsolute(relative))
+        return file;
+    if (relative.split(path.sep)[0] === '..')
+        return file;
+    return relative;
+}
 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 place = (symbol) => {
         const parent = stack[stack.length - 1];
         if (parent) {
             parent.symbol.children ??= [];
@@ -76,24 +209,97 @@ function documentSymbols(doc) {
         else {
             roots.push(symbol);
         }
-        stack.push({ level: heading.level, symbol });
+    };
+    for (const entry of walkOutline(doc.children)) {
+        if (entry.type === 'figure_group') {
+            // A composite figure is a structural landmark: one figure holding
+            // ordered panels (PART 9 §4c). It takes NO level, so it never pops the
+            // heading stack - it hangs under the section it appears in, the way a
+            // heading's own children do.
+            place(figureGroupSymbol(entry));
+            continue;
+        }
+        while (stack.length && stack[stack.length - 1].level >= entry.level) {
+            stack.pop();
+        }
+        const symbol = headingSymbol(entry);
+        place(symbol);
+        stack.push({ level: entry.level, symbol });
     }
     return roots;
 }
-function* walkHeadings(nodes) {
+/**
+ * The outline's entries in source order: headings, and composite figures.
+ *
+ * A group is worth an entry where a plain figure is not, because it is a
+ * CONTAINER an author folds, navigates and loses their place inside - the same
+ * reason it folds. Its panels come with it, so the outline says how many there
+ * are without scrolling the fence.
+ */
+function* walkOutline(nodes) {
     for (const node of nodes) {
         if (node.type === 'heading')
             yield node;
+        if (node.type === 'figure_group') {
+            yield node;
+            // Its panels ride on the group's own symbol - a `figure` or `table`
+            // yields no entry of its own here - but the walk still DESCENDS through
+            // them. A panel can wrap a quote holding headings, and skipping the panel
+            // node dropped those headings out of the outline entirely.
+            yield* walkOutline(node.children);
+            continue;
+        }
         if ('children' in node && Array.isArray(node.children)) {
-            yield* walkHeadings(node.children.filter(isBlockNode));
+            yield* walkOutline(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));
+                yield* walkOutline(node.target.children.filter(isBlockNode));
             }
         }
     }
 }
+/** A group's panels are its direct `figure` and `table` children (§4c). */
+function isPanel(node) {
+    return node.type === 'figure' || node.type === 'table';
+}
+function figureGroupSymbol(group) {
+    const range = blockRange(group);
+    const panels = group.children.filter(isPanel);
+    return {
+        name: (group.caption ? plainText(group.caption) : '') || 'Composite figure',
+        detail: panels.length === 1 ? '1 panel' : `${panels.length} panels`,
+        kind: SymbolKind.Struct,
+        range,
+        selectionRange: range,
+        children: panels.map((panel, index) => panelSymbol(panel, index)),
+    };
+}
+/**
+ * A panel is named by its own caption, and falls back to the LETTER a crossref
+ * would use for it (§4c) - not to a number, which would read as a figure number
+ * the panel does not have.
+ */
+function panelSymbol(panel, index) {
+    const caption = panel.caption;
+    const range = blockRange(panel);
+    return {
+        name: (caption ? plainText(caption) : '') || `Panel ${panelLetter(index)}`,
+        kind: panel.type === 'table' ? SymbolKind.Array : SymbolKind.Object,
+        range,
+        selectionRange: range,
+        children: [],
+    };
+}
+function blockRange(node) {
+    if (!node.pos) {
+        return { start: { line: 0, character: 0 }, end: { line: 0, character: 0 } };
+    }
+    return {
+        start: { line: node.pos.startLine - 1, character: 0 },
+        end: { line: node.pos.endLine - 1, character: 200 },
+    };
+}
 function isBlockNode(node) {
     return Boolean(node && typeof node === 'object' && 'type' in node);
 }
@@ -129,12 +335,19 @@ function plainText(nodes) {
         // verbatim content to the outline symbol name just as a code span does.
         else if (node.type === 'literal_inline')
             out += node.content;
+        // A caption's resolved number. Without it a composite figure appeared in
+        // the outline as "Figure : Group caption", with the gap where the number
+        // the reader is looking for should be.
+        else if (node.type === 'caption_number')
+            out += String(node.n);
         else if (node.type === 'symbol')
             out += `:${node.name}:`;
         else if (node.type === 'mention')
             out += `@${node.user}`;
         else if (node.type === 'tag')
             out += `#${node.name}`;
+        else
+            out += smartPunctuationText(node);
     }
     return out.trim();
 }

package/dist/analyze.js.map

@@ -1 +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;QAClD,0EAA0E;QAC1E,wEAAwE;aACnE,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB;YAAE,GAAG,IAAI,IAAI,CAAC,OAAO,CAAA;aACvD,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"}
+{"version":3,"file":"analyze.js","sourceRoot":"","sources":["../src/analyze.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,kBAAkB,EAGlB,UAAU,GAGX,MAAM,+BAA+B,CAAA;AACtC,OAAO,EACL,qBAAqB,EACrB,SAAS,EACT,KAAK,EACL,OAAO,GAKR,MAAM,qBAAqB,CAAA;AAC5B,OAAO,IAAI,MAAM,WAAW,CAAA;AAC5B,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAA;AACxC,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAA;AACvD,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAA;AAC3C,OAAO,EAAE,eAAe,EAA+C,MAAM,eAAe,CAAA;AA6B5F,MAAM,UAAU,YAAY,CAAC,MAAc,EAAE,UAA0B,EAAE;IACvE,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,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;QACtE,WAAW,CAAC,IAAI,CAAC;YACf,QAAQ,EAAE,kBAAkB,CAAC,KAAK;YAClC,KAAK,EAAE,eAAe,CAAC,MAAM,EAAE,OAAO,CAAC;YACvC,MAAM,EAAE,OAAO;YACf,OAAO;SACR,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,MAAM,UAAU,GAAe;YAC7B,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,CAAA;QACD,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,yBAAyB,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;QACvH,IAAI,OAAO,CAAC,GAAG,IAAI,OAAO;YAAE,UAAU,CAAC,kBAAkB,GAAG,CAAC;oBAC3D,QAAQ,EAAE,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,KAAK,EAAE,OAAO,EAAE;oBAC9C,OAAO,EAAE,4BAA4B;iBACtC,CAAC,CAAA;QACF,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;IAC9B,CAAC;IAED,2EAA2E;IAC3E,4EAA4E;IAC5E,8BAA8B;IAC9B,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAA;IAC9D,KAAK,MAAM,OAAO,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;QACxC,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,mEAAmE;YACnE,sEAAsE;YACtE,sEAAsE;YACtE,gEAAgE;YAChE,OAAO,EAAE,gBAAgB,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC;SAC3E,CAAC,CAAA;IACJ,CAAC;IAED,OAAO;QACL,WAAW;QACX,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC,MAAM,CAAC;QACpE,YAAY,EAAE,QAAQ,CAAC,YAAY;QACnC,eAAe,EAAE,eAAe,CAAC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC,kBAAkB,CAAC;KACjF,CAAA;AACH,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,MAAc,EAAE,OAAe;IAC7D,MAAM,OAAO,GAAG,8CAA8C,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;IAC5E,IAAI,CAAC,OAAO;QAAE,OAAO,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAC1C,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;IAChD,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;IACrD,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,GAAG,CAAC,EAAE,EAAE,CAAA;AAChF,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,MAAc;IACnD,MAAM,OAAO,GAAqB,EAAE,CAAA;IACpC,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;QAChF,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC1C,IAAI,CAAC,KAAK;YAAE,SAAQ;QACpB,MAAM,KAAK,GAAG,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,CAAA;QACtF,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,UAAU,CAAC,MAAM,EAAE,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC,CAAA;IAC1F,CAAC;IACD,OAAO,OAAO,CAAA;AAChB,CAAC;AAED,SAAS,yBAAyB,CAAC,MAAc,EAAE,IAAY,EAAE,OAAe,EAAE,YAAoB;IACpG,MAAM,UAAU,GAAG,IAAI,KAAK,sBAAsB,CAAC,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IAC1G,MAAM,WAAW,GAAG,IAAI,KAAK,+BAA+B,CAAC,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IAC9G,MAAM,GAAG,GAAG,UAAU,IAAI,WAAW,CAAA;IACrC,IAAI,CAAC,GAAG;QAAE,OAAO,IAAI,CAAA;IACrB,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;IACxD,MAAM,YAAY,GAAY,EAAE,CAAA;IAChC,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,CAAC,MAAM,EAAE,IAAI,IAAI,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAE,CAAA;QACzB,MAAM,KAAK,GAAG,UAAU;YACtB,CAAC,CAAC,+BAA+B,CAAC,IAAI,CAAC,IAAI,CAAC;YAC5C,CAAC,CAAC,4BAA4B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC3C,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,CAAC,CAAE,CAAC,iBAAiB,EAAE,KAAK,GAAG,CAAC,iBAAiB,EAAE;YAAE,SAAQ;QACjF,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAA;QACzC,IAAI,IAAI,IAAI,YAAY,GAAG,CAAC;YAAE,MAAK;QACnC,YAAY,CAAC,IAAI,CAAC;YAChB,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;YAC1B,GAAG,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC,MAAM,EAAE;SACvD,CAAC,CAAA;IACJ,CAAC;IACD,OAAO,YAAY,CAAC,CAAC,CAAC,IAAI,IAAI,CAAA;AAChC,CAAC;AAED,SAAS,eAAe,CACtB,SAAkE,EAClE,KAAoC;IAEpC,MAAM,OAAO,GAAwB,EAAE,CAAA;IACvC,KAAK,MAAM,KAAK,IAAI,SAAS,EAAE,CAAC;QAC9B,IAAI,QAAQ,GAAG,KAAK,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,OAAO,CAAC,CAAA;QAC5F,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,IAAI,CAAC;gBACH,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAA;YACzC,CAAC;YAAC,MAAM,CAAC;gBACP,SAAQ;YACV,CAAC;YACD,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS;gBAAE,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAA;QAChF,CAAC;QACD,MAAM,GAAG,GAAG,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAA;QAC9C,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;YACnD,yEAAyE;YACzE,kEAAkE;YAClE,6CAA6C;YAC7C,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;gBAAE,SAAQ;YACtC,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,CAAC,CAAA;YACnC,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,MAAM,CAAC,IAAI;gBACjB,IAAI,EAAE,MAAM,CAAC,IAAI;gBACjB,QAAQ,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE;gBACtC,aAAa,EAAE,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;aACvC,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAA;AAChB,CAAC;AAED;;;;GAIG;AACH,SAAS,gBAAgB,CACvB,OAAe,EACf,IAAwB,EACxB,QAAoC;IAEpC,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,QAAQ,EAAE,UAAU;QAAE,OAAO,OAAO,CAAA;IACvE,OAAO,GAAG,OAAO,QAAQ,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,WAAW,CAAC,GAAG,CAAA;AACzE,CAAC;AAED;;;;;GAKG;AACH,SAAS,cAAc,CAAC,IAAY,EAAE,IAAwB;IAC5D,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAA;IACnC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;IAC1C,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAA;IACvD,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAA;IACrD,OAAO,QAAQ,CAAA;AACjB,CAAC;AAED,SAAS,eAAe,CAAC,GAAa;IACpC,MAAM,KAAK,GAAqD,EAAE,CAAA;IAClE,MAAM,KAAK,GAAqB,EAAE,CAAA;IAElC,MAAM,KAAK,GAAG,CAAC,MAAsB,EAAQ,EAAE;QAC7C,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;IACH,CAAC,CAAA;IAED,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC9C,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;YAClC,kEAAkE;YAClE,uEAAuE;YACvE,sEAAsE;YACtE,6BAA6B;YAC7B,KAAK,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAA;YAC/B,SAAQ;QACV,CAAC;QACD,OAAO,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;YACrE,KAAK,CAAC,GAAG,EAAE,CAAA;QACb,CAAC;QACD,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,CAAC,CAAA;QACnC,KAAK,CAAC,MAAM,CAAC,CAAA;QACb,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,CAAA;IAC5C,CAAC;IAED,OAAO,KAAK,CAAA;AACd,CAAC;AAID;;;;;;;GAOG;AACH,QAAQ,CAAC,CAAC,WAAW,CAAC,KAAkB;IACtC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;YAAE,MAAM,IAAI,CAAA;QACvC,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;YACjC,MAAM,IAAI,CAAA;YACV,oEAAoE;YACpE,wEAAwE;YACxE,0EAA0E;YAC1E,2DAA2D;YAC3D,KAAK,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;YACjC,SAAQ;QACV,CAAC;QACD,IAAI,UAAU,IAAI,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YACvD,KAAK,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAA;QACvD,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,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAA;YAC9D,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,2EAA2E;AAC3E,SAAS,OAAO,CAAC,IAAe;IAC9B,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,CAAA;AACxD,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAmD;IAC5E,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,CAAA;IAC/B,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;IAC7C,OAAO;QACL,IAAI,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,kBAAkB;QAC3E,MAAM,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,SAAS;QACnE,IAAI,EAAE,UAAU,CAAC,MAAM;QACvB,KAAK;QACL,cAAc,EAAE,KAAK;QACrB,QAAQ,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;KAClE,CAAA;AACH,CAAC;AAED;;;;GAIG;AACH,SAAS,WAAW,CAAC,KAAgB,EAAE,KAAa;IAClD,MAAM,OAAO,GAAI,KAAoC,CAAC,OAAO,CAAA;IAC7D,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,CAAA;IAC/B,OAAO;QACL,IAAI,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,SAAS,WAAW,CAAC,KAAK,CAAC,EAAE;QAC1E,IAAI,EAAE,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM;QACnE,KAAK;QACL,cAAc,EAAE,KAAK;QACrB,QAAQ,EAAE,EAAE;KACb,CAAA;AACH,CAAC;AAED,SAAS,UAAU,CAAC,IAAe;IACjC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC;QACd,OAAO,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,CAAA;IAC7E,CAAC;IACD,OAAO;QACL,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,SAAS,GAAG,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE;QACrD,GAAG,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,OAAO,GAAG,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE;KACpD,CAAA;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;QAClD,0EAA0E;QAC1E,wEAAwE;aACnE,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB;YAAE,GAAG,IAAI,IAAI,CAAC,OAAO,CAAA;QAC5D,yEAAyE;QACzE,yEAAyE;QACzE,uCAAuC;aAClC,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB;YAAE,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;aACzD,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;;YAC/C,GAAG,IAAI,oBAAoB,CAAC,IAAI,CAAC,CAAA;IACxC,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.js

@@ -1,6 +1,6 @@
 import assert from 'node:assert/strict';
 import test from 'node:test';
-import { analyzeCarve } from './analyze.js';
+import { analyzeCarve, parseErrorRange, tolerantHeadingSymbols } from './analyze.js';
 import { hoverAt } from './hover.js';
 import { migrationCodeActions, migrationFixes } from './migration-actions.js';
 import { semanticTokens } from './semantic.js';
@@ -21,6 +21,21 @@ test('inline literal gets a string semantic token spanning the whole construct',
     const result = semanticTokens('Say !`/kaet/` now.\n');
     assert.deepEqual(result.map((token) => [token.line, token.character, token.length, token.type]), [[0, 4, 9, 'string']]);
 });
+test('both footnote forms get a variable token across the AST split', () => {
+    // carve-js split `footnote` into `footnote_ref` and `inline_footnote`
+    // (markup-carve/carve#405). Asserted through source text rather than the type
+    // name, so it holds against the pinned engine and after the pin is raised -
+    // which is what makes the split safe to release in either order.
+    const tokens = semanticTokens('a[^r] and ^[n]\n\n[^r]: d\n').filter((t) => t.type === 'variable');
+    assert.equal(tokens.length, 2);
+});
+test('a critic comment gets a comment token under either AST spelling', () => {
+    // carve-js renamed this AST type from `critic-comment` to `critic_comment`
+    // (carve#401). This asserts through the source text rather than the type
+    // name, so it holds both against the currently pinned engine and after the
+    // pin is raised - which is what makes the rename safe to land out of order.
+    assert.deepEqual(semanticTokens('a {# note #} b\n').map((token) => [token.character, token.length, token.type]), [[2, 10, 'comment']]);
+});
 test('reports carve-breakage migration warnings', () => {
     const result = analyzeCarve('**bold**');
     assert.equal(result.diagnostics.length, 1);
@@ -215,4 +230,94 @@ test('returns semantic tokens for YAML frontmatter', () => {
         [2, 0, 3, 'string'],
     ]);
 });
+// ---------------------------------------------------------------------------
+// Include resolution (PART 9 §19)
+// ---------------------------------------------------------------------------
+test('includes are OFF by default: the directive stays literal and nothing is read', () => {
+    // §19 requires opt-in. `analyzeCarve` with no include options must not
+    // construct a capability, so a resolver is never consulted and no include
+    // diagnostic appears - the directive is just text.
+    const result = analyzeCarve('See {{ secret.crv }} here.\n');
+    assert.deepEqual(result.diagnostics.filter((d) => String(d.code ?? '').startsWith('include-')), []);
+    assert.deepEqual(result.dependencies, []);
+});
+test('include options carrying no resolver are still inert', () => {
+    const result = analyzeCarve('{{ child.crv }}\n', { includes: { sourcePath: '/doc.crv' } });
+    assert.deepEqual(result.dependencies, []);
+    assert.deepEqual(result.diagnostics.filter((d) => String(d.code ?? '').startsWith('include-')), []);
+});
+test('an enabled include publishes its warning as a diagnostic on the directive range', () => {
+    const source = 'intro\n\n{{ absent.crv }}\n';
+    const result = analyzeCarve(source, {
+        includes: {
+            resolver: (includePath) => ({ ok: false, id: includePath, denial: 'not-found' }),
+            sourcePath: '/doc.crv',
+        },
+    });
+    const diagnostic = result.diagnostics.find((d) => d.code === 'include-unresolved');
+    assert.ok(diagnostic, 'expected an include-unresolved diagnostic');
+    assert.deepEqual(diagnostic.range, {
+        start: { line: 2, character: 0 },
+        end: { line: 2, character: 16 },
+    });
+    assert.equal(diagnostic.source, 'carve');
+    assert.deepEqual(result.dependencies, [{ id: 'absent.crv', resolved: false }]);
+});
+test('a denial class never reaches the published diagnostic message', () => {
+    // §19 I7: the message names the failure class in the processor's own words.
+    // The internal denial (`outside-root`) is diagnostic detail, not author text,
+    // because a distinguishable denial is a probe for host layout.
+    const result = analyzeCarve('{{ ../secret.crv }}\n', {
+        includes: {
+            resolver: (includePath) => ({ ok: false, id: includePath, denial: 'outside-root' }),
+            sourcePath: '/doc.crv',
+        },
+    });
+    const diagnostic = result.diagnostics.find((d) => d.code === 'include-unresolved');
+    assert.ok(diagnostic);
+    assert.ok(!diagnostic.message.includes('outside-root'));
+});
+test('a nested warning names the child relative to the include root, not absolutely', () => {
+    const files = {
+        '/ws/a.crv': 'child\n\n{{ absent.crv }}',
+    };
+    const result = analyzeCarve('{{ a.crv }}\n', {
+        includes: {
+            resolver: (includePath) => {
+                const id = includePath.startsWith('/') ? includePath : `/ws/${includePath}`;
+                const source = files[id];
+                if (source === undefined)
+                    return { ok: false, id, denial: 'not-found' };
+                return { ok: true, id, source, bytes: Buffer.byteLength(source, 'utf8') };
+            },
+            sourcePath: '/ws/doc.crv',
+            includeRoot: '/ws',
+        },
+    });
+    const diagnostic = result.diagnostics.find((d) => d.code === 'include-unresolved');
+    assert.ok(diagnostic);
+    assert.ok(diagnostic.message.includes('(in a.crv)'), diagnostic.message);
+    assert.ok(!diagnostic.message.includes('/ws/a.crv'));
+});
+test('locates parser errors that carry a line and column', () => {
+    assert.deepEqual(parseErrorRange('one\ntwo\n', 'Parse error at 2:3'), {
+        start: { line: 1, character: 2 },
+        end: { line: 1, character: 3 },
+    });
+});
+test('keeps a usable heading outline when resolved analysis is unavailable', () => {
+    assert.deepEqual(tolerantHeadingSymbols('# One\n\n## Two\n').map((symbol) => symbol.name), ['One', 'Two']);
+});
+test('duplicate diagnostics point back to the first declaration', () => {
+    const uri = 'file:///document.crv';
+    const heading = analyzeCarve('{#same}\n# One\n\n{#same}\n# Two\n', { uri });
+    const headingDuplicate = heading.diagnostics.find((item) => item.code === 'duplicate-heading-id');
+    assert.deepEqual(headingDuplicate?.relatedInformation, [{
+            location: { uri, range: { start: { line: 0, character: 2 }, end: { line: 0, character: 6 } } },
+            message: 'First declaration is here.',
+        }]);
+    const footnote = analyzeCarve('[^same]: one\n\n[^same]: two\n', { uri });
+    assert.equal(footnote.diagnostics.find((item) => item.code === 'duplicate-footnote-definition')
+        ?.relatedInformation?.[0]?.location.range.start.line, 0);
+});
 //# sourceMappingURL=analyze.test.js.map