dsh-vibe-math 2.3.12 → 2.3.13

package/installer.js

@@ -16,16 +16,21 @@
 //  ships v2/v3/v4/v5.)
 //
 // UPDATE POLICY (state recorded in <presetRoot>/.vibe-math-installed.json):
-//   - baseline (no state file — e.g. upgrading from an installer that predates
-//     this mechanism): every existing owned file is refreshed to the current
-//     package version and recorded as package-owned (user policy: auto-update
-//     old installs; any manual edits made before this baseline are overwritten
-//     once — from then on edits are protected).
-//   - upgrade (recorded version != current package.json version): every owned
-//     file that is byte-identical to the previously installed copy (i.e. NOT
-//     user-edited since) is overwritten with the new version; user-edited files
-//     are preserved and reported via the logger.
-//   - same version: no-op (idempotent). Missing files are ALWAYS restored.
+//   - FORCE-REPLACE ON VERSION CHANGE. When the recorded version differs from this package's
+//     version — or there is no record at all (an install made by an older installer) — every
+//     managed file is overwritten with the shipped bytes. This is deliberately NOT conditional on
+//     the file being unmodified. Two reasons:
+//       · a preset assembled from two different versions (the old policy updated a file's
+//         neighbours and kept the file the user had touched) is exactly the state that fails to
+//         mount or misbehaves subtly, and the user has no way to see that from the outside;
+//       · editing a shipped preset in place is not the supported way to customize one — DSH
+//         provides a real one (copy the preset: the picker's copy action, or a new directory
+//         under <presetRoot>), which leaves the managed set updatable.
+//   - Nothing is destroyed silently: before a file whose bytes are not what the installer last
+//     wrote is replaced, the user's copy is kept under
+//     <presetRoot>/.vibe-math-backup/<fromVersion>/<preset>/<file> and named in the log.
+//   - same version: no-op (idempotent) — restarting DSH never rewrites a file or churns the
+//     preset's generation stamp. Missing files are ALWAYS restored, at any version.
 //   - force a full refresh at any time: delete the preset dirs and restart DSH.
 import { existsSync, mkdirSync, readFileSync, renameSync, writeFileSync, unlinkSync, rmdirSync } from 'node:fs'
 import { createRequire } from 'node:module'
@@ -36,7 +41,10 @@ import { fileURLToPath } from 'node:url'
 
 export const name = 'vibe-math-preset-installer'
 
-const PRESETS = [
+// Exported so the shipped policy suite can prove the managed list still covers what each preset
+// needs at runtime (a file present in the preset directory but missing here is copied by nobody,
+// and the installed preset then cannot mount).
+export const PRESETS = [
   {
     src: 'vibe-math-v2',
     dst: 'vibe-math-v2',
@@ -62,9 +70,34 @@ const PRESETS = [
 ]
 
 const STATE_FILE = '.vibe-math-installed.json'
+// where a replaced user edit is preserved; a leading dot keeps DSH's preset discovery from ever
+// treating it as a preset directory (ids must match [a-z0-9][a-z0-9-]*)
+const BACKUP_DIR = '.vibe-math-backup'
 
 function sha256(buf) { return createHash('sha256').update(buf).digest('hex') }
 
+/**
+ * Preserve one file that is about to be replaced by the shipped version, under
+ * `<presetRoot>/.vibe-math-backup/<fromVersion>/<preset>/<file>`.
+ *
+ * Returns `'written'` (a copy was made now), `'kept'` (a copy for this version was already there —
+ * the earliest edit is the one worth keeping, and a re-run must not overwrite it with an
+ * already-replaced file) or `'failed'`. A caller must not report `'kept'` as a failure: the user's
+ * bytes are preserved, just from an earlier run.
+ */
+function backupReplacedFile(presetRoot, fromVersion, presetDir, fileName, buf) {
+  try {
+    const dir = join(presetRoot, BACKUP_DIR, String(fromVersion || 'unversioned'), presetDir)
+    const dst = join(dir, fileName)
+    if (existsSync(dst)) return 'kept' // the earliest copy for this version is the one worth keeping
+    mkdirSync(dir, { recursive: true })
+    writeFileSync(dst, buf)
+    return 'written'
+  } catch (e) {
+    return 'failed' // a backup failure must never stop the update; it is reported by the caller
+  }
+}
+
 function readState(path) {
   try {
     const raw = readFileSync(path, 'utf8')
@@ -350,11 +383,23 @@ export async function apply(ctx) {
     const state = readState(stateFile)
     const prevFiles = (state && state.files) || {}
     const isUpgrade = state !== null && pkgVersion !== '' && state.version !== pkgVersion
-    const isBaseline = state === null // no recorded history → refresh everything (user policy: auto-update old installs)
+    const isBaseline = state === null // no recorded history → refresh everything
+    // A version change (or a first sighting) REPLACES the managed files; only a same-version boot
+    // leaves the working tree alone. See UPDATE POLICY at the top of this file.
+    const refresh = isBaseline || isUpgrade
+    const fromVersion = (state && state.version) || '(unversioned)'
+    if (pkgVersion === '') {
+      // Without a version there is nothing to compare against, so this run must NOT replace
+      // anything (a wrong guess would overwrite files for no reason); it still restores missing
+      // ones and keeps the previously recorded version, so the next readable run reports the
+      // right "from" version.
+      logger?.warn?.('[dsh-vibe-math] 读不到本包版本（package.json 缺失或损坏）：本次不做版本比对，只补回缺失的 preset 文件。')
+    }
 
     const nextFiles = {}
-    let installed = 0, updated = 0, kept = 0
-    const keptList = []
+    let installed = 0, updated = 0, kept = 0, backedUp = 0
+    const replacedEdits = []
+    const backupFailures = []
 
     for (const p of PRESETS) {
       const srcDir = join(here, p.src)
@@ -375,32 +420,35 @@ export async function apply(ctx) {
           nextFiles[key] = { hash: curHash, provenance: 'package' }
           continue
         }
-        const destHash = sha256(readFileSync(d))
-        if (isBaseline) {
-          // no recorded history: refresh to the current package (one-time; edits
-          // made before this mechanism are overwritten, later edits are protected)
-          if (destHash === curHash) { nextFiles[key] = { hash: curHash, provenance: 'package' } }
-          else { writeFileSync(d, cur); updated += 1; nextFiles[key] = { hash: curHash, provenance: 'package' } }
-          continue
-        }
+        const destBuf = readFileSync(d)
+        const destHash = sha256(destBuf)
         const prev = prevFiles[key]
         const prevRec = (prev && typeof prev === 'object') ? prev : { hash: prev, provenance: 'package' }
-        const prevProv = (prevRec.provenance === 'user') ? 'user' : 'package' // 未知来源按包文件处理
-        if (prevProv === 'package' && destHash === prevRec.hash) {
-          // 包文件且未被改动 → 可安全升级（内容相同则跳过写入）
-          if (destHash !== curHash) { writeFileSync(d, cur); updated += 1 }
+        if (destHash === curHash) {
+          // already the shipped bytes: never rewrite, so the file's mtime (which keys the preset's
+          // DSH generation) stays put
           nextFiles[key] = { hash: curHash, provenance: 'package' }
-        } else if (prevProv === 'user') {
-          // 用户持有 → 永不覆盖
-          kept += 1
-          if (isUpgrade) keptList.push(key + ' (用户持有)')
-          nextFiles[key] = { hash: destHash, provenance: 'user' }
-        } else {
-          // 包文件但自上次安装后已被用户改动
+          continue
+        }
+        if (!refresh) {
+          // same version: nothing is being updated, so a file that differs from the package is left
+          // exactly as it is. The recorded hash stays "what this installer last wrote" (or unknown),
+          // so the drift is still recognised — and backed up — at the next version change.
           kept += 1
-          if (isUpgrade) keptList.push(key + ' (已修改)')
-          nextFiles[key] = { hash: destHash, provenance: 'user' }
+          nextFiles[key] = typeof prevRec.hash === 'string' ? { hash: prevRec.hash, provenance: 'package' } : { provenance: 'package' }
+          continue
+        }
+        // replacing: preserve the user's bytes when they are not what this installer last wrote
+        // (a legacy state without a hash cannot tell, so it backs the file up rather than risk it)
+        if (typeof prevRec.hash !== 'string' || destHash !== prevRec.hash) {
+          const backupResult = backupReplacedFile(presetRoot, fromVersion, p.dst, f, destBuf)
+          if (backupResult === 'failed') backupFailures.push(key)
+          else backedUp += 1
+          replacedEdits.push(key)
         }
+        writeFileSync(d, cur)
+        updated += 1
+        nextFiles[key] = { hash: curHash, provenance: 'package' }
       }
     }
 
@@ -434,22 +482,38 @@ export async function apply(ctx) {
       if (dirEmpty && existsSync(dir)) { try { rmdirSync(dir); removedDirs.push(dir) } catch (e) {} }
     }
 
-    writeState(stateFile, { version: pkgVersion, files: nextFiles, updatedAt: Date.now() })
+    writeState(stateFile, { version: pkgVersion || (state && state.version) || '', files: nextFiles, updatedAt: Date.now() })
 
     if (removedFiles > 0 || removedDirs.length > 0) {
       logger?.info?.('[dsh-vibe-math] preset cleanup: removed ' + removedFiles + ' file(s) from ' + removedDirs.length + ' stale preset dir(s) (' + removedDirs.map(d => d.split(/[\\/]/).pop()).join(', ') + ') that are no longer shipped.')
     }
 
     if (isUpgrade) {
-      logger?.info?.('[dsh-vibe-math] preset auto-update: version ' + (state.version || '(none)') + ' → ' + pkgVersion +
-        ' — 新增 ' + installed + ' 个文件，更新 ' + updated + ' 个文件' +
-        (kept > 0 ? '，保留 ' + kept + ' 个未覆盖文件（' + keptList.join('; ') + '）' : '') +
-        '。新版本 preset 将在新会话生效。')
+      logger?.info?.('[dsh-vibe-math] preset auto-update: version ' + fromVersion + ' → ' + pkgVersion +
+        ' — 新增 ' + installed + ' 个文件，更新 ' + updated + ' 个文件。' +
+        (replacedEdits.length > 0
+          ? '其中 ' + replacedEdits.length + ' 个文件与上一次安装的字节不同（被改过），已按版本一致化覆盖' +
+            (backupFailures.length === 0
+              ? '，原文备份在 ' + join(presetRoot, BACKUP_DIR, String(fromVersion)) + '：' + replacedEdits.join(', ')
+              : '；这 ' + backupFailures.length + ' 个文件**备份失败**（原文未保留）：' + backupFailures.join(', ')) +
+            '。要自定义 preset，请复制一份而不是改这几个文件——被管理的文件在下一次版本变更时一定会被替换。'
+          : '') +
+        '新版本 preset 将在新会话生效。')
     } else if (isBaseline) {
       logger?.info?.('[dsh-vibe-math] preset baseline: refreshed ' + (installed + updated) + ' file(s) to v' + pkgVersion +
-        ' — 已启用自动更新（后续版本升级将自动替换未被手动修改的 preset 文件）。')
+        (replacedEdits.length > 0
+          ? '，其中 ' + replacedEdits.length + ' 个原有文件与随包版本不同' +
+            (backupFailures.length === 0 ? '，原文已备份在 ' + join(presetRoot, BACKUP_DIR, String(fromVersion))
+              : '，但有 ' + backupFailures.length + ' 个备份失败（原文未保留）：' + backupFailures.join(', '))
+          : '') +
+        ' — 已启用版本化自动更新（后续版本变更会直接替换被管理的 preset 文件）。')
     } else if (installed > 0) {
       logger?.info?.('[dsh-vibe-math] restored ' + installed + ' missing preset file(s)')
+    } else if (kept > 0) {
+      // same version, and some managed file on disk differs from the package: reported, never
+      // rewritten mid-version (it is replaced, with a backup, at the next version change)
+      logger?.info?.('[dsh-vibe-math] preset files untouched (v' + pkgVersion + ' unchanged): ' + kept +
+        ' file(s) differ from the shipped copy; they will be replaced on the next version change (原件会先备份)')
     }
     await checkHostCapabilities(ctx, logger)
   } catch (err) {

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "dsh-vibe-math",
   "description": "Multi-agent mathematical problem-solving & verification frameworks for DeepSeek Harness — FOUR agent presets in one install: vibe-math-v2 (probability-driven: qs.json + Propos knowledge base + explorer→solver→review/debate verdict), vibe-math-v3 (THIRD-generation, recommended: paper-style Markdown knowledge base with Problems/Progress/Propos/Methods/Verified + planner-agent scheduling that decides the next N actions + universal theory/method invention library + agents write their own Markdown directly via a per-file write lock), and vibe-math-v4 (FOURTH-generation: persistent self-organizing resident subagents that message & meet to decide all tasks, verify only by unanimous consensus, /compact at a context threshold, and stop only when all agree the problem is solved), and vibe-math-v5 (FIFTH-generation research institute: an academician as the organizational centre who decomposes and ASSIGNS work and chairs meetings; permanent researchers who hold the vote and may hire/fire their own temp workers; temp workers with no vote; a group chat and meetings; a durable per-recipient mailbox; a compare-and-set task DAG; and a boolean m-vote consensus rule where an object enters Verified/ only when at least m voting members agree AND every one of them returns exactly 1 or exactly 0). Installing this bundle auto-installs all four presets (v1 was removed at v2.0.0).",
-  "version": "2.3.12",
+  "version": "2.3.13",
   "type": "module",
   "engines": {
     "node": "^22.19.0 || >=24.0.0",
@@ -14,25 +14,28 @@
     "./cordis.patch.yml": "./cordis.patch.yml"
   },
   "files": [
-    "AUDIT-CHECKLIST.md",
-    "audit-formal-sensitivity.mjs",
-    "audit-persona-sensitivity.mjs",
-    "audit-persona-surface.test.mjs",
-    "audit-prompt-invariants.mjs",
-    "audit-spec-traceability.mjs",
-    "audit-v5-integrity.mjs",
-    "audit-v5-sensitivity.mjs",
+    "docs/COMPAT-AUDIT-ROUND2.md",
+    "docs/AUDIT-CHECKLIST.md",
+    "tests/audit-formal-sensitivity.mjs",
+    "tests/audit-persona-sensitivity.mjs",
+    "tests/audit-persona-surface.test.mjs",
+    "tests/audit-prompt-invariants.mjs",
+    "tests/audit-spec-traceability.mjs",
+    "tests/audit-v5-integrity.mjs",
+    "tests/audit-v5-sensitivity.mjs",
     "cordis.patch.yml",
     "docs/架构图.md",
     "docs/formal-verification.md",
+    "docs/generate_framework_diagram_v2.py",
+    "docs/generate_framework_diagram_v3.py",
     "docs/generate_framework_diagram_v4.mjs",
     "docs/generate_framework_diagram_v5.mjs",
     "docs/test-timing.md",
-    "e2e-v5-round2.test.mjs",
-    "formal-verify-v2.test.mjs",
-    "formal-verify-v3.test.mjs",
-    "formal-verify-v4.test.mjs",
-    "formal-verify-v5.test.mjs",
+    "tests/e2e-v5-round2.test.mjs",
+    "tests/formal-verify-v2.test.mjs",
+    "tests/formal-verify-v3.test.mjs",
+    "tests/formal-verify-v4.test.mjs",
+    "tests/formal-verify-v5.test.mjs",
     "installer.js",
     "prompt-corpus-persona/persona-corpus.json",
     "prompt-corpus-persona/persona-corpus.md",
@@ -44,10 +47,10 @@
     "prompt-corpus-v4/formal-verify-v4.md",
     "prompt-corpus-v5/prompt-corpus-v5.json",
     "prompt-corpus-v5/prompt-corpus-v5.md",
-    "prompt-v5-integrity.test.mjs",
-    "run-tests.mjs",
+    "tests/prompt-v5-integrity.test.mjs",
+    "tests/run-tests.mjs",
     "screenshots.json",
-    "selfdrive-v5.mjs",
+    "tests/selfdrive-v5.mjs",
     "vibe-math-v2/实现方案.md",
     "vibe-math-v2/agent.cordis.yml",
     "vibe-math-v2/preset.yml",
@@ -66,30 +69,32 @@
     "vibe-math-v5/agent.cordis.yml",
     "vibe-math-v5/preset.yml",
     "vibe-math-v5/vibe-math-v5.js",
-    "RELEASE-NOTES-2.0.22.md",
-    "RELEASE-NOTES-2.1.0.md",
-    "RELEASE-NOTES-2.2.0.md",
-    "RELEASE-NOTES-2.2.1.md",
-    "RELEASE-NOTES-2.2.2.md",
-    "RELEASE-NOTES-2.3.0.md",
-    "RELEASE-NOTES-2.3.1.md",
-    "RELEASE-NOTES-2.3.10.md",
-    "RELEASE-NOTES-2.3.11.md",
-    "RELEASE-NOTES-2.3.12.md",
-    "RELEASE-NOTES-2.3.2.md",
-    "RELEASE-NOTES-2.3.3.md",
-    "RELEASE-NOTES-2.3.4.md",
-    "RELEASE-NOTES-2.3.5.md",
-    "RELEASE-NOTES-2.3.6.md",
-    "RELEASE-NOTES-2.3.7.md",
-    "RELEASE-NOTES-2.3.8.md",
-    "RELEASE-NOTES-2.3.9.md",
+    "docs/release-notes/RELEASE-NOTES-2.0.22.md",
+    "docs/release-notes/RELEASE-NOTES-2.1.0.md",
+    "docs/release-notes/RELEASE-NOTES-2.2.0.md",
+    "docs/release-notes/RELEASE-NOTES-2.2.1.md",
+    "docs/release-notes/RELEASE-NOTES-2.2.2.md",
+    "docs/release-notes/RELEASE-NOTES-2.3.0.md",
+    "docs/release-notes/RELEASE-NOTES-2.3.1.md",
+    "docs/release-notes/RELEASE-NOTES-2.3.10.md",
+    "docs/release-notes/RELEASE-NOTES-2.3.11.md",
+    "docs/release-notes/RELEASE-NOTES-2.3.12.md",
+    "docs/release-notes/RELEASE-NOTES-2.3.13.md",
+    "docs/release-notes/RELEASE-NOTES-2.3.2.md",
+    "docs/release-notes/RELEASE-NOTES-2.3.3.md",
+    "docs/release-notes/RELEASE-NOTES-2.3.4.md",
+    "docs/release-notes/RELEASE-NOTES-2.3.5.md",
+    "docs/release-notes/RELEASE-NOTES-2.3.6.md",
+    "docs/release-notes/RELEASE-NOTES-2.3.7.md",
+    "docs/release-notes/RELEASE-NOTES-2.3.8.md",
+    "docs/release-notes/RELEASE-NOTES-2.3.9.md",
     "示例图/框架图-v2.png",
     "示例图/框架图-v3.png",
     "示例图/框架图-v4.svg",
     "示例图/框架图-v5.svg",
     "示例图/实际使用示例-长截图.png",
-    "audit-installer-compat.test.mjs"
+    "tests/audit-installer-compat.test.mjs",
+    "tests/audit-installer-policy.test.mjs"
   ],
   "license": "MIT",
   "keywords": [
@@ -119,7 +124,7 @@
     },
     "minVersion": "0.1.2-rc.1",
     "testedVersion": "0.1.5-rc.2",
-    "compatNote": "v2.3.12 三件收尾：① 安装器自检改为读 engines.dsh（顶层优先）/ dsh.engines.dsh —— 与市场卡片**同一个**声明，不再与自用的 dsh.compatibility.dshReleases 表各说各话；installer.js 导出纯函数 satisfiesDshRange / dshVersionVerdict，匹配器支持 * / x / 精确 / ^ / ~ / >= > <= < / 空格组合 / || 分支，并实现 npm 的集合级预发布规则，无法解析一律返回 unknown（只提示、绝不判 incompatible）；已用 npm 自带 semver 7.8.5 逐项比对 320 组（范围×版本×两种预发布语义）0 处不一致，并新增随包套件 audit-installer-compat.test.mjs（54 条断言，含\"dsh.compatibility 里标 compatible 的版本不得被 engines.dsh 判成 incompatible\"这条防两源矛盾的不变式）；顺手修正安装器头部注释的陈旧描述（three presets / ships v2/v3/v4 only → 四套）。② npm 页的 README 图不再裂：README 展示的 5 张本地图此前只有 v4/v5 的 SVG 随包，现把 v2/v3 的 PNG 与实际使用示例长截图一并纳入 files，并在仓库级守卫里新增不变式\"README 里出现的每个本地图片路径都必须列在 files 里\"（包体积 1.0 MB → 4.7 MB）。③ 目录条目文案按实际内容更新并发起第三方 PR #5673（只改我们这一条，+2/-2，en/zh 同步；分支基于上游当前 main —— 你的 fork 停在 2026-08-18、与上游分叉无法 fast-forward，因此没有动 fork 的 main）。另按用户要求删除 2.3.10 在 README 里新增的「插件市场里的展示」整节（维护者视角、与用户了解项目无关），README 中不再有任何市场/元数据内容。v2.3.11 修掉 2.3.10 的一处打包错误：新增的 audit-market-metadata.test.mjs 被列进了 files，于是它随包发布——而这个仓库级守卫校验的是\"仓库里的截图与 README 图片真实存在\"，那些图片是目录从 GitHub 抓取的仓库产物、并不在 npm tarball 里，所以在解包出来的包里运行必然报\"示例图/框架图-v5.png (declared but missing from the repository)\"，发布产物自证因此判红。修法不是放宽断言，而是纠正它的打包契约：该套件是**仓库级**守卫（在检出目录里由 run-tests / final-verify 跑），**不随包发布**；套件自己新增两条断言把这条契约钉住——它不得出现在 package.json files 里（有人再放进去，检出目录里的测试就会先红，而不是等到发布自证才发现），而 screenshots.json 本身必须随包发布（它向安装者说明市场合约）。v2.3.10 补上插件市场（dsh-market / awesome-dsh-plugin 目录）读取的两处声明，并给它们加了防退化守卫：① DSH 版本依赖 —— 市场从**已发布的 npm manifest** 读 `engines.dsh`（顶层优先）或 `dsh.engines.dsh`，与 `@deepseek-ai/dsh*` 的 peerDependencies（若有）一起按\"各自都必须满足\"求交，再用 semver + includePrerelease:true 与宿主版本比较、在卡片上显示兼容性；本包此前只有自用的 dsh.minVersion/testedVersion（市场不读），因此卡片一直显示\"未声明\"。现两处都声明 `>=0.1.2-alpha.4 <0.1.3-0 || >=0.1.3-alpha.2 <0.1.5-0 || >=0.1.5-alpha.1 <0.2.0-0`：用显式预发布分支覆盖我们真正验证过的每个 tuple（0.1.2 / 0.1.3+0.1.4 / 0.1.5），并带 <0.2.0-0 上限，使默认语义与 includePrerelease 语义下判定一致（已用 semver 7.8.5 逐版本实测：0.1.2-alpha.4…0.1.5-rc.2 全通过，0.1.1-*、0.2.0-rc.1、0.2.0、1.0.0 全拒绝）。② 展示图 —— 市场从**仓库里的 screenshots.json**（package.json 旁边）读 1–8 张图，作者自己推仓即可生效、无需 PR；本包此前没有该文件，于是吃到目录里的历史遗留条目（指向已删除的 框架图-v1.png，首图 404 被静默丢弃）。现新增 screenshots.json（v5/v4/v3/v2 四张架构图，前两张由新的零依赖 SVG 渲染为 1:1 PNG），旧遗留键会被目录的清理脚本自动移除。③ 新增随包发布的守卫 audit-market-metadata.test.mjs（进并行回归）：断言 dsh.bundle.patch 存在、两处 DSH 声明存在且等于经验证的链、链覆盖 dsh.compatibility 里所有标记 compatible 的版本、带显式上限、screenshots.json 为 1–8 张且每个路径**真实存在**（正是历史遗留条目烂掉的那一类）、README 里的每张图都存在。v2.3.9 把 v4 架构图从 matplotlib 位图换成零依赖 Node 生成的 SVG（示例图/框架图-v4.svg，生成器 docs/generate_framework_diagram_v4.mjs 随包发布），与 v5 同一套版式语言：分带呈现定论门槛（全体一致为真/为假才入 Verified/，没有 forced/flat/近共识收口）、常驻层（continuable 持久会话、只写自己的库、跨读他人库）、框架六面（消息总线邮件箱、会议辩论与验证互斥、任务板只搬运、全票共识验证、上下文 compact、活性并发恢复）、数据面（真实路径：Progress/Propos/Methods/Subproblems、Shared/、Verified/、State/*.json 与锁/进程纪元）与哲学红线，并附图例；生成时会估算文字宽度，任何一行溢出容器即告警并以退出码 1 结束。旧文件 docs/generate_framework_diagram_v4.py 与 示例图/框架图-v4.png 已删除（git 历史可查），README 图源改为 SVG 且该 SVG 已随包发布（npm 上不再图裂）。绘图时逐项核对了实现，顺手改正了初版图里的两处字段错误（reject_assign 是 v5 的字段、vote_solved 应为 voteSolved）与一处不存在的路径（Shared/decisions.md → 实际是 State/decisions.json）。无代码行为变更，四套预设字节未变。v2.3.8 是纯文档版（无代码、无预设字节变化）：把 round 7/8 的结论写进共享契约与强制审计流程，免得下一轮审计重新把它当新问题或按另一种方式改 —— ① docs/formal-verification.md §4 补两条边界：记录与归档文件在框架侧\"同生共死\"，但**外部**删除 Verified/Lean/<id>.lean 不会自动降级记录（passed 是状态文件里的权威状态，门禁查询只读、不做文件存在性探测），人工动过文件后请一并修正记录或重新归档；v2 的 id 映射同理，记录里持久化的 objectId 必须**自洽**（不以 r- 开头）才被采纳。② AUDIT-CHECKLIST §1.10 补一条检查项「从用户可编辑的状态文件里读出来的『权威值』是否先做了自洽校验」，并写入 2.3.7 的真实事故。③ v2 实现方案 §9.3 同步该自洽条件。v2.3.7 是 round 8：把 2.3.6 新引入的「记录里持久化权威 objectId」这条机制自己审一遍。2.3.6 让 formalObjectIdOf 在任务表不可用时读记录里的 objectId（跨 resume 生效），但状态文件是可编辑的（VibeMath_State/formal.json，仓库里本来就有\"文件被改坏也要能继续\"的守卫测试）：若某条记录的 objectId 自己就是 r 形（r-pX），\"验证 id → 对象 id\"就会映射到它自己，于是 putFormalBothIds 认为两侧是同一个 id、只写验证侧，对象侧仍然 passed —— 又回到\"成对关系只做一半\"的静默错位。触发路径已实测：工作轮回执（explorer/solver 回执同样带 formal）在没有验证任务在内存时走\"读记录锚点\"这条兜底路径。修复：读取锚点与写入锚点都要求\"锚点自洽\"（formalObjectIdOfIsOwner：不以 r- 开头、不可能再被解析成别的 id）。写入侧的两道守卫目前无法用用例证明必要性（现有写入者手里的值都来自 formalObjectIdOf，本身不会是 r 形；我一度写的\"归档写在 rId 上会污染锚点\"的用例实测恒真，已删除），因此按纵深防御保留并如此标注；真正被证明有效的是读取侧守卫。新增 5 条断言（formal-verify-v2 第 14d 节）：手改出的 r 形锚点 + 工作轮回执点名 r-pX 报 defect → 对象侧必须被降级（锚点被拒绝而不是被信任）、验证侧同样降级。灵敏度实测（_oneoff/probe-v2-anchor-guard.mjs）：去掉读取侧守卫 → 该用例立刻变红，装回 → 全绿。套件 348 → 353。v2.3.6 修复 2.3.2 审计中记录为「存疑、需契约决策」的那条 id 解析歧义 —— round 7 先把它做成可复现用例，确认不是理论问题而是真实可达的数据破坏：v2 有两套 id（对象 id 与验证 rId），二者靠唯一一处 formalObjectIdOf 转换，而它无条件剥离 -sN/-pfN/-rfN 后缀；但对象 id 本身就可能以 -s1 结尾（命题 pAmb-s1 的验证 id 是 r-pAmb-s1），映射于是得到 pAmb —— 另一个对象。实测（修前 6 条断言变红）：忠实性提示词打印的是邻居 pAmb 的证明路径；一句 formal:{target:「r-pAmb-s1」,decision:「defect」} 会把 pAmb 降级为 attempted，并**撤回 Verified/Lean/pAmb.lean**（一句关于 A 的回执删掉 B 的归档证明，不可逆）；而真正有问题的 pAmb-s1 仍然是 passed、TODO 里也没有它。修复：formalObjectIdOf 改为按权威度取来源 —— ① 验证任务自己的所有者（tasks[verify:+rId].r.pId|qid，框架生成 rId 时就知道对象是谁）；② 记录里的 objectId（由 syncVerificationTarget 与 putFormalBothIds 在手里确实有对象 id 时写入，因此跨 resume、任务表尚未重建时也正确）；③ 只有两者都不可用时才回退到字符串后缀解析。v3/v4/v5 不受影响（没有第二套 id 空间，验证直接以对象 id 为键，已核对 formalId/formalOf 只做 idSafe）。新增 14 条行为断言（formal-verify-v2 第 14c 节）：两个同前缀对象各自有自己的证明；对 r-pAmb-s1 的忠实性提示词必须指向它自己的证明；defect 必须降级并撤回它自己的证明、TODO 写它；邻居 pAmb 必须仍是 passed 且其归档证明文件分毫未动；验证记录里必须写着权威所有者 objectId。套件 334 → 348。v2.3.5 是 round 5：把\"注释/字符串扫描器\"这一类缺陷追到所有自带扫描器的脚本上。audit-v5-integrity.mjs（静态自检：调用了但未定义的函数 / 未声明的 params.X 读取 / 会话 API 上不存在的方法 / 遗留开发标记）的 stripNoise() 完全不认正则字面量，而 v5 源码里有一个字符类带双引号的 sanitize 正则，那个引号被当成字符串开头。实测（旧 vs 新逐行比对，v5 共 4365 行）：30 行不一致（都是含\"字符类里有引号\"的正则的行），抹除后的文本无法通过 node --check；本次没有任何调用名 / params.* 读取 / s.*() 方法被漏掉，所以是潜在盲区而非已发生的漏检 —— 但只要某个被检查的标识符恰好只出现在这种行上就会完全隐形。现把 stripNoise() 升级为与 audit-prompt-invariants.mjs 同一套词法处理（正则字面量 + 字符类 + 转义 + flags + 关键字规则），正则与字符串统一替换为值占位符；并给该审计加上解析级自检：抹除后的 v5 源码必须仍能被 node --check 解析，且\"引号在字符类里的正则 + 紧随其后的注释\"夹具必须完好。灵敏度实测：把旧扫描器放回去，审计立刻报 stripNoise() corrupted the source it scans（exit 1），换回新版则 clean；39 条 v5 灵敏度探针仍全红。（过程教训：第一版测量用\"文件里下一个引号\"估算受影响区域，得出\"402 行 / 20 个函数\"的错误结论；该扫描器遇到换行即结束字符串，真实影响是 30 行。发布前逐行复核才发现并改正 —— 先量准再下结论。）v2.3.4 是 round 4：只审上一轮改动过的东西（2.3.3 修好的注释扫描器 —— 它是 I1/I13/I14 三条不变式的地基 —— 与它新增的 X5–X7 自检）。扫描器还剩一个盲区：判据\"这个斜杠是正则还是除法\"只看前一个字符，于是关键字后面的正则被读成除法 —— 而 v3 源码里真有 return /^\\s*import\\s+/.test(l) 与 return /\\n$/.test(out) 两处；这两处字符类里恰好没有引号所以今天还没坏，但只要有人在 return /…/ 的正则里写一个引号（如 return /[\"']/.test(s)），扫描器就会把那个引号当成字符串开头、此后整个文件词法状态都是错的，又回到 2.3.2 修掉的坑。现把判据从\"前一个字符\"升级为\"前一个记号\"：除运算符/开括号外，return/typeof/case/delete/void/instanceof/in/of/yield/await/new/do/else 之后也按正则解析，标识符、右括号、右方括号之后仍按除法。并新增解析级判据 X8/X8b：X8 要求四套源码\"抹掉注释\"之后的产物仍能被 node --check 解析（扫描器读错代码时产物往往直接语法错误）；X8b 是专测关键字规则的夹具（return /[\"']/.test(l) + 紧随其后的注释）。灵敏度已实测：2.3.2 的扫描器让四个预设全部 SyntaxError（X8 红），2.3.3 的扫描器 X8 绿但 X8b 红（紧随其后的注释没被抹掉），当前版本两者皆绿 —— 即 X8 守住大回退、X8b 守住这个窄口子，2.3.3 的扫描器会被 X8b 判红。不变式 151 → 157。本版只改随包发布的审计脚本与文档，四套预设字节未变。依赖宿主提供的 subagents/agents/tools/commands/fs 服务与 @deepseek-ai/dsh-* 插件行；可选 subprocess/sandboxPolicy/compaction。persona 行同时携带 prefix 与 text 两个键，以兼容 0.1.3-alpha.2 的 schema 更名（prefix 必填）与 0.1.2 及更早的 text 键。已在 dsh-v0.1.5-rc.2（@deepseek-ai/dsh-persona 0.1.5-rc.2）上逐行校验全部预设行并通过（v2/v3/v4；v1 已于 v2.0.0 移除）。注意：DSH 0.1.2 起 subagents.startContinuable 的 agentOptions/toolFilter 需要宿主 provider 声明对应 capability（spawn/fork 进程内 provider 均支持），安装器启动时会做能力自检并在旧版宿主上告警。2026 兼容性修复：v2/v3 工具权限名表原先硬编码 web/fetch/bash（未注册名会使 tools.restrict() 抛错、子代理无法建立），现按真实注册名并加带守卫的重试；v4 真实 /compact 原先在 subagent/end 里查 agents.get()（该事件触发时子代理已移出注册表，属死代码），现改为在 subagent/start 捕获 Agent 引用；三套预设的可选服务改为惰性读取，不再在 apply() 快照；v4 的 tools/commands 注册补入 ctx.effect；安装器自检新增 subprocess/sandboxPolicy/compaction。v2.1.0 新增 v5 研究所体系：状态存于宿主 host-only 会话投影单元（键 vibeMathV5），因此自检新增 sessionProjections/sessions（均为可选；缺失时 v5 回退到加固 JSON 状态文件）。v5 不依赖任何 npm 实验包，纯 preset 内单文件实现。v2.3.3 是 2.3.2 之后的确认轮（重新审计改动过的每一处：四套插件、四套套件、共享契约，以及审计脚本自身），修掉一处真实缺陷与两处同类/字面问题：① v2 的 formal.decision=used 回执**无条件**把记录写成 attempted —— 一句「这一轮碰了形式化」会把已经 passed 的对象在两个 id 空间上一起降级，而 proof 指针仍留着（记录自相矛盾），后果是后续审查提示词丢掉忠实性分支、require 档对一份已跑通的归档证明重新关门并把对象丢进形式化待办；现改为先取合并后的记录状态（formalGateRecord，两套 id 都认），passed/blocked 一律保留，只有从未尝试起步才写 attempted（与 v4 的 formalSetRun 缺陷同类，只是长在回执通道上且只长在一套里）。② v3 的 used 分支只保留 passed（prev.status === passed ? passed : attempted），会把 blocked 打回 attempted —— blocked 本身就是「门禁已放行」的记录，一句 used 就把门禁重新关上；现两者都保留，四套同构。③ 共享契约 docs/formal-verification.md §4 迁移表有两行与实现相反（used 行与两行 lean_run 都写成「→ attempted」），而规范文档写反最危险之处是下一次修改会照它写（2.3.2 修好 v2 后若只读契约就会把修复改回去）；现已改正为「已是 passed/blocked 则保持原状」，并补上「lean_archive kind=proof 但运行失败 → attempted + 清空 proof + 撤回旧归档证明」这一行，四套实现方案与 v5 规格同步，audit-spec-traceability 增加 3 条字面校验（91 → 94）。④ 审计脚本自身的守卫加固：audit-prompt-invariants.mjs 的注释扫描器此前不认正则字面量，而四套源码都含一个「字符类里带双引号」的 sanitize 正则字面量，旧扫描器把那个引号当成字符串开头、此后整个文件词法状态都是错的（实测新旧逐行比对：v2 190 行 / v3 159 行 / v4 14 行 / v5 121 行不同，典型后果是真实代码行被当注释抹掉 → 真缺陷可能被 I1/I13/I14 漏看）；现在扫描器支持正则字面量（字符类/转义/flags）并新增 X5–X7 三条自检（正则里的引号不得吞掉注释、字符串里的 // 必须保留、转义斜杠不得提前结束正则，且都保持行结构），修复前 X5 会变红。⑤ 行为断言补齐四套同构（此前只有 v4 断言「普通 run 不降级 passed」）：四套各新增 used 回执不得降级已 passed 对象、不得把 blocked 打回 attempted、普通 lean_run 不得降级 passed，v2 还断言「used 之后 require 门禁仍放行（把该轮驱动到一致为真不会产生 formal-required 待办）」；本轮是先用断言复现（v2 修复前实测三条变红：got attempted），再修复。套件断言 v2 334 / v3 294 / v4 277 / v5 153 / prompt-v5-integrity 506，audit-prompt-invariants 151/0（--self-probe 5/5），audit-spec-traceability 94/0。v2.3.2 是对四个架构各做一轮深度审计 + 横向同构对照后的修复版（无破坏性变更，默认仍为 off），修掉三处会让「严格验证」失效或不可用的高危缺陷：① v3 的四个 Lean 参数从未写进 vibe_math_set_params 的参数 schema（该 schema 是 additionalProperties:false，遵守 schema 的 provider 会拒绝这个调用）→ 用户永远无法开启该功能，而套件全绿（它直接调 handler、绕过 schema）；② v2 的 require 门禁只读验证侧自己的 id，而代理用对象 id 归档、别名同步只更新已存在的键 → 「归档了 passed、验证侧还没有记录」时门禁永远搁置，搁置本身又写下 rId=none，于是每轮重开一次辩论、对象永远无法定论并饿死其它对象；③ v4 的 formalSetRun 硬编码 status=attempted，把已验证对象的 passed 抹掉（与注释、规格、v2/v5 都矛盾）→ 一次随手 lean_run 就让对象丢掉「已形式化」，忠实性分支消失、require 档对已有绿色证明的对象重新关门。另修 v2 的一处门禁旁路（settleVerdict 的「判断命题」转移在 v=0 时直接写 布尔估计=0/已验证/优先级 never 并压入 正确概率:1 条目，完全不看门禁）。撤回语义按 v5 的正确做法统一四套：撤回归档证明时先删、再用 fs 复核文件真的没了、仍在则就地覆盖为撤回说明，并如实公告是哪一种（含两者都失败的告警）；lean_archive kind=proof 跑红时不再保留 prev.proof（proof 只属于 passed）并撤回旧的归档证明。提示词/交互修复：忠实性分支改为按档位承诺（只有 require 有门禁，encourage 明确写「本档没有门禁：请务必给弃权值」）；无 Lean 工具链的出路同时点名 LEAN_NOT_FOUND 与 NO_SUBPROCESS；v3 的失败提示不再让人去看并不存在的编译器输出；v4 活动日志里的缩写工具名改为注册名（并纳入注入文本扫描）；v2 的工作轮不再把可复用引理指向项目内不存在的 Formal/Proved/；v2 的 kind=def/lemma 跑红不再声称可复用；v3 setup 的重复 plannerPersona 去重；v4 规格里的幽灵工具 vibe_v4_propose_verify 修正为回执字段。语料确定性：v5 语料此前的非确定有三层根因（心跳/会议依赖真实时钟与异步顺序、最闲成员抖动、写入端只按 kind 排序），现由套件虚拟时钟 + 单成员研究所内捕捉心跳 + 写入端全序排序（kind→owner→prompt）修复，连跑 6 次字节一致且套件 7–9 s → 1.7 s；v3 的 20 条 planner:* 随机 plan id 与 epoch 时间戳一并 scrub。新增两个随包发布的常驻守卫：audit-prompt-invariants.mjs（四套 × 26 条静态不变式 + 3 条跨套检查，把历次真实发生过的提示词缺陷类别编码住，当前 121/0）与 audit-spec-traceability.mjs（规格/README 承诺的工具必须真的注册，能识别「文档里说它不存在」的否定语境；四个 Lean 参数必须同时被文档与代码接受；契约 §7 的 terminate()；契约 §8 的门禁收口点无旁路，当前 91/0），以及 run-tests.mjs（并行跑全部套件并打印耗时/加速比/最慢项，修掉 --only x 空格形式被静默忽略与 --json 混入人类输出两个 bug）。AUDIT-CHECKLIST.md 新增 §1.8「四套同构：任何语义修正必须四套同步」——本轮三处高危里有两处正是改一套或四套同写法却无人横向对照造成的。本轮最贵的一处缺陷还暴露出一整类既有测试全都盲的漏洞：四个预设的工具 schema 都由 objParams 以 additionalProperties:false 关闭，schema 没列出的键会被遵守 schema 的 provider 直接拒绝，而提示词/规格/状态行可以全都在说这个参数、套件也可以全绿（套件直接调 handler、绕过 schema）——因此新增三重守卫：① 四套各自的 formal-verify-vN 套件现在直接检查**真实注册的** schema 对象（封闭性 + 四个 Lean 参数 + formalVerify 的 enum 恰好三档，已用探针证明：去掉 v3 真实注册那份的 leanArgs 立刻变红）；② audit-prompt-invariants.mjs 新增 I13（每一处 set 工具定义都必须声明这四个参数，且每一份 objParams 都必须关闭 schema）；③ 新增 I14（schema 声明的每个键都必须被参数层真正接收：v2/v3 的闸门是 DEFAULT_PARAMS 键集、v4 是 k in params、v5 是 normalizeParams 的类型列表——声明而不接收 = 调用返回 ok:true 却什么都不发生）。该脚本同时新增 --self-probe：在内存里注入这些缺陷形状，要求对应不变式变红、未变异的对照跑仍为绿（5/5），现为 145 条不变式。套件断言 v2 319 / v3 283 / v4 269 / v5 145 / prompt-v5-integrity 506，e2e-v4-fixes 修掉并行下的抖动（T21 会议看门狗 80 ms 在 CPU 争用下提前放弃会议）；全量并行回归连续 3 次 23/23 全绿（最新实测 wall 111.5 s / sum 221.5 s / x1.99）。v2.3.1 是审计驱动的提示词/交互修复版（无破坏性变更，默认仍为 off）：① 忠实性缺陷不再被记成「命题为假」——新增回执取值 decision='defect'（表决者发现 Lean 代码与命题原文不一致时不得投 0，给中间值并记录具体偏差；框架随即把该对象降级为 attempted、清空 proof、撤回归档证明 Verified/Lean/<id>.lean、写入 Formal/TODO.md，require 档下本次裁定不定论），encourage 档不承诺它无法强制的搁置；② 修复 v2 的 formal 回执通道是死代码（提示词要求写进回执、契约里却没有该字段、框架也从不解析）——补齐 formalJsonField/formalReplyNote/absorbFormalFromReply 并接进初评与辩论两条路径，套件改为行为断言而非措辞断言；③ 修复 v2/v3 忠实性分支的字段名错误（写成 verdict，真实字段是 Result，会导致该票被静默丢弃）；④ 注入文本里的工具名一律改为注册名全称（v2/v3/v5 原先出现 lean_lib/lean_archive 缩写，含工具自身返回的 hint）；⑤ 新增「归档可复用定义/引理前先跑通」与「宿主无 Lean 工具链（LEAN_NOT_FOUND）时把代码归档并在 note 写明，算显式阻塞原因」两条硬要求；⑥ 四套各自新增随包发布的人工复核语料 prompt-corpus-vN/（覆盖 off/encourage/require/忠实性/工作轮/回执契约），并修复 v5 语料路径归一化在 Windows 大小写差异下漏掉 VibeMath 根绝对路径、导致语料不确定且泄露本机路径的问题；⑦ 新增 16 条提示词灵敏度探针（删掉「不要投 0」、工具名换缩写、删掉 require 门禁措辞、回执契约去掉 defect，各四套），全套件断言 v2 261 / v3 247 / v4 226 / v5 120 / prompt-v5-integrity 588。v2.3.0 为四个架构新增可调控的 Lean 形式化验证（参数 formalVerify = off/encourage/require，默认 off）：验证时按实现难度决定是否用 Lean 形式化（写代码+执行），一旦通过则审查对象从「推导是否正确」变成「Lean 的定义/对象/条件/假设/结论是否忠实于命题原文」；形式化代码归档为命题的证明（Verified/Lean/<id>.lean），可复用定义与已证引理归档到跨项目的 VibeMath/Formal/{Lib,Proved}/。require 档带门禁：真/假结论必须先有 Lean 通过或显式阻塞记录，否则记为未定论并进入形式化待办。共用契约 docs/formal-verification.md，四套各带 formal-verify-vN 套件（v2 177 / v3 189 / v4 144 / v5 88 断言）与 audit-formal-sensitivity.mjs 探针。同一次审计还发现并修复了一整类**静态提示词面**缺陷（persona ↔ 工具注册表，既有套件全部盲）：v2/v3/v4 的 persona 从未列出无条件注册的三个 *_lean_* 工具，v4 的 vibe_v4_set 参数表漏了 formalVerify/leanCommand/leanArgs/leanTimeoutMs，v3 漏了 setup/save_settings/template，v4 漏了 vibe_v4_prompts，v5 漏了增删常驻研究员的工具、且 prefix 与 text 两个块存在文字漂移；现由 audit-persona-surface.test.mjs（197 断言：双向一致性 + 未文档化工具显式快照 + prefix/text 逐行一致 + 斜杠命令 hint/usage/实际分支三处一致 + Lean 参数/档位/路径，并生成随包发布的 prompt-corpus-persona/ 人读语料）与 audit-persona-sensitivity.mjs（11 条探针，含「未变异副本必须为绿」的对照）守护，AUDIT-CHECKLIST.md 新增 §1.6。v2.2.2 新增 v5 架构图（示例图/框架图-v5.svg + docs/generate_framework_diagram_v5.mjs 零依赖 Node 生成器 + vibe-math-v5/架构图.md 全套 Mermaid 细节图），并修复在绘制架构图时暴露的真实缺陷：会议进行中提出的验证会并发启动（会议与验证的互斥此前只做了单向），现改为排队。v2.2.1 把「全面检查必查清单」(AUDIT-CHECKLIST.md) 作为随包强制流程发布，提示词/交互正确性列为第一优先审计维度。v2.2.0 修复实测发现的提示词身份错乱：状态块改为显式接收它所描述的成员，创建成员时先落盘进编制再构造入职提示词，章程快照冻结在入职时，重建会话不再自称“刚入职”，所办调用不再被误判成某位研究员，框架反馈改为独立发送者投递，一次提示词不再重复投递同一条消息，并新增 prompt-v5-integrity 提示词完整性套件 + 可人工复核的提示词语料（随包发布）。",
+    "compatNote": "v2.3.13 仓库归档 + 安装器策略变更（四套预设的代码/提示词字节未变，行为逐字相同）：① 仓库根目录从 68 个条目降到 18 个（7 个文件 + 11 个目录），59 个文件按角色归入 tests/（26 个套件 + 7 个审计守卫 + 3 个人工探针 + 3 个自驱动记录器 + run-tests.mjs）、docs/（AUDIT-CHECKLIST.md、COMPAT-AUDIT-ROUND2.md 与既有文档和 4 个架构图生成器）、docs/release-notes/（18 份历史发布说明）；搬动同时修掉 5 个硬编码绝对路径（其中 audit-fuzz-helpers.mjs 是**随包发布**的，写死了作者机器路径，对任何用户都跑不了；e2e-f1-agent-detach 改为按 npm root -g 定位真实宿主包，并在找不到时报出所有试过的路径）、5 条发布说明里因搬家失效的链接、README 中指向仓库**外部**的 `../COMPAT-AUDIT-ROUND2.md`、README 链接却从未随包的 v2/v3 架构图生成器（已纳入 files），以及 docs/test-timing.md / docs/AUDIT-CHECKLIST.md 与各脚本头部的命令行。\"纯搬动\"有测量为证：25 个套件在**改动前**与**改动后**的检出里各跑一遍，把检出路径、tests/ 这一段、临时目录、缓存串与耗时归一化后**输出逐行相同**（_oneoff/layout-invariance.mjs），断言条数与归档前逐项一致，29 条 README 本地链接 0 失效。② 安装器更新策略改为「版本一变就整体替换」（按你的决定）：记录的版本与包版本不一致（或根本没有记录的老安装）时，受管文件**全部**替换成随包字节，**不再看它是否被用户改过**——旧策略会留下\"一半旧版、一半新版\"的 preset（可能挂不上，或挂上了但与文档不符，从外面完全看不出来），而且一旦被标记为\"用户持有\"就永不更新，连改回原样都不会恢复；被替换的手改原文先备份到 `<presetRoot>/.vibe-math-backup/<旧版本>/<preset>/` 并在日志里逐个列出；同一个版本内仍**不重写任何文件**（重启 DSH 不改写 preset、也不扰动它按 mtime 记的生成代际），缺失文件随时补回，本包不再发布的 preset 目录照旧清理（记录为用户持有的文件保留）。README 明说\"要自定义就复制一份，不要改受管文件\"。③ 新增随包套件 tests/audit-installer-policy.test.mjs（52 条断言，随包发布）：在临时 DSH_HOME 里驱动**真实** apply()，用两个版本的临时包副本证明基线安装、同版本不重写、版本一变即替换并备份原文、缺失补回、旧 preset 清理、以及受管清单覆盖四套预设运行时需要的每个文件；灵敏度实测（_oneoff/probe-installer-policy.mjs）：对着 2.3.12 的安装器跑，10 条断言变红，其中就有\"版本一变，被改过的文件必须被替换\"。④ 市场元数据守卫 19 → 21 条：README 的**每一条本地链接**（不再只是图片）都必须真实存在**且**列在 files 里（两个新断言都用探针证明会变红：_oneoff/probe-market-link-guard.mjs）。⑤ final-verify.mjs 的打包阶段改为把**每一个随包发布的守卫在解包出来的包里各跑一遍**（安装器策略套件还会在包内重新复制四个 preset，因此\"files 漏了某个 preset 文件\"会在打包阶段就红，而不是等用户装上后挂载失败）。附勘察结论：DSH **没有**任何\"插件包自带 preset 并自动安装\"的机制（`dsh plugin add` 只做 pnpm 安装 + 把带 dsh.bundle 的依赖并进 dsh.profile.bundles；`dsh.configTrees` 明确声明\"不注册外部插件行为\"），原生机制只有**根目录发现**，而第三方包面向用户的唯一手段就是写进可写根 `$DSH_HOME/.agent-presets`——即本安装器。用 patch 层给 agent-presets 行塞 `roots` 需要**整体替换**该行 config（等于覆盖部署的默认预设选择）、`roots[].path` 只能靠 `!!js` 算绝对路径（`scanRoot` 里是相对 cwd 的 `resolve`）、且 0.1.2 → 0.1.5 兼容范围内早期 schema 是否接受 `roots` 无从验证（一旦宿主拒绝就是一个 preset 都装不上），故不采用。v2.3.12 三件收尾：① 安装器自检改为读 engines.dsh（顶层优先）/ dsh.engines.dsh —— 与市场卡片**同一个**声明，不再与自用的 dsh.compatibility.dshReleases 表各说各话；installer.js 导出纯函数 satisfiesDshRange / dshVersionVerdict，匹配器支持 * / x / 精确 / ^ / ~ / >= > <= < / 空格组合 / || 分支，并实现 npm 的集合级预发布规则，无法解析一律返回 unknown（只提示、绝不判 incompatible）；已用 npm 自带 semver 7.8.5 逐项比对 320 组（范围×版本×两种预发布语义）0 处不一致，并新增随包套件 audit-installer-compat.test.mjs（54 条断言，含\"dsh.compatibility 里标 compatible 的版本不得被 engines.dsh 判成 incompatible\"这条防两源矛盾的不变式）；顺手修正安装器头部注释的陈旧描述（three presets / ships v2/v3/v4 only → 四套）。② npm 页的 README 图不再裂：README 展示的 5 张本地图此前只有 v4/v5 的 SVG 随包，现把 v2/v3 的 PNG 与实际使用示例长截图一并纳入 files，并在仓库级守卫里新增不变式\"README 里出现的每个本地图片路径都必须列在 files 里\"（包体积 1.0 MB → 4.7 MB）。③ 目录条目文案按实际内容更新并发起第三方 PR #5673（只改我们这一条，+2/-2，en/zh 同步；分支基于上游当前 main —— 你的 fork 停在 2026-08-18、与上游分叉无法 fast-forward，因此没有动 fork 的 main）。另按用户要求删除 2.3.10 在 README 里新增的「插件市场里的展示」整节（维护者视角、与用户了解项目无关），README 中不再有任何市场/元数据内容。v2.3.11 修掉 2.3.10 的一处打包错误：新增的 audit-market-metadata.test.mjs 被列进了 files，于是它随包发布——而这个仓库级守卫校验的是\"仓库里的截图与 README 图片真实存在\"，那些图片是目录从 GitHub 抓取的仓库产物、并不在 npm tarball 里，所以在解包出来的包里运行必然报\"示例图/框架图-v5.png (declared but missing from the repository)\"，发布产物自证因此判红。修法不是放宽断言，而是纠正它的打包契约：该套件是**仓库级**守卫（在检出目录里由 run-tests / final-verify 跑），**不随包发布**；套件自己新增两条断言把这条契约钉住——它不得出现在 package.json files 里（有人再放进去，检出目录里的测试就会先红，而不是等到发布自证才发现），而 screenshots.json 本身必须随包发布（它向安装者说明市场合约）。v2.3.10 补上插件市场（dsh-market / awesome-dsh-plugin 目录）读取的两处声明，并给它们加了防退化守卫：① DSH 版本依赖 —— 市场从**已发布的 npm manifest** 读 `engines.dsh`（顶层优先）或 `dsh.engines.dsh`，与 `@deepseek-ai/dsh*` 的 peerDependencies（若有）一起按\"各自都必须满足\"求交，再用 semver + includePrerelease:true 与宿主版本比较、在卡片上显示兼容性；本包此前只有自用的 dsh.minVersion/testedVersion（市场不读），因此卡片一直显示\"未声明\"。现两处都声明 `>=0.1.2-alpha.4 <0.1.3-0 || >=0.1.3-alpha.2 <0.1.5-0 || >=0.1.5-alpha.1 <0.2.0-0`：用显式预发布分支覆盖我们真正验证过的每个 tuple（0.1.2 / 0.1.3+0.1.4 / 0.1.5），并带 <0.2.0-0 上限，使默认语义与 includePrerelease 语义下判定一致（已用 semver 7.8.5 逐版本实测：0.1.2-alpha.4…0.1.5-rc.2 全通过，0.1.1-*、0.2.0-rc.1、0.2.0、1.0.0 全拒绝）。② 展示图 —— 市场从**仓库里的 screenshots.json**（package.json 旁边）读 1–8 张图，作者自己推仓即可生效、无需 PR；本包此前没有该文件，于是吃到目录里的历史遗留条目（指向已删除的 框架图-v1.png，首图 404 被静默丢弃）。现新增 screenshots.json（v5/v4/v3/v2 四张架构图，前两张由新的零依赖 SVG 渲染为 1:1 PNG），旧遗留键会被目录的清理脚本自动移除。③ 新增随包发布的守卫 audit-market-metadata.test.mjs（进并行回归）：断言 dsh.bundle.patch 存在、两处 DSH 声明存在且等于经验证的链、链覆盖 dsh.compatibility 里所有标记 compatible 的版本、带显式上限、screenshots.json 为 1–8 张且每个路径**真实存在**（正是历史遗留条目烂掉的那一类）、README 里的每张图都存在。v2.3.9 把 v4 架构图从 matplotlib 位图换成零依赖 Node 生成的 SVG（示例图/框架图-v4.svg，生成器 docs/generate_framework_diagram_v4.mjs 随包发布），与 v5 同一套版式语言：分带呈现定论门槛（全体一致为真/为假才入 Verified/，没有 forced/flat/近共识收口）、常驻层（continuable 持久会话、只写自己的库、跨读他人库）、框架六面（消息总线邮件箱、会议辩论与验证互斥、任务板只搬运、全票共识验证、上下文 compact、活性并发恢复）、数据面（真实路径：Progress/Propos/Methods/Subproblems、Shared/、Verified/、State/*.json 与锁/进程纪元）与哲学红线，并附图例；生成时会估算文字宽度，任何一行溢出容器即告警并以退出码 1 结束。旧文件 docs/generate_framework_diagram_v4.py 与 示例图/框架图-v4.png 已删除（git 历史可查），README 图源改为 SVG 且该 SVG 已随包发布（npm 上不再图裂）。绘图时逐项核对了实现，顺手改正了初版图里的两处字段错误（reject_assign 是 v5 的字段、vote_solved 应为 voteSolved）与一处不存在的路径（Shared/decisions.md → 实际是 State/decisions.json）。无代码行为变更，四套预设字节未变。v2.3.8 是纯文档版（无代码、无预设字节变化）：把 round 7/8 的结论写进共享契约与强制审计流程，免得下一轮审计重新把它当新问题或按另一种方式改 —— ① docs/formal-verification.md §4 补两条边界：记录与归档文件在框架侧\"同生共死\"，但**外部**删除 Verified/Lean/<id>.lean 不会自动降级记录（passed 是状态文件里的权威状态，门禁查询只读、不做文件存在性探测），人工动过文件后请一并修正记录或重新归档；v2 的 id 映射同理，记录里持久化的 objectId 必须**自洽**（不以 r- 开头）才被采纳。② AUDIT-CHECKLIST §1.10 补一条检查项「从用户可编辑的状态文件里读出来的『权威值』是否先做了自洽校验」，并写入 2.3.7 的真实事故。③ v2 实现方案 §9.3 同步该自洽条件。v2.3.7 是 round 8：把 2.3.6 新引入的「记录里持久化权威 objectId」这条机制自己审一遍。2.3.6 让 formalObjectIdOf 在任务表不可用时读记录里的 objectId（跨 resume 生效），但状态文件是可编辑的（VibeMath_State/formal.json，仓库里本来就有\"文件被改坏也要能继续\"的守卫测试）：若某条记录的 objectId 自己就是 r 形（r-pX），\"验证 id → 对象 id\"就会映射到它自己，于是 putFormalBothIds 认为两侧是同一个 id、只写验证侧，对象侧仍然 passed —— 又回到\"成对关系只做一半\"的静默错位。触发路径已实测：工作轮回执（explorer/solver 回执同样带 formal）在没有验证任务在内存时走\"读记录锚点\"这条兜底路径。修复：读取锚点与写入锚点都要求\"锚点自洽\"（formalObjectIdOfIsOwner：不以 r- 开头、不可能再被解析成别的 id）。写入侧的两道守卫目前无法用用例证明必要性（现有写入者手里的值都来自 formalObjectIdOf，本身不会是 r 形；我一度写的\"归档写在 rId 上会污染锚点\"的用例实测恒真，已删除），因此按纵深防御保留并如此标注；真正被证明有效的是读取侧守卫。新增 5 条断言（formal-verify-v2 第 14d 节）：手改出的 r 形锚点 + 工作轮回执点名 r-pX 报 defect → 对象侧必须被降级（锚点被拒绝而不是被信任）、验证侧同样降级。灵敏度实测（_oneoff/probe-v2-anchor-guard.mjs）：去掉读取侧守卫 → 该用例立刻变红，装回 → 全绿。套件 348 → 353。v2.3.6 修复 2.3.2 审计中记录为「存疑、需契约决策」的那条 id 解析歧义 —— round 7 先把它做成可复现用例，确认不是理论问题而是真实可达的数据破坏：v2 有两套 id（对象 id 与验证 rId），二者靠唯一一处 formalObjectIdOf 转换，而它无条件剥离 -sN/-pfN/-rfN 后缀；但对象 id 本身就可能以 -s1 结尾（命题 pAmb-s1 的验证 id 是 r-pAmb-s1），映射于是得到 pAmb —— 另一个对象。实测（修前 6 条断言变红）：忠实性提示词打印的是邻居 pAmb 的证明路径；一句 formal:{target:「r-pAmb-s1」,decision:「defect」} 会把 pAmb 降级为 attempted，并**撤回 Verified/Lean/pAmb.lean**（一句关于 A 的回执删掉 B 的归档证明，不可逆）；而真正有问题的 pAmb-s1 仍然是 passed、TODO 里也没有它。修复：formalObjectIdOf 改为按权威度取来源 —— ① 验证任务自己的所有者（tasks[verify:+rId].r.pId|qid，框架生成 rId 时就知道对象是谁）；② 记录里的 objectId（由 syncVerificationTarget 与 putFormalBothIds 在手里确实有对象 id 时写入，因此跨 resume、任务表尚未重建时也正确）；③ 只有两者都不可用时才回退到字符串后缀解析。v3/v4/v5 不受影响（没有第二套 id 空间，验证直接以对象 id 为键，已核对 formalId/formalOf 只做 idSafe）。新增 14 条行为断言（formal-verify-v2 第 14c 节）：两个同前缀对象各自有自己的证明；对 r-pAmb-s1 的忠实性提示词必须指向它自己的证明；defect 必须降级并撤回它自己的证明、TODO 写它；邻居 pAmb 必须仍是 passed 且其归档证明文件分毫未动；验证记录里必须写着权威所有者 objectId。套件 334 → 348。v2.3.5 是 round 5：把\"注释/字符串扫描器\"这一类缺陷追到所有自带扫描器的脚本上。audit-v5-integrity.mjs（静态自检：调用了但未定义的函数 / 未声明的 params.X 读取 / 会话 API 上不存在的方法 / 遗留开发标记）的 stripNoise() 完全不认正则字面量，而 v5 源码里有一个字符类带双引号的 sanitize 正则，那个引号被当成字符串开头。实测（旧 vs 新逐行比对，v5 共 4365 行）：30 行不一致（都是含\"字符类里有引号\"的正则的行），抹除后的文本无法通过 node --check；本次没有任何调用名 / params.* 读取 / s.*() 方法被漏掉，所以是潜在盲区而非已发生的漏检 —— 但只要某个被检查的标识符恰好只出现在这种行上就会完全隐形。现把 stripNoise() 升级为与 audit-prompt-invariants.mjs 同一套词法处理（正则字面量 + 字符类 + 转义 + flags + 关键字规则），正则与字符串统一替换为值占位符；并给该审计加上解析级自检：抹除后的 v5 源码必须仍能被 node --check 解析，且\"引号在字符类里的正则 + 紧随其后的注释\"夹具必须完好。灵敏度实测：把旧扫描器放回去，审计立刻报 stripNoise() corrupted the source it scans（exit 1），换回新版则 clean；39 条 v5 灵敏度探针仍全红。（过程教训：第一版测量用\"文件里下一个引号\"估算受影响区域，得出\"402 行 / 20 个函数\"的错误结论；该扫描器遇到换行即结束字符串，真实影响是 30 行。发布前逐行复核才发现并改正 —— 先量准再下结论。）v2.3.4 是 round 4：只审上一轮改动过的东西（2.3.3 修好的注释扫描器 —— 它是 I1/I13/I14 三条不变式的地基 —— 与它新增的 X5–X7 自检）。扫描器还剩一个盲区：判据\"这个斜杠是正则还是除法\"只看前一个字符，于是关键字后面的正则被读成除法 —— 而 v3 源码里真有 return /^\\s*import\\s+/.test(l) 与 return /\\n$/.test(out) 两处；这两处字符类里恰好没有引号所以今天还没坏，但只要有人在 return /…/ 的正则里写一个引号（如 return /[\"']/.test(s)），扫描器就会把那个引号当成字符串开头、此后整个文件词法状态都是错的，又回到 2.3.2 修掉的坑。现把判据从\"前一个字符\"升级为\"前一个记号\"：除运算符/开括号外，return/typeof/case/delete/void/instanceof/in/of/yield/await/new/do/else 之后也按正则解析，标识符、右括号、右方括号之后仍按除法。并新增解析级判据 X8/X8b：X8 要求四套源码\"抹掉注释\"之后的产物仍能被 node --check 解析（扫描器读错代码时产物往往直接语法错误）；X8b 是专测关键字规则的夹具（return /[\"']/.test(l) + 紧随其后的注释）。灵敏度已实测：2.3.2 的扫描器让四个预设全部 SyntaxError（X8 红），2.3.3 的扫描器 X8 绿但 X8b 红（紧随其后的注释没被抹掉），当前版本两者皆绿 —— 即 X8 守住大回退、X8b 守住这个窄口子，2.3.3 的扫描器会被 X8b 判红。不变式 151 → 157。本版只改随包发布的审计脚本与文档，四套预设字节未变。依赖宿主提供的 subagents/agents/tools/commands/fs 服务与 @deepseek-ai/dsh-* 插件行；可选 subprocess/sandboxPolicy/compaction。persona 行同时携带 prefix 与 text 两个键，以兼容 0.1.3-alpha.2 的 schema 更名（prefix 必填）与 0.1.2 及更早的 text 键。已在 dsh-v0.1.5-rc.2（@deepseek-ai/dsh-persona 0.1.5-rc.2）上逐行校验全部预设行并通过（v2/v3/v4；v1 已于 v2.0.0 移除）。注意：DSH 0.1.2 起 subagents.startContinuable 的 agentOptions/toolFilter 需要宿主 provider 声明对应 capability（spawn/fork 进程内 provider 均支持），安装器启动时会做能力自检并在旧版宿主上告警。2026 兼容性修复：v2/v3 工具权限名表原先硬编码 web/fetch/bash（未注册名会使 tools.restrict() 抛错、子代理无法建立），现按真实注册名并加带守卫的重试；v4 真实 /compact 原先在 subagent/end 里查 agents.get()（该事件触发时子代理已移出注册表，属死代码），现改为在 subagent/start 捕获 Agent 引用；三套预设的可选服务改为惰性读取，不再在 apply() 快照；v4 的 tools/commands 注册补入 ctx.effect；安装器自检新增 subprocess/sandboxPolicy/compaction。v2.1.0 新增 v5 研究所体系：状态存于宿主 host-only 会话投影单元（键 vibeMathV5），因此自检新增 sessionProjections/sessions（均为可选；缺失时 v5 回退到加固 JSON 状态文件）。v5 不依赖任何 npm 实验包，纯 preset 内单文件实现。v2.3.3 是 2.3.2 之后的确认轮（重新审计改动过的每一处：四套插件、四套套件、共享契约，以及审计脚本自身），修掉一处真实缺陷与两处同类/字面问题：① v2 的 formal.decision=used 回执**无条件**把记录写成 attempted —— 一句「这一轮碰了形式化」会把已经 passed 的对象在两个 id 空间上一起降级，而 proof 指针仍留着（记录自相矛盾），后果是后续审查提示词丢掉忠实性分支、require 档对一份已跑通的归档证明重新关门并把对象丢进形式化待办；现改为先取合并后的记录状态（formalGateRecord，两套 id 都认），passed/blocked 一律保留，只有从未尝试起步才写 attempted（与 v4 的 formalSetRun 缺陷同类，只是长在回执通道上且只长在一套里）。② v3 的 used 分支只保留 passed（prev.status === passed ? passed : attempted），会把 blocked 打回 attempted —— blocked 本身就是「门禁已放行」的记录，一句 used 就把门禁重新关上；现两者都保留，四套同构。③ 共享契约 docs/formal-verification.md §4 迁移表有两行与实现相反（used 行与两行 lean_run 都写成「→ attempted」），而规范文档写反最危险之处是下一次修改会照它写（2.3.2 修好 v2 后若只读契约就会把修复改回去）；现已改正为「已是 passed/blocked 则保持原状」，并补上「lean_archive kind=proof 但运行失败 → attempted + 清空 proof + 撤回旧归档证明」这一行，四套实现方案与 v5 规格同步，audit-spec-traceability 增加 3 条字面校验（91 → 94）。④ 审计脚本自身的守卫加固：audit-prompt-invariants.mjs 的注释扫描器此前不认正则字面量，而四套源码都含一个「字符类里带双引号」的 sanitize 正则字面量，旧扫描器把那个引号当成字符串开头、此后整个文件词法状态都是错的（实测新旧逐行比对：v2 190 行 / v3 159 行 / v4 14 行 / v5 121 行不同，典型后果是真实代码行被当注释抹掉 → 真缺陷可能被 I1/I13/I14 漏看）；现在扫描器支持正则字面量（字符类/转义/flags）并新增 X5–X7 三条自检（正则里的引号不得吞掉注释、字符串里的 // 必须保留、转义斜杠不得提前结束正则，且都保持行结构），修复前 X5 会变红。⑤ 行为断言补齐四套同构（此前只有 v4 断言「普通 run 不降级 passed」）：四套各新增 used 回执不得降级已 passed 对象、不得把 blocked 打回 attempted、普通 lean_run 不得降级 passed，v2 还断言「used 之后 require 门禁仍放行（把该轮驱动到一致为真不会产生 formal-required 待办）」；本轮是先用断言复现（v2 修复前实测三条变红：got attempted），再修复。套件断言 v2 334 / v3 294 / v4 277 / v5 153 / prompt-v5-integrity 506，audit-prompt-invariants 151/0（--self-probe 5/5），audit-spec-traceability 94/0。v2.3.2 是对四个架构各做一轮深度审计 + 横向同构对照后的修复版（无破坏性变更，默认仍为 off），修掉三处会让「严格验证」失效或不可用的高危缺陷：① v3 的四个 Lean 参数从未写进 vibe_math_set_params 的参数 schema（该 schema 是 additionalProperties:false，遵守 schema 的 provider 会拒绝这个调用）→ 用户永远无法开启该功能，而套件全绿（它直接调 handler、绕过 schema）；② v2 的 require 门禁只读验证侧自己的 id，而代理用对象 id 归档、别名同步只更新已存在的键 → 「归档了 passed、验证侧还没有记录」时门禁永远搁置，搁置本身又写下 rId=none，于是每轮重开一次辩论、对象永远无法定论并饿死其它对象；③ v4 的 formalSetRun 硬编码 status=attempted，把已验证对象的 passed 抹掉（与注释、规格、v2/v5 都矛盾）→ 一次随手 lean_run 就让对象丢掉「已形式化」，忠实性分支消失、require 档对已有绿色证明的对象重新关门。另修 v2 的一处门禁旁路（settleVerdict 的「判断命题」转移在 v=0 时直接写 布尔估计=0/已验证/优先级 never 并压入 正确概率:1 条目，完全不看门禁）。撤回语义按 v5 的正确做法统一四套：撤回归档证明时先删、再用 fs 复核文件真的没了、仍在则就地覆盖为撤回说明，并如实公告是哪一种（含两者都失败的告警）；lean_archive kind=proof 跑红时不再保留 prev.proof（proof 只属于 passed）并撤回旧的归档证明。提示词/交互修复：忠实性分支改为按档位承诺（只有 require 有门禁，encourage 明确写「本档没有门禁：请务必给弃权值」）；无 Lean 工具链的出路同时点名 LEAN_NOT_FOUND 与 NO_SUBPROCESS；v3 的失败提示不再让人去看并不存在的编译器输出；v4 活动日志里的缩写工具名改为注册名（并纳入注入文本扫描）；v2 的工作轮不再把可复用引理指向项目内不存在的 Formal/Proved/；v2 的 kind=def/lemma 跑红不再声称可复用；v3 setup 的重复 plannerPersona 去重；v4 规格里的幽灵工具 vibe_v4_propose_verify 修正为回执字段。语料确定性：v5 语料此前的非确定有三层根因（心跳/会议依赖真实时钟与异步顺序、最闲成员抖动、写入端只按 kind 排序），现由套件虚拟时钟 + 单成员研究所内捕捉心跳 + 写入端全序排序（kind→owner→prompt）修复，连跑 6 次字节一致且套件 7–9 s → 1.7 s；v3 的 20 条 planner:* 随机 plan id 与 epoch 时间戳一并 scrub。新增两个随包发布的常驻守卫：audit-prompt-invariants.mjs（四套 × 26 条静态不变式 + 3 条跨套检查，把历次真实发生过的提示词缺陷类别编码住，当前 121/0）与 audit-spec-traceability.mjs（规格/README 承诺的工具必须真的注册，能识别「文档里说它不存在」的否定语境；四个 Lean 参数必须同时被文档与代码接受；契约 §7 的 terminate()；契约 §8 的门禁收口点无旁路，当前 91/0），以及 run-tests.mjs（并行跑全部套件并打印耗时/加速比/最慢项，修掉 --only x 空格形式被静默忽略与 --json 混入人类输出两个 bug）。AUDIT-CHECKLIST.md 新增 §1.8「四套同构：任何语义修正必须四套同步」——本轮三处高危里有两处正是改一套或四套同写法却无人横向对照造成的。本轮最贵的一处缺陷还暴露出一整类既有测试全都盲的漏洞：四个预设的工具 schema 都由 objParams 以 additionalProperties:false 关闭，schema 没列出的键会被遵守 schema 的 provider 直接拒绝，而提示词/规格/状态行可以全都在说这个参数、套件也可以全绿（套件直接调 handler、绕过 schema）——因此新增三重守卫：① 四套各自的 formal-verify-vN 套件现在直接检查**真实注册的** schema 对象（封闭性 + 四个 Lean 参数 + formalVerify 的 enum 恰好三档，已用探针证明：去掉 v3 真实注册那份的 leanArgs 立刻变红）；② audit-prompt-invariants.mjs 新增 I13（每一处 set 工具定义都必须声明这四个参数，且每一份 objParams 都必须关闭 schema）；③ 新增 I14（schema 声明的每个键都必须被参数层真正接收：v2/v3 的闸门是 DEFAULT_PARAMS 键集、v4 是 k in params、v5 是 normalizeParams 的类型列表——声明而不接收 = 调用返回 ok:true 却什么都不发生）。该脚本同时新增 --self-probe：在内存里注入这些缺陷形状，要求对应不变式变红、未变异的对照跑仍为绿（5/5），现为 145 条不变式。套件断言 v2 319 / v3 283 / v4 269 / v5 145 / prompt-v5-integrity 506，e2e-v4-fixes 修掉并行下的抖动（T21 会议看门狗 80 ms 在 CPU 争用下提前放弃会议）；全量并行回归连续 3 次 23/23 全绿（最新实测 wall 111.5 s / sum 221.5 s / x1.99）。v2.3.1 是审计驱动的提示词/交互修复版（无破坏性变更，默认仍为 off）：① 忠实性缺陷不再被记成「命题为假」——新增回执取值 decision='defect'（表决者发现 Lean 代码与命题原文不一致时不得投 0，给中间值并记录具体偏差；框架随即把该对象降级为 attempted、清空 proof、撤回归档证明 Verified/Lean/<id>.lean、写入 Formal/TODO.md，require 档下本次裁定不定论），encourage 档不承诺它无法强制的搁置；② 修复 v2 的 formal 回执通道是死代码（提示词要求写进回执、契约里却没有该字段、框架也从不解析）——补齐 formalJsonField/formalReplyNote/absorbFormalFromReply 并接进初评与辩论两条路径，套件改为行为断言而非措辞断言；③ 修复 v2/v3 忠实性分支的字段名错误（写成 verdict，真实字段是 Result，会导致该票被静默丢弃）；④ 注入文本里的工具名一律改为注册名全称（v2/v3/v5 原先出现 lean_lib/lean_archive 缩写，含工具自身返回的 hint）；⑤ 新增「归档可复用定义/引理前先跑通」与「宿主无 Lean 工具链（LEAN_NOT_FOUND）时把代码归档并在 note 写明，算显式阻塞原因」两条硬要求；⑥ 四套各自新增随包发布的人工复核语料 prompt-corpus-vN/（覆盖 off/encourage/require/忠实性/工作轮/回执契约），并修复 v5 语料路径归一化在 Windows 大小写差异下漏掉 VibeMath 根绝对路径、导致语料不确定且泄露本机路径的问题；⑦ 新增 16 条提示词灵敏度探针（删掉「不要投 0」、工具名换缩写、删掉 require 门禁措辞、回执契约去掉 defect，各四套），全套件断言 v2 261 / v3 247 / v4 226 / v5 120 / prompt-v5-integrity 588。v2.3.0 为四个架构新增可调控的 Lean 形式化验证（参数 formalVerify = off/encourage/require，默认 off）：验证时按实现难度决定是否用 Lean 形式化（写代码+执行），一旦通过则审查对象从「推导是否正确」变成「Lean 的定义/对象/条件/假设/结论是否忠实于命题原文」；形式化代码归档为命题的证明（Verified/Lean/<id>.lean），可复用定义与已证引理归档到跨项目的 VibeMath/Formal/{Lib,Proved}/。require 档带门禁：真/假结论必须先有 Lean 通过或显式阻塞记录，否则记为未定论并进入形式化待办。共用契约 docs/formal-verification.md，四套各带 formal-verify-vN 套件（v2 177 / v3 189 / v4 144 / v5 88 断言）与 audit-formal-sensitivity.mjs 探针。同一次审计还发现并修复了一整类**静态提示词面**缺陷（persona ↔ 工具注册表，既有套件全部盲）：v2/v3/v4 的 persona 从未列出无条件注册的三个 *_lean_* 工具，v4 的 vibe_v4_set 参数表漏了 formalVerify/leanCommand/leanArgs/leanTimeoutMs，v3 漏了 setup/save_settings/template，v4 漏了 vibe_v4_prompts，v5 漏了增删常驻研究员的工具、且 prefix 与 text 两个块存在文字漂移；现由 audit-persona-surface.test.mjs（197 断言：双向一致性 + 未文档化工具显式快照 + prefix/text 逐行一致 + 斜杠命令 hint/usage/实际分支三处一致 + Lean 参数/档位/路径，并生成随包发布的 prompt-corpus-persona/ 人读语料）与 audit-persona-sensitivity.mjs（11 条探针，含「未变异副本必须为绿」的对照）守护，AUDIT-CHECKLIST.md 新增 §1.6。v2.2.2 新增 v5 架构图（示例图/框架图-v5.svg + docs/generate_framework_diagram_v5.mjs 零依赖 Node 生成器 + vibe-math-v5/架构图.md 全套 Mermaid 细节图），并修复在绘制架构图时暴露的真实缺陷：会议进行中提出的验证会并发启动（会议与验证的互斥此前只做了单向），现改为排队。v2.2.1 把「全面检查必查清单」(AUDIT-CHECKLIST.md) 作为随包强制流程发布，提示词/交互正确性列为第一优先审计维度。v2.2.0 修复实测发现的提示词身份错乱：状态块改为显式接收它所描述的成员，创建成员时先落盘进编制再构造入职提示词，章程快照冻结在入职时，重建会话不再自称“刚入职”，所办调用不再被误判成某位研究员，框架反馈改为独立发送者投递，一次提示词不再重复投递同一条消息，并新增 prompt-v5-integrity 提示词完整性套件 + 可人工复核的提示词语料（随包发布）。",
     "compatibility": {
       "dshReleases": {
         "0.1.2-alpha.4": "compatible",