代码加固

在功能通过轻量验证后执行，通过变异测试和形式化验证（如 TLA+/Lean）证明测试有效性并检查代码不变量。