dsh-vibe-math 1.0.2 → 1.2.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (7) hide show
  1. package/README.md +156 -52
  2. package/installer.js +26 -9
  3. package/package.json +9 -5
  4. package/vibe-math-v3/agent.cordis.yml +226 -0
  5. package/vibe-math-v3/preset.yml +2 -0
  6. package/vibe-math-v3/vibe-math-v3.js +2480 -0
  7. package/vibe-math-v3//345/256/236/347/216/260/346/226/271/346/241/210.md +540 -0
package/README.md CHANGED
@@ -1,24 +1,25 @@
1
- # Vibe Mathematics — 多代理数学问题求解与验证框架（双架构）
1
+ # Vibe Mathematics — 多代理数学问题求解与验证框架（三架构）
2
2
 
3
3
  [![npm](https://img.shields.io/npm/v/dsh-vibe-math)](https://www.npmjs.com/package/dsh-vibe-math)
4
4
  [![License: MIT](https://img.shields.io/badge/License-MIT-blue.svg)](https://opensource.org/licenses/MIT)
5
5
  [![GitHub stars](https://img.shields.io/github/stars/ChongCyrus/Vibe-Mathematics)](https://github.com/ChongCyrus/Vibe-Mathematics)
6
6
 
7
- > 运行在 **DeepSeek Harness** 内的一组 **agent preset**（`vibe-math-v1` / `vibe-math-v2`），
8
- > 用多代理协作自动求解数学问题并对结论做多代理交叉验证。两个预设共享「**断点续跑**、
9
- > **中途人工干预**、**进度汇报**、**自然语言驱动**」三大底座能力，但采用两套不同的求解架构：
10
- > **💡 推荐使用 `vibe-math-v2`**（v1 的架构级重构，更完善更优雅；v1 作为早期架构保留兼容，可能在将来版本中被遗弃、不再维护）。
7
+ > 运行在 **DeepSeek Harness** 内的一组 **agent preset**（`vibe-math-v1` / `vibe-math-v2` / `vibe-math-v3`），
8
+ > 用多代理协作自动求解数学问题并对结论做多代理交叉验证。三个预设共享「**断点续跑**、
9
+ > **中途人工干预**、**进度汇报**、**自然语言驱动**」底座能力，但采用三代不同的求解架构：
10
+ > **💡 `vibe-math-v2` 与 `vibe-math-v3` 同级主推**——两者都是成熟可用、正在维护的主推架构，根据你的实际需求自行选择（详见下方「怎么选」）。
11
11
  >
12
- > - **`vibe-math-v1`（经典流水线）**：「广度探索 → 深度迭代 → 交叉验证 → 知识沉淀」闭环；
13
- > - **`vibe-math-v2`（新架构 · 概率驱动）**：`qs.json` 问题清单 + `Propos/` 命题库 + 概率驱动调度。
12
+ > - **`vibe-math-v1`（经典流水线）⚠️ 将弃用**：「广度探索 → 深度迭代 → 交叉验证 → 知识沉淀」闭环；
13
+ > - **`vibe-math-v2`（概率驱动 · JSON 数据层）✅ 主推**：`qs.json` 问题清单 + `Propos/` 命题库 + 概率驱动调度 + 代码启发式调度；
14
+ > - **`vibe-math-v3`（第三代 · 论文式 md + 规划代理 + 方法库）✅ 主推**：全部知识以 **Markdown 论文/研究报告式** 存储与续写（`Problems/` 问题清单+依赖+来源动机、`Progress/` 研究日志、`Propos/` 命题库、`Methods/` 通用理论发明库、`Verified/` 绝对可信）；调度前由**规划代理**自主制定接下来 N 步计划；解决过程中发明的理论/框架/工具/方法/思想由 **Method Keeper** 沉淀为可复用方法体系（如发明群论、泛函分析那样）。
14
15
 
15
- 安装本插件包（或手动复制预设）后，DSH 的预设选择器里会出现**两个** agent preset。
16
+ 安装本插件包（或手动复制预设）后，DSH 的预设选择器里会出现**三个** agent preset。
16
17
 
17
18
  ---
18
19
 
19
- ## 🧩 架构图（v1 + v2）
20
+ ## 🧩 架构图（v1 + v2 + v3）
20
21
 
21
- > 静态架构图；完整流程说明见 [docs/架构图.md](docs/架构图.md)；可编辑生成脚本：[v1](docs/generate_framework_diagram.py) / [v2](docs/generate_framework_diagram_v2.py)。
22
+ > 静态架构图；完整流程说明见 [docs/架构图.md](docs/架构图.md)；可编辑生成脚本：[v1](docs/generate_framework_diagram.py) / [v2](docs/generate_framework_diagram_v2.py) / [v3](docs/generate_framework_diagram_v3.py)。
22
23
 
23
24
  ### Vibe Math V1（经典流水线）⚠️ 早期架构 · 将弃用 · 不建议新项目使用
24
25
 
@@ -26,24 +27,35 @@
26
27
 
27
28
  **一句话流水线**：`qs.csv` → Brainstorm 拆方向 → 每方向一个 Solver 多轮迭代（卡死则 Derive 派生新方向）→ 输出拆成最小验证单元 → ≥3 个 Verifier 独立审查 → 辩论 → 裁决 → 通过晋升 `Verified/` → Decider 回写 `qs.csv`；全程状态落盘 `VibeMath_State/`，`resume` 断点续跑，`manual` 模式在派发/裁决/晋升处挂起人工决策。
28
29
 
29
- ### Vibe Math V2（新架构 · 概率驱动）✅ 推荐 · 当前主推架构
30
+ ### Vibe Math V2（概率驱动 · JSON 数据层）✅ 主推
30
31
 
31
32
  ![Vibe Math V2 架构图](示例图/框架图-v2.png)
32
33
 
33
34
  **一句话流水线**：`qs.json` 按优先级取问题 → Explorer 拆方向（全死路则重派生）→ 每方向一个 Solver 多轮迭代（引理进 `Propos/`、解法回 `qs.json`，概率均 <1）→ 调度器选 r（命题 / 命题+证明·证伪 / 问题+解法）派 ≥3 验证器独立审查→辩论→裁决 → 概率=1 自动收口（问题 solved、命题 1/0，优先级置 `never`）；全程状态落盘，`resume` 断点续跑，`reportMode` 可 file/push/both 汇报。
34
35
 
36
+ ### Vibe Math V3（论文式 md + 规划代理 + 方法库）✅ 主推
37
+
38
+ ![Vibe Math V3 架构图](示例图/框架图-v3.png)
39
+
40
+ **一句话流水线**：全部知识以 **Markdown 论文/研究报告式**存储与续写（`Problems/` 问题清单含依赖/后生问题来源动机、`Progress/` 研究日志按方向按轮续写、`Propos/` 命题库、`Methods/` 通用理论发明库、`Verified/` 绝对可信）→ 调度前调度器构造状态简报并调用**规划代理**，规划代理一次性安排接下来 N 步（spawn solver/verifier/explorer/method-keeper、interrupt、promote、wait），代码校验后执行（超出并发的动作排队跨 tick 消费；规划失败自动回退 v2 式启发式）→ 验证器独立审查→辩论→**近共识裁决**（同侧且均值 ≥0.85/≤0.15 取均值，修复 v2 flat 误判）→ 概率=1 收口并生成 `Verified/` 卡 → 求解器的 `methods_used`/`new_inventions` 上报由 **Method Keeper** 沉淀/完善方法库（可组成体系层级、跨项目复用）。
41
+
42
+ **一句话流水线**：全部知识以 **Markdown 论文/研究报告式**存储与续写（`Problems/` 问题清单含依赖/后生问题来源动机、`Progress/` 研究日志按方向按轮续写、`Propos/` 命题库、`Methods/` 通用理论发明库、`Verified/` 绝对可信）→ 调度前调度器构造状态简报并调用**规划代理**，规划代理一次性安排接下来 N 步（spawn solver/verifier/explorer/method-keeper、interrupt、promote、wait），代码校验后执行（超出并发的动作排队跨 tick 消费；规划失败自动回退 v2 式启发式）→ 验证器独立审查→辩论→**近共识裁决**（同侧且均值 ≥0.85/≤0.15 取均值，修复 v2 flat 误判）→ 概率=1 收口并生成 `Verified/` 卡 → 求解器的 `methods_used`/`new_inventions` 上报由 **Method Keeper** 沉淀/完善方法库（可组成体系层级、跨项目复用）。
43
+
35
44
  ---
36
45
 
37
46
  ## ✨ 功能特色
38
47
 
39
- - **多代理自动求解**：主代理把问题交给调度器，调度器派发 brainstorm / solver / verifier / decider（v1）或 explorer / solver / verifier（v2）等子代理协同求解，**你无需逐节点手操**。
40
- - **多代理交叉验证**：每个结论交给 ≥3 个「严苛审稿人」**独立审查 → 辩论（交流群）→ 裁决**。
41
- - **知识沉淀**：验证通过的结论晋升进 `Verified/` 可信知识库（v2 另有 `Propos/` 命题库），供后续方向复用。
42
- - **断点续跑**：调度状态、任务栈、代理注册表、决策队列、验证器历史准确率等全部落盘；重启后 `resume` 即可恢复（v2 用进程纪元区分"同进程暂停→恢复"与"跨进程重启"）。
43
- - **中途人工干预（并继续）**：`auto / manual` 模式随时切换；manual 在关键节点挂起决策等你 approve/reject/override；可对任意子代理发消息 / 中断。
48
+ - **多代理自动求解**：主代理把问题交给调度器，调度器派发 explorer / solver / verifier（v1/v2/v3）与 **planner（规划代理，v3）**、**method-keeper（方法整理代理，v3）** 等子代理协同求解，**你无需逐节点手操**。
49
+ - **多代理交叉验证**：每个结论交给 ≥3 个「严苛审稿人」**独立审查 → 辩论（交流群）→ 裁决**（v3 默认**近共识裁决**：同侧且均值 ≥0.85/≤0.15 取均值，避免"0.9 vs 1"被误判成 0.5）。
50
+ - **论文式 Markdown 知识库（v3）**：问题清单（含问题间依赖、后生问题产生原因与计划）、研究日志、命题、方法库全部以 md 论文/研究报告式书写与续写（方向重派生时旧方向的日志自动归档保留）；**只有 `Verified/` 与验证器判真/假的对象绝对可信**，其余 md（含方法库未验证断言）仅作经验参考。
51
+ - **通用理论发明库（v3）**：解决过程中发明的理论体系/框架/工具/方法/思想（含经验性总结）经 `methods_used`/`new_inventions` 上报，由 **Method Keeper** 沉淀为 `Methods/` 方法卡（可组成体系层级、跨项目复用），像"解决方程时发明群论"一样形成系统化方法理论体系。
52
+ - **规划代理调度（v3）**：调度前调用规划代理，根据实际情况（问题依赖/存活率/可验证对象/并发预算/上次计划结果）自主选择最优调度方案，**一次安排接下来 N 步**各代理任务；规划失败自动回退启发式。
53
+ - **知识沉淀**：验证通过的结论晋升进 `Verified/` 可信知识库（v2/v3 另有 `Propos/` 命题库），供后续方向复用。
54
+ - **断点续跑**：调度状态、任务栈、代理注册表、决策队列、验证器历史准确率等全部落盘；重启后 `resume` 即可恢复（v2/v3 用进程纪元区分"同进程暂停→恢复"与"跨进程重启"；v3 的 md 本身即叙事断点）。
55
+ - **中途人工干预（并继续）**：`auto / manual` 模式随时切换；manual 在关键节点挂起决策等你 approve/reject/override（v3 新增**计划审批门**与**方法晋升门**）；可对任意子代理发消息 / 中断。
44
56
  - **按项目隔离**：每个数学问题一个独立项目文件夹，互不干扰，可随时切换。
45
- - **多会话并行隔离**：DSH 的 agent preset 是 standing mount（同一 preset 的所有会话共享一个插件实例），插件内部按**根会话 id** 隔离全部运行状态——两个会话可以同时各跑一个项目（如 A 会话跑项目 A、B 会话跑项目 B），各自的子代理会正确挂在自己会话名下，调度器 / 参数 / 决策队列 / 当前项目互不干扰。当前项目按会话分别持久化（`VibeMath/current.<会话id>.json`）。
46
- - **子代理权限可调控**：可限制子代理允许/禁止的工具、每轮外部工具调用上限，并明确告知其可读 `Verified/`、`Propos/`、`Reliable/` 与进度日志。
57
+ - **多会话并行隔离**：DSH 的 agent preset 是 standing mount（同一 preset 的所有会话共享一个插件实例），插件内部按**根会话 id** 隔离全部运行状态——两个会话可以同时各跑一个项目，各自的子代理会正确挂在自己会话名下，调度器 / 参数 / 决策队列 / 当前项目互不干扰（v3 另有**项目锁**，同一项目同一时刻只被一个会话调度）。当前项目按会话分别持久化（`VibeMath/current.<会话id>.json`）。
58
+ - **子代理权限可调控**：可限制子代理允许/禁止的工具、每轮外部工具调用上限，并明确告知其可读 `Verified/`、`Propos/`、`Methods/`、`Reliable/` 与进度日志。
47
59
  - **可配置**：`vibe_math_setting.json`（含注释）自定义默认参数；`/vibe setup` 交互式问答配置。
48
60
  - **自然语言控制**：主代理充当「助手 + 汇报者」，你把需求说成人话，它自己调用工具、汇报进度、配置参数。
49
61
 
@@ -53,7 +65,7 @@
53
65
 
54
66
  两种安装方式，任选其一（也可并存）：
55
67
 
56
- ### 方式 A：作为插件包一键安装（推荐，同时装出两个预设）
68
+ ### 方式 A：作为插件包一键安装（推荐，同时装出三个预设）
57
69
 
58
70
  ```sh
59
71
  dsh plugin --profile <你的 profile> add dsh-vibe-math
@@ -61,9 +73,9 @@ dsh plugin --profile <你的 profile> add dsh-vibe-math
61
73
  dsh plugin --profile <你的 profile> add github:ChongCyrus/Vibe-Mathematics
62
74
  ```
63
75
 
64
- 安装时插件会自动把两个 preset 写入 `~/.dsh/.agent-presets/`：`vibe-math-v1/` 与 `vibe-math-v2/`。
65
- 之后新建会话，预设选择器里选择 **Vibe Math V2**（v2，**推荐**）或 **Vibe Math**（v1）即可——v2 是当前主推架构（v1 的架构级重构，更完善更优雅）；v1 作为早期架构保留兼容，**可能在将来版本中被遗弃、不再维护**，新项目请优先选 v2。
66
- **升级包版本后重启 DSH，未手动改过的 preset 文件会自动更新到新版本**（细节见文末「v2」安装器说明）。
76
+ 安装时插件会自动把三个 preset 写入 `~/.dsh/.agent-presets/`：`vibe-math-v1/`、`vibe-math-v2/` 与 `vibe-math-v3/`。
77
+ 之后新建会话，预设选择器里选择 **Vibe Math V3**（v3，**主推**）、**Vibe Math V2**（v2，**主推**）或 **Vibe Math**（v1）即可——v2 与 v3 同级主推，按实际需求自选（见「怎么选」）；v1 作为早期架构保留兼容，**可能在将来版本中被遗弃、不再维护**。
78
+ **升级包版本后重启 DSH，未手动改过的 preset 文件会自动更新到新版本**（细节见文末「v2/v3」安装器说明）。
67
79
 
68
80
  ### 方式 B：作为 agent preset 手动安装
69
81
 
@@ -72,39 +84,53 @@ dsh plugin --profile <你的 profile> add github:ChongCyrus/Vibe-Mathematics
72
84
  ```
73
85
  C:\Users\<你>\.dsh\.agent-presets\vibe-math-v1\ ← 复制 vibe-math-v1/ 下的 agent.cordis.yml / preset.yml / vibe-math.js
74
86
  C:\Users\<你>\.dsh\.agent-presets\vibe-math-v2\ ← 复制 vibe-math-v2/ 下的 agent.cordis.yml / preset.yml / vibe-math-v2.js
87
+ C:\Users\<你>\.dsh\.agent-presets\vibe-math-v3\ ← 复制 vibe-math-v3/ 下的 agent.cordis.yml / preset.yml / vibe-math-v3.js
75
88
  ```
76
89
 
77
- 2. 新建一个会话，在 preset 选择器里选 **「Vibe Math」** 或 **「Vibe Math V2」**。
90
+ 2. 新建一个会话，在 preset 选择器里选 **「Vibe Math」** / **「Vibe Math V2」** / **「Vibe Math V3」**。
78
91
  3. 会话启动后即可使用：工具列表里会出现 `vibe_math_*` 工具，输入框键入 `/vibe` 有自动补全。
79
92
 
80
93
  > 修改 preset 文件后需**重启 DSH 进程**再开新会话（preset 的 standing mount 会缓存到进程退出）。
81
94
 
82
95
  ### DSH 版本适配与依赖
83
96
 
84
- - **形态依赖**：两个 preset 依赖 DSH 的标准 **agent-preset 机制**（`~/.dsh/.agent-presets/<id>/` + preset picker）与 **bundle patch 机制**（`cordis.patch.yml` 注入安装器）。
97
+ - **形态依赖**：三个 preset 依赖 DSH 的标准 **agent-preset 机制**（`~/.dsh/.agent-presets/<id>/` + preset picker）与 **bundle patch 机制**（`cordis.patch.yml` 注入安装器）。
85
98
  - **宿主插件行**：`agent.cordis.yml` 引用宿主提供的 `@deepseek-ai/dsh-*` 插件行（persona、agent-instructions、tool-bash/pwsh、tool-fs/fs-search、tool-jobs、skill-filesystem、tool-skill、tool-goal、plan-mode、compaction、subagent/workflow、ask-user、todo、web 等，约 21 个唯一包名）。宿主缺行会导致 preset 挂载失败（会话启动时报错）。
86
- - **宿主服务 API**：预设插件消费 `subagents`（startContinuable / followup / interrupt）、`agents`（roots）、`tools`（register）、`commands`（register）、`fs`（resolve/stat/readText/writeText/listDir），可选 `subprocess` / `sandboxPolicy`。这些 API 形状随 DSH 版本演进；本项目**已充分测试并确认适配 `dsh-v0.1.0-rc.7`**（`package.json` 的 `dsh.minVersion` / `testedVersion` 均为 `0.1.0-rc.7`），低于该版本的 DSH 未验证，可能无法挂载。
87
- - **运行时自检**：安装器（bundle 插件）每次启动时对上述服务与关键 API 做**能力自检**（DSH 不暴露版本号，故按能力而非版本检测）；不满足时打 warning 并提示升级 DSH。preset 挂载失败时先看 DSH 日志里的自检 warning。
99
+ - **宿主服务 API**：预设插件消费 `subagents`（startContinuable / followup / interrupt）、`agents`（roots）、`tools`（register）、`commands`（register）、`fs`（resolve/stat/readText/writeText/listDir）、可选 `subprocess` / `sandboxPolicy`。这些 API 形状随 DSH 版本演进；本项目**已充分测试并确认适配 `dsh-v0.1.1-rc.2`**（`package.json` 的 `dsh.testedVersion`；`minVersion` 为 `0.1.0-rc.7`）。**注意：v3 需要 DSH 0.1.1 起的 fs API 形状**（`fs.resolve` 返回 `{targetKey, displayPath}` 对象；v1/v2 亦兼容 0.1.0-rc.7+）。
100
+ - **运行时自检**：安装器（bundle 插件）每次启动时对上述服务与关键 API 做**能力自检**（DSH 不暴露版本号，故按能力而非版本检测；含 `fs.resolve` 返回形状检测）；不满足时打 warning 并提示升级 DSH。preset 挂载失败时先看 DSH 日志里的自检 warning。
88
101
  - **升级路径**：DSH 升级后无需重装本包；升级本包用 `dsh plugin update dsh-vibe-math`，重启 DSH 后安装器会自动把 preset 更新到新版本（见上文「安装」说明）。
89
102
 
90
103
  ---
91
104
 
92
- ## 🧭 两个预设怎么选
105
+ ## 🧭 三个预设怎么选
93
106
 
94
- > **💡 强烈建议优先使用 `vibe-math-v2`（新架构）**。v2 是对 v1（经典流水线）的**架构级重构**：v1 的流水线设计存在一些固有缺陷（CSV 数据模型表达能力有限、验证单元拆分粒度不易控制、缺少命题知识库与概率驱动的调度依据等），而 v2 用「问题清单 + 命题知识库 + 概率驱动调度 + 独立评审→辩论→裁决」解决了这些问题，更完善、更优雅，且经多次实测与迭代（8 点需求、多会话隔离、断点续跑、人工干预均验证通过，适配 dsh-v0.1.0-rc.7）。
107
+ > **💡 `vibe-math-v2` 与 `vibe-math-v3` 同级主推，按你的实际需求自行选择：**
95
108
  >
96
- > **⚠️ `vibe-math-v1` 是 v2 的架构级前身，仅作参考/兼容保留，可能在将来的版本中被遗弃、不再维护。** 新项目、新问题请直接使用 v2。
109
+ > - **选 `vibe-math-v2`（概率驱动 · JSON 数据层）**，如果你：
110
+ > - 偏好**结构化 JSON 数据**（`qs.json` / `Propos/<分类>_Propos.json` / `Verified/` 卡），方便程序化检索与二次加工；
111
+ > - 想要**成熟稳定的代码启发式调度**（优先级 + 概率，行为可预期、不依赖规划代理的"临场发挥"）；
112
+ > - 不需要方法库沉淀 / 论文式叙述，数据以字段为主即可。
113
+ > - **选 `vibe-math-v3`（论文式 md + 规划代理 + 方法库）**，如果你：
114
+ > - 偏好**论文/研究报告式的自然语言知识库**（问题清单含依赖与后生问题来源动机、研究日志按方向按轮续写，人类可读、可自由续写）；
115
+ > - 希望调度由**规划代理**根据实际情况自主制定 N 步计划（更灵活，失败自动回退启发式）；
116
+ > - 希望**通用理论发明库**——求解中发明的理论/框架/工具/方法/思想经 Method Keeper 沉淀为可复用、可体系化、跨项目扩充的方法论（像"解决方程时发明群论"）；
117
+ > - 接受"只有 `Verified/` 绝对可信，其余 md 为经验参考"的可信分层。
118
+ >
119
+ > 两者都成熟可用、持续维护，且都支持断点续跑、人工/自动干预、进度汇报、多会话隔离、命题晋升、近共识/加权裁决等核心能力；切换成本低（同一套 `vibe_math_*` 工具与 `/vibe` 命令、同一套参数体系）。
120
+ >
121
+ > **⚠️ `vibe-math-v1` 是早期流水线架构，仅作参考/兼容保留，可能在将来的版本中被遗弃、不再维护。** 新项目请直接使用 v2 或 v3。
97
122
 
98
- | | **vibe-math-v1（经典 · 将弃用）** | **vibe-math-v2（新架构 · 推荐）** |
99
- |---|---|---|
100
- | 定位 | 早期流水线架构（v2 的前身，保留兼容） | **当前主推架构**，更完善、更优雅 |
101
- | 核心思想 | 流水线：拆方向 → 逐方向求解 → 拆最小单元 → 多验证器辩论 → 晋升 `Verified/` | 概率驱动：`qs.json` 问题 + `Propos/` 命题库，按「正确概率 / 价值」调度求解与验证 |
102
- | 数据 | `qs/qs.csv` + `Progress_Logs/` | `qs/qs.json` + `Propos/<分类>_Propos.json` + `Reliable/` |
103
- | 角色 | brainstorm / solver / derive / verifier / decider | explorer（拆方向）→ 逐方向 solver → verifier（独立审查→辩论→裁决） |
104
- | 收口规则 | 验证通过晋升 `Verified/`，decider 判定解决 | 解法/证明达概率 `1` 即收口（问题 solved、命题 1/0），`never` 永不调度 |
105
- | 特设能力 | 子问题分支（Aux_Hypothesis） | 命题「价值/关键性」自动晋升问题清单；`reportMode file/push/both`；`priorityAdjust` 三种优先级策略 |
123
+ | | **v1（经典 · 将弃用）** | **v2（概率驱动 · 主推）** | **v3（论文式 md · 主推）** |
124
+ |---|---|---|---|
125
+ | 定位 | 早期流水线架构（保留兼容） | **主推**（JSON 数据层） | **主推**（第三代） |
126
+ | 核心思想 | 流水线：拆方向 → 逐方向求解 → 拆最小单元 → 多验证器辩论 → 晋升 `Verified/` | 概率驱动：`qs.json` 问题 + `Propos/` 命题库，按「正确概率 / 价值」调度 | **论文式 md 知识库 + 规划代理调度 + 通用理论发明库** |
127
+ | 数据 | `qs/qs.csv` + `Progress_Logs/` | `qs/qs.json` + `Propos/<分类>_Propos.json` + `Reliable/` | `Problems/` + `Progress/` + `Propos/` + `Methods/`（全部 md，软规范锚点 + 自由叙述）+ `Verified/` |
128
+ | 角色 | brainstorm / solver / derive / verifier / decider | explorer → 逐方向 solver → verifier | **planner（规划代理）** → explorer → 逐方向 solver → verifier → **method-keeper（方法整理代理）** |
129
+ | 调度方式 | 代码流水线 | 代码启发式（优先级 + 概率） | **规划代理产出 N 步计划**（校验后执行，失败回退启发式） |
130
+ | 收口规则 | 验证通过晋升 `Verified/`，decider 判定解决 | 解法/证明达概率 `1` 即收口，`never` 永不调度 | 同 v2（近共识裁决修复 flat 误判） |
131
+ | 特设能力 | 子问题分支（Aux_Hypothesis） | 命题「价值/关键性」自动晋升问题清单；`reportMode file/push/both`；`priorityAdjust` | **方法库沉淀循环**（`methods_used`/`new_inventions` → Method Keeper）；**计划审批门/方法晋升门**；**项目锁**；后生问题「来源与动机」一等公民 |
106
132
 
107
- 两者都支持：断点续跑（`vibe_math_resume`）、人工/自动模式切换、`vibe_math_*` 工具集与 `/vibe` 命令、按项目隔离、子代理权限调控。**但建议新项目一律选 v2**。
133
+ 三者都支持：断点续跑（`vibe_math_resume`）、人工/自动模式切换、`vibe_math_*` 工具集与 `/vibe` 命令、按项目隔离、子代理权限调控。**v2 与 v3 均为同级主推**——偏好结构化 JSON 数据与确定性调度选 v2，偏好论文式 md、规划代理与理论发明库选 v3。
108
134
 
109
135
  ---
110
136
 
@@ -126,6 +152,24 @@ dsh plugin --profile <你的 profile> add github:ChongCyrus/Vibe-Mathematics
126
152
 
127
153
  ---
128
154
 
155
+ ## 🧠 架构与分工（v3 · 第三代）✅ 主推
156
+
157
+ 框架 = **一个主代理（助手）+ 一个代码调度器 + 一个规划代理 + 六类子代理**。
158
+
159
+ | 角色 | 类型 | 职责 |
160
+ |---|---|---|
161
+ | **主代理** | LLM（会话里的那个助手） | **自然语言接口 + 汇报者 + 助手**。它**自己不求解、不调度**，只负责：把你的话翻译成 `vibe_math_*` 工具调用、汇报进展、问答式配置参数、执行调控命令。 |
162
+ | **调度器** | 插件代码（非模型） | 唯一主控：维护 md 知识库索引、构造状态简报、**校验并执行规划代理的计划**、写文件、推进状态机。**硬约束（并发/幂等/已验证不再调度/写所有权）由代码强制**。 |
163
+ | **Planner（规划代理）** 🆕 | 子代理 | 每次准备派发时，读取状态简报（问题+依赖+存活率、可验证对象、活跃代理、并发预算、可用方法、上次计划结果），**自主选择最优调度方案，一次安排接下来 N 步**（spawn/continue/interrupt/promote/verify/method-keep/wait）。输出 JSON 计划，由调度器校验后执行；失败自动回退启发式。 |
164
+ | **Explorer 子代理** | 子代理 | 元认知头脑风暴：约束分解、边界测试、相似问题映射，把问题拆成多个「大相径庭」的求解方向（全死路则重派生）。开工前先查 `Methods/` 方法库。 |
165
+ | **Solver 子代理** | 子代理 | 每个方向一个专属求解器，**同一会话内多轮迭代**，产出引理（含证明）、子路线、存活概率、完整解法，并**上报 `methods_used` 与 `new_inventions`**（本轮回新发明的方法/工具/思想）。 |
166
+ | **Verifier 子代理** | 子代理 | 每个验证对象 ≥3 个独立「严苛审稿人」，独立审查 → 辩论（交流群）→ **近共识裁决**（同侧且均值 ≥0.85/≤0.15 取均值，否则 flat/forced）。 |
167
+ | **Method Keeper（方法整理代理）** 🆕 | 子代理 | 定期消化近期工作与新发明上报，**提炼新方法卡、合并碎片、完善体系结构（上级体系/子方法）、维护可信断言**，把求解中发明的理论/框架/工具/方法/思想沉淀进 `Methods/` 通用理论发明库。 |
168
+
169
+ > 一句话分工：**主代理负责“和人对话”，规划代理负责“定计划”，调度器负责“执行与守界”，子代理负责“动脑”，Method Keeper 负责“把发明沉淀成理论”。**
170
+
171
+ ---
172
+
129
173
 
130
174
  ## 📁 目录结构
131
175
 
@@ -147,7 +191,7 @@ dsh plugin --profile <你的 profile> add github:ChongCyrus/Vibe-Mathematics
147
191
  └─ VibeMath_State/ # 调度器私有持久状态（断点恢复用）
148
192
  ```
149
193
 
150
- ### v2（新架构）
194
+ ### v2（概率驱动 · 主推）
151
195
 
152
196
  ```
153
197
  <会话工作区>/VibeMath/
@@ -164,7 +208,33 @@ dsh plugin --profile <你的 profile> add github:ChongCyrus/Vibe-Mathematics
164
208
  └─ VibeMath_State/ # 调度器私有持久状态（断点恢复用）
165
209
  ```
166
210
 
167
- **铁律（两版通用）**：调度器是**唯一文件写者**（子代理只返回结构化 JSON，从不写文件）。
211
+ ### v3（论文式 md + 规划代理 + 方法库）✅ 主推
212
+
213
+ ```
214
+ <会话工作区>/VibeMath/
215
+ ├─ Methods/ # 【全局】跨项目通用理论发明库（v3，晋升自项目级）
216
+ ├─ current.<会话id>.json # 每会话当前项目（多会话并行互不覆盖）
217
+ ├─ vibe_math_setting.json # （可选，全局回退）默认参数 JSONC，含注释
218
+ └─ Projects/<项目>/
219
+ ├─ vibe_math_setting.json # 该项目默认参数
220
+ ├─ Problems/<id>.md # 问题清单：每问题一个 md（软规范锚点：ID/类型/状态/优先级/依赖/被依赖/来源/计划
221
+ │ # + ## 陈述 / ## 来源与动机（后生问题：产生流程/动机/回填计划）/ ## 解法候选）
222
+ ├─ Progress/<id>.md # 聚合研究日志索引（各方向摘要 + 引理索引 + 各轮记录）
223
+ ├─ Progress/<id>/<方向id>.md # 每方向一个独立文件（代理自组织直接写，方向间无并发冲突）
224
+ ├─ Propos/<分类>/<id>.md # 命题库：每命题一个 md（陈述/证明尝试/证伪尝试，软规范锚点 + 自由叙述）
225
+ ├─ Methods/<id>.md # 【通用理论发明库】方法卡：理论体系/框架/工具/方法/思想（含应用记录/改进历史/体系层级）
226
+ ├─ Verified/命题/<id>.md # 绝对可信：调度器生成的已验证命题卡（只读）
227
+ ├─ Verified/问题/<id>.md # 绝对可信：已解决问题的完整可信解法卡（只读）
228
+ ├─ Reliable/ # 可信参考文献（只读，用户放入）
229
+ ├─ Notes/ # 自由笔记（不参与调度）
230
+ ├─ Logs/Verification/ # 每轮验证的辩论记录（审计用）
231
+ ├─ Logs/Plans/ # 每次调度计划 + 执行结果（规划学习闭环）
232
+ ├─ Logs/报告.md # 论文式人读进度报告
233
+ └─ State/ # 调度器私有持久状态（agents/tasks/plans/verifier_accuracy/index/项目锁/进程纪元）
234
+ ```
235
+
236
+ **铁律（v1/v2 通用）**：调度器是**唯一文件写者**（子代理只返回结构化 JSON，从不写文件）。
237
+ **v3 铁律**：只有 `Verified/` 与验证器判真/假的对象**绝对可信**；其余 md（未定论命题、研究日志、方法库未验证断言）仅作经验参考；调度器只解析软规范锚点行与条目标题行，从不解析正文散文。**v3 支持代理直接写 md**（自组织定位各自归属文件，如求解器写 `Progress/<id>/<方向id>.md`、新引理写 `Propos/<分类>/<id>.md`、方法整理代理写 `Methods/<id>.md`）；并发安全靠**写锁**——写任何文件前调 `vibe_math_claim_write`、写完 `vibe_math_release_write`（同一文件同一时刻只允许一个代理写），内容留在 md，轻量元数据经 `vibe_math_sync_meta` 上报给调度器。
168
238
 
169
239
  ---
170
240
 
@@ -192,8 +262,8 @@ dsh plugin --profile <你的 profile> add github:ChongCyrus/Vibe-Mathematics
192
262
 
193
263
  | 工具 | 作用 |
194
264
  |---|---|
195
- | `vibe_math_add_problem` | 加题（id/description/priority） |
196
- | `vibe_math_add_proposition` / `vibe_math_list_propositions`（v2） | 添加 / 列出命题库（id/概述/布尔估计/细类型/价值·关键性） |
265
+ | `vibe_math_add_problem` | 加题（id/description/priority/dependencies?；v3 生成 `Problems/<id>.md`） |
266
+ | `vibe_math_add_proposition` / `vibe_math_list_propositions`（v2/v3） | 添加 / 列出命题库（id/概述/布尔估计/细类型/价值·关键性；v3 生成 `Propos/<分类>/<id>.md`） |
197
267
  | `vibe_math_start` / `vibe_math_resume` | 启动 / 断点恢复调度器 |
198
268
  | `vibe_math_pause` / `vibe_math_abort` | 暂停 / 终止（中断所有子代理） |
199
269
  | `vibe_math_status` / `vibe_math_report` | 查看状态 / 完整进度报告 |
@@ -203,10 +273,16 @@ dsh plugin --profile <你的 profile> add github:ChongCyrus/Vibe-Mathematics
203
273
  | `vibe_math_save_settings` | 把当前参数存成新默认 |
204
274
  | `vibe_math_template` | 生成默认参数模板文件 |
205
275
  | `vibe_math_new_project` / `vibe_math_set_project` / `vibe_math_list_projects` | 项目管理 |
206
- | `vibe_math_list_decisions` / `decide` | 查看 / 裁决人工决策 |
276
+ | `vibe_math_list_decisions` / `decide` | 查看 / 裁决人工决策（v3：`node=plan` 计划审批 / `node=method-promote` 方法晋升） |
207
277
  | `vibe_math_list_agents` / `vibe_math_message_agent` / `vibe_math_interrupt_agent` | 查看 / 发消息 / 中断子代理 |
278
+ | `vibe_math_plan`（v3） | 查看待执行计划 / 上次计划，或 `force:true` 强制触发一次规划 |
279
+ | `vibe_math_index`（v3） | 从 md 知识库重建机器索引（`State/index.json`） |
280
+ | `vibe_math_method_add` / `vibe_math_method_list`（v3） | 手动添加 / 列出方法卡（项目 + 全局） |
281
+ | `vibe_math_lock_status`（v3） | 查看项目锁占用 |
282
+ | `vibe_math_claim_write` / `vibe_math_release_write`（v3） | 申请 / 释放某个 md 文件的**写锁**（代理直接写文件前调用；同一文件同一时刻只允许一个代理写，防并发冲突） |
283
+ | `vibe_math_sync_meta`（v3） | 代理把内容写进 md 后上报**轻量元数据**（方向状态/存活率/引理 id/方法卡 id/新发明），让调度器同步索引——内容留在 md，不进 JSON |
208
284
 
209
- 斜杠命令（与工具等价）：`/vibe start|resume|pause|abort|status|report|mode <auto|manual>|setup|save|template [global|project]|add <id> <desc>|add-proposition <id> <概述>|list-propositions|project [list|new <name>|<name>]|decisions|agents`
285
+ 斜杠命令（与工具等价）：`/vibe start|resume|pause|abort|status|report|mode <auto|manual>|setup|save|template [global|project]|add <id> <desc>|add-proposition <id> <概述>|list-propositions|project [list|new <name>|<name>]|decisions|agents`（v3 另有 `methods|index|plan|lock`）
210
286
 
211
287
  ---
212
288
 
@@ -333,7 +409,7 @@ dsh plugin --profile <你的 profile> add github:ChongCyrus/Vibe-Mathematics
333
409
  | `tickIntervalMs` | 2000 | 调度器心跳间隔（毫秒） |
334
410
  | `activityLogCap` | 100 | 活动日志保留条数（report 最多显示 30 条） |
335
411
 
336
- ### v2（新架构）默认值
412
+ ### v2（概率驱动 · 主推）默认值
337
413
 
338
414
  | 参数 | 默认 | 说明 |
339
415
  |---|---|---|
@@ -361,20 +437,41 @@ dsh plugin --profile <你的 profile> add github:ChongCyrus/Vibe-Mathematics
361
437
  | `activityLogCap` | 100 | 活动日志保留条数（report 最多显示 30 条） |
362
438
  | `maxExplorerRetries` | 3 | explorer 拆方向失败的重派生上限 |
363
439
 
440
+ ### v3（论文式 md + 规划代理 + 方法库）默认值
441
+
442
+ 在 v2 全部参数之上新增/调整：
443
+
444
+ | 参数 | 默认 | 说明 |
445
+ |---|---|---|
446
+ | `verdictMode` | `forced` | v3 先做**近共识判定**（全部结果同侧且均值 ≥0.85/≤0.15 取均值），否则 `forced`=按历史准确率+严谨性加权 / `flat`=均衡（0.5）。修复了 v2 flat 把"0.9 vs 1"误判成 0.5 的问题 |
447
+ | `planningHorizon` | 3 | 规划代理一次计划的最多动作数（"接下来 n 次"） |
448
+ | `plannerEnabled` | true | false = 完全走内置启发式调度（规划代理禁用） |
449
+ | `plannerProvider` / `plannerModel` | 空 | 规划代理模型路由（空 = 继承根代理） |
450
+ | `plannerPersona` | 空 | 注入规划代理提示词开头的人格/要求 |
451
+ | `planMinIntervalMs` | 30000 | 两次规划调用的最小间隔（毫秒）；系统空闲且有工作时忽略 |
452
+ | `plannerMaxFails` | 3 | 规划代理连续失败达此值 → 自动降级启发式 |
453
+ | `methodKeepIntervalMs` | 0 | Method Keeper 定时整理间隔（0 = 事件驱动） |
454
+ | `methodKeepEvery` | 5 | 每积累 N 个待沉淀发明/新命题触发一次整理 |
455
+ | `methodAutoPromote` | false | 项目级方法自动晋升全局库（false = 人工门） |
456
+ | `indexAutoRebuild` | true | 每次写盘后自动重建 `State/index.json`（false = 手动 `vibe_math_index`） |
457
+ | `projectLockTimeoutMs` | 60000 | 项目锁等待超时（同项目同一时刻只允许一个会话调度） |
458
+ | `methodKeeperPersona` | 空 | 注入方法整理代理提示词开头的人格/要求 |
459
+
364
460
  ---
365
461
 
366
462
  ## 📝 断点续跑 & 人工干预（两大硬性需求）
367
463
 
368
- - **断点续跑**：所有状态落盘到 `VibeMath_State/*.json`，每个子代理都是 DSH 的 **continuable 持久会话**（对话由 DSH 自动保存）。重启后新开会话 → `vibe_math_resume` 即可续跑。v2 额外用**进程纪元**区分"同进程暂停→恢复"（保留存活子代理继续）与"跨进程重启"（清理陈旧任务）。
369
- - **中途人工干预**：`manual` 模式在关键节点（v1：brainstorm/solver 派发、验证裁决、晋升 Verified；v2：explorer/solver 派发、验证裁决）挂起决策；可随时 `set_mode auto` 切回自动；可对任意子代理 `message_agent` / `interrupt_agent`。
370
- - **进度汇报**：默认**事件驱动** —— 只有代理状态更新等事件发生时才会写 `Progress_Logs/report.json`（v2 的 `reportMode` 可 `file`/`push`/`both`，`push` 通过 `rootAgent.followup()` 唤醒主代理主动汇报）；只有把 `reportIntervalMs` 设为 >0 才启动定时自动汇报（间隔毫秒）。
464
+ - **断点续跑**：所有状态落盘（v1/v2：`VibeMath_State/*.json`；v3：`State/*.json`），每个子代理都是 DSH 的 **continuable 持久会话**（对话由 DSH 自动保存）。重启后新开会话 → `vibe_math_resume` 即可续跑。v2/v3 额外用**进程纪元**区分"同进程暂停→恢复"（保留存活子代理继续）与"跨进程重启"（清理陈旧任务）。**v3 的 md 知识库本身就是叙事断点**——代理 resume 时从研究日志/问题卡/命题卡尾部续写。
465
+ - **中途人工干预**：`manual` 模式在关键节点挂起决策（v1：brainstorm/solver 派发、验证裁决、晋升 Verified；v2：explorer/solver 派发、验证裁决；v3：**计划审批门**（规划代理产出计划后等你 approve/reject）、验证裁决门、**方法晋升门**（项目方法 → 全局库））；可随时 `set_mode auto` 切回自动（自动放行所有挂起决策）；可对任意子代理 `message_agent` / `interrupt_agent`。
466
+ - **进度汇报**：默认**事件驱动** —— 只有代理状态更新等事件发生时才会写报告（v1/v2：`Progress_Logs/report.json`；v3：`Progress_Logs/report.json` + `Logs/报告.md` 论文式人读摘要；`reportMode` 可 `file`/`push`/`both`，`push` 通过 `rootAgent.followup()` 唤醒主代理主动汇报）；只有把 `reportIntervalMs` 设为 >0 才启动定时自动汇报（间隔毫秒）。
371
467
 
372
468
  ---
373
469
 
374
470
  ## 📚 规格文档
375
471
 
376
472
  - **v1（经典）**：[`vibe-math-v1/实现方案-多代理数学问题求解与验证框架.md`](vibe-math-v1/实现方案-多代理数学问题求解与验证框架.md)
377
- - **v2（新架构）**：[`vibe-math-v2/实现方案.md`](vibe-math-v2/实现方案.md)
473
+ - **v2（概率驱动）**：[`vibe-math-v2/实现方案.md`](vibe-math-v2/实现方案.md)
474
+ - **v3（论文式 md + 规划代理 + 方法库）**：[`vibe-math-v3/实现方案.md`](vibe-math-v3/实现方案.md)
378
475
 
379
476
  ---
380
477
 
@@ -386,10 +483,17 @@ dsh plugin --profile <你的 profile> add github:ChongCyrus/Vibe-Mathematics
386
483
  - manual 模式在第一个未决关键节点暂停整条主循环。
387
484
 
388
485
  **v2**：
389
- - 安装器带**版本化自动更新**：每次 DSH 启动时对比包版本与 `<presetRoot>/.vibe-math-installed.json` 记录——版本升级会自动替换**未被手动修改**的 preset 文件（哈希一致才覆盖）；你改过的文件会被保留并在日志中提示。无记录的老安装首次会一次性刷新到当前版本。想强制全量重装：删除 `~/.dsh/.agent-presets/vibe-math-v1` 与 `vibe-math-v2` 目录后重启 DSH。
390
- - `flat` 裁决在辩论不一致时直接判 `0.5`；`forced` 按历史准确率+置信度加权。
486
+ - 安装器带**版本化自动更新**：每次 DSH 启动时对比包版本与 `<presetRoot>/.vibe-math-installed.json` 记录——版本升级会自动替换**未被手动修改**的 preset 文件（哈希一致才覆盖）；你改过的文件会被保留并在日志中提示。无记录的老安装首次会一次性刷新到当前版本。想强制全量重装：删除 `~/.dsh/.agent-presets/vibe-math-v1`、`vibe-math-v2` 与 `vibe-math-v3` 目录后重启 DSH。
487
+ - `flat` 裁决在辩论不一致时直接判 `0.5`（高置信分歧如 0.9 vs 1 也会被误判 0.5——**v3 已用近共识规则修复**）；`forced` 按历史准确率+置信度加权。
391
488
  - `never` 优先级的问题/命题**永不调度**，且不阻塞严格终止（视为主动弃权）。
392
- - 两个 preset 文件互相独立、可共存；同一会话同时只能选一个预设。
489
+ - 三个 preset 文件互相独立、可共存；同一会话同时只能选一个预设。
490
+
491
+ **v3**：
492
+ - **软规范而非零规范**：md 知识库只强制对象头部的 4~7 行锚点（`- ID/类型/状态/概率/优先级/依赖/...`）与条目标题行（`### 解法/证明/证伪 N｜标题｜概率X｜状态Y`），供调度器可靠索引；正文完全自由论文式叙述，调度器从不解析正文。手工编辑锚点可能导致索引漂移（调度器会保留上次有效索引并告警）。
493
+ - **规划代理是增强而非必需**：`plannerEnabled=false` 或规划代理连续失败（`plannerMaxFails`）时自动回退 v2 式启发式调度；`planMinIntervalMs` 冷却在有在途子代理时生效（系统空闲时有工作则立即规划）。
494
+ - **方法库可信分层**：方法卡的 `可信断言` 只允许链接已进 `Verified/` 的 ID；方法条目的其余内容（含未验证的策略/直觉/启发式）一律视为**经验参考**，不得当定理引用。
495
+ - **项目锁**：同一项目同一时刻只允许一个会话调度（第二个会话启动会提示"被会话 X 占用"）；锁在暂停/终止/全部解决时自动释放。
496
+ - **近共识裁决**：全部验证器结果同侧且均值 ≥0.85/≤0.15 时取均值（如 0.9 vs 1 → 0.95），否则 `forced` 加权 / `flat` 判 0.5——修复了 v2 中"数学上正确但形式有瑕疵"的结论被误判为不确定的问题。
393
497
 
394
498
  ---
395
499
 
package/installer.js CHANGED
@@ -1,9 +1,11 @@
1
1
  // dsh-vibe-math merged bundle installer — VERSIONED AUTO-UPDATE.
2
2
  // When this bundle is installed (e.g. `dsh plugin add dsh-vibe-math` or from the
3
- // dsh-market), this plugin copies BOTH agent presets out of the package into the
4
- // DSH preset root, so the user immediately gets two presets in the picker:
3
+ // dsh-market), this plugin copies ALL THREE agent presets out of the package into
4
+ // the DSH preset root, so the user immediately gets three presets in the picker:
5
5
  // vibe-math-v1/ (classic pipeline architecture)
6
- // vibe-math-v2/ (new probability-driven architecture)
6
+ // vibe-math-v2/ (probability-driven architecture)
7
+ // vibe-math-v3/ (THIRD-generation: paper-style Markdown knowledge base +
8
+ // planner-agent scheduling + universal theory/method library)
7
9
  //
8
10
  // UPDATE POLICY (state recorded in <presetRoot>/.vibe-math-installed.json):
9
11
  // - baseline (no state file — e.g. upgrading from an installer that predates
@@ -36,6 +38,11 @@ const PRESETS = [
36
38
  dst: 'vibe-math-v2',
37
39
  files: ['agent.cordis.yml', 'preset.yml', 'vibe-math-v2.js', '实现方案.md'],
38
40
  },
41
+ {
42
+ src: 'vibe-math-v3',
43
+ dst: 'vibe-math-v3',
44
+ files: ['agent.cordis.yml', 'preset.yml', 'vibe-math-v3.js', '实现方案.md'],
45
+ },
39
46
  ]
40
47
 
41
48
  const STATE_FILE = '.vibe-math-installed.json'
@@ -62,9 +69,9 @@ function writeState(path, state) {
62
69
  }
63
70
 
64
71
  // DSH 适配性自检（能力检测，而非版本号——DSH 不向插件暴露版本）。
65
- // 检查两个 preset 运行时需要的宿主服务与关键 API 形状是否可用，
72
+ // 检查三个 preset 运行时需要的宿主服务与关键 API 形状是否可用，
66
73
  // 缺失时打 warning 提示宿主版本可能过旧 / 缺少对应插件行。
67
- function checkHostCapabilities(ctx, logger) {
74
+ async function checkHostCapabilities(ctx, logger) {
68
75
  const problems = []
69
76
  const checks = [
70
77
  ['subagents', ['startContinuable', 'followup', 'interrupt']],
@@ -83,14 +90,24 @@ function checkHostCapabilities(ctx, logger) {
83
90
  if (typeof s[methods[j]] !== 'function') problems.push(svc + '.' + methods[j] + ' 不可用（宿主版本可能过旧）')
84
91
  }
85
92
  }
93
+ // fs API shape: DSH 0.1.1 起 resolve 返回 {targetKey, displayPath} 对象（旧版返回字符串路径）
94
+ try {
95
+ const f = (ctx && ctx.get) ? ctx.get('fs') : undefined
96
+ if (f && typeof f.resolve === 'function') {
97
+ const r = await f.resolve('x', { cwd: process.cwd() })
98
+ if (typeof r !== 'object' || r === null || typeof r.targetKey !== 'string') {
99
+ problems.push('fs.resolve 返回形状不符（期望 {targetKey, displayPath}，v3 预设要求 DSH ≥ 0.1.1）')
100
+ }
101
+ }
102
+ } catch (e) { problems.push('fs.resolve 能力检测失败：' + String((e && e.message) || e)) }
86
103
  if (problems.length > 0) {
87
- logger?.warn?.('[dsh-vibe-math] 宿主能力自检：' + problems.length + ' 项不满足（' + problems.join('；') + '）。两个 preset 依赖这些宿主服务/API，旧版 DSH 可能无法挂载，建议升级 DSH（本项目已充分测试并确认适配 dsh-v0.1.0-rc.7，见 package.json 的 dsh.minVersion）。')
104
+ logger?.warn?.('[dsh-vibe-math] 宿主能力自检：' + problems.length + ' 项不满足（' + problems.join('；') + '）。三个 preset 依赖这些宿主服务/API，旧版 DSH 可能无法挂载，建议升级 DSH（本项目已充分测试并确认适配 dsh-v0.1.1-rc.2，见 package.json 的 dsh.minVersion/testedVersion）。')
88
105
  } else {
89
- logger?.info?.('[dsh-vibe-math] 宿主能力自检通过：subagents / agents / tools / commands / fs 服务及关键 API 均可用（已确认适配 DSH 0.1.0-rc.7）。')
106
+ logger?.info?.('[dsh-vibe-math] 宿主能力自检通过：subagents / agents / tools / commands / fs 服务及关键 API 均可用（已确认适配 DSH 0.1.1-rc.2）。')
90
107
  }
91
108
  }
92
109
 
93
- export function apply(ctx) {
110
+ export async function apply(ctx) {
94
111
  const logger = ctx && ctx.logger
95
112
  try {
96
113
  const dshHome = process.env.DSH_HOME || join(homedir(), '.dsh')
@@ -172,7 +189,7 @@ export function apply(ctx) {
172
189
  } else if (installed > 0) {
173
190
  logger?.info?.('[dsh-vibe-math] restored ' + installed + ' missing preset file(s)')
174
191
  }
175
- checkHostCapabilities(ctx, logger)
192
+ await checkHostCapabilities(ctx, logger)
176
193
  } catch (err) {
177
194
  logger?.warn?.('[dsh-vibe-math] preset install/update failed: %s', String((err && err.message) || err))
178
195
  }
package/package.json CHANGED
@@ -1,7 +1,7 @@
1
1
  {
2
2
  "name": "dsh-vibe-math",
3
- "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.",
4
- "version": "1.0.2",
3
+ "description": "Multi-agent mathematical problem-solving & verification frameworks for DeepSeek Harness — THREE agent presets in one install: vibe-math-v1 (classic pipeline), vibe-math-v2 (probability-driven: qs.json + Propos knowledge base + explorer→solver→review/debate verdict), and vibe-math-v3 (THIRD-generation, recommended: paper-style Markdown knowledge base with Problems/Progress/Propos/Methods/Verified + planner-agent scheduling that decides the next N actions + universal theory/method invention library + agents write their own Markdown directly via a per-file write lock). Installing this bundle auto-installs all three presets into the DSH preset root.",
4
+ "version": "1.2.0",
5
5
  "type": "module",
6
6
  "main": "installer.js",
7
7
  "exports": {
@@ -20,7 +20,11 @@
20
20
  "vibe-math-v2/preset.yml",
21
21
  "vibe-math-v2/vibe-math-v2.js",
22
22
  "vibe-math-v2/实现方案.md",
23
- "vibe-math-v2/v2的额外要求.txt"
23
+ "vibe-math-v2/v2的额外要求.txt",
24
+ "vibe-math-v3/agent.cordis.yml",
25
+ "vibe-math-v3/preset.yml",
26
+ "vibe-math-v3/vibe-math-v3.js",
27
+ "vibe-math-v3/实现方案.md"
24
28
  ],
25
29
  "license": "MIT",
26
30
  "keywords": [
@@ -49,7 +53,7 @@
49
53
  "patch": "./cordis.patch.yml"
50
54
  },
51
55
  "minVersion": "0.1.0-rc.7",
52
- "testedVersion": "0.1.0-rc.7",
53
- "compatNote": "依赖宿主提供的 subagents/agents/tools/commands/fs 服务与 @deepseek-ai/dsh-* 插件行；本项目已充分测试并确认适配 dsh-v0.1.0-rc.7（低于 minVersion 的 DSH 未验证，可能无法挂载 preset；安装器启动时会做能力自检并告警）"
56
+ "testedVersion": "0.1.1-rc.2",
57
+ "compatNote": "依赖宿主提供的 subagents/agents/tools/commands/fs 服务与 @deepseek-ai/dsh-* 插件行。本项目已充分测试并确认适配 dsh-v0.1.1-rc.2（v1/v2 亦兼容 0.1.0-rc.7+；v3 需要 DSH 0.1.1 起的 fs API——fs.resolve 返回 {targetKey, displayPath} 对象，安装器启动时会做能力自检并在旧版宿主上告警）。"
54
58
  }
55
59
  }