weflow-cli 1.16.0 → 1.19.0

package/src/services/assistantService.ts

@@ -69,6 +69,20 @@ export interface TurnInput {
   message?: WechatInboundMessage
 }
 
+/**
+ * 来信里**已落盘**的图片文件（`wechatMediaDownload` 的下载侧产物，D-128）。
+ * 只收图片：语音/视频/文件的消费各自是新的出境决策，不搭车。没开下载或下载失败
+ * （`filePath` 为空）时这里为空——那种图片消息照旧整条忽略，行为不变。
+ */
+function inboundImageFiles(msg?: WechatInboundMessage): Array<{ filePath: string }> {
+  if (!msg?.components?.length) return []
+  const out: Array<{ filePath: string }> = []
+  for (const c of msg.components) {
+    if (c.type === 'image' && c.filePath) out.push({ filePath: c.filePath })
+  }
+  return out
+}
+
 /**
  * 一轮的结果。**"回什么"与"往哪回"分开**：这里只说回什么，往哪回由调用方的 `deliver` 决定。
  *
@@ -392,6 +406,11 @@ export class AssistantService {
    * 消息是串行处理的（queue），所以实例字段在这里是安全的。
    */
   private turnCalls = new Set<string>()
+  /**
+   * 本轮**来信自带**的图片文件（D-128）。消息串行处理，实例字段安全（同 `turnCalls`）。
+   * `runToolCall` 建 ctx 时带上，`look_at_image` 的 `#信N` 句柄从这里取。
+   */
+  private turnInboundImages: Array<{ filePath: string }> = []
 
   /** 白名单为空时，把"该把谁加进去"连同**完整**的发送者 ID 打一行。
    *
@@ -485,6 +504,7 @@ export class AssistantService {
     }
     this.turnCalls.add(callKey)
     const ctx: ToolContext = { userId, memory: this.memory }
+    if (this.turnInboundImages.length) ctx.inboundImages = this.turnInboundImages
     const raw = await executeTool(name, args, ctx)
     trace.toolCalls += 1
     trace.steps.push({
@@ -576,22 +596,37 @@ export class AssistantService {
    * **外部只许经由 `enqueueTurn` 调用**（它保证串行）；直接调会被 `inFlight` 挡下——
    * 见那个字段的注释。
    */
-  async handleMessage(userId: string, text: string, kind: string): Promise<string> {
+  async handleMessage(userId: string, text: string, kind: string,
+                      inboundImages: Array<{ filePath: string }> = []): Promise<string> {
     if (this.inFlight) {
       throw new Error('handleMessage 重入：它依赖串行调用（记忆窗口、turnCalls 都是实例字段）')
     }
     this.inFlight = true
     try {
-      return await this.handleMessageInner(userId, text, kind)
+      return await this.handleMessageInner(userId, text, kind, inboundImages)
     } finally {
       this.inFlight = false
     }
   }
 
-  private async handleMessageInner(userId: string, text: string, kind: string): Promise<string> {
-    if (kind !== 'text') return '目前只支持文字消息哦'
+  private async handleMessageInner(userId: string, text: string, kind: string,
+                                   inboundImages: Array<{ filePath: string }> = []): Promise<string> {
+    // kind==='image' 只有在**带着已落盘图片**时才是 D-128 那条新路；裸的图片消息
+    // （runTurn 已经过滤掉的那种）走到这里仍按老规矩拒绝。
+    if (kind !== 'text' && !(kind === 'image' && inboundImages.length)) {
+      return '目前只支持文字消息哦'
+    }
 
-    const t = text.trim()
+    let t = text.trim()
+    // 每轮重置（空数组也覆盖）：上一轮的图片不能漏到这一轮的句柄空间里。
+    this.turnInboundImages = inboundImages
+    // 来信图片的句柄指路牌：**能看才摆**（strict 且非本地推理不摆——与 get_messages 的
+    // `#N` 同一规则，不摆出一个工具必定会拒绝的东西）。文件本身挂在工具 ctx 上，
+    // 这里只告诉模型"有图、看的话用哪个句柄"。
+    if (inboundImages.length && (privacyGate.mode() !== 'strict' || privacyGate.isLocalInference())) {
+      const handles = inboundImages.map((_f, i) => `#信${i + 1}`).join('、')
+      t += `（这张来信带 ${inboundImages.length} 张图片：${handles}。要看就用 look_at_image，不看也可以直接聊。）`
+    }
     const startedAt = Date.now()
     this.turnCalls.clear()
     // 一轮的轨迹：判断了什么、调了什么、几轮、为什么停。**内置指令也要记**——
@@ -786,7 +821,12 @@ export class AssistantService {
    */
   private async runTurn(input: TurnInput, onLog?: (line: string) => void): Promise<TurnOutcome> {
     if (!this.running) return { status: 'not-running' }
-    const { sessionId, text, kind, origin } = input
+    const { sessionId, kind, origin } = input
+    // D-128：带**已落盘**图片的来信从"整条忽略"变成一轮（文本占位）；没落盘的
+    // （没开下载 / 下载失败）照旧忽略——文件不在，句柄无从谈起。
+    const inboundImages = inboundImageFiles(input.message)
+    const imageAsTurn = kind === 'image' && inboundImages.length > 0
+    const text = imageAsTurn ? (input.text.trim() || '（发来一张图片）') : input.text
 
     if (origin === 'wechat') {
       const msg = input.message!
@@ -797,7 +837,7 @@ export class AssistantService {
         this.maybeAnnounceWhitelistBootstrap(access, msg, onLog)
         return { status: 'denied', reason: access.reason }
       }
-      if (kind !== 'text') {
+      if (kind !== 'text' && !imageAsTurn) {
         onLog?.(`  → 忽略非文本消息 (${kind})`)
         return { status: 'ignored', reason: 'non-text' }
       }
@@ -815,7 +855,7 @@ export class AssistantService {
     }
 
     try {
-      const reply = await this.handleMessage(sessionId, text, kind)
+      const reply = await this.handleMessage(sessionId, text, kind, inboundImages)
       this.dailyCount++
       // **这里不报"已回复"**：回没回得出去是投递方才知道的事（微信的 sendText 会失败）。
       // 两处都报的话，微信那条路会在日志里出现两遍"已回复"，看着像处理了两条消息。

package/src/services/assistantTools.ts

@@ -306,6 +306,12 @@ export interface ToolContext {
    * 附到对话里（见 `assistantService.toApiMessages`）。
    */
   pendingImages?: AttachedImage[]
+  /**
+   * 本轮**来信自带**的图片（Bot 通道按 `wechatMediaDownload` 落盘解密过的文件，D-128）。
+   * `look_at_image` 的 `#信N` 句柄指向这里：文件已在本机，不走 `read_image.py`。
+   * 与 `pendingImages` 的分工：那是"模型这一轮已经看过的"，这是"来信里还没看的"。
+   */
+  inboundImages?: Array<{ filePath: string }>
   /**
    * 调用方是**外部机器**（MCP 那条路）时置 true。
    *
@@ -328,6 +334,28 @@ export interface AttachedImage {
 /** 一轮对话里最多看几张图。每次调用一张，这是上限——图片按体积算钱，也按体积算隐私。 */
 const MAX_IMAGES_PER_TURN = 2
 
+/**
+ * 来信图片的大小上限（D-128）。超了就明说"太大"，**不缩放**：入站文件是证据形态，
+ * 缩了再给模型看，模型说的就不是那张图（导出路径缩放是因为那是给人看的页面）。
+ */
+const MAX_INBOUND_IMAGE_BYTES = 4 * 1024 * 1024
+
+/** 从文件头魔数判图片类型，不信任文件名——来信文件的名字来自服务端报文。 */
+function sniffImageMime(buf: Buffer): string | null {
+  if (buf.length >= 8 && buf[0] === 0x89 && buf[1] === 0x50 && buf[2] === 0x4e && buf[3] === 0x47) {
+    return 'image/png'
+  }
+  if (buf.length >= 3 && buf[0] === 0xff && buf[1] === 0xd8 && buf[2] === 0xff) {
+    return 'image/jpeg'
+  }
+  if (buf.length >= 12
+    && buf.subarray(0, 4).toString('latin1') === 'RIFF'
+    && buf.subarray(8, 12).toString('latin1') === 'WEBP') {
+    return 'image/webp'
+  }
+  return null
+}
+
 function fmtTime(ts: number): string {
   const n = Number(ts)
   const d = n > 1e12 ? new Date(n) : new Date(n * 1000)
@@ -738,16 +766,17 @@ export const TOOL_DEFS: ToolDef[] = [
     type: 'function',
     function: {
       name: 'look_at_image',
-      description: '看聊天里的一张图片（把图片本身交给模型看，不只是"这里有一张图"）。'
-        + '`image` 填 get_messages 输出里 `[图片 #1234]` 的编号。'
-        + '一轮最多看两张；隐私模式为 strict 时不可用（聊天图片不出发本机）。',
+      description: '看一张图片（把图片本身交给模型看，不只是"这里有一张图"）。'
+        + '看聊天记录里的图：`image` 填 get_messages 输出里 `[图片 #1234]` 的编号，`contact` 给会话。'
+        + '看**本轮来信自带**的图：`image` 填 `#信1`（只有来信带图时才会出现这个句柄），不用 contact。'
+        + '一轮最多看两张；隐私模式为 strict 时不可用（图片不出发本机）。',
       parameters: {
         type: 'object',
         properties: {
-          contact: { type: 'string', description: '这张图所在会话的联系人显示名' },
-          image: { type: 'string', description: 'get_messages 里 [图片 #N] 的编号 N' },
+          contact: { type: 'string', description: '聊天记录那条路：这张图所在会话的联系人显示名（#信N 不需要）' },
+          image: { type: 'string', description: '[图片 #N] 的编号 N，或来信图片的 #信N' },
         },
-        required: ['contact', 'image'],
+        required: ['image'],
       },
     },
   },
@@ -1471,20 +1500,54 @@ export async function executeTool(name: string, args: Record<string, any>, ctx:
         // 句柄在 get_messages 里长这样：`[图片 #1234]`。允许带不带 `#` 都接受——模型从
         // 上下文里抄一个编号过来，"抄得像不像"不该决定它能不能看图。
         const image = String(args.image ?? '').replace(/^#/, '').trim()
-        if (!contact || !image) return '(缺少 contact 或 image 参数)'
-        if (!/^\d+$/.test(image)) {
-          return `(image 要填 get_messages 里 [图片 #N] 的编号，收到的是「${image.slice(0, 20)}」)`
+        if (!image) return '(缺少 image 参数)'
+        // 来信自带的图（D-128）：句柄 `信N`，与聊天记录的 `#N` 是两个空间。静态校验
+        // 先于隐私门——参数错就是参数错，与档位无关。
+        const inbound = /^信(\d+)$/.exec(image)
+        if (!inbound) {
+          if (!contact) return '(缺少 contact 参数：看聊天记录里的图要说明在哪个会话)'
+          if (!/^\d+$/.test(image)) {
+            return `(image 要填 get_messages 里 [图片 #N] 的编号或来信的 #信N，收到的是「${image.slice(0, 20)}」)`
+          }
         }
         // 第一层门：strict 模式（第三方聊天正文不出境）下图片也不出去。第二层在
         // `toApiMessages` 里——"工具肯给"与"这道门肯放"是两件事。
         if (privacyGate.mode() === 'strict' && !privacyGate.isLocalInference()) {
-          return '(当前隐私模式是 strict：聊天图片不发出本机，用不了这个工具。'
+          return '(当前隐私模式是 strict：图片不发出本机，用不了这个工具。'
             + '要让我看图，得把 assistantPrivacy 改成 balanced)'
         }
         const budget = ctx.pendingImages ?? []
         if (budget.length >= MAX_IMAGES_PER_TURN) {
           return `(这一轮已经看过 ${MAX_IMAGES_PER_TURN} 张图了，先把已经看到的说完，别再取)`
         }
+
+        // ---- 来信自带的图：文件已在本机（wechatMediaDownload 落盘解密过），
+        // 不走 read_image.py。
+        if (inbound) {
+          const files = ctx.inboundImages ?? []
+          const n = Number(inbound[1])
+          const ref = files[n - 1]
+          if (!ref) {
+            return `(本轮来信没有 #信${n} 这张图${files.length ? `（只有 #信1 到 #信${files.length}）` : '：来信没带可看的图片文件'})`
+          }
+          let buf: Buffer
+          try {
+            buf = readFileSync(ref.filePath)
+          } catch {
+            return `(读不到 #信${n} 的图片文件：落盘文件已不在（可能被清理过）)`
+          }
+          if (buf.length > MAX_INBOUND_IMAGE_BYTES) {
+            // 不缩放（D-128）：入站文件是证据形态，缩了再给模型看，模型说的就不是那张图。
+            return `(这张来信图片 ${(buf.length / 1048576).toFixed(1)} MB，超过 ${MAX_INBOUND_IMAGE_BYTES / 1048576} MB 上限，没有附上)`
+          }
+          const mime = sniffImageMime(buf)
+          if (!mime) {
+            return `(#信${n} 的文件头不是 png/jpeg/webp，附上也没有意义)`
+          }
+          ;(ctx.pendingImages ??= []).push({ b64: buf.toString('base64'), mime })
+          return `(已附上来信图片 #信${n}（${buf.length} 字节）。你能看到它了，直接据此回答。)`
+        }
+
         const talker = await resolveTalker(contact)
         // 90 秒。建媒体索引是这条路唯一的成本，且随会话大小走：实测单聊 ~1 秒、
         // 一个 3 万条消息的大群 18.9 秒（而那个群本机只有缩略图）。取到的图会落在

package/src/services/configService.ts

@@ -121,7 +121,7 @@ const CONFIG_DIR = join(homedir(), '.weflow-cli')
 const CONFIG_FILE = join(CONFIG_DIR, 'config.json')
 
 export class ConfigService {
-  private config: CliConfig = { dbPath: '', wxid: '', decryptKey: '', decryptKey3x: '', dataVersion: '', dbPath3x: '', ntDbPath: '', ntKey: '', ntSalt: '', contactDbPath: '', contactKey: '', contactSalt: '', wechatOcToken: '', wechatOcAccountId: '', wechatOcBaseUrl: '', wechatOcSyncBuf: '', wechatOcContextTokens: '', wechatMediaDownload: 'false', whitelist: [], blacklist: [], whitelistEntries: [], blacklistEntries: [], vaultRepo: '', aiEngine: 'deepseek', wereadApiKey: '', deepseekApiKey: '', typesafeApiKey: '', dashscopeApiKey: '', judgeProvider: 'native', openrouterApiKey: '', openrouterJudgeModel: '', judgeLocalUrl: '', snsDbPath: '', snsKey: '', snsSalt: '', favDbPath: '', favKey: '', favPassphrase: '', emoticonSeed: '', assistantPrivacy: 'strict', localModel: '', aiBaseUrl: '', aiModel: '', assistantWhitelist: '', assistantGroupWhitelist: '', assistantGroupRequireMention: 'true', assistantFastRoute: 'off', assistantPanelUser: '', quickReplyContacts: '', skillDirs: '', skillDisabled: '', dailySources: '', dailySourceCategories: '', dailyExcludeTopics: '', dailyAiEnabled: 'true' }
+  private config: CliConfig = { dbPath: '', wxid: '', decryptKey: '', decryptKey3x: '', dataVersion: '', dbPath3x: '', ntDbPath: '', ntKey: '', ntSalt: '', contactDbPath: '', contactKey: '', contactSalt: '', wechatOcToken: '', wechatOcAccountId: '', wechatOcBaseUrl: '', wechatOcSyncBuf: '', wechatOcContextTokens: '', wechatMediaDownload: 'false', whitelist: [], blacklist: [], whitelistEntries: [], blacklistEntries: [], vaultRepo: '', aiEngine: 'deepseek', wereadApiKey: '', deepseekApiKey: '', typesafeApiKey: '', dashscopeApiKey: '', judgeProvider: 'native', openrouterApiKey: '', openrouterJudgeModel: '', judgeLocalUrl: '', snsDbPath: '', snsKey: '', snsSalt: '', favDbPath: '', favKey: '', favPassphrase: '', emoticonSeed: '', assistantPrivacy: 'strict', localModel: '', aiBaseUrl: '', aiModel: '', assistantWhitelist: '', assistantGroupWhitelist: '', assistantGroupRequireMention: 'true', assistantFastRoute: 'off', assistantPanelUser: '', quickReplyContacts: '', skillDirs: '', skillDisabled: '', dailySources: '', dailySourceCategories: '', dailyExcludeTopics: '', dailyAiEnabled: 'true', dailyMailTo: '' }
 
   /** 本进程修改过、待回写的字段 (多进程并发写保护) */
   private dirty = new Set<keyof CliConfig>()
@@ -199,6 +199,7 @@ export class ConfigService {
           dailySourceCategories: data.dailySourceCategories || '',
           dailyExcludeTopics: data.dailyExcludeTopics || '',
           dailyAiEnabled: data.dailyAiEnabled === 'false' ? 'false' : 'true',
+          dailyMailTo: data.dailyMailTo || '',
         }
       }
     } catch (e) {
@@ -383,7 +384,7 @@ export class ConfigService {
   }
 
   clear(): void {
-    this.config = { dbPath: '', wxid: '', decryptKey: '', decryptKey3x: '', dataVersion: '', dbPath3x: '', ntDbPath: '', ntKey: '', ntSalt: '', contactDbPath: '', contactKey: '', contactSalt: '', wechatOcToken: '', wechatOcAccountId: '', wechatOcBaseUrl: '', wechatOcSyncBuf: '', wechatOcContextTokens: '', wechatMediaDownload: 'false', whitelist: [], blacklist: [], whitelistEntries: [], blacklistEntries: [], vaultRepo: '', aiEngine: 'deepseek', wereadApiKey: '', deepseekApiKey: '', typesafeApiKey: '', dashscopeApiKey: '', judgeProvider: 'native', openrouterApiKey: '', openrouterJudgeModel: '', judgeLocalUrl: '', snsDbPath: '', snsKey: '', snsSalt: '', favDbPath: '', favKey: '', favPassphrase: '', emoticonSeed: '', assistantPrivacy: 'strict', localModel: '', aiBaseUrl: '', aiModel: '', assistantWhitelist: '', assistantGroupWhitelist: '', assistantGroupRequireMention: 'true', assistantFastRoute: 'off', assistantPanelUser: '', quickReplyContacts: '', skillDirs: '', skillDisabled: '', dailySources: '', dailySourceCategories: '', dailyExcludeTopics: '', dailyAiEnabled: 'true' }
+    this.config = { dbPath: '', wxid: '', decryptKey: '', decryptKey3x: '', dataVersion: '', dbPath3x: '', ntDbPath: '', ntKey: '', ntSalt: '', contactDbPath: '', contactKey: '', contactSalt: '', wechatOcToken: '', wechatOcAccountId: '', wechatOcBaseUrl: '', wechatOcSyncBuf: '', wechatOcContextTokens: '', wechatMediaDownload: 'false', whitelist: [], blacklist: [], whitelistEntries: [], blacklistEntries: [], vaultRepo: '', aiEngine: 'deepseek', wereadApiKey: '', deepseekApiKey: '', typesafeApiKey: '', dashscopeApiKey: '', judgeProvider: 'native', openrouterApiKey: '', openrouterJudgeModel: '', judgeLocalUrl: '', snsDbPath: '', snsKey: '', snsSalt: '', favDbPath: '', favKey: '', favPassphrase: '', emoticonSeed: '', assistantPrivacy: 'strict', localModel: '', aiBaseUrl: '', aiModel: '', assistantWhitelist: '', assistantGroupWhitelist: '', assistantGroupRequireMention: 'true', assistantFastRoute: 'off', assistantPanelUser: '', quickReplyContacts: '', skillDirs: '', skillDisabled: '', dailySources: '', dailySourceCategories: '', dailyExcludeTopics: '', dailyAiEnabled: 'true', dailyMailTo: '' }
     // clear 意图是全量重置: 所有字段标记为脏, 覆盖磁盘上的全部旧值
     this.dirty = new Set(Object.keys(this.config) as (keyof CliConfig)[])
     this.save()

package/src/services/cursorProbe.ts

@@ -0,0 +1,222 @@
+/**
+ * 稳定增量游标的"路径可见"层（D-027）。
+ *
+ * `capabilities --json` 的 `stableCursor: false` 一直是一句结论；这里把它背后的
+ * 判据拆开，逐条给出当前状态与差在哪，让下游（she-love-me、MCP 客户端）能看见
+ * false → true 要满足什么，而不是等它某天悄悄变 true。
+ *
+ * 两类事实，来源不同、都必须如实标注：
+ *  - **代码事实**（静态）：每个后端有没有时间窗下推、有没有覆盖报告、合并顺序键是什么。
+ *    这些写在下面的表里，改读取器时要同步改。
+ *  - **数据事实**（实测）：NT 库里每张消息表有没有锚点列、采样的行带不带非零
+ *    `server_id`。这些只有开库才知道，由 `sync cursor-probe` 现场 probing，采样
+ *    有界且结果里写明 `exhaustive: false`。
+ */
+import { existsSync } from 'fs'
+import { join } from 'path'
+import { configService } from './configService.js'
+import { NtCore } from '../core/ntCore.js'
+import type { NtCursorProbeResult, NtCursorProbeShard, NtCursorProbeSample } from '../core/ntCore.js'
+
+export type MessageBackend = 'nt' | 'raw-sqlite-4x' | 'wcdb-4x' | 'legacy-3x'
+
+export interface CursorCriterion {
+  id: string
+  /** 这条判据满足没有：true/false 是已核实的结论，null 是"当前无法判定" */
+  met: boolean | null
+  detail: string
+}
+
+export interface CursorProbeReport {
+  success: boolean
+  schema: 'weflow-cursor-probe/v1'
+  /** 结论不动：探针是让路径可见，不是替 D-027 翻案 */
+  stableCursor: false
+  backend: MessageBackend | null
+  backendNote: string
+  /** 数据事实那一半跑了没有（未初始化 / 非 NT 后端 = false） */
+  probedLive: boolean
+  criteria: CursorCriterion[]
+  /** NT 实测明细；probedLive=false 时为 undefined */
+  shards?: NtCursorProbeShard[]
+  sample?: NtCursorProbeSample
+  error?: string
+}
+
+/**
+ * 静态判断"这台机器会走哪条消息后端"。**镜像 `chatService.connect4x` 的尝试顺序**
+ * （先已解密 MSG0，再 NT，最后 WCDB），但只看配置与文件存在性、不开库——真正的
+ * 开库判定在 connect 里，而探测命令不该为了报一个名字去连数据库。
+ */
+export function likelyMessageBackend(): { backend: MessageBackend | null; note: string } {
+  const version = configService.get('dataVersion')
+  const dbPath = configService.get('dbPath')
+  const wxid = configService.get('wxid')
+  const dbPath3x = configService.get('dbPath3x')
+  const key3x = configService.get('decryptKey3x')
+  const ntDbPath = configService.get('ntDbPath')
+  const ntKey = configService.get('ntKey')
+  const ntSalt = configService.get('ntSalt')
+
+  if (version === '3.x' || (!version && dbPath3x && key3x)) {
+    return { backend: 'legacy-3x', note: '按 3.x 配置判定（sqlcipher + MSG 库）' }
+  }
+  if (version !== '4.x' && !dbPath && !(ntDbPath && ntKey && ntSalt)) {
+    return { backend: null, note: '未初始化：没有可判定的消息后端（先运行 weflow-cli init）' }
+  }
+  if (dbPath && wxid && existsSync(join(dbPath, wxid, 'Msg', 'Multi', 'MSG0_decrypted.db'))) {
+    return { backend: 'raw-sqlite-4x', note: '发现已解密的 MSG0_decrypted.db（connect4x 的第一优先）' }
+  }
+  if (ntDbPath && ntKey && ntSalt && existsSync(ntDbPath)) {
+    return { backend: 'nt', note: 'NT 配置完整（db_storage/message 分片）' }
+  }
+  if (dbPath) {
+    return { backend: 'wcdb-4x', note: '无解密 MSG0、无 NT 配置，connect4x 的最后兜底是 WCDB API' }
+  }
+  return { backend: null, note: '4.x 配置不完整：既无 dbPath 也无 NT 三件套' }
+}
+
+/** 各后端的**代码事实**。改读取器（下推 / 报告 / 顺序键）时同步改这张表。 */
+export const BACKEND_CAPS: Record<MessageBackend, {
+  identity: string
+  windowPushdown: boolean
+  coverageReport: boolean
+  liveProbe: boolean
+}> = {
+  'nt': {
+    identity: 'server_id（缺失时退化为 localId+createTime，后者不跨分片）',
+    windowPushdown: true,   // D-030: --from/--to 推进 SQL
+    coverageReport: true,   // 分片报告（connect_message_shards_detailed）
+    liveProbe: true,
+  },
+  'raw-sqlite-4x': {
+    identity: 'MsgSvrID 列被读取，但覆盖率从未实测',
+    windowPushdown: false,
+    coverageReport: false,
+    liveProbe: false,
+  },
+  'wcdb-4x': {
+    identity: 'server_id 随原生 API 返回，未实测；另有按时间的原生游标未接入 chatService',
+    windowPushdown: false,
+    coverageReport: false,
+    liveProbe: false,
+  },
+  'legacy-3x': {
+    identity: 'MsgSvrID 列被读取，但覆盖率从未实测',
+    windowPushdown: false,
+    coverageReport: false,
+    liveProbe: false,
+  },
+}
+
+export async function probeCursorReadiness(opts: {
+  tablesPerShard?: number
+  rowsPerTable?: number
+} = {}): Promise<CursorProbeReport> {
+  const { backend, note } = likelyMessageBackend()
+
+  const criteria: CursorCriterion[] = []
+  let live: NtCursorProbeResult | null = null
+  let shards: NtCursorProbeShard[] | undefined
+  let sample: NtCursorProbeSample | undefined
+
+  if (backend === 'nt') {
+    const ntDbPath = configService.get('ntDbPath')!
+    const ntKey = configService.get('ntKey')!
+    const ntSalt = configService.get('ntSalt')!
+    live = await new NtCore(ntDbPath, ntKey, ntSalt).cursorProbe(opts)
+    if (live.success) {
+      shards = live.shards
+      sample = live.sample
+    }
+  }
+
+  const caps = backend ? BACKEND_CAPS[backend] : null
+
+  // 1. stable-identity
+  if (backend === null) {
+    criteria.push({
+      id: 'stable-identity',
+      met: null,
+      detail: '没有可判定的后端',
+    })
+  } else if (backend === 'nt') {
+    if (!live?.success || !sample) {
+      criteria.push({
+        id: 'stable-identity',
+        met: null,
+        detail: `NT 实测没有跑成：${live?.error ?? '无结果'}`,
+      })
+    } else {
+      const failed = (live.shards ?? []).filter(s => !s.opened)
+      const anchorBad = live.schemaAnchorMissingTables ?? 0
+      const parts: string[] = []
+      if (failed.length) parts.push(`${failed.length} 个分片没打开`)
+      if (anchorBad > 0) parts.push(`${anchorBad} 组消息表缺锚点列`)
+      if (sample.serverIdMissing > 0) parts.push(`采样 ${sample.rowsSampled} 行里 ${sample.serverIdMissing} 行没有非零 server_id（这些行的身份退化为按分片的 localId+createTime）`)
+      if (sample.duplicateServerIds > 0) parts.push(`采样里 ${sample.duplicateServerIds} 个 server_id 出现在多个位置`)
+      criteria.push({
+        id: 'stable-identity',
+        met: parts.length === 0,
+        detail: parts.length
+          ? parts.join('；')
+          : `采样 ${sample.rowsSampled} 行（${sample.tablesSampled}/${sample.tablesTotal} 张表）全部带非零 server_id 且无重复；schema 全量检查 ${anchorBad} 组缺列。注意 exhaustive=false，这是采样结论`,
+      })
+    }
+  } else {
+    criteria.push({
+      id: 'stable-identity',
+      met: null,
+      detail: `${backend}：${caps!.identity}；该后端没有实测探针`,
+    })
+  }
+
+  // 2. globally-comparable-order（代码事实，对所有后端同为 false）
+  criteria.push({
+    id: 'globally-comparable-order',
+    met: false,
+    detail: '读取器跨分片合并的顺序键是 (createTime, localId)，localId 是分片内编号、不可跨分片比较；换成 (createTime, serverId) 是稳定游标在读取器侧的前提',
+  })
+
+  // 3. window-pushdown
+  criteria.push({
+    id: 'window-pushdown',
+    met: caps ? caps.windowPushdown : null,
+    detail: caps
+      ? (caps.windowPushdown
+          ? `${backend}：--from/--to 已下推进 SQL（D-030）`
+          : `${backend}：没有时间窗下推，窗口过滤全靠调用方拉全量后自筛`)
+      : '没有可判定的后端',
+  })
+
+  // 4. coverage-report
+  criteria.push({
+    id: 'coverage-report',
+    met: caps ? caps.coverageReport : null,
+    detail: caps
+      ? (caps.coverageReport
+          ? `${backend}：每分片读取结果都带覆盖报告（complete/unverified/partial）`
+          : `${backend}：无法报告读取是否完整，sync 在它上面永远是 unverified`)
+      : '没有可判定的后端',
+  })
+
+  // 5. every-backend（D-027 的总门）
+  const others = (Object.keys(BACKEND_CAPS) as MessageBackend[]).filter(b => b !== backend)
+  criteria.push({
+    id: 'every-backend',
+    met: false,
+    detail: `D-027：稳定游标要所有消息后端同时满足上述判据。当前后端 ${backend ?? '（未配置）'}；其余后端（${others.join('、')}）各自缺下推与覆盖报告`,
+  })
+
+  return {
+    success: true,
+    schema: 'weflow-cursor-probe/v1',
+    stableCursor: false,
+    backend,
+    backendNote: note,
+    probedLive: !!(backend === 'nt' && live?.success),
+    criteria,
+    ...(shards ? { shards } : {}),
+    ...(sample ? { sample } : {}),
+  }
+}

package/src/services/diagnosticReport.ts

@@ -49,6 +49,12 @@ export interface DiagnosticInput {
     dataDirMatchesConfig?: boolean | null
     dataDirs?: string[]
     unusableVersionDirs?: Array<{ dir: string; files: number }>
+    /** D-130：本机加载版本 vs 本包验证版本（check 那边算好传进来） */
+    compatibility?: {
+      verifiedVersion: string
+      verifiedAt: string
+      verdict: 'verified' | 'newer-than-verified' | 'older-than-verified' | 'unknown'
+    }
   }
   /** 最近一次失败的原文（可选；`redactForReport` 会再过一遍） */
   lastError?: string | null
@@ -157,6 +163,14 @@ export function diagnose(input: DiagnosticInput): DiagnosticFinding[] {
         hint: '指向它的加载会失败。如果客户端起不来，先看这里；正常情况下可以忽略。',
       })
     }
+    if (client.compatibility?.verdict === 'newer-than-verified') {
+      out.push({
+        level: 'warning',
+        title: `本机微信（${client.version}）比本版本验证过的 ${client.compatibility.verifiedVersion} 更新`,
+        hint: '如果读不出数据，先怀疑版本变化——去 GitHub 看有没有更新版本的 weflow-cli，'
+          + '或把这份报告贴进 issue（版本差就是第一条线索）。',
+      })
+    }
   }
 
   if (!out.length) {
@@ -209,6 +223,14 @@ export function renderDiagnosticReport(input: DiagnosticInput): string {
   } else {
     say(`运行中: ${yesNo(client.running)}`)
     say(`加载版本: ${client.version || `未知${client.note ? `（${client.note}）` : ''}`}`)
+    if (client.compatibility) {
+      const v = client.compatibility.verdict
+      const word = v === 'verified' ? '就是验证过的版本'
+        : v === 'newer-than-verified' ? '比验证过的更新（读不出数据先怀疑这里）'
+        : v === 'older-than-verified' ? '比验证过的更旧（一般兼容）'
+        : '无法判定（微信没在运行或探测失败）'
+      say(`与本版本的关系: ${word}（本版本验证过 ${client.compatibility.verifiedVersion}，${client.compatibility.verifiedAt}）`)
+    }
     if (client.dataDirs?.length) say(`客户端自报数据目录: ${client.dataDirs.join('、')}`)
     say(`与配置推出来的同一份: ${yesNo(client.dataDirMatchesConfig)}`)
     if (client.unusableVersionDirs?.length) {