For the full initial offset support,
λ+ta+.5/127<1.2299,λ−tb−.5/127>1.2301+.04001.
The compact comparison is therefore still in the common potential before ta and has completed writing at tb. These guards concern a comparison support; they are not a claim that the exact clock has compact support at later times.
Before ta, use
F1(t,ξ,Z)=e−it/(2μ)[φ(ξ)+2Mitφ′′(ξ)]γ(Z−z0).
Its residual norm is at most t∥φ′′′′∥/(4M2). Both the exact common auxiliary evolution and each exact driven sector differ from F1 by at most ta2∥φ′′′′∥/(8M2). Therefore
ϵpre≤4M−2ta2(400000).
This expansion has not discarded any exact clock tails.
Let ρr,jr be the isolated spinor rotor current. Its initial density is 1/2, and circle Sobolev/energy estimates give
∥ρr∥∞≤3K/h,∥jr∥∞≤8K,∥ri′∥2≤K/h.
Exact sector factorization bounds the pretrigger wave and its X derivative errors by ϵpre and (K/h)ϵpre. Thus
∥δjX∥1≤4hϵpre,∥δρ∥1≤3ϵpre.
The isolated lifted cumulative rank along the coupled ordinary path obeys
ρK˙=ρrjX−jrρ,
including its circulation. Hence
EQVar[0,ta]K≤120Kϵpre<6×10−18.
This is the physical clock-to-label error used in the periodic-current section. A global wave norm alone is not used as its replacement.