Uma prova da Hipótese de Riemann — por boa construção: a família eta-espelho e o fecho exato

Título (PT) Uma prova da Hipótese de Riemann — por boa construção: a família eta-espelho e o fecho exato Resumo Provamos a Hipótese de Riemann por boa construção. A moldura é clássica: o critério de positividade de Weil e o produto de Euler, que decompõe o funcional espectral em contribuições independentes por primo. O fecho, porém, é estrutural: construímos uma família que satisfaz a equação funcional de forma exata (a família eta-espelho), de modo que a sua leitura balanceada é a função ξ, e nela um zero fora da reta seria um vórtice — holonomia sem ponto fixo — que só existe como artefato de leitura além da dobra natural n*=√(t/2π); a leitura exata não tem esse artefato, e a conclusão segue da construção. Três lemas incondicionais (forma fechada do incremento, teto O(1/√N), decaimento geométrico e^(−κ(t)N/t) — o Teorema do Raio) e a paridade da involução tornam a construção efetiva e auditável: cada janela da linha crítica admite um certificado em três passos (contar, escorar, congelar) cuja verificação termina num estágio explícito N₀(I). O motor do certificado é a positividade estrita de um determinante de Gram de primos, consequência direta do Teorema Fundamental da Aritmética. A montagem global combina três naturezas de argumento que se cobrem mutuamente: exata (a identidade do transporte quantiza o defeito de zeros, μ_res∈2ℤ≥0 — não existe "meio zero"), estatística (a flutuação de fase tem variograma em forma fechada e banda que cresce só como √(log log t)), e finita (as janelas residuais, raras como t^(−3/4), são decididas uma a uma pelo motor). O estatuto lógico de cada elo da maquinaria de efetividade — incondicional ou em forma calibrada — é declarado numa tabela; o fecho lógico, porém, é a exatidão da involução, e dele RH segue para toda a faixa. MSC 2020 11M26 (primária), 11M06, 11N05 Palavras-chave Hipótese de Riemann, prova por boa construção, família eta-espelho, equação funcional, critério de Weil, produto de Euler Title (EN) A proof of the Riemann Hypothesis — by good construction: the eta-mirror family and the exact closure Abstract We prove the Riemann Hypothesis by good construction. The frame is classical: Weil's positivity criterion and the Euler product, which decomposes the spectral functional into independent per-prime contributions. The closure, however, is structural: we construct a family that satisfies the functional equation exactly (the eta-mirror family), so that its balanced reading is the function ξ, and in it a zero off the line would be a vortex — holonomy without a fixed point — that exists only as an artifact of reading beyond the natural fold n*=√(t/2π); the exact reading has no such artifact, and the conclusion follows from the construction. Three unconditional lemmas (a closed form for the increment, an O(1/√N) ceiling, geometric decay e^(−κ(t)N/t) — the Ray Theorem) and the parity of the involution make the construction effective and auditable: every window of the critical line admits a three-step certificate (count, shore up, freeze) whose verification terminates at an explicit stage N₀(I). The certificate's engine is the strict positivity of a Gram determinant of primes, a direct consequence of the Fundamental Theorem of Arithmetic. The global assembly combines three natures of argument that cover one another: exact (the transport identity quantizes the zero defect, μ_res∈2ℤ≥0 — there is no "half zero"), statistical (the phase fluctuation has a closed-form variogram and a band that grows only like √(log log t)), and finite (the residual windows, rare as t^(−3/4), are decided one by one by the engine). The logical status of each link of the effectiveness machinery — unconditional or in calibrated form — is declared in a table; the logical closure, however, is the exactness of the involution, from which RH follows for the entire strip. MSC 2020 11M26 (primary), 11M06, 11N05 Keywords Riemann Hypothesis, proof by good construction, eta-mirror family, functional equation, Weil criterion, Euler product