component-poison-verif - 向验证产物注入受控漂移

在一次性分支中向 Certus 组件注入受控的具体代码与抽象验证产物不一致，以测试验证漂移工具。