I hope this question makes sense.
Let $\phi$ be a quantized Dirac spinor with four components $\phi_{\alpha}$, $\alpha=1,2,3,4$. If we denote by $\pi$ the conjugate momentum, then they obey the canonical anti-commutation relations $$(CAR) \ \ \ \ \ [\phi_{\alpha}(x), \pi_{\beta}(y)]_+=\delta(x-y)\delta_{\alpha \beta}$$ in a distributional sense that we won't worry about in detail. (The normalization will also be ignored here.) Write $\phi=(\phi_+, \phi_-)$ for the decomposition into two Weyl spinors. If I put $$\psi(x)=\phi_+(x) v_0,$$ where $v_0$ is the vacuum, then in some non-relativistic limit, I've been told that $\psi(x)$ will go to $\psi^{pauli}(x)$, the wave function for a single Pauli electron. Thus, the position $x$ and momentum $p$ observables acting on $\psi^{pauli}$ satisfy the canonical commutation relations $$(CCR)\ \ \ \ \ \ \ [x_i,p_j]=\delta_{ij}$$ (again ignoring the correct normalization).
My question is: Can we derive this $(CCR)$ directly from the $(CAR)$ above? Intuitively, I would guess yes, since the position and momentum of the field should determine those quantities for the particles it creates. But how does this go precisely?
I might remark that for a novice like me, the expositions of the Dirac picture in standard textbooks look only loosely related to the QM picture. Hence, my confusion.