Before generating an inverse certificate, 8 November 2026.
At height1 and 3/2<=lambda<5/3 the nonterminal clipping transport has
three shifts 0,-3g,-5g, g=2^(B_i-1)/3^(i+2). Thus its operator is
P(T)=1+T^3+T^5 after choosing T=tau_-g.
Generate a candidate Laurent inverse on exponents -32..32 using2048
equally spaced Fourier values, round coefficients to multiples of2^-30.
Accept only by exact integer convolution: R=1-PQ, ||R||_1<1.
Then ||P(T)^-1|| <= ||Q||_1/(1-||R||_1) for every isometric translation T.
The generator's floating point only proposes coefficients; the certificate
is the rational residual and an independent standard-library verifier.
Also verify the terminal cyclic inverses on groups of order4 and8 exactly.
No uniform higher-moment theorem follows unless an input moment is proved.
