dsh-vibe-math 2.0.13 → 2.0.15

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.13",
+  "version": "2.0.15",
   "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>"}}'
     }
@@ -253,7 +257,7 @@ export function apply(ctx) {
       residents.set(r.rId,r); await saveAll(); logActivity('spawn',r.rId+' ('+(r.direction||'brainstorm')+')')
     }
     async function wakeResident(r, promptText, kind){
-      if(!r || !r.childId) return false   // a removed resident must never be woken (rune: crash on r.childId)
+      if(!r || !r.childId) return false   // a removed resident must never be woken (else r.childId would crash)
       clearHeartbeat()
       busy.add(r.rId); wakeKind.set(r.rId,kind||'normal'); currentResident=r.rId
       r.lastActiveAt=now(); r.rounds+=1; r.roundsSinceCompact+=1
@@ -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()
@@ -720,6 +732,10 @@ export function apply(ctx) {
     }
     async function resume(){
       currentProject=await readCurrentProject(); await ensureDirs(); await loadAll(); await loadSettings()
+      // After loadAll the residentSeq counter is still whatever THIS process had (0 on a fresh process),
+      // but persisted residents may already be r-1..r-N. Sync it to the max existing id so a later
+      // addMember never collides with an existing resident (it would silently overwrite it).
+      for(const key of residents.keys()){ const mm=/^r-(\d+)$/.exec(String(key)); if(mm) residentSeq=Math.max(residentSeq, Number(mm[1])) }
       lastActivityAt=now(); lastProgressAt=now()   // pause must not count as stall time; a resumed run gets a fresh clock
       if(phase==='idle' && !running && residents.size===0) return {ok:false,message:'nothing to resume'}
       // If the persisted State came from a DIFFERENT process (crash/restart), the saved

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/近共识自动收口——必须真实全体一致，防止强分歧被强行判真。
 ```