 Average pure-source fidelity after typical projection

For a quantum state ensemble of pure vectors and an orthogonal projection $P$, measure $\{P,I-P\}$, preserve the successful subspace, and decode failure to a fixed normalized vector $\phi$. The resulting quantum channel is $\Lambda (X)=PXP+\mathrm{Tr}[(I-P)X]|\phi ⟩⟨\phi |$. For ${\alpha }_k=\Vert P{\psi }_k\Vert$, its squared quantum fidelity on the $k$th source vector is ${\alpha }_k^4+(1-{\alpha }_k^2)|⟨{\psi }_k|\phi ⟩{|}^2$. The inequality $a^2\ge 2a-1$ on $[0,1]$ proves the displayed average bound. It depends only on the source density operator's weight in $P$ and does not require the emitted vectors to be orthogonal.