dsh-vibe-math 0.2.0 → 0.3.0

package/README.md

@@ -1,341 +1,131 @@
-# Vibe Mathematics — 多代理数学问题求解与验证框架
-
-[![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)
-
-> 一个运行在 **DeepSeek Harness** 内的**永久 agent preset**（`vibe-math`）。
-> 它用「**广度探索 → 深度迭代 → 交叉验证 → 知识沉淀**」的闭环，自动求解数学问题，
-> 并对每个结论做多代理交叉验证；支持**断点续跑**与**中途人工干预**，全程可由自然语言驱动。
-
----
-
-## ✨ 功能特色
-
-- **多代理自动求解**：主代理把问题交给调度器，调度器派发 brainstorm / solver / verifier / decider 等子代理协同求解，**你无需逐节点手操**。
-- **多代理交叉验证**：每个结论拆成最小验证单元，≥3 个「严苛审稿人」独立审查 → 辩论 → 裁决（一票否决 / 加权投票）。
-- **知识沉淀**：验证通过的结论晋升进 `Verified/` 可信知识库，供后续方向复用。
-- **断点续跑**：调度状态、任务栈、代理注册表、决策队列、依赖图、验证器历史准确率等全部落盘；重启后 `resume` 即可恢复（含对账，不会卡死）。
-- **中途人工干预（并继续）**：`auto / manual` 模式随时切换；manual 在关键节点挂起决策等你 approve/reject/override；可对任意子代理发消息 / 中断。
-- **按项目隔离**：每个数学问题一个独立项目文件夹，互不干扰，可随时切换。
-- **子代理权限可调控**：可限制子代理允许/禁止的工具、每轮外部工具调用上限，并明确告知其可读 `Verified/` 与进度日志。
-- **可配置**：`vibe_math_setting.json`（含注释）自定义默认参数；`/vibe setup` 交互式问答配置。
-- **自然语言控制**：主代理充当「助手 + 汇报者」，你把需求说成人话，它自己调用工具、汇报进度、配置参数。
-
----
-
-## 🧠 架构与分工
-
-框架 = **一个主代理（助手）+ 一个代码调度器 + 五类子代理**。
-
-| 角色 | 类型 | 职责 |
-|---|---|---|
-| **主代理** | LLM（会话里的那个助手） | **自然语言接口 + 汇报者 + 助手**。它**自己不求解、不调度**，只负责：把你的话翻译成 `vibe_math_*` 工具调用、汇报进展、问答式配置参数、执行调控命令。 |
-| **调度器** | 插件代码（非模型） | 唯一主控：读 `qs.csv`、派发子代理、写文件、推进状态机。**所有调度靠编程，不靠代理**。 |
-| **Brainstorm 子代理** | 子代理 | 元认知头脑风暴：约束分解、边界测试、相似问题映射，把问题拆成多个「大相径庭」的求解方向。 |
-| **Solver 子代理** | 子代理 | 每个方向一个专属求解器，**同一会话内多轮迭代**，产出引理（含证明）、子路线、存活概率、完整解法。 |
-| **Derive 子代理** | 子代理 | 当某问题的所有方向都走进死路仍未解决时，基于历史痛点**派生 1~3 个全新方向**。 |
-| **Verifier 子代理** | 子代理 | 每个验证单元 ≥3 个独立「严苛审稿人」，独立审查 → 辩论（交流群）→ 裁决。 |
-| **Decider 子代理** | 子代理 | `Verified/` 出现新结论时，判断它是否解决了某未解决问题，回写 `qs.csv` 并重命名解法文件。 |
-
-> 一句话分工：**主代理负责“和人对话”，调度器负责“干活”，子代理负责“动脑”。**
-
----
-
-## 🧩 架构图
-
-> 静态 PNG 预览 + 可编辑 Mermaid 图源（GitHub 原生渲染）；完整流程说明见 [docs/架构图.md](docs/架构图.md)。
-
-![Vibe Math 架构图](示例图/框架图.png)
-
-```mermaid
-flowchart TB
-    subgraph L1["👤 交互层"]
-        U["😀 用户（自然语言）"]
-        M["🤖 主代理（助手 + 汇报者）<br/>翻译需求 · 汇报进度 · 问答配置<br/>不求解 · 不调度"]
-    end
-
-    subgraph L2["⚙️ 调度层（插件代码）"]
-        SCHED["调度器 Scheduler<br/>唯一文件写者<br/>读 qs.csv · 派发子代理 · 推进状态机"]
-    end
-
-    subgraph L3["🧠 子代理层（continuable 持久会话）"]
-        BRAIN["🧭 Brainstorm<br/>拆解多个求解方向"]
-        SOLV["✍️ Solver × N<br/>逐方向多轮迭代"]
-        DERI["🔀 Derive<br/>死路时派生新方向"]
-        VERI["🔬 Verifier × ≥3<br/>独立审查 → 辩论 → 裁决"]
-        DECI["⚖️ Decider<br/>判定是否解决"]
-    end
-
-    subgraph L4["💾 数据层 · VibeMath/Projects/&lt;项目&gt;/"]
-        QS["📋 qs.csv"]
-        PEND["📥 Pending_Verification/"]
-        UNDR["📂 Under_Verification/"]
-        TVAL["✅ Temp_Validated/"]
-        KNOW["📚 Verified/ 可信知识库"]
-        STATE["🗄️ Progress_Logs/ · VibeMath_State/"]
-    end
-
-    U -->|"求解 XX / 查进度 / 干预"| M
-    M -->|"vibe_math_* 工具"| SCHED
-
-    SCHED -->|"① 派发"| BRAIN
-    BRAIN -->|"多个大相径庭的方向"| SCHED
-    SCHED -->|"② 每方向一个"| SOLV
-    SOLV -->|"结构化结果 JSON"| SCHED
-    SOLV -.->|"迭代至卡死"| DERI
-    DERI -->|"派生 1~3 个新方向"| SCHED
-    SCHED -->|"③ 写盘"| PEND
-    SCHED -->|"④ 拆解为最小验证单元"| UNDR
-    SCHED -->|"⑤ 派发 ≥3 个"| VERI
-    VERI -->|"裁决 JSON"| SCHED
-    SCHED -->|"⑥ 通过"| TVAL
-    SCHED -->|"⑦ 晋升"| KNOW
-    SCHED -->|"⑧ 派发"| DECI
-    DECI -->|"⑨ 已解决 → 回写"| QS
-    SCHED <-->|"读取问题"| QS
-    SCHED <-->|"状态落盘 / 断点恢复"| STATE
-```
-
-**一句话流水线**：`qs.csv` → Brainstorm 拆方向 → 每方向一个 Solver 多轮迭代（卡死则 Derive 派生新方向）→ 输出拆成最小验证单元 → ≥3 个 Verifier 独立审查 → 辩论 → 裁决 → 通过晋升 `Verified/` → Decider 回写 `qs.csv`；全程状态落盘 `VibeMath_State/`，`resume` 断点续跑，`manual` 模式在派发/裁决/晋升处挂起人工决策。
-
----
-
-## 📁 目录结构
-
-框架数据落在会话工作区的 `VibeMath/` 下，每个项目一套完整布局：
-
-```
-<会话工作区>/VibeMath/
-├─ current.json                        # 当前项目
-├─ vibe_math_setting.json             # （可选，全局回退）默认参数 JSONC，含注释
-└─ Projects/<项目>/
-   ├─ vibe_math_setting.json          # 该项目默认参数
-   ├─ qs/qs.csv                        # 问题清单：id,description,priority,status,deps
-   ├─ Verified/                        # 已验证可信知识库（绝对可信）
-   ├─ Pending_Verification/            # 待验证原始输出
-   ├─ Under_Verification/              # 拆解后的最小验证单元
-   ├─ Temp/                            # 临时工作区
-   ├─ Temp_Validated/                  # 已验证、待晋升
-   ├─ Progress_Logs/                   # 每问题进度 + 辩论日志 + 定期报告
-   └─ VibeMath_State/                  # 调度器私有持久状态（断点恢复用）
-```
-
-**铁律**：调度器是**唯一文件写者**（子代理只返回结构化 JSON，从不写文件），所有跨目录移动都走**临时原子交换**。
-
----
-
-## 🚀 安装
-
-两种安装方式，任选其一（也可并存）：
-
-### 方式 A：作为插件包一键安装（推荐）
-
-发布到 npm 后：
-
-```sh
-dsh plugin --profile <你的 profile> add dsh-vibe-math
-```
-
-不发布也能直接从 GitHub 装：
-
-```sh
-dsh plugin --profile <你的 profile> add github:ChongCyrus/Vibe-Mathematics
-```
-
-### 方式 B：作为 agent preset 手动安装
-
-1. 把本仓库的三个文件放到 preset 目录：
-
-   ```
-   C:\Users\<你>\.dsh\.agent-presets\vibe-math\
-   ├─ agent.cordis.yml
-   ├─ preset.yml
-   └─ vibe-math.js
-   ```
-
-2. 新建一个会话，在 preset 选择器里选 **「Vibe Math」**。
-3. 会话启动后即可使用：工具列表里会出现 20 个 `vibe_math_*` 工具，输入框键入 `/vibe` 有自动补全。
-
-> 修改 preset 文件后需**重启 DSH 进程**再开新会话（preset 的 standing mount 会缓存到进程退出）。
-
----
-
-## ⚡ 快速上手
-
-### 方式 A：直接对话（推荐，最省事）
-
-因为主代理内置了使用说明，你**直接说人话即可**：
-
-```
-帮我用 Vibe Math 证明 √2 是无理数。
-```
-
-主代理会自动：`vibe_math_add_problem` 加题 → `vibe_math_start` 启动 → 之后你随时问它进度。
-
-```
-现在进展怎么样了？
-```
-
-主代理会自动调用 `vibe_math_status` / `vibe_math_report` 并把结果用人话汇报给你。
-
-### 方式 B：命令 / 工具（精确控制）
-
-在对话里直接调用工具（参数为 JSON）：
-
-| 工具 | 作用 |
-|---|---|
-| `vibe_math_add_problem` | 加题（id/description/priority） |
-| `vibe_math_start` / `vibe_math_resume` | 启动 / 断点恢复调度器 |
-| `vibe_math_pause` / `vibe_math_abort` | 暂停 / 终止（中断所有子代理） |
-| `vibe_math_status` / `vibe_math_report` | 查看状态 / 完整进度报告 |
-| `vibe_math_set_mode` | 切换 `auto` / `manual` |
-| `vibe_math_set_params` | 运行时调参 |
-| `vibe_math_setup` | 返回参数 schema（交互式配置用） |
-| `vibe_math_save_settings` | 把当前参数存成新默认 |
-| `vibe_math_template` | 生成默认参数模板文件 |
-| `vibe_math_new_project` / `set_project` / `list_projects` | 项目管理 |
-| `vibe_math_list_decisions` / `decide` | 查看 / 裁决人工决策 |
-| `vibe_math_list_agents` / `message_agent` / `interrupt_agent` | 查看 / 发消息 / 中断子代理 |
-
-斜杠命令（与工具等价）：`/vibe start|resume|pause|abort|status|report|mode <auto|manual>|setup|save|template [global|project]|add <id> <desc>|project [list|new <name>|<name>]|decisions|agents`
-
----
-
-## 🎓 教学：让主代理替你干活
-
-### 1. 自然语言驱动（不用记命令）
-
-主代理的作用就是当你的「翻译官」。你只需描述**目标**，它会自己选择并调用工具：
-
-| 你说的话 | 主代理做的事 |
-|---|---|
-| “求解 / 证明 XXX” | `add_problem` + `start`，之后汇报 |
-| “现在进度怎么样 / 有哪些代理在跑” | `status` / `report` / `list_agents` 并总结 |
-| “暂停 / 终止求解” | `pause` / `abort` |
-| “切到人工模式，我要逐步把关” | `set_mode manual`，之后有决策就 `list_decisions` 提醒你 |
-| “给 q1 的某个求解方向换个思路（比如改成构造性证明）” | `list_agents` 找到 childId → `message_agent` 注入新指令 |
-| “中断某个卡住的子代理” | `interrupt_agent` |
-
-### 2. 问答式参数配置（/vibe setup）
-
-你甚至不用记参数名。说：
-
-```
-帮我配置一下参数。
-```
-
-主代理会调用 `vibe_math_setup` 拿到完整参数 schema（每项含**说明 / 选项 / 建议 / 当前值**），
-然后用 `ask_user_question` **逐项问你**（选项自带解释与建议），你选完它用 `vibe_math_set_params`
-应用，最后问你是否 `vibe_math_save_settings` 存为默认。
-
-也可以直接跑命令：`/vibe setup`（看 schema）→ 跟主代理说你要改哪些 → `/vibe save`（存默认）。
-
-### 3. 配置文件（vibe_math_setting.json）
-
-- **生成模板**：`/vibe template`（生成到工作区）或 `/vibe template project`（生成到当前项目）——
-  会产出一份**带 `//` 注释、逐项中文说明**的 JSON 模板，你手改后重启/resume 即生效。
-- **保存当前值**：`/vibe save` 把当前生效参数写回该文件。
-
----
-
-## 🌱 新手示例流程（以“证明 √2 是无理数”为例）
-
-**Step 1 — 用一句话启动**
-
-```
-帮我用 Vibe Math 证明：√2 是无理数。
-```
-
-主代理执行 `vibe_math_add_problem {"id":"q1","description":"证明：√2 是无理数。","priority":0}`
-再执行 `vibe_math_start`，然后告诉你“已启动”。
-
-**Step 2 — 询问进度**
-
-```
-进展如何？
-```
-
-主代理执行 `vibe_math_status` 并用人话汇报：当前活跃子代理数、正在验证的单元、是否有待决策等。
-
-**Step 3 — 问答式调参（可选）**
-
-```
-我想让它用加权投票，并发数设成 6。
-```
-
-主代理 `vibe_math_set_params {"verdictMode":"weighted-vote","maxParallelThreshold":6}`，
-并问你是否 `vibe_math_save_settings` 保存。
-
-**Step 4 — 中途干预（可选）**
-
-```
-切到人工模式，我要在每个关键节点把关。
-```
-
-主代理 `vibe_math_set_mode {"mode":"manual"}`。之后每到一个关键节点它会 `vibe_math_list_decisions`
-拿到决策，向你说明，等你 `vibe_math_decide {"id":"...","action":"approve"}`（或 `reject` / `override`）。
-
-**Step 5 — 收尾**
-
-```
-结束了吗？结论是什么？
-```
-
-主代理 `vibe_math_status`：`qs.csv` 里 `q1` 已回写 `solved`，解法文件在 `Verified/` 里并被命名为
-`q1-的解法_<唯一标识>.csv`。
-
----
-
-## 🖼️ 实际使用示例（长截图）
-
-> 截图很长，这里默认**折叠**：点击下方「展开」才加载整张长图，避免它占满页面、遮挡前后文字。
-
-<details>
-<summary>📸 展开查看实际使用示例长截图</summary>
-
-![实际使用示例长截图](示例图/实际使用示例-长截图.png)
-
-</details>
-
----
-
-## ⚙️ 参数速查表（默认值）
-
-| 参数 | 默认 | 说明 |
-|---|---|---|
-| `mode` | `auto` | `auto` / `manual` |
-| `maxParallelThreshold` | 4 | 全局最大并发子代理数 |
-| `solverMaxRounds` | 20 | 每个求解方向最大迭代轮数 |
-| `verifierCount` | 3 | 每验证单元独立验证器数（≥3） |
-| `debateMaxRounds` | 5 | 验证辩论最大轮数 |
-| `verdictMode` | `direct-veto` | `direct-veto` / `weighted-vote` |
-| `provider` / `model` | 空 | 子代理模型（空 = 继承根代理） |
-| `solverPersona` / `verifierPersona` | 空 | 注入求解器/验证器的额外要求 |
-| `solverToolAllow` / `solverToolDeny` | `[]` | 求解器允许/禁止的工具（硬性 toolFilter） |
-| `verifierToolAllow` / `verifierToolDeny` | `[]` | 验证器允许/禁止的工具 |
-| `solverMaxToolCalls` / `verifierMaxToolCalls` | 0 | 每轮外部工具调用上限（0=不限，软性） |
-| `reportIntervalMs` | 30000 | 自动写进度报告的最小间隔 |
-
----
-
-## 📝 断点续跑 & 人工干预（两大硬性需求）
-
-- **断点续跑**：所有状态落盘到 `VibeMath_State/*.json`，每个子代理都是 DSH 的 **continuable 持久会话**（对话由 DSH 自动保存）。重启后新开会话 → `vibe_math_resume` 即可续跑。
-- **中途人工干预**：`manual` 模式在关键节点（brainstorm/solver 派发、验证裁决、晋升 Verified）挂起决策；可随时 `set_mode auto` 切回自动；可对任意子代理 `message_agent` / `interrupt_agent`。
-
----
-
-## ⚠️ 已知边界（有意简化）
-
-- `Pending_Verification` 按文件逐个拆解，未做跨文件的“去重 / 引用整合”（不损正确性）。
-- `weighted-vote` 会记录每个验证器的历史准确率 + 严谨性权重，但最终裁决仍遵循“证伪优先 / 全 Uncertain→False”（数值权重仅用于审计）。
-- manual 模式在第一个未决关键节点暂停整条主循环。
-
-完整逻辑见仓库内规格文档 `实现方案-多代理数学问题求解与验证框架.md`。
-
----
-
-## 📄 License
-
-MIT
+# Vibe Mathematics — 多代理数学问题求解与验证框架（双架构）
+
+[![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)
+
+> 运行在 **DeepSeek Harness** 内的一组 **agent preset**（`vibe-math-v1` / `vibe-math-v2`），
+> 用多代理协作自动求解数学问题并对结论做多代理交叉验证。两个预设共享「**断点续跑**、
+> **中途人工干预**、**进度汇报**、**自然语言驱动**」三大底座能力，但采用两套不同的求解架构：
+>
+> - **`vibe-math-v1`（经典流水线）**：「广度探索 → 深度迭代 → 交叉验证 → 知识沉淀」闭环；
+> - **`vibe-math-v2`（新架构 · 概率驱动）**：`qs.json` 问题清单 + `Propos/` 命题库 + 概率驱动调度。
+
+安装本插件包（或手动复制预设）后，DSH 的预设选择器里会出现**两个** agent preset。
+
+---
+
+## 🚀 安装
+
+**方式 A：插件包一键安装（推荐）** —— 同时装出两个预设：
+
+```sh
+dsh plugin --profile <你的 profile> add dsh-vibe-math
+# 或从 GitHub 直装：
+dsh plugin --profile <你的 profile> add github:ChongCyrus/Vibe-Mathematics
+```
+
+安装时插件会自动把两个 preset 写入 `~/.dsh/.agent-presets/`：
+`vibe-math-v1/` 与 `vibe-math-v2/`。之后新建会话，预设选择器里选择 **Vibe Math** 或 **Vibe Math V2** 即可。
+
+**方式 B：手动复制**（任选其一）
+
+```
+C:\Users\<你>\.dsh\.agent-presets\vibe-math-v1\   ← 复制 vibe-math-v1/ 下的 agent.cordis.yml / preset.yml / vibe-math.js
+C:\Users\<你>\.dsh\.agent-presets\vibe-math-v2\   ← 复制 vibe-math-v2/ 下的 agent.cordis.yml / preset.yml / vibe-math-v2.js
+```
+
+> 修改 preset 文件后需**重启 DSH 进程**再开新会话（standing mount 缓存到进程退出）。
+
+---
+
+## 🧭 两个预设怎么选
+
+| | **vibe-math-v1（经典）** | **vibe-math-v2（新架构）** |
+|---|---|---|
+| 核心思想 | 流水线：拆方向 → 逐方向求解 → 拆最小单元 → 多验证器辩论 → 晋升 `Verified/` | 概率驱动：`qs.json` 问题 + `Propos/` 命题库，按「正确概率 / 价值」调度求解与验证 |
+| 数据 | `qs/qs.csv` + `Progress_Logs/` | `qs/qs.json` + `Propos/<分类>_Propos.json` + `Reliable/` |
+| 角色 | brainstorm / solver / derive / verifier / decider | explorer（拆方向）→ 逐方向 solver → verifier（独立审查→辩论→裁决） |
+| 收口规则 | 验证通过晋升 `Verified/`，decider 判定解决 | 解法/证明达概率 `1` 即收口（问题 solved、命题 1/0），`never` 永不调度 |
+| 特设能力 | 子问题分支（Aux_Hypothesis） | 命题「价值/关键性」自动晋升问题清单；`reportMode file/push/both`；`priorityAdjust` 三种优先级策略 |
+
+两者都支持：断点续跑（`vibe_math_resume`）、人工/自动模式切换、`vibe_math_*` 工具集与 `/vibe` 命令、按项目隔离、子代理权限调控。
+
+---
+
+## 🧩 架构图（v1）
+
+> Mermaid 原生渲染；可编辑图源见 [docs/架构图.md](docs/架构图.md)。
+
+![Vibe Math 架构图](示例图/框架图.png)
+
+```mermaid
+flowchart TB
+    subgraph L1["👤 交互层"]
+        U["😀 用户（自然语言）"]
+        M["🤖 主代理（助手 + 汇报者）<br/>翻译需求 · 汇报进度 · 问答配置<br/>不求解 · 不调度"]
+    end
+
+    subgraph L2["⚙️ 调度层（插件代码）"]
+        SCHED["调度器 Scheduler<br/>唯一文件写者<br/>读 qs.csv · 派发子代理 · 推进状态机"]
+    end
+
+    subgraph L3["🧠 子代理层（continuable 持久会话）"]
+        BRAIN["🧭 Brainstorm<br/>拆解多个求解方向"]
+        SOLV["✍️ Solver × N<br/>逐方向多轮迭代"]
+        DERI["🔀 Derive<br/>死路时派生新方向"]
+        VERI["🔬 Verifier × ≥3<br/>独立审查 → 辩论 → 裁决"]
+        DECI["⚖️ Decider<br/>判定是否解决"]
+    end
+
+    subgraph L4["💾 数据层 · VibeMath/Projects/&lt;项目&gt;/"]
+        QS["📋 qs.csv"]
+        PEND["📥 Pending_Verification/"]
+        UNDR["📂 Under_Verification/"]
+        TVAL["✅ Temp_Validated/"]
+        KNOW["📚 Verified/ 可信知识库"]
+        STATE["🗄️ Progress_Logs/ · VibeMath_State/"]
+    end
+
+    U -->|"求解 XX / 查进度 / 干预"| M
+    M -->|"vibe_math_* 工具"| SCHED
+
+    SCHED -->|"① 派发"| BRAIN
+    BRAIN -->|"多个大相径庭的方向"| SCHED
+    SCHED -->|"② 每方向一个"| SOLV
+    SOLV -->|"结构化结果 JSON"| SCHED
+    SOLV -.->|"迭代至卡死"| DERI
+    DERI -->|"派生 1~3 个新方向"| SCHED
+    SCHED -->|"③ 写盘"| PEND
+    SCHED -->|"④ 拆解为最小验证单元"| UNDR
+    SCHED -->|"⑤ 派发 ≥3 个"| VERI
+    VERI -->|"裁决 JSON"| SCHED
+    SCHED -->|"⑥ 通过"| TVAL
+    SCHED -->|"⑦ 晋升"| KNOW
+    SCHED -->|"⑧ 派发"| DECI
+    DECI -->|"⑨ 已解决 → 回写"| QS
+    SCHED <-->|"读取问题"| QS
+    SCHED <-->|"状态落盘 / 断点恢复"| STATE
+```
+
+---
+
+## 📚 规格文档
+
+- **v1（经典）**：[`vibe-math-v1/实现方案-多代理数学问题求解与验证框架.md`](vibe-math-v1/实现方案-多代理数学问题求解与验证框架.md)
+- **v2（新架构）**：[`vibe-math-v2/实现方案.md`](vibe-math-v2/实现方案.md)
+
+---
+
+## ⚠️ 已知边界
+
+- 两个预设的 preset 文件互相独立、可共存；同一会话同时只能选一个预设。
+- `vibe-math-v1` 的 `Pending_Verification` 按文件逐个拆解，未做跨文件去重。
+- `vibe-math-v2` 的 `flat` 裁决在辩论不一致时直接判 `0.5`；`forced` 按历史准确率+置信度加权。
+- 安装器只**补装缺失**的 preset 文件，不覆盖你已编辑的预设（删除对应目录即可重新安装）。
+
+---
+
+## 📄 License
+
+MIT

package/cordis.patch.yml

@@ -1,45 +1,9 @@
-# The dsh-vibe-math bundle patch. Applied after `@deepseek-ai/dsh-base`, it:
-#   1. enriches the coding persona with the Vibe Math toolkit instructions, and
-#   2. inserts the vibe-math plugin row — 20 vibe_math_* tools, the /vibe slash
-#      command, and a background scheduler (brainstorm → solver iteration →
-#      multi-verifier debate → promotion to Verified → triage back to qs.csv).
-#
-# The plugin consumes the HOST subagents/agents/fs/tools/commands services (all
-# provided by dsh-base) and publishes nothing, so it sits loose with no realm.
-#
-# A patch replaces the target row's whole `config`; `system-prompt` only owns
-# `persona`, so restating just that key is complete.
-
-- id: system-prompt
-  config:
-    persona: |-
-      You are a coding agent powered by the {{model}} model. Your working directory is {{cwd}}.
-
-      ## Vibe Math toolkit
-
-      This session includes the "Vibe Math" multi-agent mathematical problem-solving and
-      verification framework. It is driven by a background scheduler (code), NOT by the model:
-      you only issue the control tools below and read status; the scheduler automatically runs
-      brainstorm → solver iteration → multi-verifier debate → promotion to Verified → triage
-      back to the problem list.
-
-      - vibe_math_add_problem {id, description, priority} — add a problem to qs.csv.
-      - vibe_math_start / vibe_math_resume — start / resume the scheduler (resume = continue after a checkpoint or restart).
-      - vibe_math_status / vibe_math_report — read scheduler status / full progress report.
-      - vibe_math_pause / vibe_math_abort — pause / abort (abort interrupts all children).
-      - vibe_math_set_mode {mode: manual|auto} — switch manual / auto control.
-      - vibe_math_set_params {...} — tune any parameter (see vibe_math_setup for the full schema).
-      - vibe_math_setup — parameter schema for guided configuration.
-      - vibe_math_save_settings — persist current params as new defaults.
-      - vibe_math_new_project / vibe_math_set_project / vibe_math_list_projects — per-project folders.
-      - vibe_math_list_decisions / vibe_math_decide {id, action} — resolve manual decisions.
-      - vibe_math_list_agents / vibe_math_message_agent / vibe_math_interrupt_agent — inspect / steer / interrupt subagents.
-
-      A /vibe slash command mirrors these. When the user asks to solve or verify a math problem:
-      add the problem (or ask for it first), then vibe_math_start, then report vibe_math_status.
-      In manual mode, poll vibe_math_list_decisions and resolve each with vibe_math_decide.
-      Data lives under {{cwd}}/VibeMath/Projects/<project>/ and survives restarts via vibe_math_resume.
+# The dsh-vibe-math merged bundle patch. Installing this bundle (dsh plugin add
+# dsh-vibe-math / dsh-market) runs ONE plugin row: the preset installer, which
+# copies both agent presets (vibe-math-v1 + vibe-math-v2) into the DSH preset
+# root. The presets themselves register the vibe_math_* tools — nothing is
+# injected into the profile composition directly.
 
 - insert:
-    - id: vibe-math
-      name: dsh-vibe-math
+    - id: vibe-math-preset-installer
+      name: dsh-vibe-math/installer

package/installer.js

@@ -0,0 +1,51 @@
+// dsh-vibe-math merged bundle installer.
+// When this bundle is installed (e.g. `dsh plugin add dsh-vibe-math` or from the
+// dsh-market), this plugin copies BOTH agent presets out of the package into the
+// DSH preset root, so the user immediately gets two presets in the picker:
+//   vibe-math-v1/  (classic pipeline architecture)
+//   vibe-math-v2/  (new probability-driven architecture)
+// Copy is per-file and only installs MISSING files (idempotent; never clobbers
+// a preset the user already edited — delete the dir to force a reinstall).
+import { existsSync, mkdirSync, readFileSync, writeFileSync } from 'node:fs'
+import { homedir } from 'node:os'
+import { dirname, join } from 'node:path'
+import { fileURLToPath } from 'node:url'
+
+export const name = 'vibe-math-preset-installer'
+
+export function apply(ctx) {
+  const logger = ctx && ctx.logger
+  try {
+    const dshHome = process.env.DSH_HOME || join(homedir(), '.dsh')
+    const here = dirname(fileURLToPath(import.meta.url))
+    const targets = [
+      {
+        src: join(here, 'vibe-math-v1'),
+        dst: join(dshHome, '.agent-presets', 'vibe-math-v1'),
+        files: ['agent.cordis.yml', 'preset.yml', 'vibe-math.js', '实现方案-多代理数学问题求解与验证框架.md'],
+      },
+      {
+        src: join(here, 'vibe-math-v2'),
+        dst: join(dshHome, '.agent-presets', 'vibe-math-v2'),
+        files: ['agent.cordis.yml', 'preset.yml', 'vibe-math-v2.js', '实现方案.md'],
+      },
+    ]
+    let installed = 0
+    for (const t of targets) {
+      if (!existsSync(t.src)) continue
+      mkdirSync(t.dst, { recursive: true })
+      for (const f of t.files) {
+        const s = join(t.src, f)
+        const d = join(t.dst, f)
+        if (!existsSync(s) || existsSync(d)) continue
+        writeFileSync(d, readFileSync(s))
+        installed += 1
+      }
+    }
+    if (installed > 0) {
+      logger?.info?.('[dsh-vibe-math] installed ' + installed + ' preset file(s) — presets vibe-math-v1 & vibe-math-v2 are now available in the preset picker (new session)')
+    }
+  } catch (err) {
+    logger?.warn?.('[dsh-vibe-math] preset install failed: %s', String((err && err.message) || err))
+  }
+}

package/package.json

@@ -1,18 +1,25 @@
 {
   "name": "dsh-vibe-math",
-  "description": "Multi-agent mathematical problem-solving & verification framework for DeepSeek Harness: breadth-first brainstorm, iterative solving, multi-verifier cross-validation with debate, and a Verified knowledge base — with checkpoint resume and mid-run human intervention. Installs as a bundle AND auto-installs its agent preset.",
-  "version": "0.2.0",
+  "description": "Multi-agent mathematical problem-solving & verification frameworks for DeepSeek Harness — TWO agent presets in one install: vibe-math-v1 (classic pipeline: brainstorm → solver iteration → multi-verifier debate → Verified) and vibe-math-v2 (new probability-driven architecture: qs.json + Propos knowledge base + explorer→solver→review/debate verdict). Installing this bundle auto-installs both presets into the DSH preset root.",
+  "version": "0.3.0",
   "type": "module",
-  "main": "vibe-math.js",
+  "main": "installer.js",
   "exports": {
-    ".": "./vibe-math.js",
+    ".": "./installer.js",
+    "./installer": "./installer.js",
     "./cordis.patch.yml": "./cordis.patch.yml"
   },
   "files": [
-    "vibe-math.js",
+    "installer.js",
     "cordis.patch.yml",
-    "agent.cordis.yml",
-    "preset.yml"
+    "vibe-math-v1/agent.cordis.yml",
+    "vibe-math-v1/preset.yml",
+    "vibe-math-v1/vibe-math.js",
+    "vibe-math-v1/实现方案-多代理数学问题求解与验证框架.md",
+    "vibe-math-v2/agent.cordis.yml",
+    "vibe-math-v2/preset.yml",
+    "vibe-math-v2/vibe-math-v2.js",
+    "vibe-math-v2/实现方案.md"
   ],
   "license": "MIT",
   "keywords": [

package/{vibe-math.js → vibe-math-v1/vibe-math.js}

@@ -17,12 +17,12 @@ import { dirname, join } from 'node:path'
 import { fileURLToPath } from 'node:url'
 
 // Ensure the agent-preset form is installed under the DSH preset root, so a
-// market/bundle install also surfaces "Vibe Math" in the agent-preset picker.
+// market/bundle install also surfaces "Vibe Math V1" in the agent-preset picker.
 // No-op when the preset already exists or when running inside the preset itself.
 function ensurePresetInstalled(logger) {
   try {
     const dshHome = process.env.DSH_HOME || join(homedir(), '.dsh')
-    const presetDir = join(dshHome, '.agent-presets', 'vibe-math')
+    const presetDir = join(dshHome, '.agent-presets', 'vibe-math-v1')
     const here = dirname(fileURLToPath(import.meta.url))
     const files = ['agent.cordis.yml', 'preset.yml', 'vibe-math.js']
     if (files.every((f) => existsSync(join(presetDir, f)))) return false