MEKAWIRE
ExpertarXiv

ReEnvision: Future-Guided Selective Action Repair for Long-Horizon Manipulation

Xiyin Zeng, Xuewei Huang, Yi Lu, Weihao Yuan, Hao Wang
From the abstract

Long-horizon robotic manipulation requires robust execution over sequences of interdependent actions. Existing methods typically handle execution deviations by replanning the remaining action chunk or correcting actions step by step as new observations arrive.

From the abstract. Our summary is in progress.

Full paper

ReEnvision: Future-Guided Selective Action Repair for Long-Horizon Manipulation

Xiyin Zeng, Xuewei Huang, Yi Lu, Weihao Yuan, Hao Wang

Published under CC BY 4.0. Reproduced with attribution; original at arXiv:2610.17977 (PDF).

R E ENVISION : FUTURE-GUIDED SELECTIVE ACTION REPAIR FOR LONG-HORIZON MANIPULATION Xiyin Zeng*, Xuewei Huang* & Yi Lu Information Hub The Hong Kong University of Science and Technology (Guangzhou)

arXiv:2610.17977v1 [cs.RO] 13 Oct 2026

Weihao Yuan† School of Intelligence Science and Technology Nanjing University

Hao Wang† Information Hub The Hong Kong University of Science and Technology (Guangzhou)

ABSTRACT

Long-horizon robotic manipulation requires robust execution over sequences of interdependent actions. Existing methods typically handle execution deviations by replanning the remaining action chunk or correcting actions step by step as new observations arrive. However, a local deviation may affect only a few actions under distribution shift, yet replanning regenerates the entire chunk from an unfamiliar state, potentially introducing errors into otherwise valid actions. Stepwise correction may react too late, as it does not explicitly anticipate how the deviation affects subsequent actions. We propose ReEnvision, a future-guided selective action repair framework that updates a joint future-action belief using execution feedback. It then learns how the resulting belief revision affects each unexecuted action. The resulting belief revision enables selective repair of only the affected actions within a cached action chunk, preserving valid actions and reserving full replanning for severe deviations. On CALVIN, L-CALVIN, and RLBench, ReEnvision achieves 86.6% 5-step success, improves 10-step success from 56% to 63%, and reaches an average success rate of 88.8%, respectively. On five real-world manipulation tasks, it achieves an average success rate of 82.8%. Controlled repair experiments further demonstrate the benefits of localizing affected actions and preserving valid ones during execution. Our project page is available at https://reenvision.pages.dev.

INTRODUCTION

Long-horizon robotic manipulation requires robots to coordinate multiple dependent actions over an extended execution horizon, while preserving consistency across stages and recovering from intermediate deviations (Zhou et al., 2024; 2026). Such capability is important for real-world manipulation, where many tasks involve sustained, multi-stage interactions rather than isolated actions (Chen et al., 2024; Chai et al., 2026). However, reliable long-horizon execution remains challenging: an error at one stage can alter the state encountered by subsequent actions, causing later actions to become inappropriate and allowing errors to accumulate until the overall task fails (Tan et al., 2026). Long-horizon manipulation has been approached from multiple perspectives, including hierarchical planning, predictive world modeling, and adaptive execution (Chai et al., 2025; Ma et al., 2026). Hierarchical planning and control methods decompose long tasks into subtasks, while world models anticipate future states and use them to guide actions (Sridhar et al., 2026; Li et al., 2026a). More recently, adaptive execution methods incorporate new observations during execution to adjust planned behavior: Future Forward Dynamics Causal Attention (FFDC) (Wang et al., 2026b) verifies whether the current rollout should continue or be replanned, while Asynchronous Action Chunk Correction (A2C2) (Sendai et al., 2025) uses each newly observed frame to predict a residual update to the actions being executed. In contrast, Real-Time Robot Execution with Masked Action Chunking (REMAC) (Wang et al., 2026a) preserves actions that are already committed and resamples only the remaining portion of the chunk. Despite these advances, existing methods primarily 1

Initial Belief (Before execution) t Future latent z f

Observation & Task

post

Updated future latent z f,t 1 …

Action intent z

t a

ht

Execute actions

Executed

Stack the wine bottle

Updated Belief

Predict belief

Update belief

New Observation

htpost 1

post

Updated Action intent z a,t 1

Expected belief ht prior 1

Select affected actions and repair Revised action chunk

Mismatch !

Original action chunk

VS Expected future

at

at 1

Executed

at  2

at 3

at  4

Affected subset

htpost 1

New Observation

revise

htprior 1

Update the action sequence and continue execution.

at

at 1

Executed

at  2

at 3

at  4

Repaired actions

Figure 1: Overview of ReEnvision. ReEnvision maintains a joint future-action belief ht and revises it with new observations. The revision identifies affected actions in the cached chunk, enabling selective repair. Unlike methods that rely on full replanning, ReEnvision repairs only affected actions within the current chunk while preserving unaffected ones.

address execution deviations through rollout-level replanning, step-wise correction, or resampling the editable portion of an action chunk. They do not explicitly estimate which unexecuted actions are affected by an observed deviation. Under out-of-distribution (OOD) deviations, regenerating the entire remaining chunk from an unfamiliar intermediate state may disrupt established alignment and contact, amplifying local errors into downstream failures (Chen et al., 2026). Our analysis identifies pronounced replanning failures in approximately 11% of OOD sequences, with 55% occurring in direction-sensitive manipulation and 36% in contact- or pose-sensitive tasks. Meanwhile, step-wise correction may fail to anticipate how current deviations affect subsequent actions. Addressing this limitation requires reasoning about the expected future and planned actions together: execution errors change what happens next, and these changes can in turn make some planned actions no longer suitable (Ye et al., 2026). By jointly modeling these two signals, the robot can reason about how an observed deviation changes what should happen next and how that change affects subsequent actions. This makes it possible to determine whether the remaining action chunk requires a global update or only a local adjustment. When only part of the chunk is affected, selectively repairing those actions preserves unaffected ones without regenerating the entire sequence. Building on this idea, we propose ReEnvision, a future-guided selective action repair framework that revises a joint future-action belief and anticipates how the revision affects individual actions within a cached chunk as illustrated in Fig. 1. Given the current observation and task, a pretrained future generator predicts visual evolution, which is combined with the observed state to infer the corresponding action intent. Together, they form a joint future-action belief that conditions a diffusion policy to generate a multi-step action chunk. As new observations arrive, a latent dynamics model predicts how the joint belief should evolve following the executed action and updates the prediction using the observed outcome. The difference between the predicted and updated beliefs defines the belief revision. A temporal impact model then estimates how this belief revision affects each remaining action in terms of correction, validity, and uncertainty. These predictions enable selective repair of the affected actions while preserving unaffected ones, with full replanning reserved for broadly affected or highly uncertain suffixes. In experiments, ReEnvision achieves relative improvements of 2.5%, 12.5%, and 2.5% over the strongest reported baselines on CALVIN (Mees et al., 2022) 5-step success, L-CALVIN (Fan et al., 2025) 10-step success, and real-world manipulation, respectively, while achieving 88.8% average success on RLBench (James et al., 2019). Our contributions are summarized as follows: (i) We find that changes in the expected future typically affect only a local subset of actions within the remaining chunk; selectively repairing these actions is more effective than rewriting the entire chunk and enables correction before they are executed. 2

(ii) We propose ReEnvision, which learns how revisions in a joint future-action belief affect each unexecuted action and uses the predicted action-level impact to determine the scope of intervention, preserving unaffected actions while selectively repairing affected segments. (iii) Extensive experiments demonstrate that ReEnvision achieves 86.6% 5-step success on CALVIN, 88.8% average success on RLBench, and 82.8% average success on five real-world manipulation tasks, with a 12.5% relative improvement in 10-step success on L-CALVIN.

RELATED WORK

2.1

HIERARCHICAL PLANNING AND CONTROL

Hierarchical planning and control methods decompose long-horizon manipulation into subgoals or execution phases, thereby reducing the effective decision horizon and improving temporal consistency (Zhao et al., 2023). Hierarchical Action Models for Open-World Robot Manipulation (HAMSTER) (Li et al., 2025b) first predicts a coarse end-effector trajectory, then conditions a low-level policy on this trajectory to generate precise 3D actions. Similarly, Long-VLA (Fan et al., 2025) instead decomposes each subtask into moving and interaction phases, and generates actions conditioned on the current phase to improve transitions between subtasks. Going beyond static decomposition, Reflective Contrastive Alignment and Planning Architecture (ReCAPA) (Zeng et al., 2026) further introduces predictive correction across action, subgoal, and trajectory levels, allowing local deviations to be corrected before they propagate into cascading failures. Despite these advances, such methods primarily operate over action-centric representations, without explicitly modeling how the physical world should evolve toward the task goal.

2.2

PREDICTIVE WORLD MODELS

Predictive world models forecast how the environment will evolve under candidate actions and use these predicted futures to guide subsequent control (Feng et al., 2025). Latent Diffusion World Model (LaDi-WM) (Huang et al., 2025) uses a diffusion-based world model to predict future states in a learned latent space, then conditions a diffusion policy on these predictions to refine actions. More recently, Mixture of Latent Actions (MoLA) (Li et al., 2026c) focuses on grounding imagined futures into executable control, converting future visual transitions into latent actions through inverse dynamics before decoding them into robot commands. In contrast, Decoupled Visual Forward and Inverse Dynamics Pretraining (DeFI) (Zhang et al., 2026) decouples the two learning objectives, separately training forward dynamics to predict futures and inverse dynamics to infer actions. However, these methods typically use predicted futures to guide action generation, so execution deviations may render the remaining actions inconsistent with the updated future (Gao et al., 2026).

2.3

ADAPTIVE ACTION EXECUTION

Adaptive action execution mitigates the mismatch between the updated future and the remaining committed actions by using execution feedback for online correction or replanning (Liang et al., 2026; Yao et al., 2026). FFDC (Wang et al., 2026b) compares predicted visual futures and actions with real observations to decide whether to continue the current rollout or replan, while A2C2 (Sendai et al., 2025) uses visual feedback at each step to predict a residual correction to the currently executed chunk action. More selectively, REMAC (Wang et al., 2026a) preserves already committed actions while resampling the remaining editable portion of the action chunk to maintain consistency during execution. These methods improve adaptive execution through rollout-level replanning decisions, step-wise residual correction, or masked action generation. However, they do not explicitly characterize how changes in the expected future affect individual unexecuted actions within a cached chunk (Bi et al., 2026). Consequently, these corrections may unnecessarily modify unaffected actions or fail to anticipate downstream effects on subsequent actions. 3

GRU

rt

Ot 1

rt 1

Observation Encoder

htprior 1

prior t 1

Temporal Convolutional Network 1D Conv + FiLM + ReLU 1D Conv + FiLM + ReLU …

prior ht 1  htpost 1  ht 1

at  4

5 Selective repair

ht 1

1D Conv + FiLM + ReLU

Correction Head Validity Head Uncertainty Head

Cached actions At

Atrem

^ rem

htpost 1

at 3

rem

New observation Ot 1 …

at  2

K steps (e.g., 5)

(ht, at )

at 1

Affected Action Detection

at

Belief Revision via RSSM

Diffusion Policy

ht

 At

v u

Affected mask

Repaired actions Atrem '

Action Intent z a

Task: Stack the wine bottle

Action Chunk Generation At:t K 1

Observation & Task Encoding Future Latent z f Stable Video Diffusion

Figure 2: In ReEnvision, joint future-action belief ht conditions action-chunk generation and is revised after each new observation. The resulting belief revision is used to predict per-action correction, validity, and uncertainty, enabling selective repair of the affected cached actions.

METHODOLOGY

3.1

FRAMEWORK OVERVIEW

To avoid both broad replanning from unfamiliar intermediate states and delayed step-wise correction, execution feedback should be used to anticipate how the expected future has changed and where its effects will appear in the remaining action chunk. This motivates localizing the affected actions in advance and revising only that portion while preserving the rest. To this end, we propose ReEnvision as shown in Fig. 2, which uses Stable Video Diffusion (SVD) (Blattmann et al., 2023) to predict visual evolution from the current observation and task instruction. Conditioned on the current state and anticipated future, an intent generator produces an action representation. Together with the future latent, it forms a joint belief that conditions a diffusion-based policy to generate an action chunk. As new observations arrive, a Recurrent State-Space Model (RSSM) (Hafner et al., 2019) updates the joint belief and measures its deviation from the expected belief transition. A Temporal Convolutional Network (TCN) (Bai et al., 2018) then uses this belief revision to estimate how each action in the remaining chunk is affected, leading to keep, selective correction, or replanning. 3.2

JOINT FUTURE-ACTION BELIEF

Given the current observation ot and language instruction l, a pretrained SVD model extracts a base future representation zft ≡ zfbase of the expected task-relevant evolution. During training, a target future representation zftarget is constructed from successful trajectories to represent the desired execution stage. A Multilayer Perceptron (MLP)-based action-intent generator predicts an action-intent representation zat, conditioned on the current observation, the base and target future representations, their difference ∆zf = zftarget − zft, and the task instruction. The generator is trained using an L1 loss against action-intent targets derived from successful action chunks. During training, positive, identity, and negated revision pairs are sampled equally, with identity pairs mitigating the training–inference mismatch under zero revision. At inference, the initial action intent is generated using a zero future revision, with zftarget = zft and ∆zf = 0, without requiring a ground-truth target future. The future and action-intent representations are combined into a joint future-action belief, ht = (zft, zat ),

(1)

which captures both the expected future and the corresponding action intent. To generate executable actions, zat is introduced as an additional conditioning signal to the pretrained diffusion policy. The original conditioning (ot, l, zft ) is extended to (ot, l, zft, zat ), while the training 4

objective remains the original diffusion action-prediction objective on ground-truth action chunks. The resulting policy produces a K-step action chunk At = [at, . . ., at+K−1 ]. 3.3

BELIEF REVISION

After generating an action chunk, the robot executes at and observes ot+1 as feedback on the resulting environment transition. Since the belief naturally evolves during execution, a change from ht to the next belief does not by itself indicate an execution deviation. An RSSM therefore models the expected belief transition and incorporates execution feedback to capture discrepancies between the predicted and observation-updated beliefs. Given the current belief ht and executed action at, the prior branch predicts the expected next belief hprior t+1 . The posterior branch additionally incorporates the new observation ot+1 to infer the updated belief hpost t+1 . During training, paired future–action latent representations are collected from consecutive execution steps of the same rollout. The current belief ht and target belief htarget correspond to the current and next execution steps, respectively. Their difference defines the teacher latent displacement, ∆h∗ = htarget − ht .

(2)

Both RSSM branches are supervised to predict this displacement: post ∗ ∗ LRSSM = ℓ(hprior t+1 − ht, ∆h ) + ℓ(ht+1 − ht, ∆h ),

(3)

where ℓ denotes the Smooth L1 loss. The prior learns the expected belief transition without access to the new observation, while the posterior incorporates the observed outcome to refine the predicted update. During execution, the belief revision is defined as the difference between the posterior and prior prior beliefs, ∆ht+1 = hpost t+1 − ht+1 . This revision captures the observation-induced update to the expected belief transition and guides selective action repair. The posterior belief is then maintained for subsequent execution, ht+1 ← hpost t+1 . 3.4 3.4.1

SELECTIVE ACTION REPAIR BELIEF-GUIDED SUFFIX REPAIR

= [at+1, . . ., at+K−1 ]. Since the After executing at, the remaining actions are cached as Arem t belief revision ∆ht+1 may affect only part of this suffix, a TCN Sψ predicts an action correction ∆âk, validity score vk, and uncertainty uk for each remaining action:     rem ∆Ârem , v, u = Sψ ot+1, hprior , A , ∆h , (4) t+1 t t t+1 where k = 1, . . ., K − 1 indexes the cached actions, larger vk indicates higher action validity, and larger uk indicates greater uncertainty in determining whether the action requires correction. The affected actions are selected by optimizing a binary mask m ∈ {0, 1}K−1 : m̂ = arg min m

λv

K−1 X

(1 − mk )(1 − vk ) + λm

k=1

+ λc

K−2 X

K−1 X

mk

k=1

|mk+1 − mk | + λu

k=1

K−1 X

(5)

m k uk .

k=1

The objective penalizes leaving low-validity actions unrepaired, modifying unnecessary actions, fragmented repair regions, and repairing highly uncertain actions. The corresponding weights are set to λv = 1, λm = 0.5, λc = 0.15, and λu = 0.15, favoring compact and reliable repair regions. The optimized mask determines whether the cached suffix should be kept, selectively repaired, or PK−1 1 discarded. The repair ratio r = K−1 k=1 m̂k measures the fraction of affected actions, s denotes the number of disconnected affected segments, and umax = max1≤k≤K−1 uk measures the maximum uncertainty across the entire suffix. Full replanning is triggered when umax ≥ η. Otherwise, the suffix is retained when no action is selected, and selective repair is applied when r ≤ ρ and 5

Table 1: CALVIN (Mees et al., 2022) ABC→D results. We report the average success rate over 1,000 rollouts and the average number of consecutively completed tasks (Avg. Len.). ReEnvision demonstrates clear improvements over the baselines, particularly on longer-horizon sequences.

Method

∗ π0.5 (Intelligence et al., 2025)

VPP (Hu et al., 2025) REMAC (Wang et al., 2026a) PALM (Liu et al., 2026) DeFI (Zhang et al., 2026) VITA (Ma et al., 2026) ReEnvision

Avg. Len. ↑

94.8 96.5 96.0 96.9 97.9 99.1 97.8

87.4 90.9 91.4 93.8 94.2 94.9 94.5

78.2 86.6 88.3 89.3 90.7 91.2 93.0

71.7 82.0 84.9 85.9 87.0 87.8 90.1

64.3 76.9 78.4 82.0 81.2 84.5 86.6

3.97 4.33 4.39 4.48 4.51 4.57 4.62

s ≤ smax . If either condition is violated, the cached suffix is discarded and fully replanned. Here, ρ, smax, and η control the maximum repair extent, fragmentation, and uncertainty, respectively. For selective repair, only the selected actions are updated: Arem′ = Arem + m̂ ⊙ ∆Ârem , t t t

(6)

with the correction magnitude clipped to a bounded range and smoothing applied within the selected repair region to maintain trajectory continuity. Under full replanning, the cached suffix is discarded, and a new action chunk is generated by the diffusion policy conditioned on the posterior belief hpost t+1 . 3.4.2

ACTION IMPACT MODEL TRAINING

Sψ is trained on outcome-guided action pairs to approximate belief-induced corrections. Each pair consists of lower- and higher-return action chunks, A− and A+, generated by the same policy under matched observation, task, diffusion noise, and cache conditions. A− = Aneg,

A+ = Apos .

(7)

Both A− and A+ are full action chunks generated by the same frozen policy. Their first K − 1 rem + . Their actions, denoted by A− rem and Arem, are temporally aligned with the cached suffix At − + ∗ difference, ∆Arem = Arem − Arem, provides an outcome-guided correction from lower- to higher. return actions. At inference, pre-revision actions are retrieved directly from the cached suffix Arem t For each remaining action k, the validity target indicates whether its outcome-guided correction magnitude remains within a predefined threshold: vk∗ = I [∥∆a∗k ∥2 ≤ τ ], (8) where k = 1, . . ., K − 1 indexes the cached suffix, and vk∗ = 1 indicates that the outcome-guided correction magnitude does not exceed the threshold τ . An uncertainty target u∗k is further constructed from the distance between ∥∆a∗k ∥2 and τ, assigning higher uncertainty to actions closer to the validity decision boundary and lower uncertainty to those farther away. The threshold τ is used only to construct offline supervision targets. During inference, predicted validity and uncertainty guide structured mask selection without directly thresholding predicted corrections. Sψ is jointly trained to predict outcome-guided action corrections, validity, and uncertainty: LTCN = ∆Ârem − ∆A∗rem t

+ λval BCE (v, v∗ ) + λunc ∥u − u∗ ∥1 .

(9)

The loss weights are set to λval = 1.0 and λunc = 0.1. This outcome-guided supervision is used to approximate the action changes induced by belief revision. During execution, predicted corrections are applied only to the selected actions in Eq. 6, while unaffected actions are preserved. 3.5 3.5.1

TRAINING AND INFERENCE TRAINING

The framework is trained in stages. Future representations from the pretrained SVD are first used to train the action-intent generator, after which the diffusion policy is further trained to generate action 6

Table 2: Comparison with prior methods on the L-CALVIN (Fan et al., 2025), using 100 evaluation sequences of 10 consecutive instructions under the ABC→D setting.

Method

Tasks Completed in Sequence

VLAS (Zhao et al., 2025) RoboVLMs (Li et al., 2026b) REMAC (Wang et al., 2026a) DeFI (Zhang et al., 2026) Long-VLA (Fan et al., 2025) ReEnvision

Avg. Len.

10

0.88 0.90 0.94 0.98 1.00 0.99

0.80 0.80 0.90 0.96 1.00 0.98

0.72 0.78 0.82 0.92 0.98 0.95

0.58 0.70 0.74 0.86 0.91 0.92

0.49 0.64 0.71 0.75 0.85 0.89

0.46 0.60 0.58 0.71 0.82 0.83

0.34 0.51 0.54 0.59 0.79 0.77

0.28 0.41 0.50 0.57 0.70 0.72

0.19 0.36 0.47 0.52 0.63 0.68

0.16 0.34 0.41 0.44 0.56 0.63

4.90 6.04 6.61 7.30 8.24 8.36

Table 3: Performance comparison on 18 RLBench (James et al., 2019) manipulation tasks, with 50 evaluation episodes per task. We report task success rates (%) and the average success rate (Avg. SR) across all 900 episodes. Best results are shown in bold. Close Insert Light Meat off Open Place Shape Place Avg. SR Jar Peg Bulb Grill Drawer Cups Sorter Wine

Method

HDFlow (Gireesh et al., 2026) TVVE (Bai et al., 2026) SpatialActor (Shi et al., 2026) BridgeVLA (Li et al., 2025a) ReEnvision

87.5 86.6 87.4 85.7 88.8

96.0 100.0 94.0 98.0 98.0

93.3 98.0 93.3 80.0 82.0

88.7 86.0 88.7 86.0 90.0

98.7 94.0 98.7 100.0 100.0

82.0 90.0 82.0 98.0 90.0

56.7 54.0 56.7 48.0 60.0

73.3 62.0 73.3 38.0 50.0

94.7 92.0 94.7 90.0 96.0

Method

Put Push Put in Put in Reach & Slide Stack Stack Sweep Turn Buttons Groceries Drawer Safe Drag Block Blocks Cups Dustpan Tap

HDFlow TVVE SpatialActor BridgeVLA ReEnvision

100.0 100.0 100.0 100.0 90.0

72.0 74.0 72.0 80.0 92.0

98.7 100.0 98.7 88.0 94.0

96.7 78.0 96.7 100.0 100.0

100.0 100.0 100.0 100.0 94.0

91.3 100.0 91.3 98.0 82.0

56.0 74.0 56.0 76.0 94.0

81.3 64.0 81.3 80.0 90.0

100.0 92.0 100.0 90.0 96.0

95.3 100.0 95.3 92.0 100.0

chunks conditioned on both future and action-intent representations. Rollouts from the resulting policy are then used to train the RSSM, with both prior and posterior branches supervised by the teacher latent displacement ∆h∗ = htarget − ht . Finally, matched lower- and higher-return action chunks from the frozen diffusion policy provide outcome-guided correction targets for training Sψ to predict per-action corrections, validity, and uncertainty. 3.5.2

INFERENCE

At initialization, the current observation and task instruction are used to construct the initial joint belief and generate an action chunk. After each action is executed, the RSSM predicts the next belief and incorporates the new observation to obtain the posterior belief. The pre-revision actions are retrieved directly from the cached suffix Arem , without regeneration. Given the belief revision t ∆ht+1 and cached suffix, Sψ predicts per-action corrections, validity, and uncertainty. The suffix is retained when no action is selected and uncertainty is low, and selectively repaired when the affected region is sufficiently localized. Full replanning is triggered when the affected region is too large, fragmented, or uncertain, generating a new action chunk conditioned on hpost t+1 .

EXPERIMENTS

4.1

EXPERIMENTAL SETUP

We evaluate ReEnvision on CALVIN (Mees et al., 2022), L-CALVIN (Fan et al., 2025), and RLBench (James et al., 2019), using DeFI (Zhang et al., 2026) as the backbone for CALVIN/L-CALVIN and BridgeVLA (Li et al., 2025a) for RLBench. On CALVIN, we follow the ABC→D protocol and evaluate 1,000 five-task sequences using 10-step, 7-DoF relative action chunks from RGB observa7

Table 4: Real-world manipulation performance on five tasks using an ARX X5 robot. Each method is evaluated over 50 trials per task. Success Rate (%)

Method

Diffusion Policy (Chi et al., 2024) ∗ π0.5 (Intelligence et al., 2025) BridgeVLA (Li et al., 2025a) DeFI (Zhang et al., 2026) ReEnvision

Pen

Color

Drawer

Towel

Flower

Average

78 90 88 86 90

56 70 70 68 76

78 80 86 78 84

80 94 74 82 88

52 70 68 66 76

68.8 80.8 77.2 76.0 82.8

Predict

Flower dropped!

future

ot

Action index

at t

at 1

t 1

t2

t 3

at 3

at  4 t4

ak*

0.03

0.05

0.04

0.28

0.31

0.73

0.84

0.78

0.30

0.36

0.12

0.15

0.11

0.46

0.38

(teacher)

Validity (pred.) Uncertainty (pred.) Teacher mask m

Predicted mask m

at  2

ot  2 Revise belief Stop inserting Pick up the flower Revise actions

at 3

t 3

at  4 t4

0.09

0.06

0.77

0.82

0.17

0.14

Figure 3: Visualization on a flower placement task. ReEnvision detects affected actions following an unexpected flower drop and selectively repairs the remaining action chunk through belief revision. For visualization, the teacher correction magnitudes ∥∆a∗k ∥2 are rescaled for readability, with actions exceeding 0.10 on the rescaled scale marked as affected. tions, proprioception, and language instructions. We report success rates for 1–5 consecutive tasks and average sequence length. L-CALVIN extends the same policy to ten-task sequences, reporting SR1–SR10 and average length. On RLBench, we evaluate 18 tasks with 50 episodes each and report per-task and mean success rates. All results are averaged over three random seeds. For real-world evaluation, we use an ARX X5 robot on five tasks: pen placement, color sorting, sequential drawer placement, towel folding and placement, and sequential flower placement. We collect 150 kinesthetic demonstrations per task. Two Intel RealSense D405 cameras capture RGB observations at 30 Hz and 640 × 480 resolution. Each policy receives both RGB views, a language instruction, and a 7-D proprioceptive state. 4.2

ABLATION STUDIES

We use DeFI and BridgeVLA as the baselines. For belief representation, the diffusion-policy conditioning is varied while the rest of ReEnvision is kept fixed: zf only for DeFI, za only for action-only, and ht = (zft, zat ) for joint belief. Belief revision ∆h, uncertainty uk, and the full replanning are further ablated, with selective repair replaced by full replanning in the latter. To isolate the effect of repair location, we fix the observation, task condition, and diffusion noise post while changing the belief from hprior t+1 to ht+1 . Their paired policy responses define the reference ∗ correction ∆Arem, with actions above threshold τ forming the reference mask m∗ . No Repair leaves the cached suffix unchanged without applying ∆A∗rem . For the remaining reference-mask controls, the same ∆A∗rem is used while only the repair mask is varied: Selective w/ m∗ repairs the affected positions, Random Mask repairs the same number of randomly selected positions, Complement Mask repairs positions outside m∗, and Whole Suffix repairs the entire remaining suffix. ReEnvision applies the TCN-predicted mask m̂ together with the predicted correction ∆Ârem . t 4.3

ANALYSIS

As shown in Table 1, ReEnvision achieves the best performance from 3/5 onward and the highest Avg. Len. of 4.62, with larger gains at longer horizons. This trend is clearer on L-CALVIN (Ta8

Table 5: Ablation study of ReEnvision on RLBench, CALVIN, and L-CALVIN.

Methods

RLBench

CALVIN

L-CALVIN

Avg. SR ↑

5-Step ↑

Avg. Len. ↑

Avg. Len. ↑

5-Step ↑

10-Step ↑

Baseline

85.7

81.2

4.51

7.30

0.75

0.44

zf only za only w/o belief revision w/o uncertainty w/ full replanning ReEnvision (zf, za )

84.6 88.4 87.4 88.0 88.9 88.8

84.7 85.2 82.6 85.2 82.1 86.6

4.58 4.57 4.54 4.60 4.53 4.62

8.22 8.26 7.96 8.32 7.74 8.36

0.85 0.80 0.83 0.90 0.77 0.89

0.55 0.56 0.50 0.61 0.51 0.63

Table 6: Repair-location control study on RLBench, CALVIN, and L-CALVIN.

Methods

No Repair Random Mask Complement Mask Selective w/ m∗ Whole Suffix ReEnvision

RLBench Avg. SR ↑ 85.7 83.1 77.4 88.8 81.2 88.8

CALVIN 5-Step ↑ Avg. Len. ↑ 81.2 81.6 78.8 85.9 80.7 86.6

4.51 4.48 4.39 4.65 4.50 4.62

L-CALVIN Avg. Len. ↑ 5-Step ↑ 10-Step ↑ 7.30 7.59 6.85 8.45 7.15 8.36

0.75 0.80 0.69 0.91 0.80 0.89

0.44 0.49 0.38 0.66 0.43 0.63

ble 2), where ReEnvision reaches an Avg. Len. of 8.36 and improves the later stages. On RLBench (Table 3), it improves the reproduced BridgeVLA baseline from 85.7% to 88.8% average success rate. In real-world experiments (Table 4), ReEnvision achieves the highest average success rate of 82.8% across five manipulation tasks, with leading or tied-leading results on Pen, Color, and Flower. Overall, selective repair reduces error accumulation by preserving valid actions: 86.8% of cached suffixes are kept unchanged, 11.1% selectively patched, and only 2.1% fully replanned. Table 5 shows consistent gains over the corresponding backbone baselines across all three benchmarks, especially in longer-horizon settings. Joint (zf, za ) conditioning also outperforms either representation alone. Full replanning is slightly better on RLBench (88.9 vs. 88.8), while removing uncertainty gives a marginally higher L-CALVIN 5-step success (0.90 vs. 0.89); ReEnvision remains stronger on the longer-horizon metrics. In addition, Table 6 further highlights the importance of repair localization. On L-CALVIN, Selective w/ m∗ reaches an Avg. Len. of 8.45, compared with 7.59 for Random Mask and 6.85 for Complement Mask, showing that repairing the affected actions is more effective than modifying random or unaffected ones. Fig. 3 illustrates how ReEnvision selectively repairs affected actions following an unexpected flower drop. 4.4

DISCUSSION

Our results suggest that belief changes usually affect only a local part of the cached action suffix rather than making the whole suffix invalid. The repair-location study further shows that repair location is critical: Selective w/ m∗ outperforms Random Mask, Complement Mask, and Whole Suffix, supporting selective modification of affected actions while preserving valid ones. The ablations also show complementary roles for future prediction and action intent: the former captures expected task evolution, while the latter represents how the policy realizes it. Their combination therefore provides a stronger basis for deciding which remaining actions require revision. Full replanning remains competitive on RLBench, where tasks are shorter and rebuilding the suffix can correct errors with less disruption. In longer-horizon settings, repeated replanning may discard useful actions and introduce unnecessary changes, making ReEnvision increasingly advantageous as the execution horizon grows. The learned ReEnvision policy also performs close to Selective w/ m∗, suggesting that these useful repair locations can be recovered without access to the reference mask. ReEnvision estimates belief-induced action changes with a lightweight TCN and invokes full replanning only under severe deviations. Despite these optimizations, ReEnvision still introduces about 30% additional inference latency over the baseline. In addition, the outcome-guided action pairs 9

provide action-level supervision, but they do not establish whether each individual repair improves task success. Task-level success is difficult to use directly because it gives only a final outcome, making action-level credit assignment hard. Future work could first localize a small repair region using belief changes, then use task outcomes to refine which actions should be modified.

CONCLUSION

We presented ReEnvision, which combines the expected future and action intent into a joint belief, updates this belief with new observations, and estimates how the resulting revision affects the remaining action sequence. This enables the policy to preserve valid actions, selectively repair affected ones, and reserve full replanning for severe deviations. Experiments on CALVIN, L-CALVIN, and RLBench, together with real-robot evaluations, show consistent improvements over the corresponding backbone policies, with larger gains over longer horizons. The repair-location study further shows that performance gains depend on correctly localizing belief-induced changes within the action chunk, so that affected actions are corrected while valid actions are preserved. Future work may improve affected-action estimation and extend selective repair to more diverse real-world settings.

AI USE STATEMENT In this work, generative AI tools were used to assist with literature search and synthesis and to improve the clarity, readability, and wording of the manuscript. All AI-assisted content, including literature-related information and textual revisions, was reviewed and verified by the authors against the original sources where applicable. The authors take full responsibility for the final content, claims, and presentation of this work.

REPRODUCIBILITY STATEMENT We provide the model architecture, training objectives, and staged training and inference procedures in Section 3. Section 4 details the benchmark protocols, evaluation metrics, and real-world experimental setup. Appendix A includes additional experimental analyses, runtime measurements, and hyperparameter sensitivity studies. All source code and pretrained model weights will be publicly released upon acceptance to facilitate reproducibility.

REFERENCES

  1. Shaojie Bai, J Zico Kolter, and Vladlen Koltun. An empirical evaluation of generic convolutional and recurrent networks for sequence modeling. arXiv preprint arXiv:1803.01271, 2018. Yongjie Bai, Zhouxia Wang, Yang Liu, Kaijun Luo, Yifan Wen, Mingtong Dai, Weixing Chen, Ziliang Chen, Lingbo Liu, Guanbin Li, and Liang Lin. Learning to see and act: Task-aware virtual view exploration for robotic manipulation, 2026. URL https://arxiv.org/abs/ 2508.05186. Hongzhe Bi, Hengkai Tan, Shenghao Xie, Zeyuan Wang, Shuhe Huang, Haitian Liu, Ruowen Zhao, Yao Feng, Chendong Xiang, Yinze Rong, Hongyan Zhao, Hanyu Liu, Zhizhong Su, Lei Ma, Hang Su, and Jun Zhu. Motus: A unified latent action world model. In Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), pp. 35101–35113, June 2026. Andreas Blattmann, Tim Dockhorn, Sumith Kulal, Daniel Mendelevitch, Maciej Kilian, Dominik Lorenz, Yam Levi, Zion English, Vikram Voleti, Adam Letts, Varun Jampani, and Robin Rombach. Stable video diffusion: Scaling latent video diffusion models to large datasets, 2023. URL https://arxiv.org/abs/2311.15127. Qi Chai, Zhang Zheng, Junlong Ren, Deheng Ye, Zichuan Lin, and Hao Wang. Causalmace: Causality empowered multi-agents in minecraft cooperative tasks, 2025. URL https://arxiv. org/abs/2508.18797. 10 Qi Chai, Wenhao Shen, Nanjie Yao, Yue Xia, Kaiyong Zhao, Jie Ma, Guosheng Lin, and Hao Wang. Evolvenav: Proactive preflection and self-evolving memory for zero-shot object goal navigation, 2026. URL https://arxiv.org/abs/2606.18235. Zixuan Chen, Ze Ji, Jing Huo, and Yang Gao. Scar: Refining skill chaining for long-horizon robotic manipulation via dual regularization. In A. Globerson, L. Mackey, D. Belgrave, A. Fan, U. Paquet, J. Tomczak, and C. Zhang (eds.), Advances in Neural Information Processing Systems, volume 37, pp. 111679–111714. Curran Associates, Inc., 2024. doi: 10.52202/ 079017-3547. URL https://proceedings.neurips.cc/paper_files/paper/ 2024/file/ca92ff06d973ece92cecc561757d500e-Paper-Conference.pdf. Zixuan Chen, Xiangrong Feng, Jieqi Shi, Lin Shao, Jing Huo, and Yang Gao. Agile: Learning robust long-horizon manipulation via affordance-grounded bidirectional latent planning. In Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), pp. 6760– 6769, June 2026. Cheng Chi, Zhenjia Xu, Siyuan Feng, Eric Cousineau, Yilun Du, Benjamin Burchfiel, Russ Tedrake, and Shuran Song. Diffusion policy: Visuomotor policy learning via action diffusion, 2024. URL https://arxiv.org/abs/2303.04137. Yiguo Fan, Pengxiang Ding, Shuanghao Bai, Xinyang Tong, Yuyang Zhu, Hongchao Lu, Fengqi Dai, Wei Zhao, Yang Liu, Siteng Huang, et al. Long-vla: Unleashing long-horizon capability of vision language action model for robot manipulation. arXiv preprint arXiv:2508.19958, 2025. Yunhai Feng, Jiaming Han, Zhuoran Yang, Xiangyu Yue, Sergey Levine, and Jianlan Luo. Reflective planning: Vision-language models for multi-stage long-horizon robotic manipulation. arXiv preprint arXiv:2502.16707, 2025. Shenyuan Gao, William Liang, Kaiyuan Zheng, Ayaan Malik, Seonghyeon Ye, Sihyun Yu, WeiCheng Tseng, Yuzhu Dong, Kaichun Mo, Chen-Hsuan Lin, Qianli Ma, Seungjun Nah, Loic Magne, Jiannan Xiang, Yuqi Xie, Ruijie Zheng, Dantong Niu, You Liang Tan, K. R. Zentner, George Kurian, Suneel Indupuru, Pooya Jannaty, Jinwei Gu, Jun Zhang, Jitendra Malik, Pieter Abbeel, Ming-Yu Liu, Yuke Zhu, Joel Jang, and Linxi ”Jim” Fan. Dreamdojo: A generalist robot world model from large-scale human videos, 2026. URL https://arxiv.org/abs/2602. 06949. Nandiraju Gireesh, Yuanliang Ju, Chaoyi Xu, Weiheng Liu, Yuxuan Wan, and He Wang. Hdflow: Hierarchical diffusion-flow planning for long-horizon tasks, 2026. URL https://arxiv. org/abs/2605.04525. Danijar Hafner, Timothy Lillicrap, Ian Fischer, Ruben Villegas, David Ha, Honglak Lee, and James Davidson. Learning latent dynamics for planning from pixels. In International conference on machine learning, pp. 2555–2565. PMLR, 2019. Yucheng Hu, Yanjiang Guo, Pengchao Wang, Xiaoyu Chen, Yen-Jen Wang, Jianke Zhang, Koushil Sreenath, Chaochao Lu, and Jianyu Chen. Video prediction policy: A generalist robot policy with predictive visual representations, 2025. URL https://arxiv.org/abs/2412.14803. Yuhang Huang, Jiazhao Zhang, Shilong Zou, Xinwang Liu, Ruizhen Hu, and Kai Xu. Ladi-wm: A latent diffusion-based world model for predictive manipulation. arXiv preprint arXiv:2505.11528, 2025. Physical Intelligence, Kevin Black, Noah Brown, James Darpinian, Karan Dhabalia, Danny Driess, Adnan Esmail, Michael Equi, Chelsea Finn, Niccolo Fusai, Manuel Y. Galliker, Dibya Ghosh, Lachy Groom, Karol Hausman, Brian Ichter, Szymon Jakubczak, Tim Jones, Liyiming Ke, Devin LeBlanc, Sergey Levine, Adrian Li-Bell, Mohith Mothukuri, Suraj Nair, Karl Pertsch, Allen Z. Ren, Lucy Xiaoyang Shi, Laura Smith, Jost Tobias Springenberg, Kyle Stachowicz, James Tanner, Quan Vuong, Homer Walke, Anna Walling, Haohuan Wang, Lili Yu, and Ury Zhilinsky. π0.5 : a vision-language-action model with open-world generalization, 2025. URL https://arxiv. org/abs/2504.16054. 11 Stephen James, Zicong Ma, David Rovick Arrojo, and Andrew J. Davison. Rlbench: The robot learning benchmark & learning environment, 2019. URL https://arxiv.org/abs/ 1909.12271. Lin Li, Qihang Zhang, Yiming Luo, Shuai Yang, Ruilin Wang, Luyao Zhang, Mingrui Yu, Zelin Gao, Nan Xue, Boyu Zhou, Xing Zhu, Mingyu Ding, Yujun Shen, and Yinghao Xu. Causal World Modeling for Robot Control. In Proceedings of Robotics: Science and Systems, Sydney, Australia, July 2026a. doi: 10.15607/RSS.2026.XXII.016. Peiyan Li, Yixiang Chen, Hongtao Wu, Xiao Ma, Xiangnan Wu, Yan Huang, Liang Wang, Tao Kong, and Tieniu Tan. Bridgevla: Input-output alignment for efficient 3d manipulation learning with vision-language models, 2025a. URL https://arxiv.org/abs/2506.07961. Xinghang Li, Peiyan Li, Long Qian, Minghuan Liu, Dong Wang, Jirong Liu, Bingyi Kang, Xiao Ma, Xinlong Wang, Di Guo, Tao Kong, Hanbo Zhang, and Huaping Liu. What matters in building vision-language-action models for generalist robots, 2026b. URL https://arxiv.org/ abs/2412.14058. Yajie Li, Bozhou Zhang, Chun Gu, Zipei Ma, Jiahui Zhang, Jiankang Deng, Xiatian Zhu, and Li Zhang. From imagined futures to executable actions: Mixture of latent actions for robot manipulation, 2026c. URL https://arxiv.org/abs/2605.12167. Yi Li, Yuquan Deng, Jesse Zhang, Joel Jang, Marius Memmel, Caelan Garrett, Fabio Ramos, Dieter Fox, Anqi Li, Abhishek Gupta, and Ankit Goyal. Hamster: Hierarchical action models for open-world robot manipulation. In Y. Yue, A. Garg, N. Peng, F. Sha, and R. Yu (eds.), International Conference on Learning Representations, volume 2025, pp. 24040– 24068, 2025b. URL https://proceedings.iclr.cc/paper_files/paper/2025/ file/3bfee3bc6639c36e6e7b058db909f760-Paper-Conference.pdf. Yuanchang Liang, Xiaobo Wang, Kai Wang, Shuo Wang, Xiaojiang Peng, Haoyu Chen, David Kim Huat Chua, and Prahlad Vadakkepat. Adaptive action chunking at inference-time for visionlanguage-action models, 2026. URL https://arxiv.org/abs/2604.04161. Yuanzhe Liu, Jingyuan Zhu, Yuchen Mo, Gen Li, Xu Cao, Jin Jin, Yifan Shen, Zhengyuan Li, Tianjiao Yu, Wenzhen Yuan, Fangqiang Ding, and Ismini Lourentzou. Palm: Progress-aware policy learning via affordance reasoning for long-horizon robotic manipulation, 2026. URL https://arxiv.org/abs/2601.07060. Xiangkai Ma, Lekai Xing, Han Zhang, Wenzhong Li, and Sanglu Lu. Unifying perception and action: A hybrid-modality pipeline with implicit visual chain-of-thought for robotic action generation. In Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), pp. 22380–22390, June 2026. Oier Mees, Lukas Hermann, Erick Rosete-Beas, and Wolfram Burgard. Calvin: A benchmark for language-conditioned policy learning for long-horizon robot manipulation tasks, 2022. URL https://arxiv.org/abs/2112.03227. Kohei Sendai, Maxime Alvarez, Tatsuya Matsushima, Yutaka Matsuo, and Yusuke Iwasawa. Leave no observation behind: Real-time correction for vla action chunks, 2025. URL https: //arxiv.org/abs/2509.23224. Hao Shi, Bin Xie, Yingfei Liu, Yang Yue, Tiancai Wang, Haoqiang Fan, Xiangyu Zhang, and Gao Huang. Spatialactor: Exploring disentangled spatial representations for robust robotic manipulation, 2026. URL https://arxiv.org/abs/2511.09555. Ajay Sridhar, Jennifer Pan, Satvik Sharma, and Chelsea Finn. Scaling up memory for robotic control via experience retrieval. In C. Vondrick, B. Hariharan, C. Raffel, L. Pinto, D. Yang, and A. Faust (eds.), International Conference on Learning Representations, volume 2026, pp. 97142–97166, 2026. URL https://proceedings.iclr.cc/paper_files/paper/2026/file/ 9da515b1ad19d032a7398f00f5ff9b0c-Paper-Conference.pdf. 12 Huajie Tan, Peterson Co, Yijie Xu, Shanyu Rong, Yuheng Ji, Cheng Chi, Xiansheng Chen, Zhongxia Zhao, Pengwei Wang, Zhongyuan Wang, and Shanghang Zhang. Action-sketcher: From reasoning to action via visual sketches for robotic manipulation. In Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), pp. 22433–22444, June 2026. Haoxuan Wang, Gengyu Zhang, Yan Yan, Yuzhang Shang, Ramana Kompella, and Gaowen Liu. Real-time robot execution with masked action chunking. In C. Vondrick, B. Hariharan, C. Raffel, L. Pinto, D. Yang, and A. Faust (eds.), International Conference on Learning Representations, volume 2026, pp. 120161–120179, 2026a. URL https://proceedings.iclr.cc/paper_files/paper/2026/file/ c35834443b7881e782e52b3519fe27c7-Paper-Conference.pdf. Rui Wang, Yue Zhang, Jiehong Lin, Kuncheng Luo, Jianan Wang, Zhongrui Wang, and Xiaojuan Qi. When to trust imagination: Adaptive action execution for world action models, 2026b. URL https://arxiv.org/abs/2605.06222. Nanjie Yao, Hao Wang, Chong Cheng, Zhikang Chen, Wenzhe Li, et al. World models for embodied intelligence: From plausible to controllable to actionable. arXiv preprint, 2026. Seonghyeon Ye, Yunhao Ge, Kaiyuan Zheng, Shenyuan Gao, Sihyun Yu, George Kurian, Suneel Indupuru, You Liang Tan, Chuning Zhu, Jiannan Xiang, Ayaan Malik, Kyungmin Lee, William Liang, Nadun Ranawaka, Jiasheng Gu, Yinzhen Xu, Guanzhi Wang, Fengyuan Hu, Avnish Narayan, Johan Bjorck, Jing Wang, Gwanghyun Kim, Dantong Niu, Ruijie Zheng, Yuqi Xie, Jimmy Wu, Qi Wang, Ryan Julian, Danfei Xu, Yilun Du, Yevgen Chebotar, Scott Reed, Jan Kautz, Yuke Zhu, Linxi ”Jim” Fan, and Joel Jang. World action models are zero-shot policies, 2026. URL https://arxiv.org/abs/2602.15922. Xiyin Zeng, Yuyu Sun, Haoyang Li, Shouqiang Liu, and Hao Wang. Recapa: Hierarchical predictive correction to mitigate cascading failures, 2026. URL https://arxiv.org/abs/2604. 21232. Wenyao Zhang, Bozhou Zhang, Zekun Qi, Wenjun Zeng, Xin Jin, and Li Zhang. Disentangled robot learning via separate forward and inverse dynamics pretraining. In C. Vondrick, B. Hariharan, C. Raffel, L. Pinto, D. Yang, and A. Faust (eds.), International Conference on Learning Representations, volume 2026, pp. 74565–74595, 2026. URL https://proceedings.iclr.cc/paper_files/paper/2026/file/ 793bfa8f8c8db6e33a7ecf410ae573a8-Paper-Conference.pdf. Tony Z. Zhao, Vikash Kumar, Sergey Levine, and Chelsea Finn. Learning Fine-Grained Bimanual Manipulation with Low-Cost Hardware. In Proceedings of Robotics: Science and Systems, Daegu, Republic of Korea, July 2023. doi: 10.15607/RSS.2023.XIX.016. Wei Zhao, Pengxiang Ding, Min Zhang, Zhefei Gong, Shuanghao Bai, Han Zhao, and Donglin Wang. Vlas: Vision-language-action model with speech instructions for customized robot manipulation, 2025. URL https://arxiv.org/abs/2502.13508. Pengfei Zhou, Liliang Chen, Shengcong Chen, Di Chen, Wenzhi Zhao, Rongjun Jin, Guanghui Ren, and Jianlan Luo. Act2Goal: From World Model To General Goal-conditioned Policy. In Proceedings of Robotics: Science and Systems, Sydney, Australia, July 2026. doi: 10.15607/RSS. 2026.XXII.015. Zihan Zhou, Animesh Garg, Dieter Fox, Caelan Garrett, and Ajay Mandlekar. Spire: Synergistic planning, imitation, and reinforcement learning for long-horizon manipulation. arXiv preprint arXiv:2410.18065, 2024. A SUPPLEMENTARY EXPERIMENTS A.1 MECHANISM VALIDATION We further validate two properties underlying selective action repair: (i) belief revision typically affects only a localized portion of the cached action suffix, and (ii) the TCN can accurately localize and predict the corresponding action changes. 13 Table 7: Validation of action-change locality and TCN localization accuracy. m∗ denotes the reference affected-action mask derived from paired policy responses. Non-empty IoU is computed only on suffixes containing at least one affected action. Metric Value ∗ Affected fraction (m ) Pred. affected fraction Segments per suffix (m∗ ) Pred. segments per suffix 0.208 0.206 0.821 0.850 Mask F1 Temporal IoU (all) Temporal IoU (non-empty) Segment IoU (all) Segment IoU (non-empty) ∆AMAE 0.861 0.785 0.690 0.788 0.696 0.000167 post Locality of affected actions. We use the paired policy responses under hprior t+1 and ht+1 to obtain ∆A∗rem and the corresponding reference affected-action mask m∗ . Specifically, m∗k = 1 indicates that the change of action k exceeds the threshold τ . We measure the fraction of affected actions and the number of contiguous affected segments within each cached suffix. TCN localization accuracy. The TCN-predicted affected-action mask is evaluated against m∗ . We report mask F1, temporal and segment IoU, and the prediction error of the action correction ∆Ârem . t As shown in Table 7, only 20.8% of the cached suffix is marked as affected by m∗, with 0.821 contiguous affected segments per suffix, indicating that belief-induced action changes are typically localized rather than distributed throughout the suffix. The TCN closely reproduces this structure, achieving a mask F1 of 0.861 and a non-empty segment IoU of 0.696 while predicting a similar affected fraction (20.6%). These results demonstrate that belief-induced action changes can be reliably localized. Notably, predicted action impact does not necessarily lead to modification, as the final intervention is determined by structured mask selection and the keep-repair-replan decision. A.2 CONTROLLED DEVIATION RECOVERY We construct a controlled deviation evaluation on L-CALVIN to examine how different recovery strategies respond to execution errors of increasing severity. During rollout, deviations are injected directly into the simulator state using two complementary perturbations. First, an end-effector deviation applies a controlled offset to the robot pose, providing a simple and reproducible execution error whose magnitude can be precisely varied. Second, object displacement perturbs the pose of a task-relevant object, representing an external state change that may invalidate only part of the cached action suffix. Both perturbations are applied at small, medium, and severe levels. This setup allows us to test whether localized deviations can be handled by selectively modifying the affected actions, while larger deviations increasingly require replanning. Recovery Success denotes the fraction of perturbed rollouts that successfully recover, Avg. Len. measures the average number of consecutively completed tasks, Modified Actions denotes the fraction of the cached suffix modified during recovery, and Replan Rate reports the frequency of discarding the cached suffix and generating a new action chunk. The clean setting corresponds to ReEnvision without injected perturbations and serves as a reference for the performance degradation caused by execution deviations. As shown in Table 8, recovery becomes more difficult as deviation severity increases, while ReEnvision progressively shifts from suffix reuse and selective repair toward more frequent replanning. Interestingly, under small deviations, No Repair performs better than both Step-wise correction and Full Replan, suggesting that weak perturbations often leave much of the cached suffix valid and that unnecessary intervention can disrupt otherwise successful execution. This also explains why selective repair provides the largest benefit when the deviation is large enough to invalidate part of the suffix but not severe enough to require complete regeneration. Under severe deviations, ReEnvision approaches the recovery performance of Full Replan while maintaining a higher Avg. Len., indicat14 Table 8: Controlled deviation recovery on L-CALVIN under perturbations of increasing severity. Severity Strategy Recovery Success ↑ Avg. Len. ↑ Modified Actions Replan Rate Clean ReEnvision 0.75 8.36 0.08 0.03 Small Small Small Small Small No Repair Step-wise Full Replan Oracle Selective ReEnvision 0.79 0.75 0.68 0.93 0.84 7.18 7.56 7.07 8.25 7.93 0.00 0.03 1.00 0.08 0.18 0.00 0.00 1.00 0.05 0.11 Medium Medium Medium Medium Medium No Repair Step-wise Full Replan Oracle Selective ReEnvision 0.55 0.55 0.63 0.78 0.70 6.96 7.10 6.95 7.30 7.14 0.00 0.06 1.00 0.20 0.30 0.00 0.00 1.00 0.13 0.17 Severe Severe Severe Severe Severe No Repair Step-wise Full Replan Oracle Selective ReEnvision 0.35 0.42 0.58 0.62 0.60 5.68 5.75 6.21 6.91 6.62 0.00 0.08 1.00 0.36 0.37 0.00 0.00 1.00 0.38 0.52 Keep Selective repair 73% Small 0 16% 49% Medium Severe Replan 25% 34% 23% 20 11% 17% 52% 40 60 Fraction of perturbation cases (%) 80 100 Figure 4: ReEnvision’s execution strategy under controlled deviations of increasing severity. Each bar shows the fraction of perturbation cases handled by keeping the cached suffix, selectively repairing it, or triggering full replanning. As deviation severity increases, ReEnvision progressively shifts from suffix preservation toward selective intervention and full replanning. ing that even in this regime, some cached actions can remain useful. Overall, these results support adapting the scope of intervention to the extent of the execution deviation. Figure 4 further illustrates how ReEnvision adapts its execution strategy to deviation severity. Under small deviations, most cases are handled by preserving the cached suffix, with a keep rate of 0.73. As the deviation becomes moderate, selective repair becomes more frequent, increasing from 0.16 to 0.34, while the keep rate decreases. Under severe deviations, full replanning becomes the dominant response, accounting for 0.52 of the cases. This progression shows that ReEnvision adjusts the scope of intervention according to the extent of the execution deviation, preserving existing actions when possible and increasingly regenerating the suffix when the cached plan becomes unreliable. A.3 EFFICIENCY AND RUNTIME ANALYSIS Table 9 reports the inference cost of the main ReEnvision components. The backbone diffusion policy requires approximately 110 ms per inference, while belief construction, RSSM updating, temporal impact prediction, and mask optimization are comparatively lightweight. In particular, the temporal impact model requires only about 1 ms, allowing belief-induced action changes to be estimated without an additional diffusion-policy evaluation. The complete ReEnvision pipeline requires approximately 145 ms per execution step, corresponding to about 32% additional end-to-end latency over the backbone. Full diffusion replanning, in contrast, requires an additional policy evaluation of approximately 110 ms when triggered. Since ReEnvision invokes full replanning only for severe deviations, most execution steps are handled through substantially cheaper keep or selective-repair operations. 15 Table 9: Runtime analysis of ReEnvision. Component latencies are measured individually, while the total latency reports end-to-end inference time per execution step. ReEnvision introduces approximately 32% additional latency over the backbone policy, while the belief revision and selective repair components add only a small computational overhead. Component Latency Backbone policy Future–action belief Belief revision model Temporal impact model Mask optimization ∼110 ms ∼8 ms ∼2 ms ∼1 ms <1 ms ReEnvision (end-to-end) Full diffusion replan ∼145 ms ∼110 ms Table 10: Hyperparameter sensitivity on CALVIN. Each parameter is varied independently while the others are fixed at their default values: τ = 10−4, ρ = 0.6, and η = 0.9. The default configuration is shown in bold. Parameter Value Avg. Len. ↑ 5-Step SR (%) ↑ Replan Rate (%) −5 A.4 τ 5 × 10 1 × 10−4 2 × 10−4 4.50 4.62 4.55 85.0 86.6 82.0 8.0 2.1 3.0 ρ 0.4 0.6 0.8 4.59 4.62 4.57 87.0 86.6 86.0 12.0 2.1 4.0 η 0.7 0.9 1.0 4.53 4.62 4.53 83.0 86.6 85.0 15.0 2.1 3.0 HYPERPARAMETER SENSITIVITY We examine the sensitivity of ReEnvision to three parameters: the affected-action threshold τ, the maximum repair ratio ρ, and the uncertainty threshold η. The maximum number of repair segments is fixed at smax = 1. While τ controls offline supervision of the action impact model, ρ and η govern the online keep-repair-replan decision. During training, τ defines the outcome-guided affected-action labels m∗k = I[∥∆a∗k ∥2 > τ ], the corresponding validity targets vk∗ = 1 − m∗k, and the uncertainty targets. At inference, Sψ predicts action corrections, validity, and uncertainty, which are used for structured mask selection without directly thresholding the predicted corrections using τ . The maximum uncertainty umax is computed across the entire cached suffix. Full replanning is triggered when umax ≥ η; otherwise, an empty mask retains the suffix, while a nonempty mask is selectively repaired when r ≤ ρ and s ≤ smax . If either condition is violated, the suffix is fully replanned. Sensitivity is evaluated on CALVIN using the same 5-step evaluation protocol as the main experiments. The default configuration is τ = 10−4, ρ = 0.6, smax = 1, and η = 0.9. For each value of τ, the validity and uncertainty targets are regenerated, and Sψ is retrained using the same training protocol. All variants are evaluated using the same structured mask selection rule, with ρ and η fixed at their default values. To evaluate ρ and η, each inference threshold is varied independently while the action impact model trained with the default τ and all other parameters remain fixed. Specifically, we evaluate τ ∈ {5 × 10−5, 10−4, 2 × 10−4 }, ρ ∈ {0.4, 0.6, 0.8}, and η ∈ {0.7, 0.9, 1.0}. As shown in Table 10, the default configuration achieves the highest average sequence length among the evaluated settings. Varying τ changes the offline supervision of Sψ and consequently its predictions during execution. A smaller τ increases the replan rate to 8.0%, while a larger τ reduces the 5-step success rate to 82.0%. For the online decision thresholds, a stricter repair ratio of ρ = 0.4 increases the replan rate to 12.0%, with a slightly lower average sequence length despite a marginally higher 5-step success rate. Similarly, reducing η to 0.7 increases the replan rate to 15.0% and de16 creases the average sequence length to 4.53. These results illustrate how offline affected-action supervision and online intervention thresholds jointly influence repair behavior, with the default configuration achieving the highest average sequence length in this study. B THEORETICAL ANALYSIS B.1 UNCERTAINTY TARGET For each future action, we define the magnitude of the outcome-guided correction as s∗k = ∥∆a∗k ∥2, (10) and determine whether the action is affected using m∗k = I[s∗k > τ ], (11) where τ > 0 is the affected-action threshold. Since predictions near the decision boundary s∗k = τ are more ambiguous, we define the uncertainty target as   |s∗ − τ | u∗k = exp − k . (12) τ Proposition. The uncertainty target u∗k reaches its maximum at s∗k = τ and decreases monotonically as s∗k moves away from the decision boundary. Proof. Let dk = |s∗k − τ | denote the distance from the decision boundary. Equation 12 can then be rewritten as   dk ∗ uk = exp − . τ (13) (14) Because τ > 0,   dk 1 ∂u∗k = − exp − < 0. ∂dk τ τ (15) Therefore, u∗k decreases monotonically with the distance dk . When s∗k = τ, we have dk = 0, yielding u∗k = 1, which is the maximum value. Hence, actions closer to the affected-action decision boundary receive higher uncertainty targets, while actions farther from the boundary receive lower uncertainty targets. The uncertainty target therefore provides a monotonic measure of ambiguity around the affected-action decision boundary. B.2 CONTROLLED BELIEF INTERVENTION To isolate the effect of belief revision, we generate paired action chunks A− and A+ using the same frozen policy. The observation, task, diffusion noise, and cache state are held fixed, while only the + belief changes from h− to h+ . Their first K − 1 actions, denoted by A− rem and Arem, are temporally aligned with the cached suffix. For this analysis, the reference correction is defined as − ∆A∗rem = A+ rem − Arem . (16) Proposition. Suppose the paired actions are generated by the same frozen policy under identical observation, task, diffusion sampling condition, and cache state, with only the belief condition changing from h− to h+ . Then, ∆A∗rem isolates the policy’s action response to the belief change ∆h = h+ − h− . If the policy has a locally Lipschitz-continuous Jacobian with respect to its belief condition, this response admits a first-order approximation with a second-order remainder. 17 Proof. With all other policy inputs fixed, let Prem select the first K − 1 actions and define Frem (h) = Prem (π(ot+1, l, h; ξ)) . (17) Under the stated matching conditions, the paired action difference satisfies ∆A∗rem = Frem (h+ ) − Frem (h− ). (18) Assuming a locally Lipschitz-continuous Jacobian, a first-order Taylor expansion gives  ∆A∗rem = Jh Frem (h− )∆h + O ∥∆h∥22 . (19) For sufficiently small belief changes, ∆A∗rem ≈ Jh Frem (h− )∆h. (20) Thus, under the matching conditions, the paired target captures the frozen policy’s sensitivity to belief changes. The temporal impact model Sψ is trained on outcome-guided pairs to approximate belief-induced action changes without explicitly computing the policy Jacobian. During inference, , and predicted corrections are pre-revision actions are retrieved directly from the cached suffix Arem t applied only to selected actions without regenerating the pre-revision chunk. B.3 PROPERTY OF SELECTIVE REPAIR Selective repair updates the cached action suffix according to Arem′ = Arem + m̂ ⊙ ∆Ârem , t t t (21) denotes the predicted correcwhere m̂ ∈ {0, 1}K−1 denotes the selected repair mask, and ∆Ârem t tion for the cached suffix. Each k = 1, . . ., K − 1 indexes the corresponding future action at+k . Proposition. Selective repair preserves all unselected actions and introduces no larger action perturbation than applying the same correction to the entire suffix. Specifically, for every k with m̂k = 0, a′t+k = at+k, (22) and, for any p ≥ 1, ∥Arem′ − Arem ∥p = m̂ ⊙ ∆Ârem t t t Proof. p ≤ ∆Ârem t . (23) p From Eq. 21, each remaining action is updated as a′t+k = at+k + m̂k ∆âk . (24) When m̂k = 0, the correction vanishes and a′t+k = at+k, so every unselected action is preserved. Moreover, since m̂k ∈ {0, 1}, masking cannot increase the magnitude of the applied correction. Therefore, m̂ ⊙ ∆Ârem t p = p K−1 X p m̂k ∥∆âk ∥p ≤ k=1 K−1 X k=1 p ∥∆âk ∥p = ∆Ârem t p . p (25) Taking the p-th root gives Eq. 23. Thus, selective repair preserves unselected actions while restricting the action perturbation to the selected subset. 18