Zhifei Hu, Alexandra I. Cristea, Adel Bibi, Jialin Yu
Useful safety-sufficiency framing and a carefully controlled diagnostic study, but a largely synthetic benchmark, weak evidence proxy, in-distribution recovery results, and a modest method limit its impact.
Web world models increasingly predict the consequences of candidate actions before agents act, yet a plausible predicted future does not necessarily support the correct safety decision. In a matched human evaluation of 3,000 predictions from ten frozen open models, 86.1% are judged semantically plausible. However, several models exhibit highly asymmetric authorisation behaviour, combining low false-safe execution with poor recall of clarifiable ASK cases and a strong preference for BLOCK. This motivates safety sufficiency: whether a predictive interface preserves and exposes the policy-decisive information required to distinguish actions that may be EXECUTED, require clarification through ASK, or should be BLOCKED. We introduce SafeWebWorld, a benchmark for evaluating safety sufficiency across five web-safety domains through action-conditioned futures, policy-decisive evidence, and policy-conditioned decisions. Under a controlled Security-Aligned Supervised Fine-Tuning protocol, evidence preservation can improve substantially while authorisation-sensitive decisions deteriorate. To determine whether this deterioration reflects loss of authorisation-sensitive score structure or a failure of the decision readout, we introduce Latent Authorisation Recovery (LAR). Frozen-score recalibration reveals substantial but backbone-dependent recovery, while paired recovery provides only a modest additional gain. Yet within-family and matched-authorisation evaluations remain poor, showing that aggregate recoverability does not imply robust fine-grained authorisation behaviour. Overall, plausible prediction, evidence preservation, and aggregate recovery are each insufficient on their own to establish robust authorisation.
The paper argues that a plausible predicted future from a web world model does not guarantee the information needed for a correct safety decision. It names this property "safety sufficiency" and builds three things around it:
The conceptual separation of plausibility, evidence preservation, and authorisation is the main contribution. The three-way decision with ASK as a distinct class is also a useful framing beyond binary safe/unsafe.
A benchmark for pre-execution authorisation from predicted futures would be useful for work on predictive guardrails such as SafePred and SeerGuard, and for ASK/clarification research. The key transferable message is that evidence recall, plausibility, and low false-safe rate can each look good while the ASK/BLOCK distinction fails. That message could shape evaluation practice. The recovery finding, that scores often retain ordering but the emitted decision is mis-mapped, is a practical hint that cheap recalibration may help. The paper itself shows this does not generalise to fine-grained cases, which limits the practical value of DCPF. DCPF also requires two 8B backbones at inference, so it is unlikely to be adopted directly.
Adoption of the benchmark is uncertain. It is largely synthetic, uses a single-annotator audit, and is offline only. The name "world model" is somewhat loosely applied, since the evaluated models are mostly general LLMs prompted to output structured JSON.
Web agents, world-model-based planning, and agent guardrails are active areas, and the ASK-versus-BLOCK distinction connects to the over-refusal and clarification literature. The topic is timely. The paper is part of a crowded stream of agent-safety benchmarks, and its distinctive angle is diagnostic rather than a new performance gain.
Overall this is a competent diagnostic paper with a useful framing and unusually careful controls, but modest methodological novelty and uncertain external validity. It is likely to be cited moderately within the web-agent-safety niche.
Generated Nov 2, 2026
Useful safety-sufficiency framing and a carefully controlled diagnostic study, but a largely synthetic benchmark, weak evidence proxy, in-distribution recovery results, and a modest method limit its impact.