store.py 35 KB

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