dsh-vibe-math 2.0.12 → 2.0.14

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "dsh-vibe-math",
   "description": "Multi-agent mathematical problem-solving & verification frameworks for DeepSeek Harness — THREE 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). Installing this bundle auto-installs all three presets (v1 was removed at v2.0.0).",
-  "version": "2.0.12",
+  "version": "2.0.14",
   "type": "module",
   "engines": {
     "node": "^22.19.0 || >=24.0.0"

package/vibe-math-v4/vibe-math-v4.js

@@ -230,14 +230,18 @@ export function apply(ctx) {
         +'{"input":"<your real contribution to this discussion>","propose_task":"<task title or null>","task_desc":"...","claim_task":"<task id or null>","propose_verify":"<id or null>","voteSolved":true}'
     }
     function verifyPrompt(r, vs){
-      const others=Object.entries(vs.verdicts).map(([k,v])=>'- '+k+': 正确概率 '+String(v.prob!=null?Number(v.prob).toFixed(2):0.5)+' → '+v.reason).join('\n')
+      // In a DEBATE round, show the PREVIOUS round's opinions (kept in vs.history) so the resident can
+      // see others' stances and give a fresh independent judgement; in the first (independent) round no
+      // others' opinions exist yet. vs.verdicts only ever holds the CURRENT round's votes.
+      const src = (vs.stage==='debate' && vs.history && Object.keys(vs.history).length>0) ? vs.history : (vs.stage==='debate' ? vs.verdicts : {})
+      const others=Object.entries(src).map(([k,v])=>'- '+k+': 正确概率 '+String(v.prob!=null?Number(v.prob).toFixed(2):0.5)+' → '+v.reason).join('\n')
       return (params.residentPersona?params.residentPersona+'\n':'')
         +'Resident '+r.rId+' — 团队验证。 The group is verifying object '+vs.targetId+'（'+vs.targetType+'，提出者 '+vs.targetOwner+'）。\n'
         +'请给出你对「该对象为真」的**正确概率 `verdict`**，仅一个 0–1 数值：**1 = 绝对为真，0 = 绝对为假，0.5 = 完全不确定，其余为介于其间的程度**（不要给 TRUE/FALSE，就给一个数值）。\n'
         +'判定规则：仅当**全体常驻一致给 1（都认为是真）或一致给 0（都认为是假）**，才按「真/假」写入 Verified/；否则**只作为概率数值（一种程度）保留在库中**，附全组平均正确概率，不写成真/假。\n'
         +'请给出你**诚实独立的判断**'
         +(vs.stage==='debate'?'，并参考他人意见：\n':'。\n')
-        +(vs.stage==='debate'&&others?('### 他人意见（已转发给你）\n'+others+'\n'):'')
+        +(vs.stage==='debate'&&others?('### 他人上一轮意见（已转发给你）\n'+others+'\n'):'')
         +'\nReply with ONLY a JSON object:\n'
         +'{"vote":{"verdict":0.9,"reason":"<your logic>"}}'
     }
@@ -431,7 +435,7 @@ export function apply(ctx) {
     async function beginVerify(pv){
       clearHeartbeat()
       pendingVerify=null
-      verifyState={targetId:pv.targetId,targetType:pv.targetType,targetOwner:pv.proposer||'',stage:'independent',round:0,asked:[],verdicts:{},transcript:[],at:now(),lastVerdictAt:now()}
+      verifyState={targetId:pv.targetId,targetType:pv.targetType,targetOwner:pv.proposer||'',stage:'independent',round:0,asked:[],verdicts:{},history:{},transcript:[],at:now(),lastVerdictAt:now()}
       markProgress();
       logActivity('verify','debate begin: '+pv.targetId+' ('+pv.targetType+')'); await saveAll(); await scheduleNext()
     }
@@ -462,7 +466,15 @@ export function apply(ctx) {
       const allTrue = allVoted && vals.every(x=>Number(x.prob)===1)
       const allFalse = allVoted && vals.every(x=>Number(x.prob)===0)
       if(allTrue||allFalse){ await closeVerify(vs,allTrue); return }
-      if(vs.round+1<params.verdictMaxRounds){ vs.stage='debate'; vs.round+=1; vs.asked=[]; logActivity('verify',vs.targetId+' round '+vs.round+' → debate'); await saveAll(); await scheduleNext(); return }
+      if(vs.round+1<params.verdictMaxRounds){
+        // Move to a REAL debate round: snapshot the current votes into history (so the next round's
+        // prompt can show others' previous stances), then CLEAR verdicts so every resident is asked to
+        // give a fresh independent judgement after seeing the debate. Without the clear, allVoted stays
+        // true and the debate rounds burn through with NOBODY being re-asked (a silent no-op).
+        vs.history=Object.assign({}, vs.verdicts); vs.verdicts={}
+        vs.lastVerdictAt=now()   // fresh deadlock window for the re-vote round
+        vs.stage='debate'; vs.round+=1; vs.asked=[]; logActivity('verify',vs.targetId+' round '+vs.round+' → debate (re-vote after seeing others)'); await saveAll(); await scheduleNext(); return
+      }
       const avg=vals.length? vals.reduce((a,x)=>a+(x.prob!=null?x.prob:0.5),0)/vals.length : 0.5
       await writeDebateDoc(vs,false,avg); await rewriteSourceProb(vs.targetId, avg, vs.targetOwner); logActivity('verify',vs.targetId+' NOT unanimous → kept unverified (avg '+avg.toFixed(2)+')')
       verifyState=null; wakeKind.clear(); await saveAll(); await scheduleNext()
@@ -727,10 +739,19 @@ export function apply(ctx) {
       // disk and re-seed the resumed run). Same-process pause→resume keeps continuable ids.
       const crossProcess = persistedEpoch !== processEpoch
       if(crossProcess){ for(const [,r] of residents){ r.childId=''; r.status='brainstorm'; r.roundsSinceCompact=0 } }
+      // ANY re-spawn (cross-process OR a same-process abort that already cleared childIds) must get a FRESH
+      // coordination/concurrency state and a brainstorm phase. Otherwise: re-spawned brainstorm residents run
+      // under phase='active' (brainstorm summary never written), and a LATE subagent/end from an interrupted
+      // OLD resident (same rId) deletes the NEW resident's busy mark → A-fill can wake it mid-brainstorm.
+      const needRespawn = Array.from(residents.values()).some(r=>!r.childId)
+      if(needRespawn){
+        for(const [,r] of residents){ r.childId=''; r.status='brainstorm'; r.insight=''; r.roundsSinceCompact=0 }
+        busy=new Set(); wakeKind=new Map(); currentResident=''; pendingMeeting=null; pendingVerify=null; verifyState=null; meetingState=null
+      }
       for(const [,r] of residents){ if(!r.childId){ await spawnResident(r) } }
       if(!running){ running=true; autoDone=false; if(phase==='idle') phase='active' }
-      if(crossProcess && phase==='active') phase='brainstorm'   // let re-spawned residents re-bootstrap together
-      logActivity('resume','restarted'+(crossProcess?' (cross-process: re-spawned)':'')); await saveAll(); await scheduleNext(); return {ok:true,message:'resumed',project:currentProject}
+      if(needRespawn && phase!=='brainstorm') phase='brainstorm'   // let re-spawned residents re-bootstrap together
+      logActivity('resume','restarted'+(crossProcess?' (cross-process: re-spawned)':needRespawn?' (re-spawned)':'')); await saveAll(); await scheduleNext(); return {ok:true,message:'resumed',project:currentProject}
     }
     function status(){ return { ok:true, running, phase, autoDone, project:currentProject, residentCount:residents.size,
       residents:listResidents(), busy:[...busy], taskboard:taskboard.length,

package/vibe-math-v4//345/256/236/347/216/260/346/226/271/346/241/210.md

@@ -230,6 +230,8 @@ VibeMath/Projects/<project>/
    （问题类 target 同理：Verified/问题/<id>.md）
 4. 否则【公开辩论】：把初评意见+理由写入辩论录，广播全体；各常驻看他人意见后重评
    （可引用/反驳/修改），直至：全票同向，或不再出现理性新分歧。
+   （实现要点：进入 debate 轮时框架把上一轮投票快照进 `vs.history` 并**清空 `vs.verdicts`**，让每个常驻
+   都被重新询问一次——若不清理，`allVoted` 恒真，debate 轮会静默烧掉且**无人被重新询问**。）
 5. 未全票 → 保留在来源库，概率取各常驻最后估计的平均，附"未达成全体一致"的辩论记录。
 【要点】不设 v3 的 forced/flat/近共识自动收口——必须真实全体一致，防止强分歧被强行判真。
 ```
@@ -367,6 +369,7 @@ VibeMath/Projects/<project>/
 | **非全票验证不写回平均概率** | `finalizeVerify` 算出 `avg` 只写进辩论录，源卡 `- 概率:` 保持原值，未兑现设计 §8"留库附概率"。 | 新增 `findSourceRel`/`rewriteSourceProb`，非全票时把 `avg` 写回源卡 `- 概率:`（状态仍 `未定论`）。 |
 | **方法型验证被误标为"命题"** | `writeVerifiedCard` 把方法目标写进 `Verified/命题/` 且类型=命题。 | 按 `targetType` 标 `类型: 方法`（子问题→问题，方法→方法，其余→命题），来源卡标 `已验证·真/假`。 |
 | **同进程 abort→resume 不重建常驻** | `processEpoch` 进程级，同进程 abort（interrupt 杀掉常驻）后 resume 判非跨进程→保留死 childId；且 `phase=idle && !running` 时 resume 直接拒绝。 | `initAbort` 清空 `childId` 并 `saveAll()`；`resume` 守卫改为 `phase==='idle' && !running && residents.size===0`（有常驻即可 重建）。 |
+| **abort→resume 重种化不彻底（牵连修复）** | 同进程 abort 后 `phase='idle'`、childId 已清空，但旧居民 `status='active'` 且旧 `insight` 仍在；resume 走"非跨进程"分支不清状态，直接 re-spawn 后落入 `phase='active'`——重种化居民在第一轮 brainstorm 期间就被当作 active 处理（brainstorm 汇总不写）；且被 interrupt 的**旧**居民迟到的 `subagent/end`（同名 rId）会删除**新**居民的 busy 标记。 | `resume()` 用 `needRespawn`（任一 childId 为空）统一判定：**任何 re-spawn（跨进程或同进程 abort）** 都清空 busy/wakeKind/currentResident/pendingMeeting/pendingVerify/verifyState/meetingState，并把居民 `status='brainstorm'`、`insight=''`、`phase='brainstorm'`——让重种化居民真正重新头脑风暴、汇总正常写出、旧居民的迟到 end 不会污染新居民的 busy。 |
 | **自动同步会议计数不一致** | `bumpArtifacts` 只在记录方法/子问题时调用，`recordProposition`/`publish_progress` 不计；`artifactCount` 未持久化。 | `recordProposition` 也 `bumpArtifacts()`；`artifactCount` 持久化到 `session.json` 并在 `start()` 时清零。 |
 | **唤醒信号硬编码 60s** | `spawnResident`/`wakeResident` 用 `makeSignal(60000)`，比 `activityTimeoutMs`(120s) 短。 | 改用 `makeSignal(params.activityTimeoutMs||60000)`。 |
 | **`verdictMaxRounds`/`meetingKeepEvery` 不可调/不展示** | `verdictMaxRounds` 不在 `vibe_v4_set` schema；两者都不在 `status()` 参数串。 | `vibe_v4_set` 增加 `verdictMaxRounds`；`status()` 参数串补 `meetingKeepEvery` 与 `verdictMaxRounds`。 |