chore(digest): expand_digest/expand_index 只给 planner 与 main agent,不给 worker

worker 不读 graph_overview、不需要按 digest 列成员;命中折叠成员 id 时用 node_detail
(直接取原节点、非折叠感知)即可还原。故从 WorkerTools 移除这两个工具,只保留在
PlannerTools 与 MainAgentTools。
This commit is contained in:
Autumn-27
2026-09-09 12:28:39 -04:00
parent 830f3d4721
commit 9d140a6e2b
-2
View File
@@ -611,8 +611,6 @@ func splitLines(s string) []string {
func (t *ToolSet) WorkerTools() []actool.CoreTool {
return []actool.CoreTool{
t.listFindings(), t.listFacts(), t.nodeDetail(),
// cold-digest §6.1: a worker may hit a folded id in lineage — let it expand.
t.expandDigest(), t.expandIndex(),
t.addFinding(), t.recordFact(),
// cross-work retrieval
t.searchAllWorkerTraces(), t.listWorkerTraces(), t.getWorkerTrace(),