dsh-vibe-math 2.7.3 → 2.8.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/LICENSE +21 -21
- package/README.en.md +682 -682
- package/README.md +683 -683
- package/docs/AUDIT-CHECKLIST.md +758 -744
- package/docs/COMPAT-AUDIT-ROUND2.md +351 -351
- package/docs/COMPAT-AUDIT-ROUND3.md +154 -154
- package/docs/audit-methodology.md +93 -0
- package/docs/final-paper.md +172 -172
- package/docs/formal-verification.md +613 -588
- package/docs/generate_framework_diagram_v2.py +114 -114
- package/docs/generate_framework_diagram_v3.py +127 -127
- package/docs/math-computation.md +195 -194
- package/docs/release-notes/README.en.md +2 -0
- package/docs/release-notes/README.md +2 -0
- package/docs/release-notes/RELEASE-NOTES-2.0.22.md +112 -112
- package/docs/release-notes/RELEASE-NOTES-2.1.0.md +143 -143
- package/docs/release-notes/RELEASE-NOTES-2.2.0.md +266 -266
- package/docs/release-notes/RELEASE-NOTES-2.2.1.md +43 -43
- package/docs/release-notes/RELEASE-NOTES-2.2.2.md +88 -88
- package/docs/release-notes/RELEASE-NOTES-2.3.0.md +207 -207
- package/docs/release-notes/RELEASE-NOTES-2.3.1.md +134 -134
- package/docs/release-notes/RELEASE-NOTES-2.3.10.md +105 -105
- package/docs/release-notes/RELEASE-NOTES-2.3.11.md +57 -57
- package/docs/release-notes/RELEASE-NOTES-2.3.12.md +80 -80
- package/docs/release-notes/RELEASE-NOTES-2.3.2.md +145 -145
- package/docs/release-notes/RELEASE-NOTES-2.3.3.md +115 -115
- package/docs/release-notes/RELEASE-NOTES-2.3.4.md +69 -69
- package/docs/release-notes/RELEASE-NOTES-2.3.5.md +63 -63
- package/docs/release-notes/RELEASE-NOTES-2.3.6.md +66 -66
- package/docs/release-notes/RELEASE-NOTES-2.3.7.md +59 -59
- package/docs/release-notes/RELEASE-NOTES-2.3.8.md +45 -45
- package/docs/release-notes/RELEASE-NOTES-2.3.9.md +70 -70
- package/docs/release-notes/RELEASE-NOTES-2.8.0.en.md +65 -0
- package/docs/release-notes/RELEASE-NOTES-2.8.0.md +65 -0
- package/docs/release-notes/RELEASE-NOTES-2.8.1.en.md +49 -0
- package/docs/release-notes/RELEASE-NOTES-2.8.1.md +49 -0
- package/docs/release-playbook.md +111 -0
- package/docs/slv-playbook.md +117 -0
- package/docs/test-timing.md +158 -157
- package/docs//346/236/266/346/236/204/345/233/276.md +77 -77
- package/installer.js +792 -792
- package/package.json +18 -3
- package/prompt-corpus-v2/formal-verify-v2.json +2 -2
- package/prompt-corpus-v2/formal-verify-v2.md +4 -0
- package/prompt-corpus-v3/formal-verify-v3.json +7 -7
- package/prompt-corpus-v3/formal-verify-v3.md +14 -0
- package/prompt-corpus-v5/prompt-corpus-v5.json +61 -61
- package/prompt-corpus-v5/prompt-corpus-v5.md +122 -0
- package/scripts/clean-temp.mjs +234 -0
- package/scripts/release-check.mjs +181 -0
- package/tests/audit-engine-faces.mjs +298 -0
- package/tests/audit-formal-sensitivity.mjs +345 -342
- package/tests/audit-installer-compat.test.mjs +256 -256
- package/tests/audit-math-computation-sensitivity.mjs +1 -1
- package/tests/audit-persona-sensitivity.mjs +323 -323
- package/tests/audit-persona-surface.test.mjs +431 -431
- package/tests/audit-prompt-duplication.mutants.mjs +3 -2
- package/tests/audit-prompt-invariants.mjs +589 -546
- package/tests/audit-registration.mjs +78 -78
- package/tests/audit-spec-traceability.mjs +193 -193
- package/tests/audit-status-report-fields.mjs +172 -172
- package/tests/audit-v5-integrity.mjs +795 -795
- package/tests/audit-v5-sensitivity.mjs +433 -432
- package/tests/e2e-v5-round2.test.mjs +2453 -2426
- package/tests/formal-verify-v2.test.mjs +1806 -1800
- package/tests/formal-verify-v3.test.mjs +1757 -1750
- package/tests/formal-verify-v4.test.mjs +2114 -2106
- package/tests/formal-verify-v5.test.mjs +774 -767
- package/tests/math-computation-discovery.mutants.mjs +3 -3
- package/tests/math-computation-shared.test.mjs +122 -5
- package/tests/math-computation-v2.test.mjs +14 -2
- package/tests/math-computation-v3.test.mjs +14 -2
- package/tests/math-computation-v4.test.mjs +739 -739
- package/tests/prompt-v5-integrity.test.mjs +1291 -1291
- package/tests/release-check.mutants.mjs +78 -0
- package/tests/run-tests.mjs +393 -332
- package/tests/selfdrive-v5.mjs +560 -560
- package/tests/temp-hygiene.mutants.mjs +80 -0
- package/tests/v2-fix-probes.mutants.mjs +4 -0
- package/tests/v2-fix-probes.test.mjs +1034 -1033
- package/tests/v2v3-interrupt.mutants.mjs +111 -0
- package/tests/v3-fix-probes.mutants.mjs +99 -95
- package/tests/v3-fix-probes.test.mjs +891 -890
- package/tests/v4-final-paper.mutants.mjs +116 -0
- package/tests/v4-final-paper.test.mjs +628 -0
- package/tests/v5-institute-fixes.mutants.mjs +218 -190
- package/vibe-math-v2/agent.cordis.yml +376 -376
- package/vibe-math-v2/math-computation.js +17 -15
- package/vibe-math-v2/preset.yml +2 -2
- package/vibe-math-v2/v2/347/232/204/351/242/235/345/244/226/350/246/201/346/261/202.txt +21 -21
- package/vibe-math-v2/vibe-math-v2.js +5078 -5011
- package/vibe-math-v2//345/256/236/347/216/260/346/226/271/346/241/210.md +486 -486
- package/vibe-math-v3/agent.cordis.yml +420 -420
- package/vibe-math-v3/math-computation.js +17 -15
- package/vibe-math-v3/preset.yml +2 -2
- package/vibe-math-v3/vibe-math-v3.js +6215 -6149
- package/vibe-math-v3//345/256/236/347/216/260/346/226/271/346/241/210.md +649 -649
- package/vibe-math-v4/agent.cordis.yml +438 -438
- package/vibe-math-v4/math-computation.js +17 -15
- package/vibe-math-v4/preset.yml +2 -2
- package/vibe-math-v4/vibe-math-v4.js +4520 -4422
- package/vibe-math-v4//345/256/236/347/216/260/346/226/271/346/241/210.md +1015 -1015
- package/vibe-math-v5/math-computation.js +17 -15
- package/vibe-math-v5/vibe-math-v5.js +93 -11
- package/vibe-math-v5//345/256/236/347/216/260/346/226/271/346/241/210.md +1728 -1728
- package/vibe-math-v5//346/236/266/346/236/204/345/233/276.md +693 -693
|
@@ -1,77 +1,77 @@
|
|
|
1
|
-
# Vibe Math 架构图(v1 历史版)
|
|
2
|
-
|
|
3
|
-
> ⚠️ **历史文档**:本文件记录最初 **v1** 版本的架构。图中 `qs.csv`、`Pending_Verification/`、`Under_Verification/`、`Temp_Validated/` 等名称在 **v2 起已不存在**(v2 起问题与解法存于 `qs/qs.json`,定论事实存于 `Verified/<分类>_Verified.json`)。**v2–v5 的实际架构**请以 `README.md` 对应章节、`vibe-math-v2/实现方案.md` 等各版本实现方案与 `示例图/框架图-v2.png`…`-v5.svg` 为准。
|
|
4
|
-
|
|
5
|
-
> 框架 = **一个主代理(助手)+ 一个代码调度器 + 五类子代理** + 一套按项目隔离的持久化数据布局。
|
|
6
|
-
> 下方的 Mermaid 代码块在 GitHub 上会**原生渲染**成流程图;本文件即图源,改完重新提交即可自动更新。
|
|
7
|
-
|
|
8
|
-
```mermaid
|
|
9
|
-
flowchart TB
|
|
10
|
-
subgraph L1["👤 交互层"]
|
|
11
|
-
U["😀 用户(自然语言)"]
|
|
12
|
-
M["🤖 主代理(助手 + 汇报者)<br/>翻译需求 · 汇报进度 · 问答配置<br/>不求解 · 不调度"]
|
|
13
|
-
end
|
|
14
|
-
|
|
15
|
-
subgraph L2["⚙️ 调度层(插件代码)"]
|
|
16
|
-
SCHED["调度器 Scheduler<br/>唯一文件写者<br/>读 qs.csv · 派发子代理 · 推进状态机"]
|
|
17
|
-
end
|
|
18
|
-
|
|
19
|
-
subgraph L3["🧠 子代理层(continuable 持久会话)"]
|
|
20
|
-
BRAIN["🧭 Brainstorm<br/>拆解多个求解方向"]
|
|
21
|
-
SOLV["✍️ Solver × N<br/>逐方向多轮迭代"]
|
|
22
|
-
DERI["🔀 Derive<br/>死路时派生新方向"]
|
|
23
|
-
VERI["🔬 Verifier × ≥3<br/>独立审查 → 辩论 → 裁决"]
|
|
24
|
-
DECI["⚖️ Decider<br/>判定是否解决"]
|
|
25
|
-
end
|
|
26
|
-
|
|
27
|
-
subgraph L4["💾 数据层 · VibeMath/Projects/<项目>/"]
|
|
28
|
-
QS["📋 qs.csv"]
|
|
29
|
-
PEND["📥 Pending_Verification/"]
|
|
30
|
-
UNDR["📂 Under_Verification/"]
|
|
31
|
-
TVAL["✅ Temp_Validated/"]
|
|
32
|
-
KNOW["📚 Verified/ 可信知识库"]
|
|
33
|
-
STATE["🗄️ Progress_Logs/ · VibeMath_State/"]
|
|
34
|
-
end
|
|
35
|
-
|
|
36
|
-
U -->|"求解 XX / 查进度 / 干预"| M
|
|
37
|
-
M -->|"vibe_math_* 工具"| SCHED
|
|
38
|
-
|
|
39
|
-
SCHED -->|"① 派发"| BRAIN
|
|
40
|
-
BRAIN -->|"多个大相径庭的方向"| SCHED
|
|
41
|
-
SCHED -->|"② 每方向一个"| SOLV
|
|
42
|
-
SOLV -->|"结构化结果 JSON"| SCHED
|
|
43
|
-
SOLV -.->|"迭代至卡死"| DERI
|
|
44
|
-
DERI -->|"派生 1~3 个新方向"| SCHED
|
|
45
|
-
SCHED -->|"③ 写盘"| PEND
|
|
46
|
-
SCHED -->|"④ 拆解为最小验证单元"| UNDR
|
|
47
|
-
SCHED -->|"⑤ 派发 ≥3 个"| VERI
|
|
48
|
-
VERI -->|"裁决 JSON"| SCHED
|
|
49
|
-
SCHED -->|"⑥ 通过"| TVAL
|
|
50
|
-
SCHED -->|"⑦ 晋升"| KNOW
|
|
51
|
-
SCHED -->|"⑧ 派发"| DECI
|
|
52
|
-
DECI -->|"⑨ 已解决 → 回写"| QS
|
|
53
|
-
SCHED <-->|"读取问题"| QS
|
|
54
|
-
SCHED <-->|"状态落盘 / 断点恢复"| STATE
|
|
55
|
-
```
|
|
56
|
-
|
|
57
|
-
## 主流程(编号对应上图)
|
|
58
|
-
|
|
59
|
-
- **①** 主代理把用户需求翻译成 `vibe_math_add_problem` + `vibe_math_start`,调度器从 `qs.csv` 选问题并派发 **Brainstorm** 子代理;
|
|
60
|
-
- **②** Brainstorm 返回多个「大相径庭」的求解方向,调度器为**每个方向**起一个专属 **Solver**(同一会话内多轮迭代,产出引理/子路线/存活概率/完整解法,以结构化 JSON 返回);
|
|
61
|
-
- **③** 调度器作为**唯一文件写者**,把 Solver 输出落盘到 `Pending_Verification/`;
|
|
62
|
-
- **④** 调度器把待验证输出**拆解为最小验证单元**(`Under_Verification/`);
|
|
63
|
-
- **⑤** 每个单元派 **≥3 个 Verifier** 独立审查 → 辩论 → 裁决(一票否决 / 加权投票);
|
|
64
|
-
- **⑥** 裁决通过 → `Temp_Validated/` → **⑦ 晋升**进 `Verified/` 可信知识库;
|
|
65
|
-
- **⑧** 派 **Decider** 判断新结论是否解决某未解决问题:**⑨** 是则回写 `qs.csv` 为 `solved` 并命名解法文件,否则留作后续方向复用的已知结论;
|
|
66
|
-
- **卡死兜底**:所有方向都走进死路时,派 **Derive** 基于历史痛点派生 1~3 个全新方向,回到 ②。
|
|
67
|
-
|
|
68
|
-
## 关键特性在图中对应
|
|
69
|
-
|
|
70
|
-
| 特性 | 图中的对应 |
|
|
71
|
-
|---|---|
|
|
72
|
-
| **断点续跑** | `调度器 ⇄ VibeMath_State/` 双向边:任务栈、代理注册表、决策队列、依赖图、验证器历史准确率全部落盘,重启后 `vibe_math_resume` 恢复 |
|
|
73
|
-
| **中途人工干预** | `manual` 模式下,调度器在 ① 派发 / ⑥ 裁决 / ⑦ 晋升 三个节点挂起决策,等主代理用 `vibe_math_list_decisions` / `vibe_math_decide` 处理,随时可切回 `auto` |
|
|
74
|
-
| **唯一写者铁律** | 所有指向数据层的实线都从「调度器」出发;子代理只返回 JSON,从不写文件,跨目录移动走临时原子交换 |
|
|
75
|
-
| **按项目隔离** | 整个数据层位于 `VibeMath/Projects/<项目>/` 下,互不干扰、可随时切换 |
|
|
76
|
-
| **子代理权限调控** | 调度器派发时注入 toolFilter(允许/禁止)与每轮外部工具调用上限 |
|
|
77
|
-
| **可配置** | 默认参数来自 `vibe_math_setting.json`(JSONC 含注释),`/vibe setup` 交互式配置 |
|
|
1
|
+
# Vibe Math 架构图(v1 历史版)
|
|
2
|
+
|
|
3
|
+
> ⚠️ **历史文档**:本文件记录最初 **v1** 版本的架构。图中 `qs.csv`、`Pending_Verification/`、`Under_Verification/`、`Temp_Validated/` 等名称在 **v2 起已不存在**(v2 起问题与解法存于 `qs/qs.json`,定论事实存于 `Verified/<分类>_Verified.json`)。**v2–v5 的实际架构**请以 `README.md` 对应章节、`vibe-math-v2/实现方案.md` 等各版本实现方案与 `示例图/框架图-v2.png`…`-v5.svg` 为准。
|
|
4
|
+
|
|
5
|
+
> 框架 = **一个主代理(助手)+ 一个代码调度器 + 五类子代理** + 一套按项目隔离的持久化数据布局。
|
|
6
|
+
> 下方的 Mermaid 代码块在 GitHub 上会**原生渲染**成流程图;本文件即图源,改完重新提交即可自动更新。
|
|
7
|
+
|
|
8
|
+
```mermaid
|
|
9
|
+
flowchart TB
|
|
10
|
+
subgraph L1["👤 交互层"]
|
|
11
|
+
U["😀 用户(自然语言)"]
|
|
12
|
+
M["🤖 主代理(助手 + 汇报者)<br/>翻译需求 · 汇报进度 · 问答配置<br/>不求解 · 不调度"]
|
|
13
|
+
end
|
|
14
|
+
|
|
15
|
+
subgraph L2["⚙️ 调度层(插件代码)"]
|
|
16
|
+
SCHED["调度器 Scheduler<br/>唯一文件写者<br/>读 qs.csv · 派发子代理 · 推进状态机"]
|
|
17
|
+
end
|
|
18
|
+
|
|
19
|
+
subgraph L3["🧠 子代理层(continuable 持久会话)"]
|
|
20
|
+
BRAIN["🧭 Brainstorm<br/>拆解多个求解方向"]
|
|
21
|
+
SOLV["✍️ Solver × N<br/>逐方向多轮迭代"]
|
|
22
|
+
DERI["🔀 Derive<br/>死路时派生新方向"]
|
|
23
|
+
VERI["🔬 Verifier × ≥3<br/>独立审查 → 辩论 → 裁决"]
|
|
24
|
+
DECI["⚖️ Decider<br/>判定是否解决"]
|
|
25
|
+
end
|
|
26
|
+
|
|
27
|
+
subgraph L4["💾 数据层 · VibeMath/Projects/<项目>/"]
|
|
28
|
+
QS["📋 qs.csv"]
|
|
29
|
+
PEND["📥 Pending_Verification/"]
|
|
30
|
+
UNDR["📂 Under_Verification/"]
|
|
31
|
+
TVAL["✅ Temp_Validated/"]
|
|
32
|
+
KNOW["📚 Verified/ 可信知识库"]
|
|
33
|
+
STATE["🗄️ Progress_Logs/ · VibeMath_State/"]
|
|
34
|
+
end
|
|
35
|
+
|
|
36
|
+
U -->|"求解 XX / 查进度 / 干预"| M
|
|
37
|
+
M -->|"vibe_math_* 工具"| SCHED
|
|
38
|
+
|
|
39
|
+
SCHED -->|"① 派发"| BRAIN
|
|
40
|
+
BRAIN -->|"多个大相径庭的方向"| SCHED
|
|
41
|
+
SCHED -->|"② 每方向一个"| SOLV
|
|
42
|
+
SOLV -->|"结构化结果 JSON"| SCHED
|
|
43
|
+
SOLV -.->|"迭代至卡死"| DERI
|
|
44
|
+
DERI -->|"派生 1~3 个新方向"| SCHED
|
|
45
|
+
SCHED -->|"③ 写盘"| PEND
|
|
46
|
+
SCHED -->|"④ 拆解为最小验证单元"| UNDR
|
|
47
|
+
SCHED -->|"⑤ 派发 ≥3 个"| VERI
|
|
48
|
+
VERI -->|"裁决 JSON"| SCHED
|
|
49
|
+
SCHED -->|"⑥ 通过"| TVAL
|
|
50
|
+
SCHED -->|"⑦ 晋升"| KNOW
|
|
51
|
+
SCHED -->|"⑧ 派发"| DECI
|
|
52
|
+
DECI -->|"⑨ 已解决 → 回写"| QS
|
|
53
|
+
SCHED <-->|"读取问题"| QS
|
|
54
|
+
SCHED <-->|"状态落盘 / 断点恢复"| STATE
|
|
55
|
+
```
|
|
56
|
+
|
|
57
|
+
## 主流程(编号对应上图)
|
|
58
|
+
|
|
59
|
+
- **①** 主代理把用户需求翻译成 `vibe_math_add_problem` + `vibe_math_start`,调度器从 `qs.csv` 选问题并派发 **Brainstorm** 子代理;
|
|
60
|
+
- **②** Brainstorm 返回多个「大相径庭」的求解方向,调度器为**每个方向**起一个专属 **Solver**(同一会话内多轮迭代,产出引理/子路线/存活概率/完整解法,以结构化 JSON 返回);
|
|
61
|
+
- **③** 调度器作为**唯一文件写者**,把 Solver 输出落盘到 `Pending_Verification/`;
|
|
62
|
+
- **④** 调度器把待验证输出**拆解为最小验证单元**(`Under_Verification/`);
|
|
63
|
+
- **⑤** 每个单元派 **≥3 个 Verifier** 独立审查 → 辩论 → 裁决(一票否决 / 加权投票);
|
|
64
|
+
- **⑥** 裁决通过 → `Temp_Validated/` → **⑦ 晋升**进 `Verified/` 可信知识库;
|
|
65
|
+
- **⑧** 派 **Decider** 判断新结论是否解决某未解决问题:**⑨** 是则回写 `qs.csv` 为 `solved` 并命名解法文件,否则留作后续方向复用的已知结论;
|
|
66
|
+
- **卡死兜底**:所有方向都走进死路时,派 **Derive** 基于历史痛点派生 1~3 个全新方向,回到 ②。
|
|
67
|
+
|
|
68
|
+
## 关键特性在图中对应
|
|
69
|
+
|
|
70
|
+
| 特性 | 图中的对应 |
|
|
71
|
+
|---|---|
|
|
72
|
+
| **断点续跑** | `调度器 ⇄ VibeMath_State/` 双向边:任务栈、代理注册表、决策队列、依赖图、验证器历史准确率全部落盘,重启后 `vibe_math_resume` 恢复 |
|
|
73
|
+
| **中途人工干预** | `manual` 模式下,调度器在 ① 派发 / ⑥ 裁决 / ⑦ 晋升 三个节点挂起决策,等主代理用 `vibe_math_list_decisions` / `vibe_math_decide` 处理,随时可切回 `auto` |
|
|
74
|
+
| **唯一写者铁律** | 所有指向数据层的实线都从「调度器」出发;子代理只返回 JSON,从不写文件,跨目录移动走临时原子交换 |
|
|
75
|
+
| **按项目隔离** | 整个数据层位于 `VibeMath/Projects/<项目>/` 下,互不干扰、可随时切换 |
|
|
76
|
+
| **子代理权限调控** | 调度器派发时注入 toolFilter(允许/禁止)与每轮外部工具调用上限 |
|
|
77
|
+
| **可配置** | 默认参数来自 `vibe_math_setting.json`(JSONC 含注释),`/vibe setup` 交互式配置 |
|