可自动验证的场景包括：动作可逆、输出有明确schema、风险低、可通过程序验证正确性。