Task-based world model verification