Function is_data_dir_collision 

pub fn is_data_dir_collision(project_root: &Path) -> bool

Returns true if project_root collides with the lean-ctx data directory. This prevents project-scoped files (overlays.json, policies.json) from being written into ~/.lean-ctx/ or ~/.config/lean-ctx/.