Let BX be the union of the intervals at relative distances h/5 to 3h/10 between adjacent zero and one wells. Let HX∈[0,1] be the quintic soft classifier, equal to the binary label outside these bands, with ∣HX′∣≤20/h.
During [ta,tb], both Φi and ∂XΦi vanish in these bands. Exact sector factorization gives
Q(Xta∈BX)≤D2,EQVar[ta,tb]HX(Xt)≤56DQ.
For clarity Q in the last product denotes the fixed number .003983; EQ denotes wave-reference expectation.
Use I0=[−8,8], I1=[16,32] and define
Gmis(x,z)=1−(1−HX(x))1I0(z)−HX(x)1I1(z).
For any continuous paths,
1Ztb∈/Iℓ(Xta)≤1BX(Xta)+VarHX(Xt)+Gmis(Xtb,Ztb).
The comparison writer has completed its drive for every retained offset at tb and its wrong-inner-region amplitude is below 10−12. With the exact auxiliary error eA<2×10−13,
EQGmis≤(D+eA+10−12)2.
Theorem 14.1 (Actual historical copy)
Uniformly over the original actual class and all qubit inputs,
ϵcopy=16[D2+56DQ+(D+2×10−13+10−12)2]=.00222725479707774720002304.
This bounds failure to copy the actual coupled relative rotor label at 1.22 into the pointer at 1.28.
The internal sector in this proof is an orthogonal wave component, not a sampled actual spin. On the full wave the pointer velocity depends on the actual relative rotor coordinate through its branch weights.