形式化分析激活引导编辑的输入依赖性条件，指出仅当目标在类内变化时才需条件化，修正CAA等方法的理论缺陷。