первый кусок вида «[^/]+» должен обрабатываться как имя хоста
Не должен. Может. Если реализатор захочет. Зарезервированное поведение, на случай желаний от левой пятки. Поэтому не рекомендуется использовать двойные слеши в начале пути при программной генерации путей, во избежание.
В современных башах, AFAIK, делает в действительности следующее: абсолютно ничего. А ksh вообще любые повторения слешей приводит к одному.
A character string that is used to identify a file. In the context of IEEE Std 1003.1-2001, a pathname consists of, at most, {PATH_MAX} bytes, including the terminating null byte. It has an optional beginning slash, followed by zero or more filenames separated by slashes. A pathname may optionally contain one or more trailing slashes. Multiple successive slashes are considered to be the same as one slash.