Backup/ARTEX
1
0
Fork 0
mirror of https://github.com/BaaRai/ARTEX.git synced 2026-11-13 11:40:53 +08:00
Code Issues Packages Projects Releases Wiki Activity
773 Commits 112 Branches 4 Tags
main
Commit Graph
8 Commits
Author SHA1 Message Date
BaaRai e233c02314 Translate all Chinese text to English 
Comments, doc comments, UI labels, log and error messages, LLM prompt
strings, markdown docs, test data and assertions. Identifiers, enum
keys, routes, placeholders and code structure are unchanged.

Notes:
- docs/漏洞流量证据.md renamed to docs/vulnerability-traffic-evidence.md
- tests that exercised CJK specific handling (GBK zip names, Chinese
  full text search) now use ASCII equivalents; go build passes and the
  test suite matches the pre translation baseline (remaining failures
  need a PostgreSQL DSN and fail identically on the original)
- frontend mention syntax now uses English kinds (finding, asset, ...)
  matching the backend, chat mentions tests pass
 2026-10-08 23:14:34 +02:00
Autumn-27 da90fa6991 refactor(graph_overview): related_tasks 冷区统一走 coldDigestsRecent 并封顶 
- coldDigestsRecent 改为接收 store 的自由函数，主概览与关联任务概览共用
- related_tasks 的 cold_digests 由无上限的 activeDigestBodies 换成
  coldDigestsRecent(ts, 6)：按最新成员时间排序、每源截 6，溢出 digest id
  带 inherited/source_task_id 入 cold_digests_more，仍可 expand_digest 展开
- 删除随之无用的 activeDigestBodies
 2026-09-24 13:11:28 -04:00
Autumn-27 408144cc7f refactor(graph_overview): 概览各列表加数量上限，止住上下文膨胀 
用"最新一窗 + 计数/pull 兜底"替换 hot/cold 拆分与 balancedCap：
- recent_facts 20、recent_done_intents 12、open_intents 30(按 priority)
- cold_digests 15，按最新成员时间(max member id)降序，溢出的更旧 digest
  只给裸 id(cold_digests_more)，仍可 expand_digest 展开
- 新增 CountOpenIntents，frontier_open 报开放意图真实总数(与截断视图解耦)
- 删除 balancedCap/unfoldedCap/unfolded_truncated 及其测试

掉出窗口的节点不丢：facts/done_intents_total/frontier_open/findings_total
计数在，list_facts/list_findings/node_detail/expand_digest 可按需回捞
 2026-09-24 13:05:27 -04:00
Autumn-27 90ccfadd6f refactor(graph_overview): 精简态势概览字段 
- 删除 cold_index 字段及其 expand_index 工具（含两处注册），移除
  仅服务它的 coldDigestOverview 分桶逻辑（改用 activeDigestBodies）
- 删除 covered_members 字段（悬空血缘解析表）
- 删除 coverage.scope 字段（范围根资产 + company 富化）
- finding_list 每条仅保留 id/summary/from_intent，去掉 evidence/assets，
  并清理随之无用的 findingMeta 预计算与 assetValue 辅助函数
 2026-09-24 12:24:01 -04:00
Autumn-27 977a45873b fix(agent): 探索图工具在无任务上下文时拒绝而非 nil 崩溃 
buildDomainReg 构造的 server 级 ToolSet 恒持 nil ExplorationStore(taskID=0)，
tools 表可把其中任一工具绑给不在任务内运行的 agent(auto/pentest/reporter/
自定义/旁路提问)。node_detail 等探索图工具直接解引用 t.ts，被这类 agent 调用即
nil deref；panic 发生在 harness 自己的 goroutine 上，server 侧任何 recover 都
够不到，整进程退出，重启后调度器又拉起同一 agent 再崩，形成崩溃循环。

- 新增 readExpTool/writeExpTool + needExploration：t.ts==nil 时返回可读的工具
  错误(提示改用带 task_id 的跨任务读取工具)，把 17 个探索图工具切过去
- anchorOwner 补判空
- AugmentTools 出口给每个工具套 guardPanic：handler panic 降级成工具错误并打
  stack，覆盖域工具/SDK/MCP/skill，进程不再陪葬
- 注明 buildDomainReg 的 nil-store 契约
 2026-09-14 13:56:56 -04:00
Autumn-27 830f3d4721 feat(digest): related_tasks 只读折叠(§2 跨任务) 
关联/继承任务的概览现在复用其【自身的折叠视图】,与当前任务同逻辑:

- relatedTaskOverviews 按 source 任务自己的 covered/hot 折出已折成员(recent_facts /
  recent_intent_results 跳过已折且仍冷的成员),并把该任务的 cold_digests(body)只读带出,
  统一 inherited=true / source_task_id 标记。
- expand_digest 支持跨任务:先查本任务,再查直接关联任务(read-only),返回成员紧凑列表并
  标继承;node_detail 已有的 GetNodeWithSources 负责成员完整还原。
- 复活检查同样生效:source 任务里已复活(转热)的被覆盖成员照常显示,不被折出。

至此设计文档 §2 跨任务折叠全部落地;仅 §2.3 墙钟兜底(任务停摆判稳)按既定作为后续。
 2026-09-09 12:09:01 -04:00
Autumn-27 466fcc1bb1 fix(digest): 多智能体评审修正 — 资产索引收敛 + 60cap 保 hot + 文档同步 
对照 cold-digest-spec 的对抗式评审(20 项发现)逐条核对实现，两处真实代码问题已修：

- 资产索引膨胀(评审 §6.2 高危)：早前把一个 digest 落进它成员命中的【每个】asset 桶，
  跨资产 digest 会复制进几十个桶、顶层条目不降反升(真实图 asset_ids 约 144 个)。改为
  每个 digest 只归一个【代表资产】桶(成员锚定众数、并列取最小 id；无锚定 → 0 号兜底桶)，
  条目数 ≤ digest 数。
- 60 兜底截断误砍活跃上下文(评审 §6.3 高危)：hot(live 前沿祖先链 / live 意图下新事实)
  是活跃推理上下文，绝不能截。改为 hot 全保、60-cap 只约束【冷但未折】残余；冷区两侧
  均衡保留。graph_overview 每轮计算 render 期 hot 集(兼用于复活检查)。

其余 16 项评审发现经核对，本实现已由设计选择规避/处理：全量扫描维护(静默变冷/传递翻转
盖章)、签名含锚节点、minor+major 统一走同一 group()(§3.1 在两处都生效、major 不会拆散
同父组)、提交时活跃度复核(不折入复活成员)、content_version 列+状态变更 bump、渲染期索引
(无 KindIndex 陈旧)、cold_digests 与索引并列(body 仍在顶层)、singleton 只进 recent。

文档 §6.2 同步上述解决口径(body 归属、一 digest 一桶、singleton 归 recent)。
 2026-09-09 12:04:17 -04:00
Autumn-27 2faee6ed99 feat(digest): 探索图冷节点压缩(cold-digest) 
把老且长期不活跃的意图/事实折叠成 digest 节点进 graph_overview 展示，
原始节点永久保留、按 id 可完整还原（存储无损、只压呈现、折叠可逆）。

- 数据模型：KindDigest 节点 + RelCovers 边（真相源）；新列 content_version、
  cold_since_round（节点级）、round_no（任务级 planner 轮次）；均带旧库迁移。
- 纯算法(coldgraph.go)：冷热判定(逆向可达 + 任一活分支即热) + R=6 轮防抖 +
  连通分量分组(§3) + §3.1 同父兄弟归组(救"热 hub+扁平死叶") + §5.3 签名。
- 后台压缩(compaction.go)：minor 折未覆盖冷块(tiered)、major 回源重压合并碎片；
  签名幂等复用 body；提交时活跃度复核(绝不覆盖已复活节点)；60s 冷却 + 互斥。
- 概览折叠(§6)：recent_* 剔除已折成员 + 渲染时复活检查；cold_digests + 按资产
  索引 cold_index(§6.2)；expand_digest/expand_index 还原；covered_members 反查
  悬空血缘 id；60 兜底截断均衡保 live。
- planner 每轮 OnPlannerRound 维护戳记并触发后台压缩，绝不上热路径。

纯算法单测覆盖 §附/§3.1/§2.3/§5.3；已对 437 节点真实图验证：热 86、冷候选 324、
§3.1 分组 47 块 + 14 孤立冷点（对齐设计文档实测校验）。
 2026-09-09 11:52:15 -04:00