lean - 开发并验证 Lean 4 代码工件

修复证明、开发定理与经验证程序、建模系统、诊断 Lean 项目并审计信任边界。