dsh-config-manager 0.1.69 → 0.1.71

package/src/cli/web/web.test.ts

@@ -4,7 +4,8 @@
  * 钉住的语义（这些是安全边界，不是实现细节）：
  *  - **一次性 token**：不带 token 的请求一律 403；token 只能换一次会话 cookie；
  *  - **cookie 不可猜**：换到 cookie 后可以正常访问页面，伪造 cookie 仍然 403；
- *  - **只读**：只暴露 GET，任何写方法一律 405（kit 的方法白名单）；
+ *  - **页面只读、写动作显式**：页面只用 GET 渲染；写动作是独立的 POST 表单（一次性 action token
+ *    + 安全门），任何不在声明内的方法一律 405 —— 且必须渲染成 HTML 错误页而不是裸 JSON（cli-F4）；
  *  - **只在本机**：非回环来源一律 403（kit 的围栏）；
  *  - **不写盘**：打开首页/磁盘/会话页不产生任何文件（零写入）。
  */
@@ -15,9 +16,29 @@ import { readFileSync } from 'node:fs'
 import http from 'node:http'
 import os from 'node:os'
 import path from 'node:path'
+import { fileURLToPath } from 'node:url'
 
 import { startConsoleServer, CONSOLE_SESSION_COOKIE, type ConsoleServerHandle } from './server.ts'
-import type { RescuePaths } from '../actions.ts'
+import {
+  renderDiskPage,
+  renderExportPage,
+  renderHomePage,
+  renderLockPage,
+  renderMessagePage,
+  renderProfilesPage,
+  renderReinstallPage,
+  renderRestorePage,
+  renderResultPage,
+  renderSessionsPage,
+  renderUnlockPage,
+  renderVerifyPage,
+  type InlineRepairView,
+} from './page.ts'
+import type { LockReport, RescuePaths, RescueStatus, RestorePlanView } from '../actions.ts'
+import type { SessionHealthScanResult } from '../../utils/session-health-scan.ts'
+import { DISK_USAGE_AREAS, type DiskUsageArea, type DiskUsageAreaReport, type DiskUsageReport } from '../../core/disk-usage.ts'
+import type { SnapshotMeta } from '../../core/restore.ts'
+import type { BackupFileMeta } from '../../sync/backup-files.ts'
 
 const silentIo = { log: () => undefined, error: () => undefined }
 
@@ -196,6 +217,22 @@ async function getPage(handle: ConsoleServerHandle, cookie: string, path: string
   return await res.text()
 }
 
+/**
+ * 抠出某一节卡片的 HTML（`<h2>标题…</h2><section class="card">…</section>`）。
+ *
+ * 为什么必须按卡片切：页脚（renderFooter）**每一页**都印着
+ * `dsh-config-manager sessions repair --apply — 会话布局归位（本页按同一实现执行）`，
+ * 所以整页级断言分不清「修复二段把 sessions repair 说成等价通道」与「页脚那条成立的布局归位命令」
+ * —— 旧断言正是在这一点上是**假阴性**（C1b 实测）。
+ */
+function cardOf(html: string, titlePrefix: string): string {
+  const start = html.indexOf('<h2>' + titlePrefix)
+  assert.notEqual(start, -1, '页面上找不到卡片：' + titlePrefix)
+  const end = html.indexOf('</section>', start)
+  assert.notEqual(end, -1, '卡片未闭合：' + titlePrefix)
+  return html.slice(start, end)
+}
+
 async function postForm(
   handle: ConsoleServerHandle,
   cookie: string,
@@ -777,10 +814,316 @@ test('R1-02 就地修复入口：能力边界如实呈现（只做重放重复
     // 分母必须给出来（「没发现」不能是拍胸脯）
     assert.match(html, /探测了 <strong>0<\/strong> 条/)
     assert.match(html, /本次没有发现可零损失修复的会话/)
-    assert.match(html, /dsh-config-manager sessions repair --apply/)
   })
 })
 
+/**
+ * C1b：救急台「修复二」段不得再把 `sessions repair --apply` 说成等价通道（它不碰字节），
+ * 同时「修复一：会话布局归位」卡里**成立**的等价命令**必须还在** —— 防以后一刀切删掉那一处。
+ */
+test('R1-02b 「修复二」段不把 sessions repair 说成等价通道；「修复一」布局归位卡的等价命令仍在', async () => {
+  await withConsole(async (handle, paths) => {
+    const { cookie } = await bootstrap(handle)
+
+    // ① 空盘（没有可零损失修项）：这一段最容易把「布局归位」说成「重放去重」的等价通道
+    const empty = await getPage(handle, cookie!, '/sessions')
+    const emptyInline = cardOf(empty, '修复二：重放重复行')
+    assert.doesNotMatch(emptyInline, /等价命令/, '修复二段不得再出现「等价命令」表述')
+    assert.doesNotMatch(emptyInline, /sessions repair --apply/, '修复二段不得把 sessions repair --apply 当成出口')
+    // 新表述：指向本救急台自己的就地操作 + 写明 sessions repair 的职责边界
+    assert.match(emptyInline, /职责边界/)
+    assert.match(emptyInline, /sessions repair \[--fix\]/)
+    assert.match(emptyInline, /不改写会话字节/)
+    assert.match(emptyInline, /dcm web/)
+    assert.match(emptyInline, /修复选中的会话（零损失）/) 
+
+    // ② 造一条错位会话 → 出现可执行的布局归位表单：那里的等价命令是**成立**的，必须保留
+    const { encodeZstdFrame } = await import('../../utils/zstd-frame.ts')
+    const dir = path.join(paths.homeDir, 'sessions', '--D-Ghost-proj--', 'session-layout')
+    await fs.mkdir(dir, { recursive: true })
+    await fs.writeFile(path.join(dir, 'session.v3.jsonl.zstd'), Buffer.concat([
+      encodeZstdFrame(Buffer.from(JSON.stringify({ version: 3, id: 'session-layout', cwd: 'D:/Real/proj' }) + '\n', 'utf8')),
+      encodeZstdFrame(Buffer.from('{"seq":1}\n', 'utf8')),
+    ]))
+
+    const page = await getPage(handle, cookie!, '/sessions')
+    const layout = cardOf(page, '修复一：会话布局归位')
+    assert.match(layout, /等价命令：dsh-config-manager sessions repair --apply/, '布局归位卡的等价命令是成立的，不得被一刀切删掉')
+    const inline = cardOf(page, '修复二：重放重复行')
+    assert.doesNotMatch(inline, /等价命令/, '修复二段（有可修项时）同样不得出现等价命令表述')
+    assert.match(inline, /职责边界/)
+  })
+})
+
+/**
+ * C1c：会话页的「写入口」事实必须唯一且真实，且卡片段里不得再把 `**` 当强调符号输出成字面星号。
+ *
+ * 这里**直接渲染** renderSessionsPage（页面是服务端直出 HTML，渲染结果就是用户看到的字节）：
+ * 「修复二」段有两条分支（无零损失可修项 → 只报告分布段；有可修项 → 确认表单），
+ * 两条分支过去各有一处 `**`，走 HTTP + 造会话夹具只能覆盖其中一条。
+ */
+test('C1c 会话页写入口表述真实（不说「本页不提供」）+ 修复二段无字面 **', () => {
+  const paths: RescuePaths = {
+    homeDir: 'D:/home',
+    dataDir: 'D:/home/dsh-config-manager',
+    snapshotsDir: 'D:/home/dsh-config-manager/snapshots',
+    exportsDir: 'D:/home/dsh-config-manager/exports',
+    locksDir: 'D:/home/dsh-config-manager/locks',
+    controlRoots: ['D:/home/dsh-config-manager'],
+    profile: 'web',
+  }
+  const result: SessionHealthScanResult = {
+    rows: [{
+      unitId: '--D--/a',
+      sessionId: 'a',
+      projectKey: '--D--',
+      severity: 'nextRequestFails',
+      issues: [{ code: 'seq-gap', severity: 'nextRequestFails' }],
+    }],
+    summary: {
+      total: 1,
+      bySeverity: { blocksStartup: 0, unloadable: 0, nextRequestFails: 1, invisible: 0, ok: 0 },
+      structurallyChecked: 1,
+      deepVerified: 1,
+      deepUnverified: 0,
+    },
+    untested: 0,
+    unreadableEntries: 0,
+    sessionsDir: 'D:/home/sessions',
+    sessionsDirExists: true,
+  }
+  const blockedInline: InlineRepairView = { fixable: [], probed: 3, blocked: [{ reason: 'seq-gap', count: 2 }] }
+  const blocked = renderSessionsPage(result, undefined, '0.0.0-test', paths, null, 'tok', '', null, blockedInline)
+
+  // ① fixHint（有「需要处理」的行才渲染）：不得再声称「本页不提供」——同页「修复一」卡就是本页提供的写动作
+  const problems = cardOf(blocked, '需要处理的会话（')
+  assert.doesNotMatch(problems, /本页不提供/, 'fixHint 不得再声称本页不提供该写动作（自相矛盾）')
+  assert.match(problems, /本页<strong>提供<\/strong>两个写入口/, '必须正向写清本页提供哪些写入口')
+  assert.match(problems, /sessions repair --apply/, '「修复一」的等价命令是成立的，仍要如实给出')
+
+  // ② 无零损失可修项 + 有「只报告」原因分布 → 该分支确实渲染，且强调是真 <strong> 而不是字面 **
+  assert.match(blockedInlineCard(blocked), /只报告/, '该分支必须真的渲染「只报告」文案（否则下面的断言是假阴性）')
+  assert.match(blockedInlineCard(blocked), /<strong>只报告<\/strong>/, '强调必须是真 <strong>')
+  assert.doesNotMatch(blockedInlineCard(blocked), /\*\*/, '卡片段里不得再出现字面 **')
+
+  // ③ 有零损失可修项 → 确认表单分支（consequence 里也曾有字面 **）
+  const fixable = renderSessionsPage(result, undefined, '0.0.0-test', paths, null, 'tok', '', null,
+    { fixable: [{ unitId: '--D--/a', droppedRows: 3 }], probed: 1, blocked: [] })
+  const fixableCard = cardOf(fixable, '修复二：重放重复行')
+  assert.match(fixableCard, /修复选中的会话（零损失）/, '该分支必须真的渲染确认表单')
+  assert.doesNotMatch(fixableCard, /\*\*/, '确认表单段同样不得出现字面 **')
+
+  // ④ 不误伤：页脚速查表照旧；「修复一」卡里那处**成立**的等价命令仍在源码里（渲染路径见 R1-02b 的真实磁盘用例）
+  assert.match(fixable, /会话布局归位（本页按同一实现执行）/, '页脚速查表不得被误改')
+
+  // ⑤ 源码级：fixHint 那一小段里不得再有「本页不提供」（页面另外两处是别的写动作，别误伤）
+  const source = readFileSync(path.join(path.dirname(fileURLToPath(import.meta.url)), 'page.ts'), 'utf8')
+  const at = source.indexOf('const fixHint =')
+  assert.notEqual(at, -1, '源码里找不到 fixHint')
+  const snippet = source.slice(at, source.indexOf('parts.push(section(', at))
+  assert.doesNotMatch(snippet, /本页不提供/, 'fixHint 源码段不得再出现「本页不提供」')
+  assert.match(snippet, /PAGE_SESSION_WRITE_ENTRIES/, 'fixHint 只能渲染单一事实源常量')
+  // 「修复一」布局归位卡的等价命令是**成立**的（本页与 CLI 同实现），不得被这轮收尾一刀切删掉
+  assert.ok(source.includes('等价命令：dsh-config-manager sessions repair --apply'), '布局归位卡的等价命令必须仍在')
+})
+
+/** 取「修复二」段卡片（C1c 用例内部用，避免页脚命中造成假阴性）。 */
+function blockedInlineCard(html: string): string {
+  return cardOf(html, '修复二：重放重复行')
+}
+
+/**
+ * 取页面**正文**（`<body>` … `<footer>`）。
+ *
+ * 为什么要切片：页脚（renderFooter）**每一页**都印同一份速查表，整页 match 会把它命中成假阴性
+ * （C1b 实测过），`<head>` 里的样式/脚本也不是用户看到的正文。
+ */
+function bodyOf(html: string): string {
+  const start = html.indexOf('<body>')
+  assert.notEqual(start, -1, '页面没有 <body>')
+  const end = html.indexOf('<footer>', start)
+  assert.notEqual(end, -1, '页面没有 <footer>（速查表页脚是每页都渲染的）')
+  return html.slice(start, end)
+}
+
+/**
+ * C1d：救急台是**多页**的，所以每一页正文里都不许出现
+ *  ① 字面 `**`（强调符号被当正文输出，用户看到星号）；
+ *  ② 空泛的「本页不提供」（captain 裁决：要么指向**本页内真实存在**的入口，要么**点名到页**）。
+ *
+ * **覆盖口径**：枚举来源 = `page.ts` 导出的全部 `render*Page(`（= 整页渲染入口），并用集合相等断言钉住 ——
+ * 新增一个页面而不登记进 `pages` 会直接红（此前只渲染 7 页却宣称「各页正文」，t11 抓到）。
+ * 断言落在**正文切片**上（页脚不计入，避免 C1b 遇到过的假阴性）；每页先跑一条**非空证明**，
+ * 证明该分支确实渲染了，否则「不存在」类断言会退化成空态假阴性。
+ */
+test('C1d 各页正文无字面 ** 且无空泛「本页不提供」（枚举 = page.ts 全部 render*Page）', () => {
+  const paths: RescuePaths = {
+    homeDir: 'D:/home',
+    dataDir: 'D:/home/dsh-config-manager',
+    snapshotsDir: 'D:/home/dsh-config-manager/snapshots',
+    exportsDir: 'D:/home/dsh-config-manager/exports',
+    locksDir: 'D:/home/dsh-config-manager/locks',
+    controlRoots: ['D:/home/dsh-config-manager'],
+    profile: 'web',
+  }
+  const version = '0.0.0-test'
+  const snapshot: SnapshotMeta = {
+    id: 'snap-1',
+    createdAt: '2026-10-07T00:00:00.000Z',
+    sourceZip: 'dsh-config.zip',
+    entryCount: 3,
+    hostFileBackupCount: 0,
+    beforePluginCount: 0,
+  }
+  // 选中某快照后的恢复计划：只有带危险动作，页面才会渲染 POST /restore/run 的确认表单
+  const restorePlan: RestorePlanView = {
+    ok: true,
+    code: 'ok',
+    message: '',
+    snapshotId: 'snap-1',
+    pluginBaselineConfirmed: false,
+    actions: [{ kind: 'hostFileRestore', description: '还原 settings', target: 'D:/home/settings.yaml', dangerous: true }],
+    summary: { hostFileRestores: 1 },
+  }
+  const lock: LockReport = { locksDir: paths.locksDir, present: true, state: 'LOCKED' }
+  const homeLock: LockReport = { locksDir: paths.locksDir, present: false, state: 'NONE' }
+  const status: RescueStatus = {
+    generatedAt: '2026-10-07T00:00:00.000Z',
+    paths,
+    safeMode: [],
+    lock: homeLock,
+    instances: [],
+    snapshots: [snapshot],
+    backups: [],
+    errors: [],
+  }
+  const areas = Object.fromEntries(DISK_USAGE_AREAS.map((area) => [area, {
+    sizeBytes: 0,
+    fileCount: 0,
+    policy: 'regenerable' as const,
+    unreadable: false,
+  }])) as Record<DiskUsageArea, DiskUsageAreaReport>
+  const diskReport: DiskUsageReport = {
+    dataDir: paths.dataDir,
+    totalBytes: 0,
+    totalFiles: 0,
+    reclaimableBytes: 0,
+    expiredBytes: 0,
+    areas,
+    backupRetention: { keepLast: 10, latestBackupBytes: 0, latestBackupAt: null },
+  }
+  const encrypted: BackupFileMeta[] = [{
+    name: 'dsh-config-enc.zip',
+    path: 'D:/home/dsh-config-manager/exports/dsh-config-enc.zip',
+    sizeBytes: 2048,
+    mtimeMs: 1_700_000_000_000,
+    source: 'manual',
+  }]
+
+  const home = renderHomePage({ status, version })
+  const sessions = renderSessionsPage(
+    {
+      rows: [{
+        unitId: '--D--/a', sessionId: 'a', projectKey: '--D--', severity: 'nextRequestFails',
+        issues: [{ code: 'seq-gap', severity: 'nextRequestFails' }],
+      }],
+      summary: {
+        total: 1, bySeverity: { blocksStartup: 0, unloadable: 0, nextRequestFails: 1, invisible: 0, ok: 0 },
+        structurallyChecked: 1, deepVerified: 1, deepUnverified: 0,
+      },
+      untested: 0, unreadableEntries: 0, sessionsDir: 'D:/home/sessions', sessionsDirExists: true,
+    },
+    undefined, version, paths, null, 'tok', '', null,
+    { fixable: [], probed: 1, blocked: [{ reason: 'seq-gap', count: 1 }] },
+  )
+  const restore = renderRestorePage([snapshot], restorePlan, version, paths, 'tok')
+  const disk = renderDiskPage(diskReport, version, paths, 'tok', '')
+  const lockPage = renderLockPage(lock, version, paths, 'tok', '')
+  const unlock = renderUnlockPage(encrypted, version, paths, 'tok', '')
+  const reinstall = renderReinstallPage(
+    [{ id: 'plugins', label: '插件', desc: '清空 ~/.dsh 的插件目录', destructive: true, defaultOn: false }],
+    version, paths, 'tok',
+  )
+
+  // 导出页（本轮纳入 sweep 的那一页；banner 正文曾出现字面 **）
+  const exportPage = renderExportPage(['settings', 'providers'], ['mcp'], version, paths, 'tok')
+  const verify = renderVerifyPage({
+    file: 'D:/home/dsh-config-manager/exports/dsh-config.zip', verdict: 'OK',
+    sizeBytes: 2048, entryCount: 3, sections: ['settings'], errors: [], warnings: [],
+  }, version, paths)
+  const result = renderResultPage('就地修复完成（零损失）', ['✔ --D--/a：已丢弃 2 行重放重复事件'], version, paths, 'ok', '/sessions')
+  const profiles = renderProfilesPage({
+    ok: true, profilesDir: 'D:/home/profiles', errors: [],
+    rows: [{
+      name: 'web', shape: 'web', bundles: 3, dependencies: 12, hasNodeModules: true,
+      patchEntryCount: 2, updatedAtMs: 1_700_000_000_000, dshVersion: '0.2.0', sessionFormatVersion: 4,
+      launchable: true, owned: false, running: false, port: null, url: null, pid: null,
+    }],
+  }, version, paths, 'tok', '', '')
+  const message = renderMessagePage('403 需要访问链接', '请回到终端，用打印出来的带 token 链接打开本页。', '链接用过即废。')
+
+  // 枚举来源：page.ts 里**全部** `export function render*Page(`（每个 = 一个整页渲染入口；
+  // `renderLayout` 是外壳、`renderConfirmForm` 是片段，不在此列）。
+  // 下面这条集合相等断言保证「新增页面不登记进 sweep」会红 —— 本轮之前 C1d 只渲染 7 页却宣称「各页正文」，
+  // 正是缺这条（t11 抓到）。
+  const declared = [...readFileSync(new URL('./page.ts', import.meta.url), 'utf8')
+    .matchAll(/export function (render\w*Page)\s*\(/g)].map((m) => m[1] ?? '').sort()
+
+  const pages: Array<{ fn: string; name: string; html: string; slice?: (html: string) => string }> = [
+    { fn: 'renderHomePage', name: '首页', html: home },
+    { fn: 'renderSessionsPage', name: '会话', html: sessions },
+    { fn: 'renderRestorePage', name: '恢复', html: restore },
+    { fn: 'renderDiskPage', name: '磁盘', html: disk },
+    { fn: 'renderLockPage', name: '残留锁', html: lockPage },
+    { fn: 'renderUnlockPage', name: '解锁', html: unlock },
+    { fn: 'renderReinstallPage', name: '重装', html: reinstall },
+    { fn: 'renderVerifyPage', name: '备份自检', html: verify },
+    { fn: 'renderExportPage', name: '导出', html: exportPage },
+    { fn: 'renderProfilesPage', name: '档案', html: profiles },
+    { fn: 'renderResultPage', name: '写动作结果', html: result },
+    // 403/404 极简页**没有 <footer>**（刻意不依赖任何目录事实），所以不走 bodyOf 的切片，取 <body> 起的整段。
+    { fn: 'renderMessagePage', name: '错误极简页', html: message, slice: (h) => h.slice(h.indexOf('<body>')) },
+  ]
+  assert.deepEqual(
+    pages.map((p) => p.fn).sort(),
+    declared,
+    'sweep 必须穷尽 page.ts 的全部 render*Page（枚举来源 = 该模块的 export function render*Page）',
+  )
+
+  // 非空证明表（每页一条）：先证明「该段确实渲染了」，否则上面的「不得出现 **」会退化成空态假阴性
+  const proofs: Record<string, RegExp> = {
+    renderHomePage: /需要终端里打印的 6 位确认码/,
+    renderSessionsPage: /需要处理的会话/,
+    renderRestorePage: /恢复计划（/,
+    renderDiskPage: /导出产物只在勾选时、且只按保留期回收/,
+    renderLockPage: /不会自动回收/,
+    renderUnlockPage: /会在内存中解出明文 ZIP/,
+    renderReinstallPage: /只在终端里打印的 6 位确认码/,
+    renderExportPage: /settings \/ providers \/ mcp 等结构化分区的值必须经 DSH 服务读取/,
+    renderVerifyPage: /自检通过/,
+    renderProfilesPage: /档案 = DSH 的 profile/,
+    renderResultPage: /逐条结果/,
+    renderMessagePage: /403/,
+  }
+  for (const page of pages) {
+    const body = page.slice !== undefined ? page.slice(page.html) : bodyOf(page.html)
+    const proof = proofs[page.fn]
+    assert.ok(proof !== undefined, page.name + '：sweep 里每页都必须有非空证明（否则可能空态假阴性）')
+    assert.match(body, proof, page.name + '：该段确实渲染（非空证明，避免空态假阴性）')
+    assert.doesNotMatch(body, /\*\*/, page.name + '：正文不得出现字面 **（强调符号被当正文输出）')
+    assert.doesNotMatch(body, /本页不提供/, page.name + '：正文不得出现空泛的「本页不提供」（要么指向本页入口，要么点名到页）')
+  }
+
+  // 交叉证明（原有用例，保留）：被点名的页 / 入口确实存在
+  const homeBody = bodyOf(home)
+  assert.match(homeBody, /请在「恢复」页执行/, '首页快照卡必须点名到「恢复」页')
+  assert.match(homeBody, /本页（首页）不提供/, '「本页」必须限定为首页，不留空泛说法')
+  const diskBody = bodyOf(disk)
+  assert.match(diskBody, /清理是写动作，就在本页下方「清理磁盘（写动作）」卡里执行/, '磁盘保留期说明必须指向本页的清理入口')
+  assert.match(diskBody, /action="\/disk\/cleanup"/, '被指向的入口在本页真实存在（裁决 (a) 成立）')
+  assert.match(bodyOf(restore), /action="\/restore\/run"/, '点名到的「恢复」页确实提供该写动作（裁决 (b) 成立）')
+})
+
 test('R1-03 就地修复写路由：token 一次性；没 token 一律 400（不写任何字节）', async () => {
   await withConsole(async (handle) => {
     const { cookie } = await bootstrap(handle)
@@ -953,7 +1296,9 @@ function runConsoleScript(cookie: string): {
     querySelectorAll: (sel: string) => (sel === '[data-dcm-theme]' ? buttons : []),
     addEventListener: (type: string, fn: (event: { target: unknown }) => void) => { if (type === 'click') clicks.push(fn) },
   }
-  const script = readFileSync(new URL('./client-script.ts', import.meta.url), 'utf8')
+  // issue #70：源码字面量守卫必须与检出 EOL 无关（Windows core.autocrlf=true ⇒ CRLF 工作区）。
+  // 仓库既有 11 处同款先例（readFileSync 后折 LF），这三处此前漏了。
+  const script = readFileSync(new URL('./client-script.ts', import.meta.url), 'utf8').replace(/\r\n/g, '\n')
   const body = /export const CONSOLE_SCRIPT = `([\s\S]*?)`\n/.exec(script)?.[1]
   assert.ok(body, 'client-script.ts 必须导出 CONSOLE_SCRIPT 模板字符串')
   // 只喂脚本真正会碰的浏览器 API（显式列出，不用 Proxy 兜底 —— 缺哪个就报错，别让假 DOM 悄悄骗过测试）
@@ -1001,3 +1346,101 @@ test('R3-04 主题脚本的真行为：cookie 解析 / 非法值回落自动 /
   assert.equal(clicky.attrs['data-theme'], 'auto')
   assert.match(clicky.cookieNow(), /dcm-theme=auto/)
 })
+/* ------------------------------------------------ t26 新增回归（cli-F1/F3/F4/F6/F7） */
+
+/** 造一条「本插件启动的实例」台账（pid = 当前进程，isProcessAlive 必然为真）。 */
+async function seedLaunchedInstance(paths: RescuePaths, name: string, url: string): Promise<void> {
+  const profileDir = path.join(paths.homeDir, 'profiles', name)
+  await fs.mkdir(profileDir, { recursive: true })
+  await fs.writeFile(path.join(profileDir, 'package.json'), JSON.stringify({
+    name, version: '0.0.0', dependencies: {},
+    dsh: { profile: { bundles: ['@deepseek-ai/dsh-web-app'] } },
+  }))
+  await fs.mkdir(paths.dataDir, { recursive: true })
+  await fs.writeFile(path.join(paths.dataDir, 'launches.json'), JSON.stringify({
+    version: 1,
+    launches: [{
+      name, port: 3099, pid: process.pid, url,
+      logFile: path.join(paths.dataDir, 'launch.log'), startedAt: new Date().toISOString(),
+    }],
+  }))
+}
+
+test('cli-F1 救急台回传的授权 URL 不得被脱敏抹掉（入口链接逐字节等于台账 URL）', async () => {
+  await withConsole(async (handle, paths) => {
+    const authUrl = 'http://127.0.0.1:3099/?token=probe-token-abc123'
+    await seedLaunchedInstance(paths, 'probe-demo', authUrl)
+    const { cookie } = await bootstrap(handle)
+    const res = await fetch(handle.url.replace(/\/$/, '') + '/profiles', { headers: { cookie: cookie! } })
+    assert.equal(res.status, 200)
+    const html = await res.text()
+    // 修复前：redact() 的 URL_QUERY_RE 把 token 值换成 ***REDACTED***，点开必然 401
+    assert.ok(html.includes('<a href="' + authUrl + '">打开实例</a>'), '入口链接必须带真实 token')
+    assert.doesNotMatch(html, /token=\*\*\*REDACTED\*\*\*/)
+  })
+})
+
+test('cli-F3 页面必须禁止被 iframe 嵌入（frame-ancestors + X-Frame-Options）', async () => {
+  await withConsole(async (handle) => {
+    const { cookie } = await bootstrap(handle)
+    const res = await fetch(handle.url, { headers: { cookie: cookie! } })
+    assert.equal(res.status, 200)
+    const csp = res.headers.get('content-security-policy') ?? ''
+    assert.match(csp, /frame-ancestors 'none'/, 'default-src 不覆盖 frame-ancestors，必须显式声明')
+    assert.equal(res.headers.get('x-frame-options'), 'DENY')
+    // 403 极简页走同一个写出点，也必须带上
+    const anon = await fetch(handle.url)
+    assert.equal(anon.status, 403)
+    assert.match(anon.headers.get('content-security-policy') ?? '', /frame-ancestors 'none'/)
+    assert.equal(anon.headers.get('x-frame-options'), 'DENY')
+  })
+})
+
+test('cli-F4 方法不被允许时必须是 HTML 错误页，不得吐插件 API 形状的裸 JSON', async () => {
+  await withConsole(async (handle) => {
+    const { cookie } = await bootstrap(handle)
+    const res = await fetch(handle.url, { method: 'POST', headers: { cookie: cookie! } })
+    assert.equal(res.status, 405)
+    const body = await res.text()
+    assert.match(body, /<html lang="zh-CN">/, '405 必须渲染成页面')
+    assert.ok(!body.startsWith('{"error"'), '不得是 kit 的 JSON 出口')
+    // 方法判定不得改变「路由未命中」语义
+    const nope = await fetch(handle.url.replace(/\/$/, '') + '/nope', { method: 'POST', headers: { cookie: cookie! } })
+    assert.equal(nope.status, 404)
+  })
+})
+
+test('cli-F6 /healthz 的写路由自述必须与真实声明同源且完整', async () => {
+  await withConsole(async (handle) => {
+    const { cookie } = await bootstrap(handle)
+    const res = await fetch(handle.url.replace(/\/$/, '') + '/healthz', { headers: { cookie: cookie! } })
+    const payload = await res.json() as { writes: string[]; writeRoutes?: string[] }
+    assert.deepEqual(payload.writes, ['sessions-repair', 'disk-cleanup', 'recover-stale-lock'], '既有 writes 契约不变')
+    assert.ok(Array.isArray(payload.writeRoutes), '/healthz 必须自述全部写路由')
+    const declared = payload.writeRoutes as string[]
+    for (const line of [
+      'POST /sessions/repair', 'POST /sessions/inline-repair', 'POST /disk/cleanup', 'POST /lock/recover',
+      'POST /profiles/launch', 'POST /profiles/stop', 'POST /unlock/run', 'POST /restore/run',
+      'POST /export/run', 'POST /reinstall/plan', 'POST /reinstall/run',
+    ]) {
+      assert.ok(declared.includes(line), '缺写路由自述: ' + line + ' → ' + declared.join(','))
+    }
+    assert.ok(!declared.some((line) => line.startsWith('GET ')), 'GET 路由不得混进写自述')
+  })
+})
+
+test('cli-F7 //x 形态的请求目标不得被解析成首页', async () => {
+  await withConsole(async (handle) => {
+    const { cookie } = await bootstrap(handle)
+    // 协议相对目标：修复前 new URL('//evil') 得到 authority=evil / pathname='/' → 冒充首页
+    const evil = await fetch(handle.url.replace(/\/$/, '') + '//evil', { headers: { cookie: cookie! } })
+    assert.equal(evil.status, 404, '//evil 不是合法页面，不得返回首页')
+    // //disk 折叠成 /disk：必须是**磁盘页**（有该页专属的 section 标题），不是首页
+    const disk = await fetch(handle.url.replace(/\/$/, '') + '//disk', { headers: { cookie: cookie! } })
+    assert.equal(disk.status, 200)
+    assert.match(await disk.text(), /磁盘占用（只读体检）/, '//disk 必须落到磁盘页而不是首页')
+    const home = await fetch(handle.url, { headers: { cookie: cookie! } })
+    assert.equal(home.status, 200)
+  })
+})
+