[eigenket]

The I can locally do stuff is completely understood theoretically/mathematically. I hand waved because this isn't a forum where those technicalities are particuarly relevant.

Its been well understood since at least 1993

https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.71...