Eio 1.0 delivers OCaml 5's first effect-based direct-style I/O stack, enhancing parallelism with io_uring and boosting safety through formal verification.