以切片方式重构思科大部分代码并由机器做检查，是可信的，因为流水线每一段都在某处规模化验证过。