This appendix closes the clock and pointer derivative estimates used before ta=0.0366s. All norms are full spinor Hilbert norms, including both internal sectors. Write t=0 at th=−0.002s, and set
Clock derivatives are physical S derivatives; pointer derivatives are with respect to the dimensionless Z. All scalar numbers below use SI units for the clock. Removing the same constant Galilean carrier from both exact waves leaves the clock generator vpS+pS2/(2M). The preparation estimates are those of Sections B.5 and B.6; the old-wave bounds are obtained from Sections C.6 and C.5. Thus neither wave nor actual law is replaced at the handoff.
Let w=0.003, b(s)=24B9(s/w) with its constant extensions, and
γ(s,Z)=π−1/4e−(Z−b)2/2eiμb′(Z−b/2),y=Z−b.
Its first logarithmic derivative is
∂slogγ=cy+d,c=b′+iμb′′,d=2iμ(bb′′−b′2).
The scalar phase in d is retained. Successive logarithmic derivatives are cy+d, c′y−cb′+d′, c′′y−2c′b′−cb′′+d′′, and c′′′y−3c′′b′−3c′b′′−cb′′′+d′′′. The following rational derivative ceilings specify every coefficient used below:
Here B1=24(315/128)/w follows from B9′=630x4(1−x)4. Differentiating this identity, using x(1−x)≤1/4 and ∣1−2x∣≤1, gives B2=24(2520/64)/w2 and B3=24(7560/16+5040/64)/w3. For j=4,5 the sufficient coefficient bound is
The polynomial and constant extensions are globally C4; their fifth weak derivative is bounded. No endpoint distribution enters these calculations.
Define Cj=Bj+μBj+1 for 0≤j≤4 and q0=C0+1. The Cj bound the derivatives of b+iμb′. Define four positive affine polynomials in a formal variable Y:
Let G∗=V(S)(ψog0), where ψo is the full exact old wave, and V applies the above Weyl displacement in sector one and the identity in sector zero. Since iℏvγS=HZγ, product differentiation gives, up to an irrelevant overall sign in the forced error equation,
R/ℏ=κ(γSψo,S+γSSψo/2).
This identity holds separately in the orthogonal sectors and hence for any normalized qubit input. Its support is exactly the open writer pulse; the stationary displaced plateau contributes no source. Write δ=Ψ−G∗ and Ij=∫0T∥1pulse∂Sjψo∥dt. The old characteristic helper has clock centre tlab+0.104 and half-width 0.0010000001. Its earliest pulse contact is 0.0364499999s, leaving Δ=0.0001500001s. Throughout those late slices the initial offset lies in an endpoint strip of relative width d=0.1500002. With σ=0.001 and mϕ=1.000001, define the rational bounds
The inequality cos(πx/(2σ))≤π(σ−x)/(2σ), positive convolution and Jensen's inequality prove that β bounds the strip mass and η its amplitude first-derivative norm. The mollification radius is included in d. On these slices ∥uS∥≤N1/a, N1=34359738369. The old-wave estimates, evaluated through elapsed time 0.0404, give ∥ψo−Go∥<3.1×10−11 and ∥∂S(ψo−Go)∥<36000. Consequently
The last bound uses the full old Hessian, including its error. The preparation transfer and old right collar imply ∥δ(0)∥≤3×10−30+1.2×10−37; the latter term bounds (V−I)ψog0 without discarding the tail. Duhamel therefore proves the uniform ceiling
For this first, deliberately coarse closure take h−=1.054×10−34<ℏ, and use κ in positive numerators and h− in denominators. The old physical force ceilings are Fo=8.00000000001×10−6 and Fo,2=1. The handoff bounds proved in the preparation appendix are
Quantity
Outward upper bound
Q(δ(0))
6×10−24
∥δS(0)∥
0.073
Q(δS(0))
300000
∥ΨSS(0)∥
2.5×1027
Ah=∥AΨ(0)∥
5.049592328644200595×10−24
A2,h=∥A2Ψ(0)∥
1.228242965202911600×10−17
Uh=∥∂S(AΨ)(0)∥
276122.9698216115699
These already include the remote Weyl change. Differentiating the residual once gives the coefficients 1,3/2,1/2. Define its integrated bounds
These follow from the twice differentiated Schrödinger equation, (97), and (93). In particular the force on AΨ costs B+q0A1, not merely A1. For (X,P,U,B)=(1014,1040,2×1011,2×10−17) the respective right sides are strictly below
Every dependence on the other three unknowns has been retained. The positive integral inequalities and a simultaneous first-crossing argument prove the four bounds. The large 1040 bound is used only inside this hierarchy; the next subsection supplies the much sharper error Hessian needed for the clock current.
Only an ordinary third spatial clock derivative of the old wave is needed; no fourth radial energy graph is invoked. Sections B.3 and B.4 give the following outward bounds for the gauged old preparation error Eg:
where ∥pSjEg∥≤Pj and n2 bounds the second left collar. For a cutoff equal to one through 0.10005, zero from 0.10015, and g=0.0001, the localized interpolation identities give
This cutoff covers every preparation-phase derivative, whose support ends at 0.10001, and lies inside the full-one region of the old second collar, which ends at 0.100249999873. For the preparation-rate jets use
The last term bounds the original packet's third derivative. The helper's radial state is S independent at handoff and its preparation phase is zero there. Thus ∥ψo,SSS(0)∥≤E3,h<2.250395507380083×1042.
Here are the old-wave input ceilings used on the enlarged horizon To=0.0404, computed with the formulas of Sections C.6 and C.5:
Input
Outward upper bound
Do=sup∥ψo−Go∥
3.034654348976846863×10−11
e1,o=sup∥∂S(ψo−Go)∥
35444.22634847288176
e2,o=sup∥∂S2(ψo−Go)∥
1.047307159416726327×1021
G1=sup∥Go,S∥
1145324612300.000003
G2=sup∥Go,SS∥
1.313080270080687692×1024
Fc,1
4.388993584524007892×10−6
Fc,2
0.08054047024909008647
For clarity the enlargement keeps the same ramp interval 0.0033 and uses static duration To−0.0033=0.0371<0.0377. The helper age remains below 4/3<π/2. Its packet ceilings are
The three error entries are the sums of the transported preparation, short ramp, static, common-to-clipped and clipped-to-static component bounds evaluated at these durations; no new propagation assumption is introduced by extending the time argument.
The remote third force, including the preparation phase-square term, has the complete upper expression
The last summand is the third quiet-force derivative obtained from the finite product-rule calculation in Section C.4. Thus Fc,3<68.48117358490407. Put
The remote common-minus-clipped force is supported on S≤0.10001. The helper and all its S derivatives vanish there for the entire prefix, since its left support starts at 0.1009999999 and moves right. The third differentiated unitary equation therefore gives
Take a fixed decreasing Lipschitz cutoff χ=1 on S≤0.126, χ=0 on S≥0.136, with ∣χ′∣≤1/gL, gL=0.01. Every old clock-force derivative is supported in its full-one region (S≤0.106), while the residual starts at S=0.14145. The positive constant drift favors departure from this left region. The forced continuity identity, with no source on the support of χ, gives
The positive two-variable comparison closes because E<0.07327295767972046<e. Consequently ∥δS∥≤0.1 and nL≤n∗<1.197180×10−35 throughout the prefix. The improvement retains the old force but multiplies it by its actual localized error norm.
On that force support A=∂Z+Z and AG∗=0. Applying the oscillator identity on each S slice, without differentiating a sharp indicator, gives Q(1oldforceδ)≤A12+n∗2. Set B=2×10−17 in Q2 above. The differentiated oscillator rotation equation now proves the much sharper uniform bound
The refined new-minus-old handoff Hessian from Section B.6, plus both derivatives of the remote Weyl change, gives the following expression. Here n2,R=5.970369147764257548×10−38 is the right second-collar ceiling from Section B.5. It equals the numerical left-collar ceiling n2 because reflecting the moving-cutoff construction gives the same positive momentum inequality: the right boundary translates at v plus the drift ceiling and the left boundary at v minus that ceiling. The right collar is one throughout the writer support; its handoff full-one edge is below 0.103750000127, while Son=0.14145. Thus the required right-tail amplitude is bounded independently of the left-tail localization used in (99). Explicitly,
For H(t)=∥δSS(t)∥, integration by parts with χ gives
∥1oldforceδS∥≤n∗H(t)+2D∗/gL.
The cutoff cost is retained. Twice differentiating the error equation therefore yields the differential comparison H′≤2αH+f(t), where α=Fon∗/ℏ, f≥0, and H(0)+∫0Tf(t)dt≤R with
Indeed, writing F(t)=Hh+∫0tf(u)du, the function [αt+F(t)]2 has derivative at least 2α[αt+F(t)]+f(t) and dominates the initial value. Scalar differential comparison therefore proves
Regularization at zero justifies this comparison when a norm vanishes. Smooth-domain approximation and these uniform finite estimates justify the oscillator and weak clock commutations without an oscillator cutoff.
On S<Son, G∗=ψog0 and A=∂Z+Z. The oscillator form and graph identities imply, after restriction to that region,
For example ∥pZ2f∥2≤∥(pZ2+Z2)f∥2+2∥f∥2 and ∥(B†B+1)f∥2=∥B2f∥2+4∥Bf∥2+∥f∥2 with B=∂Z+Z prove the second bound. The conditional-rank stability functional then gives
Here the comparison's radial direction is independent of Z; ∥g0′∥=1/2, ∥g0′′∥=3/2 and ∥g0′2/g0∥=3/2 supply the displayed coefficients. For the clock functional use the old characteristic helper instead. Expanding its positive stability majorant with the additional error δ gives
This is an increment of an absolute-current upper bound, not a subtraction of signed currents. All hidden-coordinate absolute values precede integration. Both estimates apply on the common whole-prefix good-clock event; its complement is charged separately in the event composition. The current components must be added before optimizing the single rank collar.
Equations (92)–(109), together with the outward input tables, form a finite coefficient specification. Every displayed decimal input is an exact rational ceiling. One fully rational evaluation uses a bracket for π of width 2×10−69 about 3.141592653589793238462643383279502884197169399375105820974944592307817 and ℏ=6.62607015×10−34/(2π). For a nonnegative rational x=n/d, replace each square root by
sqrt+(x)=101001+⌊⌊10200n/d⌋⌋.
All these coefficient expressions have positive inputs; use upper numerators and lower denominators. This procedure gives X∗<616734.119066647397144, H∗<1.117214708915152634×1021, and the strict current bounds (108)–(109). It specifies the calculations inside the manuscript and requires no external coefficient file.