[Lava 005] 数学 式 安全性 一致