@kira905/dsh-memory-toolkit 0.0.0-stage → 0.1.1

package/dsh-memory-local/test/visible-injections.test.mjs

@@ -0,0 +1,239 @@
+/**
+ * FORK-EDIT(2026-10-09): 冲刺600 M1《注入去重修复》单测 —— `visibleInjections()` 取事件面兼容性。
+ *
+ * 背景：主包 0.1.5-rc.2 的 `Session` 已删 `get events()`（只剩 `eventAt(seq)` / `snapshotEvents()`），
+ * 老写法 `session.events[seq]` ⇒ `session.events` 恒 undefined ⇒ 该函数开头守卫直接 return {count:0}
+ * ⇒ `maxPerSession` / `surface-same-payload` 两道去重永不触发（每回合都注入）。
+ *
+ * 覆盖（本卡验收判据 ②）：
+ *   ① 新线：无 `session.events`、有 `eventAt` ⇒ 能数出注入过的 user 消息（count > 0 + lastText 正确）
+ *   ② 老线回落：有 `session.events`、无 `eventAt` ⇒ 行为与改动前一致
+ *   ③ 两者都不可用 ⇒ 安全返回 {count:0}（不抛错）
+ *   ④ 回归断言：0.1.5-rc.2 形态下**不再恒 0**（本卡核心）
+ *   ⑤ 真对照（可选，`M1_BEFORE_INJECTOR` 指向改动前快照）：改动前实现对同一老夹具逐字段一致、
+ *      对 0.1.5 形态恒 0（复现缺陷）—— 拿不到快照即 skip，不计失败。
+ *   ⑥ 主包真形态探针：直接 import `@deepseek-ai/dsh-session`，断言原型上有 `eventAt`、**没有** `events`
+ *      getter（即缺陷成因的机器证据）；import 不到即 skip。
+ *
+ * 家规：一切路径来自 `fs.mkdtempSync(os.tmpdir())`，**不写生产 / 不写任何 DSH home**。
+ * 跑法：node --test test/visible-injections.test.mjs
+ *      （含真对照）M1_BEFORE_INJECTOR=<回滚点>\before\src\injector.mjs node --test test/visible-injections.test.mjs
+ */
+import test from 'node:test';
+import assert from 'node:assert/strict';
+import fs from 'node:fs';
+import os from 'node:os';
+import path from 'node:path';
+import { pathToFileURL, fileURLToPath } from 'node:url';
+
+import { visibleInjections, SOURCE_KIND } from '../src/injector.mjs';
+import { EV } from '../src/host-adapter.js';
+
+const here = path.dirname(fileURLToPath(import.meta.url));
+const pkgRoot = path.join(here, '..');
+const BEFORE_INJECTOR = process.env.M1_BEFORE_INJECTOR ?? null;
+
+// ───────────────────────── 夹具（三种 session 形态） ─────────────────────────
+
+/** 一条"本插件注入过"的 user 消息事件（形态与插件注入一致）。 */
+function injectionEvent(text, ids = [], seq = 0) {
+  return {
+    seq,
+    type: EV.USER_MESSAGE,
+    data: { role: 'user', content: [{ type: 'text', text }], source: { kind: SOURCE_KIND, version: 1, items: ids } },
+  };
+}
+
+/** 一条"主人自己发"的 user 消息事件（无 source ⇒ 不该计入）。 */
+function humanEvent(text, seq = 0) {
+  return { seq, type: EV.USER_MESSAGE, data: { role: 'user', content: [{ type: 'text', text }] } };
+}
+
+/**
+ * 老线形态（≤ 0.1.4）：`session.events` 是事件数组、**没有** `eventAt`。
+ * 与既有夹具 `fixtures-s2b.mjs#fakeAgent` 同形（本文件不重复导出、也不改那份夹具）。
+ */
+function legacyAgent(events, nodes) {
+  const list = events ?? [];
+  return { id: 'legacy-session', session: { events: list, surface: { nodes: nodes ?? list.map((_, i) => i) } } };
+}
+
+/**
+ * 新线形态（0.1.5-rc.2）：`eventAt(seq)` 是**原型方法**（照主包实现 `eventAt(seq) { return this.log[seq] }`），
+ * 而 `session.events` **根本不存在**（类上不定义该 getter ⇒ `session.events === undefined`）。
+ */
+class ModernSession {
+  constructor(log, nodes) {
+    this._log = log ?? [];
+    this.surface = { nodes: nodes ?? this._log.map((_, i) => i) };
+  }
+  get id() { return 'modern-session'; }
+  get seq() { return this._log.length; }
+  eventAt(seq) { return this._log[seq]; }
+  snapshotEvents(fromSeq = 0, toSeqExclusive = this._log.length) { return this._log.slice(fromSeq, toSeqExclusive); }
+}
+function modernAgent(events, nodes) {
+  return { id: 'modern-agent', session: new ModernSession(events, nodes) };
+}
+
+/** 只读探针：记录某 agent 上「哪些取事件面被真读过」。 */
+function probeAgent(session) {
+  return { id: 'probe-agent', session };
+}
+
+const THREE = [
+  injectionEvent('旧指针 A', [1], 0),
+  injectionEvent('旧指针 B', [2], 1),
+  injectionEvent('旧指针 C', [3], 2),
+];
+
+const idsOf = (r) => [...r.ids].sort();
+
+// ───────────────────────── ① 新线（0.1.5 形态） ─────────────────────────
+
+test('新线/正例：无 session.events、有 eventAt ⇒ 数得出注入过的 user 消息', () => {
+  const agent = modernAgent(THREE.map((e) => ({ ...e })));
+  assert.equal(agent.session.events, undefined, '新线夹具必须没有 session.events（0.1.5 形态）');
+  assert.equal(typeof agent.session.eventAt, 'function', '新线夹具必须有 eventAt(seq)');
+
+  const r = visibleInjections(agent);
+  assert.equal(r.count, 3, '三条可见注入应全部数出');
+  assert.equal(r.lastText, '旧指针 C', 'lastText = 最后一条可见注入的正文');
+  assert.deepEqual(idsOf(r), ['1', '2', '3'], 'ids 汇总所有可见注入的 items');
+});
+
+test('新线/反例：主人自己的消息（无 source）与其它 kind 不计入', () => {
+  const log = [
+    injectionEvent('旧指针 A', [1], 0),
+    humanEvent('主人说话', 1),
+    { seq: 2, type: EV.USER_MESSAGE, data: { role: 'user', content: [{ type: 'text', text: '别的插件' }], source: { kind: 'other-plugin', version: 1, items: [9] } } },
+  ];
+  const r = visibleInjections(modernAgent(log));
+  assert.equal(r.count, 1);
+  assert.equal(r.lastText, '旧指针 A');
+  assert.deepEqual(idsOf(r), ['1'], '别的 kind 的 items 不得混入');
+});
+
+test('新线/反例：被压缩遮蔽（不在 surface.nodes 内）的注入不计入', () => {
+  const log = THREE.map((e) => ({ ...e }));
+  const r = visibleInjections(modernAgent(log, [2])); // 只有 seq=2 还在可见 surface
+  assert.equal(r.count, 1, '遮蔽的注入不计入可见数（可见性口径）');
+  assert.equal(r.lastText, '旧指针 C');
+});
+
+// ───────────────────────── ② 老线回落 ─────────────────────────
+
+test('老线/正例：有 session.events、无 eventAt ⇒ 照 old 面取事件，行为不变', () => {
+  const agent = legacyAgent(THREE.map((e) => ({ ...e })));
+  assert.equal(typeof agent.session.eventAt, 'undefined', '老线夹具不得有 eventAt');
+  const r = visibleInjections(agent);
+  assert.equal(r.count, 3);
+  assert.equal(r.lastText, '旧指针 C');
+  assert.deepEqual(idsOf(r), ['1', '2', '3']);
+});
+
+test('老线/反例：老面为空数组 ⇒ 照旧走 events 分支（不因 eventAt 缺失早退）', () => {
+  const r = visibleInjections(legacyAgent([]));
+  assert.equal(r.count, 0);
+  assert.equal(r.lastText, null);
+  assert.deepEqual(idsOf(r), []);
+});
+
+// ───────────────────────── ③ 两面都不可用 ─────────────────────────
+
+test('双缺/反例：既无 events 也无 eventAt ⇒ 安全返回 {count:0}（不抛错）', () => {
+  const bare = { id: 'bare', session: { surface: { nodes: [0, 1, 2] } } };
+  let r;
+  assert.doesNotThrow(() => { r = visibleInjections(bare); });
+  assert.equal(r.count, 0);
+  assert.equal(r.lastText, null);
+  assert.equal(r.ids.size, 0);
+});
+
+test('双缺/反例：session 缺失 / nodes 缺失 / agent 为 null ⇒ 一律 {count:0}，不抛错', () => {
+  for (const bad of [null, undefined, {}, { session: null }, { session: {} }, { session: { surface: null } }, { session: { surface: { nodes: 'not-an-array' } } }]) {
+    let r;
+    assert.doesNotThrow(() => { r = visibleInjections(bad); }, `输入 ${JSON.stringify(bad)} 不得抛错`);
+    assert.equal(r.count, 0);
+    assert.equal(r.lastText, null);
+    assert.equal(r.ids.size, 0);
+  }
+});
+
+// ───────────────────────── ④ 回归断言（本卡核心） ─────────────────────────
+
+test('回归/核心：0.1.5-rc.2 形态（events 缺失）下 visibleInjections 不再恒 0', () => {
+  const agent = modernAgent(THREE.map((e) => ({ ...e })));
+  const r = visibleInjections(agent);
+  assert.ok(r.count > 0, `必须 > 0（改动前恒 0）；实际 ${r.count}`);
+  assert.equal(r.count, 3);
+  assert.notEqual(r.lastText, null, 'lastText 必须取到（surface-same-payload 去重依赖它）');
+});
+
+test('回归/核心：可由可见数触顶 maxPerSession=3 ⇒ 去重链真的能生效（decide 层联动）', async () => {
+  // 直接断言「去重判据的输入」= 可见数 —— decide 层用它判 surface-visible-limit（见 injector.mjs:226-228）
+  const seen = visibleInjections(modernAgent(THREE.map((e) => ({ ...e }))));
+  assert.ok(seen.count >= 3, `maxPerSession=3 时该值应触顶；实际 ${seen.count}`);
+});
+
+// ───────────────────────── ⑤ 与改动前实现真对照 ─────────────────────────
+
+test('对照/老线零回归 + 新线复现-修复（需 M1_BEFORE_INJECTOR）', { skip: BEFORE_INJECTOR ? false : '未提供 M1_BEFORE_INJECTOR（改动前快照路径）' }, async () => {
+  assert.ok(fs.existsSync(BEFORE_INJECTOR), `快照不存在：${BEFORE_INJECTOR}`);
+  // 把整份 src 拷到临时目录，再把改动前的 injector.mjs 覆盖回去 —— 让它照旧解析 ./recall.mjs 等同目录依赖
+  const tmp = fs.mkdtempSync(path.join(os.tmpdir(), 'm1-before-'));
+  try {
+    fs.cpSync(path.join(pkgRoot, 'src'), path.join(tmp, 'src'), { recursive: true });
+    fs.copyFileSync(BEFORE_INJECTOR, path.join(tmp, 'src', 'injector.mjs'));
+    const oldMod = await import(pathToFileURL(path.join(tmp, 'src', 'injector.mjs')).href);
+
+    // (a) 老线：改动前 vs 改动后 —— 逐字段一致
+    const legacy = legacyAgent(THREE.map((e) => ({ ...e })));
+    const before = oldMod.visibleInjections(legacy);
+    const after = visibleInjections(legacy);
+    assert.deepEqual(
+      { count: after.count, lastText: after.lastText, ids: idsOf(after) },
+      { count: before.count, lastText: before.lastText, ids: idsOf(before) },
+      '老线回落必须与改动前逐字段一致',
+    );
+    assert.equal(after.count, 3);
+
+    // (b) 新线：改动前恒 0（复现缺陷）→ 改动后 3（修复）
+    const modernBefore = oldMod.visibleInjections(modernAgent(THREE.map((e) => ({ ...e }))));
+    const modernAfter = visibleInjections(modernAgent(THREE.map((e) => ({ ...e }))));
+    assert.equal(modernBefore.count, 0, '改动前实现必须在 0.1.5 形态下恒 0（缺陷复现）');
+    assert.equal(modernAfter.count, 3, '改动后必须数得出 3 条（缺陷修复）');
+    console.log(`[对照] 老线 before=${before.count} after=${after.count}｜新线 before=${modernBefore.count} after=${modernAfter.count}`);
+  } finally {
+    fs.rmSync(tmp, { recursive: true, force: true });
+  }
+});
+
+// ───────────────────────── ⑥ 主包真形态探针 ─────────────────────────
+
+test('主包探针：dsh-session 的 Session 原型有 eventAt、没有 events getter', { skip: process.env.M1_SKIP_MAINPKG_PROBE ? '显式跳过' : false }, async () => {
+  const candidates = [
+    process.env.M1_DSH_SESSION_ENTRY ?? null,
+  ].filter(Boolean);
+  const entry = candidates.find((p) => fs.existsSync(p));
+  if (!entry) {
+    console.log('[探针] 跳过：本机找不到 @deepseek-ai/dsh-session 入口（可用 M1_DSH_SESSION_ENTRY 指定）');
+    return;
+  }
+  let mod;
+  try {
+    mod = await import(pathToFileURL(entry).href);
+  } catch (e) {
+    console.log(`[探针] 跳过：import 失败（peer 依赖不在该位置可解析）—— ${String(e && e.message ? e.message : e).slice(0, 160)}`);
+    return;
+  }
+  const Session = mod.Session ?? mod.default?.Session ?? mod.default;
+  assert.ok(Session && typeof Session === 'function', '必须导出 Session 类');
+  assert.equal(typeof Session.prototype.eventAt, 'function', 'Session 原型必须有 eventAt(seq)');
+  const hasEventsGetter = Object.getOwnPropertyDescriptor(Session.prototype, 'events') !== undefined;
+  assert.equal(hasEventsGetter, false, 'Session 原型不得再有 events getter（0.1.5-rc.2 已删）');
+  // 顺带坐实 surface 仍是 { nodes } 形态的 getter
+  const surfaceDesc = Object.getOwnPropertyDescriptor(Session.prototype, 'surface');
+  assert.ok(surfaceDesc && typeof surfaceDesc.get === 'function', 'Session 原型必须有 get surface()');
+  console.log(`[探针] ${entry}  ⇒ eventAt=function / events=getter? ${hasEventsGetter}`);
+});

package/dsh-memory-local/verify-after-restart.mjs

@@ -0,0 +1,181 @@
+/**
+ * verify-after-restart.mjs —— 部署后自检（**只读**，独立进程，不重启任何东西）。
+ *
+ * 断言五件事（每件都给 PASS/FAIL + 细节，退出码 0/1）：
+ *   ① 实体面：目标 profile 的 `dsh-memory` 实体存在、带 `fork` 段、`lib/index.js` 的 sha
+ *      与本包 `lib/index.js`（构建产物）逐字节一致；
+ *   ② 源码↔产物：src/index.js 的 sha 与 lib/index.js 一致（即 lib 确实是当前源码的产物）、
+ *      且与 FORK-BASE.json 的上游基点 sha 对得上（版本与 sha 对齐）；
+ *   ③ 加载面：在**部署位置**跑 test/probe-entity.mjs —— 三工具 + memory:recall 段注册成功；
+ *   ④ 实例面（--port 给出时）：目标实例 HTTP 可达；
+ *   ⑤ 日志面（--log-file 给出时）：启动日志里没有崩溃特征与 patch 未命中告警。
+ *
+ * 用法：
+ *   node verify-after-restart.mjs --target <DSH_HOME> [--profile web] [--port 3090]
+ *                                 [--log-file <log>] [--expect fork|upstream] [--json]
+ * 退出码：0 = 全 PASS / 1 = 有 FAIL / 2 = 用法错误。
+ *
+ * 【卡 S14 · 2026-10-08 · token 门判活遗留同批修】④ 实例面判活改走**单一真源**
+ *   `lib/guard-http.mjs#judgeHttp`（2xx/3xx/401/403 = 活；其它 4xx/5xx/无应答 = 不活）。
+ *   旧判据 `reachable = res.status === 200` 在 0.1.5 的 cookie token 门下，会把**活着的实例**
+ *   误报成"不可达"（本机实测 2026-10-08：`GET http://localhost:3080/` → 401 · 68 字节纯文本）。
+ *   接法 = 绝对 `file:///`（全仓只此一份码表；真源被移走/改名时本文件 import 阶段硬失败，不静默降级）。
+ */
+import fs from 'node:fs'
+import os from 'node:os'
+import path from 'node:path'
+import crypto from 'node:crypto'
+import { spawnSync } from 'node:child_process'
+import { fileURLToPath } from 'node:url'
+import { parseArgs, describeUnknown, EXIT } from '../lib/deploy-guard.mjs'
+// 【卡 S14】HTTP 存活判据单一真源（H1 · 2026-09-22）：2xx/3xx/401/403 = 活。
+import { judgeHttp } from '../lib/guard-http.mjs'
+
+const KNOWN_ARGS = [
+  '--json',
+  { flag: '--target', takesValue: true },
+  { flag: '--profile', takesValue: true, alias: '--p' },
+  { flag: '--port', takesValue: true },
+  { flag: '--log-file', takesValue: true },
+  { flag: '--expect', takesValue: true },
+]
+const pa = parseArgs(process.argv.slice(2), KNOWN_ARGS)
+if (!pa.ok) {
+  console.error(`[verify] ${describeUnknown(pa.unknown, KNOWN_ARGS)}`)
+  process.exit(EXIT.USAGE)
+}
+const rawTarget = pa.values['--target']
+if (!rawTarget) {
+  console.error('[verify] 缺少 --target <DSH_HOME>')
+  process.exit(EXIT.USAGE)
+}
+const home = path.resolve(rawTarget)
+const profileName = pa.values['--profile'] ?? 'web'
+const expect = pa.values['--expect'] ?? 'fork'
+const asJson = !!pa.flags['--json']
+// 本脚本就住在包根（与 build.mjs / deploy.mjs 同级）——`here` 即包根。
+const here = path.dirname(fileURLToPath(import.meta.url))
+const pkgRoot = here
+
+const sha256 = (buf) => crypto.createHash('sha256').update(buf).digest('hex')
+const fileSha = (f) => (fs.existsSync(f) ? sha256(fs.readFileSync(f)) : null)
+const checks = []
+const check = (id, name, ok, detail = '') => {
+  checks.push({ id, name, ok: Boolean(ok), detail: String(detail) })
+  return Boolean(ok)
+}
+
+// ① 实体面 -------------------------------------------------------------------
+const target = path.join(home, 'profiles', profileName, 'node_modules', 'dsh-memory')
+const entityPkgFile = path.join(target, 'package.json')
+const entityEntry = path.join(target, 'lib', 'index.js')
+const localLib = path.join(pkgRoot, 'lib', 'index.js')
+const entityExists = fs.existsSync(target)
+check('entity.exists', '实体目录存在', entityExists, target)
+const entityPkg = entityExists && fs.existsSync(entityPkgFile) ? JSON.parse(fs.readFileSync(entityPkgFile, 'utf8')) : null
+const entitySha = fileSha(entityEntry)
+const localSha = fileSha(localLib)
+if (expect === 'fork') {
+  check('entity.forkSection', '实体 package.json 带 `fork` 段（确认是 fork 版而非上游）',
+    Boolean(entityPkg?.fork), JSON.stringify(entityPkg?.fork?.name ?? null))
+  check('entity.sha', '实体 lib/index.js == 本包构建产物（逐字节）',
+    Boolean(entitySha && localSha && entitySha === localSha), `entity=${entitySha?.slice(0, 16)} local=${localSha?.slice(0, 16)}`)
+  check('entity.slot', '实体占用上游槽位名（bundle/patch/package-map 按 dsh-memory 解析）',
+    entityPkg?.name === 'dsh-memory', String(entityPkg?.name))
+} else {
+  check('entity.upstream', '实体是未替换的上游包（无 fork 段）', !entityPkg?.fork, String(entityPkg?.name))
+}
+
+// ② 源码 ↔ 产物 ↔ 基点 --------------------------------------------------------
+const srcSha = fileSha(path.join(pkgRoot, 'src', 'index.js'))
+const buildInfoFile = path.join(pkgRoot, 'lib', '.build-info.json')
+const buildInfo = fs.existsSync(buildInfoFile) ? JSON.parse(fs.readFileSync(buildInfoFile, 'utf8')) : null
+const forkBase = fs.existsSync(path.join(pkgRoot, 'FORK-BASE.json'))
+  ? JSON.parse(fs.readFileSync(path.join(pkgRoot, 'FORK-BASE.json'), 'utf8')) : null
+check('src.lib', 'lib 产物 == src 源码（构建新鲜）', Boolean(srcSha && localSha && srcSha === localSha),
+  `src=${srcSha?.slice(0, 16)} lib=${localSha?.slice(0, 16)}`)
+check('src.buildInfo', 'lib/.build-info.json 记录的产物 sha 与实际一致',
+  buildInfo?.artifacts?.find((a) => a.file === 'lib/index.js')?.sha256 === localSha,
+  buildInfo?.artifacts?.find((a) => a.file === 'lib/index.js')?.sha256?.slice(0, 16) ?? 'missing')
+check('base.sha', 'FORK-BASE.json 的上游基点 sha 与 FORK NOTICE 一致',
+  Boolean(forkBase?.source?.sha256) && fs.readFileSync(path.join(pkgRoot, 'src', 'index.js'), 'utf8').includes(forkBase.source.sha256),
+  forkBase?.source?.sha256?.slice(0, 16) ?? 'missing')
+// 「部署态版本与基点对齐」只在期望 fork 时有意义（上游原物本来就没有 fork 段）
+if (expect === 'fork') {
+  check('version.align', '部署态版本与基点版本对齐（package.json fork.base）',
+    entityPkg?.fork?.base === `${forkBase?.upstream?.name}@${forkBase?.upstream?.version}`,
+    `${entityPkg?.fork?.base} vs ${forkBase?.upstream?.name}@${forkBase?.upstream?.version}`)
+}
+
+// ③ 加载面 -------------------------------------------------------------------
+const probe = spawnSync(process.execPath, [path.join(here, 'test', 'probe-entity.mjs'), target, ...(expect === 'upstream' ? ['--upstream'] : [])],
+  { encoding: 'utf8', timeout: 60000, windowsHide: true })
+const probeLine = (probe.stdout ?? '').split(/\r?\n/).find((l) => l.startsWith('PROBE: ')) ?? ''
+let probeJson = null
+try { probeJson = JSON.parse(probeLine.slice('PROBE: '.length)) } catch { /* leave null */ }
+check('load.tools', '部署位置加载后注册出三工具（write/search/forget）',
+  probeJson?.tools?.map((t) => t.name).sort().join(',') === 'memory_forget,memory_search,memory_write',
+  JSON.stringify(probeJson?.tools?.map((t) => t.name) ?? probe.stderr?.slice(0, 160)))
+check('load.section', '注册 memory:recall 段（供 systemPrompt 注入）',
+  probeJson?.section === undefined ? false : true, `probe ok=${probeJson?.ok}`)
+check('load.behavior', '三工具在临时库上真跑通（write→search→forget）',
+  probeJson?.behavior?.searchHits === 1 && probeJson?.behavior?.forgotten === true,
+  JSON.stringify(probeJson?.behavior ?? probeJson?.failures ?? null))
+
+// ④ 实例面 -------------------------------------------------------------------
+const port = pa.values['--port'] ? Number(pa.values['--port']) : null
+if (port) {
+  let reachable = false
+  let status = null
+  let why = ''
+  try {
+    const res = await fetch(`http://localhost:${port}/`, { headers: { origin: `http://localhost:${port}` } })
+    status = res.status
+    // 【卡 S14】判活走单一真源（旧写法 `res.status === 200` 在 token 门下把 401 判死）
+    const j = judgeHttp(res.status)
+    reachable = j.alive
+    why = j.reason
+  } catch (error) {
+    reachable = false
+    status = error instanceof Error ? error.message : String(error)
+    why = 'no-answer（连不上/超时）'
+  }
+  check('instance.http', `目标实例（端口 ${port}）HTTP 可达`, reachable, `status=${status}${why ? ` · ${why}` : ''}`)
+}
+
+// ⑤ 日志面 -------------------------------------------------------------------
+const logFile = pa.values['--log-file']
+if (logFile) {
+  const exists = fs.existsSync(logFile)
+  const text = exists ? fs.readFileSync(logFile, 'utf8') : ''
+  const patterns = [
+    [/Cannot find module/i, 'Cannot find module'],
+    [/duplicate loader entry id/i, 'duplicate loader entry id'],
+    [/declares no dsh\.bundle/i, 'declares no dsh.bundle'],
+    [/did not activate/i, 'entry did not activate'],
+    [/duplicate exact route/i, 'duplicate exact route'],
+    [/patch[^\n]{0,80}(not found|unknown id|no match)/i, 'patch 未命中告警'],
+    [/^\s*Error:/m, 'Error:'],
+  ]
+  const hits = []
+  for (const [re, name] of patterns) {
+    const m = re.exec(text)
+    if (m) hits.push(`${name} → ${m[0].trim().slice(0, 120)}`)
+  }
+  check('log.clean', `启动日志无崩溃/未命中特征（${path.basename(logFile)}）`, exists && hits.length === 0,
+    exists ? (hits.join(' | ') || 'no crash signatures') : 'log file missing')
+}
+
+// 汇总 -----------------------------------------------------------------------
+const failed = checks.filter((c) => !c.ok)
+if (asJson) {
+  console.log(JSON.stringify({
+    target: home, profile: profileName, expect, entitySha, localSha, srcSha,
+    checks, ok: failed.length === 0,
+  }, null, 2))
+} else {
+  console.log(`verify : ${target}  (expect=${expect})`)
+  for (const c of checks) console.log(`${c.ok ? 'PASS' : 'FAIL'} ${c.id.padEnd(16)} ${c.name}${c.detail ? ` — ${c.detail}` : ''}`)
+  console.log(failed.length === 0 ? '\nverify: ALL CHECKS PASS' : `\nverify: ${failed.length} CHECK(S) FAILED`)
+}
+process.exitCode = failed.length === 0 ? EXIT.OK : EXIT.GATE