Valen 重启 Vale 路线，探索线性类型、group 借用检查与 Rust 互操作，仍属实验；Bend 2 采用仿射类型、证明系统与并行运行时，编译到 C；posixutils 0.9.0 完成 POSIX.1-2024 符合性审计；tokio_rcu 0.2 为 Tokio 提供 RCU，在读多写少场景下显著加速读路径。