I'm not familiar with your terminology. So let me give you mine in a nutshell. Then we can see, whether we understand the same thing when talk about (quantum theory, which I doubt ;-)).
(a) The state of the system is given by a positive semidefinite self-adjoint operator on a (separable) Hilbert space with trace 1, ##\hat{\rho}## (statistical operator). A state is pure iff there exists a normalized vector ##|\psi \rangle## such that ##\hat{\rho}=|\psi \rangle \langle \psi |##.
(b) An observable ##A## is represented by a self-adjoint operator ##\hat{A}##.
(c) Possible outcomes of precise (complete) measurements of ##A## are the eigenvalues of ##\hat{A}##. In the following I use a complete orthonormalized set of eigenvectors of ##\hat{A}##, which I denote with ##|a,\beta \rangle##, where ##a## is a possible eigenvalue:
$$\hat{A} |a,\beta \rangle=a |a,\beta \rangle, \quad \langle a,\beta|a',\beta' \rangle=\delta_{aa'} \delta_{\beta \beta'}.$$
The label ##\beta## are one or more variables to label the different orthogonal eigenstates to the same eigenvalue. For simplicity I only consider the case that we have discrete spectra of the operators (if you have variables with continuous spectra it becomes only a bit more complicated since you have to use distributions and integrals instead of sums). The eigenvectors form a complete orthonormalized set of vectors,
$$\sum_{a,\beta} |a,\beta \rangle \langle a,\beta|=\hat{1}.$$
(d) If the system is prepared in a state ##\hat{\rho}## the probability to find the value ##a##, when observable ##A## is measured precisely on this system is given by Born's rule,
$$P(a)=\sum_{\beta} \langle a,\beta|\hat{\rho}|a,\beta \rangle.$$
The expectation value of ##A## is given by
$$\langle A \rangle=\sum_{a} a P(a) = \sum_{a,\beta} a \langle a,\beta |\hat{\rho}|a,\beta \rangle = \sum_{a,\beta} \langle a,\beta| \hat{\rho} \hat{A} a,\beta \rangle=\mathrm{Tr} (\hat{\rho} \hat{A}).$$
The probabilities ##P(a)## can indeed also be formulated with the projection operators to the different eigen spaces of ##\hat{A}##, because with
$$\hat{P}_a=\sum_{\beta} |a,\beta \rangle \langle a,\beta|$$
obviously we have
$$P(a)=\text{Tr} (\hat{P}_a \hat{\rho}).$$
There is no need to know in which state the system is after measurement. We don't need to complicate this discussion by bringing up the collapse hypothesis, which is in my opinion completely flawed and not commonly assumed anywhere in practitioning QT.
We also don't need to complicate things by thinking about more general incomplete measurements here. In my understanding the socalled "measurement problem" is to somehow explain, why the outcome of a precise measurement is always one and only one eigenvalue of the associated operator ##\hat{A}##. For me that's an empty question. What I've written down are the condensed postulates of QT as a theory to describe what's observed in nature by measuring observables (as is also classical physics by the way). The only thing that counts is, whether this theory describes the real-world experiments and observations in nature, and indeed it does with a breathtaking accuracy. So there is no "measurement problem", because the formalism describes everything we have observed so far. There's not more to be expected from a physical theory. The QT we learn today has been formed in the 1st quarter of the 20th century from a careful analysis of observations of the behavior of matter, particularly atomic and subatomic physics, and that's why it works so well (including also the understanding of the "classical" behavior of the macroscopic matter surrounding us with many of its quantitative properties through statistical many-body quantum physics).
You can load QT (as any mathematical model of reality) with some philosophical (not to call it esoterical) questions like, why we always measure eigenvalues of self-adjoint operators, but physics doesn't answer why a mathematical model works, it just tries to find through an interplay between measurements and mathematical reasoning such models that describe nature (or even more carefully formulated what we observe/measure in nature) as good as possible.