I think that this is an interesting question about Physics. However, to avoid crossing the border between Physics and Philosophy, it is better to put aside terms like exists, or existence. So, let's stick to the question about the meaning of observable and non-observable quantities in Physics. Taking into account the importance of the distinction in quantum mechanics, where observable quantities correspond to self-adjoined operators, or gauge theories, where gauge-dependent quantities are not considered observable, should make clear the importance of a proper definition for Physics.
To the best of my knowledge, finding an explicit and detailed discussion about this central issue in the literature is hard. The only paper I know entirely dedicated to this topic is by Carlo Rovelli, "Partial observables." Physical Review D 65 (2002) 124013.
I'll try to summarize Rovelli's main definitions in the following briefly.
Rovelli starts by saying that
Roughly,
observable quantities are the quantities involved in physical
measurements. They give us information on the state of a
physical system and may be predicted by the theory.
Then, he discusses some weaknesses of such a definition by presenting problematic cases from Quantum Mechanics QM), General Relativity, and Gauge Theories. I just cite the example from QM, where observable, aka measurable quantities, are represented by self-adjoined operators in a Hilbert space. Time is a well-known problematic object since an operator representing it should have a spectrum coinciding with the set of real numbers. Then, its conjugate quantity, the energy should also have an unbounded spectrum. But this is not the case since energy is bounded from below.
According to Rovelli, such difficulties point to the need for distinguishing between what he calls partial and complete observables. His definition of both is the following.
Partial observable: a physical quantity with which we can
associate a (measuring) procedure leading to a number.
Complete observable: a quantity whose value can be predicted
by the theory (in classical theory); or whose probability
distribution can be predicted by the theory (in quantum
theory).
He is splitting the initial rough definition into a part related to the measurement and another associated with the theoretical prediction. Even if not stated explicitly by Rovelli, but his examples clarify such a point, his complete observables are made of partial observables.
Rovelli must introduce such a distinction to account for situations like those in quantum gravity, where the correlation between two non-observable quantities is observable.
I think this summary could be enough. Interested people could read the full Rovelli's paper. In my opinion, the critical point made by Rovelli is to stress the importance of associating observable quantities with a measurement procedure and a theoretical framework. This combination is important to discuss some of the examples in the original question.
Measurable or non-measurable refers to physical properties, not to entities. This observation gets rid of any metaphysical danger about the meaning of existence.
For example, the case of real vs virtual particles from the point of view of Physics is not about their existence but about the possibility of defining physical properties that can predicted and measured.