dsh-vibe-math 2.6.0 → 2.7.1

package/docs/release-notes/RELEASE-NOTES-2.7.1.md

@@ -0,0 +1,86 @@
+# dsh-vibe-math 2.7.1 — 发布说明（中文）
+
+> 上一版：2.7.0。本版是**补丁版**，两批改动一起发。**第一批（诚实性与安装口径）**：替代方案若改变精确性或结论强度必须声明；python 安装按**检测到的环境**分派 conda/mamba/uv/pip；R/Octave/Julia 的系统级作用域拒绝给出**每引擎理由**；**版本求解交给包管理器**，本工具只查存在。**第二批（首次真机端到端跑出来的七个缺陷）**：`probe` 回显请求的引擎、引擎发现新增 **DSH 自带运行时**、`cli` 逃生口的包预检改用它自己那个解释器、`mode:'code'` **真的把脚本传进去**（调用方 argv 自带程序槽时以调用方为准）、版本报真值、探针 argv 不含 shell 元字符、探测不再依赖项目目录已存在。既有参数默认值、数据格式与目录结构**未变**，DSH 支撑窗口不变，无需迁移。
+
+---
+
+## 概览
+
+- **替代必须声明**：新规则行（中/英）说明"替代方案改变精确性/结论强度时必须写明"，进入四套预设的**两个 persona 文本块**、规则段与工具描述；缺引擎/缺包时明确给**替代方案或安装计划**，安装一律 `plan → planToken → confirm`。
+- **python 包管理器分派**：`conda` / `mamba`（`-y -c conda-forge`）/ `uv`（`uv pip …`）/ **pip 回退**（`-m pip install --user`）；按解释器**自身环境**检测，不猜；歧义时回退 pip 并在计划/消息/审计里标明**假设**。
+- **系统级作用域有理由**：`system` 仍返回 `MATH_REFUSED` + `next.reason:'system-scope-unsupported'`，但消息现在说明**每个引擎为什么**（R→`R_LIBS_USER`、Octave→`share/packages`、Julia→`JULIA_DEPOT_PATH`，conda/mamba/uv 各自理由）。
+- **版本约束口径**：接受 `名称` / `名称[extras]` / `名称<op>版本`；其余写法显式拒绝（新 reason `unsupported-version-syntax`）。**版本求解是包管理器的事**，本工具只按 base name 查存在、把规格原样透传。
+- 随功能修掉一个真机缺陷：安装路径此前按**引擎名**解析解释器（`python`）而不是候选顺序（`python3`→`python`→`py`），会让 conda 检测在真机上失效。
+
+## 变更
+
+### 1. 替代方案的诚实性
+
+- **规则**：当替代方案改变了**精确性或结论强度**时——精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类——结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
+- **落点**（中/英各一条常量）：`MATH_SUBSTITUTION_RULE_LINE` / `MATH_SUBSTITUTION_RULE_LINE_EN`，已并入 `MATH_RULE_LINES`/`_EN`（因此 `mathAvailabilityLine()` 自动携带），工具描述也加了同义句；**四套预设的两个 persona 文本块都逐字追加**（追加，不替换既有规则行）。
+- **缺引擎/缺包**：仍然只报告，并明确给**用户自装指引**或**代理代装计划**；**安装一律先出计划、再由 `planToken` 确认**（token 绑定计划内容，内容变了即失效），默认 user 作用域，`system` 每次显式且不被记住。
+
+### 2. Python 包管理器分派
+
+`python` 的安装计划按**解释器自身环境**选择管理器，而不是固定 pip：
+
+| 检测到的环境 | 计划里的命令 | 依据 |
+|---|---|---|
+| 解释器路径含 conda 标记（`/envs/`、`/conda`、`/miniconda*`、`/anaconda*`、`/mambaforge`、`/miniforge`）且 `conda` 可解析 | `conda install -y -c conda-forge <pkg>`（卸载 `conda remove -y <pkg>`） | 路径标记 + 可解析确认 |
+| 同上但只有 `mamba` | `mamba install -y -c conda-forge <pkg>`（卸载 `mamba remove -y <pkg>`） | 同上 |
+| `uv` 与解释器**同目录**（uv 管理的 venv） | `uv pip install <pkg>`（卸载 `uv pip uninstall <pkg>`） | 同目录才算 |
+| 其它 | `python -m pip install --user <pkg>`（卸载 `python -m pip uninstall -y <pkg>`） | **文档化回退**，计划标 `managerAssumed` |
+
+- **检测，不猜**：计划、返回消息与审计 JSON 都带 `manager` / `managerAssumed` / `managerWhy`；歧义时回退 pip 并明说"计划假设用 pip"。
+- **install 与 uninstall 成对**：卸载命令来自同一个被选中的管理器（审计里带卸载模板；仍**没有**通用自动回滚）。
+- **顺手修掉的真实缺陷**：安装路径此前用**引擎名**（`python`）解析解释器，而不是描述符的**候选顺序**（`python3`→`python`→`py`）——真机上 conda 的 `python3` 才是那个解释器，所以分派会看不到环境标记。现在与运行路径一致，按候选依次解析。
+
+### 3. 每引擎系统级作用域策略
+
+- R / Octave / Julia **只做用户级**，`scope:'system'` 返回 `MATH_REFUSED` + `next.reason:'system-scope-unsupported'`，消息里给出**该引擎的理由**：
+  - **R**：用户库是 `R_LIBS_USER`；系统级要写发行版包目录（需 root 或发行版包管理器）。
+  - **Octave**：`pkg install` 装进用户包目录；系统级要写 Octave 的 `share/packages`（需 root）。
+  - **Julia**：`Pkg.add` 装进当前活动环境 / 用户 depot（`JULIA_DEPOT_PATH`）；"系统级"不是 Julia 的概念。
+- **conda / mamba / uv** 同样没有系统模板，各自带理由；**python 走 pip 时仍保留真实的系统模板**（不带 `--user`），由每次调用显式确认。
+
+### 4. 版本约束口径
+
+- **接受的写法**：`名称`、`名称[extras]`、`名称<op>版本`，其中 `<op>` ∈ `==` `>=` `<=` `~=` `!=` `>` `<` `=`（pip 风格的 `numpy==1.2`、conda 风格的 `numpy=1.2`）。
+- **拒绝的写法**：空格、`;`、`|`、`&`、`$`、反引号、`@`、括号等 shell 危险或管理器不认识的语法 ⇒ `MATH_INVALID_ARGUMENT` + `next.reason:'unsupported-version-syntax'`（**不会**把可疑字符串丢给 shell）。
+- **分工**：**版本求解交给包管理器**——本工具只按 **base name** 探测与报缺，安装计划把规格**原样透传**，并在计划里带 `versionPolicy` 说明这一点。
+- **词汇表**：`unsupported-version-syntax` 是新增的机读 reason；词汇表现共 **13 reason / 7 `next.kind` / 11 失败码**，在 `tool-schema.json#refusalVocabulary`、`docs/math-computation.md` §3 与 parity 守卫之间保持**集合相等**（守卫还要求每个 `reason:` 取值都是字符串字面量）。
+
+### 5. 真机缺陷修复（一条根因、三个症状）
+
+1. **`op:'probe'` 忽略请求的引擎**：响应里 `engine` 是 `null`（或"第一个允许的引擎"），失败路径总是指责 `params.mathEngines[0]`（python），于是 `probe{engine:'r'}` 回显 python 并让用户去装 python。现在解析并报告**请求的**引擎（名字/路径/版本）；被请求且解析成功的引擎（包括 `cli`）也算可用，请求的引擎缺失时错误与指引都指向它。
+2. **引擎发现漏掉 DSH 自带的运行时**：PATH 仍然优先；都没有时，若宿主声明了可选字段 `runtimeRoots` + `listDirAbs`，最后扫描 `<root>/dsh-runtimes/*/dependencies/<engine>/`——**树名通配**（从不写死 `dsh-primary-runtime`），且只接受描述符自己的候选名。找到的引擎会报**真实版本**，并且**不再给安装指引**（对已装的引擎给 winget 提示正是误导的来源）。
+3. **`cli` 包预检忽略 `cli.command`**：通用 `cli` 描述符没有包探测，于是所有包看起来都缺、逃生口把自己堵死。现在按解析出的命令的**族**（`python*`/`Rscript`/`octave`/`julia`）用**那个解释器**探测；族不可识别时**跳过**预检并给出明确警告，而不是误报"缺包"。
+4. **`mode:'code'` 从不传脚本**：`cli` 只拿到命令，于是 python 掉进 REPL（`exit=0`、stdout 空——读起来像成功）。现在 `mode:'code'`/`'file'` 会把归档脚本路径追加到 argv；**若调用方 argv 自带程序槽（`-c`/`-m`/`-e`/`--eval`/`--command`）则以调用方为准、不追加**（否则脚本会被当成多余参数）。回执记录 `cli.scriptAppended`，跳过时记录 `cli.scriptSkipped` 及原因。
+5. **`engine.version` 是 `"unknown"`**：`cli` 现在用族描述符的**真实版本探测**取版本（族不可识别时仍是 `"unknown"`）。
+6. **探针 argv 含 shell 元字符**：真实宿主对含 `|`（以及 `%`）的 argv 会返回**空 spawn**。所有探针代码改为不含元字符（每包一行 `名称 ok|missing`），解析器同时接受旧的 `名称:状态` 与新形态；python 仍是**每包一个 argv 项**。
+7. **根因：探测的 cwd 在全新工作区不存在**。版本探测、包预检与许可探测用 `projectRoot()` 作 cwd，而全新会话里该目录还不存在，宿主对这种 spawn 返回 `spawned:true, exit:null`（**重试无用**：同 cwd 同结果）。这一条同时造成了"找到了却不可用"、误报"缺包"与 `version:"unknown"`。现在探测走**一定存在**的 cwd（`probeCwd`：可选宿主字段 → OS 临时目录 → 项目根）；真正的 `run` 仍用项目根——它本来就会先写回执，写盘会创建目录树。
+
+### 6. 新增两条永久守卫
+
+- **§20 响应必须可 JSON 序列化**：诊断对象曾出现自引用的 `retryDiag`，导致 `JSON.stringify(response)` 抛 `Converting circular structure to JSON`，调用方**看不到任何结果**。现在诊断经 `jsonSafeDiag` 投影成纯字段，共享套件断言 **13 种响应**（`probe`/`run`/`receipt`/`install`，成功与失败，含重试后失败的 `retryDiag` 场景）都能序列化。
+- **§21 fresh-root 仿真**：假 seam 模拟宿主（"cwd 不存在 ⇒ `exit:null`"，且 `writeText` 标记目录已创建），断言全新根上 `probe` 仍 `ok:true` 且版本是真值、没有任何探测报 `exit:null`、包预检照常运行。
+
+### 7. 审查与验证
+
+- **同一套纪律**：共享模块四份**字节一致**（`install-copies --check` ⇒ `COPIES OK`）；`math-computation-shared` **278/0**、四套预设 **114/116/153/117**、`audit-math-computation-contract` **155/0**、`audit-math-computation-parity` **92/0**、`audit-math-computation-sensitivity` **22 探针 / 0 problems**、变异证明 **16 proved / 0 problems**（每一个都把**具名**断言打红）；门禁 `TOTAL 65  PASS 65  FAIL 0`（**44 套件 + 21 探针**）。
+- **真机证据（全新空工作区、第一个工具调用）**：`probe{engine:'python'}` ⇒ `ok:true`、版本 `3.12.14`、路径 `…/dsh-runtimes/dsh-primary-runtime/dependencies/python/python.exe`、无 `exit:null`；用 `cli` + 自带解释器 `run` 且 `packages:['numpy']` ⇒ `exit:0`、`stdout:"1.643935 -2.0"`（k=1..1000 的 Σ1/k² 与 det([[1,2],[3,4]])）、`packages.found.numpy:"present"`、`warnings:[]`、回执 6 个文件。
+- **仍然成立的诚实边界**：引擎执行现在**已通过 `cli` 逃生口在 DSH 自带运行时上真机验证**（这是本项目唯一被证明的真实引擎路径——内置引擎仍只通过假 subprocess seam 覆盖）；`session/follow` 的 token 级增量、多客户端与回合中 `cancel` **仍未验证**；宿主 `subprocess.spawn` **没有 policy 槽**，插件不能强制禁网/限权（需宿主 sandbox）；Maple/MATLAB/Wolfram 的模板标 `VERIFY` 并提供 `mathEngineOverride`；**SageMath 属 P2**；两个对照实验只是 **run-book**，本说明**不含编造数字**。
+
+## 兼容性
+
+- 既有参数默认值、数据格式与目录结构**未变**；新增的只是规则文本、安装计划的分派逻辑与一个机读 reason，**无需迁移**。
+- **行为变化仅限安装计划**：没有 conda/uv 标记的机器仍走 pip（与上一版一致）；**conda/mamba/uv 环境现在会得到该管理器的命令**（这正是本版目的），卸载命令同样来自该管理器。
+- `system` 作用域的返回码与 `next.reason` **未变**（只是消息更有信息量）；python+pip 的系统模板仍在。
+
+## 升级
+
+- 直接升级即可，无需迁移。
+- 若希望安装计划**总是用 pip**：在非 conda/uv 的解释器上运行（或指向系统 python）；本工具不会"猜"管理器，只在解释器自身环境给出标记时才分派。
+- **七个真机缺陷全部修复**（都来自首次真机端到端，且都在同一份字节上关闭）：`probe` 对任何请求引擎都回显 `python`；DSH 自带运行时发现不到；`cli` 包预检忽略 `cli.command`；`mode:'code'` 从不传脚本；`engine.version` 是 `"unknown"`；探针 argv 含 `|`/`%`（真实宿主会以空 spawn 回应）；探测用的 cwd 在**全新工作区还不存在**——**这一条是"找到了却不可用"和"误报缺包"的共同根因**。
+- **新增两条永久守卫**：§20 **13 种响应必须可 JSON 序列化**的横切不变量；§21 **fresh-root 仿真**（cwd 不存在时宿主返回 `exit:null`）。
+

package/docs/test-timing.md

@@ -26,17 +26,20 @@ node tests/run-tests.mjs --json              # 机器可读汇总（含 skippedN
 
 ### 1.1 随包发布 vs 仅仓库（`npm pack --dry-run --json`）
 
-`package.json` 的 `files` 只发 `tests/` 的一个**子集**（发布物共 105 个文件，其中 `tests/` 18 项），
+`package.json` 的 `files` 只发 `tests/` 的一个**子集**（发布物共 **119** 个文件，其中 `tests/` **23** 项），
 所以安装用户跑 `node tests/run-tests.mjs` 得到的是子集的结果——runner 会把缺失的跳过项打印出来，
 不会静默少跑：
 
-- **随包（18 项）**：`run-tests.mjs`、`audit-formal-sensitivity.mjs`、`audit-persona-sensitivity.mjs`、
+- **随包（23 项）**：`run-tests.mjs`、`audit-formal-sensitivity.mjs`、`audit-persona-sensitivity.mjs`、
   `audit-prompt-invariants.mjs`、`audit-spec-traceability.mjs`、`audit-v5-integrity.mjs`、
-  `audit-v5-sensitivity.mjs`、`selfdrive-v5.mjs`；套件 **10** 个：`audit-installer-compat`、
+  `audit-v5-sensitivity.mjs`、`selfdrive-v5.mjs`、`audit-math-computation-parity.mjs`、
+  `audit-math-computation-contract.mjs`、`audit-math-computation-sensitivity.mjs`、
+  `helpers/math-computation-fake-seam.mjs`；套件 **11** 个：`audit-installer-compat`、
   `audit-installer-policy`、`audit-persona-surface`、`audit-preset-rows`、`e2e-v5-round2`、
-  `formal-verify-v2`、`formal-verify-v3`、`formal-verify-v4`、`formal-verify-v5`、`prompt-v5-integrity`。
-- **仅仓库（不发）**：其余 29 个套件（v2/v3/v4 的 e2e、`selfdrive-v3`/`v4`、v2/v3 修复探针、
-  `audit-fuzz-helpers` 之外的若干 `audit-*`……）与 7 个脚本（`audit-fuzz-helpers`、
+  `formal-verify-v2`、`formal-verify-v3`、`formal-verify-v4`、`formal-verify-v5`、`prompt-v5-integrity`、
+  `math-computation-shared`。
+- **仅仓库（不发）**：其余 33 个套件（v2/v3/v4 的 e2e、`selfdrive-v3`/`v4`、v2/v3 修复探针、
+  `math-computation-v2|v3|v4|v5`、`audit-fuzz-helpers` 之外的若干 `audit-*`……）与 7 个脚本（`audit-fuzz-helpers`、
   `audit-registration`、`audit-roundtrip-idempotence`、`audit-tool-exec`、
   `audit-v3-registration-parity`、`selfdrive-v3`、`selfdrive-v4`）。
 - 因此**完整门禁只能在开发检出里跑**；发布物里的子集是"用户可自查"的一部分，不是全部证据。
@@ -46,8 +49,8 @@ node tests/run-tests.mjs --json              # 机器可读汇总（含 skippedN
 
 | 脚本 | 串行（sum） | 并行（wall） | 实测输出 |
 |---|---|---|---|
-| `tests/run-tests.mjs`（**57 项** = 39 套件 + 18 探针/变体） | ≈ 629 s | **≈ 208 s**（并发 4，speed-up x3.02） | `TOTAL 57  PASS 57  FAIL 0  (suites 39 · probes 18)`；关键路径 = `audit-formal-sensitivity` 208 s |
-| `tests/audit-formal-sensitivity.mjs`（49 探针，自带并发 4） | 803 s | **≈ 208 s** | 关键路径 = 12 个 v2 探针（每个 ≈42–60 s） |
+| `tests/run-tests.mjs`（**65 项** = 44 套件 + 21 探针/变体） | ≈ 424 s | **≈ 121 s**（并发 4，speed-up x3.51） | `TOTAL 65  PASS 65  FAIL 0  (suites 44 · probes 21)`；实测 `wall 120.7s · sum 424.2s`，关键路径 = `e2e-v4-fixes`（≈ 98 s） |
+| `tests/audit-formal-sensitivity.mjs`（49 探针，自带并发 4；v2 12 / v3 12 / v4 12 / v5 13） | ≈ 1035 s | **260.7 s**（实测，x3.97） | 关键路径 = v2/v3 的 `require` 探针（各 ≈75 s）；全 49 条按预期变红、0 问题 |
 | `tests/audit-v5-sensitivity.mjs`（39 探针，串行） | ≈ 101 s | — | 每条 = 一次被测套件重跑 |
 | `tests/audit-persona-sensitivity.mjs`（16 探针） | ≈ 4.4 s | — | 本身很快，不需要并行 |
 | `tests/audit-prompt-invariants.mjs`（157 条） | ≈ 1.9 s | — | 静态 |
@@ -63,10 +66,19 @@ node tests/run-tests.mjs --json              # 机器可读汇总（含 skippedN
 | `tests/v2-fix-probes.test.mjs` | ≈ 8.6 s | — | v2 的 flat 等权均值 / ≥2 名验证者 / runShell 失败分支（26 条） |
 | `tests/v2-path-escape.test.mjs` | ≈ 2.2 s | — | 验证日志路径逃逸（7 条） |
 | `tests/v2-tool-cap.test.mjs` | ≈ 0.4 s | — | 能力表来自真实组合、*MaxToolCalls 只是提示（10 条） |
-
-> 上表 `≈629 s / ≈208 s` 两列是 **56 项（38 套件）** 时的实测；第 39 个套件是随 final-paper 功能加入的
-> `tests/v4-final-paper.test.mjs`，本表尚未单独计时，所以全量的绝对时间会比 208 s 略大——数字**形状**
-> （`TOTAL 57 … suites 39 · probes 18`）以 runner 每次运行的输出为准。
+| `tests/math-computation-v2.test.mjs` | ≈ 1.7 s | — | v2 接线：六参数/双注册层/回执/归档→编辑→重跑/跨会话隔离（含 mutant 说明在文件头） |
+| `tests/math-computation-v3.test.mjs` | ≈ 1.7 s | — | v3 同上（dual-layer + `TOOL_DESC` 描述 parity） |
+| `tests/math-computation-v4.test.mjs` | ≈ 2.5 s | — | v4：每会话一个模块实例 + 隔离断言 + `vibe_v4_set` 闭集 + 单点注册 |
+| `tests/math-computation-v5.test.mjs` | ≈ 1.4 s | — | v5：闭集 `vibe_v5_set`、研究所根回执、会话隔离（7 个 mutant） |
+| `tests/math-computation-shared.test.mjs` | ≈ 0.1 s | — | 共享模块契约（参数/失败码/argv/回执/归档/并发/override/路径守卫），走假 subprocess seam |
+| `tests/audit-math-computation-parity.mjs` | ≈ 0.1 s | — | 四份副本字节一致 + canonical 一致 + 两条安装线 + 描述符不变式（44 条） |
+| `tests/audit-math-computation-contract.mjs` | ≈ 0.2 s | — | 跨预设接线（含 set-schema **属性级**检查与 defaults 漂移检查） |
+| `tests/audit-math-computation-sensitivity.mjs` | ≈ 25 s | — | 21 个模块级变异，每条都要求具名断言变红（控制组必须绿） |
+
+> 上表 `run-tests` 的 `≈424 s / ≈121 s` 两列是 **65 项（44 套件 + 21 探针）** 时的实测（2026 年 math_computation
+> P1/P2a + 审计修复轮之后）。`audit-formal-sensitivity`（49 探针，实测 wall 260.7 s）与 `e2e-v4-fixes`（≈ 98 s）
+> 是两条最长的独立路径；两者都不在 `run-tests` 的默认集合里时，整轮 wall 由 `e2e-v4-fixes` 决定。
+> 数字**形状**（`TOTAL 65 … suites 44 · probes 21`）以 runner 每次运行的输出为准。
 
 单套件耗时（并行时的关键路径按此排序）：
 

package/installer.js

@@ -54,24 +54,27 @@ export const PRESETS = [
   {
     src: 'vibe-math-v2',
     dst: 'vibe-math-v2',
-    files: ['agent.cordis.yml', 'preset.yml', 'vibe-math-v2.js', '实现方案.md'],
+    // math-computation.js + math-engines.js are PER-PRESET copies of the shared module (they must be
+    // listed here: on the <=0.1.6 line only these files are copied into .agent-presets/<id>/, and the
+    // preset JS imports them relatively). guard: tests/audit-math-computation-parity.mjs
+    files: ['agent.cordis.yml', 'preset.yml', 'vibe-math-v2.js', '实现方案.md', 'math-computation.js', 'math-engines.js'],
   },
   {
     src: 'vibe-math-v3',
     dst: 'vibe-math-v3',
-    files: ['agent.cordis.yml', 'preset.yml', 'vibe-math-v3.js', '实现方案.md'],
+    files: ['agent.cordis.yml', 'preset.yml', 'vibe-math-v3.js', '实现方案.md', 'math-computation.js', 'math-engines.js'],
   },
   {
     src: 'vibe-math-v4',
     dst: 'vibe-math-v4',
-    files: ['agent.cordis.yml', 'preset.yml', 'vibe-math-v4.js', '实现方案.md'],
+    files: ['agent.cordis.yml', 'preset.yml', 'vibe-math-v4.js', '实现方案.md', 'math-computation.js', 'math-engines.js'],
   },
   {
     src: 'vibe-math-v5',
     dst: 'vibe-math-v5',
     // 架构图.md belongs here for the same reason 实现方案.md does: the installer's policy is to put
     // the preset's documentation next to the preset, and the shipped v5 directory carries both.
-    files: ['agent.cordis.yml', 'preset.yml', 'vibe-math-v5.js', '实现方案.md', '架构图.md'],
+    files: ['agent.cordis.yml', 'preset.yml', 'vibe-math-v5.js', '实现方案.md', '架构图.md', 'math-computation.js', 'math-engines.js'],
   },
 ]
 

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, classic: qs.json + Propos knowledge base + explorer→solver→review/debate verdict), vibe-math-v3 (THIRD-generation, classic: 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). Each preset also writes a FINAL PAPER by default when its run concludes — and does so BEFORE the run is marked complete: on v4/v5 the team co-authors its parts, merges them, cross-reviews, and the editor named by paperEditor finalises; the output is Paper/<run or institute id>/{paper.md,paper.tex,paper.pdf when a LaTeX engine is detected,paper.meta.json,paper.log.md} (params finalPaper/paperFormat/paperLanguage/paperCompilePdf/paperLatexCommand, plus paperEditor on v4/v5; see docs/final-paper.md).",
-  "version": "2.6.0",
+  "version": "2.7.1",
   "type": "module",
   "engines": {
     "node": "^22.19.0 || >=24.0.0",
@@ -35,6 +35,12 @@
     "docs/架构图.md",
     "docs/formal-verification.md",
     "docs/final-paper.md",
+    "docs/math-computation.md",
+    "tests/audit-math-computation-parity.mjs",
+    "tests/audit-math-computation-contract.mjs",
+    "tests/audit-math-computation-sensitivity.mjs",
+    "tests/math-computation-shared.test.mjs",
+    "tests/helpers/math-computation-fake-seam.mjs",
     "docs/generate_framework_diagram_v2.py",
     "docs/generate_framework_diagram_v3.py",
     "docs/generate_framework_diagram_v4.mjs",
@@ -68,19 +74,27 @@
     "vibe-math-v2/preset.yml",
     "vibe-math-v2/v2的额外要求.txt",
     "vibe-math-v2/vibe-math-v2.js",
+    "vibe-math-v2/math-computation.js",
+    "vibe-math-v2/math-engines.js",
     "vibe-math-v3/实现方案.md",
     "vibe-math-v3/agent.cordis.yml",
     "vibe-math-v3/preset.yml",
     "vibe-math-v3/vibe-math-v3.js",
+    "vibe-math-v3/math-computation.js",
+    "vibe-math-v3/math-engines.js",
     "vibe-math-v4/实现方案.md",
     "vibe-math-v4/agent.cordis.yml",
     "vibe-math-v4/preset.yml",
     "vibe-math-v4/vibe-math-v4.js",
+    "vibe-math-v4/math-computation.js",
+    "vibe-math-v4/math-engines.js",
     "vibe-math-v5/架构图.md",
     "vibe-math-v5/实现方案.md",
     "vibe-math-v5/agent.cordis.yml",
     "vibe-math-v5/preset.yml",
     "vibe-math-v5/vibe-math-v5.js",
+    "vibe-math-v5/math-computation.js",
+    "vibe-math-v5/math-engines.js",
     "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",
@@ -98,6 +112,8 @@
     "docs/release-notes/RELEASE-NOTES-2.4.0.md",
     "docs/release-notes/RELEASE-NOTES-2.4.1.md",
     "docs/release-notes/RELEASE-NOTES-2.6.0.md",
+    "docs/release-notes/RELEASE-NOTES-2.7.0.md",
+    "docs/release-notes/RELEASE-NOTES-2.7.0.en.md",
     "docs/release-notes/RELEASE-NOTES-2.5.0.md",
     "docs/release-notes/RELEASE-NOTES-2.3.2.md",
     "docs/release-notes/RELEASE-NOTES-2.3.3.md",
@@ -121,7 +137,9 @@
     "scripts/build-preset-rows.mjs",
     "preset-declaration.js",
     "tests/audit-preset-rows.test.mjs",
-    "docs/COMPAT-AUDIT-ROUND3.md"
+    "docs/COMPAT-AUDIT-ROUND3.md",
+    "docs/release-notes/RELEASE-NOTES-2.7.1.md",
+    "docs/release-notes/RELEASE-NOTES-2.7.1.en.md"
   ],
   "license": "MIT",
   "keywords": [
@@ -151,7 +169,7 @@
     },
     "minVersion": "0.1.2-alpha.4",
     "testedVersion": "0.2.0-rc.2",
-    "compatNote": "v2.6.0 最终论文版本（四套预设新增「最终论文」功能；既有参数默认值、数据格式与目录结构未变，DSH 支撑窗口不变，无需迁移）。① 新功能（默认开启）：收口时自动撰写最终论文，产出 Paper/<id>/{paper.md,paper.tex,paper.pdf,paper.meta.json,paper.log.md}；参数 finalPaper（默认 true）、paperFormat=both|md|tex（默认 both）、paperLanguage=zh|en（默认 zh）、paperCompilePdf（默认 true）、paperLatexCommand（默认空 = 自动探测），v4/v5 另有 paperEditor；手动 /vN paper [lang=] [format=] [editor=] [force] 只覆盖本次，finalPaper=false 仅关闭自动触发。② 时序：论文阶段发生在 run 被标记完成之前（v4 拦截一致性停止票、v5 拦截 checkSolved 判定；v2/v3 在调度器停止前派发写手），论文定稿或降级结束后才真正完成。③ 团队合写（v4/v5）：各自写 → 合并 → 交叉互审 → 定稿代表定稿 → 全体「可交付」一致认同；v4 paperEditor 默认 office（可选 resident:<id>，指定成员已离职则降级并记明），v5 自动默认 academician，office 仅手动 /v5 paper 且必须先与全所交流（至少 1 条所办消息）并至少召开一次会议，否则 V5_PAPER_CONSULT_REQUIRED。④ 编译与降级：LaTeX 检测顺序 xelatex→latexmk→pdflatex→lualatex→tectonic（中文优先），两遍 nonstopmode，失败先修复（重跑 / 换引擎 / 最小模板）再降级为 tex+md 并告警，绝不覆盖已有 paper.pdf；paperFormat=md 时跳过编译且不告警。⑤ 随本功能修掉：v5 自动触发的 paper 心跳停摆、v2/v3 写手卡死可被心跳回收与 force 重派、v4 可空过的判定断言、v3 随包语料的时间戳非确定性；契约文档 docs/final-paper.md 入库并随包发布，双语 README 补齐参数与用法。本版实测：门禁 57 项全绿（39 套件 + 18 探针），并在真实 DSH 0.2.0-rc.2 上验证四个预设注册（order 20–23）、零激活警告、组合行线上不写旧的 .agent-presets 目录。",
+    "compatNote": "v2.7.1 补丁版：① 诚实性与安装口径（替代方案改变精确性/结论强度必须声明；python 安装按检测到的环境分派 conda/mamba/uv/pip；R/Octave/Julia 的 system 作用域给出每引擎理由；版本求解交给包管理器，只按 base name 查存在，规格原样透传）＋ ② 七个真机缺陷修复（probe 回显请求的引擎、发现 DSH 自带运行时、cli 包预检用 cli.command 的解释器、mode:code 真的传脚本且调用方 argv 优先、版本报真值、探针 argv 无 shell 元字符、探测 cwd 不再依赖项目目录已存在）＋ 两条永久守卫（响应必须可 JSON 序列化；fresh-root 仿真）。既有参数默认值、数据格式与目录结构未变，DSH 支撑窗口不变，无需迁移。",
     "compatibility": {
       "dshReleases": {
         "0.1.2-alpha.4": "compatible",