Remove the common Galilean phase and set ξ=S−vλt, a=λt+ξ/v. For sector one let
q′′+Ω2q=Ω2b(a)+b′′(a),q(0)=q′(0)=0,Ω=1/μ.
The normalized comparison is
G1=φ(ξ)e−it/(2μ)exp{i[μq′(y−q/2)+ϑ]}γ(y−q),
ϑ′=2μ[Ω2b+b′′](q−b).
Sector zero has q=ϑ=0. Direct substitution proves the fibre Schrödinger equation when the clock's residual kinetic term is omitted. For λ=1, q=b and ϑ=0 exactly.
The difference e=q−b(a) solves
e′′+Ω2e=(1−λ2)b′′(a).
Sine/cosine integration gives ∣e∣<.001, ∣e′∣<.07 on the complete finite rectangle. Derivatives obey
∣q∣<25,∣q′∣<1630,∣q′′∣<170000,∣q′′′∣<36000000.
The clock-envelope derivative norms are below 6,112,4000,190000. Appendix A gives the polynomial derivative and envelope integrals explicitly. Keeping the Gaussian polynomial before taking norms gives
Appendix A derives these jet estimates from the two coherent-Gaussian derivative polynomials, with explicit coefficient bounds. Harmonic transport inverse engineering is established prior art [12].