Rust借用检查器存在长达11年的不健全问题，可通过协变字段赋值绕过结构体生命周期要求，需恶意Drop实现触发，类型组正推进修复。Asterinas 0.19.0发布，新增AArch64和DRM图形栈，虚拟化支持Intel VMX。Creusot 0.14.0为snapshot生成验证条件。Proa发布，是人与agent共用的Rust Web框架。