store.py 36 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997
  1. """
  2. FileSystem Trace Store - 文件系统存储实现
  3. 用于跨进程数据共享,数据持久化到 .trace/ 目录
  4. 目录结构:
  5. .trace/{trace_id}/
  6. ├── meta.json # Trace 元数据
  7. ├── goal.json # GoalTree(扁平 JSON,通过 parent_id 构建层级)
  8. ├── messages/ # Messages(每条独立文件)
  9. │ ├── {message_id}.json
  10. │ └── ...
  11. └── events.jsonl # 事件流(WebSocket 续传)
  12. Sub-Trace 是完全独立的 Trace,有自己的目录:
  13. .trace/{parent_id}@{mode}-{timestamp}-{seq}/
  14. ├── meta.json # parent_trace_id 指向父 Trace
  15. ├── goal.json
  16. ├── messages/
  17. └── events.jsonl
  18. """
  19. import json
  20. import os
  21. import logging
  22. from pathlib import Path
  23. from typing import Dict, List, Optional, Any
  24. from datetime import datetime
  25. from .models import Trace, Message
  26. from .goal_models import GoalTree, Goal, GoalStats
  27. logger = logging.getLogger(__name__)
  28. class FileSystemTraceStore:
  29. """文件系统 Trace 存储"""
  30. def __init__(self, base_path: str = ".trace"):
  31. self.base_path = Path(base_path)
  32. self.base_path.mkdir(exist_ok=True)
  33. def _get_trace_dir(self, trace_id: str) -> Path:
  34. """获取 trace 目录"""
  35. return self.base_path / trace_id
  36. def _get_meta_file(self, trace_id: str) -> Path:
  37. """获取 meta.json 文件路径"""
  38. return self._get_trace_dir(trace_id) / "meta.json"
  39. def _get_goal_file(self, trace_id: str) -> Path:
  40. """获取 goal.json 文件路径"""
  41. return self._get_trace_dir(trace_id) / "goal.json"
  42. def _get_messages_dir(self, trace_id: str) -> Path:
  43. """获取 messages 目录"""
  44. return self._get_trace_dir(trace_id) / "messages"
  45. def _get_message_file(self, trace_id: str, message_id: str) -> Path:
  46. """获取 message 文件路径"""
  47. return self._get_messages_dir(trace_id) / f"{message_id}.json"
  48. def _get_events_file(self, trace_id: str) -> Path:
  49. """获取 events.jsonl 文件路径"""
  50. return self._get_trace_dir(trace_id) / "events.jsonl"
  51. def _get_model_usage_file(self, trace_id: str) -> Path:
  52. """获取 model_usage.json 文件路径"""
  53. return self._get_trace_dir(trace_id) / "model_usage.json"
  54. # ===== Trace 操作 =====
  55. async def create_trace(self, trace: Trace) -> str:
  56. """创建新的 Trace"""
  57. trace_dir = self._get_trace_dir(trace.trace_id)
  58. trace_dir.mkdir(exist_ok=True)
  59. # 创建 messages 目录
  60. messages_dir = self._get_messages_dir(trace.trace_id)
  61. messages_dir.mkdir(exist_ok=True)
  62. # 写入 meta.json
  63. meta_file = self._get_meta_file(trace.trace_id)
  64. meta_file.write_text(json.dumps(trace.to_dict(), indent=2, ensure_ascii=False), encoding="utf-8")
  65. # 创建空的 events.jsonl
  66. events_file = self._get_events_file(trace.trace_id)
  67. events_file.touch()
  68. return trace.trace_id
  69. async def get_trace(self, trace_id: str) -> Optional[Trace]:
  70. """获取 Trace"""
  71. meta_file = self._get_meta_file(trace_id)
  72. if not meta_file.exists():
  73. return None
  74. data = json.loads(meta_file.read_text(encoding="utf-8"))
  75. # 解析 datetime 字段
  76. if data.get("created_at"):
  77. data["created_at"] = datetime.fromisoformat(data["created_at"])
  78. if data.get("completed_at"):
  79. data["completed_at"] = datetime.fromisoformat(data["completed_at"])
  80. return Trace.from_dict(data)
  81. async def update_trace(self, trace_id: str, **updates) -> None:
  82. """更新 Trace"""
  83. trace = await self.get_trace(trace_id)
  84. if not trace:
  85. return
  86. # 更新字段
  87. for key, value in updates.items():
  88. if hasattr(trace, key):
  89. setattr(trace, key, value)
  90. # 写回文件
  91. meta_file = self._get_meta_file(trace_id)
  92. meta_file.write_text(json.dumps(trace.to_dict(), indent=2, ensure_ascii=False), encoding="utf-8")
  93. async def list_traces(
  94. self,
  95. mode: Optional[str] = None,
  96. agent_type: Optional[str] = None,
  97. uid: Optional[str] = None,
  98. status: Optional[str] = None,
  99. limit: int = 50,
  100. parent_trace_id: Optional[str] = None,
  101. created_by_tool: Optional[str] = None,
  102. ) -> List[Trace]:
  103. """列出 Traces"""
  104. traces = []
  105. if not self.base_path.exists():
  106. return []
  107. for trace_dir in self.base_path.iterdir():
  108. if not trace_dir.is_dir():
  109. continue
  110. meta_file = trace_dir / "meta.json"
  111. if not meta_file.exists():
  112. continue
  113. try:
  114. data = json.loads(meta_file.read_text(encoding="utf-8"))
  115. # 过滤
  116. if mode and data.get("mode") != mode:
  117. continue
  118. if agent_type and data.get("agent_type") != agent_type:
  119. continue
  120. if uid and data.get("uid") != uid:
  121. continue
  122. if status and data.get("status") != status:
  123. continue
  124. if parent_trace_id and data.get("parent_trace_id") != parent_trace_id:
  125. continue
  126. if created_by_tool and data.get("context", {}).get("created_by_tool") != created_by_tool:
  127. continue
  128. # 解析 datetime
  129. if data.get("created_at"):
  130. data["created_at"] = datetime.fromisoformat(data["created_at"])
  131. if data.get("completed_at"):
  132. data["completed_at"] = datetime.fromisoformat(data["completed_at"])
  133. traces.append(Trace.from_dict(data))
  134. except Exception:
  135. continue
  136. # 排序(最新的在前)
  137. traces.sort(key=lambda t: t.created_at, reverse=True)
  138. return traces[:limit]
  139. # ===== GoalTree 操作 =====
  140. async def get_goal_tree(self, trace_id: str) -> Optional[GoalTree]:
  141. """获取 GoalTree"""
  142. goal_file = self._get_goal_file(trace_id)
  143. if not goal_file.exists():
  144. return None
  145. try:
  146. data = json.loads(goal_file.read_text(encoding="utf-8"))
  147. return GoalTree.from_dict(data)
  148. except Exception:
  149. return None
  150. async def update_goal_tree(self, trace_id: str, tree: GoalTree) -> None:
  151. """更新完整 GoalTree"""
  152. goal_file = self._get_goal_file(trace_id)
  153. goal_file.write_text(json.dumps(tree.to_dict(), indent=2, ensure_ascii=False), encoding="utf-8")
  154. async def add_goal(self, trace_id: str, goal: Goal) -> None:
  155. """添加 Goal 到 GoalTree"""
  156. tree = await self.get_goal_tree(trace_id)
  157. if not tree:
  158. return
  159. tree.goals.append(goal)
  160. await self.update_goal_tree(trace_id, tree)
  161. # 推送 goal_added 事件
  162. event_data = {
  163. "goal": goal.to_dict(),
  164. "parent_id": goal.parent_id
  165. }
  166. await self.append_event(trace_id, "goal_added", event_data)
  167. # 打印详细的 goal 信息
  168. desc_preview = goal.description[:80] + "..." if len(goal.description) > 80 else goal.description
  169. print(f"[Goal Added] ID={goal.id}, Parent={goal.parent_id or 'root'}")
  170. print(f" 📝 {desc_preview}")
  171. if goal.reason:
  172. reason_preview = goal.reason[:60] + "..." if len(goal.reason) > 60 else goal.reason
  173. print(f" 💡 {reason_preview}")
  174. async def update_goal(
  175. self,
  176. trace_id: str,
  177. goal_id: str,
  178. *,
  179. cascade_completion: bool = True,
  180. **updates,
  181. ) -> None:
  182. """更新 Goal 字段"""
  183. tree = await self.get_goal_tree(trace_id)
  184. if not tree:
  185. return
  186. goal = tree.find(goal_id)
  187. if not goal:
  188. return
  189. # 更新字段
  190. for key, value in updates.items():
  191. if hasattr(goal, key):
  192. # 特殊处理 stats 字段(可能是 dict)
  193. if key in ["self_stats", "cumulative_stats"] and isinstance(value, dict):
  194. value = GoalStats.from_dict(value)
  195. setattr(goal, key, value)
  196. await self.update_goal_tree(trace_id, tree)
  197. # 推送 goal_updated 事件
  198. # 如果状态变为 completed,检查是否需要级联完成父 Goal
  199. affected_goals = [{"goal_id": goal_id, "updates": updates}]
  200. if cascade_completion and updates.get("status") == "completed":
  201. # 检查级联完成:如果所有兄弟 Goal 都完成,父 Goal 也完成
  202. cascade_completed = await self._check_cascade_completion(trace_id, goal)
  203. affected_goals.extend(cascade_completed)
  204. await self.append_event(trace_id, "goal_updated", {
  205. "goal_id": goal_id,
  206. "updates": updates,
  207. "affected_goals": affected_goals
  208. })
  209. print(f"[DEBUG] Pushed goal_updated event: goal_id={goal_id}, updates={updates}, affected={len(affected_goals)}")
  210. # Goal 完成时触发知识评估
  211. if updates.get("status") in ["completed", "abandoned"]:
  212. pending = await self.get_pending_knowledge_entries(trace_id)
  213. if pending:
  214. # 在trace.context中设置标志,由runner主循环检查
  215. trace = await self.get_trace(trace_id)
  216. if trace:
  217. if not trace.context:
  218. trace.context = {}
  219. trace.context["pending_knowledge_eval"] = True
  220. trace.context["knowledge_eval_trigger"] = "goal_completion"
  221. await self.update_trace(trace_id, context=trace.context)
  222. logger.info(f"[Knowledge Eval] Goal {goal_id} 完成,设置评估标志,待评估知识: {len(pending)} 条")
  223. async def _check_cascade_completion(
  224. self,
  225. trace_id: str,
  226. completed_goal: Goal
  227. ) -> List[Dict[str, Any]]:
  228. """
  229. 检查级联完成:如果一个 Goal 的所有子 Goal 都完成,则自动完成父 Goal
  230. Args:
  231. trace_id: Trace ID
  232. completed_goal: 刚完成的 Goal
  233. Returns:
  234. 受影响的父 Goals 列表(自动完成的)
  235. """
  236. if not completed_goal.parent_id:
  237. return []
  238. tree = await self.get_goal_tree(trace_id)
  239. if not tree:
  240. return []
  241. affected = []
  242. parent = tree.find(completed_goal.parent_id)
  243. if not parent:
  244. return []
  245. # 获取父 Goal 的所有子 Goal
  246. children = tree.get_children(parent.id)
  247. # 检查是否所有子 Goal 都已完成(排除 abandoned)
  248. all_completed = all(
  249. child.status in ["completed", "abandoned"]
  250. for child in children
  251. )
  252. if all_completed and parent.status != "completed":
  253. # 自动完成父 Goal
  254. parent.status = "completed"
  255. if not parent.summary:
  256. # 生成自动摘要
  257. completed_count = sum(1 for c in children if c.status == "completed")
  258. parent.summary = f"所有子目标已完成 ({completed_count}/{len(children)})"
  259. await self.update_goal_tree(trace_id, tree)
  260. affected.append({
  261. "goal_id": parent.id,
  262. "status": "completed",
  263. "summary": parent.summary,
  264. "cumulative_stats": parent.cumulative_stats.to_dict()
  265. })
  266. # 递归检查祖父 Goal
  267. grandparent_affected = await self._check_cascade_completion(trace_id, parent)
  268. affected.extend(grandparent_affected)
  269. return affected
  270. # ===== Message 操作 =====
  271. async def add_message(self, message: Message) -> str:
  272. """
  273. 添加 Message
  274. 自动更新关联 Goal 的 stats(self_stats 和祖先的 cumulative_stats)
  275. """
  276. trace_id = message.trace_id
  277. # 1. 写入 message 文件
  278. messages_dir = self._get_messages_dir(trace_id)
  279. message_file = messages_dir / f"{message.message_id}.json"
  280. message_file.write_text(json.dumps(message.to_dict(), indent=2, ensure_ascii=False), encoding="utf-8")
  281. # 2. 更新 trace 统计
  282. trace = await self.get_trace(trace_id)
  283. if trace:
  284. trace.total_messages += 1
  285. trace.last_sequence = max(trace.last_sequence, message.sequence)
  286. # 累计 tokens(完整版)
  287. if message.prompt_tokens:
  288. trace.total_prompt_tokens += message.prompt_tokens
  289. if message.completion_tokens:
  290. trace.total_completion_tokens += message.completion_tokens
  291. if message.reasoning_tokens:
  292. trace.total_reasoning_tokens += message.reasoning_tokens
  293. if message.cache_creation_tokens:
  294. trace.total_cache_creation_tokens += message.cache_creation_tokens
  295. if message.cache_read_tokens:
  296. trace.total_cache_read_tokens += message.cache_read_tokens
  297. # 向后兼容:也更新 total_tokens
  298. if message.tokens:
  299. trace.total_tokens += message.tokens
  300. elif message.prompt_tokens or message.completion_tokens:
  301. trace.total_tokens += (message.prompt_tokens or 0) + (message.completion_tokens or 0)
  302. if message.cost:
  303. trace.total_cost += message.cost
  304. if message.duration_ms:
  305. trace.total_duration_ms += message.duration_ms
  306. # 更新 Trace
  307. await self.update_trace(
  308. trace_id,
  309. total_messages=trace.total_messages,
  310. last_sequence=trace.last_sequence,
  311. total_tokens=trace.total_tokens,
  312. total_prompt_tokens=trace.total_prompt_tokens,
  313. total_completion_tokens=trace.total_completion_tokens,
  314. total_reasoning_tokens=trace.total_reasoning_tokens,
  315. total_cache_creation_tokens=trace.total_cache_creation_tokens,
  316. total_cache_read_tokens=trace.total_cache_read_tokens,
  317. total_cost=trace.total_cost,
  318. total_duration_ms=trace.total_duration_ms
  319. )
  320. # 3. 更新 Goal stats
  321. await self._update_goal_stats(trace_id, message)
  322. # 4. 追加 message_added 事件
  323. affected_goals = await self._get_affected_goals(trace_id, message)
  324. event_id = await self.append_event(trace_id, "message_added", {
  325. "message": message.to_dict(),
  326. "affected_goals": affected_goals
  327. })
  328. if event_id:
  329. try:
  330. from . import websocket as trace_ws
  331. await trace_ws.broadcast_message_added(
  332. trace_id=trace_id,
  333. event_id=event_id,
  334. message_dict=message.to_dict(),
  335. affected_goals=affected_goals,
  336. )
  337. except Exception:
  338. logger.exception("Failed to broadcast message_added (trace_id=%s, event_id=%s)", trace_id, event_id)
  339. return message.message_id
  340. async def _update_goal_stats(self, trace_id: str, message: Message) -> None:
  341. """更新 Goal 的 self_stats 和祖先的 cumulative_stats"""
  342. tree = await self.get_goal_tree(trace_id)
  343. if not tree:
  344. return
  345. # 找到关联的 Goal
  346. goal = tree.find(message.goal_id)
  347. if not goal:
  348. return
  349. # 更新自身 self_stats
  350. goal.self_stats.message_count += 1
  351. if message.tokens:
  352. goal.self_stats.total_tokens += message.tokens
  353. if message.cost:
  354. goal.self_stats.total_cost += message.cost
  355. # TODO: 更新 preview(工具调用摘要)
  356. # 更新自身 cumulative_stats
  357. goal.cumulative_stats.message_count += 1
  358. if message.tokens:
  359. goal.cumulative_stats.total_tokens += message.tokens
  360. if message.cost:
  361. goal.cumulative_stats.total_cost += message.cost
  362. # 沿祖先链向上更新 cumulative_stats
  363. current_goal = goal
  364. while current_goal.parent_id:
  365. parent = tree.find(current_goal.parent_id)
  366. if not parent:
  367. break
  368. parent.cumulative_stats.message_count += 1
  369. if message.tokens:
  370. parent.cumulative_stats.total_tokens += message.tokens
  371. if message.cost:
  372. parent.cumulative_stats.total_cost += message.cost
  373. current_goal = parent
  374. # 保存更新后的 tree
  375. await self.update_goal_tree(trace_id, tree)
  376. async def _get_affected_goals(self, trace_id: str, message: Message) -> List[Dict[str, Any]]:
  377. """获取受影响的 Goals(自身 + 所有祖先)"""
  378. tree = await self.get_goal_tree(trace_id)
  379. if not tree:
  380. return []
  381. goal = tree.find(message.goal_id)
  382. if not goal:
  383. return []
  384. affected = []
  385. # 添加自身(包含 self_stats 和 cumulative_stats)
  386. affected.append({
  387. "goal_id": goal.id,
  388. "self_stats": goal.self_stats.to_dict(),
  389. "cumulative_stats": goal.cumulative_stats.to_dict()
  390. })
  391. # 添加所有祖先(仅 cumulative_stats)
  392. current_goal = goal
  393. while current_goal.parent_id:
  394. parent = tree.find(current_goal.parent_id)
  395. if not parent:
  396. break
  397. affected.append({
  398. "goal_id": parent.id,
  399. "cumulative_stats": parent.cumulative_stats.to_dict()
  400. })
  401. current_goal = parent
  402. return affected
  403. return affected
  404. async def get_message(self, message_id: str) -> Optional[Message]:
  405. """获取 Message(扫描所有 trace)"""
  406. for trace_dir in self.base_path.iterdir():
  407. if not trace_dir.is_dir():
  408. continue
  409. # 检查 messages 目录
  410. message_file = trace_dir / "messages" / f"{message_id}.json"
  411. if message_file.exists():
  412. try:
  413. data = json.loads(message_file.read_text(encoding="utf-8"))
  414. return Message.from_dict(data)
  415. except Exception:
  416. pass
  417. return None
  418. async def get_trace_messages(
  419. self,
  420. trace_id: str,
  421. ) -> List[Message]:
  422. """获取 Trace 的所有 Messages(包含所有分支,按 sequence 排序)"""
  423. messages_dir = self._get_messages_dir(trace_id)
  424. if not messages_dir.exists():
  425. return []
  426. messages = []
  427. for message_file in messages_dir.glob("*.json"):
  428. try:
  429. data = json.loads(message_file.read_text(encoding="utf-8"))
  430. msg = Message.from_dict(data)
  431. messages.append(msg)
  432. except Exception:
  433. continue
  434. # 按 sequence 排序
  435. messages.sort(key=lambda m: m.sequence)
  436. return messages
  437. async def get_main_path_messages(
  438. self,
  439. trace_id: str,
  440. head_sequence: int
  441. ) -> List[Message]:
  442. """
  443. 获取从 head_sequence 沿 parent_sequence 链回溯到 root 的完整路径
  444. 此函数是通用的路径追溯函数,返回从指定 head 到 root 的完整消息链。
  445. 只要 trace.head_sequence 管理正确(指向主路径),此函数自然返回主路径消息。
  446. 侧分支消息通过 parent_sequence 链自然被跳过(因为主路径的 parent 不指向侧分支)。
  447. Returns:
  448. 按 sequence 正序排列的路径 Message 列表
  449. """
  450. # 加载所有消息,建立 sequence -> Message 索引
  451. all_messages = await self.get_trace_messages(trace_id)
  452. messages_by_seq = {m.sequence: m for m in all_messages}
  453. # 从 head 沿 parent chain 回溯
  454. path = []
  455. seq = head_sequence
  456. while seq is not None:
  457. msg = messages_by_seq.get(seq)
  458. if not msg:
  459. break
  460. path.append(msg)
  461. seq = msg.parent_sequence
  462. # 反转为正序(root → head)
  463. path.reverse()
  464. return path
  465. async def get_messages_by_goal(
  466. self,
  467. trace_id: str,
  468. goal_id: str
  469. ) -> List[Message]:
  470. """获取指定 Goal 关联的所有 Messages"""
  471. all_messages = await self.get_trace_messages(trace_id)
  472. return [m for m in all_messages if m.goal_id == goal_id]
  473. async def update_message(self, message_id: str, **updates) -> None:
  474. """更新 Message 字段"""
  475. message = await self.get_message(message_id)
  476. if not message:
  477. return
  478. # 更新字段
  479. for key, value in updates.items():
  480. if hasattr(message, key):
  481. setattr(message, key, value)
  482. # 确定文件路径
  483. messages_dir = self._get_messages_dir(message.trace_id)
  484. message_file = messages_dir / f"{message_id}.json"
  485. message_file.write_text(json.dumps(message.to_dict(), indent=2, ensure_ascii=False), encoding="utf-8")
  486. async def abandon_messages_after(self, trace_id: str, cutoff_sequence: int) -> List[str]:
  487. """
  488. 将 sequence > cutoff_sequence 的 active messages 标记为 abandoned。
  489. 返回被 abandon 的 message_id 列表。
  490. """
  491. all_messages = await self.get_trace_messages(trace_id)
  492. abandoned_ids = []
  493. now = datetime.now()
  494. for msg in all_messages:
  495. if msg.sequence > cutoff_sequence and msg.status == "active":
  496. msg.status = "abandoned"
  497. msg.abandoned_at = now
  498. # 直接写回文件
  499. message_file = self._get_messages_dir(trace_id) / f"{msg.message_id}.json"
  500. message_file.write_text(
  501. json.dumps(msg.to_dict(), indent=2, ensure_ascii=False),
  502. encoding="utf-8"
  503. )
  504. abandoned_ids.append(msg.message_id)
  505. return abandoned_ids
  506. # ===== 模型使用追踪 =====
  507. async def record_model_usage(
  508. self,
  509. trace_id: str,
  510. sequence: int,
  511. role: str,
  512. model: str,
  513. prompt_tokens: int,
  514. completion_tokens: int,
  515. cache_read_tokens: int = 0,
  516. tool_name: Optional[str] = None,
  517. ) -> None:
  518. """
  519. 记录模型使用情况到 model_usage.json
  520. Args:
  521. trace_id: Trace ID
  522. sequence: 消息序号
  523. role: 角色(assistant/tool)
  524. model: 模型名称
  525. prompt_tokens: 输入tokens
  526. completion_tokens: 输出tokens
  527. cache_read_tokens: 缓存读取tokens
  528. tool_name: 工具名称(role=tool时)
  529. """
  530. usage_file = self._get_model_usage_file(trace_id)
  531. # 读取现有数据
  532. if usage_file.exists():
  533. data = json.loads(usage_file.read_text(encoding="utf-8"))
  534. else:
  535. data = {
  536. "summary": {
  537. "total_models": 0,
  538. "total_tokens": 0,
  539. "total_cache_read_tokens": 0,
  540. "agent_tokens": 0,
  541. "tool_tokens": 0,
  542. },
  543. "models": [],
  544. "timeline": [],
  545. }
  546. # 更新summary
  547. total_tokens = prompt_tokens + completion_tokens
  548. data["summary"]["total_tokens"] += total_tokens
  549. data["summary"]["total_cache_read_tokens"] += cache_read_tokens
  550. if role == "assistant":
  551. data["summary"]["agent_tokens"] += total_tokens
  552. source = "agent"
  553. else:
  554. data["summary"]["tool_tokens"] += total_tokens
  555. source = f"tool:{tool_name}" if tool_name else "tool"
  556. # 更新models列表
  557. model_entry = None
  558. for m in data["models"]:
  559. if m["model"] == model and m["source"] == source:
  560. model_entry = m
  561. break
  562. if model_entry:
  563. model_entry["prompt_tokens"] += prompt_tokens
  564. model_entry["completion_tokens"] += completion_tokens
  565. model_entry["total_tokens"] += total_tokens
  566. model_entry["cache_read_tokens"] += cache_read_tokens
  567. model_entry["call_count"] += 1
  568. else:
  569. data["models"].append({
  570. "model": model,
  571. "source": source,
  572. "prompt_tokens": prompt_tokens,
  573. "completion_tokens": completion_tokens,
  574. "total_tokens": total_tokens,
  575. "cache_read_tokens": cache_read_tokens,
  576. "call_count": 1,
  577. })
  578. data["summary"]["total_models"] = len(data["models"])
  579. # 添加到timeline
  580. timeline_entry = {
  581. "sequence": sequence,
  582. "role": role,
  583. "model": model,
  584. "prompt_tokens": prompt_tokens,
  585. "completion_tokens": completion_tokens,
  586. }
  587. if cache_read_tokens > 0:
  588. timeline_entry["cache_read_tokens"] = cache_read_tokens
  589. if tool_name:
  590. timeline_entry["tool_name"] = tool_name
  591. data["timeline"].append(timeline_entry)
  592. # 写回文件
  593. usage_file.write_text(json.dumps(data, indent=2, ensure_ascii=False), encoding="utf-8")
  594. # ===== 事件流操作(用于 WebSocket 断线续传)=====
  595. async def get_events(
  596. self,
  597. trace_id: str,
  598. since_event_id: int = 0
  599. ) -> List[Dict[str, Any]]:
  600. """获取事件流"""
  601. events_file = self._get_events_file(trace_id)
  602. if not events_file.exists():
  603. return []
  604. events = []
  605. with events_file.open('r', encoding='utf-8') as f:
  606. for line in f:
  607. try:
  608. event = json.loads(line.strip())
  609. if event.get("event_id", 0) > since_event_id:
  610. events.append(event)
  611. except Exception:
  612. continue
  613. return events
  614. async def append_event(
  615. self,
  616. trace_id: str,
  617. event_type: str,
  618. payload: Dict[str, Any]
  619. ) -> int:
  620. """追加事件,返回 event_id"""
  621. # 获取 trace 并递增 event_id
  622. trace = await self.get_trace(trace_id)
  623. if not trace:
  624. return 0
  625. trace.last_event_id += 1
  626. event_id = trace.last_event_id
  627. # 更新 trace 的 last_event_id
  628. await self.update_trace(trace_id, last_event_id=event_id)
  629. # 创建事件
  630. event = {
  631. "event_id": event_id,
  632. "event": event_type,
  633. "ts": datetime.now().isoformat(),
  634. **payload
  635. }
  636. # 追加到 events.jsonl
  637. events_file = self._get_events_file(trace_id)
  638. with events_file.open('a', encoding='utf-8') as f:
  639. f.write(json.dumps(event, ensure_ascii=False) + '\n')
  640. return event_id
  641. # ===== Cognition Log 管理 =====
  642. def _get_cognition_log_file(self, trace_id: str) -> Path:
  643. """获取 cognition_log.json 文件路径"""
  644. return self._get_trace_dir(trace_id) / "cognition_log.json"
  645. def _get_knowledge_log_file(self, trace_id: str) -> Path:
  646. """兼容旧接口:优先使用 cognition_log,回退到 knowledge_log"""
  647. cognition_file = self._get_cognition_log_file(trace_id)
  648. if cognition_file.exists():
  649. return cognition_file
  650. legacy_file = self._get_trace_dir(trace_id) / "knowledge_log.json"
  651. if legacy_file.exists():
  652. return legacy_file
  653. return cognition_file # 新建时用 cognition_log
  654. async def get_cognition_log(self, trace_id: str) -> Dict[str, Any]:
  655. """读取认知日志"""
  656. log_file = self._get_cognition_log_file(trace_id)
  657. if log_file.exists():
  658. return json.loads(log_file.read_text(encoding="utf-8"))
  659. # 兼容旧格式:如果只有 knowledge_log.json,读取并转换
  660. legacy_file = self._get_trace_dir(trace_id) / "knowledge_log.json"
  661. if legacy_file.exists():
  662. return json.loads(legacy_file.read_text(encoding="utf-8"))
  663. return {"trace_id": trace_id, "events": []}
  664. async def get_knowledge_log(self, trace_id: str) -> Dict[str, Any]:
  665. """兼容旧接口"""
  666. log = await self.get_cognition_log(trace_id)
  667. # 旧格式用 entries,新格式用 events
  668. if "entries" not in log and "events" in log:
  669. log["entries"] = log["events"]
  670. return log
  671. async def append_cognition_event(
  672. self,
  673. trace_id: str,
  674. event: Dict[str, Any],
  675. ) -> None:
  676. """追加认知事件到 cognition_log.json。
  677. 所有事件共有字段:
  678. type: str 事件类型(见下表)
  679. timestamp: str ISO 格式时间戳(框架自动写入)
  680. 已定义的事件类型及典型字段:
  681. type="query" — 知识注入查询(goal focus 时触发)
  682. sequence, goal_id, query, response, source_ids, sources
  683. type="evaluation" — 知识评估(Goal 完成/压缩前/任务结束触发)
  684. knowledge_id, eval_result{relevance, utility, notes}, trigger_event
  685. type="extraction_pending" — 反思侧分支暂存的待审核提取(Phase 1.2+)
  686. extraction_id, sequence, goal_id, branch_id, payload
  687. (payload 字段与 knowledge_save 参数一一对应)
  688. type="extraction_reviewed" — 人工审核决策(CLI / HTTP API 写入)
  689. extraction_id, decision("approve"/"edit"/"discard"), edited_payload?
  690. type="extraction_committed" — 已上传到 KnowHub
  691. extraction_id, knowledge_id
  692. type="reflection" — Dream 的 per-trace 反思摘要(Phase 2.4 / 3.1)
  693. sequence_range: [start, end] 本次反思覆盖的消息区间
  694. summary: str LLM 生成的反思摘要
  695. consumed_at: 可选, ISO 时间戳 当跨 trace 整合已消化此反思时写入
  696. 其他字段可按需附加,不做强校验(演进友好)。
  697. """
  698. log = await self.get_cognition_log(trace_id)
  699. if "events" not in log:
  700. log["events"] = log.pop("entries", [])
  701. event["timestamp"] = datetime.now().isoformat()
  702. log["events"].append(event)
  703. log_file = self._get_cognition_log_file(trace_id)
  704. log_file.write_text(json.dumps(log, indent=2, ensure_ascii=False), encoding="utf-8")
  705. async def append_knowledge_entry(
  706. self,
  707. trace_id: str,
  708. knowledge_id: str,
  709. goal_id: str,
  710. injected_at_sequence: int,
  711. task: str,
  712. content: str
  713. ) -> None:
  714. """兼容旧接口:追加知识注入记录(转换为 query 事件)"""
  715. await self.append_cognition_event(
  716. trace_id=trace_id,
  717. event={
  718. "type": "query",
  719. "sequence": injected_at_sequence,
  720. "goal_id": goal_id,
  721. "query": task,
  722. "response": "",
  723. "source_ids": [knowledge_id],
  724. "sources": [{"id": knowledge_id, "task": task, "content": content[:500]}],
  725. }
  726. )
  727. async def update_knowledge_evaluation(
  728. self,
  729. trace_id: str,
  730. knowledge_id: str,
  731. eval_result: Dict[str, Any],
  732. trigger_event: str
  733. ) -> None:
  734. """更新知识评估结果(兼容旧格式 + 新 cognition_log 格式)
  735. 旧格式:更新 entries[] 中匹配 knowledge_id 的条目的 eval_result
  736. 新格式:追加 evaluation 事件到 events[]
  737. """
  738. log = await self.get_cognition_log(trace_id)
  739. events = log.get("events", log.get("entries", []))
  740. # 旧格式兼容:直接更新 entries 中的 eval_result 字段
  741. if "entries" in log:
  742. matching = [
  743. (i, e) for i, e in enumerate(log["entries"])
  744. if e.get("knowledge_id") == knowledge_id and e.get("eval_result") is None
  745. ]
  746. if matching:
  747. matching.sort(key=lambda x: x[1].get("injected_at_sequence", 0), reverse=True)
  748. _, entry = matching[0]
  749. entry["eval_result"] = eval_result
  750. entry["evaluated_at"] = datetime.now().isoformat()
  751. entry["evaluated_at_trigger"] = trigger_event
  752. log_file = self._get_knowledge_log_file(trace_id)
  753. log_file.write_text(json.dumps(log, indent=2, ensure_ascii=False), encoding="utf-8")
  754. return
  755. # 新格式:追加 evaluation 事件
  756. # 找到包含该 knowledge_id 的最近 query 事件
  757. query_events = [
  758. e for e in events
  759. if e.get("type") == "query" and knowledge_id in e.get("source_ids", [])
  760. ]
  761. query_sequence = query_events[-1]["sequence"] if query_events else None
  762. await self.append_cognition_event(
  763. trace_id=trace_id,
  764. event={
  765. "type": "evaluation",
  766. "sequence": max((e.get("sequence", 0) for e in events), default=0) + 1,
  767. "query_sequence": query_sequence,
  768. "trigger": trigger_event,
  769. "assessments": [
  770. {"source_id": knowledge_id, "status": eval_result.get("eval_status", ""), "reason": eval_result.get("reason", "")}
  771. ],
  772. }
  773. )
  774. async def get_pending_knowledge_entries(self, trace_id: str) -> List[Dict[str, Any]]:
  775. """获取所有待评估的知识条目(兼容旧格式 + 新格式)"""
  776. log = await self.get_cognition_log(trace_id)
  777. # 旧格式
  778. if "entries" in log:
  779. return [e for e in log["entries"] if e.get("eval_result") is None]
  780. # 新格式:找没有对应 evaluation 事件的 query 事件
  781. events = log.get("events", [])
  782. query_events = [e for e in events if e.get("type") == "query"]
  783. eval_events = [e for e in events if e.get("type") == "evaluation"]
  784. # 已评估的 query sequences
  785. evaluated_sequences = {e.get("query_sequence") for e in eval_events}
  786. pending = []
  787. for qe in query_events:
  788. if qe.get("sequence") not in evaluated_sequences:
  789. # 转为旧格式兼容(runner 中的评估逻辑期望此格式)
  790. for source in qe.get("sources", []):
  791. pending.append({
  792. "knowledge_id": source.get("id", ""),
  793. "goal_id": qe.get("goal_id", ""),
  794. "injected_at_sequence": qe.get("sequence", 0),
  795. "task": source.get("task", ""),
  796. "content": source.get("content", ""),
  797. "query_sequence": qe.get("sequence"),
  798. })
  799. return pending
  800. async def update_user_feedback(
  801. self,
  802. trace_id: str,
  803. knowledge_id: str,
  804. user_feedback: Dict[str, Any]
  805. ) -> None:
  806. """记录用户对知识的反馈(confirm/override)"""
  807. log = await self.get_cognition_log(trace_id)
  808. # 旧格式
  809. if "entries" in log:
  810. matching = [
  811. (i, e) for i, e in enumerate(log["entries"])
  812. if e.get("knowledge_id") == knowledge_id
  813. ]
  814. if matching:
  815. matching.sort(key=lambda x: x[1].get("injected_at_sequence", 0), reverse=True)
  816. _, entry = matching[0]
  817. entry["user_feedback"] = user_feedback
  818. log_file = self._get_knowledge_log_file(trace_id)
  819. log_file.write_text(json.dumps(log, indent=2, ensure_ascii=False), encoding="utf-8")
  820. return
  821. # 新格式:追加 user_feedback 事件(或直接记录在 evaluation 上)
  822. await self.append_cognition_event(
  823. trace_id=trace_id,
  824. event={
  825. "type": "user_feedback",
  826. "knowledge_id": knowledge_id,
  827. "feedback": user_feedback,
  828. }
  829. )