@aster-cloud/aster-lang-ts 1.0.37 → 1.2.0

package/dist/src/lsp/navigation/hover.js

@@ -10,6 +10,47 @@ import { buildTokenIndex, tokenNameAt as tokenNameAtOptimized } from '../token-i
 import { funcDetail, findDeclAt, findPatternBindingDetail, findLocalLetWithExpr, } from './shared.js';
 import { isAstFunc, isAstData, isAstEnum, } from '../type-guards.js';
 import { getLspUiTexts } from '../../config/lexicons/lsp-ui-texts.js';
+import { resolveDocument, siteAt } from '../resolution.js';
+function roleLabel(role, ui) {
+    switch (role) {
+        case 'TYPE_DECL':
+        case 'TYPE':
+            return ui.resolutionRoleType;
+        case 'FIELD_DECL':
+        case 'FIELD_REF':
+            return ui.resolutionRoleField;
+        case 'MEMBER_DECL':
+        case 'MEMBER_REF':
+            return ui.resolutionRoleMember;
+        case 'FUNC_DECL':
+        case 'FUNC_REF':
+            return ui.resolutionRoleFunction;
+        default:
+            return undefined;
+    }
+}
+/** `写法 → 规范名（角色 · 父名）`；写法等于规范名或角色为局部名时不显示。 */
+export function formatResolution(site, ui) {
+    const label = roleLabel(site.role, ui);
+    if (!label || site.written === site.canonical)
+        return null;
+    const detail = site.parent ? `${label} · ${site.parent}` : label;
+    return `${site.written} → ${site.canonical}${ui.resolutionOpen}${detail}${ui.resolutionClose}`;
+}
+/** 光标处名字的解析行；语法不完整时只有 R1 位置（R2 已跳过）。 */
+function resolutionLineAt(entry, pos, word, ui) {
+    if (!word)
+        return null;
+    const site = siteAt(resolveDocument(entry), pos, word);
+    return site ? formatResolution(site, ui) : null;
+}
+/** 解析行置于原有悬停内容之前；二者皆无时不悬停。 */
+function withResolutionLine(base, line) {
+    if (!line)
+        return base;
+    const value = base ? `${line}\n\n${base.contents.value}` : line;
+    return { contents: { kind: 'markdown', value } };
+}
 /**
  * 注册 Hover 处理器
  * @param connection LSP 连接对象
@@ -22,102 +63,107 @@ export function registerHoverHandler(connection, documents, getOrParse, getLexic
         if (!doc)
             return null;
         const entry = getOrParse(doc);
-        const { tokens: toks, ast } = entry;
-        const pos = params.position;
-        // Build token index once for O(log n) lookups
-        const tokenIndex = buildTokenIndex(toks);
-        const anyCall = findDottedCallRangeAt(toks, pos);
-        if (anyCall) {
-            // Include a short signature preview by heuristic
-            const info = describeDottedCallAt(toks, pos);
-            const sig = info ? `${info.name}(${info.argDescs.join(', ')})` : 'interop(...)';
-            const diags = findAmbiguousInteropCalls(toks);
-            const amb = diags.find(d => d.range.start.line <= pos.line &&
-                d.range.end.line >= pos.line &&
-                d.range.start.character <= pos.character &&
-                d.range.end.character >= pos.character);
-            const header = amb ? 'Ambiguous interop call' : 'Interop call';
-            const body = amb
-                ? 'Use `1L` or `1.0` to disambiguate; a Quick Fix is available.'
-                : 'Overload selection uses primitive widening/boxing; use `1L` or `1.0` to make intent explicit.';
-            const desc = info ? buildDescriptorPreview(info.name, info.argDescs) : null;
-            const retText = returnTypeTextFromDesc(desc);
-            const extra = desc ? `\nDescriptor: \`${desc}\`` : '';
-            const retLine = retText ? `\nReturns: **${retText}**` : '';
-            const msg = `**${header}** — [Guide → JVM Interop Overloads](/guide/interop-overloads)\n\nPreview: \`${sig}\`${extra}${retLine}\n\n${body}`;
-            return { contents: { kind: 'markdown', value: msg } };
-        }
-        // Semantic hover: decls/params/locals/types using AST spans and tokens
-        try {
-            const lexicon = getLexiconForDoc?.(params.textDocument.uri);
-            const ui = getLspUiTexts(lexicon);
-            const ast2 = ast || parse(toks).ast;
-            const describeDecl = (d) => {
-                if (isAstFunc(d))
-                    return `${ui.functionLabel} ${d.name} — ${funcDetail(d)}`;
-                if (isAstData(d)) {
-                    const fields = d.fields.map(f => `**${f.name}**: ${typeText(f.type)}`).join(', ');
-                    return `${ui.typeLabel} ${d.name}${fields ? ' — ' + fields : ''}`;
+        const tokenIndex = buildTokenIndex(entry.tokens);
+        const ui = getLspUiTexts(getLexiconForDoc?.(params.textDocument.uri));
+        const base = baseHover(entry, tokenIndex, params.position, params.textDocument.uri, getLexiconForDoc);
+        const line = resolutionLineAt(entry, params.position, tokenNameAtOptimized(tokenIndex, params.position), ui);
+        return withResolutionLine(base, line);
+    });
+}
+/** 原有悬停：互操作调用、声明 / 参数 / 局部名 / 模式绑定。 */
+function baseHover(entry, tokenIndex, pos, uri, getLexiconForDoc) {
+    const { tokens: toks, ast } = entry;
+    const anyCall = findDottedCallRangeAt(toks, pos);
+    if (anyCall) {
+        // Include a short signature preview by heuristic
+        const info = describeDottedCallAt(toks, pos);
+        const sig = info ? `${info.name}(${info.argDescs.join(', ')})` : 'interop(...)';
+        const diags = findAmbiguousInteropCalls(toks);
+        const amb = diags.find(d => d.range.start.line <= pos.line &&
+            d.range.end.line >= pos.line &&
+            d.range.start.character <= pos.character &&
+            d.range.end.character >= pos.character);
+        const header = amb ? 'Ambiguous interop call' : 'Interop call';
+        const body = amb
+            ? 'Use `1L` or `1.0` to disambiguate; a Quick Fix is available.'
+            : 'Overload selection uses primitive widening/boxing; use `1L` or `1.0` to make intent explicit.';
+        const desc = info ? buildDescriptorPreview(info.name, info.argDescs) : null;
+        const retText = returnTypeTextFromDesc(desc);
+        const extra = desc ? `\nDescriptor: \`${desc}\`` : '';
+        const retLine = retText ? `\nReturns: **${retText}**` : '';
+        const msg = `**${header}** — [Guide → JVM Interop Overloads](/guide/interop-overloads)\n\nPreview: \`${sig}\`${extra}${retLine}\n\n${body}`;
+        return { contents: { kind: 'markdown', value: msg } };
+    }
+    // Semantic hover: decls/params/locals/types using AST spans and tokens
+    try {
+        const lexicon = getLexiconForDoc?.(uri);
+        const ui = getLspUiTexts(lexicon);
+        const ast2 = ast || parse(toks).ast;
+        const describeDecl = (d) => {
+            if (isAstFunc(d))
+                return `${ui.functionLabel} ${d.name} — ${funcDetail(d)}`;
+            if (isAstData(d)) {
+                const fields = d.fields.map(f => `**${f.name}**: ${typeText(f.type)}`).join(', ');
+                return `${ui.typeLabel} ${d.name}${fields ? ' — ' + fields : ''}`;
+            }
+            if (isAstEnum(d))
+                return `${ui.enumLabel} ${d.name} — ${d.variants.join(', ')}`;
+            return null;
+        };
+        /* ★光标上的名字若是顶层函数/类型/枚举，描述**那个**声明——与跳转定义同一套解析。
+         *   旧实现只查参数/局部/模式绑定，其余一律落到外层函数：`Return twice(twice(x)).`
+         *   里两个 twice 都显示「函数 quad」。 */
+        const topLevelByName = (name) => {
+            if (!name)
+                return undefined;
+            return ast2.decls.find(d => (isAstFunc(d) || isAstData(d) || isAstEnum(d)) && d.name === name);
+        };
+        const decl = findDeclAt(ast2, pos);
+        if (decl) {
+            if (isAstFunc(decl)) {
+                const f = decl;
+                // Use optimized O(log n) token lookup
+                const nameAt = tokenNameAtOptimized(tokenIndex, pos);
+                // Pattern bindings: if hover is inside a case body and name matches a binding
+                const patInfo = nameAt ? findPatternBindingDetail(f, nameAt, pos) : null;
+                if (patInfo) {
+                    const ofTxt = patInfo.ofType ? ` of ${patInfo.ofType}` : '';
+                    return { contents: { kind: 'markdown', value: `${ui.patternBindingLabel} ${patInfo.name}${ofTxt}` } };
                 }
-                if (isAstEnum(d))
-                    return `${ui.enumLabel} ${d.name} — ${d.variants.join(', ')}`;
-                return null;
-            };
-            /* ★光标上的名字若是顶层函数/类型/枚举，描述**那个**声明——与跳转定义同一套解析。
-             *   旧实现只查参数/局部/模式绑定，其余一律落到外层函数：`Return twice(twice(x)).`
-             *   里两个 twice 都显示「函数 quad」。 */
-            const topLevelByName = (name) => {
-                if (!name)
-                    return undefined;
-                return ast2.decls.find(d => (isAstFunc(d) || isAstData(d) || isAstEnum(d)) && d.name === name);
-            };
-            const decl = findDeclAt(ast2, pos);
-            if (decl) {
-                if (isAstFunc(decl)) {
-                    const f = decl;
-                    // Use optimized O(log n) token lookup
-                    const nameAt = tokenNameAtOptimized(tokenIndex, pos);
-                    // Pattern bindings: if hover is inside a case body and name matches a binding
-                    const patInfo = nameAt ? findPatternBindingDetail(f, nameAt, pos) : null;
-                    if (patInfo) {
-                        const ofTxt = patInfo.ofType ? ` of ${patInfo.ofType}` : '';
-                        return { contents: { kind: 'markdown', value: `${ui.patternBindingLabel} ${patInfo.name}${ofTxt}` } };
+                if (nameAt) {
+                    const param = f.params.find(p => p.name === nameAt);
+                    if (param) {
+                        const piiHint = buildPiiComplianceHint(param, lexicon);
+                        const baseInfo = `${ui.parameterLabel} **${param.name}**: ${typeText(param.type)}`;
+                        return { contents: { kind: 'markdown', value: piiHint ? `${baseInfo}\n\n${piiHint}` : baseInfo } };
                     }
-                    if (nameAt) {
-                        const param = f.params.find(p => p.name === nameAt);
-                        if (param) {
-                            const piiHint = buildPiiComplianceHint(param, lexicon);
-                            const baseInfo = `${ui.parameterLabel} **${param.name}**: ${typeText(param.type)}`;
-                            return { contents: { kind: 'markdown', value: piiHint ? `${baseInfo}\n\n${piiHint}` : baseInfo } };
-                        }
-                        const localInfo = findLocalLetWithExpr(f.body, nameAt);
-                        if (localInfo) {
-                            const hint = exprTypeText(localInfo.expr);
-                            return { contents: { kind: 'markdown', value: `${ui.localLabel} ${nameAt}${hint ? ': ' + hint : ''}` } };
-                        }
-                        const named = topLevelByName(nameAt);
-                        const namedText = named ? describeDecl(named) : null;
-                        if (namedText)
-                            return { contents: { kind: 'markdown', value: namedText } };
+                    const localInfo = findLocalLetWithExpr(f.body, nameAt);
+                    if (localInfo) {
+                        const hint = exprTypeText(localInfo.expr);
+                        return { contents: { kind: 'markdown', value: `${ui.localLabel} ${nameAt}${hint ? ': ' + hint : ''}` } };
                     }
-                    return { contents: { kind: 'markdown', value: `${ui.functionLabel} ${f.name} — ${funcDetail(f)}` } };
-                }
-                if (isAstData(decl)) {
-                    const d = decl;
-                    const fields = d.fields.map(f => `**${f.name}**: ${typeText(f.type)}`).join(', ');
-                    return { contents: { kind: 'markdown', value: `${ui.typeLabel} ${d.name}${fields ? ' — ' + fields : ''}` } };
-                }
-                if (isAstEnum(decl)) {
-                    const e = decl;
-                    return { contents: { kind: 'markdown', value: `${ui.enumLabel} ${e.name} — ${e.variants.join(', ')}` } };
+                    const named = topLevelByName(nameAt);
+                    const namedText = named ? describeDecl(named) : null;
+                    if (namedText)
+                        return { contents: { kind: 'markdown', value: namedText } };
                 }
+                return { contents: { kind: 'markdown', value: `${ui.functionLabel} ${f.name} — ${funcDetail(f)}` } };
+            }
+            if (isAstData(decl)) {
+                const d = decl;
+                const fields = d.fields.map(f => `**${f.name}**: ${typeText(f.type)}`).join(', ');
+                return { contents: { kind: 'markdown', value: `${ui.typeLabel} ${d.name}${fields ? ' — ' + fields : ''}` } };
+            }
+            if (isAstEnum(decl)) {
+                const e = decl;
+                return { contents: { kind: 'markdown', value: `${ui.enumLabel} ${e.name} — ${e.variants.join(', ')}` } };
             }
         }
-        catch {
-            // ignore
-        }
-        return null;
-    });
+    }
+    catch {
+        // ignore
+    }
+    return null;
 }
 /**
  * 为 PII 参数构建合规提示信息

package/dist/src/lsp/navigation/hover.js.map

@@ -1 +1 @@
-{"version":3,"file":"hover.js","sourceRoot":"","sources":["../../../../src/lsp/navigation/hover.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAIH,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EACL,qBAAqB,EACrB,oBAAoB,EACpB,yBAAyB,EACzB,sBAAsB,EACtB,sBAAsB,GACvB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAC;AACxC,OAAO,EAAE,eAAe,EAAE,WAAW,IAAI,oBAAoB,EAAE,MAAM,mBAAmB,CAAC;AACzF,OAAO,EACL,UAAU,EACV,UAAU,EACV,wBAAwB,EACxB,oBAAoB,GACrB,MAAM,aAAa,CAAC;AACrB,OAAO,EACL,SAAS,EACT,SAAS,EACT,SAAS,GACV,MAAM,mBAAmB,CAAC;AAM3B,OAAO,EAAE,aAAa,EAAE,MAAM,uCAAuC,CAAC;AAEtE;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAClC,UAAsB,EACtB,SAAyD,EACzD,UAAqF,EACrF,gBAAuD;IAEvD,UAAU,CAAC,OAAO,CAAC,KAAK,EAAC,MAAM,EAAC,EAAE;QAChC,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;QACnD,IAAI,CAAC,GAAG;YAAE,OAAO,IAAI,CAAC;QACtB,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;QAC9B,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC;QACpC,MAAM,GAAG,GAAG,MAAM,CAAC,QAAQ,CAAC;QAE5B,8CAA8C;QAC9C,MAAM,UAAU,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;QAEzC,MAAM,OAAO,GAAG,qBAAqB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACjD,IAAI,OAAO,EAAE,CAAC;YACZ,iDAAiD;YACjD,MAAM,IAAI,GAAG,oBAAoB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAC7C,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,cAAc,CAAC;YAChF,MAAM,KAAK,GAAG,yBAAyB,CAAC,IAAI,CAAC,CAAC;YAC9C,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CACpB,CAAC,CAAC,EAAE,CACF,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI;gBAC9B,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI;gBAC5B,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,IAAI,GAAG,CAAC,SAAS;gBACxC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,IAAI,GAAG,CAAC,SAAS,CACzC,CAAC;YACF,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,CAAC,cAAc,CAAC;YAC/D,MAAM,IAAI,GAAG,GAAG;gBACd,CAAC,CAAC,8DAA8D;gBAChE,CAAC,CAAC,+FAA+F,CAAC;YACpG,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YAC5E,MAAM,OAAO,GAAG,sBAAsB,CAAC,IAAI,CAAC,CAAC;YAC7C,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,mBAAmB,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;YACtD,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,gBAAgB,OAAO,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3D,MAAM,GAAG,GAAG,KAAK,MAAM,gFAAgF,GAAG,KAAK,KAAK,GAAG,OAAO,OAAO,IAAI,EAAE,CAAC;YAC5I,OAAO,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC;QACxD,CAAC;QACD,uEAAuE;QACvE,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,gBAAgB,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;YAC5D,MAAM,EAAE,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;YAClC,MAAM,IAAI,GAAI,GAAiB,IAAK,KAAK,CAAC,IAAI,CAAC,CAAC,GAAiB,CAAC;YAClE,MAAM,YAAY,GAAG,CAAC,CAAU,EAAiB,EAAE;gBACjD,IAAI,SAAS,CAAC,CAAC,CAAC;oBAAE,OAAO,GAAG,EAAE,CAAC,aAAa,IAAI,CAAC,CAAC,IAAI,MAAM,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC5E,IAAI,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;oBACjB,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,OAAO,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBAClF,OAAO,GAAG,EAAE,CAAC,SAAS,IAAI,CAAC,CAAC,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;gBACpE,CAAC;gBACD,IAAI,SAAS,CAAC,CAAC,CAAC;oBAAE,OAAO,GAAG,EAAE,CAAC,SAAS,IAAI,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChF,OAAO,IAAI,CAAC;YACd,CAAC,CAAC;YACF;;2CAE+B;YAC/B,MAAM,cAAc,GAAG,CAAC,IAAmB,EAAW,EAAE;gBACtD,IAAI,CAAC,IAAI;oBAAE,OAAO,SAAS,CAAC;gBAC5B,OAAQ,IAAI,CAAC,KAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,CAAC,IAAK,CAAsB,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;YACtI,CAAC,CAAC;YACF,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACnC,IAAI,IAAI,EAAE,CAAC;gBACT,IAAI,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;oBACpB,MAAM,CAAC,GAAG,IAAI,CAAC;oBACf,sCAAsC;oBACtC,MAAM,MAAM,GAAG,oBAAoB,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;oBACrD,8EAA8E;oBAC9E,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;oBACzE,IAAI,OAAO,EAAE,CAAC;wBACZ,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;wBAC5D,OAAO,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,mBAAmB,IAAI,OAAO,CAAC,IAAI,GAAG,KAAK,EAAE,EAAE,EAAE,CAAC;oBACxG,CAAC;oBACD,IAAI,MAAM,EAAE,CAAC;wBACX,MAAM,KAAK,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;wBACpD,IAAI,KAAK,EAAE,CAAC;4BACV,MAAM,OAAO,GAAG,sBAAsB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;4BACvD,MAAM,QAAQ,GAAG,GAAG,EAAE,CAAC,cAAc,MAAM,KAAK,CAAC,IAAI,OAAO,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;4BACnF,OAAO,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,QAAQ,OAAO,OAAO,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC;wBACrG,CAAC;wBACD,MAAM,SAAS,GAAG,oBAAoB,CAAC,CAAC,CAAC,IAAuB,EAAE,MAAM,CAAC,CAAC;wBAC1E,IAAI,SAAS,EAAE,CAAC;4BACd,MAAM,IAAI,GAAG,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;4BAC1C,OAAO,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,UAAU,IAAI,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC;wBAC3G,CAAC;wBACD,MAAM,KAAK,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;wBACrC,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;wBACrD,IAAI,SAAS;4BAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,CAAC;oBAC7E,CAAC;oBACD,OAAO,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,aAAa,IAAI,CAAC,CAAC,IAAI,MAAM,UAAU,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC;gBACvG,CAAC;gBACD,IAAI,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;oBACpB,MAAM,CAAC,GAAG,IAAI,CAAC;oBACf,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,OAAO,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBAClF,OAAO,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,SAAS,IAAI,CAAC,CAAC,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC;gBAC/G,CAAC;gBACD,IAAI,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;oBACpB,MAAM,CAAC,GAAG,IAAI,CAAC;oBACf,OAAO,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,SAAS,IAAI,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC;gBAC3G,CAAC;YACH,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,SAAS;QACX,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;GAEG;AACH,SAAS,sBAAsB,CAAC,KAAkC,EAAE,OAAiB;IACnF,iBAAiB;IACjB,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,EAAE,IAAI,KAAK,SAAS;QAC9C,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;IAEnD,IAAI,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC;IAE5B,YAAY;IACZ,IAAI,KAAK,GAAG,IAAI,CAAC;IACjB,IAAI,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;QACtB,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC;IAC3B,CAAC;IAED,MAAM,EAAE,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IAElC,gBAAgB;IAChB,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,gBAAgB,cAAc,KAAK,GAAG,CAAC,CAAC;IAE9D,QAAQ,KAAK,EAAE,CAAC;QACd,KAAK,IAAI;YACP,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YACzD,KAAK,CAAC,IAAI,CAAC,mDAAmD,CAAC,CAAC;YAChE,MAAM;QACR,KAAK,IAAI;YACP,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YACzD,MAAM;QACR,KAAK,IAAI,CAAC;QACV;YACE,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YACzD,MAAM;IACV,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,aAAa,GAAG,CAAC,CAAC;IAEpC,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}
+{"version":3,"file":"hover.js","sourceRoot":"","sources":["../../../../src/lsp/navigation/hover.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAIH,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EACL,qBAAqB,EACrB,oBAAoB,EACpB,yBAAyB,EACzB,sBAAsB,EACtB,sBAAsB,GACvB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAC;AACxC,OAAO,EAAE,eAAe,EAAE,WAAW,IAAI,oBAAoB,EAAE,MAAM,mBAAmB,CAAC;AACzF,OAAO,EACL,UAAU,EACV,UAAU,EACV,wBAAwB,EACxB,oBAAoB,GACrB,MAAM,aAAa,CAAC;AACrB,OAAO,EACL,SAAS,EACT,SAAS,EACT,SAAS,GACV,MAAM,mBAAmB,CAAC;AAM3B,OAAO,EAAE,aAAa,EAAE,MAAM,uCAAuC,CAAC;AAEtE,OAAO,EAAE,eAAe,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAQ3D,SAAS,SAAS,CAAC,IAAkB,EAAE,EAAwB;IAC7D,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,WAAW,CAAC;QACjB,KAAK,MAAM;YACT,OAAO,EAAE,CAAC,kBAAkB,CAAC;QAC/B,KAAK,YAAY,CAAC;QAClB,KAAK,WAAW;YACd,OAAO,EAAE,CAAC,mBAAmB,CAAC;QAChC,KAAK,aAAa,CAAC;QACnB,KAAK,YAAY;YACf,OAAO,EAAE,CAAC,oBAAoB,CAAC;QACjC,KAAK,WAAW,CAAC;QACjB,KAAK,UAAU;YACb,OAAO,EAAE,CAAC,sBAAsB,CAAC;QACnC;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED,8CAA8C;AAC9C,MAAM,UAAU,gBAAgB,CAAC,IAAoB,EAAE,EAAwB;IAC7E,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACvC,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC;IAC3D,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,KAAK,MAAM,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;IACjE,OAAO,GAAG,IAAI,CAAC,OAAO,MAAM,IAAI,CAAC,SAAS,GAAG,EAAE,CAAC,cAAc,GAAG,MAAM,GAAG,EAAE,CAAC,eAAe,EAAE,CAAC;AACjG,CAAC;AAED,wCAAwC;AACxC,SAAS,gBAAgB,CAAC,KAAoB,EAAE,GAAwC,EAAE,IAAmB,EAAE,EAAwB;IACrI,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,MAAM,IAAI,GAAG,MAAM,CAAC,eAAe,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IACvD,OAAO,IAAI,CAAC,CAAC,CAAC,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAClD,CAAC;AAED,8BAA8B;AAC9B,SAAS,kBAAkB,CAAC,IAAwB,EAAE,IAAmB;IACvE,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IAChE,OAAO,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,CAAC;AACnD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAClC,UAAsB,EACtB,SAAyD,EACzD,UAAgD,EAChD,gBAAuD;IAEvD,UAAU,CAAC,OAAO,CAAC,KAAK,EAAC,MAAM,EAAC,EAAE;QAChC,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;QACnD,IAAI,CAAC,GAAG;YAAE,OAAO,IAAI,CAAC;QACtB,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;QAC9B,MAAM,UAAU,GAAG,eAAe,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACjD,MAAM,EAAE,GAAG,aAAa,CAAC,gBAAgB,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC;QACtE,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,EAAE,UAAU,EAAE,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,gBAAgB,CAAC,CAAC;QACtG,MAAM,IAAI,GAAG,gBAAgB,CAAC,KAAK,EAAE,MAAM,CAAC,QAAQ,EAAE,oBAAoB,CAAC,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;QAC7G,OAAO,kBAAkB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC;AAED,uCAAuC;AACvC,SAAS,SAAS,CAChB,KAAoB,EACpB,UAA8C,EAC9C,GAAwC,EACxC,GAAW,EACX,gBAAuD;IAEvD,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC;IAEpC,MAAM,OAAO,GAAG,qBAAqB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACjD,IAAI,OAAO,EAAE,CAAC;QACZ,iDAAiD;QACjD,MAAM,IAAI,GAAG,oBAAoB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC7C,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,cAAc,CAAC;QAChF,MAAM,KAAK,GAAG,yBAAyB,CAAC,IAAI,CAAC,CAAC;QAC9C,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CACpB,CAAC,CAAC,EAAE,CACF,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI;YAC9B,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI;YAC5B,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,IAAI,GAAG,CAAC,SAAS;YACxC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,IAAI,GAAG,CAAC,SAAS,CACzC,CAAC;QACF,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,CAAC,cAAc,CAAC;QAC/D,MAAM,IAAI,GAAG,GAAG;YACd,CAAC,CAAC,8DAA8D;YAChE,CAAC,CAAC,+FAA+F,CAAC;QACpG,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC5E,MAAM,OAAO,GAAG,sBAAsB,CAAC,IAAI,CAAC,CAAC;QAC7C,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,mBAAmB,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;QACtD,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,gBAAgB,OAAO,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3D,MAAM,GAAG,GAAG,KAAK,MAAM,gFAAgF,GAAG,KAAK,KAAK,GAAG,OAAO,OAAO,IAAI,EAAE,CAAC;QAC5I,OAAO,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC;IACxD,CAAC;IACD,uEAAuE;IACvE,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,gBAAgB,EAAE,CAAC,GAAG,CAAC,CAAC;QACxC,MAAM,EAAE,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;QAClC,MAAM,IAAI,GAAI,GAAiB,IAAK,KAAK,CAAC,IAAI,CAAC,CAAC,GAAiB,CAAC;QAClE,MAAM,YAAY,GAAG,CAAC,CAAU,EAAiB,EAAE;YACjD,IAAI,SAAS,CAAC,CAAC,CAAC;gBAAE,OAAO,GAAG,EAAE,CAAC,aAAa,IAAI,CAAC,CAAC,IAAI,MAAM,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5E,IAAI,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;gBACjB,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,OAAO,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAClF,OAAO,GAAG,EAAE,CAAC,SAAS,IAAI,CAAC,CAAC,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;YACpE,CAAC;YACD,IAAI,SAAS,CAAC,CAAC,CAAC;gBAAE,OAAO,GAAG,EAAE,CAAC,SAAS,IAAI,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAChF,OAAO,IAAI,CAAC;QACd,CAAC,CAAC;QACF;;uCAE+B;QAC/B,MAAM,cAAc,GAAG,CAAC,IAAmB,EAAW,EAAE;YACtD,IAAI,CAAC,IAAI;gBAAE,OAAO,SAAS,CAAC;YAC5B,OAAQ,IAAI,CAAC,KAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,CAAC,IAAK,CAAsB,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QACtI,CAAC,CAAC;QACF,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACnC,IAAI,IAAI,EAAE,CAAC;YACT,IAAI,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpB,MAAM,CAAC,GAAG,IAAI,CAAC;gBACf,sCAAsC;gBACtC,MAAM,MAAM,GAAG,oBAAoB,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;gBACrD,8EAA8E;gBAC9E,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;gBACzE,IAAI,OAAO,EAAE,CAAC;oBACZ,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC5D,OAAO,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,mBAAmB,IAAI,OAAO,CAAC,IAAI,GAAG,KAAK,EAAE,EAAE,EAAE,CAAC;gBACxG,CAAC;gBACD,IAAI,MAAM,EAAE,CAAC;oBACX,MAAM,KAAK,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;oBACpD,IAAI,KAAK,EAAE,CAAC;wBACV,MAAM,OAAO,GAAG,sBAAsB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;wBACvD,MAAM,QAAQ,GAAG,GAAG,EAAE,CAAC,cAAc,MAAM,KAAK,CAAC,IAAI,OAAO,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;wBACnF,OAAO,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,QAAQ,OAAO,OAAO,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC;oBACrG,CAAC;oBACD,MAAM,SAAS,GAAG,oBAAoB,CAAC,CAAC,CAAC,IAAuB,EAAE,MAAM,CAAC,CAAC;oBAC1E,IAAI,SAAS,EAAE,CAAC;wBACd,MAAM,IAAI,GAAG,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;wBAC1C,OAAO,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,UAAU,IAAI,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC;oBAC3G,CAAC;oBACD,MAAM,KAAK,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;oBACrC,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;oBACrD,IAAI,SAAS;wBAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,CAAC;gBAC7E,CAAC;gBACD,OAAO,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,aAAa,IAAI,CAAC,CAAC,IAAI,MAAM,UAAU,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC;YACvG,CAAC;YACD,IAAI,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpB,MAAM,CAAC,GAAG,IAAI,CAAC;gBACf,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,OAAO,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAClF,OAAO,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,SAAS,IAAI,CAAC,CAAC,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC;YAC/G,CAAC;YACD,IAAI,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpB,MAAM,CAAC,GAAG,IAAI,CAAC;gBACf,OAAO,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,SAAS,IAAI,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC;YAC3G,CAAC;QACH,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,SAAS;IACX,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;GAEG;AACH,SAAS,sBAAsB,CAAC,KAAkC,EAAE,OAAiB;IACnF,iBAAiB;IACjB,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,EAAE,IAAI,KAAK,SAAS;QAC9C,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;IAEnD,IAAI,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC;IAE5B,YAAY;IACZ,IAAI,KAAK,GAAG,IAAI,CAAC;IACjB,IAAI,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;QACtB,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC;IAC3B,CAAC;IAED,MAAM,EAAE,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IAElC,gBAAgB;IAChB,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,gBAAgB,cAAc,KAAK,GAAG,CAAC,CAAC;IAE9D,QAAQ,KAAK,EAAE,CAAC;QACd,KAAK,IAAI;YACP,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YACzD,KAAK,CAAC,IAAI,CAAC,mDAAmD,CAAC,CAAC;YAChE,MAAM;QACR,KAAK,IAAI;YACP,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YACzD,MAAM;QACR,KAAK,IAAI,CAAC;QACV;YACE,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YACzD,MAAM;IACV,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,aAAa,GAAG,CAAC,CAAC;IAEpC,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/src/lsp/parse-document.d.ts

@@ -1,11 +1,14 @@
 import type { Module as AstModule } from '../types.js';
-import type { Diagnostic } from '../diagnostics/diagnostics.js';
+import { type Diagnostic } from '../diagnostics/diagnostics.js';
 import type { Lexicon } from '../config/lexicons/types.js';
+import type { VocabularyScopes } from '../config/lexicons/identifiers/scopes.js';
 export interface ParsedDocument {
     readonly can: string;
     readonly tokens: readonly any[];
     readonly ast: AstModule | null;
     readonly parseDiagnostics: readonly Diagnostic[];
+    /** 本文档使用的租户词汇作用域（名称解析 R1/R2 用）；无租户词汇时缺省 */
+    readonly vocabulary?: VocabularyScopes;
 }
 export declare function parseDocumentText(text: string, lexicon: Lexicon | undefined, tenantId: string | undefined, domain: string | undefined): ParsedDocument;
 //# sourceMappingURL=parse-document.d.ts.map

package/dist/src/lsp/parse-document.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"parse-document.d.ts","sourceRoot":"","sources":["../../../src/lsp/parse-document.ts"],"names":[],"mappings":"AAeA,OAAO,KAAK,EAAE,MAAM,IAAI,SAAS,EAAE,MAAM,aAAa,CAAC;AACvD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,6BAA6B,CAAC;AAK3D,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,MAAM,EAAE,SAAS,GAAG,EAAE,CAAC;IAChC,QAAQ,CAAC,GAAG,EAAE,SAAS,GAAG,IAAI,CAAC;IAC/B,QAAQ,CAAC,gBAAgB,EAAE,SAAS,UAAU,EAAE,CAAC;CAClD;AAkBD,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,OAAO,GAAG,SAAS,EAC5B,QAAQ,EAAE,MAAM,GAAG,SAAS,EAC5B,MAAM,EAAE,MAAM,GAAG,SAAS,GACzB,cAAc,CAiBhB"}
+{"version":3,"file":"parse-document.d.ts","sourceRoot":"","sources":["../../../src/lsp/parse-document.ts"],"names":[],"mappings":"AAoBA,OAAO,KAAK,EAAE,MAAM,IAAI,SAAS,EAAE,MAAM,aAAa,CAAC;AACvD,OAAO,EAAmB,KAAK,UAAU,EAAE,MAAM,+BAA+B,CAAC;AACjF,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,6BAA6B,CAAC;AAG3D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AAEjF,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,MAAM,EAAE,SAAS,GAAG,EAAE,CAAC;IAChC,QAAQ,CAAC,GAAG,EAAE,SAAS,GAAG,IAAI,CAAC;IAC/B,QAAQ,CAAC,gBAAgB,EAAE,SAAS,UAAU,EAAE,CAAC;IACjD,2CAA2C;IAC3C,QAAQ,CAAC,UAAU,CAAC,EAAE,gBAAgB,CAAC;CACxC;AAED,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,OAAO,GAAG,SAAS,EAC5B,QAAQ,EAAE,MAAM,GAAG,SAAS,EAC5B,MAAM,EAAE,MAAM,GAAG,SAAS,GACzB,cAAc,CA0BhB"}

package/dist/src/lsp/parse-document.js

@@ -8,32 +8,35 @@
  *   浏览器侧编译（browser.ts）与 formatter 一直是 `lex(canonical, lexicon)`，此处对齐。
  *
  * 返回的 tokens 与 ast 的位置均为**原文**坐标（`can` 仅供需要规范化文本的调用方）。
+ *
+ * ★词法错误（未闭合字符串、非法字符、缩进错误）不抛出：返回 `tokens: []`、`ast: null`，
+ *   把词法诊断放进 parseDiagnostics，由诊断路径照常发布。抛出会让 getOrParse 失败，
+ *   pull 诊断整体 reject 后返回空列表——用户正在输入字符串时反而看到「无问题」。
+ *   规范化保持行数不变，词法诊断的行号即原文行号。
  */
 import { canonicalize } from '../frontend/canonicalizer.js';
 import { lex } from '../frontend/lexer.js';
 import { parse, parseWithLexicon } from '../parser.js';
 import { needsKeywordTranslation } from '../frontend/keyword-translator.js';
+import { DiagnosticError } from '../diagnostics/diagnostics.js';
 import { buildCanonicalizeOptions } from './canonicalize-options.js';
 import { alignTokensToSource } from './source-positions.js';
-import { vocabularyRegistry, initBuiltinVocabularies } from '../config/lexicons/identifiers/registry.js';
-/**
- * 领域词汇的「规范名 → 本地化写法」查找：canonicalize 用同一份词汇把本地化词替换成规范名，
- * 对齐时据此在原文里找回本地化写法（否则该 token 及其后同一行的位置全部推算错位）。
- */
-function localizedLookup(lexicon, tenantId, domain) {
-    if (!lexicon || !tenantId || !domain)
-        return undefined;
-    initBuiltinVocabularies();
-    const index = vocabularyRegistry.getWithCustom(tenantId, domain, lexicon.id)?.index;
-    if (!index)
-        return undefined;
-    return (canonical) => index.toLocalized.get(canonical) ?? index.toLocalized.get(canonical.toLowerCase());
-}
 export function parseDocumentText(text, lexicon, tenantId, domain) {
-    const can = canonicalize(text, buildCanonicalizeOptions(lexicon, tenantId, domain));
+    const options = buildCanonicalizeOptions(lexicon, tenantId, domain);
+    const vocabulary = options && 'vocabulary' in options ? options.vocabulary : undefined;
+    const can = canonicalize(text, options);
     // ★token 位置改为原文坐标后再解析：AST span 由 token 派生，于是高亮/跳转/hover/重命名/
     //   诊断的位置都对应原文（canonicalize 删冠词等会改变行内长度，见 source-positions.ts）。
-    const tokens = alignTokensToSource(text, can, lex(can, lexicon), { localizedOf: localizedLookup(lexicon, tenantId, domain) });
+    let tokens;
+    try {
+        tokens = alignTokensToSource(text, can, lex(can, lexicon));
+    }
+    catch (error) {
+        if (!(error instanceof DiagnosticError))
+            throw error;
+        const lexFailed = { can, tokens: [], ast: null, parseDiagnostics: [error.diagnostic] };
+        return vocabulary ? { ...lexFailed, vocabulary } : lexFailed;
+    }
     let ast;
     let parseDiagnostics = [];
     try {
@@ -46,6 +49,6 @@ export function parseDocumentText(text, lexicon, tenantId, domain) {
     catch {
         ast = null;
     }
-    return { can, tokens, ast, parseDiagnostics };
+    return vocabulary ? { can, tokens, ast, parseDiagnostics, vocabulary } : { can, tokens, ast, parseDiagnostics };
 }
 //# sourceMappingURL=parse-document.js.map

package/dist/src/lsp/parse-document.js.map

@@ -1 +1 @@
-{"version":3,"file":"parse-document.js","sourceRoot":"","sources":["../../../src/lsp/parse-document.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAC5D,OAAO,EAAE,GAAG,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAE,KAAK,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AACvD,OAAO,EAAE,uBAAuB,EAAE,MAAM,mCAAmC,CAAC;AAI5E,OAAO,EAAE,wBAAwB,EAAE,MAAM,2BAA2B,CAAC;AACrE,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,EAAE,kBAAkB,EAAE,uBAAuB,EAAE,MAAM,4CAA4C,CAAC;AASzG;;;GAGG;AACH,SAAS,eAAe,CACtB,OAA4B,EAC5B,QAA4B,EAC5B,MAA0B;IAE1B,IAAI,CAAC,OAAO,IAAI,CAAC,QAAQ,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IACvD,uBAAuB,EAAE,CAAC;IAC1B,MAAM,KAAK,GAAG,kBAAkB,CAAC,aAAa,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC;IACpF,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAC7B,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC,CAAC;AAC3G,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,IAAY,EACZ,OAA4B,EAC5B,QAA4B,EAC5B,MAA0B;IAE1B,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,EAAE,wBAAwB,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;IACpF,6DAA6D;IAC7D,gEAAgE;IAChE,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,EAAE,WAAW,EAAE,eAAe,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;IAC9H,IAAI,GAAqB,CAAC;IAC1B,IAAI,gBAAgB,GAA0B,EAAE,CAAC;IACjD,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,OAAO,IAAI,uBAAuB,CAAC,OAAO,CAAC;YACxD,CAAC,CAAC,gBAAgB,CAAC,MAAM,EAAE,OAAO,CAAC;YACnC,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAC3B,GAAG,GAAG,MAAM,CAAC,GAAgB,CAAC;QAC9B,gBAAgB,GAAG,MAAM,CAAC,WAAW,CAAC;IACxC,CAAC;IAAC,MAAM,CAAC;QACP,GAAG,GAAG,IAAI,CAAC;IACb,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,gBAAgB,EAAE,CAAC;AAChD,CAAC"}
+{"version":3,"file":"parse-document.js","sourceRoot":"","sources":["../../../src/lsp/parse-document.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AACH,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAC5D,OAAO,EAAE,GAAG,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAE,KAAK,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AACvD,OAAO,EAAE,uBAAuB,EAAE,MAAM,mCAAmC,CAAC;AAE5E,OAAO,EAAE,eAAe,EAAmB,MAAM,+BAA+B,CAAC;AAEjF,OAAO,EAAE,wBAAwB,EAAE,MAAM,2BAA2B,CAAC;AACrE,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAY5D,MAAM,UAAU,iBAAiB,CAC/B,IAAY,EACZ,OAA4B,EAC5B,QAA4B,EAC5B,MAA0B;IAE1B,MAAM,OAAO,GAAG,wBAAwB,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;IACpE,MAAM,UAAU,GAAG,OAAO,IAAI,YAAY,IAAI,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;IACvF,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACxC,6DAA6D;IAC7D,gEAAgE;IAChE,IAAI,MAAsB,CAAC;IAC3B,IAAI,CAAC;QACH,MAAM,GAAG,mBAAmB,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC;IAC7D,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,CAAC,CAAC,KAAK,YAAY,eAAe,CAAC;YAAE,MAAM,KAAK,CAAC;QACrD,MAAM,SAAS,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;QACvF,OAAO,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG,SAAS,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IAC/D,CAAC;IACD,IAAI,GAAqB,CAAC;IAC1B,IAAI,gBAAgB,GAA0B,EAAE,CAAC;IACjD,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,OAAO,IAAI,uBAAuB,CAAC,OAAO,CAAC;YACxD,CAAC,CAAC,gBAAgB,CAAC,MAAM,EAAE,OAAO,CAAC;YACnC,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAC3B,GAAG,GAAG,MAAM,CAAC,GAAgB,CAAC;QAC9B,gBAAgB,GAAG,MAAM,CAAC,WAAW,CAAC;IACxC,CAAC;IAAC,MAAM,CAAC;QACP,GAAG,GAAG,IAAI,CAAC;IACb,CAAC;IACD,OAAO,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,gBAAgB,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,gBAAgB,EAAE,CAAC;AAClH,CAAC"}

package/dist/src/lsp/resolution.d.ts

@@ -0,0 +1,40 @@
+import type { VocabularyScopes } from '../config/lexicons/identifiers/scopes.js';
+import type { Core, Module as AstModule, ResolvedRole, Span, TypecheckDiagnostic } from '../types.js';
+/** 一个按角色解析的写法及其源码位置。 */
+export interface ResolutionSite {
+    readonly span: Span;
+    readonly written: string;
+    readonly canonical: string;
+    readonly role: ResolvedRole;
+    /** 字段 / 枚举成员所属的规范父名；未知时缺省 */
+    readonly parent?: string;
+}
+/** 值位置名字（含点分路径）与其 §4 静态类型。 */
+export interface TypedName {
+    readonly span: Span;
+    readonly type: Core.Type;
+}
+export interface DocumentResolution {
+    /** 是否运行了 R2（语法完整） */
+    readonly complete: boolean;
+    readonly sites: readonly ResolutionSite[];
+    readonly typedNames: readonly TypedName[];
+    /** 可做语义检查的 Core：语法完整时为 R2 输出；语法不完整时仅在无词汇且 R1 无 error 时为 R1 的 lower 结果 */
+    readonly core?: Core.Module;
+    readonly diagnostics: readonly TypecheckDiagnostic[];
+}
+/** 解析所需的文档快照（server 的 CachedDoc 满足此形状）。 */
+export interface ResolvableDocument {
+    readonly ast: AstModule | null | undefined;
+    readonly parseDiagnostics?: readonly {
+        readonly severity: string;
+    }[];
+    readonly vocabulary?: VocabularyScopes;
+}
+export declare function resolveDocument(doc: ResolvableDocument): DocumentResolution;
+/** 光标处写法为 word 的解析位置（多个时取最内层）。 */
+export declare function siteAt(res: DocumentResolution, pos: {
+    line: number;
+    character: number;
+}, word: string): ResolutionSite | undefined;
+//# sourceMappingURL=resolution.d.ts.map

package/dist/src/lsp/resolution.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolution.d.ts","sourceRoot":"","sources":["../../../src/lsp/resolution.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AAKjF,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,IAAI,SAAS,EAAE,YAAY,EAAE,IAAI,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAEtG,wBAAwB;AACxB,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,6BAA6B;IAC7B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,8BAA8B;AAC9B,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC;CAC1B;AAED,MAAM,WAAW,kBAAkB;IACjC,qBAAqB;IACrB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,SAAS,cAAc,EAAE,CAAC;IAC1C,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAC;IAC1C,yEAAyE;IACzE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC;IAC5B,QAAQ,CAAC,WAAW,EAAE,SAAS,mBAAmB,EAAE,CAAC;CACtD;AAED,2CAA2C;AAC3C,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,GAAG,EAAE,SAAS,GAAG,IAAI,GAAG,SAAS,CAAC;IAC3C,QAAQ,CAAC,gBAAgB,CAAC,EAAE,SAAS;QAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACrE,QAAQ,CAAC,UAAU,CAAC,EAAE,gBAAgB,CAAC;CACxC;AAMD,wBAAgB,eAAe,CAAC,GAAG,EAAE,kBAAkB,GAAG,kBAAkB,CAS3E;AAkKD,kCAAkC;AAClC,wBAAgB,MAAM,CACpB,GAAG,EAAE,kBAAkB,EACvB,GAAG,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,EACxC,IAAI,EAAE,MAAM,GACX,cAAc,GAAG,SAAS,CAI5B"}

package/dist/src/lsp/resolution.js

@@ -0,0 +1,179 @@
+/**
+ * LSP 的名称解析视图（ADR 0051 §5「LSP」一行与 Review Focus 1）。
+ *
+ * - 语法完整：R1 → lower → R2，收集全部按角色解析的位置（悬停用）与值位置名字的 §4 静态类型（字段补全用）。
+ * - 语法不完整（解析器报 error，AST 为恢复出的片段）：只对已解析部分运行 R1，**跳过 R2**——
+ *   未完成代码上的类型驱动解析不可信，其诊断会级联；悬停仍提供 R1 可得的信息，字段补全降级为不提供。
+ * - 任一阶段抛错都降级为空视图：编辑中的源码绝不能让悬停 / 补全 / 诊断失败。
+ *
+ * 结果按 AST 对象缓存：同一文档版本的诊断、悬停与补全共用一次解析。
+ */
+import { nfc } from '../config/lexicons/identifiers/casefold.js';
+import { hasErrors, resolveAndLower, resolveDeclarationsOnly } from '../compile-pipeline.js';
+import { lowerModule } from '../lower_to_core.js';
+import { originToSpan } from '../typecheck/pure.js';
+const EMPTY = { complete: false, sites: [], typedNames: [], diagnostics: [] };
+const cache = new WeakMap();
+export function resolveDocument(doc) {
+    const ast = doc.ast;
+    if (!ast)
+        return EMPTY;
+    const hit = cache.get(ast);
+    if (hit)
+        return hit;
+    const complete = !(doc.parseDiagnostics ?? []).some((d) => d.severity === 'error');
+    const result = safely(() => (complete ? resolveComplete(ast, doc.vocabulary) : resolvePartial(ast, doc.vocabulary)));
+    cache.set(ast, result);
+    return result;
+}
+function safely(run) {
+    try {
+        return run();
+    }
+    catch {
+        return EMPTY;
+    }
+}
+/**
+ * 语法不完整：只运行 R1，R2 跳过。R1 无 error 且没有词汇时，R1 输出 lower 后就是可信的 Core
+ * （此时无本地化写法需要 R2 改写），仍交给语义 / 类型检查，避免编辑时这些诊断全部消失；
+ * 有词汇（Core 中残留未解析的本地化名）或 R1 报错（多为被丢弃声明的级联）时不提供 Core。
+ */
+function resolvePartial(ast, vocabulary) {
+    const r1 = resolveDeclarationsOnly(ast, vocabulary);
+    const base = { complete: false, sites: collectR1Sites(r1.ast), typedNames: [], diagnostics: r1.diagnostics };
+    if (hasErrors(r1.diagnostics) || !isEmptyVocabulary(vocabulary))
+        return base;
+    return { ...base, core: lowerModule(r1.ast) };
+}
+function isEmptyVocabulary(v) {
+    if (!v)
+        return true;
+    return v.types.size === 0 && v.fields.size === 0 && v.enumMembers.size === 0 && v.functions.size === 0;
+}
+function resolveComplete(ast, vocabulary) {
+    const scoped = [];
+    const typedNames = [];
+    const observer = {
+        onScopedSite: (site) => {
+            const s = r2Site(site);
+            if (s)
+                scoped.push(s);
+        },
+        onTypedName: (name, type) => {
+            const span = originToSpan(name.origin);
+            if (span && type)
+                typedNames.push({ span, type });
+        },
+    };
+    const resolved = resolveAndLower(ast, vocabulary, observer);
+    const sites = [...collectR1Sites(resolved.ast), ...scoped];
+    return { complete: true, sites, typedNames, core: resolved.core, diagnostics: resolved.diagnostics };
+}
+// ---- 位置收集 ----
+/** 点分写法中第 index 段的位置；写法与位置宽度不符（跨行 / 含空白）时退回整条路径。 */
+function segmentSpan(span, written, index) {
+    const sameLine = span.start.line === span.end.line;
+    if (!sameLine || span.end.col - span.start.col !== written.length)
+        return span;
+    const parts = written.split('.');
+    const offset = parts.slice(0, index).reduce((n, p) => n + p.length + 1, 0);
+    const col = span.start.col + offset;
+    return { start: { line: span.start.line, col }, end: { line: span.start.line, col: col + (parts[index]?.length ?? 0) } };
+}
+function r2Site(site) {
+    if (!site.span)
+        return undefined;
+    const span = site.segment ? segmentSpan(site.span, site.segment.path, site.segment.index) : site.span;
+    const parent = site.parent === undefined ? {} : { parent: site.parent };
+    return { span, written: site.written, canonical: site.canonical, role: site.role, ...parent };
+}
+/** 不含子节点的键：避免把元数据当作节点遍历。 */
+const LEAF_KEYS = new Set(['span', 'nameSpan', 'variantSpans', 'resolved', 'resolvedVariants', 'origin']);
+/** 遍历 R1 输出的 AST，收集全部 resolved。字段的父名取所在 Data / 构造的类型，成员的父名取所在枚举。 */
+function collectR1Sites(ast) {
+    const out = [];
+    const owners = memberOwners(ast);
+    const visit = (node, parent) => {
+        if (Array.isArray(node))
+            return node.forEach((x) => visit(x, parent));
+        if (!node || typeof node !== 'object')
+            return;
+        const n = node;
+        out.push(...ownSites(n, parent, owners));
+        for (const [key, value] of Object.entries(n)) {
+            if (!LEAF_KEYS.has(key))
+                visit(value, key === 'fields' ? n.resolved?.canonical : undefined);
+        }
+    };
+    visit(ast, undefined);
+    return out;
+}
+/** 枚举成员规范名 → 唯一所属枚举（多个枚举同名成员时不给父名）。 */
+function memberOwners(ast) {
+    const owners = new Map();
+    for (const d of ast.decls) {
+        if (d.kind !== 'Enum' || !d.resolved)
+            continue;
+        for (const m of d.resolvedVariants ?? []) {
+            owners.set(m.canonical, owners.has(m.canonical) ? undefined : d.resolved.canonical);
+        }
+    }
+    return owners;
+}
+function ownSites(n, parent, owners) {
+    const span = n.nameSpan ?? n.span;
+    const r = n.resolved;
+    const own = r && span ? siteOf(span, r, parent, owners) : [];
+    if (n.kind !== 'Enum' || !r)
+        return own;
+    const variants = (n.resolvedVariants ?? []).flatMap((m, i) => {
+        const at = n.variantSpans?.[i] ?? n.span;
+        return at ? [{ span: at, written: m.written, canonical: m.canonical, role: m.role, parent: r.canonical }] : [];
+    });
+    return [...own, ...variants];
+}
+function siteOf(span, r, parent, owners) {
+    if (r.role === 'MEMBER_REF' && r.written.includes('.'))
+        return qualifiedMember(span, r);
+    const owner = r.role === 'MEMBER_REF' ? owners.get(r.canonical) : isScopedRole(r.role) ? parent : undefined;
+    const site = { span, written: r.written, canonical: r.canonical, role: r.role };
+    return [owner === undefined ? site : { ...site, parent: owner }];
+}
+function isScopedRole(role) {
+    return role === 'FIELD_DECL' || role === 'FIELD_REF' || role === 'MEMBER_DECL';
+}
+/** `E.M`：首段为 TYPE，末段为 enumMembers[E] 的成员。 */
+function qualifiedMember(span, r) {
+    const written = r.written.split('.');
+    const canonical = r.canonical.split('.');
+    if (written.length !== 2 || canonical.length !== 2)
+        return [];
+    const [we, wm] = written;
+    const [ce, cm] = canonical;
+    return [
+        { span: segmentSpan(span, r.written, 0), written: we, canonical: ce, role: 'TYPE' },
+        { span: segmentSpan(span, r.written, 1), written: wm, canonical: cm, role: 'MEMBER_REF', parent: ce },
+    ];
+}
+// ---- 查询 ----
+/** LSP 位置（0 基）是否落在 span（1 基、end 不含）内。 */
+function contains(span, pos) {
+    const line = pos.line + 1;
+    const col = pos.character + 1;
+    if (line < span.start.line || line > span.end.line)
+        return false;
+    if (line === span.start.line && col < span.start.col)
+        return false;
+    return !(line === span.end.line && col > span.end.col);
+}
+function area(span) {
+    return (span.end.line - span.start.line) * 100000 + (span.end.col - span.start.col);
+}
+/** 光标处写法为 word 的解析位置（多个时取最内层）。 */
+export function siteAt(res, pos, word) {
+    const w = nfc(word);
+    const hits = res.sites.filter((s) => nfc(s.written) === w && contains(s.span, pos));
+    return hits.sort((a, b) => area(a.span) - area(b.span))[0];
+}
+//# sourceMappingURL=resolution.js.map