Function endpoint_dir 

pub fn endpoint_dir() -> PathBuf

Directory of the daemon’s endpoint files (daemon.pid, daemon.sock, the start lock and stderr log): the data directory, so LEAN_CTX_DATA_DIR, the XDG layout and a legacy ~/.lean-ctx install each get their own daemon. The Windows pipe name is derived from it for the same reason.