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