To Migrate or Not to Migrate: KOxI, an Evidence-Gated Pipeline for Rust-for-Linux Storage Drivers
Rust-for-Linux (R4L) is landing storage code in mainline, but per-driver migration decisions are still largely a judgment call: maintainers must weigh historical bug exposure, residual unsafe surface, dynamic robustness, and execution cost without a shared evidence pipeline. We propose KOxI, an evidence-gated pipeline...