SAGE: Symbolic Action-Gating and Editing for LLM Task Planners¶

复现级别：L1 核心机制诊断。 执行零 token 符号 gate 与局部后缀编辑；未运行 AI2-THOR。

论文信息¶

字段	内容
论文链接	SAGE: Symbolic Action-Gating and Editing for LLM Task Planners
公司/机构	原文首页未列机构（按第一作者署名单位）
首次公开日期	2026-09-28（arXiv v1）
原文开源代码	是：https://github.com/mtbui2010/sage
Adapter / 方法	`sage-planner`
本地复现代码	`src/auto_research/agent_research/latest_20260930_closure.py`

执行前用符号前置条件门阻止不安全动作并给出类型化原因；失败时只重写相关子目标的后缀，保留已完成前缀。

flowchart LR
  I[公开输入/当前状态] --> M[sage-planner 核心机制]
  M --> A[可审计中间量]
  A --> O[输出/更新状态]

原论文 Figure 2（关键图）：展示原论文的整体流程、关键阶段及其数据流向。图片来自原论文，版权归原作者所有；点击图片可查看来源。

本地 reference kernel 保留论文决定性的门控、掩码、递归、信用权重或晋级条件；测试同时检查梯度隔离、类型边界和确定性。

论文中的 benchmark、速度或训练曲线属于原文结果。本地三种子 mini-suite 仅检验机制和不变量，不与论文规模结果横比，也不外推线上收益。

三种子诊断见 metrics/mechanism-seeds42-44.json。其中 diagnostic_only=true，不能进入正式能力排名。

执行零 token 符号 gate 与局部后缀编辑；未运行 AI2-THOR。