梦境与离线世界模型大体检：梦是反事实训练、记忆巩固，还是睡眠中的生成副产品？