Rust’s ownership type system limits the flexibility of safe parallel array manipulation. In particular, safe code is confined to partitioning arrays into disjoint, contiguous slices. We present a statically verified, thread-safe array API that enables arbitrary parallel access patterns. This unlocks more expressive parallelism in safe Rust without relying on runtime checks or unsafe code.