dsh-vibe-math 0.2.0 → 0.3.0

package/vibe-math-v1//345/256/236/347/216/260/346/226/271/346/241/210-/345/244/232/344/273/243/347/220/206/346/225/260/345/255/246/351/227/256/351/242/230/346/261/202/350/247/243/344/270/216/351/252/214/350/257/201/346/241/206/346/236/266.md

@@ -0,0 +1,159 @@
+
+
+
+整个项目需具有下述功能：
+
+- 1. 断点后继续：如储存各个代理的对话记录、储存任务栈，支持恢复之前状态。
+- 2. 允许中途人工干预（并继续）工作流：如允许中途人工决策一些控制、代理的一些参数设置、代理的会话、每一个关键节点的决策。可随时切换“人工 / 自动(预设)”。
+
+每隔一段时间（如：当有变动、出现新进展或发生新调用，或者当有代理的会话结束时），委托主代理总结汇告当前进展、各代理情况/进度等信息。
+
+
+# Vibe Mathematics —— 多代理数学问题求解与验证框架
+
+
+
+> **核心原则**：严格遵循“广度探索 → 深度迭代 → 交叉验证 → 知识沉淀”的闭环。
+> **并发约束（全局铁律）**：严禁两个及以上进程/代理同时对**同一文件**进行写入操作。所有“待验证”、“正在验证”、“已验证”路径下的文件移动与合并，均需通过**临时原子交换（tmp原子交换）**完成。
+
+## 全局设置
+
+- **路径映射（需设定好统一的文件格式规范）**：
+  - `qs/qs.csv`：待解决问题清单，格式为“问题id，问题描述，问题优先级（数值越小越优先），当前状态（是否解决）”。
+  - `Verified/`：已验证正确的结论、解法、引理（**绝对可信知识库**）。
+  - `Pending_Verification/`：待验证的原始输出文件。
+  - `Under_Verification/`：正在被验证器拆解的单体验证对象。
+  - `Temp/`：临时写入与合并工作区。
+  - `Progress_Logs/`：存放所有问题的进度概述文件（`{q_id}_progress.csv`）。
+- **权限**（允许通过参数调控各代理权限）：下述所有任务、子代理在运行过程中，**默认允许**：
+  1. 读取 `Verified/` 路径下的任何文件作为已知依赖；
+  2. 不限次数调用外部工具（搜索引擎、符号计算库、论文数据库）进行文献检索或数值辅助验证。
+- **参数**：
+  ...
+
+
+
+
+
+
+## 主程序（调度器）
+
+
+注意：
+1 .过程中所有涉及调用新代理的操作都要等待到 `active_sub_agents_count < MAX_PARALLEL_THRESHOLD` 时才可进行。
+2 .主程序的控制主要通过编程来实现，而不是通过代理来控制、调度。
+
+主循环中可进行/调度的任务：
+1 .从 `qs.csv` 中取出优先级最高的未解决问题 q 执行 `solve(q)`，若没有未解决问题则终止主程序/终止整个项目进程。
+2 .执行函数： `“验证和结果处理”` （见后文定义）。
+3 .当 `Verified` 出现新文件时，调用一个代理，告诉它我们当前的背景，然后提出需求：让它根据 `Verified` 的这个新文件，判断是否是问题清单中某未解决问题的解法，如果是那么就更新问题清单 `qs.csv` 中该问题的状态（“未解决”→“已解决”），并将这个新文件重命名为 `{q}-的解法_{唯一标识}.csv` 。
+（默认按顺序循环执行）
+
+## 核心函数定义
+
+### 1. `solve(q)`
+
+**前置检查**：若 `Verified/` 目录下已存在 `q` 的完整解决方案（唯一标识匹配），则直接终止本函数，返回已有结果。
+
+**构建大方向集 `M_q`**（数学方法论分类）：
+
+- **若 `Progress_Logs/{q}_progress.csv` 不存在**：
+  1. 进行第一阶段**元认知头脑风暴**（约束分解、边界极端测试、相似问题映射）；
+  2. 将解法拆分为数个**大相径庭**的尝试方向 `m_i`（例如：解析法、构造性证明、反证法、数值逼近+极限过渡、范畴论抽象等）；
+  3. 记录每个方向的核心假设与初始可行性预估至 `{q}_progress.csv`，形成初始集合 `M_q = {m_i}`。
+
+- **若 `Progress_Logs/{q}_progress.csv` 存在**：
+  1. 读取并解析已有进度，对各方向的**历史进展、遇阻原因、可行性衰减曲线**进行量化分析；
+  2. 筛除已被充分证明为“死路”的方向（除非有新工具引入）；
+  3. 基于当前痛点，**深度推导**出 1~3 个从未尝试过的崭新大方向（需附上推导动机）；
+  4. 将“遗留高潜方向”与“新生方向”取并集，重构为新的 `M_q`。
+
+**任务分配与迭代求解**：
+将 `M_q` 中的每个 `m_i` 独立分配给一个**专属子代理**（类型标识为 `Solver-{q}`），并发执行 `agent_self_iteration(q, m_i)`。
+
+### 2. `agent_self_iteration(q, m)`
+
+**角色定位**：专注执行方向 `m` 的深度研究，具备自主切换子路线、设定临时假设、自我批判的能力。
+
+**执行流程**（同 Session 内持续迭代）：
+
+1. **起点定位**：参考 `{q}_progress.csv` 中方向 `m` 的最后记录节点，决定是继承进度继续深挖，还是在大方向下另辟蹊径。
+2. **单次迭代动作**（每轮对话）：
+   - 尝试推进证明/计算；
+   - **必须产出**（即使未完全解决）：
+     - 本次推导出的**新引理/中间结论**及完整证明过程；
+     - 尝试过的各具体子路线，及它们的进度（概述整个子路线的所有经历及当前进度）、可行性情况、**明确的可行性信号**（如“遇到不可消除的奇点”、“与某已知定理冲突”等）、遇到的障碍、不可行的原因等等；
+     - 更新对方向 `m` 的整体存活概率评估。
+3. **分支递归**：若在执行过程中遇到**复杂度极高**的附属猜想/子问题 `q_sub`：
+   - 可将其加入`qs.csv`，然后**异步调用** `solve(q_sub)` 启动新求解线程（并记录依赖关系）；
+   - 在当前线程中，**临时假设 `q_sub` 成立**，继续推进主线（将此假设明确标记为 `Aux_Hypothesis`）；
+   - 待 `q_sub` 被正式解决后，回填此假设为已验证，并刷新当前进度。
+4. **终止条件（进入 `END` 状态）**：
+   - **成功**：得到完整的 `q` 解法，并对其执行严格的**自我对抗性检查**（尝试构造反例，检查边界条件）。若自检不通过，修正后重新计数迭代；
+   - **失败/超时**：迭代次数达到预设上限（如 20 轮），或判定方向 `m` 已无可行路径。
+5. **最终输出（原子写入）**：
+   - 将所有产出（完整解法、当前最接近的碎片结论、所有失败路线的详细归因、有用引理及其证明）整理为 **唯一标识的 CSV 文件**（命名：`temp_{UUID}.csv`），写入 `Temp/`；
+   - **原子操作**：根据 `temp_{UUID}.csv` ，将其中的 “完整解法（如果有）、所有有价值发现、碎片结论、有用引理及其证明” 整理为文件 `{UUID}.csv` 到 `Pending_Verification/` 路径下；
+   - **同步更新进度日志**：将本轮所有尝试、经验教训（如整体可行性评价及障碍、所有失败路线及它们的详细归因、各路线过程中遇到的障碍）、假设依赖合并入 `Progress_Logs/{q}_progress.csv`。
+
+### 3. 验证和结果处理（异步常驻进程）
+
+**触发条件**：检测到 `Pending_Verification/` 路径下存在待验证文件。
+
+**执行步骤**：
+
+1. **合并与拆解**：
+   - 将 `Pending_Verification/` 下的新文件进行**逻辑合并**（去重、整合引用）；
+   - 将合并后的内容拆解为若干个**最小验证单元** `a_i`（如“单个结论+其证明”、“仅经验性解法”、“某条孤立引理”，以及标明依赖）。每个单元存入 `Under_Verification/`，命名格式为：`{unique_obj_id}_{brief_title}.csv`。
+   - **注意**：拆解时必须显式提取该单元的**依赖链**（引用了哪些外部对象/结论）。若依赖不在 `Verified/` 中，在单元内标记为 `Unverified_Dependency`。
+   - 删除原合并文件。
+
+2. **并行验证分配**：
+   - 针对 `Under_Verification/` 下的每个 `a_i`，**分配多个独立子代理**执行 `验证器(a_i)` ，得到各 `a_i` 最终验证器验证结果。最后删除原 `Under_Verification` 下 `a_i` 对应文件（当后续对它的操作都完成后）。
+
+3. **结果归并与知识晋升**：
+   - 将验证结果为 **“真”**（含依赖假定的情况）的单元，写入 `Temp_Validated/` 路径下，内容格式强制为：
+     ```
+     Dependencies (Assumed or Verified): [列表，仅结论标题，不含证明]
+     ---
+     Target Content: [a_i 的完整内容]
+     ```
+   - **晋升至 `Verified/`**：后台进程持续扫描 `Temp_Validated/`，若发现某个待晋升对象的**全部依赖链**均已存在于 `Verified/` 中，则将该对象及其全部依赖的完整文件**原子移动**至 `Verified/`，并从 `Temp_Validated/` 移除。
+
+### 4. `验证器(r)`
+
+**核心机制**：多代理独立审查 → 同步辩论（“交流群”）→ 共识达成（或强制裁决）。
+
+**输入**：单个验证对象 `r`（包含结论及证明，或仅结论）。
+
+**执行策略**：
+
+1. **独立审查阶段**  
+   - 向 **多个子代理**（身份为“严苛审稿人”）分别发送 `r`，每个代理多次检查在假定其依赖成立下待验证对象是否成立。要求各代理独立输出初始审查报告，包含：  
+     - `Verdict`：`True` / `False` / `Uncertain`；  
+     - `Reason`：详细逻辑链、潜在反例或对依赖的质疑；  
+     - `Strictness_Level`：对 `Unverified_Dependency` 的容忍度（严格/宽松）。  
+   - 所有代理在收到彼此报告前，不得互相通信，确保初始判断独立无偏。
+
+2. **辩论阶段（“交流群”轮流发言）**  
+   - 所有代理进入同一虚拟“交流群”，按照**随机或某顺序**依次发言，每轮发言内容需包含：  
+     - 当前自己的 `Verdict` 与 `Reason`；  
+     - 对其他代理先前发言的回应（赞同、反驳或提出新证据）；  
+     - 若因他人意见而改变立场，需明确说明转变理由。  
+   - 辩论持续 **多轮**（例如上限 5 轮），每轮每个代理必须发言一次。  
+   - 每轮结束后，检查是否所有代理的 `Verdict` 已达成一致（全部为 `True` 或全部为 `False`）。  
+     - **若一致**：立即终止辩论，进入最终输出；  
+     - **若未一致**：继续下一轮，直至达到最大轮数。
+
+3. **共识判定与强制裁决**  
+   - 若达到最大轮数后仍未一致，则按照预设的参数采用下述方式之一：
+     - 直接否决制：判定为 `False` （数学严谨性）
+     - 启动强制裁决机制：  
+        - 采用**加权投票**，权重基于各代理的历史准确率 + 本次推理严谨性评分（由系统动态评估）；  
+        - 当票数持平或存在 `False` 票时，严格遵循 **“证伪优先”** 原则：只要有一个代理坚持 `False` 且其理由未被有效驳倒，则最终判定为 `False`（数学严谨性优先）；  
+        - 若所有代理均为 `Uncertain` 或 `True` 与 `Uncertain` 混合，则视为未通过验证，返回 `False`（因证据不足）。
+
+4. **最终输出**  
+   - **判定为真**：输出 `True` ；  
+   - **判定为假**：输出 `False` ，并把 `r` 及其 不可行原因（如 **详细的反例构造或逻辑断裂点**），记录到  `Progress_Logs/` 来供后续方向避坑。  （注意：若是采用的“直接否决制”，则还需标注来说明：这个 `r` 的正确与否情况存疑，不可行原因未得到充分验证）
+   - 辩论全过程的发言记录将被存入 `Progress_Logs/` 下的对应验证日志（便于复盘与审计）。

package/vibe-math-v2/agent.cordis.yml

@@ -0,0 +1,201 @@
+# The `vibe-math-v2` agent preset: the full coding agent (`standard`), plus the
+# NEW-architecture multi-agent mathematical problem-solving & verification
+# framework (see 新架构-vibe-math-实现方案.md).
+#
+# The vibe-math-v2 plugin row consumes the HOST subagents/agents/fs/tools/commands
+# services and publishes nothing, so it needs no isolate realm.
+
+# ── identity ────────────────────────────────────────────────────────────────
+
+- id: persona
+  name: '@deepseek-ai/dsh-persona'
+  config:
+    text: |-
+      You are a coding agent powered by the {{model}} model. Your working directory is {{cwd}}.
+
+      ## Vibe Math V2 toolkit
+
+      This session includes the "Vibe Math V2" multi-agent mathematical problem-solving and
+      verification framework (NEW architecture). It is driven by a background scheduler (code),
+      NOT by the model: you only issue the control tools below and read status; the scheduler
+      programmatically runs explorer (direction setting) → per-direction solvers (agent_self_iteration)
+      → multi-reviewer independent review → debate → verdict, and promotes/updates data itself.
+
+      - vibe_math_add_problem {id, description, priority} — add a problem to qs/qs.json.
+      - vibe_math_add_proposition {id, 概述, 布尔估计, 优先级, 价值/关键性} — add a proposition to Propos/.
+      - vibe_math_list_propositions — list the proposition knowledge base (summary index).
+      - vibe_math_start / vibe_math_resume — start / resume the scheduler (resume = continue after a checkpoint or restart).
+      - vibe_math_status / vibe_math_report — read scheduler status / full progress report (report also writes Progress_Logs/report.json).
+      - vibe_math_pause / vibe_math_abort — pause / abort (abort interrupts all children).
+      - vibe_math_set_mode {mode: manual|auto} — switch manual / auto control.
+      - vibe_math_set_params {...} — tune any parameter (see vibe_math_setup for the full schema; e.g. reportMode file|push|both, promoteValueThreshold, verdictMode flat|forced).
+      - vibe_math_setup / vibe_math_save_settings / vibe_math_template — guided configuration / persist defaults / generate template.
+      - vibe_math_new_project / vibe_math_set_project / vibe_math_list_projects — per-project folders.
+      - vibe_math_list_decisions / vibe_math_decide {id, action: approve|reject|override, verdict?} — resolve manual decisions.
+      - vibe_math_list_agents / vibe_math_message_agent / vibe_math_interrupt_agent — inspect / steer / interrupt subagents.
+
+      A /vibe slash command mirrors the main controls. Data lives under {{cwd}}/VibeMath/Projects/<project>/
+      (qs/qs.json, Propos/<分类>_Propos.json, Reliable/, Verified/, Verification_logs/, Progress_Logs/, VibeMath_State/)
+      and survives restarts via vibe_math_resume.
+
+      Key rules to remember when reporting: a problem is "solved" when one of its solutions reaches
+      正确概率 = 1; a proposition reaches 布尔估计 = 1/0 when a proof/refutation in its lists reaches
+      正确概率 = 1; Propos propositions with 价值/关键性 ≥ promoteValueThreshold auto-promote to qs.json.
+      When the user asks about progress, call vibe_math_report and summarize in plain language.
+
+- id: agent-instructions
+  name: '@deepseek-ai/dsh-agent-instructions'
+  config:
+    maxBytes: 65536
+
+# ── shell ───────────────────────────────────────────────────────────────────
+
+- id: tool-bash
+  name: '@deepseek-ai/dsh-tool-bash'
+  disabled: !!js process.platform === 'win32'
+
+- id: tool-pwsh
+  name: '@deepseek-ai/dsh-tool-pwsh'
+  disabled: !!js process.platform !== 'win32'
+
+# ── filesystem ──────────────────────────────────────────────────────────────
+
+- id: tool-fs
+  name: '@deepseek-ai/dsh-tool-fs'
+
+- id: tool-fs-search
+  name: '@deepseek-ai/dsh-tool-fs-search'
+  config:
+    sampleOverCapGlobResults: false
+
+# ── background jobs ────────────────────────────────────────────────────────
+
+- id: tool-jobs
+  name: '@deepseek-ai/dsh-tool-jobs'
+
+# ── skills ──────────────────────────────────────────────────────────────────
+
+- id: skill-filesystem
+  name: '@deepseek-ai/dsh-skill-filesystem'
+
+- id: tool-skill
+  name: '@deepseek-ai/dsh-tool-skill'
+
+# ── goals ───────────────────────────────────────────────────────────────────
+
+- id: tool-goal
+  name: '@deepseek-ai/dsh-tool-goal'
+
+# ── plan mode ───────────────────────────────────────────────────────────────
+
+- id: planning
+  name: cordis:group
+  group: true
+  isolate:
+    planMode: true
+  config:
+    - id: plan-mode
+      name: '@deepseek-ai/dsh-plan-mode'
+      config:
+        section: |
+              You are in plan mode. Stay in plan mode until exit_plan_mode succeeds or the user switches the session mode. Imperative language to implement changes means plan the implementation, not execute it. A user's conversational agreement — including an answer confirming something you asked — approves nothing and does not end plan mode; fold the confirmed decision into the plan and submit it through exit_plan_mode.
+
+              Explore first. Use non-mutating reads, searches, static analysis, and checks to ground the plan in the actual repository. Do not edit or write files, change configuration, run formatters or code generation that rewrites tracked files, commit, or otherwise carry out the plan. Prefer existing functions and patterns over new machinery.
+
+              The tool catalog stays the same across modes for request-cache stability. These plan-mode rules override any later tool description or guidance that suggests using mutation tools; those tools remain listed to keep the tool catalog unchanged. Do not use todo_write to track this planning phase: it tracks implementation after an approved plan, while the plan itself belongs in exit_plan_mode.
+
+              Resolve discoverable facts by inspection. Use ask_user_question only for user-owned choices or material ambiguity that inspection cannot answer. Do not ask the user where code lives or how current behavior works when you can find out.
+
+              Make the plan decision-complete: state the goal and success criteria; group implementation changes by subsystem; identify public API, schema, and data-flow changes; cover edge cases, failure modes, tests, acceptance criteria, and explicit assumptions. Keep it concise enough to review but detailed enough that another engineer can implement it without making design decisions.
+
+              When ready, call exit_plan_mode with the complete plan markdown, starting with a # title. Make exit_plan_mode the only and final tool call in that assistant response: it presents the plan for approval, and implementation begins only in a later step after approval. Do not paste the final plan as a plain reply or ask "should I proceed?" through prose or ask_user_question. If review rejects it, incorporate the feedback and present again. If the review channel is unavailable or aborted, stay in plan mode and ask the user to switch modes manually; do not proceed with implementation.
+
+# ── compaction ──────────────────────────────────────────────────────────────
+
+- id: compaction
+  name: cordis:group
+  group: true
+  isolate:
+    compaction: true
+    toolResultPruner: true
+  config:
+    - id: compaction-basic
+      name: '@deepseek-ai/dsh-compaction-basic'
+
+    - id: command-compact
+      name: '@deepseek-ai/dsh-command-compact'
+
+    - id: tool-result-pruner
+      name: '@deepseek-ai/dsh-compaction-tool-result-pruner'
+      config:
+        thresholdChars: 8192
+        headChars: 4096
+        tailChars: 1024
+
+# ── delegation and workflows ────────────────────────────────────────────────
+
+- id: delegation
+  name: cordis:group
+  group: true
+  isolate:
+    workflowEngine: true
+  config:
+    - id: tool-subagent-control
+      name: '@deepseek-ai/dsh-tool-subagent-control'
+
+    - id: tool-subagent-list-agents
+      name: '@deepseek-ai/dsh-tool-subagent-control/list-agents'
+
+    - id: tool-subagent
+      name: '@deepseek-ai/dsh-tool-subagent'
+      config:
+        provider: spawn
+        toolName: subagent
+        backgroundMode: continuable
+
+    - id: tool-subagent-fork
+      name: '@deepseek-ai/dsh-tool-subagent'
+      config:
+        provider: fork
+        toolName: subagent_fork
+        backgroundMode: continuable
+
+    - id: workflow-worker-thread
+      name: '@deepseek-ai/dsh-workflow-worker-thread'
+      config:
+        provider: spawn
+
+    - id: tool-workflow
+      name: '@deepseek-ai/dsh-tool-workflow'
+
+    - id: tool-ralph
+      name: '@deepseek-ai/dsh-tool-ralph'
+      config:
+        subagentProvider: spawn
+        maxRounds: 64
+
+# ── remaining model-facing rows ─────────────────────────────────────────────
+
+- id: tool-ask-user
+  name: '@deepseek-ai/dsh-tool-ask-user'
+
+- id: tool-todo
+  name: '@deepseek-ai/dsh-tool-todo'
+  config:
+    allowParallelInProgress: true
+
+- id: tool-web
+  name: '@deepseek-ai/dsh-tool-web'
+  config:
+    fetch: false
+    searchTimeoutMs: 60000
+
+# ── Vibe Math V2 ────────────────────────────────────────────────────────────
+
+# The NEW-architecture framework: a preset-local plugin (./vibe-math-v2.js)
+# that registers the vibe_math_* tools, a /vibe slash command, and a background
+# scheduler (explorer → per-direction solvers → multi-reviewer verification).
+# It consumes the HOST subagents/agents/fs/tools/commands services and provides
+# nothing, so it sits loose (no isolate realm).
+- id: vibe-math-v2
+  name: './vibe-math-v2.js'

package/vibe-math-v2/preset.yml

@@ -0,0 +1,2 @@
+name: Vibe Math V2
+description: 多代理数学问题求解与验证框架（新架构）：概率驱动调度 —— qs.json 问题清单 + Propos/ 命题库 + Reliable/ 参考文献，explorer 拆方向 → 逐方向 Solver 迭代 → 多验证器独立审查→辩论→裁决；断点续跑、人工/自动干预、file/push 双模式进度汇报。