Figure 2: Overview of PreActIR. The world model predicts action consequences before execution,
while the predict–act–verify controller executes and verifies the selected action with commit or
rollback. A tool-evolution loop performs candidate-frontier audit and targeted tool adaptation.