dsh-vibe-math 2.3.11 → 2.3.12

package/README.md

@@ -864,33 +864,6 @@ v5 的完整架构（含成员生命周期、一轮时序、共识状态机、
 
 ---
 
-## 🏪 插件市场（dsh-market / awesome-dsh-plugin）里的展示
-
-本包已被 [dsh-market](https://github.com/dsh-market/dsh-market)（DSH 内置插件市场）与
-[awesome-dsh-plugin](https://github.com/awesome-dsh-plugin/awesome-dsh-plugin)（同一份目录数据的来源）收录，
-条目文件是 `data/plugins/ChongCyrus__Vibe-Mathematics.yml`。**市场读的元数据有两处，都在本仓库/本包内，
-改它们不需要去提 PR**：
-
-| 你要改什么 | 放在哪里 | 什么时候生效 |
-|---|---|---|
-| **卡片/详情页的展示图**（AppStore 式轮播，1–8 张） | 仓库根目录的 [`screenshots.json`](screenshots.json)（`package.json` 旁边）：相对路径（不得越出仓库、不得以 `/` 开头）或 GitHub 托管的 https 绝对地址；**必须是存在的文件** | 目录的**夜间构建**自动抓取——推自己的仓库即可，不用提 PR、不用等维护者 |
-| **声明的 DSH 版本依赖**（卡片上的"兼容 / 不兼容 / 未声明"） | `package.json` 的 **`engines.dsh`**（顶层优先）或 **`dsh.engines.dsh`**；有 `@deepseek-ai/dsh*` 的 `peerDependencies` 时它们会被**一起**求交 | 市场从**已发布的 npm manifest** 读取并缓存（TTL 24h）——发一个新版本，最多一天后卡片更新 |
-| 条目文字 / 分类 | 目录仓库里的那个 YAML（**改它才需要 PR**，且只能改自己那一条） | PR 合并后自动重建站点 |
-
-> ⚠️ **预发布版本的坑**（目录的 contributing 指南专门警告过）：node-semver 只有在范围里**某个比较符与宿主版本
-> 的 `major.minor.patch` 完全相同、且自身带预发布标签**时，才让那个预发布版本满足范围。像 `>=0.1.2-rc.1 <0.2.0`
-> 这种"看起来够宽"的写法**匹配不到** `0.1.5-rc.2`。本包因此写成显式分支
-> `>=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`
-> （已用 semver 7.8.5 在默认与 `includePrerelease` 两种语义下逐版本核对：`0.1.2-alpha.4` … `0.1.5-rc.2` 全通过，
-> `0.1.1-*` / `0.2.0-rc.1` / `0.2.0` / `1.0.0` 全拒绝）。
-
-[`audit-market-metadata.test.mjs`](audit-market-metadata.test.mjs) 把这两处钉住（随包发布、进并行回归）：
-两处 DSH 声明必须存在且一致、必须覆盖 `dsh.compatibility` 里所有标记 `compatible` 的版本、必须带显式上限；
-`screenshots.json` 必须是 1–8 张**真实存在**的图片（历史遗留条目曾指向已删除的 `框架图-v1.png`，
-首图被静默丢弃——这类腐烂现在会被测试直接判红），README 里的每张图也必须存在。
-
----
-
 ## 📄 License
 
 MIT

package/RELEASE-NOTES-2.3.12.md

@@ -0,0 +1,80 @@
+# dsh-vibe-math 2.3.12 — 安装器按 `engines.dsh` 判定宿主 + npm 页不再有裂图 + README 清理
+
+> 上一版：2.3.11。三件收尾：① 安装器自检与市场读**同一个**声明；② npm 上 README 的图不再裂；
+> ③ 目录条目文案按实际内容更新（第三方 PR）。另按你的要求删掉了上一版塞进 README 的"插件市场展示"一节。
+> 无预设行为变更，四套预设字节未变。
+
+---
+
+## 1. 安装器自检改为读 `engines.dsh`（单一事实源）
+
+原来安装器按 `dsh.compatibility.dshReleases` 这张**本包自用的表**判断宿主版本，而市场卡片按
+`engines.dsh` 判定——**两个来源可以互相矛盾**（卡片说兼容、日志却告警，或反之）。现在：
+
+- `installer.js` 导出两个纯函数：`satisfiesDshRange(version, range, {includePrerelease})` 与
+  `dshVersionVerdict(version, manifest)`；
+- 判定顺序：**`engines.dsh`**（顶层优先）→ **`dsh.engines.dsh`** → 都没有才回退到 `dshReleases` 表；
+  无法解析的范围返回 `unknown`（只提示、绝不判成 incompatible）；
+- 匹配器支持生态里真实出现的写法：`*`/`x`、精确、`^`、`~`、`>=`/`>`/`<=`/`<`、空格分隔的组合、`||` 分支，
+  并实现 npm 的**集合级预发布规则**（一个 `||` 分支为一个集合：只有集合里存在与宿主同
+  `major.minor.patch` 且自带预发布标签的比较符时，才放行预发布版本）；
+- **实测对齐**：用 npm 自带的 **semver 7.8.5** 逐项比对 **320** 组（范围 × 版本 × 两种预发布语义），
+  **0 处不一致**；`not-a-range`、`>=1.2`、`1.2.x` 等不支持写法一律返回 `null`（unknown，绝不误判）。
+- 顺手修掉安装器头部注释的陈旧描述（"copies ALL THREE agent presets … ships v2/v3/v4 only" →
+  四套，v5 自 2.1.0 起就在）。
+
+新增随包套件 [`audit-installer-compat.test.mjs`](audit-installer-compat.test.mjs)（**54 条断言**，进并行回归）：
+匹配器的期望值表（由 semver 7.8.5 生成）、不支持写法必须为 unknown、`dshVersionVerdict` 的优先级与回退、
+以及**两个来源不许矛盾**——`dsh.compatibility` 里每个标 `compatible` 的版本都不得被 `engines.dsh` 判成 incompatible。
+
+## 2. npm 页的 README 图不再裂
+
+README 展示 5 张本地图，此前只有 v4/v5 的 SVG 随包发布，v2/v3 的 PNG 与实际使用示例长截图**不在 `files` 里**，
+所以 npm 页一直是裂图。现在把 README 引用的**每一张**本地图都纳入 `files`：
+
+| 新增随包 | 大小 |
+|---|---|
+| `示例图/框架图-v2.png` | ≈403 KB |
+| `示例图/框架图-v3.png` | ≈559 KB |
+| `示例图/实际使用示例-长截图.png` | ≈2.7 MB |
+
+守卫也加了这条不变式：**README 里出现的每个本地图片路径都必须列在 `package.json` `files` 里**
+（历史遗留条目"指向已删除的 v1 图"就是同一类腐烂），以后谁再引用未随包的图会直接判红。
+（实测包体积 1.0 MB → **4.36 MB**（解包 8.89 MB，79 个文件）——若你不想背这张 2.7 MB 的长截图，
+删掉 README 里那一行即可，守卫会要求同步从 `files` 移除。）
+
+## 3. README 清理
+
+按你的要求，删除了上一版新增的「🏪 插件市场（dsh-market / awesome-dsh-plugin）里的展示」整节
+（那是维护者视角、与用户了解项目无关）。README 里现在没有任何市场/元数据相关内容；
+这些声明仍由 `audit-market-metadata.test.mjs`（仓库级守卫，19 条断言）与发布说明守着。
+
+## 4. 目录条目文案（第三方 PR）
+
+条目 `data/plugins/ChongCyrus__Vibe-Mathematics.yml` 的描述仍是 v2 时代措辞（只描述一条流水线，
+且把 preset 说成"附带品"）。已按实际内容更新并发起 PR：
+
+- **PR #5673**：https://github.com/awesome-dsh-plugin/awesome-dsh-plugin/pull/5673
+- 只改我们这一条（1 file, +2/−2），en/zh 同步，无营销词；
+- 分支基于**上游当前 `main`**（你的 fork 停在 2026-08-18、与上游有分叉且无法 fast-forward，
+  所以没有动 fork 的 main，只推了一个新分支）。
+
+## 5. 验收
+
+| 项 | 结果 |
+|---|---|
+| `audit-installer-compat.test.mjs` | **54/0** |
+| `audit-market-metadata.test.mjs` | **19/0**（含"README 图片必须随包"） |
+| 匹配器 vs semver 7.8.5 | 320 组，**0 处不一致** |
+| 其余静态守卫 | invariants 157/0（self-probe 5/5）、traceability 94/0、v5-integrity clean、persona-surface 197/0 |
+| 全量并行回归 | **25/25** |
+| closing verification | 18/18 |
+| 发布产物自证 | registry tarball sha1 与本地一致 + 包内跑全部随包套件 |
+
+## 6. 升级
+
+```
+npm i dsh-vibe-math@latest
+```
+
+无迁移；`off` 档行为与四套预设字节均未变。

package/audit-installer-compat.test.mjs

@@ -0,0 +1,136 @@
+// ============================================================================================
+// INSTALLER HOST-COMPATIBILITY AUDIT
+//
+// The installer's host self-check warns when the running DSH is outside the range this package
+// declares. That verdict must come from the SAME declaration dsh-market renders on the plugin card
+// (`engines.dsh` / `dsh.engines.dsh`) and not from a second source, or the two disagree: the card
+// says "compatible" while the log warns, or the reverse. This suite pins that:
+//
+//   · the range matcher reproduces semver 7.8.5 exactly — the expectations below were generated with
+//     npm's own bundled semver (`require('…/npm/node_modules/semver')`) and re-checked against the
+//     shipped matcher over 320 (range, version, includePrerelease) pairs, 0 mismatches;
+//   · `dshVersionVerdict` prefers the declared range and falls back to `dsh.compatibility`;
+//   · every release our own compatibility matrix calls `compatible` is NOT judged incompatible by
+//     the declared range — the two sources cannot drift apart.
+//
+// Run: node audit-installer-compat.test.mjs      (part of `node run-tests.mjs`)
+// ============================================================================================
+import { readFileSync } from 'node:fs'
+import { fileURLToPath } from 'node:url'
+import { join } from 'node:path'
+import { satisfiesDshRange, dshVersionVerdict } from './installer.js'
+
+const HERE = fileURLToPath(new URL('./', import.meta.url))
+const pkg = JSON.parse(readFileSync(join(HERE, 'package.json'), 'utf8'))
+
+let passed = 0, failed = 0
+const failures = []
+const ok = (cond, label, detail) => {
+  if (cond) { passed++; console.log('  ok   ' + label); return true }
+  failed++; failures.push(label + (detail ? ' — ' + detail : ''))
+  console.error('  FAIL ' + label + (detail ? ' — ' + detail : ''))
+  return false
+}
+const eq = (actual, expected, label) => ok(actual === expected, label, 'got ' + JSON.stringify(actual) + ', expected ' + JSON.stringify(expected))
+
+// ---------------------------------------------------------------------------------------------
+// 1. the matcher reproduces semver 7.8.5 (expectations generated with npm's bundled semver)
+// ---------------------------------------------------------------------------------------------
+const CASES = [
+  // [range, version, includePrerelease, expected]
+  ['*', '1.2.3', false, true],
+  ['*', '0.1.5-rc.2', false, false],      // npm: `*` excludes prereleases unless opted in
+  ['*', '0.1.5-rc.2', true, true],
+  ['1.2.3', '1.2.3', false, true],
+  ['1.2.3', '1.2.4', false, false],
+  ['^0.1.0', '0.1.4', false, true],
+  ['^0.1.0', '0.2.0-rc.1', true, false],  // 0.x caret never reaches the next minor
+  ['^0.1.0', '0.1.0-rc.5', true, false],  // ...nor a prerelease below its own floor
+  ['^0.1.0-rc.7', '0.1.0-rc.7', false, true],
+  ['^0.1.0-rc.7', '0.1.5-rc.2', true, true],
+  ['^0.0.1', '0.0.1', false, true],
+  ['^0.0.1', '0.0.2', false, false],
+  ['~0.1.2', '0.1.4', false, true],
+  ['~0.1.2', '0.2.0', false, false],
+  ['>0.1.0 <=0.1.5', '0.1.5', false, true],
+  ['>=0.1.5-rc.1', '0.1.5-rc.2', false, true],
+  ['>=0.1.5-rc.1', '0.2.0', false, true], // a floor-only range keeps admitting newer hosts
+  // the trap contributing.md warns about: no comparator on the 0.1.5 tuple carrying a prerelease
+  ['>=0.1.2-rc.1 <0.2.0', '0.1.5-rc.2', false, false],
+  ['>=0.1.2-rc.1 <0.2.0', '0.1.5-rc.2', true, true],
+  // the market-style chain
+  ['^0.1.0-rc.7 || ^0.1.1-rc.2 || ^0.1.2-alpha.2', '0.1.2-rc.1', false, true],
+  ['^0.1.0-rc.7 || ^0.1.1-rc.2 || ^0.1.2-alpha.2', '0.1.3-alpha.2', false, false],
+  ['^0.1.0-rc.7 || ^0.1.1-rc.2 || ^0.1.2-alpha.2', '0.1.3-alpha.2', true, true],
+]
+for (const [range, version, pre, expected] of CASES) {
+  eq(satisfiesDshRange(version, range, { includePrerelease: pre }), expected,
+    'matcher: ' + JSON.stringify(range) + ' vs ' + version + (pre ? ' (includePrerelease)' : ''))
+}
+// our own declaration, both semantics (the exact chain the market and the installer share)
+for (const v of ['0.1.2-alpha.4', '0.1.2-rc.1', '0.1.3-alpha.2', '0.1.5-rc.1', '0.1.5-rc.2']) {
+  eq(satisfiesDshRange(v, pkg.engines.dsh), true, 'own range admits ' + v + ' (default semantics)')
+  eq(satisfiesDshRange(v, pkg.engines.dsh, { includePrerelease: true }), true, 'own range admits ' + v + ' (includePrerelease)')
+}
+for (const v of ['0.1.1-rc.1', '0.2.0-rc.1', '0.2.0', '1.0.0']) {
+  eq(satisfiesDshRange(v, pkg.engines.dsh, { includePrerelease: true }), false, 'own range rejects ' + v)
+}
+// unsupported forms are UNKNOWN (null) — reported, never asserted incompatible
+for (const r of ['not-a-range', '>=1.2', '1.2.x', '']) {
+  eq(satisfiesDshRange('1.2.5', r, { includePrerelease: true }), null, 'unsupported range is unknown: ' + JSON.stringify(r))
+}
+eq(satisfiesDshRange('not-a-version', pkg.engines.dsh), null, 'an unparseable host version is unknown, not incompatible')
+
+// ---------------------------------------------------------------------------------------------
+// 2. the verdict prefers the declared range, falls back to the matrix
+// ---------------------------------------------------------------------------------------------
+{
+  const a = dshVersionVerdict('0.1.5-rc.2', pkg)
+  ok(a.status === 'compatible' && a.basis === 'engines', 'our own host line is compatible via the declared range', JSON.stringify(a))
+  eq(a.requirement, pkg.engines.dsh, 'the verdict surfaces the declared range (so the log and the market card say the same thing)')
+  const b = dshVersionVerdict('0.2.0', pkg)
+  ok(b.status === 'incompatible' && b.basis === 'engines', 'a host outside the declared range is incompatible via the range', JSON.stringify(b))
+  const c = dshVersionVerdict('0.1.0-rc.6', pkg)
+  ok(c.status === 'incompatible', 'a host below the declared floor is incompatible', JSON.stringify(c))
+  // dsh.engines.dsh is the second position the ecosystem (and the market) reads
+  const onlyNested = { dsh: { engines: { dsh: '>=0.1.0-rc.6' } } }
+  const d = dshVersionVerdict('0.1.0-rc.6', onlyNested)
+  ok(d.status === 'compatible' && d.basis === 'engines', 'dsh.engines.dsh is honoured when engines.dsh is absent', JSON.stringify(d))
+  // top-level wins when both are present (mirrors dsh-market's manifestFacts)
+  const both = { engines: { dsh: '>=0.2.0' }, dsh: { engines: { dsh: '>=0.1.0' } } }
+  eq(dshVersionVerdict('0.1.5-rc.2', both).status, 'incompatible', 'engines.dsh wins when both positions are declared')
+  // fallback: a manifest that declares no range keeps the dshReleases behaviour
+  const mapOnly = {
+    dsh: { compatibility: { dshReleases: { '0.1.5-rc.2': 'compatible', '0.1.0-rc.1': 'incompatible', '0.1.9': 'unknown' } } },
+  }
+  const e = dshVersionVerdict('0.1.5-rc.2', mapOnly)
+  ok(e.status === 'compatible' && e.basis === 'dshReleases', 'fallback: the matrix still decides when no range is declared', JSON.stringify(e))
+  eq(dshVersionVerdict('0.1.0-rc.1', mapOnly).status, 'incompatible', 'fallback: an explicitly incompatible release')
+  eq(dshVersionVerdict('0.1.7', mapOnly).status, 'undeclared', 'fallback: an unlisted release is undeclared (soft warning)')
+  eq(dshVersionVerdict('0.1.9', mapOnly).status, 'unknown', 'fallback: an explicitly unknown release')
+  // a range the matcher cannot parse must not become "incompatible"
+  const unparsable = { engines: { dsh: 'not a range' } }
+  const f = dshVersionVerdict('0.1.5-rc.2', unparsable)
+  ok(f.status === 'unknown' && f.basis === 'engines', 'an unparseable declared range is unknown, never incompatible', JSON.stringify(f))
+}
+
+// ---------------------------------------------------------------------------------------------
+// 3. the two sources cannot drift: every release our matrix calls compatible must not be judged
+//    incompatible by the declared range (the installer and the market must agree).
+// ---------------------------------------------------------------------------------------------
+{
+  const matrix = Object.entries((pkg.dsh.compatibility || {}).dshReleases || {})
+  const contradicted = matrix.filter(([ver, status]) => {
+    const v = dshVersionVerdict(ver, pkg)
+    return status === 'compatible' && v.status === 'incompatible'
+  }).map(([ver]) => ver)
+  ok(contradicted.length === 0, 'no release marked compatible in dsh.compatibility is rejected by engines.dsh',
+    contradicted.join(', '))
+  const missedByRange = matrix.filter(([ver]) => dshVersionVerdict(ver, pkg).status === 'unknown').map(([ver]) => ver)
+  ok(missedByRange.length === 0, 'the declared range can be evaluated for every release in the matrix', missedByRange.join(', '))
+}
+
+console.log('')
+console.log('=== INSTALLER COMPAT: ' + passed + ' passed, ' + failed + ' failed ===')
+if (failed) { for (const f of failures) console.error('  - ' + f); process.exit(1) }
+console.log('ALL GREEN')

package/installer.js

@@ -1,16 +1,19 @@
 // dsh-vibe-math merged bundle installer — VERSIONED AUTO-UPDATE.
 // When this bundle is installed (e.g. `dsh plugin add dsh-vibe-math` or from the
-// dsh-market), this plugin copies ALL THREE agent presets out of the package into
-// the DSH preset root, so the user immediately gets three presets in the picker:
+// dsh-market), this plugin copies ALL FOUR agent presets out of the package into
+// the DSH preset root, so the user immediately gets four presets in the picker:
 //   vibe-math-v2/  (probability-driven architecture)
 //   vibe-math-v3/  (THIRD-generation: paper-style Markdown knowledge base +
 //                   planner-agent scheduling + universal theory/method library)
 //   vibe-math-v4/  (FOURTH-generation: persistent self-organizing resident
 //                   subagents — message bus / meetings / unanimous-consensus
 //                   verification / per-resident libraries)
+//   vibe-math-v5/  (FIFTH-generation: research institute — academician who
+//                   assigns work, permanent researchers who vote, temp workers,
+//                   group chat + meetings + m-vote consensus)
 //
 // (vibe-math-v1 — the classic pipeline — was removed at v2.0.0; this bundle now
-//  ships v2/v3/v4 only.)
+//  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
@@ -99,22 +102,160 @@ function detectDshVersion() {
   return undefined
 }
 
+/**
+ * Minimal semver-range matcher for the host requirement.
+ *
+ * WHY THIS EXISTS: the DSH requirement a host is judged against lives in `package.json`
+ * (`engines.dsh` / `dsh.engines.dsh`) — the same declaration dsh-market shows on a plugin's card.
+ * Judging the host by a *second* source (the `dsh.compatibility.dshReleases` map) let the two
+ * disagree: the card could say "compatible" while this self-check warned, or the reverse. So the
+ * range is evaluated here, and the map remains only a fallback for manifests that declare no range.
+ *
+ * Supported: `*`, exact, `^`, `~`, `>=`, `>`, `<=`, `<`, whitespace-separated sets, `||`
+ * alternatives — everything the ecosystem publishes (see `dshmarket`'s own
+ * `^0.1.0-rc.7 || ^0.1.1-rc.2 || ^0.1.2-alpha.2` shape). Anything else returns null = unknown
+ * (reported, never asserted), never a silent "incompatible".
+ *
+ * PRERELEASE RULE (npm's, applied per comparator SET — one `||` alternative is one set): a version
+ * carrying a prerelease tag satisfies a set only when at least one comparator in that set shares its
+ * [major, minor, patch] tuple AND carries a prerelease of its own. This is why
+ * `>=0.1.2-rc.1 <0.2.0` does NOT match `0.1.5-rc.2`, and why this package declares explicit
+ * per-tuple branches instead. Callers pass `includePrerelease: true` for host checks because every
+ * published DSH release line is itself a prerelease.
+ */
+export function satisfiesDshRange(version, range, options = {}) {
+  const v = parseSemver(version)
+  if (v === null || typeof range !== 'string' || range.trim() === '') return null
+  const versionHasPre = v.pre.length > 0
+  let sawUnknown = false
+  for (const set of range.split('||')) {
+    const parts = set.trim().split(/\s+/).filter((p) => p !== '')
+    if (parts.length === 0) return true // an empty alternative is `*`
+    const parsed = parts.map(comparator)
+    if (parsed.some((p) => p === null)) { sawUnknown = true; continue }
+    if (versionHasPre && options.includePrerelease !== true) {
+      const admitted = parsed.some((p) => p.target !== null && p.target.pre.length > 0 &&
+        p.target.major === v.major && p.target.minor === v.minor && p.target.patch === v.patch)
+      if (!admitted) continue
+    }    if (parsed.every((p) => matchesComparator(v, p))) return true
+  }
+  return sawUnknown ? null : false
+}
+
+function parseSemver(value) {
+  const m = /^v?(\d+)\.(\d+)\.(\d+)(?:-([0-9A-Za-z.-]+))?(?:\+[0-9A-Za-z.-]+)?$/.exec(String(value == null ? '' : value).trim())
+  if (m === null) return null
+  const pre = m[4] === undefined ? [] : m[4].split('.')
+  for (const id of pre) if (/^\d+$/.test(id) && id.length > 1 && id[0] === '0') return null
+  return { major: Number(m[1]), minor: Number(m[2]), patch: Number(m[3]), pre }
+}
+
+function compareSemver(a, b) {
+  if (a.major !== b.major) return a.major < b.major ? -1 : 1
+  if (a.minor !== b.minor) return a.minor < b.minor ? -1 : 1
+  if (a.patch !== b.patch) return a.patch < b.patch ? -1 : 1
+  if (a.pre.length === 0 && b.pre.length === 0) return 0
+  if (a.pre.length === 0) return 1  // a release outranks its prereleases
+  if (b.pre.length === 0) return -1
+  for (let i = 0; i < Math.max(a.pre.length, b.pre.length); i++) {
+    const x = a.pre[i], y = b.pre[i]
+    if (x === undefined) return -1
+    if (y === undefined) return 1
+    const xn = /^\d+$/.test(x), yn = /^\d+$/.test(y)
+    if (xn && yn) { const d = Number(x) - Number(y); if (d !== 0) return d < 0 ? -1 : 1; continue }
+    if (xn !== yn) return xn ? -1 : 1 // numeric identifiers sort below alphanumeric ones
+    if (x !== y) return x < y ? -1 : 1
+  }
+  return 0
+}
+
+/** One comparator such as `^0.1.0-rc.7`. Returns null when the target is not a version. */
+function comparator(part) {
+  const p = part.trim()
+  // `*`, `x`, `X` and an empty token mean "any version" (npm: still not a prerelease unless the
+  // caller opts into includePrerelease — the set-level gate below is what enforces that).
+  if (p === '' || p === '*' || p === 'x' || p === 'X') return { op: 'any', target: null }
+  const m = /^(\^|~|>=|<=|>|<)?(.*)$/.exec(p)
+  const op = m === null || m[1] === undefined ? '' : m[1]
+  const target = parseSemver(m === null ? '' : m[2])
+  return target === null ? null : { op, target }
+}
+
+function matchesComparator(v, { op, target }) {
+  if (op === 'any') return true
+  const c = compareSemver(v, target)
+  switch (op) {
+    case '': return c === 0
+    case '>=': return c >= 0
+    case '>': return c > 0
+    case '<=': return c <= 0
+    case '<': return c < 0
+    case '^': {
+      const upper = target.major > 0
+        ? { major: target.major + 1, minor: 0, patch: 0, pre: [ '0' ] }
+        : target.minor > 0
+          ? { major: 0, minor: target.minor + 1, patch: 0, pre: [ '0' ] }
+          : { major: 0, minor: 0, patch: target.patch + 1, pre: [ '0' ] }
+      return c >= 0 && compareSemver(v, upper) < 0
+    }
+    case '~': {
+      const upper = { major: target.major, minor: target.minor + 1, patch: 0, pre: [ '0' ] }
+      return c >= 0 && compareSemver(v, upper) < 0
+    }
+    default: return false
+  }
+}
+
+/**
+ * The host verdict for a DSH version against a package manifest.
+ * Prefers the declared range (`engines.dsh`, then `dsh.engines.dsh`); falls back to the
+ * `dsh.compatibility.dshReleases` map so packages that declare only that keep working.
+ */
+export function dshVersionVerdict(version, manifest) {
+  const pkg = manifest && typeof manifest === 'object' ? manifest : {}
+  const declared = (pkg.engines && typeof pkg.engines.dsh === 'string' && pkg.engines.dsh.trim() !== '')
+    ? pkg.engines.dsh
+    : (pkg.dsh && pkg.dsh.engines && typeof pkg.dsh.engines.dsh === 'string' && pkg.dsh.engines.dsh.trim() !== '')
+      ? pkg.dsh.engines.dsh
+      : null
+  if (declared !== null) {
+    // includePrerelease: the whole published DSH line is prerelease builds.
+    const sat = satisfiesDshRange(version, declared, { includePrerelease: true })
+    return {
+      basis: 'engines',
+      requirement: declared,
+      status: sat === true ? 'compatible' : sat === false ? 'incompatible' : 'unknown',
+    }
+  }
+  const rel = (pkg.dsh && pkg.dsh.compatibility && pkg.dsh.compatibility.dshReleases) || {}
+  const status = rel[version]
+  if (status === 'compatible' || status === 'incompatible') {
+    return { basis: 'dshReleases', requirement: null, status }
+  }
+  return { basis: 'dshReleases', requirement: null, status: status === 'unknown' ? 'unknown' : 'undeclared' }
+}
+
 async function checkHostCapabilities(ctx, logger) {
   const problems = []
   // 1) DSH version compatibility (best-effort, only when the version is detectable).
-  //    Declared under package.json dsh.compatibility.dshReleases (per the DSH STORE contract):
-  //    each full DSH release maps to 'compatible' | 'incompatible' | 'unknown'. A version that is
-  //    absent or 'unknown' is a soft warning; 'incompatible' is a hard "please use X" message.
-  let dshRel = {}
-  try { const m = JSON.parse(readFileSync(join(dirname(fileURLToPath(import.meta.url)), 'package.json'), 'utf8')); dshRel = (m.dsh && m.dsh.compatibility && m.dsh.compatibility.dshReleases) || {} } catch (e) {}
+  //    The AUTHORITATIVE source is the declared range `engines.dsh` / `dsh.engines.dsh` — the same
+  //    field dsh-market renders on the plugin card, so the two verdicts cannot disagree. The
+  //    `dsh.compatibility.dshReleases` map is the fallback for manifests without a range.
+  let manifest = {}
+  try { manifest = JSON.parse(readFileSync(join(dirname(fileURLToPath(import.meta.url)), 'package.json'), 'utf8')) } catch (e) {}
+  const dshRel = (manifest.dsh && manifest.dsh.compatibility && manifest.dsh.compatibility.dshReleases) || {}
   const supported = Object.keys(dshRel).sort()
   const dshVersion = detectDshVersion()
   if (dshVersion) {
-    const status = dshRel[dshVersion]
-    if (status === 'incompatible') {
-      problems.push('当前 DSH 版本 v' + dshVersion + ' 被本包声明为 incompatible；请使用 ' + supported.join(' / ') + '。')
-    } else if (status === undefined || status === 'unknown') {
+    const verdict = dshVersionVerdict(dshVersion, manifest)
+    if (verdict.status === 'incompatible') {
+      problems.push(verdict.basis === 'engines'
+        ? '当前 DSH 版本 v' + dshVersion + ' 不满足本包声明的宿主版本要求（engines.dsh = ' + verdict.requirement + '）。'
+        : '当前 DSH 版本 v' + dshVersion + ' 被本包声明为 incompatible；请使用 ' + supported.join(' / ') + '。')
+    } else if (verdict.status === 'undeclared' || (verdict.status === 'unknown' && verdict.basis === 'dshReleases')) {
       problems.push('当前 DSH 版本 v' + dshVersion + ' 尚未被本包声明为兼容（dshReleases 仅声明 ' + supported.join(' / ') + '）；建议使用 ' + supported.join(' / ') + '，或将该版本在 dshReleases 中标注后再自行验证。')
+    } else if (verdict.status === 'unknown' && verdict.basis === 'engines') {
+      problems.push('当前 DSH 版本 v' + dshVersion + ' 无法与 engines.dsh 的范围比对（声明值 ' + verdict.requirement + ' 不是本安装器能解析的范围）；请按该范围自行确认。')
     }
   }
   // 2) capability self-check (the authoritative mounting gate; also covers hosts whose version

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.11",
+  "version": "2.3.12",
   "type": "module",
   "engines": {
     "node": "^22.19.0 || >=24.0.0",
@@ -23,37 +23,17 @@
     "audit-v5-integrity.mjs",
     "audit-v5-sensitivity.mjs",
     "cordis.patch.yml",
+    "docs/架构图.md",
+    "docs/formal-verification.md",
+    "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",
     "installer.js",
-    "prompt-v5-integrity.test.mjs",
-    "run-tests.mjs",
-    "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.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",
-    "RELEASE-NOTES-2.3.10.md",
-    "RELEASE-NOTES-2.3.11.md",
-    "selfdrive-v5.mjs",
-    "示例图/框架图-v5.svg",
-    "docs/架构图.md",
-    "docs/formal-verification.md",
-    "docs/test-timing.md",
-    "docs/generate_framework_diagram_v5.mjs",
     "prompt-corpus-persona/persona-corpus.json",
     "prompt-corpus-persona/persona-corpus.md",
     "prompt-corpus-v2/formal-verify-v2.json",
@@ -64,6 +44,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",
+    "screenshots.json",
+    "selfdrive-v5.mjs",
     "vibe-math-v2/实现方案.md",
     "vibe-math-v2/agent.cordis.yml",
     "vibe-math-v2/preset.yml",
@@ -82,9 +66,30 @@
     "vibe-math-v5/agent.cordis.yml",
     "vibe-math-v5/preset.yml",
     "vibe-math-v5/vibe-math-v5.js",
-    "docs/generate_framework_diagram_v4.mjs",
+    "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",
+    "示例图/框架图-v2.png",
+    "示例图/框架图-v3.png",
     "示例图/框架图-v4.svg",
-    "screenshots.json"
+    "示例图/框架图-v5.svg",
+    "示例图/实际使用示例-长截图.png",
+    "audit-installer-compat.test.mjs"
   ],
   "license": "MIT",
   "keywords": [
@@ -114,7 +119,7 @@
     },
     "minVersion": "0.1.2-rc.1",
     "testedVersion": "0.1.5-rc.2",
-    "compatNote": "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.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",