Ad jednoznačnost: Ano, máte pravdu že 100% jednoznačný to v IPv4 není.
Nicméně toto řeší IPv6, tam se privátní rozsahy generují "náhodně" (Unique local address). Jistě se najdou takoví lidé, kteří přes velký adresní prostor budou používat NAT stejně, ale (doufám že) takových lidí moc nebude.
LISP je zajímavá myšlenka. Nakolik je výhodný a produktivní ukáže až čas.