桌面自动化不能把状态未变直接判成失败。用动作语义区分条件成立、证据矛盾与不可观测，并把按键送达和业务完成分开，才能避免验证器反过来制造重复操作。