dsh-vibe-math 2.4.0 → 2.4.1

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.
package/README.en.md CHANGED
@@ -9,10 +9,10 @@ English | [中文](README.md)
9
9
  > A set of **agent presets** running inside **DeepSeek Harness** (`vibe-math-v2` / `vibe-math-v3` / `vibe-math-v4` / `vibe-math-v5`),
10
10
  > which use multi-agent collaboration to automatically solve mathematical problems and perform multi-agent cross-verification of the conclusions. All four presets share the foundational capabilities of "**checkpoint resume**,
11
11
  > **mid-run manual intervention**, **progress reporting**, and **natural-language driving**", but adopt four generations of different solving architectures:
12
- > **💡 `vibe-math-v2` and `vibe-math-v3` are recommended at the same level** — both are mature, usable, actively maintained recommended architectures; choose according to your actual needs (see "How to choose" below); `vibe-math-v4` is the "resident self-organizing collaborative research" architecture, and `vibe-math-v5` is the latest "institute system" (both are experimental).
12
+ > **💡 All four architectures are peers** — `vibe-math-v2` and `vibe-math-v3` are the **classic** architectures (mature, usable, actively maintained); `vibe-math-v4` is the "resident self-organizing collaborative research" architecture and `vibe-math-v5` is the latest "institute system" (both labelled experimental); choose according to your actual needs (see "How to choose" below).
13
13
  >
14
- > - **`vibe-math-v2` (probability-driven · JSON data layer) ✅ Recommended**: `qs.json` problem list + `Propos/` proposition library + probability-driven scheduling + code heuristic scheduling;
15
- > - **`vibe-math-v3` (third generation · paper-style md + planner agent + method library) ✅ Recommended**: all knowledge is stored and extended in **Markdown paper/research-report form** (`Problems/` problem list + dependencies + source motivation, `Progress/` research log, `Propos/` proposition library, `Methods/` general theory invention library, `Verified/` absolutely trustworthy); before scheduling, the **planner agent** autonomously draws up a plan for the next N steps; theories/frameworks/tools/methods/ideas invented during solving are distilled by the **Method Keeper** into a reusable method system (as in inventing group theory or functional analysis).
14
+ > - **`vibe-math-v2` (probability-driven · JSON data layer) · classic**: `qs.json` problem list + `Propos/` proposition library + probability-driven scheduling + code heuristic scheduling;
15
+ > - **`vibe-math-v3` (third generation · paper-style md + planner agent + method library) · classic**: all knowledge is stored and extended in **Markdown paper/research-report form** (`Problems/` problem list + dependencies + source motivation, `Progress/` research log, `Propos/` proposition library, `Methods/` general theory invention library, `Verified/` absolutely trustworthy); before scheduling, the **planner agent** autonomously draws up a plan for the next N steps; theories/frameworks/tools/methods/ideas invented during solving are distilled by the **Method Keeper** into a reusable method system (as in inventing group theory or functional analysis).
16
16
  > - **`vibe-math-v4` (fourth generation · resident self-organizing collaborative research) 🧪 Experimental**: a group of **persistent resident subagents** **leave messages for one another + hold meetings**, and autonomously decide all task arrangements (no central scheduler); each accumulates its own progress/proposition/method/subproblem libraries and consults the others; verification is written to `Verified/` **only when all residents agree (true or false)**, otherwise it remains in the library with a probability attached; when the context reaches a threshold it automatically `/compact`s; it stops only when all agree that the original problem has been solved.
17
17
  > - **`vibe-math-v5` (fifth generation · institute system) 🧪 Experimental · Latest**: upgrades the residents into an **institute** — **academicians** (leaders / the organizing and coordinating center, responsible for decomposition and **assignment**, setting priorities, chairing meetings, and supervising progress) + **resident researchers** (with voting rights, able to autonomously hire/fire their own temp workers) + **temp workers** (no voting rights); it has a **public charter**, **group chat and meetings**, a **compare-and-set task board**, and **real firing**; a boolean agreement of **≥ m votes** is required to write to `Verified/` (opposing votes block, abstentions are not counted, and if the threshold is not met it remains in the library with an average probability attached); state is written to the **hardened JSON file** `State/<institute>.v5state.json` under the institute directory (serial writes, a mandatory load before read) — **never into the host session log** — at zero token cost.
18
18
 
@@ -31,13 +31,13 @@ After installing this plugin package (or manually copying the presets), **four**
31
31
  > (zero-dependency Node → **SVG**, `node docs/generate_framework_diagram_v4.mjs`; add `--lang=en` for `示例图/框架图-v4-en.svg`).
32
32
  > SVG is used from v4 onward: plain text, diff-friendly, crisp at any zoom; when PNG is needed, screenshot with a headless browser (the command is at the top of the generation script).
33
33
 
34
- ### Vibe Math V2 (probability-driven · JSON data layer) ✅ Recommended
34
+ ### Vibe Math V2 (probability-driven · JSON data layer) · classic
35
35
 
36
36
  ![Vibe Math V2 architecture diagram](示例图/框架图-v2-en.svg)
37
37
 
38
38
  **One-sentence pipeline**: `qs.json` takes problems by priority → Explorer splits out directions (if all are dead ends, re-derive) → one Solver per direction iterates over multiple rounds (lemmas go into `Propos/`, solutions go back to `qs.json`, all probabilities <1) → the scheduler picks r (proposition / proposition+proof·disproof / problem+solution) and dispatches ≥3 verifiers for independent review → debate → ruling → at probability=1 it automatically closes out (problem solved, proposition 1/0, priority set to `never`); state is written to disk throughout, `resume` continues from the checkpoint, and `reportMode` can report by file/push/both.
39
39
 
40
- ### Vibe Math V3 (paper-style md + planner agent + methods library) ✅ Recommended
40
+ ### Vibe Math V3 (paper-style md + planner agent + methods library) · classic
41
41
 
42
42
  ![Vibe Math V3 architecture diagram](示例图/框架图-v3-en.svg)
43
43
 
@@ -349,7 +349,7 @@ dsh plugin --profile <your profile> add dsh-vibe-math
349
349
  dsh plugin --profile <your profile> add github:ChongCyrus/Vibe-Mathematics
350
350
  ```
351
351
 
352
- Then start a new session and pick **Vibe Math V3** (v3, **primary recommendation**), **Vibe Math V2** (v2, **primary recommendation**), **Vibe Math V4** (v4, resident self-organization) or **Vibe Math V5** (v5, institute system) in the preset picker — v2 and v3 are equally primary recommendations, choose according to your actual needs (see "How to choose").
352
+ Then start a new session and pick **Vibe Math V2** (v2, classic), **Vibe Math V3** (v3, classic), **Vibe Math V4** (v4, resident self-organization) or **Vibe Math V5** (v5, institute system) in the preset picker — the four architectures are peers, choose according to your actual needs (see "How to choose").
353
353
  **The two DSH generations land in different places, and this package adapts to both**:
354
354
 
355
355
  - **DSH ≥ 0.1.7 (current)**: agent presets are declared as composition rows. This package declares all four presets in `cordis.patch.yml` (each row hands that preset's full plugin list to the host's `agentPresets` service), and **writes nothing into `~/.dsh/.agent-presets/`** — that directory has not been read since 0.1.7.
@@ -384,7 +384,7 @@ Then start a new session and select **"Vibe Math V2"** / **"Vibe Math V3"** / **
384
384
 
385
385
  ## 🧭 How to choose among the four presets
386
386
 
387
- > **💡 `vibe-math-v2` and `vibe-math-v3` are equally primary recommendations; choose according to your actual needs:**
387
+ > **💡 All four architectures are peers; choose according to your actual needs:**
388
388
  >
389
389
  > - **Choose `vibe-math-v2` (probability-driven · JSON data layer)** if you:
390
390
  > - prefer **structured JSON data** (`qs.json` / `Propos/<category>_Propos.json` / `Verified/` cards), convenient for programmatic retrieval and further processing;
@@ -405,11 +405,11 @@ Then start a new session and select **"Vibe Math V2"** / **"Vibe Math V3"** / **
405
405
  > - an **adjustable consistency threshold** — `m = min(quorumCap, number of voting members)` boolean-consistent votes settle the matter (easier to converge than "unanimity", while **opposing votes still block**, so a minority will not be drowned out by abstentions);
406
406
  > - **zero-token-cost state persistence** — the institute state is written to a hardened JSON file under the institute directory and does not consume member context budget.
407
407
  >
408
- > **⚠️ `vibe-math-v2` and `vibe-math-v3` are mature primary architectures; `vibe-math-v4` and `vibe-math-v5` are experimental architectures,** all are selectable; the old `vibe-math-v1` has been removed (this package contains only v2/v3/v4/v5).
408
+ > **⚠️ `vibe-math-v2` and `vibe-math-v3` are the classic architectures; `vibe-math-v4` and `vibe-math-v5` are experimental architectures,** all four are peers and all are selectable; the old `vibe-math-v1` has been removed (this package contains only v2/v3/v4/v5).
409
409
 
410
- | | **v2 (probability-driven · primary)** | **v3 (paper-style md · primary)** | **v4 (resident self-organization · experimental)** | **v5 (institute system · experimental)** |
410
+ | | **v2 (probability-driven · classic)** | **v3 (paper-style md · classic)** | **v4 (resident self-organization · experimental)** | **v5 (institute system · experimental)** |
411
411
  |---|---|---|---|---|
412
- | Positioning | **Primary** (JSON data layer) | **Primary** (third generation) | **Experimental** (fourth generation) | **Experimental** (fifth generation) |
412
+ | Positioning | **Classic** (JSON data layer) | **Classic** (third generation) | **Experimental** (fourth generation) | **Experimental** (fifth generation) |
413
413
  | Core idea | Probability-driven: `qs.json` problems + `Propos/` proposition library, scheduled by "correctness probability / value" | **Paper-style md knowledge base + planner agent scheduling + general theory invention library** | **Persistent resident subagents self-organizing**: message each other + meetings decide all tasks, no central scheduling | **Institute**: the academician organizes and assigns, members research on their own; a conclusion requires **≥ m boolean-consistent votes**; temp workers can be hired as needed |
414
414
  | Data | `qs/qs.json` + `Propos/<category>_Propos.json` + `Reliable/` | `Problems/` + `Progress/` + `Propos/` + `Methods/` (all md, soft-spec anchors + free narration) + `Verified/` | `Problems/` + `Progress|Propos|Methods|Subproblems/<id>/` **owned by resident id** + `Shared/` (meetings/task board/debate) + `Verified/` | Same member-owned layout as v4, plus `Institutes.md` (roster mirror); **the authoritative state is `State/<institute>.v5state.json`**, and the other files are only mirrors and workspaces |
415
415
  | Roles | explorer → per-direction solver → verifier | **planner (planner agent)** → explorer → per-direction solver → verifier → **method-keeper (method organization agent)** | **N resident researchers** (continuable), no fixed roles | **academician acad** (leader) + **resident researcher r-n** (with voting rights) + **temp worker t-n** (no voting rights, hireable and dismissible) + institute office (does not research and does not vote) |
@@ -420,12 +420,12 @@ Then start a new session and select **"Vibe Math V2"** / **"Vibe Math V3"** / **
420
420
  | Ad hoc capabilities | Automatic promotion of proposition "value/criticality" to the problem list; `reportMode file/push/both`; `priorityAdjust` | **Method library accumulation loop** (`methods_used`/`new_inventions` → Method Keeper); **plan approval gate/method promotion gate**; **project lock**; follow-up problem "source and motivation" as a first-class citizen | **Residents accumulate individually + read each other**; **unanimous verification**; **add/close residents at any time, intervene by message**; **checkpoint resume** | All v4 capabilities, plus: **real hiring/dismissal** (releases sub-sessions, reclaims tasks); **compare-and-set task board + dependency DAG**; **strict mutual exclusion between meetings and verification**; **roster mirror and conclusion records**; **zero-token-cost state** |
421
421
 
422
422
  All four support: checkpoint resume (`vibe_math_resume` / `vibe_v4_resume` / `vibe_v5_resume`), manual intervention and pause/resume,
423
- per-project isolation, subagent permission control, and natural-language driving. **v2 and v3 are both equally primary recommendations** — choose v2 if you prefer structured JSON data and deterministic scheduling,
423
+ per-project isolation, subagent permission control, and natural-language driving. **All four architectures are peers** — choose v2 if you prefer structured JSON data and deterministic scheduling,
424
424
  choose v3 if you prefer paper-style md, the planner agent and the theory invention library; v4 is fully self-organizing resident collaborative research, and v5 is an institute system with "a leader + a roster that can grow or shrink + an adjustable threshold".
425
425
 
426
426
  ---
427
427
 
428
- ## 🧠 Architecture and Division of Labor (v3 · third generation) ✅ recommended
428
+ ## 🧠 Architecture and Division of Labor (v3 · third generation) · classic
429
429
 
430
430
  The framework = **one main agent (assistant) + one code scheduler + one planner agent + six kinds of subagents**.
431
431
 
@@ -460,7 +460,7 @@ For the complete v5 architecture (including member lifecycle, one-round timeline
460
460
 
461
461
  ## 📁 Directory Structure
462
462
 
463
- ### v2 (probability-driven · recommended)
463
+ ### v2 (probability-driven · classic)
464
464
 
465
465
  ```
466
466
  <session workspace>/VibeMath/
@@ -477,7 +477,7 @@ For the complete v5 architecture (including member lifecycle, one-round timeline
477
477
  └─ VibeMath_State/ # scheduler-private persistent state (for checkpoint resume)
478
478
  ```
479
479
 
480
- ### v3 (paper-style md + planner agent + method library) ✅ recommended
480
+ ### v3 (paper-style md + planner agent + method library) · classic
481
481
 
482
482
  ```
483
483
  <session workspace>/VibeMath/
@@ -694,7 +694,7 @@ The main agent `vibe_math_status`: in `qs/qs.json`, `q1` has been written back w
694
694
 
695
695
  ## ⚙️ Parameter quick reference
696
696
 
697
- ### v2 (probability-driven · main recommendation) defaults
697
+ ### v2 (probability-driven · classic) defaults
698
698
 
699
699
  | Parameter | Default | Description |
700
700
  |---|---|---|
package/README.md CHANGED
@@ -9,10 +9,10 @@
9
9
  > 运行在 **DeepSeek Harness** 内的一组 **agent preset**(`vibe-math-v2` / `vibe-math-v3` / `vibe-math-v4` / `vibe-math-v5`),
10
10
  > 用多代理协作自动求解数学问题并对结论做多代理交叉验证。四个预设共享「**断点续跑**、
11
11
  > **中途人工干预**、**进度汇报**、**自然语言驱动**」底座能力,但采用四代不同的求解架构:
12
- > **💡 `vibe-math-v2` 与 `vibe-math-v3` 同级主推**——两者都是成熟可用、正在维护的主推架构,根据你的实际需求自行选择(详见下方「怎么选」);`vibe-math-v4` 是「常驻自组织合作研究」架构,`vibe-math-v5` 是最新的「研究所体系」(两者均为实验性)。
12
+ > **💡 四个架构同级**——`vibe-math-v2` 与 `vibe-math-v3` 是**经典**架构(成熟可用、持续维护),`vibe-math-v4` 是「常驻自组织合作研究」架构、`vibe-math-v5` 是最新的「研究所体系」(两者均标注为实验性);根据你的实际需求自行选择(详见下方「怎么选」)。
13
13
  >
14
- > - **`vibe-math-v2`(概率驱动 · JSON 数据层)✅ 主推**:`qs.json` 问题清单 + `Propos/` 命题库 + 概率驱动调度 + 代码启发式调度;
15
- > - **`vibe-math-v3`(第三代 · 论文式 md + 规划代理 + 方法库)✅ 主推**:全部知识以 **Markdown 论文/研究报告式** 存储与续写(`Problems/` 问题清单+依赖+来源动机、`Progress/` 研究日志、`Propos/` 命题库、`Methods/` 通用理论发明库、`Verified/` 绝对可信);调度前由**规划代理**自主制定接下来 N 步计划;解决过程中发明的理论/框架/工具/方法/思想由 **Method Keeper** 沉淀为可复用方法体系(如发明群论、泛函分析那样)。
14
+ > - **`vibe-math-v2`(概率驱动 · JSON 数据层)· 经典**:`qs.json` 问题清单 + `Propos/` 命题库 + 概率驱动调度 + 代码启发式调度;
15
+ > - **`vibe-math-v3`(第三代 · 论文式 md + 规划代理 + 方法库)· 经典**:全部知识以 **Markdown 论文/研究报告式** 存储与续写(`Problems/` 问题清单+依赖+来源动机、`Progress/` 研究日志、`Propos/` 命题库、`Methods/` 通用理论发明库、`Verified/` 绝对可信);调度前由**规划代理**自主制定接下来 N 步计划;解决过程中发明的理论/框架/工具/方法/思想由 **Method Keeper** 沉淀为可复用方法体系(如发明群论、泛函分析那样)。
16
16
  > - **`vibe-math-v4`(第四代 · 常驻自组织合作研究)🧪 实验性**:一组**持久化常驻子代理**互相**留言 + 开会**,自主决定一切任务安排(无中央调度);各自沉淀进度/命题/方法/子问题库并互相查阅;验证**仅当全体常驻一致(真 或 假)**才写入 `Verified/`,否则留库附概率;上下文达阈值自动 `/compact`;仅当全体一致认为原问题已解决才停止。
17
17
  > - **`vibe-math-v5`(第五代 · 研究所体系)🧪 实验性 · 最新**:把常驻升级为一座**研究所**——**院士**(领头人 / 组织与协调中心,负责拆解与**分派**、定优先级、主持会议、督导进度)+ **常驻研究员**(有表决权,可自主雇佣/解雇自己的临时工)+ **临时工**(无表决权);有**公共规章**、**群聊与会议**、**compare-and-set 任务板**、**真实解雇**;**≥ m 票布尔一致**才写入 `Verified/`(反向票阻塞、弃权不计票、未达门槛留库附平均概率);状态存于研究所目录下的**加固 JSON** `State/<研究所>.v5state.json`(串行写、读前必 load),**不写入宿主会话日志**,零 token 成本。
18
18
 
@@ -30,13 +30,13 @@
30
30
  > (零依赖 Node → **SVG**,`node docs/generate_framework_diagram_v4.mjs`,加 `--lang=en` 生成英文版 `示例图/框架图-v4-en.svg`)。
31
31
  > v4 起改用 SVG:纯文本、diff 友好、任意缩放不糊;需要 PNG 时用无头浏览器截图(命令见生成脚本头部)。
32
32
 
33
- ### Vibe Math V2(概率驱动 · JSON 数据层)✅ 主推
33
+ ### Vibe Math V2(概率驱动 · JSON 数据层)· 经典
34
34
 
35
35
  ![Vibe Math V2 架构图](示例图/框架图-v2.png)
36
36
 
37
37
  **一句话流水线**:`qs.json` 按优先级取问题 → Explorer 拆方向(全死路则重派生)→ 每方向一个 Solver 多轮迭代(引理进 `Propos/`、解法回 `qs.json`,概率均 <1)→ 调度器选 r(命题 / 命题+证明·证伪 / 问题+解法)派 ≥3 验证器独立审查→辩论→裁决 → 概率=1 自动收口(问题 solved、命题 1/0,优先级置 `never`);全程状态落盘,`resume` 断点续跑,`reportMode` 可 file/push/both 汇报。
38
38
 
39
- ### Vibe Math V3(论文式 md + 规划代理 + 方法库)✅ 主推
39
+ ### Vibe Math V3(论文式 md + 规划代理 + 方法库)· 经典
40
40
 
41
41
  ![Vibe Math V3 架构图](示例图/框架图-v3.png)
42
42
 
@@ -349,7 +349,7 @@ dsh plugin --profile <你的 profile> add dsh-vibe-math
349
349
  dsh plugin --profile <你的 profile> add github:ChongCyrus/Vibe-Mathematics
350
350
  ```
351
351
 
352
- 之后新建会话,预设选择器里选择 **Vibe Math V3**(v3,**主推**)、**Vibe Math V2**(v2,**主推**)、**Vibe Math V4**(v4,常驻自组织)或 **Vibe Math V5**(v5,研究所体系)即可——v2 与 v3 同级主推,按实际需求自选(见「怎么选」)。
352
+ 之后新建会话,预设选择器里选择 **Vibe Math V2**(v2,经典)、**Vibe Math V3**(v3,经典)、**Vibe Math V4**(v4,常驻自组织)或 **Vibe Math V5**(v5,研究所体系)即可——四个架构同级,按实际需求自选(见「怎么选」)。
353
353
  **两个 DSH 世代的落点不同,本包自动适配**:
354
354
 
355
355
  - **DSH ≥ 0.1.7(当前)**:agent preset 由组合行声明。本包在 `cordis.patch.yml` 里声明四个 preset(每行把该 preset 的完整插件清单交给宿主的 `agentPresets` 服务注册),**不往 `~/.dsh/.agent-presets/` 写任何东西**——该目录自 0.1.7 起不再被读取。
@@ -378,13 +378,13 @@ dsh plugin --profile <你的 profile> add github:ChongCyrus/Vibe-Mathematics
378
378
  - **DSH STORE 兼容声明**:`package.json` 的 `dsh.compatibility.dshReleases` 对每个完整 DSH 版本逐项声明 `compatible` / `incompatible` / `unknown`(当前声明 `0.1.2-alpha.4` … `0.2.0-rc.2` 共 11 个版本为 `compatible`,实测目标为 `0.2.0-rc.2`);`engines.dsh` 为 `>=0.1.2-alpha.4 <0.1.3-0 || >=0.1.3-alpha.2 <0.1.5-0 || >=0.1.5-alpha.1 <0.1.6-0 || >=0.1.6-alpha.1 <0.1.7-0 || >=0.1.7-alpha.1 <0.2.0-0 || >=0.2.0-alpha.1 <0.3.0-0`;`engines.node` 为 `^22.19.0 || >=24.0.0`。
379
379
  另外声明了 `peerDependencies`(`@deepseek-ai/dsh-base`,并标为 optional):DSH ≥ 0.1.7 会用**宿主自己的版本**去比对插件声明的 peer 范围,不满足时**跳过整个 bundle 并给出明确提示**,而不是挂上一个跑不通的预设。
380
380
  - **运行时自检(版本 + 形态 + 能力)**:安装器(bundle 插件)每次启动时:**① 按优先级探测 DSH 版本**——`DSH_VERSION` 环境变量 → `pluginManager` 服务的 bundle 列表(`@deepseek-ai/dsh-base` 的版本即宿主版本,0.1.7+)→ `@deepseek-ai/dsh-app-boot` 导出的 `getDshRuntimeVersion()`(0.2.0+ 的公开 API)→ `@deepseek-ai/dsh/package.json`(全局 0.1.x 安装),日志会写明**来源**;探测到且未被 `dshReleases` 声明为 `compatible` 时给出明确提示。**② 判断 preset 形态**:从 loader 入口树里是否挂了 `@deepseek-ai/dsh-agent-preset`(或其 registry)判断本宿主是"组合行"还是"目录",据此决定是否同步 `~/.dsh/.agent-presets/`——新宿主上会跳过并在日志里说明旧目录可安全删除。**③ 能力自检**(真正的挂载门槛):`subagents`/`agents`/`tools`/`commands`/`fs` 为**必需**(缺失即 warning),`subprocess`/`sandboxPolicy`/`compaction` 为**可选**(缺失只提示"功能会静默降级"),另含 `fs.resolve` 返回形状检测与 subagent `agentOptions`/`toolFilter` capability 检测。preset 挂载失败时先看 DSH 日志里的自检 warning。
381
- - **升级路径**:DSH 升级后无需重装本包;升级本包用 `dsh plugin --profile <你的 profile> add dsh-vibe-math@latest`(`dsh plugin` 的 `--profile` 是必填项;用 `add` 而不是 `update`,因为 profile 里可能把版本钉成精确值,那时 `update` 不会跨过去),重启 DSH 后安装器会把四个 preset 的受管文件整体更新到新版本(改过的文件同样被替换,原文先进 `<presetRoot>/.vibe-math-backup/`;见上文「安装」说明)。
381
+ - **升级路径**:DSH 升级后无需重装本包;升级本包用 `dsh plugin --profile <你的 profile> add dsh-vibe-math@latest`(`dsh plugin` 的 `--profile` 是必填项;用 `add` 而不是 `update`,因为 profile 里可能把版本钉成精确值,那时 `update` 不会跨过去),重启 DSH 后(DSH ≤ 0.1.6 的目录形式下)安装器会把四个 preset 的受管文件整体更新到新版本(改过的文件同样被替换,原文先进 `<presetRoot>/.vibe-math-backup/`;DSH ≥ 0.1.7 的 preset 来自组合行,安装器不写任何文件)——见上文「安装」说明。
382
382
 
383
383
  ---
384
384
 
385
385
  ## 🧭 四个预设怎么选
386
386
 
387
- > **💡 `vibe-math-v2` 与 `vibe-math-v3` 同级主推,按你的实际需求自行选择:**
387
+ > **💡 四个架构同级,按你的实际需求自行选择:**
388
388
  >
389
389
  > - **选 `vibe-math-v2`(概率驱动 · JSON 数据层)**,如果你:
390
390
  > - 偏好**结构化 JSON 数据**(`qs.json` / `Propos/<分类>_Propos.json` / `Verified/` 卡),方便程序化检索与二次加工;
@@ -405,11 +405,11 @@ dsh plugin --profile <你的 profile> add github:ChongCyrus/Vibe-Mathematics
405
405
  > - **可调的一致性门槛**——`m = min(quorumCap, 有表决权人数)` 票布尔一致即定论(比"全体一致"更容易收敛,同时**反向票仍然阻塞**,少数派不会被弃权淹没);
406
406
  > - **零 token 成本的状态持久化**——研究所状态写在研究所目录下的加固 JSON 里,不占成员上下文预算。
407
407
  >
408
- > **⚠️ `vibe-math-v2` 与 `vibe-math-v3` 是成熟主推架构;`vibe-math-v4`、`vibe-math-v5` 是实验性架构,** 均可选择;老 `vibe-math-v1` 已被移除(本包仅含 v2/v3/v4/v5)。
408
+ > **⚠️ `vibe-math-v2` 与 `vibe-math-v3` 是经典架构;`vibe-math-v4`、`vibe-math-v5` 是实验性架构,** 四者同级、均可选择;老 `vibe-math-v1` 已被移除(本包仅含 v2/v3/v4/v5)。
409
409
 
410
- | | **v2(概率驱动 · 主推)** | **v3(论文式 md · 主推)** | **v4(常驻自组织 · 实验)** | **v5(研究所体系 · 实验)** |
410
+ | | **v2(概率驱动 · 经典)** | **v3(论文式 md · 经典)** | **v4(常驻自组织 · 实验)** | **v5(研究所体系 · 实验)** |
411
411
  |---|---|---|---|---|
412
- | 定位 | **主推**(JSON 数据层) | **主推**(第三代) | **实验性**(第四代) | **实验性**(第五代) |
412
+ | 定位 | **经典**(JSON 数据层) | **经典**(第三代) | **实验性**(第四代) | **实验性**(第五代) |
413
413
  | 核心思想 | 概率驱动:`qs.json` 问题 + `Propos/` 命题库,按「正确概率 / 价值」调度 | **论文式 md 知识库 + 规划代理调度 + 通用理论发明库** | **持久化常驻子代理自组织**:互相留言 + 开会决定一切任务,无中央调度 | **研究所**:院士做组织与分派,成员各自研究;**≥ m 票布尔一致**才定论;临时工可按需雇入 |
414
414
  | 数据 | `qs/qs.json` + `Propos/<分类>_Propos.json` + `Reliable/` | `Problems/` + `Progress/` + `Propos/` + `Methods/`(全部 md,软规范锚点 + 自由叙述)+ `Verified/` | `Problems/` + **按常驻 id 归属**的 `Progress|Propos|Methods|Subproblems/<id>/` + `Shared/`(会议/任务板/辩论)+ `Verified/` | 同 v4 的按成员归属布局,另加 `Institutes.md`(编制镜像);**权威状态在 `State/<研究所>.v5state.json`**,其余文件只是镜像与工作区 |
415
415
  | 角色 | explorer → 逐方向 solver → verifier | **planner(规划代理)** → explorer → 逐方向 solver → verifier → **method-keeper(方法整理代理)** | **N 个常驻研究者**(continuable),无固定角色 | **院士 acad**(领头人)+ **常驻研究员 r-n**(有表决权)+ **临时工 t-n**(无表决权,可雇可解雇)+ 所办(不研究不投票) |
@@ -420,12 +420,12 @@ dsh plugin --profile <你的 profile> add github:ChongCyrus/Vibe-Mathematics
420
420
  | 特设能力 | 命题「价值/关键性」自动晋升问题清单;`reportMode file/push/both`;`priorityAdjust` | **方法库沉淀循环**(`methods_used`/`new_inventions` → Method Keeper);**计划审批门/方法晋升门**;**项目锁**;后生问题「来源与动机」一等公民 | **常驻各自沉淀 + 互相阅读**;**全体一致验证**;**随时增开/关闭常驻、留言干预**;**断点续跑** | v4 的全部能力,另加:**真实雇佣/解雇**(释放子会话、收回任务);**compare-and-set 任务板 + 依赖 DAG**;**会议与验证严格互斥**;**编制镜像与结题记录**;**状态零 token 成本** |
421
421
 
422
422
  四者都支持:断点续跑(`vibe_math_resume` / `vibe_v4_resume` / `vibe_v5_resume`)、人工干预与暂停恢复、
423
- 按项目隔离、子代理权限调控、自然语言驱动。**v2 与 v3 均为同级主推**——偏好结构化 JSON 数据与确定性调度选 v2,
423
+ 按项目隔离、子代理权限调控、自然语言驱动。**四个架构同级**——偏好结构化 JSON 数据与确定性调度选 v2,
424
424
  偏好论文式 md、规划代理与理论发明库选 v3;v4 是完全自组织的常驻合作研究,v5 是"有领头人 + 可增减编制 + 可调门槛"的研究所体系。
425
425
 
426
426
  ---
427
427
 
428
- ## 🧠 架构与分工(v3 · 第三代)✅ 主推
428
+ ## 🧠 架构与分工(v3 · 第三代)· 经典
429
429
 
430
430
  框架 = **一个主代理(助手)+ 一个代码调度器 + 一个规划代理 + 六类子代理**。
431
431
 
@@ -461,7 +461,7 @@ v5 的完整架构(含成员生命周期、一轮时序、共识状态机、
461
461
 
462
462
  ## 📁 目录结构
463
463
 
464
- ### v2(概率驱动 · 主推)
464
+ ### v2(概率驱动 · 经典)
465
465
 
466
466
  ```
467
467
  <会话工作区>/VibeMath/
@@ -478,7 +478,7 @@ v5 的完整架构(含成员生命周期、一轮时序、共识状态机、
478
478
  └─ VibeMath_State/ # 调度器私有持久状态(断点恢复用)
479
479
  ```
480
480
 
481
- ### v3(论文式 md + 规划代理 + 方法库)✅ 主推
481
+ ### v3(论文式 md + 规划代理 + 方法库)· 经典
482
482
 
483
483
  ```
484
484
  <会话工作区>/VibeMath/
@@ -695,7 +695,7 @@ v5 的完整架构(含成员生命周期、一轮时序、共识状态机、
695
695
 
696
696
  ## ⚙️ 参数速查表
697
697
 
698
- ### v2(概率驱动 · 主推)默认值
698
+ ### v2(概率驱动 · 经典)默认值
699
699
 
700
700
  | 参数 | 默认 | 说明 |
701
701
  |---|---|---|
package/SECURITY.md ADDED
@@ -0,0 +1,56 @@
1
+ # Security Policy
2
+
3
+ ## Supported versions
4
+
5
+ Security fixes are released for the latest published line. The previous line receives security fixes
6
+ only for the DSH host versions it was built against.
7
+
8
+ | Version | Supported | Notes |
9
+ |---|---|---|
10
+ | 2.4.x (latest) | ✅ | Current line — DSH 0.1.2-alpha.4 … 0.2.0-rc.2 |
11
+ | 2.3.x | ⚠️ security fixes only | Superseded by 2.4.x, which also covers DSH ≤ 0.1.6; **cannot run on DSH 0.2.x** |
12
+ | ≤ 2.2.x | ❌ | Please upgrade |
13
+
14
+ ## Reporting a vulnerability
15
+
16
+ Please **do not** open a public issue for a security problem. Use GitHub's private vulnerability
17
+ reporting on this repository (Security → Report a vulnerability), or contact the maintainer through
18
+ the profile linked from <https://github.com/ChongCyrus/Vibe-Mathematics>.
19
+
20
+ Please include: the affected version and DSH host version, a minimal reproduction, the impact you
21
+ believe it has, and whether you are willing to be credited.
22
+
23
+ We aim to acknowledge a report within 7 days and to ship a fix or a documented mitigation within 30
24
+ days for anything rated high or critical. If the report turns out to concern the DSH host itself
25
+ rather than this package, we will say so and point you at the right project.
26
+
27
+ ## What this package does (and what it does not)
28
+
29
+ Knowing the design makes reports much easier to triage:
30
+
31
+ - **What it is.** `dsh-vibe-math` is a DeepSeek Harness plugin bundle. It ships four agent presets
32
+ (v2/v3/v4/v5) and an installer. It runs **inside** the DSH host process with whatever permissions
33
+ the user granted that host — it does not add privileges of its own.
34
+ - **No dynamic code execution.** The package contains no `eval` and no `new Function`. Its behaviour
35
+ is fixed at install time; nothing in a session can inject code into it.
36
+ - **Filesystem.** The presets read and write only inside the session workspace (the project directory
37
+ that DSH hands to the session) — `VibeMath/…` — through the host's `fs` service, so the host's
38
+ sandbox policy applies there. The **installer** additionally syncs preset files for hosts it does
39
+ not detect as using composition rows (the DSH ≤ 0.1.6 directory line) into the legacy
40
+ `<DSH_HOME>/.agent-presets/` directory (default `~/.dsh/.agent-presets/`), including its
41
+ `.vibe-math-installed.json` state file and `.vibe-math-backup/` copies of replaced files. That sync
42
+ uses Node's own `fs` **inside the host process**, not the host `fs` service, so only the host's
43
+ OS-level sandbox applies to it.
44
+ - **No network, no credentials, no telemetry.** The package itself makes no outbound requests and
45
+ reads no secrets or tokens. Model traffic, if any, is the host's own LLM service.
46
+ - **Subprocesses.** The Lean toolchain and shell helpers are invoked only when a preset tool is
47
+ actually called, through the host's `subprocess` service under the host's sandbox policy.
48
+ - **Prompts are data.** The preset prompts, corpora and documentation are inert text shipped with
49
+ the package; the repository's own suites verify that model-facing text matches the implementation.
50
+
51
+ ## Verifying what you install
52
+
53
+ - Published tarballs: `npm view dsh-vibe-math dist.shasum dist.integrity`
54
+ - The release gate the maintainer runs before publishing lives outside this repository (it re-runs every
55
+ guard, the packaging checks, and the plugin-catalog compliance scan); the artifact hashes above are
56
+ the verifiable output of a release.
package/cordis.patch.yml CHANGED
@@ -37,12 +37,12 @@
37
37
  config:
38
38
  id: vibe-math-v2
39
39
  name: "Vibe Math V2"
40
- description: "多代理数学问题求解与验证框架(新架构):概率驱动调度 —— qs.json 问题清单 + Propos/ 命题库 + Reliable/ 参考文献,explorer 拆方向 → 逐方向 Solver 迭代 → 多验证器独立审查→辩论→裁决;断点续跑、人工/自动干预、file/push 双模式进度汇报。"
40
+ description: "多代理数学问题求解与验证框架(经典):概率驱动调度 —— qs.json 问题清单 + Propos/ 命题库 + Reliable/ 参考文献,explorer 拆方向 → 逐方向 Solver 迭代 → 多验证器独立审查→辩论→裁决;断点续跑、人工/自动干预、file/push 双模式进度汇报。"
41
41
  order: 20
42
42
  plugins:
43
43
  # The `vibe-math-v2` agent preset: the full coding agent (`standard`), plus the
44
- # NEW-architecture multi-agent mathematical problem-solving & verification
45
- # framework (see 新架构-vibe-math-实现方案.md).
44
+ # classic-architecture multi-agent mathematical problem-solving & verification
45
+ # framework (see vibe-math-v2/实现方案.md).
46
46
  #
47
47
  # The vibe-math-v2 plugin row consumes the HOST subagents/agents/fs/tools/commands
48
48
  # services and publishes nothing, so it needs no isolate realm.
@@ -58,7 +58,7 @@
58
58
  ## Vibe Math V2 toolkit
59
59
 
60
60
  This session includes the "Vibe Math V2" multi-agent mathematical problem-solving and
61
- verification framework (NEW architecture). It is driven by a background scheduler (code),
61
+ verification framework (classic architecture). It is driven by a background scheduler (code),
62
62
  NOT by the model: you only issue the control tools below and read status; the scheduler
63
63
  programmatically runs explorer (direction setting) → per-direction solvers (agent_self_iteration)
64
64
  → multi-reviewer independent review → debate → verdict, and promotes/updates data itself.
@@ -270,7 +270,7 @@
270
270
 
271
271
  # ── Vibe Math V2 ────────────────────────────────────────────────────────────
272
272
 
273
- # The NEW-architecture framework: this package's plugin (dsh-vibe-math/vibe-math-v2/vibe-math-v2.js)
273
+ # The classic-architecture framework: this package's plugin (dsh-vibe-math/vibe-math-v2/vibe-math-v2.js)
274
274
  # that registers the vibe_math_* tools, a /vibe slash command, and a background
275
275
  # scheduler (explorer → per-direction solvers → multi-reviewer verification).
276
276
  # It consumes the HOST subagents/agents/fs/tools/commands services and provides