自动化合成与对抗验证的可执行因果研究管线 | AILore Sift