Recently I have found something very strange (maybe even a bug).
On Gaia R80.10 kernel 2.6.18-92cpx86_64 build 462 in Smart Console I can have two different hosts with different IP addresses each having the same static NAT ip address. And - imagine - policy installs without any warning.
In previous releases (for example in R77.30) it was impossible - during host edit I had immediate warning about it when I tried erronously to assign static NAT ip address which was already used elsewhere (by another host) and I had to change it to something unique.
Please, can You check it out and deny or eventually confirm.