Skip to content
Shadow Theory

Appendix E 4 October 2026

Copying and retention for the exact loaded wave

Reading position 36 of 37

E Copying and retention for the exact loaded wave

All estimates in this appendix concern the same normalized enlarged wave Ψ\Psi and its original actual law. Write C=270000/67499C=270000/67499, m=252m=2^{52}, h=1/128h=1/128, M=10 kgM=10\,\mathrm{kg}, v=1 m/sv=1\,\mathrm{m/s}, T0=0.03 sT_0=0.03\,\mathrm s, ℓ0=10−4 m\ell_0=10^{-4}\,\mathrm m, and μ=μZ=0.01\mu=\mu_Z=0.01. Radial and pointer coordinates are dimensionless; SS and the elapsed time tt below have physical units. The origin t=0t=0 is the handoff at laboratory time −0.002 s-0.002\,\mathrm s. The transferred entrance estimates are those proved in Section B.5; no law or wave is assigned anew there.

E.1 Gaussian derivatives and the complete clock residual

Put b(s)=24B9(s/w)b(s)=24B_9(s/w), w=0.003w=0.003, with the constant extensions specified in the model. Direct differentiation gives the following rational ceilings bj≥∥b(j)∥∞b_j\geq\|b^{(j)}\|_\infty:

(b0,b1,b2,b3,b4)=(24,393752,105000000,490000000000,403200000000000000). (b_0,b_1,b_2,b_3,b_4) =\left(24,\frac{39375}{2},105000000, 490000000000,403200000000000000\right). (110)

Indeed B9′=630x4(1−x)4B_9'=630x^4(1-x)^4; the first three derivative bounds follow from x(1−x)≤1/4x(1-x)\leq1/4 and ∣1−2x∣≤1|1-2x|\leq1, and the coefficient sum of B9(4)B_9^{(4)} is 13608001360800. These bounds apply on both constant extensions because B9B_9 has four matching endpoint derivatives.

For the exact sector-one pointer put y=Z−by=Z-b and

gb=π−1/4e−y2/2eiμb′(Z−b/2),c=b′+iμb′′,d=iμ2(bb′′−b′2). g_b=\pi^{-1/4}e^{-y^2/2} e^{\ii\mu b'(Z-b/2)},\qquad c=b'+\ii\mu b'',\qquad d=\frac{\ii\mu}{2}(bb''-b'^2).

Then gb′=(cy+d)gbg_b'=(cy+d)g_b and

gb′′=((cy+d)2+c′y−cb′+d′)gb,d′=iμ2(bb′′′−b′b′′). g_b''=\bigl((cy+d)^2+c'y-cb'+d'\bigr)g_b, \qquad d'=\frac{\ii\mu}{2}(bb'''-b'b'').

In particular the scalar phase is retained. Define

c0=b1+μb2,c1=b2+μb3,d0=μ(b0b2+b12)/2,d1=μ(b0b3+b1b2)/2,g1=d0+c0/2,g2=d02+c0b1+d1+(2d0c0+c1)/2+3 c02/2.\begin{align}c_0&=b_1+\mu b_2,&c_1&=b_2+\mu b_3,\notag\\ d_0&=\mu(b_0b_2+b_1^2)/2,& d_1&=\mu(b_0b_3+b_1b_2)/2,\notag\\ g_1&=d_0+c_0/\sqrt2,& g_2&=d_0^2+c_0b_1+d_1 +(2d_0c_0+c_1)/\sqrt2+\sqrt3\,c_0^2/2. \tag{111}\end{align}

The Gaussian moments ∥yjgb∥2=(2j−1)!!/2j\|y^j g_b\|^2=(2j-1)!!/2^j prove ∥gb(j)∥≤gj\|g_b^{(j)}\|\leq g_j for j=1,2j=1,2. The sector-zero pointer is constant, so the same ceilings apply to both sectors, uniformly in the normalized qubit input.

The characteristic comparison through readout is

G(t,S,r,Z)=ϕ(S−0.102−vt)∑i=01αiui(σ,r)gi(s,Z),σ=S/v−0.104 sT0,s=S−0.14145 mvT0. \begin{aligned} G(t,S,r,Z)=\phi(S-0.102-vt) \sum_{i=0}^1\alpha_i u_i(\sigma,r)g_i(s,Z),\\ \sigma=\frac{S/v-0.104\,\mathrm s}{T_0},\qquad s=\frac{S-0.14145\,\mathrm m}{vT_0}. \end{aligned} (112)

Here uiu_i is the exact smooth-activation radial family, continued backwards by the quiet Hamiltonian at negative ages. On the entire compact support of ϕ\phi, the preparation phase potential has ended. Substitution into the boosted Schrödinger equation leaves precisely the residual ±ℏ2GSS/(2M)\pm\hbar^2G_{SS}/(2M). The sign is immaterial for the norm estimates, but both pointer and activation derivatives in GSSG_{SS} must be included.

Let N0=1N_0=1, N1=V+1N_1=V+1, N2=1001(V+1)2/1000N_2=1001(V+1)^2/1000 and N3=1001(V+1)3/1000N_3=1001(V+1)^3/1000, where V=235V=2^{35}; these are the energy-graph bounds proved in Section C.3. Set

F0=201022m 1004+32m 1002,F1=F0/2+2010m 1004,W1=246,Kj=2m(NjNj+1+F0Nj2),j=0,1,2.\begin{aligned}F_0&=\frac{2010^2}{2m\,100^4}+\frac{3}{2m\,100^2},& F_1&=F_0/2+\frac{2010}{m\,100^4},& W_1&=2^{46},\\ K_j&=\sqrt{2m(N_jN_{j+1}+F_0N_j^2)},&&&j&=0,1,2. \end{aligned}

The form inequality Hγ≥pr2/(2m)−F0H_\gamma\geq p_r^2/(2m)-F_0, applied to HγjuiH_\gamma^ju_i, proves ∥∂rHγjui∥≤Kj\|\partial_rH_\gamma^ju_i\|\leq K_j. Only the third Hamiltonian graph is needed. Since

∂σ2ui=−Hγ2ui−iγσ′(W−F)ui,0≤γσ′≤750, \partial_\sigma^2u_i=-H_\gamma^2u_i -\ii\gamma_\sigma'(W-F)u_i, \qquad 0\leq\gamma_\sigma'\leq750,

the product-rule bounds, including the gate derivative, are

U1=N1+g1,U2=N2+750(V+F0)+2N1g1+g2,L0=K0,L1=K1+g1K0,L2=K2+750{W1+F1+(V+F0)K0}+2g1K1+g2K0.\begin{aligned}U_1&=N_1+g_1,\\ U_2&=N_2+750(V+F_0)+2N_1g_1+g_2,\\ L_0&=K_0,\\ L_1&=K_1+g_1K_0,\\ L_2&=K_2+750\{W_1+F_1+(V+F_0)K_0\} +2g_1K_1+g_2K_0. \end{aligned}

For the normalized mollified clock packet, convolution contraction and its normalization factor at most 1.0000011.000001 give

p1=1.00000116/7 π0.002,p2=1.000001512/35(π0.002)2 p_1=1.000001\sqrt{16/7}\,\frac{\pi}{0.002},\qquad p_2=1.000001\sqrt{512/35}\left(\frac{\pi}{0.002}\right)^2

as ceilings on ∥ϕ′∥\|\phi'\| and ∥ϕ′′∥\|\phi''\|. Therefore

G2=p2+2p1U1vT0+U2(vT0)2,G2r=p2L0+2p1L1vT0+L2(vT0)2 G_2=p_2+\frac{2p_1U_1}{vT_0}+\frac{U_2}{(vT_0)^2},\qquad G_{2r}=p_2L_0+\frac{2p_1L_1}{vT_0}+\frac{L_2}{(vT_0)^2} (113)

bound ∥GSS∥\|G_{SS}\| and ∥∂rGSS∥\|\partial_rG_{SS}\|.

Write E=Ψ−GE=\Psi-G. Its entrance norm ehe_h is DhD_h from Section B.5 plus the backward-quiet discrepancy. For that discrepancy, if e=(e−iσHF−1)χe=(e^{-\ii\sigma H_F}-1)\chi and ∣σ∣≤1/8|\sigma|\leq1/8, then

∥e∥≤∥HFχ∥/8,∥HFe∥≤∥HF2χ∥/8,∥∂re∥2≤2m∥e∥(∥HFe∥+F0∥e∥). \|e\|\leq\|H_F\chi\|/8,\quad \|H_Fe\|\leq\|H_F^2\chi\|/8,\quad \|\partial_re\|^2\leq2m\|e\|(\|H_Fe\|+F_0\|e\|).

The quiet tail estimates in Section C.4 make its physical momentum correction less than 10−100 kg,m/s10^{-100}\,\mathrm{kg,m/s}. Let Pr,hP_{r,h} be the old ordinary radial error momentum, the loaded-minus-old momentum from Section B.5, and this quiet correction added together.

For completeness the global radial force used in propagating EE is explicit. Put mphys=mℏT0/ℓ02m_{\rm phys}=m\hbar T_0/\ell_0^2, ω=1/(mT0)\omega=1/(mT_0), R=0.201 mR=0.201\,\mathrm m, a=140 s−1a=140\,\mathrm{s}^{-1}, a′=43600 s−2a'=43600\,\mathrm{s}^{-2} and Fmax⁡=2R2F_{\max}=2R^2. Define

Q0=mphysω2R2/2+3ℏω/2,Qr=mphysω2R+5000Q0,Wr=ℏ(mh/2+5V)T0ℓ0,Vp,r=mphys(a′+a2)R+mphys2(a′)2Fmax⁡R2M,Vr=Vp,r+Qr+Wr.\begin{aligned}Q_0&=m_{\rm phys}\omega^2R^2/2+3\hbar\omega/2,\\ Q_r&=m_{\rm phys}\omega^2R+5000Q_0,& W_r&=\frac{\hbar(mh/2+5V)}{T_0\ell_0},\\ V_{p,r}&=m_{\rm phys}(a'+a^2)R +\frac{m_{\rm phys}^2(a')^2F_{\max}R}{2M},& V_r&=V_{p,r}+Q_r+W_r. \end{aligned}

These follow by differentiating the displayed preparation, weak-trap and capped detector potentials; all remote preparation terms remain. The writer has zero radial derivative. Unitary Duhamel, followed by the ordinary radial momentum commutator, consequently gives

e(t)≤eh+r0t,r0=ℏG2/(2M),Pr(t)≤Pr,h+rrt+Vr(eht+r0t2/2),rr=ℏ2G2r/(2Mℓ0).\begin{align}e(t)&\leq e_h+r_0t,&r_0&=\hbar G_2/(2M),\notag\\ P_r(t)&\leq P_{r,h}+r_rt+V_r(e_ht+r_0t^2/2),& r_r&=\hbar^2G_{2r}/(2M\ell_0). \tag{114}\end{align}

The odd extension at the Dirichlet origin has no boundary term. Approximation on the common smooth core and these uniform bounds justify the differentiated evolution without a fourth radial graph. At Tc=0.0404 sT_c=0.0404\,\mathrm s, denote the right sides by e∗e_* and Pr,∗P_{r,*} and put p∗=ℓ0Pr,∗/(ℏmh)p_*={\ell_0P_{r,*}}/({\hbar mh}). Evaluation gives

e∗<3.034680×10−11,Pr,∗<2.208802×10−20 kg,m/s,p∗<0.000595293. e_*<3.034680\times10^{-11},\qquad P_{r,*}<2.208802\times10^{-20}\,\mathrm{kg,m/s},\qquad p_*<0.000595293.

E.2 A closed clock and annihilator estimate through the hold

The exact boosted generator contains ps+ϵps2/2p_s+\epsilon p_s^2/2, ϵ=ℏ/(Mv2T0)\epsilon=\hbar/(Mv^2T_0). Define A=∂Z+Z−Π1(b+iμb′)\mathcal A=\partial_Z+Z-\Pi_1(b+\ii\mu b'). Since the radial potentials commute with this operator, its complete commutator is

(i∂τ−H−1/μ)AΨ=−ϵΠ1[(b′+iμb′′)∂s+(b′′+iμb′′′)/2]Ψ. (\ii\partial_\tau-H-1/\mu)\mathcal A\Psi =-\epsilon\Pi_1\bigl[(b'+\ii\mu b'')\partial_s +(b''+\ii\mu b''')/2\bigr]\Psi. (115)

For example [A,Hptr]=(A+Π1c)/μ−Π1F[\mathcal A,H_{\rm ptr}]=(\mathcal A+\Pi_1c)/\mu -\Pi_1F and [A,ps]=−iΠ1c′[\mathcal A,p_s]=-\ii\Pi_1c', where c=b+iμb′c=b+\ii\mu b'; c/μ−F−ic′=0c/\mu-F-\ii c'=0 cancels the prescribed driving terms. The clock Laplacian supplies both terms on the right of (115).

Let P(t)=∥−iℏ∂SΨ(t)∥P(t)=\|-\ii\hbar\partial_S\Psi(t)\| be the boosted clock momentum, n(t)n(t) the moving left-collar norm of width g=0.0005 mg=0.0005\,\mathrm m, and RZ(t)=(∥ZΨ∥2+∥pZΨ∥2)1/2R_Z(t)=(\|Z\Psi\|^2+\|p_Z\Psi\|^2)^{1/2}. The entrance estimates allow the conservative values

P(0)≤2×10−27,n(0)≤2×10−26,RZ(0)≤2, P(0)\leq2\times10^{-27},\qquad n(0)\leq2\times10^{-26}, \qquad R_Z(0)\leq2,

in SI units where applicable; the much sharper actual entrance Ah=∥AΨ(0)∥A_h=\|\mathcal A\Psi(0)\| is retained. Set

F∗=b0/μ+μb2,F∗′=b1/μ+μb3,C∗′=b0b1/μ+μ(b1b2+b0b3)/2. F_*={b_0}/{\mu}+\mu b_2,\quad F_*'={b_1}/{\mu}+\mu b_3,\quad C_*'={b_0b_1}/{\mu}+\mu(b_1b_2+b_0b_3)/2.

The Heisenberg equations for (Z,pZ)(Z,p_Z) are a rotation with bounded forcing Π1F\Pi_1F; its variation-of-constants formula gives RZ(t)≤2+F∗t/T0R_Z(t)\leq2+F_*t/T_0, without exponentiating the oscillator frequency. The translating collar and clock commutator give

n′≤PMg,P′≤Fpn+Fa+ℏvT02{F∗′RZ+C∗′},Fp=8×10−6,Fa=10−17. n'\leq\frac{P}{Mg},\qquad P'\leq F_p n+F_a+ \frac{\hbar}{vT_0^2}\{F_*'R_Z+C_*'\}, \qquad F_p=8\times10^{-6},\quad F_a=10^{-17}. (116)

Here FpF_p and FaF_a have units of force. Explicit ceilings from the original potentials, with a′′=70141750 s−3a''=70141750\,\mathrm{s}^{-3}, are

Fpcalc=mphysa′′Fmax⁡2v+mphysaa′R2v+mphys2a′a′′Fmax⁡24Mv3<Fp,QS=2mphysω2aR2+3ℏωa+5000Q0,Facalc=QS+25000(ℏV/T0+Q0)<Fa.\begin{aligned}F_p^{\rm calc}&= \frac{m_{\rm phys}a''F_{\max}}{2v} +\frac{m_{\rm phys}aa'R^2}{v} +\frac{m_{\rm phys}^2a'a''F_{\max}^2}{4Mv^3}<F_p,\\ Q_S&=2m_{\rm phys}\omega^2aR^2+3\hbar\omega a+5000Q_0,\\ F_a^{\rm calc}&=Q_S+25000(\hbar V/T_0+Q_0)<F_a. \end{aligned}

The C∗′C_*' term retains the clock force of the scalar compensation. All inequalities apply to the full wave, including remote clock tails. The oscillator estimates extend from finite-energy approximants by the form-domain bounds just obtained.

For q=0.0002 kg,m/sq=0.0002\,\mathrm{kg,m/s} and k=0.04 s−1k=0.04\,\mathrm{s}^{-1}, Y=P+qnY=P+qn satisfies Y′≤kY+f0+f1tY'\leq kY+f_0+f_1t, where

Y0=2×10−27+q(2×10−26),f0=Fa+ℏ(F∗′ 2+C∗′)vT02,f1=ℏF∗′F∗vT03. Y_0=2\times10^{-27}+q(2\times10^{-26}),\qquad f_0=F_a+\frac{\hbar(F_*'\,2+C_*')}{vT_0^2},\qquad f_1=\frac{\hbar F_*'F_*}{vT_0^3}.

Indeed q/(Mg)=Fp/q=kq/(Mg)=F_p/q=k. With T=0.092 sT=0.092\,\mathrm s and ET=(1−kT)−1≥ekTE_T=(1-kT)^{-1}\geq e^{kT}, positive integration proves

P(t)≤ET(Y0+f0T+f1T2/2),∫0TP(t) dt≤P:=ET(Y0T+f0T2/2+f1T3/6),A∗:=Ah+c0PMvT0+ℏc1T2Mv2T02≥sup⁡0≤t≤T∥AΨ(t)∥.\begin{align}P(t)&\leq E_T(Y_0+f_0T+f_1T^2/2),\notag\\ \int_0^T P(t)\dd t&\leq \mathcal P:=E_T(Y_0T+f_0T^2/2+f_1T^3/6),\notag\\ A_*&:=A_h+\frac{c_0\mathcal P}{MvT_0} +\frac{\hbar c_1T}{2Mv^2T_0^2} \geq\sup_{0\leq t\leq T}\|\mathcal A\Psi(t)\|. \tag{117}\end{align}

The last line is unitary Duhamel applied to (115). The resulting ceilings are

P<2.667201×10−18 kg,m,A∗<9.510237×10−12. \mathcal P<2.667201\times10^{-18}\,\mathrm{kg,m},\qquad A_*<9.510237\times10^{-12}.

Equivariance and Cauchy–Schwarz imply E∣Ψ∣2∫0T∣S˙−v∣ dt≤P/M\E_{|\Psi|^2}\int_0^T|\dot S-v|\dd t\leq\mathcal P/M. Thus actual-law domination and Markov's inequality bound the failure of the entire-path deviation ∫∣S˙−v∣≤10−5 m\int|\dot S-v|\leq10^{-5}\,\mathrm m by CP/(10−5M)<1.067×10−13C\mathcal P/(10^{-5}M)<1.067\times10^{-13}. The handoff core ∣Sh−0.102∣≤0.000839 m|S_h-0.102|\leq0.000839\,\mathrm m has failure at most

ecore=C(βcore+Dh)2,βcore=(1.000001)212835(π2)8(0.1610001)99. e_{\rm core}=C(\sqrt{\beta_{\rm core}}+D_h)^2, \qquad \beta_{\rm core}=(1.000001)^2\frac{128}{35} \left(\frac{\pi}{2}\right)^8\frac{(0.1610001)^9}{9}. (118)

To see this, normalize the unsmoothed cos⁡4\cos^4 packet on its 0.001 m0.001\,\mathrm m half-width. Its squared density has coefficient 64/3564/35 after scaling to unit half-width; the two edges give the factor 128/35128/35. On either edge use sin⁡x≤x\sin x\leq x, integrate the eighth power, and enlarge the edge width by the smoothing radius 10−10 m10^{-10}\,\mathrm m. Positive convolution and Jensen preserve this two-sided bound, with the displayed normalization factor. The DhD_h triangle then uses the exact handoff wave, rather than replacing its marginal.

On the intersection of these two good events, the first possible crossing of SonS_{\rm on} is after 0.036601 s0.036601\,\mathrm s, and the last possible completion of the pulse is before 0.038389 s0.038389\,\mathrm s. More directly, the pathwise bound ∣St−(0.104+vtlab)∣≤0.000849 m|S_t-(0.104+vt_{\rm lab})|\leq0.000849\,\mathrm m implies St≥0.14154 mS_t\geq0.14154\,\mathrm m for every tlab∈[0.0384,0.09]t_{\rm lab}\in[0.0384,0.09]. This proves completion throughout the whole hold, including the exclusion of later returns. The same two exceptional events are charged only once below.

E.3 The actual earlier label and a positive capture event

Let Hr(r)∈[0,1]H_r(r)\in[0,1] be the soft radial classifier, agreeing with the sharp label ℓ(r)\ell(r) outside its bands BB and having ∣Hr′∣≤10/h|H_r'|\leq10/h. Put I0=[−8,8]I_0=[-8,8], I1=[16,32]I_1=[16,32] and

Mr(r,Z)=(1−Hr(r))1I0c(Z)+Hr(r)1I1c(Z). M_r(r,Z)=(1-H_r(r))\one_{I_0^c}(Z)+H_r(r)\one_{I_1^c}(Z).

For each absolutely continuous exact trajectory, with witness and readout at laboratory times ta=0.0366t_a=0.0366, tc=0.0384t_c=0.0384,

1{Zc∉Iℓ(ra)}≤1B(ra)+Var⁡[ta,tc]Hr(rt)+Mr(rc,Zc). \one_{\{Z_c\notin I_{\ell(r_a)}\}} \leq\one_B(r_a)+\Var_{[t_a,t_c]}H_r(r_t)+M_r(r_c,Z_c). (119)

Outside BB, Hr(ra)H_r(r_a) is the binary earlier label; replacing this coefficient by Hr(rc)H_r(r_c) changes the mismatch by at most its total variation. This proves the inequality without assigning a sampled internal sector.

Throughout this copy interval the entire comparison packet has conditional age in [71/60,4/3][71/60,4/3]. Use the B9B_9-taper lens expressions D9,Q9D_9,Q_9 of (86), evaluated at 4/34/3, and denote these by D,QD,Q; set

qr=2mD(Q+F0D)mh. q_r=\frac{\sqrt{2mD(Q+F_0D)}}{mh}. (120)

They give D<0.007640094D<0.007640094, Q<262597634.037Q<262597634.037 and qr<0.003820673q_r<0.003820673. The contraction scale is at most cos⁡(σ−1/300)\cos(\sigma-1/300). Since σ−1/300≥59/50\sigma-1/300\geq59/50 and cos⁡(59/50)<2/5\cos(59/50)<2/5, the compact comparison and its radial derivative vanish on the bands [h/5,3h/10][h/5,3h/10] and their translates. Hence ∥1BG∥≤D\|\one_BG\|\leq D and ∥1B∂rG∥≤mhqr\|\one_B\partial_rG\|\leq mhq_r. Expanding the exact current of G+EG+E, taking its modulus before integrating any hidden variable, gives

∫B∣Jr[Ψ]∣≤h{Dqr+(D+e∗)p∗+e∗qr}. \int_B|J_r[\Psi]|\leq h\{Dq_r+(D+e_*)p_*+e_*q_r\}. (121)

For example the four terms before division by mm are D(mhqr)D(mhq_r), D∥∂rE∥D\|\partial_rE\|, e∗(mhqr)e_*(mhq_r) and e∗∥∂rE∥e_*\|\partial_rE\|.

On the completed-clock region, let PgP_g project in each internal sector onto the normalized real Gaussian centered at 00 or 2424. The oscillator ladder spectrum proves the fibre inequality

A∗A≥2(I−Pg). \mathcal A^*\mathcal A\geq2(I-P_g). (122)

Both operators commute with completed-clock localization. Thus the localized excited component has norm at most A∗/2A_*/\sqrt2. The ground-state wrong-inner probability is qI=erfc⁡(8)q_I=\operatorname{erfc}(8), and contraction and the norm triangle give a pointer cost at most C(qI+A∗/2)2C(\sqrt{q_I}+A_*/\sqrt2)^2. To combine it with the radial mismatch, use the pointwise inequality

Mr(r,Z)≤∣Hr(r)−i∣+1Iic(Z),i=0,1, M_r(r,Z)\leq |H_r(r)-i|+\one_{I_i^c}(Z),\qquad i=0,1,

and sum against the exact orthogonal component densities. The square-root multiplier of the first term kills the compact sector-ii lens comparison, so its total contribution is at most C(D+e∗)2C(D+e_*)^2. Together with the initial band and (121), this proves the copy cost, apart from the already identified exceptional events,

C[2(D+e∗)2+35{Dqr+(D+e∗)p∗+e∗qr}]+C(qI+A∗/2)2. C\left[2(D+e_*)^2+\frac35 \{Dq_r+(D+e_*)p_*+e_*q_r\}\right] +C(\sqrt{q_I}+A_*/\sqrt2)^2. (123)

Here 10(tc−ta)/T0=3/510(t_c-t_a)/T_0=3/5. Each endpoint and variation refers to the same exact trajectory and its own earlier radial label.

E.4 Absolute current over the entire holding interval

At each full configuration, including S,r,ZS,r,Z, the exact identity is

JZ[Ψ]=1μℑ(Ψ†AΨ)+b′Ψ†Π1Ψ. J_Z[\Psi]=\frac{1}{\mu}\Im(\Psi^\dagger\mathcal A\Psi) +b'\Psi^\dagger\Pi_1\Psi. (124)

The second term has not been discarded: it vanishes on every visited point of a good clock path because the pulse is completed there. For R0=[−10,10]R_0=[-10,10], R1=[14,34]R_1=[14,34], a path starting in IiI_i and leaving RiR_i crosses one of the four width-two bands [−10,−8][-10,-8], [8,10][8,10], [14,16][14,16], [32,34][32,34]. Linear cutoffs of slope 1/21/2 on these disjoint bands require unit variation for such an exit. Restricted equivariance, actual-law domination and then Cauchy–Schwarz therefore give

P(a hold exit, correct capture, good clock)≤C2μ∫1.283∫∣Ψ∣ ∣AΨ∣ dq dτ≤C2μ4325A∗<3.271570×10−9.\begin{align}\Prob(\hbox{a hold exit, correct capture, good clock}) &\leq\frac{C}{2\mu}\int_{1.28}^{3} \int|\Psi|\,|\mathcal A\Psi|\dd q\dd\tau\notag\\ &\leq\frac{C}{2\mu}\frac{43}{25}A_* <3.271570\times10^{-9}. \tag{125}\end{align}

All hidden-coordinate moduli are taken before integration. The variation counts recrossings and every time of the interval; an endpoint estimate is not being substituted for a path estimate. The global annihilator norm bounds the restricted current, so no unfinished part of the comparison wave has been removed.

E.5 The loaded radial exit and the evaluated sum

For the radial barrier increasing from zero at 0.099 m0.099\,\mathrm m to one at 0.100 m0.100\,\mathrm m, the slope is 1000 m−11000\,\mathrm m^{-1}. Let

dj2=(2j+1)!!2j1002j,Bj=(dj2+2hdjdj+1)1/2,TG=22/749,β=B22m+hB12+VTG+F0B0. d_j^2=\frac{(2j+1)!!}{2^j100^{2j}},\quad B_j=(d_j^2+2hd_jd_{j+1})^{1/2},\quad T_G=\sqrt{22/7^{49}},\quad \beta=\frac{B_2}{2m}+\frac{hB_1}{2}+VT_G+F_0B_0.

Here djd_j are the half-line Gaussian derivative norms, equivalently the norms of its unitary odd extension. For an integrable absolutely continuous ff the grid sum obeys

sup⁡0≤x<h∣h∑k∈Zf(x+kh)−∫Rf∣≤h∫R∣f′∣. \sup_{0\leq x<h}\left|h\sum_{k\in\mathbb Z}f(x+kh) -\int_{\mathbb R}f\right| \leq h\int_{\mathbb R}|f'|.

This follows by comparing the value at the chosen point of each cell with its integral and then summing the fundamental theorem of calculus bounds. With f=∣χ100(j)∣2f=|\chi_{100}^{(j)}|^2, ∫∣f′∣≤2djdj+1\int|f'|\leq2d_jd_{j+1} proves the folded bound Bj2B_j^2. The periodic reference has mass h/2h/2 per cell and circle norm one. Its kinetic energy starts at zero and increases by at most VV under the nondecreasing gate, proving ∥∂ruref,iγ∥L2(0,2)≤mh/2\|\partial_ru_{{\rm ref},i}^{\gamma}\|_{L^2(0,2)}\leq mh/2. Consequently the norms of 2χ100(j)uref,iγ\sqrt2\chi_{100}^{(j)}u_{{\rm ref},i}^{\gamma} and 2χ100′∂ruref,iγ\sqrt2\chi_{100}'\partial_ru_{{\rm ref},i}^{\gamma} are bounded by BjB_j and B1mh/2B_1mh/2, respectively. For the auxiliary 2χ100uref,iγ\sqrt2\chi_{100}u_{{\rm ref},i}^{\gamma}, the product-rule residual consists respectively of the second Gaussian derivative, the cross derivative, the outer cutoff tail and the weak trap, and their sum is exactly β\beta above. For the decreasing Gaussian density beyond 990990, periodic cell masses give a folded tail at most Tail⁡(990)+hρ(990)\operatorname{Tail}(990)+h\rho(990). Writing z=9.9z=9.9, integration by parts gives

∫z∞y2e−y2 dy≤(z2+14z)e−z2. \int_z^\infty y^2e^{-y^2}\dd y \leq\left(\frac z2+\frac{1}{4z}\right)e^{-z^2}.

The radial density is 4y2e−y2/π4y^2e^{-y^2}/\sqrt\pi in this scaled coordinate. Thus Tail⁡(990)<21/749\operatorname{Tail}(990)<21/7^{49} and ρ(990)<4/749\rho(990)<4/7^{49} in detector coordinates, by e2>7e^2>7 and π>1\sqrt\pi>1. Since h<1/4h<1/4, their folded sum is below TG2T_G^2. Unitary integration for age at most 4/34/3 yields the full-wave bound

∥1rphys≥0.099Ψ∥≤Tr:=43β+TG+e∗. \|\one_{r_{\rm phys}\geq0.099}\Psi\| \leq T_r:=\frac43\beta+T_G+e_*.

Negative quiet ages obey the same larger bound by the quiet estimate used in (114); pointer tensor factors have norm one.

The same loaded clock estimate gives a uniform left-collar bound n∗=nh+P/(Mg)n_*=n_h+\mathcal P/(Mg). Thus the exact radial momentum starts below Pr,0=ℏ3/2/0.01+Pr,hP_{r,0}=\hbar\sqrt{3/2}/0.01+P_{r,h} and grows at most at rate Fr=Wr+Qr+Vp,rn∗F_r=W_r+Q_r+V_{p,r}n_*. There is no writer radial force. The initial outer tail plus the absolute soft-barrier current prove

eexit=C[(21/749+Dh)2+1000Trmphys(Pr,0Tc+FrTc2/2)]<9.127218×10−8. e_{\rm exit}=C\left[ (\sqrt{21/7^{49}}+D_h)^2 +\frac{1000T_r}{m_{\rm phys}} (P_{r,0}T_c+F_rT_c^2/2)\right] <9.127218\times10^{-8}. (126)

This bounds initial outside configurations as well as every later exit through readout under the loaded wave.

For a directly evaluable decomposition, define

ebase=C{2D2+(3/5)Dqr},ecorr=C{2[(D+e∗)2−D2]+(3/5)[(D+e∗)p∗+e∗qr]},einner=C(1/(14 732)+A∗/2)2,ehold=43CA∗/(50μ),edev=CP/(10−5M).\begin{aligned}e_{\rm base}&=C\{2D^2+(3/5)Dq_r\},\\ e_{\rm corr}&=C\{2[(D+e_*)^2-D^2] +(3/5)[(D+e_*)p_*+e_*q_r]\},\\ e_{\rm inner}&=C\left(\sqrt{1/(14\,7^{32})}+A_*/\sqrt2\right)^2, &e_{\rm hold}&=43CA_*/(50\mu),\\ e_{\rm dev}&=C\mathcal P/(10^{-5}M). \end{aligned}

The inner-tail replacement follows from erfc⁡(8)<e−64/(8π)<1/(14 732)\operatorname{erfc}(8)<e^{-64}/(8\sqrt\pi) <1/(14\,7^{32}). All constants in these expressions have now been specified by rational operations, square roots, π\pi, and the lens functions D9,Q9D_9,Q_9 in (86). Outward evaluation gives

TermUpper bound
ebasee_{\rm base}0.0005370329623955816307030.000537032962395581630703
ecorre_{\rm corr}0.0000109155892150985198700.000010915589215098519870
einnere_{\rm inner}1.81324790661460×10−221.81324790661460\times10^{-22}
eholde_{\rm hold}3.271569843081749×10−93.271569843081749\times10^{-9}
ecoree_{\rm core}0.0000043788600281731633380.000004378860028173163338
edeve_{\rm dev}1.06689598045912×10−131.06689598045912\times10^{-13}
eexite_{\rm exit}9.127217662854526×10−89.127217662854526\times10^{-8}

Their sum is strictly below 0.0005524219560.000552421956. The event proof is (119), the positive endpoint bound, (125), and the union with the three common exceptional events (clock core, clock deviation, radial exit). When combined with the earlier-label theorem, those same events are counted once. None of the estimates supplies an independent internal-sector variable, a new actual-law marginal, or an additional physical source beyond the stated effective Hamiltonian.