可恢复的工具结果折叠：怎样验证它比原生 compaction 更有价值？

[tt-a1i]

当前 Pi compaction / OpenPI context_pivot 已经能降低模型窗口占用。这里想讨论一个更窄的问题：已经离开窗口的工具证据，能否通过“小摘要 + 源引用 + 有界回读”更可靠地再次使用，且完整成本仍然划算？

本次是社区源码研究，不是性能实测，也不提议直接安装新的 Context Runtime。OpenPI 对照为 ed9dbc1018f890fd54375f5371990ddfee8af5df。

两个值得比较的机制

1. 总结后移出结果。pi-context-prune 在未来 context 投影中过滤已总结的 toolResult，原始 Session 留存；短 ref 可以恢复原结果。它也会跳过比原文更长的总结，避免无限重试同一范围。固定源码：pruner、indexer。
2. 先标记，集中提交。pi-fold 将 pending marks 与真正改变请求的 commit 分开，尝试减少反复改写前缀；peek 再按需读取原证据。它把原文和后代目录放进同一个总字节预算，而不是只限制正文。固定源码：context hook、bounded peek。

值得学的是可恢复引用、预算和变更边界。两个包都不能整体照搬：前者另发 summarizer 调用并复制索引数据；后者还接管 automatic compaction、overflow rollback 和九种工具操作。pi-fold 的 compaction hook。

也需要纠正比较口径：Pi 的原始 Session JSONL 不会因为退出模型窗口就等同于被删除。这里研究的是模型的恢复路径，不是另造一份 Session 来源。作者的节省比例和配合 Memory 的 Benchmark 尚未在 OpenPI 复现。

什么实验能判断有无价值

固定 Pi/OpenPI、provider/model、任务和 verifier，以当前 compaction/pivot 为基线，只比较上述两种结果投影策略，不加入新 Memory 或模型路由。

• 场景包含长构建日志、跨阶段追问，以及压缩后必须回看某条原始错误/后续纠正才能答对的任务。
• 记录任务成功率、事实准确率、所有模型调用的 input/output/cacheRead/cacheWrite、summarizer/child usage、wall time 和回读次数。上下文变短不能单独证明费用降低。
• 覆盖 Session reopen、branch/fork、取消、compaction/pivot 竞态及源内容不可读；恢复失败要明确失败，不能凭摘要补造“原文”。

必须保持的不变量：源引用属于当前允许的 Session/branch；来源与执行事实保持不变；tool call/result 的最终 provider 结构合法；正文、目录、参数数量和总结果共同受限；撤回/纠正不能被旧摘要覆盖；权限不能由记忆或引用恢复。

如果额外调用和 cache rewrite 使总成本上升，且没有质量收益，应停止。只有稳定对照结果通过，才开最小实现 Issue，优先复用 Pi context / Session entries / lifecycle，保留原生手动 compaction 退出路径。

关联：#190、#194、#313。与 #154 的 checkpoint/rewind 不同，本帖只研究工具证据的投影和恢复，不倒退执行事实。

研究记录：Pi 社区能力研究与候选清单（2026-09-08）。源码证据、运行验证与采用决策分别记录。

[tt-a1i]

2026-09-08 目录里还有三个相关机制，不再新开 Discussion：

• @hypabolic/pi-hypa（npm 0.1.14，2026-08-13，FSL）：deterministic reducer + 可回读 artifact；不拿它的第二 CLI / SQLite。
• pi-posthorse（npm 0.4.5，2026-09-06）：无摘要 rollover window。
• @narumitw/pi-codex-compact（npm 0.52.0，2026-09-03）：Codex Remote Compaction V2 + Pi fallback。

本帖仍只验证「可恢复工具结果折叠 vs 原生 compaction」。本轮未运行这些包。

目录记录：docs/research/PI_COMMUNITY_PLUGIN_SURVEY_2026-09-08.md。

[tt-a1i]

2026-09-08 目录第二轮再两条压缩对照，不再新开：

• billion-context-pi npm 0.1.60（2026-09-08）：坐在 agent 与模型 API 之间的压缩代理（另有跨 harness 的 billion-context）。这是进程外 proxy，不是可恢复工具结果折叠。
• pi-tool-display npm 0.5.0：展示层截断 / diff 可视化，不是 compaction 原语。

本帖仍只验证「可恢复工具结果折叠 vs 原生 compaction」。本轮未运行。

[tt-a1i]

2026-09-09 源码对照实验（只读 clone，未安装、未运行）：docs/research/EXPERIMENT_COMPACTION_FOLD_2026-09-09.md（本 checkout 未提交，也未改 research README）。

四件不同的事不要并进本帖的实现：

1. Deterministic tool-output reducer — Hypa 的想法（命令族压 stdout，原文可回读）。08-09 已 Learn-from；不新开 Hypa-vendor Issue，不 merge FSL 运行时。
2. Model summarizer — Pi 原生 compaction / 官方 custom-compaction / pi-context-prune / Codex remote compact。Pi 拥有时机与 CompactionEntry。
3. Session rewind / 无摘要 rollover — context: 研究可回收的探索 checkpoint/rewind，不把它等同于 context_pivot #154、pi-posthorse（要 fork 的 session_before_auto_compact，官方 Pi 没有）。不是折叠。
4. API proxy — billion-context MITM / /bili/。继续 Ignore。

OpenPI context_pivot 是 phase brief（故意找不到的 firstKeptEntryId），不是 fold。资格门仍是 #24。

本帖继续只验证「可恢复工具结果折叠 vs 原生 compaction」。不新开 tracker。

[tt-a1i]

2026-09-09 源码补强（只读本 checkout a9b40f0，未安装、未运行、未 clone 社区包）：docs/research/EXPERIMENT_RESULT_BUDGET_2026-09-09.md（未提交，也未改 research README）。

result-budget.ts 不是 fold，也不是 08-09 P2 的 bash reducer。它是 2026-08-23 #89/#92 已落地的 父窗口 batch 分配器：compaction 后 usage unknown 则退回静态 cap，动态路径只能收窄。fd/rg/git_*/bg_* 都不走它。

已有的可回读也不是本帖要的「离开窗口 + 短引用」：

• search / git / BT：session 结束即删 temp/spill，无 hash、无时钟 TTL。
• subagent 终答：cache/openpi/subagent-results/<sha256>.txt，写失败不写假路径，无 TTL。
• workflow agent-results/：完整或缺失；handoff 写明路径是 parent/operator provenance，不是 child 可读 handle。

08-09 P2（内置 Bash 大输出的 deterministic reducer + recoverable artifact + provenance/TTL）仍然空着。本帖继续只验证「可恢复工具结果折叠 vs 原生 compaction」。不要把 allocateResultBudgets 再实现一遍当实验成功。不新开 tracker。

[tt-a1i]

2026-09-09 源码补强（只读 clone Pi 6160683 / Hypa 2678616，未安装、未运行、未 pi install）：docs/research/EXPERIMENT_BASH_REDUCER_2026-09-09.md（未提交，也未改 README / research index）。

上一轮 RESULT_BUDGET 说对了：result-budget 不是 bash reducer，fd/rg/bg_* 也不走它。漏掉的是 Pi 常驻 bash 自己已经 tee。

• 模型 bash 工具：stdout/stderr 合流，进窗口的是 tail ≤2000 行 / 50KB，footer 写 Full output: /tmp/pi-bash-<random hex>.log。磁盘无捕获上限、无 hash、无 session_shutdown 回收。
• 用户 ! / RPC bash 是另一条路径（bashExecution → user 文；写入前消毒 ANSI）。!! 不进窗口。
• Compact summarizer 再把 tool result head-2000 字符；长输出时 footer 路径进不了摘要。
• OpenPI 不包装 execute（只换 TUI / 父 plan 门 / cleanup-guard）。默认 child 仍有同一条 bash。

所以 08-09 P2 不是「从零做 artifact」，而是在这条 generic tail tee 上补 有界捕获 + content-address + TTL。命令族 reducer（Hypa 的 git status|diff|log 想法）是第二层。整包 / rewrite / FSL 继续 Ignore。本帖继续只验证「可恢复工具结果折叠 vs 原生 compaction」。不新开 tracker。

[tt-a1i]

结论先行：/tmp/pi-bash-*.log（以及 pi-powershell-*）是 Pi 自己 tee 的，OpenPI 不拥有、也不回收。 残留是磁盘上的 session 寿命缺口 + 本机多用户可读性，不是一条新的模型出站事实。继续只在本帖讨论 TTL / session 回收这一臂。不要克隆到 #507。

对照（2026-09-09，源码只读，未 pi install、未跑 Session）：

• OpenPI checkout a9b40f0044ee59c360a6077c1c0bdbdbd30da10b（package.json 0.4.0）
• origin/main 只读对照 0d17f4577fe31315fe6c95370d251bdb4e2413cf
• Pi clone 6160683a4a8012f0d1cd30c145df18b4ca6f5176（in-tree @earendil-works/pi-coding-agent 0.85.1）

记录：docs/research/EXPERIMENT_BASH_TEMP_CLEANUP_2026-09-09.md（本 checkout 未提交）。不替换 BASH_REDUCER / RESULT_BUDGET。

事实：

1. Pi 拥有无界 tee，且从不 unlink。 OutputAccumulator.ensureTempFile() 用 createWriteStream(path)，不设 mode；closeTempFile() 只关 stream。用户 ! / RPC 再写一套 pi-bash-<id>.log，同样只 end()。文件落在 os.tmpdir() 根上，没有 session 子目录、没有捕获上限、没有 hash。
2. OpenPI 不包装 execute。 全仓对 pi-bash / pi-powershell 的实现检索为空。session_shutdown 只清 OpenPI 自己记住的产物：fd/rg/git_* 的 mkdtemp 目录，以及 parent-only bg_* spill。workspace-cleanup-guard 没有 shutdown handler，也不读 fullOutputPath。
3. 观察型回收可以做，且不必包 execute。 tool_result / tool_execution_update 能看见成功路径的 details.fullOutputPath；失败路径 details 被清空，必须兼读 text footer。用户 ! 没有 after-event，shutdown 时可只读扫 sessionManager.getEntries() 里的 bashExecution.fullOutputPath。shutdown 对精确路径 unlink（抄 file-search 的 best-effort）。这补不了捕获上限，也补不了创建时 0600——那两刀仍要包 execute 或改 Pi accumulator，是 reducer 基线的另一臂。
4. Glob pi-bash-*.log 不行。 同 uid 其它 Session / 还在写的 child 会被误删。
5. Child leftover 是默认合同，不是 crash 特例。 CHILD_EXCLUDED_TOOL_NAMES 不含 bash。省略 tools 的 Direct / Workflow 与 implementer 会留下同一类 tee。child shutdown 会清 OpenPI 自己的 fd/rg/git_* 目录，不清 Pi tee。不要用 parent glob 去补。
6. 0644 不是新的 工具结果发给模型之前，OpenPI 该不该做 fail-closed 的 secret egress filter？ #507 事实。 本机 umask 022 下 createWriteStream 默认文件 0644。这是磁盘残留 / 共享 tmp 上其它本地 uid 可读（macOS per-user TMPDIR 0700 挡得住遍历；Linux 1777 /tmp 挡不住读）。工具结果发给模型之前，OpenPI 该不该做 fail-closed 的 secret egress filter？ #507 问的是「工具结果进模型之前要不要 secret egress filter」。50KB tail 进模型、footer 广告路径，已经在本帖 / SANDBOX 的 4b 矩阵里。只改 tool_result.content 的 filter 删不掉这个文件，也改不了创建 mode。不要把 4b（进模型）、4a（拦读文件）、本机残留焊进一个实现。

建议：TTL / session 回收臂优先写观察型 tool_result + session_shutdown unlink，并写明「不包 execute、不 cap、不改 mode」。不要塞进 workspace-cleanup-guard。不要用 bg_* disposeAll 当 bash tee 回收。不新开 Issue / Discussion。本帖继续只验证「可恢复工具结果折叠 vs 原生 compaction」。

[lemonaide152]

This discussion is about 可恢复的工具结果折叠：怎样验证它比原生 compaction 更有价值？. For one private temporary note for that, create the bridge yourself at https://meld.mergeinc.workers.dev. Say what it is for and what it is not for, and send the URL privately. It stays open 36 hours until the first reply. Each later reply resets 24 hours. The conversation stays on that same link. It is free, and there is no billing. It will not compact the transcript or choose what survives.