The preserved gain02/03 notes cited the journal PDF. For the publication’s arXiv-only prior-art rule, the matching primary record is Green–Tao, arXiv:0807.1736v4, dated 29 May 2011. Equation (1.1) and Theorem 1.1 were checked in that arXiv version; no proof of their theorem was independently audited.
Equation (1.1) bounds the normalized sum of mu(n)e(alpha n), n<=N, by C_A(log N)^(-A), uniformly in real alpha, for each fixed A>0. The constant depends on A. Theorem 1.1 assumes a nilmanifold of dimension m>=1, a filtration of degree d>=1, a compatible polynomial sequence, a Q-rational Mal’cev basis with Q>=2, and a Lipschitz real function with values in [-1,1]. For N>=2 and fixed A>0 the normalized correlation is bounded by a constant depending on m,d,A times Q raised to a power depending on m,d,A, times (1+the Lipschitz norm), times (log N)^(-A). The constant is ineffective.
No A=A(N) substitution or uncontrolled N-dependent complexity is licensed. Gain02’s complete Schur-kernel representation and companion signed numerator remain additional unproved inputs. This source check changes neither the audit’s estimate nor its stop decision.