RecodeX 重构消息，开发者Gary发布Apache 2.0许可的k7d，一个基于Rust的轻量级VMM和shim，可在105ms内分叉3节点K8s集群，50倍分叉耗时4.1秒（64GB RAM）。k7d支持保留活动连接，专为大规模GRPO/RL训练设计，提供树形资源管理、形式化验证（Kani和Aeneas/Lean）及延迟CI测试。项目旨在替代Firecracker/Qemu和Kata，实现快速沙箱分叉。