dsh-vibe-math 2.7.0 → 2.7.2

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/release-notes/RELEASE-NOTES-2.7.2.en.md

@@ -0,0 +1,72 @@
+# dsh-vibe-math 2.7.2 — Release Notes (English)
+
+> Previous release: 2.7.1. This is a **PATCH release that contains fixes and additive response fields only** — no existing behaviour contract changes. It completes **engine discovery, evidence and diagnostics** on real hosts: an engine that is installed but not on `PATH` is now found, install guidance never hands over a command that cannot run, and failure evidence (timeout, missing packages, unenforced constraints) is neither absent nor silent. The archive identity and the participant-set semantics are directly checkable. Parameter defaults, data formats and the directory layout are **unchanged**, the DSH support window is unchanged, and **no migration is needed**.
+
+## Overview
+
+- **More reliable discovery on real hosts**: discovery now runs PATH → runtimes shipped by the host → **the known per-OS install locations**, so an engine installed in its default directory but never added to `PATH` (R, for example) is found.
+- **No more unrunnable install commands**: `MATH_ENGINE_NOT_FOUND` only offers an executable command when that package manager really exists on this machine; otherwise it gives the suggested command, the official location and the reason.
+- **`probe` no longer reports only the good news**: besides the engines that resolved, it names the **configured but not found** engines and why.
+- **Complete failure evidence**: `MATH_TIMEOUT` carries the same fields as `MATH_NONZERO_EXIT`, and a timeout's partial output is available in **both the response and the receipt**.
+- **The constraint policy is stated**: version constraints are **checked for existence only and never enforced**, and the constraints that were not checked are listed instead of being dropped silently.
+- **Checkable archive identity**: the run response carries the archive id and attempt, and the "edit an archived script, then re-run" semantics are explained by an explicit field and warning.
+- **One participant set per verify/meeting (v4/v5)**: the roster is snapshotted with a version, every view reads the same snapshot, and the version increments when the set really changes so a stale set is detectable.
+- **More specific diagnostics**: member-level failures return a code, the current state and a next step instead of a bare "no such resident".
+
+## Added
+
+- The `math_computation` `run` response now carries **`runId`** and **`attempt`** (previously the archive id existed only inside the receipt, so a caller could not verify "same archive").
+- The `probe` response now carries **`configured`** (every engine enabled in the configuration) and **`absent[]`**, where each missing engine states **`why`** (`not-found-on-this-machine` or `needs-a-caller-supplied-command`).
+- Constraint policy fields: both a successful response and a "missing packages" failure carry **`versionPolicy`** and **`constraintsNotEnforced`** (the constraints that were **not** checked, or an empty array).
+- `MATH_TIMEOUT` responses carry **`stdout`**/**`stderr`** (capped); the receipt JSON carries **`partialStdout`**/**`partialStderr`**.
+- `MATH_ENGINE_NOT_FOUND`'s `next` carries **`suggestedCommand`**, **`packageManager`**, **`packageManagerAvailable`** and **`note`** (plus `vendorUrl` where the engine has one).
+- The `run` response carries **`fileIsArchivedScript`**, and emits an **`ARCHIVED_SCRIPT_RERUN`** warning when `mode:'file'` targets an archived script.
+- v4: `status()` carries **`rosterVersion`** and **`frozenParticipants`**; the `consensus` / `meeting` / `verify` views carry their own `rosterVersion`.
+- v4: the `paper` view carries **`dirProjected`** / **`dirSource`** / **`readSideEffect`**, saying whether the path is a projection or real state.
+- v2/v3: decision and sub-agent interrupt diagnostics carry **`code`** and **`next`** (for example `VIBE_MATH_DECISION_NOT_FOUND`, with the current queue state); v4 member-level calls carry **`V4_NO_SUCH_RESIDENT`** with the current roster and a next step.
+
+## Changed
+
+- **Discovery order**: PATH → runtimes shipped by the host → the known per-OS install locations (Windows `%ProgramFiles%`, `%ProgramFiles(x86)%`, `%LOCALAPPDATA%\Programs`; the macOS framework path; Linux `/usr/lib/R`, `/opt/R`, and similar). **Existence is always proven by listing a directory**, never assumed.
+- **Install guidance**: `next.command` is an executable command only when the corresponding package manager resolves on this machine; otherwise it is empty and a `note` plus the official location is given. Installation is still plan → `planToken` confirmation → execution, with user scope by default.
+- **The archive key**: `mode:'file'` is keyed by the **source path** and `mode:'code'`/`'expr'` by the script content. Editing the **same source file** and re-running therefore lands on the **same archive** (`attempt ≥ 2`, `scriptChanged:true`, `previousReceipt` pointing at the previous attempt, and the earlier attempt is never overwritten). Pointing at a **different path** (a copy of the archived script, say) writes a **new archive**, where `attempt:1`, `scriptChanged:false` and `previousReceipt:null` are **expected**. The archive id contains no random value.
+- **v4 roster freeze and prune**: a verify/meeting freezes its participant set and records `rosterVersion`; **removing a member also prunes it from the frozen set** (otherwise in-flight votes could never close), **new members do not join a frozen set**, and `rosterVersion` increments whenever the set really changes. With no verify/meeting in progress, `status().frozenParticipants` is an explicit `null`.
+- **v2/v3 single-source vote counting**: the per-round counts come from one function (`voteCount`, reading the **expectation recorded when the verify task was created** plus the round), so the four readers (enough votes, all reported, consensus, final verdict) no longer derive them separately — raising or lowering the verifier count can no longer make the views disagree. **Deliberately unchanged**: the `MIN_REVIEWERS` floor and the "everyone agrees" predicate. That combination — not a simplified predicate over the current round alone — is what decides when a verification may conclude; collapsing the two would let a single reviewer's verdict be accepted too early.
+- **Documentation** now states the verification boundary, the known differences and the new response fields, including the engine versions verified on real hosts and the confirmed edge codes.
+
+## Fixed
+
+- **Installed but invisible engines**: scanning only the host process's PATH reported an engine installed in its default directory (measured: R 4.6.1) as missing; it is now discovered from the known install locations and version-probed like any other candidate.
+- **Unrunnable install commands**: the tool used to suggest a package manager that does not exist on the machine (for example `winget`); it now only offers the command when the manager resolves, and otherwise gives the official location plus an explanation.
+- **Incomplete timeout evidence**: `MATH_TIMEOUT` previously lacked `exit` and `stderr`, and its partial output existed only in the on-disk `stdout.txt`; the response and the receipt now both carry the capped partial output, aligned with `MATH_NONZERO_EXIT`.
+- **`probe` listing only what worked**: the availability line could show a few engines without explaining the rest of the configuration; it now names the **configured but not found** engines and why.
+- **Version constraints silently ignored**: the response now states that constraints are existence-only and lists every constraint it did **not** check.
+- **Confusing "edit an archived script, then re-run"**: an explicit field and warning now distinguish "targeting a copy of an archive ⇒ a new archive with no history" from "targeting the original source ⇒ the same archive with a new attempt", and state that an old receipt is not evidence for edited code.
+- **A misleading `paper` field in v4**: with no paper state the field is a **projected path**; it is now flagged via `dirProjected`/`dirSource` and declares that reading `status` has no filesystem side effect.
+- **Path basis in member-visible material**: all four presets now state that member file tools resolve against the **session cwd**, that the listed relative paths need the **absolute project-root prefix**, and that computation artifacts should be opened via the absolute `receipt.scriptAbs` or by joining `receipt.cwd` with `receipt.scriptPath`.
+- **Member-level calls answering only "not found"**: v4 now returns an error code, the current roster and a next step; v2/v3 decision and interrupt diagnostics likewise return `code` and `next`.
+
+## Compatibility & Migration
+
+- **Breaking changes: none.** Parameter defaults, data formats and the directory layout of all four presets are unchanged.
+- **Additive only**: every field added in this release is additional; please ignore unknown fields rather than failing on them.
+- **Migration: none needed.**
+- The DSH support window is the same as 2.7.1 (see `engines.dsh` in `package.json`).
+
+## Known Limitations
+
+- **Octave / Julia are not shipped** and were not installed on the verification machine; their templates and install plans are statically validated but have not been executed on a real host.
+- **Commercial engine templates (MATLAB / Maple / Wolfram)** still need confirmation on a licensed machine and remain marked `VERIFY` by default.
+- **Version constraints are existence-only**: version solving still belongs to the package manager; this tool does not parse constraints.
+- **The plugin cannot enforce network or write restrictions**: the subprocess channel has no policy slot; that requires a host-side sandbox.
+- **Release notes before 2.7.0 are Chinese-only** (see the English history index in `README.en.md`).
+
+## Verification
+
+- `node tests/run-tests.mjs` — all green (65 items: 44 suites + 21 sensitivity probes).
+- Three math-contract guards: `tests/audit-math-computation-parity.mjs`, `-contract.mjs`, `-sensitivity.mjs`.
+- Real-host verification (python 3.12.10 and R 4.6.1): both engines produce the same numbers for the same computation; the native path and the `cli` escape hatch agree numerically and share the same `scriptHash`; timeout → `MATH_TIMEOUT`, syntax error → `MATH_NONZERO_EXIT` (with stderr and a receipt), missing package → `MATH_MISSING_PACKAGES` (no receipt directory written), an engine warning → a normal exit with stderr preserved.
+
+## Dependencies
+
+- **No new runtime dependencies**; the DSH support window is unchanged.

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

@@ -0,0 +1,72 @@
+# dsh-vibe-math 2.7.2 — 发布说明
+
+> 上一版本：2.7.1。本版是**补丁版：只包含修复与附加（新增）响应字段**，不改变任何既有行为契约——把真实引擎环境下的**发现、证据与诊断**补齐：装了但不在 PATH 的引擎能被发现、安装建议不再给出本机跑不了的命令、失败证据（超时/缺包/未校验约束）不再缺失或静默、归档身份与名册口径可直接核对。四套预设的**参数默认值、数据格式与目录结构未变**，DSH 支撑窗口不变，**无需迁移**。
+
+## 概述
+
+- **真实引擎发现更可靠**：引擎发现顺序为 PATH → 宿主自带运行时 → **各操作系统的已知安装目录**，因此在默认目录安装、但没有加进 PATH 的引擎（例如 R）也能被发现。
+- **不再给出跑不了的安装命令**：`MATH_ENGINE_NOT_FOUND` 只在本机的包管理器**确实存在**时才给出可执行命令，否则给出建议命令与官方地址，并说明原因。
+- **`probe` 不再"报喜不报忧"**：除了可用引擎，还会列出**已配置但本机未发现**的引擎及原因。
+- **失败证据完整**：`MATH_TIMEOUT` 与 `MATH_NONZERO_EXIT` 携带同样的证据字段，超时的部分输出在**响应与回执**里都能拿到。
+- **约束口径明说**：版本约束**只按存在性检查、从不校验**，未校验的约束会被逐条列出，不再静默忽略。
+- **归档身份可核对**：运行响应直接给出归档 id 与 attempt；"编辑归档脚本后重跑"的语义有显式字段与警告解释。
+- **名册口径统一（v4/v5）**：一次验证/会议冻结一份名册快照并记录版本号，所有视图读同一份数据；成员变化时版本号递增，读到的集合是否过期一目了然。
+- **诊断更具体**：成员级调用失败时给出错误码、当前状态与下一步建议（而不是一句"不存在"）。
+
+## 新增
+
+- `math_computation` 的 `run` 响应新增 **`runId`** 与 **`attempt`**（此前归档 id 只存在于回执里，调用方无法直接核对"是不是同一个归档"）。
+- `probe` 响应新增 **`configured`**（配置启用的引擎全集）与 **`absent[]`**：每个未发现的引擎带 **`why`**（`not-found-on-this-machine` 或 `needs-a-caller-supplied-command`）。
+- 新增约束口径字段：成功响应与"缺包"失败都带 **`versionPolicy`** 与 **`constraintsNotEnforced`**（本次**未校验**的约束逐条列出；没有约束时为空数组）。
+- `MATH_TIMEOUT` 响应新增 **`stdout`**/**`stderr`**（按上限截断）；回执 JSON 新增 **`partialStdout`**/**`partialStderr`**。
+- `MATH_ENGINE_NOT_FOUND` 的 `next` 新增 **`suggestedCommand`**、**`packageManager`**、**`packageManagerAvailable`**、**`note`**（`vendorUrl` 视引擎而定）。
+- `run` 响应新增 **`fileIsArchivedScript`**，并在 `mode:'file'` 指向归档脚本时给出 **`ARCHIVED_SCRIPT_RERUN`** 警告。
+- v4：`status()` 新增 **`rosterVersion`** 与 **`frozenParticipants`**；`consensus` / `meeting` / `verify` 视图带各自的 `rosterVersion`。
+- v4：`paper` 视图新增 **`dirProjected`** / **`dirSource`** / **`readSideEffect`**，明确该路径是投影还是真实状态。
+- v2/v3：决策与子代理中断诊断新增 **`code`** 与 **`next`**（例如 `VIBE_MATH_DECISION_NOT_FOUND`，并说明队列现状）；v4 的成员级调用新增 **`V4_NO_SUCH_RESIDENT`**（带当前编制与下一步建议）。
+
+## 变更
+
+- **引擎发现顺序**：PATH → 宿主自带运行时 → 已知的每操作系统安装目录（Windows 的 `%ProgramFiles%` / `%ProgramFiles(x86)%` / `%LOCALAPPDATA%\Programs`，macOS 的 framework 路径，Linux 的 `/usr/lib/R`、`/opt/R` 等）。**存在性一律靠列目录证明**，从不假设路径存在。
+- **安装建议**：只有在本机能解析出对应包管理器时，`next.command` 才是可执行命令；否则为空，并给出 `note` 与官方地址。安装流程仍是"计划 → `planToken` 确认 → 执行"，作用域默认用户级。
+- **归档 id 的键**：`mode:'file'` 以**源路径**为键，`mode:'code'`/`'expr'` 以脚本内容为键。因此编辑**同一个源文件**再跑会落到**同一个归档**（`attempt ≥ 2`、`scriptChanged:true`、`previousReceipt` 指向上一次，且旧 attempt 绝不被覆盖）；而指向**另一个路径**（例如上一份归档的副本）会写入**新归档**，此时 `attempt:1`、`scriptChanged:false`、`previousReceipt:null` 都是**预期**。归档 id 不含随机数。
+- **v4 名册冻结与修剪**：验证/会议开始时冻结参与集合并记录 `rosterVersion`；**移除成员会同时从冻结集合中剔除**（否则在飞投票永远凑不齐），**新增成员不进入已冻结集合**，集合真正变化时 `rosterVersion` 递增。没有进行中的验证/会议时，`status().frozenParticipants` 为显式 `null`。
+- **v2/v3 票数与法定人数单一来源**：每轮票数只由一个函数（`voteCount`，读**验证任务创建时**记录的期望人数快照 + 轮次）给出，"是否够票、是否都报、共识、最终判定"四个读取点不再各自重算，因此调高/调低验证人数不会让各视图分叉。**刻意保持不变**：`MIN_REVIEWERS` 下限与"全体一致"判据——正是这两条（而不是把判据简化成只看本轮）决定了什么时候能收束；把它们一起"简化"掉会让单审阅者的结论被过早采纳。
+- **文档口径更新**：计算工具的验证边界、已知差异与响应字段都写进了随包文档（含真机验证过的引擎版本与边界码）。
+
+## 修复
+
+- **装了却"看不见"的引擎**：只扫描宿主进程 PATH 时，安装在默认目录但未加入 PATH 的引擎（实测：R 4.6.1）会被报成缺失；现在能从已知安装目录发现，并且版本探测与其他候选一致。
+- **跑不了的安装命令**：此前会给出本机并不存在的包管理器命令（例如 `winget`）；现在只在管理器确实存在时给出命令，否则给出官方地址与说明。
+- **超时证据不完整**：`MATH_TIMEOUT` 之前缺少 `exit` 与 `stderr`，部分输出只存在于磁盘上的 `stdout.txt`；现在响应与回执都带截断后的部分输出，字段与 `MATH_NONZERO_EXIT` 对齐。
+- **`probe` 只报可用项**：可用性一行此前可能只列出少数引擎而不解释其余配置项；现在点名"已配置但本机未发现"的引擎与原因。
+- **版本约束被静默忽略**：现在明确说明"只按 base name 检查是否存在"，并把本次未校验的约束逐条列出。
+- **归档脚本"编辑后重跑"易被误读**：新增显式字段与警告说明"指向归档副本 ⇒ 新归档、无历史"与"指向原源文件 ⇒ 同一归档 + 新的 attempt"，并明确旧回执不能作为修改后代码的证据。
+- **v4 `paper` 字段可能被误读**：没有论文状态时该字段是**投影路径**；现在标注 `dirProjected`/`dirSource` 并声明读 `status` 无文件系统副作用。
+- **成员可见材料的路径口径**：四个预设的成员材料补齐说明——文件工具按**会话 cwd** 解析路径，列出的相对路径需拼**项目根的绝对前缀**；计算产物请用回执的绝对字段 `receipt.scriptAbs`，或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来。
+- **成员级调用只回一句"不存在"**：v4 现在返回错误码、当前编制与下一步建议；v2/v3 的决策与中断诊断同样给出 `code` 与 `next`。
+
+## 兼容性与迁移
+
+- **破坏性变更：无。** 四套预设的参数默认值、数据格式、目录结构均未改变。
+- **纯新增**：本版新增的响应字段都是**附加**的；遇到不认识的字段请忽略，不要据此报错。
+- **迁移：无需迁移。**
+- DSH 支撑窗口与 2.7.1 相同（见 `package.json` 的 `engines.dsh`）。
+
+## 已知限制
+
+- **Octave / Julia 未随包提供**，在本次的验证机器上也未安装；相关模板与安装计划是静态校验过的，未经真机执行。
+- **商业引擎（MATLAB / Maple / Wolfram）模板**仍需在持证机器上确认，默认标记为 `VERIFY`。
+- **版本约束只按存在性检查**：具体版本求解仍由包管理器负责，本工具不解析约束。
+- **插件无法强制禁网或限制写权限**：`subprocess` 通道没有策略槽位，需要宿主侧沙箱。
+- **2.7.0 之前的发布说明仅提供中文**（英文历史索引见 `README.en.md`）。
+
+## 验证方式
+
+- `node tests/run-tests.mjs` —— 全部通过（65 项：44 个套件 + 21 个灵敏度探针）。
+- 三个数学契约守卫：`tests/audit-math-computation-parity.mjs`、`-contract.mjs`、`-sensitivity.mjs`。
+- 真机验证（python 3.12.10 与 R 4.6.1）：同一算式两边给出相同数值；原生路径与 `cli` 逃生口数字一致且 `scriptHash` 相同；超时 → `MATH_TIMEOUT`，语法错误 → `MATH_NONZERO_EXIT`（带 stderr 与回执），缺包 → `MATH_MISSING_PACKAGES`（不写回执目录），引擎警告 → 正常退出并保留 stderr。
+
+## 依赖
+
+- **无新增运行时依赖**；DSH 支撑窗口不变。

package/docs/release-notes/TEMPLATE.md

@@ -0,0 +1,120 @@
+# Release-notes template / 发布说明模板
+
+This file defines the **single template** every `RELEASE-NOTES-<version>.md` (Chinese) and
+`RELEASE-NOTES-<version>.en.md` (English) must follow. 本文件定义所有发布说明必须遵循的**唯一模板**。
+
+- **File naming / 文件命名**：`RELEASE-NOTES-<version>.md`（中文）与 `RELEASE-NOTES-<version>.en.md`（English）。
+  Both files are required for every new release and both must be listed in `package.json#files`
+  (`tests/audit-market-metadata.test.mjs` enforces exactly that). 每个新版本**必须同时**有两份文件，且都列入
+  `package.json#files`（守卫 `tests/audit-market-metadata.test.mjs` 会检查）。
+- **Heading order / 标题顺序**：the two languages use the **same order and the same section set**.
+  中英两份必须**顺序一致、章节一致**（见下）。
+- **Audience / 读者**：someone reading a changelog. 面向读变更日志的用户。
+  **Never** write internal project vocabulary (audit rounds, task/agent names, session IDs, "we found during
+  our testing") — state what changed for the user and how it is verified. 不得出现内部工作词汇（审计轮次、
+  任务/成员名、会话编号、"我们在测试中发现"之类），只写对用户的变化与验证方式。
+
+## Required sections (in this order) / 必需章节（按此顺序）
+
+| # | 中文标题 | English heading | Content / 内容要求 |
+|---|---|---|---|
+| 1 | `# dsh-vibe-math <version> — 发布说明` | `# dsh-vibe-math <version> — Release Notes` | Title with the exact version. 标题带准确版本号。 |
+| 2 | `> 上一版本：<prev>。…` | `> Previous release: <prev>. …` | One paragraph: **what kind of release this is** (patch/minor), the headline changes, and an explicit compatibility sentence (defaults/formats/directory layout unchanged? migration needed?). 一段话：版本类型、要点、以及明确的兼容性结论（默认值/数据格式/目录结构是否变化、是否需要迁移）。 |
+| 3 | `## 概述` | `## Overview` | 3–8 bullets, user-visible outcomes only; each bullet = one change. 3–8 条要点，只写用户可见的结果，一条一个变化。 |
+| 4 | `## 新增` | `## Added` | New capabilities/fields/parameters. State the **exact** field or parameter names in backticks. 新能力/字段/参数，字段名一律用反引号写准确。 |
+| 5 | `## 变更` | `## Changed` | Behaviour or wording changes (including documentation that now states something new). 行为或文案变化（含文档口径变化）。 |
+| 6 | `## 修复` | `## Fixed` | Each fix: the user-visible symptom → the corrected behaviour. Include how it was reproduced/verified. 每条：用户可见症状 → 修正后的行为，并说明如何复现/验证。 |
+| 7 | `## 兼容性与迁移` | `## Compatibility & Migration` | Explicit: breaking changes (usually "无 / None"), additive-only additions, migration steps, DSH support window. 明确列出破坏性变更（通常"无"）、纯新增项、迁移步骤、DSH 支撑窗口。 |
+| 8 | `## 已知限制` | `## Known Limitations` | Honest limits, including "unverified" and "not shipped". 如实写限制，包括"未验证"和"未随包提供"。 |
+| 9 | `## 验证方式` | `## Verification` | The commands a reader can run (`node tests/run-tests.mjs …`) and what was verified on real engines, with versions. 读者可自行运行的命令，以及真机验证过的内容与版本号。 |
+| 10 | `## 依赖` | `## Dependencies` | New/changed runtime dependencies (usually "无新增" / "None added") and the host (DSH) requirement. 新增/变化的运行时依赖（通常"无新增"）与宿主（DSH）要求。 |
+
+Sections with nothing to report keep their heading and say `无。` / `None.` — never delete a section, so
+readers can rely on the structure. 无内容的章节**保留标题**并写"无。"，不要删除章节，保证结构稳定。
+
+## Skeleton / 骨架
+
+Chinese (`RELEASE-NOTES-<version>.md`):
+
+```markdown
+# dsh-vibe-math <version> — 发布说明
+
+> 上一版本：<prev>。本版是**补丁版 / 功能版**，<一句话要点>。四套预设的参数默认值、数据格式与目录结构**未变**，DSH 支撑窗口不变，**无需迁移**。
+
+## 概述
+- …
+
+## 新增
+- …
+
+## 变更
+- …
+
+## 修复
+- …
+
+## 兼容性与迁移
+- 破坏性变更：无。
+- 纯新增：…
+- 迁移：无需迁移。
+
+## 已知限制
+- …
+
+## 验证方式
+- `node tests/run-tests.mjs` —— 全部通过（<N> 项）。
+- …
+
+## 依赖
+- 无新增运行时依赖；DSH 支撑窗口不变。
+```
+
+English (`RELEASE-NOTES-<version>.en.md`):
+
+```markdown
+# dsh-vibe-math <version> — Release Notes
+
+> Previous release: <prev>. This is a **PATCH / FEATURE** release that <one-line headline>. Parameter defaults, data formats and the directory layout are **unchanged**, the DSH support window is unchanged, and **no migration is needed**.
+
+## Overview
+- …
+
+## Added
+- …
+
+## Changed
+- …
+
+## Fixed
+- …
+
+## Compatibility & Migration
+- Breaking changes: none.
+- Additive only: …
+- Migration: none needed.
+
+## Known Limitations
+- …
+
+## Verification
+- `node tests/run-tests.mjs` — all green (<N> items).
+- …
+
+## Dependencies
+- No new runtime dependencies; the DSH support window is unchanged.
+```
+
+## Rules / 写作规则
+
+1. **Verify every claim against the code or docs before writing it.** If a behaviour is not in the shipped
+   bytes, it does not go in the notes. 每条声称在写之前都要对照代码/文档核实；没进包的行为不写。
+2. **Patch vs minor must be stated and justified** in the summary line; the version number itself is chosen
+   by the maintainer. 概述里写明是补丁版还是功能版并给出理由；版本号由维护者决定。
+3. **Name the exact API surface** (`field`, `next.reason`, parameter names) so users can grep for it.
+   接口一律写准确名字，便于用户检索。
+4. **Do not machine-translate** the two versions: both are written by hand and kept structurally identical.
+   两份都必须手写并保持结构一致，不用机翻。
+5. **English index**: every release also updates `README.en.md` (see below) so English readers can navigate
+   a history whose earlier entries are Chinese-only. 每个版本同时更新 `README.en.md`（英文历史索引）。
+6. **Historical files are frozen**: older notes are not reformatted retroactively; the template applies from
+   the next release onward. 历史文件不改写；模板自下一版本起生效。