dsh-vscode-mode 0.21.1 → 0.21.3

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "dsh-vscode-mode",
-  "version": "0.21.1",
+  "version": "0.21.3",
   "description": "DSH 上的类 VSCode 编码体验：Monaco 编辑器（文件页签/QuickOpen/状态栏，可驻 DSH 0.1.5+ 官方右侧 Sidebar 与对话同屏）+ 命令栏（Ctrl+Shift+P）与可扩展指令系统 + VS Code 兼容代码片段（.code-snippets 全局/项目，IntelliSense 展开）+ Agent 编辑差异审查（整文件差异/采纳/拒绝/归档/回滚）+ SVN 集成（侧栏变更面板/日志弹窗/并排差异）+ 语言服务器（LSP）智能（跳转定义/引用/hover/大纲 + VSIX 扩展市场安装），状态持久化到工作区旁车，界面状态（页签/光标/侧栏/编辑 Tab/导航历史）镜像到 DSH home 跨重启恢复",
   "icon": "assets/icon.svg",
   "keywords": [

package/src/client/addToConversation.ts

@@ -206,7 +206,10 @@ export function refOf(mention: string, range: RefRange | undefined): string {
     : `${mention} L${range.startLine}-${range.endLine}`
 }
 
-/** 构造 DSH 文件引用插入载荷（source=reference，发送序列化为 mention(+range) 文本）。
+/** 构造 DSH 文件引用插入载荷，模型文本、剪贴板投影与降级文本共用完整行区间。
+ * @public
+ * @author ddj 2026年10月28号
+ * @returns 引用载荷与含可选行区间的完整引用文本
  * @param path 目标路径（相对 cwd 或绝对）
  * @param cwd 会话工作区目录（可选）
  * @param range 行区间（可选）
@@ -218,12 +221,13 @@ export function buildFileRef(
   range?: RefRange,
   appearance: RefAppearance = 'file',
 ): { reference: ReferenceInsertLike; mention: string } {
-  const mention = mentionOf(path, cwd)
+  const mention = refOf(mentionOf(path, cwd), range)
+
   return {
     mention,
     reference: {
       source: REF_SOURCE,
-      ref: refOf(mention, range),
+      ref: mention,
       label: labelOf(path, range),
       appearance,
       clipboardText: mention,
@@ -264,6 +268,41 @@ export interface TokenSpanLike {
 /** ctx 依赖的最小面（sessions.scope + conversation.input）。 */
 export interface CtxLike {
   get: (name: string) => unknown
+  effect?: (setup: () => () => void, label?: string) => (() => void)
+}
+
+/** Public Controller subset; old Hosts need not provide retain/binding. */
+interface SessionBridge {
+  retain?: (id: string, options: { source: 'controllerOperation'; signal: AbortSignal }) => {
+    ready: Promise<{ session: { prompt(content: { type: 'text'; text: string }[], mode: 'queue', signal: AbortSignal): Promise<{ ok: boolean }> } }>
+    release(): void
+  }
+  binding?: (id: string) => { ctx: unknown } | undefined
+  scope?: (id: string) => unknown
+}
+
+/** @private @author ddj 2026年10月28号 @param ctx Lifecycle owner. @param sessions Public Controller. @param id Fixed target. @param text Task body. @returns Acceptance; failures never retry another transport. @sideEffects Retains one generation until completion or unload. */
+async function sendOwned(ctx: CtxLike, sessions: SessionBridge, id: string, text: string): Promise<boolean> {
+  const controller = new AbortController()
+  const reference = sessions.retain!(id, { source: 'controllerOperation', signal: controller.signal })
+  let released = false
+  /** @private @author ddj 2026年10月28号 Cancel pending admission and release this exact generation once. */
+  function release(): void {
+    if (released) return
+    released = true
+    controller.abort()
+    reference.release()
+  }
+  let remove: (() => void) | undefined
+  try {
+    remove = ctx.effect?.(() => release, 'vscode-mode: task session reference')
+    const binding = await reference.ready
+    if (controller.signal.aborted) return false
+    return (await binding.session.prompt([{ type: 'text', text }], 'queue', controller.signal)).ok === true
+  } finally {
+    release()
+    remove?.()
+  }
 }
 
 /** 新建会话结果（ok=false 供调用方降级回当前对话注入）。 */
@@ -368,8 +407,9 @@ export async function apiSessionPrompt(sessionId: string, text: string): Promise
 
 /**
  * 新建独立会话承载旁路任务（02-deep-session-prompt：深度分析不污染当前对话）。
- * 主路径 = apiproxy wire 直调（不依赖 service 面形态猜测）；回落 remote.session.create
- * 与旧 sessions.create 两代 service 面（宽松解析）。任一步不符返回 ok:false，调用方降级。
+ * 优先公开 sessions.create；旧 Host 按能力选择 remote 或 wire，调用后不换通道重试。
+ * 受理状态不明时返回 ok:false，不重复创建会话。
+ * @author ddj 2026年10月28号
  * @author ddj 2026年09月23号
  * @param ctx 客户端服务上下文（remote.session + sessions，仅回落用）
  * @param cwd 新会话工作区目录（与当前会话同工作区）
@@ -391,21 +431,20 @@ export async function newDraftSession(ctx: CtxLike, cwd: string | undefined): Pr
           : ''
       if (id) return { ok: true, id }
     }
-  } catch { /* 回落下一通道 */ }
+    // A create call may have succeeded remotely even when its receipt is unavailable.
+    if (typeof sessions?.create === 'function') return { ok: false }
+  } catch { return { ok: false } }
   try {
-    // 回落 1：api.sessions service 面（返回信封 {rpcId, result}，见 rpcOk；多形态容错）
+    // Legacy Hosts select one known transport; never retry a non-idempotent create.
     const remote = ctx.get('remote.session') as { create?: (req: unknown) => Promise<unknown> } | undefined
     if (typeof remote?.create === 'function') {
       const payload = cwd ? { cwd } : {}
-      for (const arg of [slotArg(payload), { request: { rpcId: mintRpcId(), payload } }, { rpcId: mintRpcId(), payload }, payload]) {
-        try {
-          const r = rpcOk(await remote.create(arg))
-          const id = r.value as { sessionId?: unknown } | undefined
-          if (r.ok && typeof id?.sessionId === 'string') return { ok: true, id: id.sessionId }
-        } catch { /* 单形态失败试下一形态 */ }
-      }
+      const receipt = rpcOk(await remote.create(slotArg(payload)))
+      const created = receipt.value as { sessionId?: unknown } | undefined
+      if (receipt.ok && typeof created?.sessionId === 'string') return { ok: true, id: created.sessionId }
+      return { ok: false }
     }
-  } catch { /* 回落 wire */ }
+  } catch { return { ok: false } }
   // 回落 2：wire 直调（创建成功但 store 无感，open 切换不保证；任务发送仍可用）
   try {
     const id = await apiSessionCreate(cwd)
@@ -441,9 +480,9 @@ export interface AddToConversation {
 export function inputFor(ctx: CtxLike, sessionId: string | undefined): InputLike | undefined {
   if (!sessionId) return undefined
   try {
-    const sessions = ctx.get('sessions') as { scope?: (id: string) => unknown } | undefined
+    const sessions = ctx.get('sessions') as SessionBridge | undefined
     const conversation = ctx.get('conversation') as { input?: { for: (actx: unknown) => unknown } } | undefined
-    const actx = sessions?.scope?.(sessionId)
+    const actx = typeof sessions?.binding === 'function' ? sessions.binding(sessionId)?.ctx : sessions?.scope?.(sessionId)
     const shell = actx && conversation?.input?.for?.(actx)
     // 探针须是我们的**实际依赖**（insertReference），而不是会被整篇重建的 setDraft
     return (shell && typeof (shell as InputLike).insertReference === 'function') ? shell as InputLike : undefined
@@ -569,13 +608,15 @@ export function createAddToConversation(ctx: CtxLike): AddToConversation {
   /**
    * 新建独立会话（02-deep-session-prompt：旁路任务不污染当前对话）。
    * 闭包持有真服务 ctx（面板 SidebarCtx 无 .get，会话操作必须经此门面）；
-   * 创建后尽力 `sessions.open(id)` 切换视图（缺失不致命，草稿仍可写入）。
+   * 新版仅返回已登记身份，视图选择由宿主负责；旧版保留可用的 open/select。
+   * @author ddj 2026年10月28号
    * @author ddj 2026年09月23号
    * @param cwd 新会话工作区目录（与当前会话同工作区）
    * @returns 新会话结果（失败供降级）
    */
   const startDraftSession: AddToConversation['startDraftSession'] = async (cwd) => {
     const result = await newDraftSession(ctx, cwd)
+    if (typeof (ctx.get('sessions') as SessionBridge | undefined)?.retain === 'function') return result
     if (result.ok && result.id) {
       try {
         // 主动铸造 scope（scope 对新会话惰性铸造，inputFor/composer 面依赖它）
@@ -598,48 +639,32 @@ export function createAddToConversation(ctx: CtxLike): AddToConversation {
 
   /**
    * 发送任务给目标会话 agent（点击即发送方案：任务落地会话即非 blank，列表可见）。
-   * 主路径 wire 直发 session/prompt；回落 remote.session.prompt service 面。
-   * @author ddj 2026年09月23号
+   * 新版持有目标 Controller 到 prompt 结束；旧版按能力选择唯一通道，不跨通道重发。
+   * @author ddj 2026年09月23号 / 2026年10月28号
    * @param sessionId 目标会话 id
    * @param text 任务文本
    * @returns 是否受理
    */
   const sendTask: AddToConversation['sendTask'] = async (sessionId, text) => {
     if (!sessionId) return false
-    // 主路径：**官方 composer 发送链路**（InputLike setDraft + submit —— UI「发送」的内部路径）。
-    // inputFor 依赖 sessions.scope(id)：新会话铸造有时延，重试 3 次后再降级。
-    const composerOnce = async (): Promise<boolean> => {
-      const input = inputFor(ctx, sessionId) as { setDraft?: (t: string) => void; submit?: (mode?: unknown) => void } | undefined
-      if (input && typeof input.setDraft === 'function' && typeof input.submit === 'function') {
+    try {
+      const sessions = ctx.get('sessions') as SessionBridge | undefined
+      if (typeof sessions?.retain === 'function') return await sendOwned(ctx, sessions, sessionId, text)
+
+      // Legacy composer remains an exclusive channel; never overwrite the draft and then retry elsewhere.
+      const input = inputFor(ctx, sessionId) as { setDraft?: (task: string) => void; submit?: () => void } | undefined
+      if (typeof input?.setDraft === 'function' && typeof input.submit === 'function') {
         input.setDraft(text)
         input.submit()
         return true
       }
-      return false
-    }
-    try {
-      for (let attempt = 3; attempt > 0; attempt--) {
-        if (await composerOnce()) return true
-        if (attempt > 1) await new Promise((resolve) => setTimeout(resolve, 500))
-      }
-    } catch { /* 降级下一通道 */ }
-    // 兜底 1：remote.session service 面（多形态容错）
-    try {
       const remote = ctx.get('remote.session') as { prompt?: (req: unknown) => Promise<unknown> } | undefined
       if (typeof remote?.prompt === 'function') {
         const payload = { sessionId, mode: 'queue', content: [{ type: 'text', text }] }
-        for (const arg of [slotArg(payload), { request: { rpcId: mintRpcId(), payload } }, { rpcId: mintRpcId(), payload }, payload]) {
-          try {
-            if (rpcOk(await remote.prompt(arg)).ok) return true
-          } catch { /* 单形态失败试下一形态 */ }
-        }
+        return rpcOk(await remote.prompt(slotArg(payload))).ok
       }
-    } catch { /* 降级下一通道 */ }
-    // 兜底 2：HTTP wire
-    try {
       return await apiSessionPrompt(sessionId, text)
-    } catch { /* 全失败 */ }
-    return false
+    } catch { return false }
   }
 
   return { appendReference, appendText, startDraftSession, sendTask }

package/src/mcpDiagnostic.ts

@@ -0,0 +1,42 @@
+/** Bounded credential-safe MCP failure diagnostics. @author ddj 2026年10月28号 */
+import type { MpcConfig } from './shared/mcp.js'
+
+/**
+ * Format an initialization failure without serializing the MCP configuration.
+ * @public @author ddj 2026年10月28号
+ * @param error Original failure and optional cause chain.
+ * @param config Effective configuration, used only to remove known secret values.
+ * @returns Bounded single-line diagnostic; URLs and explicit credentials are removed.
+ */
+export function mcpErrorText(error: unknown, config: MpcConfig): string {
+  const messages: string[] = []
+  const seen = new Set<unknown>()
+  let cause = error
+  while (cause !== undefined && !seen.has(cause) && messages.length < 4) {
+    seen.add(cause)
+    if (cause instanceof Error) {
+      const code = (cause as Error & { code?: unknown }).code
+      messages.push(cause.name + ': ' + cause.message + (typeof code === 'string' ? ' [' + code + ']' : ''))
+      cause = cause.cause
+    } else {
+      messages.push(typeof cause === 'string' ? cause : 'Unknown MCP failure')
+      break
+    }
+  }
+
+  let text = messages.join(' <- ')
+  const secrets = [...Object.values(config.env ?? {}), ...Object.values(config.headers ?? {})]
+  // Arguments may contain credentials; never reproduce their non-option values in an error.
+  for (const argument of config.args ?? []) {
+    if (!argument.startsWith('-')) secrets.push(argument)
+  }
+  secrets.sort((left, right) => right.length - left.length)
+  for (const secret of secrets) {
+    if (secret) text = text.split(secret).join('[REDACTED]')
+  }
+
+  text = text.replace(/https?:\/\/[^\s"'<>]+/gi, '[URL]')
+    .replace(/\b(authorization|api[-_]?key|token|password|secret)\s*[:=]\s*[^\s,;]+/gi, '$1=[REDACTED]')
+    .replace(/[\r\n\x00-\x1f\x7f]+/g, ' ')
+  return text.slice(0, 2048)
+}

package/src/mcpPool.ts

@@ -1,6 +1,8 @@
 /** Connection ownership, bounded cold starts and workspace leases. @author ddj 2026年10月20号 */
 import { createHash } from 'node:crypto'
 import { McpBridge } from './mcpBridge.js'
+import { debugRecord } from './debugLog.js'
+import { mcpErrorText } from './mcpDiagnostic.js'
 import type { McpPolicy, McpPhase, MpcConfig } from './shared/mcp.js'
 import type { Ctx } from './store.js'
 
@@ -10,6 +12,11 @@ export interface PoolSpec {
   config: MpcConfig
   policy: McpPolicy
 }
+/** Startup caller settlement, independent from the owned resource lifetime. */
+interface StartupResult {
+  resolve(): void
+  reject(error: unknown): void
+}
 export interface PoolEntry {
   key: string
   spec: PoolSpec
@@ -25,6 +32,9 @@ export interface PoolEntry {
   bridge?: McpBridge
   fiber?: any
   ready: Promise<void>
+  /** Entire queued mount/cleanup lifetime; rejection means closure remains unconfirmed. */
+  quiescence: Promise<void>
+  cleanupFailed?: boolean
   close?: Promise<void>
   idle?: ReturnType<typeof setTimeout>
   live: boolean
@@ -93,7 +103,7 @@ export class McpPool {
     }
     if (entry && !entry.live) throw new Error(entry.error ?? 'MCP 旧连接仍在释放，暂不能创建替代实例')
     if (!entry) {
-      entry = { key, spec, refs: 0, phase: 'queued', queuedAt: Date.now(), phaseAt: Date.now(), ready: Promise.resolve(), live: true, calls: Promise.resolve() }
+      entry = { key, spec, refs: 0, phase: 'queued', queuedAt: Date.now(), phaseAt: Date.now(), ready: Promise.resolve(), quiescence: Promise.resolve(), live: true, calls: Promise.resolve() }
       this.entries.set(key, entry)
       entry.ready = this.schedule(entry)
       void entry.ready.catch(() => undefined)
@@ -109,16 +119,27 @@ export class McpPool {
     } }
   }
 
-  /** @private @author ddj 2026年10月20号 @param entry New entry. @returns Queued initialization, bounded to two concurrent starts. */
+  /** @private @author ddj 2026年10月29号 @param entry New entry. @returns Caller result, independent from the two-slot cleanup lifetime. */
   private schedule(entry: PoolEntry): Promise<void> {
-    return new Promise<void>((resolve, reject) => {
-      /** @author ddj 2026年10月20号 Initializes a still-owned queue item. */
-      const run = async (): Promise<void> => {
-        try { await this.start(entry); resolve() } catch (error) { reject(error) }
+    let result!: StartupResult
+    const ready = new Promise<void>((resolve, reject) => { result = { resolve, reject } })
+    let lifetime!: StartupResult
+    entry.quiescence = new Promise<void>((resolve, reject) => { lifetime = { resolve, reject } })
+    void entry.quiescence.catch(() => undefined)
+
+    /** @private @author ddj 2026年10月29号 Runs and observes the complete owned mount even after caller rejection. */
+    const run = async (): Promise<void> => {
+      try {
+        await this.start(entry, result)
+        lifetime.resolve()
+      } catch (error) {
+        result.reject(error)
+        lifetime.reject(error)
       }
-      this.queue.push(run)
-      this.pump()
-    })
+    }
+    this.queue.push(run)
+    this.pump()
+    return ready
   }
 
   /** @private @author ddj 2026年10月20号 Advances FIFO work; each task holds its slot until startup or cleanup quiesces. */
@@ -135,9 +156,9 @@ export class McpPool {
     }
   }
 
-  /** @private @author ddj 2026年10月20号 @param entry Connection to initialize. @returns Initialization completion, or failure after owned cleanup. */
-  private async start(entry: PoolEntry): Promise<void> {
-    if (!entry.live || this.stopped) throw new Error('MCP 启动已取消')
+  /** @private @author ddj 2026年10月29号 @param entry Connection to initialize. @param result Caller settlement. @returns Full startup and cleanup lifetime. */
+  private async start(entry: PoolEntry, result: StartupResult): Promise<void> {
+    if (!entry.live || this.stopped) { result.reject(new Error('MCP 启动已取消')); return }
     entry.phase = 'loading'
     entry.phaseAt = Date.now()
     entry.startAt = entry.phaseAt
@@ -153,31 +174,41 @@ export class McpPool {
       entry.phase = 'ready'
       entry.finishedAt = Date.now()
       entry.connectedAt = entry.finishedAt
+      result.resolve()
     } catch (error) {
-      entry.error = 'MCP 初始化失败或超时，请查看 Host 日志'
-      this.ctx.logger?.warn?.('MCP initialization failed: ' + String(error))
+      if (!entry.cleanupFailed) entry.error = 'MCP 初始化失败或超时；旧连接清理尚未确认，暂不能重建，请查看 Host 日志'
+      const diagnostic = 'MCP initialization failed; phase=' + entry.phase + '; transport=' + entry.spec.config.transport
+        + '; elapsedMs=' + (Date.now() - entry.startAt) + '; ' + mcpErrorText(error, entry.spec.config)
+      debugRecord(this.ctx, entry.spec.workspace, diagnostic, 'warn')
       // Invalidation precedes disposal; neither late module load nor callbacks may publish.
       entry.live = false
       entry.phase = 'stopping'
-      const closing = this.closeBridge(entry)
-      await Promise.allSettled([closing, work])
-      entry.phase = 'error'
-      entry.finishedAt = Date.now()
-      entry.retryAt = Date.now() + 5000
-      // Failed generations stay invalid; acquire can replace them only after confirmed closure and cooldown.
-      throw new Error(entry.error)
+      result.reject(new Error(entry.error))
+      await this.finishFailure(entry, work)
     } finally {
       if (timer) clearTimeout(timer)
     }
   }
 
+  /** @private @author ddj 2026年10月29号 @param entry Failed generation. @param work Entire mount, including late factory cleanup. @returns Confirmed quiescence; throws when closure is unconfirmed. */
+  private async finishFailure(entry: PoolEntry, work: Promise<void>): Promise<void> {
+    await Promise.allSettled([this.closeBridge(entry), work])
+    if (entry.cleanupFailed) throw new Error(entry.error)
+
+    entry.phase = 'error'
+    entry.finishedAt = Date.now()
+    entry.retryAt = entry.finishedAt + 5000
+    entry.error = 'MCP 初始化失败或超时，请查看 Host 日志'
+  }
+
   /** @private @author ddj 2026年10月20号 @param entry Owned generation. @returns Official initial sync; never publishes after invalidation. */
   private async mount(entry: PoolEntry): Promise<void> {
     const official = await this.load()
     if (!entry.live || this.stopped) return
     const bridge = await this.make()
-    if (!entry.live || this.stopped) { await bridge.dispose(); return }
     entry.bridge = bridge
+    // Keep late factory ownership visible, including synchronous or rejected disposal failures.
+    if (!entry.live || this.stopped) { await this.closeBridge(entry); return }
     entry.phase = 'starting'
     entry.phaseAt = Date.now()
     entry.fiber = bridge.scope.ctx.plugin(official, entry.spec.config)
@@ -185,10 +216,14 @@ export class McpPool {
     if (entry.fiber?.state !== undefined && entry.fiber.state !== 2) throw new Error('MCP 插件未完成激活')
   }
 
-  /** @private @author ddj 2026年10月20号 @param entry Connection to close. @returns Shared closure barrier; rejection retains a fenced entry. */
+  /** @private @author ddj 2026年10月29号 @param entry Connection to close. @returns Shared closure barrier; synchronous throws and rejections retain a fenced entry. */
   private async closeBridge(entry: PoolEntry): Promise<void> {
     if (entry.close) return entry.close
-    const close = entry.bridge?.dispose() ?? Promise.resolve()
+    const bridge = entry.bridge
+    if (!bridge) return
+    /** @private @author ddj 2026年10月29号 @returns Deferred disposal so synchronous throws are owned by the shared barrier. */
+    const dispose = (): Promise<void> => bridge.dispose()
+    const close = Promise.resolve().then(dispose)
     entry.close = close
     try {
       await close
@@ -196,6 +231,7 @@ export class McpPool {
       entry.fiber = undefined
       entry.close = undefined
     } catch (error) {
+      entry.cleanupFailed = true
       entry.error = 'MCP 释放未确认，禁止重建，请查看 Host 日志'
       this.ctx.logger?.warn?.('MCP cleanup failed: ' + String(error))
       throw error
@@ -216,10 +252,10 @@ export class McpPool {
     entry.live = false
     entry.phase = 'stopping'
     if (entry.idle) clearTimeout(entry.idle)
-    await this.closeBridge(entry)
-    await entry.ready.catch(() => undefined)
-    // A late mount checks live before assigning its bridge.
-    await entry.calls.catch(() => undefined)
+    const closures = await Promise.allSettled([this.closeBridge(entry), entry.quiescence, entry.calls])
+    const failure = closures.find((closure) => closure.status === 'rejected')
+    if (failure?.status === 'rejected') throw failure.reason
+    // Only the whole mount barrier proves that no late factory can still create a scope.
     if (this.entries.get(entry.key) === entry) this.entries.delete(entry.key)
   }
 
@@ -239,7 +275,9 @@ export class McpPool {
   /** @public @author ddj 2026年10月20号 @returns Full disposal of entries, queue, timers and owned work. */
   async dispose(): Promise<void> {
     this.stopped = true
-    await Promise.all([...this.entries.values()].map((entry) => this.retire(entry)))
+    const closures = await Promise.allSettled([...this.entries.values()].map((entry) => this.retire(entry)))
     await Promise.all([...this.jobs])
+    const failure = closures.find((closure) => closure.status === 'rejected')
+    if (failure?.status === 'rejected') throw failure.reason
   }
 }

package/src/mcpRuntime.ts

@@ -265,8 +265,17 @@ export class McpRuntime {
     instance ??= this.reserve(agent, record, path, name, def)
     await waitMcp(instance.ready, signal)
     if (!this.valid(agent, record, name, instance)) throw new Error('项目 MCP 配置已失效')
-    const visible = agent.ctx.get('tools')?.view?.(agent)?.visible
-    const tools = [...instance.lease.entry.bridge!.tools.values()].filter((tool) => visible?.has(tool.name))
+    const registry = agent.ctx.get('tools')
+    // Discovery is not step admission; the official executor still owns execution permission.
+    let visible: ReadonlySet<string>
+    if (typeof registry?.definitions === 'function') {
+      visible = new Set(registry.definitions(agent).map((tool: { name: string }) => tool.name))
+    } else if (typeof registry?.view === 'function') {
+      visible = new Set(registry.view(agent).visible.keys())
+    } else {
+      throw new Error('项目 MCP 工具目录不可用：缺少公开 definitions 或旧版 view 接口')
+    }
+    const tools = [...instance.lease.entry.bridge!.tools.values()].filter((tool) => visible.has(tool.name))
       .map((tool) => ({ name: tool.name, description: tool.description, parameters: tool.parameters }))
     return { serverName: name, tools, resources: instance.lease.entry.bridge!.resources.has(name), nextRequest: 'Use these tools in the next model request; PTC must start a new program to refresh its SDK.' }
   }