I do not know the P&S textbook,textbook; my answer below just reflects some implicit reasoning of some (other) textbooks, not necessarily shared with P&S.
In a more rigorous perspective, the relevant object is $\hat{\phi}(f)$ that is formally interpreted as
$$\hat{\phi}(f):= \int \hat{\phi}(x) f(x) d^4x$$$$\hat{\phi}(f):= \int \hat{\phi}(x) f(x) \ \mathrm{d}^4x$$
It is the field operator smeared by the test function $f$, any smooth compactly supported real function $f$ defined in the spacetime.
In fact, $\hat{\phi}(f)$ is a densely defined Hermitian operator in the Hilbert space for every suchsuch $f$ (*).
Technically speaking, the associated observable is the closure of that operator, which is selfadjoint and thus, in principle, is an observable. However, there is a dense invariant domain in common for all operators $\hat{\phi}(f)$ when varying $f$, and the operator closure on that domain defines the said selfadjoint operator. I will assume to deal with this domain henceforth.
The commutation relations written into a rigorous version are $$[\hat{\phi}(f), \hat{\phi}(g)]= 0\quad \mbox{if the supports of f and g are causally separated}$$$$[\hat{\phi}(f), \hat{\phi}(g)]= 0\quad \mbox{if the supports of f and g are causally separated}.$$
Here, we are considering the commutation relation ofof proper observables. These represent observables localised in regionsregions defined by the supports of the two smearing functionsfunctions. In turn, these sets are causally separated.
These observables are expected to be compatible since, for "obvious causalcausal reasons" at least in some folklore of QFT (see below), their measurements cannot "disturb each other".
Compatibility, in the standard version of QM, is equivalent to commutativity of the spectral measures, which, on suitable invariant domains, implies commutativity of the same observables. This justifies the above commutation relations.
Formally, we can also write
$$0= [\hat{\phi}(f), \hat{\phi}(g)] = \int\int [\hat{\phi}(x), \hat{\phi}(y)] f(x)g(y) d^4xd^4y.$$$$0= [\hat{\phi}(f), \hat{\phi}(g)] = \int\int [\hat{\phi}(x), \hat{\phi}(y)] f(x)g(y) \ \mathrm{d}^4x \ \mathrm{d}^4y.$$
Arbitrariness of $f$ and $g$ should imply
$$[\hat{\phi}(x), \hat{\phi}(y)]=0$$
when $x$ and $y$ are causally separated, though this identity is just a shortened version of its rigorous version written above.
I explicitly admit that they are disputable, especially the second oneone, on account of the modern theory of quantum measurement.
real smeared boson fields (selfadjoint operators) are observables;
measurements of them are described in terms of the LudersLüders projection postulate using the spectral measures of the smeared fields;
outcomes of the above measurements are recorded in spacetime regions inside the support of the smearing functions.
Consider two causally separated regions in Minkowski spacetime $\Omega, \Omega' \subset M^4$ and two orthogonal projectors $P^{(\Omega)}_E$, $P^{(\Omega')}_{E'}$ of the spectral measures of $\hat{\phi}(f)$ and $\hat{\phi}(f')$ respectively, where $supp(f) \subset \Omega$$\text{supp}(f) \subset \Omega$ and $supp(f')\subset \Omega'$$\text{supp}(f')\subset \Omega'$.
Consider a pure state of the quantum field $\Psi$. After the measurement of $\hat{\phi}(f)$, according to (2), the post measurement-measurement state is $P^{(\Omega)}_E\Psi$ (up to normalization) if the outcome was $E$.
Therefore, the probability to next obtain $E'$ when measuring $\hat{\phi}(f')$ is $\frac{||P_{E'}^{(\Omega')}P^{(\Omega)}_E\Psi||^2}{||P^{(\Omega)}_E\Psi||^2}$$\dfrac{||P_{E'}^{(\Omega')}P^{(\Omega)}_E\Psi||^2}{||P^{(\Omega)}_E\Psi||^2}$.
The probability to measure first $E$ and next $E'$ on the initial pure state represented by $\Psi$ is therefore
$$\frac{||P_{E'}^{(\Omega')}P^{(\Omega)}_E\Psi||^2}{||P^{(\Omega)}_E\Psi||^2} ||P^{(\Omega)}_E\Psi||^2 = ||P_{E'}^{(\Omega')}P^{(\Omega)}_E\Psi||^2.$$
On the other hand, the temporal (causal) order of the two measurements (more properly of the recording procedures of the outcomes) cannot make sense, since they are recordedrecorded in spatially separated regions so that a suitable inertial observer can see a reversed temporal order.
Therefore, if swapping the measurements, one should obtain thethe same result in terms of probability (observed frequency).
$$||P^{(\Omega)}_EP_{E'}^{(\Omega')}\Psi||^2= ||P_{E'}^{(\Omega')}P^{(\Omega)}_E\Psi||^2$$$$||P^{(\Omega)}_EP_{E'}^{(\Omega')}\Psi||^2= ||P_{E'}^{(\Omega')}P^{(\Omega)}_E\Psi||^2.$$
In other words, if $\rho_\Psi:= |\Psi\rangle \langle \Psi|$,
$$tr\left(\rho_\Psi P^{(\Omega)}_EP_{E'}^{(\Omega')}\right) = tr\left(\rho_\Psi P_{E'}^{(\Omega')}P^{(\Omega)}_E\right)\:.$$$$\text{tr}\left(\rho_\Psi P^{(\Omega)}_EP_{E'}^{(\Omega')}\right) = \text{tr}\left(\rho_\Psi P_{E'}^{(\Omega')}P^{(\Omega)}_E\right)\:.$$
The result extends by linearity and continuity to every trace class operator $\rho$ in place of $\rho_\Psi$. As a consequence
$$P_{E'}^{(\Omega')}P^{(\Omega)}_E = P^{(\Omega)}_E P_{E'}^{(\Omega')}$$$$P_{E'}^{(\Omega')}P^{(\Omega)}_E = P^{(\Omega)}_E P_{E'}^{(\Omega')}.$$
The spectral measures of $\hat{\phi}(f)$ and $\hat{\phi}(f')$ therefore commute.
As a consequence, paying attention to domains,
$$[\hat{\phi}(f), \hat{\phi}(f')]=0\:.$$
As an alternative approach, but leading to the same result, suppose that the measurement in $\Omega$ is not selective. So we test $P_E^{(\Omega)}$ and $\neg P_E^{(\Omega)}:= I- P_E^{(\Omega)}$ without knowing the result. If the generically mixed initial state is $\rho$ the post measurement-measurement state is
$$\rho' := P_E^{(\Omega)} \rho P_E^{(\Omega)} + (I-P_E^{(\Omega)})\rho (I-P_E^{(\Omega)})\:.$$
The probability to measure $E'$ is therefore
$$tr\left(P^{(\Omega')}_{E'} \rho'\right)\:.$$$$\text{tr}\left(P^{(\Omega')}_{E'} \rho'\right)\:.$$
However, since this measurement is located in a causally separated region, the same probability should arise when performing the measurement on the initial state $\rho$: That is because there is an observer who describes the measurement in $\Omega'$ before the one in $\Omega$.
Hence, we are committed to assume that
$$tr\left(P^{(\Omega')}_{E'} \rho\right)= tr\left(P^{(\Omega')}_{E'}) \rho'\right)$$$$\text{tr}\left(P^{(\Omega')}_{E'} \rho\right)= \text{tr}\left(P^{(\Omega')}_{E'}) \rho'\right).$$
An easy computation based on linearity and the cyclic property of the trace yields
$$tr\left(\rho \left(P^{(\Omega')}_{E'} - P_{E}^{(\Omega)} P^{(\Omega')}_{E'} P_{E}^{(\Omega)} - (I-P_{E}^{(\Omega)}) P^{(\Omega')}_{E'} (I-P_{E}^{(\Omega)})\right)\right)=0\:.$$$$\text{tr}\left(\rho \left(P^{(\Omega')}_{E'} - P_{E}^{(\Omega)} P^{(\Omega')}_{E'} P_{E}^{(\Omega)} - (I-P_{E}^{(\Omega)}) P^{(\Omega')}_{E'} (I-P_{E}^{(\Omega)})\right)\right)=0\:.$$
Arbitrariness of $\rho$ entails
$$P^{(\Omega')}_{E'} = P_{E}^{(\Omega)} P^{(\Omega')}_{E'} P_{E}^{(\Omega)} + (I-P_{E}^{(\Omega)}) P^{(\Omega')}_{E'} (I-P_{E}^{(\Omega)})\:.$$
Applying $P_E^{(\Omega)}$ separately on both sides produces:
$$ P_E^{(\Omega)}P^{(\Omega')}_{E'} = P_E^{(\Omega)}P_{E}^{(\Omega)} P^{(\Omega')}_{E'} P_{E}^{(\Omega)} +0 = P_{E}^{(\Omega)} P^{(\Omega')}_{E'} P_{E}^{(\Omega)} \:.$$$$ P_E^{(\Omega)}P^{(\Omega')}_{E'} = P_E^{(\Omega)}P_{E}^{(\Omega)} P^{(\Omega')}_{E'} P_{E}^{(\Omega)} +0 = P_{E}^{(\Omega)} P^{(\Omega')}_{E'} P_{E}^{(\Omega)} \:$$
and
$$P^{(\Omega')}_{E'} P_E^{(\Omega)} = P_{E}^{(\Omega)} P^{(\Omega')}_{E'} P_{E}^{(\Omega)}P_E^{(\Omega)} +0 = P_{E}^{(\Omega)} P^{(\Omega')}_{E'} P_{E}^{(\Omega)} \:.$$
So that we have the thesis again:
$$P^{(\Omega')}_{E'} P_E^{(\Omega)}=P_E^{(\Omega)}P^{(\Omega')}_{E'} .$$
If we do not assume that $\hat{\phi}(f)$ is directly measurable, but other formal local observables generated by it are, e.g. the smeared renormalized stress energy tensor, then we can repeat the proof above for them.
All that does not mean that non-local correlations of masurementsmeasurements are forbidden for causally separated regions: these are possible and are due to the measured state: in a sense, it can be entangled. The so called-called Bell theorem (actually the version principally due to Leggett) mutatis mutandis is compatible with the framework above. There, polarization/spin observables of a couple of particles are measured in two spatially separated regions. For that reason, these observables are assumed to commute. (More precisely, theythey are described as observables in two factors of a tensor product of Hilbert spaces. Here, this description is not generally permitted since the algebras of QFT are von Neumann factors of type-III, and independent subsystemsubsystems are not described in terms of tensor product. However, commutativity of causally separated observables remains.)
In spite of the commutativity of the couples of simultaneously measuredmeasured observables,in in the BELLBell experiment, correlationscorrelations in the pairs of outcomes arise due to the special entangled state of the couple of particles.
(To be precise, I stress that to see the violation of CHSH inequality one measures 3 pairs of commuting observables. However, observables of different pairs do not commute.)
The major weakness of the "proof" above is that it exploits a very old and naive description of the measurement procedure and the post measurement-measurement state. Nowadays, a physically very general and sound theorytheory exists, and many new results against universality of (projective) LudersLüders description have been accumulated over the years.
Locality of QFT observables gives rise to apparently non-local phenomena, first of all, the Reeh-Schlieder theorem. However, even in this context, commutativity of causally separated observables is a crucial ingredient to achieve the statement of Reeh-Schlieder result.
(*) I stress that the smeared fields $\hat{\phi}(f)$, for real bosonboson quantum fields are considered observables in a the perspective of Local Quantum Physics, the view relying on the Haag-Kastler formulation of QFT. Other fields, like fermions, are not considered observables.
Abstractly speaking, They are elements of the $*$-algebra of observables of the theory (their exponentials $e^{i\hat{\phi}(f)}$ define the generators of the Weyl $C^*$-algebra of quasi local-local observables).
