dsh-vibe-math 2.7.2 → 2.8.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.
- package/LICENSE +21 -21
- package/README.en.md +682 -681
- package/README.md +683 -682
- package/cordis.patch.yml +112 -16
- package/docs/AUDIT-CHECKLIST.md +755 -518
- package/docs/COMPAT-AUDIT-ROUND2.md +354 -328
- 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 -187
- package/docs/parameter-schema.md +37 -0
- 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.7.2.en.md +2 -2
- package/docs/release-notes/RELEASE-NOTES-2.7.2.md +3 -3
- package/docs/release-notes/RELEASE-NOTES-2.7.3.en.md +67 -0
- package/docs/release-notes/RELEASE-NOTES-2.7.3.md +67 -0
- 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/TEMPLATE.md +6 -0
- package/docs/release-playbook.md +103 -0
- package/docs/slv-playbook.md +117 -0
- package/docs/status-report-fields.md +167 -0
- package/docs/test-timing.md +158 -154
- package/docs//346/236/266/346/236/204/345/233/276.md +77 -77
- package/installer.js +793 -783
- package/package.json +260 -203
- package/prompt-corpus-persona/persona-corpus.json +9 -9
- package/prompt-corpus-persona/persona-corpus.md +225 -33
- package/prompt-corpus-v2/formal-verify-v2.json +295 -115
- package/prompt-corpus-v2/formal-verify-v2.md +2290 -282
- package/prompt-corpus-v3/formal-verify-v3.json +112 -112
- package/prompt-corpus-v3/formal-verify-v3.md +227 -143
- package/prompt-corpus-v4/formal-verify-v4.json +18 -18
- package/prompt-corpus-v4/formal-verify-v4.md +49 -44
- package/prompt-corpus-v5/prompt-corpus-v5.json +82 -82
- package/prompt-corpus-v5/prompt-corpus-v5.md +573 -207
- package/scripts/clean-temp.mjs +234 -0
- package/scripts/update-doc-counts.mjs +71 -0
- package/tests/audit-artifact-docs.mjs +72 -0
- package/tests/audit-artifact-docs.mutants.mjs +58 -0
- package/tests/audit-engine-faces.mjs +298 -0
- package/tests/audit-formal-sensitivity.mjs +345 -342
- package/tests/audit-installer-assertions.mutants.mjs +63 -0
- package/tests/audit-installer-compat.test.mjs +256 -208
- package/tests/audit-installer-policy.test.mjs +41 -8
- package/tests/audit-math-computation-contract.mjs +64 -8
- package/tests/audit-math-computation-contract.mutants.mjs +106 -0
- package/tests/audit-math-computation-parity.mjs +164 -3
- package/tests/audit-math-computation-sensitivity.mjs +5 -3
- package/tests/audit-package-membership.mjs +57 -0
- package/tests/audit-package-membership.mutants.mjs +28 -0
- package/tests/audit-participant-set-parity.mjs +160 -0
- package/tests/audit-path-discipline.mjs +83 -0
- package/tests/audit-path-discipline.mutants.mjs +51 -0
- package/tests/audit-persona-sensitivity.mjs +323 -309
- package/tests/audit-persona-surface.mutants.mjs +69 -0
- package/tests/audit-persona-surface.test.mjs +431 -390
- package/tests/audit-prompt-duplication.mjs +143 -0
- package/tests/audit-prompt-duplication.mutants.mjs +51 -0
- package/tests/audit-prompt-invariants.mjs +589 -508
- package/tests/audit-readme-bilingual.test.mjs +152 -0
- package/tests/audit-readme-counts.mjs +95 -0
- package/tests/audit-readme-counts.mutants.mjs +52 -0
- package/tests/audit-registration.mjs +78 -0
- package/tests/audit-spec-traceability.mjs +193 -193
- package/tests/audit-status-report-fields.mjs +172 -0
- package/tests/audit-status-report-fields.mutants.mjs +64 -0
- package/tests/audit-v3-registration-parity.mjs +156 -0
- package/tests/audit-v5-integrity.mjs +795 -508
- package/tests/audit-v5-lean-abstention.mjs +392 -0
- package/tests/audit-v5-lean-abstention.mutants.mjs +106 -0
- package/tests/audit-v5-prompt-duplication.mjs +88 -0
- package/tests/audit-v5-prompt-duplication.mutants.mjs +34 -0
- package/tests/audit-v5-sensitivity.mjs +433 -427
- package/tests/e2e-identity-a6.mutants.mjs +65 -0
- package/tests/e2e-v5-round2.test.mjs +2453 -1981
- package/tests/formal-verify-v2.test.mjs +1778 -1724
- package/tests/formal-verify-v3.mutants.mjs +117 -0
- package/tests/formal-verify-v3.test.mjs +1724 -1671
- package/tests/formal-verify-v4.mutants.mjs +152 -0
- package/tests/formal-verify-v4.test.mjs +2114 -1574
- package/tests/formal-verify-v5.test.mjs +790 -724
- package/tests/helpers/doc-counts-format.mjs +41 -0
- package/tests/helpers/math-computation-fake-seam.mjs +4 -0
- package/tests/math-computation-a1.mutants.mjs +72 -0
- package/tests/math-computation-archive-rerun.mutants.mjs +65 -0
- package/tests/math-computation-discovery.mutants.mjs +76 -0
- package/tests/math-computation-shared.test.mjs +392 -6
- package/tests/math-computation-v2.test.mjs +779 -0
- package/tests/math-computation-v3.test.mjs +771 -0
- package/tests/math-computation-v4.mutants.mjs +133 -0
- package/tests/math-computation-v4.test.mjs +739 -0
- package/tests/prompt-v5-integrity.test.mjs +1291 -1280
- package/tests/run-tests.mjs +393 -202
- package/tests/run-tests.mutants.mjs +70 -0
- package/tests/selfdrive-v5.mjs +560 -508
- package/tests/selfdrive-v5.mutants.mjs +132 -0
- package/tests/temp-hygiene.mutants.mjs +80 -0
- package/tests/v2-fix-probes.mutants.mjs +104 -0
- package/tests/v2-fix-probes.test.mjs +1040 -0
- package/tests/v2-list-agents-and-next-step.mutants.mjs +106 -0
- package/tests/v2v3-interrupt.mutants.mjs +111 -0
- package/tests/v3-fix-probes.mutants.mjs +99 -0
- package/tests/v3-fix-probes.test.mjs +892 -0
- package/tests/v4-final-paper.mutants.mjs +108 -0
- package/tests/v5-institute-fixes.mutants.mjs +218 -0
- package/vibe-math-v2/agent.cordis.yml +378 -322
- package/vibe-math-v2/math-computation.js +144 -53
- package/vibe-math-v2/math-engines.js +12 -12
- 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 +5097 -4755
- package/vibe-math-v2//345/256/236/347/216/260/346/226/271/346/241/210.md +491 -487
- package/vibe-math-v3/agent.cordis.yml +422 -356
- package/vibe-math-v3/math-computation.js +144 -53
- package/vibe-math-v3/math-engines.js +12 -12
- package/vibe-math-v3/preset.yml +2 -2
- package/vibe-math-v3/vibe-math-v3.js +6235 -5873
- 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 -402
- package/vibe-math-v4/math-computation.js +144 -53
- package/vibe-math-v4/math-engines.js +12 -12
- package/vibe-math-v4/preset.yml +2 -2
- package/vibe-math-v4/vibe-math-v4.js +4490 -4269
- package/vibe-math-v4//345/256/236/347/216/260/346/226/271/346/241/210.md +1015 -1013
- package/vibe-math-v5/agent.cordis.yml +46 -12
- package/vibe-math-v5/math-computation.js +144 -53
- package/vibe-math-v5/math-engines.js +12 -12
- package/vibe-math-v5/vibe-math-v5.js +1266 -229
- package/vibe-math-v5//345/256/236/347/216/260/346/226/271/346/241/210.md +1728 -1660
- package/vibe-math-v5//346/236/266/346/236/204/345/233/276.md +693 -693
package/package.json
CHANGED
|
@@ -1,208 +1,265 @@
|
|
|
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.
|
|
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
|
-
"
|
|
40
|
-
"
|
|
41
|
-
"tests/audit-math-computation-
|
|
42
|
-
"tests/
|
|
43
|
-
"tests/
|
|
44
|
-
"
|
|
45
|
-
"
|
|
46
|
-
"
|
|
47
|
-
"
|
|
48
|
-
"
|
|
49
|
-
"
|
|
50
|
-
"
|
|
51
|
-
"
|
|
52
|
-
"tests/
|
|
53
|
-
"tests/
|
|
54
|
-
"tests/
|
|
55
|
-
"tests/
|
|
56
|
-
"tests/
|
|
57
|
-
"
|
|
58
|
-
"
|
|
59
|
-
"
|
|
60
|
-
"
|
|
61
|
-
"
|
|
62
|
-
"
|
|
63
|
-
"
|
|
64
|
-
"
|
|
65
|
-
"
|
|
66
|
-
"
|
|
67
|
-
"
|
|
68
|
-
"tests/
|
|
69
|
-
"tests/
|
|
70
|
-
"
|
|
71
|
-
"tests/
|
|
72
|
-
"
|
|
73
|
-
"
|
|
74
|
-
"
|
|
75
|
-
"
|
|
76
|
-
"
|
|
77
|
-
"
|
|
78
|
-
"
|
|
79
|
-
"
|
|
80
|
-
"
|
|
81
|
-
"
|
|
82
|
-
"
|
|
83
|
-
"
|
|
84
|
-
"
|
|
85
|
-
"
|
|
86
|
-
"
|
|
87
|
-
"
|
|
88
|
-
"
|
|
89
|
-
"
|
|
90
|
-
"
|
|
91
|
-
"
|
|
92
|
-
"
|
|
93
|
-
"
|
|
94
|
-
"
|
|
95
|
-
"
|
|
96
|
-
"
|
|
97
|
-
"
|
|
98
|
-
"docs/
|
|
99
|
-
"
|
|
100
|
-
"
|
|
101
|
-
"
|
|
102
|
-
"
|
|
103
|
-
"
|
|
104
|
-
"
|
|
105
|
-
"
|
|
106
|
-
"
|
|
107
|
-
"
|
|
108
|
-
"
|
|
109
|
-
"
|
|
110
|
-
"
|
|
111
|
-
"
|
|
112
|
-
"
|
|
113
|
-
"
|
|
114
|
-
"
|
|
115
|
-
"
|
|
116
|
-
"
|
|
117
|
-
"
|
|
118
|
-
"
|
|
119
|
-
"
|
|
120
|
-
"
|
|
121
|
-
"
|
|
122
|
-
"
|
|
123
|
-
"
|
|
124
|
-
"
|
|
125
|
-
"
|
|
126
|
-
"
|
|
127
|
-
"
|
|
128
|
-
"
|
|
129
|
-
"
|
|
130
|
-
"
|
|
131
|
-
"
|
|
132
|
-
"
|
|
133
|
-
"
|
|
134
|
-
"
|
|
135
|
-
"
|
|
136
|
-
"
|
|
137
|
-
"
|
|
138
|
-
"
|
|
139
|
-
"
|
|
140
|
-
"
|
|
141
|
-
"
|
|
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.8.0",
|
|
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
|
+
"docs/parameter-schema.md",
|
|
40
|
+
"docs/status-report-fields.md",
|
|
41
|
+
"tests/audit-math-computation-parity.mjs",
|
|
42
|
+
"tests/audit-participant-set-parity.mjs",
|
|
43
|
+
"tests/audit-readme-bilingual.test.mjs",
|
|
44
|
+
"tests/audit-v3-registration-parity.mjs",
|
|
45
|
+
"tests/audit-registration.mjs",
|
|
46
|
+
"tests/math-computation-v2.test.mjs",
|
|
47
|
+
"tests/math-computation-v3.test.mjs",
|
|
48
|
+
"tests/math-computation-v4.test.mjs",
|
|
49
|
+
"tests/v2-fix-probes.test.mjs",
|
|
50
|
+
"tests/v3-fix-probes.test.mjs",
|
|
51
|
+
"tests/audit-prompt-duplication.mjs",
|
|
52
|
+
"tests/audit-prompt-duplication.mutants.mjs",
|
|
53
|
+
"tests/audit-v5-lean-abstention.mjs",
|
|
54
|
+
"tests/audit-v5-lean-abstention.mutants.mjs",
|
|
55
|
+
"tests/audit-v5-prompt-duplication.mutants.mjs",
|
|
56
|
+
"tests/v3-fix-probes.mutants.mjs",
|
|
57
|
+
"tests/v2-fix-probes.mutants.mjs",
|
|
58
|
+
"tests/audit-package-membership.mjs",
|
|
59
|
+
"tests/audit-package-membership.mutants.mjs",
|
|
60
|
+
"tests/audit-v5-prompt-duplication.mjs",
|
|
61
|
+
"tests/math-computation-a1.mutants.mjs",
|
|
62
|
+
"tests/e2e-identity-a6.mutants.mjs",
|
|
63
|
+
"tests/v5-institute-fixes.mutants.mjs",
|
|
64
|
+
"tests/formal-verify-v4.mutants.mjs",
|
|
65
|
+
"tests/formal-verify-v3.mutants.mjs",
|
|
66
|
+
"tests/math-computation-v4.mutants.mjs",
|
|
67
|
+
"tests/selfdrive-v5.mutants.mjs",
|
|
68
|
+
"tests/audit-readme-counts.mjs",
|
|
69
|
+
"tests/audit-readme-counts.mutants.mjs",
|
|
70
|
+
"tests/helpers/doc-counts-format.mjs",
|
|
71
|
+
"tests/audit-artifact-docs.mjs",
|
|
72
|
+
"tests/audit-artifact-docs.mutants.mjs",
|
|
73
|
+
"tests/audit-status-report-fields.mjs",
|
|
74
|
+
"tests/audit-status-report-fields.mutants.mjs",
|
|
75
|
+
"tests/audit-installer-assertions.mutants.mjs",
|
|
76
|
+
"tests/audit-persona-surface.mutants.mjs",
|
|
77
|
+
"tests/math-computation-discovery.mutants.mjs",
|
|
78
|
+
"tests/math-computation-archive-rerun.mutants.mjs",
|
|
79
|
+
"tests/v2-list-agents-and-next-step.mutants.mjs",
|
|
80
|
+
"docs/audit-methodology.md",
|
|
81
|
+
"docs/release-playbook.md",
|
|
82
|
+
"docs/slv-playbook.md",
|
|
83
|
+
"tests/audit-engine-faces.mjs",
|
|
84
|
+
"tests/audit-path-discipline.mutants.mjs",
|
|
85
|
+
"tests/audit-path-discipline.mjs",
|
|
86
|
+
"tests/audit-math-computation-contract.mjs",
|
|
87
|
+
"tests/audit-math-computation-contract.mutants.mjs",
|
|
88
|
+
"tests/audit-math-computation-sensitivity.mjs",
|
|
89
|
+
"tests/math-computation-shared.test.mjs",
|
|
90
|
+
"tests/helpers/math-computation-fake-seam.mjs",
|
|
91
|
+
"docs/generate_framework_diagram_v2.py",
|
|
92
|
+
"docs/generate_framework_diagram_v3.py",
|
|
93
|
+
"docs/generate_framework_diagram_v4.mjs",
|
|
94
|
+
"docs/generate_framework_diagram_v5.mjs",
|
|
95
|
+
"docs/generate_framework_diagram_v3_en.mjs",
|
|
96
|
+
"docs/generate_framework_diagram_v2_en.mjs",
|
|
97
|
+
"docs/render_framework_diagram_png.mjs",
|
|
98
|
+
"docs/test-timing.md",
|
|
99
|
+
"tests/e2e-v5-round2.test.mjs",
|
|
100
|
+
"tests/formal-verify-v2.test.mjs",
|
|
101
|
+
"tests/formal-verify-v3.test.mjs",
|
|
102
|
+
"tests/formal-verify-v4.test.mjs",
|
|
103
|
+
"tests/formal-verify-v5.test.mjs",
|
|
104
|
+
"installer.js",
|
|
105
|
+
"prompt-corpus-persona/persona-corpus.json",
|
|
106
|
+
"prompt-corpus-persona/persona-corpus.md",
|
|
107
|
+
"prompt-corpus-v2/formal-verify-v2.json",
|
|
108
|
+
"prompt-corpus-v2/formal-verify-v2.md",
|
|
109
|
+
"prompt-corpus-v3/formal-verify-v3.json",
|
|
110
|
+
"prompt-corpus-v3/formal-verify-v3.md",
|
|
111
|
+
"prompt-corpus-v4/formal-verify-v4.json",
|
|
112
|
+
"prompt-corpus-v4/formal-verify-v4.md",
|
|
113
|
+
"prompt-corpus-v5/prompt-corpus-v5.json",
|
|
114
|
+
"prompt-corpus-v5/prompt-corpus-v5.md",
|
|
115
|
+
"tests/prompt-v5-integrity.test.mjs",
|
|
116
|
+
"tests/run-tests.mjs",
|
|
117
|
+
"tests/v4-final-paper.mutants.mjs",
|
|
118
|
+
"tests/run-tests.mutants.mjs",
|
|
119
|
+
"screenshots.json",
|
|
120
|
+
"tests/selfdrive-v5.mjs",
|
|
121
|
+
"vibe-math-v2/实现方案.md",
|
|
122
|
+
"vibe-math-v2/agent.cordis.yml",
|
|
123
|
+
"vibe-math-v2/preset.yml",
|
|
124
|
+
"vibe-math-v2/v2的额外要求.txt",
|
|
125
|
+
"vibe-math-v2/vibe-math-v2.js",
|
|
126
|
+
"vibe-math-v2/math-computation.js",
|
|
127
|
+
"vibe-math-v2/math-engines.js",
|
|
128
|
+
"vibe-math-v3/实现方案.md",
|
|
129
|
+
"vibe-math-v3/agent.cordis.yml",
|
|
130
|
+
"vibe-math-v3/preset.yml",
|
|
131
|
+
"vibe-math-v3/vibe-math-v3.js",
|
|
132
|
+
"vibe-math-v3/math-computation.js",
|
|
133
|
+
"vibe-math-v3/math-engines.js",
|
|
134
|
+
"vibe-math-v4/实现方案.md",
|
|
135
|
+
"vibe-math-v4/agent.cordis.yml",
|
|
136
|
+
"vibe-math-v4/preset.yml",
|
|
137
|
+
"vibe-math-v4/vibe-math-v4.js",
|
|
138
|
+
"vibe-math-v4/math-computation.js",
|
|
139
|
+
"vibe-math-v4/math-engines.js",
|
|
140
|
+
"vibe-math-v5/架构图.md",
|
|
141
|
+
"vibe-math-v5/实现方案.md",
|
|
142
|
+
"vibe-math-v5/agent.cordis.yml",
|
|
143
|
+
"vibe-math-v5/preset.yml",
|
|
144
|
+
"vibe-math-v5/vibe-math-v5.js",
|
|
145
|
+
"vibe-math-v5/math-computation.js",
|
|
146
|
+
"vibe-math-v5/math-engines.js",
|
|
147
|
+
"docs/release-notes/RELEASE-NOTES-2.0.22.md",
|
|
148
|
+
"docs/release-notes/RELEASE-NOTES-2.1.0.md",
|
|
149
|
+
"docs/release-notes/RELEASE-NOTES-2.2.0.md",
|
|
150
|
+
"docs/release-notes/RELEASE-NOTES-2.2.1.md",
|
|
151
|
+
"docs/release-notes/RELEASE-NOTES-2.2.2.md",
|
|
152
|
+
"docs/release-notes/RELEASE-NOTES-2.3.0.md",
|
|
153
|
+
"docs/release-notes/RELEASE-NOTES-2.3.1.md",
|
|
154
|
+
"docs/release-notes/RELEASE-NOTES-2.3.10.md",
|
|
155
|
+
"docs/release-notes/RELEASE-NOTES-2.3.11.md",
|
|
156
|
+
"docs/release-notes/RELEASE-NOTES-2.3.12.md",
|
|
157
|
+
"docs/release-notes/RELEASE-NOTES-2.3.13.md",
|
|
158
|
+
"docs/release-notes/RELEASE-NOTES-2.3.14.md",
|
|
159
|
+
"docs/release-notes/RELEASE-NOTES-2.3.15.md",
|
|
160
|
+
"docs/release-notes/RELEASE-NOTES-2.3.16.md",
|
|
161
|
+
"docs/release-notes/RELEASE-NOTES-2.4.0.md",
|
|
162
|
+
"docs/release-notes/RELEASE-NOTES-2.4.1.md",
|
|
163
|
+
"docs/release-notes/RELEASE-NOTES-2.6.0.md",
|
|
164
|
+
"docs/release-notes/RELEASE-NOTES-2.7.0.md",
|
|
165
|
+
"docs/release-notes/RELEASE-NOTES-2.7.0.en.md",
|
|
166
|
+
"docs/release-notes/RELEASE-NOTES-2.5.0.md",
|
|
167
|
+
"docs/release-notes/RELEASE-NOTES-2.3.2.md",
|
|
168
|
+
"docs/release-notes/RELEASE-NOTES-2.3.3.md",
|
|
169
|
+
"docs/release-notes/RELEASE-NOTES-2.3.4.md",
|
|
170
|
+
"docs/release-notes/RELEASE-NOTES-2.3.5.md",
|
|
171
|
+
"docs/release-notes/RELEASE-NOTES-2.3.6.md",
|
|
172
|
+
"docs/release-notes/RELEASE-NOTES-2.3.7.md",
|
|
173
|
+
"docs/release-notes/RELEASE-NOTES-2.3.8.md",
|
|
174
|
+
"docs/release-notes/RELEASE-NOTES-2.3.9.md",
|
|
175
|
+
"示例图/框架图-v2.png",
|
|
176
|
+
"示例图/框架图-v2-en.svg",
|
|
177
|
+
"示例图/框架图-v3.png",
|
|
178
|
+
"示例图/框架图-v3-en.svg",
|
|
179
|
+
"示例图/框架图-v4.svg",
|
|
180
|
+
"示例图/框架图-v4-en.svg",
|
|
181
|
+
"示例图/框架图-v5.svg",
|
|
182
|
+
"示例图/框架图-v5-en.svg",
|
|
183
|
+
"示例图/实际使用示例-长截图.png",
|
|
184
|
+
"tests/audit-installer-compat.test.mjs",
|
|
185
|
+
"tests/audit-installer-policy.test.mjs",
|
|
186
|
+
"scripts/build-preset-rows.mjs",
|
|
187
|
+
"scripts/update-doc-counts.mjs",
|
|
188
|
+
"scripts/clean-temp.mjs",
|
|
189
|
+
"tests/temp-hygiene.mutants.mjs",
|
|
190
|
+
"tests/v2v3-interrupt.mutants.mjs",
|
|
191
|
+
"preset-declaration.js",
|
|
192
|
+
"tests/audit-preset-rows.test.mjs",
|
|
193
|
+
"docs/COMPAT-AUDIT-ROUND3.md",
|
|
194
|
+
"docs/release-notes/RELEASE-NOTES-2.7.1.md",
|
|
142
195
|
"docs/release-notes/RELEASE-NOTES-2.7.1.en.md",
|
|
143
196
|
"docs/release-notes/TEMPLATE.md",
|
|
144
197
|
"docs/release-notes/README.md",
|
|
145
198
|
"docs/release-notes/README.en.md",
|
|
146
199
|
"docs/release-notes/RELEASE-NOTES-2.7.2.md",
|
|
147
|
-
"docs/release-notes/RELEASE-NOTES-2.7.2.en.md"
|
|
148
|
-
|
|
149
|
-
|
|
150
|
-
|
|
151
|
-
"
|
|
152
|
-
|
|
153
|
-
|
|
154
|
-
|
|
155
|
-
"
|
|
156
|
-
"
|
|
157
|
-
"
|
|
158
|
-
"
|
|
159
|
-
"
|
|
160
|
-
"
|
|
161
|
-
"
|
|
162
|
-
|
|
163
|
-
|
|
164
|
-
"
|
|
165
|
-
"
|
|
166
|
-
|
|
167
|
-
"
|
|
168
|
-
|
|
169
|
-
"url": "https://github.com/ChongCyrus/Vibe-Mathematics
|
|
170
|
-
},
|
|
171
|
-
"
|
|
172
|
-
|
|
173
|
-
|
|
174
|
-
|
|
175
|
-
|
|
176
|
-
"
|
|
177
|
-
|
|
178
|
-
|
|
179
|
-
|
|
180
|
-
|
|
181
|
-
|
|
182
|
-
|
|
183
|
-
|
|
184
|
-
"0.1.
|
|
185
|
-
"0.1.
|
|
186
|
-
"0.1.
|
|
187
|
-
"0.1.
|
|
188
|
-
"0.1.
|
|
189
|
-
"0.1.
|
|
190
|
-
"0.
|
|
191
|
-
|
|
192
|
-
|
|
193
|
-
|
|
194
|
-
|
|
195
|
-
|
|
196
|
-
|
|
197
|
-
|
|
198
|
-
|
|
199
|
-
|
|
200
|
-
|
|
201
|
-
|
|
202
|
-
|
|
203
|
-
|
|
204
|
-
|
|
205
|
-
|
|
206
|
-
|
|
207
|
-
|
|
208
|
-
}
|
|
200
|
+
"docs/release-notes/RELEASE-NOTES-2.7.2.en.md",
|
|
201
|
+
"docs/release-notes/RELEASE-NOTES-2.7.3.md",
|
|
202
|
+
"docs/release-notes/RELEASE-NOTES-2.7.3.en.md",
|
|
203
|
+
"docs/release-notes/RELEASE-NOTES-2.8.0.md",
|
|
204
|
+
"docs/release-notes/RELEASE-NOTES-2.8.0.en.md"
|
|
205
|
+
],
|
|
206
|
+
"license": "MIT",
|
|
207
|
+
"keywords": [
|
|
208
|
+
"deepseek-harness",
|
|
209
|
+
"dsh",
|
|
210
|
+
"dsh-plugin",
|
|
211
|
+
"agent-preset",
|
|
212
|
+
"multi-agent",
|
|
213
|
+
"mathematics",
|
|
214
|
+
"math",
|
|
215
|
+
"theorem-proving",
|
|
216
|
+
"verification",
|
|
217
|
+
"solver",
|
|
218
|
+
"llm-agents"
|
|
219
|
+
],
|
|
220
|
+
"repository": {
|
|
221
|
+
"type": "git",
|
|
222
|
+
"url": "git+https://github.com/ChongCyrus/Vibe-Mathematics.git"
|
|
223
|
+
},
|
|
224
|
+
"homepage": "https://github.com/ChongCyrus/Vibe-Mathematics#readme",
|
|
225
|
+
"bugs": {
|
|
226
|
+
"url": "https://github.com/ChongCyrus/Vibe-Mathematics/issues"
|
|
227
|
+
},
|
|
228
|
+
"dsh": {
|
|
229
|
+
"bundle": {
|
|
230
|
+
"patch": "./cordis.patch.yml"
|
|
231
|
+
},
|
|
232
|
+
"minVersion": "0.1.2-alpha.4",
|
|
233
|
+
"testedVersion": "0.2.0-rc.2",
|
|
234
|
+
"compatNote": "v2.8.0 功能版:显式引擎「指定即只用它」,并补齐引擎缺失时的可行动指引。① paperLatexCommand 非空时只用它:解析不到就按「未检测到」降级(v4/v5 此前会静默回落到别的引擎),与文档及 v2/v3 口径一致;想自动选择引擎请把该参数留空。② 未检测到引擎的具名警告说明已探测 PATH 与文档化的常见 TeX 根,并给出用绝对路径固定的方法;四套预设的提示词新增同一段指引(四步:有界自查 → 把绝对路径写入 paperLatexCommand 并重测 → 问用户一次 → 否则照旧降级)与三条硬边界(不自动安装、不写工作区之外、不把「未检测到」当失败)。③ 论文编译元数据新增 triedPaths(本次探测过的路径并集,成功与失败都记录;旧 meta 仍可读)。④ 宿主拒绝中断时返回具名 code 与可执行的 next;该失败路径已有回归守卫(既有行为未变)。⑤ 自行运行测试套件者:默认并发 min(2, cpus)、启动时清扫超过 6 小时的陈旧测试临时目录、临时根优先使用更宽裕的盘、疑似遗留进程只读告警;仓库新增 .gitattributes 统一 LF,npm 包逐字节可复现。参数名与默认值、数据格式与目录结构均未变;DSH 支撑窗口不变;无需迁移。",
|
|
235
|
+
"compatibility": {
|
|
236
|
+
"dshReleases": {
|
|
237
|
+
"0.1.2-alpha.4": "compatible",
|
|
238
|
+
"0.1.2-alpha.5": "compatible",
|
|
239
|
+
"0.1.2-rc.1": "compatible",
|
|
240
|
+
"0.1.3-alpha.2": "compatible",
|
|
241
|
+
"0.1.5-alpha.1": "compatible",
|
|
242
|
+
"0.1.5-alpha.2": "compatible",
|
|
243
|
+
"0.1.5-rc.1": "compatible",
|
|
244
|
+
"0.1.5-rc.2": "compatible",
|
|
245
|
+
"0.1.6-alpha.2": "compatible",
|
|
246
|
+
"0.1.7-rc.2": "compatible",
|
|
247
|
+
"0.2.0-rc.2": "compatible"
|
|
248
|
+
}
|
|
249
|
+
},
|
|
250
|
+
"engines": {
|
|
251
|
+
"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"
|
|
252
|
+
}
|
|
253
|
+
},
|
|
254
|
+
"peerDependencies": {
|
|
255
|
+
"@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"
|
|
256
|
+
},
|
|
257
|
+
"peerDependenciesMeta": {
|
|
258
|
+
"@deepseek-ai/dsh-base": {
|
|
259
|
+
"optional": true
|
|
260
|
+
}
|
|
261
|
+
},
|
|
262
|
+
"scripts": {
|
|
263
|
+
"build:presets": "node scripts/build-preset-rows.mjs"
|
|
264
|
+
}
|
|
265
|
+
}
|