The experiment contract

Conditional on the marked tree and a selected endpoint $v$ with $H(v)\ge \ell$, let

be the declared pre-analyzer channel. Let ${\Lambda }_{\star }$ be the identified implemented target channel on the same logical input/output spaces.

Each setting $j\in \{x,y,z\}$ has a fixed count $m_j\ge 1$ of independent attempted trials, conditional on the complete selection and calibration record. Its score $Z_{ji}\in [-1,1]$ is specified for every attempted outcome, including loss, readout failure, and invalid-preparation flags.

Let $a_j=\mathbb{E}[Z_{ji}\mid \text{selection and calibration}]$. On a calibration/transfer event $G$, assume

These are proved or explicitly assumed allowances. They are not determined by the map.

A sufficient bias conversion is the following. If the actual common pre-analyzer state $\rho$ satisfies $d_{\mathrm{tr}}(\rho ,J_{{\Lambda }_0})\le \delta$, and the complete score observable $B_j$ differs in operator norm from the named Pauli correlation observable by at most ${\eta }_j$, then

is valid. Indeed, the Bell projector is an effect, so its expectation changes by at most $\delta$; the three score replacements cost at most the displayed sum.

This separates prepared Choi-state accuracy from correlation analyzer accuracy. It is comparable to the supplied Oai265-B protocol, whose report is not independently rerun here Oai265B.