dsh-vibe-math 0.3.19 → 1.0.0

package/README.md

@@ -82,7 +82,7 @@ dsh plugin --profile <你的 profile> add github:ChongCyrus/Vibe-Mathematics
 
 - **形态依赖**：两个 preset 依赖 DSH 的标准 **agent-preset 机制**（`~/.dsh/.agent-presets/<id>/` + preset picker）与 **bundle patch 机制**（`cordis.patch.yml` 注入安装器）。
 - **宿主插件行**：`agent.cordis.yml` 引用宿主提供的 `@deepseek-ai/dsh-*` 插件行（persona、agent-instructions、tool-bash/pwsh、tool-fs/fs-search、tool-jobs、skill-filesystem、tool-skill、tool-goal、plan-mode、compaction、subagent/workflow、ask-user、todo、web 等，约 21 个唯一包名）。宿主缺行会导致 preset 挂载失败（会话启动时报错）。
-- **宿主服务 API**：预设插件消费 `subagents`（startContinuable / followup / interrupt）、`agents`（roots）、`tools`（register）、`commands`（register）、`fs`（resolve/stat/readText/writeText/listDir），可选 `subprocess` / `sandboxPolicy`。这些 API 形状随 DSH 版本演进，**低于 `package.json` 中 `dsh.minVersion`（实测基线 `0.1.0-rc.5`）的版本未验证**，可能无法挂载。
+- **宿主服务 API**：预设插件消费 `subagents`（startContinuable / followup / interrupt）、`agents`（roots）、`tools`（register）、`commands`（register）、`fs`（resolve/stat/readText/writeText/listDir），可选 `subprocess` / `sandboxPolicy`。这些 API 形状随 DSH 版本演进；本项目**已充分测试并确认适配 `dsh-v0.1.0-rc.7`**（`package.json` 的 `dsh.minVersion` / `testedVersion` 均为 `0.1.0-rc.7`），低于该版本的 DSH 未验证，可能无法挂载。
 - **运行时自检**：安装器（bundle 插件）每次启动时对上述服务与关键 API 做**能力自检**（DSH 不暴露版本号，故按能力而非版本检测）；不满足时打 warning 并提示升级 DSH。preset 挂载失败时先看 DSH 日志里的自检 warning。
 - **升级路径**：DSH 升级后无需重装本包；升级本包用 `dsh plugin update dsh-vibe-math`，重启 DSH 后安装器会自动把 preset 更新到新版本（见上文「安装」说明）。
 

package/installer.js

@@ -84,9 +84,9 @@ function checkHostCapabilities(ctx, logger) {
     }
   }
   if (problems.length > 0) {
-    logger?.warn?.('[dsh-vibe-math] 宿主能力自检：' + problems.length + ' 项不满足（' + problems.join('；') + '）。两个 preset 依赖这些宿主服务/API，旧版 DSH 可能无法挂载，建议升级 DSH（本项目实测基线版本 0.1.0-rc.5，见 package.json 的 dsh.minVersion）。')
+    logger?.warn?.('[dsh-vibe-math] 宿主能力自检：' + problems.length + ' 项不满足（' + problems.join('；') + '）。两个 preset 依赖这些宿主服务/API，旧版 DSH 可能无法挂载，建议升级 DSH（本项目已充分测试并确认适配 dsh-v0.1.0-rc.7，见 package.json 的 dsh.minVersion）。')
   } else {
-    logger?.info?.('[dsh-vibe-math] 宿主能力自检通过：subagents / agents / tools / commands / fs 服务及关键 API 均可用（实测基线 DSH 0.1.0-rc.5）。')
+    logger?.info?.('[dsh-vibe-math] 宿主能力自检通过：subagents / agents / tools / commands / fs 服务及关键 API 均可用（已确认适配 DSH 0.1.0-rc.7）。')
   }
 }
 

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "dsh-vibe-math",
   "description": "Multi-agent mathematical problem-solving & verification frameworks for DeepSeek Harness — TWO agent presets in one install: vibe-math-v1 (classic pipeline: brainstorm → solver iteration → multi-verifier debate → Verified) and vibe-math-v2 (new probability-driven architecture: qs.json + Propos knowledge base + explorer→solver→review/debate verdict). Installing this bundle auto-installs both presets into the DSH preset root.",
-  "version": "0.3.19",
+  "version": "1.0.0",
   "type": "module",
   "main": "installer.js",
   "exports": {
@@ -19,7 +19,8 @@
     "vibe-math-v2/agent.cordis.yml",
     "vibe-math-v2/preset.yml",
     "vibe-math-v2/vibe-math-v2.js",
-    "vibe-math-v2/实现方案.md"
+    "vibe-math-v2/实现方案.md",
+    "vibe-math-v2/v2的额外要求.txt"
   ],
   "license": "MIT",
   "keywords": [
@@ -47,8 +48,8 @@
     "bundle": {
       "patch": "./cordis.patch.yml"
     },
-    "minVersion": "0.1.0-rc.5",
-    "testedVersion": "0.1.0-rc.5",
-    "compatNote": "依赖宿主提供的 subagents/agents/tools/commands/fs 服务与 @deepseek-ai/dsh-* 插件行；低于 minVersion 的 DSH 未验证，可能无法挂载 preset（安装器启动时会做能力自检并告警）"
+    "minVersion": "0.1.0-rc.7",
+    "testedVersion": "0.1.0-rc.7",
+    "compatNote": "依赖宿主提供的 subagents/agents/tools/commands/fs 服务与 @deepseek-ai/dsh-* 插件行；本项目已充分测试并确认适配 dsh-v0.1.0-rc.7（低于 minVersion 的 DSH 未验证，可能无法挂载 preset；安装器启动时会做能力自检并告警）"
   }
 }

package/vibe-math-v2/v2/347/232/204/351/242/235/345/244/226/350/246/201/346/261/202.txt

@@ -0,0 +1,22 @@
+判断当前 v2 的下述是否已实现、当前是否符合下述，若未实现则请实现，过程中有不明确或觉得不合理或有自己建议时请询问我来决策：
+
+1 .当前是否按我说的只允许“命题、命题+证明/证伪、问题+解法”被调度到验证器？以及是否按我说的只允许“问题”被调度到求解器solve。
+
+2 .当前是否实现：当“命题”、“问题”的“证明/证伪/解法”的正确概率为1或0，或“命题”的布尔估计（正确概率）为1或0 或 问题已被解决时，则该证明/证伪/解法永不会被调度到去验证。当 “命题”、“问题”的证明/证伪/解法列表中存在它的正确概率为1的解法/证明/证伪时，则该“命题”、“问题”优先级设为 never，永不调度（到验证器、solve）。命题、问题 如果证明/证伪/解法列表非空且含有正确概率非0的证明/证伪/解法的话 ，则在验证时可优先验证“命题/问题+证明/证伪/解法”而不是“命题/问题”，在验证时优先调度其正确概率高的证明/证伪/解法进行验证。正确概率会动态调整。
+
+3 .允许晋升为问题清单的“问题”的是“命题”，晋升原命题对象为“判断下述命题是否成立：...（原命题）”这样的问题对象，相应证明、证伪列表变为解法列表（并在各个证明证伪过程前面表明是要证明还是证伪），一些合理的、适配的属性也可以对应地转移过去。那些布尔概率为0、1的命题不会被晋升。
+
+4 .那个Verified里需含有所有当前 被证明/证伪的命题和已解决的问题及它们的所有正确概率为1的证明/证伪/解法。
+
+5 .按下述修改文件 实现方案.md 中的那个 q_sub 部分的逻辑（使得我的这个方案更严格化），然后按照下述来实现下述功能：q_sub 需为问题类对象，临时假设（记 p_{q-tmp} ）为对 q_sub 的某种回答/答案的临时假设（是命题类对象）。把临时问题 q_sub 和“判断下述命题是否成立：p_{q-tmp}”交到问题清单（注意交到问题清单后的它们的概述、定义要完整，所涉及的一些依赖、对象等要给出完整定义，以避免断章取义），之后推理过程中发现的命题/结论中那些依赖这个假设的结论/命题在输出时需要把这个假设加上来作为命题/结论，如“若 p_{q-tmp} 成立，则...”（注意，概述、定义要完整，所依赖、基于的一些对象、环境、背景等要给出完整定义，不能断章取义）。
+
+
+6 .是否有对代理通过提示词/上下文按照我实现方案中的定义来解释/告诉它各个参数的完整含义（如progress是指...）？
+要完全对照我的实现方案，来对各提示词/上下文中可能导致代理理解不清楚的地方、对象、要求进行优化、完善、完整解释、举例解释等，优化提示词，使得能让ai/代理完全明确理解含义，使得符合我实现方案中的定义/含义/意思。一定要让代理完全明白、符合实现方案中的理解/要求来进行。
+例如，一个命题、问题或其它各种对象及其各属性的完整定义（按照我实现方案.md中的来），只要1或0那么就视为绝对正确/错误，就可以被代理作为已知成立的结论来使用。
+这样来保证它们在阅读文件时可以有正确的理解，以及保证它们可以明确到底要输出什么、对输出的内容有正确的理解、使得输出的内容符合要求（例如尤其是要求输出的那些对象一定要完整不要断章取义，要把环境/背景、一些依赖的对象/概念都完整补充、补充定义）。
+当前是否有对它们介绍各个文件夹（里文件）的用处、各个文件夹里文件的格式及文件的各参数的含义、完整含义和用处（按我的实现方案来）。
+
+7. 允许调控它们是否可以使用网络、写程序/脚本及其次数等。
+
+8. 让对代理的提示词/上下文的一些关键部分（局部提示词/上下文）也作为 setting 值可配置的参数（方便用户自行修改/调控一些关键部分的提示词/上下文）。