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.
Files changed (106) hide show
  1. package/LICENSE +21 -21
  2. package/README.en.md +682 -682
  3. package/README.md +683 -683
  4. package/docs/AUDIT-CHECKLIST.md +758 -744
  5. package/docs/COMPAT-AUDIT-ROUND2.md +351 -351
  6. package/docs/COMPAT-AUDIT-ROUND3.md +154 -154
  7. package/docs/audit-methodology.md +93 -0
  8. package/docs/final-paper.md +172 -172
  9. package/docs/formal-verification.md +613 -588
  10. package/docs/generate_framework_diagram_v2.py +114 -114
  11. package/docs/generate_framework_diagram_v3.py +127 -127
  12. package/docs/math-computation.md +195 -194
  13. package/docs/release-notes/README.en.md +2 -0
  14. package/docs/release-notes/README.md +2 -0
  15. package/docs/release-notes/RELEASE-NOTES-2.0.22.md +112 -112
  16. package/docs/release-notes/RELEASE-NOTES-2.1.0.md +143 -143
  17. package/docs/release-notes/RELEASE-NOTES-2.2.0.md +266 -266
  18. package/docs/release-notes/RELEASE-NOTES-2.2.1.md +43 -43
  19. package/docs/release-notes/RELEASE-NOTES-2.2.2.md +88 -88
  20. package/docs/release-notes/RELEASE-NOTES-2.3.0.md +207 -207
  21. package/docs/release-notes/RELEASE-NOTES-2.3.1.md +134 -134
  22. package/docs/release-notes/RELEASE-NOTES-2.3.10.md +105 -105
  23. package/docs/release-notes/RELEASE-NOTES-2.3.11.md +57 -57
  24. package/docs/release-notes/RELEASE-NOTES-2.3.12.md +80 -80
  25. package/docs/release-notes/RELEASE-NOTES-2.3.2.md +145 -145
  26. package/docs/release-notes/RELEASE-NOTES-2.3.3.md +115 -115
  27. package/docs/release-notes/RELEASE-NOTES-2.3.4.md +69 -69
  28. package/docs/release-notes/RELEASE-NOTES-2.3.5.md +63 -63
  29. package/docs/release-notes/RELEASE-NOTES-2.3.6.md +66 -66
  30. package/docs/release-notes/RELEASE-NOTES-2.3.7.md +59 -59
  31. package/docs/release-notes/RELEASE-NOTES-2.3.8.md +45 -45
  32. package/docs/release-notes/RELEASE-NOTES-2.3.9.md +70 -70
  33. package/docs/release-notes/RELEASE-NOTES-2.8.0.en.md +65 -0
  34. package/docs/release-notes/RELEASE-NOTES-2.8.0.md +65 -0
  35. package/docs/release-notes/RELEASE-NOTES-2.8.1.en.md +49 -0
  36. package/docs/release-notes/RELEASE-NOTES-2.8.1.md +49 -0
  37. package/docs/release-playbook.md +111 -0
  38. package/docs/slv-playbook.md +117 -0
  39. package/docs/test-timing.md +158 -157
  40. package/docs//346/236/266/346/236/204/345/233/276.md +77 -77
  41. package/installer.js +792 -792
  42. package/package.json +18 -3
  43. package/prompt-corpus-v2/formal-verify-v2.json +2 -2
  44. package/prompt-corpus-v2/formal-verify-v2.md +4 -0
  45. package/prompt-corpus-v3/formal-verify-v3.json +7 -7
  46. package/prompt-corpus-v3/formal-verify-v3.md +14 -0
  47. package/prompt-corpus-v5/prompt-corpus-v5.json +61 -61
  48. package/prompt-corpus-v5/prompt-corpus-v5.md +122 -0
  49. package/scripts/clean-temp.mjs +234 -0
  50. package/scripts/release-check.mjs +181 -0
  51. package/tests/audit-engine-faces.mjs +298 -0
  52. package/tests/audit-formal-sensitivity.mjs +345 -342
  53. package/tests/audit-installer-compat.test.mjs +256 -256
  54. package/tests/audit-math-computation-sensitivity.mjs +1 -1
  55. package/tests/audit-persona-sensitivity.mjs +323 -323
  56. package/tests/audit-persona-surface.test.mjs +431 -431
  57. package/tests/audit-prompt-duplication.mutants.mjs +3 -2
  58. package/tests/audit-prompt-invariants.mjs +589 -546
  59. package/tests/audit-registration.mjs +78 -78
  60. package/tests/audit-spec-traceability.mjs +193 -193
  61. package/tests/audit-status-report-fields.mjs +172 -172
  62. package/tests/audit-v5-integrity.mjs +795 -795
  63. package/tests/audit-v5-sensitivity.mjs +433 -432
  64. package/tests/e2e-v5-round2.test.mjs +2453 -2426
  65. package/tests/formal-verify-v2.test.mjs +1806 -1800
  66. package/tests/formal-verify-v3.test.mjs +1757 -1750
  67. package/tests/formal-verify-v4.test.mjs +2114 -2106
  68. package/tests/formal-verify-v5.test.mjs +774 -767
  69. package/tests/math-computation-discovery.mutants.mjs +3 -3
  70. package/tests/math-computation-shared.test.mjs +122 -5
  71. package/tests/math-computation-v2.test.mjs +14 -2
  72. package/tests/math-computation-v3.test.mjs +14 -2
  73. package/tests/math-computation-v4.test.mjs +739 -739
  74. package/tests/prompt-v5-integrity.test.mjs +1291 -1291
  75. package/tests/release-check.mutants.mjs +78 -0
  76. package/tests/run-tests.mjs +393 -332
  77. package/tests/selfdrive-v5.mjs +560 -560
  78. package/tests/temp-hygiene.mutants.mjs +80 -0
  79. package/tests/v2-fix-probes.mutants.mjs +4 -0
  80. package/tests/v2-fix-probes.test.mjs +1034 -1033
  81. package/tests/v2v3-interrupt.mutants.mjs +111 -0
  82. package/tests/v3-fix-probes.mutants.mjs +99 -95
  83. package/tests/v3-fix-probes.test.mjs +891 -890
  84. package/tests/v4-final-paper.mutants.mjs +116 -0
  85. package/tests/v4-final-paper.test.mjs +628 -0
  86. package/tests/v5-institute-fixes.mutants.mjs +218 -190
  87. package/vibe-math-v2/agent.cordis.yml +376 -376
  88. package/vibe-math-v2/math-computation.js +17 -15
  89. package/vibe-math-v2/preset.yml +2 -2
  90. package/vibe-math-v2/v2/347/232/204/351/242/235/345/244/226/350/246/201/346/261/202.txt +21 -21
  91. package/vibe-math-v2/vibe-math-v2.js +5078 -5011
  92. package/vibe-math-v2//345/256/236/347/216/260/346/226/271/346/241/210.md +486 -486
  93. package/vibe-math-v3/agent.cordis.yml +420 -420
  94. package/vibe-math-v3/math-computation.js +17 -15
  95. package/vibe-math-v3/preset.yml +2 -2
  96. package/vibe-math-v3/vibe-math-v3.js +6215 -6149
  97. package/vibe-math-v3//345/256/236/347/216/260/346/226/271/346/241/210.md +649 -649
  98. package/vibe-math-v4/agent.cordis.yml +438 -438
  99. package/vibe-math-v4/math-computation.js +17 -15
  100. package/vibe-math-v4/preset.yml +2 -2
  101. package/vibe-math-v4/vibe-math-v4.js +4520 -4422
  102. package/vibe-math-v4//345/256/236/347/216/260/346/226/271/346/241/210.md +1015 -1015
  103. package/vibe-math-v5/math-computation.js +17 -15
  104. package/vibe-math-v5/vibe-math-v5.js +93 -11
  105. package/vibe-math-v5//345/256/236/347/216/260/346/226/271/346/241/210.md +1728 -1728
  106. 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/&lt;项目&gt;/"]
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/&lt;项目&gt;/"]
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` 交互式配置 |