dsh-vscode-mode 0.10.0 → 0.12.0

package/src/client/monaco/lsp/lspClient.ts

@@ -5,8 +5,9 @@
  * 并提供 definition/references/documentSymbol/hover/status 的 RPC 薄封装。
  * 作者 ddj 2026-08-27
  */
-import { rpc } from '../../rpc.js'
+import { rpc, dbg } from '../../rpc.js'
 import { monoToLsp } from '../../../shared/lsp.js'
+import { classifyMemberSet } from './memberScope.js'
 
 /** edrv:// 模型 URI → 工作区相对/绝对路径（与 host 侧 path 对齐）。 */
 export function pathOfModel(model) {
@@ -23,9 +24,11 @@ export function pathOfModel(model) {
 }
 
 const SYNC_DEBOUNCE_MS = 250
+const MAX_DOC_VERSION = 2147483647
 
 let sessionId
 const syncTimers = new Map()
+const docVersions = new Map()
 let statusCache = { servers: [], at: 0 }
 let progressListeners = new Set()
 let ready = false
@@ -47,6 +50,9 @@ function reportStatus(text) {
  */
 export function setLspSession(id) {
   if (sessionId === id) return
+  for (const timer of syncTimers.values()) clearTimeout(timer)
+  syncTimers.clear()
+  docVersions.clear()
   sessionId = id
   void refreshStatus()
 }
@@ -87,6 +93,18 @@ function publishProgress() {
   }
 }
 
+/**
+ * LSP 版本须可被 Roslyn 的 Int32 反序列化；时间戳会直接使其退出。
+ * @author ddj 2026年09月24号
+ * @param path 文档路径
+ * @returns 当前文档下一个协议版本
+ */
+function nextDocVer(path) {
+  const version = Math.min(MAX_DOC_VERSION, (docVersions.get(path) ?? 0) + 1)
+  docVersions.set(path, version)
+  return version
+}
+
 /**
  * 立即同步某文档到 host（首次打开/查询前保证服务器已认识该文档）。
  * sessionId 缺失时仍发起请求：host 对唯一活跃会话有兜底解析，弃发会白白丢失文档归属。
@@ -99,13 +117,13 @@ export async function syncDoc(path, text, immediate = false) {
   if (!path || typeof text !== 'string') return
   if (immediate) {
     clearPending(path)
-    await rpc('edrv.lsp.sync', { sessionId, path, text, version: Date.now() }).catch(() => {})
+    await rpc('edrv.lsp.sync', { sessionId, path, text, version: nextDocVer(path) }).catch(() => {})
     return
   }
   clearPending(path)
   syncTimers.set(path, setTimeout(() => {
     syncTimers.delete(path)
-    rpc('edrv.lsp.sync', { sessionId, path, text, version: Date.now() }).catch(() => {})
+    rpc('edrv.lsp.sync', { sessionId, path, text, version: nextDocVer(path) }).catch(() => {})
   }, SYNC_DEBOUNCE_MS))
 }
 
@@ -117,6 +135,7 @@ function clearPending(path) {
 /** 文档关闭：停止去抖并通知 host。 */
 export function closeDoc(path) {
   clearPending(path)
+  docVersions.delete(path)
   void rpc('edrv.lsp.close', { sessionId, path }).catch(() => {})
 }
 
@@ -171,22 +190,65 @@ export async function fetchHover(path, text, position) {
   return res.hover || null
 }
 
+/**
+ * 成员触发字符：这类位置的补全最易被服务器的旧解析树错答（外层作用域 / 全局集）。
+ * @author ddj 2026年09月24号
+ */
+const MEMBER_TRIGGERS = new Set(['.', ':'])
+
+/**
+ * 记录成员补全诊断（仅日志，不改结果）。
+ *
+ * 现场：`ECommon.` 这类成员位置偶尔返回 `this` 的外层作用域成员或全局集
+ * （含 `this`/`...` 与大量 `CS_*`），根因指向服务器对刚输入文本的解析新鲜度，
+ * 且非确定性。此处只把每次成员补全的形态打标，供真实使用中取证后再定修复。
+ * @author ddj 2026年09月24号
+ * @param path 工作区相对路径
+ * @param position Monaco 位置（1-based）
+ * @param context LSP CompletionContext（取触发字符）
+ * @param prefix 当前输入前缀
+ * @param list 服务器归一化后的补全结果
+ */
+function logMemberDiag(path, position, context, prefix, list) {
+  const ch = context?.triggerCharacter
+  if (!MEMBER_TRIGGERS.has(ch)) return
+  const info = classifyMemberSet(list.items)
+  dbg(sessionId, '成员补全诊断 ch=' + ch
+    + ' path=' + path
+    + ' pos=' + position.lineNumber + ':' + position.column
+    + ' prefix=' + JSON.stringify(prefix ?? '')
+    + ' 条数=' + info.total
+    + ' CS_*=' + info.csCount
+    + ' 分类=' + info.kind
+    + ' 首' + info.head.length + '=' + info.head.join(','))
+}
+
 /**
  * 查询补全列表（列表阶段不带 documentation，由 resolve 补全）。
- * @author ddj 2026年09月22号
+ *
+ * `prefix` 必须随请求上报：host 在 500 条上限处做前缀感知截断，不带前缀时
+ * 只能按服务器原始顺序切，项目全局（ECommon 等）会被上万个 CS_* 桩挤出上限。
+ * @author ddj 2026年09月22号 / 2026年09月24号
  * @param path 工作区相对路径
  * @param text 文档全文（未保存内容必须进服务器，否则按旧文本解析）
  * @param position Monaco 位置（1-based）
  * @param context LSP CompletionContext（触发类型/触发字符）
+ * @param prefix 当前输入前缀（Monaco getWordUntilPosition 的词；可缺省）
  * @returns { items, incomplete }；失败或空时 null
  */
-export async function fetchCompletions(path, text, position, context) {
+export async function fetchCompletions(path, text, position, context, prefix) {
   await syncDoc(path, text, true)
   const args = { path, position: monoToLsp(position.lineNumber, position.column) }
   if (context) args.context = context
+  if (prefix) args.prefix = prefix
   const res = await queryLsp('查询补全', 'edrv.lsp.completion', args)
   if (!res || !res.completions) return null
-  return res.completions
+  const list = res.completions
+  if (list.truncated === true) {
+    dbg(sessionId, '补全结果被截断（候选超上限）：' + path + ' prefix=' + String(prefix ?? ''))
+  }
+  logMemberDiag(path, position, context, prefix, list)
+  return list
 }
 
 /**

package/src/client/monaco/lsp/memberScope.ts

@@ -0,0 +1,90 @@
+/**
+ * dsh-vscode-mode client — 成员补全结果集的形态分类（纯函数，node 可测）。
+ *
+ * 背景：`ECommon.` 这类成员位置偶尔被错答为**外层作用域集**（`this` 的成员）
+ * 或**全局集**（含 `this`/`...` 与大量 `CS_*` xLua 绑定桩），而正确答案应是
+ * `ECommon` 自身的字段。根因指向服务器对「刚输入文本」的解析新鲜度，且非确定性。
+ * 本模块只做「形态打标」供诊断日志使用，**不改变任何补全结果**。
+ *
+ * 作者 ddj 2026-09-24
+ */
+import type { LspCompletionItem } from '../../../shared/lsp.js'
+
+/** 结果集形态：empty 空；globals 全局集；outerScope 外层作用域集；member 成员集；other 其他。 */
+export type CompletionSetKind = 'empty' | 'globals' | 'outerScope' | 'member' | 'other'
+
+/** 分类结果：形态 + 计数 + 前几项（供日志与人工判读）。 */
+export interface CompletionSetInfo {
+  /** 形态标签 */
+  kind: CompletionSetKind
+  /** 条目总数 */
+  total: number
+  /** `CS_*` 绑定桩条数 */
+  csCount: number
+  /** 绑定桩占比（0–1；空集为 0） */
+  csRatio: number
+  /** 前若干条 label（便于人工判读，不参与判定） */
+  head: string[]
+}
+
+/**
+ * 外层作用域（`this` 成员）特征名。
+ *
+ * ⚠️ 这是**捕获派生的启发式标记**，不是通用的作用域判定：名单来自 2026-09-24
+ * 在 `RechargeHeartView.lua` 真实键盘复现到的 87 条错答样本（`this` 成员列表）。
+ * 用途仅是把「疑似外层作用域」的观测标出来供取证；未命中足够标记时归入 `member`，
+ * 因此**不会**把正常的成员集误报成外层集。
+ */
+const INSTANCE_MARKERS = new Set([
+  'addframe', 'addtimer', 'clearalltimers', 'buyheart', 'canvas', 'canvasgroup',
+])
+
+/**
+ * 取条目匹配文本（Monaco 口径：filterText 优先，回落 label）。
+ *
+ * 与 host 侧 `lsp/completionCap.ts` 的同名私有函数刻意各留一份：两者分属
+ * host / client 两个打包平面，不为 3 行逻辑建立跨平面依赖。
+ * @author ddj 2026年09月24号
+ * @param item 补全项
+ * @returns 匹配文本；无可用文本时为空串
+ */
+function textOfItem(item: LspCompletionItem): string {
+  const raw = typeof item?.filterText === 'string' && item.filterText ? item.filterText : item?.label
+  return typeof raw === 'string' ? raw : ''
+}
+
+/**
+ * 依据条目形态判定结果集属于哪一类。
+ * @author ddj 2026年09月24号
+ * @param lower 全部条目文本（已小写）
+ * @param total 条目总数
+ * @param csCount `CS_*` 条数
+ * @param csRatio `CS_*` 占比
+ * @returns 形态标签
+ */
+function kindOf(lower: string[], total: number, csCount: number, csRatio: number): CompletionSetKind {
+  if (total === 0) return 'empty'
+  if (lower.includes('this') || lower.includes('...') || csRatio > 0.5) return 'globals'
+  if (csCount === 0 && lower.filter((t) => INSTANCE_MARKERS.has(t)).length >= 2) return 'outerScope'
+  if (csCount === 0) return 'member'
+  return 'other'
+}
+
+/**
+ * 分类成员补全结果集（纯函数，无副作用）。
+ * @author ddj 2026年09月24号
+ * @param items 服务器归一化后的补全条目（非数组按空处理）
+ * @param headSize 日志携带的前缀条数（缺省 3）
+ * @returns 形态、计数与前几项
+ */
+export function classifyMemberSet(items: LspCompletionItem[], headSize: number = 3): CompletionSetInfo {
+  const list = Array.isArray(items) ? items : []
+  // 判定用 filterText 优先（与过滤器同口径）；日志展示用 label（人工判读友好）。
+  const texts = list.map(textOfItem)
+  const lower = texts.map((t) => t.toLowerCase())
+  const total = list.length
+  const csCount = texts.filter((t) => t.startsWith('CS_')).length
+  const csRatio = total ? csCount / total : 0
+  const head = list.slice(0, Math.max(0, headSize)).map((item) => String(item?.label ?? ''))
+  return { kind: kindOf(lower, total, csCount, csRatio), total, csCount, csRatio, head }
+}

package/src/client/monaco/lsp/providers.ts

@@ -18,6 +18,7 @@ import {
   LSP_SEMANTIC_TOKEN_MODIFIERS, LSP_SEMANTIC_TOKEN_TYPES,
   LSP_COMPLETION_KIND_NAMES, LSP_INSERT_TEXT_FORMAT_SNIPPET,
 } from '../../../shared/lsp.js'
+import { luaKeywordsAt, luaTypesAt, mergeKeywords } from './keywords.js'
 
 const LSP_LANGS = ['lua', 'csharp']
 
@@ -352,18 +353,27 @@ function completionsFor(monaco, lang) {
     provideCompletionItems: async (model, position, context, token) => {
       const path = pathOfModel(model)
       if (!path) return { suggestions: [] }
-      const list = await fetchCompletions(path, model.getValue(), position, toLspContext(context))
-      if (!list || !list.items.length || token?.isCancellationRequested) return { suggestions: [] }
       const word = model.getWordUntilPosition(position)
+      // 前缀必须上报：host 在条目上限处按前缀分桶截断，否则项目全局
+      // （ECommon 等）会被 xLua 绑定桩（上万个 CS_*）挤出上限且无法恢复。
+      const list = await fetchCompletions(path, model.getValue(), position, toLspContext(context), word.word)
+      if (token?.isCancellationRequested) return { suggestions: [] }
+      if (lang !== 'lua' && (!list || !list.items.length)) return { suggestions: [] }
       const fallback = {
         startLineNumber: position.lineNumber,
         endLineNumber: position.lineNumber,
         startColumn: word.startColumn,
         endColumn: word.endColumn,
       }
+      const serverItems = (list?.items ?? []).map((item) => toMonoSuggestion(monaco, item, fallback, path))
       return {
-        suggestions: list.items.map((item) => toMonoSuggestion(monaco, item, fallback, path)),
-        incomplete: list.incomplete === true,
+        suggestions: lang === 'lua'
+          ? mergeKeywords(serverItems, [
+            ...luaKeywordsAt(monaco, model, position, fallback),
+            ...luaTypesAt(monaco, model, position, fallback),
+          ])
+          : serverItems,
+        incomplete: list?.incomplete === true,
       }
     },
     resolveCompletionItem: async (item, token) => {

package/src/client/settingsDocRouter.ts

@@ -0,0 +1,52 @@
+/** Redirect the DSH settings document action into the plugin editor. */
+import { patchAccessor } from './compat.js'
+
+export interface SettingsDocResult {
+  ok: boolean
+  value?: { opened: boolean }
+}
+
+type SettingsDocOpen = (...args: unknown[]) => Promise<SettingsDocResult>
+
+/**
+ * Patch the optional DSH settings document opener; failed handoff keeps native behavior.
+ * @author ddj 2026年10月02号
+ * @param service DSH remote settings namespace
+ * @param getPath plugin RPC that prepares the profile document
+ * @param openEditor current plugin editor action
+ * @param logger optional diagnostic sink
+ * @returns disposer, or null if the DSH API is unavailable
+ */
+export function patchSettingsDoc(
+  service: object,
+  getPath: () => Promise<{ ok: boolean; path?: string; error?: string }>,
+  openEditor: (path: string) => void,
+  logger?: (message: string) => void,
+): (() => void) | null {
+  return patchAccessor(service, 'openSettingsDocument', async (original, ...args) => {
+    try {
+      const result = await getPath()
+      if (!result.ok || !result.path) throw new Error(result.error || '设置配置文件路径不可用')
+      openEditor(result.path)
+      return { ok: true, value: { opened: true } }
+    } catch (error) {
+      logger?.('插件编辑器打开设置配置文件失败，回退 DSH 原生打开: ' + String(error))
+      return (original as SettingsDocOpen)(...args)
+    }
+  })
+}
+
+/**
+ * Safely locate the optional DSH settings remote service.
+ * @author ddj 2026年10月02号
+ * @param ctx Client service context
+ * @returns The settings service when its document opener exists
+ */
+export function probeSettingsDoc(ctx: { get: (name: string) => unknown }): object | undefined {
+  try {
+    const service = ctx.get('remote.settings') as { openSettingsDocument?: unknown } | undefined
+    return typeof service?.openSettingsDocument === 'function' ? service : undefined
+  } catch {
+    return undefined
+  }
+}