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
|
@@ -89,17 +89,19 @@
|
|
|
89
89
|
Main controls (recommended flow: configure FIRST, then start):
|
|
90
90
|
- vibe_v5_configure {project?, institute?, problem?, params?} — create/configure the institute WITHOUT starting it.
|
|
91
91
|
- vibe_v5_start {problem?, researcherCount?, academician?, seedDirections?} — found the institute (academician + researchers) and begin.
|
|
92
|
-
- vibe_v5_set {…} — tune params (persisted). provider/model override staff LLM routes (empty = inherit YOUR route); toolAllow/toolDeny restrict staff tools.
|
|
92
|
+
- vibe_v5_set {…} — tune params (persisted). provider/model override staff LLM routes (empty = inherit YOUR route); toolAllow/toolDeny restrict staff tools; finalPaper/paperFormat/paperLanguage/paperCompilePdf/paperEditor/paperLatexCommand tune the FINAL PAPER.
|
|
93
93
|
- vibe_v5_pause / vibe_v5_resume / vibe_v5_stop / vibe_v5_status / vibe_v5_report.
|
|
94
94
|
- vibe_v5_message {to|all, content} — relay a human message into the institute.
|
|
95
95
|
- vibe_v5_meeting {agenda, kind} — convene a meeting.
|
|
96
96
|
- vibe_v5_members — roster (office/employer/status/direction).
|
|
97
97
|
- vibe_v5_hire / vibe_v5_fire — temp workers: hire one (office, academician or a permanent researcher) / dismiss one for real.
|
|
98
98
|
- vibe_v5_add_researcher / vibe_v5_remove_researcher — OFFICE only: add or dismiss a PERMANENT researcher (the academician can only propose those).
|
|
99
|
+
- vibe_v5_paper {lang?, format?, editor?, force?} — write the FINAL PAPER: the permanent staff write their own parts, cross-review each other, then the editor finalises. lang/format/editor override this one paper only.
|
|
100
|
+
- vibe_v5_finalize_paper {decision, note, conclusion?} — OFFICE only when paperEditor=office: consult the institute first (>=1 office message + >=1 meeting), then finalise and put the conclusion in note.
|
|
99
101
|
- vibe_v5_lean_run / vibe_v5_lean_archive / vibe_v5_lean_lib — Lean formal
|
|
100
102
|
verification (execute / archive / list the reuse library). Members use them
|
|
101
103
|
too; they work in every mode.
|
|
102
|
-
A /v5 slash command mirrors these (configure|start|resume|pause|stop|status|report|members|message|meeting|hire|fire|add|remove|set).
|
|
104
|
+
A /v5 slash command mirrors these (configure|start|resume|pause|stop|status|report|members|message|meeting|hire|fire|add|remove|set|paper).
|
|
103
105
|
|
|
104
106
|
LEAN FORMAL VERIFICATION (formalVerify, a tunable parameter):
|
|
105
107
|
- 'off' (default, no extra requirement) | 'encourage' (members decide by
|
|
@@ -185,17 +187,19 @@
|
|
|
185
187
|
Main controls (recommended flow: configure FIRST, then start):
|
|
186
188
|
- vibe_v5_configure {project?, institute?, problem?, params?} — create/configure the institute WITHOUT starting it.
|
|
187
189
|
- vibe_v5_start {problem?, researcherCount?, academician?, seedDirections?} — found the institute (academician + researchers) and begin.
|
|
188
|
-
- vibe_v5_set {…} — tune params (persisted). provider/model override staff LLM routes (empty = inherit YOUR route); toolAllow/toolDeny restrict staff tools.
|
|
190
|
+
- vibe_v5_set {…} — tune params (persisted). provider/model override staff LLM routes (empty = inherit YOUR route); toolAllow/toolDeny restrict staff tools; finalPaper/paperFormat/paperLanguage/paperCompilePdf/paperEditor/paperLatexCommand tune the FINAL PAPER.
|
|
189
191
|
- vibe_v5_pause / vibe_v5_resume / vibe_v5_stop / vibe_v5_status / vibe_v5_report.
|
|
190
192
|
- vibe_v5_message {to|all, content} — relay a human message into the institute.
|
|
191
193
|
- vibe_v5_meeting {agenda, kind} — convene a meeting.
|
|
192
194
|
- vibe_v5_members — roster (office/employer/status/direction).
|
|
193
195
|
- vibe_v5_hire / vibe_v5_fire — temp workers: hire one (office, academician or a permanent researcher) / dismiss one for real.
|
|
194
196
|
- vibe_v5_add_researcher / vibe_v5_remove_researcher — OFFICE only: add or dismiss a PERMANENT researcher (the academician can only propose those).
|
|
197
|
+
- vibe_v5_paper {lang?, format?, editor?, force?} — write the FINAL PAPER: the permanent staff write their own parts, cross-review each other, then the editor finalises. lang/format/editor override this one paper only.
|
|
198
|
+
- vibe_v5_finalize_paper {decision, note, conclusion?} — OFFICE only when paperEditor=office: consult the institute first (>=1 office message + >=1 meeting), then finalise and put the conclusion in note.
|
|
195
199
|
- vibe_v5_lean_run / vibe_v5_lean_archive / vibe_v5_lean_lib — Lean formal
|
|
196
200
|
verification (execute / archive / list the reuse library). Members use them
|
|
197
201
|
too; they work in every mode.
|
|
198
|
-
A /v5 slash command mirrors these (configure|start|resume|pause|stop|status|report|members|message|meeting|hire|fire|add|remove|set).
|
|
202
|
+
A /v5 slash command mirrors these (configure|start|resume|pause|stop|status|report|members|message|meeting|hire|fire|add|remove|set|paper).
|
|
199
203
|
|
|
200
204
|
LEAN FORMAL VERIFICATION (formalVerify, a tunable parameter):
|
|
201
205
|
- 'off' (default, no extra requirement) | 'encourage' (members decide by
|