Is there an additional assumption in the PBR theorem?

[PeterDonis]

I don't know if there is some general rule about possibility to implement some measurement.

Any set of orthogonal vectors that span a Hilbert space must be eigenvectors of some Hermitian operator on that Hilbert space.