The Second Golden Spike: Memory Safety Across the Valen/Rust Boundary

Valen 实验性语言通过 group borrowing 允许别名，再在传入 Rust `&mut` 的调用期间临时恢复唯一性；wildcard descendant paths 让编译器追踪“可能指向对象内部”的引用，并在对象替换后拒绝 use-after-free。作者用无需 C wrapper 的 Rust 泛型互操作展示边界契约，但明确承认原型存在缺口，尚不能推出 Valen 整体内存安全。