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.
Files changed (153) hide show
  1. package/LICENSE +21 -21
  2. package/README.en.md +682 -681
  3. package/README.md +683 -682
  4. package/cordis.patch.yml +112 -16
  5. package/docs/AUDIT-CHECKLIST.md +755 -518
  6. package/docs/COMPAT-AUDIT-ROUND2.md +354 -328
  7. package/docs/COMPAT-AUDIT-ROUND3.md +154 -154
  8. package/docs/audit-methodology.md +93 -0
  9. package/docs/final-paper.md +172 -172
  10. package/docs/formal-verification.md +613 -588
  11. package/docs/generate_framework_diagram_v2.py +114 -114
  12. package/docs/generate_framework_diagram_v3.py +127 -127
  13. package/docs/math-computation.md +195 -187
  14. package/docs/parameter-schema.md +37 -0
  15. package/docs/release-notes/README.en.md +2 -0
  16. package/docs/release-notes/README.md +2 -0
  17. package/docs/release-notes/RELEASE-NOTES-2.0.22.md +112 -112
  18. package/docs/release-notes/RELEASE-NOTES-2.1.0.md +143 -143
  19. package/docs/release-notes/RELEASE-NOTES-2.2.0.md +266 -266
  20. package/docs/release-notes/RELEASE-NOTES-2.2.1.md +43 -43
  21. package/docs/release-notes/RELEASE-NOTES-2.2.2.md +88 -88
  22. package/docs/release-notes/RELEASE-NOTES-2.3.0.md +207 -207
  23. package/docs/release-notes/RELEASE-NOTES-2.3.1.md +134 -134
  24. package/docs/release-notes/RELEASE-NOTES-2.3.10.md +105 -105
  25. package/docs/release-notes/RELEASE-NOTES-2.3.11.md +57 -57
  26. package/docs/release-notes/RELEASE-NOTES-2.3.12.md +80 -80
  27. package/docs/release-notes/RELEASE-NOTES-2.3.2.md +145 -145
  28. package/docs/release-notes/RELEASE-NOTES-2.3.3.md +115 -115
  29. package/docs/release-notes/RELEASE-NOTES-2.3.4.md +69 -69
  30. package/docs/release-notes/RELEASE-NOTES-2.3.5.md +63 -63
  31. package/docs/release-notes/RELEASE-NOTES-2.3.6.md +66 -66
  32. package/docs/release-notes/RELEASE-NOTES-2.3.7.md +59 -59
  33. package/docs/release-notes/RELEASE-NOTES-2.3.8.md +45 -45
  34. package/docs/release-notes/RELEASE-NOTES-2.3.9.md +70 -70
  35. package/docs/release-notes/RELEASE-NOTES-2.7.2.en.md +2 -2
  36. package/docs/release-notes/RELEASE-NOTES-2.7.2.md +3 -3
  37. package/docs/release-notes/RELEASE-NOTES-2.7.3.en.md +67 -0
  38. package/docs/release-notes/RELEASE-NOTES-2.7.3.md +67 -0
  39. package/docs/release-notes/RELEASE-NOTES-2.8.0.en.md +65 -0
  40. package/docs/release-notes/RELEASE-NOTES-2.8.0.md +65 -0
  41. package/docs/release-notes/TEMPLATE.md +6 -0
  42. package/docs/release-playbook.md +103 -0
  43. package/docs/slv-playbook.md +117 -0
  44. package/docs/status-report-fields.md +167 -0
  45. package/docs/test-timing.md +158 -154
  46. package/docs//346/236/266/346/236/204/345/233/276.md +77 -77
  47. package/installer.js +793 -783
  48. package/package.json +260 -203
  49. package/prompt-corpus-persona/persona-corpus.json +9 -9
  50. package/prompt-corpus-persona/persona-corpus.md +225 -33
  51. package/prompt-corpus-v2/formal-verify-v2.json +295 -115
  52. package/prompt-corpus-v2/formal-verify-v2.md +2290 -282
  53. package/prompt-corpus-v3/formal-verify-v3.json +112 -112
  54. package/prompt-corpus-v3/formal-verify-v3.md +227 -143
  55. package/prompt-corpus-v4/formal-verify-v4.json +18 -18
  56. package/prompt-corpus-v4/formal-verify-v4.md +49 -44
  57. package/prompt-corpus-v5/prompt-corpus-v5.json +82 -82
  58. package/prompt-corpus-v5/prompt-corpus-v5.md +573 -207
  59. package/scripts/clean-temp.mjs +234 -0
  60. package/scripts/update-doc-counts.mjs +71 -0
  61. package/tests/audit-artifact-docs.mjs +72 -0
  62. package/tests/audit-artifact-docs.mutants.mjs +58 -0
  63. package/tests/audit-engine-faces.mjs +298 -0
  64. package/tests/audit-formal-sensitivity.mjs +345 -342
  65. package/tests/audit-installer-assertions.mutants.mjs +63 -0
  66. package/tests/audit-installer-compat.test.mjs +256 -208
  67. package/tests/audit-installer-policy.test.mjs +41 -8
  68. package/tests/audit-math-computation-contract.mjs +64 -8
  69. package/tests/audit-math-computation-contract.mutants.mjs +106 -0
  70. package/tests/audit-math-computation-parity.mjs +164 -3
  71. package/tests/audit-math-computation-sensitivity.mjs +5 -3
  72. package/tests/audit-package-membership.mjs +57 -0
  73. package/tests/audit-package-membership.mutants.mjs +28 -0
  74. package/tests/audit-participant-set-parity.mjs +160 -0
  75. package/tests/audit-path-discipline.mjs +83 -0
  76. package/tests/audit-path-discipline.mutants.mjs +51 -0
  77. package/tests/audit-persona-sensitivity.mjs +323 -309
  78. package/tests/audit-persona-surface.mutants.mjs +69 -0
  79. package/tests/audit-persona-surface.test.mjs +431 -390
  80. package/tests/audit-prompt-duplication.mjs +143 -0
  81. package/tests/audit-prompt-duplication.mutants.mjs +51 -0
  82. package/tests/audit-prompt-invariants.mjs +589 -508
  83. package/tests/audit-readme-bilingual.test.mjs +152 -0
  84. package/tests/audit-readme-counts.mjs +95 -0
  85. package/tests/audit-readme-counts.mutants.mjs +52 -0
  86. package/tests/audit-registration.mjs +78 -0
  87. package/tests/audit-spec-traceability.mjs +193 -193
  88. package/tests/audit-status-report-fields.mjs +172 -0
  89. package/tests/audit-status-report-fields.mutants.mjs +64 -0
  90. package/tests/audit-v3-registration-parity.mjs +156 -0
  91. package/tests/audit-v5-integrity.mjs +795 -508
  92. package/tests/audit-v5-lean-abstention.mjs +392 -0
  93. package/tests/audit-v5-lean-abstention.mutants.mjs +106 -0
  94. package/tests/audit-v5-prompt-duplication.mjs +88 -0
  95. package/tests/audit-v5-prompt-duplication.mutants.mjs +34 -0
  96. package/tests/audit-v5-sensitivity.mjs +433 -427
  97. package/tests/e2e-identity-a6.mutants.mjs +65 -0
  98. package/tests/e2e-v5-round2.test.mjs +2453 -1981
  99. package/tests/formal-verify-v2.test.mjs +1778 -1724
  100. package/tests/formal-verify-v3.mutants.mjs +117 -0
  101. package/tests/formal-verify-v3.test.mjs +1724 -1671
  102. package/tests/formal-verify-v4.mutants.mjs +152 -0
  103. package/tests/formal-verify-v4.test.mjs +2114 -1574
  104. package/tests/formal-verify-v5.test.mjs +790 -724
  105. package/tests/helpers/doc-counts-format.mjs +41 -0
  106. package/tests/helpers/math-computation-fake-seam.mjs +4 -0
  107. package/tests/math-computation-a1.mutants.mjs +72 -0
  108. package/tests/math-computation-archive-rerun.mutants.mjs +65 -0
  109. package/tests/math-computation-discovery.mutants.mjs +76 -0
  110. package/tests/math-computation-shared.test.mjs +392 -6
  111. package/tests/math-computation-v2.test.mjs +779 -0
  112. package/tests/math-computation-v3.test.mjs +771 -0
  113. package/tests/math-computation-v4.mutants.mjs +133 -0
  114. package/tests/math-computation-v4.test.mjs +739 -0
  115. package/tests/prompt-v5-integrity.test.mjs +1291 -1280
  116. package/tests/run-tests.mjs +393 -202
  117. package/tests/run-tests.mutants.mjs +70 -0
  118. package/tests/selfdrive-v5.mjs +560 -508
  119. package/tests/selfdrive-v5.mutants.mjs +132 -0
  120. package/tests/temp-hygiene.mutants.mjs +80 -0
  121. package/tests/v2-fix-probes.mutants.mjs +104 -0
  122. package/tests/v2-fix-probes.test.mjs +1040 -0
  123. package/tests/v2-list-agents-and-next-step.mutants.mjs +106 -0
  124. package/tests/v2v3-interrupt.mutants.mjs +111 -0
  125. package/tests/v3-fix-probes.mutants.mjs +99 -0
  126. package/tests/v3-fix-probes.test.mjs +892 -0
  127. package/tests/v4-final-paper.mutants.mjs +108 -0
  128. package/tests/v5-institute-fixes.mutants.mjs +218 -0
  129. package/vibe-math-v2/agent.cordis.yml +378 -322
  130. package/vibe-math-v2/math-computation.js +144 -53
  131. package/vibe-math-v2/math-engines.js +12 -12
  132. package/vibe-math-v2/preset.yml +2 -2
  133. package/vibe-math-v2/v2/347/232/204/351/242/235/345/244/226/350/246/201/346/261/202.txt +21 -21
  134. package/vibe-math-v2/vibe-math-v2.js +5097 -4755
  135. package/vibe-math-v2//345/256/236/347/216/260/346/226/271/346/241/210.md +491 -487
  136. package/vibe-math-v3/agent.cordis.yml +422 -356
  137. package/vibe-math-v3/math-computation.js +144 -53
  138. package/vibe-math-v3/math-engines.js +12 -12
  139. package/vibe-math-v3/preset.yml +2 -2
  140. package/vibe-math-v3/vibe-math-v3.js +6235 -5873
  141. package/vibe-math-v3//345/256/236/347/216/260/346/226/271/346/241/210.md +649 -649
  142. package/vibe-math-v4/agent.cordis.yml +438 -402
  143. package/vibe-math-v4/math-computation.js +144 -53
  144. package/vibe-math-v4/math-engines.js +12 -12
  145. package/vibe-math-v4/preset.yml +2 -2
  146. package/vibe-math-v4/vibe-math-v4.js +4490 -4269
  147. package/vibe-math-v4//345/256/236/347/216/260/346/226/271/346/241/210.md +1015 -1013
  148. package/vibe-math-v5/agent.cordis.yml +46 -12
  149. package/vibe-math-v5/math-computation.js +144 -53
  150. package/vibe-math-v5/math-engines.js +12 -12
  151. package/vibe-math-v5/vibe-math-v5.js +1266 -229
  152. package/vibe-math-v5//345/256/236/347/216/260/346/226/271/346/241/210.md +1728 -1660
  153. 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.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",
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
- "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
- }
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
+ }