dsh-vibe-math 1.4.0 → 2.0.0

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

@@ -32,7 +32,13 @@ export function apply(ctx) {
       residentCount: 4, compactThreshold: 66, compactAfterRounds: 8,
       maxParallel: 3, activityTimeoutMs: 120000, verdictMaxRounds: 3,
       meetingKeepEvery: 5,   // 每积累 N 个新产物自动触发一次同步会议
+      // model/provider inheritance: '' = the resident inherits the parent (main assistant)
+      // route (provider + model). Set them to override the resident's LLM backend/model.
       provider: '', model: '', residentPersona: '',
+      // tool permissions: an allow/deny list of tool names applied via startContinuable's
+      // toolFilter (scoped tools.restrict() in the child). Empty = inherit all tools.
+      // CAUTION: only set one of these; an empty allow:[] would deny EVERY tool.
+      toolAllow: [], toolDeny: [],
     }
     let params = Object.assign({}, DEFAULT_PARAMS)
     let running = false, autoDone = false, phase = 'idle'
@@ -59,6 +65,19 @@ export function apply(ctx) {
     function logActivity(event,detail){ activityLog.push({at:now(),event,detail:String(detail||'')}); if(activityLog.length>activityLogCap) activityLog.shift() }
     function logDecision(kind,detail){ decisions.push({at:now(),kind,detail:String(detail||'')}) }
     function pickProvider(){ try { const n=subagents.list?subagents.list():[]; if(n.indexOf('spawn')!==-1) return 'spawn'; if(n.indexOf('fork')!==-1) return 'fork' } catch(e){} return 'spawn' }
+    // Per-resident model/provider inheritance: when params.provider / params.model are set,
+    // the resident uses that exact route; when left '' the resident inherits the parent's
+    // (main assistant) route — the documented DSH default (resolveChildAgentOptions merges
+    // requested over parent). No override is applied for empty values.
+    function residentAgentOptions(){ const ao={}; if(params.provider) ao.provider=params.provider; if(params.model) ao.model=params.model; return ao }
+    // Tool permission (scoped toolFilter). Only emit a filter when allow or deny has entries;
+    // an empty object is rejected by DSH ("must declare allow and/or deny").
+    function residentToolFilter(){
+      const allow=Array.isArray(params.toolAllow)?params.toolAllow.filter(x=>String(x).trim()):[]
+      const deny=Array.isArray(params.toolDeny)?params.toolDeny.filter(x=>String(x).trim()):[]
+      if(allow.length===0 && deny.length===0) return undefined
+      const f={}; if(allow.length) f.allow=allow; if(deny.length) f.deny=deny; return f
+    }
     function makeSignal(ms){ return AbortSignal.timeout(ms||30000) }
     function workspaceRoot(){ try { if(rootAgent&&rootAgent.session&&rootAgent.session.header&&rootAgent.session.header.cwd) return rootAgent.session.header.cwd } catch(e){} if(sandboxPolicy&&sandboxPolicy.workspaceRoot) return sandboxPolicy.workspaceRoot; return '.' }
     function vibeRoot(){ return (workspaceRoot()+'/VibeMath').replace(/\\/g,'/') }
@@ -150,6 +169,12 @@ export function apply(ctx) {
       s.push('### 可用工具')
       s.push(toolList())
       s.push('')
+      if(level==='full'){
+        s.push('### 可自主发明理论/工具（鼓励，但不强迫）')
+        s.push('请注意：你可以（但**不强迫**，完全视实际需要而定）尝试自主构建新的理论框架或工具——例如对某种系统做抽象化、一般化，抽离/推广出更一般的结构或理论框架；然后不断完善这个理论框架，在该框架下推得各种定理、性质、结论，以利于该框架下问题的解决。这就像为解决方程问题发明了群论、为分析需要建立了泛函分析框架——它比单纯解决当前问题更有学术价值，因为你直接得到了一类更普遍的方法/理论体系。')
+        s.push('若你发明了这样的理论/工具，请**阐明它对原问题的用处、价值**；后续可根据需要不断**完善、一般化、推广**它。把这类成果记入你的 Methods/<你>/ 库。')
+        s.push('')
+      }
       s.push('### 规则')
       s.push('- 只有 Verified/（或卡片标"已验证·真/假"）算已确立；其余都是你的实验性工作，请区分"猜想/已知"。')
       s.push('- 验证必须**全组一致**（全真或全假）；你只信全票结果。未全票的对象留在库里带概率。')
@@ -210,7 +235,8 @@ export function apply(ctx) {
     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(params.activityTimeoutMs||60000)})
+      const ao=residentAgentOptions(); const tf=residentToolFilter()
+      const started=await subagents.startContinuable({provider:pickProvider(),label:r.rId,request:{prompt:[textBlock(brainstormPrompt(r))],parent:rootAgent,agentOptions:ao,...(tf?{toolFilter:tf}:{})},signal:makeSignal(params.activityTimeoutMs||60000)})
       r.childId=started.childId; r.status='brainstorm'; r.lastActiveAt=now()
       childOwner.set(started.childId,sessionId); busy.add(r.rId); wakeKind.set(r.rId,'normal'); currentResident=r.rId
       residents.set(r.rId,r); await saveAll(); logActivity('spawn',r.rId+' ('+(r.direction||'brainstorm')+')')
@@ -220,16 +246,28 @@ export function apply(ctx) {
       clearHeartbeat()
       busy.add(r.rId); wakeKind.set(r.rId,kind||'normal'); currentResident=r.rId
       r.lastActiveAt=now(); r.rounds+=1; r.roundsSinceCompact+=1
-      // 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").
+      // Context compaction has TWO distinct needs. Confusing them is the bug that made
+      // '[核心规则重申]+[CONTEXT COMPACT]' repeat at the start of nearly every prompt:
+      //   (a) r.needCompact (set by a REAL /compact) => the resident's rules may be blurred, so
+      //       re-anchor the short core rules on the next wake of ANY kind, then CLEAR the flag.
+      //       (Short recap only; no self-summary directive — the real compact already condensed.)
+      //   (b) soft-compact trigger (contextPct>=threshold OR roundsSinceCompact>=afterRounds) =>
+      //       the resident's context genuinely grew; ask it to self-summary. ONLY on a normal
+      //       research round (kind==='normal'): a meeting/verify reply has no contextPct/compacted
+      //       fields, so a directive injected there is never acknowledged and would repeat forever.
       let prompt = promptText
-      if(r.needCompact || (Number(r.contextPct)>=Number(params.compactThreshold)) || (r.roundsSinceCompact>=Number(params.compactAfterRounds))){
+      const isNormal = (kind||'normal')==='normal'
+      const wantSoft = isNormal && (Number(r.contextPct)>=Number(params.compactThreshold) || Number(r.roundsSinceCompact)>=Number(params.compactAfterRounds))
+      const wantReanchor = r.needCompact
+      if(wantSoft){
         prompt = coreRulesBrief() + '\n' +
           '[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
+      } else if(wantReanchor){
+        prompt = coreRulesBrief() + '\n' + prompt
+        r.needCompact = false
       }
       try { await subagents.followup(rootAgent,r.childId,[textBlock(prompt)],{source:{kind:'user'},signal:makeSignal(params.activityTimeoutMs||60000)}); return true }
       catch(e){ console.error('vibe-v4 wake '+r.rId+' failed: '+String((e&&e.message)||e)); busy.delete(r.rId); return false }
@@ -261,6 +299,18 @@ export function apply(ctx) {
     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} }
+    // Apply context/compact bookkeeping from a resident's reply, so the flag can clear even when
+    // the reply came through a meeting/verify branch (defensive) as well as the normal branch.
+    function postmark(r, parsed){
+      if(typeof parsed.contextPct==='number') r.contextPct=clPct(parsed.contextPct)
+      if(parsed.compacted===true || (r.needCompact && parsed.summary)){
+        r.contextSeed=String(parsed.summary||r.contextSeed||'')
+        r.contextPct=Math.min(r.contextPct||15,25)
+        r.roundsSinceCompact=0
+        r.needCompact=false
+        logActivity('compact', r.rId+' consolidated context')
+      }
+    }
 
     // ---- messaging ----
     async function postMessage(from,to,content){
@@ -293,15 +343,21 @@ export function apply(ctx) {
     async function startMeeting(agenda,type,targetId){
       if(meetingState) return {ok:false,message:'meeting already in progress'}
       clearHeartbeat()
-      meetingState={id:'mt-'+shortId(),agenda,type:type||'general',targetId:targetId||null,round:0,asked:[],inputs:{},transcript:[]}
+      const ids=Array.from(residents.keys())
+      // Rotate the per-meeting speaking order so the SAME resident isn't always the "first speaker
+      // who sees no one else's contribution"; a real discussion lets each member lead sometimes.
+      const rot=Math.floor(Math.random()*Math.max(1,ids.length))
+      const order=ids.slice(rot).concat(ids.slice(0,rot))
+      meetingState={id:'mt-'+shortId(),agenda,type:type||'general',targetId:targetId||null,round:0,asked:[],inputs:{},transcript:[],order}
       logActivity('meeting','start: '+agenda); await saveAll(); await scheduleNext(); return {ok:true,id:meetingState.id}
     }
     async function continueMeetingRound(){
       if(!meetingState) return
       const ids=Array.from(residents.keys()); const allSpoke=ids.every(id=>meetingState.inputs[id]!==undefined)
       if(allSpoke){ await finalizeMeeting(); return }
-      // only wake IDLE un-spoken residents; in-flight ones re-trigger this on end.
-      const id=ids.find(x=>meetingState.inputs[x]===undefined && !busy.has(x)); if(!id) return
+      // only wake IDLE un-spoken residents (rotated order); in-flight ones re-trigger this on end.
+      const order=meetingState.order||ids
+      const id=order.find(x=>meetingState.inputs[x]===undefined && !busy.has(x)); if(!id) return
       const r=residents.get(id)
       await wakeResident(r, meetingPrompt(r,meetingState), 'meeting'); await saveAll()
     }
@@ -490,6 +546,7 @@ export function apply(ctx) {
       realCompact(r).catch(()=>{})   // best-effort real DSH /compact of this resident while idle
       const output=blocksToText(info&&info.lastAssistantMessage)
       const parsed=parseReply(output)
+      postmark(r, parsed)   // context/compact bookkeeping, regardless of wake kind (clears any leak)
       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,propose_task:parsed.propose_task||null,task_desc:parsed.task_desc||'',claim_task:parsed.claim_task||null}
@@ -512,9 +569,6 @@ 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()}
       // group-conversation relay: the resident may choose to speak to the whole team (input) —
       // forward it to the others so this is a real discussion group, not private monologues.
@@ -559,14 +613,22 @@ export function apply(ctx) {
     }
     function status(){ return { ok:true, running, phase, autoDone, project:currentProject, residentCount:residents.size,
       residents:listResidents(), busy:[...busy], taskboard:taskboard.length,
-      params:['residentCount','compactAfterRounds','compactThreshold','maxParallel','activityTimeoutMs','meetingKeepEvery','verdictMaxRounds'].map(k=>k+'='+params[k]).join(', ') } }
+      params:['residentCount','compactAfterRounds','compactThreshold','maxParallel','activityTimeoutMs','meetingKeepEvery','verdictMaxRounds','provider','model','residentPersona','toolAllow','toolDeny'].map(k=>k+'='+(Array.isArray(params[k])?params[k].join(','):params[k])).join(', ') } }
     function report(){ return { ok:true, running, phase, autoDone, project:currentProject, problem:problemText,
       residents:listResidents(), taskboard:taskboard.filter(t=>t.status!=='done'),
       verify: verifyState?{target:verifyState.targetId,stage:verifyState.stage}:null, meetings:meetings.length,
       recentActivity: activityLog.slice(-8) } }
     async function addMember(direction){ const r=newResident(direction||''); await spawnResident(r); return {ok:true,id:r.rId,direction:r.direction} }
     async function removeMember(id){ const r=residents.get(id); if(!r) return {ok:false}; if(r.childId){ try{ subagents.interrupt(r.childId,{kind:'ancestor',agent:rootAgent}) }catch(e){} } residents.delete(id); busy.delete(id); mailboxes.delete(id); await saveAll(); return {ok:true} }
-    function setParams(upd){ for(const k of Object.keys(upd||{})){ if(k in params) params[k]=upd[k] } saveSettings().catch(()=>{}); return {ok:true} }
+    // Normalize one parameter value to its intended type so a string from /v4 set or configure
+    // becomes the right number/array. Keeps settings.json clean regardless of how it was set.
+    function normalizeParam(k, v){
+      const INT_KEYS=['residentCount','compactThreshold','compactAfterRounds','maxParallel','activityTimeoutMs','verdictMaxRounds','meetingKeepEvery']
+      if(INT_KEYS.includes(k)){ const n=Number(v); return Number.isFinite(n)?n:v }
+      if(k==='toolAllow'||k==='toolDeny'){ if(Array.isArray(v)) return v.map(x=>String(x).trim()).filter(Boolean); if(typeof v==='string') return v.split(',').map(x=>x.trim()).filter(Boolean); return [] }
+      return v
+    }
+    function setParams(upd){ for(const k of Object.keys(upd||{})){ if(k in params) params[k]=normalizeParam(k, upd[k]) } saveSettings().catch(()=>{}); return {ok:true} }
     // ---- create / configure (no auto-start) + settings-file persistence ----
     async function loadSettings(){ const s=await readJson('State/settings.json'); if(s&&typeof s==='object'){ for(const k of Object.keys(s)){ if(k in params) params[k]=s[k] } } }
     async function saveSettings(){ await writeJson('State/settings.json', params) }
@@ -575,7 +637,7 @@ export function apply(ctx) {
     async function configure(cfg){
       if(cfg && cfg.project && String(cfg.project).trim()) currentProject=String(cfg.project).trim()
       if(cfg && cfg.problem) problemText=String(cfg.problem)
-      if(cfg && cfg.params && typeof cfg.params==='object') for(const k of Object.keys(cfg.params)) if(k in params) params[k]=cfg.params[k]
+      if(cfg && cfg.params && typeof cfg.params==='object') setParams(cfg.params)
       await writeCurrentProject(); await ensureDirs(); await saveSettings()
       // create the problem card so the project is complete BEFORE the run starts
       if(problemText){ const pid=slugify(problemText.slice(0,40))||'problem'; await writeText('Problems/'+pid+'.md','# 问题｜'+pid+'\n- ID: '+pid+'\n- 类型: 问题\n- 状态: 求解中\n- 优先级: 1\n- 依赖: []\n\n## 陈述\n'+problemText+'\n') }
@@ -624,7 +686,10 @@ export function apply(ctx) {
   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'},meetingKeepEvery:{type:'integer'},maxParallel:{type:'integer'},activityTimeoutMs:{type:'integer'},verdictMaxRounds:{type:'integer'}}),(s,a)=>{ s.setParams(a); return {ok:true} })
+  // model/provider inheritance: set model/provider to override the residents' LLM route (''=inherit
+  // the main assistant's route). toolAllow/toolDeny are per-resident tool permissions (scoped
+  // restrict). residentPersona prepends a persona line to every resident prompt.
+  registerTool('vibe_v4_set','Set V4 parameters. model/provider override resident LLM route (empty=inherit main); toolAllow/toolDeny restrict resident tools (arrays of tool names); residentPersona adds a persona line.',objParams({residentCount:{type:'integer'},compactAfterRounds:{type:'integer'},compactThreshold:{type:'integer'},meetingKeepEvery:{type:'integer'},maxParallel:{type:'integer'},activityTimeoutMs:{type:'integer'},verdictMaxRounds:{type:'integer'},provider:{type:'string'},model:{type:'string'},residentPersona:{type:'string'},toolAllow:{type:'array',items:{type:'string'}},toolDeny:{type:'array',items:{type:'string'}}}),(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))

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

@@ -480,6 +480,41 @@ VibeMath/Projects/<project>/
 - **补上缺失的 `/v4 set` 分支**：此前 usage 列了 `set` 但命令处理器没实现，`/v4 set` 会掉到 usage；现支持 `key=value` 解析并 `setParams`（也持久化到 settings）。
 - **真实 `/compact` 后重申规则**：`realCompact` 成功压缩常驻真实会话后，置 `needCompact=true`，使下一次唤醒**重申核心规则**（与软压缩一致），避免真实压缩后常驻淡忘规则。
 
+---
+
+## 24. 自主发明理论 / 模型与工具权限 / 压缩重申泄漏修复（v1.4.1）
+
+针对一次真实 3 常驻 run（HRT 4 猜想）的深入审计 + 用户三条新增要求：
+
+### 1. 初始提示告知"可自主构建新的理论框架/工具"（v1.4.1-①）
+在 `contextBrief(r,'full')`（**仅首轮 brainstorm**，符合"背景只讲一次"）新增一节 **"可自主发明理论/工具（鼓励，但不强迫）"**：
+- 常驻可（但**不强迫**、完全视实际需要）**自主尝试构建新的理论框架或工具**——对某种系统做**抽象化、一般化**，抽离/推广出更一般的结构或理论框架；然后**不断完善**它，在该框架下推得各种**定理、性质、结论**，以利于该框架下问题的解决。
+- 类比：为解决方程问题发明了**群论**、为分析需要建立了**泛函分析**框架——这比单纯解决当前问题更有价值，因为直接得到了一类**更普遍的方法/理论体系**。
+- 若发明了这样的理论/工具，请**阐明它对原问题的用处、价值**；后续可**不断完善、一般化、推广**它，并把这类成果记入 `Methods/<你>/` 库。
+- 这是**鼓励，不是指派**；不写固定模板、不强制"每轮必须发明"。
+
+### 2. 补齐"模型继承关系 + 工具权限"参数（v1.4.1-②）
+此前 `provider`/`model` 参数在 `DEFAULT_PARAMS` 里**声明但从未被使用**（死参数），且**没有任何工具权限参数**。现补齐并真正落地：
+- **模型继承**：默认**常驻继承主代理（main assistant）的 provider/model 路由**（DSH `resolveChildAgentOptions` 把请求项并到父路由之上）。通过 `params.provider`/`params.model` 可**覆盖**常驻的 LLM 后端/模型（空=继承）。
+- **工具权限**：新增 `params.toolAllow` / `params.toolDeny`，经 `startContinuable` 的 `toolFilter` 做**作用域 `tools.restrict()`**（被点名的工具从常驻提示里消失且拒绝执行）。默认两者为空 → **常驻继承全部工具**（含 fs 与各 `vibe_v4_*`）；只有显式配置才收权。⚠️ 注意"deny-all 陷阱"：**空 `allow:[]` 会拒绝一切工具**，因此只有当 allow 或 deny 至少有一项时才会发出 filter。
+- **接线**：`spawnResident` 现把 `residentAgentOptions()`（provider/model）与 `residentToolFilter()`（toolAllow/toolDeny）传入 `startContinuable`；`setParams` 做类型归一（整数 / 逗号分隔的数组）；`vibe_v4_set` schema 与 `status()` 参数串也已加这些新参数。
+
+### 3. 修复"[核心规则重申]+[CONTEXT COMPACT]"在提示开头重复泄漏（v1.4.1-③）
+这是真实 run 的核心 bug。**根因**（从 `State/residents.json` 证实）：r-1 的 `needCompact:true` 常年不释放、`roundsSinceCompact:10`（>8）——框架在**所有**唤醒（含 meeting/verify）里都根据"`needCompact || contextPct>=阈值 || rounds>=afterRounds`"注入压缩指令；而 meeting/verify 分支收到回复后**提前 return，从不处理 `contextPct/compacted/needCompact`**，于是 `needCompact` 卡死为 true，**每个后续提示都在开头重复"核心规则重申 + CONTEXT COMPACT"**。修复：
+- **只对 normal 研究轮注入完整压缩指令**；meeting/verify/CHECKPOINT 不再注入（它们的回复没有 `compacted/contextPct` 字段，注入了也永远无法被确认 → 无限重复）。
+- **`needCompact`（真实 `/compact` 后）只重申一次短规则并立即清位**（下次任一唤醒即可，清位后不再重复），不再要求再做一次自述。
+- 新增 `postmark(r, parsed)`，在 `onResidentEnd` **所有分支**（含 meeting/verify）开头统一处理 context/compact 记账，杜绝任何情况下的标志泄漏。
+- 这样"规则重申/压缩指令"只出现在**真正发生了压缩的那次唤醒**（软压缩每 `compactAfterRounds` 轮一次、真实 `/compact` 后一次），不再"每轮都重复"。
+
+### 4. 会议发言顺序轮换（v1.4.1-④，改善"第一位发言者看不到别人"）
+真实 run 里 r-1 几乎总是在会议里 **第一个发言**（因 `residents` 按插入序 r-1,r-2,r-3，`continueMeetingRound` 取第一个未发言者），于是它本次会议内**看不到** r-2/r-3 的后续发言。现改为**每次会议随机轮换发言顺序**（`meetingState.order`），让不同常驻轮流先发言，讨论更公平、各成员都能看到别人。
+
+### 5. 关于 HRT run 收敛与"第7轮后看不到别人消息"的解释（审计结论，非代码 bug）
+- **收敛合理且符合哲学**：三名常驻经约 18/24/29 轮与 6 次会议，**独立且一致**地给出诚实结论——"HRT-4 一般形式很可能为假（0.8+，未确立）+ 完整必要筛 + 统一机制 + 判定方程(♯) + 明确标注未决点（显式反例=外部无全文阻塞、generic 证明=HRT 核心困难未证）"；**无任何 Verified/ 对象**；**无人 declare solved**（每会 `voteSolved` 均非全 true）。框架没有强行收口（`autoDone=false`），run 是被**外部暂停**（`running:false, phase:active`）。这正是哲学要求的诚实：常驻不编造"已解决"，框架也不强加结论。
+- **"第7轮后看不到别人消息/群聊"合理且有两点成因**：① run 后期以**会议为主**（r-1 的后续唤醒几乎都是 Meeting 提示，而非"第 N 轮"研究轮）；② **`[群聊]` 群聊转发在会议主导期被积压**——`scheduleNext` 让会议/验证优先于邮箱投递，会议期间 `[群聊]` 只排队不投递，r-1 邮箱里积压了大量未投递的群聊消息（`State/mailboxes.json` 可见）。会议提示里虽会把"他人已发言"转给常驻，但 r-1 作为最常的先发言者，本次会议内看不到后续发言。这是**自组织在"深度协作+会议主导"下的自然表现**；已通过 §24.4 的发言顺序轮换改善，`[群聊]` 积压会在恢复 normal 阶段被正常投递。
+
+> 测试：`selfdrive-v4.mjs` 21/21；`e2e-v4-fixes.test.mjs` 36/36（新增 T10 模型/工具权限接线、T11 默认继承、T12 自主发明理论提示、T13 压缩指令不泄漏进 meetings）；v3 E2E 100/100、v2 regression 14/14、v2 business 24/24、multisession 25/25 全绿。
+
 
 
 

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

@@ -1,198 +0,0 @@
-# The `vibe-math` agent preset: the full coding agent (`standard`), plus the
-# multi-agent mathematical problem-solving & verification framework.
-#
-# The vibe-math plugin row consumes the HOST subagents/agents/fs/tools services
-# and publishes nothing, so it needs no isolate realm (like tool-fs / tool-web).
-
-# ── 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 toolkit (available in this preset)
-
-      This session includes the "Vibe Math" multi-agent mathematical problem-solving and
-      verification framework. It is driven by a background scheduler (code), NOT by the model:
-      you only issue the control tools below and read status; the scheduler then automatically
-      runs brainstorm → solver iteration → multi-verifier debate → promotion to Verified →
-      triage back to the problem list (priority 2 > 3 > 1, concurrency-gated).
-
-      - vibe_math_add_problem {id, description, priority} — add a problem to qs.csv.
-      - 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).
-      - vibe_math_setup — return the parameter schema (name, type, current, default, description, options, suggestion) for guided configuration.
-      - vibe_math_save_settings — write current params to <project>/vibe_math_setting.json (JSON-with-comments) as new defaults.
-      - vibe_math_new_project / vibe_math_set_project / vibe_math_list_projects — manage 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 these: /vibe start|resume|pause|abort|status|report|mode <auto|manual>|setup|save|add <id> <description>|project [list|new <name>|<name>]|decisions|agents.
-
-      Configurable subagent permissions (via vibe_math_set_params or the settings file): solverToolAllow/solverToolDeny and verifierToolAllow/verifierToolDeny restrict which tools a child sees (hard toolFilter); solverMaxToolCalls/verifierMaxToolCalls cap external tool calls per round (soft). Each child is also told it may read Verified/ and, for solvers, Progress_Logs/{qid}_progress.csv.
-
-      Interactive configuration: when the user wants to configure or adjust Vibe Math parameters, call vibe_math_setup to get the schema (each item has description, options, and a suggestion), then use ask_user_question to ask the user for the choices, apply them with vibe_math_set_params, and finally ask whether to persist them to vibe_math_setting.json via vibe_math_save_settings.
-
-      When the user asks to solve or verify a math problem with Vibe Math: add the problem (or ask for it first), then vibe_math_start, then report vibe_math_status. In manual mode, poll vibe_math_list_decisions and resolve each with vibe_math_decide. Data lives under {{cwd}}/VibeMath/Projects/<project>/ and survives restarts via vibe_math_resume.
-
-- 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 ───────────────────────────────────────────────────────────────
-
-# The multi-agent math solver + verification framework: a preset-local plugin
-# (./vibe-math.js) that registers 16 model tools (vibe_math_*), a /vibe slash
-# command, and a background scheduler. It consumes the HOST
-# subagents/agents/fs/tools/commands services and provides nothing, so it sits
-# loose (no isolate realm).
-- id: vibe-math
-  name: './vibe-math.js'

package/vibe-math-v1/preset.yml

@@ -1,2 +0,0 @@
-name: Vibe Math V1
-description: 多代理数学问题求解与验证框架（广度探索 → 深度迭代 → 交叉验证 → 知识沉淀）。具备标准模式的全部能力，并提供 vibe_math_* 工具集（20 个）与 /vibe 斜杠命令，用于数学问题的自动求解、多代理交叉验证、按项目隔离、断点续跑与人工/自动干预。