dsh-vibe-math 2.5.0 → 2.7.0

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

@@ -0,0 +1,268 @@
+# dsh-vibe-math 2.6.0 — 发布说明（中文）
+
+> 上一版：2.5.0。本版新增**最终论文（final paper）**功能：四个预设默认在收口时自动撰写一篇只整理
+> 已有证据的完整论文，且论文阶段发生在"标记完成"**之前**。既有参数默认值、数据格式与目录结构未变，
+> DSH 支撑窗口不变，无需迁移。
+
+---
+
+## 概览
+
+- 新增**最终论文**：默认开启（`finalPaper=true`）。收口信号命中后、**run 被标记完成之前**进入 paper 阶段。
+- 产物固定在 `Paper/<id>/`：`paper.md`、`paper.tex`、`paper.pdf`（仅在宿主检测到 LaTeX 引擎并编译成功时）、
+  `paper.meta.json`、`paper.log.md`。
+- v4/v5 为**团队合写**：各自写自己的部分 → 合并 → 交叉互审 → 定稿代表定稿 → 全体明确"可交付"才定稿；
+  v5 的定稿代表默认院士，所办仅在手动路径下可用，且必须先与全所交流并开会。
+- 编译失败**先修复、后降级**：没有引擎或编译不通过时仍交付 tex+md，只记日志告警，不阻塞定稿，
+  也绝不覆盖已有的 `paper.pdf`。
+- 随功能修掉若干问题：v5 自动触发的心跳停摆、v2/v3 写手卡死可能永久阻塞、v3 随包语料的时间戳非确定性、
+  以及一处会被空过的论文判定检查。
+- 契约文档 `docs/final-paper.md` 随包发布；双语 README 补齐参数与用法。
+
+## 变更
+
+### 1. 新功能：最终论文（四套一致，默认开启）
+
+- **触发**：各预设用自己的收口信号（v2 严格终止、v3 完整收口、v4 一致性会议的一致停止票、
+  v5 每次解题票上的"已解决"判定）。命中后进入 paper 阶段，**论文完成或降级结束之后才把这次 run
+  标记为完成**——否则会议/唤醒机制已被禁用，团队合写无法进行。
+- **手动**：`/vibe paper [lang=zh|en] [format=both|md|tex] [force]`（v2/v3）、
+  `/v4 paper [… editor=office|resident:<id>] [force]`、`/v5 paper [… editor=office|academician] [force]`。
+  命令行覆盖只作用于本次（不写回持久参数）；`force` 重写已定稿的论文；参数非法返回 `kind:'error'`；
+  `finalPaper=false` 只关闭自动触发，手动命令仍可用并在返回里说明"自动已关闭"。
+- **幂等**：同一 run 只写一次（`finalizedAt` + 逐产物存在性检查），重复触发只补写缺失的产物。
+- **内容骨架（9 节，四套一致）**：① 标题、作者、日期与摘要 ② 引言与问题背景 ③ 原问题的完整解法
+  ④ 已检验通过的命题（含判定为真的估计值与证据来源）⑤ 已解决的子问题 / 中间成果
+  ⑥ 创造或发现的有价值之物（方法、理论、思想、经验、数学理解）⑦ 规律总结 ⑧ 讨论、局限与展望
+  ⑨ 附录：证据与文件索引。论文只整理已有证据、**不得编造**；未决与被否证的条目必须显式标注。
+
+### 2. 参数
+
+- `finalPaper`（默认 `true`，四套）：收口时自动撰写最终论文；`false` 只关闭自动触发。
+- `paperFormat`（默认 `both`，四套）：`both`（md+tex）/ `md`（只写 md，跳过编译且不报"缺 tex"）/ `tex`。
+- `paperLanguage`（默认 `zh`，四套）：`zh`（LaTeX 用 `ctexart`，引擎优先 `xelatex`）/
+  `en`（`article`，引擎优先 `pdflatex`）。
+- `paperCompilePdf`（默认 `true`，四套）：检测到 LaTeX 时是否编译 `paper.pdf`。
+- `paperLatexCommand`（默认空，四套）：优先尝试指定的引擎可执行文件；解析不到时按"未检测到"降级。
+- `paperEditor`（仅 v4/v5）：v4 默认 `office`（会话根 / 人类侧），可选 `resident:<id>`
+  （指定成员已离职则降级回 office 并在 meta/log 记明）；v5 默认 `academician`，`office` 仅手动路径可用。
+
+### 3. 产物、LaTeX 检测与降级
+
+- **目录与文件**：`Paper/<id>/`，id 经各预设既有的归一化函数处理（含路径穿越防护）；内容为
+  `paper.md`、`paper.tex`、`paper.pdf`、`paper.meta.json`（参数、触发原因、编译状态与引擎、`finalizedAt`、
+  v5 的咨询计数等）、`paper.log.md`（谁写了什么、谁提了什么意见、如何采纳）。
+- **检测顺序**：`xelatex` → `latexmk` → `pdflatex` → `lualatex` → `tectonic`（中文优先 xelatex，
+  英文 pdflatex 优先）；`paperLatexCommand` 非空时优先尝试它，之后回到标准顺序。
+- **编译**：在论文目录内执行、`-interaction=nonstopmode`、跑两遍；失败**先修复**（重跑 → 换引擎 →
+  最小模板），到上限后**降级**：保留 tex+md，`paper.meta.json` 记 `not-detected` / `failed`，
+  记日志并上报，不阻塞定稿、不抛错。
+- **不覆盖既有 PDF**：宿主 fs 只支持文本写，`paper.pdf` 只能由编译器子进程产生，插件只做存在性校验；
+  无引擎、编译持续失败、`format=md force` 三种形态都逐字节保留已有 `paper.pdf` 并在 meta 里记明原因。
+- `paperFormat=md` 时不产出 tex，因此跳过编译，且不得产生"缺 tex 无法编译"的警告。
+
+### 4. 团队合写与定稿代表（v4 / v5）
+
+- **流程**：各成员写自己负责的部分 → 合并（去重、统一术语与记号）→ 至少一轮**交叉互审** →
+  定稿代表梳理成最终稿 → 全体明确"可交付"才定稿；有异议则继续迭代（有轮次上限，超限记警告并把
+  分歧写进附录）。全过程写入 `paper.log.md`。
+- **v4**：`paperEditor` 默认 `office`，可选 `resident:<id>`。
+- **v5**：自动流程**固定用 `academician`**（所办是根会话，没有唤醒路径）；`office` 只能通过手动
+  `/v5 paper editor=office` 选择，此时所办**必须**先与全所交流（至少 1 条所办消息）并至少召开一次会议，
+  把结论写进定稿说明，然后调用 `vibe_v5_finalize_paper`；缺一即被拒（`V5_PAPER_CONSULT_REQUIRED`）。
+
+### 5. 本轮修复
+
+- **v5 自动触发的心跳停摆**：paper 分支在重新武装心跳之前返回，被节流的提问会永久卡住（新增的
+  自动触发守卫当场抓出）。现在 paper 的每个等待步骤都会重新武装心跳。
+- **v2/v3 写手卡死**：新增写手判决与回收——心跳会回收"已停滞或已不在注册表"的写手并自动重派
+  （有上限），随后给出明确的 `/vibe paper force` 提示；`force` 在 10 分钟窗口内返回可操作的错误
+  （含子代理 id），超过窗口则回收并重新派发；被回收的写手若稍后返回会被记录，而不是静默丢弃。
+- **既有 PDF 不被覆盖**（见 §3）：无引擎、编译持续失败、`format=md force` 三种形态都验证了
+  `paper.pdf` 逐字节保留。
+- **"不得编造"契约**：论文唤醒提示词明确要求只整理已有证据、不得编造、未决与被否证的条目必须
+  显式标注；把措辞改成"可以编造"会立刻被守卫挡住。
+- **v3 语料确定性**：paper 摘要嵌入的证据索引含毫秒时间戳文件名，两个语料 scrubber 增加时间戳归一化，
+  连续两次运行的随包语料逐字节一致。
+- **守卫**：自动触发（论文写完之前不得标记完成）、既有 pdf 保留与"不得编造"契约都有可证伪的检查
+  （把对应逻辑改坏会立刻变红）；原先可被空过的论文判定检查一并修正。
+
+### 6. 文档与契约
+
+- 新增并随包发布 `docs/final-paper.md`：合并用户确认的规格与设计审计修订，写明各预设真实的收口信号、
+  触发时序、产物、9 节骨架、LaTeX 检测与降级、团队流程与 v5 咨询门。
+- 双语 README：四套各补 5 个参数行（v4/v5 另有第 6 个 `paperEditor`）与"最终论文 / Final paper"小节。
+- `docs/test-timing.md` 与 `docs/AUDIT-CHECKLIST.md` 的套件/探针计数更正为 **57 = 39 套件 + 18 探针**，
+  人设灵敏度探针更正为 13 条；npm 描述加入最终论文说明。
+
+## 兼容性
+
+- **DSH 支撑窗口不变**：`0.1.2-alpha.4 … 0.2.0-rc.2`；组合行（≥0.1.7）与目录（≤0.1.6）两条线都保留。
+- **既有参数默认值未变**；新增的最终论文参数默认开启（`finalPaper=true`），要关掉自动触发设
+  `finalPaper=false`（手动命令仍可用）。
+- **数据与目录结构不变**：状态文件、项目布局与既有镜像位置照旧；`Paper/<id>/` 只是新增的产物目录，
+  无需迁移。
+- **提示词**：新增最终论文参数与 `/vN paper` 的说明，并写明"论文完成后才算完成"；随包语料已按当前
+  四套重新生成。
+
+## 升级
+
+```sh
+npm i dsh-vibe-math@latest
+```
+
+桌面版在「设置 → 插件」里更新；命令行 profile 用 `dsh plugin --profile <你的 profile> add dsh-vibe-math@latest`，随后重启 DSH。
+
+---
+
+# dsh-vibe-math 2.6.0 — Release Notes (English)
+
+> Previous: 2.5.0. This release adds the **final paper**: each of the four presets writes a complete paper
+> at closure that only organises evidence it already has, and the paper phase runs **before** the run is
+> marked complete. Existing parameter defaults, data formats and the directory layout are unchanged, the
+> supported DSH window is unchanged, and no migration is needed.
+
+---
+
+## Overview
+
+- **Final paper** is new and **on by default** (`finalPaper=true`). Once the closure signal fires and
+  **before the run is marked complete**, the run enters the paper phase.
+- The artifacts live in `Paper/<id>/`: `paper.md`, `paper.tex`, `paper.pdf` (only when the host has a
+  LaTeX engine and the compile succeeds), `paper.meta.json` and `paper.log.md`.
+- v4/v5 co-author the paper **as a team**: each member writes its own part → merge → cross-review →
+  the editor finalises → the paper is finalised only when everyone agrees it is deliverable. In v5 the
+  default editor is the academician; the institute office is available only on the manual path and must
+  first consult the whole institute and convene a meeting.
+- A failed compile is **repaired first, degraded second**: with no engine or a failing compile the tex+md
+  are still delivered with a logged warning, the finalisation is never blocked, and an existing
+  `paper.pdf` is never overwritten.
+- The release also fixes: a v5 automatic-trigger heartbeat stall, v2/v3 writers that could hang and block
+  forever, non-determinism in the v3 shipped corpus, and a paper verdict check that could pass vacuously.
+- The contract document `docs/final-paper.md` ships with the package, and both READMEs now document the
+  parameters and usage.
+
+## Changes
+
+### 1. New feature: the final paper (all four presets, on by default)
+
+- **Trigger**: each preset uses its own closure signal (v2 strict termination, v3 full closure, v4 the
+  closing meeting's unanimous stop vote, v5 the "solved" decision on each solve vote). The run then enters
+  the paper phase, and **the run is marked complete only after the paper is finalised or has degraded** —
+  otherwise the meeting/wake mechanisms are already disabled and team co-authoring cannot run.
+- **Manual**: `/vibe paper [lang=zh|en] [format=both|md|tex] [force]` (v2/v3),
+  `/v4 paper [… editor=office|resident:<id>] [force]`, `/v5 paper [… editor=office|academician] [force]`.
+  Command-line overrides apply to that invocation only (they are not written back to the persisted
+  parameters); `force` rewrites an already-finalised paper; an invalid argument returns `kind:'error'`;
+  `finalPaper=false` disables only the automatic trigger, and the manual command still works and says so.
+- **Idempotent**: one paper per run (`finalizedAt` plus a per-artifact existence check); a repeated
+  trigger only fills in missing artifacts.
+- **The nine-section skeleton (identical in all four presets)**: ① title, authors, date and abstract
+  ② introduction and problem background ③ the complete solution of the original problem ④ the verified
+  propositions (with the estimated truth values and their evidence) ⑤ solved sub-problems / intermediate
+  results ⑥ methods, theories, ideas, useful experience and mathematical understanding created or
+  discovered ⑦ patterns distilled from the above ⑧ discussion, limitations and outlook ⑨ appendix:
+  evidence and file index. The paper only organises existing evidence and **must not fabricate**;
+  unresolved and refuted items must be marked explicitly.
+
+### 2. Parameters
+
+- `finalPaper` (default `true`, all four): write the final paper automatically at closure; `false` disables
+  only the automatic trigger.
+- `paperFormat` (default `both`, all four): `both` (md+tex) / `md` (markdown only; skips compilation and
+  does not warn about a missing tex) / `tex`.
+- `paperLanguage` (default `zh`, all four): `zh` (`ctexart`, engine prefers `xelatex`) /
+  `en` (`article`, engine prefers `pdflatex`).
+- `paperCompilePdf` (default `true`, all four): compile `paper.pdf` when a LaTeX engine is detected.
+- `paperLatexCommand` (default empty, all four): try this engine executable first; if it cannot be
+  resolved, degrade as "not detected".
+- `paperEditor` (v4/v5 only): v4 defaults to `office` (the session root / human side) and also accepts
+  `resident:<id>` (if that member has left, it degrades back to office and the meta/log say so);
+  v5 defaults to `academician`, and `office` is available only on the manual path.
+
+### 3. Artifacts, LaTeX detection and degradation
+
+- **Layout**: `Paper/<id>/`, with the id normalised by each preset's existing helper (including path
+  traversal protection). It contains `paper.md`, `paper.tex`, `paper.pdf`, `paper.meta.json` (parameters,
+  trigger, compile status and engine, `finalizedAt`, the v5 consultation counts) and `paper.log.md`
+  (who wrote what, who raised which review point, and how it was adopted).
+- **Detection order**: `xelatex` → `latexmk` → `pdflatex` → `lualatex` → `tectonic` (`xelatex` first for
+  Chinese, `pdflatex` first for English). A non-empty `paperLatexCommand` is tried first, then the standard
+  order.
+- **Compilation**: run inside the paper directory with `-interaction=nonstopmode`, twice; on failure it is
+  **repaired first** (rerun → switch engine → minimal template) and only then **degraded**: tex+md are
+  kept, `paper.meta.json` records `not-detected` / `failed`, a warning is logged and reported, the
+  finalisation is not blocked and nothing is thrown.
+- **An existing PDF is never overwritten**: the host fs only supports text writes, so `paper.pdf` can only
+  be produced by the compiler subprocess and the plugin merely checks that it exists. With no engine, with
+  a persistently failing compile, and with `format=md force`, an existing `paper.pdf` is kept byte for byte
+  and the meta records why.
+- With `paperFormat=md` no tex is produced, so compilation is skipped and no "cannot compile without tex"
+  warning may appear.
+
+### 4. Team co-authoring and the editor (v4 / v5)
+
+- **Flow**: each member writes its own part → merge (deduplicate, unify terms and notation) → at least one
+  **cross-review** round → the editor turns it into the final draft → the paper is finalised only when
+  everyone agrees it is deliverable; objections keep iterating (bounded, after which a warning is recorded
+  and the disagreement goes into the appendix). The whole process is written to `paper.log.md`.
+- **v4**: `paperEditor` defaults to `office`, and also accepts `resident:<id>`.
+- **v5**: the automatic flow **always uses `academician`** (the office is the root session and has no wake
+  path). `office` is available only through the manual `/v5 paper editor=office`, and that path requires
+  the office to consult the whole institute first (at least one office message) and to convene at least one
+  meeting, to state the conclusion in the finalisation note, and then to call `vibe_v5_finalize_paper`;
+  without both counts it is refused (`V5_PAPER_CONSULT_REQUIRED`).
+
+### 5. Fixes in this release
+
+- **v5 automatic-trigger heartbeat stall**: the paper branch returned before re-arming the heartbeat, so a
+  throttled ask could hang forever (the new automatic-trigger guard caught it). Every waiting step of the
+  paper flow now re-arms the heartbeat.
+- **v2/v3 hung writers**: a new writer verdict and reaper — the heartbeat reaps writers that have stalled
+  or left the registry and re-dispatches them (bounded), after which it points at `/vibe paper force`;
+  `force` returns an actionable error inside the 10-minute window (including the subagent id) and reaps and
+  re-dispatches past it; a reaped writer that returns later is recorded instead of being dropped silently.
+- **An existing PDF is never overwritten** (see §3): with no engine, with a persistently failing compile
+  and with `format=md force`, the file is verified to be kept byte for byte.
+- **The "must not fabricate" contract**: the paper wake-up prompts now require that only existing evidence
+  is organised, that nothing may be fabricated, and that unresolved or refuted items are marked explicitly;
+  rewording that to "may fabricate" is caught by the guards immediately.
+- **v3 corpus determinism**: the paper summary embedded an evidence index with a millisecond-timestamped
+  log name; both corpus scrubbers now normalise the timestamp, so two consecutive runs produce
+  byte-identical shipped corpora.
+- **Guards**: the automatic trigger (the run must not be marked complete before the paper is written), the
+  preservation of an existing pdf and the "must not fabricate" contract all have falsifiable checks (break
+  the corresponding logic and they go red); a paper verdict check that used to pass vacuously was corrected
+  as well.
+
+### 6. Documentation and the contract
+
+- `docs/final-paper.md` is new and ships with the package: it merges the user-approved specification with
+  the design-audit amendments and states each preset's real closure signal, the ordering, the artifacts,
+  the nine-section skeleton, detection and degradation, the team flow and the v5 consultation gate.
+- Both READMEs gain the five parameter rows per preset (plus the sixth, `paperEditor`, on v4/v5) and a
+  "final paper" section.
+- The suite/probe counts in `docs/test-timing.md` and `docs/AUDIT-CHECKLIST.md` are corrected to
+  **57 = 39 suites + 18 probes**, and the persona sensitivity probes to 13; the npm description mentions
+  the final paper.
+
+## Compatibility
+
+- **Supported DSH window unchanged**: `0.1.2-alpha.4 … 0.2.0-rc.2`; both the composition-row (≥ 0.1.7) and
+  directory (≤ 0.1.6) lines are kept.
+- **Existing parameter defaults are unchanged**; the new final-paper parameters default to on
+  (`finalPaper=true`) — set `finalPaper=false` to disable the automatic trigger (the manual command still
+  works).
+- **No data or layout change**: the state file, the project layout and the existing mirror locations are
+  unchanged; `Paper/<id>/` is only a new artifact directory, and no migration is needed.
+- **Prompts**: the final-paper parameters and `/vN paper` are documented, and the prompts state that the
+  run is complete only after the paper. The shipped corpora were regenerated for the current four presets.
+
+## Upgrade
+
+```sh
+npm i dsh-vibe-math@latest
+```
+
+Desktop updates through Settings → Plugins; a CLI profile uses
+`dsh plugin --profile <your profile> add dsh-vibe-math@latest`, then restart DSH.

package/docs/release-notes/RELEASE-NOTES-2.7.0.en.md

@@ -0,0 +1,151 @@
+# dsh-vibe-math 2.7.0 — Release Notes (English)
+
+> Previous release: 2.6.0. This release adds two capabilities: **incremental Lean formalisation
+> (async compilation + `import` reuse)** and the **`math_computation` tool** (one shared
+> implementation for all four presets). Existing parameter defaults, data formats and directory
+> structure are **unchanged** (the release only adds parameters and directories), the DSH support
+> window is unchanged, and no migration is needed.
+
+---
+
+## Overview
+
+- **Incremental Lean formalisation**: `leanAsync` (default `true`) compiles on a per-session
+  background queue and returns as soon as the job is queued; new `leanJobsMaxParallel`
+  (default `1`), `leanInitiative` (`off|normal|eager`, default `normal`) and `leanSearchPaths`
+  (default `[]`). New read-only tools `lean_read` / `lean_job`; jobs are mirrored to
+  `Formal/Jobs/<jobId>.json`.
+- **`math_computation` (new tool)**: `op:'probe'` pre-checks engines/packages/licences, `op:'run'`
+  computes, and every run is archived as a reviewable receipt; `op:'install'` is a two-step
+  plan-then-confirm flow and `op:'receipt'` re-checks a receipt read-only.
+- **Engines**: `python` / `r` / `octave` / `julia` / `matlab` / `maple` / `wolfram` / `cli`.
+  The three commercial ones are **detected and licence-checked only and are never installed**;
+  `cli` is on by default (two documented ways to disable it).
+- **Archive → edit → re-run**: receipts carry `scriptPath`/`scriptHash`; after editing a script you
+  must re-run it with `mode:'file'`, because an old receipt is not evidence for edited code
+  (`scriptChanged` / `scriptChangedDuringRun` warn explicitly).
+- **Six new parameters**: `mathComputation` / `mathMode` / `mathEngines` / `mathTimeoutMs` /
+  `mathPackages` / `mathInstallScope` (the bilingual README table and `docs/math-computation.md`
+  are authoritative).
+- This release went through **four independent audit rounds** plus a **real-host packaging/boot
+  certification on the frozen commit**; the gate is `TOTAL 65  PASS 65  FAIL 0`
+  (44 suites + 21 probes).
+
+## Changes
+
+### 1. Incremental Lean formalisation + async compilation + `import` reuse
+
+- **New parameters** (identical in all four presets; every default preserves existing behaviour):
+  - `leanAsync`: default `true`. `true` = compile on a **per-session background queue** and return
+    as soon as it is queued; `false` = synchronous `await` (the old semantics).
+  - `leanJobsMaxParallel`: default `1` (serial). Concurrency cap for background compilations.
+  - `leanInitiative`: `off | normal | eager`, default `normal`. **How eager the staff are about
+    formalising during normal work.**
+  - `leanSearchPaths`: default `[]`. Extra `--search-path` roots; when non-empty they are injected
+    **first** and the automatic root is injected **after** them.
+- **Queue state machine**: jobs move through explicit states, and **only `settled(ok)` counts as
+  passed** - "queued" or "compiling" never counts as proved.
+- **`import` reuse**: the compile command automatically injects `--search-path <VibeMath root>`, so
+  `import Formal.Lib.<name>` / `Formal.Proved.<name>` work directly (cross-project reuse of archived
+  definitions and lemmas).
+- **New read-only tools**: `lean_read` (read archive/library content) and `lean_job` (job status).
+  Both are **read-only** and never trigger a compilation.
+- **Job mirror**: every job keeps a mirror at `Formal/Jobs/<jobId>.json`, so a restart can re-queue
+  or explicitly interrupt it.
+- **Honest note**: `leanInitiative` and `formalVerify` are **two independent axes**.
+  `formalVerify:'off'` disables the **verification stage**; it does not swallow the initiative axis:
+  `off + normal` ⇒ no Lean text at all; `off + eager` ⇒ **only** the daily line (the proactivity
+  prompt) appears, while the verification stage stays off.
+
+### 2. The new `math_computation` tool
+
+- **Six frozen parameters** (the names cannot change; identical spelling across the four presets,
+  the bilingual README table and the contract doc):
+  | Parameter | Default | Meaning |
+  |---|---|---|
+  | `mathComputation` | `auto` | `off` (a true no-op) / `auto` (works once an engine is detected) / `on` |
+  | `mathMode` | `typed+shell` | **Prompt policy**: `typed` never mentions the shell and disables `engine:'cli'` |
+  | `mathEngines` | `[python,r,octave,julia,matlab,maple,wolfram,cli]` | Allowed set and probe order; removing `cli` closes the escape hatch |
+  | `mathTimeoutMs` | `60000` | Per-run budget (minimum 1000); on timeout the process is **actively terminated** |
+  | `mathPackages` | `[]` | Packages required by default; a missing one is reported with a plan, **never auto-installed** |
+  | `mathInstallScope` | `user` | Install scope; `system` must be passed explicitly every time and is **never remembered** |
+- **`op`**: `probe` (engines/versions/packages/licences), `run` (`mode: code|file|expr`),
+  `receipt` (read-only re-check), `install` (two-step).
+- **Failure codes (11, frozen)**: `MATH_NOT_AVAILABLE`, `MATH_ENGINE_NOT_FOUND`,
+  `MATH_ENGINE_LICENSE_REQUIRED`, `MATH_ENGINE_UNUSABLE`, `MATH_MISSING_PACKAGES`, `MATH_TIMEOUT`,
+  `MATH_NONZERO_EXIT`, `MATH_ENGINE_BAD_ARGV`, `MATH_REFUSED`, `MATH_INVALID_ARGUMENT`,
+  `MATH_NO_SUBPROCESS`; each carries a machine-readable `next` (`user-install` / `agent-install` /
+  `vendor` / `enable` / `engine-override` / `reason` / `note`).
+- **Deterministic receipts**: `runId` is derived only from preset + project + engine + mode + key +
+  sorted packages and contains **no wall clock**; `argv` is echoed **both** in the receipt and in the
+  return value (copy it to re-run); full `stdout`/`stderr` land on disk while the return value is
+  capped at 64 KB.
+- **Engines**: `python`/`r`/`octave`/`julia` are free; `matlab`/`maple`/`wolfram` are **commercial** -
+  detected and licence-checked only, **never installed** (vendor guidance only); `cli` runs the
+  command you name, still under the tool's timeout, output caps, cwd and receipt.
+- **Two installation routes**: ① user self-install (per-OS commands + official links); ② agent
+  install via `plan → planToken → confirm` (the token binds the plan content, so a changed plan
+  invalidates it). Scope defaults to **user**; `system` must be confirmed **every time**; each
+  execution writes an audit file `Computation/installs/<planToken>.json` (exact commands, exit codes,
+  before/after versions and **uninstall templates**). Package installation has **no universal
+  rollback** - the tool guarantees verifiable commands/versions plus uninstall templates, not
+  automatic rollback.
+- **`cli` is on by default** (it is no broader than the host shell the model already has, but it adds
+  receipts and limits); two documented ways to disable it: `mathMode:'typed'`, or removing `'cli'`
+  from `mathEngines` - both return `MATH_REFUSED`.
+- **Archive → edit → re-run (integrity rules)**:
+  - the return value and the receipt both carry `scriptPath`/`scriptHash`; the script original can be
+    opened and edited;
+  - re-run it with `mode:'file'` after editing ⇒ a **new receipt** (new attempt, new hash); **an old
+    receipt is not evidence for edited code**;
+  - `scriptChanged` (the current file differs from the previous receipt) and
+    `scriptChangedDuringRun` (the file changed while the run was in flight) **warn explicitly** and
+    are recorded in the receipt;
+  - archives are **append-only** (`Computation/<id>/`, attempt n≥2 under `attempts/<n>/`) and
+    existing files are **never overwritten**;
+  - the retention caps (20 attempts / 200 runs) **warn only and never delete**; unknown parameter
+    keys in a hand-edited state file are **reported** (`diagnostics`) instead of being dropped
+    silently.
+
+### 3. Honest boundaries (please read)
+
+- **Engine execution is verified only through a fake subprocess seam**: no real python/R/octave/julia/
+  matlab/maple/wolfram was run on this machine; real-engine verification needs a machine with those
+  engines installed (the **static** surface - templates, licence probes, install plans - is pinned by
+  guards).
+- **The plugin cannot enforce network or write restrictions**: the host's `subprocess.spawn` has
+  **no policy slot** (its `env` layer only scrubs credentials/`DSH_*` names and cannot restrict
+  network or disk access); real enforcement needs host sandbox support and is **recorded as a pending
+  upstream requirement**.
+- **Commercial templates are marked `VERIFY`**: the CLI templates for Maple (especially), MATLAB and
+  Wolfram change between versions, so their descriptors carry a `VERIFY` flag; every run echoes the
+  real argv, and a usage/option error returns `MATH_ENGINE_BAD_ARGV` with a `mathEngineOverride`
+  hint instead of a bare `MATH_NONZERO_EXIT`. Machines with licences should verify those three
+  templates themselves.
+- **SageMath is P2**: this release only has the descriptor placeholder; it is not wired in.
+- **The two comparison experiments are given as run-books** (sync vs async compilation; without vs
+  with `import` reuse): these notes contain **no fabricated numbers** and do not claim that a
+  real-Lean-corpus comparison was completed.
+
+### 4. Review and verification
+
+This release went through **four independent audit rounds** (adversarial re-falsification, cross
+audit, user on-ramp, fresh-lens review) and a **real-host packaging/boot certification on the frozen
+commit**; the gate is `TOTAL 65  PASS 65  FAIL 0` (**44 suites + 21 probes**), plus 22 module-level
+mutation probes that each require a *named* assertion to turn red.
+
+## Compatibility
+
+- Existing parameter defaults, data formats and directory structure are **unchanged**; every new
+  parameter defaults to "does not change existing behaviour" (`leanAsync=true` merely moves
+  compilation to a background queue, `leanInitiative='normal'` keeps the previous proactivity).
+- New directories `Computation/` and `Formal/Jobs/`; the host's text write **creates missing parent
+  directories**, so nothing has to be pre-created by hand.
+- The DSH support window is unchanged (the `>=0.1.7` patch row and the `<=0.1.6` directory row both
+  ship the shared module).
+
+## Upgrade
+
+- Upgrade directly: **no migration** - no parameter was renamed and no state-file format changed.
+- To turn the new capabilities off: `mathComputation:'off'` (a true no-op), `leanAsync:false` (back to
+  synchronous compilation), `leanInitiative:'off'` (no proactive formalisation).

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

@@ -0,0 +1,115 @@
+# dsh-vibe-math 2.7.0 — 发布说明（中文）
+
+> 上一版：2.6.0。本版新增两块能力：**Lean 增量形式化（异步编译 + `import` 复用）** 与
+> **`math_computation` 数学计算工具**（四套预设共享同一实现）。既有参数默认值、数据格式与目录结构
+> **未变**（只是新增参数与目录），DSH 支撑窗口不变，无需迁移。
+
+---
+
+## 概览
+
+- **Lean 增量形式化**：`leanAsync`（默认 `true`）把编译放后台队列，入队即返回；新增并发上限
+  `leanJobsMaxParallel`（默认 `1`）、日常主动性 `leanInitiative`（`off|normal|eager`，默认 `normal`）
+  与额外搜索路径 `leanSearchPaths`（默认 `[]`）。新增只读工具 `lean_read` / `lean_job`，
+  作业镜像写 `Formal/Jobs/<jobId>.json`。
+- **`math_computation`（新工具）**：先用 `op:'probe'` 预检引擎/包/许可，再 `op:'run'` 计算，
+  每次执行都归档成可复核回执；`op:'install'` 走"计划 → 确认"两段式，`op:'receipt'` 只读复核。
+- **引擎**：`python` / `r` / `octave` / `julia` / `matlab` / `maple` / `wolfram` / `cli`。
+  商业三家**只探测与查许可，永不代装**；`cli` 默认开启（两个文档化的关闭路径）。
+- **归档→编辑→重跑**：回执带 `scriptPath`/`scriptHash`；改动脚本后必须用 `mode:'file'` 重跑，
+  旧回执对修改后的代码无效（`scriptChanged` / `scriptChangedDuringRun` 显式告警）。
+- **六个新参数**：`mathComputation` / `mathMode` / `mathEngines` / `mathTimeoutMs` / `mathPackages` /
+  `mathInstallScope`（README 双语参数表与 `docs/math-computation.md` 为准）。
+- 本版经过**四轮独立审查** + 冻结提交上的**真机打包/启动认证**；门禁 `TOTAL 65  PASS 65  FAIL 0`
+  （44 套件 + 21 探针）。
+
+## 变更
+
+### 1. Lean 增量形式化 + 异步编译 + `import` 复用
+
+- **新参数**（四套一致，默认值即"安全且不改变既有行为"）：
+  - `leanAsync`：默认 `true`。`true` = 编译进**每会话后台队列**，入队即返回；`false` = 同步 `await`（旧语义）。
+  - `leanJobsMaxParallel`：默认 `1`（串行）。后台编译的并发上限。
+  - `leanInitiative`：`off | normal | eager`，默认 `normal`。**日常流程中的形式化主动性**。
+  - `leanSearchPaths`：默认 `[]`。额外的 `--search-path` 根；非空时**先**注入它们，**再**注入自动根。
+- **队列状态机**：作业有明确的状态迁移；**只有 `settled(ok)` 才算 passed**——"入队成功/正在编译"
+  一律不计入通过，也不会被当成已证。
+- **`import` 复用**：编译命令自动注入 `--search-path <VibeMath 根>`，因此
+  `import Formal.Lib.<name>` 与 `Formal.Proved.<name>` 可以直接工作（跨项目复用已归档的定义/引理）。
+- **新只读工具**：`lean_read`（读归档/库内容）与 `lean_job`（查作业状态），都是**只读**，不会触发编译。
+- **作业镜像**：每个作业在 `Formal/Jobs/<jobId>.json` 留一份镜像，进程重启后可恢复或显式中断。
+- **诚实说明**：`leanInitiative` 与 `formalVerify` 是**两条独立的轴**。
+  `formalVerify:'off'` 关闭的是**验证阶段**，不会吞掉主动性轴：
+  `off + normal` ⇒ 一个字都不提 Lean；`off + eager` ⇒ **只**出现日线（主动性提示），验证段仍然关闭。
+
+### 2. 新工具 `math_computation`
+
+- **六个冻结参数**（名字不可改；四套、README 双语表、契约文档拼写一致）：
+  | 参数 | 默认 | 说明 |
+  |---|---|---|
+  | `mathComputation` | `auto` | `off`（真 no-op）/ `auto`（探测到才工作）/ `on` |
+  | `mathMode` | `typed+shell` | **提示词策略**：`typed` 不提 shell 且禁用 `engine:'cli'` |
+  | `mathEngines` | `[python,r,octave,julia,matlab,maple,wolfram,cli]` | 允许/探测顺序；去掉 `cli` 即关闭逃生口 |
+  | `mathTimeoutMs` | `60000` | 单次上限（最小 1000）；超时**主动终止**进程 |
+  | `mathPackages` | `[]` | 默认要求的包；缺包只报告 + 给计划，**不自动装** |
+  | `mathInstallScope` | `user` | 安装作用域；`system` 必须每次显式指定、**不被记住** |
+- **`op`**：`probe`（预检引擎/版本/包/许可）、`run`（`mode: code|file|expr`）、`receipt`（只读复核）、
+  `install`（两段式安装）。
+- **失败码（11 个，冻结）**：`MATH_NOT_AVAILABLE`、`MATH_ENGINE_NOT_FOUND`、`MATH_ENGINE_LICENSE_REQUIRED`、
+  `MATH_ENGINE_UNUSABLE`、`MATH_MISSING_PACKAGES`、`MATH_TIMEOUT`、`MATH_NONZERO_EXIT`、
+  `MATH_ENGINE_BAD_ARGV`、`MATH_REFUSED`、`MATH_INVALID_ARGUMENT`、`MATH_NO_SUBPROCESS`；
+  每个都带机读 `next`（`user-install` / `agent-install` / `vendor` / `enable` / `engine-override` /
+  `reason` / `note`）。
+- **确定性回执**：`runId` 只由"预设 + 项目 + 引擎 + 模式 + 键 + 排序后的包"决定，**不含墙钟**；
+  `argv` 在回执与返回体里**双回显**（可照抄复跑）；`stdout`/`stderr` 全量落盘、返回体截 64KB。
+- **引擎**：`python`/`r`/`octave`/`julia` 为自由引擎；`matlab`/`maple`/`wolfram` 为**商业**——
+  只做探测与许可检查，**永不代装**（只给厂商指引）；`cli` 用你指定的命令执行，仍受本工具的超时、
+  输出上限、cwd 与回执约束。
+- **两条安装路径**：① 用户自装（逐 OS 命令 + 官方链接）；② 代理代装 `plan → planToken → confirm`
+  （token 绑定计划内容，内容变了即失效）。默认 **user 作用域**，`system` **每次都要显式确认**；
+  每次执行写审计 `Computation/installs/<planToken>.json`（含确切命令、退出码、before/after
+  与**卸载命令模板**）。包安装**没有通用回滚**——工具保证的是"命令与版本可核验 + 卸载模板"，
+  不做自动回滚。
+- **`cli` 默认开启**（它不比模型本来就有的宿主 shell 更大，但多了回执与上限）；两个关闭路径：
+  `mathMode:'typed'`，或把 `'cli'` 从 `mathEngines` 移除——两者都返回 `MATH_REFUSED`。
+- **归档→编辑→重跑（完整性保证）**：
+  - 返回体与回执都带 `scriptPath`/`scriptHash`；脚本原件可以打开/编辑；
+  - 编辑后用 `mode:'file'` 重跑 ⇒ **新回执**（新 attempt、新哈希）；**旧回执不代表修改后的代码**；
+  - `scriptChanged`（与上一份回执的哈希不一致）、`scriptChangedDuringRun`（运行期间被改动）都会
+    **显式告警**并写进回执；
+  - 归档是**追加式**的（`Computation/<id>/`，第 n≥2 次进 `attempts/<n>/`），已有文件**永不覆盖**；
+  - 保留上限（20 attempt / 200 run）**只告警、永不自动删除**；手改状态文件里的未知参数键会被
+    **报告**（`diagnostics`），不静默丢弃。
+
+### 3. 诚实边界（务必读）
+
+- **引擎执行只用假 subprocess seam 验证**：本机**没有**跑过真实的 python/R/octave/julia/matlab/
+  maple/wolfram；真机验证需要一台装有这些引擎的机器（模板、许可探测与安装计划的**静态面**已被守卫冻结）。
+- **插件不能强制禁网/限权**：宿主 `subprocess.spawn` **没有 policy 槽**（`env` 层只做凭据/`DSH_*`
+  清洗，不能限制网络或写盘）；真强制需要宿主 sandbox 支持，**列为待上游需求**。
+- **商业模板标 `VERIFY`**：Maple（尤甚）、MATLAB、Wolfram 的 CLI 模板随版本变化，描述符带 `VERIFY`
+  标记；每次运行都回显实际 argv，用法/选项错会返回 `MATH_ENGINE_BAD_ARGV` 并提示用
+  `mathEngineOverride` 覆盖模板（而不是裸 `MATH_NONZERO_EXIT`）。有许可的机器应自行验证这三个模板。
+- **SageMath 属于 P2**：本版只有描述符占位，不接入。
+- **两个对照实验以 run-book 形式给出**（同步 vs 异步编译；不使用 vs 使用 `import` 复用）：
+  本说明**不含**任何编造的实测数字，也不声称已完成真实 Lean 语料的对比。
+
+### 4. 审查与验证
+
+本版经过 **四轮独立审查**（对抗性再证伪、交叉审计、用户上手路径、新视角复审），
+并在**冻结提交上**完成**真机打包/启动认证**；门禁为 `TOTAL 65  PASS 65  FAIL 0`
+（**44 套件 + 21 探针**），另有 22 个模块级变异探针要求"具名断言变红"。
+
+## 兼容性
+
+- 既有参数默认值、数据格式与目录结构**未变**；新增参数都取"不改变既有行为"的默认值
+  （`leanAsync=true` 只是把编译改为后台队列，`leanInitiative='normal'` 保持原有主动性）。
+- 新增目录 `Computation/` 与 `Formal/Jobs/`；宿主的文本写会**自动创建缺失的父目录**，
+  无需预先手工建目录。
+- DSH 支撑窗口不变（`>=0.1.7` 的 patch 行 + `<=0.1.6` 的目录行两条安装线都随包发布共享模块）。
+
+## 升级
+
+- 直接升级即可，**无需迁移**：没有改名的参数、没有改格式的状态文件。
+- 想关闭新能力：`mathComputation:'off'`（真 no-op）、`leanAsync:false`（回到同步编译）、
+  `leanInitiative:'off'`（不主动形式化）。

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/` 的一个**子集**（发布物共 102 个文件，其中 `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`。
-- **仅仓库（不发）**：其余 28 个套件（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,10 +49,10 @@ node tests/run-tests.mjs --json              # 机器可读汇总（含 skippedN
 
 | 脚本 | 串行（sum） | 并行（wall） | 实测输出 |
 |---|---|---|---|
-| `tests/run-tests.mjs`（**56 项** = 38 套件 + 18 探针/变体） | ≈ 629 s | **≈ 208 s**（并发 4，speed-up x3.02） | `TOTAL 56  PASS 56  FAIL 0  (suites 38 · 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`（11 探针） | ≈ 4.4 s | — | 本身很快，不需要并行 |
+| `tests/audit-persona-sensitivity.mjs`（16 探针） | ≈ 4.4 s | — | 本身很快，不需要并行 |
 | `tests/audit-prompt-invariants.mjs`（157 条） | ≈ 1.9 s | — | 静态 |
 | `tests/audit-prompt-invariants.mjs --self-probe`（5 探针） | ≈ 7.4 s | — | 每个探针 = 一次自我重跑 |
 | `tests/audit-spec-traceability.mjs`（94 条） | ≈ 0.2 s | — | 静态 |
@@ -63,6 +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 条） |
+| `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'],
   },
 ]