dsh-vibe-math 1.3.0 → 1.3.2

package/README.md

@@ -47,6 +47,8 @@
 **一句话流水线**：起始产生 N 个**常驻子代理**（continuable，持久上下文）先各自头脑风暴、产出初始见解/方向 → 此后**所有任务安排由它们互相留言 + 集体开会自主决定**（框架只做消息总线/会议/任务板/产物沉淀，**绝不分配任务**）；每个常驻把有价值的产物按**价值程度 / 动机用途计划 / 自身概率估计**沉淀到**自己**的 `Progress/<id>/`、`Propos/<id>/`、`Methods/<id>/`、`Subproblems/<id>/` 库，并**可互相阅读**；验证由它们**自行商议**发起，**仅当全体常驻一致（真或假）**才写入 `Verified/`，否则留库附概率；常驻上下文量达阈值（默认 66%）自动 `/compact`；**仅当全体一致认为原问题已解决**才停止；可随时人工干预/增开/关闭常驻，支持断点续跑。
 
 > 说明：V4 去掉 v3 的中央规划器与确定性角色（explorer/solver/verifier/planner/method-keeper），把"研究者"本身作为主体。详见 `vibe-math-v4/实现方案.md`。
+>
+> 🔧 **v1.3.2 审计修复**：修复上下文压缩按占比失效（`contextPct` 单位错配，现按百分比保存）、常驻工具按"调用者身份"路由（各常驻库归属正确）、`vibe_v4_read_progress` 真正返回文本、跨进程断点续跑重建常驻、`message(all)` 广播真正投递、`addMember` 增开无 id 碰撞。详见 `vibe-math-v4/实现方案.md` §17。
 
 ---
 

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "dsh-vibe-math",
   "description": "Multi-agent mathematical problem-solving & verification frameworks for DeepSeek Harness — FOUR agent presets in one install: vibe-math-v1 (classic pipeline), 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 four presets into the DSH preset root.",
-  "version": "1.3.0",
+  "version": "1.3.2",
   "type": "module",
   "main": "installer.js",
   "exports": {

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

@@ -26,6 +26,7 @@ export function apply(ctx) {
     const DEFAULT_PARAMS = {
       residentCount: 4, compactThreshold: 66, compactAfterRounds: 8,
       maxParallel: 3, activityTimeoutMs: 120000, verdictMaxRounds: 3,
+      meetingKeepEvery: 5,   // 每积累 N 个新产物自动触发一次同步会议
       provider: '', model: '', residentPersona: '',
     }
     let params = Object.assign({}, DEFAULT_PARAMS)
@@ -35,7 +36,7 @@ export function apply(ctx) {
     let problemText = '', problemId = 'problem', runId = 'run-' + shortId()
     let meetingState = null, verifyState = null, pendingVerify = null
     let busy = new Set(), wakeKind = new Map(), currentResident = ''
-    let lastActivityAt = now()
+    let lastActivityAt = now(), artifactCount = 0, lastSyncMeetingAt = 0, persistedEpoch = ''
     const activityLogCap = 200
 
     // ---- utils ----
@@ -45,6 +46,9 @@ export function apply(ctx) {
     function clamp01(v){ const n=Number(v); if(!Number.isFinite(n)) return 0.5; return Math.max(0,Math.min(1,n)) }
     function fmtTime(ts){ try { return new Date(ts||now()).toISOString().replace('T',' ').slice(0,19) } catch(e){ return String(ts||'') } }
     function cl(x){ return clamp01(Number(x)) }
+    // contextPct is a PERCENT (0-100); never clamp to 0-1 or the compactThreshold
+    // comparison (e.g. 66) becomes `1.0 >= 66` and never fires.
+    function clPct(x){ const n=Number(x); if(!Number.isFinite(n)) return 0; return Math.max(0,Math.min(100,n)) }
     function textBlock(t){ return { type:'text', text:String(t) } }
     function blocksToText(b){ if(!b) return ''; let out=''; for(const x of b){ if(x&&x.type==='text'&&typeof x.text==='string') out+=x.text+'\n' } return out.trim() }
     function logActivity(event,detail){ activityLog.push({at:now(),event,detail:String(detail||'')}); if(activityLog.length>activityLogCap) activityLog.shift() }
@@ -82,10 +86,10 @@ export function apply(ctx) {
       await writeJson('State/mailboxes.json', Object.fromEntries(mailboxes))
       await writeJson('State/taskboard.json', taskboard)
       await writeJson('State/decisions.json', decisions)
-      await writeJson('State/session.json', {running,autoDone,phase,problemId,problemText,runId,meetings,reports,lastActivityAt,activityLog})
+      await writeJson('State/session.json', {running,autoDone,phase,problemId,problemText,runId,meetings,reports,lastActivityAt,activityLog,processEpoch})
     }
     async function loadAll(){
-      const s=await readJson('State/session.json'); if(s){ running=!!s.running; autoDone=!!s.autoDone; phase=s.phase||'idle'; problemId=s.problemId||problemId; problemText=s.problemText||problemText; runId=s.runId||runId; meetings=s.meetings||[]; reports=s.reports||[]; lastActivityAt=s.lastActivityAt||now(); activityLog=s.activityLog||activityLog }
+      const s=await readJson('State/session.json'); if(s){ running=!!s.running; autoDone=!!s.autoDone; phase=s.phase||'idle'; problemId=s.problemId||problemId; problemText=s.problemText||problemText; runId=s.runId||runId; meetings=s.meetings||[]; reports=s.reports||[]; lastActivityAt=s.lastActivityAt||now(); activityLog=s.activityLog||activityLog; persistedEpoch=s.processEpoch||'' }
       const rm=await readJson('State/residents.json'); if(rm&&typeof rm==='object') residents=new Map(Object.entries(rm))
       const mb=await readJson('State/mailboxes.json'); if(mb&&typeof mb==='object') mailboxes=new Map(Object.entries(mb))
       const tb=await readJson('State/taskboard.json'); if(Array.isArray(tb)) taskboard=tb
@@ -111,22 +115,24 @@ export function apply(ctx) {
         +'This is your round (#'+r.rounds+'). You decide what to do — there is NO external assignment. Typical actions:\n'
         +'- advance your direction; verify your own claims; record valuable artifacts to YOUR library (vibe_v4_publish_progress / record_proposition / record_method / record_subproblem), each with 价值程度 / 动机用途计划 / 自身概率估计;\n'
         +'- message a specific resident (vibe_v4_send_message) or broadcast;\n'
+        +'- propose / claim / complete a shared task (vibe_v4_propose_task / vibe_v4_claim_task / vibe_v4_task_done / vibe_v4_list_tasks) — the task board is how you coordinate work;\n'
         +'- call a meeting (vibe_v4_meeting) to coordinate / allocate tasks / propose a verification;\n'
-        +'- propose an object for unanimous verification (set propose_verify in your reply).\n'
+        +'- propose an object for unanimous verification (set propose_verify in your reply);\n'
+        +'- report your context usage (vibe_v4_report_context) so the framework compacts you when needed.\n'
         +'You may READ any other resident\'s Progress/Propos/Methods/Subproblems (read-only via vibe_v4_read_progress / fs); you only WRITE your own '+r.rId+' library.\n'
         +'Rules:\n- Only Verified/ is established. Verification requires ALL residents unanimous; you trust only unanimous results.\n'
         +'- If the ORIGINAL problem is solved, set solved=true (we stop only when ALL residents agree).\n'
         +'New items:\n'+ (await inboxText(r.rId))
         +'\nReply with ONLY a JSON object in a ```json fence (no prose outside):\n'
-        +'{"summary":"<what you did this round, 1-3 sentences>","solved":false,"propose_verify":"<a target id like p-xxx / m-xxx / s-xxx, or null>"}'
+        +'{"summary":"<what you did this round, 1-3 sentences>","solved":false,"propose_verify":"<id|null>","propose_task":"<task title|null>","claim_task":"<task id|null>","contextPct":40}'
     }
     function meetingPrompt(r, st){
       return (params.residentPersona?params.residentPersona+'\n':'')
         +'You are resident '+r.rId+'. A meeting is in progress (agenda: '+st.agenda+').'
         +(st.type==='verify'?('\nThe group is verifying object: '+st.targetId+'. Give your independent verdict.'):'')
-        +'\nGive your input. If the agenda is about whether the original problem is solved, set voteSolved.\n'
+        +'\nGive your input. You may: propose a task (propose_task), claim an open task (claim_task), propose an object for unanimous verification (propose_verify), or vote on whether the original problem is solved (voteSolved).\n'
         +'Reply with ONLY a JSON object (```json fence):\n'
-        +'{"input":"<your contribution>","voteSolved":true,"propose_verify":"<id or null>"}'
+        +'{"input":"<your contribution>","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+': '+v.verdict+' ('+v.confidence+') '+v.reason).join('\n')
@@ -140,7 +146,8 @@ export function apply(ctx) {
     }
 
     // ---- resident lifecycle ----
-    function newResident(dir){ const rId='r-'+(residents.size+1); return {rId,childId:'',direction:dir||'',status:'brainstorm',rounds:0,roundsSinceCompact:0,lastActiveAt:now(),insight:''} }
+    let residentSeq = 0
+    function newResident(dir){ const rId='r-'+(++residentSeq); return {rId,childId:'',direction:dir||'',status:'brainstorm',rounds:0,roundsSinceCompact:0,lastActiveAt:now(),insight:'',contextPct:0,contextSeed:'',needCompact:false} }
     async function spawnResident(r){
       const started=await subagents.startContinuable({provider:pickProvider(),label:r.rId,request:{prompt:[textBlock(brainstormPrompt(r))],parent:rootAgent,agentOptions:{}},signal:makeSignal(60000)})
       r.childId=started.childId; r.status='brainstorm'; r.lastActiveAt=now()
@@ -151,7 +158,17 @@ export function apply(ctx) {
       if(!r.childId) return false
       busy.add(r.rId); wakeKind.set(r.rId,kind||'normal'); currentResident=r.rId
       r.lastActiveAt=now(); r.rounds+=1; r.roundsSinceCompact+=1
-      try { await subagents.followup(rootAgent,r.childId,[textBlock(promptText)],{source:{kind:'user'},signal:makeSignal(60000)}); return true }
+      // context / /compact: if the resident reports high context (or reached the round proxy),
+      // prepend a compact directive — it condenses its working state to a self-summary that the
+      // framework uses as the next context seed (equivalent to /compact's "consolidate & forget").
+      let prompt = promptText
+      if(r.needCompact || (Number(r.contextPct)>=Number(params.compactThreshold)) || (r.roundsSinceCompact>=Number(params.compactAfterRounds))){
+        prompt = '[CONTEXT COMPACT — your conversation is at/near the limit. Do NOT re-derive history.\n' +
+          'Condense your current working state into ONE tight self-summary (findings so far, active direction, key artifacts you recorded, next concrete steps, open questions), then answer this round in the normal JSON format as usual.\n' +
+          'Set "contextPct": 15 (your post-compact usage) and "compacted": true in the reply so the framework records the condensed seed.]\n\n' + promptText
+        r.needCompact = true
+      }
+      try { await subagents.followup(rootAgent,r.childId,[textBlock(prompt)],{source:{kind:'user'},signal:makeSignal(60000)}); return true }
       catch(e){ console.error('vibe-v4 wake '+r.rId+' failed: '+String((e&&e.message)||e)); busy.delete(r.rId); return false }
     }
     function byChild(childId){ for(const [,r] of residents){ if(r.childId===childId) return r } return undefined }
@@ -159,9 +176,28 @@ export function apply(ctx) {
     // ---- artifact writers (resident-facing) ----
     async function publishProgress(rId,content){ const rel='Progress/'+rId+'/progress.md'; const prev=(await readText(rel))||''; await writeText(rel, prev+'\n### '+fmtTime()+'｜'+rId+'\n'+String(content||'')+'\n'); return {ok:true} }
     async function recordProposition(rId,o){ const id=o.id||('p-'+shortId()); const lines=['# 命题｜'+(o.title||id),'- 标题: '+(o.title||id),'- ID: '+id,'- 类型: 命题','- 状态: 未定论','- 概率: '+cl(o.prob!=null?o.prob:0.5),'- 价值程度: '+cl(o.value!=null?o.value:0.5),'- 动机用途计划: '+(o.motivation||''),'- 依赖: []','','## 陈述',String(o.statement||''),'','## 证明尝试','','## 证伪尝试','']; await writeText('Propos/'+rId+'/'+id+'.md',lines.join('\n')); logActivity('record',rId+' 命题 '+id); return {ok:true,id,file:'Propos/'+rId+'/'+id+'.md'} }
-    async function recordMethod(rId,o){ const id=o.id||('m-'+shortId()); const lines=['# 方法｜'+(o.title||id),'- 标题: '+(o.title||id),'- ID: '+id,'- 类型: '+(o.type||'方法'),'- 状态: 经验','- 可信断言: []','- 价值程度: '+cl(o.value!=null?o.value:0.5),'- 动机用途计划: '+(o.motivation||''),'','## 核心内容',String(o.content||''),'','## 定义与记号',String(o.notation||''),'','## 应用记录','## 改进历史','']; await writeText('Methods/'+rId+'/'+id+'.md',lines.join('\n')); logActivity('record',rId+' 方法 '+id); return {ok:true,id,file:'Methods/'+rId+'/'+id+'.md'} }
-    async function recordSubproblem(rId,o){ const id=o.id||('s-'+shortId()); const lines=['# 子问题｜'+(o.title||id),'- 标题: '+(o.title||id),'- ID: '+id,'- 状态: 求解中','- 价值程度: '+cl(o.value!=null?o.value:0.5),'- 动机用途计划: '+(o.motivation||''),'- 依赖: []','','## 陈述',String(o.statement||''),'','## 进度','']; await writeText('Subproblems/'+rId+'/'+id+'.md',lines.join('\n')); logActivity('record',rId+' 子问题 '+id); return {ok:true,id,file:'Subproblems/'+rId+'/'+id+'.md'} }
-    function listResidents(){ return Array.from(residents.values()).map(r=>({id:r.rId,direction:r.direction,status:r.status,rounds:r.rounds,insight:r.insight?r.insight.slice(0,80):''})) }
+    async function recordMethod(rId,o){ const id=o.id||('m-'+shortId()); const lines=['# 方法｜'+(o.title||id),'- 标题: '+(o.title||id),'- ID: '+id,'- 类型: '+(o.type||'方法'),'- 状态: 经验','- 可信断言: []','- 价值程度: '+cl(o.value!=null?o.value:0.5),'- 动机用途计划: '+(o.motivation||''),'','## 核心内容',String(o.content||''),'','## 定义与记号',String(o.notation||''),'','## 应用记录','## 改进历史','']; await writeText('Methods/'+rId+'/'+id+'.md',lines.join('\n')); logActivity('record',rId+' 方法 '+id); bumpArtifacts(); return {ok:true,id,file:'Methods/'+rId+'/'+id+'.md'} }
+    async function recordSubproblem(rId,o){ const id=o.id||('s-'+shortId()); const lines=['# 子问题｜'+(o.title||id),'- 标题: '+(o.title||id),'- ID: '+id,'- 状态: 求解中','- 价值程度: '+cl(o.value!=null?o.value:0.5),'- 动机用途计划: '+(o.motivation||''),'- 依赖: []','','## 陈述',String(o.statement||''),'','## 进度','']; await writeText('Subproblems/'+rId+'/'+id+'.md',lines.join('\n')); logActivity('record',rId+' 子问题 '+id); bumpArtifacts(); return {ok:true,id,file:'Subproblems/'+rId+'/'+id+'.md'} }
+    // auto-sync meeting: every meetingKeepEvery new artifacts, convene a general coordination meeting
+    function bumpArtifacts(){ artifactCount+=1; if(!meetingState && !verifyState && Number(params.meetingKeepEvery)>0 && artifactCount % Number(params.meetingKeepEvery)===0){ startMeeting('定期同步：分工/进展/是否需要验证','general',null).catch(()=>{}) } }
+    function listResidents(){ return Array.from(residents.values()).map(r=>({id:r.rId,direction:r.direction,status:r.status,rounds:r.rounds,contextPct:r.contextPct,insight:r.insight?r.insight.slice(0,80):''})) }
+    // identify WHICH resident is calling a resident-facing tool: match the caller's
+    // subagent id to a resident's childId. Fall back to the last-woken resident when
+    // the caller is the host/assistant (or an unknown agent). This makes per-resident
+    // libraries correct under concurrency (e.g. all brainstorm residents in flight).
+    function residentOfAgent(agent){ try { const id=agent&&agent.id?String(agent.id):''; if(!id) return ''; for(const [,r] of residents){ if(r.childId===id) return r.rId } } catch(e){} return '' }
+
+    // ---- task board (residents propose / claim / complete; framework wakes the claimer) ----
+    async function writeTaskboard(){ const lines=['# 任务板','']; for(const t of taskboard){ lines.push('- ['+t.status+'] '+t.title+(t.claimer?('（认领:'+t.claimer+'）'):'')+(t.proposer?('（提议:'+t.proposer+'）'):'')+(t.description?('：'+t.description):'')) } await writeText('Shared/taskboard.md',lines.join('\n')) }
+    async function proposeTask(title,description,proposer){ const id='t-'+shortId(); taskboard.push({id,title:String(title),description:String(description||''),status:'open',proposer:proposer||'',claimer:'',source:''}); await saveTaskboard(); logActivity('task','proposed '+id+'「'+title+'」'); return {ok:true,id} }
+    async function claimTask(id,claimer){ const t=taskboard.find(x=>x.id===id); if(!t) return {ok:false,message:'no such task'}; if(t.status!=='open') return {ok:false,message:'task already '+t.status}; t.status='claimed'; t.claimer=claimer; await saveTaskboard(); logActivity('task',claimer+' claimed '+id); 
+      // wake the claimer to work on it (framework moves the task, resident decides how)
+      const r=residents.get(claimer); if(r && !busy.has(claimer)){ currentResident=claimer; await wakeResident(r, (await normalPrompt(r))+'\n\n[YOU CLAIMED TASK '+id+'] '+t.title+' — '+t.description,'normal'); await saveAll() }
+      return {ok:true} }
+    async function taskDone(id,claimer){ const t=taskboard.find(x=>x.id===id); if(!t) return {ok:false}; t.status='done'; t.doneBy=claimer; await saveTaskboard(); await writeTaskboard(); logActivity('task','done '+id); return {ok:true} }
+    async function saveTaskboard(){ await writeJson('State/taskboard.json',taskboard); await writeTaskboard() }
+    function listTasks(){ return taskboard.filter(t=>t.status!=='done') }
+    async function reportContext(rId,pct){ const r=residents.get(rId); if(r){ r.contextPct=clPct(pct); if(Number(pct)<30) r.needCompact=false; } return {ok:true} }
 
     // ---- messaging ----
     async function postMessage(from,to,content){
@@ -173,6 +209,11 @@ export function apply(ctx) {
       }
       const mb=mailboxes.get(to)||[]; mb.push({from,at:now(),content}); mailboxes.set(to,mb); await saveAll(); logActivity('message',from+'→'+to+' (queued)'); return {ok:true}
     }
+    async function broadcast(content){
+      let n=0
+      for(const [,r] of residents){ const res=await postMessage('facilitator',r.rId,content); if(res&&res.ok) n++ }
+      logActivity('broadcast','to '+n+' resident(s)'); await saveAll(); return {ok:true,message:'broadcast to '+n+' resident(s)'}
+    }
 
     // ---- meeting ----
     async function startMeeting(agenda,type,targetId){
@@ -196,6 +237,12 @@ export function apply(ctx) {
       await writeText('Shared/meetings/'+st.id+'.md', lines.join('\n'))
       meetings.push({id:st.id,agenda:st.agenda,at:now(),inputs:st.inputs})
       logDecision('meeting',st.agenda)
+      // handle what the meeting produced: task proposals/claims, verify targets, stop vote
+      for(const [id,iv] of Object.entries(st.inputs)){
+        if(iv.propose_task) await proposeTask(iv.propose_task, iv.task_desc||'', id)
+        if(iv.claim_task) await claimTask(iv.claim_task, id)
+        if(iv.propose_verify) pendingVerify={targetId:iv.propose_verify,targetType:guessTargetType(iv.propose_verify),proposer:id,at:now()}
+      }
       const votes=Object.values(st.inputs).map(x=>x.voteSolved).filter(v=>typeof v==='boolean')
       const allSolved=votes.length>0 && votes.every(v=>v===true)
       logActivity('meeting', 'concluded'+(allSolved?' → ALL agree solved':''))
@@ -303,7 +350,7 @@ export function apply(ctx) {
       const parsed=parseReply(output)
       const kind=wakeKind.get(r.rId)||'normal'
       if(kind==='meeting' && meetingState){
-        meetingState.inputs[r.rId]={input:parsed.input||parsed.summary||'',voteSolved:typeof parsed.voteSolved==='boolean'?parsed.voteSolved:null,propose_verify:parsed.propose_verify||null}
+        meetingState.inputs[r.rId]={input:parsed.input||parsed.summary||'',voteSolved:typeof parsed.voteSolved==='boolean'?parsed.voteSolved:null,propose_verify:parsed.propose_verify||null,propose_task:parsed.propose_task||null,task_desc:parsed.task_desc||'',claim_task:parsed.claim_task||null}
         if(parsed.propose_verify) pendingVerify={targetId:parsed.propose_verify,targetType:guessTargetType(parsed.propose_verify),proposer:r.rId,at:now()}
         await saveAll(); await continueMeetingRound(); return
       }
@@ -316,7 +363,14 @@ export function apply(ctx) {
       // normal turn
       if(r.status==='brainstorm'){ r.insight=parsed.summary||output; r.status='active' }
       if(typeof parsed.solved==='boolean') reports.push({rId:r.rId,solved:parsed.solved,summary:parsed.summary||'',at:now()})
+      // context / compact: record the condensed seed + post-compact usage, clear the flag
+      if(typeof parsed.contextPct==='number'){ r.contextPct=clPct(parsed.contextPct) }
+      if(parsed.compacted===true || (r.needCompact && parsed.summary)){ r.contextSeed=String(parsed.summary||''); r.contextPct=Math.min(r.contextPct||15,25); r.roundsSinceCompact=0; r.needCompact=false; logActivity('compact',r.rId+' consolidated context') }
       if(parsed.propose_verify) pendingVerify={targetId:parsed.propose_verify,targetType:guessTargetType(parsed.propose_verify),proposer:r.rId,at:now()}
+      // task actions via reply (a resident may propose or claim a task in its round)
+      if(parsed.propose_task) await proposeTask(parsed.propose_task, parsed.task_desc||'', r.rId)
+      if(parsed.claim_task) await claimTask(parsed.claim_task, r.rId)
+      if(parsed.task_done) await taskDone(parsed.task_done, r.rId)
       // a resident may self-trigger a meeting (resident-driven coordination, closest to the philosophy)
       if(parsed.propose_meeting && !meetingState){ await startMeeting(String(parsed.propose_meeting),'general',null); await saveAll(); return }
       await saveAll(); await scheduleNext()
@@ -331,7 +385,7 @@ export function apply(ctx) {
       if(residentCount) params.residentCount=Number(residentCount)||4
       running=true; autoDone=false; phase='brainstorm'
       await writeText('Problems/'+problemId+'.md','# 问题｜'+problemId+'\n- ID: '+problemId+'\n- 类型: 问题\n- 状态: 求解中\n- 优先级: 1\n- 依赖: []\n\n## 陈述\n'+problemText+'\n')
-      residents=new Map(); mailboxes=new Map(); taskboard=[]; decisions=[]; meetings=[]; reports=[]; verifyState=null; meetingState=null; pendingVerify=null
+      residents=new Map(); mailboxes=new Map(); taskboard=[]; decisions=[]; meetings=[]; reports=[]; verifyState=null; meetingState=null; pendingVerify=null; residentSeq=0
       const dirs=Array.isArray(seedDirections)?seedDirections.slice(0,params.residentCount):[]
       for(let i=0;i<params.residentCount;i++){ const r=newResident(dirs[i]||''); await spawnResident(r) }
       await saveAll(); return {ok:true,message:'v4 started: '+params.residentCount+' resident(s) brainstorming',project:currentProject}
@@ -339,9 +393,15 @@ export function apply(ctx) {
     async function resume(){
       currentProject=await readCurrentProject(); await ensureDirs(); await loadAll()
       if(phase==='idle' && !running) return {ok:false,message:'nothing to resume'}
+      // If the persisted State came from a DIFFERENT process (crash/restart), the saved
+      // childIds are stale; clear them so residents re-spawn (their libraries persist on
+      // 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 } }
       for(const [,r] of residents){ if(!r.childId){ await spawnResident(r) } }
       if(!running){ running=true; autoDone=false; if(phase==='idle') phase='active' }
-      logActivity('resume','restarted'); await saveAll(); return {ok:true,message:'resumed',project:currentProject}
+      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}
     }
     function status(){ return { ok:true, running, phase, autoDone, project:currentProject, residentCount:residents.size,
       residents:listResidents(), busy:[...busy], taskboard:taskboard.length,
@@ -359,10 +419,12 @@ export function apply(ctx) {
     return {
       sessionId, running:()=>running, autoDone:()=>autoDone, phase:()=>phase,
       onResidentEnd, start, resume, status, report, addMember, removeMember, setParams,
-      setPause, initAbort, postMessage, startMeeting, saveAll,
+      setPause, initAbort, postMessage, startMeeting, saveAll, broadcast,
       currentResident:()=>currentResident,
+      residentIdOf:(agent)=>{ const m=residentOfAgent(agent); return m||currentResident },
       useResident:(id)=>{ currentResident=id },
-      publishProgress, recordProposition, recordMethod, recordSubproblem, listResidents,
+      publishProgress, recordProposition, recordMethod, recordSubproblem, listResidents, reportContext,
+      proposeTask, claimTask, taskDone, listTasks,
       readProgress: async (rid)=>({text:(await readText('Progress/'+rid+'/progress.md'))||''}),
       frameworkRoot:frameworkRoot, currentProject:()=>currentProject, problemText:()=>problemText,
       residentCount:()=>residents.size,
@@ -376,7 +438,7 @@ export function apply(ctx) {
     tools.register({ name, description, parameters,
       output:{ schema:{ type:'string' }, render:(_a,v)=>[{type:'text',text:String(v)}] },
       execute: async (args, exec)=>{
-        try { const s=getSession(exec&&exec.agent); if(!s) return JSON.stringify({ok:false,error:'no session'}); return JSON.stringify(await fn(s,args||{})) }
+        try { const s=getSession(exec&&exec.agent); if(!s) return JSON.stringify({ok:false,error:'no session'}); return JSON.stringify(await fn(s,args||{},exec&&exec.agent)) }
         catch(e){ return JSON.stringify({ok:false,error:String((e&&e.message)||e)}) }
       } })
   }
@@ -387,20 +449,28 @@ export function apply(ctx) {
   registerTool('vibe_v4_abort','Abort V4 and interrupt residents.',objParams({}),(s)=>s.initAbort())
   registerTool('vibe_v4_status','Show V4 status.',objParams({}),(s)=>s.status())
   registerTool('vibe_v4_report','Return the V4 progress report.',objParams({}),(s)=>s.report())
-  registerTool('vibe_v4_message','Inject a message to a resident (or all).',objParams({to:{type:'string'},content:{type:'string'}},['to','content']),(s,a)=>{ const to=a.to||'all'; if(to==='all'){ return {ok:true,message:'broadcast: '+(a.content)} } return s.postMessage('facilitator',to,a.content) })
+  registerTool('vibe_v4_message','Inject a message to a resident (or all).',objParams({to:{type:'string'},content:{type:'string'}},['to','content']),(s,a)=>{ const to=a.to||'all'; if(to==='all') return s.broadcast(a.content); return s.postMessage('facilitator',to,a.content) })
   registerTool('vibe_v4_meeting','Start a meeting (coordinate / allocate / propose verification).',objParams({agenda:{type:'string'}},['agenda']),(s,a)=>s.startMeeting(a.agenda))
   registerTool('vibe_v4_list_members','List residents.',objParams({}),(s)=>({ok:true,residents:s.listResidents()}))
   registerTool('vibe_v4_add_member','Add a resident.',objParams({direction:{type:'string'}}),(s,a)=>s.addMember(a.direction))
   registerTool('vibe_v4_remove_member','Close a resident.',objParams({id:{type:'string'}},['id']),(s,a)=>s.removeMember(a.id))
-  registerTool('vibe_v4_set','Set V4 parameters.',objParams({residentCount:{type:'integer'},compactAfterRounds:{type:'integer'},compactThreshold:{type:'integer'},maxParallel:{type:'integer'},activityTimeoutMs:{type:'integer'}}),(s,a)=>{ s.setParams(a); return {ok:true} })
-  // resident-facing tools: route to the CURRENT (last-woken) resident of the session
-  registerTool('vibe_v4_send_message','(resident) Send a message to another resident.',objParams({to:{type:'string'},content:{type:'string'}},['to','content']),(s,a)=>s.postMessage(s.currentResident(),a.to,a.content))
-  registerTool('vibe_v4_publish_progress','(resident) Append to your own progress markdown.',objParams({content:{type:'string'}},['content']),(s,a)=>s.publishProgress(s.currentResident(),a.content))
-  registerTool('vibe_v4_record_proposition','(resident) Record a proposition to your library.',objParams({id:{type:'string'},title:{type:'string'},statement:{type:'string'},prob:{type:'number'},value:{type:'number'},motivation:{type:'string'}}),(s,a)=>s.recordProposition(s.currentResident(),a))
-  registerTool('vibe_v4_record_method','(resident) Record a method/theory to your library.',objParams({id:{type:'string'},title:{type:'string'},type:{type:'string'},content:{type:'string'},notation:{type:'string'},value:{type:'number'},motivation:{type:'string'}}),(s,a)=>s.recordMethod(s.currentResident(),a))
-  registerTool('vibe_v4_record_subproblem','(resident) Record a sub-problem to your library.',objParams({id:{type:'string'},title:{type:'string'},statement:{type:'string'},value:{type:'number'},motivation:{type:'string'}}),(s,a)=>s.recordSubproblem(s.currentResident(),a))
-  registerTool('vibe_v4_read_progress','(resident) Read another resident\'s progress (read-only).',objParams({id:{type:'string'}},['id']),(s,a)=>({ok:true,text:(s.readProgress(a.id))}))
+  registerTool('vibe_v4_set','Set V4 parameters.',objParams({residentCount:{type:'integer'},compactAfterRounds:{type:'integer'},compactThreshold:{type:'integer'},meetingKeepEvery:{type:'integer'},maxParallel:{type:'integer'},activityTimeoutMs:{type:'integer'}}),(s,a)=>{ s.setParams(a); return {ok:true} })
+  // resident-facing tools: route to the CALLING resident (exec.agent.id === childId);
+  // fall back to the last-woken resident when called by the host/assistant.
+  registerTool('vibe_v4_send_message','(resident) Send a message to another resident.',objParams({to:{type:'string'},content:{type:'string'}},['to','content']),(s,a,x)=>s.postMessage(s.residentIdOf(x),a.to,a.content))
+  registerTool('vibe_v4_publish_progress','(resident) Append to your own progress markdown.',objParams({content:{type:'string'}},['content']),(s,a,x)=>s.publishProgress(s.residentIdOf(x),a.content))
+  registerTool('vibe_v4_record_proposition','(resident) Record a proposition to your library.',objParams({id:{type:'string'},title:{type:'string'},statement:{type:'string'},prob:{type:'number'},value:{type:'number'},motivation:{type:'string'}}),(s,a,x)=>s.recordProposition(s.residentIdOf(x),a))
+  registerTool('vibe_v4_record_method','(resident) Record a method/theory to your library.',objParams({id:{type:'string'},title:{type:'string'},type:{type:'string'},content:{type:'string'},notation:{type:'string'},value:{type:'number'},motivation:{type:'string'}}),(s,a,x)=>s.recordMethod(s.residentIdOf(x),a))
+  registerTool('vibe_v4_record_subproblem','(resident) Record a sub-problem to your library.',objParams({id:{type:'string'},title:{type:'string'},statement:{type:'string'},value:{type:'number'},motivation:{type:'string'}}),(s,a,x)=>s.recordSubproblem(s.residentIdOf(x),a))
+  registerTool('vibe_v4_read_progress','(resident) Read another resident\'s progress (read-only).',objParams({id:{type:'string'}},['id']),async (s,a)=>{ const rp=await s.readProgress(a.id); return {ok:true,text:(rp&&rp.text)||''} })
   registerTool('vibe_v4_list_residents','(resident) List fellow residents.',objParams({}),(s)=>({ok:true,residents:s.listResidents()}))
+  // task board (residents; board is the residents' own allocation mechanism)
+  registerTool('vibe_v4_propose_task','(resident) Propose a task to the shared task board.',objParams({title:{type:'string'},description:{type:'string'}},['title']),(s,a,x)=>s.proposeTask(a.title,a.description,s.residentIdOf(x)))
+  registerTool('vibe_v4_claim_task','(resident) Claim an open task from the board (framework then wakes you to work it).',objParams({id:{type:'string'}},['id']),(s,a,x)=>s.claimTask(a.id,s.residentIdOf(x)))
+  registerTool('vibe_v4_task_done','(resident) Mark a claimed task done.',objParams({id:{type:'string'},claimer:{type:'string'}},['id']),(s,a,x)=>s.taskDone(a.id,a.claimer||s.residentIdOf(x)))
+  registerTool('vibe_v4_list_tasks','(resident) List open tasks.',objParams({}),(s)=>({ok:true,tasks:s.listTasks()}))
+  // context / compact (resident reports its context usage so the framework can /compact-equivalent)
+  registerTool('vibe_v4_report_context','(resident) Report your context usage %; the framework compacts (self-summary) when it reaches compactThreshold.',objParams({pct:{type:'number'}},['pct']),(s,a,x)=>s.reportContext(s.residentIdOf(x),a.pct))
   registerTool('vibe_v4_claim_write','Reserved: shared-file write lock (framework-managed).',objParams({target:{type:'string'}},['target']),(s,a)=>({ok:true,key:a.target}))
   registerTool('vibe_v4_release_write','Reserved: shared-file write lock release.',objParams({target:{type:'string'}},['target']),(s,a)=>({ok:true,key:a.target}))
 

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

@@ -325,3 +325,34 @@ VibeMath/Projects/<project>/
 - `verdictQuorum` 是否始终为 `all`（哲学强调一致，默认不改）。
 - `perResidentLibs`（每常驻独立目录 vs 共享库+署名）——默认独立。
 - DSH `/compact` 的精确触发 API（实现 P1 时确认）。
+
+---
+
+## 16. 实现现状备注（P5/P6 已落地，v1.3.x）
+
+**任务板认领（P5）**：`vibe_v4_propose_task / claim_task / task_done / list_tasks`。常驻可在回复或会议中提议/认领任务；认领后框架**唤醒认领者**带任务工作；任务板落盘 `Shared/taskboard.md` + `State/taskboard.json`；会议结束落任务板/触发验证目标。
+
+**上下文 / /compact（P5）**：DSH 打包未暴露"子代理上下文占比 + `/compact`" RPC，故实现**等效真实压缩**——常驻用 `vibe_v4_report_context {pct}` 上报占比；达 `compactThreshold`(66) 或 `compactAfterRounds` 轮数时，框架在下次唤醒前注入"[CONTEXT COMPACT — 浓缩自述]"指令，常驻把工作状态浓缩为一段自述并在回复里带 `contextPct`(低)、`compacted:true`；框架记录**浓缩种子**为后续上下文并复位 `roundsSinceCompact/needCompact`。`compactThreshold/compactAfterRounds/meetingKeepEvery` 均可调。
+
+**会议主动触发（P6）**：
+- 常驻 normal 回复里 `propose_meeting` 自触发会议；助手亦可 `vibe_v4_meeting`。
+- **自动同步会议**：每积累 `meetingKeepEvery`(默认 5) 个新产物，框架自动发起"分工/进展/是否需要验证"同步会议。
+- 会议输入可含 `propose_task/claim_task/propose_verify/voteSolved`，结束统一落任务板、触发验证、记停止表决；仍"全体一致 voteSolved=true 才停止"。
+
+---
+
+## 17. 深度审计修复（v1.3.2，自驱动 20/20）
+
+一次对 v4 的全面审计发现并修复了以下真实缺陷（`vibe-math-v4.js`）：
+
+| 缺陷 | 说明 | 修复 |
+|---|---|---|
+| **上下文压缩按占比失效** | `contextPct` 被 `cl()` 压成 `[0,1]`，与 `compactThreshold`(66 百分比)比较变成 `1.0>=66` 恒假，导致"达到占比自动 `/compact`"从不触发；压缩后复位也被同样钳死。 | `contextPct` 按 **0–100 百分比**保存（新增 `clPct`），比较与复位随之修正。 |
+| **常驻工具按全局槽路由** | 所有常驻工具用共享的 `currentResident`（一个可变全局），并发下（尤其 brainstorm 阶段 N 个常驻同时在途）所有产物/留言都归到"最后一个被唤醒者"，破坏每常驻独立库。 | 工具 handler 接收 `exec.agent`，按 `childId === agent.id` 解析"调用者常驻"（`residentIdOf`）；未知调用者再回落 `currentResident`。 |
+| **`vibe_v4_read_progress` 失效** | handler 返回 `text: s.readProgress(...)`（一个未 await 的 Promise），`JSON.stringify` 后变 `{}`，常驻读不到他人进展。 | 改为 `await` 并返回 `{ok,text:<string>}`。 |
+| **跨进程断点不重建常驻** | `resume()` 只在 `childId` 为空时 re-spawn；崩溃/重启后持久化的 `childId` 是陈旧值，导致不重建且对死链 followup；且 resume 从不 `scheduleNext()`。 | `session.json` 持久化 `processEpoch`；`resume()` 检测跨进程（epoch 不同）→ 清空陈旧 `childId` 强制 re-spawn，且末尾 `scheduleNext()` 重启调度。 |
+| **`message(all)` 广播是空壳** | `to==='all'` 只返回一句 `broadcast: ...` 但什么都不投递。 | 新增 `broadcast()`：对每个常驻 `postMessage`（空闲唤醒/忙则入信箱），返回"投递到 N 个常驻"。 |
+| **`addMember` 出现 id 碰撞** | `newResident` 用 `'r-'+(residents.size+1)`；移除某常驻后再增开会用与现存常驻重复的 id。 | 改用会话级单调 `residentSeq`（`start()` 时清零），增开永不复用旧 id。 |
+
+> **未改（保留为已知边界）**：`maxParallel`/`activityTimeoutMs` 目前为声明参数但未实际限流/门控（保持"常驻持续推进"的收敛行为，未做心跳超时门控以免阻塞自组织推进）；`claim_write`/`release_write` 仍为占位（常驻专属目录内天然无写冲突，共享文件由框架独占写）；真实 DSH `/compact` API 仍为 TODO（等效层已修复单位错配后可正常触发）。
+