dsh-vibe-math 2.3.14 → 2.3.16

package/README.md

@@ -1,5 +1,7 @@
 # Vibe Mathematics — 多代理数学问题求解与验证框架（四架构）
 
+[English](README.en.md) | 中文
+
 [![npm](https://img.shields.io/npm/v/dsh-vibe-math)](https://www.npmjs.com/package/dsh-vibe-math)
 [![License: MIT](https://img.shields.io/badge/License-MIT-blue.svg)](https://opensource.org/licenses/MIT)
 [![GitHub stars](https://img.shields.io/github/stars/ChongCyrus/Vibe-Mathematics)](https://github.com/ChongCyrus/Vibe-Mathematics)
@@ -20,11 +22,12 @@
 
 ## 🧩 架构图（v2 + v3 + v4 + v5）
 
-> 静态架构图；完整流程说明见 [docs/架构图.md](docs/架构图.md)（v2 详解）与
+> 静态架构图；完整流程说明见 [docs/架构图.md](docs/架构图.md)（v1 历史架构图；v2 起目录布局已变更）与
 > [vibe-math-v5/架构图.md](vibe-math-v5/架构图.md)（v5 全套细节图）；
-> 可编辑生成脚本：[v2](docs/generate_framework_diagram_v2.py) / [v3](docs/generate_framework_diagram_v3.py)（matplotlib → PNG）、
+> 可编辑生成脚本：中文 v2/v3 海报由 matplotlib 脚本生成 [v2](docs/generate_framework_diagram_v2.py) / [v3](docs/generate_framework_diagram_v3.py)（matplotlib → PNG）；
+> 英文版 v2/v3 由零依赖 Node 脚本生成 [v2-en](docs/generate_framework_diagram_v2_en.mjs) / [v3-en](docs/generate_framework_diagram_v3_en.mjs)（→ **SVG**）；
 > [v4](docs/generate_framework_diagram_v4.mjs) / [v5](docs/generate_framework_diagram_v5.mjs)
-> （零依赖 Node → **SVG**，`node docs/generate_framework_diagram_v4.mjs`）。
+> （零依赖 Node → **SVG**，`node docs/generate_framework_diagram_v4.mjs`，加 `--lang=en` 生成英文版 `示例图/框架图-v4-en.svg`）。
 > v4 起改用 SVG：纯文本、diff 友好、任意缩放不糊；需要 PNG 时用无头浏览器截图（命令见生成脚本头部）。
 
 ### Vibe Math V2（概率驱动 · JSON 数据层）✅ 主推
@@ -479,6 +482,7 @@ v5 的完整架构（含成员生命周期、一轮时序、共识状态机、
 ```
 <会话工作区>/VibeMath/
 ├─ Methods/                            # 【全局】跨项目通用理论发明库（v3，晋升自项目级）
+├─ Formal/                             # 对象形式化工作文件：Lib/（可复用定义）与 Proved/（已证引理）
 ├─ current.<会话id>.json               # 每会话当前项目（多会话并行互不覆盖）
 ├─ vibe_math_setting.json             # （可选，全局回退）默认参数 JSONC，含注释
 └─ Projects/<项目>/
@@ -668,10 +672,10 @@ v5 的完整架构（含成员生命周期、一轮时序、共识状态机、
 结束了吗？结论是什么？
 ```
 
-主代理 `vibe_math_status`：`qs.csv` 里 `q1` 已回写 `solved`，解法文件在 `Verified/` 里并被命名为
-`q1-的解法_<唯一标识>.csv`。
+主代理 `vibe_math_status`：`qs/qs.json` 里 `q1` 已回写 `已解决 = true`，其解法 `正确概率 = 1`；定论事实进入
+`Verified/<分类>_Verified.json`。
 
-> v2 对应的收尾是：`qs.json` 中 `q1.已解决 = true`，其解法 `正确概率 = 1`，相关命题进入 `Verified/`。
+> v2 不写 CSV：已解决问题就在 `qs/qs.json` 里，`Verified/<分类>_Verified.json` 是定论事实索引（解法 `正确概率 = 1` → 问题收口；证明/证伪 `正确概率 = 1` → 命题布尔估计 = 1/0）。
 
 ---
 
@@ -833,7 +837,7 @@ v5 的完整架构（含成员生命周期、一轮时序、共识状态机、
 ## ⚠️ 已知边界（有意简化）
 
 **v2**：
-- 安装器带**版本化自动更新**：每次 DSH 启动时对比包版本与 `<presetRoot>/.vibe-math-installed.json` 记录——**版本一变（或无记录的老安装首次运行）就整体替换受管文件，不看它是否被改过**；被替换的手改原文先备份到 `<presetRoot>/.vibe-math-backup/<旧版本>/<preset>/` 并在日志里列出。同一个版本内**不重写任何文件**（重启 DSH 不会改写 preset、也不会扰动它按 mtime 记的生成代际），缺失文件随时补回。想强制全量重装：删除 `~/.dsh/.agent-presets/vibe-math-v2`、`vibe-math-v3`、`vibe-math-v4` 与 `vibe-math-v5` 目录后重启 DSH。
+- 安装器带**版本化自动更新**：每次 DSH 启动时对比包版本与 `<presetRoot>/.vibe-math-installed.json` 记录——**版本一变（或无记录的老安装首次运行）就整体替换受管文件，不看它是否被改过**；被替换的手改原文先备份到 `<presetRoot>/.vibe-math-backup/<旧版本>/<preset>/` 并在日志里列出。同一个版本内**不重写任何文件**（重启 DSH 不会改写 preset、也不会扰动它按 mtime 记的生成代际），缺失文件随时补回。想强制全量重装：删除 `~/.dsh/.agent-presets/vibe-math-v2`、`vibe-math-v3`、`vibe-math-v4` 与 `vibe-math-v5` 目录后重启 DSH。
 - **这四个目录由安装器负责**：删掉其中任一文件或整个目录，只会在下次启动 DSH 时被补回（这正是上面"强制全量重装"可行的原因）。想彻底不要它们，就卸载本包（`dsh plugin --profile <你的 profile> remove dsh-vibe-math`）。
 - `flat` 裁决在辩论不一致时直接判 `0.5`（高置信分歧如 0.9 vs 1 也会被误判 0.5——**v3 已用近共识规则修复**）；`forced` 按历史准确率+置信度加权。
 - `never` 优先级的问题/命题**永不调度**，且不阻塞严格终止（视为主动弃权）。

package/docs/AUDIT-CHECKLIST.md

@@ -321,3 +321,64 @@ provider **直接拒绝**。于是"提示词/规格/状态表都写着这个参
 - 缺陷要分**类**："这一整类此前没有审计维度"比"修了 N 个 bug"更重要。
 - 假绿/假红必须单独说明：**审计本身失效**是最严重的发现。
 - 每条结论都要给出**可复核的证据**（真实日志片段、语料原文、可重跑的命令与结果）。
+
+---
+
+## 6. 发布说明（Release Notes / GitHub Release）格式
+
+**中英双语、先中文后英文，只写"给用户看的信息"。** 工程过程（探针结果、断言条数、事故复盘、行号与
+内部编号）属于 `_oneoff/audit-findings-*.md` 台账与提交信息，**不进**发布说明。
+
+固定骨架（只有版本号、标题与正文随版本变，**节名不变**）：
+
+```markdown
+# dsh-vibe-math <版本> — 发布说明（中文）
+
+> 上一版：<版本>。<一句话：这一版是干什么的、是否影响行为。>
+
+## 概览
+## 变更
+## 兼容性
+## 升级
+
+---
+
+# dsh-vibe-math <版本> — Release Notes (English)
+
+> Previous: <version>. <One sentence: what this release is and whether behaviour changes.>
+
+## Overview
+## Changes
+## Compatibility
+## Upgrade
+```
+
+- [ ] 两个 H1 都在；**英文那份的 H1 必须含 `English`**（发布门禁阶段 1c 会检查）；
+- [ ] 中文部分 ≥ 150 个汉字（门禁同阶段检查），英文部分不得残留未翻译段落；
+- [ ] 每条变更都回答"**对使用者有什么影响**"——不写内部编号、探针名、断言条数；
+- [ ] 「兼容性」明确回答：四套预设的字节/行为是否变化、参数与工具面是否变化；
+- [ ] 「升级」给出可直接复制的命令（`npm i dsh-vibe-math@latest`；若 profile 里把版本钉死了，
+      写出对应的 `dsh plugin --profile <name> add dsh-vibe-math@latest`）；
+- [ ] **发布前把草稿交给用户确认**（在对话里展示全文，或用提问工具）；用户同意或给出修改意见后再发布；
+- [ ] GitHub Release 的正文 = 这份文件本身（`gh release create --notes-file <该文件>`），标题中英并列。
+
+---
+
+## 7. 中英双语 README 与英文版架构图（2.3.16 起）
+
+- **默认语言**：`README.md` 为中文（默认、GitHub 首屏），`README.en.md` 为英文；两文顶部各有一行切换器
+  （中文版 `[English](README.en.md) | 中文`，英文版 `English | [中文](README.md)`）。不建 `README.zh.md`。
+- **结构同构**：标题层级序列、表格行数、代码块数、图片数量、本地链接集合必须一一对应；
+  唯一允许的差异是四张架构图各自指向 `-en` 版本（按序号配对校验）。
+- **文件与产物名不翻译**：真实目录/文件名（`示例图/…`、`docs/架构图.md`、`Verified/命题/`、`Logs/报告.md`）、
+  真实 JSON 键（`已解决`、`正确概率`）、真实格式锚点（`- ID/类型/状态/概率/…`、`### 解法/证明/证伪 N｜标题｜概率X｜状态Y`）、
+  会话重建标记 `【会话重建 —— <role> <id>】`、v2/v3 真实 md 字段名（`可信断言`、`上级体系`、`子方法`）**保持原样**，
+  首次出现处可加括注；除此以外的正文必须是英文（`tests/audit-readme-bilingual.test.mjs` 的 CJK 预算兜底）。
+- **架构图**：四张英文图 `示例图/框架图-v{2,3,4,5}-en.svg` 只被 `README.en.md` 引用，中文图不受影响；
+  v4/v5 用现有零依赖生成器加 `--lang=en`（`docs/generate_framework_diagram_v4.mjs`），
+  v2/v3 用独立的零依赖 Node 生成器 `docs/generate_framework_diagram_v{2,3}_en.mjs`（中文 v2/v3 海报仍由 matplotlib 脚本产出）。
+  英文图内只允许保留上述"真实字面量"的中文，`tests/audit-diagram-assets.test.mjs` 按图核 CJK 预算。
+- **历史文档必须标注适用范围**：描述旧版本布局的文档（如 v1 时期的 `docs/架构图.md`）要在开头写明它描述的是哪一版，
+  不能在被 README 当作"当前详解"引用时静默误导（`qs.csv`、`Pending_Verification/` 等 v1 名称在 v2 起已不存在）。
+
+---