验证流水线包含三个关键步骤：依赖锁定、沙箱执行（微VM如Firecracker或gVisor）、语义差分。