Bun 的百万行 Rust 重构实验揭示了 AI 编程带来的“工程黑箱”风险。尽管测试通过率极高，但海量 unsafe 代码块的存在表明，AI 驱动的自动化重构若缺乏形式化验证，将导致潜在的安全隐患被长期掩盖。