dsh-vibe-math 2.7.3 → 2.8.1

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

@@ -1,59 +1,59 @@
-# dsh-vibe-math 2.3.7 — 权威锚点必须自洽：手改过的状态文件不得劫持 id 映射
-
-> 上一版：2.3.6。本版是 round 8：把 2.3.6 新引入的"记录里持久化权威 `objectId`"这条机制**自己**审一遍。
-> 无破坏性变更，默认仍为 `formalVerify: 'off'`。
-
----
-
-## 1. 2.3.6 引入的新机制里有一个可被污染的锚点
-
-2.3.6 让 `formalObjectIdOf` 在任务表不可用时读记录里的 `objectId`（跨 resume 生效）。但**状态文件是
-可编辑的**（`VibeMath_State/formal.json`，仓库里本来就有"文件被改坏也要能继续"的守卫测试）：
-
-- 如果某条记录的 `objectId` 自己就是 **r 形**（`r-pX`），那么"验证 id → 对象 id"会映射到**它自己**；
-- 于是 `putFormalBothIds('r-pX', …)` 认为"两侧就是同一个 id"，**只写验证侧**，对象侧仍然 `passed`
-  —— 又回到"成对关系只做一半"的静默错位（门禁/卡片/提示词各读一侧）。
-
-**触发路径**（实测）：**工作轮回执**（explorer/solver 的回执同样带 `formal` 字段）在**没有验证任务**
-在内存里时走到"读记录锚点"这条兜底路径。以手改过的状态文件复现：修前该用例的断言变红
-（对象侧不降级），修后全绿。
-
-## 2. 修法：锚点必须**自洽**才可用
-
-- `formalObjectIdOf` 读记录锚点时，要求 `formalObjectIdOfIsOwner(v)` 为真 —— 即该值**不以 `r-` 开头**、
-  不可能再被解析成别的 id；
-- 写入锚点的两处（`syncVerificationTarget`、`putFormalBothIds`）同样只在**确实是对象 id** 时写入，
-  不给未来留下污染源。
-
-> 说明（如实记录）：写入侧的两道守卫**目前无法用用例证明其必要性**——现有写入者手里的值都来自
-> `formalObjectIdOf`，本身就不会是 r 形（我一度写了一个"归档写在 rId 上会污染锚点"的用例，实测发现它
-> **恒真**，已删除并换成下面这个真正敏感的用例）。因此这两道守卫按**纵深防御**保留并如此标注；
-> 真正被证明有效的是**读取侧**的守卫。
-
-## 3. 新增断言（`formal-verify-v2.test.mjs` 第 14d 节，+5 条）
-
-- 状态文件里的 `r-pX` 记录带 `objectId: 'r-pX'`（手改出来的 r 形锚点），对象 `pX` 是 `passed`；
-- 一个**工作轮回执**（没有验证任务，因此走记录锚点这条路径）点名 `r-pX` 报 `defect`；
-- 断言：**对象侧必须被降级**（锚点被拒绝而不是被信任）、验证侧同样降级。
-
-**灵敏度实测**（`_oneoff/probe-v2-anchor-guard.mjs`）：把读取侧的守卫去掉 → 该用例立刻变红
-（`exit=1`，失败断言正是这一条），装回 → 全绿。即这条守卫是**承重**的，不是摆设。
-
-## 4. 验收（实测）
-
-| 项 | 2.3.6 | 2.3.7 |
-|---|---|---|
-| `formal-verify-v2.test.mjs` | 348 | **353** |
-| 读取侧守卫探针 | — | **红/绿各一次，符合预期** |
-| 全量并行回归 | 23/23 | 23/23 |
-| 49 条 formal 探针 | 全红 | 全红 |
-| 四套语料确定性 | 字节稳定 | 字节稳定 |
-| closing verification | 18/18 | 18/18 |
-
-## 5. 升级
-
-```
-npm i dsh-vibe-math@latest
-```
-
-无迁移。本版只改 v2 的锚点校验与断言；`off` 档行为不变，其余三套预设与上一版逐字节相同。
+# dsh-vibe-math 2.3.7 — 权威锚点必须自洽：手改过的状态文件不得劫持 id 映射
+
+> 上一版：2.3.6。本版是 round 8：把 2.3.6 新引入的"记录里持久化权威 `objectId`"这条机制**自己**审一遍。
+> 无破坏性变更，默认仍为 `formalVerify: 'off'`。
+
+---
+
+## 1. 2.3.6 引入的新机制里有一个可被污染的锚点
+
+2.3.6 让 `formalObjectIdOf` 在任务表不可用时读记录里的 `objectId`（跨 resume 生效）。但**状态文件是
+可编辑的**（`VibeMath_State/formal.json`，仓库里本来就有"文件被改坏也要能继续"的守卫测试）：
+
+- 如果某条记录的 `objectId` 自己就是 **r 形**（`r-pX`），那么"验证 id → 对象 id"会映射到**它自己**；
+- 于是 `putFormalBothIds('r-pX', …)` 认为"两侧就是同一个 id"，**只写验证侧**，对象侧仍然 `passed`
+  —— 又回到"成对关系只做一半"的静默错位（门禁/卡片/提示词各读一侧）。
+
+**触发路径**（实测）：**工作轮回执**（explorer/solver 的回执同样带 `formal` 字段）在**没有验证任务**
+在内存里时走到"读记录锚点"这条兜底路径。以手改过的状态文件复现：修前该用例的断言变红
+（对象侧不降级），修后全绿。
+
+## 2. 修法：锚点必须**自洽**才可用
+
+- `formalObjectIdOf` 读记录锚点时，要求 `formalObjectIdOfIsOwner(v)` 为真 —— 即该值**不以 `r-` 开头**、
+  不可能再被解析成别的 id；
+- 写入锚点的两处（`syncVerificationTarget`、`putFormalBothIds`）同样只在**确实是对象 id** 时写入，
+  不给未来留下污染源。
+
+> 说明（如实记录）：写入侧的两道守卫**目前无法用用例证明其必要性**——现有写入者手里的值都来自
+> `formalObjectIdOf`，本身就不会是 r 形（我一度写了一个"归档写在 rId 上会污染锚点"的用例，实测发现它
+> **恒真**，已删除并换成下面这个真正敏感的用例）。因此这两道守卫按**纵深防御**保留并如此标注；
+> 真正被证明有效的是**读取侧**的守卫。
+
+## 3. 新增断言（`formal-verify-v2.test.mjs` 第 14d 节，+5 条）
+
+- 状态文件里的 `r-pX` 记录带 `objectId: 'r-pX'`（手改出来的 r 形锚点），对象 `pX` 是 `passed`；
+- 一个**工作轮回执**（没有验证任务，因此走记录锚点这条路径）点名 `r-pX` 报 `defect`；
+- 断言：**对象侧必须被降级**（锚点被拒绝而不是被信任）、验证侧同样降级。
+
+**灵敏度实测**（`_oneoff/probe-v2-anchor-guard.mjs`）：把读取侧的守卫去掉 → 该用例立刻变红
+（`exit=1`，失败断言正是这一条），装回 → 全绿。即这条守卫是**承重**的，不是摆设。
+
+## 4. 验收（实测）
+
+| 项 | 2.3.6 | 2.3.7 |
+|---|---|---|
+| `formal-verify-v2.test.mjs` | 348 | **353** |
+| 读取侧守卫探针 | — | **红/绿各一次，符合预期** |
+| 全量并行回归 | 23/23 | 23/23 |
+| 49 条 formal 探针 | 全红 | 全红 |
+| 四套语料确定性 | 字节稳定 | 字节稳定 |
+| closing verification | 18/18 | 18/18 |
+
+## 5. 升级
+
+```
+npm i dsh-vibe-math@latest
+```
+
+无迁移。本版只改 v2 的锚点校验与断言；`off` 档行为不变，其余三套预设与上一版逐字节相同。

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

@@ -1,45 +1,45 @@
-# dsh-vibe-math 2.3.8 — 把 round 7/8 的结论写进契约与审计清单（文档版）
-
-> 上一版：2.3.7。本版**只改文档**（无代码、无预设字节变化）：把 2.3.6/2.3.7 发现的边界与规则写进
-> 共享契约与强制审计流程，免得下一轮审计重新把它当"新问题"或按另一种方式改。
-
----
-
-## 1. 契约 §4：补两条边界
-
-- **记录与归档文件同生共死（框架侧），但外部文件操作不会自动改记录**：框架撤回证明时记录降级与文件
-  撤回是**同一次操作**；反过来，**外部**删掉 `Verified/Lean/<id>.lean` **不会**自动把记录降级——
-  `passed` 是状态文件里的权威状态，门禁查询是只读的，不会在每次取记录时做文件存在性探测（那会把门禁
-  变成 fs I/O，并在网络盘/权限异常时引入新的失败模式）。人工动过文件后请一并修正记录或重新归档。
-- **v2 的 id 映射同理**：记录里持久化的 `objectId` 是权威锚点，但必须**自洽**（不以 `r-` 开头）才被
-  采纳，否则回退到后缀解析——状态文件可编辑，里面的"权威值"要先校验。
-
-## 2. `AUDIT-CHECKLIST` §1.10：补一条检查项
-
-> **从用户可编辑的状态文件里读出来的"权威值"是否先做了自洽校验？**
-> 真实事故（2.3.7）：某条记录的 `objectId` 被写成 r 形时，"验证 id → 对象 id"映射到它自己，
-> "两套 id 一起写"退化成只写验证侧、对象侧仍是 `passed`。
-
-（§1.10 是 2.3.6 新增的章节「id 映射不许猜」，本版把它与 2.3.7 的教训合并成完整检查项。）
-
-## 3. v2 实现方案 §9.3：同步自洽条件
-
-`formalObjectIdOf` 的权威度顺序里，第 ② 级（记录里的 `objectId`）补上"读出时要求自洽"的条件。
-
-## 4. 验收
-
-| 项 | 结果 |
-|---|---|
-| 代码/预设字节变化 | **无**（四套 `.js` 与 2.3.7 逐字节相同） |
-| 全量并行回归 | 23/23 |
-| 静态守卫 | invariants 157/0（self-probe 5/5）、traceability 94/0、v5-integrity clean |
-| 四套语料确定性 | 字节稳定 |
-| closing verification | 18/18 |
-
-## 5. 升级
-
-```
-npm i dsh-vibe-math@latest
-```
-
-无迁移、无行为变更。
+# dsh-vibe-math 2.3.8 — 把 round 7/8 的结论写进契约与审计清单（文档版）
+
+> 上一版：2.3.7。本版**只改文档**（无代码、无预设字节变化）：把 2.3.6/2.3.7 发现的边界与规则写进
+> 共享契约与强制审计流程，免得下一轮审计重新把它当"新问题"或按另一种方式改。
+
+---
+
+## 1. 契约 §4：补两条边界
+
+- **记录与归档文件同生共死（框架侧），但外部文件操作不会自动改记录**：框架撤回证明时记录降级与文件
+  撤回是**同一次操作**；反过来，**外部**删掉 `Verified/Lean/<id>.lean` **不会**自动把记录降级——
+  `passed` 是状态文件里的权威状态，门禁查询是只读的，不会在每次取记录时做文件存在性探测（那会把门禁
+  变成 fs I/O，并在网络盘/权限异常时引入新的失败模式）。人工动过文件后请一并修正记录或重新归档。
+- **v2 的 id 映射同理**：记录里持久化的 `objectId` 是权威锚点，但必须**自洽**（不以 `r-` 开头）才被
+  采纳，否则回退到后缀解析——状态文件可编辑，里面的"权威值"要先校验。
+
+## 2. `AUDIT-CHECKLIST` §1.10：补一条检查项
+
+> **从用户可编辑的状态文件里读出来的"权威值"是否先做了自洽校验？**
+> 真实事故（2.3.7）：某条记录的 `objectId` 被写成 r 形时，"验证 id → 对象 id"映射到它自己，
+> "两套 id 一起写"退化成只写验证侧、对象侧仍是 `passed`。
+
+（§1.10 是 2.3.6 新增的章节「id 映射不许猜」，本版把它与 2.3.7 的教训合并成完整检查项。）
+
+## 3. v2 实现方案 §9.3：同步自洽条件
+
+`formalObjectIdOf` 的权威度顺序里，第 ② 级（记录里的 `objectId`）补上"读出时要求自洽"的条件。
+
+## 4. 验收
+
+| 项 | 结果 |
+|---|---|
+| 代码/预设字节变化 | **无**（四套 `.js` 与 2.3.7 逐字节相同） |
+| 全量并行回归 | 23/23 |
+| 静态守卫 | invariants 157/0（self-probe 5/5）、traceability 94/0、v5-integrity clean |
+| 四套语料确定性 | 字节稳定 |
+| closing verification | 18/18 |
+
+## 5. 升级
+
+```
+npm i dsh-vibe-math@latest
+```
+
+无迁移、无行为变更。

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

@@ -1,70 +1,70 @@
-# dsh-vibe-math 2.3.9 — v4 架构图重绘为 SVG（零依赖生成器 + README 展示）
-
-> 上一版：2.3.8。本版把 v4 的架构图从"matplotlib 生成的位图"换成**零依赖 Node 生成的 SVG**，
-> 与 v5 同一套版式语言，并把它纳入随包发布（README 里的图在 GitHub 与 npm 上都能正常显示）。
-> 无代码行为变更，四套预设字节未变。
-
----
-
-## 1. 为什么换
-
-| | 旧（`框架图-v4.png` + `generate_framework_diagram_v4.py`） | 新（`框架图-v4.svg` + `generate_framework_diagram_v4.mjs`） |
-|---|---|---|
-| 生成方式 | Python + matplotlib | **纯 Node，零依赖**（本仓库运行时自带 Node） |
-| 产物 | 位图，缩放糊、无法 diff | 纯文本 SVG，任意缩放、可评审、diff 友好 |
-| 信息量 | 5 个方框 + 若干小字 | 分带：定论门槛 / 常驻层 / 框架六面 / 数据面 / 哲学红线 + 图例 |
-| 版式校验 | 无（只能靠眼睛） | 生成时**估算文字宽度**，任何一行溢出容器即 WARN + 退出码 1 |
-| 随包发布 | 否（npm 上 README 图裂） | **是**（`files` 收录，GitHub 与 npm 均可显示） |
-
-旧文件已删除（需要时可从 git 历史取）；`README.md` 的图源链接与说明同步更新，
-`docs/generate_framework_diagram_v5.mjs` 头部注释里的"v2/v3/v4 用 matplotlib"也改成"v2/v3"。
-
-## 2. 新图覆盖的内容（全部与实现逐项核对过）
-
-- **定论门槛**：全体一致为真（全 1）/ 一致为假（全 0）→ 写入 `Verified/`；
-  **没有** forced / flat / 近共识收口；分歧 → 公开辩论重评；仍未全票 → 留库 + 平均概率 + 辩论录。
-- **常驻层**：`continuable` 持久会话、独立上下文、自主方向、只写自己的库 / 跨读他人库（只读）、
-  唤醒 = `subagents.sendMessage`、一轮 = 一次完整思考；起始 brainstorm 产出各自方向；全票"已解决"才停。
-- **框架六面**（逐条对齐代码/规格）：
-  - 消息总线·邮件箱：`vibe_v4_message(to|all)` → 入目标邮箱 → 空闲则唤醒；常驻之间不直接互调；
-  - 会议 / 辩论：`vibe_v4_meeting(agenda)` → 全体发言 → `Shared/meetings/<id>.md` → 广播结论；
-    看门狗防死锁；与验证**互斥**（排队，不抢占）；
-  - 任务板（只搬运）：提议/认领写在回执里 → `Shared/taskboard.md`；框架不决定谁做什么；
-  - 共识验证（全票）：回执字段 `propose_verify` → FIFO 排队 → 独立初评（互不可见）→ 公开辩论重评
-    （最多 `verdictMaxRounds` 轮，默认 3）；
-  - 上下文 / compact：`contextPct ≥ compactThreshold`（默认 66）触发 DSH `/compact`，
-    `compactAfterRounds` 默认 8，压缩后重申核心规则；
-  - 活性 / 并发 / 恢复：`activityTimeoutMs` 心跳、`maxParallel` 并发闸、停滞 `stallAutoMeetingMs`
-    （默认 6 min）自动开会、`resume` 用 `residents.json` + `progress.md` 重种化。
-- **回执字段**（**按代码里真正的解析字段列**，不是照抄记忆）：
-  `summary / solved / input / vote / propose_verify / propose_task / claim_task / task_done / voteSolved / formal / contextPct`。
-  （核对时发现我第一版图里写了 `reject_assign` 与 `vote_solved` —— 前者是 **v5** 的字段、后者是拼错的
-  驼峰名，v4 实际是 `voteSolved`；已改正。）
-- **数据面**（真实路径核对过）：
-  `Progress/<r-id>/progress.md`、`Propos/<r-id>/<p-id>.md`、`Methods/<r-id>/<m-id>.md`、
-  `Subproblems/<r-id>/<s-id>.md`（每条记录必填 价值程度 / 动机用途计划 / 自身概率估计）；
-  `Shared/meetings|debates`、`Shared/taskboard.md`、`Shared/meetings/brainstorm.md`、
-  `Verified/命题|问题/<id>.md`、`Problems/<id>.md`；
-  `State/residents.json`、`mailboxes.json`、`taskboard.json`、`decisions.json`、`session.json`、
-  `settings.json`、`formal.json`；`fileOwner` 写锁 / `projectLock` / `processEpoch` / `abort → resume`。
-- **哲学红线**：框架绝不指派 / 定论必须全体一致 / 只有 `Verified/` 绝对可信 / 常驻不直接互调 /
-  人工干预不改变自组织。
-
-## 3. 验收
-
-| 项 | 结果 |
-|---|---|
-| 生成器 | `node docs/generate_framework_diagram_v4.mjs` → `示例图/框架图-v4.svg`（23501 字节），**0 条溢出告警** |
-| 渲染校验 | 无头 Chrome 截图 1760×1300 逐带人工核对（无重叠、无截断；左侧控制通道不穿过常驻） |
-| 全量并行回归 | 23/23 |
-| 静态守卫 | invariants 157/0（self-probe 5/5）、traceability 94/0、v5-integrity clean、persona-surface 197/0 |
-| closing verification | 18/18（含"包内所有声明文件存在"） |
-| 发布产物自证 | registry 取回 tarball 比对 sha1 + 包内跑随包套件（见发布记录） |
-
-## 4. 升级
-
-```
-npm i dsh-vibe-math@latest
-```
-
-无迁移。README 里的 v4 图现在读 `示例图/框架图-v4.svg`。
+# dsh-vibe-math 2.3.9 — v4 架构图重绘为 SVG（零依赖生成器 + README 展示）
+
+> 上一版：2.3.8。本版把 v4 的架构图从"matplotlib 生成的位图"换成**零依赖 Node 生成的 SVG**，
+> 与 v5 同一套版式语言，并把它纳入随包发布（README 里的图在 GitHub 与 npm 上都能正常显示）。
+> 无代码行为变更，四套预设字节未变。
+
+---
+
+## 1. 为什么换
+
+| | 旧（`框架图-v4.png` + `generate_framework_diagram_v4.py`） | 新（`框架图-v4.svg` + `generate_framework_diagram_v4.mjs`） |
+|---|---|---|
+| 生成方式 | Python + matplotlib | **纯 Node，零依赖**（本仓库运行时自带 Node） |
+| 产物 | 位图，缩放糊、无法 diff | 纯文本 SVG，任意缩放、可评审、diff 友好 |
+| 信息量 | 5 个方框 + 若干小字 | 分带：定论门槛 / 常驻层 / 框架六面 / 数据面 / 哲学红线 + 图例 |
+| 版式校验 | 无（只能靠眼睛） | 生成时**估算文字宽度**，任何一行溢出容器即 WARN + 退出码 1 |
+| 随包发布 | 否（npm 上 README 图裂） | **是**（`files` 收录，GitHub 与 npm 均可显示） |
+
+旧文件已删除（需要时可从 git 历史取）；`README.md` 的图源链接与说明同步更新，
+`docs/generate_framework_diagram_v5.mjs` 头部注释里的"v2/v3/v4 用 matplotlib"也改成"v2/v3"。
+
+## 2. 新图覆盖的内容（全部与实现逐项核对过）
+
+- **定论门槛**：全体一致为真（全 1）/ 一致为假（全 0）→ 写入 `Verified/`；
+  **没有** forced / flat / 近共识收口；分歧 → 公开辩论重评；仍未全票 → 留库 + 平均概率 + 辩论录。
+- **常驻层**：`continuable` 持久会话、独立上下文、自主方向、只写自己的库 / 跨读他人库（只读）、
+  唤醒 = `subagents.sendMessage`、一轮 = 一次完整思考；起始 brainstorm 产出各自方向；全票"已解决"才停。
+- **框架六面**（逐条对齐代码/规格）：
+  - 消息总线·邮件箱：`vibe_v4_message(to|all)` → 入目标邮箱 → 空闲则唤醒；常驻之间不直接互调；
+  - 会议 / 辩论：`vibe_v4_meeting(agenda)` → 全体发言 → `Shared/meetings/<id>.md` → 广播结论；
+    看门狗防死锁；与验证**互斥**（排队，不抢占）；
+  - 任务板（只搬运）：提议/认领写在回执里 → `Shared/taskboard.md`；框架不决定谁做什么；
+  - 共识验证（全票）：回执字段 `propose_verify` → FIFO 排队 → 独立初评（互不可见）→ 公开辩论重评
+    （最多 `verdictMaxRounds` 轮，默认 3）；
+  - 上下文 / compact：`contextPct ≥ compactThreshold`（默认 66）触发 DSH `/compact`，
+    `compactAfterRounds` 默认 8，压缩后重申核心规则；
+  - 活性 / 并发 / 恢复：`activityTimeoutMs` 心跳、`maxParallel` 并发闸、停滞 `stallAutoMeetingMs`
+    （默认 6 min）自动开会、`resume` 用 `residents.json` + `progress.md` 重种化。
+- **回执字段**（**按代码里真正的解析字段列**，不是照抄记忆）：
+  `summary / solved / input / vote / propose_verify / propose_task / claim_task / task_done / voteSolved / formal / contextPct`。
+  （核对时发现我第一版图里写了 `reject_assign` 与 `vote_solved` —— 前者是 **v5** 的字段、后者是拼错的
+  驼峰名，v4 实际是 `voteSolved`；已改正。）
+- **数据面**（真实路径核对过）：
+  `Progress/<r-id>/progress.md`、`Propos/<r-id>/<p-id>.md`、`Methods/<r-id>/<m-id>.md`、
+  `Subproblems/<r-id>/<s-id>.md`（每条记录必填 价值程度 / 动机用途计划 / 自身概率估计）；
+  `Shared/meetings|debates`、`Shared/taskboard.md`、`Shared/meetings/brainstorm.md`、
+  `Verified/命题|问题/<id>.md`、`Problems/<id>.md`；
+  `State/residents.json`、`mailboxes.json`、`taskboard.json`、`decisions.json`、`session.json`、
+  `settings.json`、`formal.json`；`fileOwner` 写锁 / `projectLock` / `processEpoch` / `abort → resume`。
+- **哲学红线**：框架绝不指派 / 定论必须全体一致 / 只有 `Verified/` 绝对可信 / 常驻不直接互调 /
+  人工干预不改变自组织。
+
+## 3. 验收
+
+| 项 | 结果 |
+|---|---|
+| 生成器 | `node docs/generate_framework_diagram_v4.mjs` → `示例图/框架图-v4.svg`（23501 字节），**0 条溢出告警** |
+| 渲染校验 | 无头 Chrome 截图 1760×1300 逐带人工核对（无重叠、无截断；左侧控制通道不穿过常驻） |
+| 全量并行回归 | 23/23 |
+| 静态守卫 | invariants 157/0（self-probe 5/5）、traceability 94/0、v5-integrity clean、persona-surface 197/0 |
+| closing verification | 18/18（含"包内所有声明文件存在"） |
+| 发布产物自证 | registry 取回 tarball 比对 sha1 + 包内跑随包套件（见发布记录） |
+
+## 4. 升级
+
+```
+npm i dsh-vibe-math@latest
+```
+
+无迁移。README 里的 v4 图现在读 `示例图/框架图-v4.svg`。

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

@@ -0,0 +1,65 @@
+# dsh-vibe-math 2.8.0 — Release Notes
+
+> Previous release: 2.7.3. This is a **feature release**: all four presets now ship explicit guidance for "no LaTeX engine was detected", and the explicit-engine semantics were corrected (v4/v5 used to silently fall back to a different engine). Parameter names and defaults and the directory layout are **unchanged**, the data format is **additive only**, the DSH support window is unchanged, and **no migration is needed**.
+
+## Overview
+
+- An explicit `paperLatexCommand` now means "**use only this**": if it cannot be resolved the run degrades as "not detected" instead of quietly switching engines. All four presets and the documentation now agree.
+- The named warning for a missing engine is **actionable**: it says PATH and the documented common TeX roots were probed, and how to pin an absolute path.
+- The four presets tell the agent the **four steps** (bounded probe → write the absolute path into `paperLatexCommand` and re-detect → ask the user once → otherwise degrade as before) and the **three hard boundaries** (never auto-install, never write outside the workspace, never treat "not detected" as a failure).
+- Paper metadata records `triedPaths`: which paths this detection actually probed (on success and on failure).
+- A "host refused to interrupt" failure now carries an executable next step and is covered by a regression guard.
+- People who run the test suites themselves get a steadier gate: lower default concurrency, stale test scratch directories swept at start-up, the roomier drive preferred for temp files, and a read-only warning when a leftover process is suspected.
+- Repository line endings are unified on LF: from this version on, the npm package is **byte-reproducible** against the tag.
+
+## Added
+
+- The paper compile metadata (`paper.meta.json`, `compile` section) gains **`triedPaths`** (array of strings: the union of candidate paths probed during this detection).
+- All four presets gained a "missing engine guidance" block in their prompts (one canonical text, byte-identical across presets). v5 injects it as `paperHintBlock(lang)`.
+- The interrupt tool's failure response gains `next: { kind: 'reason', tool: 'vibe_math_abort', hint }`, matching the other failure diagnostics.
+- A shipped test utility, `scripts/clean-temp.mjs`: lists suspected leftover processes (`--ps`, read-only) and sweeps stale test scratch directories (`--dry-run` / `--age-hours=N`).
+
+## Changed
+
+- **Explicit-engine semantics unified**: a non-empty `paperLatexCommand` is used **alone**; if it cannot be resolved then `compile.status = 'not-detected'` and only `paper.tex` and `paper.md` are delivered. v4/v5 used to append that command to the candidate list and **fall back to another engine** when it was unusable; they now match v2/v3 and the existing wording of `docs/final-paper.md`.
+- **Wording of the missing-engine warning**: "未检测到 LaTeX 引擎（…）：只产出 tex+md…**已探测 PATH 与文档化的常见 TeX 根；可用 `paperLatexCommand` 指定绝对路径。**"
+- **Test-gate defaults** (affects only people running the suites): default concurrency `min(4, cpus)` → **`min(2, cpus)`**; at start-up, scratch directories older than 6 hours whose name prefix comes from the suites themselves are swept; the temp root prefers `D:\_tmp` (falling back without error when unavailable); a suspected leftover process produces a **read-only** warning and is never terminated automatically. Override with `--concurrency=N`, `--no-temp-hygiene`, `--temp-dry-run`.
+- The repository gained `.gitattributes`: text files are always LF (binaries marked explicitly). Previously the working tree mixed CRLF and LF while `npm pack` reads the working tree, so the package could contain CRLF.
+
+## Fixed
+
+- Symptom: setting `paperLatexCommand` to a **non-existent path** still produced a PDF compiled by another engine on the system (users believed the pinned engine was used). It now degrades as "not detected" with an actionable warning. Guards: `tests/v4-final-paper.test.mjs`, `tests/e2e-v5-round2.test.mjs`.
+- Symptom: when no engine was detected, the run only said "not detected" and the user could not tell **where it had looked**. `triedPaths` now records the paths actually probed and the warning states the scope. Guards: `tests/v2-fix-probes.test.mjs`, `tests/v3-fix-probes.test.mjs`, `tests/v4-final-paper.test.mjs`, `tests/e2e-v5-round2.test.mjs`.
+- Symptom: the "missing engine" guidance was absent or inconsistent across the four presets. All four now carry the same canonical text, with a byte-identity check. Guard: `tests/audit-prompt-invariants.mjs` (invariant I15).
+- Regression coverage strengthened (**behaviour unchanged**): the "host refused to interrupt" failure path is now guarded (`VIBE_MATH_INTERRUPT_FAILED` + `next.tool = 'vibe_math_abort'`). Guards: `tests/v2v3-interrupt.mutants.mjs` plus the corresponding assertions in the two math suites.
+- Test-infrastructure fix: a suite killed by a timeout cannot clean up after itself, so scratch directories accumulated for weeks (measured: 240k entries at the temp root). The gate now sweeps stale ones at start-up. Guards: `scripts/clean-temp.mjs --self-test`, `tests/temp-hygiene.mutants.mjs`.
+- Test-timing fix: a few suites ended before the event they assert on when the gate ran jobs in parallel (green standalone, intermittently red in the gate). Those loops now stop on a wall-clock deadline, wait windows have a floor, and per-suite budgets are set from measurements. Guards: `tests/run-tests.mutants.mjs` (5/5) and the suites' own assertions.
+
+## Compatibility & Migration
+
+- Breaking changes: **none**. Parameter names and defaults and the directory layout are unchanged; `triedPaths` is additive and older `paper.meta.json` files remain readable.
+- Behaviour to note: if you previously pointed `paperLatexCommand` at a value that does not resolve and relied on the **fallback** to a working engine, this version degrades as "not detected" instead. That is the correction that matches `docs/final-paper.md`. Leave the parameter empty to get automatic detection.
+- Migration: none needed.
+- The DSH support window is unchanged (see `engines.dsh` in `package.json`).
+
+## Known Limitations
+
+- **TeX installed in a non-standard location is still not auto-discovered**: the default probe covers PATH and the documented common install roots. If yours lives elsewhere (for example a TeX Live tree at a custom directory under a drive root), set an absolute path in `paperLatexCommand`; on this machine the default probe does not find it.
+- The shipped suites **do not cover host-level behaviour**: "the caller is dropped after an interrupt" can only be observed on a real host and is not asserted in-repo.
+- One known small wart in v4: the finalisation note for "not detected / compile failed" can be empty (the note is assembled before the compile result is known). It does not affect finalisation or the degrade path, and it is recorded for a fix.
+- On machines without Lean / LaTeX, the related suites **skip loudly** rather than passing silently.
+- This version did not re-run a full research workflow on a real host; the engine-probe surface was exercised in both "engine present" and "engine absent" states.
+
+## Verification
+
+- `node tests/run-tests.mjs` — all green (**105** items: 44 suites + 61 probes).
+- `node scripts/update-doc-counts.mjs --check` — exits 0 (documented derived counts match the repository).
+- Cross-preset prompt identity: `node tests/audit-prompt-invariants.mjs` (invariant I15) and `node tests/audit-prompt-invariants.mjs --self-probe` (11/11).
+- Explicit-engine semantics: `node tests/v4-final-paper.test.mjs`, `node tests/e2e-v5-round2.test.mjs`, and `node tests/v4-final-paper.mutants.mjs` (2/2 named reds).
+- Interrupt-failure diagnostics: `node tests/v2v3-interrupt.mutants.mjs` (2/2 named reds).
+- Test-environment guards: `node scripts/clean-temp.mjs --self-test`, `node tests/temp-hygiene.mutants.mjs` (4/4 named reds).
+- Packaging consistency: the `npm pack --dry-run` listing matches `package.json#files` (declared but missing = 0), and the packaged text files use LF throughout.
+
+## Dependencies
+
+- No new runtime dependencies; the DSH support window is unchanged.

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

@@ -0,0 +1,65 @@
+# dsh-vibe-math 2.8.0 — 发布说明
+
+> 上一版本：2.7.3。本版是**功能版**：四套预设新增「检测不到 LaTeX 引擎时怎么办」的明确指引，并修正显式指定引擎的回退语义（此前 v4/v5 会静默改用另一个引擎）。四套预设的参数名与默认值、目录结构**未变**，数据格式**仅新增一个字段**，DSH 支撑窗口不变，**无需迁移**。
+
+## 概述
+
+- 显式 `paperLatexCommand` 现在是「**指定即只用它**」：解析不到就按「未检测到」降级，不再悄悄改用别的引擎；四套预设与文档口径完全一致。
+- 检测不到引擎时的具名警告变得**可行动**：说明已探测 PATH 与文档化的常见 TeX 根，并给出指定绝对路径的方法。
+- 四套预设的提示词明确告诉代理**四步做法**（有界自查 → 把绝对路径写入 `paperLatexCommand` 并重测 → 问用户一次 → 否则照旧降级）与**三条硬边界**（不自动安装、不写工作区之外、不把「未检测到」当失败）。
+- 论文元数据新增 `triedPaths`：记录本次检测**实际探测过哪些路径**（成功与失败都记录）。
+- 「宿主拒绝中断」的错误带上可执行的下一步，并纳入回归防护。
+- 自行运行测试套件的人会看到更稳的门禁：默认并发降低、启动时自动清扫陈旧的测试临时目录、临时根优先使用更宽裕的盘、发现疑似遗留进程时只读告警。
+- 仓库行尾统一为 LF：从本版起 npm 包内容与标签**逐字节可复现**。
+
+## 新增
+
+- 论文编译元数据 `paper.meta.json` 的 `compile` 段新增 **`triedPaths`**（字符串数组，本次检测过程中探测过的候选路径并集）。
+- 四套预设的提示词新增「引擎缺失指引」块（同一段规范文本，逐字一致）。v5 以 `paperHintBlock(lang)` 注入成员提示词。
+- 中断工具失败响应新增 `next: { kind: 'reason', tool: 'vibe_math_abort', hint }`，与其它失败诊断同形。
+- 随包测试工具 `scripts/clean-temp.mjs`：列出疑似遗留进程（`--ps`，只读）与清扫陈旧测试临时目录（`--dry-run` / `--age-hours=N`）。
+
+## 变更
+
+- **显式引擎语义统一**：`paperLatexCommand` 非空时**只用它**；解析不到 ⇒ `compile.status = 'not-detected'`，只交付 `paper.tex` 与 `paper.md`。v4/v5 此前会把该命令并入候选表，在它不可用时**回落到别的引擎**，现与 v2/v3 以及 `docs/final-paper.md` 的既有口径一致。
+- **未检测到引擎的警告文案**：「未检测到 LaTeX 引擎（…）：只产出 tex+md…**已探测 PATH 与文档化的常见 TeX 根；可用 `paperLatexCommand` 指定绝对路径。**」
+- **测试门禁的默认值**（仅影响自行运行套件的人）：默认并发 `min(4, cpus)` → **`min(2, cpus)`**；启动时清扫 `mtime` 早于 6 小时、且前缀取自套件自身的陈旧临时目录；临时根优先指向 `D:\_tmp`（不可用时回退，不报错）；发现疑似遗留进程时**只读告警**，绝不自动结束进程。可用 `--concurrency=N`、`--no-temp-hygiene`、`--temp-dry-run` 等开关覆盖。
+- 仓库新增 `.gitattributes`：文本文件一律 LF（二进制显式标记）。此前工作区 CRLF/LF 混合，而 `npm pack` 读工作区，包内可能出现 CRLF。
+
+## 修复
+
+- 症状：把 `paperLatexCommand` 设成一个**不存在的路径**，v4/v5 仍会用系统里另一个引擎编译出 PDF（用户以为指定的引擎生效了）。现在按「未检测到」降级，并给出可行动警告。守卫：`tests/v4-final-paper.test.mjs`、`tests/e2e-v5-round2.test.mjs`。
+- 症状：检测不到引擎时只报「未检测到」，用户不知道**找过哪里**。现在 `triedPaths` 记录实际探测路径，警告说明探测范围。守卫：`tests/v2-fix-probes.test.mjs`、`tests/v3-fix-probes.test.mjs`、`tests/v4-final-paper.test.mjs`、`tests/e2e-v5-round2.test.mjs`。
+- 症状：四套预设的「引擎缺失」指引缺失或彼此不一致。现在四套都有同一段规范文本，并有逐字一致性检查。守卫：`tests/audit-prompt-invariants.mjs`（不变量 I15）。
+- 回归防护补强（**行为未变**）：把「宿主拒绝中断」这条失败路径纳入守卫（`VIBE_MATH_INTERRUPT_FAILED` ＋ `next.tool = 'vibe_math_abort'`）。守卫：`tests/v2v3-interrupt.mutants.mjs` 与两个数学套件的对应断言。
+- 测试基础设施修复：套件被超时终止时无法自清，导致临时目录长期累积（实测顶层曾达 24 万项）。现在每次门禁启动自动清扫陈旧目录。守卫：`scripts/clean-temp.mjs --self-test`、`tests/temp-hygiene.mutants.mjs`。
+- 测试时序修复：个别套件在并行负载下会在「所等事件发生之前」结束（单跑全绿、门禁偶发红）。现在相关循环以墙钟截止、等待窗口设有下限，并有按实测定值的超时预算。守卫：`tests/run-tests.mutants.mjs`（5/5）及上述套件自身的断言。
+
+## 兼容性与迁移
+
+- 破坏性变更：**无**。参数名与默认值、目录结构未变；`triedPaths` 是纯新增字段，旧 `paper.meta.json` 仍可读。
+- 需要注意的行为变化：若你此前**故意**把 `paperLatexCommand` 指向不可用的值并依赖「回落到可用引擎」，本版会改为按「未检测到」降级——这是与 `docs/final-paper.md` 一致的修正。想要自动选择引擎，请把该参数留空。
+- 迁移：无需迁移。
+- DSH 支撑窗口不变（见 `package.json` 的 `engines.dsh`）。
+
+## 已知限制
+
+- **非标准位置的 TeX 仍不会被自动发现**：默认探测只覆盖 PATH 与文档化的常见安装根。装在其它的目录（例如把 TeX Live 装在盘符根下的自定义目录）请用 `paperLatexCommand` 指定绝对路径；本机实测非标准位置默认探测不到。
+- 随包套件**不覆盖宿主层行为**：「中断后调用方被丢弃」这类行为需要真机才能观察，未纳入随包断言。
+- v4 的收尾备注存在一个已知小问题：最终文稿的「未检测到/编译失败」备注字段可能为空（备注在编译结果确定之前组装）。不影响定稿与降级行为，已记录待修。
+- 缺少 Lean / LaTeX 等引擎的机器上，相关套件会**响亮跳过**，不会静默通过。
+- 本版未在真机重跑完整研究流程；引擎探测面覆盖「有引擎」与「无引擎」两种情形。
+
+## 验证方式
+
+- `node tests/run-tests.mjs` —— 全部通过（**105** 项：44 套件 + 61 探针）。
+- `node scripts/update-doc-counts.mjs --check` —— 退出 0（文档派生计数与仓库一致）。
+- 跨预设提示词逐字一致：`node tests/audit-prompt-invariants.mjs`（不变量 I15）与 `node tests/audit-prompt-invariants.mjs --self-probe`（11/11）。
+- 显式引擎语义：`node tests/v4-final-paper.test.mjs`、`node tests/e2e-v5-round2.test.mjs`，以及 `node tests/v4-final-paper.mutants.mjs`（2/2 具名红）。
+- 中断失败诊断：`node tests/v2v3-interrupt.mutants.mjs`（2/2 具名红）。
+- 测试环境卫兵：`node scripts/clean-temp.mjs --self-test`、`node tests/temp-hygiene.mutants.mjs`（4/4 具名红）。
+- 打包一致性：`npm pack --dry-run` 的清单与 `package.json#files` 一致（声明了但缺失 = 0），且包内文本行尾统一为 LF。
+
+## 依赖
+
+- 无新增运行时依赖；DSH 支撑窗口不变。

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

@@ -0,0 +1,49 @@
+# dsh-vibe-math 2.8.1 — Release Notes
+
+> Previous release: 2.8.0. This is a **patch release**: it fixes the "known limitation" that 2.8.0 honestly disclosed — v4's final paper did **not** state that no LaTeX engine was detected, or that PDF compilation failed — and it turns the pre-release checklist into one command. Parameter names and defaults, data formats and the directory layout are **unchanged**, the DSH support window is unchanged, and **no migration is needed**.
+
+## Overview
+
+- v4's delivered `paper.md` and `paper.tex` now **each state the compile outcome**: no engine detected (tex+md only), or PDF compilation failed with tex/md kept.
+- The note is written **exactly once** (finalisation can be re-entered, so it is idempotent) and does not change the paper's section structure or any other field.
+- Known limitation #3 of the 2.8.0 notes (v4's finalisation note could be empty) is **resolved**.
+- Added `scripts/release-check.mjs`: the pre-release checklist as a single command.
+
+## Added
+
+- `scripts/release-check.mjs`: checks the **version triple**, the **section order** of both release notes for the current version, that both are listed in `package.json#files`, that `dsh.compatNote` names the current version, that `npm pack` has **declared-but-missing = 0**, that repository-only files are **not** shipped, and that the packaged text contains **no CRLF**. Switches: `--skip-pack` (static checks only), `--registry` (after publishing: compare the registry `dist.shasum` with the local tarball), `--self-test` (prove the predicates are not vacuous).
+
+## Changed
+
+- v4's paper deliverables carry one extra outcome note (see "Fixed"). Apart from that note, the paper's section order, fixed wording and other fields are unchanged.
+
+## Fixed
+
+- Symptom: after reading `paper.md` / `paper.tex`, a v4 user still could not tell **why no PDF was produced** — only `paper.log.md` had a line. Cause: the paper body is composed **before** compilation, so the two body items that depend on the compile result were **always empty** in the normal flow. Finalisation now writes the outcome into the deliverables **after** compiling: a bullet at the end of `paper.md`, and a comment line (`% …`) inserted before `\end{document}` in `paper.tex`, **once each** (re-entry does not duplicate it). Guards: `tests/v4-final-paper.test.mjs` (`★ [deliverable/v4] … (once each; md=1 tex=1)`), `tests/v4-final-paper.mutants.mjs` (**3/3** named reds: blanking the Chinese note reddens that assertion by name, measured `md=0 tex=0`).
+- Release-process defect (tooling): the pre-release checks had to be done by hand and were easy to miss. `scripts/release-check.mjs` now does them in one command, with **4** single-site mutations proving the checker is not vacuous. Guard: `tests/release-check.mutants.mjs` (**4/4** named reds).
+
+## Compatibility & Migration
+
+- Breaking changes: **none**.
+- Additive only: one outcome line in the deliverables; one shipped script.
+- Migration: none needed; existing `paper.meta.json` files and the directory layout are unchanged.
+- The DSH support window is unchanged (see `engines.dsh` in `package.json`).
+
+## Known Limitations
+
+- **TeX installed in a non-standard location is still not auto-discovered**: the default probe covers PATH and the documented common install roots; use an absolute path in `paperLatexCommand` otherwise.
+- The shipped suites **do not cover host-level behaviour** (for example "the caller is dropped after an interrupt"); that needs a real host.
+- On machines without Lean / LaTeX, the related suites **skip loudly** rather than passing silently.
+- This version did not re-run a full research workflow on a real host.
+
+## Verification
+
+- `node tests/run-tests.mjs` — all green (**106** items: 44 suites + 62 probes).
+- `node scripts/update-doc-counts.mjs --check` — exits 0 (documented derived counts match the repository).
+- `node scripts/release-check.mjs` — exits 0; after publishing, `node scripts/release-check.mjs --registry` also compares the registry shasum with the local tarball byte for byte.
+- v4 deliverable note: `node tests/v4-final-paper.test.mjs`, `node tests/v4-final-paper.mutants.mjs` (3/3 named reds).
+- The checker itself: `node scripts/release-check.mjs --self-test` (15 checks) and `node tests/release-check.mutants.mjs` (4/4 named reds).
+
+## Dependencies
+
+- No new runtime dependencies; the DSH support window is unchanged.

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

@@ -0,0 +1,49 @@
+# dsh-vibe-math 2.8.1 — 发布说明
+
+> 上一版本：2.8.0。本版是**补丁版**：修掉 2.8.0 说明里如实写出的那条「已知限制」——v4 的最终文稿此前**不会**说明「本机没有 LaTeX 引擎」或「PDF 编译失败」；并把发布前的逐项核对做成一条命令。参数名与默认值、数据格式与目录结构**未变**，DSH 支撑窗口不变，**无需迁移**。
+
+## 概述
+
+- v4 交付的 `paper.md` 与 `paper.tex` 现在**各自写明编译结果**：未检测到引擎（只产出 tex+md），或 PDF 编译失败并已保留 tex/md。
+- 该说明**只写一次**（定稿可重入 ⇒ 幂等），不改变论文的章节结构与其它字段。
+- 2.8.0 说明中的「已知限制」第 3 条（v4 收尾备注可能为空）**已解决**。
+- 新增 `scripts/release-check.mjs`：把发布前必须逐项核对的检查做成一条命令。
+
+## 新增
+
+- `scripts/release-check.mjs`：核对版本**三处一致**、当前版本两份发布说明的**章节顺序**、两份是否登记进 `package.json#files`、`dsh.compatNote` 是否提到当前版本、`npm pack` 的**声明了但缺失 = 0**、开发专用文件是否**不随包**、包内文本是否**无 CRLF**；开关 `--skip-pack`（只做静态检查）、`--registry`（发布后比对线上 `dist.shasum` 与本地 tarball）、`--self-test`（自证判据非空转）。
+
+## 变更
+
+- v4 的论文交付物多一条结果说明（细节见「修复」）。除该说明外，论文的章节顺序、固定文案与其它字段均未变。
+
+## 修复
+
+- 症状：v4 的用户读完 `paper.md` / `paper.tex` 也不知道**PDF 为什么没有产出**——只有 `paper.log.md` 里留了一行。原因：论文正文在**编译之前**组装，因此正文里那两条依赖编译结果的条目在正常流程中**恒空**。现在定稿在编译之后把结果**补写**进交付物：`paper.md` 末尾增一条要点，`paper.tex` 在 `\end{document}` 之前插入一行注释（`% …`），两者**各恰好一次**（重入不重复）。守卫：`tests/v4-final-paper.test.mjs`（`★ [deliverable/v4] … (once each; md=1 tex=1)`）、`tests/v4-final-paper.mutants.mjs`（**3/3** 具名红：把中文说明置空 ⇒ 该断言按名变红，实测 `md=0 tex=0`）。
+- 发布流程缺陷（工具面）：发布前的逐项核对此前只能手工做、容易漏。现在由 `scripts/release-check.mjs` 一条命令完成，并由 **4** 条单点变异保证它本身不是空转。守卫：`tests/release-check.mutants.mjs`（**4/4** 具名红）。
+
+## 兼容性与迁移
+
+- 破坏性变更：**无**。
+- 纯新增：交付物里的一行结果说明；一个随包脚本。
+- 迁移：无需迁移；既有 `paper.meta.json` 与目录结构不变。
+- DSH 支撑窗口不变（见 `package.json` 的 `engines.dsh`）。
+
+## 已知限制
+
+- **非标准位置的 TeX 仍不会被自动发现**：默认探测只覆盖 PATH 与文档化的常见安装根；装在其它目录请用 `paperLatexCommand` 指绝对路径。
+- 随包套件**不覆盖宿主层行为**（例如「中断后调用方被丢弃」），这类行为需要真机才能观察。
+- 缺少 Lean / LaTeX 等引擎的机器上，相关套件会**响亮跳过**，不会静默通过。
+- 本版未在真机重跑完整研究流程。
+
+## 验证方式
+
+- `node tests/run-tests.mjs` —— 全部通过（**106** 项：44 套件 + 62 探针）。
+- `node scripts/update-doc-counts.mjs --check` —— 退出 0（文档派生计数与仓库一致）。
+- `node scripts/release-check.mjs` —— 退出 0；发布后 `node scripts/release-check.mjs --registry` 再比对线上 shasum 与本地 tarball 的字节一致性。
+- v4 交付物说明：`node tests/v4-final-paper.test.mjs`、`node tests/v4-final-paper.mutants.mjs`（3/3 具名红）。
+- 发布检查本身：`node scripts/release-check.mjs --self-test`（15 条）与 `node tests/release-check.mutants.mjs`（4/4 具名红）。
+
+## 依赖
+
+- 无新增运行时依赖；DSH 支撑窗口不变。