dsh-vibe-math 2.7.1 → 2.7.2

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 (47) hide show
  1. package/README.en.md +681 -690
  2. package/README.md +8 -17
  3. package/cordis.patch.yml +6 -6
  4. package/docs/AUDIT-CHECKLIST.md +518 -518
  5. package/docs/COMPAT-AUDIT-ROUND3.md +154 -154
  6. package/docs/final-paper.md +172 -172
  7. package/docs/formal-verification.md +588 -588
  8. package/docs/math-computation.md +187 -163
  9. package/docs/release-notes/README.en.md +48 -0
  10. package/docs/release-notes/README.md +47 -0
  11. package/docs/release-notes/RELEASE-NOTES-2.7.2.en.md +72 -0
  12. package/docs/release-notes/RELEASE-NOTES-2.7.2.md +72 -0
  13. package/docs/release-notes/TEMPLATE.md +120 -0
  14. package/docs/test-timing.md +154 -154
  15. package/package.json +208 -203
  16. package/prompt-corpus-persona/persona-corpus.json +8 -8
  17. package/prompt-corpus-persona/persona-corpus.md +12 -12
  18. package/prompt-corpus-v2/formal-verify-v2.json +121 -109
  19. package/prompt-corpus-v2/formal-verify-v2.md +223 -107
  20. package/prompt-corpus-v3/formal-verify-v3.json +100 -76
  21. package/prompt-corpus-v3/formal-verify-v3.md +268 -70
  22. package/prompt-corpus-v4/formal-verify-v4.json +10 -10
  23. package/prompt-corpus-v4/formal-verify-v4.md +20 -20
  24. package/prompt-corpus-v5/prompt-corpus-v5.json +81 -81
  25. package/prompt-corpus-v5/prompt-corpus-v5.md +138 -128
  26. package/tests/audit-math-computation-contract.mjs +43 -1
  27. package/tests/audit-math-computation-sensitivity.mjs +2 -2
  28. package/tests/audit-v5-sensitivity.mjs +3 -1
  29. package/tests/e2e-v5-round2.test.mjs +114 -5
  30. package/tests/formal-verify-v2.test.mjs +38 -0
  31. package/tests/formal-verify-v3.test.mjs +33 -0
  32. package/tests/formal-verify-v4.test.mjs +87 -0
  33. package/tests/math-computation-shared.test.mjs +126 -1
  34. package/vibe-math-v2/agent.cordis.yml +2 -2
  35. package/vibe-math-v2/math-computation.js +122 -11
  36. package/vibe-math-v2/vibe-math-v2.js +75 -11
  37. package/vibe-math-v3/agent.cordis.yml +2 -2
  38. package/vibe-math-v3/math-computation.js +122 -11
  39. package/vibe-math-v3/vibe-math-v3.js +60 -13
  40. package/vibe-math-v4/agent.cordis.yml +4 -4
  41. package/vibe-math-v4/math-computation.js +122 -11
  42. package/vibe-math-v4/vibe-math-v4.js +55 -15
  43. package/vibe-math-v5/agent.cordis.yml +4 -4
  44. package/vibe-math-v5/math-computation.js +122 -11
  45. package/vibe-math-v5/vibe-math-v5.js +137 -28
  46. package/vibe-math-v5//345/256/236/347/216/260/346/226/271/346/241/210.md +1660 -1655
  47. package/vibe-math-v5//346/236/266/346/236/204/345/233/276.md +693 -693
package/package.json CHANGED
@@ -1,203 +1,208 @@
1
- {
2
- "name": "dsh-vibe-math",
3
- "description": "Multi-agent mathematical problem-solving & verification frameworks for DeepSeek Harness — FOUR agent presets in one install: vibe-math-v2 (probability-driven, classic: qs.json + Propos knowledge base + explorer→solver→review/debate verdict), vibe-math-v3 (THIRD-generation, classic: 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), and vibe-math-v4 (FOURTH-generation: persistent self-organizing resident subagents that message & meet to decide all tasks, verify only by unanimous consensus, /compact at a context threshold, and stop only when all agree the problem is solved), and vibe-math-v5 (FIFTH-generation research institute: an academician as the organizational centre who decomposes and ASSIGNS work and chairs meetings; permanent researchers who hold the vote and may hire/fire their own temp workers; temp workers with no vote; a group chat and meetings; a durable per-recipient mailbox; a compare-and-set task DAG; and a boolean m-vote consensus rule where an object enters Verified/ only when at least m voting members agree AND every one of them returns exactly 1 or exactly 0). Installing this bundle auto-installs all four presets (v1 was removed at v2.0.0). Each preset also writes a FINAL PAPER by default when its run concludes — and does so BEFORE the run is marked complete: on v4/v5 the team co-authors its parts, merges them, cross-reviews, and the editor named by paperEditor finalises; the output is Paper/<run or institute id>/{paper.md,paper.tex,paper.pdf when a LaTeX engine is detected,paper.meta.json,paper.log.md} (params finalPaper/paperFormat/paperLanguage/paperCompilePdf/paperLatexCommand, plus paperEditor on v4/v5; see docs/final-paper.md).",
4
- "version": "2.7.1",
5
- "type": "module",
6
- "engines": {
7
- "node": "^22.19.0 || >=24.0.0",
8
- "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"
9
- },
10
- "main": "installer.js",
11
- "exports": {
12
- ".": "./installer.js",
13
- "./installer": "./installer.js",
14
- "./cordis.patch.yml": "./cordis.patch.yml",
15
- "./vibe-math-v2/vibe-math-v2.js": "./vibe-math-v2/vibe-math-v2.js",
16
- "./vibe-math-v3/vibe-math-v3.js": "./vibe-math-v3/vibe-math-v3.js",
17
- "./vibe-math-v4/vibe-math-v4.js": "./vibe-math-v4/vibe-math-v4.js",
18
- "./vibe-math-v5/vibe-math-v5.js": "./vibe-math-v5/vibe-math-v5.js",
19
- "./preset-declaration": "./preset-declaration.js"
20
- },
21
- "files": [
22
- "SECURITY.md",
23
- "README.md",
24
- "README.en.md",
25
- "docs/COMPAT-AUDIT-ROUND2.md",
26
- "docs/AUDIT-CHECKLIST.md",
27
- "tests/audit-formal-sensitivity.mjs",
28
- "tests/audit-persona-sensitivity.mjs",
29
- "tests/audit-persona-surface.test.mjs",
30
- "tests/audit-prompt-invariants.mjs",
31
- "tests/audit-spec-traceability.mjs",
32
- "tests/audit-v5-integrity.mjs",
33
- "tests/audit-v5-sensitivity.mjs",
34
- "cordis.patch.yml",
35
- "docs/架构图.md",
36
- "docs/formal-verification.md",
37
- "docs/final-paper.md",
38
- "docs/math-computation.md",
39
- "tests/audit-math-computation-parity.mjs",
40
- "tests/audit-math-computation-contract.mjs",
41
- "tests/audit-math-computation-sensitivity.mjs",
42
- "tests/math-computation-shared.test.mjs",
43
- "tests/helpers/math-computation-fake-seam.mjs",
44
- "docs/generate_framework_diagram_v2.py",
45
- "docs/generate_framework_diagram_v3.py",
46
- "docs/generate_framework_diagram_v4.mjs",
47
- "docs/generate_framework_diagram_v5.mjs",
48
- "docs/generate_framework_diagram_v3_en.mjs",
49
- "docs/generate_framework_diagram_v2_en.mjs",
50
- "docs/render_framework_diagram_png.mjs",
51
- "docs/test-timing.md",
52
- "tests/e2e-v5-round2.test.mjs",
53
- "tests/formal-verify-v2.test.mjs",
54
- "tests/formal-verify-v3.test.mjs",
55
- "tests/formal-verify-v4.test.mjs",
56
- "tests/formal-verify-v5.test.mjs",
57
- "installer.js",
58
- "prompt-corpus-persona/persona-corpus.json",
59
- "prompt-corpus-persona/persona-corpus.md",
60
- "prompt-corpus-v2/formal-verify-v2.json",
61
- "prompt-corpus-v2/formal-verify-v2.md",
62
- "prompt-corpus-v3/formal-verify-v3.json",
63
- "prompt-corpus-v3/formal-verify-v3.md",
64
- "prompt-corpus-v4/formal-verify-v4.json",
65
- "prompt-corpus-v4/formal-verify-v4.md",
66
- "prompt-corpus-v5/prompt-corpus-v5.json",
67
- "prompt-corpus-v5/prompt-corpus-v5.md",
68
- "tests/prompt-v5-integrity.test.mjs",
69
- "tests/run-tests.mjs",
70
- "screenshots.json",
71
- "tests/selfdrive-v5.mjs",
72
- "vibe-math-v2/实现方案.md",
73
- "vibe-math-v2/agent.cordis.yml",
74
- "vibe-math-v2/preset.yml",
75
- "vibe-math-v2/v2的额外要求.txt",
76
- "vibe-math-v2/vibe-math-v2.js",
77
- "vibe-math-v2/math-computation.js",
78
- "vibe-math-v2/math-engines.js",
79
- "vibe-math-v3/实现方案.md",
80
- "vibe-math-v3/agent.cordis.yml",
81
- "vibe-math-v3/preset.yml",
82
- "vibe-math-v3/vibe-math-v3.js",
83
- "vibe-math-v3/math-computation.js",
84
- "vibe-math-v3/math-engines.js",
85
- "vibe-math-v4/实现方案.md",
86
- "vibe-math-v4/agent.cordis.yml",
87
- "vibe-math-v4/preset.yml",
88
- "vibe-math-v4/vibe-math-v4.js",
89
- "vibe-math-v4/math-computation.js",
90
- "vibe-math-v4/math-engines.js",
91
- "vibe-math-v5/架构图.md",
92
- "vibe-math-v5/实现方案.md",
93
- "vibe-math-v5/agent.cordis.yml",
94
- "vibe-math-v5/preset.yml",
95
- "vibe-math-v5/vibe-math-v5.js",
96
- "vibe-math-v5/math-computation.js",
97
- "vibe-math-v5/math-engines.js",
98
- "docs/release-notes/RELEASE-NOTES-2.0.22.md",
99
- "docs/release-notes/RELEASE-NOTES-2.1.0.md",
100
- "docs/release-notes/RELEASE-NOTES-2.2.0.md",
101
- "docs/release-notes/RELEASE-NOTES-2.2.1.md",
102
- "docs/release-notes/RELEASE-NOTES-2.2.2.md",
103
- "docs/release-notes/RELEASE-NOTES-2.3.0.md",
104
- "docs/release-notes/RELEASE-NOTES-2.3.1.md",
105
- "docs/release-notes/RELEASE-NOTES-2.3.10.md",
106
- "docs/release-notes/RELEASE-NOTES-2.3.11.md",
107
- "docs/release-notes/RELEASE-NOTES-2.3.12.md",
108
- "docs/release-notes/RELEASE-NOTES-2.3.13.md",
109
- "docs/release-notes/RELEASE-NOTES-2.3.14.md",
110
- "docs/release-notes/RELEASE-NOTES-2.3.15.md",
111
- "docs/release-notes/RELEASE-NOTES-2.3.16.md",
112
- "docs/release-notes/RELEASE-NOTES-2.4.0.md",
113
- "docs/release-notes/RELEASE-NOTES-2.4.1.md",
114
- "docs/release-notes/RELEASE-NOTES-2.6.0.md",
115
- "docs/release-notes/RELEASE-NOTES-2.7.0.md",
116
- "docs/release-notes/RELEASE-NOTES-2.7.0.en.md",
117
- "docs/release-notes/RELEASE-NOTES-2.5.0.md",
118
- "docs/release-notes/RELEASE-NOTES-2.3.2.md",
119
- "docs/release-notes/RELEASE-NOTES-2.3.3.md",
120
- "docs/release-notes/RELEASE-NOTES-2.3.4.md",
121
- "docs/release-notes/RELEASE-NOTES-2.3.5.md",
122
- "docs/release-notes/RELEASE-NOTES-2.3.6.md",
123
- "docs/release-notes/RELEASE-NOTES-2.3.7.md",
124
- "docs/release-notes/RELEASE-NOTES-2.3.8.md",
125
- "docs/release-notes/RELEASE-NOTES-2.3.9.md",
126
- "示例图/框架图-v2.png",
127
- "示例图/框架图-v2-en.svg",
128
- "示例图/框架图-v3.png",
129
- "示例图/框架图-v3-en.svg",
130
- "示例图/框架图-v4.svg",
131
- "示例图/框架图-v4-en.svg",
132
- "示例图/框架图-v5.svg",
133
- "示例图/框架图-v5-en.svg",
134
- "示例图/实际使用示例-长截图.png",
135
- "tests/audit-installer-compat.test.mjs",
136
- "tests/audit-installer-policy.test.mjs",
137
- "scripts/build-preset-rows.mjs",
138
- "preset-declaration.js",
139
- "tests/audit-preset-rows.test.mjs",
140
- "docs/COMPAT-AUDIT-ROUND3.md",
141
- "docs/release-notes/RELEASE-NOTES-2.7.1.md",
142
- "docs/release-notes/RELEASE-NOTES-2.7.1.en.md"
143
- ],
144
- "license": "MIT",
145
- "keywords": [
146
- "deepseek-harness",
147
- "dsh",
148
- "dsh-plugin",
149
- "agent-preset",
150
- "multi-agent",
151
- "mathematics",
152
- "math",
153
- "theorem-proving",
154
- "verification",
155
- "solver",
156
- "llm-agents"
157
- ],
158
- "repository": {
159
- "type": "git",
160
- "url": "git+https://github.com/ChongCyrus/Vibe-Mathematics.git"
161
- },
162
- "homepage": "https://github.com/ChongCyrus/Vibe-Mathematics#readme",
163
- "bugs": {
164
- "url": "https://github.com/ChongCyrus/Vibe-Mathematics/issues"
165
- },
166
- "dsh": {
167
- "bundle": {
168
- "patch": "./cordis.patch.yml"
169
- },
170
- "minVersion": "0.1.2-alpha.4",
171
- "testedVersion": "0.2.0-rc.2",
172
- "compatNote": "v2.7.1 补丁版:① 诚实性与安装口径(替代方案改变精确性/结论强度必须声明;python 安装按检测到的环境分派 conda/mamba/uv/pip;R/Octave/Julia 的 system 作用域给出每引擎理由;版本求解交给包管理器,只按 base name 查存在,规格原样透传)+ ② 七个真机缺陷修复(probe 回显请求的引擎、发现 DSH 自带运行时、cli 包预检用 cli.command 的解释器、mode:code 真的传脚本且调用方 argv 优先、版本报真值、探针 argv 无 shell 元字符、探测 cwd 不再依赖项目目录已存在)+ 两条永久守卫(响应必须可 JSON 序列化;fresh-root 仿真)。既有参数默认值、数据格式与目录结构未变,DSH 支撑窗口不变,无需迁移。",
173
- "compatibility": {
174
- "dshReleases": {
175
- "0.1.2-alpha.4": "compatible",
176
- "0.1.2-alpha.5": "compatible",
177
- "0.1.2-rc.1": "compatible",
178
- "0.1.3-alpha.2": "compatible",
179
- "0.1.5-alpha.1": "compatible",
180
- "0.1.5-alpha.2": "compatible",
181
- "0.1.5-rc.1": "compatible",
182
- "0.1.5-rc.2": "compatible",
183
- "0.1.6-alpha.2": "compatible",
184
- "0.1.7-rc.2": "compatible",
185
- "0.2.0-rc.2": "compatible"
186
- }
187
- },
188
- "engines": {
189
- "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"
190
- }
191
- },
192
- "peerDependencies": {
193
- "@deepseek-ai/dsh-base": ">=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"
194
- },
195
- "peerDependenciesMeta": {
196
- "@deepseek-ai/dsh-base": {
197
- "optional": true
198
- }
199
- },
200
- "scripts": {
201
- "build:presets": "node scripts/build-preset-rows.mjs"
202
- }
203
- }
1
+ {
2
+ "name": "dsh-vibe-math",
3
+ "description": "Multi-agent mathematical problem-solving & verification frameworks for DeepSeek Harness — FOUR agent presets in one install: vibe-math-v2 (probability-driven, classic: qs.json + Propos knowledge base + explorer→solver→review/debate verdict), vibe-math-v3 (THIRD-generation, classic: 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), and vibe-math-v4 (FOURTH-generation: persistent self-organizing resident subagents that message & meet to decide all tasks, verify only by unanimous consensus, /compact at a context threshold, and stop only when all agree the problem is solved), and vibe-math-v5 (FIFTH-generation research institute: an academician as the organizational centre who decomposes and ASSIGNS work and chairs meetings; permanent researchers who hold the vote and may hire/fire their own temp workers; temp workers with no vote; a group chat and meetings; a durable per-recipient mailbox; a compare-and-set task DAG; and a boolean m-vote consensus rule where an object enters Verified/ only when at least m voting members agree AND every one of them returns exactly 1 or exactly 0). Installing this bundle auto-installs all four presets (v1 was removed at v2.0.0). Each preset also writes a FINAL PAPER by default when its run concludes — and does so BEFORE the run is marked complete: on v4/v5 the team co-authors its parts, merges them, cross-reviews, and the editor named by paperEditor finalises; the output is Paper/<run or institute id>/{paper.md,paper.tex,paper.pdf when a LaTeX engine is detected,paper.meta.json,paper.log.md} (params finalPaper/paperFormat/paperLanguage/paperCompilePdf/paperLatexCommand, plus paperEditor on v4/v5; see docs/final-paper.md).",
4
+ "version": "2.7.2",
5
+ "type": "module",
6
+ "engines": {
7
+ "node": "^22.19.0 || >=24.0.0",
8
+ "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"
9
+ },
10
+ "main": "installer.js",
11
+ "exports": {
12
+ ".": "./installer.js",
13
+ "./installer": "./installer.js",
14
+ "./cordis.patch.yml": "./cordis.patch.yml",
15
+ "./vibe-math-v2/vibe-math-v2.js": "./vibe-math-v2/vibe-math-v2.js",
16
+ "./vibe-math-v3/vibe-math-v3.js": "./vibe-math-v3/vibe-math-v3.js",
17
+ "./vibe-math-v4/vibe-math-v4.js": "./vibe-math-v4/vibe-math-v4.js",
18
+ "./vibe-math-v5/vibe-math-v5.js": "./vibe-math-v5/vibe-math-v5.js",
19
+ "./preset-declaration": "./preset-declaration.js"
20
+ },
21
+ "files": [
22
+ "SECURITY.md",
23
+ "README.md",
24
+ "README.en.md",
25
+ "docs/COMPAT-AUDIT-ROUND2.md",
26
+ "docs/AUDIT-CHECKLIST.md",
27
+ "tests/audit-formal-sensitivity.mjs",
28
+ "tests/audit-persona-sensitivity.mjs",
29
+ "tests/audit-persona-surface.test.mjs",
30
+ "tests/audit-prompt-invariants.mjs",
31
+ "tests/audit-spec-traceability.mjs",
32
+ "tests/audit-v5-integrity.mjs",
33
+ "tests/audit-v5-sensitivity.mjs",
34
+ "cordis.patch.yml",
35
+ "docs/架构图.md",
36
+ "docs/formal-verification.md",
37
+ "docs/final-paper.md",
38
+ "docs/math-computation.md",
39
+ "tests/audit-math-computation-parity.mjs",
40
+ "tests/audit-math-computation-contract.mjs",
41
+ "tests/audit-math-computation-sensitivity.mjs",
42
+ "tests/math-computation-shared.test.mjs",
43
+ "tests/helpers/math-computation-fake-seam.mjs",
44
+ "docs/generate_framework_diagram_v2.py",
45
+ "docs/generate_framework_diagram_v3.py",
46
+ "docs/generate_framework_diagram_v4.mjs",
47
+ "docs/generate_framework_diagram_v5.mjs",
48
+ "docs/generate_framework_diagram_v3_en.mjs",
49
+ "docs/generate_framework_diagram_v2_en.mjs",
50
+ "docs/render_framework_diagram_png.mjs",
51
+ "docs/test-timing.md",
52
+ "tests/e2e-v5-round2.test.mjs",
53
+ "tests/formal-verify-v2.test.mjs",
54
+ "tests/formal-verify-v3.test.mjs",
55
+ "tests/formal-verify-v4.test.mjs",
56
+ "tests/formal-verify-v5.test.mjs",
57
+ "installer.js",
58
+ "prompt-corpus-persona/persona-corpus.json",
59
+ "prompt-corpus-persona/persona-corpus.md",
60
+ "prompt-corpus-v2/formal-verify-v2.json",
61
+ "prompt-corpus-v2/formal-verify-v2.md",
62
+ "prompt-corpus-v3/formal-verify-v3.json",
63
+ "prompt-corpus-v3/formal-verify-v3.md",
64
+ "prompt-corpus-v4/formal-verify-v4.json",
65
+ "prompt-corpus-v4/formal-verify-v4.md",
66
+ "prompt-corpus-v5/prompt-corpus-v5.json",
67
+ "prompt-corpus-v5/prompt-corpus-v5.md",
68
+ "tests/prompt-v5-integrity.test.mjs",
69
+ "tests/run-tests.mjs",
70
+ "screenshots.json",
71
+ "tests/selfdrive-v5.mjs",
72
+ "vibe-math-v2/实现方案.md",
73
+ "vibe-math-v2/agent.cordis.yml",
74
+ "vibe-math-v2/preset.yml",
75
+ "vibe-math-v2/v2的额外要求.txt",
76
+ "vibe-math-v2/vibe-math-v2.js",
77
+ "vibe-math-v2/math-computation.js",
78
+ "vibe-math-v2/math-engines.js",
79
+ "vibe-math-v3/实现方案.md",
80
+ "vibe-math-v3/agent.cordis.yml",
81
+ "vibe-math-v3/preset.yml",
82
+ "vibe-math-v3/vibe-math-v3.js",
83
+ "vibe-math-v3/math-computation.js",
84
+ "vibe-math-v3/math-engines.js",
85
+ "vibe-math-v4/实现方案.md",
86
+ "vibe-math-v4/agent.cordis.yml",
87
+ "vibe-math-v4/preset.yml",
88
+ "vibe-math-v4/vibe-math-v4.js",
89
+ "vibe-math-v4/math-computation.js",
90
+ "vibe-math-v4/math-engines.js",
91
+ "vibe-math-v5/架构图.md",
92
+ "vibe-math-v5/实现方案.md",
93
+ "vibe-math-v5/agent.cordis.yml",
94
+ "vibe-math-v5/preset.yml",
95
+ "vibe-math-v5/vibe-math-v5.js",
96
+ "vibe-math-v5/math-computation.js",
97
+ "vibe-math-v5/math-engines.js",
98
+ "docs/release-notes/RELEASE-NOTES-2.0.22.md",
99
+ "docs/release-notes/RELEASE-NOTES-2.1.0.md",
100
+ "docs/release-notes/RELEASE-NOTES-2.2.0.md",
101
+ "docs/release-notes/RELEASE-NOTES-2.2.1.md",
102
+ "docs/release-notes/RELEASE-NOTES-2.2.2.md",
103
+ "docs/release-notes/RELEASE-NOTES-2.3.0.md",
104
+ "docs/release-notes/RELEASE-NOTES-2.3.1.md",
105
+ "docs/release-notes/RELEASE-NOTES-2.3.10.md",
106
+ "docs/release-notes/RELEASE-NOTES-2.3.11.md",
107
+ "docs/release-notes/RELEASE-NOTES-2.3.12.md",
108
+ "docs/release-notes/RELEASE-NOTES-2.3.13.md",
109
+ "docs/release-notes/RELEASE-NOTES-2.3.14.md",
110
+ "docs/release-notes/RELEASE-NOTES-2.3.15.md",
111
+ "docs/release-notes/RELEASE-NOTES-2.3.16.md",
112
+ "docs/release-notes/RELEASE-NOTES-2.4.0.md",
113
+ "docs/release-notes/RELEASE-NOTES-2.4.1.md",
114
+ "docs/release-notes/RELEASE-NOTES-2.6.0.md",
115
+ "docs/release-notes/RELEASE-NOTES-2.7.0.md",
116
+ "docs/release-notes/RELEASE-NOTES-2.7.0.en.md",
117
+ "docs/release-notes/RELEASE-NOTES-2.5.0.md",
118
+ "docs/release-notes/RELEASE-NOTES-2.3.2.md",
119
+ "docs/release-notes/RELEASE-NOTES-2.3.3.md",
120
+ "docs/release-notes/RELEASE-NOTES-2.3.4.md",
121
+ "docs/release-notes/RELEASE-NOTES-2.3.5.md",
122
+ "docs/release-notes/RELEASE-NOTES-2.3.6.md",
123
+ "docs/release-notes/RELEASE-NOTES-2.3.7.md",
124
+ "docs/release-notes/RELEASE-NOTES-2.3.8.md",
125
+ "docs/release-notes/RELEASE-NOTES-2.3.9.md",
126
+ "示例图/框架图-v2.png",
127
+ "示例图/框架图-v2-en.svg",
128
+ "示例图/框架图-v3.png",
129
+ "示例图/框架图-v3-en.svg",
130
+ "示例图/框架图-v4.svg",
131
+ "示例图/框架图-v4-en.svg",
132
+ "示例图/框架图-v5.svg",
133
+ "示例图/框架图-v5-en.svg",
134
+ "示例图/实际使用示例-长截图.png",
135
+ "tests/audit-installer-compat.test.mjs",
136
+ "tests/audit-installer-policy.test.mjs",
137
+ "scripts/build-preset-rows.mjs",
138
+ "preset-declaration.js",
139
+ "tests/audit-preset-rows.test.mjs",
140
+ "docs/COMPAT-AUDIT-ROUND3.md",
141
+ "docs/release-notes/RELEASE-NOTES-2.7.1.md",
142
+ "docs/release-notes/RELEASE-NOTES-2.7.1.en.md",
143
+ "docs/release-notes/TEMPLATE.md",
144
+ "docs/release-notes/README.md",
145
+ "docs/release-notes/README.en.md",
146
+ "docs/release-notes/RELEASE-NOTES-2.7.2.md",
147
+ "docs/release-notes/RELEASE-NOTES-2.7.2.en.md"
148
+ ],
149
+ "license": "MIT",
150
+ "keywords": [
151
+ "deepseek-harness",
152
+ "dsh",
153
+ "dsh-plugin",
154
+ "agent-preset",
155
+ "multi-agent",
156
+ "mathematics",
157
+ "math",
158
+ "theorem-proving",
159
+ "verification",
160
+ "solver",
161
+ "llm-agents"
162
+ ],
163
+ "repository": {
164
+ "type": "git",
165
+ "url": "git+https://github.com/ChongCyrus/Vibe-Mathematics.git"
166
+ },
167
+ "homepage": "https://github.com/ChongCyrus/Vibe-Mathematics#readme",
168
+ "bugs": {
169
+ "url": "https://github.com/ChongCyrus/Vibe-Mathematics/issues"
170
+ },
171
+ "dsh": {
172
+ "bundle": {
173
+ "patch": "./cordis.patch.yml"
174
+ },
175
+ "minVersion": "0.1.2-alpha.4",
176
+ "testedVersion": "0.2.0-rc.2",
177
+ "compatNote": "v2.7.1 补丁版:① 诚实性与安装口径(替代方案改变精确性/结论强度必须声明;python 安装按检测到的环境分派 conda/mamba/uv/pip;R/Octave/Julia 的 system 作用域给出每引擎理由;版本求解交给包管理器,只按 base name 查存在,规格原样透传)+ ② 七个真机缺陷修复(probe 回显请求的引擎、发现 DSH 自带运行时、cli 包预检用 cli.command 的解释器、mode:code 真的传脚本且调用方 argv 优先、版本报真值、探针 argv 无 shell 元字符、探测 cwd 不再依赖项目目录已存在)+ 两条永久守卫(响应必须可 JSON 序列化;fresh-root 仿真)。既有参数默认值、数据格式与目录结构未变,DSH 支撑窗口不变,无需迁移。",
178
+ "compatibility": {
179
+ "dshReleases": {
180
+ "0.1.2-alpha.4": "compatible",
181
+ "0.1.2-alpha.5": "compatible",
182
+ "0.1.2-rc.1": "compatible",
183
+ "0.1.3-alpha.2": "compatible",
184
+ "0.1.5-alpha.1": "compatible",
185
+ "0.1.5-alpha.2": "compatible",
186
+ "0.1.5-rc.1": "compatible",
187
+ "0.1.5-rc.2": "compatible",
188
+ "0.1.6-alpha.2": "compatible",
189
+ "0.1.7-rc.2": "compatible",
190
+ "0.2.0-rc.2": "compatible"
191
+ }
192
+ },
193
+ "engines": {
194
+ "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"
195
+ }
196
+ },
197
+ "peerDependencies": {
198
+ "@deepseek-ai/dsh-base": ">=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"
199
+ },
200
+ "peerDependenciesMeta": {
201
+ "@deepseek-ai/dsh-base": {
202
+ "optional": true
203
+ }
204
+ },
205
+ "scripts": {
206
+ "build:presets": "node scripts/build-preset-rows.mjs"
207
+ }
208
+ }