精读笔记
Problem Setting
ACID 面向 action-conditioned world model 的 MPC/CEM 式 decision-time planning。这里的核心矛盾不是如何训练一个更好的预测器，而是 planner 的选择准则与执行可实现性之间脱节：CEM 会在模型想象空间里搜索 action sequence，但 cost 只看最终 latent/image 是否接近 goal。这样会把世界模型的 hallucination、latent drift 或 action-conditioning failure 当成有效路径。
真正困难点在于，可实现性是 transition-level property，而不是 terminal-state property。一个预测终点看起来正确，不代表从当前状态到该终点的每一步都由给定 action 产生。以前方法要么默认 action-conditioned model 已经忠实，要么通过 scaling/guidance 改模型本身；但只要规划目标仍是 terminal-only，planner 仍可能系统性选择模型最“会骗自己”的轨迹。
Motivation
作者抓住了一个很实际的缺口：世界模型规划中的失败很多不是“目标表征不对”，而是 imagined rollout 和 real rollout 之间的 action-realization mismatch。已有路线通常试图让 forward model 更强，但这并不直接改变 candidate ranking 的信息结构；planner 仍然没有机制问一句：这一步预测 transition 真的是这个 action 造成的吗？
关键观察是 embodied control 和普通生成任务不同。图像生成里一个 caption 可对应许多图像，但机器人控制里相邻两帧通常对中间 action 有很强约束。也就是说，inverse dynamics 提供了一个可利用的近似判别器。论文的动机不是再造一个 world model，而是把原本用于 action decoding / representation learning 的 IDM 迁移到 decision-time verifier 的位置。
Core Idea
核心思想可以概括为：对 world model 的 forward prediction 做一个 action-space cycle check。给定候选 action sequence，world model 产生 latent trajectory；如果某一步预测 transition 确实是由 conditioning action 诱发的，那么一个从 transition 反推 action 的 IDM 应该恢复出同一个 action。反之，如果预测状态只是朝 goal 漂移、但 transition 与 action 不匹配，IDM residual 会变大。
这改变了 planning 的建模方式：从“选一个终点最像 goal 的想象轨迹”，变成“选一个终点接近 goal 且每一步都能被 action 解释的想象轨迹”。新增的 inductive bias 是 action-realizability / local controllability consistency。它没有要求 world model 是 probabilistic，也不要求改训练目标，因此比 model-side guidance 更容易跨 JEPA latent predictors 和 video models 复用。本质差异在于它把 inverse dynamics 从后处理 decoder 变成了优化目标的一部分。
Method
方法层面真正必要的机制很少。
第一，ACID 保留原有 MPC/CEM pipeline，只替换 candidate cost。这一点重要，因为它把贡献限定在 decision-time reranking，而不是混入 world model retraining。
第二，对每个 predicted transition 计算 action consistency residual：conditioning action 与 IDM 从相邻 latent 反推出的 action 之间的距离。它解决的是 terminal goal cost 不可见的中间 transition hallucination；核心变化是把每一步 transition 纳入 cost。
第三，将 residual 沿 horizon 平均，作为 trajectory-level realizability penalty。这里的平均不是复杂设计，而是为了让 cost 与 horizon 尺度稳定，并让 CEM elite selection 偏向整条轨迹都自洽的 action sequence。
第四，用自适应权重 w_a = λ σ_g / σ_a，而不是固定权重。这个设计解决不同 latent space、任务和 CEM iteration 中 cost spread 不可比的问题。对 CEM 来说影响 ranking 的是 candidate 间差异而非绝对值，因此按标准差归一比按 raw magnitude 调参更合理。
Key Insight / Why It Works
最核心的 insight 是：world-model planning 的很多失败可以在 action space 中被检测出来，而不必直接判断 predicted state 是否真实。相比学习一个更好的 forward predictor，学习 inverse dynamics verifier 可能更容易，因为局部 transition 到 action 的映射在许多控制任务中约束更强、horizon 更短、监督更直接。
它有效的主要原因不是 scaling，而是更好的 inductive bias：planner 被迫选择落在“forward model prediction 与 inverse dynamics explanation 交集”里的轨迹。这相当于用一个独立训练的局部可控性模型，对世界模型的 rollout manifold 做 decision-time regularization。对 CEM 来说，这尤其有效，因为 CEM 本来会利用 model error；ACID 改变 elite selection，降低 optimizer exploitation。
最可能的核心贡献是把 IDM 放进 planning objective，而不是 IDM 架构或 flow matching。flow matching action decoder、prefix-suffix transformer、Euler steps 都更像 engineering choice。adaptive weight 是重要辅助，因为没有它 consistency cost 很容易在不同 latent scale 下失效，但它不是概念核心。
需要警惕的是，ACID 的收益可能部分来自额外的 task-specific supervised signal：每个任务单独训练 IDM，使用同一 offline dataset 的 action labels。它并非无监督地发现可实现性，而是把 action-labeled data 中的局部 dynamics knowledge 以 verifier 形式注入 test-time planning。因此如果 benchmark 的 train/test trajectory distribution overlap 很高，增益可能反映 data coverage 和 local retrieval-like matching，而不是真正的 long-horizon reasoning。
它也不是在形成更强的长期状态建模。长期规划仍然交给 CEM + world model，ACID 只是局部过滤不自洽 transition。若所有候选都在长期上错，但局部 action consistency 都高，它不会解决；若正确轨迹经过局部多解或弱可观测 transition，它还可能惩罚正确候选。
Relation To Prior Work
这篇最接近三条线：action-conditioned world model planning、inverse dynamics for action decoding、test-time verifier/reranking。与大视频世界模型或 action guidance 不同，ACID 不从生成模型侧提高 fidelity，而是在 planner cost 侧加入 verifier。与 UniPi/LDP 这类 state-only planner + IDM decoder 不同，IDM 不是在轨迹选定后解码 action，而是参与选择哪条 action sequence 被执行。
看似新颖的部分其实是已有思想重组：cycle consistency、inverse dynamics、CEM reranking 都不是新概念。实质创新在于把它们放在 action-conditioned world model 的 failure mode 上，并明确指出 terminal-only planning cost 的 blind spot。这是一个 planning objective 层面的补丁，而不是 world model architecture 贡献。
它属于“test-time compute + verifier-guided planning”的技术谱系：不改变主模型，用外部判别信号约束搜索。和 RL 中 model uncertainty penalty、ensemble disagreement、value-guided planning 有亲缘关系，但 ACID 的 verifier 不是估计 epistemic uncertainty，而是估计 action-transition consistency。
Dataset / Evaluation
实验覆盖面相对合理：既有 JEPA latent world models，也有视频生成式导航模型；任务包含刚体、接触、变形体、颗粒物和视觉导航。这支持“该 cost 可插拔于不同 action-conditioned world model”的 claim。
最能验证核心 claim 的是需要精确物理交互的 manipulation，尤其 deformable/granular，因为这些场景中 imagined rollout 与 real rollout 的偏离非常直观。定性结果直接展示了 baseline 通过不可实现轨迹满足 goal cost，而 ACID 过滤这类候选。
但 evaluation 仍有明显限制。多数任务是 offline benchmark / simulator protocol，真实部署压力不足。导航部分没有真正闭环执行环境 rollout，而是用预测轨迹误差和 consistency score 侧面支持，不能完全证明 action sequence execution 更好。每个任务单独训练 IDM，也削弱了“跨任务泛化”的说法；更准确地说是同一机制跨任务可复用，而不是一个 verifier 跨任务泛化。
数字增益方向一致，但很多设置的 absolute gain 不大，且增益来源不清：可能来自 consistency cost，也可能来自额外 IDM supervision、hyperparameter tuning、CEM budget interaction 或 benchmark distribution overlap。文中对 failure cases、IDM calibration、OOD goals 的分析不足。
Limitation
最大前提是 inverse dynamics 近似单值且可从观测对识别。这个假设在许多真实场景并不稳：遮挡、部分可观测、动作冗余、接触不可见、环境外力、stochastic dynamics 都会让同一 transition 对应多个 action，或让 action 对视觉变化不可辨。此时 action consistency residual 不再等价于可实现性。
第二，方法把一部分问题从 forward model 转移到 IDM。若 IDM 在 offline distribution 外泛化差，planner 可能只是学会避开 IDM 不熟悉的 transition，而不是避开真实不可实现 transition。核心能力可能主要来自数据覆盖，尤其在 goal 从同一轨迹未来帧采样的协议里，local transition distribution overlap 会显著降低难度。
第三，ACID 的上限受 world model candidate space 限制。它只能在 CEM 采样到的候选中重排序，不能生成 world model 不会预测的正确轨迹，也不能修复长期 compounding error。所谓更高效率本质上是更好的 test-time reranking，而不是 planner 获得了新的 long-horizon reasoning 能力。
第四，adaptive weight 解决了 scale 问题，但也引入了 ranking-level coupling：如果某一轮 candidate pool 中 consistency cost 的 spread 很小或受 outlier 影响，权重可能放大噪声。文中未充分说明 σ_a 接近零、IDM 不确定性高、或 cost 与 success 反相关时的行为。
Takeaway
- 1. 对 world-model planning，terminal goal cost 是明显不够的；transition-level verifier 很可能成为下一阶段的标准组件。
- 2. IDM 的价值不只在 action decoding，而在于提供局部 action-realizability constraint；这个 insight 可以迁移到 diffusion planning、latent planning、robot video prediction 和 model-based RL。
- 3. 这篇真正推动的是 objective design，而不是 architecture scaling：用较小的 verifier 约束大模型/世界模型的 test-time search，比盲目扩大 forward model 更经济。
- 4. 未来更值得做的是不确定性感知的 verifier、多模态 inverse dynamics、跨任务 verifier，以及把 consistency 从局部 action recovery 扩展到 contact、constraint、energy 或 affordance 层面的可实现性判断。
一句话总结
ACID 是一类 verifier-guided world-model planning 方法：它不试图让世界模型本身更大，而是把 inverse dynamics 变成 decision-time cost，用局部 action consistency 修补 terminal-only planning 对不可实现想象轨迹的系统性偏好。