dsh-vibe-math 2.5.0 → 2.6.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/README.en.md +41 -2
- package/README.md +41 -2
- package/cordis.patch.yml +22 -8
- package/docs/AUDIT-CHECKLIST.md +2 -2
- package/docs/final-paper.md +171 -0
- package/docs/release-notes/RELEASE-NOTES-2.6.0.md +268 -0
- package/docs/test-timing.md +8 -4
- package/package.json +5 -3
- package/prompt-corpus-persona/persona-corpus.json +13 -13
- package/prompt-corpus-persona/persona-corpus.md +49 -21
- package/prompt-corpus-v2/formal-verify-v2.json +12 -0
- package/prompt-corpus-v2/formal-verify-v2.md +144 -53
- package/prompt-corpus-v3/formal-verify-v3.json +36 -0
- package/prompt-corpus-v3/formal-verify-v3.md +405 -78
- package/tests/audit-persona-sensitivity.mjs +60 -7
- package/tests/audit-persona-surface.test.mjs +16 -7
- package/tests/e2e-v5-round2.test.mjs +471 -1
- package/tests/formal-verify-v2.test.mjs +3 -0
- package/tests/formal-verify-v3.test.mjs +4 -0
- package/tests/prompt-v5-integrity.test.mjs +9 -3
- package/tests/selfdrive-v5.mjs +55 -4
- package/vibe-math-v2/agent.cordis.yml +14 -4
- package/vibe-math-v2/vibe-math-v2.js +819 -11
- package/vibe-math-v3/agent.cordis.yml +10 -4
- package/vibe-math-v3/vibe-math-v3.js +800 -11
- package/vibe-math-v4/agent.cordis.yml +12 -4
- package/vibe-math-v4/vibe-math-v4.js +793 -8
- package/vibe-math-v5/agent.cordis.yml +8 -4
- package/vibe-math-v5/vibe-math-v5.js +1116 -8
- package/vibe-math-v5//345/256/236/347/216/260/346/226/271/346/241/210.md +70 -1
|
@@ -47,7 +47,10 @@
|
|
|
47
47
|
plannerEnabled/plannerProvider/plannerModel/plannerPersona, planMinIntervalMs, plannerMaxFails,
|
|
48
48
|
methodKeepIntervalMs/methodKeepEvery, methodAutoPromote, indexAutoRebuild, projectLockTimeoutMs,
|
|
49
49
|
formalVerify/leanCommand/leanArgs/leanTimeoutMs — Lean 形式化验证（off = 默认不额外要求，
|
|
50
|
-
encourage = 按实现难度自行形式化、Lean 通过后审查对象变为忠实性，require =
|
|
50
|
+
encourage = 按实现难度自行形式化、Lean 通过后审查对象变为忠实性，require = 同上并加结论门禁）,
|
|
51
|
+
finalPaper/paperFormat/paperLanguage/paperCompilePdf/paperLatexCommand — 最终论文（收口时自动派遣
|
|
52
|
+
「论文撰写」子代理，把已收口的解法/命题/成果整理成 Paper/<project>/；finalPaper=false 只关自动触发，
|
|
53
|
+
/vibe paper 仍可手动触发）。
|
|
51
54
|
- vibe_math_setup / vibe_math_save_settings / vibe_math_template — guided configuration / persist defaults / generate template.
|
|
52
55
|
- vibe_math_plan {force?} — show queued plan / last plan, or force a planning round.
|
|
53
56
|
- vibe_math_index — rebuild State/index.json from the Markdown knowledge base.
|
|
@@ -62,7 +65,7 @@
|
|
|
62
65
|
use them too; they work in every mode.
|
|
63
66
|
|
|
64
67
|
A /vibe slash command mirrors the main controls (/vibe start [override]|resume [override]|pause|abort|status|report|mode
|
|
65
|
-
<auto|manual>|setup|save|add <id> <desc>|add-proposition <id> <概述>|list-propositions|methods|index|plan|lock
|
|
68
|
+
<auto|manual>|setup|save|template [global|project]|add <id> <desc>|add-proposition <id> <概述>|list-propositions|methods|index|plan|lock|project [list|new <name>|<name>]|decisions|agents|paper [lang=zh|en] [format=both|md|tex] [force]).
|
|
66
69
|
Data survives restarts via vibe_math_resume.
|
|
67
70
|
|
|
68
71
|
Key rules when reporting: a problem is "solved" when one of its 解法候选 entries reaches 概率 = 1
|
|
@@ -129,7 +132,10 @@
|
|
|
129
132
|
plannerEnabled/plannerProvider/plannerModel/plannerPersona, planMinIntervalMs, plannerMaxFails,
|
|
130
133
|
methodKeepIntervalMs/methodKeepEvery, methodAutoPromote, indexAutoRebuild, projectLockTimeoutMs,
|
|
131
134
|
formalVerify/leanCommand/leanArgs/leanTimeoutMs — Lean 形式化验证（off = 默认不额外要求，
|
|
132
|
-
encourage = 按实现难度自行形式化、Lean 通过后审查对象变为忠实性，require =
|
|
135
|
+
encourage = 按实现难度自行形式化、Lean 通过后审查对象变为忠实性，require = 同上并加结论门禁）,
|
|
136
|
+
finalPaper/paperFormat/paperLanguage/paperCompilePdf/paperLatexCommand — 最终论文（收口时自动派遣
|
|
137
|
+
「论文撰写」子代理，把已收口的解法/命题/成果整理成 Paper/<project>/；finalPaper=false 只关自动触发，
|
|
138
|
+
/vibe paper 仍可手动触发）。
|
|
133
139
|
- vibe_math_setup / vibe_math_save_settings / vibe_math_template — guided configuration / persist defaults / generate template.
|
|
134
140
|
- vibe_math_plan {force?} — show queued plan / last plan, or force a planning round.
|
|
135
141
|
- vibe_math_index — rebuild State/index.json from the Markdown knowledge base.
|
|
@@ -144,7 +150,7 @@
|
|
|
144
150
|
use them too; they work in every mode.
|
|
145
151
|
|
|
146
152
|
A /vibe slash command mirrors the main controls (/vibe start [override]|resume [override]|pause|abort|status|report|mode
|
|
147
|
-
<auto|manual>|setup|save|add <id> <desc>|add-proposition <id> <概述>|list-propositions|methods|index|plan|lock
|
|
153
|
+
<auto|manual>|setup|save|template [global|project]|add <id> <desc>|add-proposition <id> <概述>|list-propositions|methods|index|plan|lock|project [list|new <name>|<name>]|decisions|agents|paper [lang=zh|en] [format=both|md|tex] [force]).
|
|
148
154
|
Data survives restarts via vibe_math_resume.
|
|
149
155
|
|
|
150
156
|
Key rules when reporting: a problem is "solved" when one of its 解法候选 entries reaches 概率 = 1
|