Function is_valid_rel 

pub fn is_valid_rel(rel: &str) -> bool

A well-formed workspace-relative POSIX path that cannot escape the root. Rejects paths with drive-letter prefixes in any segment (e.g., C:, x:) to prevent escaping on Windows, where PathBuf::push replaces the whole path if given a drive prefix.