可恢复的工具结果折叠：怎样验证它比原生 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」。