AWO / Meta-tools：大部分属于程序合成，不是等价 pass

Primary source: Optimizing Agentic Workflows using Meta-tools

一句话

AWO 从历史轨迹发现重复 action sequence，再用 composite meta-tool跳过中间 LLM reasoning；它改变 agent policy，整体不应计入 Pysolate semantic-pass 主线。

原工作做了什么

AWO抽取工具调用轨迹，合并相似 state/actions，并让领域专家确认可组合的 meta-tools。Agent随后可以用一个 deterministic composite tool替代多轮 planning和调用。论文关注 LLM-call reduction、latency和任务成功率。

这个机制优化的是 Agent 如何解题，而不是把一个固定程序改写为相同语义的程序。省掉中间 reasoning可能改变分支、检查和失败恢复。

极窄的可吸收部分

如果 ordinary Agent Python AST 已经包含一个 static straight-line sequence，并且每步都是 pure或 frozen-root read，Pysolate可以把它改写为一个 composite helper：

x = read_manifest(root)
y = read_config(root)

可以 lower成一次 bounded Host dispatch，同时保留两个 logical occurrences。此时 fusion来自当前 AST和typed rewrite law，不来自历史轨迹或模型判断。

Correctness 与副作用

论文明确承认 tools可能修改 persistent state，并依赖领域专家判断 state merge、action commutativity和 return semantics。它没有通用 rollback或transaction contract。

如果 meta-tool包含写入：

• 中间检查可能被删除；
• 第三步失败时前两步 effect仍存在；
• retry可能重复部分操作；
• composite result无法自动恢复原来的逐步 exception和approval边界。

Pysolate 结论

AWO整体放在 program synthesis、skill induction和 behavior-changing optimization related work。straight_line_meta_tool_fusion 只能保留为后期、read-only 的窄 pass；在 batch fusion和 effectful CSE已经稳定前，没有必要单独实现。论文不能被计为“Pysolate统一的完整 compiler pass system”。