Rigorous computer-assisted bounds on renormalisation fixed point functions, eigenfunctions, and universal constants

The paper establishes the contraction on B(G0,ρ) with explicit bounds ρ=10^−409, ε<7×10^−410, κ<1.3×10^−99 and proves existence/uniqueness of G* (and hence g*), as well as rigorous ≥400-digit bounds for a, α, δ and γ, exactly as stated in Sections 2–4 of the paper . The model’s outline matches the paper’s method for the fixed point and the δ-eigenpair, but it formulates the noise-scaling eigenproblem incorrectly: the paper writes LW − ϕ(W)^2 W = 0 with γ = ϕ(W) (so the eigenvalue of L is γ^2), whereas the model drops the square and uses LW − ϕ(W) W = 0 while still identifying γ = ϕ(W). This mismatch contradicts the paper’s derivation and numerical bounds for γ .