dsh-vibe-math 2.3.12 → 2.3.14
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.md +17 -13
- package/cordis.patch.yml +1 -1
- package/{AUDIT-CHECKLIST.md → docs/AUDIT-CHECKLIST.md} +323 -304
- package/docs/COMPAT-AUDIT-ROUND2.md +325 -0
- package/docs/generate_framework_diagram_v2.py +114 -0
- package/docs/generate_framework_diagram_v3.py +127 -0
- package/{RELEASE-NOTES-2.1.0.md → docs/release-notes/RELEASE-NOTES-2.1.0.md} +143 -143
- package/{RELEASE-NOTES-2.2.0.md → docs/release-notes/RELEASE-NOTES-2.2.0.md} +266 -266
- package/{RELEASE-NOTES-2.2.1.md → docs/release-notes/RELEASE-NOTES-2.2.1.md} +43 -43
- package/{RELEASE-NOTES-2.2.2.md → docs/release-notes/RELEASE-NOTES-2.2.2.md} +88 -88
- package/{RELEASE-NOTES-2.3.0.md → docs/release-notes/RELEASE-NOTES-2.3.0.md} +207 -207
- package/{RELEASE-NOTES-2.3.1.md → docs/release-notes/RELEASE-NOTES-2.3.1.md} +134 -134
- package/{RELEASE-NOTES-2.3.10.md → docs/release-notes/RELEASE-NOTES-2.3.10.md} +105 -105
- package/{RELEASE-NOTES-2.3.11.md → docs/release-notes/RELEASE-NOTES-2.3.11.md} +57 -57
- package/{RELEASE-NOTES-2.3.12.md → docs/release-notes/RELEASE-NOTES-2.3.12.md} +80 -80
- package/docs/release-notes/RELEASE-NOTES-2.3.13.md +137 -0
- package/docs/release-notes/RELEASE-NOTES-2.3.14.md +83 -0
- package/{RELEASE-NOTES-2.3.2.md → docs/release-notes/RELEASE-NOTES-2.3.2.md} +145 -145
- package/{RELEASE-NOTES-2.3.3.md → docs/release-notes/RELEASE-NOTES-2.3.3.md} +115 -115
- package/{RELEASE-NOTES-2.3.4.md → docs/release-notes/RELEASE-NOTES-2.3.4.md} +69 -69
- package/{RELEASE-NOTES-2.3.5.md → docs/release-notes/RELEASE-NOTES-2.3.5.md} +63 -63
- package/{RELEASE-NOTES-2.3.6.md → docs/release-notes/RELEASE-NOTES-2.3.6.md} +66 -66
- package/{RELEASE-NOTES-2.3.7.md → docs/release-notes/RELEASE-NOTES-2.3.7.md} +59 -59
- package/{RELEASE-NOTES-2.3.8.md → docs/release-notes/RELEASE-NOTES-2.3.8.md} +45 -45
- package/{RELEASE-NOTES-2.3.9.md → docs/release-notes/RELEASE-NOTES-2.3.9.md} +70 -70
- package/docs/test-timing.md +19 -18
- package/installer.js +115 -41
- package/package.json +43 -37
- package/{audit-formal-sensitivity.mjs → tests/audit-formal-sensitivity.mjs} +342 -342
- package/{audit-installer-compat.test.mjs → tests/audit-installer-compat.test.mjs} +136 -136
- package/tests/audit-installer-policy.test.mjs +261 -0
- package/{audit-persona-sensitivity.mjs → tests/audit-persona-sensitivity.mjs} +249 -249
- package/{audit-persona-surface.test.mjs → tests/audit-persona-surface.test.mjs} +349 -349
- package/{audit-prompt-invariants.mjs → tests/audit-prompt-invariants.mjs} +508 -508
- package/{audit-spec-traceability.mjs → tests/audit-spec-traceability.mjs} +193 -193
- package/{audit-v5-integrity.mjs → tests/audit-v5-integrity.mjs} +448 -448
- package/{audit-v5-sensitivity.mjs → tests/audit-v5-sensitivity.mjs} +384 -384
- package/{e2e-v5-round2.test.mjs → tests/e2e-v5-round2.test.mjs} +521 -521
- package/{formal-verify-v2.test.mjs → tests/formal-verify-v2.test.mjs} +1315 -1315
- package/{formal-verify-v3.test.mjs → tests/formal-verify-v3.test.mjs} +1257 -1257
- package/{formal-verify-v4.test.mjs → tests/formal-verify-v4.test.mjs} +1082 -1082
- package/{formal-verify-v5.test.mjs → tests/formal-verify-v5.test.mjs} +708 -708
- package/{prompt-v5-integrity.test.mjs → tests/prompt-v5-integrity.test.mjs} +3 -3
- package/{run-tests.mjs → tests/run-tests.mjs} +121 -118
- package/{selfdrive-v5.mjs → tests/selfdrive-v5.mjs} +470 -470
- package/vibe-math-v4//345/256/236/347/216/260/346/226/271/346/241/210.md +1 -1
- package/vibe-math-v5//345/256/236/347/216/260/346/226/271/346/241/210.md +1 -1
- package/vibe-math-v5//346/236/266/346/236/204/345/233/276.md +1 -1
- /package/{RELEASE-NOTES-2.0.22.md → docs/release-notes/RELEASE-NOTES-2.0.22.md} +0 -0
|
@@ -515,7 +515,7 @@ VibeMath/Projects/<project>/
|
|
|
515
515
|
此前 `provider`/`model` 参数在 `DEFAULT_PARAMS` 里**声明但从未被使用**（死参数），且**没有任何工具权限参数**。现补齐并真正落地：
|
|
516
516
|
- **模型继承**：默认**常驻继承主代理（main assistant）的 provider/model 路由**（DSH `resolveChildAgentOptions` 把请求项并到父路由之上）。通过 `params.provider`/`params.model` 可**覆盖**常驻的 LLM 后端/模型（空=继承）。
|
|
517
517
|
- **工具权限**：新增 `params.toolAllow` / `params.toolDeny`，经 `startContinuable` 的 `toolFilter` 做**作用域 `tools.restrict()`**（被点名的工具从常驻提示里消失且拒绝执行）。默认两者为空 → **常驻继承全部工具**（含 fs 与各 `vibe_v4_*`）；只有显式配置才收权。⚠️ 注意"deny-all 陷阱"：**空 `allow:[]` 会拒绝一切工具**，因此只有当 allow 或 deny 至少有一项时才会发出 filter。
|
|
518
|
-
> **2026 补充**：`tools.restrict()` 对**未注册的工具名直接抛错**（`dsh-tools/lib/index.js:2803`），而 filter 是在建立 continuable 子代理时应用的（`dsh-subagent/lib/index.js:554`），因此**名字写错会让子代理根本建不起来**。v4 只用用户传入的名字、不硬编码网络/脚本名，所以默认不受影响；v2/v3 曾硬编码 `web`/`fetch`/`bash` 而中招（见 `../COMPAT-AUDIT-ROUND2.md` F-2）。
|
|
518
|
+
> **2026 补充**：`tools.restrict()` 对**未注册的工具名直接抛错**（`dsh-tools/lib/index.js:2803`），而 filter 是在建立 continuable 子代理时应用的（`dsh-subagent/lib/index.js:554`），因此**名字写错会让子代理根本建不起来**。v4 只用用户传入的名字、不硬编码网络/脚本名，所以默认不受影响；v2/v3 曾硬编码 `web`/`fetch`/`bash` 而中招（见 `../docs/COMPAT-AUDIT-ROUND2.md` F-2）。
|
|
519
519
|
- **接线**：`spawnResident` 现把 `residentAgentOptions()`（provider/model）与 `residentToolFilter()`（toolAllow/toolDeny）传入 `startContinuable`；`setParams` 做类型归一（整数 / 逗号分隔的数组）；`vibe_v4_set` schema 与 `status()` 参数串也已加这些新参数。
|
|
520
520
|
|
|
521
521
|
### 3. 修复"[核心规则重申]+[CONTEXT COMPACT]"在提示开头重复泄漏（v1.4.1-③）
|
|
@@ -915,7 +915,7 @@ pass，而该 pass 又立刻唤醒同一个任务所有者 —— 一个未完
|
|
|
915
915
|
的会议检查），所以成员在会议进行中回执 `propose_verify` 时，第二个共识过程会**真的并发启动**，
|
|
916
916
|
进而与会议争夺同一批成员、饿死会议的看门狗时钟。
|
|
917
917
|
（这个不对称是在为 v5 画架构图、被迫把"会议与验证互斥"写成明确的不变式之后，
|
|
918
|
-
拿它去逐条对代码才暴露出来的 —— 见 `../AUDIT-CHECKLIST.md` §3。）
|
|
918
|
+
拿它去逐条对代码才暴露出来的 —— 见 `../docs/AUDIT-CHECKLIST.md` §3。）
|
|
919
919
|
|
|
920
920
|
与 v4 的实质差别：v4 靠 `activityTimeoutMs` 心跳**轮询**；v5 的主驱动是 **M1 的一次性活动等待**（DSH 官方机制），心跳降级为兜底，token 消耗显著下降。
|
|
921
921
|
|
|
@@ -437,4 +437,4 @@ flowchart LR
|
|
|
437
437
|
| Lean 路径守卫按词法归一 `..`（字符串前缀检查会被穿越绕过） | `formal-verify-v5.test.mjs` |
|
|
438
438
|
| 解雇是真实的（释放子会话、收回任务） | `selfdrive-v5.mjs` |
|
|
439
439
|
| 跨进程恢复不丢研究所 | `e2e-v5-round2.test.mjs` |
|
|
440
|
-
| 每条不变式都有能让套件变红的探针 | `audit-v5-sensitivity.mjs` + [`../AUDIT-CHECKLIST.md`](../AUDIT-CHECKLIST.md) |
|
|
440
|
+
| 每条不变式都有能让套件变红的探针 | `audit-v5-sensitivity.mjs` + [`../docs/AUDIT-CHECKLIST.md`](../docs/AUDIT-CHECKLIST.md) |
|
|
File without changes
|