FreeBSD-n a cd // ; pwd kimenete egy sima / . egy 2.4-es kernellel szerelt dobozon busyboxszal ugyanazt kapom, mint te, ellenben /bin/pwd -vel lekérdezve már a korrektnek tekinthető /-t adja vissza.
(Ami pedig a megvalósítástól való függőséget jelenti, arra szerintem elég az a példa, hogy \\ize\mize, ellenben én még nem láttam olyan *X rendszert, amin a //ize/mize ugyanazt jelenti - shellben. Mert ugye a böngésző, az más.)