长日志压缩还不丢一行证据SoL-Pi证据保留压缩器深度解析【免费下载链接】SoL-PiSoL-Pi: Scaling Auto-Research Loops for Efficient Agent Harnesses项目地址: https://gitcode.com/gh_mirrors/so/SoL-PiSoL-Pi 的 Evidence-Preserving Reducer证据保留压缩器专门解决一个棘手问题AI 编程 Agent 每读完一次几万行的构建/测试日志就要白白烧掉几千 token——但整份日志里真正影响下一步决策的往往只有几行。SoL-Pi 的做法是把原始日志先按内容哈希存档再交给压缩器模型生成一张紧凑收据receipt最后逐字节核对收据里每一句引用是否真实存在于原始日志核验不过就直接丢弃收据、原样放行原始日志。为什么长日志是 Agent 的隐形税想象你让 Agent 跑一次cargo test输出 4 万行。下一轮请求里整份日志会被塞进上下文——模型只为判断编译在哪一步炸了却要为全部 4 万行付费。更糟的是普通摘要式压缩会让模型用自己的话复述日志转述可能添油加醋也可能把关键错误悄悄漏掉而且你无法验证摘要是否忠实。SoL-Pi 的证据保留压缩器换了一条思路不信任流畅的总结只接受可逐行核对的引文index.ts。三步流水线筛选 → 归档 → 逐行核验第 1 步只挑值得压缩的诊断日志不是所有输出都进压缩器。候选筛选逻辑candidate.ts要求命令必须命中诊断类清单cargo、pytest、ninja、make、go test、npm test、lake buildLean/Coq 构建等正则定义见 config.ts日志至少4096 字节小输出压缩不划算不超过 60 万字符上限疑似含密钥的日志直接放行原文——检测到api_key、Bearer、access_token等模式时拒绝委托远程模型index.ts。对 bash 大结果它还优先读取 Pi 写盘的完整未截断日志而不是终端里的预览片段保证证据核对基于命令真实产出的字节。第 2 步按 SHA-256 归档原始日志原始日志先落盘存档archive.ts文件名就是内容的 SHA-256 哈希存于会话目录evidence-preserving-reducer/objects/xx/下同名不同内容会立即报完整性失败绝不静默复用——这是内容寻址存储的硬约束收据里会带上source_artifact路径Agent 之后需要精确上下文时可以按字节/行范围直接回读原文压缩永不丢原文。第 3 步压缩器输出收据每句话都要验真压缩器模型provider.ts拿到被明确标注为untrusted_log的日志指令是只回一段 JSONevidence数组最多 12 条每条引用逐字节连续摘抄自日志标注类别fatal致命、failure失败、warning警告、target失败目标、summary结论——指令全文见 receipt.ts。随后validateReceipt做五道关卡receipt.tsJSON 可解析且 schema 版本号匹配收据声称的source_sha256与归档哈希一致——防止张冠李戴status必须与命令真实退出状态一致——禁止把失败的构建报成成功每一条 quote 都必须在原始日志中逐字节找到找不到即整张收据作废失败日志若含error/panic/timeout等信号却拿不出fatal/failure类证据同样作废。核验通过后才生成人类可读的收据文本状态、不置信标记、命令与日志的哈希、每条证据的行号与 SHA-256、归档回读路径并明确写着诊断、修复、重跑与成败裁决权仍归主 Agentreceipt.ts。任何一步失败原始日志都会赢这套机制最让人安心的是它的降级哲学。以下 5 种情况之一出现就丢弃收据、原封不动返回原始日志并在会话日志里记账journal.ts情况记账原因日志含疑似密钥likely-secret模型调用超时/异常model-call-timeout等模型返回错误model-response-error引用无法逐字核验unverifiable-quote收据不比原文小receipt-not-smaller另外压缩器每次决策成为候选、委托、成功应用都会追加一条不进入 LLM 上下文的会话日志方便你事后审计哪次压缩省了多少——应用成功时 TUI 也会弹出节省的字节数index.ts。如何开启证据保留压缩2 分钟配置所有机制默认关闭需在sol-pi.json中显式开启。参考模板 sol-pi.example.json{ version: 1, evidencePreservingReducer: true, evidencePreservingReducerProvider: provider-id, evidencePreservingReducerModel: model-id }配置文件查找顺序、完整字段与信任行为见 docs/configuration.md。两点提醒它会把符合条件的诊断日志发给远程压缩模型使用 Pi 管理的认证。日志必须留在本地的环境请保持false完整边界说明见 SECURITY.md若只想要零远程调用的本地优化可只开启actionFusion与observationPack。行为测试可参考 tests/evidence-preserving-reducer.test.ts。小结SoL-Pi 证据保留压缩器把压缩从一句玄学口号变成了可审计的工程流程只压诊断类长日志小输出和疑似泄密内容不碰原文哈希归档随时可按行回读压缩不丢字节每句引文逐字节验真模型说错了就整张收据作废任何环节失败都回退原文主 Agent 的裁决权永远保留。省下的 token 是真金白银而一条证据都没丢才是它敢让 Agent 放心读短收据的底气。【免费下载链接】SoL-PiSoL-Pi: Scaling Auto-Research Loops for Efficient Agent Harnesses项目地址: https://gitcode.com/gh_mirrors/so/SoL-Pi创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考
