dsh-vibe-math 2.2.0 → 2.2.1
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/AUDIT-CHECKLIST.md +145 -0
- package/README.md +14 -0
- package/RELEASE-NOTES-2.2.1.md +43 -0
- package/package.json +90 -88
- package/prompt-corpus-v5/prompt-corpus-v5.json +686 -38
- package/prompt-corpus-v5/prompt-corpus-v5.md +5227 -1511
|
@@ -0,0 +1,145 @@
|
|
|
1
|
+
# 全面检查（audit）必查清单
|
|
2
|
+
|
|
3
|
+
> **本文件是强制流程，不是建议。** 每次对本仓库做"全面检查 / 找 bug / 优化"时，
|
|
4
|
+
> **必须**逐项过一遍本清单。清单的来历是一次真实事故：v2.1.0 在实地测试中，
|
|
5
|
+
> 每个成员收到的提示词都写错了身份，而当时 123 条断言 + 15 个灵敏度探针**全部通过**。
|
|
6
|
+
> 事故的根因不是某一处代码写错，而是**审计维度本身漏了一整类**——没有人检查"成员读到的文字"。
|
|
7
|
+
|
|
8
|
+
---
|
|
9
|
+
|
|
10
|
+
## 0. 铁律
|
|
11
|
+
|
|
12
|
+
1. **成员读到的文字就是产品。** 提示词（人设 / 状态块 / 每轮问句 / 收件框头 / 回执契约）
|
|
13
|
+
必须像函数返回值一样被断言。任何只检查工具返回值、投影状态、文件内容的测试，
|
|
14
|
+
对提示词缺陷是**盲的**。
|
|
15
|
+
2. **身份一律显式传递，绝不猜测。** 禁止从"最近唤醒的成员""列表第一个"之类的全局状态推断
|
|
16
|
+
"这段文字是写给谁的"。宁可显式失败（`V5_INTERNAL`），也不要生成一段身份错误的提示词。
|
|
17
|
+
3. **测试脚本必须完整保留交互信息。** 断言之外，还要把交互原文落盘成可人工复核的语料
|
|
18
|
+
（见 §2.4）。"退出码 0"不是验收，"人能读到正确的原文"才是。
|
|
19
|
+
4. **探针必须真的能变红。** 一个灵敏度探针如果始终为绿，说明它守的那条不变式**其实没被测到**——
|
|
20
|
+
这比没有探针更糟（它给人虚假的安全感）。
|
|
21
|
+
|
|
22
|
+
---
|
|
23
|
+
|
|
24
|
+
## 1. 第一优先：提示词分配与交互内容
|
|
25
|
+
|
|
26
|
+
**这一节是最高优先级。历史上最致命的缺陷全部出在这里。**
|
|
27
|
+
|
|
28
|
+
### 1.1 身份分配
|
|
29
|
+
|
|
30
|
+
- [ ] 每条提示词里的身份（`[状态] 你是 X`）= 这条提示词**实际发给的成员** X？
|
|
31
|
+
- [ ] 表头里的身份（`【… —— <职位> <代号>】`）= `[状态]` 里的身份？
|
|
32
|
+
- [ ] 随行人设（persona）指向的资料库路径 = 该成员自己的（`Members/<该成员>/`）？
|
|
33
|
+
- [ ] 人设里的代号/职位 = 实际职位？
|
|
34
|
+
- [ ] 有没有任何地方从**全局可变状态**推断身份（`currentMember`、`list[0]`、闭包快照）？
|
|
35
|
+
- [ ] 成员**创建/唤醒的时序**：构造提示词时，该成员是否**已经**被写入权威状态？
|
|
36
|
+
（先落盘、再构造；顺序反了会得到"上一个成员"的身份与"加入前"的编制）
|
|
37
|
+
- [ ] 全文有没有 `?` / `undefined` / `NaN` / `[object Object]` 之类占位垃圾？
|
|
38
|
+
- [ ] 一条提示词里是否**只有一个**身份声明（不能出现两段互相矛盾的身份）？
|
|
39
|
+
|
|
40
|
+
### 1.2 编制 / 名额 / 门槛
|
|
41
|
+
|
|
42
|
+
- [ ] `[在册]` 是否包含读者**自己**？
|
|
43
|
+
- [ ] `[在册]` 是否与权威编制一致（不多、不少、无重复）？
|
|
44
|
+
- [ ] "有表决权者 N 人"是否等于 `[在册]` 里真正的表决者数（临时工不算）？
|
|
45
|
+
- [ ] `m = min(quorumCap, N)` 是否与状态块里报的一致？
|
|
46
|
+
- [ ] 未就位/失败/已除名的成员有没有被**如实**呈现（不能静默略去，也不能混进在册）？
|
|
47
|
+
- [ ] 轮次号在表头与状态块里是否一致？
|
|
48
|
+
- [ ] 编制变动（雇佣/解雇/增聘常驻）后，后续提示词是否立刻反映新编制？
|
|
49
|
+
|
|
50
|
+
### 1.3 名称与领袖叙事
|
|
51
|
+
|
|
52
|
+
- [ ] 章程/人设里出现的**每一个代号**是否都真实存在于当前编制？
|
|
53
|
+
- [ ] 有没有**硬编码**的代号（例如写死 `acad`），而实际编制可能不同？
|
|
54
|
+
- [ ] 当某种职位根本不存在时（例如 `academician:false`），章程是否仍然声称它存在、
|
|
55
|
+
要求成员向它汇报、或承诺它会派活？（这是"指向一个不存在的人"）
|
|
56
|
+
- [ ] 章程是**入职快照**还是每次重建都改写？如果它自称"你入职时的…"，就必须冻结在入职时。
|
|
57
|
+
|
|
58
|
+
### 1.4 交互内容（消息 / 群聊 / 会议 / 辩论 / 分派 / 雇佣）
|
|
59
|
+
|
|
60
|
+
- [ ] 每条送达消息的**框头署名 = 真实发送者**？（尤其：所办 ≠ 院士；不能署"最近唤醒的成员"）
|
|
61
|
+
- [ ] 框头**类型**是否正确？（私信 ≠ 致全体表决者；督办 ≠ 分派；所办分派 ≠ 院士分派）
|
|
62
|
+
- [ ] 系统/框架自己发出的反馈，**发送者**是否是框架自己（而不是"该成员发给自己"，
|
|
63
|
+
那会被自消息校验拒掉、静默失效）？
|
|
64
|
+
- [ ] 一次提示词里，**同一条消息是否只出现一次**？（先 ack 再构造，否则会投递两遍）
|
|
65
|
+
- [ ] 会议提示里"其他人的发言"是否只列**别人**、且用真实代号？
|
|
66
|
+
- [ ] 表决提示里的对象、陈述、历史票是否与该对象真正对应？
|
|
67
|
+
- [ ] 转述/中继的消息（提议开会、增聘、临时工意见、反对分派）是否署**真实发起人**？
|
|
68
|
+
- [ ] 分派/督办里"由谁分派""谁督办"是否与真实调用者一致？
|
|
69
|
+
- [ ] 人可读镜像（编制表、任务板、会议纪要、辩论录、结案）里的代号/职位/雇主是否正确？
|
|
70
|
+
- [ ] **回执契约**：框架实际处理的每个字段，是否都在 `replySpec` 里出现且按职位裁剪？
|
|
71
|
+
（藏起来的字段 = 不可发现的通道）
|
|
72
|
+
|
|
73
|
+
### 1.5 时序与幂等
|
|
74
|
+
|
|
75
|
+
- [ ] 重放同一事件（`subagent/end` 重复、重复提议）会不会产生**重复**的交互内容？
|
|
76
|
+
- [ ] 成员被解雇/失败后，还会不会收到后续消息？
|
|
77
|
+
- [ ] 会话重建（resume）后的提示词，措辞是否与"新入职"区分开？
|
|
78
|
+
|
|
79
|
+
---
|
|
80
|
+
|
|
81
|
+
## 2. 第二优先：把上面每一条变成**会变红**的测试
|
|
82
|
+
|
|
83
|
+
### 2.1 逐条断言，而不是抽查
|
|
84
|
+
|
|
85
|
+
对**每一条**捕获到的提示词都跑一遍通用扫描（身份一致性、编制一致性、无垃圾、无重复投递），
|
|
86
|
+
而不是只挑几条看。给出**精确的期望值**（例如 4 名创始成员各自的 `[在册]` / m / 表决者数），
|
|
87
|
+
而不是"包含某些关键词"。
|
|
88
|
+
|
|
89
|
+
### 2.2 期望值要能证伪
|
|
90
|
+
|
|
91
|
+
- 断言"此时**还没有**定论"时，**必须**同时断言"这一轮真的走完了"（例如断言阶段已推进到
|
|
92
|
+
`debate`、或恰好收齐 N 张票）。否则预算不足会让"还没有"**无条件成立**，
|
|
93
|
+
无论规则被破坏成什么样。
|
|
94
|
+
- 断言顺序：先确认前置状态已达成，再断言结果。
|
|
95
|
+
|
|
96
|
+
### 2.3 用例互相隔离
|
|
97
|
+
|
|
98
|
+
每个用例用**独立的会话根/工作区**，并在结束时暂停它。
|
|
99
|
+
否则一个用例遗留的心跳/会议/验证会污染下一个用例（表现为"某个用例莫名其妙收不到唤醒"）。
|
|
100
|
+
|
|
101
|
+
### 2.4 保留交互语料（**强制交付物**）
|
|
102
|
+
|
|
103
|
+
测试脚本除了断言，还必须把**框架真正发出的每一条提示词原文**落盘：
|
|
104
|
+
|
|
105
|
+
- 机器可读（JSON）+ 人可读（Markdown）；
|
|
106
|
+
- 覆盖全部交互类型（入职、重建、常规轮、心跳、表决初评/辩论、会议、提议、各类框头、框架提示、失败）；
|
|
107
|
+
- 把工作区路径归一化（如 `<WS>`），使语料**确定性、可 diff**；
|
|
108
|
+
- **随包发布**，作为人工复核提示词正确性的入口——复核者不必去翻会话日志。
|
|
109
|
+
|
|
110
|
+
### 2.5 每个不变式都要有灵敏度探针
|
|
111
|
+
|
|
112
|
+
- [ ] 每个"提示词/交互"不变式，都有一条探针**故意打破它**，并要求对应套件**变红**。
|
|
113
|
+
- [ ] **探针必须真的启动被测套件**：检查工作目录/路径解析。
|
|
114
|
+
曾因工作目录被百分号转义（Windows 中文路径 + `URL.pathname`）导致子进程**全部启动失败**，
|
|
115
|
+
"非零退出"被当成"探测成功"——整份审计是假的。
|
|
116
|
+
- [ ] **探针必须被目标套件真正读取**：曾因某个 e2e 套件**不读** `V5_PLUGIN` 环境变量，
|
|
117
|
+
针对它的探针跑的是**未变异**的插件，恒为绿。
|
|
118
|
+
- [ ] **变异必须真的改变行为**：很多守卫是互相遮蔽的，删掉其中一个其实是**语义惰性**的
|
|
119
|
+
（例如同一规则在三处重复检查，只削弱一处仍会被另外两处挡住）。
|
|
120
|
+
这类变异不能做探针——它会让审计误报"盲点"。
|
|
121
|
+
- [ ] 探针**不得引入语法错误**：语法错误导致的非零退出同样是"假红"。
|
|
122
|
+
每条变异都应能被 `node --check` 通过。
|
|
123
|
+
- [ ] 对**不可达**的守卫（设计上互斥、永远不会进入的分支），**不要**留一个永远为绿的探针；
|
|
124
|
+
要么写行为可观测的等价探针，要么显式删除并在脚本里注明原因。
|
|
125
|
+
|
|
126
|
+
---
|
|
127
|
+
|
|
128
|
+
## 3. 第三优先：其余（沿用既有做法）
|
|
129
|
+
|
|
130
|
+
- [ ] 静态自检：调用了但未定义的函数、未声明的参数键、不存在的会话 API 方法、
|
|
131
|
+
已文档化但从未抛出的错误码、遗留的开发标记。
|
|
132
|
+
- [ ] 需求可追溯：方案里列出的工具名、参数名、理念条目，代码里是否都存在。
|
|
133
|
+
- [ ] 失败路径：看门狗、幂等、崩溃恢复、降级后端、配额、越权。
|
|
134
|
+
- [ ] 全量回归：**所有**历史套件，且逐个检查退出码（不要用管道截断输出，
|
|
135
|
+
管道会吞掉退出码或造成 EPIPE）。
|
|
136
|
+
- [ ] 发布产物自证：不是"publish 退出 0"就算完成——要从 registry 取回 tarball，
|
|
137
|
+
核对 shasum、逐字节比对插件、确认修复标记存在、并在**已发布包内**跑一遍套件。
|
|
138
|
+
|
|
139
|
+
---
|
|
140
|
+
|
|
141
|
+
## 4. 汇报要求
|
|
142
|
+
|
|
143
|
+
- 缺陷要分**类**："这一整类此前没有审计维度"比"修了 N 个 bug"更重要。
|
|
144
|
+
- 假绿/假红必须单独说明：**审计本身失效**是最严重的发现。
|
|
145
|
+
- 每条结论都要给出**可复核的证据**（真实日志片段、语料原文、可重跑的命令与结果）。
|
package/README.md
CHANGED
|
@@ -78,6 +78,20 @@
|
|
|
78
78
|
- `audit-v5-sensitivity.mjs` — 29 个探针，每个都故意打破一条不变式并要求对应套件**变红**；
|
|
79
79
|
其中 14 个专打提示词/交互（身份、编制、框头、章程、回执契约、节流）。
|
|
80
80
|
|
|
81
|
+
### 📋 全面检查必查清单（`AUDIT-CHECKLIST.md`，随包发布）
|
|
82
|
+
|
|
83
|
+
本仓库的**强制流程**：每次做"全面检查 / 找 bug / 优化"都必须逐项过一遍。
|
|
84
|
+
它的来历就是上面那次事故——缺陷的根因不是某处代码写错，而是**审计维度本身漏了一整类**。
|
|
85
|
+
|
|
86
|
+
清单把 **① 提示词分配与交互内容正确性** 列为**第一优先**，并明确几条铁律：
|
|
87
|
+
|
|
88
|
+
- 成员读到的文字就是产品，必须像函数返回值一样被逐条断言；
|
|
89
|
+
- 身份一律**显式传递、绝不猜测**（宁可显式失败，也不要生成身份错误的提示词）；
|
|
90
|
+
- 测试脚本必须**完整保留交互语料**供人工复核（"退出码 0"不是验收）；
|
|
91
|
+
- 每个不变式都要有**真的能变红**的灵敏度探针——并检查探针确实启动了被测套件、
|
|
92
|
+
确实被目标套件读取、变异确实改变了行为、且没有引入语法错误
|
|
93
|
+
（这四种"假绿"在本次审计中**全部真实出现过**）。
|
|
94
|
+
|
|
81
95
|
详见 `vibe-math-v5/实现方案.md`（§14.5 提示词分配的正确性）与 `RELEASE-NOTES-2.2.0.md`。
|
|
82
96
|
|
|
83
97
|
---
|
|
@@ -0,0 +1,43 @@
|
|
|
1
|
+
# dsh-vibe-math 2.2.1 — 把「全面检查必查清单」作为随包强制流程发布
|
|
2
|
+
|
|
3
|
+
> 上一版：2.2.0（修复实测发现的提示词身份错乱）。本版**只增加交付物**，不改代码。
|
|
4
|
+
|
|
5
|
+
## 为什么单独发一版
|
|
6
|
+
|
|
7
|
+
2.2.0 修掉了一整类缺陷，但更重要的是**这一类缺陷此前没有任何审计维度**：
|
|
8
|
+
框架发给每个成员的提示词写错了身份，而当时 123 条断言 + 15 个灵敏度探针全部"通过"。
|
|
9
|
+
根因不是某处代码写错，而是**审计本身漏了一整类检查**。
|
|
10
|
+
|
|
11
|
+
为了让"以后每次全面检查都不再遗漏"成为**可执行、可复核的规则**而不是一句承诺，
|
|
12
|
+
本版把 `AUDIT-CHECKLIST.md` 作为**随包发布的强制流程**加进来。
|
|
13
|
+
|
|
14
|
+
## `AUDIT-CHECKLIST.md` 的内容
|
|
15
|
+
|
|
16
|
+
- **第一优先：提示词分配与交互内容正确性**（身份分配 / 编制与门槛 / 名称与领袖叙事 /
|
|
17
|
+
交互内容 / 时序与幂等），以检查项清单形式给出，每一项都对应一个具体的历史缺陷；
|
|
18
|
+
- **第二优先：把每一条变成会变红的测试**——逐条断言而非抽查、期望值必须能证伪、
|
|
19
|
+
用例互相隔离、**必须保留交互语料**、每个不变式都要有灵敏度探针；
|
|
20
|
+
- 并明确列出四种**假绿**的识别点，它们在本次审计中**全部真实出现过**：
|
|
21
|
+
1. 探针的工作目录被百分号转义（Windows 中文路径 + `URL.pathname`）→ 子进程全部启动失败，
|
|
22
|
+
"非零退出"被当成"探测成功"，整份审计是假的；
|
|
23
|
+
2. 某个 e2e 套件**不读** `V5_PLUGIN` → 针对它的探针跑的是**未变异**的插件，恒为绿；
|
|
24
|
+
3. 变异是**语义惰性**的（同一规则在多处重复检查，只削弱一处仍被其它处挡住）→ 误报"盲点"；
|
|
25
|
+
4. 变异引入**语法错误** → 同样是假红。
|
|
26
|
+
- 第三优先沿用既有做法（静态自检、需求可追溯、失败路径、全量回归、发布产物自证）。
|
|
27
|
+
|
|
28
|
+
## 交付物
|
|
29
|
+
|
|
30
|
+
| 文件 | 说明 |
|
|
31
|
+
|---|---|
|
|
32
|
+
| `AUDIT-CHECKLIST.md` | 全面检查必查清单（强制流程），随包发布 |
|
|
33
|
+
| `README.md` | 新增章节引用该清单，并说明四条铁律 |
|
|
34
|
+
|
|
35
|
+
代码、预设、`实现方案.md`、提示词语料**均与 2.2.0 完全一致**（无行为变更）。
|
|
36
|
+
|
|
37
|
+
## 升级
|
|
38
|
+
|
|
39
|
+
```
|
|
40
|
+
npm i dsh-vibe-math@latest
|
|
41
|
+
```
|
|
42
|
+
|
|
43
|
+
无迁移、无行为变化；只是把审计流程本身交付给使用者与未来的维护者。
|
package/package.json
CHANGED
|
@@ -1,88 +1,90 @@
|
|
|
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: qs.json + Propos knowledge base + explorer→solver→review/debate verdict), vibe-math-v3 (THIRD-generation, recommended: 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).",
|
|
4
|
-
"version": "2.2.
|
|
5
|
-
"type": "module",
|
|
6
|
-
"engines": {
|
|
7
|
-
"node": "^22.19.0 || >=24.0.0"
|
|
8
|
-
},
|
|
9
|
-
"main": "installer.js",
|
|
10
|
-
"exports": {
|
|
11
|
-
".": "./installer.js",
|
|
12
|
-
"./installer": "./installer.js",
|
|
13
|
-
"./cordis.patch.yml": "./cordis.patch.yml"
|
|
14
|
-
},
|
|
15
|
-
"files": [
|
|
16
|
-
"installer.js",
|
|
17
|
-
"cordis.patch.yml",
|
|
18
|
-
"RELEASE-NOTES-2.0.22.md",
|
|
19
|
-
"
|
|
20
|
-
"RELEASE-NOTES-2.
|
|
21
|
-
"
|
|
22
|
-
"
|
|
23
|
-
"
|
|
24
|
-
"
|
|
25
|
-
"
|
|
26
|
-
"
|
|
27
|
-
"
|
|
28
|
-
"
|
|
29
|
-
"
|
|
30
|
-
"vibe-math-v2/
|
|
31
|
-
"vibe-math-v2
|
|
32
|
-
"vibe-math-v2/v2
|
|
33
|
-
"vibe-math-
|
|
34
|
-
"vibe-math-
|
|
35
|
-
"vibe-math-v3/
|
|
36
|
-
"vibe-math-v3
|
|
37
|
-
"vibe-math-
|
|
38
|
-
"vibe-math-
|
|
39
|
-
"vibe-math-v4/
|
|
40
|
-
"vibe-math-v4
|
|
41
|
-
"vibe-math-
|
|
42
|
-
"vibe-math-
|
|
43
|
-
"vibe-math-v5/
|
|
44
|
-
"vibe-math-v5
|
|
45
|
-
|
|
46
|
-
|
|
47
|
-
|
|
48
|
-
|
|
49
|
-
|
|
50
|
-
"
|
|
51
|
-
"
|
|
52
|
-
"
|
|
53
|
-
"
|
|
54
|
-
"
|
|
55
|
-
"
|
|
56
|
-
"
|
|
57
|
-
"
|
|
58
|
-
"
|
|
59
|
-
|
|
60
|
-
|
|
61
|
-
|
|
62
|
-
|
|
63
|
-
|
|
64
|
-
|
|
65
|
-
|
|
66
|
-
|
|
67
|
-
|
|
68
|
-
|
|
69
|
-
|
|
70
|
-
|
|
71
|
-
|
|
72
|
-
|
|
73
|
-
|
|
74
|
-
"
|
|
75
|
-
"
|
|
76
|
-
|
|
77
|
-
|
|
78
|
-
|
|
79
|
-
"0.1.2-
|
|
80
|
-
"0.1.
|
|
81
|
-
"0.1.
|
|
82
|
-
"0.1.
|
|
83
|
-
"0.1.5-
|
|
84
|
-
"0.1.5-
|
|
85
|
-
|
|
86
|
-
|
|
87
|
-
|
|
88
|
-
}
|
|
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: qs.json + Propos knowledge base + explorer→solver→review/debate verdict), vibe-math-v3 (THIRD-generation, recommended: 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).",
|
|
4
|
+
"version": "2.2.1",
|
|
5
|
+
"type": "module",
|
|
6
|
+
"engines": {
|
|
7
|
+
"node": "^22.19.0 || >=24.0.0"
|
|
8
|
+
},
|
|
9
|
+
"main": "installer.js",
|
|
10
|
+
"exports": {
|
|
11
|
+
".": "./installer.js",
|
|
12
|
+
"./installer": "./installer.js",
|
|
13
|
+
"./cordis.patch.yml": "./cordis.patch.yml"
|
|
14
|
+
},
|
|
15
|
+
"files": [
|
|
16
|
+
"installer.js",
|
|
17
|
+
"cordis.patch.yml",
|
|
18
|
+
"RELEASE-NOTES-2.0.22.md",
|
|
19
|
+
"AUDIT-CHECKLIST.md",
|
|
20
|
+
"RELEASE-NOTES-2.1.0.md",
|
|
21
|
+
"RELEASE-NOTES-2.2.0.md",
|
|
22
|
+
"RELEASE-NOTES-2.2.1.md",
|
|
23
|
+
"selfdrive-v5.mjs",
|
|
24
|
+
"e2e-v5-round2.test.mjs",
|
|
25
|
+
"prompt-v5-integrity.test.mjs",
|
|
26
|
+
"audit-v5-sensitivity.mjs",
|
|
27
|
+
"audit-v5-integrity.mjs",
|
|
28
|
+
"prompt-corpus-v5/prompt-corpus-v5.md",
|
|
29
|
+
"prompt-corpus-v5/prompt-corpus-v5.json",
|
|
30
|
+
"vibe-math-v2/agent.cordis.yml",
|
|
31
|
+
"vibe-math-v2/preset.yml",
|
|
32
|
+
"vibe-math-v2/vibe-math-v2.js",
|
|
33
|
+
"vibe-math-v2/实现方案.md",
|
|
34
|
+
"vibe-math-v2/v2的额外要求.txt",
|
|
35
|
+
"vibe-math-v3/agent.cordis.yml",
|
|
36
|
+
"vibe-math-v3/preset.yml",
|
|
37
|
+
"vibe-math-v3/vibe-math-v3.js",
|
|
38
|
+
"vibe-math-v3/实现方案.md",
|
|
39
|
+
"vibe-math-v4/agent.cordis.yml",
|
|
40
|
+
"vibe-math-v4/preset.yml",
|
|
41
|
+
"vibe-math-v4/vibe-math-v4.js",
|
|
42
|
+
"vibe-math-v4/实现方案.md",
|
|
43
|
+
"vibe-math-v5/agent.cordis.yml",
|
|
44
|
+
"vibe-math-v5/preset.yml",
|
|
45
|
+
"vibe-math-v5/vibe-math-v5.js",
|
|
46
|
+
"vibe-math-v5/实现方案.md"
|
|
47
|
+
],
|
|
48
|
+
"license": "MIT",
|
|
49
|
+
"keywords": [
|
|
50
|
+
"deepseek-harness",
|
|
51
|
+
"dsh",
|
|
52
|
+
"dsh-plugin",
|
|
53
|
+
"agent-preset",
|
|
54
|
+
"multi-agent",
|
|
55
|
+
"mathematics",
|
|
56
|
+
"math",
|
|
57
|
+
"theorem-proving",
|
|
58
|
+
"verification",
|
|
59
|
+
"solver",
|
|
60
|
+
"llm-agents"
|
|
61
|
+
],
|
|
62
|
+
"repository": {
|
|
63
|
+
"type": "git",
|
|
64
|
+
"url": "git+https://github.com/ChongCyrus/Vibe-Mathematics.git"
|
|
65
|
+
},
|
|
66
|
+
"homepage": "https://github.com/ChongCyrus/Vibe-Mathematics#readme",
|
|
67
|
+
"bugs": {
|
|
68
|
+
"url": "https://github.com/ChongCyrus/Vibe-Mathematics/issues"
|
|
69
|
+
},
|
|
70
|
+
"dsh": {
|
|
71
|
+
"bundle": {
|
|
72
|
+
"patch": "./cordis.patch.yml"
|
|
73
|
+
},
|
|
74
|
+
"minVersion": "0.1.2-rc.1",
|
|
75
|
+
"testedVersion": "0.1.5-rc.2",
|
|
76
|
+
"compatNote": "依赖宿主提供的 subagents/agents/tools/commands/fs 服务与 @deepseek-ai/dsh-* 插件行；可选 subprocess/sandboxPolicy/compaction。persona 行同时携带 prefix 与 text 两个键，以兼容 0.1.3-alpha.2 的 schema 更名（prefix 必填）与 0.1.2 及更早的 text 键。已在 dsh-v0.1.5-rc.2（@deepseek-ai/dsh-persona 0.1.5-rc.2）上逐行校验全部预设行并通过（v2/v3/v4；v1 已于 v2.0.0 移除）。注意：DSH 0.1.2 起 subagents.startContinuable 的 agentOptions/toolFilter 需要宿主 provider 声明对应 capability（spawn/fork 进程内 provider 均支持），安装器启动时会做能力自检并在旧版宿主上告警。2026 兼容性修复：v2/v3 工具权限名表原先硬编码 web/fetch/bash（未注册名会使 tools.restrict() 抛错、子代理无法建立），现按真实注册名并加带守卫的重试；v4 真实 /compact 原先在 subagent/end 里查 agents.get()（该事件触发时子代理已移出注册表，属死代码），现改为在 subagent/start 捕获 Agent 引用；三套预设的可选服务改为惰性读取，不再在 apply() 快照；v4 的 tools/commands 注册补入 ctx.effect；安装器自检新增 subprocess/sandboxPolicy/compaction。v2.1.0 新增 v5 研究所体系：状态存于宿主 host-only 会话投影单元（键 vibeMathV5），因此自检新增 sessionProjections/sessions（均为可选；缺失时 v5 回退到加固 JSON 状态文件）。v5 不依赖任何 npm 实验包，纯 preset 内单文件实现。v2.2.1 把「全面检查必查清单」(AUDIT-CHECKLIST.md) 作为随包强制流程发布，提示词/交互正确性列为第一优先审计维度。v2.2.0 修复实测发现的提示词身份错乱：状态块改为显式接收它所描述的成员，创建成员时先落盘进编制再构造入职提示词，章程快照冻结在入职时，重建会话不再自称“刚入职”，所办调用不再被误判成某位研究员，框架反馈改为独立发送者投递，一次提示词不再重复投递同一条消息，并新增 prompt-v5-integrity 提示词完整性套件 + 可人工复核的提示词语料（随包发布）。",
|
|
77
|
+
"compatibility": {
|
|
78
|
+
"dshReleases": {
|
|
79
|
+
"0.1.2-alpha.4": "compatible",
|
|
80
|
+
"0.1.2-alpha.5": "compatible",
|
|
81
|
+
"0.1.2-rc.1": "compatible",
|
|
82
|
+
"0.1.3-alpha.2": "compatible",
|
|
83
|
+
"0.1.5-alpha.1": "compatible",
|
|
84
|
+
"0.1.5-alpha.2": "compatible",
|
|
85
|
+
"0.1.5-rc.1": "compatible",
|
|
86
|
+
"0.1.5-rc.2": "compatible"
|
|
87
|
+
}
|
|
88
|
+
}
|
|
89
|
+
}
|
|
90
|
+
}
|