Inputs
Physics-aware Constraints
Same current state zt · multiple candidate actions · multiple futures
Score predicted futures against the goal and return failure signals.