精读笔记

Problem Setting

论文标题：Back to the Familiar Future: Failure Recovery for VLA Policies via Pre-Imagined Milestone Selection（arXiv preprint / 2026）。

这篇论文实际处理的是 foresight-driven VLA 的局部失败恢复，而不是一般机器人长程规划。场景是：策略执行中由于 gripper 偏移、物体滑动、接触扰动或动作累积误差偏离 nominal trajectory，但任务本身仍可完成，低层技能也没有缺失。真正困难点不是“机器人不知道怎么做这个任务”，而是当前 observation 已经落到 VLA 不熟悉的状态空间，直接 query policy 会导致 future prediction 和 action denoising 都不稳定。

关键矛盾是：恢复需要从 off-trajectory state 出发，但 VLA 最可靠的 action generation 通常发生在 demonstrated / self-imagined nominal manifold 附近。以前方法大多把失败状态当作新的 planning 起点，或者直接在动作层修正；这在分布外状态上会放大不确定性。B2FF 的问题定义更窄但更锋利：如果底层 foresight VLA 冻结不动，能不能只通过改变 future visual condition 来把它拉回熟悉轨迹？

Motivation

已有 recovery 路线的核心不足是干预层级不对。训练 recovery policy 或合成 failure data 可以有效，但需要额外策略学习；VLM reflection / correction 看起来通用，但最终仍要把语义判断落到低层 action 修改；dynamic correction 也主要作用在 action chunk 层。这些方法默认恢复=生成更好的动作。

作者的关键观察是 foresight-driven VLA 本身已经把动作生成分解为 future visual representation + action denoising。既然 action generator 是被 future image 条件化的，那么恢复可以不碰 action generator，而是选择一个更合适的 visual anchor。缺的不是新的低层 skill，而是一个能让 frozen policy 回到 familiar mode 的条件变量。

这也是论文最自然的切入点：失败后的 future re-prediction 不可靠，因为输入状态本身不熟悉；但失败前从 clean initial observation 生成的 future bank 更接近策略自己的 nominal distribution。于是恢复不应是“向失败状态外推”，而应是“从熟悉未来中检索一个可达锚点”。

Core Idea

核心思想可以概括为：pre-imagine, then retrieve。执行前，VLA 从干净初始观测递归想象一串未来图像 milestone，构成 familiar future bank；执行偏离后，不再从失败观测重新预测未来，而是在这个 bank 中选择一个最可能可恢复的 milestone，并把它固定为 future-image subgoal，让 VLA 只生成动作去追这个 anchor。

这改变了建模方式：恢复不再被建模为 action correction 或 online replanning，而是被建模为 visual condition selection。引入的 inductive bias 是：VLA 更擅长朝自己已经想象过、处于 familiar manifold 上的未来行动，而不是从 off-distribution observation 自由生成新的未来。信息流也被重新组织：失败观测只负责提供当前物理状态，未来目标来自 clean trajectory memory，两者在 action-only denoising 阶段结合。

和 prior 的本质区别不在“用了 subgoal”，而在 subgoal 的来源和用途。progress methods 用 milestone 表示任务进度，replanning methods 从当前状态产生新 subgoal；B2FF 把 milestone 当作恢复锚点，并且刻意避免从失败状态生成它。这是一个 retrieval-style recovery interface，而不是一个真正的 planner。

Method

方法层面应只看三个机制。

第一，familiar future bank。它解决的是失败时 future prediction 不可信的问题。bank 在任何执行偏移发生前生成，所以它记录的是 frozen VLA 自己认为合理的 nominal future sequence。这个 bank 不需要像真实未来一样精确，但必须覆盖足够多的 action-guiding visual states。它的核心变化是把一部分 test-time planning 前移到执行前，并把结果作为 episodic memory。

第二，local candidate construction。恢复时不是在整个 bank 里全局搜索，而是围绕失败发生的 chunk index 取若干 offset，包括回退、当前、前进一步和跳步。这隐含了一个重要假设：失败没有完全打乱任务语义进度，只是在局部时间轴上需要 rollback/retry/skip。这个候选集设计把 recovery search 限制成小离散选择，因此 selector 可以轻量、可训练，也避免了无约束 future search。

第三，recoverability-aware selector。它解决的是“哪个 milestone 看起来像当前状态”并不等于“哪个 milestone 能让 VLA 成功恢复”的问题。visual-nearest 或 fixed-current 都只利用表面相似性/进度先验，而 selector 学的是 candidate-wise recovery outcome。训练方式本质上是离线枚举候选 milestone，分别 clamp 到 frozen VLA 中 rollout，得到成功/失败标签，再把这个 counterfactual evaluation 蒸馏成一个 ranking model。

最后，action-only denoising 是整个机制成立的接口条件：future-image token 被固定，VLA 不再重新生成未来，只负责从当前观测朝固定 visual anchor 生成动作。这一步不是新 skill，而是利用已有 VLA 的 conditional action generator。

Key Insight / Why It Works

这篇最重要的 insight 是：对 foresight-driven VLA 来说，失败恢复的瓶颈可能不是动作空间搜索，而是条件变量选择。模型在失败状态上不稳定，并不意味着它没有恢复动作；可能只是它自己从失败观测生成的 future condition 太差。一旦给它一个 familiar future anchor，原有 action denoiser 就能把 off-trajectory observation 映射回 nominal execution。

从机制归因看，B2FF 更像 memory reuse / retrieval than planning。pre-imagined bank 是 episodic visual memory，selector 是 learned retriever，action-only denoising 是 conditional controller。它没有学习新的 low-level recovery skill，也没有显式建模长期状态转移。所谓“回到熟悉未来”本质上是把 off-policy recovery 转化为 nearest feasible anchor selection，只是这个 nearest 不是视觉距离，而是 recoverability。

最可能的核心贡献是 recoverability-aware selection，而不是 bank 本身。实验中 fixed milestones、random、visual-nearest 都不稳定，说明“有 bank”不够；真正增益来自能从局部候选中选出对 frozen VLA 可控的 anchor。candidate oracle gap 也说明 bank 内经常存在成功选项，问题是 ranking。

不过 selector 的能力很大程度来自离线 counterfactual rollout labels。这不是纯 inference-time magic，而是把大量候选尝试的结果压缩进 selector。换句话说，B2FF 把 test-time trial rollouts 转成 train-time supervision。这个设计在部署时很便宜，但训练时依赖 failure distribution coverage。若失败分布变了，recoverability ranking 是否仍成立并不确定。

一些模块可能只是辅助或 engineering：Perceiver-style attention、proxy temporal initialization、Huber critic、lower-entropy actor update 等能提升 selector，但不是概念核心。它们更像在小数据 counterfactual labels 上稳定 ranking 的 recipe。真正可迁移的是“不要在 OOD failure state 上重新生成 latent plan；改为检索/选择来自 familiar manifold 的 latent condition”。

Relation To Prior Work

它最接近三条路线：foresight/video-subgoal VLA、progress-aware milestone/rewind、failure recovery/correction。和 foresight VLA 的关系是：B2FF 不提出新的 future generator，而是利用已有 future interface 做 recovery。和 progress-aware rewind 的关系是：两者都用 milestone，但 SPR-VLA 类方法更多按 progress stall 回退或推进；B2FF 的 milestone 是 recovery condition，选择标准不是进度，而是从当前失败状态出发的 recoverability。和 failure correction 的关系是：B2FF 避免直接修动作，而是在条件层干预。

看似新的部分中，pre-execution bank 本身并不新，接近 visual plan / subgoal sequence / episodic memory；candidate selection 也接近 retrieval / offline policy selection。实质创新在于把这些重组到 foresight-driven VLA 的 future-token interface 上，并明确提出“familiar future 比 failed-state re-imagination 更适合作为 recovery anchor”。

它属于技术谱系中的 test-time conditioning / retrieval-augmented control，而不是 model-based planning。真正新增的信息是：对于有显式 future visual interface 的 VLA，视觉条件选择可以成为一个低成本 recovery actuator；这为 frozen policy adaptation 提供了比 action correction 更干净的接口。

Dataset / Evaluation

评估覆盖标准 LIBERO、failure-injected LIBERO 和小规模真实机器人实验。failure-injected LIBERO 的设计比较贴合论文 claim：扰动是可恢复的局部偏离，包括 gripper shift、object shift、object laydown；并且 controlled timing 对齐 perturbation，能隔离 milestone selection 的效果。这对验证“选择熟悉 future anchor 比 failed-state replan 好”是有效的。

但 evaluation 也有明显边界。controlled trigger 给了恢复入口，这在真实部署中是很强的条件；online trigger 结果下降，说明触发时机是系统脆弱点。Failure-injected benchmark 明确排除了不可逆、严重遮挡、workspace exit、错误语义等更真实的失败。它验证的是 bounded recoverable perturbation，不是 general failure recovery。

真实世界实验是有价值的 sanity check，但规模不大，任务数和数据量有限，且 selector 用少量 real-world recovery groups 调整。它支持机制可迁移，但不足以证明强泛化。标准 LIBERO 上的小幅提升说明该 recovery interface 不明显伤害 nominal rollout，但这部分不能过度解读为 general robustness。

总体上，实验较好支持核心 claim 的窄版本：在 foresight VLA、局部可恢复扰动、较准确 recovery timing、bank 中存在可用 anchor 的条件下，recoverability-selected familiar milestone 能提升恢复成功率。它没有证明开放世界部署中的失败恢复能力。

Limitation

最根本的限制是接口假设：底层策略必须是 foresight-driven，并且允许外部 clamp future-image subgoal。对普通 autoregressive VLA、RT-style action token policy 或没有可设置 latent/future condition 的策略，B2FF 不能直接用。

第二，failure model 很窄。它只处理物理可恢复、局部偏离、技能已存在的情况。语义理解错、目标 grounding 错、物体缺失、严重遮挡、不可逆环境变化、需要新技能的恢复都不在能力范围内。换句话说，它不是 failure reasoning，而是 recoverable trajectory correction。

第三，bank coverage 是上限。若 pre-imagined future bank 走错任务分支、漏掉关键中间状态、或递归 imagination 自身漂移，selector 再好也只能在坏候选里选。长任务、多模态任务、需要动态绕路的任务会放大这个问题。当前 M 很小，候选局部，很适合 LIBERO 式任务；扩展到开放长程 manipulation 时上限不清。

第四，selector 泛化可能依赖数据覆盖。离线 counterfactual rollout labels 是强监督，且 failure-injection 分布与测试扰动同族。所谓 recoverability 不是从物理模型推导出来的，而是从候选 rollout 成败中学到的经验排序。若真实失败形态超出训练分布，增益可能显著下降。

第五，recovery trigger 被低估了。controlled evaluation 把触发时机从问题中拿掉，而 appendix 的 delay ablation 显示延迟会明显伤害成功率。实际系统里 failure detection、何时进入 recovery、是否多次触发、是否闭环重选，可能比 selector 本身更难。

第六，它没有真正形成长期状态建模或 planning。固定一个 milestone 连续执行若干 chunk，本质是 open-loop-ish anchoring；如果中途恢复轨迹再次偏离，当前版本不会自适应重选。所谓未来锚点带来的“规划感”更像 latent retrieval，而不是闭环 planner。

Takeaway

• 1. 对带中间 future representation 的 VLA，最有价值的干预点可能不是 action，而是 latent/visual condition。
• 未来的 frozen-policy adaptation 很可能沿着“condition selection / latent steering / memory retrieval”发展。
• 2. OOD failure state 上直接 re-plan 往往是错误建模：更稳的方式是回到模型熟悉的 manifold，再利用已有 controller 的泛化半径。
• 这个 insight 可迁移到 video policy、diffusion policy、latent action policy 甚至语言规划器。

一句话总结

B2FF 是一类 retrieval-augmented / condition-steering 式 VLA 恢复方法：它不教 frozen policy 新动作，而是从预先想象的熟悉未来中选择可恢复视觉锚点，把失败恢复从动作修正问题转化为 future-condition selection 问题。